Mostrar Mensajes

Esta sección te permite ver todos los posts escritos por este usuario. Ten en cuenta que sólo puedes ver los posts escritos en zonas a las que tienes acceso en este momento.

Temas - pables

Páginas: [1]
1
Hola,

Estoy intentando resolver el siguiente problema de polinomios en cuerpos finitos y no se como hacer el apartado b).
El problema dice:
Sea $$f=x^4-x^3-1 \in\mathbb{F}_3\left[x\right]$$ y $$L$$ el cuerpo de descomposición de $$f$$ sobre $$\mathbb{F}_3$$. Probar que:
a) f es irreducible en $$\mathbb{F}_3\left[x\right]$$
b) $$\left[L:\mathbb{F}_3\right] = 4$$
c) ¿Cuantos elementos tiene L?

El apartado a) lo he probado sin mayor dificultad. Mi duda es cómo resolver los apartados b) y c).

2
Estructuras algebraicas / Polinomio mínimo en un cuerpo finito
« en: 01 Marzo, 2024, 11:30 am »
Hola,

Estoy intentando resolver un ejercicio y estoy atascado en el apartado c). El problema dice:
Sea $$K=\mathbb{F}_2[t]/(f)$$ con $$f=t^4+t+1$$. Denotamos $$\alpha = t + (f) \in K$$. Responder razonadamente a los siguientes apartados:
a) Probar que $$K$$ es un cuerpo.
b) Encontrar los órdenes de $$\alpha$$ y $$\beta=\alpha + \alpha^2$$ en $$K^*$$.
c) Hallar el polinomio mínimo $$g$$ de $$\beta$$ sobre $$\mathbb{F}_2$$.
d) Encontrar cuántos elementos de $$\gamma \in K$$ verifican que $$\mathbb{F}_2[\gamma]=K$$.

Para el apartado a), he probado que f es irreducible en $$\mathbb{F}_2$$ y, por tanto, $$K$$ es cuerpo.
Para el apartado b), he probado que los ordenes de $$\alpha$$ y $$\beta$$ son 15 y 3, respectivamente.
Para el apartado d), he usado la función de Euler y he concluido que hay 8 elementos $$\gamma \in K$$ que verifican que $$\mathbb{F}_2[\gamma]=K$$.
Aun así, no se me ocurre como hacer el apartado c), agradecería que alguien me indicara cómo resolverlo.

3
Estructuras algebraicas / Polinomios irreducibles
« en: 18 Febrero, 2024, 08:29 pm »
Hola buenas,

Llevo un rato intentando resolver el siguiente problema: Sea $$f \in \mathbb{Q}[t]$$ un polinomio irreducible de grado 5 y $$g = t^{6} + 1$$. ¿Pueden tener los polinomios $$f$$ y $$g$$ alguna raíz compleja común?

He probado que $$g$$ es irreducible en $$\mathbb{Q}[t]$$ y por tanto $$g$$ no se puede factorizar en un polinomio de grado 1 y otro de grado 5. Tengo la sensación de que con eso no puedo concluir que nada acerca de la pregunta inicial. Si alguien tiene alguna idea de cómo resolver el problema sería de gran ayuda.

4
Hola,
Estoy atascado en el siguiente problema: Encuentra una transformación de Möbius que transforme el disco unidad $$D(0,1)$$ en el semiplano derecho $$\mathbb{H}_+$$.
Tengo claro que las transformaciones de Möbius son de la forma $$T(z)=\frac{az+b}{cz+d}$$ y que transforman rectas y circunferencias en rectas y circunferencias. Además, también sé que solo con conocer tres puntos y sus imágenes, solo existe una única transformación de Möbius que manda esos puntos a esas imágenes. He intentado resolverlo fijando los puntos $$z_1=1,z_2=i,z_3=-1$$ en $$T(z_1)=0,T(z_2)=1,T(z_3)=2$$ (con la idea de transformar el disco unidad en la recta real). Sin embargo, falta el punto del infinito que no se como definirlo para resolver el problema.

5
Ecuaciones diferenciales / Variedad estable e inestable
« en: 02 Enero, 2024, 05:20 pm »
Hola,
Estoy haciendo un problema en el que hay que calcular las variedades estable e inestable de los puntos de equilibrio. El sistema del problema es: $$x''+2\epsilon x'+x^2-x=0$$ con $$0 \leq \epsilon <1$$. Los puntos de equilibrio son: $$(0,0)$$ y $$(1,0)$$. He conseguido probar que el $$(0,0)$$ es asintóticamente estable y el $$(1,0)$$ es un punto silla (y, por tanto, inestable). Mi duda ahora es sobre como calcular las variedades estables e inestables de cada punto de equilibrio.

6
Ecuaciones diferenciales / Demostrar que un conjunto es invariante
« en: 01 Enero, 2024, 06:18 pm »
Hola,
Estoy intentando resolver el siguiente problema: dado el sistema $$\left\lbrace\begin{array}{c} x'=x^{2}+ysen(x) \\ y'=-1+xy+cos(y) \end{array}\right.$$ prueba que el primer cuadrante $$\left\lbrace (x,y)\in\mathbb{R}^2,x \geq 0, y \geq 0\right\rbrace$$ es invariante.

He representado el diagrama fases en la frontera del conjunto. En la recta $$\left\lbrace x=0 \right\rbrace$$ el campo vectorial va "hacia abajo" (salvo los puntos en los que $$(x',y')=(0,0)$$ que son  $$\left\lbrace x=0 \right\rbrace \cap \left\lbrace cos(y)=1 \right\rbrace$$) y en la recta $$\left\lbrace y=0 \right\rbrace$$ el campo vectorial va "hacia la derecha" (salvo en el (0,0) que es punto de equilibrio). Mi duda es si con eso puedo concluir que cualquier solución que parte del primer cuadrante permanece en él en cualquier tiempo, en tal caso quedaría probado que el primer cuadrante es invariante.

7
Ecuaciones diferenciales / Probar una desigualdad
« en: 29 Diciembre, 2023, 03:15 pm »
Hola buenas, estoy intentando resolver un problema pero no se por donde empezar. El problema dice: Considera el sistema $$x'=Ax$$ donde $$A$$ es una matriz que verifica $$||e^{At}x|| \leq Me^{\alpha t}||x||$$ para todo $$x \in \mathbb{R}^{n}$$, para todo $$t \geq 0$$ y para ciertos $$M>0$$ y $$\alpha \in \mathbb{R}$$. Prueba que si $$h: [0,\infty) \rightarrow \mathbb{R}$$ es una función continua que verifica $$\int_{0}^{\infty} |h(t)|dt< +\infty$$ entonces las soluciones de $$x'=Ax+h(t)x$$ verifican $$||x(t)|| \leq \hat{M}e^{\alpha t}||x(0)||$$ para $$t \geq 0$$, para cierta constante $$\hat{M}$$ pero con el mismo $$\alpha$$. Había pensado en utilizar el Lema de Grönwall pero, realmente, no se por donde empezar.

8
Hola, no se cómo resolver el siguiente problema: Sea $$f: D(0,1) \rightarrow \mathbb{C}$$ una función holomorfa tal que $$Im(f(z)) \geq 0$$ para todo $$z \in D(0,1)$$.
a) Deduce que $$Im(f(z)) > 0$$ para todo $$z \in D(0,1)$$.
b) Prueba que si $$f(0)=i$$ entonces $$\frac{1-|z|}{1 + |z|} \leq |f(z)| \leq \frac{1+|z|}{1–|z|} $$ para todo $$z \in D(0,1)$$
Había pensado en usar algo del principio del módulo máximo o el lema de Schwartz pero realmente estoy bastante perdido y no se ni cómo empezar.

9
Variable compleja y Análisis de Fourier / Acotar una integral de linea
« en: 28 Diciembre, 2023, 03:36 pm »
Hola buenas, estaba haciendo un ejercicio de cálculo de integrales por el teorema de los residuos. El caso es que el ejercicio me pide calcular la integral $$ \int_{-\infty}^{\infty} \frac{cos(\pi x)}{x^2-2x+2} dx$$. He utilizado el teorema de los residuos en la frontera semidisco superior de radio R (es decir, el semidisco de radio R con la parte imaginaria positiva) y la recta que va de -R a R (para que el sentido de la integral sea positivo). El caso es que he calculado los polos ($$z=1\pm i$$) y el residuo correspondiente ($$Res(f(z),1+i)=-\pi e^{-\pi}$$) y se me queda lo siguiente, llamando $$C_R$$ a la frontera del semidisco superior: $$ \int_{\alpha_R}^{} \frac{e^{i \pi z}}{z^2-2z+2} dz = \int_{-R}^{R} \frac{e^{i \pi z}}{z^2-2z+2} dz + \int_{C_R}^{} \frac{e^{i \pi z}}{z^2-2z+2} dz = 2 \pi i Res(f(z),1+i) = -\pi e^{-\pi}$$
No se me ocurre ninguna manera de como acotar la integral en $$C_R$$. Lo que sí que se es que una vez esa integral tienda a 0 cuando haga R tender a infinito, solo me queda tomar la parte real de la integral que queda y ya tendré el resultado. ¿Alguien sabe como acotar la integral de $$C_R$$?

10
Ecuaciones diferenciales / Intervalo maximal de una solución
« en: 28 Diciembre, 2023, 01:59 am »
Estoy intentando resolver un problema acerca del intervalo maximal de definición de una solución de un PVI.
El problema dice: Sea la ecuación $$ x'=f(x) $$ donde la función $$f:\mathbb{R} \rightarrow \mathbb{R}$$ es de clase $$C^{1}$$ y verifica que $$f(x)\geq x^{2}$$. Sea $$x_0 \geq 0$$ y considera el PVI:
\[
\left\{ \begin{array}{lcc} x'=f(x) \\ \\ x(0)=x_0 \end{array} \right.
\]
cuyo intervalo maximal de definición lo denotamos por $$(\alpha(x_0),\omega(x_0))$$. Responde razonadamente:
a) ¿Es $$\omega(x_0) = \infty$$?
b) Si $$\omega(x_0) \leq \infty$$, dar una estimación de $$\omega(x_0)$$.
Por el momento, solo he conseguido llegar a que la solución maximal $$x(t)$$ es única y esta definida, al menos, localmente a través del teorema de Cauchy-Lipschitz local. Ahora bien, no se cómo continuar utilizando las hipótesis del problema. Si alguien sabe como resolverlo, agradecería mucho su ayuda.

11
Matemática Aplicada / Factorización LU
« en: 17 Diciembre, 2022, 01:24 pm »
El problema dice: Demostrar que si la matriz \( A \) admite \( LU \) entonces todos sus menores principales son no nulos.

Tengo una duda sobre esto y es que el teorema de \( LU \) asegura que toda matriz con todos sus menores principales no nulos admite \( LU \), entonces esta demostración se reduce simplemente a enunciar esto o requiere alguna otra prueba. En caso de hacerse de otra forma, por favor, expliquen cual es y como se hace.

Páginas: [1]