Cuando varias cantidades cambian e influyen unas en otras, agrupamos sus ecuaciones en un vector. Para una matriz constante, una sola matriz dependiente del tiempo puede transportar cualquier dato inicial. Construiremos esa exponencial con una serie, aprenderemos a calcularla y comprobaremos dónde dejan de servir las analogías con exponentes de números.
Si necesitas repasar:
1. Cada fila prescribe la tasa de cambio de una componente
En z′=Az, el estado z es un vector y cada fila de A da una combinación de sus componentes. Las entradas fuera de la diagonal representan acoplamiento. Si A es diagonal, cada coordenada evoluciona por separado.
Con A constante, cualquier dato z₀ tiene solución única para todo tiempo real. Para reunir todos los datos buscamos X(t) con X′=AX y X(0)=I. Su columna j es la trayectoria que sale del vector canónico eⱼ. Multiplicar X por z₀ combinará esas soluciones básicas.
Una componente constante impulsa a la otra
x′=2y, y′=0, (x(0),y(0))=(1,3).
Segunda
y=3 permanece constante.Primera
x′=6, de donde x=1+6t.Matriz
A=[[0,2],[0,0]] reproduce las dos ecuaciones por filas.
z(t)=(1+6t,3).
La solución no es una pareja de exponenciales independientes: la segunda variable actúa sobre la primera.
Una diagonal permite resolver componente a componente
A=diag(−2,−1), z₀=(3,−2).
Ecuaciones
x′=−2x, y′=−y.Soluciones
x=3e^(−2t), y=−2e^(−t).Dato
En cero recuperamos tres y menos dos.
X(t)=diag(e^(−2t),e^(−t)).
Las columnas de X corresponden a datos (1,0) y (0,1), no al dato concreto z₀.
2. La serie usa potencias matriciales y empieza por la identidad
En una norma submultiplicativa, ‖Aᵏ‖≤‖A‖ᵏ, por lo que la norma de la serie se controla con e^(|t|‖A‖). Converge absolutamente para todo t y uniformemente en intervalos temporales compactos.
Las potencias se calculan con producto matricial: representan acoplamientos repetidos. No se aplica la exponencial a cada casilla por separado. A⁰ es I incluso cuando A es la matriz cero; por eso e⁰=I en este contexto.
La matriz cero permite detectar una interpretación incorrecta
A=[[0,0],[0,0]].
Potencias
Todas las de grado positivo son cero.
Serie
Solo queda I.
Ecuación
z′=0 conserva cada dato, como hace multiplicar por I.
e^(tA)=I, no una matriz llena de unos.
Exponentiar cada entrada cero daría unos fuera de la diagonal y cambiaría indebidamente el dato.
Una serie que se trunca exactamente
A=[[0,2],[0,0]].
Multiplicar
A²=0.Términos
Todas las potencias desde la segunda desaparecen.
Suma
e^(tA)=I+tA, con filas (1,2t) y (0,1).
No es una aproximación de primer orden: aquí es el resultado exacto.
La ecuación x′=2y,y′=0 de la sección anterior confirma la matriz por otra vía.
3. Derivar la serie demuestra que transporta todos los datos
La serie de derivadas también converge uniformemente en compactos, permitiendo derivar término a término.
A conmuta con sus propias potencias, así también puede escribirse e^(tA)A.
Por tanto z(t)=e^(tA)z₀ cumple ecuación y dato, y la unicidad garantiza que son todas las soluciones. Para un instante inicial t₀ usamos e^((t−t₀)A)z₀: la evolución depende del tiempo transcurrido, no del nombre del reloj.
Un dato que no se da en cero
A=diag(1,−3), z(2)=(2,4).
Tiempo transcurrido
τ=t−2.Transportar
z(t)=(2e^(t−2),4e^(−3(t−2))).Comprobar
En t=2 los exponentes son cero y las derivadas multiplican por uno y menos tres.
El dato se recupera en su instante correcto.
Usar e^(tA) directamente con ese vector habría impuesto el dato en cero.
Comprobar un propagador acoplado
A=[[1,1],[0,1]], X=eᵗ[[1,t],[0,1]].
Dato matricial
X(0)=I.Derivar por entradas
Las filas de X′ son (eᵗ,(1+t)eᵗ) y (0,eᵗ).
Multiplicar
AX tiene exactamente esas dos filas.
X resuelve la ecuación matricial y transporta cualquier estado inicial.
No basta con verificar solo las entradas diagonales: el acoplamiento está en la casilla superior derecha.
4. La ley de evolución da una inversa y controla el volumen
Puede demostrarse multiplicando series absolutamente convergentes o por unicidad de las soluciones. Tomar s=−t da inversa e^(−tA), así las columnas nunca pierden independencia.
La regla de derivación del determinante, aplicada a X′=AX con X invertible, da d(det X)/dt=(tr A)det X y el dato uno. El determinante mide cambio de volumen; no basta para conocer la longitud de cada vector ni la estabilidad.
Ir en dos etapas y volver al dato
x′=2y,y′=0; z₀=(1,1).
Una unidad
X(1) lleva a (3,1).
Otras dos
X(2) lleva ese estado a (7,1), igual que X(3)z₀.
Volver
X(−3), con entrada superior derecha −6, devuelve (1,1).
El transporte se compone sumando tiempos.
El determinante es uno para todo t, de acuerdo con tr A=0.
Volumen constante con una dirección que crece
A=diag(2,−2).
Exponencial
diag(e^(2t),e^(−2t)).
Determinante
El producto es uno y la traza original es cero.
Direcciones
(1,0) crece sin cota hacia el futuro y (0,1) se contrae.
Conservar área no implica conservar longitudes ni cercanía al origen.
El determinante combina expansión y contracción, que pueden compensarse.
5. Diagonalizar significa resolver en una base de autovectores
Las coordenadas propias evolucionan como e^(λᵢt)wᵢ(0).
También se deduce al sustituir Aᵏ=PDᵏP⁻¹ en cada término de la serie.
P solo necesita ser invertible; no tiene por qué ser ortogonal. Si no hay una base completa de autovectores, ese método diagonal no se aplica, pero la exponencial sigue existiendo y podremos usar bloques de Jordan u otras identidades.
Dos direcciones diagonales en el plano
A=[[-2,1],[1,-2]].
Vectores propios
(1,1) tiene valor −1 y (1,−1) valor −3.
Dato
(2,0)=(1,1)+(1,−1).Evolución
z(t)=e^(−t)(1,1)+e^(−3t)(1,−1).
z=(e^(−t)+e^(−3t),e^(−t)−e^(−3t)).
En cero vale (2,0); cada sumando sigue su propia dirección y tasa.
Una base propia puede ser oblicua
A=[[2,1],[0,3]].
Base
v₁=(1,0) para dos y v₂=(1,1) para tres; P tiene esas columnas.
Inversa
P⁻¹ tiene filas (1,−1) y (0,1).
Exponencial
Pe^(tD)P⁻¹ tiene filas (e^(2t),e^(3t)−e^(2t)) y (0,e^(3t)).
La entrada acoplada es una diferencia de dos exponenciales.
Para dato (0,1), x=e^(3t)−e^(2t), y=e^(3t), y se verifica x′=2x+y.
6. Una parte nilpotente añade factores polinómicos de tiempo
En un bloque J=λI+N, con Nᵐ=0, las dos partes conmutan.
La suma termina porque las potencias siguientes son cero.
Es el mismo mecanismo que generaba tᵏe^(λt) en ecuaciones escalares con raíces repetidas. Los factores de tiempo pueden causar crecimiento con autovalores cero y amplificación transitoria incluso cuando finalmente domina una exponencial decreciente. Necesitamos mirar el bloque, además del valor propio.
Un bloque nilpotente de tamaño tres
N tiene filas (0,1,0), (0,0,1), (0,0,0).
Potencias
N² solo tiene un uno en la casilla (1,3), y N³=0.Serie
e^(tN)=I+tN+(t²/2)N².Dato e₃
La solución que sale de (0,0,1) es (t²/2,t,1).
El acoplamiento encadenado genera crecimiento cuadrático.
Derivar da (t,1,0), que coincide con N(t²/2,t,1).
Decaimiento final con aumento inicial de alguna norma
J=[[-1,4],[0,-1]].
Descomponer
J=−I+N, con N²=0.Exponencial
e^(tJ)=e^(−t)[[1,4t],[0,1]].Dato vertical
Desde (0,1), la norma en t=1 es √17/e, aproximadamente 1,52, mayor que la inicial uno; a largo plazo tiende a cero.
Autovalores negativos no exigen que cada norma decrezca en todo instante.
El factor polinómico no impide decaimiento exponencial con constantes adecuadas hacia el futuro.
7. Un bloque complejo real representa giro y cambio de escala
Separar la serie par e impar da e^(tA)=e^(αt)[[cos(βt),−sen(βt)],[sen(βt),cos(βt)]]. La matriz trigonométrica es una rotación.
Si todas las partes reales del espectro son negativas, los factores exponenciales dominan cualquier polinomio de Jordan y hay decaimiento exponencial. Alguna parte positiva permite crecimiento. Cuando las partes reales son cero, revisar los bloques es esencial para saber si el propagador permanece acotado.
El foco estable del dibujo
A=[[-1,−2],[2,−1]].
Bloque
α=−1,β=2.Exponencial
e^(−t)R(2t).
Norma
La rotación conserva norma, así ‖z(t)‖=e^(−t)‖z₀‖.
Todas las trayectorias giran y se acercan al origen hacia el futuro.
La velocidad angular es dos; el radio y la dirección cambian por mecanismos separados.
Mismos valores propios cero, distinto crecimiento
Compara A=0 y N=[[0,2],[0,0]].
Espectros
Ambas matrices tienen valores propios cero.
Primera
e^(tA)=I, cada dato queda fijo.Segunda
e^(tN) tiene entrada 2t y desde (0,1) crece como (2t,1).
La lista de autovalores no muestra por sí sola el efecto de Jordan.
El bloque no trivial es el que añade crecimiento polinómico.
8. La variación de constantes suma las respuestas al forzamiento
Integrar y volver a z produce e^(tA)z₀ más la integral de e^((t−s)A)b(s) desde cero hasta t.
El primer término transporta el dato. La integral acumula una entrada aplicada en cada instante s y evolucionada durante t−s. La continuidad de b basta para esta solución. La posición de la matriz dentro de la integral y el orden de los productos se mantienen.
Dos componentes con entrada constante
A=diag(−1,−2), b=(1,2), z₀=(0,0).
Propagador
diag(e^(−(t−s)),e^(−2(t−s))).
Integrar componentes
La primera da 1−e^(−t); la segunda, 1−e^(−2t).
Comprobar
Sus derivadas son e^(−t),2e^(−2t), iguales a Az+b.
z=(1−e^(−t),1−e^(−2t)).
Ambas componentes tienden a uno, pero con tasas diferentes.
Una entrada en la segunda componente se integra otra vez en la primera
A=[[0,1],[0,0]], b=(0,1), z₀=0.
Respuesta a b
e^((t−s)A)b=(t−s,1).Integral
De cero a t resulta (t²/2,t).
Sistema
y′=1 e x′=y=t, como predice la solución.
El forzamiento produce crecimiento cuadrático en la primera coordenada.
El término t²/2 no procede del dato inicial, que era cero.
9. La conmutación decide cuándo se pueden separar exponentes
Si AB=BA, e^(A+B)=eᴬeᴮ por la expansión binomial de las potencias y las series. Sin conmutación, el grado dos de la primera tiene (AB+BA)/2 y el producto tiene AB. No podemos trasladar automáticamente todas las reglas escalares.
Para z′=A(t)z con A continua, hay una matriz fundamental Φ, pero exp(∫A) no funciona en general. Sí funciona si las matrices de tiempos distintos conmutan, por ejemplo A(t)=tC con C fija. En general el propagador desde s a t es Φ(t)Φ(s)⁻¹; con forzamiento se usa variación de constantes mediante esa matriz fundamental.
Un contraejemplo con dos matrices muy pequeñas
A=[[0,1],[0,0]], B=[[0,0],[1,0]].
No conmutan
AB=diag(1,0), BA=diag(0,1).Producto exponencial
eᴬ=I+A y eᴮ=I+B, así eᴬeᴮ tiene filas (2,1),(1,1).Suma
S=A+B cumple S²=I, por lo que eˢ=cosh(1)I+senh(1)S, con las dos diagonales iguales.
e^(A+B) no puede ser eᴬeᴮ, cuyas diagonales son dos y uno.
La diferencia se prueba sin aproximar cosh ni senh.
Una matriz variable que sí permite integrar el exponente
A(t)=tC y dato en cero.
Conmutación
A(t)A(s)=tsC²=A(s)A(t).Candidata
X(t)=e^((t²/2)C).Verificar
X′=tCX=A(t)X y X(0)=I.
El exponente integrado funciona bajo esa conmutación.
La verificación por derivada y dato sigue siendo el criterio, incluso cuando una fórmula parezca natural.
Ahora lo resolvemos de principio a fin.
EJEMPLO RESUELTO 1
Sistema diagonal
x′=2x,y′=−y, (x(0),y(0))=(1,3).
Estado
z=(x,y)ᵀ, A=diag(2,−1), z₀=(1,3)ᵀ.Desacoplar
Cada fila usa solo su propia componente: x′=2x,y′=−y.
Exponencial
e^(tA)=diag(e^(2t),e^(−t)).Aplicar dato
z=(e^(2t),3e^(−t)).Interpretar
La primera dirección crece y la segunda decrece hacia el futuro.
Verificar
x′=2x,y′=−y y en cero se recuperan uno y tres. det(e^(tA))=eᵗ coincide con e^(t tr A).
(x,y)=(e^(2t),3e^(−t)).
La exponencial en cero es I y su determinante es e^t=e^(t tr A), coherente con tr A=1.
EJEMPLO RESUELTO 2
Nilpotente
Calcula e^(tA) para A=[[0,1],[0,0]].
Potencia
Para A=[[0,1],[0,0]], multiplicar por sí misma da A²=0.Truncar
Todas las potencias de grado al menos dos son cero.
Serie
Solo quedan I+tA.
Sumar
Las filas son (1,t) y (0,1).
Ecuación matricial
X′=A y AX=A(I+tA)=A por nilpotencia.Dato e inversa
X(0)=I.Su inversa tiene filas (1,−t),(0,1), igual a e^(−tA), y el dato (a,b) pasa a (a+tb,b).
[[1,t],[0,1]].
Su determinante es uno y su inversa [[1,−t],[0,1]] coincide con e^(−tA). Esto concuerda con tr A=0.
Los símbolos que hemos usado
- x′=Ax
- Sistema autónomo lineal con estado columna x∈Rⁿ y matriz constante A de tamaño n×n.
- e^(tA)
- Matriz definida por Σ_(k≥0)tᵏAᵏ/k!, con A⁰=I.
- Φ(t)
- Matriz fundamental: sus columnas son soluciones linealmente independientes del sistema homogéneo.
- x₀
- Estado inicial, aquí tomado en t=0 salvo indicación contraria.
- N nilpotente
- Matriz con N^m=0 para algún entero m≥1.
- b(t)
- Forzamiento vectorial de x′=Ax+b(t).
- AB=BA
- Condición de conmutación entre matrices.
Ahora te toca a ti.
Tienes cinco ejercicios. Inténtalos; las pistas te ayudan si te atascas.
Practicar este tema →