Teorema de Picard-Lindelöf

Joaquı́n Rodrı́guez

Facultad de Fı́sica de la Pontificia Universidad Católica de Chile

Conceptos previos: Espacio de Banach
Un espacio de Banach (X , ∥ · ∥) es un espacio vectorial normado,
para el cual toda secuencia de Cauchy (xn )∞
n=1 , existe x ∈ X tal
que
lim ∥xn − x∥ = 0 (Completitud)
n→∞
Puntos fijos y contracciones

Un punto fijo x de un mapa K : C ⊂ X → C es un elemento

x ∈ C tal que K (x) = x

K es una contracción si existe una constante 0 ≤ q < 1 tal que

||K (x) − K (y )|| ≤ q||x − y ||

Teorema del punto fijo de Banach
Sea C ⊂ X cerrado no vacı́o, y K : C ⊂ X → C una contracción.
K tiene un punto fijo único x̄ ∈ C tal que para todo x ∈ C
qn
||K n (x) − x̄|| ≤ ||K (x) − x||
1−q
Teorema de Picard–Lindelöf

Consideremos x(t) tal que x(t0 ) = x0 y ẋ = f (t, x) con f Lipschitz

continua, i.e.

∥f (t, φ1 (t)) − f (t, φ2 (t))∥ ≤ L ∥φ1 (t) − φ2 (t)∥

definida en el cilindro Ca,b = Ia (t0 ) × Bb (x0 ), donde

Ia (t0 ) = [t0 − a, t0 + a]
Bb (x0 ) = [x0 − b, x0 + b].

Entonces, para algún ε > 0, existe φ(t) tal que x(t) = φ(t) en el
intervalo [t0 − a, t0 + a]
Operador de Picard

Definimos Γ : C(Ia (t0 ), Bb (x0 )) → C(Ia (t0 ), Bb (x0 )) como

Z t
Γφ(t) := x0 + f (s, φ(s)) ds,
t0

tal que x(t) = Γx(t). Definimos M = ∥f ∥∞ = supCa,b ∥f ∥

Si f es máxima en t ′ ∈ Ia (t0 ), ∥φ − x0 ∥∞ ≤ b y a < b
M, entonces
Z t Z t′

∥Γφ(t) − x0 ∥ =
≤
f (s, φ(s)) ds ∥f (s, φ(s))∥ ds
t0 t0
Z t′
M ds = M t ′ − t0  ≤ Ma ≤ b
 
≤
t0
Contracción
Sean φ1 , φ2 ∈ C(Ia (t0 ), Bb (x0 )), buscamos 0 ≤ q < 1 tal que

∥Γφ1 − Γφ2 ∥∞ ≤ q ∥φ1 − φ2 ∥∞

Notemos que, para a < L1 :

Z t

∥(Γφ1 − Γφ2 ) (t)∥ =
(f (s, φ1 (s)) − f (s, φ2 (s))) ds

t0
Z t
≤ ∥f (s, φ1 (s)) − f (s, φ2 (s))∥ ds
t0
Z t
≤L ∥φ1 (s) − φ2 (s)∥ ds
t
Z 0t
≤L ∥φ1 − φ2 ∥∞ ds ≤ La ∥φ1 − φ2 ∥∞
t0
Teorema de Picard–Lindelöf

El operador de Picard Γ es una contracción.

Por el teorema del punto fijo de Banach, tiene un punto fijo, y es
único.
En otras palabras, existe una única función φ ∈ C(Ia (t0 ), Bb (x0 ))
para la cual Γφ = φ. Esta es la solución  del problema de valores
b 1

iniciales, válida localmente para a < min M ,L .
Definiendo x0 (t) = x0 , construimos una secuencia de
aproximaciones denominada iteración de Picard:
Z t
x1 (t) = x0 + f (s, (x0 (s))ds xn (t) = Γn (x0 )(t)
t0
Aplicación a Mecánica Clásica
Partiendo de la ecuación de Euler-Lagrange:
∂L d ∂L
(t, q(t), q̇(t)) − (t, q(t), q̇(t)) = 0, i = 1, . . . , n.
∂q i dt ∂ q̇ i
Notamos que
∂L d ∂L ∂ ∂L ∂ ∂L ∂ ∂L
i
= i
= i
q̈α + i
q̇α +
∂q dt ∂ q̇ ∂ q̇α ∂ q̇ ∂qα ∂ q̇ ∂t ∂ q̇ i

Definiendo Gj (t, q(t), q̇(t))

∂ ∂L ∂L ∂ ∂L ∂ ∂L
Gj (t, q(t), q̇(t)) := i
q̈α = i
− i
q̇α −
∂ q̇α ∂ q̇ ∂q ∂qα ∂ q̇ ∂t ∂ q̇ i
 
La matriz HL = ∂ ∂q̇α ∂∂L
q̇ i cumple HL q̈ = G (t, q(t), q̇(t))
ij
Si HL es invertible, q̈(t) = (HL−1 G )(t, q(t), q̇(t)) = (HL−1 G )(t, x)
Trayectorias en el espacio de fase
Sea x(t) = (q(t), q̇(t))T ∈ R2n tal que

d
ẋ = (q, q̇)T = (q̇, HL−1 G ) =: f (t, x)
dt
Si además x(t0 ) = (q(t0 , q̇(t0 ))T , Picard-Lindelöf asegura la
existencia y unicidad de solución.
Esto nos habla de un cierto determinismo: conociendo el estado
presente de un sistema, podemos conocer su estado pasado y
futuro, el cual es único.
Referencias

Lindelöf, E. (1894). ”Sur l’application de la méthode des

approximations successives aux équations différentielles ordinaires
du premier ordre”. Comptes rendus hebdomadaires des séances de
l’Académie des sciences. 118: 454–7.
Teschl, G., 2009. Ordinary differential equations and dynamical
systems. Wien, Austria.