formas canonicas

 Lección 4. 
   El Teorema de DescomposiciÓN Irreducible

Ejemplo 1. Ecuaciones diferenciales ordinarias de grado $n\geq 1$ con coeficientes constantes: un caso particular.

Sea $V=$Capítulo 4 $C^{n}(a,b)$Capítulo 4 el espacio de las funciones del intervalo $(a,b)$ en $\QTR{bf}{R}$ cuyas primeras $n$ derivadas son continuas. Consideremos el operador lineal de derivación

$D:V\rightarrow V.$

Sea MATH un polinomio con coeficientes reales el cual se puede factorizar en la forma

MATH

donde $\alpha_{i}\in$$\QTR{bf}{R}$, MATH y sea

MATH

la transformación polinomial correspondiente. El núcleo de $p(D)$ se conoce como el espacio solución de la ecuación diferencial ordinaria

MATH

donde $y^{(k)}$ denota la derivada de orden $k$ de la función $y=f(x)\in V$. Puesto que $W=N(p(D))$ es invariante, entonces podemos redefinir $D$ como una transformación de $W$ en $W:$

$D:W\rightarrow W$ ,

de tal forma que $p(x)$ se anula en este nuevo operador $D$. Queremos demostrar que la dimensión del espacio $W$ es $n.$ Según anotamos después de la demostración del teorema de descomposición irreducible, las partes a) y b) de dicho teorema son válidas para espacios de dimensión infinita y para polinomios que se anulen en la transformación. Por lo tanto, el espacio $W$ se descompone en la forma

MATH

donde MATH Visto de esta manera, cada MATH $y=f(x)$ de la ecuación diferencial (1) se puede expresar de manera única en la forma

MATH

donde MATH Mejor aún, reuniendo bases de $W_{1},\ldots,W_{k}$ obtenemos una base de $W.$

El problema entonces se reduce a encontrar el espacio solución de ecuaciones diferenciales de la forma

MATH

Mediante inducción sobre $r$ se puede probar facilmente que

MATH

También mediante inducción sobre $r$ se demuestra que

MATH

En consecuencia, el aspecto general de una solución de la ecuación (2) es

MATH

es decir, el espacio solución de (2) es la envolvente lineal del conjunto de vectores

MATH

los cuales son L I.

Aplicando estas conclusiones a los espacios $W_{i}$ se tiene que $\dim (W_{i})=r_{i}$ y

MATH

es una base para $W_{i}.$ Por lo tanto, MATH y además

MATH

es una base de $W.$

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright