Documente Academic
Documente Profesional
Documente Cultură
f (., .) : D ⊂ R × Rn → Rn
dx
= f (t, x) (1)
dt
Definiţie. Dacă f (., .) : D ⊂ R × Rn → Rn este o funcţie continuă
definită pe mulţimea deschisă D astfel ı̂ncât ecuaţia (1) admite proprietatea
de unicitatea a soluţiilor, atunci se numeşte curent maximal al ecuaţiei (1)
(sau al câmpului vectorial f (., .)) funcţia αf (., ., .) : Df ⊂ R × D → Rn
definită prin: ∀(τ, ξ) ∈ D aplicaţia αf (., τ, ξ) : I(τ, ξ) = (t− (τ, ξ), t+ (τ, ξ)) →
Rn este soluţia maximală a problemei Cauchy (f, τ, ξ); Df = {(t, τ, ξ); (τ, ξ) ∈
D, t ∈ I(τ, ξ)}.
Vom arăta că restricţia lui αf (., ., .) la D0 este lipschitziană ı̂n raport cu
fiecare din cele trei variabile ale sale. Argumentul principal se bazează pe
ecuaţia integrală asociată ecuaţiei diferenţiale (1).
Z t
αf (t, τ, ξ) = ξ + f (s, αf (s, τ, ξ))ds, ∀(t, τ, ξ) ∈ Df . (3)
τ
f (., ., .) : D ⊂ R × Rn × Rk → Rn
dx
= f (t, x, λ) (4)
dt
Definiţie. Dacă f (., .) : D ⊂ R × Rn × Rk → Rn este o funcţie con-
tinuă astfel ı̂ncât pentru orice λ ∈ pr3 D ecuaţia diferenţială definită de
f (., ., λ) admite proprietatea de unicitatea a soluţiilor, atunci se numeşte
curent maximal parametrizat al ecuaţiei (4) funcţia αf (., ., ., .) : Df ⊂ R ×
D → Rn definită prin: ∀(τ, ξ, λ) ∈ D aplicaţia αf (., τ, ξ, λ) : I(τ, ξ, λ) =
(t− (τ, ξ, λ), t+ (τ, ξ, λ)) → Rn este soluţia maximală a problemei Cauchy
(f (., ., λ), τ, ξ); Df = {(t, τ, ξ, λ); (τ, ξ, λ) ∈ D, t ∈ I(τ, ξ, λ)}.
(
dx
dt
= f (t, x, λ)
dλ (5)
dt
= 0Rk .
Cum τ → f (t, αf (t, τ, ξ)) este de clasă C 1 , derivând ı̂n relaţia (6) ı̂n raport
cu τ şi folosind Teorema lui Schwartz obţinem că
1
− lim [αf (t, τ + h, αf (τ + h, τ, ξ)) − αf (t, τ + h, ξ)] =
h→0 h
Z 1
1
= − lim D3 αf (t, τ + h, ξ + σ(αf (τ + h, τ, ξ) − ξ))[αf (τ + h, τ, ξ) − ξ]dσ
h→0 h 0
Z 1
αf (τ + h, τ, ξ) − ξ
= − lim D3 αf (t, τ + h, ξ + σ(αf (τ + h, τ, ξ) − ξ))dσ
h→0 0 h
= −D3 αf (t, τ, ξ)D1 αf (τ, τ, ξ) = −D3 αf (t, τ, ξ)f (τ, αf (τ, τ, ξ))
= −D3 αf (t, τ, ξ)f (τ, ξ).2
Demonstraţie. În ipotezele noastre, funcţia f (., .), care defineşte ecuaţia
extinsă (5), este continuă şi de clasă C 1 ı̂n raport cu al doilea argument.
Putem, aşadar, aplica Teoremele privind diferenţiabilitatea soluţiilor ı̂n ra-
port cu valorile iniţiale ale variabilei independente şi privind diferenţiabilita-
tea soluţiilor ı̂n raport cu valorile iniţiale ale variabilei dependente pentru a
deduce că αf (., ., ., .) este de clasă C 1 .
Cum, conform Propoziţiei de echivalenţă αf (t, τ, (ξ, λ)) = (αf (t, τ, ξ, λ), λ),
deducem că αf (., ., .) este, de asemenea, de clasă C 1 .
αf (., τ, ξ, λ) este soluţie a problemei Cauchy (f (., ., λ), τ, ξ), deci avem, pe
de o parte, că
D1 αf (t, τ, ξ, λ) ≡ f (t, αf (t, τ, ξ, λ), λ). (12)
Cum λ → f (t, αf (t, τ, ξ, λ), λ) este de clasă C 1 , derivând ı̂n relaţia (12) ı̂n
raport cu λ şi folosind Teorema lui Schwartz obţinem că