---
title: "Ecuaciones diferenciales"
book: "Matemáticas universitarias — Grado 2"
subject: math
language: es
chapter: 16
exercises: 12
source: https://one-course.com/books/math/4/es/chapter/16-ecuaciones-diferenciales
---

# Capítulo 16 — Ecuaciones diferenciales

El primer año resolvió las ecuaciones lineales que admiten fórmula. Este capítulo suministra lo que las fórmulas no pueden: el *teorema de Cauchy–Lipschitz* —existencia y unicidad para $y' = f(t, y)$— demostrado con el teorema del punto fijo de Banach, exactamente como se prometió en el [Capítulo 4](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#ch-b2-metric); y después la teoría completa de los *sistemas lineales* $X' = A(t)X + B(t)$, con la [exponencial de matrices](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#ex-b2-nvs-matrixexp) y el [wronskiano](#def-b2-diffeq-wronskian) como motores de cálculo.

## 16.1 El teorema de Cauchy–Lipschitz

**Teorema 16.1 (Cauchy–Lipschitz, versión lipschitziana global).**

Sean $I$ un segmento y $f \colon I \times \R^n \to \R^n$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) y *[lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en la segunda variable*, uniformemente en la primera: $\norm{f(t, y) - f(t, z)} \leq k\,\norm{y - z}$ para todo $t
\in I$. Entonces, para todo $(t_0, y_0) \in I \times \R^n$, el problema de Cauchy

$$
y' = f(t, y), \qquad y(t_0) = y_0
$$

tiene exactamente una solución $y \colon I \to \R^n$ de clase $C^1$.

**Demostración.** *Reformulación.* Una $y$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) resuelve el problema si y solo si satisface la ecuación integral

$$
y(t) = y_0 + \int_{t_0}^{t} f\bigl(s, y(s)\bigr)\,\dd s
=: T(y)(t)
$$

(teorema fundamental del cálculo en ambos sentidos; una solución [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) de la ecuación integral es automáticamente $C^1$).

*Una contracción, tras renormar.* Sobre el [espacio de Banach](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#def-b2-nvs-banach) $E =
C(I, \R^n)$ con la [norma](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#def-b2-nvs-norm) *con peso*

$$
N(y) = \sup_{t \in I}\; \eu^{-2k\abs{t - t_0}}\,\norm{y(t)} ,
$$

(equivalente a la [norma](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#def-b2-nvs-norm) del supremo: el peso está acotado superior e inferiormente sobre el segmento $I$, de modo que $E$ sigue siendo [completo](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-complete)), estimemos, para $y, z \in E$ y, digamos, $t \geq t_0$:

$$
\norm{T(y)(t) - T(z)(t)}
\leq \int_{t_0}^{t} k\,\norm{y(s) - z(s)}\,\dd s
\leq k\,N(y - z)\int_{t_0}^{t} \eu^{2k(s - t_0)}\dd s
\leq \frac{N(y-z)}{2}\,\eu^{2k(t - t_0)} .
$$

Multiplicando por $\eu^{-2k(t - t_0)}$ y tomando el supremo (el caso $t < t_0$ es [simétrico](https://one-course.com/books/math/4/es/chapter/12-formas-cuadraticas#def-b2-quadratic-adjoint)): $N\bigl(T(y) - T(z)\bigr) \leq \frac12 N(y -
z)$: $T$ es una contracción de razón $\frac12$ del espacio [completo](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-complete) $(E, N)$. El teorema del punto fijo de Banach ([Teorema 4.12](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#thm-b2-metric-banach)) proporciona un único punto fijo: la única solución. ∎

**Observación 16.2.**

Para $f$ meramente $C^1$ (localmente [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity)), el teorema vale *localmente*, con una solución maximal sobre un intervalo [abierto](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-topology) maximal; las soluciones pueden explotar en tiempo finito ($y'
= y^2$, $y(0) = 1$: $y(t) = \frac{1}{1-t}$, desaparecida en $t = 1$). La hipótesis [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) global es lo que compra el segmento entero. Dos consecuencias dignas de grabarse: las curvas solución de una EDO con campo [lipschitziano](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) *nunca se cortan*; y la función nula es la única solución de una ecuación lineal homogénea que se anule en algún punto.

**Ejemplo 16.3 (La unicidad es un teorema: un campo que se escapa).**

Consideremos $y' = 2\sqrt{\abs y}$ con $y(0) = 0$. La función nula lo resuelve; y también

$$
y(t) = \begin{cases} 0 & t \leq 0,\\ t^2 & t \geq 0,
\end{cases}
$$

que es $C^1$ (ambos trozos tienen derivada $0$ en el punto de empalme) y cumple $y'(t) = 2t = 2\sqrt{t^2}$ para $t > 0$; de hecho, retrasar el despegue da una solución para *cada* instante de salida $c \geq 0$: infinitas soluciones con el mismo dato inicial. No hay contradicción con el [Teorema 16.1](#thm-b2-diffeq-cauchylipschitz): cerca de $y = 0$,

$$
\frac{\abs{2\sqrt y - 2\sqrt z}}{\abs{y - z}}
= \frac{2}{\sqrt y + \sqrt z} \longrightarrow +\infty ,
$$

el campo no es [lipschitziano](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en $y$, y el teorema calla. Moraleja: la lectura física es la de un cubo que se vacía por gravedad, visto del revés: desde el estado vacío no puede saberse cuándo empezó a llenarse; el determinismo de las EDO es exactamente la condición [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity), no una ley de la naturaleza.

## 16.2 Sistemas lineales

**Teorema 16.4 (Estructura de los sistemas lineales).**

Sean $A \colon I \to \mathcal{M}_n(\R)$ y $B \colon I \to \R^n$ [continuas](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) sobre un intervalo $I$. Para todo $(t_0, X_0)$, el problema

$$
X' = A(t)X + B(t), \qquad X(t_0) = X_0
$$

tiene exactamente una solución sobre *todo* $I$. Las soluciones del sistema homogéneo ($B = 0$) forman un espacio vectorial $\mathcal{S}_H$ de dimensión exactamente $n$, y la evaluación $X
\mapsto X(t_0)$ es un isomorfismo $\mathcal{S}_H \to \R^n$; solución general $=$ particular $+$ homogénea.

**Demostración.** Sobre todo segmento $J \subseteq I$ que contenga a $t_0$: $f(t, X) =
A(t)X + B(t)$ es [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) y [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en $X$ con constante $k =
\sup_J \vertiii{A(t)}$ (finita: es [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) sobre un segmento), de modo que el [Teorema 16.1](#thm-b2-diffeq-cauchylipschitz) se aplica sobre $J$; haciendo que $J$ agote $I$, la unicidad pega las soluciones en una sola sobre $I$. La linealidad del conjunto de soluciones y de la aplicación evaluación son claras; la evaluación es biyectiva por la existencia (sobreyectiva) y la unicidad (inyectiva): $\dim
\mathcal{S}_H = n$. La estructura afín es el argumento del primer año palabra por palabra. ∎

**Ejemplo 16.5 (El isomorfismo de evaluación, en concreto).**

Para $y'' + y = 0$, visto como el sistema $X' = \begin{pmatrix} 0 &
1\\ -1 & 0\end{pmatrix}X$ con $X = (y, y')$: el teorema dice que el espacio de soluciones es un plano y que $X \mapsto X(0) = (y(0),
y'(0))$ es un isomorfismo sobre $\R^2$. Las soluciones $\cos$ y $\sin$ se evalúan en $(1, 0)$ y $(0, 1)$ —la base canónica de $\R^2$—, así que forman una base del espacio de soluciones, y *toda* solución es

$$
y(t) = y(0)\cos t + y'(0)\sin t ,
$$

con los coeficientes leídos directamente en los datos iniciales, sin ningún sistema lineal que resolver. Moraleja: elegir el [sistema fundamental](#def-b2-diffeq-wronskian) cuyos valores iniciales sean la base canónica (aquí, $\cos$ y $\sin$) es exactamente elegir las columnas de $\eu^{tA}$; el isomorfismo de evaluación es la razón de que las condiciones iniciales parametricen las trayectorias, el contenido geométrico de la “dinámica determinista” para las ecuaciones lineales.

**Definición 16.6 (Wronskiano).**

Para soluciones $X_1, \dots, X_n$ del sistema homogéneo, el *wronskiano* es $W(t) = \det\bigl(X_1(t),
\dots, X_n(t)\bigr)$. Por el isomorfismo anterior, o bien $W$ se anula idénticamente (la familia es ligada) o bien no se anula nunca (un *sistema fundamental*); cuantitativamente, $W' = \operatorname{tr}\bigl(A(t)\bigr) W$, de modo que

$$
W(t) = W(t_0)\,\exp\Bigl(\int_{t_0}^{t}
\operatorname{tr} A(s)\,\dd s\Bigr)
\quad \text{(fórmula de Liouville)}.
$$

**Ejemplo 16.7 (Liouville comprobado en una ecuación de Euler).**

Sobre $\intoo{0}{\infty}$, la ecuación $t^2y'' + ty' - y = 0$ tiene las soluciones $y_1(t) = t$ e $y_2(t) = \frac1t$ (sustitúyase). Su [wronskiano](#def-b2-diffeq-wronskian):

$$
W(t) = \det\begin{pmatrix} t & \tfrac1t\\[2pt]
1 & -\tfrac{1}{t^2}\end{pmatrix}
= -\frac1t - \frac1t = -\frac2t ,
$$

nunca nulo: un [sistema fundamental](#def-b2-diffeq-wronskian). Comprobemos ahora Liouville: en forma normalizada $y'' + \frac1t\,y' - \frac{1}{t^2}\,y = 0$, la matriz compañera $A(t) = \begin{pmatrix} 0 & 1\\ \frac{1}{t^2} &
-\frac1t\end{pmatrix}$ tiene traza $-\frac1t$, luego

$$
W(t) = W(1)\exp\Bigl(-\int_1^t\frac{\dd s}{s}\Bigr)
= -2\,\eu^{-\ln t} = -\frac2t . \checkmark
$$

Moraleja: Liouville predice la *forma* del [wronskiano](#def-b2-diffeq-wronskian) antes de conocer ninguna solución —aquí, que $W$ debe ser $\frac{c}{t}$—; esto es lo que impulsa el método de reducción del orden ([Proposición 16.15](#prop-b2-diffeq-secondorder)), donde conocer $y_1$ y la forma del [wronskiano](#def-b2-diffeq-wronskian) determina $y_2$ mediante una sola cuadratura.

**Demostración de la fórmula de Liouville.** $W(t) = \det M(t)$ con $M' = AM$. Derivando el [determinante](https://one-course.com/books/math/4/es/chapter/2-algebra-lineal#def-b2-linalg-det) como función multilineal de las columnas,

$$
W'(t) = \sum_j \det(X_1, \dots, X_j', \dots, X_n)
= \sum_j \det(X_1, \dots, AX_j, \dots, X_n) .
$$

Ahora bien, la aplicación $(C_1, \dots, C_n) \mapsto \sum_j \det(C_1,
\dots, AC_j, \dots, C_n)$ es $n$-lineal y alternada (con dos columnas iguales $C_i = C_k$, los términos $j \notin \{i, k\}$ se anulan de entrada, y los términos $j = i$ y $j = k$ se cancelan por parejas tras un intercambio de columnas): por el teorema de unicidad ([Teorema 2.14](https://one-course.com/books/math/4/es/chapter/2-algebra-lineal#thm-b2-linalg-detspace)) vale $c \cdot \det$, con $c$ leído en las columnas canónicas: $c = \sum_j \det(e_1, \dots, Ae_j, \dots,
e_n) = \sum_j a_{jj} = \operatorname{tr} A$. Por tanto, $W' =
\operatorname{tr}\bigl(A(t)\bigr)W$: una EDO lineal escalar, resuelta por la fórmula del primer año. ∎

## 16.3 Coeficientes constantes: la exponencial de matrices

**Teorema 16.8.**

Para $A \in \mathcal{M}_n(\R)$ (o $\C$), la exponencial $\eu^{tA} =
\sum_k \frac{(tA)^k}{k!}$ ([Ejemplo 5.22](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#ex-b2-nvs-matrixexp)) cumple: $t
\mapsto \eu^{tA}$ es $C^1$ (de hecho $C^\infty$) con

$$
\frac{\dd}{\dd t}\,\eu^{tA} = A\,\eu^{tA} = \eu^{tA}A ,
\qquad
\eu^{(s+t)A} = \eu^{sA}\,\eu^{tA},
\qquad
(\eu^{A})^{-1} = \eu^{-A} ;
$$

y $\eu^{A + B} = \eu^A\eu^B$ *cuando* $AB = BA$. El problema de Cauchy $X' = AX$, $X(0) = X_0$ tiene la única solución $X(t) =
\eu^{tA}X_0$; con un término fuente vale la fórmula de *variación de las constantes*:

$$
X(t) = \eu^{(t - t_0)A}X_0 + \int_{t_0}^{t} \eu^{(t-s)A}B(s)\,\dd
s .
$$

**Demostración.** *[Diferenciabilidad](https://one-course.com/books/math/4/es/chapter/15-calculo-diferencial#def-b2-diffcalc-differential):* la serie $\sum \frac{t^kA^k}{k!}$ y su serie derivada término a término $\sum \frac{t^{k-1}A^k}{(k-1)!} =
A\sum \frac{(tA)^{k-1}}{(k-1)!}$ convergen [normalmente](https://one-course.com/books/math/4/es/chapter/10-sucesiones-y-series-de-funciones#def-b2-funcseq-series) sobre todo segmento ([normas](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#def-b2-nvs-norm) $\leq \frac{(\abs t\,\vertiii A)^k}{k!}$): derívese término a término ([Teorema 10.11](https://one-course.com/books/math/4/es/chapter/10-sucesiones-y-series-de-funciones#thm-b2-funcseq-seriestransfer), con valores vectoriales). Los dos órdenes $A\eu^{tA}$ y $\eu^{tA}A$ coinciden porque toda suma parcial conmuta con $A$.

*Ley de grupo:* para $A, B$ que conmutan, el [producto de Cauchy](https://one-course.com/books/math/4/es/chapter/7-sucesiones-y-series#thm-b2-series-fubini) de las dos series exponenciales se reorganiza por el teorema del binomio exactamente como en el [Ejemplo 7.15](https://one-course.com/books/math/4/es/chapter/7-sucesiones-y-series#ex-b2-series-exp) (la convergencia absoluta en el álgebra de Banach lo justifica): $\eu^{A+B} = \eu^A\eu^B$; con $B = sA$ esto da la ley de grupo uniparamétrica, y con $B = -A$, la inversa.

*Problema de Cauchy:* $X(t) = \eu^{tA}X_0$ lo resuelve (derívese); la unicidad, por el [Teorema 16.4](#thm-b2-diffeq-linear). Variación de las constantes: póngase $Y(t) = \eu^{-tA}X(t)$; derivando, $Y' = \eu^{-tA}(X' - AX) = \eu^{-tA}B(t)$; intégrese de $t_0$ a $t$ y multiplíquese de nuevo por $\eu^{tA}$. ∎

**Método 16.9 (Calcular etA\eu^{tA}etA).**

Redúzcase $A$ ([Capítulo 3](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#ch-b2-reduction)): si $A = PDP^{-1}$ es diagonal, $\eu^{tA} = P\,\eu^{tD}P^{-1}$ con $\eu^{tD}$ diagonal de entradas $\eu^{t\lambda_i}$; en general, úsese Dunford $A = D + N$ (que conmutan): $\eu^{tA} = \eu^{tD}\,\eu^{tN}$ con $\eu^{tN}$ un *polinomio* en $t$ (la nilpotencia trunca la serie). Los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) complejos se emparejan en bloques de rotación por exponencial ([Ejercicio 16.5](#exo-b2-diffeq-5)).

**Observación 16.10 (Errores frecuentes).**

*(i) $\eu^{A+B} \neq \eu^A\eu^B$ sin conmutación:* tómense $A =
\begin{pmatrix} 0 & 1\\ 0 & 0\end{pmatrix}$ y $B = \begin{pmatrix} 0
& 0\\ 1 & 0\end{pmatrix}$. Entonces $\eu^A = I + A$ y $\eu^B = I + B$ (nilpotencia), de modo que

$$
\eu^A\eu^B = \begin{pmatrix} 2 & 1\\ 1 & 1\end{pmatrix},
\qquad\text{mientras que}\qquad
\eu^{A+B} = \cosh(1)\,I + \sinh(1)\,(A + B)
= \begin{pmatrix} \cosh 1 & \sinh 1\\ \sinh 1 & \cosh 1
\end{pmatrix},
$$

usando $(A+B)^2 = I$; y $\cosh 1 \approx 1.54 \neq 2$. La ley de grupo del [Teorema 16.8](#thm-b2-diffeq-matrixexp) lleva una hipótesis genuina. *(ii) Intuición no lineal en terreno lineal:* las soluciones de un sistema *lineal* con coeficientes [continuos](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) viven sobre todo el intervalo ([Teorema 16.4](#thm-b2-diffeq-linear)); si una candidata a solución explota dentro de $I$, o la ecuación no era lineal o el cálculo está mal. Recíprocamente, para las ecuaciones no lineales no prometas nunca globalidad sin un argumento ($y' = y^2$). *(iii) Dividir por la incógnita:* separar variables en $y' =
y(1-y)$ descarta en silencio las soluciones constantes $0$ y $1$, justo las que organizan la recta de fases ([Ejercicio 16.3](#exo-b2-diffeq-3)); enumérense primero las soluciones constantes. *(iv) Los datos iniciales fijan vectores, no escalares:* una ecuación escalar de orden $n$ necesita $n$ condiciones ($y, y', \dots$ en $t_0$); ajustar solo $y(t_0)$ deja una familia con $(n-1)$ parámetros, fuente clásica de constantes “perdidas”.

**Ejemplo 16.11 (Una exponencial 3×33\times33×3 por Dunford).**

Resolvamos $X' = AX$ para $A = \begin{pmatrix} 2 & 1 & 0\\ 0 & 2 &
0\\ 0 & 0 & 3\end{pmatrix}$. Dunford por bloques: $A = D + N$ con $D
= \operatorname{diag}(2, 2, 3)$ y $N = E_{12}$, que conmutan ($N$ vive dentro del bloque del [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $2$) y con $N^2 = 0$:

$$
\eu^{tA} = \eu^{tD}\,\eu^{tN}
= \begin{pmatrix}
\eu^{2t} & t\,\eu^{2t} & 0\\
0 & \eu^{2t} & 0\\
0 & 0 & \eu^{3t}
\end{pmatrix} .
$$

La solución general se lee columna a columna: $X(t) =
\bigl(\eu^{2t}(x_0 + ty_0),\ \eu^{2t}y_0,\ \eu^{3t}z_0\bigr)$. Comprobaciones de sensatez: en $t = 0$ la matriz es $I$; su [determinante](https://one-course.com/books/math/4/es/chapter/2-algebra-lineal#def-b2-linalg-det) es $\eu^{7t} = \eu^{t\operatorname{tr}A}$, como exige Liouville; y el factor $t$ aparece justo donde el [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $2$ es defectuoso. Moraleja: los polinomios por exponenciales no son una conjetura que haya que memorizar: son la serie truncada $\eu^{tN}$, y su grado está acotado por el índice de nilpotencia, nunca más.

**Método 16.12 (Resolver X′=AX+B(t)X' = AX + B(t)X′=AX+B(t), de principio a fin).**

1. [Espectro](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de $A$ ; después $\eu^{tA}$ mediante el [Método 16.9](#met-b2-diffeq-computeexp) (diagonalizar, o Dunford como en el [Ejemplo 16.11](#ex-b2-diffeq-dunford3) , o un truco polinómico como $A^2 = -I$ ).
2. Una solución particular: la variación de las constantes $\int_{t_0}^t\eu^{(t-s)A}B(s)\dd s$ funciona siempre; para $B$ exponencial-polinómica, un ansatz de la misma forma (con el grado elevado en caso de [resonancia](#pb-b2-diffeq-1) , [Ejercicio 16.10](#exo-b2-diffeq-10) ) es más rápido.
3. Solución general $= \eu^{(t-t_0)A}X_0 +$ particular; ajústense los datos iniciales *al final* , sobre la fórmula completa.
4. Comprobaciones de sensatez: que $X(t_0)$ sea correcto; que el crecimiento de la parte homogénea case con las partes reales de los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) ( [Ejercicio 16.8](#exo-b2-diffeq-8) ); y que el $\det$ de una matriz fundamental obedezca a Liouville.

**Ejemplo 16.13 (Un retrato de fases).**

$X' = AX$ con $A = \begin{pmatrix} 0 & 1\\ -1 & 0\end{pmatrix}$: $A^2
= -I$, luego la serie se escinde en

$$
\eu^{tA} = (\cos t)\,I + (\sin t)\,A
= \begin{pmatrix} \cos t & \sin t\\ -\sin t & \cos t
\end{pmatrix} :
$$

las trayectorias son circunferencias recorridas en el sentido de las agujas del reloj; el oscilador armónico $x'' + x = 0$ vestido de primer orden. [Valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $\pm\iu$ sobre el eje imaginario: un *centro*. Más en general, las partes reales de los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de $A$ deciden el crecimiento o el decaimiento de $\norm{X(t)}$ ([Ejercicio 16.8](#exo-b2-diffeq-8)).

![Dos retratos de fases lineales. Izquierda: un centro (valores propios ±), con órbitas circulares cerradas del oscilador armónico. Derecha: un nodo estable (valores propios -1, -2), donde todas las trayectorias caen al origen tangencialmente a la dirección propia lenta.](https://one-course.com/images/onecourse/chapters/math-4/b2-diffeq/fig-e6a5565f0d22.svg)

![Dos retratos de fases lineales. Izquierda: un centro (valores propios ±), con órbitas circulares cerradas del oscilador armónico. Derecha: un nodo estable (valores propios -1, -2), donde todas las trayectorias caen al origen tangencialmente a la dirección propia lenta.](https://one-course.com/images/onecourse/chapters/math-4/b2-diffeq/fig-f41c08dcc309.svg)

*Dos retratos de fases lineales. Izquierda: un *centro* ([valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $\pm\iu$), con órbitas circulares cerradas del oscilador armónico. Derecha: un *nodo estable* ([valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $-1, -2$), donde todas las trayectorias caen al origen tangencialmente a la dirección propia lenta.*

![El plano traza–determinante para X' = AX en dimensión 2: por debajo del eje horizontal, sillas; entre el eje y la parábola = 2/4, nodos; dentro de la parábola, focos; y sobre el semieje positivo de , centros. El problema de fin de semana demuestra esta clasificación y sigue una de sus rectas verticales —el oscilador amortiguado— hasta la resonancia.](https://one-course.com/images/onecourse/chapters/math-4/b2-diffeq/fig-af3e572f8504.svg)

*El plano traza–determinante para $X' = AX$ en dimensión $2$: por debajo del eje horizontal, sillas; entre el eje y la parábola $\delta = \tau^2/4$, nodos; dentro de la parábola, focos; y sobre el semieje positivo de $\delta$, centros. El problema de fin de semana demuestra esta clasificación y sigue una de sus rectas verticales —el oscilador amortiguado— hasta la [resonancia](#pb-b2-diffeq-1).*

**Observación 16.14 (Dónde se usa).**

Los sistemas lineales son el modelo local de todo lo no lineal: cerca de un equilibrio, un campo vectorial regular se comporta (en los casos hiperbólicos) como su linearización, cuyo retrato clasifica el plano traza–determinante. El problema de fin de semana desarrolla por completo la historia del oscilador —amortiguamiento, excitación, [resonancia](#pb-b2-diffeq-1) y teoremas de comparación de Sturm para coeficientes variables—, la matemática que hay detrás de los amortiguadores, de los circuitos de corriente alterna y de los huecos espectrales por igual. El volumen del tercer año vuelve con la teoría cualitativa (flujos, estabilidad, integrales primeras) sobre variedades.

## 16.4 Segundo orden con coeficientes variables

**Proposición 16.15.**

La ecuación $y'' + a(t)y' + b(t)y = c(t)$ ($a, b, c$ [continuas](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) sobre $I$) es el sistema $X' = A(t)X + B(t)$ para $X = (y, y')$: las soluciones existen y son únicas sobre todo $I$ para cualesquiera datos iniciales $(y(t_0), y'(t_0))$; las soluciones homogéneas forman un plano. Si se conoce una solución homogénea $y_1$ que no se anule, se halla otra independiente *bajando el orden*: poniendo $y = y_1
z$, la ecuación homogénea se convierte en una ecuación de primer orden para $z'$, resoluble por cuadraturas.

**Demostración.** La forma de sistema y el [Teorema 16.4](#thm-b2-diffeq-linear) dan todo lo estructural. Bajada del orden: sustituyendo $y = y_1z$,

$$
y_1 z'' + (2y_1' + a y_1)z' + \underbrace{(y_1'' + ay_1' +
by_1)}_{=\,0}\,z = 0 :
$$

una ecuación lineal de primer orden en $u = z'$, resoluble por la fórmula del primer año; integrando $u$ se obtiene $z$, y de ahí $y_2 =
y_1 z$, independiente de $y_1$ siempre que $z$ no sea constante. ∎

**Ejemplo 16.16.**

$t^2y'' - 2y = 0$ sobre $\intoo{0}{\infty}$: $y_1 = t^2$ es solución. Sustitúyase $y = t^2z$: de $y' = t^2z' + 2tz$ e $y'' = t^2z'' + 4tz' +
2z$,

$$
t^2y'' - 2y = t^4 z'' + 4t^3z' = 0,
\qquad\text{es decir,}\qquad \frac{z''}{z'} = -\frac4t :
$$

$z' = t^{-4}$ (salvo constante), $z = -\frac{1}{3t^3}$ e $y_2 = t^2z
= -\frac{1}{3t}$. Solución general: $y = \alpha t^2 +
\frac{\beta}{t}$.

## 16.5 Ejercicios

**Ejercicio 16.1 ★.**

Resuelve $X' = AX$, $X(0) = (1, 0)^{\mathsf T}$, para $A =
\begin{pmatrix} 1 & 1\\ 0 & 2\end{pmatrix}$ (diagonalizando) y para $A = \begin{pmatrix} 2 & 1\\ 0 & 2 \end{pmatrix}$ (por Dunford).

**Solución de Ejercicio 16.1.**

Primera matriz: [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $1, 2$, con [vectores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $(1,0)$ y $(1,1)$. Descompóngase $X_0 = (1,0) = 1\cdot(1,0) +
0\cdot(1,1)$: la solución es

$$
X(t) = \eu^{t}\begin{pmatrix}1\\ 0\end{pmatrix} .
$$

(El vector inicial es él mismo un [vector propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen).)

Segunda: $A = 2I + N$, $N = E_{12}$, $N^2 = 0$: $\eu^{tA} =
\eu^{2t}(I + tN)$, luego

$$
X(t) = \eu^{2t}\begin{pmatrix} 1 & t\\ 0 & 1\end{pmatrix}
\begin{pmatrix}1\\ 0\end{pmatrix}
= \eu^{2t}\begin{pmatrix}1\\ 0\end{pmatrix}.
$$

**Ejercicio 16.2 ★.**

¿Qué problemas de Cauchy tienen solución global única sobre $\R$ por el [Teorema 16.1](#thm-b2-diffeq-cauchylipschitz)? $y' = \sin(ty)$; $\;y' =
y^2$; $\;y' = \abs y$. Para el último, resuélvelo explícitamente con $y(0) = 0$ y con $y(0) = 1$.

**Solución de Ejercicio 16.2.**

$y' = \sin(ty)$: $\abs{\sin(ty) - \sin(tz)} \leq \abs t\,\abs{y -
z}$; es [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en $y$ [uniformemente](https://one-course.com/books/math/4/es/chapter/10-sucesiones-y-series-de-funciones#def-b2-funcseq-def) sobre todo segmento de tiempos: soluciones globales únicas sobre $\R$ (aplíquese el teorema sobre cada segmento).

$y' = y^2$: solo es localmente [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity); no hay teorema global, y en efecto $y(0) = 1$ explota en $t = 1$.

$y' = \abs y$: $\abs\cdot$ es $1$-lipschitziana: existencia y unicidad globales. Con $y(0) = 0$: $y \equiv 0$ (¡unicidad!). Con $y(0) = 1$: $y$ permanece positiva (no puede cruzar la solución nula), luego $y' =
y$: $y = \eu^t$.

**Ejercicio 16.3 ★.**

Demuestra que dos soluciones maximales distintas de $y' = f(t,y)$ ($f$ [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en $y$) nunca toman el mismo valor en el mismo instante, y deduce que las soluciones de $y' = y(1 - y)$ que arrancan en $\intoo{0}{1}$ permanecen en $\intoo{0}{1}$ para siempre.

**Solución de Ejercicio 16.3.**

Si $y(t_1) = z(t_1)$ en algún instante, entonces $y$ y $z$ resuelven el mismo problema de Cauchy en $t_1$: la unicidad fuerza $y = z$ sobre su intervalo común; soluciones distintas nunca se encuentran.

Para $y' = y(1-y)$: las constantes $0$ y $1$ son soluciones. Una solución que arranque en $\intoo{0}{1}$ nunca puede alcanzar $0$ ni $1$ (chocaría con una solución constante): permanece en $\intoo{0}{1}$ y, por tanto, es global (acotada, sin explosión; por ejemplo, por el criterio del [Ejercicio 16.9](#exo-b2-diffeq-9), o porque el campo vectorial está acotado sobre la banda en la que queda atrapada).

**Ejercicio 16.4 ★★.**

Calcula $\eu^{tA}$ para $A = \begin{pmatrix} 3 & 1\\ -1 &
1\end{pmatrix}$ *(Dunford: $(A - 2I)^2 = 0$)* y resuelve $X' =
AX + \begin{pmatrix} \eu^{2t}\\ 0\end{pmatrix}$, $X(0) = 0$, por variación de las constantes.

**Solución de Ejercicio 16.4.**

$(A - 2I)^2 = \begin{pmatrix}1 & 1\\ -1 & -1\end{pmatrix}^2 = 0$: Dunford con $D = 2I$ y $N = A - 2I$:

$$
\eu^{tA} = \eu^{2t}\,(I + tN)
= \eu^{2t}\begin{pmatrix} 1 + t & t\\ -t & 1 - t\end{pmatrix}.
$$

Variación de las constantes con $B(s) = (\eu^{2s}, 0)^{\mathsf T}$:

$$
X(t) = \int_0^t \eu^{(t-s)A}B(s)\,\dd s
= \eu^{2t}\int_0^t \begin{pmatrix} 1 + (t-s)\\ -(t-s)
\end{pmatrix}\dd s
= \eu^{2t}\begin{pmatrix} t + \frac{t^2}{2}\\[2pt] -\frac{t^2}{2}
\end{pmatrix},
$$

usando $\eu^{(t-s)A}B(s) = \eu^{2(t-s)}(I + (t-s)N)\,(\eu^{2s},
0)^{\mathsf T} = \eu^{2t}\bigl(1 + (t-s),\, -(t-s)\bigr)^{\mathsf
T}$. (Comprobación: $X(0) = 0$; y $X' - AX = (\eu^{2t}, 0)^{\mathsf
T}$ por derivación.)

**Ejercicio 16.5 ★★.**

Para $A = \begin{pmatrix} \alpha & -\beta\\ \beta &
\alpha\end{pmatrix}$, demuestra que $\eu^{tA} = \eu^{\alpha
t}\begin{pmatrix} \cos\beta t & -\sin\beta t\\ \sin\beta t &
\cos\beta t\end{pmatrix}$ —trayectorias en espiral— de dos maneras: mediante la serie (escribiendo $A = \alpha I + \beta J$ con $J^2 = -I$) y mediante la identificación compleja $z' = (\alpha +
\iu\beta)z$.

**Solución de Ejercicio 16.5.**

*Vía la serie:* $A = \alpha I + \beta J$ con $J =
\begin{pmatrix}0 & -1\\ 1 & 0\end{pmatrix}$ y $J^2 = -I$; los dos sumandos conmutan, luego $\eu^{tA} = \eu^{\alpha t}\,\eu^{\beta tJ}$, y la serie de $\eu^{\beta t J}$ se escinde según las potencias pares e impares en $\cos(\beta t)I + \sin(\beta t)J$: la matriz de rotación por homotecia enunciada.

*Vía los complejos:* identifíquese $(x, y) \in \R^2$ con $z = x +
\iu y$; el sistema $X' = AX$ se lee $z' = (\alpha + \iu\beta)z$, cuya solución $z(t) = \eu^{\alpha t}\eu^{\iu\beta t}z_0$ es exactamente la espiral: módulo $\eu^{\alpha t}$ y argumento avanzando a velocidad $\beta$.

**Ejercicio 16.6 ★★.**

(Lema de Gronwall) Sea $u$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) y no negativa con $u(t) \leq C +
k\int_{t_0}^{t} u(s)\,\dd s$ sobre $\intco{t_0}{T}$. Demuestra que $u(t) \leq C\,\eu^{k(t - t_0)}$ *(deriva $v(t) =
\eu^{-kt}\int_{t_0}^t u$)*. Deduce de nuevo la unicidad en Cauchy–Lipschitz y la dependencia [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) $\norm{y(t) - z(t)} \leq
\norm{y_0 - z_0}\,\eu^{k\abs{t - t_0}}$ para dos soluciones con datos iniciales distintos.

**Solución de Ejercicio 16.6.**

Sea $v(t) = \eu^{-k(t - t_0)}\int_{t_0}^t u$. Entonces

$$
v'(t) = \eu^{-k(t-t_0)}\Bigl(u(t) - k\int_{t_0}^t u\Bigr)
\leq C\,\eu^{-k(t-t_0)},
$$

por la hipótesis. Integrando de $t_0$ a $t$ (con $v(t_0) = 0$): $v(t)
\leq \frac{C}{k}\bigl(1 - \eu^{-k(t - t_0)}\bigr)$, es decir, $k\int_{t_0}^t u \leq C\bigl(\eu^{k(t-t_0)} - 1\bigr)$; y reinyectando esto en la hipótesis: $u(t) \leq C\eu^{k(t-t_0)}$.

Unicidad y dependencia: dos soluciones $y, z$ de la ecuación integral cumplen

$$
\norm{y(t) - z(t)} \leq \norm{y_0 - z_0} +
k\int_{t_0}^{t}\norm{y - z},
$$

y Gronwall con $C = \norm{y_0 - z_0}$ da la cota exponencial; con $C
= 0$ se obtiene la unicidad.

**Ejercicio 16.7 ★★.**

Sabiendo que $y_1(t) = \frac{\sin t}{t}$ resuelve $ty'' + 2y' + ty =
0$ sobre $\intoo{0}{\pi}$, halla una segunda solución independiente bajando el orden y da la solución general.

**Solución de Ejercicio 16.7.**

Sustitúyase $y = y_1 z$ con $y_1 = \frac{\sin t}{t}$: la fórmula general de bajada del orden ([Proposición 16.15](#prop-b2-diffeq-secondorder)) da, para $u = z'$,

$$
y_1 u' + \Bigl(2y_1' + \frac{2}{t}\,y_1\Bigr)u = 0
$$

(con la ecuación normalizada como $y'' + \frac2t y' + y = 0$). Calculemos $2y_1' + \frac2t y_1 = 2\,\frac{t\cos t - \sin t}{t^2} +
\frac{2\sin t}{t^2} = \frac{2\cos t}{t}$: así pues,

$$
\frac{u'}{u} = -\frac{2\cos t}{t}\cdot\frac{t}{\sin t}
= -2\cot t
\quad\Longrightarrow\quad
u = \frac{1}{\sin^2 t}
\quad (\text{salvo constante}),
$$

y $z = -\cot t$, lo que da $y_2 = y_1 z = -\frac{\cos t}{t}$. Solución general sobre $\intoo{0}{\pi}$:

$$
y(t) = \alpha\,\frac{\sin t}{t} + \beta\,\frac{\cos t}{t} .
$$

(Son las funciones esféricas de Bessel de orden cero.)

**Ejercicio 16.8 ★★★.**

Sea $A \in \mathcal{M}_n(\C)$ con todos sus [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de parte real (estrictamente) negativa. Demuestra que toda solución de $X' =
AX$ tiende a $0$ cuando $t \to +\infty$, con ritmo exponencial: $\norm{X(t)} \leq C\,\eu^{-\alpha t}$ para cierto $\alpha > 0$. *(Trigonaliza; trata el sistema triangular desde la última fila hacia arriba, o usa Dunford: $\eu^{tA} = \eu^{tD}\eu^{tN}$ con $\norm{\eu^{tD}} \leq \eu^{-\alpha' t}$ y $\eu^{tN}$ polinómica en $t$.)*

**Solución de Ejercicio 16.8.**

Dunford: $A = D + N$ que conmutan, con $D$ [diagonalizable](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-diag) y los mismos [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen), y $N$ nilpotente, de modo que

$$
\eu^{tA} = \eu^{tD}\,\eu^{tN},
\qquad
\eu^{tN} = \sum_{k < n} \frac{t^kN^k}{k!}
\ \text{(un polinomio matricial en } t).
$$

Sea $-2\alpha = \max_i \Re\lambda_i < 0$. En una base que diagonalice $D$, $\vertiii{\eu^{tD}} \leq \eu^{-2\alpha t}$ (las entradas $\eu^{t\lambda_i}$ tienen módulo $\eu^{t\Re\lambda_i}$); y las [normas](https://one-course.com/books/math/4/es/chapter/5-espacios-vectoriales-normados#def-b2-nvs-norm) en bases distintas difieren en constantes. Por tanto,

$$
\norm{X(t)} \leq \vertiii{\eu^{tA}}\,\norm{X_0}
\leq C'\,\eu^{-2\alpha t}\,(1 + t)^{n-1}\,\norm{X_0}
\leq C\,\eu^{-\alpha t}\norm{X_0} ,
$$

absorbiendo el polinomio en un factor exponencial ($\eu^{-\alpha
t}(1+t)^{n-1} \to 0$, luego está acotado).

**Ejercicio 16.9 ★★★.**

(Sin escape en tiempo finito para crecimiento lineal) Supongamos que $f$ es [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) con $\norm{f(t, y)} \leq a\norm y + b$ sobre $\intco{0}{\infty} \times \R^n$ y localmente [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) en $y$. Usando Gronwall ([Ejercicio 16.6](#exo-b2-diffeq-6)) sobre la forma integral, demuestra que las soluciones maximales son globales (definidas sobre todo $\intco{0}{\infty}$).

**Solución de Ejercicio 16.9.**

Sea $y$ una solución maximal sobre $\intco{0}{T}$, con $T \leq
\infty$, y supongamos $T < \infty$. La forma integral da, para $t <
T$,

$$
\norm{y(t)} \leq \norm{y_0} + \int_0^t \bigl(a\norm{y(s)} +
b\bigr)\dd s
\leq \bigl(\norm{y_0} + bT\bigr) + a\int_0^t\norm{y(s)}\,\dd s ,
$$

y Gronwall acota $\norm{y(t)} \leq (\norm{y_0} + bT)\,\eu^{aT} =: M$ sobre $\intco{0}{T}$: la solución permanece en una bola [compacta](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-compact). Entonces $y' = f(t, y)$ está acotada cerca de $T$, luego $y$ es [lipschitziana](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) cerca de $T$ y se extiende de manera [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) a $T$ (criterio de Cauchy); resolver el problema de Cauchy en $(T, y(T))$ prolonga $y$ más allá de $T$, en contradicción con la maximalidad. Por tanto, $T = \infty$: no hay escape en tiempo finito con crecimiento lineal.

**Ejercicio 16.10 ★.**

Resuelve $y'' - 3y' + 2y = \eu^{t}$: soluciones homogéneas y después una solución particular de la forma $\alpha t\,\eu^{t}$ *(¿por qué falla la conjetura ingenua $\alpha\eu^t$?)*; solución general y la solución con $y(0) = y'(0) = 0$.

**Solución de Ejercicio 16.10.**

Raíces características de $r^2 - 3r + 2$: $1$ y $2$, luego las soluciones homogéneas son $a\eu^t + b\eu^{2t}$. La conjetura $\alpha\eu^t$ falla porque $\eu^t$ ya resuelve la ecuación homogénea (la raíz $r = 1$ “resuena” con el segundo miembro). Con $y = \alpha
t\,\eu^t$: $y' = \alpha(1 + t)\eu^t$, $y'' = \alpha(2 + t)\eu^t$, y

$$
y'' - 3y' + 2y = \alpha\eu^t\bigl(2 + t - 3 - 3t + 2t\bigr)
= -\alpha\,\eu^t :
$$

$\alpha = -1$, $y_p = -t\,\eu^t$. Solución general: $y = a\eu^t +
b\eu^{2t} - t\eu^t$. Datos iniciales $y(0) = y'(0) = 0$: $a + b = 0$ y $a + 2b - 1 = 0$, luego $b = 1$ y $a = -1$:

$$
y(t) = \eu^{2t} - (1 + t)\,\eu^{t} .
$$

**Ejercicio 16.11 ★★.**

Calcula $\eu^{tA}$ para el bloque de Jordan

$$
A = \begin{pmatrix} \lambda & 1 & 0\\ 0 & \lambda & 1\\
0 & 0 & \lambda\end{pmatrix},
$$

y describe todas las soluciones de $X' = AX$: exponenciales por vectores polinómicos, con grados hasta $2$. ¿De dónde procede el grado del polinomio?

**Solución de Ejercicio 16.11.**

$A = \lambda I + N$ con $N = E_{12} + E_{23}$: $N^2 = E_{13}$, $N^3 =
0$, y $\lambda I$ conmuta con $N$:

$$
\eu^{tA} = \eu^{\lambda t}\Bigl(I + tN +
\frac{t^2}{2}N^2\Bigr)
= \eu^{\lambda t}\begin{pmatrix}
1 & t & \frac{t^2}{2}\\
0 & 1 & t\\
0 & 0 & 1
\end{pmatrix}.
$$

Soluciones: $X(t) = \eu^{\lambda t}\bigl(X_0 + tNX_0 +
\frac{t^2}2N^2X_0\bigr)$; cada componente es $\eu^{\lambda t}$ por un polinomio de grado $\leq 2$. La cota del grado es el índice de nilpotencia menos uno: la serie de $\eu^{tN}$ se trunca en $N^2$.

**Ejercicio 16.12 ★★★.**

(Excitación periódica, respuesta periódica) Sean $A \in
\mathcal{M}_n(\R)$ y $B \colon \R \to \R^n$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) y $T$-periódica.

1. Prueba que una solución de $X' = AX + B(t)$ es $T$ -periódica si y solo si $X(T) = X(0)$ *(compara $X(\cdot + T)$ con $X$)* .
2. Prueba que los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de $\eu^{TA}$ son los $\eu^{T\lambda}$ , $\lambda \in \operatorname{Sp}A$ *(trigonaliza sobre $\C$)* . Deduce que si ningún [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de $A$ está en $\frac{2\iu\pi}{T}\Z$ , entonces $I - \eu^{TA}$ es invertible.
3. Bajo esa hipótesis, demuestra que el sistema tiene exactamente una solución $T$-periódica, con $$X(0) = \bigl(I - \eu^{TA}\bigr)^{-1}  \int_0^{T}\eu^{(T-s)A}B(s)\,\dd s .$$ ¿A qué corresponde el caso excluido para el oscilador armónico? (El problema de fin de semana responde: la [resonancia](#pb-b2-diffeq-1).)

**Solución de Ejercicio 16.12.**

1. Si $X(T) = X(0)$ , entonces $Y(t) = X(t + T)$ resuelve $Y' =  AY + B(t + T) = AY + B(t)$ con $Y(0) = X(0)$ : la unicidad ( [Teorema 16.4](#thm-b2-diffeq-linear) ) da $Y = X$ , es decir, $X$ es $T$ -periódica. El recíproco es trivial.
2. Trigonalícese sobre $\C$ : $A = PT'P^{-1}$ con $T'$ triangular superior de diagonal $(\lambda_i)$ . Toda potencia de una matriz triangular es triangular con diagonal $(\lambda_i^k)$ , luego $\eu^{TA} = P\eu^{TT'}P^{-1}$ es triangular en la misma base con diagonal $(\eu^{T\lambda_i})$ : esos son los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) . Entonces $I - \eu^{TA}$ es invertible si y solo si $\eu^{T\lambda} \neq 1$ para todo [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) , es decir, si y solo si $T\lambda \notin 2\iu\pi\Z$ , que es la hipótesis enunciada.
3. Variación de las constantes: $X(T) = \eu^{TA}X(0) +  \int_0^T\eu^{(T-s)A}B(s)\dd s$, de modo que $X(T) = X(0)$ se lee $$\bigl(I - \eu^{TA}\bigr)X(0) =  \int_0^{T}\eu^{(T-s)A}B(s)\,\dd s ,$$ que tiene una única solución $X(0)$ bajo la hipótesis de invertibilidad: exactamente una solución $T$-periódica. Para el oscilador armónico ($\lambda = \pm\iu\omega$), el caso excluido es $\omega T \in 2\pi\Z$: una excitación cuyo periodo es múltiplo del periodo propio; la [resonancia](#pb-b2-diffeq-1), como cuantifica el problema de fin de semana.

## 16.6 Problema: oscilaciones, resonancia y los teoremas de comparación de Sturm

**Problema 16.1.**

Una sola ecuación gobierna el mundo mecánico y el eléctrico:

$$
x'' + 2\zeta\omega\,x' + \omega^2 x = F(t),
\qquad \omega > 0,\ \zeta \geq 0 .
$$

Este problema la estudia por completo —mediante la clasificación traza–determinante de los sistemas lineales planos, los tres regímenes de amortiguamiento y la respuesta estacionaria a una excitación periódica con su pico de *resonancia* y la catástrofe de resonancia— y abandona después los coeficientes constantes en favor de los *teoremas de separación y comparación de Sturm*, que controlan los ceros de las soluciones de $y'' + q(t)y = 0$ sin fórmula alguna.

**Parte I — El plano traza–determinante.** Sean $A
\in \mathcal M_2(\R)$, $\tau = \operatorname{tr}A$, $\delta = \det
A$, $\Delta = \tau^2 - 4\delta$.

1. Prueba que los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) de $A$ son $\frac{\tau\pm\sqrt\Delta}{2}$ y clasifica: dos [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) reales de signos opuestos si y solo si $\delta < 0$ ; [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) reales del mismo signo si y solo si $\delta > 0$ y $\Delta \geq 0$ (con el signo de $\tau$ ); y un par conjugado no real si y solo si $\Delta <  0$ (de parte real $\frac\tau2$ ).
2. (Silla, $\delta < 0$ ) Con [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $\mu < 0 <  \lambda$ y [vectores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) $v_\pm$ , escribe la solución general y describe las trayectorias: dos semirrectas estables y dos inestables, y todas las demás órbitas asintóticas a ambas. ¿Por qué ninguna solución salvo $0$ puede permanecer acotada sobre todo $\R$ ?
3. (Nodos, $\delta > 0$ , $\Delta > 0$ ) Para $\mu < \lambda <  0$ : prueba que toda solución no nula tiende a $0$ y que todas las órbitas, salvo las del eje rápido, llegan *tangentes a la dirección propia lenta* *(compara $\eu^{\mu t}$ con $\eu^{\lambda t}$)* .
4. (Focos y centros, $\Delta < 0$ ) Escribiendo los [valores propios](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) como $\alpha \pm \iu\beta$ , usa el [Ejercicio 16.5](#exo-b2-diffeq-5) (tras un cambio de base real, admitido en esa generalidad o demostrado para los sistemas de la parte II, que son los que se usan más abajo) para describir las órbitas: espirales convergentes para $\alpha  = \frac\tau2 < 0$ , divergentes para $\tau > 0$ , y curvas cerradas (centro) para $\tau = 0$ .
5. (Casos frontera) Para un [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) doble ( $\Delta =  0$ ): prueba que $\eu^{tA} = \eu^{\lambda t}(I + tN)$ con $N  = A - \lambda I$ nilpotente, y distingue la estrella ( $N =  0$ ) del nodo impropio ( $N \neq 0$ ). Resume la parte I sobre la imagen traza–determinante de la figura de este capítulo.

**Parte II — El oscilador amortiguado.** Ahora $F =
0$: $x'' + 2\zeta\omega x' + \omega^2x = 0$, es decir, $X' = AX$ con $A = \begin{pmatrix} 0 & 1\\ -\omega^2 &
-2\zeta\omega\end{pmatrix}$.

6. Calcula $\tau, \delta, \Delta$ y sitúa los tres regímenes en el plano traza–determinante: *subamortiguado* $0 <  \zeta < 1$ (foco estable), *críticamente amortiguado* $\zeta = 1$ ( [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) doble) y *sobreamortiguado* $\zeta > 1$ (nodo estable); $\zeta = 0$ es el centro.
7. Resuelve explícitamente los tres regímenes: $$\zeta < 1:\ \eu^{-\zeta\omega t}\bigl(a\cos\omega_d t  + b\sin\omega_dt\bigr),\ \omega_d =  \omega\sqrt{1-\zeta^2};  \qquad  \zeta = 1:\ (a + bt)\,\eu^{-\omega t};$$ y para $\zeta > 1$, dos exponenciales reales. Define el seudoperiodo $\frac{2\pi}{\omega_d}$ y prueba que el cociente entre máximos sucesivos de $\abs x$ es la constante $\eu^{-2\pi\zeta/\sqrt{1-\zeta^2}}$ (el decremento logarítmico).
8. (El principio del cierrapuertas) Para $\zeta \geq 1$ , el ritmo de decaimiento lo gobierna el [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) más lento $\lambda_{\mathrm{lento}} = -\omega\bigl(\zeta -  \sqrt{\zeta^2-1}\bigr)$ . Prueba que $\abs{\lambda_{\mathrm{lento}}} = \frac{\omega}{\zeta +  \sqrt{\zeta^2 - 1}}$ es una función *decreciente* de $\zeta \geq 1$ : el amortiguamiento crítico $\zeta = 1$ da el regreso al reposo más rápido sin oscilación.
9. (Energía) Sea $E(t) = \frac12x'^2 + \frac12\omega^2x^2$ . Demuestra que $E' = -2\zeta\omega\,x'^2 \leq 0$ , y deduce que para $\zeta > 0$ la ecuación no tiene ninguna solución periódica no nula *(un periodo forzaría a $E$ a ser constante, luego $x' \equiv 0$)* .
10. Explica en dos frases por qué el centro $\zeta = 0$ es *estructuralmente frágil* : cualquier $\zeta > 0$ , por pequeño que sea, destruye la periodicidad; y dónde se ve eso en el plano traza–determinante (la recta de los centros tiene interior vacío).

**Parte III — Oscilaciones forzadas y [resonancia](#pb-b2-diffeq-1).** Ahora $F(t) = F\cos(\gamma t)$ con $F, \gamma > 0$.

11. ($\zeta > 0$: el régimen estacionario) Búsquese $x_p =  \Re\bigl(z\,\eu^{\iu\gamma t}\bigr)$: prueba que $$z = \frac{F}{\omega^2 - \gamma^2 +  2\iu\zeta\omega\gamma},  \qquad  A(\gamma) := \abs z = \frac{F}{\sqrt{(\omega^2 -  \gamma^2)^2 + 4\zeta^2\omega^2\gamma^2}} ,$$ y escribe $x_p = A(\gamma)\cos(\gamma t - \varphi)$ con $\tan\varphi = \frac{2\zeta\omega\gamma}{\omega^2-\gamma^2}$.
12. Prueba que *toda* solución es $x_p$ más un transitorio de la parte II, que tiende a $0$ : sean cuales sean los datos iniciales, el sistema se engancha al régimen estacionario, de amplitud $A(\gamma)$ y desfase $\varphi$ .
13. (La curva de [resonancia](#pb-b2-diffeq-1)) Maximiza $A$: prueba que $A(\gamma)$ tiene un máximo interior si y solo si $\zeta <  \frac{1}{\sqrt2}$, en $$\gamma_* = \omega\sqrt{1 - 2\zeta^2},  \qquad  A(\gamma_*) =  \frac{F}{2\zeta\omega^2\sqrt{1-\zeta^2}} ,$$ y que para $\zeta$ pequeño el pico amplifica la respuesta estática $A(0) = \frac F{\omega^2}$ por el factor $\approx  \frac{1}{2\zeta}$.
14. ($\zeta = 0$, fuera de [resonancia](#pb-b2-diffeq-1)) Para $\gamma \neq  \omega$, prueba que la solución con $x(0) = x'(0) = 0$ es $$x(t) = \frac{F}{\omega^2 -  \gamma^2}\bigl(\cos\gamma t - \cos\omega t\bigr)  = \frac{2F}{\omega^2-\gamma^2}  \sin\frac{(\omega-\gamma)t}{2}  \sin\frac{(\omega+\gamma)t}{2} :$$ acotada, y con *batidos* —una oscilación rápida bajo una envolvente lenta— cuando $\gamma$ está cerca de $\omega$.
15. ( $\zeta = 0$ , en [resonancia](#pb-b2-diffeq-1) ) Para $\gamma = \omega$ , prueba que $x_p(t) = \frac{F}{2\omega}\,t\sin(\omega t)$ es solución, y recupérala como límite de la pregunta 14 cuando $\gamma \to \omega$ : la amplitud crece linealmente para siempre; la catástrofe de [resonancia](#pb-b2-diffeq-1) .
16. (Enlace con Fourier) Una excitación periódica general se descompone en armónicos (capítulo de Fourier); por linealidad, el régimen estacionario es la suma de las respuestas armónicas. Para un oscilador sin amortiguamiento de frecuencia $\omega = 3$ excitado por una onda cuadrada del tipo del [Ejercicio 14.1](https://one-course.com/books/math/4/es/chapter/14-series-de-fourier#exo-b2-fourier-1) (con armónicos en todos los enteros impares), ¿qué armónico entra en [resonancia](#pb-b2-diffeq-1) ? Una frase sobre por qué los ingenieros temen las ondas cuadradas.

**Parte IV — Los teoremas de Sturm.** Consideremos $y'' + q(t)\,y = 0$ sobre un intervalo $I$, con $q$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity). (Toda ecuación $y'' + ay' + by = 0$ se reduce a esta forma normal mediante la sustitución $y = u\exp\bigl(-\frac12\int a\bigr)$; la pregunta 21 muestra una variante del truco en acción.)

17. Para dos soluciones $y_1, y_2$ , prueba que el [wronskiano](#def-b2-diffeq-wronskian) $W  = y_1y_2' - y_1'y_2$ es *constante* , nulo si y solo si las soluciones son proporcionales; y que una solución no nula tiene solo ceros *simples y aislados* .
18. (Separación de Sturm) Sean $y_1, y_2$ soluciones independientes y $a < b$ dos ceros consecutivos de $y_1$ . Demuestra que $y_2$ se anula exactamente una vez en $\intoo{a}{b}$ *(evalúa la constante $W$ en $a$ y en $b$: allí $W = y_1'y_2$, y $y_1'(a)$ e $y_1'(b)$ tienen signos opuestos)* : los ceros de soluciones independientes se entrelazan.
19. (Comparación de Sturm) Sean $q_1 \leq q_2$ sobre $I$ , $y  \neq 0$ con $y'' + q_1y = 0$ , $z \neq 0$ con $z'' + q_2z =  0$ , y $a < b$ ceros consecutivos de $y$ . Prueba que $z$ se anula en $\intcc{a}{b}$ —estrictamente dentro si $q_1 <  q_2$ en algún punto de $\intoo ab$ — *(si $z \neq 0$ sobre $\intoo ab$, estudia $(yz' - y'z)' = (q_1 - q_2)yz$ con signos fijos para $y$ y $z$, y compara los valores en la frontera)* .
20. Deduce las *cotas del espaciado*: si $0 < m^2 \leq q(t)  \leq M^2$ sobre $I$, entonces dos ceros consecutivos cualesquiera $a < b$ de una solución no nula de $y'' + qy =  0$ cumplen $$\frac{\pi}{M} \;\leq\; b - a \;\leq\; \frac{\pi}{m}$$ *(compara con $u'' + M^2u = 0$ y $u'' + m^2u = 0$, cuyos ceros están espaciados $\frac\pi M$ y $\frac\pi  m$)*. Compruébalo sobre el oscilador armónico.
21. Transforma $ty'' + 2y' + ty = 0$ ( [Ejercicio 16.7](#exo-b2-diffeq-7) ) mediante $u = ty$ en $u'' + u = 0$ , recupera al instante sus soluciones $\frac{\sin t}t$ y $\frac{\cos t}{t}$ , y concluye que los ceros de toda solución no nula están espaciados exactamente $\pi$ : la visión del mundo de Sturm, según la cual los ceros los controla el coeficiente $q$ , haya fórmulas o no.

**Parte V — Duhamel y la frontera de la acotación.**

22. (Duhamel para el oscilador) Prueba que, para $F$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity), la solución de $x'' + \omega^2x = F(t)$ con $x(0) = x'(0) =  0$ es $$x(t) = \frac1\omega\int_0^t\sin\bigl(\omega(t -  s)\bigr)F(s)\,\dd s ,$$ y vuelve a deducir de ahí la solución resonante de la pregunta 15 con $F(s) = F\cos(\omega s)$ *(fórmula de producto a suma)*.
23. ( $\zeta > 0$ : entrada acotada, salida acotada) Prueba que para $\zeta > 0$ y *cualquier* $F$ [continua](https://one-course.com/books/math/4/es/chapter/4-topologia-de-los-espacios-metricos#def-b2-metric-continuity) y acotada, toda solución de la ecuación amortiguada está acotada sobre $\intco{0}{\infty}$ *(variación de las constantes más el decaimiento exponencial $\vertiii{\eu^{tA}} \leq  C\eu^{-\alpha t}$ del [Ejercicio 16.8](#exo-b2-diffeq-8))* .
24. ( $\zeta = 0$ ) Prueba que, sin amortiguamiento, una excitación periódica acotada mantiene acotadas todas las soluciones *salvo* exactamente en [resonancia](#pb-b2-diffeq-1) ( $\gamma =  \omega$ , pregunta 15 frente a pregunta 14): el amortiguamiento es lo que convierte la frontera de la acotación en estabilidad uniforme.
25. Síntesis. Una frase para cada punto: (i) cómo organiza el plano traza–determinante las partes I–II y dónde lo abandona la excitación (parte III); (ii) el significado físico de $\gamma_*$ , de $A(\gamma_*)$ y del factor $\frac1{2\zeta}$ ; (iii) qué dicen los teoremas de Sturm que las fórmulas explícitas no pueden decir; (iv) qué dos resultados de este problema reutilizará el resto del libro sin hacer ruido (los [wronskianos](#def-b2-diffeq-wronskian) de constante de Liouville; la estabilidad con entrada acotada).

**Solución de Problema 16.1.**

**1.** El [polinomio característico](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-charpoly) es $\lambda^2 - \tau\lambda +
\delta$, de raíces $\frac{\tau\pm\sqrt\Delta}{2}$. Si $\delta < 0$, entonces $\Delta = \tau^2 - 4\delta > 0$ y las dos raíces reales tienen producto $\delta < 0$: signos opuestos. Si $\delta > 0$ y $\Delta \geq 0$: raíces reales de producto $> 0$ y suma $\tau$, luego ambas del signo de $\tau$. Si $\Delta < 0$: par conjugado $\alpha \pm
\iu\beta$ con $\alpha = \frac\tau2$ y $\beta =
\frac{\sqrt{-\Delta}}2$.

**2.** $X(t) = a\,\eu^{\mu t}v_- + b\,\eu^{\lambda t}v_+$. Las órbitas con $a = 0$ (o con $b = 0$) recorren la recta propia inestable (o la estable); todas las demás tienen $\norm X \to \infty$ en ambos sentidos del tiempo, asintóticas a $\R v_+$ cuando $t \to
+\infty$ y a $\R v_-$ cuando $t \to -\infty$: la imagen de la silla. La acotación sobre todo $\R$ fuerza $b = 0$ (si no, explosión en $+\infty$) y $a = 0$ (en $-\infty$): solo el origen.

**3.** Con $\mu < \lambda < 0$, ambas exponenciales decaen: $X(t) \to 0$. Si $b \neq 0$, sáquese factor $\eu^{\lambda t}$:

$$
X(t) = \eu^{\lambda t}\bigl(b\,v_\lambda + a\,\eu^{(\mu -
\lambda)t}v_\mu\bigr),
\qquad \eu^{(\mu-\lambda)t} \to 0 :
$$

la dirección de $X(t)$ tiende a $\R v_\lambda$, la dirección propia *lenta*; todas las órbitas salvo el eje rápido llegan tangentes a ella (el panel derecho de los retratos de fases del capítulo).

**4.** En la base en la que $A = \begin{pmatrix} \alpha &
-\beta\\ \beta & \alpha\end{pmatrix}$ ([Ejercicio 16.5](#exo-b2-diffeq-5); para los sistemas del oscilador de la parte II esta forma se alcanza mediante un cambio de base real explícito), la solución es $\eu^{\alpha t}$ por una rotación de ángulo $\beta t$: espirales logarítmicas, contractivas cuando $\alpha = \frac\tau2 < 0$, expansivas cuando $\tau > 0$, y curvas cerradas (elipses en las coordenadas originales) cuando $\tau = 0$: el centro.

**5.** $\Delta = 0$ da el [valor propio](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#def-b2-reduction-eigen) doble $\lambda =
\frac\tau2$; por Cayley–Hamilton ([Teorema 3.21](https://one-course.com/books/math/4/es/chapter/3-reduccion-de-endomorfismos#thm-b2-reduction-cayleyhamilton)), $(A - \lambda I)^2 = 0$, de modo que $N = A - \lambda I$ es nilpotente, conmuta con $\lambda I$ y $\eu^{tA} = \eu^{\lambda t}(I + tN)$. Si $N = 0$: $A = \lambda I$ y todas las semirrectas son órbitas (nodo estrella). Si $N \neq 0$: $X(t) = \eu^{\lambda t}(X_0 + tNX_0)$, y para $NX_0 \neq 0$ la dirección converge a la única dirección propia $\operatorname{im}N$: nodo impropio. Esto completa la imagen traza–determinante.

**6.** $\tau = -2\zeta\omega$, $\delta = \omega^2 > 0$, $\Delta
= 4\omega^2(\zeta^2 - 1)$. Así pues: $0 < \zeta < 1$ da $\Delta < 0$ y $\tau < 0$: foco estable; $\zeta = 1$: $\Delta = 0$: nodo estable degenerado; $\zeta > 1$: $\Delta > 0$, $\tau < 0$, $\delta > 0$: nodo estable; $\zeta = 0$: $\tau = 0$, $\delta > 0$: centro. Un viaje vertical por el plano a la altura $\delta = \omega^2$.

**7.** Raíces $r = -\zeta\omega \pm \omega\sqrt{\zeta^2-1}$. Para $\zeta < 1$: $r = -\zeta\omega \pm \iu\omega_d$ con $\omega_d =
\omega\sqrt{1-\zeta^2}$:

$$
x(t) = \eu^{-\zeta\omega t}\bigl(a\cos\omega_dt +
b\sin\omega_dt\bigr)
= R\,\eu^{-\zeta\omega t}\cos(\omega_dt - \varphi) .
$$

Para $\zeta = 1$: $x = (a + bt)\eu^{-\omega t}$. Para $\zeta > 1$: $x
= a\eu^{r_-t} + b\eu^{r_+t}$, con ambos ritmos negativos. En el caso subamortiguado, los máximos sucesivos de $\abs x$ ocurren en instantes separados por el seudoperiodo $\frac{2\pi}{\omega_d}$ (misma fase del coseno), y su cociente es $\eu^{-\zeta\omega\cdot2\pi/\omega_d} =
\eu^{-2\pi\zeta/\sqrt{1-\zeta^2}}$: el decremento logarítmico, un medidor de amortiguamiento legible en un osciloscopio.

**8.** Racionalizando,

$$
\abs{\lambda_{\mathrm{lento}}} = \omega\bigl(\zeta -
\sqrt{\zeta^2-1}\bigr)
= \frac{\omega}{\zeta + \sqrt{\zeta^2 - 1}} ,
$$

cuyo denominador crece con $\zeta \geq 1$: el ritmo de decaimiento es máximo en $\zeta = 1$, donde vale $\omega$. Una puerta sobreamortiguada se cierra sin dar un portazo, pero *despacio*; el amortiguamiento crítico es el óptimo del ingeniero.

**9.** $E' = x'x'' + \omega^2xx' = x'\bigl(-2\zeta\omega x' -
\omega^2x\bigr) + \omega^2xx' = -2\zeta\omega\,x'^2 \leq 0$. Si $x$ fuera periódica y no constante, $E$ sería periódica y no creciente, luego constante, lo que forzaría $x' \equiv 0$: $x$ constante, y entonces $\omega^2x = 0$, o sea, $x \equiv 0$. Por tanto, para $\zeta
> 0$ la única solución periódica es el reposo: el amortiguamiento mata todo [ciclo](https://one-course.com/books/math/4/es/chapter/1-conjuntos-y-estructuras#def-b2-structures-sn).

**10.** El centro $\zeta = 0$ vive sobre la recta $\tau = 0$ del plano traza–determinante, un conjunto de interior vacío: una perturbación arbitrariamente pequeña de la matriz (cualquier amortiguamiento físico) desplaza $\tau$ fuera de cero y convierte las órbitas cerradas en espirales. La periodicidad del oscilador sin amortiguamiento es, pues, un fenómeno al filo de la navaja, no robusto.

**11.** Sustituyendo $x_p = \Re(z\eu^{\iu\gamma t})$ en la ecuación:

$$
\bigl(-\gamma^2 + 2\iu\zeta\omega\gamma +
\omega^2\bigr)z = F
\quad\Longrightarrow\quad
z = \frac{F}{\omega^2 - \gamma^2 + 2\iu\zeta\omega\gamma},
$$

de modo que $x_p = \abs z\cos(\gamma t - \varphi)$ con $\varphi =
\arg(\omega^2 - \gamma^2 + 2\iu\zeta\omega\gamma)$, es decir, $\tan\varphi = \frac{2\zeta\omega\gamma}{\omega^2 - \gamma^2}$, y el $A(\gamma) = \abs z$ enunciado.

**12.** La diferencia de dos soluciones resuelve la ecuación homogénea, que para $\zeta > 0$ decae a $0$ (pregunta 7): toda solución es $x_p$ más un transitorio que se desvanece en el infinito. El régimen estacionario es un atractor global: las condiciones iniciales se olvidan y solo quedan $A(\gamma)$ y el desfase $\varphi$.

**13.** Minimícese $g(u) = (\omega^2 - u)^2 +
4\zeta^2\omega^2u$ sobre $u = \gamma^2 \geq 0$: $g'(u) = -2(\omega^2
- u) + 4\zeta^2\omega^2 = 0$ en $u = \omega^2(1 - 2\zeta^2)$, interior si y solo si $\zeta < \frac{1}{\sqrt2}$. Allí,

$$
g(u_*) = 4\zeta^4\omega^4 + 4\zeta^2\omega^4(1 - 2\zeta^2)
= 4\zeta^2\omega^4(1 - \zeta^2),
\qquad
A(\gamma_*) = \frac{F}{2\zeta\omega^2\sqrt{1 - \zeta^2}} .
$$

Frente a la respuesta estática $A(0) = \frac{F}{\omega^2}$: la amplificación es $\frac{1}{2\zeta\sqrt{1-\zeta^2}} \approx
\frac{1}{2\zeta}$ para $\zeta$ pequeño; un sistema poco amortiguado cerca de $\gamma_* \approx \omega$ multiplica la entrada por cien cuando $\zeta = 0.005$.

**14.** La $x$ enunciada cumple $x(0) = x'(0) = 0$ y

$$
x'' + \omega^2 x = \frac{F(\omega^2 -
\gamma^2)\cos\gamma t}{\omega^2 - \gamma^2} = F\cos\gamma t
$$

(las partes en $\cos\omega t$ se cancelan). La forma de producto se sigue de $\cos p - \cos q = 2\sin\frac{q+p}{2}\sin\frac{q-p}2$ con $p
= \gamma t$ y $q = \omega t$. Para $\gamma$ cerca de $\omega$, el factor $\sin\frac{(\omega-\gamma)t}2$ es una envolvente lenta que modula la oscilación rápida $\sin\frac{(\omega+\gamma)t}2$: batidos, de amplitud $\frac{2F}{\abs{\omega^2-\gamma^2}}$; grande, pero acotada.

**15.** Para $x_p = \frac{F}{2\omega}t\sin\omega t$:

$$
x_p'' = \frac{F}{2\omega}\bigl(2\omega\cos\omega t -
\omega^2t\sin\omega t\bigr)
= F\cos\omega t - \omega^2x_p :
$$

es solución. Y a $t$ fijo, haciendo $\gamma \to \omega$ en la pregunta 14:

$$
\frac{2F\sin\frac{(\omega-\gamma)t}2
\sin\frac{(\omega+\gamma)t}{2}}
{(\omega-\gamma)(\omega+\gamma)}
\longrightarrow
\frac{2F\cdot\frac{(\omega-\gamma)t}2\big/(\omega-\gamma)
\cdot\sin\omega t}{2\omega}
= \frac{F\,t\sin\omega t}{2\omega} .
$$

La amplitud crece linealmente sin cota: la catástrofe de [resonancia](#pb-b2-diffeq-1), la razón por la que los soldados rompen el paso sobre los puentes.

**16.** La onda cuadrada lleva armónicos en todas las frecuencias impares $n = 1, 3, 5, \dots$; por linealidad, cada armónico $n$ resulta amplificado por la respuesta del oscilador en $\gamma = n$. Para $\omega = 3$, el tercer armónico entra en [resonancia](#pb-b2-diffeq-1) exactamente. Los ingenieros temen las entradas cuadradas (y en diente de sierra) porque excitan *todos* los armónicos impares a la vez: sea cual sea la frecuencia propia de la estructura, algún armónico la está esperando.

**17.** $W' = y_1y_2'' - y_1''y_2 = -qy_1y_2 + qy_1y_2 = 0$: $W$ es constante (Liouville con una matriz compañera de traza nula). Que $W = 0$ en un punto hace que los datos iniciales de $y_2$ sean proporcionales a los de $y_1$, luego $y_2$ es proporcional a $y_1$ (unicidad); y $W \neq 0$ si y solo si son independientes. Si $y(t_0)
= y'(t_0) = 0$, entonces $y \equiv 0$ (unicidad): una solución no nula tiene ceros simples, y un cero simple es aislado ($y'$ tiene signo fijo en las cercanías).

**18.** Entre ceros consecutivos $a < b$, $y_1$ conserva un signo; digamos $y_1 > 0$ sobre $\intoo ab$: entonces $y_1'(a) > 0$ e $y_1'(b) < 0$ (ceros simples). Evaluando la constante $W = y_1y_2' -
y_1'y_2$ en $a$ y en $b$:

$$
W = -y_1'(a)\,y_2(a) = -y_1'(b)\,y_2(b) ,
$$

de modo que $y_2(a)$ e $y_2(b)$ tienen signos opuestos ($W \neq 0$ impide que ninguno se anule): $y_2$ se anula en $\intoo ab$ (valores intermedios). Y no puede anularse dos veces ahí: dos ceros de $y_2$ flanquearían un cero de $y_1$ por el mismo argumento con los papeles intercambiados, en contradicción con que $a$ y $b$ sean consecutivos. Luego hay exactamente un cero: entrelazamiento.

**19.** Supongamos que $z$ no tiene ceros en $\intoo ab$; sustituyendo $y$ y $z$ por sus opuestas si hace falta, supongamos $y
> 0$ y $z > 0$ sobre $\intoo ab$. Póngase $\varphi = yz' - y'z$: $\varphi' = yz'' - y''z = (q_1 - q_2)\,yz \leq 0$ sobre $\intoo ab$, luego $\varphi$ es no creciente. Pero $\varphi(a) = -y'(a)z(a) \leq
0$ (pues $y'(a) > 0$ y $z(a) \geq 0$) y $\varphi(b) = -y'(b)z(b) \geq
0$ (pues $y'(b) < 0$ y $z(b) \geq 0$): una función no creciente que va de $\leq 0$ a $\geq 0$ se anula idénticamente, así que $(q_1 -
q_2)yz \equiv 0$ sobre $\intoo ab$. Si $q_1 < q_2$ en algún punto de $\intoo ab$, esto es absurdo (allí $y, z > 0$): $z$ debe anularse estrictamente dentro. En general (con $q_1 \leq q_2$), o bien $z$ se anula en $\intoo ab$, o bien $\varphi \equiv 0$ fuerza a $z$ a ser proporcional a $y$, que se anula en $a$ y en $b$: en todos los casos, $z$ tiene un cero en $\intcc ab$.

**20.** Cota superior: compárese $y$ (de coeficiente $q \geq
m^2$) con $u(t) = \sin(m(t - a))$ (de coeficiente $m^2 \leq q$, de modo que $y$ hace el papel de $z$ en la pregunta 19): si $y$ no tuviera ceros en $\intoc{a}{a + \pi/m}$, los ceros $a$ y $a +
\frac\pi m$ de $u$ serían consecutivos con $y \neq 0$ entre ellos, en contradicción con la pregunta 19; luego los ceros consecutivos de $y$ distan $\leq \frac\pi m$. Cota inferior: si dos ceros consecutivos $a
< b$ de $y$ cumplieran $b - a < \frac\pi M$, entonces $z(t) =
\sin(M(t-a))$ (de coeficiente $M^2 \geq q$) tendría que anularse en $\intcc ab \subset \intoo{a}{a + \pi/M} \cup\{a\}$, donde su único cero es el propio $a$; pero la pregunta 19 aplicada sobre $\intoo
ab$ con estrictez en los extremos da un cero en $\intcc ab$, y $z >
0$ sobre $\intoc ab$: contradicción. Por tanto, $\frac\pi M \leq b -
a \leq \frac\pi m$; y para $q \equiv \omega^2$ ambas cotas colapsan al espaciado exacto $\frac\pi\omega$ del oscilador armónico.

**21.** Con $u = ty$: $u'' = ty'' + 2y'$, luego $ty'' + 2y' + ty
= u'' + u = 0$: $u = A\sin t + B\cos t = R\sin(t + \varphi)$, e $y =
\frac{u}{t}$ recupera $\frac{\sin t}t$ y $\frac{\cos t}t$ ([Ejercicio 16.7](#exo-b2-diffeq-7)) sin bajar el orden. Los ceros de toda solución no nula son los de $R\sin(t + \varphi)$: espaciados exactamente $\pi$; la filosofía de Sturm en acción, según la cual el coeficiente $q \equiv 1$ dicta los ceros, haya fórmula o no.

**22.** Póngase $x(t) =
\frac1\omega\int_0^t\sin(\omega(t-s))F(s)\dd s$. Entonces $x(0) = 0$;

$$
x'(t) = \frac1\omega\sin(0)F(t) +
\int_0^t\cos(\omega(t-s))F(s)\dd s
= \int_0^t\cos(\omega(t-s))F(s)\dd s ,
$$

luego $x'(0) = 0$; y $x''(t) = F(t) -
\omega\int_0^t\sin(\omega(t-s))F(s)\dd s = F(t) - \omega^2x(t)$ (derivación de una [integral con parámetro](https://one-course.com/books/math/4/es/chapter/9-integracion#thm-b2-integration-continuity) con límite variable, como en el capítulo de integración). Con $F(s) = F\cos\omega s$, la fórmula de producto a suma da

$$
\int_0^t\sin(\omega(t-s))\cos(\omega s)\dd s
= \frac12\int_0^t\bigl(\sin\omega t + \sin(\omega t -
2\omega s)\bigr)\dd s
= \frac{t}{2}\sin\omega t ,
$$

(el segundo trozo integra cero), de modo que $x =
\frac{F}{2\omega}t\sin\omega t$: de nuevo la pregunta 15, ahora desde Duhamel.

**23.** En forma de sistema, $X' = AX + (0, F(t))^{\mathsf T}$ con $\operatorname{Sp}A$ de partes reales negativas ($\zeta > 0$): la variación de las constantes y el [Ejercicio 16.8](#exo-b2-diffeq-8) ($\vertiii{\eu^{tA}} \leq C\eu^{-\alpha t}$) dan

$$
\norm{X(t)} \leq C\eu^{-\alpha t}\norm{X_0}
+ \int_0^t C\eu^{-\alpha(t-s)}\norm{F}_\infty\dd s
\leq C\norm{X_0} + \frac{C\norm F_\infty}{\alpha} :
$$

entrada acotada, salida acotada; y uniformemente en los datos iniciales una vez pasado el transitorio.

**24.** Para $\zeta = 0$ y $\gamma \neq \omega$, la solución de la pregunta 14 está acotada, y sumarle cualquier solución homogénea (acotada: las órbitas del centro son circunferencias) la mantiene acotada; en $\gamma = \omega$, la pregunta 15 crece linealmente. Así pues, para el oscilador sin amortiguamiento, la acotación bajo excitación periódica falla en exactamente una frecuencia —la resonancia—, mientras que la pregunta 23 muestra que cualquier amortiguamiento positivo restaura la acotación para *todas* las entradas acotadas.

**25.** (i) El plano traza–determinante clasifica toda la dinámica lineal plana autónoma, y el oscilador de la parte II recorre una de sus rectas verticales; la excitación abandona el plano (deja de ser autónoma) y toma el relevo Duhamel. (ii) $\gamma_*$ es la frecuencia que el sistema prefiere, $A(\gamma_*)$ el precio de excitarla y $\frac{1}{2\zeta}$ el factor de amplificación: la agudeza de la [resonancia](#pb-b2-diffeq-1) que los ingenieros llaman factor de calidad. (iii) Los teoremas de Sturm leen la oscilación únicamente en el signo y el tamaño de $q$: gobiernan ecuaciones (Bessel, Schrödinger) cuyas soluciones no tienen fórmulas elementales. (iv) Los [wronskianos](#def-b2-diffeq-wronskian) constantes (pregunta 17, vía Liouville) y la estabilidad con entrada acotada (pregunta 23) se reutilizan en silencio cada vez que el libro se topa con ecuaciones de coeficientes variables o con sistemas perturbados.