Hojas de ejercicios
Hojas de ejercicios
Hojas de ejercicios
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Ejercicios <strong>de</strong><br />
AMPLIACIÓN DE ECUACIONES DIFERENCIALES<br />
Curso 2009-2010<br />
1. Sistemas con coeficientes constantes. Exponencial y<br />
logaritmo<br />
1.– Hallar la norma <strong>de</strong> las siguientes matrices<br />
[ ] [ ] [ ]<br />
2 0 1 2 1 0<br />
.<br />
0 −3 0 −1 5 1<br />
2.– Probar que si A es invertible, entonces ‖A‖ > 0 y ‖A −1 ‖ ≥ 1/‖A‖.<br />
3.– Probar que si ‖A‖ < 1, entonces ∑ ∞<br />
k=0 Ak es una serie convergente con<br />
suma (I − A) −1 .<br />
4.– Hallar la exponencial <strong>de</strong> las matrices<br />
[ ] [ ]<br />
0 1<br />
0 1<br />
J =<br />
K =<br />
−1 0<br />
1 0<br />
[ ]<br />
a b<br />
L = .<br />
−b a<br />
5.– Hallar la exponencial <strong>de</strong> las siguientes matrices<br />
⎡<br />
⎣ 3 0 0<br />
⎤ ⎡<br />
0 3 −2⎦<br />
⎣ 0 −2 0<br />
⎤<br />
1 2 0 ⎦<br />
0 1 1<br />
0 0 −2<br />
⎡<br />
⎣ 1 0 0<br />
⎤ ⎡<br />
⎤<br />
−1 1 −2<br />
−1 2 0⎦<br />
⎣ 0 −1 4 ⎦<br />
1 1 2<br />
0 0 1<br />
⎡<br />
⎤ ⎡<br />
⎤<br />
1 −1 0 0<br />
0 −2 −1 −1<br />
⎢1 1 0 0<br />
⎥ ⎢1 2 1 1<br />
⎥<br />
⎣0 0 3 −2⎦<br />
⎣0 1 1 0 ⎦ .<br />
0 0 1 1<br />
0 0 0 1<br />
6.– Para una matriz real cuadrada A probar que<br />
(1) e AT = (e A ) T .<br />
(2) <strong>de</strong>t(e A ) = e Tr A .<br />
1
Deducir <strong>de</strong> estas propieda<strong>de</strong>s que la exponencial <strong>de</strong> una matriz antisimétrica<br />
es una matriz ortogonal, pero no toda matriz ortogonal es la<br />
exponencial <strong>de</strong> una matriz antisimétrica.<br />
7.– Hallar la solución <strong>de</strong>l problema <strong>de</strong> valor inicial<br />
⎡<br />
d<br />
⎣ x ⎤ ⎡<br />
y⎦ = ⎣ 0 −2 0<br />
⎤ ⎡<br />
1 2 0 ⎦ ⎣ x ⎤ ⎡<br />
y⎦ , ⎣ x(0)<br />
⎤ ⎡<br />
y(0) ⎦ = ⎣ 1 ⎤<br />
1⎦ .<br />
dt<br />
z 0 0 −2 z z(0) 1<br />
8.– Hallar la solución <strong>de</strong>l problema <strong>de</strong> valor inicial<br />
⎡<br />
d<br />
⎣ x ⎤ ⎡<br />
y⎦ = ⎣ 1 0 0<br />
⎤ ⎡<br />
−1 2 0⎦<br />
⎣ x ⎤ ⎡<br />
y⎦ , ⎣ x(2)<br />
⎤ ⎡<br />
y(2) ⎦ = ⎣ 1 ⎤<br />
0⎦ .<br />
dt<br />
z 1 1 2 z z(2) 1<br />
9.– Hallar la solución <strong>de</strong>l problema <strong>de</strong> valor inicial<br />
⎡<br />
d<br />
⎣ x ⎤ ⎡<br />
y⎦ = ⎣ 3 0 0<br />
⎤ ⎡<br />
0 3 −2⎦<br />
⎣ x ⎤ ⎡<br />
y⎦ + ⎣ t ⎤ ⎡<br />
0⎦ , ⎣ x(0)<br />
⎤ ⎡<br />
y(0) ⎦ = ⎣ 1 ⎤<br />
1⎦ .<br />
dt<br />
z 0 1 1 z 1 z(0) 1<br />
10.– Dada la matriz<br />
A =<br />
⎡<br />
⎤<br />
⎣ e6π 0 e 2π<br />
0 e 2π 0 ⎦ ,<br />
0 0 e 2π<br />
hallar una matriz B tal que A = e 2πB .<br />
11.– Para las matrices <strong>de</strong>l ejercicio 5 que sean regulares, hallar un logaritmo.<br />
12.– Consi<strong>de</strong>remos el sistema <strong>de</strong> ecuaciones diferenciales Ẋ = AX. Al realizar<br />
el cambio <strong>de</strong> variable ¯X = P X la ecuación se transforma en<br />
˙¯X = Ā ¯X. Hallar la relación entre A y Ā.<br />
13.– Sea A una matriz real simétrica y sea {v 1 , v 2 , . . . , v n } una base ortonormal<br />
formada por vectores propios <strong>de</strong> A correspondientes a los valores<br />
propios {λ 1 , λ 2 , . . . , λ n }. Probar que la solución <strong>de</strong>l problema<br />
Ẋ = AX, X(0) = X 0 se pue<strong>de</strong> escribir en la forma<br />
X(t) = e λ 1t 〈 X 0 , v 1 〉v 1 + e λ 2t 〈 X 0 , v 2 〉v 2 + · · · + e λnt 〈 X 0 , v n 〉v n .<br />
14.– Sea W un subespacio A-invariante. Probar que toda solución <strong>de</strong>l sistema<br />
Ẋ = AX que comienza en W se mantiene en W , es <strong>de</strong>cir, que si<br />
X(0) ∈ W , entonces X(t) ∈ W para todo t ∈ R.<br />
2
15.– Sea A una matrix real n × n y b ∈ R n . Para cada función real u(t)<br />
consi<strong>de</strong>ramos el problema <strong>de</strong> valor incial Ẋ = AX + u(t)b, X(0) = 0.<br />
Probar que si el rango <strong>de</strong>l sistema <strong>de</strong> vectores {b, Ab, A 2 b, . . . , A n−1 b}<br />
es menor que n entonces hay puntos X 1 <strong>de</strong> R n por los que no pasa la<br />
solución <strong>de</strong>l sistema cualquiera que sea la elección <strong>de</strong> la función u.<br />
16.– Resolver los siguientes problemas <strong>de</strong> valor inicial:<br />
(1) y ′′ − 4y ′ + 4y = t 3 e 2t , y(0) = 0, y ′ (0) = 0<br />
(2) y ′′ + y = sen t, y(0) = 1, y ′ (0) = −1<br />
17.– Resolver los siguientes problemas <strong>de</strong> valor inicial:<br />
{<br />
x ′′ + y = 1<br />
x(0) = 1, x ′ (0) = 1<br />
(1)<br />
x + y ′′ = −1<br />
y(0) = 1, y ′ (0) = −1.<br />
⎧<br />
⎪⎨<br />
x ′ + 2y ′ − 2x + y = 0<br />
x(0) = 1, x ′ (0) = 1<br />
(2) 2x ′ − y ′ + y = 0<br />
⎪⎩<br />
y(0) = 1.<br />
x ′′ − y ′ + x − 2y = 0<br />
18.– Consi<strong>de</strong>remos el sistema lineal Ẋ = AX + b(t), don<strong>de</strong> b(t) es una<br />
función periódica <strong>de</strong> periodo T > 0.<br />
• Probar que si X(t) es una solución <strong>de</strong>l sistema, entonces X(t +<br />
T ) también lo es.<br />
• Probar que X(t) es una solución periódica <strong>de</strong> periodo T si y<br />
sólo si existe t 0 ∈ R tal que X(t 0 ) = X(t 0 + T ).<br />
• Probar que el sistema homogéneo admite soluciones T -periódicas<br />
si y sólo si e T A tiene un valor propio 1. ¿Cuales son las soluciones<br />
periódicas? ¿Cómo son los valores propios <strong>de</strong> A?<br />
• Probar que si la única solución T -periódica <strong>de</strong>l sistema homogéneo<br />
es la solución trivial entonces el sistema nohomogéneo<br />
tiene una única solución T -periódica cuyo valor inicial viene<br />
dado por<br />
∫ T<br />
X 0 = (e −T A − I n ) −1 e −τA b(τ) dτ.<br />
0<br />
3
2. Transformada <strong>de</strong> Laplace<br />
19.– A partir <strong>de</strong> la <strong>de</strong>finición, encontrar la transformada <strong>de</strong> Laplace <strong>de</strong> las<br />
siguientes funciones:<br />
{<br />
−1 si 0 ≤ t < 1<br />
(1) f(t) =<br />
1 si t ≥ 1<br />
{<br />
t, si 0 ≤ t < 1<br />
(2) f(t) =<br />
1, si t ≥ 1<br />
(3) f(t) = e t+7<br />
(4) f(t) = te 4t<br />
(5) f(t) = t cos t<br />
(6) f(t) = e −t sen t<br />
20.– La función Gamma <strong>de</strong> Euler se <strong>de</strong>fine mediante la integral:<br />
Γ(α) =<br />
∫ ∞<br />
0<br />
t α−1 e −t dt, α > 0.<br />
Demostrar (integrando por partes) que Γ(α + 1) = αΓ(α). Concluir<br />
que si α es un número natural α = n, entonces Γ(n + 1) = n!.<br />
Demostrar que la transformada <strong>de</strong> Laplace <strong>de</strong> t α es<br />
Γ(α + 1)<br />
, α > −1.<br />
s α+1<br />
¿Qué ocurre para α ≤ −1? Teniendo en cuenta que Γ(1/2) = √ π,<br />
encontrar la transformada <strong>de</strong> Laplace <strong>de</strong> √ t, <strong>de</strong> 1/ √ t y, en general <strong>de</strong><br />
t n 2 con n natural.<br />
21.– Demostrar que la función f(t) = e t2 no tiene transformada <strong>de</strong> Laplace.<br />
22.– Demostrar que la transformada <strong>de</strong> Laplace <strong>de</strong> e at f(t) es F (s − a).<br />
23.– Supongamos que f(t) tiene transformada <strong>de</strong> Laplace F (s) <strong>de</strong>finida para<br />
s en un intervalo semiinfinito. Demostrar que F (s) tien<strong>de</strong> a cero cuando<br />
s tien<strong>de</strong> a infinito.<br />
24.– Usar las propieda<strong>de</strong>s <strong>de</strong> la transformada <strong>de</strong> Laplace para encontrar la<br />
transformada <strong>de</strong> las siguientes funciones<br />
(1) f(t) = 2t 4<br />
(2) f(t) = 4t − 10<br />
(3) f(t) = t 2 + 6t − 3<br />
(4) f(t) = (t + 1) 3<br />
(5) f(t) = 1 + e 4t 4
(6) f(t) = (1 + e 2t ) 2<br />
(7) f(t) = 4t 2 − 5 sen 3t<br />
(8) f(t) = e t senh t<br />
(9) f(t) = sen 2t cos 2t<br />
(10) f(t) = cos t cos 2t<br />
(11) f(t) = sen t cos 2t<br />
(12) f(t) = te 10t<br />
(13) f(t) = t 3 e −2t<br />
(14) f(t) = e t sen 3t<br />
(15) f(t) = e 5t senh 3t<br />
(16) f(t) = t(e t + e 2t ) 2<br />
(17) f(t) = e −t sen 2 t<br />
(18) f(t) = (t − 1)H(t − 1)<br />
(19) f(t) = tH(t − 2)<br />
(20) f(t) = t cos 2t<br />
(21) f(t) = t 2 senh t<br />
(22) f(t) = te 2t sen 6t<br />
(23) f(t) = sen 2 t<br />
(24) f(t) = cos 2 t<br />
(25) f(t) = senh 2 t<br />
(26) f(t) = cosh 2 t<br />
25.– Demostrar las reglas <strong>de</strong> transformación dadas en la tabla <strong>de</strong> transformadas<br />
<strong>de</strong> Laplace.<br />
26.– Hallar las inversas <strong>de</strong> las transformadas que se dan a continuación:<br />
(1) F (s) = 1 s 3<br />
(s + 1)3<br />
(2) F (s) =<br />
s 4<br />
(3) F (s) = 1 s − 1 2 s + 1<br />
s − 2<br />
(4) F (s) = 1<br />
4s + 1<br />
(5) F (s) = 4s<br />
4s 2 + 1<br />
1<br />
(6) F (s) =<br />
s 2 − 16<br />
(7) F (s) = 2s − 6<br />
s 2 + 9<br />
1<br />
(8) F (s) =<br />
s 2 + 3s<br />
5
s<br />
(9) F (s) =<br />
s 2 + 2s − 3<br />
2s + 4<br />
(10) F (s) =<br />
(s − 2)(s 2 + 4s + 3)<br />
1<br />
(11) F (s) =<br />
s 2 (s 2 + 4)<br />
s<br />
(12) F (s) =<br />
(s 2 − 4)(s + 2)<br />
1<br />
(13) F (s) =<br />
(s + 2) 3<br />
1<br />
(14) F (s) =<br />
s 2 − 6s + 10<br />
s<br />
(15) F (s) =<br />
s 2 + 4s + 5<br />
s<br />
(16) F (s) =<br />
(s + 1) 2<br />
(17) F (s) = 2s − 1<br />
s 2 (s + 1) 3<br />
(18) F (s) = e−2s<br />
s 3<br />
(19) F (s) = e−πs<br />
s 2 + 1<br />
(20) F (s) = e−s<br />
s(s + 1)<br />
s<br />
(21) F (s) =<br />
(s 2 + 1) 2<br />
(22) F (s) = ln s − 3<br />
s + 1<br />
(23) F (s) = π 2 − arctan s 2<br />
(24) F (s) =<br />
3s 2 − 16s + 5<br />
(s + 1)(s − 3)(s − 2)<br />
(25) F (s) = 3s2 + 5s + 3<br />
s 3 (s + 1)<br />
27.– Calcular la tranformada <strong>de</strong> Laplace <strong>de</strong> las funciones:<br />
(1) f(t) = ∫ t<br />
0 e−τ cos τdτ<br />
(2) f(t) = ∫ t<br />
0 τet−τ dτ<br />
(3) f(t) = t ∫ t<br />
sen τdτ<br />
0<br />
(4) f(t) = 1 ∗ t 3<br />
(5) f(t) = t 2 ∗ t 4<br />
(6) f(t) = e −t ∗ e t cos t<br />
6
28.– Utilizar el teorema <strong>de</strong> la convolución para hallar la transformada inversa<br />
<strong>de</strong>:<br />
1<br />
(1) F (s) =<br />
s(s + 1)<br />
1<br />
(2) F (s) =<br />
(s + 1)(s − 2)<br />
s<br />
(3) F (s) =<br />
(s 2 + 4) 2<br />
29.– Utilizar la tranformada <strong>de</strong> Laplace para resolver los siguientes problemas<br />
<strong>de</strong> valor inicial:<br />
(1) y ′ + 4y = e 4t , y(0) = 2<br />
(2) y ′′ − 4y ′ + 4y = t 3 e 2t , y(0) = 0, y ′ (0) = 0<br />
(3) y ′′ + y = sen t, y(0) = 1, y ′ (0) = −1<br />
(4) y ′′ − y ′ = e t cos t, y(0) = 0, y ′ (0) = 0<br />
(5) 2y ′′′ + 3y ′′ − 3y ′ − 2y = e −t , y(0) = 0, y ′ (0) = 0, y ′′ (0) = 1<br />
(6) y ′′ + 4y = H(t − 2π) sen t, y(0) = 1, y ′ (0) = 0<br />
(7) y ′ + y = f(t) y(0) = 0, don<strong>de</strong><br />
{<br />
0 si 0 ≤ t < 1<br />
f(t) =<br />
5 si t ≥ 1<br />
(8) y ′ + 2y = f(t), y(0) = 0,don<strong>de</strong><br />
{<br />
t si 0 ≤ t < 1<br />
f(t) =<br />
0 si t ≥ 1<br />
(9) y ′ + y = f(t), y(0) = 0, y ′ (0) = 1 don<strong>de</strong><br />
⎧<br />
⎪⎨ t si 0 ≤ t < π<br />
f(t) = 1 si π ≤ t < 2π<br />
⎪⎩<br />
0 si t ≥ 2π<br />
30.– Resolver los problemas <strong>de</strong> valor inicial <strong>de</strong>l capítulo anterior utilizando<br />
el método <strong>de</strong> la transformada <strong>de</strong> Laplace.<br />
31.– Resolver los siguientes problemas <strong>de</strong> valor inicial:<br />
{<br />
x ′′ + y = 1<br />
x(0) = 1, x ′ (0) = 1<br />
(1)<br />
x + y ′′ = −1<br />
y(0) = 1, y ′ (0) = −1.<br />
⎧<br />
⎪⎨<br />
x ′ + 2y ′ − 2x + y = 0<br />
x(0) = 1, x ′ (0) = 1<br />
(2) 2x ′ − y ′ + y = 0<br />
⎪⎩<br />
y(0) = 1.<br />
x ′′ − y ′ + x − 2y = 0<br />
7
3. Sistemas con coeficientes constantes: teoría<br />
cualitativa<br />
32.– Para las siguientes matrices A, hallar los subespacios estable, central e<br />
inestable <strong>de</strong>l sistema ẋ = Ax, y <strong>de</strong>terminar la estabilidad <strong>de</strong>l origen<br />
⎡<br />
⎣ 3 0 0<br />
⎤ ⎡<br />
0 3 −2⎦<br />
⎣ 0 −2 0<br />
⎤<br />
1 2 0 ⎦<br />
0 1 1<br />
0 0 −2<br />
⎡<br />
⎣ 1 0 0<br />
⎤<br />
−1 2 0⎦<br />
1 1 2<br />
⎡<br />
⎤<br />
1 −1 0 0<br />
⎢1 1 0 0<br />
⎥<br />
⎣0 0 3 −2⎦<br />
0 0 1 1<br />
⎡<br />
⎤<br />
−1 1 −2<br />
⎣ 0 −1 4 ⎦<br />
0 0 1<br />
⎡<br />
⎤<br />
0 −2 −1 −1<br />
⎢1 2 1 1<br />
⎥<br />
⎣0 1 1 0 ⎦<br />
0 0 0 1<br />
33.– Analizar la estabilidad <strong>de</strong> las siguientes ecuaciones y sistemas <strong>de</strong> ecuaciones<br />
diferenciales<br />
(1) y ′′′ + y ′′ − 2y ′ + y = 0<br />
(2) y (4) + 2y ′′′ + 3y ′′ + 4y ′ + 5y = 0<br />
(3) y (6) − 5y (5) + 2y (4) − y ′′ + y ′ + 3y = 0<br />
(4) ẋ = Ax don<strong>de</strong> A es la matriz<br />
⎡<br />
⎤<br />
−31 31 −32 31 −35<br />
8 −8 8 −9 5<br />
⎢ 11 −12 11 −11 15<br />
⎥<br />
⎣−19 19 −20 19 −20⎦<br />
1 0 1 −1 −3<br />
(5) ẋ = Ax don<strong>de</strong> A es la matriz<br />
⎡<br />
⎤<br />
23 −23 22 −23 19<br />
2 −2 2 −3 −1<br />
⎢−13 12 −13 13 −9<br />
⎥<br />
⎣ 11 −11 10 −11 10 ⎦<br />
1 0 1 −1 −3<br />
34.– Analizar la estabilidad <strong>de</strong>l sistema <strong>de</strong> ecuaciones diferenciales ẋ = Ax<br />
y hallar los subespacios estable, inestable y central, siendo A cada una<br />
8
<strong>de</strong> las siguientes matrices<br />
⎡<br />
⎤<br />
−1 −1 −1 −2 −3<br />
1 1 −3 0 −3<br />
⎢ 1 1 −3 −2 −3<br />
⎥<br />
⎣−2 −2 2 0 −2⎦<br />
1 1 1 2 3<br />
⎡<br />
⎤<br />
−3 4 −2 2 −2<br />
0 1 0 0 0<br />
⎢ 0 2 −1 2 0<br />
⎥<br />
⎣ 0 2 −2 −1 0 ⎦<br />
4 −5 1 −4 1<br />
35.– Sea x 0 un vector no nulo <strong>de</strong> R n , y x(t) = exp(tA)x 0 la solución <strong>de</strong><br />
ẋ = Ax que empieza en x 0 . De entre las siguientes propieda<strong>de</strong>s, probar<br />
las que sean ciertas y dar un contraejemplo para las que sean falsas.<br />
(1) Si x 0 ∈ E s entonces lim t→∞ x(t) = 0 y lim t→−∞ |x(t)| = ∞.<br />
(2) Si x 0 ∈ E u entonces lim t→∞ |x(t)| = ∞ y lim t→−∞ x(t) = 0.<br />
(3) Si x 0 ∈ E c −{0} y la restricción <strong>de</strong> A a E c es semisimple, existen<br />
constantes positivas m, M ∈ R tales que m ≤ |x(t)| ≤ M.<br />
(4) Si la restricción <strong>de</strong> A a E c no es semisimple, existe x 0 ∈ E c tal<br />
que lim t→±∞ |x(t)| = ∞.<br />
(5) Supongamos que los subespacios estable e inestable son ambos<br />
no-triviales. Si x 0 ∈ E s ⊕E u \(E s ∪E u ) entonces lim t→±∞ |x(t)| =<br />
∞.<br />
(6) Supongamos que los subespacios estable y central son ambos notriviales.<br />
Si x 0 ∈ E s ⊕ E c \ (E s ∪ E c ) entonces lim t→−∞ |x(t)| =<br />
∞ y lim t→∞ x(t) no existe.<br />
36.– Probar que todos los valores propios <strong>de</strong> una matriz A tienen parte real<br />
negativa si y sólo si existe una matriz P simétrica <strong>de</strong>finida positiva tal<br />
que A T P + P A es <strong>de</strong>finida negativa.<br />
37.– Supongamos que A es una matriz real 2 × 2 con valores propios imaginarios,<br />
por lo que las órbitas son elipses. ¿Cómo po<strong>de</strong>mos encontrar<br />
los ejes <strong>de</strong> dichas elipses?<br />
38.– Dibuja con precisión el diagrama <strong>de</strong> fases <strong>de</strong> cada uno <strong>de</strong> los sistemas<br />
diferenciales lineales siguientes, calculando los elementos geométricos<br />
que lo <strong>de</strong>terminan (ejes, semiejes, etc.).<br />
[ẋ ] [ [ ]<br />
2 1 x<br />
(1)<br />
=<br />
ẏ −5 −1]<br />
y<br />
(2)<br />
[ẋ ]<br />
=<br />
ẏ<br />
[ [ ]<br />
1 2 x<br />
3 −1]<br />
y<br />
9
(3)<br />
(4)<br />
(5)<br />
(6)<br />
[ẋ ]<br />
=<br />
ẏ<br />
[ẋ ]<br />
=<br />
ẏ<br />
[ẋ ]<br />
=<br />
ẏ<br />
[ẋ ]<br />
=<br />
ẏ<br />
[ [ ]<br />
2 2 x<br />
1 5]<br />
y<br />
[ [ ]<br />
−1 1 x<br />
−2 1]<br />
y<br />
[ [ ]<br />
−1 3 x<br />
−2 −2]<br />
y<br />
[ [ ]<br />
−7 1 x<br />
−4 −3]<br />
y<br />
39.– Para las cuatro primeras matrices <strong>de</strong>l problema 32, hacer un esbozo<br />
<strong>de</strong>l diagrama <strong>de</strong> fases.<br />
40.– Probar que si Ẋ = AX es asintóticamente estable, entonces toda<br />
solución tien<strong>de</strong> a cero exponencialmente. Más concretamente, probar<br />
que existen α > 0, C > 0 y t 1 > 0 tales que<br />
para todo t > t 1 .<br />
||e tA X 0 || ≤ Ce −αt ||X 0 ||,<br />
4. Sistemas lineales con coeficientes periódicos<br />
41.– Sea Φ(t, s) la matriz resolvente <strong>de</strong>l sistema Ẋ = A(t)X. Probar que<br />
∂Φ<br />
(t, s) + Φ(t, s)A(s) = 0.<br />
∂s<br />
Probar que, para cada t 0 ∈ R y cada λ 0 ∈ R n , la función λ(t) T =<br />
λ T 0 Φ(t 0 , t) es la solución <strong>de</strong>l problema <strong>de</strong> valor inicial ˙λ T = −λ T A(t) con<br />
λ(t 0 ) = λ 0 . Probar que si X es solución <strong>de</strong> Ẋ = A(t)X y λ es solución<br />
<strong>de</strong> ˙λ T = −λ T A(t), entonces λ(t) T X(t) es una función constante. La<br />
ecuación ˙λ T = −λ T A(t) se llama ecuación adjunta <strong>de</strong> Ẋ = A(t)X.<br />
42.– Sean G un grupo, Q un conjunto y Φ: Q × Q → G una aplicación tal<br />
que<br />
Φ(q 3 , q 2 )Φ(q 2 , q 1 ) = Φ(q 3 , q 1 ).<br />
Probar que existe M : Q → G tal que Φ(q, p) = M(q)M(p) −1 . A<strong>de</strong>mas,<br />
fijado q 0 ∈ Q, probar que se pue<strong>de</strong> elegir M tal que M(q 0 ) = e ∈ G (el<br />
elemento neutro <strong>de</strong>l grupo). ¿Qué tiene que ver este problema con las<br />
ecuaciones diferenciales?<br />
10
43.– Supongamos que A(t) es una matriz antisimétrica, A(t) T = −A(t).<br />
Probar que existe una matriz fundamental ortogonal.<br />
44.– Supongamos que, en el sistema Ẋ = A(t)X, la matriz A(t) es continua<br />
para todo t ∈ R, T -periódica e impar, o sea A(−t) = −A(t). Sean M(t)<br />
la matriz fundamental tal que M(0) = I n y C la matriz <strong>de</strong> monodromía.<br />
(1) Pruébese que M(t) es par, es <strong>de</strong>cir, M(−t) = M(t).<br />
(2) Pruébese que la matriz <strong>de</strong> monodromía es la i<strong>de</strong>ntidad.<br />
(3) Pruébese que M(t) es T -periódica y que toda solución <strong>de</strong>l sistema<br />
es también T -periódica.<br />
45.– Dado el sistema lineal periódico<br />
[ẋ ]<br />
=<br />
ẏ<br />
[<br />
−1 − cos(t) 0<br />
cos(t) −1] [<br />
x<br />
y<br />
escribir la solución en forma <strong>de</strong> Floquet. ¿Cuáles son los multiplicadores<br />
característicos y los exponentes característicos? ¿Hay alguna<br />
solución periódica? ¿Están acotadas las soluciones?<br />
46.– Sean ϕ: R → R una funcion continua y A 0 una matriz real.<br />
• Probar que la matriz resolvente para el sistema Ẋ = ϕ(t)A 0 X<br />
es<br />
[(∫ t<br />
) ]<br />
Φ(t, s) = exp ϕ(τ) dτ A 0 .<br />
s<br />
• Consi<strong>de</strong>remos la ecuación <strong>de</strong> segundo or<strong>de</strong>n t 2 ÿ + αtẏ + βy = 0.<br />
Transformarla a sistema usando las variables x 1 = y, x 2 = tẏ y<br />
resolverla utilizando el resultado anterior.<br />
47.– Se consi<strong>de</strong>ra el sistema lineal con coeficientes periódicos<br />
⎡ ⎤<br />
⎡<br />
⎣ẋ ẏ⎦ = (1 + cos(t)) ⎣ 1 1 0<br />
⎤ ⎡<br />
0 2 1⎦<br />
⎣ x ⎤<br />
y⎦ ,<br />
ż<br />
0 0 0 z<br />
(1) Calcular los multiplicadores característicos.<br />
(2) Hallar una matriz fundamental y escribirla en forma <strong>de</strong> Floquet.<br />
(3) Estudiar la existencia <strong>de</strong> soluciones periodicas.<br />
Ayuda: Utiliza el resultado <strong>de</strong>l problema 46.<br />
48.– Utilizar la <strong>de</strong>scomposicion <strong>de</strong> Floquet para probar que existen una<br />
matrix L constante y una matrix Q(t) periódica <strong>de</strong> periodo T (ambas<br />
matrices complejas) tales que<br />
Φ(t, s) = Q(t)e (t−s)L Q(s) −1 .<br />
]<br />
,<br />
11
Utilizando este resultado probar que Φ(t+T, s+T ) = Φ(t, s) para todo<br />
(t, s) ∈ R 2 .<br />
49.– Probar que toda solución <strong>de</strong> un sistema T -periódico homogéneo es <strong>de</strong><br />
la forma<br />
r∑<br />
ν∑<br />
i −1<br />
X(t) = t j e λit q i,j (t)<br />
i=1<br />
j=0<br />
don<strong>de</strong> λ 1 , λ 2 , . . . , λ r son los exponentes característicos (distintos), ν i es<br />
el índice <strong>de</strong> λ i y q i,j son funciones periódicas <strong>de</strong> periodo T .<br />
50.– Sea N(t) una matriz fundamental <strong>de</strong> un sistema T -periódico y sea P =<br />
N(0). Probar que existe una matriz regular ¯C tal que N(t+T ) = N(t) ¯C<br />
y hallar la relación entre ¯C y la matriz <strong>de</strong> monodromía C. Probar que se<br />
pue<strong>de</strong> escribir N(t) como producto N(t) = ¯Q(t)e t¯L con ¯Q(t) = Q(t)P ,<br />
periódica, y ¯L = P −1 LP . Probar que los multiplicadores característicos<br />
son las raíces <strong>de</strong>l polinomio q(s) = <strong>de</strong>t[sN(0) − N(T )].<br />
51.– Para cada una <strong>de</strong> las matrices A siguientes, hallar una matriz fundamental<br />
<strong>de</strong>l sistema Ẋ = A(t)X, escribirla en forma <strong>de</strong> Floquet y hallar<br />
los multiplicadores característicos.<br />
[ ]<br />
−1 0<br />
A(t) =<br />
sen(t) −1<br />
[ ]<br />
sen(t) sen(2t)<br />
A(t) =<br />
0 cos(t)<br />
[ ]<br />
−1 + cos(t) 0<br />
A(t) =<br />
cos(t) −1<br />
Para cada uno <strong>de</strong> ellas, encontrar todas las soluciones acotadas.<br />
52.– Sean µ 1 , µ 2 , . . . , µ n los multiplicadores característicos <strong>de</strong>l sistema con<br />
coeficientees T -periódicos Ẋ = A(t)X. Demostrar que<br />
[∫ T<br />
]<br />
µ 1 µ 2 · · · µ n = exp Tr A(t) dt ,<br />
don<strong>de</strong> Tr A(t) es la traza <strong>de</strong> la matriz A(t).<br />
53.– Consi<strong>de</strong>remos una ecuación diferencial escalar ẋ = a(t)x + b(t) con a<br />
y b funciones continuas periódicas<br />
∫<br />
<strong>de</strong> periodo 2π. Sea α el valor medio<br />
integral <strong>de</strong> a, es <strong>de</strong>cir, α = 1 2π<br />
a(t) dt y β el número real<br />
2π 0<br />
∫ 2π<br />
[∫ 2π<br />
]<br />
β = b(τ) exp a(s) ds dτ.<br />
0<br />
0<br />
τ<br />
12
Demostrar que todas las soluciones <strong>de</strong>l sistema homogeneo son periódicas<br />
si y sólo si α = 0. Analizar en términos <strong>de</strong> α y β la existencia y unicidad<br />
<strong>de</strong> soluciones periódicas <strong>de</strong>l sistema nohomogéneo.<br />
54.– Probar que el sistema π-periódico<br />
[ẋ ] [<br />
[ ]<br />
0 0 x<br />
=<br />
+<br />
ẏ 1 + cos(2t) 0]<br />
y<br />
tiene soluciones periódicas si y sólo si ∫ π<br />
0<br />
[ ]<br />
u(t)<br />
v(t)<br />
u(t) dt = 0.<br />
5. Solución por <strong>de</strong>sarrollo en serie <strong>de</strong> potencias<br />
55.– Expresar la solución general <strong>de</strong> cada uno <strong>de</strong> las siguientes ecuaciones<br />
como una serie <strong>de</strong> potencias en un entorno <strong>de</strong> t = 0, indicando su radio<br />
<strong>de</strong> convergencia.<br />
(1) ÿ − 3ty = 0<br />
(2) ÿ − 3tẏ − y = 0<br />
(3) (1 + t 2 )ÿ − 6y = 0<br />
(4) (1 + t 2 )ÿ − 8tẏ + 15y = 0<br />
(5) ÿ − t 2 y = 6t<br />
(6) 3ÿ − tẏ + y = t 2 + t + 1<br />
56.– La ecuación diferencial<br />
(1 − t 2 )ÿ − 2tẏ + λy = 0,<br />
don<strong>de</strong> λ ∈ R es un parámetro, se <strong>de</strong>nomina ecuación <strong>de</strong> Legendre.<br />
(1) Escribir la solución general en forma <strong>de</strong> serie <strong>de</strong> potencias en el<br />
origen, indicando su radio <strong>de</strong> convergencia.<br />
(2) Verificar que para λ = n(n + 1), las funciones<br />
q n (t) = dn<br />
dt n [(t2 − 1) n ],<br />
son polinomios y satisfacen la ecuación <strong>de</strong> Legendre. Se <strong>de</strong>nominan<br />
polinomios <strong>de</strong> Legendre. (Ayuda: (fg) (n) = ∑ n<br />
( n<br />
k=0 k)<br />
f (k) g (n−k) )<br />
(3) Probar que la familia {q n } es una familia <strong>de</strong> polinomios ortogonales<br />
en [−1, 1] con respecto a la función peso ω(t) = 1.<br />
57.– La ecuación diferencial<br />
(1 − t 2 )ÿ − tẏ + λy = 0,<br />
don<strong>de</strong> λ ∈ R es un parámetro, se <strong>de</strong>nomina ecuación <strong>de</strong> Tchebycheff.<br />
(1) Escribir la solución general en forma <strong>de</strong> serie <strong>de</strong> potencias en el<br />
origen, indicando su radio <strong>de</strong> convergencia.<br />
13
(2) Verificar que para λ = n 2 , las funciones<br />
T n (t) = cos(n arccos t),<br />
son polinomios y satisfacen la ecuación <strong>de</strong> Tchebycheff. Se <strong>de</strong>nominan<br />
polinomios <strong>de</strong> Tchebycheff.<br />
(3) Probar que la familia {T n } es una familia <strong>de</strong> polinomios ortogonales<br />
en [−1, 1] con respecto a la función peso ω(t) = 1/ √ 1 − t 2 .<br />
58.– Clasificar los puntos singulares <strong>de</strong> las siguientes ecuaciones diferenciales:<br />
(1) t 2 y ′′ − 5ty ′ + 7y = 0<br />
(2) (t 2 − 4)y ′′ + (t + 2)y ′ + 3y = 0<br />
(3) (t 2 − 1) 2 y ′′ − (t − 1)y ′ + 3y = 0<br />
(4) t 3 (t − 1)y ′′ + (t 2 − 3t)y ′ sen t − ty = 0<br />
(5) (t 2 − t)y ′′ + ty ′ + 7y = 0<br />
59.– Estudiar las soluciones (es <strong>de</strong>cir, encontrar la forma que tienen e indicar<br />
si son o no acotadas) <strong>de</strong> las ecuaciones diferenciales para las que t = 0<br />
es un punto singular-regular<br />
(1) t 2 y ′′ + 2ty ′ + ty = 0<br />
(2) t 2 y ′′ + 3ty ′ + (1 + t)y = 0<br />
(3) t 2 y ′′ + ty ′ + 2ty = 0<br />
(4) t 2 y ′′ + y ′ sen t − y cos t = 0<br />
60.– La ecuación diferencial t(1 − t)ÿ + [c − (a + b + 1)t]ẏ − aby = 0, con<br />
a, b, c ∈ R se <strong>de</strong>nomina ecuación hipergeométrica <strong>de</strong> Gauss. Comprobar<br />
que t = 0 y t = 1 son puntos singulares regulares y hallar las raíces <strong>de</strong><br />
la ecuación indicial. La función<br />
F (a, b, c; t) = 1 +<br />
∞∑<br />
n=1<br />
(a) n (b) n<br />
(c n )<br />
don<strong>de</strong> (d) n <strong>de</strong>nota el símbolo (d) n = d(d + 1) · · · (d + n − 1), se llama<br />
función hipergeométrica <strong>de</strong> or<strong>de</strong>n (a, b, c). Probar que, si c ∉ N, la<br />
solución general <strong>de</strong> la ecuación hipergeométrica es<br />
y(t) = αF (a, b, c; t) + βt 1−c F (a − c + 1, b − c + 1, 2 − c; t)<br />
con α, β ∈ R (Ayuda: cambiar la variable <strong>de</strong>pendiente y(t) = t 1−c z(t)).<br />
Comprobar que la solución en torno al punto singular t = 1 viene dada<br />
por<br />
y(t) = αF (a, b, a+b−c+1; 1−t)+β(1−t) c−a−b F (c−b, c−a, c−a−b+1; 1−t),<br />
t n<br />
n!<br />
14
con α, β ∈ R, siempre que c − a − b no sea un entero (Ayuda: cambiar<br />
la variable in<strong>de</strong>pendiente τ = 1 − t<br />
61.– Hacer el cambio <strong>de</strong> variable t = (1−τ)/2 en la ecuación hipergeométrica<br />
y relacionar con otras ecuaciones estudiadas en este capítulo.<br />
6. Teoría <strong>de</strong> Sturm<br />
62.– Sean y 1 e y 2 dos soluciones <strong>de</strong> la ecuación diferencial autoadjunta<br />
d<br />
[p(t)ẏ] + q(t)y = 0,<br />
dt<br />
y sea W [y 1 , y 2 ] el Wronskiano <strong>de</strong> dichas soluciones. Probar que la<br />
función Z(t) = p(t)W [y 1 , y 2 ](t), es constante.<br />
63.– Probar que si existen dos constantes ω, Ω ∈ R + tales que ω 2 ≤ Φ(t) ≤<br />
Ω 2 para todo t ∈ I, entonces la distancia d entre dos ceros consecutivos<br />
<strong>de</strong> cualquier solución no trivial <strong>de</strong> ÿ + Φ(t)y = 0 satisface π Ω ≤ d ≤ π ω .<br />
64.– Probar que toda solución <strong>de</strong> la ecuación <strong>de</strong> Airy ÿ + ty = 0 tiene<br />
infinitos ceros en (0, ∞).<br />
65.– Reducir la ecuación autoadjunta d (pẏ) + qy = 0 a forma normal autoadjunta<br />
ü + Φ(t)u = 0, verificando que Φ(t) = 1<br />
4p 2 (ṗ2 − 2p¨p +<br />
dt<br />
4qp).<br />
Aplicar el resultado anterior a la ecuación <strong>de</strong> Legendre d dt ((1−t2 )ẏ)+<br />
λy = 0. Probar los polinomios <strong>de</strong> Legendre tienen al menos [(2n+1)/π]<br />
ceros en el intervalo (−1, 1).<br />
66.– Probar que toda solución no trivial <strong>de</strong> la ecuación <strong>de</strong> Hermite ÿ −2tẏ +<br />
2λy = 0, con 0 ≤ λ ∈ R tiene a lo sumo un número finito <strong>de</strong> ceros.<br />
67.– Hallar los valores<strong>de</strong> α para los cuales la ecuación diferencial<br />
es <strong>de</strong> tipo oscilatorio.<br />
ÿ + α t 2 y = 0,<br />
68.– Analizar el comportamiento oscilatorio <strong>de</strong> las soluciones <strong>de</strong> la ecuación<br />
diferencial<br />
d<br />
dt [t3/2 ẏ] + 3t 1/2 y = 0.<br />
15
69.– Consi<strong>de</strong>ramos una ecuación diferencial lineal <strong>de</strong> segundo or<strong>de</strong>n L[y] = 0<br />
con invariante Φ(t). Supongamos que existe el límite<br />
lim<br />
t→∞ t2 Φ(t) = λ.<br />
Analizar, en función <strong>de</strong>l valor <strong>de</strong> λ, el comportamiento oscilatorio <strong>de</strong><br />
las soluciones.<br />
7. Teoría cualitativa: Introducción<br />
70.– Comprobar que el cambio a coor<strong>de</strong>nadas polares <strong>de</strong> una ecuación diferencial<br />
viene dado por las relaciones<br />
xẋ + yẏ xẏ − yẋ<br />
ṙ = ˙θ =<br />
r<br />
r 2<br />
Utilizar estas fórmulas para transformar a coor<strong>de</strong>nadas polares la ecuación<br />
diferencial {<br />
ẋ = −y + x(1 − x 2 − y 2 )<br />
ẏ = x + y(1 − x 2 − y 2 )<br />
Hallar el flujo (la solución general) <strong>de</strong> este sistema diferencial.<br />
71.– Considérese en R 2 − {(0, 0)} el sistema<br />
(<br />
ẋ = (1 − r)x − y 1 − x )<br />
(<br />
ẏ = (1 − r)y + x 1 − x )<br />
,<br />
r<br />
r<br />
con r = √ x 2 + y 2 . Comprobar que (0, 1) es el único punto <strong>de</strong> equilibrio.<br />
Transformar dicho sistema a coor<strong>de</strong>nadas polares. Probar que no<br />
es estable, y que, sin embargo, toda solución <strong>de</strong>l sistema tiene como<br />
límite dicho punto.<br />
72.– Probar que un punto <strong>de</strong> equilibrio aislado no pue<strong>de</strong> ser marginalmente<br />
estable, es <strong>de</strong>cir, si es estable, es asintóticamente estable. Probar que el<br />
origen es un punto <strong>de</strong> equilibrio marginalmente estable para la ecuación<br />
diferencial ẋ = f(x) don<strong>de</strong><br />
{<br />
x<br />
2<br />
si x ≤ 0<br />
f(x) =<br />
0 si x > 0<br />
73.– Sea p punto <strong>de</strong> equilibrio aislado y f : R → R <strong>de</strong> clase C n en un entorno<br />
<strong>de</strong> p. Supongamos que f(p) = f(p) ˙ = · · · = f (n−1) (p) = 0 y f (n) (p) ≠ 0.<br />
Demostrar que<br />
• si n es par, entonces p es inestable.<br />
• si n es impar, entonces<br />
– si f (n) (p) > 0, entonces p es inestable,<br />
16
– si f (n) (p) < 0, entonces p es estable.<br />
74.– Analizar la estabilidad <strong>de</strong> los puntos <strong>de</strong> equilibrio <strong>de</strong> las siguientes<br />
ecuaciones diferenciales: (a) ẋ = x 3 sen(x 2 ), (b) ẋ = x 2 sen(x 2 ), y (c)<br />
ẋ = x 2 (sen(x) − tan(x)).<br />
8. Flujo <strong>de</strong> una ecuación diferencial<br />
75.– Dada una curva diferenciable cualquiera en el plano probar que existe<br />
un sistema <strong>de</strong> ecuaciones que tiene a dicha curva por solución. ¿Es<br />
cierto lo anterior si se exige que el sistema sea autónomo?<br />
76.– Comprobar que la función K(x, y, z) = x 2 + y 2 + z 2 es una integral<br />
primera para el sistema<br />
⎧<br />
⎨<br />
⎩<br />
ẋ = yz<br />
ẏ = zx<br />
ż = −2xy.<br />
Deducir <strong>de</strong> este hecho que las trayectorias <strong>de</strong>l sistema anterior se encuentran<br />
contenidas en esferas centradas en el origen. ¿En qué esfera<br />
se encuentra la solución que pasa por el punto x 0 = (1, 1, 1)?<br />
77.– Sea f un campo vectorial <strong>de</strong> clase C 1 en un abierto U ⊂ R n . Probar<br />
que el flujo x ↦→ φ t (x) <strong>de</strong> f conserva el volumen si la divergencia <strong>de</strong> f<br />
es nula. Ayuda: consi<strong>de</strong>rar el cambio <strong>de</strong> variable x = φ t (u) y aplicar<br />
la formula <strong>de</strong> cambio <strong>de</strong> variable para integrales <strong>de</strong> volumen.<br />
78.– Hallar la linealización <strong>de</strong> una ecuación diferencial <strong>de</strong> or<strong>de</strong>n n<br />
y (n) = g(t, y, ẏ, ÿ, . . . , y (n−1) ),<br />
en torno a una solución y = γ(t). Particularizar al caso <strong>de</strong> una solución<br />
constante γ(t) = y 0 .<br />
9. Estabilidad <strong>de</strong> puntos <strong>de</strong> equilibrio<br />
79.– Para un sistema <strong>de</strong> ecuaciones diferenciales lineales con coeficientes<br />
constantes Ẋ = AX, <strong>de</strong>mostrar que el origen es un punto <strong>de</strong> equilibrio<br />
estable si y sólo si || exp(tA)|| está acotada para t > 0.<br />
80.– Encontrar y clasificar los puntos <strong>de</strong> equilibrio <strong>de</strong> los siguientes sistemas<br />
{ {<br />
ẋ = y 2 − 3x + 2<br />
ẋ = y<br />
ẏ = x 2 − y 2<br />
ẏ = −x + x 3<br />
17
{<br />
ẋ = sen(x + y)<br />
ẏ = y<br />
{<br />
ẋ = −x cos(y)<br />
ẏ = −y cos(x).<br />
81.– Supongamos que el sistema lineal ẋ = Ax es asintóticamente estable.<br />
Encontrar una función <strong>de</strong> Lyapunov cuadrática.<br />
82.– Determinar la estabilidad <strong>de</strong> los puntos <strong>de</strong> equilibrio <strong>de</strong> los siguientes<br />
sistemas<br />
{<br />
ẋ = x 2 − y 2 − 1<br />
ẏ = 2y<br />
{<br />
ẋ = y − x 2 + 2<br />
ẏ = 2y 2 − 2xy<br />
{<br />
ẋ = −4x − 2y + 4<br />
ẏ = xy<br />
83.– Utilizar la función <strong>de</strong> Lyapunov V (x, y, z) = x 2 +y 2 +z 2 para <strong>de</strong>mostrar<br />
que el origen es un punto <strong>de</strong> equilibrio asintóticamente estable <strong>de</strong>l sistema<br />
⎧<br />
⎨<br />
⎩<br />
ẋ = −y − xy 2 + z 2 − x 3<br />
ẏ = x + z 3 − y 3<br />
ż = −xz − zx 2 − yz 2 − z 5<br />
Mostrar que todas las trayectorias <strong>de</strong>l sistema linealizado son circunferencias<br />
paralelas al plano z = 0. Por tanto el origen es estable, pero<br />
no asintóticamente estable, para el sistema linealizado.<br />
84.– Utilizar funciones <strong>de</strong> Lyapunov apropiadas para <strong>de</strong>terminar la estabilidad<br />
<strong>de</strong>l origen para los siguientes sistemas.<br />
{ {<br />
ẋ = −x + y + xy<br />
ẋ = x + 3y + x<br />
3<br />
ẏ = −x − y − x 2 − y 3 ẏ = −x + y + y 2<br />
{ {<br />
ẋ = −x − 2y + xy<br />
2<br />
ẋ = −4y + x<br />
3<br />
ẏ = 3x − 3y + y 3 ẏ = 4x + y 3<br />
18
10. Sistemas gradiente y Hamiltonianos<br />
85.– Probar que el sistema<br />
{<br />
˙q = aq + bp + Aq 2 − 2Bqp + Cp 2<br />
ṗ = cq − ap + Dq 2 − 2Aqp + Bp 2<br />
es Hamiltoniano y hallar la función Hamiltoniana.<br />
86.– Probar que para un sistema ( ˙q, ṗ) = (Q(q, p), P (q, p)) en el plano, las<br />
siguientes afirmaciones son equivalentes<br />
(1) El sistema es Hamiltoniano<br />
(2) El sistema ortogonal ( ˙q, ṗ) = (−P (q, p), Q(q, p)) es un sistema<br />
<strong>de</strong> tipo gradiente.<br />
(3) La divergencia <strong>de</strong>l campo vectorial (Q, P ) es cero.<br />
Hallar una fórmula para obtener la función Hamiltoniana.<br />
87.– Probar que el flujo <strong>de</strong> un sistema Hamiltoniano en el plano preserva el<br />
área.<br />
88.– Probar que el sistema<br />
⎧<br />
x<br />
⎪⎨ ẍ = −<br />
(x 2 + y 2 ) 3 2<br />
y<br />
⎪⎩ ÿ = −<br />
(x 2 + y 2 ) 3 2<br />
es Hamiltoniano y hallar la función Hamiltoniana.<br />
89.– Para las siguientes funciones Hamiltonianas, hallar las ecuaciones <strong>de</strong><br />
Hamilton y dibujar el diagrama <strong>de</strong> fase <strong>de</strong>l sistema.<br />
(1) H(q, p) = q 2 + 2p 2 ,<br />
(2) H(q, p) = q 2 − p 2 − 2q + 4p + 5.<br />
90.– Para las siguiente funciones V (x, y) hallar el correspondiente sistema<br />
gradiente y dibujar el diagrama <strong>de</strong> fase.<br />
(1) V (x, y) = x 2 − y 2 ,<br />
(2) V (x, y) = x 2 + y 2 − 2x + 4y + 5.<br />
19