Documente Academic
Documente Profesional
Documente Cultură
F (x, z, z 0 ) = 0.
ϕ(α(σ)) = β(σ), ∀σ ∈ A,
(4)
Dϕ(α(σ)) = γ(σ), ∀σ ∈ A.
Metoda caracteristicilor permite studiul unei ecuaţiilor cu derivate parţiale
de ordinul ı̂ntâi cu ajutorul unei ecuaţii (sistem) diferenţiale ordinare care se
asociază unei ecuaţii cu derivate parţiale de ordinul ı̂ntâi, aşa-numitul sis-
tem al caracteristicilor. Prin urmare, rezultatele, pe care le vom prezenta ı̂n
continuare, sunt aplicaţii ale teoriei generale a ecuaţiilor diferenţiale ordinare
studiate deja.
Demonstraţie. Faptul că (T (.), Σ(.)) este inversa lui X(., .) pe Ω0 se scrie
sub forma
T (X(t, σ)) = t, Σ(X(t, σ)) = σ, ∀(t, σ) ∈ Ω0 ,
(8)
X(T (x), Σ(x)) = x, ∀x ∈ G.
Vom structura demonstraţia ı̂n mai mulţi paşi.
Pasul 1. ϕ(.) verifică condiţia la limită ϕ(α(σ)) = β(σ), σ ∈ A.
Într-adevăr, din definiţia lui ϕ(.) şi (8) avem
Faptul că C(., .) este de clasă C 1 rezultă imediat din ipoteza că F este de
clasă C 2 ; de unde va rezulta că funcţia f care defineşte sistemul caracteristi-
cilor (5) este de clasă C 1 şi deci curentul său maximal αf (., ., .) este de clasă
C 1 . Cum
C(t, σ) ≡ αf (t, 0, (α(σ), β(σ), γ(σ)))
rezultă că aplicaţia C(., .) este de clasă C 1 .
Demonstraţia identităţii (9) revine la demonstraţia următoarelor iden-
tităţi
D1 Z(t, σ) ≡< P (t, σ), D1 X(t, σ) >, (10)
D2 Z(t, σ) ≡ P (t, σ)D2 X(t, σ). (11)
Egalitatea (10) rezultă imediat din faptul că C(., σ) este soluţie a sis-
temului caracteristicilor.
Pentru a demonstra egalitatea (11), fie σ ∈ A arbitrar şi fie w(.) : I(σ) →
n−1
R
w(t) = D2 Z(t, σ) − P (t, σ)D2 X(t, σ).
Prin calcul (exerciţiu!) se arată că w(.) verifică următoarea problemă
Cauchy
∂F
w0 = − (C(t, σ))w, w(0) = 0.
∂z
Deci w(.) este soluţie a unei ecuaţii liniare care se anulează la momentul
0; deci ı̂n baza Propoziţiei (Soluţia banală) de la ecuaţii liniare deducem că
w(t) ≡ 0, adică (11).
Pasul 3. ϕ(.) verifică condiţia Dϕ(α(σ)) = γ(σ), σ ∈ A.
Din definiţia lui ϕ(.), derivând ı̂n egalitatea (8) şi folosind egalitatea (9)
avem succesiv
Prin urmare, pe baza afirmaţiilor de la Paşii 1,3 şi 4 teorema este complet
demonstrată. 2
4. Scrie (
x = X(t, σ),
z = Z(t, σ), σ ∈ A, t ∈ I(σ)
soluţia sub formă parametrizată.