Documente Academic
Documente Profesional
Documente Cultură
Putem, ı̂n acest moment, să formulăm şi să demonstrăm binecunoscuta
teoremă Cauchy-Lipschitz privitoare la existenţa şi unicitatea locală a soluţiilor
ecuaţiilor diferenţiale. Demonstraţia pe care o prezentăm este o consecinţa
a teoremei lui Peano şi a lemei Bellman-Gronwall.
Teorema Cauchy-Lipschitz (E.U.L.) Fie D ⊂ R × Rn o mulţime
deschisă şi f (., .) : D → Rn continuă şi local lipschitziană ı̂n raport cu
al doilea argument care defineşte ecuaţia diferenţială x0 = f (t, x). Atunci
∀(t0 , x0 ) ∈ D ∃I0 ∈ V(t0 ) şi ∃!ϕ(.) : I0 → Rn soluţie a problemei Cauchy
(f, t0 , x0 ).
În plus, dacă ϕ1 (.) şi ϕ2 (.) sunt două soluţii ale problemei (f, t0 , x0 ) def-
inite pe intervalul compact I1 = [t0 − r, t0 + r], r > 0 atunci ϕ1 (.) = ϕ2 (.).
este compactă şi ı̂n baza Propoziţiei 8 (Curs 2) există L > 0 astfel ı̂ncât
În particular,
Deci avem u(t) ≤ | tt0 Lu(s)ds| ∀t ∈ I1 . Aplicăm Lema B-G şi deducem că
R
În teoria ecuaţiilor diferenţiale există situaţii ı̂n care câmpul vectorial
variază ı̂ntr-o familie ,,parametrizată” dată. Mai exact, avem următorul
concept.
În acelaşi timp, cum f (., ., .) este continuă şi D0 ⊂ D este compactă există
M ≥ 0 definit de M = max(t,x,λ)∈D0 ||f (t, x, λ)||.
Dacă M = 0, atunci f (t, x, λ) ≡ 0 şi deci α(t, τ, ξ, λ) ≡ ξ pe D0 .
Dacă M > 0 definim
γ
a = min{δ, }, I1 = B a (t0 ), I0 = B a (t0 ), G0 = B γ2 (x0 ), Λ0 = B η (λ0 ).
4M
Definim, ı̂n continuare, şirul aproximaţiilor succesive αm (., ., ., .) : I1 ×
I0 × G0 × Λ0 → Rn astfel
α0 (t, τ, ξ, λ) = ξ,
Z t
αm (t, τ, ξ, λ) = ξ+ f (s, αm−1 (s, τ, ξ, λ), λ)ds, m ≥ 1, (t, τ, ξ, λ) ∈ I1 ×I0 ×G0 ×Λ0 .
τ
Vom arăta, prin inducţie după m ≥ 0, că
a) αm (t, τ, ξ, λ) ∈ B γ (x0 ), ∀(t, τ, ξ, λ) ∈ I1 × I0 × G0 × Λ0 .
b) αm (., ., ., .) este continuă
|m
c) ||αm (t, τ, ξ, λ) − αm−1 (t, τ, ξ, λ)|| ≤ M Lm−1 |t−τ m!
, ∀(t, τ, ξ, λ) ∈ I1 ×
I0 × G0 × Λ0 , m ≥ 1.
Demonstraţia prin inducţie a afirmaţiei b) rezultă imediat din definiţia
lui αm (., ., ., .) şi din teorema privind continuitatea integralei in raport cu
parametri. Pentru afirmaţia a) avem:
γ γ γ γ
≤ + M |t − τ | ≤ + M.2.a ≤ + = γ
2 2 2 2
şi a) este demonstrată.
Pentru afirmaţia c), verificăm mai ı̂ntâi proprietatea pentru m = 1
Z t
||α1 (t, τ, ξ, λ) − α0 (t, τ, ξ, λ)|| = || f (s, ξ, λ)ds|| ≤ M |t − τ |.
τ
||αm+p−1 (t, τ, ξ, λ) − αm+p−2 (t, τ, ξ, λ)|| + ... + ||αm+1 (t, τ, ξ, λ) − αm (t, τ, ξ, λ)||
p p
|t − τ |m+j MX (2aL)m+j M
M Lm+j−1
X
≤ ≤ ≤ (Sm+p − Sm ),
j=1 (m + j)! L j=1 (m + j)! L
unde m
(2aL)j
→ e2aL ,
X
Sm :=
j=0 j!
deducem că αm (., ., ., .) este un şir Cauchy uniform pe I1 × I0 × G0 × Λ0 .
Fie, aşadar α(., ., ., .) : I1 × I0 × G0 × Λ0 → Rn continuă, astfel ı̂ncât
αm (., ., ., .) converge uniform la α(., ., ., .) pentru m → ∞. Trecând la limită
ı̂n relaţia de recurenţa care defineşte şirul αm (., ., ., .) obţinem
Z t
α(t, τ, ξ, λ) = ξ + f (s, α(s, τ, ξ, λ), λ)ds, (t, τ, ξ, λ) ∈ I1 × I0 × G0 × Λ0 ,
τ
După cum s-a văzut, deja, studiul soluţiilor unei ecuaţii diferenţiale de
ordin superior de forma
Demonstraţie. Dacă ϕ(.) este soluţie a ecuaţiei (3), atunci ϕ(.) este de
n ori derivabilă (t, ϕ̃(t)) ∈ D şi ϕ(n) (t) = f (t, ϕ(t), ..., ϕ(n−1) (t)) ∀t ∈ I şi
evident ϕ̃(.) este soluţie a ecuaţiei (4).
Reciproc, dacă ϕ̃(.) = (ϕ1 (.), ..., ϕn (.)) este soluţie a ecuaţiei (4) atunci
este derivabilă şi verifică ecuaţia (4), care ı̂nseamnă că ϕ01 (t) = ϕ2 (t), ϕ02 (t) =
ϕ3 (t),..., ϕ0n−1 (t) = ϕn (t) şi că ϕ0n (t) = f (t, ϕ1 (t), ..., ϕn (t)), de unde obţinem,
(k)
inductiv, că ϕ1 (.) este de n ori derivabilă, ϕk+1 (t) = ϕ1 (t) ∀t ∈ I, k ≥ 1 şi
deci ϕ1 (.) este soluţie a ecuaţiei (3). 2
Demonstraţie. Fie (t0 , (x0 , x10 , ..., xn−1 0 )) ∈ D şi fie f˜(t, (x1 , ..., xn )) =
(x2 , x3 , ..., xn , f (t, x1 , ..., xn )). Cum f (., .) este continuă şi f˜(., .) va fi con-
tinuă. Deci, dacă aplicăm Teorema lui Peano există ϕ̃(.) : I0 ∈ V(t0 ) → Rn
soluţie a problemei Cauchy (f˜, t0 , x̃0 ), unde am notat x̃0 = (x0 , x10 , ..., x0n−1 ) ∈
Rn . Din Propoziţia de echivalenţă deducem că ϕ̃(.) = (ϕ(.), ϕ0 (.), ..., ϕ(n−1) (.)),
unde ϕ(.) este soluţie a ecuaţiei (3), iar condiţia ϕ̃(t0 ) = x̃0 , se rescrie sub
forma ϕ(t0 ) = x0 , ϕ0 (t0 ) = x10 , ..., ϕ(n−1) (t0 ) = x0n−1 . 2
Demonstraţie. Exerciţiu!