Documente Academic
Documente Profesional
Documente Cultură
Corecturi, biblio-update,
Octavian G. Mustafa
Pentru Andrei-Lucian şi Doriana
Prefaţă
i
ii
Rezumat În acest capitol este prezentată teorema de comparaţie a lui C. Sturm
şi M. Picone pe baza analizei variaţionale a lui W. Leighton.
şi
unde coeficienţii funcţionali p, P : [t0 , +∞) → (0, +∞) sunt de clasă C 1 iar
coeficienţii funcţionali q, Q : [t0 , +∞) → R sunt continui.
Următorul rezultat este cunoscut ı̂n literatură drept teorema de comparaţie
a lui C. Sturm (1836) şi M. Picone (1910), cf. [3, p. 53], [14, p. 2], [15, 12].
Enunţuri şi completări ale sale pot fi citite ı̂n [3]–[5], [9], [13, 14].
Teorema 1 Fie numerele a < b din [t0 , +∞). Presupunem că p(t) ≥ P (t) şi
q(t) ≤ Q(t) pentru orice t ∈ [a, b]. Dacă x(t) este o soluţie a ecuaţiei (1.1) pentru
care a, b sunt zerouri consecutive, atunci, fiind dată soluţia X(t) a ecuaţiei (1.2),
are loc alternativa: sau există c ∈ R cu proprietatea că X(t ) = c · x(t ) pentru
orice t ∈ [a, b] sau există un zero al soluţiei X(t) ı̂n (a, b).
Denumirea de teoremă de comparaţie ı̂i aparţine lui M. Bôcher (1898), vezi [1,
p. 414]. În formularea originală, p = P ≡ 1 ı̂n [a, b], cf. [13, pp. 3–4]. Cazul
p = P este tratat ı̂n [1, 12]. Demonstraţia ”tipică” a teoremei de comparaţie
1
2 Teorie sturmiană
valabilă ı̂ntr-un interval I ı̂n care soluţia X(t) nu se anulează. O analiză sturmiană
bazată pe această identitate a lui M. Picone, cf. [13, p. 35], se găseşte ı̂n [7, p.
226].
Introducem funcţionalele pătratice ([10, p. 603], [14, pp. 2,4])
b b
2 2
j[u] = {p(t)[u (t)] − q(t)[u(t)] }dt, J[u] = {P (t)[u (t)]2 − Q(t)[u(t)]2 }dt
a a
şi V [u] = j[u] − J[u], unde u(t) este o funcţie admisibilă, adică u ∈ C 2 ([a, b], R) şi
u(a) = u(b) = 0.
Teorema 2 (W. Leighton, C.A. Swanson, cf. [4, p. 11, Theorem 8]) Fie funcţia
admisibilă x(t). Admitem că x(t) nu se anulează ı̂n (a, b) şi x(t)l[x](t) ≥ 0 ı̂n [a, b].
De asemeni, considerăm funcţia X(t), unde X ∈ C 2 ([a, b], R), cu proprietatea că
pentru orice t ∈ {a, b}, dacă X(t ) = 0, atunci X (t ) = 0. În plus, X(t)L[X](t) ≤
0 ı̂n [a, b]. În sfârşit, presupunem că
V [x] ≥ 0. (1.3)
Atunci, are loc alternativa: sau x(t) verifică ecuaţia (1.1), X(t) verifică ecuaţia
(1.2) şi există c ∈ R cu proprietatea că X(t ) = c · x(t ) pentru orice t ∈ [a, b]
sau funcţia X(t) se anulează cel puţin o dată ı̂n (a, b).
respectiv
P (t)X (t)
lim [u(t)]2 = 0.
ta X(t)
Apoi, făcând ca A a şi B b, identitatea (1.4), unde v = X, ne conduce la
J[u] ≥ 0. Afirmaţia este probată.
Cea de-a doua identitate este formula lui Green. Mai precis, fiind dată funcţia
u ∈ C 2 ([a, b], R), putem scrie că
b
t=b
ul[u]dt + j[u] = puu t=a . (1.5)
a
Concludem că x(t) verifică ecuaţia (1.1), X(t) verifică ecuaţia (1.2) şi, ı̂n plus,
există c = 0 astfel ı̂ncât x(t) = c · X(t) ı̂n [a, b].
Teorema 3 (Leighton, 1952, cf. [11, Theorem 2.2]) Să presupunem că p = P şi
că ecuaţiile (1.1), (1.2) sunt oscilatorii. De asemeni, admitem că pentru orice
soluţie x(t) a ecuaţiei (1.1) şi orice soluţie X(t) a ecuaţiei (1.2) există limita
t
+∞
lim [q(s) − Q(s)]x(s)X(s)ds ∈ R adică, (q − Q)xXds .
t→+∞ t t0
0
G(t) cn
, n ≥ 1,
≤ 0, t ∈ an , an + √ −
− − π
cn
este oscilatorie.
Teorie sturmiană 5
(ii) Presupunem că există şirul (an )n≥1 de numere din [t0 , +∞), crescător şi
divergent, şi şirul (cn )n≥1 de numere din (0, +∞) astfel ı̂ncât
an + √π
cn √
Vn = cn [1 − P (t)] cos2 [ cn (t − an )]
an
√
+ [Q(t) − cn ] sin2 [ cn (t − an )] dt ≥ 0, n ≥ 1.
Demonstraţie. Partea (i). Să presupunem că, prin absurd, ecuaţia (1.6)
admite soluţia eventual pozitivă* X(t). Va exista numărul natural N ≥ 1 cu
proprietatea că
π
X(t)L[X](t) = X(t)G(t) ≤ 0, t ∈ a− −
n , an +
− ,
cn
pentru orice n ≥ N .
n , a = an şi b = an + √ − .
Considerăm ecuaţia (1.1), unde p(t) ≡ 1, q(t) ≡ c− − − π
cn
Soluţia
x(t) a ecuaţiei (1.1) despre care se vorbeşte ı̂n Teorema 2 este x(t) =
sin[ c− −
n (t − an )], unde n ≥ N .
Cum V [x] = Vn− ≥ 0, are loc alternativa din enunţul teoremei. Dacă X(t)
este un ”multiplu” −
Teorema 5 (J.S.W. Wong, 1968, cf. [16, Theorem 5]) Fie funcţia f : [t0 , +∞) ×
R → R continuă şi ecuaţia diferenţială neliniară
De asemeni, fie funcţia q : [t0 , +∞) → R continuă şi ecuaţia diferenţială liniară
* În cele ce urmează, dacă scriem că proprietatea P(ω), valabilă ı̂n mod obişnuit pentru
orice ω ∈ [Ω, +∞), are loc eventual, atunci proprietatea P(ω) are loc pentru ω ∈ [Ω1 , +∞),
unde Ω1 ≥ Ω este suficient de mare.
6 Teorie sturmiană
7
8 Teorie sturmiană
[13] W.T. Reid, Sturmian theory for ordinary differential equations, Springer-
Verlag, New York, 1980
[14] C.A. Swanson, Comparison and oscillation theory of linear differential equa-
tions, Academic Press, New York, 1968
[15] J.C.F. Sturm, Mémoire sur les équations différentielles linéaires du second
ordre, J. Math. Pures Appl. 1 (1836), 106–186
[16] J.S.W. Wong, On second order nonlinear oscillation, Funkc. Ekvac. 11 (1968),
207–234
Capitolul 2
Rezumat În acest capitol sunt prezentate criterii de pionerat privind oscilaţia
ecuaţiilor diferenţiale ordinare liniare ı̂n care estimările punctuale ale coeficienţilor
funcţionali sunt ı̂nlocuite cu ipoteze de tip integral.
n−1
yk
Pa (y) = x(k) (a) , unde x(0) ≡ x, y 0 ≡ 1, y ∈ R.
k!
k=0
Propoziţia 1 Presupunem că q(t) ia numai valori pozitive. Dacă există b > a
cu proprietatea că b − a este cea mai mică soluţie pozitivă a ecuaţiei algebrice
Pa (z) = 0, atunci soluţia x(t) a ecuaţiei (2.1) are un zero ı̂n (a, b).
9
10 Criterii integrale de oscilaţie
(b − a)n
x(b) = Pa (b − a) + x(n) (bτ )
n!
(b − a)n (b − a)n
= x(n) (bτ ) = −q(bτ )x(bτ ) ,
n! n!
de unde x(bτ ) < 0. Astfel, cum x(a) · x(bτ ), x(bτ ) · x(b) < 0, avem cel puţin două
zerouri ı̂n (a, b). Evident, dacă x(b) = 0, atunci bτ este zeroul căutat.
Trebuie spus că nu orice ecuaţie (2.1) cu coeficientul funcţional q pozitiv are
soluţii cu zerouri. Astfel, este cunoscută ecuaţia lui Euler (γ > 0)
Propoziţia 2 Presupunem că q(t) ia numai valori negative. Dacă există b > a
astfel ı̂ncât x(b) = 0, atunci ecuaţia algebrică Pa (z) = 0 are o soluţie ı̂n (0, b − a).
Demonstraţie. Presupunând că b este cel mai mic zero al soluţiei x mai
mare decât a, ceea ce ne conduce la x(bτ ) = 0, şi observând că soluţia x are numai
valori pozitive ı̂n (a, b) – adică, x(bτ ) > 0 – deducem că Pa (b − a) < 0. Am folosit
reprezentarea lui x(t) pe baza formulei lui Taylor din demonstraţia anterioară.
Astfel, Pa (0) · Pa (b − a) < 0 şi concluzia rezultă pe baza lemei lui Cesarò.
Evident, dacă ecuaţia algebrică Pa (z) = 0 nu admite soluţii pozitive, atunci
soluţia x(t) a ecuaţiei (2.1) nu are zerouri ı̂n (a, +∞). O asemenea situaţie (ream-
intim că q(t) < 0 pentru orice t ≥ t0 ) se ı̂ntâlneşte atunci când x(a) > 0,
x(k) (a) ≥ 0. Condiţii de acest fel se folosesc, de exemplu, ı̂n teoria ecuaţiilor
diferenţiale ordinare de tip Emden–Fowler. Mai precis, o astfel de ecuaţie are pro-
prietatea S dacă pentru orice t1 din domeniul de definiţie [t0 , +∞) există numărul
Criterii integrale de oscilaţie 11
η(t1 ) > 0 astfel ı̂ncât toate soluţiile x ale ecuaţiei respective să verifice relaţiile
x(i) (t1 ) ≥ 0, unde 0 ≤ i ≤ n − 2, şi x(n−1) (t1 ) ≥ η(t1 ), cf. [28, p. 68].
Să analizăm acum o problemă mai complicată. Dacă soluţia x(t) a ecuaţiei
(2.1) are n zerouri ı̂n [a, b], atunci, conform teoremei lui Fermat, derivata x (t) are
n − 1 zerouri ı̂n [a, b], . . . , derivata x(n−1) (t) are un zero ı̂n [a, b]. Este natural să
ı̂ntrebăm: cât de mic poate fi un interval ce conţine măcar câte un zero al funcţiilor
x, x , . . . , x(n−1) , unde x(t) este soluţia unei ecuaţii diferenţiale ordinare liniare
omogene de ordinul n?
Rezultatul următor, dat ı̂ntr-un cadru general, oferă un răspuns ı̂ntrebării noas-
tre. Mai precis, să considerăm sistemul diferenţial (m ≥ 2)
dx1
dt = f1 (t, x1 , . . . , xm )
.................. (2.4)
dxm
dt = f m (t, x 1 , . . . , x m ).
Funcţiile fi : [a, b] × Rm → R sunt lipschitziene,
n
|fi (t, y1 , . . . , yn ) − fi (t, x1 , . . . , xn )| ≤ Lk |yk − xk |, t ∈ [a, b], xi , yi ∈ R,
k=1
m
În concluzie, sau Lk Mk = 0, ceea ce ı̂nseamnă că soluţiile coincid pe ı̂ntreg
k=1
intervalul [a, b], sau are loc (2.5).
În cazul particular când fi (t, 0, . . . , 0) = 0 pentru orice t ∈ [a, b], unde i ∈ 1, m,
Teorema 6 stabileşte o margine inferioară a lungimii intervalului pe care toate
componentele unei soluţii (vectoriale) a sistemului (2.4) se pot anula măcar o
dată. Situaţia se ı̂ntâlneşte scriind ecuaţia diferenţială liniară omogenă de ordinul
n ca un sistem liniar (m = n). Aceste rezultate au fost inaugurate de W.B. Fite
ı̂n 1917, vezi [14, p. 350]. Pentru ecuaţia (2.1) când n = 2, Teorema 6 oferă o
estimare a intervalului compact de disconjugare, vezi [9, Chapter 1].
Asemenea chestiuni au condus la probleme privind focalitatea/disfocalitatea
ecuaţiilor diferenţiale ordinare. Astfel, ı̂n sensul lui J.S. Muldowney [46, p. 49],
ecuaţia diferenţială liniară
n
x(n) + qk (t)x(n−k) = 0 (2.6)
k=1
este disfocală la dreapta pe intervalul I dacă singura soluţie care satisface condiţiile
x(i−1) (ti ) = 0, i ∈ 1, n, unde t1 ≤ . . . ≤ tn se găsesc ı̂n I, este soluţia nulă. În [13,
Theorem 2.5] este dat următorul rezultat de disfocalitate.
atunci există a > t0 astfel ı̂ncât ecuaţia (2.6) să fie disfocală la dreapta pe [a, +∞).
unde funcţia r : [a, +∞) → (0, +∞) este de clasă C 1 iar funcţia q : [a, +∞) → R
este continuă.
Dacă există k > 0 astfel ı̂ncât r(t)q(t) ≤ k2 şi
t
k q(s) π
+ ds < pentru orice t ∈ [a, b], (2.8)
r(s) k 2
a
atunci soluţia x(t) a problemei (2.7) nu are nici un zero ı̂n (a, b].
În schimb, dacă ı̂nlocuim estimarea (2.8) cu
b
q(s) π
ds ≥ ,
a k 2
atunci soluţia x(t) a problemei (2.7) are un zero ı̂n (a, b].
Evident, y(a) = 0.
Clasic, transformarea Prüfer (metoda coordonatelor polare) este dată prin
ρ(t) = [x(t)]2 + [r(t)x
(t)]
2
x(t)
φ(t) = arctan r(t)x (t) ,
În continuare,
q(t) k
y (t) = cos2 y(t) + sin2 y(t)
k r(t)
1 q(t) k 1 q(t) k
= + + − cos 2y(t).
2 k r(t) 2 k r(t)
Remarcăm că a doua paranteză pătrată din formula lui y este nepozitivă pentru
1 q(t)
orice t ∈ I. Astfel, dacă avem cos 2y(t) ≥ 0, atunci y (t) ≤ 2 k + r(t) . k
conform (2.8), arată că y(t) este majorat strict de π4 atât timp cât el ia valori mai
mari sau egale cu − π4 (adică, cos 2y(t) ≥ 0). În particular, y(a ) = − π4 .
Aşadar, ı̂n [a , i ) rămân de investigat următoarele situaţii: (1) y(t) ≤ − π4
pentru orice t; (2) y(t) ≥ − π4 pentru orice t; (3) există [α, β) !astfel ı̂ncât |y(t)| < π4
pentru t ∈ [α, β) şi y(α) = − π4 (adică, y(t) reintră ı̂n − π4 , π4 ).
Atunci, noua estimare
t
π 1 t k q(s)
y(t) = y(α) + y (s)ds ≤ − + + ds
α 4 2 α r(s) k
π 1 α k q(s) 1 t k q(s)
= − − + ds + + ds
4 2 a r(s) k 2 a r(s) k
1 t k q(s) π
< + ds < , t ∈ [α, β),
2 a r(s) k 4
probează Afirmaţia.
Partea a doua a demonstraţiei se bazează pe observaţia că
q(t) k q(t) q(t)
y (t) = + − sin2 (t) ≥ , t ∈ I,
k r(t) k k
şi pe metoda reducerii la absurd.
O serie de cercetări mai avansate (teste tip C. de la Vallée Poussin pentru esti-
marea intervalului de disconjugare, analize ale existenţei unui sistem fundamental
de soluţii ı̂n sensul lui A.Yu. Levin) pot fi citite ı̂n [39, 69].
Criterii integrale de oscilaţie 15
"Lema
+∞
1 ([14, Theorem IV]) Fie x o soluţie netrivială a ecuaţiei (2.1). Dacă
t0 q(t)x(t)dt = +∞, atunci x oscilează. În plus, ea trece de la valori pozitive la
valori negative de o infinitate de ori ı̂n intervalul de existenţă.
Demonstraţie. Să presupunem că, prin absurd, x trece de la valori pozitive
la valori negative de (cel mult) un număr finit de ori. Atunci, x(t) ≥ 0 pentru orice
t ≥ t1 suficient de mare (putem avea zerouri). Evident, semnul lui q şi valoarea
integralei din enunţ ne arată că x(t) nu poate deveni eventual nepozitiv.
Integrând (2.1) pe [t1 , t], obţinem
t
(n−1) (n−1)
x (t) = x (t1 ) − q(s)x(s)ds → −∞ când t → +∞,
t1
Astfel, nu poate exista o soluţie x a ecuaţiei (2.1) cu lim inf x(t) = x > 0. Cum
t→+∞
liniaritatea ecuaţiei ne permite să ı̂l ı̂nlocuim pe x cu −x, o concluzie asemănătoare
se trage şi pentru eventualele soluţii x cu proprietatea că lim sup x(t) = x < 0.
t→+∞
Aşadar, dacă există soluţii cu semn constant nenul ale ecuaţiei (2.1), ı̂n ipoteza
că (2.9) are loc, acestea vor tinde la 0 eventual monoton.
Cu o mică modificare a demonstraţiei de la Lema 1, putem deduce şi faptul
următor. Dacă x este o funcţie de clasă C n cu valori reale astfel ı̂ncât lim inf x(t) ≥
t→+∞
M > −∞, atunci lim sup x(n) (t) ≥ 0. O atare concluzie se obţine ı̂nlocuind tehnica
t→+∞
bazată pe regula lui L’Hôpital cu o integrare iterată.
16 Criterii integrale de oscilaţie
necrescătoare, deci x (k−1) (t) ≤ x (k−1) (t1 ) < 0 pentru orice t ≥ t1 . De aici rezultă
că lim sup x(k−1) (t) ≤ x(k−1) (t1 ) şi, conform observaţiei de dinaintea Lemei 2,
t→+∞
lim x(t) = −∞, o contradicţie. Deci, x(k−1) (t) ≥ 0 pentru orice t ≥ t0 . Dacă
t→+∞
există t2 ≥ t0 astfel ı̂ncât x(k−1) (t2 ) = 0, atunci x(k−1) (t) ≤ 0 pentru orice t ≥ t2 ,
de unde x(k−1) ≡ 0 ı̂n [t2 , +∞). Aceasta ı̂nseamnă că x(n) devine identic nulă pe
[t2 , +∞), o contradicţie.
Un rezultat dual are loc.
Lema 4 Fie x : [t0 , +∞) → [0, +∞) o funcţie de clasă C n . Dacă ştim că
În plus, lim x(k−1) (t) = 0 şi lim x(k−2) (t) ∈ [0, +∞).
t→+∞ t→+∞
sau (ii) există t1 ≥ t0 astfel ı̂ncât
Aici, lim x(k−1) (t) ∈ (0, +∞], lim x(k−2) (t) = +∞.
t→+∞ t→+∞
Demonstraţie. Cum x(k−1) este monoton nedescrescătoare ı̂n [t0 , +∞) de-
ducem că lim x(k−1) (t) = lk−1 ∈ [0, +∞]. Apar două situaţii: (1) lk−1 = 0,
t→+∞
respectiv (2) lk−1 > 0.
În situaţia (1) avem x(k−1) (t) ≤ lk−1 = 0 pentru orice t ≥ t0 . Atunci,
x (k−2) este monoton necrescătoare ı̂n [t0 , +∞), deci x(k−2) (t) ≥ lk−2 ≥ 0, unde
lim x(k−2) (t) = lk−2 ∈ [0, +∞).
t→+∞
În situaţia (2) există T ≥ t0 astfel ı̂ncât 0 < x(k−1) (t) ≤ lk−1 ≤ +∞ pentru
orice t ≥ T . Atunci, x(k−2) este monoton crescătoare ı̂n [T, +∞), deci există
lim x(k−2) (t) = lk−2 ∈ [0, +∞]. În plus, conform regulii lui L’Hôpital,
t→+∞
x(k−2) (t)
lim = lk−1 > 0, (2.10)
t→+∞ t
deci există t1 ≥ T astfel ı̂ncât x(k−2) (t) > 0 pentru orice t ≥ t1 . În plus, lk−2 =
+∞.
Lema 5 Fie x : [t0 , +∞) → [0, +∞) o funcţie de clasă C n . Dacă ştim că
Aici, lim x(k−1) (t) ∈ [0, +∞) şi lim x(k−2) (t) ∈ (0, +∞].
t→+∞ t→+∞
18 Criterii integrale de oscilaţie
Demonstraţie. Cum x(k−1) este monoton necrescătoare ı̂n [t0 , +∞), avem
x(k−1) (t)
≥ lim x(k−1) (s) = lk−1 ∈ [0, +∞). Astfel, funcţia x(k−2) este monoton
s→+∞
nedescrecătoare ı̂n [t0 , +∞). Există lk−2 = lim x(k−2) (t) ∈ [0, +∞]. Apar două
t→+∞
situaţii: (1) lk−2 = 0, respectiv (2) lk−2 > 0.
În situaţia (1) avem obligatoriu lk−1 = 0. Într-adevăr, dacă lk−1 > 0 atunci
are loc (2.10). Ceea ce ı̂nseamnă că x(k−2) devine eventual pozitivă, ı̂n contradicţie
cu x(k−2) (t) ≤ lk−2 = 0 ı̂n [t0 , +∞).
Estimări de acest fel au condus la următoarele rezultate fundamentale, cunos-
cute sub numele de lemele lui I.T. Kiguradze*.
Lema 6 ([29, p. 177]) Fie x : [t0 , +∞) → [0, +∞) o funcţie de clasă C n având
proprietatea că x(n) (t) ≤ 0 pentru orice t ≥ t0 . Atunci, există t1 ≥ t0 şi numărul
natural L, unde 0 ≤ L ≤ n − 1, având paritatea diferită de cea a lui n, astfel ı̂ncât
x(n) (t) ≤ 0, x(n−1) (t) ≥ 0, x(n−2) (t) ≤ 0, x(n−3) (t) ≥ 0, . . . , x(L+1) (t) ≤ 0 (2.11)
şi
(t − t1 )i (L)
x(L−i) (t) ≥ x (t), 0 ≤ i ≤ L, (2.13)
i!
ı̂n (t1 , +∞).
L−1
(t − t1 )k−(L−i) (t − t1 )L−(L−i)
(L−i)
x (t) = x(k) (t1 ) + x(L) (tτ )
[k − (L − i)]! i!
k=L−i
(t − t1 )L−(L−i)
≥ x(L) (tτ ) , t > t1 ,
i!
unde tτ = t1 + τ (t − t1 ) şi τ ∈ (0, 1). Am ţinut seama de (2.12). Inegalitatea (2.13)
rezultă din estimarea precedentă dacă remarcăm că funcţia x(L) este monoton
necrescătoare, vezi (2.11).
* Sunt ı̂ndatorat dlui. ing. Roland Şvarţ pentru o serie de lămuriri privind textul
original.
Criterii integrale de oscilaţie 19
Funcţia x din Lema 6 este adesea numită de grad L, vezi e.g. [15, p. 150]
ori [48, p. 2]. Facem observaţia că mărimea t1 din (2.11), (2.12) nu poate fi, ı̂n
general, ı̂nlocuită cu t0 . Acest fapt este ilustrat de funcţia x : [1, +∞) → [0, +∞)
cu formula x(t) = (t − 2)2 + t ln t. Avem x(t) > 0, x (t) > 0 şi x (t) < 0 ı̂n
[1, +∞). În schimb, x (1) < 0 şi lim x (t) = +∞.
t→+∞
Lema 7 ([30, p. 996]) Dacă x : [t0 , +∞) → [0, +∞) este o funcţie de grad L
atunci, păstrând notaţiile Lemei 6, are loc inegalitatea
(t − t1 )n−1
x(t) ≥ x(n−1) (2n−1−L t) pentru orice t ≥ t1 . (2.14)
(n − 1) · · · (n − L)
Am ţinut seama de semnul şi monotonia funcţiei x(n−1) , cf. (2.11). Analog, avem
+∞ +∞
x(n−3) (t) ≥ − x(n−2) (s)ds ≥ sx(n−1) (2s)ds
t t
2t
3
≥ sx(n−1) (2s)ds ≥ x(n−1) (4t) · t2
t 2
≥ t2 x(n−1) (4t), t > t1 .
Se ajunge la
† Asemenea estimări ale limitelor derivatelor se găsesc la Kneser [33, p. 435], cf. [14,
p. 347, nota de subsol (*)].
20 Criterii integrale de oscilaţie
Lema 8 (Grammatikopoulos, Sficas, Staikos, 1979, cf. [17, Lemma 1]) Fie x :
[t0 , +∞) → (0, +∞) o funcţie de clasă C n având proprietatea că x(n) este nepozi-
tivă şi nu devine identic nulă pe niciun subinterval al lui [t0 , +∞). Atunci, există
t1 ≥ t0 şi numărul natural L, unde 0 ≤ L ≤ n − 1, având paritatea diferită de cea
a lui n, astfel ı̂ncât
x(n−1) (t) > 0, x(n−2) (t) < 0, . . . , x(L) (t) > 0 (2.16)
şi
pentru orice t ≥ t1 .
Aplicaţii interesante ale lemelor lui Kiguradze ı̂n teoria oscilaţiilor pentru
ecuaţii diferenţiale ordinare şi funcţionale pot fi citite, de exemplu, ı̂n [38, 35, 48].
Investigarea existenţei şi/sau comportamentului unor soluţii ale diverselor fami-
lii de ecuaţii diferenţiale ordinare şi funcţionale ce sunt caracterizate de proprietăţi
ı̂n genul celor din (2.11), (2.12), deşi nu neapărat ı̂n legătură cu contribuţia lui Kig-
uradze, constituie un subiect important de cercetare. Vezi clasele MN ν de soluţii
din [20], Nl şi Pl din [35, 36] (acestea legate de lemele lui Kiguradze), S± k din [37],
De asemeni, dacă q este de clasă C m şi (−1)j q (j) (t) ≤ 0 ı̂n [t0 , +∞) pentru orice
j ∈ 0, m, atunci ecuaţia posedă o soluţie x cu proprietatea că (−1)k x(k) (t) ≥ 0
pentru orice t ≥ t0 şi orice k ∈ 0, m + 1, cf. [74, (7m), p. 93], [19, p. 514]. Soluţia
admite reprezentarea integrală
+∞
x(t) = e−(t−t0 )r dφ(r), t ≥ t0 ,
0
unde φ : [0, +∞) → [0, +∞) este o aplicaţie monotonă, nu neapărat mărginită,
vezi [74, p. 91].
Următorul rezultat, ı̂n spiritul discuţiei de până acum, ı̂i aparţine lui M. Švec
[62, pp. 8, 10–11].
Lema 9 Presupunem că n ≥ 3 este impar şi q(t) ia numai valori nenegative ı̂n
[t0 , +∞). Atunci, ecuaţia (2.1) admite o soluţie x astfel ı̂ncât
şi
În demonstraţia sa, M. Švec [62, pp. 8–9] obţine estimări de tipul (2.11), (2.12)
(pentru L = 0) analizând ce se ı̂ntâmplă cu semnul derivatelor ı̂n trecutul de forma
[t0 , t0 + m] al unui şir de soluţii (xm )m≥1 ale ecuaţiei (2.1). Soluţia căutată va fi
chiar limita acestui şir special construit. Contribuţia lui M. Švec [62, II] cu privire
la comportamentul pe termen lung al soluţiilor cu alură predefinită ale unei clase
largi de ecuaţii diferenţiale neliniare este extrem de interesantă din punctul de
vedere al chestiunilor discutate ı̂n [47, Capitolul 3].
O clasificare importantă a soluţiilor ecuaţiilor diferenţiale ordinare liniare din
punctul de vedere al semnului derivatelor se găseşte ı̂n [12]. Alte rezultate şi o
discuţie privind asemenea clasificări pot fi citite ı̂n [7].
atunci orice soluţie x a ecuaţiei (2.1) va oscila (i.e. va avea o infinitate de zerouri
ı̂n [t0 , +∞)) când n este par, respectiv sau va oscila sau va tinde eventual monoton
către 0 când n este impar.
Demonstraţie. Faptul că soluţiile (eventuale) cu semn constant nenul tind
monoton la 0 rezultă din discuţia de la Lema 1. Să presupunem că x este o astfel de
soluţie a ecuaţiei (2.1). Mai precis, x(t) > 0 pentru orice t ≥ T ≥ t0 . Dacă n este
par, conform Lemelor 2, 3, x (t) < 0 (avem x(n) (t) = −q(t)x(t) < 0), respectiv
x (t) > 0 pentru orice t ≥ T . Astfel, funcţia x este crescătoare ı̂n [T, +∞). Cum
x(T ) > 0, vom obţine lim inf x(t) ≥ x(T ) > 0. Evident, am ajuns la o contradicţie,
t→+∞
deci toate soluţiile au câte o infinitate de zerouri ı̂n [t0 , +∞). În schimb, când n
este impar, aplicarea iterată a Lemelor 2, 3 ne conduce la x (t) < 0 pentru orice
t ≥ T . Din această afirmaţie nu rezultă nici o contradicţie. Are loc, aşadar,
alternativa din enunţ.
Faptul că nu putem renunţa la această alternativă este ilustrat de exemplul
următor. Ecuaţia
x(3) + x = 0, t ≥ t0 = 1,
−t
√= e care tinde monoton la 0 când t → +∞, respectiv soluţia
are soluţia x1 (t)
x2 (t) = et/2 sin 23 t nemărginită şi oscilatorie (cf. [43, p. 34]).
Semnul coeficientului q nu este necesar ı̂n chestiunea oscilaţiei pentru ecuaţia
(2.1), fapt stabilit de Wintner [73] ı̂n 1949: dacă ipoteza (2.9) este ı̂nlocuită cu
forma mai flexibilă privitoare la media sa, şi anume
1 T s
lim q(τ )dτ = +∞, (2.19)
T →+∞ T t0 t0
atunci ecuaţia (2.1) ı̂n cazul n = 2 este oscilatorie. Astfel sunt inaugurate criteriile
de medie integrală ı̂n teoria oscilaţiilor pentru ecuaţiile diferenţiale ordinare şi
funcţionale, cf. [54, p. 260]. Trebuie menţionat că, atunci când q(t) este nenegativ
ı̂n [t0 , +∞), pentru ca ecuaţia (2.1) să fie neoscilatorie este necesar ca integrala
din (2.9) să fie convergentă, vezi [74, p. 96].
Exemplul oferit de ecuaţia (2.3) ı̂n cazul γ > 14 arată că, pentru un coeficient
funcţional q(t) nenegativ, absenţa condiţiei (2.18) nu exclude oscilaţiile ecuaţiei
(2.1). În schimb, distanţa dintre două zerouri consecutive ale unei soluţii oscilatorii
tinde către infinit pe măsură ce zerourile cresc, cf. [16, p. 178]. Vezi şi [19, p.
511].
Criterii integrale de oscilaţie 23
Teorema 10 (Gagliardo, 1953, " +∞ cf. [16, Teorema II]) Dacă funcţia continuă q(t)
ia numai valori nenegative, t0 q(t)dt < +∞ şi (tm )m≥1 este şirul de zerouri ale
1
soluţiei oscilatorii x a ecuaţiei (2.1) ı̂n cazul n = 2, atunci seria tm+1 −tm este
m≥1
convergentă.
Condiţia lui Mikusiński Fie M > 1 şi A : [t0 , +∞) → [0, +∞) o funcţie
continuă astfel ı̂ncât pentru orice t1 > t0 şi α ∈ [0, 1) există t2 > t1 şi K > 0 cu
proprietatea că
t t
(τ − s)M −2+α A(τ )dτ ds ≥ K(t − t2 )α , t ≥ t2 . (2.21)
t1 s
tM A(t) ≥ C > 0, t ≥ t0 .
24 Criterii integrale de oscilaţie
Teorema 11 (Fite, Mikusiński) Presupunem că funcţia q : [t0 , +∞) → [0, +∞)
verifică condiţia lui Mikusiński (2.21) pentru M = n − ε, unde ε ∈ (0, 1) este fixat.
Atunci, dacă n este impar orice soluţie a ecuaţiei (2.1) sau oscilează sau tinde
eventual monoton la 0. În schimb, dacă n este par, atunci toate soluţiile oscilează
ı̂n [t0 , +∞).
Pe" baza (2.22), Mikusiński [43, p. 36] arată că (2.21) este o consecinţă a condiţiei
+∞ M −1
§ t A(t)dt = +∞.
Să presupunem că există o soluţie x a ecuaţiei (2.1) astfel ı̂ncât
Atunci,
t
(n−1) (n−1)
x (t ) = x (t) − q(s)x(s)ds
t
t
(n−1)
≤ x (t) − k q(s)ds, t ≥ t ≥ T.
t
Din nou,
t +∞
(n−2) (n−2)
x (t ) ≥ x (t) + k q(τ )dτ ds, t ≥ t ≥ T.
t s
Apar două situaţii: (2.1) lim x(n−2) (t ) > 0, respectiv (2.2) lim x(n−2) (t ) =
t →+∞ t →+∞
0.
Lăsând-o pe prima deoparte pentru moment, să observăm că ı̂n (2.2) avem
+∞ +∞ +∞
k (s − t)q(s)ds = k q(τ )dτ ds ≤ −x(n−2) (t) < +∞, t ≥ T.
t t s
" +∞
În particular, sq(s)ds < +∞. O nouă integrare ne conduce la
+∞
k
(s − t)2 q(s)ds + lim x(n−3) (t ) ≤ x(n−3) (t), t ≥ T.
2 t t →+∞
Apar două situaţii: (2.2.1) lim x(n−4) (t ) > 0, respectiv (2.2.2) lim x(n−4) (t )
t →+∞ t →+∞
= 0.
Discuţia ne arată că are loc următoarea alternativă:
! " +∞
(A) pentru orice 0 ≤ i ≤ n−2 2 avem x(n−2i−1) (t) ≥ (2i)!
k
(s − t)2i q(s)ds şi
" +∞
t
x(n−2i) (t) ≤ − (2i−1)!
k
t (s − t)2i−1 q(s)ds (când i ≥ 1) ı̂n [T, +∞);
!
(B) există 1 ≤ j ≤ n−2
2 astfel ı̂ncât lim x(n−2j) (t ) > 0 şi comportamentul
t →+∞
derivatelor de ordin superior ı̂n [T, +∞) este dat de inegalităţile de la (A)
pentru 0 ≤ i ≤ j − 1.
(A). Dacă n este impar, atunci avem
+∞
k
x (t) ≥ (s − t)n−3 q(s)ds, t ≥ T,
(n − 3)! t
Vezi [47, Lema 18, p. 111].
26 Criterii integrale de oscilaţie
!
pentru i = n−2
2 . Funcţia x fiind monoton nedescrescătoare, apar două situaţii:
(A.1) lim x (t ) > 0, respectiv (A.2) lim x (t ) = 0. Prima va fi tratată ı̂n
t →+∞ t →+∞
(B). Cea de-a doua implică
t +∞
k
x (t) ≤ x (t ) − (τ − s)n−3 q(τ )dτ ds, t ≥ t ≥ T,
(n − 3)! t s
respectiv
+∞
k
x (t) ≤ − (s − t)n−2 q(s)ds, t ≥ T.
(n − 2)! t
x(t) ≥ k (t − T )2j ,
respectiv
Am văzut deja că această ipoteză a fost introdusă ı̂n 1951 de J.G. Mikusiński ı̂n
cazul când n este par, cf. [43, Eq. (7)].
Lema următoare, conţinând estimări de tipul (2.13), (2.14), ı̂i este atribuită
lui V.A. Staikos [53, p. 178]. Pentru o variantă a sa, vezi [17, Lemma 2].
Lema 10 (Staikos, 1976) În condiţiile Lemei 8, fie θ ∈ (0, 1). Există t2 ≥ t1
θ2
astfel ı̂ncât
[θ(1 − θ)]n−1 n−1 (n−1)
x(θt) ≥ t x (t), t ≥ t2 . (2.26)
(n − 1)!
Dacă, ı̂n plus, lim x(t ) > 0, atunci există t3 > t2 astfel ı̂ncât
t →+∞
θ
x(t) ≥ tn−1 x(n−1) (t), t ≥ t3 . (2.27)
(n − 1)!
28 Criterii integrale de oscilaţie
L−1 t
x(k) (t1 ) (t − s)L−1 (L)
x(t) = (t − t1 ) +
k
x (s)ds
k=0
k! t1 (L − 1)!
t
1
≥ (t − s)L−1 x(L) (s)ds, t ≥ t1 ,
(L − 1)! t1
Pentru t ≥ t1
θ avem t − t1 ≥ (1 − θ)t, astfel că (2.30) implică
Cum lim x(t ) ∈ (0, +∞), există t3 > t3 astfel ı̂ncât
t →+∞
x(t) √
1
≥ θ, t ≥ t3 . (2.32)
x 1 − θ 2(n−1) t
atunci orice soluţie mărginită x a ecuaţiei (2.1) va oscila când n este par, respectiv
sau va oscila sau va tinde ı̂mpreună cu primele n − 1 derivate ale ei eventual
monoton către 0 când n este impar.
Demonstraţie. Să presupunem că x(t) ≥ k > 0 ı̂n [T, +∞), unde T ≥ t0 .
Dacă n este par, atunci, conform Lemelor 2, 3, ajungem la (2.23). Prin integrare
obţinem
+∞
k
(s − t)n−1 q(s)ds ≤ sup x(t ) < +∞,
(n − 1)! t t ≥T
o contradicţie.
Dacă n este impar, ı̂n schimb, atunci se ajunge la
+∞
k
−x (t) ≥ (s − t)n−2 q(s)ds,
(n − 2)! t
respectiv
+∞
k
(s − t)n−1 q(s)ds ≤ x(t) < +∞,
(n − 1)! t
unde coeficientul funcţional q : [t0 , +∞) → [0, +∞) este continuu şi neidentic
nul pe vreun subinterval al lui [t0 , +∞) iar argumentul funcţional (retardul) p :
[t0 , +∞) → (0, +∞) este o funcţie de clasă C 1 , neidentic nulă pe vreun subinterval
al lui [t0 , +∞), care ı̂ndeplineşte condiţiile
Evident, dacă p(t) = t ı̂n [t0 , +∞) atunci ecuaţia (2.34) coincide cu (2.1). Rezul-
tatul lui Staikos şi Sficas [63] stabileşte că concluziile Teoremei 12 sunt valabile
pentru ecuaţia (2.34). În cazul dual, i.e. integrala (2.33) este convergentă, există
un interes major pentru natura soluţiilor neoscilatorii. Astfel, dacă p(t) = t − τ (t),
unde funcţia τ : [t0 , +∞) → [0, τ∞ ], τ∞ < +∞, este de clasă C 1 , τ (t) ∈ [0, 1)
pentru orice t ≥ t0 , atunci ecuaţia diferenţială cu ı̂ntârziere (2.34) admite o soluţie
n−1
x(t) cu alura asimptotică x(t) = ct n−1 +o t , c = 0, când t → +∞, cf. [11,
Theorem 3]. Un rezultat similar ı̂n cazul neliniar se găseşte ı̂n [38, Theorem 2.1].
Următoarele două teoreme, stabilite de C.G. Philos ı̂n 1984, adaugă analizei
de la Teorema 12 informaţii privind soluţiile nemărginite.
Teorema 13 ([53, Theorem 1]) Presupunem că există θ ∈ (0, 1) pentru care
ecuaţia diferenţială
y θ
+ q(t)y = 0, t ≥ t0 , (2.35)
[p(t)]n−2 p (t) (n − 2)!
să fie oscilatorie. Atunci, dacă n este par, orice (eventuală) soluţie neoscilatorie
x a ecuaţiei (2.34) verifică restricţiile
lim x(t) ∈ [−∞, 0) ∪ (0, +∞]
t→+∞
eventual monoton.
lim x(i) (t) = 0, i ∈ 1, n − 1
t→+∞
Criterii integrale de oscilaţie 31
Dacă n este impar, atunci orice (eventuală) soluţie nemărginită a ecuaţiei (2.34)
este oscilatorie.
Demonstraţie. Fie x o soluţie pozitivă a ecuaţiei (2.34) definită ı̂n [T, +∞),
unde p(T ) ≥ t0 . Presupunem că, ı̂n plus, x este nemărginită când n este impar.
Conform Lemei 8, există L ∈ 0, n − 1 astfel ı̂nât x să fie o funcţie de grad L.
Cum L şi n au parităţi diferite, dacă n este par atunci L ≥ 1. În schimb, dacă
n este impar atunci nu putem avea x (t) < 0 pentru t ≥ t1 (cum s-ar ı̂ntâmpla
dacă L = 0) căci x este nemărginită. Aşadar, şi ı̂n acest caz L ≥ 1, adică x este
eventual pozitivă. Mai mult, dată fiind paritatea lui n, avem L ≥ 2.
În concluzie, dacă n este impar sau n este par şi L ≥ 2, Lema 4 (ii) arată că
lim x (t) > 0 (am luat k = 2). În schimb, dacă n este par şi L = 1, Lema 5 (ii)
t→+∞
arată că lim x (t) ∈ [0, +∞), respectiv lim x(t) ∈ (0, +∞].
t→+∞ t→+∞
Cu ajutorul Lemei 10 se poate dovedi că ipoteza lim x (t) > 0 conduce la o
t→+∞
contradicţie. Într-adevăr, relaţia (2.27), unde x este ı̂nlocuit cu x şi n cu n − 1,
arată că
θ
x (t) ≥ tn−2 x(n−1) (t), t ≥ T > T suficient de mare.
(n − 2)!
Punând p(t) ı̂n loc de t şi ţinând seama de monotonia funcţiei x(n−1) , ajungem la
θ
x (p(t)) ≥ [p(t)]n−2 x(n−1) (t), t ≥ T .
(n − 2)!
Introducem mărimea, cf. [53, p. 181],
x(n−1) (t)
w(t) = , t ≥ T .
x(p(t))
Atunci,
x(n) (t) x(n−1) (t)
w (t) = − x (p(t))p (t)
x(p(t)) [x(p(t))]2
2
θ x (n−1) (t)
≤ −q(t) − [p(t)]n−2 p (t)
(n − 2)! x(p(t))
−1
[w(t)]2 θ n−2
= −q(t) − , rθ (t) = [p(t)] p (t) . (2.36)
rθ (t) (n − 2)!
Inegalitatea Riccati (2.36) implică faptul că ecuaţia diferenţială (rθ (t)y ) +
q(t)y = 0, unde t ≥ T , este neoscilatorie, vezi [9, pp. 6–7]. Dat fiind că ecuaţia
(2.35) oscilează, am ajuns la o contradicţie.
32 Criterii integrale de oscilaţie
Teorema 14 ([53, Theorem 2]) Presupunem că ecuaţia (2.35) oscilează pentru
(n − 1)n−1 (n − 2)n−2
θ = θmax = .
(2n − 3)2n−3
Punând p(t) ı̂n loc de t şi ţinând seama de monotonia funcţiei x(n−1) , ajungem
la
[θ(1 − θ)]n−2
x (θp(t)) ≥ [p(t)]n−2 x(n−1) (t), t ≥ T .
(n − 2)!
x(n−1) (t)
w(t) =
x(θp(t))
x(p(t)) [w(t)]2
w (t) ≤ −q(t) −
x(θp(t)) Rθ (t)
−1
[w(t)]2 θ n−1(1 − θ)n−2 n−2
≤ −q(t) − , Rθ (t) = [p(t)] p (t) ,
Rθ (t) (n − 2)!
pentru orice t ≥ T .
(n−1)n−1 (n−2)n−2
Cantitatea θ n−1 (1 − θ)n−2 are ca maxim ı̂n [0, 1] numărul (2n−3)2n−3
,
atins pentru θ = n−1
2n−3 . Observăm că R n−1 = rθmax , unde rθ este dat de (2.36).
2n−3
Pe baza Teoremelor 12, 13, 14 poate fi dat următorul rezultat de oscilaţie
pentru ecuaţia diferenţială funcţională (2.34).
Criterii integrale de oscilaţie 33
Teorema 15 (Sficas, 1973, Philos, 1984, cf. [60, 53] ¶) Presupunem că există
ε ∈ (0, 1) astfel ı̂ncât
+∞
[p(t)]n−1−ε q(t)dt = +∞. (2.37)
t0
Atunci, orice soluţie a ecuaţiei (2.34) va oscila când n este par, respectiv sau va
oscila sau va tinde ı̂mpreună cu primele n − 1 derivate ale ei eventual monoton
către 0 când n este impar.
unde
−1 θ
r(t) = [p(t)]n−2 p (t) , Q(t) = q(t).
(n − 2)!
Conform unei teoreme din 1955 a lui R.A. Moore [45, Theorem 2], ecuaţia
(2.38) oscilează dacă există β ∈ (0, 1) astfel ı̂ncât
+∞ +∞ t β
dt ds
= +∞ şi 1+ Q(s)ds = +∞. (2.39)
t0 r(t) t0 t0 r(s)
În cazul de faţă, cea de-a doua dintre condiţiile (2.39) devine
+∞
[p(t)](n−1)β q(s)ds = +∞. (2.40)
t0
Dată fiind formula lui r(t), este obligatoriu ca lim p(t) = +∞ pentru ca prima
t→+∞
dintre condiţiile (2.39) să aibă loc.
Alegem β astfel ı̂ncât β > 1 − n−1 ε
. Atunci, (n − 1)β > n − 1 − ε şi (2.37)
implică (2.40).
Un rezultat intermediar se deduce din Teoremele 12, 13.
Teorema 16 ([53, Theorem 1, (I)]) Presupunem că n este par, restricţia (2.33)
este valabilă şi există θ ∈ (0, 1) astfel ı̂ncât ecuaţia (2.35) să oscileze. Atunci,
orice (eventuală) soluţie neoscilatorie x a ecuaţiei (2.34) verifică restricţiile
lim x(t) = ±∞
t→+∞
eventual monoton.
lim x(i) (t) = 0, i ∈ 1, n − 1
t→+∞
Teorema 17 Să presupunem că q : [t0 , +∞) → (0, +∞) este de clasă C 1 şi q (t) ≤
0 ı̂n [t0 , +∞). Dacă x este o soluţie oscilatorie a ecuaţiei diferenţiale ordinare
liniare
iar (tn )n≥1 reprezintă şirul zerourilor sale ı̂n [t0 , +∞), fie (mn )n≥1 , unde mn =
x(tn ), tn ∈ (tn , tn+1 ), şirul valorilor extreme (locale) ale acesteia.
Atunci, şirul (|mn |)n≥1 este monoton nedescrescător.
(t)
Demonstraţie. Înmulţind ecuaţia (2.41) cu xq(t) ı̂n ambii membri şi integrând
n
rezultatul pe [t , t n+1 ], obţinem
tn+1
d (x (t))2 dt [x(tn+1 )]2 [x(tn )]2
+ − = 0,
tn dt 2 q(t) 2 2
respectiv
tn+1
[x (tn+1 )]2 [x (tn )]2 [x (t)]2 q (t) m2n+1 m2n
− + · dt + − = 0.
2q(tn+1 ) 2q(tn ) tn 2 [q(t)]2 2 2
Ţinând seama de teorema lui Fermat şi de semnul lui q (t), concludem că
tn+1
q (t)
m2n+1 − m2n = − [x (t)]2 dt ≥ 0 (2.42)
tn [q(t)]2
pentru orice n ≥ 1.
Condiţia ca q (t) ≤ 0 ı̂n [t0 , +∞) nu poate fi eliminată, cf. [68, Theorem 4] –
unde este dat un exemplu de coeficient q pozitiv pentru care ecuaţia (2.41) admite
o soluţie oscilatorie care tinde la 0 când argumentul său tinde la +∞. În particular,
şirul (mn )n≥1 descreşte, vezi [68, p. 356].
O variantă a Teoremei 17 ı̂n cazul ecuaţiilor diferenţiale neliniare se găseşte ı̂n
[23, Lemma 2], fiind un ingredient esenţial ı̂n demonstrarea următorului rezultat.
Criterii integrale de oscilaţie 35
Teorema 18 (Heidel, 1969, cf. [23, Theorem]) Să presupunem că funcţia q :
[t0 , +∞) → (0, +∞) este de clasă C 1 şi q (t) ≤ 0 ı̂n [t0 , +∞).
Atunci, dacă
+∞
tq(t)dt < +∞, (2.43)
respectiv la
t t
x (t) x(t)q (t) 1
+ + x(s) ds + x(s)ds (2.46)
q(t) [q(t)]2 T q(s) T
+∞
x (T ) x(T )q (T ) 1
≤ + + f (s)ds < +∞, t ≥ T.
q(T ) [q(T )]2 q(T ) T
x (t)
Suma din (2.46) fiind mărginită superior, obţinem că lim = lim x (t) =
t→+∞ q(t) t→+∞
−∞, ceea ce, pe baza regulii lui L’Hôpital, implică eventual negativitatea soluţiei
x(t), o contradicţie.
Un exemplu este dat de ecuaţia x + tx = t12 + 12 t5
, t ≥ t0 = 1, care admite
1
soluţia neoscilatorie x(t) = t3 . Ecuaţia neperturbată are soluţiile exprimabile ca
serii de puteri, cum ar fi x(t) = 1 − 3!1 t3 + 1·4 6 1·4·7 9
6! t − 9! t + · · ·.
O variantă a Teoremei 19 pentru clasa ecuaţiilor diferenţiale funcţionale liniare
perturbate de ordinul al II–lea se găseşte ı̂n [11, Theorem 4].
Un rezultat stabilit de D. Willett [70] ı̂n 1966 probează necesitatea unor condiţii
suplimentare (ı̂n afara monotoniei coeficientului funcţional q(t)) pentru a avea loc
proprietatea Armellini-Tonelli-Sansone. Asemenea investigaţii par să origineze de
la contribuţia lui H. Milloux [44]. Pentru probleme conexe, vezi [22, 5, 8, 3].
Teorema 20 ([70, Theorem]) Fiind dată funcţia Q : [t0 , +∞) → (0, +∞) con-
tinuă şi monoton nedescrescătoare, există o funcţie q : [t0 , +∞) → (0, +∞), de
clasă C 1 , cu proprietatea că q (s) ≥ Q(s) pentru orice s ≥ t0 astfel ı̂ncât ecuaţia
(2.41) să admită o soluţie x(t) pentru care lim sup |x(t)| > 0.
t→+∞
În particular, avem lim inf |x(t)| = 0. Aceasta este o concluzie standard ı̂n analiza
t→+∞
perturbaţiilor ecuaţiilor diferenţiale oscilatorii, vezi [55, Theorem 4], [32, Theorem 4].
Criterii integrale de oscilaţie 37
Atunci,
derivatade ordinul ı̂ntâi a soluţiei y1 (t) are un zero, notat t1 , ı̂n inter-
valul t0 + 1c , t0 + 3c . Într-adevăr, cum q1 (t) ≥ (cπ)2 , teorema de separaţie a lui
Sturm [19, p. 335] ne asigură!că soluţia y1 (t) !admite măcar câte un zero ı̂n fiecare
din intervalele t0 + 1c , t0 + 2c , t0 + 2c , t0! + 3c . Deci există τ1 şi τ2 – zerouri con-
secutive ale funcţiei y1 ı̂n t0 + 1c , t0 + 3c . Teorema lui Fermat implică existenţa
punctului de extrem t1 ∈ (τ1 , τ2 ) căutat.
Definim o nouă problemă a valorii iniţiale, şi anume
y + q2 (t)y = 0, t ≥ t1 ,
(2.48)
y(t1 ) = y1 (t1 ), y (t1 ) = 0 (= y1 (t1 )!),
Este evident că q2 (t1 ) = q1 (t1 ) şi q2 (s1 ) = α." De asemeni,"cum funcţia Q(t)
s s
este monoton nedescrescătoare, putem scrie că t11 Q(s)ds ≤ t11 Q(t1 + 1)ds <
Q(t1 + 1). Această estimare ne conduce la
s1
π t − t1
q2 (t) = Q(t) + sin π α− Q(s)ds − q1 (t1 ) ≥ Q(t)
2(s1 − t1 ) s 1 − t1 t1
Afirmaţie (W. Osgood, cf. [65, Exercise 11, p. 76], [51, 6, 66]) Valorile extreme
absolute ale soluţiei y descresc nestrict .
Deoarece y2 + q2 (t)y2 = 0 ı̂n [t1 , t2 ], ı̂nmulţind ı̂n ambii membri cu y2 (t) şi
integrând rezultatul pe intervalul [s1 , t2 ], obţinem
t2
2 2 2
−[y2 (s1 )] + q2 (t2 )[y2 (t2 )] − q2 (s1 )[y2 (s1 )] − q2 (s)[y2 (s)]2 ds = 0,
s1
Într-un caz particular, detalii privind fracţii şi arii legate de aceste mărimi pot fi
citite ı̂n [75, pp. 391–393].
Criterii integrale de oscilaţie 39
Forma particulară a coeficientului mărimii [y2 (t1 )]2 ı̂n (2.52) ne permite să
adăugăm o caracteristică specială √ estimării. Mai precis, putem mări eventual
numărul α astfel ca α+Q(t1 +1) > 23 . Apoi, putem micşora eventual numărul
α
!2 √
s1 pentru ca 1 − 12 (s1 − t1 )2 α > 23 . În concluzie, va exista ε1 ∈ 0, 14 cu
proprietatea că [y2 (t2 )]2 ≥ (1 − ε1 )[y2 (t1 )]2 .
În mod inductiv este stabilită existenţa unui şir de numere (tn )n≥1 şi a două
(qn )n≥1 , (yn )n≥1 caracterizate de relaţiile care urmează:
şiruri 1de funcţii tn+1 ∈
tn + c , tn + 3c , qn (tn ) = qn+1 (tn ), yn (tn ) = yn+1 (tn ), yn (tn ) = yn+1
(tn ) = 0 şi
2 2
1
n+1 (tn+1 )] ≥ (1 − εn )[yn+1 (tn )] pentru orice n ≥ 1. În plus, εn ∈ 0, 4 şi seria
[y
εn este convergentă.
n≥1
Putem ı̂n acest moment defini coeficientul funcţional q : [t0 , +∞) → (0, +∞)
cerând ca q = qn ı̂n [tn−1 , tn ], respectiv soluţia x : [t0 , +∞) → R impunând ca
x = yn ı̂n [tn−1 , tn ] pentru orice n ≥ 1.
Am observat deja, analizând soluţia y ı̂n [t0 , t2 ], că şirul (|x(tn )|)n≥1 de ex-
treme locale este monoton necrescător. Concluzia teoremei decurge din Afirmaţia
următoare.
Afirmaţie Limita şirului (|x(tn )|)n≥1 este pozitivă.
Putem scrie că
[x(tn+1 )]2 = [yn+1 (tn+1 )]2 ≥ (1 − εn )[yn+1 (tn )]2 ≥ · · ·
%n
≥ (1 − εj ) · [y2 (t1 )]2 > 0, n ≥ 1.
j=1
Deoarece
−1
%
n
n
n
1 1
ln (1 − εj ) = ln ≤ −1
1 − εj 1 − εj
j=1 j=1 j=1
n
εj 4
n
= ≤ εj , n ≥ 1,
1 − εj 3
j=1 j=1
deducem că
∞
4
lim [x(tn+1 )]2 ≥ exp − εj [y2 (t1 )]2 > 0.
n→+∞ 3
j=1
z + f (t)z = 0, t ≥ t0 ≥ 0, (2.53)
Presupunem că z1,2 sunt soluţii liniar independente ale ecuaţiei (2.53) iar
funcţia g(t) verifică restricţia
+∞
y(t)|g(t)|dt < +∞, (2.55)
unde y(t ) = max [z1 (t )]2 , [z2 (t )]2 , t ≥ t0 .
Atunci, fiind date constantele a, b ∈ R, există o soluţie u(t) a ecuaţiei (2.54)
care admite reprezentarea
unde α(t), β(t) sunt funcţii continue cu proprietatea că lim α(t) = a, respectiv
t→+∞
lim β(t) = b.
t→+∞
Matricea sistemului diferenţial (2.56) are urma nulă, aşadar, aplicând ı̂ncă o dată
teorema lui Liouville, putem afirma că orice matrice fundamentală a acestuia are
determinantul constant ı̂n [t0 , +∞), vezi [67, p. 14].
♣ În cazul particular când soluţiile z1,2 ale ecuaţiei (2.53) sunt mărginite, o variantă a
rezultatului a fost stabilită de A. Wintner [76, (iv 0), p. 267] ı̂n 1947, vezi şi [19, p. 370].
Criterii integrale de oscilaţie 41
Cea de-a doua ecuaţie din sistemul (2.56) ne conduce la o inegalitate similară
care, adunată termen cu termen estimării (2.57), implică
t
2
|c1 (t)| + |c2 (t)| ≤ |c1 (t0 )| + |c2 (t0 )| + y(s)|g(s)|[|c1 (s)| + |c2 (s)|]ds
|W | t0
pentru orice t ≥ t0 .
Pe baza inegalităţii Gronwall-Bellman [19, p. 24], ţinând seama de (5.19),
putem scrie că
+∞
2
|c1 (t)| + |c2 (t)| ≤ M = [|c1 (t0 )| + |c2 (t0 )|] exp y(s)|g(s)|ds < +∞.
|W | t0
Astfel,
t +∞
|g(s)z2 (s)[z1 (s)c1 (s) + z2 (s)c2 (s)]|ds ≤ M y(s)|g(s)|ds < +∞, t ≥ t0 ,
t0 t0
" +∞
deci integrala t0 g(s)z2 (s)[z1 (s)c1 (s) + z2 (s)c2 (s)]ds este convergentă şi
+∞
1
lim c1 (t) = l1 = c1 (t0 ) + g(s)z2 (s)[z1 (s)c1 (s) + z2 (s)c2 (s)]ds ∈ R.
t→+∞ W t0
pentru orice t ≥ t0 .
Următorul rezultat este un caz particular al Teoremei 21. În literatură, el este
cunoscut drept teorema lui A. Wintner de integrare a oscilatorului adiabatic, vezi
[75, 76, 57, 18, 56]. Analize conexe ı̂n cazul sistemelor liniare se găsesc ı̂n [58, 61].
Teorema 22 (Kelman, 1962, cf. [27, Theorem]) Fie "numărul ρ > −1 fixat şi
+∞
funcţia f : [t0 , +∞) → [ρ, +∞) de clasă C 1 pentru care |f (t)|dt < +∞.
Atunci, ecuaţia diferenţială liniară
x1 (t) = [1 + o(1)] sin[F (t) + o(1)], x1 (t) = [1 + o(1)]F (t) cos[F (t) + o(1)]
şi
x2 (t) = [1 + o(1)] cos[F (t) + o(1)], x2 (t) = −[1 + o(1)]F (t) sin[F (t) + o(1)],
"t
unde F (t) = t0 1 + f (s)ds ♦, când t → +∞.
Demonstraţie. Introducem funcţiile r : [t0 , +∞) → (0, +∞) şi θ : [t0 , +∞) →
R de clasă C 1 cerând ca funcţia x(t) dată de formulele de tip Prüfer
x(t) = r(t) sin[F (t) + θ(t)], x (t) = r(t)F (t) cos[F (t) + θ(t)], (2.59)
x (t) = r(t)F (t) cos[F (t) + θ(t)] + {r(t)θ (t) cos[F (t) + θ(t)]
+ r (t) sin[F (t) + θ(t)]}.
" +∞
♦ Estimarea |f (t ) − f (t)| ≤ |f (s)|ds, unde t, t ≥ t0 , arată că lim f (t) ∈
min{t,t } t→+∞
√
[ρ,
+∞) via criteriul Bolzano-Cauchy (f ∈ BV ). În particular, 1 + ρ(t − t 0 ) ≤ F (t) ≤
1 + f ∞ (t − t0 ) ı̂n [t0 , +∞). Ecuaţia (2.58) trebuie, aşadar, ı̂nţeleasă ca x + [ε +
o(1)]x = 0, unde ε = 1 + lim f (t) > 0.
t→+∞
Criterii integrale de oscilaţie 43
x (t) = −[1 + f (t)]x(t) + {[r (t)F (t) + r(t)F (t)] cos[F (t) + θ(t)]
− r(t)F (t)θ (t) sin[F (t) + θ(t)]}.
r (t)
În concluzie, mărimile r(t) şi θ (t) verifică sistemul algebric de tip cramerian
(t) (t)
cos[F (t) + θ(t)] rr(t) − sin[F (t) + θ(t)]θ (t) = − FF (t) cos[F (t) + θ(t)],
(t)
sin[F (t) + θ(t)] rr(t) + cos[F (t) + θ(t)]θ (t) = 0,
de unde
r (t) F (t) 2
r(t) = − F (t) cos [F (t) + θ(t)],
(t) t ≥ t0 . (2.60)
θ (t) = 12 · FF (t) sin[2(F (t) + θ(t))],
" +∞Forma specială a celei de-a doua ecuaţii din (2.60) ne conduce, via (2.61), la
|θ (t)|dt < +∞. Deci, lim θ(t) ∈ R. Plecând de la această observaţie, vom
t→+∞
considera că funcţiile r(t), θ(t) sunt acele soluţii ale sistemului diferenţial neliniar
(2.60) care verifică sistemul integral
r(t) = exp " +∞ F (s) cos2 [F (s) + θ(s)]ds
t
F (s)
" (2.62)
θ(t) = − 1 +∞ F (s) sin[2(F (s) + θ(s))]ds
2 t F (s)
[1] D.R. Anderson, J.M. Davis, Multiple solutions and eigenvalues for third-order
right focal boundary value problems, J. Math. Anal. Appl. 267 (2002), 135–
157
[6] Z. Butlewski, Sur les intégrales d’une équation différentielle du second ordre,
Mathematica (Cluj) 12 (1936), 36–48
[9] W.A. Coppel, Disconjugacy, Lect. Notes Math. 220, Springer-Verlag, Berlin,
1971
[10] É. Cotton, Sur les solutions asymptotiques des équations différentielles, Ann.
Éc. Norm. Sup. 28 (1911), 473–521
[11] R.S. Dahiya, B. Singh, Certain results on nonoscillation and asymptotic na-
ture of delay equations, Hiroshima Math. J. 5 (1975), 7–15
44
Criterii integrale de oscilaţie 45
[13] P.W. Eloe, J. Henderson, Integral conditions for right disfocality of a linear
differential equation, J. Math. Anal. Appl. 131 (1988), 441–450
[14] W.B. Fite, Concerning the zeros of the solutions of certain differential equa-
tions, Trans. Amer. Math. Soc. 19 (1918), 341–352
[15] K.E. Foster, R.C. Grimmer, Nonoscillatory solutions of higher order delay
equations, J. Math. Anal. Appl. 77 (1980), 150–164
[18] W.A. Harris Jr., D.A. Lutz, Asymptotic integration of adiabatic oscillators,
J. Math. Anal. Appl. 51 (1975), 76–93
[19] P. Hartman, Ordinary differential equations, Wiley & Sons, New York, 1964
[23] J.W. Heidel, A nonoscillation theorem for a nonlinear second order differential
equation, Proc. Amer. Math. Soc. 22 (1969), 485–488
[24] A.G. Kartsatos, Contributions to the research of the oscillation and the
asymptotic behaviour of solutions of ordinary differential equations, Bull. Soc.
Math. Grèce 10 (1969), 42–50
[32] M. Kirane, Yu.V. Rogovchenko, Oscillation results for a second order damped
differential equation with nonmonotonous nonlinearity, J. Math. Anal. Appl.
250 (2000), 118–138
[33] A. Kneser, Untersuchungen über die reellen nullstellen der integrale linearer
differentialgleichungen, Math. Ann. 42 (1893), 409–435
[54] C.G. Philos, I.K. Purnaras, On the oscillation of secon order nonlinear differ-
ential equations, Arch. Math. (Basel) 59 (1992), 260–271
48 Criterii integrale de oscilaţie
[69] D. Willett, Disconjugacy tests for singular linear differential equations, SIAM
J. Math. Anal. 2 (1971), 536–545
Criterii integrale de oscilaţie 49
[75] A. Wintner, The adiabatic linear oscillator, Amer. J. Math. 68 (1946), 385–
397
Rezumat În acest capitol sunt prezentate două rezultate clasice, datorate
lui P. Hartman, privind comportamentul pe termen lung al soluţiilor ecuaţiilor
diferenţiale ordinare liniare de ordinul al II–lea: teorema de integrare asimptotică
din 1948, respectiv rezultatul de neoscilabilitate ”−∞ < lim inf < lim sup ≤ +∞”
din 1952. Demonstraţiile se bazează pe analiza soluţiilor ecuaţiei diferenţiale a
lui Riccati care se ataşează ecuaţiilor diferenţiale de ordinul al II–lea ı̂n cazul
neoscilatoriu.
Atunci, o condiţie necesară şi suficientă ca toate soluţiile x ale ecuaţiei (3.1)
să existe ı̂n [t0 , +∞) şi lim x(t) = 0 este dată de
t→+∞
1 u+v
= 0.
lim sup g(t)dt (3.2)
u→+∞ v≥0 1 + v u
50
Analiză riccatiană I 51
Cum lim x(t) = 0, criteriul Bolzano-Cauchy ne asigură că pentru orice ε > 0
t→+∞
există uε > t0 astfel ı̂ncât (observăm că f (0) = 0)
|x(t ) − x(t)| ≤ ε, |f (x(t))| ≤ ε pentru orice t ≥ t ≥ uε .
Printr-o nouă integrare ajungem la
u+v
|f (x(t))|dt ≤ εv < ε(1 + v), u ≥ uε , v ≥ 0.
u
Proprietăţile lui f (x) ne permit să introducem funcţia continuă* f : (0, +∞) →
(0, +∞) cu formula
f (r) = inf |f (x)|, r > 0.
|x|>r
Într-adevăr, este clar că |f (x)| > 1 când |x| este suficient de mare. Pozitivitatea
lui f rezultă din faptul că funcţia f (x) nu are decât un singur zero, şi anume 0.
Să presupunem acum că, prin absurd, lim inf x(t) ∈ (0, +∞]. Vor exista ε0 > 0
t→+∞
şi t1 > t0 astfel ı̂ncât x(t) ≥ ε0 pentru orice t ≥ t1 .
Fixăm ε ∈ (0, f (ε0 )). Atunci există tε ≥ t1 cu proprietatea că
1 u+v
g(t)dt < ε, u ≥ tε , v ≥ 0. (3.4)
1+v u
Ţinând seama de semnul lui f putem scrie că f (x(t)) ≤ −f (ε0 ) ı̂n [tε , +∞),
de unde
Afirmaţie Vom dovedi ı̂n continuare că are loc dubla inegalitate
Astfel, dat fiind că lim inf x(t) ≤ lim sup x(t), relaţiile (3.3), (3.5) ne vor con-
t→+∞ t→+∞
duce la lim x(t) = 0.
t→+∞
Să presupunem că, prin absurd, lim sup x(t) ∈ (0, +∞]. Atunci există ε1 > 0
t→+∞
şi un şir crescător şi nemărginit superior (tn )n≥2 , situat ı̂n [t0 , +∞), astfel ı̂ncât
x(tn ) ≥ ε1 pentru orice n ≥ 2. Deoarece lim inf x(t) ≤ 0, vezi (3.3), ı̂n [t0 , +∞)
t→+∞
va exista şi un şir crescător şi nemărginit superior (tn )n≥2 cu proprietatea că
x(tn ) ≤ ε41 pentru orice n ≥ 2. Trecând eventual la subşiruri, vom considera că
tn ∈ (tn , tn+1 ).
Soluţia x fiind continuă (deci cu proprietatea lui Darboux), există ı̂ncă două
şiruri, (un )n≥2 respectiv (vn )n≥2 , astfel ı̂ncât
ε1 ε1
x(un ) = , x(un + vn ) = , un ∈ (tn , tn+1 ), vn ≥ 0
3 2
Analiză riccatiană I 53
şi
ε1
x(t) ≥ pentru orice t ∈ [un , un + vn ].
3
Aceasta implicăf (x(t))≤ −f ε31ı̂n [un , un + vn ].
Fixăm ε ∈ 0, min ε61 , f ε31 . Va exista tε > t0 pentru care să aibă loc
(3.4). Integrând ecuaţia (3.1), obţinem
un +vn
ε1
= x(un + vn ) − x(un ) < f (x(t))dt + ε(1 + vn )
6 un
ε
1
≤ −f vn + ε(1 + vn ),
3
adică ε61 + f ε31 vn < ε(1 + vn ) – o contradicţie!
În mod analog, condiţia lim inf x(t) ∈ [−∞, 0) ne va conduce, ı̂mpreună cu
t→+∞
(3.3), la alte două şiruri (tn )n≥2 , (tn )n≥2 şi ı̂n cele din urmă la o nouă contradicţie.
Excluzând această ultimă situaţie, Afirmaţia este probată.
Un rezultat dual are loc.
Teorema de existenţă a lui G. Peano [37] ne asigură că problema (3.6) admite (cel
puţin) o soluţie xn definită ı̂ntr-o vecinătate a punctului t0 + n.
Afirmaţie Vom dovedi că soluţia xn este definită ı̂n [t0 , t0 + n].
Afirmaţie Vom dovedi ı̂n continuare că, fiind dat şirul crescător şi nemărginit
superior (tn )n≥1 astfel ı̂ncât tn ∈ (t0 , t0 + n), are loc relaţia
Prespunem că, prin absurd, există ε0 > 0 şi un şir (tn )n≥1 , cu tn ∈ (t0 , t0 + n),
astfel ı̂ncât sau (A) xn (tn ) ≥ ε0 pentru orice n ≥ 1 sau (B) xn (tn ) ≤ −ε0 pentru
orice n ≥ 1.
În situaţia (A) există şirul (vn )n≥1 cu proprietatea că (vn > 0)
ε0 ε0
xn (tn + vn ) = şi xn (t) > ı̂n [tn , tn + vn ).
2 2
Astfel, şirul (xn )n≥N ı̂ndeplineşte condiţiile teoremei Ascoli-Arzelà [31, p. 77], deci
va avea un subşir, notat tot cu (xn )n≥N , ce este uniform convergent ı̂n [t0 , t0 + N ].
Aplicând, de exemplu, [18, Theorem 2.4], rezultă că limita subşirului, notată x,
verifică ecuaţia (3.1) ı̂n [t0 , t0 + N ].
Consideraţiile anterioare, pe baza unui proces diagonal standard [18, p. 4],
ne permit să afirmăm că şirul (xn )n≥1 posedă un subşir, cu aceeaşi notaţie, care
converge local uniform ı̂n [t0 , +∞) la soluţia x.
Într-adevăr, ı̂n caz contrar ar exista ε1 > 0 şi un şir crescător şi nemărginit
superior (tn )n≥1 , situat ı̂n [t0 , +∞), astfel ca |x(tn )| ≥ ε1 pentru orice n ≥ 1.
Convergenţa local uniformă a şirului (xn )n≥1 la x ne conduce la existenţa unui şir
crescător şi nemărginit superior (tn )n≥1 din [t0 , +∞) cu proprietatea că |xn (tn )| ≥
ε1
2 . Însă o atare concluzie vine ı̂n contradicţie cu (3.7). Ultima Afirmaţie este
probată.
Ecuaţia diferenţială
x = x3 , t ≥ t0 = 1,
ı̂ndeplineşte condiţiile Teoremei 24. În acest caz, problema valorii finale (3.6) are
soluţia unică xn ≡ 0. În plus, ecuaţia admite soluţia x(t) = √ 1 pentru orice
2(2−t)
56 Analiză riccatiană I
Teorema 25 (Hartman, 1952, cf. [17, Lemma 1]) Fiind dată funcţia continuă
f : R → R cu f (0) = 0, să presupunem că există funcţia monoton nedescrescătoare
F : [0, +∞) → [0, +∞) cu proprietatea că
+∞
dx
|f (x)| ≥ F (|x|) > 0 pentru orice x = 0 şi < +∞.
F (x)
Atunci, restricţia (3.2) este o condiţie necesară şi suficientă pentru ca orice soluţie
x, definită ı̂n vecinătatea lui +∞, să satisfacă lim x(t) = 0.
t→+∞
Să presupunem, fără a restrânge generalitatea, că x(t) ≤ −ε0 < 0 pentru orice
t ≥ T . Atunci, |f (x(t))| ≥ F (ε0 ) ı̂n [T, +∞). Cum funcţia f ◦x are proprietatea lui
Darboux, estimarea precedentă ne arată că ea are semn constant nenul ı̂n [T, +∞).
Ţinând seama de acest lucru, prin integrarea ecuaţiei (3.1), se ajunge la
u+v u+v
|x(u + v) − x(u)| ≥
f (x(t))dt − g(t)dt
u
u+v uu+v
= |f (x(t))|dt − g(t)dt . (3.9)
u u
Analiză riccatiană I 57
Pentru ε ∈ (0, F (ε0 )) fixat există tε ≥ T astfel ı̂ncât să aibă loc inegalitatea
(3.4). Atunci, conform (3.9), putem scrie că
Făcând ca v să tindă la +∞, obţinem lim x(t) = −∞ (am ţinut seama de faptul
t→+∞
că x ia numai valori negative!).
Înlocuim ı̂n inegalitatea (3.9) mărimile u, u + v cu tε şi t. Astfel, ajungem la
t
F (ε0 ) − ε t ε
|x(t)| ≥ |f (x(s))|ds + |f (x(s))|ds
F (ε0 ) tε F (ε0 ) tε
− ε(1 + t − tε ) − |x(tε )|
F (ε0 ) − ε t
≥ F (|x(s)|)ds − ε − |x(tε )|
F (ε0 ) tε
Cum lim F (r) = +∞ şi lim |x(t)| = +∞, există Tε > tε pentru care
r→+∞ t→+∞
F (ε0 ) − ε Tε
F (|x(s)|)ds > ε + |x(tε )|.
2F (ε0 ) tε
(ε0 )−ε
unde λ = F2F (ε0 ) .
Notăm cu y(t) integrala din (3.10). Atunci, y(Tε ) > 0. Monotonia funcţiei F
implică
respectiv
+∞ λy(t)
dz dz
≥ ≥ λ(t − Tε ), t ≥ Tε . (3.11)
λy(Tε ) F (z) λy(Tε ) F (z)
Teorema 26 (Hartman, 1948, cf. [16, (II*)]) Să presupunem că f verifică ipotezele
Teoremei 24 iar g satisface condiţia (3.2). În plus, cerem ca
+∞
dz dz
+ < +∞
f (z) −∞ |f (z)|
şi
|f (x + y)|
0 < c1 ≤ ≤ c2 < +∞ (3.13)
|f (x)|
Demonstraţie. Fie x(t) o soluţie a ecuaţiei (3.1) definită ı̂n [T, +∞), unde
T ≥ t0 .
Să presupunem, fără a restrânge generalitatea, că x(t) ≥ ε0 > 0 pentru orice
t ≥ T . În particular, f (x(t)) ≥ f (ε0 ) ı̂n [T, +∞).
Conform Teoremei 24, există o soluţie x1 (t) a ecuaţiei (3.1) cu lim x1 (t ) = 0.
t →+∞
Cum f (0) = 0, putem presupune că
ε 1
0
|x1 (t)| < min 1, şi |f (x1 (t))| < min{c1 f (2), f (ε0 )}
2 2
pentru orice t ≥ T .
Astfel, avem
ε0 f (ε0 )
x(t) − x1 (t) ≥ şi x (t) − x1 (t) = f (x(t)) − f (x1 (t)) ≥ . (3.14)
2 2
Cea de-a doua inegalitate (3.14) ne arată că funcţia x−x1 este monoton crescătoare
ı̂n [T, +∞). În plus, prin integrare, aceeaşi inegalitate ne conduce la lim [x(t ) −
t →+∞
x1 (t )] = +∞, adică lim x(t ) = +∞.
t →+∞
Analiză riccatiană I 59
Fie acum T1 ≥ T pentru care x(t) ≥ 3 ı̂n [T1 , +∞). Cum x(t) − x1 (t) ≥ 2,
ı̂nlocuind pe x, y din (3.13) cu x(t) − x1 (t), respectiv x1 (t), obţinem
f (x(t)) − f (x1 (t)) f (x1 (t)) f (x1 (t)) c1
≥ c1 − ≥ c1 − ≥ , t ≥ T1 .
f (x(t) − x1 (t)) f (x(t) − x1 (t)) f (2) 2
Prima schimbare de variabilă ne conduce la (vezi identitatea din (3.14)!)
+∞ x(t)−x1 (t) t
dz dz f (x(t)) − f (x1 (t)) c1
≥ = dt ≥ (t − T1 ).
ε0 f (z) x(T1 )−x1 (T1 ) f (z) T1 f (x(t) − x 1 (t)) 2
2
1
fm (t) = fm (c1 , c2 ; K1 , K2 )(t) = [exp(gm (t)) − 1] (3.16)
(c2 − c1 )m
şi gm (t) = K1 (c2 − t)m (t − c1 ) − K2 (c2 − t)(t − c1 )m pentru orice t ∈ [c1 , c2 ].
60 Analiză riccatiană I
1 1+m
!
|fm (t)| ≤ exp γ(|K1 | + |K2 |) · (c2 − c1 ) − 1 ,
(c2 − c1 )m
1+m
m
unde γ = 1+m ;
(iii) dacă K1 · K2 < 0, atunci sgn fm (t) = sgn K1 pentru orice t ∈ (c1 , c2 );
(iv) dacă K1 > 0, K2 < 0, atunci fm (t) ≥ η · K pentru orice t ∈ [c , Q], unde
1 1
m−1
1 2
η = 2+m 1+m .
Cel de-al doilea rezultat ne ajută să modelăm soluţiile oscilatorii ale inecuaţiei
(3.15).
1
Lema 12 Fie s ∈ 1+ε , 1ε şi C > 0. Atunci, există numărul natural N =
N (ε, s, C) ≥ 1 cu proprietatea că
∞
1 1+ε C
s
> s, n ≥ N.
k n
k=n+2
şi
∞
+∞
1 1+ε ds 1
≥ = · (n + 2)1−s(1+ε) .
k s
n+2 x s(1+ε) s(1 + ε) − 1
k=n+2
Inegalitatea
1 (n + 2)s(1+ε)−1
>
[s(1 + ε) − 1]C ns
3
|α(t)| < , t ≥ T0 . (3.17)
(t − 1)s
Demonstraţie. Fie m ≥ 2 şi I ∈ (0, 1), cel de-al doilea număr având de
verificat o restricţie care va fi specificată ulterior.
Introducem, pentru a defini o funcţie fm ca ı̂n Lema 11, mărimile
m+2 1
an = n + 1, bn = an + , Qn = an + ,
m+2+I m+2+I
unde n ≥ t0 este un număr natural, respectiv
1 1
K1,n = , K2,n = − K1,n .
(n + 1)s 2
2 −c1
Observând că putem scrie Q = c1 + c2+m , vom ajunge la formula lui Qn dacă
luăm c1 = an şi c2 = bn .
Fie funcţia
fm (an , bn ; K1,n , K2,n )(t), t ∈ [an , bn ],
α(t) = n ≥ N.
fm (bn , an+1 ; K2,n , K1,n+1 )(t), t ∈ [bn , an+1 ],
Qn
an + Qn 1+ε
≥ A1 (K1,n η) · s − ds
an +Qn 2
2
1+ε 1 Qn − an 2+ε
= A1 (K1,n η) · .
2+ε 2
A doua estimare. Inegalitatea elementară |ex − 1| ≤ 2|x| are loc pentru |x| ≤
ln 2. Pentru a o utiliza, vom cere ca (reamintesc Lema 11 (ii))
γ(K1,n + |K2,n |) · (bn − an )1+m < K1,n + |K2,n | < ln 2,
γ(|K2,n | + K1,n+1 ) · (an+1 − bn )1+m < |K2,n | + K1,n+1 < ln 2.
Acest inegalităţi au loc când n ≥ N este suficient de mare. Acum, deoarece avem
3 3
K1,n + |K2,n | = K1,n , |K2,n | + K1,n+1 ≤ K1,n ,
2 2
vom conclude că
|α(t)| ≤ 3γK1,n · (bn − an ), t ∈ [an , bn ],
|α(t)| ≤ 3γK1,n · (an+1 − bn ), t ∈ [bn , an+1 ],
an+1
1+ε
1+ε 3I I
a(τ )|α(τ )| dτ ≤ A2 · K1,n ·
bn m+2 m+2
1+ε
= R · I 2+ε · K1,n ,
Acest lucru ar avea loc dacă, ţinând seama de semnul funcţiei α(t), am cere ca
Qn an+1
1 1+ε
· a(τ )[α(τ )] dτ > a(τ )|α(τ )|1+ε dτ, n ≥ N. (3.18)
2 an +Qn bn
2
pentru orice n ≥ N . Aceasta este o formă mai tare a inecuaţiei (3.15), fapt care
rezultă din
an+1 an+1
α(t) − a(τ )|α(τ )| α(τ )dτ ≤ |α(t)| +
ε
a(τ )|α(τ )|1+ε dτ
t t
+∞
< a(τ )|α(τ )|ε α(τ )dτ
an+1
Conform estimărilor de până acum, această ultimă inegalitate poate fi dedusă din
∞
1+ε P 1+ε
3K1,n + A2 (3K1,n ) < · K1,k .
2
k=n+2
Se ajunge la
1+ε ∞
1+ε
1 1 C 1
C1 · + C2 · < < . (3.19)
(n + 1)s (n + 1)s (n + 1)s (k + 1)s
k=n+2
64 Analiză riccatiană I
Aici, C1 = P6 , C2 = 2AP ·3
2 1+ε , C = C + C = C(A , A , ε, m).
1 2 1 2
Existenţa lui N astfel ı̂ncât să aibă loc (3.19) pentru orice n ≥ N este asigurată
de Lema 12.
Descreşterea lui α(t). Avem
3
|α(t)| ≤ 3K1,n ≤ pentru orice t ∈ [an , an+1 ].
(t − 1)s
Pentru a(t) ≡ A > 0 regăsim ecuaţia (3.1). Condiţia (3.2) rezultă din estimarea
următoare
1 u+v
G (t)dt ≤ |G(u + v) − G(u)| (3.20)
1+v u
J.S.W. Wong [50, p. 208] numeşte neliniaritatea f (t, x) tare inferior semi-continuă
la stânga ı̂n x0 dacă f este continuă ı̂ntr-o vecinătate a punctului (t, x0 ) şi, ı̂n plus,
pentru orice ε ∈ (0, 1) există δ > 0 şi xδ ∈ [x0 − δ, x0 ] astfel ı̂ncât (1 − ε)f (t, xδ ) ≤
f (t, x) pentru orice x ∈ [x0 − δ, x0 ]. Tare superior semi-continuitatea la dreapta
ı̂n x0 a funcţiei f se defineşte ı̂n mod analog. Mai precis, f (t, x) ≤ (1 + ε)f (t, xδ )
pentru orice x ∈ [x0 , x0 + δ], unde xδ ∈ [x0 , x0 + δ].
Teorema 28 (Wong, 1968, cf. [50, Theorem 1]) Să presupunem că f : [t0 , +∞) ×
R → R este continuă, are semnul dat de
(iii) funcţia f (t, x) este tare inferior semi-continuă la stânga ı̂n x pentru orice
x > 0, tare superior semi-continuă la dreapta ı̂n x pentru orice x < 0, verifică
condiţia
+∞
|f (t, x)|dt = +∞ pentru orice x = 0 (3.25)
† În [29, Definition 0.6, p. 5] este dată o variantă a clasei K sub titulatura de clasa
funcţiilor regular mărginite la +∞. Mai precis, există m ∈ (0, 1) şi c0 , M > 1 astfel ı̂ncât
m ≤ ϕ(cx)
ϕ(x) ≤ M pentru orice x ≥ x0 > 0 şi c ∈ [1, c0 ].
66 Analiză riccatiană I
şi posedă funcţia auxiliară continuă F : [0, +∞) → [0, +∞) dată de condiţiile
+∞
|f (t, x)| ≥ F (|x|) pentru orice t ≥ t0 , F (x)dx = +∞. (3.26)
0
Demonstraţie. Cazul (i). Presupunem că, prin absurd, ecuaţia (3.21) admite
soluţia pozitivă x definită ı̂n [T, +∞), unde T > t0 . Atunci, din relaţiile (3.21),
(3.22) rezultă că x (t) < 0 pentru orice t ≥ T . Astfel, funcţia x este monoton
descrescătoare, ia valori pozitive ı̂n [T, +∞) şi lim x (t ) = L ∈ [0, +∞) (vezi
t →+∞
Lemele 2, 5 din capitolul anterior). În particular, x(t) ≥ x(T ) > 0 pentru orice
t ≥ T.
Introducem mărimea
x (t)
v(t) = , (v(t) > 0)
x(t)
de unde
f (t, x(t))
v (t) + [v(t)]2 + =0 (3.27)
x(t)
pentru orice t ≥ T .
Înmulţind ecuaţia (3.27) ı̂n ambii membri cu tλ şi integrând rezultatul pe [T, t],
obţinem
t t
t v(t) − λ
λ λ−1
s v(s)ds + sλ [v(s)]2 ds
T T
t
f (s, x(s))
+ sλ ds = T λ v(T ) (3.28)
T x(s)
şi
t t
λ f (s, x(s))
s ds ≤ T v(T ) + λ
λ
sλ−1 v(s)ds. (3.29)
T x(s) T
Dacă L < +∞, atunci există T1 > T astfel ı̂ncât x(t) ∈ [L − δ, L] pentru orice
t ≥ T1 , unde δ este luat din definiţia tare inferior semi-continuităţii la stânga ı̂n
x0 = L a neliniarităţii f (t, x) pentru ε = 12 .
68 Analiză riccatiană I
ceea ce probează Afirmaţia. În particular, condiţia (3.33) este verificată de orice
funcţie continuă g(t) pentru care
t +1
lim |g(t)|dt = 0. (3.34)
t →+∞ t
Analiză riccatiană I 69
O serie de estimări ale derivatelor unei funcţii netede x (soluţie a unei ecuaţii
diferenţiale ordinare liniare perturbate, cu forţajul f ) pe baza cantităţilor integrale
" t+δ " t+δ
t |x(s)|ds şi t |f (s)|ds, unde δ > 0, pot fi citite ı̂n [20, pp. 399–400] ori [18,
pp. 373–374].
Teorema 29 (Massera, Schäffer, 1958, cf. [30, Lemma 3.1, p. 524]) Fixăm T ≥
t0 . Fiind dată funcţia continuă g : [t0 , +∞) → R, introducem mărimile (t ≥ T )
t +∞
−λt
I(λ, T, g)(t) = e e |g(s)|ds
λs
şi J(λ, T, g)(t) = eλt
e−λs |g(s)|ds,
T t
unde λ > 0.
Atunci, pentru orice t ≥ T au loc inegalităţile următoare
s+1
eλ
max{I(λ, T, g)(t), J(λ, T, g)(t)} ≤ λ sup |g(τ )|dτ, (3.35)
e − 1 s≥T s
respectiv
t+1
|g(s)|ds ≤ eλ max{I(λ, T, g)(t + 1), J(λ, T, g)(t)}. (3.36)
t
şi
+∞ +∞
t+j+1
−λs −λ(t+j)
e λt
e |g(s)|ds ≤ e λt
e |g(s)|ds
t j=0 t+j
t+1
eλ
≤ sup |g(s)|ds,
eλ − 1 t≥T t
70 Analiză riccatiană I
Afirmaţie Să presupunem că funcţia h : [0, +∞) → (0, +∞) este continuă,
monoton nedescrescătoare şi super-multiplicativă,
1 i.e. h(t + s) ≥ h(t)h(s) pentru
orice t, s ≥ t0 ≥ 0. În plus, seria h(n) este convergentă. Atunci,
n≥0
+∞ s+1
1 t 1
h(s)|g(s)|ds ≤ sup |g(τ )|dτ.
h(t) t0 h(n) s≥t0 s
n=0
"
T +t
Un exemplu este dat de funcţia h(t) = exp T H(s)ds , unde H(s) ≥ m > 0
şi T ≥ 0, funcţia H fiind continuă şi monoton nedescrescătoare, cf. [12, Remark
2].
Lema 13 Fie λ > 0, T ≥ t0 date. Cu notaţiile Teoremei 29, relaţia (3.34) are
loc dacă şi numai dacă lim I(λ, T, g)(t) = lim J(λ, T, g)(t) = 0.
t→+∞ t→+∞
Teorema 30 ([16, (III)], [41, Lemma 3] ‡) Fie v : [t0 , +∞) → R o funcţie con-
tinuă. Atunci, v ı̂ndeplineşte condiţia (3.34) dacă aparţine (cel puţin) uneia din
clasele următoare:
‡ În [16, (III)] se stabileşte că funcţiile descrise la (B) verifică condiţia (3.2).
Analiză riccatiană I 71
În plus, dacă v ∈ Lp ((t0 , +∞), R), avem I(λ, t0 , v), J(λ, t0 , v) ∈ Lp ((t0 , +∞), R)
pentru orice λ > 0.
F (t) G (t)
lim = µF < 0, lim = νG > 0.
t→+∞ F (t) t→+∞ G(t)
Afirmaţie ([1, Lemma 14]) Fie λ ∈ (0, 1) şi η ∈ [1, λ−1 ) date. Atunci, funcţiile
F , G verifică relaţiile
F (t) [G(λt)]η
lim = lim = 0. (3.39)
t→+∞ [F (λt)]η t→+∞ G(t)
[G(λt)]η
Într-adevăr, introducând mărimea H(t) = G(t) , obţinem
G (λt) G (t)
H (t) = H(t) λη − , t ≥ t0 .
G(λt) G(t)
Cum termenul din paranteza pătrată tinde la (λη − 1)νG < 0 când t → +∞,
deducem că H (t) devine eventual negativă, astfel că există lim H(t ) = lH ∈
t →+∞
[0, +∞).
Presupunând că lH > 0, regula lui L’Hôpital ne conduce la
G (λt) G(t)
lH = λη lim H(t) · = ληlH < lH ,
t→+∞ G(λt) G (t)
Lema 14 ([1, Proposition 15]) Fie v : [t0 , +∞) → R o funcţie continuă din
Lp ((t0 , +∞), R), unde p ≥ 1. Atunci,
§ Estimarea (3.20) arată că derivatele de ordinul ı̂ntâi ale unor funcţii de clasă C 1 aflate
ı̂n (A) sau, mai general, ale unor C 1 −funcţii V (t) cu limită finită când t → +∞ verifică
" t
(3.2), vezi [1, Proposition 15]. În schimb, dacă lim
inf e−λt t0 eλs |V (s)|ds > 0, funcţia
t →+∞
v(t), unde v = V , va satisface condiţia (3.2) dar nu şi condiţia (3.34). Vezi Teorema 32.
72 Analiză riccatiană I
1
"t
(i) lim t0 G(s)|v(s)|ds = 0;
t→+∞ G(t)
1
" +∞
(ii) lim F (s)|v(s)|ds = 0.
t→+∞ F (t) t
1 1
Demonstraţie. Fie p, q > 1 cu p + q = 1. Putem scrie că
t λt t
G(s) G(s) G(s)
|v(s)|ds = |v(s)|ds + |v(s)|ds
t0 G(t) t0 G(t) λt G(t)
λt 1/q
+∞ 1/p
t 1/q
G(s) q G(s) q
≤ vLp ds + |v(s)| ds
p
ds
t0 G(t) λt λt G(t)
respectiv
+∞ t p−1 t
p q p
[K1 (s)] ds [K2 (s)] ds + [K2 (s)] ds
t t0 t0
+∞ p−1
× [K1 (s)]q ds ≤ M < +∞ (3.41)
t
şi
/ (·) /
/ /
/ /
/K1 (·) K2 (s)f (s)ds/ ≤ C(p, M )f Lp , (3.43)
/ t0 /
Lp
respectiv, via (3.40), (3.41) şi inegalitatea lui Hölder (aici, q(p − 1) = p),
+∞ t1 p−1
≤ p
[K1 (t)] dt [K2 (t)] dt q
f pLp + pcf Lp
t1 t0
t2 t p 1/q
× K1 (t) K2 (s)|f (s)|ds dt .
t1 t0
Am ajuns la
t2 t p 1/q
u ≤
q
M f pLp + pcf Lp u, u= K1 (t) K2 (s)|f (s)|ds dt .
t1 t0
(pc)p p uq
Inegalitatea lui Young implică pcf Lp u ≤ p f Lp + q , astfel că
q (pc)p
u ≤
q
M f pLp + f pLp = [C(p, M )f Lp ]p .
q−1 p
Propoziţia 3 (i) Fiind date numerele m, λ > 0, există λ1,2 > 0 astfel ı̂ncât
1−emx
λ1 ≤ 1−e −mλx ≤ λ2 pentru orice x > 0.
3−ε/2
eωx −1
(ii) Pentru orice ω > 0 şi ε ∈ [0, 1) avem lim x2
= 0.
x0
(iii) Fiind date numerele α, β, unde 0 < α < β, are loc dubla inegalitate 0 ≤
eαx − 1 ≤ βx pentru orice x ∈ [0, α−1 ln(α−1 β)].
(a) w oscilează ı̂n [t0 , +∞). Mai precis, există şirul crescător şi nemărginit
superior (tn )n≥1 , cu lim (tn+1 − tn ) = 0, pentru care w(tn ) = 0.
n→+∞
(b) lim w(t) = 0, lim sup w (t) = +∞ şi lim inf w (t) = −∞.
t→+∞ t→+∞ t→+∞
"t
(c) lim sup e−mt t0 ems |w (s)|ds = +∞ pentru orice m > 0.
t→+∞
Demonstraţie. Fixăm numerele λ > 5 şi ε ∈ (0, 1). Considerăm şirul (un )n≥1
2
de numere pozitive, cu lim un = 0, pentru care un > λ(n+2) şi un+1 < un ≤
n →+∞
2−ε/2
2un+1 , n ≥ 1. De asemeni, presupunem că seria un diverge iar seria un
n≥1 n≥1
converge. Un exemplu de asemenea şir este dat de (1/n)n≥1 .
Introducem şirurile (Tn )n≥0 , (tn )n≥1 , (pn )n≥1 şi (Kn )n≥1 cu ajutorul relaţiilor
Tn+1 = Tn + λun+1 , T0 = t0 , n ≥ 0,
tn = Tn − un , pn = Tn + 2un , n ≥ 1,
−ε/2
respectiv Kn = un+1 pentru orice n ≥ 1. Se observă că lim Tn = +∞ şi
n →+∞
un+1 + 2un ≤ 5un+1 < λun+1 şi (λ − 5)un+1 ≤ tn+1 − pn < (λ − 3)un+1 ,
unde n ≥ 1.
Pentru t ∈ [tn , tn+1 ] şi n ≥ 1, definim mărimea w(t) prin (vezi (3.16))
f2 (tn , pn ; Kn , −Kn )(t), t ∈ [tn , pn ];
w(t) =
f2 (pn , tn+1 ; −Kn , Kn+1 )(t), t ∈ [pn , tn+1 ].
respectiv
1 8 3
1 − exp (Kn + Kn+1 )(tn+1 − pn ) ≤ w(t) ≤ 0
(tn+1 − pn )2 27
3−ε/2 5 3−ε/2
Kn (pn − tn )3 ≤ 216un+1 , (Kn + Kn+1 )(tn+1 − pn )3 ≤ (λ − 3)3 un+1 ,
2
de unde
3−ε/2
|w(t)| ≤ 9−1 + (λ − 5)−2 exp 130 + (λ − 3)3 un+1 − 1 u−2
n+1 .
3−ε/2 ln 2
0 < un+1 < c = , n ≥ N,
64 + (λ − 3)3
ceea ce conduce la
27 ln 2 27 ln 2
(pn − tn )3 ≤ şi (tn+1 − pn )3 ≤ , n ≥ N. (3.44)
8Kn 4(Kn + Kn+1 )
Apoi,
tn+1
|w(s)|ds = In + Jn ,
tn
unde
pn
1 16 3
In = |w(s)|ds ≤ exp Kn (pn − tn ) − 1
tn p n − tn 27
¶ De altminteri, pentru a avea concluzia (c) este necesar ca funcţia w (t) să fie
nemărginită.
76 Analiză riccatiană I
şi
tn+1
1 8 3
Jn = |w(s)|ds ≤ exp (Kn + Kn+1 )(tn+1 − pn ) − 1 .
pn tn+1 − pn 27
de unde
+∞
+∞
ln 2 2−ε/2
|w(s)|ds ≤ un+1 < +∞,
tN c
n=N
de unde
Kj !
w (t) = (pj + tj − 2t) 1 + (pj − tj )2 w(t)
p j − tj
Kj Kj
≥ (pj + tj − 2Tj ) = .
p j − tj 3
Analiză riccatiană I 77
Astfel, avem
2n
2n
−mT2n
Tj
Kn −mT2n Tj
d ms
V2n ≥ e ems
|w (s)|ds ≥ e (e ) ds
3m ds
j=n tj j=n tj
2n
Kn −mT2n mTj
= e e − emtj .
3m
j=n
În 1952, P. Hartman [17] stabileşte condiţii necesare pentru ca ecuaţia (3.47)
să nu admită soluţii oscilatorii. Prezentarea lor se bazează pe următoarele două
rezultate tehnice.
Teorema 33 ([17, (B)]) Presupunem că ecuaţia (3.47) este neoscilatorie. Atunci,
condiţia lui Hartman (3.2), unde g = q, este necesară şi suficientă pentru ca toate
soluţiile ecuaţiei (3.47) să aibă comportamentul asimptotic dat de
x (t)
lim = 0. (3.48)
t→+∞ x(t)
De asemeni, o soluţie a ecuaţiei (3.47) verifică (3.48) dacă şi numai dacă toate
soluţiile verifică această relaţie.
x (t)
y(t) = , t ≥ t0 . (3.49)
x(t)
Atunci, funcţia y(t) verifică ecuaţia (3.1) pentru f (y) ≡ −y 2 şi g = −q. Con-
cluzia rezultă din Teorema 25.
este necesară şi suficientă pentru ca toate soluţiile ecuaţiei (3.47) să aibă compor-
tamentul asimptotic dat de
+∞
x (t) 2
dt < +∞. (3.51)
t0 x(t)
De asemeni, o soluţie a ecuaţiei (3.47) verifică (3.51) dacă şi numai dacă
toate soluţiile verifică această relaţie. În plus, există un control al convergenţei din
(3.50) dat de
T s 2
1
lim Mq − q(τ )dτ ds = 0. (3.52)
T →+∞ T t0 t0
Analiză riccatiană I 79
Atunci, prin medierea relaţiei (3.54) pe baza estimărilor (3.55), (3.57), putem
scrie că
s
1 t
lim Q(s)ds = 0, Q(s) = C − q(τ )dτ, (3.58)
t→+∞ t t t0
0
unde
t s
S(s) = [y(τ )]2 dτ ds.
t0 t0
" +∞
Regula lui L’Hôpital arată că lim S(t)
= [y(τ )]2 dτ = +∞, deci, pentru
t→+∞ t t0
t1 > t0 suficient de mare, putem scrie că
1 t 1 t 1 S(t)
|y(s)|ds ≥ − y(s)ds ≥ · , t ≥ t1 .
t t0 t t0 2 t
Mai departe, aplicând inegalitatea Cauchy-Schwarz, avem
t t 2
1 1
S (t) = [y(s)]2 ds ≥ |y(s)|ds ≥ [S(t)]2 ,
t0 t t0 4t
ceea ce, prin integrare, ne conduce la
1 1 t
≥ ln ı̂n [t1 , +∞),
S(t1 ) 4 t1
o contradicţie.
Teorema 35 (Hartman, 1952, cf. [17, (II)]) Pentru ca ecuaţia (3.47) să fie
neoscilatorie este necesar fie ca
1 T s
lim inf q(τ )dτ ds = −∞, (3.60)
T →+∞ T t0 t0
fie ca
T s
1
lim q(τ )dτ ds ∈ R. (3.61)
T →+∞ T t0 t0
Atunci, pentru ca ecuaţia (3.47) să fie neoscilatorie este necesar fie ca
+∞
q(t)dt = −∞, (3.63)
t0
Demonstraţie. Dacă (3.63) nu are loc, atunci există D > 0 şi un şir de
numere (tn )n≥1 din [t0 , +∞), crescător şi divergent, astfel ı̂ncât tn+1 − tn > ε şi
tn
q(s)ds ≥ −D, n ≥ 1.
t0
pentru orice n ≥ 1.
Astfel, dacă y ∈ L2 ((t0 , +∞), R), Teorema 34 ne conduce la (3.61). În caz
contrar, deducem că
t 2
2 1 2
[y(t)] ≥ [y(s)] ds , t ∈ In , (3.64)
2 t0
1
n
ε
≥ (tp + ε − tp ) = (n − N + 1) , n ≥ N,
2 2
p=N
o contradicţie.
82 Analiză riccatiană I
Teorema 37 ([17, (I)]) Să presupunem că are loc (3.2) cu g = q. Atunci, pentru
ca ecuaţia (3.47) să fie neoscilatorie este necesar fie ca (3.63) să aibă loc, fie ca
+∞
q(t)dt ∈ R. (3.65)
t0
În concluzie, Teorema 35 stabileşte că ecuaţia diferenţială (3.47) al cărei coefi-
cient funcţional q(t) ı̂ndeplineşte aşa-numita condiţie ”−∞ < lim inf < lim sup ≤
+∞”, adică
1 T s 1 T s
−∞ < lim inf q(τ )dτ ds < lim sup q(τ )dτ ds ≤ +∞, (3.67)
T →+∞ T t0 t0 T →+∞ T t0 t0
Teorema 38 (C.R. Putnam, 1955, cf. [43, (**), p. 951]) Să presupunem că are
loc (3.66) pentru a = +∞. În plus, există C > 0 astfel ı̂ncât
t
q(s)ds > − exp(Ct), t ≥ t0 . (3.69)
t0
Afirmaţie (P. Bohl, 1906, cf. [46, p. 602], [11, p. 19]) Fie funcţia r : [t0 , +∞) →
(0, +∞) de clasă C 1 şi funcţia q : [t0 , +∞) → R continuă. Presupunem că y1 (t)
şi y2 (t) sunt soluţii liniar independente ale ecuaţiei diferenţiale ordinare liniare
astfel ı̂ncât
1
(r(t)Y ) + q(t)Y = , t ≥ t0 . (3.72)
r(t)Y 3
y1 (t) y2 (t)
[r(t)Y (t)] = [r(t)y1 (t)] + [r(t)y2 (t)]
Y (t) Y (t)
y1 (t) y2 (t) q(t)
+r(t) y1 (t) + y2 (t) =− {[y1 (t)]2 + [y2 (t)]2 }
Y (t) Y (t) Y (t)
r(t)
+ {{[y1 (t)]2 + [y2 (t)]2 }[Y (t)]2 − [y1 (t)y1 (t) + y2 (t)y2 (t)]2 }
[Y (t)]3
r(t)
= −q(t)Y (t) + [y (t)y2 (t) − y1 (t)y2 (t)]2 ,
[Y (t)]3 1
unde y1 (t), y2 (t) sunt două soluţii ale ecuaţiei (3.70) pentru r(t) ≡ 1 care satisfac
(3.71). În plus, cf. [48, Eq. (7)], [43, p. 951], există C1,2 > 0 cu proprietatea că
t
2
[Y (t)] ≤ C1 exp C2 t − 2 (t − s)q(s)ds , t ≥ t0 . (3.75)
t0
Prima parte a Afirmaţiei rezultă din reprezentarea Bohl (3.73). Vezi şi analiza
din [21, p. 483]. Pentru partea a doua, introducem derivatele logaritmice zi (t) =
yi (t)
yi (t) . Integrarea ecuaţiei lui Riccati ataşată ecuaţiei (3.47) ne conduce la
t t t
zi (t) = zi (t0 ) − [zi (s)]2 ds − q(s)ds ≤ |zi (t0 )| − q(s)ds, t ≥ t0 .
t0 t0 t0
Apoi,
t
d
[yi (t)]2 = 2[yi (t)]2 zi (t) ≤ [yi (t)]2 2(|zi (t0 )| − 2 q(s)ds
dt t0
t
2
≤ [yi (t)] 2(|z1 (t0 )| + |z2 (t0 )|) − 2 q(s)ds , i = 1, 2,
t0
Analiză riccatiană I 85
de unde, sumând după i şi apoi integrând, ajungem la (3.75) cu C1 = [Y (t0 )]2 şi
C2 = 2(|z1 (t0 )| + |z2 (t0 )|). Afirmaţia este probată.
Fie c > 0 şi T ≥ t0 . Introducem funcţia Q : [t0 , +∞) → R cu ajutorul formulei
1 t
Q(t) = (t − s)q(s)ds, t ≥ t0 ,
t t0
tn − tn = exp(−Ctn ),
unde C satisface ipoteza (3.69). Cum lim tn = +∞, avem şi lim tn = +∞,
n →+∞ n →+∞
respectiv lim (tn − tn ) = 0.
n →+∞
Fie t ∈ [tn , tn ]. Integrând inegalitatea (3.69), obţinem
t
tQ(t) − tn Q(tn ) > − exp(Cs)ds > −(tn − tn ) exp(Ctn ) = −1,
tn
de unde
tn 1
Q(t) > n Q(tn ) − 1 ≥ (n + 1) 1 − n −1
t t exp(Ctn )
n
> > C2 pentru orice n ≥ N suficient de mare. (3.77)
2
Cum (3.77) implică faptul că [tn , tn ] ⊂ E n2 , tn − 1 , ajungem la
n n n
exp (tn − 1) · meas E , tn − 1 ≥ exp (tn − 1) · (tn − tn )
2 2 2
n n
= exp (tn − 1) − Ct > exp
n
− C (tn − 1) − 2C , n ≥ N.
2 2
În sfârşit, luând c = n
2, respectiv T = tn − 1 ı̂n (3.76), stabilim că are loc
estimarea (3.74).
86 Analiză riccatiană I
Teorema 41 (L.H. Erbe, 1970, cf. [13, Theorem 4]) Fie neliniaritatea f (x) care
verifică, ı̂n locul condiţiei (3.79), restricţia
f (x)
f (x) ≥ >0 pentru orice x = 0. (3.82)
x
Mai departe, să presupunem că
Atunci, dacă ecuaţia (3.81) este oscilatorie pentru orice λ > 0, ecuaţia (3.78)
devine oscilatorie.
Într-adevăr, ı̂n caz contrar, apar două situaţii: (a) există t1 ≥ t0 astfel ı̂ncât
x (t) < 0 ı̂n [t1 , +∞); (b) funcţia x este oscilatorie.
În cazul (a), ţinând seama de (3.83), putem scrie că (T1 ≥ T ≥ t1 )
t
x (t) − x (T1 ) = − q(s)f (x(s))ds
T1
t t
s
= −f (x(t)) q(s)ds + f (x(s))x (s) q(τ )dτ ds ≤ 0,
T1 T1 T1
respectiv
x (t)
v(t) = − , t ≥ t0 .
f (x(t))
Atunci,
2
x (t)
v (t) = q(t) + ≥ q(t),
f (x(t))
Analiză riccatiană I 89
pentru orice numere naturale n ≥ 2 şi k ≥ 1. Cum lim tn+k = +∞, relaţia
k→+∞
(3.85) contrazice (luând T = tn ) ipoteza (3.84).
În mod similar, stabilim că orice (prezumtivă) soluţie eventual negativă are
derivata de ordinul ı̂ntâi eventual negativă.
f (x(t))
lim = 0. (3.86)
t→+∞ x(t)
Astfel, deoarece lim x(t) ∈ (0, +∞] (vezi monotonia funcţiei x(t)!), obţinem că
t→+∞
lim f (x(t)) ∈ [0, +∞]. Presupunând că această limită nu este 0, există λ > 0 şi
t→+∞ x(t)
T ≥ t0 pentru care
f (x(t))
x (t) > 0, ≥ λ, t ≥ T.
x(t)
Necesitatea. Presupunem că, prin absurd, lim inf Q(t) = −∞, ceea ce implică
t→+∞
existenţa unui şir de numere (tn )n≥1 din [T, +∞), crescător şi divergent, cu pro-
prietatea că Q(tn ) ≤ −n pentru orice n ≥ 1.
Notăm cu N0 ≥ 1 cel mai mic număr natural pentru care tn > T1 când n ≥ N0
(vezi ipoteza (i) a Teoremei 41).
Putem scrie că
tn
0< q(s)ds = Q(tn ) − Q(T1 ) ≤ −n − Q(T1 ) → −∞ când n → +∞,
T1
o contradicţie.
Analiză riccatiană I 91
Dacă lim inf Q(t) = +∞, obţinem prima parte a alternativei. De aceea, să
t→+∞
presupunem că, prin absurd, −∞ < α = lim inf Q(t) < β = lim sup Q(t) ≤ +∞.
t→+∞ t→+∞
Ne vom referi numai la cazul β < +∞. Există şirurile de numere (tn )n≥1 ,
(tn )n≥1 din [T, +∞), crescătoare şi divergente, astfel ı̂ncât lim Q(tn ) = α,
n→+∞
lim Q(tn ) = β şi
n→+∞
Q(tn ) ∈ [α − ε, α + ε],Q(tn ) ∈ [β − ε, β + ε]
pentru orice n ≥ N1 ≥ 1 suficient de mare, unde ε ∈ 0, β−α 4 este fixat.
Ţinând seama de ipoteza (ii) a Teoremei 41, putem scrie că
tn
β−α
0< q(s)ds = Q(tn ) − Q(tm ) ≤ α − β + 2ε < − <0
tm 2
când tm = T , tn > T2 şi m, n ≥ N1 , o contradicţie.
Aşadar, există lim Q(t) = L ∈ (−∞, +∞]. Mai mult, deducem că
t→+∞
t
2T2 t 2T2
q(s)ds = + q(s)ds > q(s)ds > 0
T T 2T2 T
pentru orice t ≥ T2∗ , unde T2∗ este acel ”T2 ” dat de ipoteza (ii) pentru T = 2T2 .
" 2T
În concluzie, L ≥ T 2 q(s)ds > 0.
" t " +∞
Suficienţa. Fie T ≥ t0 . Cum lim T q(s)ds = T q(s)ds > 0, există T2 ≥ T
t →+∞
"t "
1 +∞
astfel ı̂ncât T q(s)ds ≥ 2 T q(s)ds > 0 pentru orice t ≥ T2 . Am stabilit partea
(ii).
" t există T ≥ t0 cu proprietatea că pentru
La (i), să presupunem că, prin absurd,
orice T1 ≥ T există t > T1 astfel ı̂ncât T1 q(s)ds ≤ 0.
" t1
Atunci, fixând T1 = T , există t1 > T pentru care T q(s)ds ≤ 0.
"t " +∞
Mulţimea S = {t > T : T q(s)ds ≤ 0} este nevidă. Cum T q(s)ds > 0,
" T
există T = sup S < +∞. Evident, T q(s)ds ≤ 0. Acum, luând T1 = T , există
" t2 " t2 " T " t2
t2 > T cu T q(s)ds ≤ 0, de unde T q(s)ds = T + T q(s)ds ≤ 0, adică
t2 ∈ S. Am ajuns la o contradicţie.
Un exemplu interesant de funcţie f supusă restricţiei (3.82) este dat de f (x) =
x ln(1 + |x|) pentru orice x ∈ R. În particular,
+∞ −1
dx dx
=− = +∞.
1 f (x) −∞ (x)
f
Concluziile Lemei 15 sunt completate de contribuţia lui G.J. Butler [7] din
1975.
92 Analiză riccatiană I
Teorema 42 (cf. [7, 27]) Să presupunem că neliniaritatea f (x) a ecuaţiei (3.78)
verifică ipoteza (3.79) şi
+∞ −1
dx dx
< +∞, > −∞.
1 f (x) −∞ f (x)
" +∞
(i) Dacă t q(s)ds ≥ 0 pentru orice t ≥ t0 , atunci
+∞ +∞ +∞
2
Q(t) + [Q(u)] du dt = +∞, unde Q(t) = q(s)ds,
t0 t t
Calculul din [51, pp. 418–419] arată că numărul natural n poate fi ı̂nlocuit cu orice
număr real α > 1.
Pentru ecuaţia (3.70), condiţia lui Kamenev (3.87) devine
t
1
lim sup n
[R(t) − R(s)]n q(s)ds = +∞, n ≥ 2,
t→+∞ [R(t)] t0
" t ds
unde R(t) = t0 r(s) ı̂n [t0 , +∞), cf. [40, Theorem 1]. O condiţie similară funcţionează
pentru ecuaţiile diferenţiale retardate, vezi [40, Theorem 4].
Vom stabili oscilaţia ecuaţiei diferenţiale liniare (3.47) atunci când coeficientul
funcţional q(t) ı̂ndeplineşte o variantă ponderată a condiţiei (3.87).
Analiză riccatiană I 93
Teorema 43 (C.G. Philos, 1983, cf. [39, Theorem]) Fie α > 1 fixat. Presupunem
că există funcţia ρ : [t0 , +∞) → (0, +∞) de clasă C 1 astfel ı̂ncât
1 T
(T − t)α−2
lim sup α [αρ(t) − (T − t)ρ (t)]2 dt < +∞.
T →+∞ T t0 ρ(t)
Înmulţind relaţia (3.88) ı̂n ambii membri cu (T − t)α ρ(t) şi integrând prin părţi
rezultatul, obţinem
T T T
(T − t) ρ(t)q(t)dt = −
α
(T − t) ρ(t)w (t)dt −
α
(T − t)α ρ(t)[w(t)]2 dt
t0 t0 t0
T T
= (T − t0 )α ρ(t0 )w(t0 ) + (T − t)α w(t)ρ (t)dt − α (T − t)α−1 w(t)ρ(t)dt
t0 t0
T
− (T − t)α ρ(t)[w(t)]2 dt.
t0
T α−2 αρ(t) − (T − t)ρ (t) α
=− 2 (T − t) 2
· (T − t) 2 ρ(t)w(t) dt
t0 2 ρ(t)
T
− (T − t)α ρ(t)[w(t)]2 dt
t0
2
αρ(t) − (T − t)ρ (t) α
T α−2
=− (T − t) 2
+ (T − t) 2 ρ(t)w(t) dt
t0 2 ρ(t)
T
2
α−2 αρ(t) − (T − t)ρ (t)
+ (T − t) 2
dt, T ≥ t0 .
t0 2 ρ(t)
Am ajuns la
T
(T − t)α ρ(t)q(t)dt ≤ (T − t0 )α ρ(t0 )|w(t0 )|
t0
2
T α−2 αρ(t) − (T − t)ρ (t)
+ (T − t) 2
dt,
t0 2 ρ(t)
de unde
T
1
(T − t)α ρ(t)q(t)dt ≤ ρ(t0 )|w(t0 )|
T α t0
T
1 (T − t)α−2
+ [αρ(t) − (T − t)ρ (t)]2 dt,
4T α t0 ρ(t)
Cum lim F (t ) = +∞, coeficientul funcţional q(t) verifică următoarea condiţie
t →+∞
a lui W.J. Coles, cf. [9, Eq. (6)], şi anume
"T "s
t0 f (s) t0 q(τ )dτ ds
lim "T = +∞, (3.90)
T →+∞ f (s)ds
t0
Remarcăm faptul că exemplul anterior poate fi tratat şi cu ajutorul Teoremei
38. Pentru relaţia dintre criteriul lui Putnam şi diversele teoreme de tip Coles-
Willett, vezi [46, pp. 610–611].
96 Analiză riccatiană I
Teorema 44 ([9, Theorem 1]) Să presupunem că au loc relaţiile (3.90), (3.91).
Atunci, ecuaţia (3.47) este oscilatorie.
" +∞
Demonstraţie. Observăm că ipoteza (3.91) implică t0 f (s)ds = +∞. Deci
există a ≥ t0 pentru care
T
f (s)ds > 0, T ≥ a.
t0
Fixăm t1 ≥ a astfel ı̂ncât suma din (3.92) să fie negativă pentru orice T ≥ t1 .
Acest fapt implică
T s 2 T 2
2 2
[R(T )] = f (s) [y(τ )] dτ ds ≤ − y(s)f (s)ds
t0 t0 t0
T T
2
≤ [y(s)] ds · [f (s)]2 ds, T ∈ [t1 , +∞). (3.93)
t0 t0
unde T ≥ t2 , respectiv
" η " η
s s
t0 f (τ )dτ 2 t2 f (τ )dτ
T T
f (s) " s 2
ds ≤ f (s) " s 2
ds
nt2 t0 [f (τ )] dτ nt2 t0 [f (τ )] dτ
" η
T s
f (τ )dτ
t2
≤ 2η f (s) " s 2
ds
t2 t0 [f (τ )] dτ
"t " nt
pentru n ≥ 1 suficient de mare ca t02 f (τ )dτ < t2 2 f (τ )dτ . Concluzia se află ı̂n
conflict cu (3.91).
Teorema 45 ([9, Theorem 2]) Să presupunem că limita din (3.50) sau nu există
sau nu este finită. De asemeni, să considerăm că, ı̂n locul condiţiei lui W.J. Coles
(3.90), avem
"T "s
t0 f (s) t0 q(τ )dτ ds
lim inf "T > −∞,
T →+∞ f (s)ds
t0
de unde
T s
1 T
y(s)f (s)ds + f (s) [y(τ )]2 dτ ds
t0 2 t0 t0
"T "s
2 T
1 t0 f (s) t0 [y(τ )] dτ ds
≤ K− · "T · f (s)ds → −∞
2
t0 f (s)ds t0
când T → +∞.
Generalizări ale Teoremelor 44, 45 se găsesc ı̂n [10, 28].
În 1977, P. Hartman [22] extinde aceste rezultate introducând nuclee generale
ı̂n media coeficientului funcţional q(t), cf. [51, p. 421]. Mai precis, considerăm că
funcţia continuă K : D = {(t, s) : t ∈ [t0 , +∞), s ∈ [t0 , t]} → [0, +∞) ı̂ndeplineşte
(selectiv) următoarele condiţii:
(a) pentru orice funcţie continuă f : [t0 , +∞) → R cu lim f (t ) = 0,
t →+∞
t
lim K(t, s)f (s)ds = 0; (3.95)
t→+∞ t
0
(b) pentru orice funcţie continuă f : [t0 , +∞) → R cu lim f (t ) = +∞,
t →+∞
t
lim K(t, s)f (s)ds = +∞; (3.96)
t→+∞ t
0
2
(c) pentru orice funcţie continuă f : [t0 , +∞) → R cu f ∈ L σ ((t0 , +∞), R),
t
lim K(t, s)f (s)ds = 0, (3.97)
t→+∞ t
0
În particular,
t s
lim inf K(t, s) q(τ )dτ ds > −∞. (3.101)
t→+∞ t0 t0
(ii) Dacă nucleul K(t, s) ı̂ndeplineşte condiţiile (a), (b), (d) şi are loc (3.101),
atunci toate soluţiile ecuaţiei (3.47) satisfac (3.51).
Demonstraţie. Partea (i). Observăm că, fiind date numerele reale v, w, are
loc inegalitatea
unde t ≥ t0 .
100 Analiză riccatiană I
"t
Afirmaţie Mărimea t0 K(t, s)ds este mărginită ı̂n [t0 , +∞).
Într-adevăr, să presupunem că, prin absurd, există şirul de numere (tn )n≥1 ı̂n
[t0 , +∞), crescător şi divergent, cu proprietatea că
tn
K(tn , s)ds = n
t0
pentru orice n ≥ N suficient de mare. Funţia f : [t0 , +∞) → (0, +∞) cu formulele
f (t) ≡ N1 ı̂n [t0 , tN ] şi
1 1 tn − t
f (t) = + · , t ∈ [tn , tn+1 ], n ≥ N,
n n(n + 1) tn+1 − tn
tn tn
1
K(tn , s)f (s)ds ≥ K(tn , s)ds = 1
t0 n t0
unde
t s
S(t) = K(t, s) [y(τ )]2 dτ ds → +∞ când t → +∞. (3.104)
t0 t0
"t
Am ţinut cont de ipoteza (b), luând f (t) = t0 [y(s)]2 ds ı̂n [t0 , +∞).
Aşadar,
t t
K(t, s)|y(s)|ds ≥ − K(t, s)y(s)ds = (o cantitate ≥ c > −∞) + S(t)
t0 t0
1
≥ S(t) > 0 (3.105)
2
pentru orice t ≥ t1 suficient de mare.
Analiză riccatiană I 101
Două relaţii auxiliare sunt necesare ı̂n acest moment. Prima rezultă din ine-
galitatea Cauchy-Schwarz, şi anume
t 2 t t
[K(t, s)]2−α
K(t, s)|y(s)|ds ≤ ds · [K(t, s)]α K0 (t, s)[y(s)]2 ds
t0 t0 K0 (t, s) t0
t t
2 [K(t, u)]2−α
= [y(s)] du [K(t, s)]α K0 (t, s)ds (3.106)
t0 t0 K0 (t, u)
ı̂n [t0 , +∞). Cea de-a doua, obţinută printr-o integrare prin părţi, este
t t
S(t) = [y(s)]2 K(t, u)duds, t ≥ t0 .
t0 s
respectiv la
+∞
4
≥ k(t) m(s)ds
S(t) t
fie ca
t s
lim K(t, s) Mq − q(τ )dτ ds = 0
t→+∞ t t0
0
pentru un anumit Mq ∈ R.
102 Analiză riccatiană I
În plus, are loc (3.80) şi există numărul c(f ) > 1 astfel ı̂ncât
+∞
dy
f (x) ≥ c(f ) când x > 0 (3.108)
x f (y)
şi
x
dy
f (x) ≤ −c(f ) când x < 0. (3.109)
−∞ f (y)
Fie h : D = {(t, s) : t ∈ [t0 , +∞), s ∈ [t0 , t]} → [0, +∞) o funcţie continuă, de
clasă C 2 ı̂n raport cu cea de-a doua variabilă, astfel ı̂ncât
∂2h
(a) h(t, t) = 0, ∂h
∂s (t, s) ≤ 0 şi ∂s2
(t, s) ≥ 0 pentru orice t ≥ s ≥ t0 ;
h(t,t0 )
(b) există η > 0 şi C ≥ 1 pentru care h(t,(1+η)t0 ) ≤ C ı̂n [t0 , +∞);
(c) 1
· ∂h = o(1) când t → +∞;
h(t ,t0 ) ∂s (t , s) s=t0
(t)
Demonstraţie. Introducem mărimea u(t) = − f x(x(t)) , unde x(t) este prezum-
tiva soluţie pozitivă a ecuaţiei (3.78). Atunci,
pentru orice t ≥ t0 .
Mai departe, pentru t ≥ (1 + η)t0 , deducem că
h(t, t0 ) h(t, t0 )
"t ≤ " (1+η)t
t0 h(t, s)f (x(s))[u(s)]2 ds t0
0
h(t, s)f (x(s))[u(s)]2 ds
h(t, t0 )
≤ " (1+η)t0
h(t, (1 + η)t0 ) t0 f (x(s))[u(s)]2 ds
C
≤ " (1+η)t0 ≤ C1 < +∞.
f (x(s))[u(s)]2 ds
t0
Folosind notaţia
"t ∂h
t0 ∂s (t, s)u(s)ds
K(t) = − " t , t ≥ (1 + η)t0 ,
t0 h(t, s)f (x(s))[u(s)]2 ds
104 Analiză riccatiană I
ajungem la
c1 +∞
dy 1 ∂h
[K(t)]2
≤ − (t, s)
c(f ) x(t0 ) f (y) h(t, t0 ) ∂s s=t0
2
h(t, t0 )
× "t + K(t)
2
t0 h(t, s)f (x(s))[u(s)] ds
c1
= K(t) + o(1),
c(f )
respectiv la
c1
|K(t)| ≤ + o(1) când t → +∞.
c(f )
Astfel, fiind dat ε ∈ 0, 1 − c(f
c1
) , există tε ≥ (1 + η)t0 pentru care
c1
|K(t)| ∈ 0, +ε , t ≥ tε .
c(f )
Revenind la (3.111), deducem că
h(t, t0 )|u(t0 )| ≥ −h(t, t0 )u(t0 )
t t
c1
≥ 1− −ε h(t, s)f (x(s))[u(s)]2 ds + h(t, s)q(s)ds,
c(f ) t0 t0
respectiv
t
1
|u(t0 )| ≥ h(t, s)q(s)ds, t ≥ t1 ,
h(t, t0 ) t0
şi
0−
dy
> −∞ când x < 0.
x f (y)
Atunci, dacă coeficientul funcţional q : [t0 , +∞) → R verifică ipoteza (3.110)
iar funcţia h : D → [0, +∞) este supusă constrângerilor (a) şi (e), unde
Analiză riccatiană I 105
(e) 1
· ∂h = O(1) când t → +∞,
h(t ,t0 ) ∂s (t , s) s=t0
respectiv la
1 t
1 ∂h x(t0 )
dy
h(t, s)v (s)ds ≥ −|v(t0 )| + (t, s)
h(t, t0 ) t0 h(t, t0 ) ∂s s=t0 0+ f (y)
= O(1) când t → +∞.
o contradicţie.
106 Analiză riccatiană I
este o soluţie a ecuaţiei (3.47) care satisface (3.114). Aşadar, dezvoltările (3.114),
(3.115) au loc simultan, cf. [16, (V)]. În plus,
1
lim x(t)y(t) = . (3.116)
t→+∞ 2
Analiză riccatiană I 107
Afirmaţie Dacă există soluţiile x1,2 (t) ale ecuaţiei (3.47) astfel ı̂ncât x1 (t) să
satisfacă relaţia (3.114) iar x2 (t) să satisfacă relaţia (3.115), atunci toate soluţiile
x(t) ale ecuaţiei (3.47) satisfac alternativa (3.113).
Într-adevăr, soluţiile x1,2 (t) fiind liniar independente (vezi (3.116)), soluţia x(t)
este o combinaţie liniară a lor, deci putem scrie că
x (t) c x (t) x1 (t)
1 + 2 2
x1 (t) c1 x1 (t) x1 (t)
+o(1)
x (t) c1 x1 (t) + c2 x2 (t) c2 x2 (t) = 1+o(1) , c1 = 0,
= = 1+ c x (t)
x(t) c1 x1 (t) + c2 x2 (t) x2 (t) ,
1 1
x2 (t) c1 = 0,
1 3
≤ z(t) ≤ , t ≥ t0 .
2 2
Funcţia f1 : R → R având formula
1 − z 2 , z ≥ 0,
f1 (z) = (3.117)
1 − z, z < 0,
pentru orice t ≥ W ≥ L0 .
Într-adevăr, să presupunem că are loc (3.122). Atunci, pentru c, ε > 0 fixate
există T = T (c, ε) ≥ t0 astfel ı̂ncât
t
ε
e−ct ecs g(s)ds < , t ≥ T.
t0 2
Apoi, luând t ≥ W ≥ T , avem
t W t
−ct
e e g(s)ds ≤ e
cs −ct
e g(s)ds + e e g(s)ds
cs −ct cs
W t t
0 W 0 t
−cW
≤ e e g(s)ds + e e g(s)ds < ε.
cs −ct cs
t0 t0
Reciproc, dacă are loc (3.125), atunci, fixând c, ε > 0, putem scrie că
t
−ct
ε
e e g(s)ds <
cs
(3.126)
W 2
pentru orice t ≥ W ≥ L0 = L0 c, 2ε .
În plus, există T = T (c, ε) ≥ L0 pentru care
L0
−ct
ε
e e g(s)ds < ,
cs
t ≥ T. (3.127)
t0 2
Făcând W = L0 ı̂n (3.126) şi ţinând cont de (3.127), deducem că
t L0 t
e e g(s)ds ≤ e
−ct cs −ct
e g(s)ds + e
cs −ct
e g(s)ds < ε
cs
t0 t0 L0
unde t ∈ [L1 , L∗ ].
Dacă facem t = L∗ ı̂n (3.131) vom intra ı̂n conflict cu (3.129). Aşadar, ecuaţia
diferenţială din problema (3.128) admite o soluţie w(t) definită ı̂n [L1 , +∞), cu
w(L1 ) = 0, astfel ı̂ncât |w(t)| < ε ı̂n ı̂ntreg domeniul de definiţie.
Pentru a stabili descreşterea la 0 a acestei soluţii odată cu creşterea argumen-
tului său ne bazăm pe un procedeu iterativ. Astfel, fie
ε2
L2 = L1 + L0 2, .
4
Definim mărimile
1
4
L3 = 2 ln
+
L2 4
ε
L4 = L3 + L0 2, ε4 .
n
În mod inductiv, concludem că |w(t)| < ε2 ı̂n [L2n+1 , +∞). Afirmaţia este
probată.
Funcţia
t
x(t) = exp t + w(s)ds , t ≥ L1 ,
L1
Teorema 52 ([16, (VII)]) Ecuaţia (3.132) admite soluţiile x1,2 (t) cu dezvoltările
asimptotice
1 t
x1 (t) ∼ exp t + f (s)ds , x1 (t) ∼ x1 (t) (3.133)
2 t0
şi
t
1
x2 (t) ∼ exp −t − f (s)ds , x2 (t) ∼ −x2 (t) (3.134)
2 t0
când t → +∞.
Afirmaţie Să presupunem că funcţia f ı̂ndeplineşte condiţia (3.2). Atunci, toate
soluţiile x(t) ale ecuaţiei (3.132) au proprietatea că
1 t
lim x(t) exp −t − f (s)ds = lx ∈ R. (3.135)
t→+∞ 2 t0
Într-adevăr, dacă x(t) este o soluţie a ecuaţiei (3.132), atunci, conform Teore-
mei 50, are loc alternativa (3.113). În particular, există T ≥ t0 astfel ı̂ncât funcţia
x(t) să nu se anuleze ı̂n [T, +∞).
Introducând funcţia w : [T, +∞) → R continuă cu ajutorul formulei
t
x(t) = x(T ) exp [1 + w(s)]ds , t ≥ T, (3.136)
T
respectiv
w + 2w + w2 = f (t) (3.138)
de unde
t t p−1
p
|g(w(s))| ds ≤ c1 ·
p
|g(w(s))| dsp
+ c2 , c1,2 ∈ (0, +∞).
T1 T1
respectiv
+∞ +∞
[w(t)]2 dt ≤ {2w(t) + [w(t)]2 }2 dt,
T1 T1
[1] R.P. Agarwal, O.G. Mustafa, Yu.V. Rogovchenko, Existence and asymptotic
behavior of solutions of a boundary value problem on an infinite interval,
Math. Comput. Modelling 41 (2005), 135–157
[2] R.P. Agarwal, S.R. Grace, D. O’Regan, Linearization of second order sublin-
ear oscillation theorems, Commun. Appl. Anal. 8 (2004), 219–235
[5] R.P. Boas Jr., Asymptotic relations for derivatives, Duke Math. J. 3 (1937),
637–646
[7] G.J. Butler, On the oscillatory behavior of a second order nonlinear differen-
tial equation, Ann. Mat. Pura Appl. 105 (1975), 73–92
[8] L.C. Evans, R.F. Gariepy, Measure theory and fine properties of functions,
CRC Press, Boca Raton, 1992
[9] W.J. Coles, An oscillation criterion for second–order linear differential equa-
tions, Proc. Amer. Math. Soc. 19 (1968), 755–759
[10] W.J. Coles, D. Willett, Summability criteria for oscillation of second order
linear differential equations, Ann. Mat. Pura Appl. 79 (1968), 391–398
[11] W.A. Coppel, Disconjugacy, Lect. Notes Math. 220, Springer-Verlag, Berlin,
1971
115
116 Analiză riccatiană I
[13] L.H. Erbe, Oscillation theorems for second order nonlinear differential equa-
tions, Proc. Amer. Math. Soc. 24 (1970), 811–814
[15] J.L. Geluk, L. Haan, Regular variation, extensions and tauberian teorems,
CWI Tract 40, Amsterdam, 1987
[18] P. Hartman, Ordinary differential equations, Wiley & Sons, New York, 1964
[23] I.V. Kamenev, An integral criterion for oscillation of linear differential equa-
tions of second order, Mat. Zametki 23 (1978), 249–251
[25] J.L. Kelley, General topology, D. Van Nostrand Comp., New York, 1970
[28] J.W. Macki, J.S.W. Wong, Oscillation theorems for linear second order ordi-
nary differential equations, Proc. Amer. Math. Soc. 20 (1969), 67–72
[29] V. Marić, Regular variation and differential equations, Lect. Notes Math.
1726, Springer-Verlag, Berlin, 2000
[30] J.L. Massera, J.J. Schäffer, Linear differential equations and functional anal-
ysis I, Ann. Math. 67 (1958), 517–573
[31] O.G. Mustafa, Integrarea asimptotică a ecuaţiilor diferenţiale ordinare ı̂n
cazul neautonom, Ed. Sitech, Craiova, 2006
[32] O.G. Mustafa, On oscillatory solutions of certain first order ordinary differ-
ential equations, Appl. Math. Comput. 190 (2007), 1290–1295
[33] O.G. Mustafa, Elemente de mecanica punctului material şi a solidului rigid,
Ed. Didact. Pedagogică, Bucureşti, 2006. Varianta on-line se găseşte la adresa:
http://inf.ucv.ro/~octavian/mechanics.pdf
[34] M. Naito, Integral averaging techniques for the oscillation and nonoscillation
of solutions of second order ordinary differential equations, Hiroshima Math.
J. 24 (1994), 657–670
[35] C. Olech, Z. Opial, T. Ważewski, Sur le problème d’oscillation des intégrales
de l’équation y + q(t)y = 0, Bull. Acad. Polon. Sci. 5 (1957), 621–626
[36] H. Onose, Oscillation criteria for second order nonlinear differential equations,
Proc. Amer. Math. Soc. 51 (1975), 67–73
[37] G. Peano, Démonstration de l’intégrabilité des équations différentielles ordi-
naires, Math. Ann. 37 (1890), 182–228
[38] C.G. Philos, I.K. Purnaras, On the oscillation of second order nonlinear dif-
ferential equations, Arch. Math. (Basel) 59 (1992), 260–271
[39] C.G. Philos, Oscillation of second order linear ordinary differential equations
with alternating coefficients, Bull. Austral. Math. Soc. 27 (1983), 307–313
[40] C.G. Philos, On a Kamenev’s integral criterion for oscillation of linear differ-
ential equations of second order, Utilitas Math. 24 (1983), 277–289
[41] M. Pituk, The Hartman-Wintner theorem for functional differential equations,
J. Differential Equations 155 (1999), 1–16
[43] C.R. Putnam, Note on some oscillation criteria, Proc. Amer. Math. Soc. 6
(1955), 950–952
[44] V.A. Staikos, Remarks on a paper of Ph. Hartman concerning the asymptotic
behavior of the solutions of almost-separable differential equations, Bull. Soc.
Math. Grèce 7 (1966), 135–143
[50] J.S.W. Wong, On second order nonlinear oscillation, Funkc. Ekvac. 11 (1968),
207–234
[52] J.S.W. Wong, An oscillation criterion for second order nonlinear differential
equations with iterated integral averages, Diff. Integral Equations 6 (1993),
83–91
[53] M. Yelchin, Sur les conditions pour qu’une solution d’un système linéaire du
second ordre possède deux zéros, Dokl. Akad. Nauk SSSR 51 (1946), 573–576
[54] M. Zlámal, Oscillation criteria, Časopis Pěst. Mat. Fyz. 75 (1950), 213–217
Capitolul 4
Rezumat În acest capitol sunt prezentate câteva rezultate privind oscilaţia
ecuaţiilor diferenţiale ordinare neliniare. Demonstraţiile se bazează pe medierea
unor inegalităţi de tip Riccati.
ı̂mpreună cu restricţiile
0−
dy dy
< +∞, > −∞ (4.2)
0+ f (y) f (y)
şi
x 0−
dy dy
min inf f (x) , − sup f (x) > 0. (4.3)
x>0 0+ f (y) x<0 x f (y)
În terminologia din [18, p. 419], o ecuaţie (4.1) cu neliniaritatea f (x) descrisă
de (4.2), (4.3) este strict subliniară.
119
120 Oscilaţii neliniare
Teorema 53 (C.G. Philos, I.K. Purnaras, 1992, cf. [12, Theorem 1]) Să pre-
supunem că coeficientul funcţional continuu q : [t0 , +∞) → R verifică condiţia
Butler-Erbe-Mingarelli [4]
T t 2
1
lim sup q(s)ds dt = +∞ (4.4)
T →+∞ T t0 t0
ı̂mpreună cu
T
1
lim sup m (T − t)m q(t)dt > −∞ (4.5)
T →+∞ T t0
Într-adevăr, fie ε > 0 fixat. Condiţia (4.3) implică existenţa numărului d(f ) >
0 pentru care f (x(t))w(t) ≥ d(f ) ı̂n [t0 , +∞). De asemeni, considerăm t1 ≥ t0
suficient de mare ca
+∞
ε
f (x(t))[w (t)]2 dt < · d(f ).
t1 4
Aplicând inegalitatea Cauchy-Schwarz, putem scrie că
t 2 t t
2 ds
|w(t) − w(t1 )| ≤ |w (s)|ds ≤ f (x(s))[w (s)]2 ds · ,
t1 t1 t1 f (x(s))
respectiv
1 t
εd(f ) ds
w(t) ≤ w(t1 ) + , t ≥ t0 . (4.7)
4 t1 f (x(s))
Oscilaţii neliniare 121
Dacă integrala din (4.7) este mărginită, probarea Afirmaţiei se ı̂ncheie. În caz
contrar, există t2 ≥ t1 cu proprietatea că
1 t
ds
w(t) ≤ εd(f )
pentru orice t ≥ t2 ,
t1 f (x(s))
Cantitatea
" +∞ din (4.10) fiind mărginită, ne găsim ı̂n conflict cu (4.4).
Cazul t0 f (x(t))[w (t)]2 dt = +∞. Plecând de la (4.6), prin integrare, de-
ducem că
T T
(T − t) q(t)dt = −
m
(T − t)m f (x(t))[w (t)]2 dt + (T − t0 )m w (t0 )
t0 t0
T
−m (T − t)m−1 w (t)dt, T ≥ t0 . (4.11)
t0
Teorema 54 ([8, Theorems 1, 2]) Să presupunem că are loc una dintre ipotezele
de mai jos:
(i) există β ∈ [0, γ] astfel ı̂ncât
T t
1
lim sup sβ q(s)dsdt = +∞; (4.17)
T →+∞ T t0 t0
(ii) există β ∈ [0, γ) şi funcţia continuă f : [t0 , +∞) → R pentru care
+∞
1 T s β [f+ (t)]2
lim sup τ q(τ )dτ ds ≥ f (t), dt = +∞, (4.18)
T →+∞ T t t t0 t
Variante ale rezultatelor lui Kura pentru clasa de ecuaţii (4.1) se găsesc ı̂n
[14, 15]. Vezi Teorema 56.
Următorul rezultat, bazat pe o ipoteză de tip (4.18), generalizează contribuţii
ale lui H. Onose [11] din 1983 şi C.G. Philos [13] din 1990 privind ecuaţia (4.1).
d(f )
Teorema 55 ([1, Theorem 2]) Fixăm β ∈ (0, If ], unde If = 1+d(f ) . Fie funcţia
ϕ : [t0 , +∞) → (0, +∞), de clasă C 2 , astfel ı̂ncât
şi
ϕ (t) ϕ (t)
lim t = w1 > 0 şi lim t = w2 ,
t→+∞ ϕ(t) t→+∞ ϕ (t)
unde
w1 − w2 = 1. (4.19)
124 Oscilaţii neliniare
Presupunem că
T s
1
lim [ϕ(τ )]β q(τ )dτ ds există ı̂n R (4.20)
T →+∞ T t0 t0
şi definim
T s
1
Qβ (t) = lim [ϕ(τ )]β q(τ )dτ ds, t ≥ t0 .
T →+∞ T t t
pentru orice funcţie continuă r : [t0 , +∞) → R cu proprietatea că lim r(t) = 0.
t→+∞
Atunci, ecuaţia (4.1) este oscilatorie.
Afirmaţie Dacă există limitele desemnate prin numerele w1,2 , atunci are loc
(4.19).
Introducem variabilele
1
w(t) = [ϕ(t)]β F (x(t)) şi W (t) = 1 + , t ≥ t0 ,
F (x(t))f (x(t))
unde
x 0−
dy dy
F (x) = când x > 0 şi F (x) = − când x < 0.
0+ f (y) x f (y)
şi
2
s
1 ϕ (τ )
H2 (s) = w (τ ) − βW (τ ) w(τ ) F (x(τ ))f (x(τ ))dτ
t w(τ ) ϕ(τ )
pentru orice s ≥ t ≥ t0 .
126 Oscilaţii neliniare
Cum integranţii funcţiilor H1,2 (s) sunt funcţii cu valori nenegative, există
lim H1,2 (s) = l1,2 ∈ [0, +∞]. De aici, via regula lui L’Hôpital, deducem că
s→+∞
T
1
lim Hi (s)ds = li , i = 1, 2.
T →+∞ T t
Dacă măcar una dintre aceste limite ar fi +∞, atunci, conform (4.23), am
obţine că
T s
w(t) 1
+∞ >
+ |w (t)| + lim [ϕ(τ )] q(τ )dτ ds ≥ l1 + l2 = +∞,
β
t T →+∞ T t0 t0
o contradicţie.
Această observaţie implică (A) convergenţa integralelor
∞ 2 2
l1 ϕ (t) ϕ (t)
= [1 − βW (t)] − w(t)dt (4.24)
β t0 ϕ(t) ϕ(t)
şi
∞ 2
1 ϕ (t)
l2 = w (t) − βW (t) w(t) F (x(t))f (x(t))dt, (4.25)
t0 w(t) ϕ(t)
w(T )
respectiv (B) existenţa cantităţii lim T finite (ceea ce ı̂nseamnă, practic, că
T →+∞
w(t)
t ≤ k pentru orice t ≥ t0 şi un anumit k > 0) şi (C) existenţa următoarei
reprezentări integrale
w(T )
w (t) = lim + Qβ (t) + g(t), (4.26)
T →+∞ T
unde
2
∞
ϕ (s) 2 ϕ (s)
g(t) = β [1 − βW (s)] − w(s)ds
t ϕ(s) ϕ(s)
∞ 2
1 ϕ (s)
+ w (s) − βW (s) w(s) F (x(s))f (x(s))ds
t w(s) ϕ(s)
pentru orice t ≥ t0 .
Mai departe, introducem funcţia
w(T ) ϕ (t) ϕ (t)
r(t) = lim + g(t) − w(t) − , t ≥ t0 .
T →+∞ T ϕ(t) ϕ (t)
Este evident că lim r(t) = 0.
t→+∞
Oscilaţii neliniare 127
Afirmaţie Integrala
∞
ϕ (s)ϕ(s) 2 ϕ (s) 2
1 − βW (s) − w(s)ds
t0 [ϕ (s)]2 ϕ(s)
este convergentă.
pentru orice t ≥ T0 .
Aplicând inegalitatea Cauchy-Schwarz, avem
t 2 2
ϕ (s) ϕ (s)
|Qβ (s) + r(s)| [1 − βW (s)] − w(s)ds
T0 ϕ(s) ϕ(s)
t
ϕ (s)
= |Qβ (s) + r(s)| w(s)
T ϕ(s)
0
ϕ (s)ϕ(s) ϕ (s)
× 1 − βW (s) − w(s)ds
[ϕ (s)]2 ϕ(s)
2 21/2
t
2 ϕ (s)
≤ [Qβ (s) + r(s)] w(s)ds I(T0 )
T0 ϕ(s)
t 1/2
3
[Qβ (s) + r(s)]2 w(s)
≤ w1 I(T0 ) · · ds
2 T0 s s
t 1/2
3
[Qβ (s) + r(s)]2
≤ w1 k · I(T0 ) ds
2 T0 s
t
3
[Qβ (s) + r(s)]2
≤ w1 k · I(T0 ) · 1 + ds .
4 T0 s
Mărimea I(T0 ) fiind finită, este clar că ı̂l putem mări pe T0 suficient de mult
pentru ca Q > 0. Apoi, făcând t → +∞ ı̂n (4.27), contrazicem (4.25).
Teorema 56 ([14, Theorem 1]) Să presupunem că are loc (4.17) pentru un anumit
β ∈ (0, If ]. Atunci, ecuaţia (4.1), unde neliniaritatea f (x) verifică (4.2), (4.3),
este oscilatorie.
respectiv
T s
1
lim sup τ β q(τ )dτ ds ≤ w (t0 ) < +∞,
T →+∞ T t0 t0
o contradicţie.
Facem observaţia că, prin medierea relaţiei (4.26), obţinem
w(t) − w(t0 ) w(T ) t − t0 1 t
1 t
= lim · + Qβ (s)ds + g(s)ds.
t T →+∞ T t t t0 t t0
Dat fiind că lim g(t) = 0, via regula lui L’Hôpital, ajungem la
t→+∞
t
w(t) w(T ) 1
lim = lim + lim Qβ (s)ds,
t→+∞ t T →+∞ T t→+∞ t t0
de unde
t
1
lim Qβ (s)ds = 0. (4.28)
t→+∞ t t0
Lema 16 ([10, Lemma 2.1]) Fie a : [t0 , +∞) → R o funcţie continuă astfel ı̂ncât
"T "s
lim T1 t0 t0 a(τ )dτ ds ∈ R şi
T →+∞
T s
1
A(t) = lim a(τ )dτ ds pentru orice t ≥ t0 .
T →+∞ T t t
130 Oscilaţii neliniare
Atunci, funcţia A : [t0 , +∞) → R este de clasă C 1 , A (t) = −a(t) ı̂n [t0 , +∞) şi,
ı̂n plus,
t
1
lim A(s)ds = 0. (4.29)
t→+∞ t t0
1
"T "s
atunci lim a(τ )dτ ds ∈ R şi
T →+∞ T t0 t0
T s
1
B(t) = lim a(τ )dτ ds pentru orice t ≥ t0 . (4.30)
T →+∞ T t t
respectiv
T T s
1 1
0 = lim B(s)ds = B(t) − lim a(τ )dτ ds,
T →+∞ T t T →+∞ T t t
adică (4.30).
Să considerăm o ecuaţie diferenţială mai generală decât (4.1), şi anume
1 α(x) 1
0 < α(x) ≤ < +∞, ≥ >0 pentru orice x = 0.
C β(x) C1
Aici, funcţia auxiliară continuă β : R → [0, +∞), de clasă C 1 ı̂n R − {0}, are
proprietatea că
β (x)F (x)
≤ 1 − ε, x = 0,
β(x)α(x)
"x
pentru un anumit ε ∈ (0, 1], unde F (x) = 0 α(u)du.
Introducem cantităţile
şi
1 β(x)
β(x) C − C1 C1
E= sup ≤ < +∞.
x∈R−{0} 1− β (x)F (x) 4εC 2
β(x)α(x)
x2 c1 |x − a| + c2 x2
α(x) = 2
· , β(x) = , x ∈ R,
x +1 |x − a| + 1 x2 + 1
unde a = 0 şi c1,2 > 0 cu 2c32 < c1 ≤ c2 . Avem C = c12 , C1 = c11 şi ε = 1 − 2c 2
3c1 .
În plus, introducem funcţia continuă H : D = {(t, s) : t ∈ [t0 , +∞), s ∈
[t0 , t]} → [0, +∞), de clasă C 2 ı̂n raport cu a doua variabilă, caracterizată de
132 Oscilaţii neliniare
(a) H(t, t) = 0 pentru orice t ≥ t0 şi H(t, s) > 0 pentru orice t > s ≥ t0 ;
(b) pentru orice t > t0 , ∂H
∂s (t, s) ≤ 0;
(c) există funcţia continuă h : D → [0, +∞) astfel ı̂ncât
∂H
− (t, s) = h(t, s) H(t, s), (t, s) ∈ D.
∂s
Teorema 57 ([9, Theorem 6]) Să presupunem că funcţia continuă f : R → R
satisface condiţiile
β(x)f (x)
xf (x) > 0, ≥ K > 0, x = 0.
F (x)
Să presupunem, de asemeni, că există λ ∈ (0, 1) şi funcţia ρ : [t0 , +∞) → (0, +∞),
de clasă C 1 , pentru care
t
1 C1 ρ(s)r(s) 2
lim sup H(t, s)Θ(s) − [Q(t, s)] ds = +∞, (4.33)
t→+∞ H(t, t0 ) t0 4λε
unde
Θ(s) = ρ(s) Kq(s) − E + Vβ2 [p(s)]2
C1 (1−λ)ε 4r(s) ,
Q(t, s) = h(t, s) + Dp(s) − ρ (s)
C1 r(s) ρ(s) H(t, s).
respectiv
ρ (t)
v (t) ≤ −Kq(t)ρ(t) + v(t)
ρ(t)
1
α(x) 1 p(t) α(x)β(x)ρ(t)
− · β(x)
β(x) r(t) 2 α(x)β(x) − β (x)F (x)
1 22
1 β (x)F (x)
+ 1− · v(t)
ρ(t) α(x)β(x)
[α(x)β(x)]2 [p(t)]2
+ · ρ(t).
α(x)β(x) − β (x)F (x) 4r(t)
Astfel, avem
ρ (t)
v (t) ≤ −Kq(t)ρ(t) + v(t)
ρ(t)
1
1 p(t) α(x)β(x)ρ(t)
− β(x)
C1 r(t) 2 α(x)β(x) − β (x)F (x)
1 22
1 β (x)F (x)
+ 1− · v(t)
ρ(t) α(x)β(x)
α(x)[β(x)]2 [p(t)]2
+ · ρ(t)
C[α(x)β(x) − β (x)F (x)] 4r(t)
şi
ρ (t)
v (t) ≤ −Kq(t)ρ(t) + v(t)
ρ(t)
[p(t)]2 α(x)[β(x)]2 1 β(x)
+ ρ(t) −
4r(t) α(x)β(x) − β (x)F (x) C C1
D D − β(x)
− p(t)v(t) + p(t)v(t)
C1 r(t) C1 r(t)
1 β (x)F (x)
− 1− [v(t)]2 ,
C1 r(t)ρ(t) α(x)β(x)
de unde
[p(t)]2 Dp(t) ρ (t) ε[v(t)]2
v (t) ≤ −ρ(t) Kq(t) − E − − v(t) −
4r(t) C1 r(t) ρ(t) C1 r(t)ρ(t)
D − β(x)
+ p(t)v(t),
C1 r(t)
134 Oscilaţii neliniare
respectiv
respectiv
t 2 2
Vβ2 ρ(s)[p(s)]2 C1 r(s)ρ(s) 2
H(t, s) Θ1 (s) − − [Q(t, s)] ds
t0 4C1 (1 − λ)εr(s) 4λε
≤ H(t, t0 )|v(t0 )|, t > t0 ,
[2] B. Ayanlar, A. Tiryaki, Oscillation theorems for nonlinear second order dif-
ferential equations with damping, Acta Math. Hungar. 89 (2000), 1–13
[4] G.J. Butler, L.H. Erbe, A.B. Mingarelli, Riccati techniques and variational
principles in oscillation theory for linear systems, Trans. Amer. Math. Soc.
303 (1987), 263–282
[5] D. Çakmak, Integral averaging technique for the interval oscillation criteria
of certain second-order nonlinear differential equations, J. Math. Anal. Appl.
300 (2004), 408–425
[6] I.V. Kamenev, Some specifically nonlinear oscillation theorems, Mat. Zametki
10 (1971), 129–134 (ı̂n rusă)
[8] T. Kura, Oscillation theorems for a second order sublinear ordinary differen-
tial equation, Proc. Amer. Math. Soc. 84 (1982), 535–538
136
Oscilaţii neliniare 137
[10] M. Naito, Integral averages and the asymptotic behavior of solutions of second
order ordinary differential equations, J. Math. Anal. Appl. 164 (1992), 370–
380
[12] C.G. Philos, I.K. Purnaras, On the oscillation of second order nonlinear dif-
ferential equations, Arch. Math. (Basel) 59 (1992), 260–271
[15] C.G. Philos, Integral averaging techniques for the oscillation of second order
sublinear ordinary differential equations, J. Austral. Math. Soc. 40 (1986),
111–130
[17] A. Tiryaki, A. Zafer, Oscillation criteria for second order nonlinear differential
equations with damping, Turk. J. Math. 24 (2000), 185–196
Rezumat În acest capitol sunt prezentate rezultate clasice de analiză a ecuaţii-
lor diferenţiale ordinare neliniare de ordinul al II–lea cu neliniarităţi de tip putere
datorate lui F.V. Atkinson (1955) şi P. Waltman (1964, 1965). De asemeni, se
discută teoria de integrare asimptotică a ecuaţiilor diferenţiale de ordin arbitrar
elaborată de J.K. Hale şi N. Onuchic ı̂n 1963.
unde coeficientul funcţional q : [t0 , +∞) → (0, +∞) este presupus continuu, iar
xλ = |x|ε x pentru λ = 1 + ε. Ecuaţia (5.1) şi variantele sale cu argumente
funcţionale modificate sunt adesea numite ecuaţii Emden-Fowler, ecuaţii Lane-
Emden sau ecuaţii Thomas-Fermi, după o serie de cazuri particulare fundamentale
ale lor, cf. [21]. Detalii privind analiza unor asemenea ecuaţii diferenţiale pot fi
citite ı̂n monografiile [4, 31, 1].
Pentru a studia intervalul de existenţă a soluţiilor ecuaţiei (5.1) avem nevoie
de lema următoare.
138
Ecuaţii Emden-Fowler 139
T−
f (t)x (t)dt ∈ R.
t0
dt 1
lim = lim = 0.
xx dx tT dxdt
respectiv
+∞
lim x (t ) − x (t) + q(s)[x(s)]λ ds = 0
t →+∞ t
şi
+∞
x (t) ≥ q(s)[x(s)]λ ds (5.3)
t
pentru orice t ≥ t0 .
O integrare termen cu termen a inegalităţii (5.3) ne conduce la
+∞ +∞
x(t) − x(t0 ) ≥ t q(s)[x(s)] ds − t0λ
q(s)[x(s)]λ ds
t t0
t +∞
+ sq(s)[x(s)]λ ds = (t − t0 ) q(s)[x(s)]λ ds
t0 t
t
+ (s − t0 )q(s)[x(s)]λ ds,
t0
de unde
x(t)
"t ≥ 1, t ≥ t1 = t0 + 1,
t0 (s − t0 )q(s)[x(s)]λ ds
şi
2λ
x(t) (t − t0 )q(t)[x(t)]λ
(t − t0 )q(t) "t = " λ
t0 (s − t0 )q(s)[x(s)]λ ds t
t0 (s − t0 )q(s)[x(s)] ds
λ
≥ (t − t0 )q(t).
142 Ecuaţii Emden-Fowler
pentru orice t ≥ t0 .
Se stabileşte uşor, printr-un procedeu inductiv care ţine seama de semnul co-
eficientului funcţional q(t), că xn (t) ∈ [0, 1] ı̂n [t0 , +∞) pentru orice n ≥ 1.
Apoi, aplicând teorema valorii intermediare, putem scrie că
[xn+1 (t)]λ − [xn (t)]λ ≤ λ[ξ(t)]λ−1 |xn+1 (t) − xn (t)|, (5.6)
an+1
Deoarece şirul (an )n≥1 , unde an = xn+1 − xn ∞ , ı̂ndeplineşte condiţia an ≤
η < 1, criteriul raportului ne asigură că seria an este convergentă.
n≥1
Mai departe, cum |xn+1 (t) − xn (t)| ≤ an pentru orice t ≥ t0 , M –testul lui
Weierstrass
implică absolut şi uniform convergenţa seriei telescopice de funcţii
(xn+1 − xn ) ı̂n [t0 , +∞).
n≥1
În final, deducem că şirul de funcţii (xn )n≥1 converge uniform ı̂n [t0 , +∞) la
soluţia x(t) a problemei la limită (5.5). Afirmaţia este probată.
Observăm că ecuaţia lui Euler (2.3) ı̂ndeplineşte condiţia (5.2) indiferent de val-
oarea numărului γ. Este esenţial, aşadar, faptul că, via Teorema 58, cazul neliniar
al ecuaţiilor diferenţiale ordinare de ordinul al II–lea cu coeficient funcţional pozitiv
posedă o condiţie necesară şi suficientă de oscilaţie, fenomen care nu are corespon-
dent ı̂n cazul liniar, cf. [2, p. 643]. Vezi şi comentariul din [9, p. 128].
Un alt rezultat datorat lui F.V. Atkinson are drept variantă subliniară Teorema
18.
Demonstraţie. Am văzut deja că soluţiile ecuaţiei (5.1) sunt definite ı̂n
[t0 , +∞). Putem scrie că
d 1
[V (t, x(t), x (t))] = q (t)[x(t)]2n ≤ 0, t ≥ t0 ,
dt 2n
2
1
unde V (t, x, y) = 2n q(t)x2n + y2 , x, y ∈ R, pentru orice soluţie a ecuaţiei (5.1).
Această estimare ne conduce la*
3
1
|x (t)| ≤ x ∞ ≤ [x (t0 )]2 + q(t0 )[x(t0 )]2n , t ≥ t0 .
n
Presupunem că, prin absurd, ecuaţia (5.1) admite soluţia oscilatorie x(t) având
zerourile (tm )m≥1 . Ţinând cont de faptul că, odată cu x, ecuaţia (5.1) admite şi
* Există o vastă literatură privind analiza soluţiilor ecuaţiilor diferenţiale ordinare şi
funcţionale prin ataşarea uneia sau mai multor cantităţi funcţionale V , vezi e.g. mono-
grafiile [32, 43, 6] ori lucrările [24, 11].
144 Ecuaţii Emden-Fowler
soluţia −x, vom considera că x (t1 ) > 0. Atunci, evident, x (t2 ) < 0, x (t3 ) > 0,
etc.
Notăm cu (tm )m≥1 , unde tm ∈ (tm , tm+1 ), punctul ı̂n care soluţia x(t) ı̂şi atinge
extremul ı̂n [tm , tm+1 ]. Astfel, x (tm ) = 0 pentru orice m ≥ 1.
Putem scrie că
t2m−1
x (t2m−1 ) − x (t2m−1 ) + q(t)[x(t)]2n−1 dt = 0,
t2m−1
de unde
t2m−1
x (t2m−1 ) = q(t)[x(t)]2n−1 dt, m ≥ 1. (5.8)
t2m−1
Mai departe, cum x (t) < 0 ı̂n (t2m−1 , t2m ), adică x descreşte, deducem că
x (s)
< x (t2m−1 ) ı̂n (t2m−1 , t2m−1 ). Teorema valorii intermediare ne conduce la
respectiv
t2m +∞
1 ≤ [x (t2m−1 )]2n−2 t2n−1 q(t)dt ≤ x 2n−2
∞ t2n−1 q(t)dt = o(1)
t2m−1 t2m−1
Teorema 60 (R.A. Moore, Z. Nehari, 1959, cf. [33, Theorem III]) Ecuaţia (5.1),
unde coeficientul funcţional q(t) este continuu şi pozitiv, admite soluţii x(t) cu
proprietatea că
x(t)
lim = α ∈ (0, +∞) (5.10)
t→+∞ t
O investigaţie privind soluţiile ecuaţiei (5.1) care satisfac (5.10) este realizată
ı̂n următoarele trei secţiuni. În particular, vezi Teorema 72.
Ecuaţii Emden-Fowler 145
Teorema 61 (Waltman, cf. [49, Theorem 1]) Dacă funcţia q : [t0 , +∞) → R este
continuă şi verifică restricţia
+∞
t2n−1 |q(t)|dt < +∞,
t0
pentru orice t ≥ t0 .
deci cea de-a treia limită (5.13), ı̂n ipoteza că ar exista, verifică estimarea
respectiv
+∞
|q(s)|[(θ0 + c)2s]2n−1 ds ≤ c (5.17)
t
pentru orice t ≥ t0 .
Făcând t = t0 ı̂n (5.17), obţinem
+∞
c
s2n−1 |q(s)|ds ≤ . (5.18)
t0 [2(θ0 + c)]2n−1
Este evident că (5.18) implică (5.17). Mai departe, observăm că
t +∞
2n−1
s|q(s)|[(θ0 + c)s] ds + t |q(s)|[(θ0 + c)2s]2n−1 ds
t0 t
t +∞
2n−1 2n−1 2n−1
≤ t s |q(s)|ds + 2 t s |q(s)|ds (θ0 + c)2n−1
t0 t0
+∞
≤ 2t[2(θ0 + c)]2n−1 s2n−1 |q(s)|ds ≤ 2ct, t ≥ t0 ,
t0
Teorema 62 (Waltman, cf. [49, Theorems 3,4]) Fiind date funcţiile continue
f, g : [t0 , +∞) → R, presupunem că z1,2 sunt soluţii liniar independente ale
ecuaţiei (2.53) iar funcţia g(t) verifică restricţia
+∞
y(t)|g(t)|dt < +∞ (5.19)
pentru y(t ) = max [z1 (t )]2n , [z2 (t )]2n , t ≥ t0 .
De asemeni, considerăm perturbarea neliniară a ecuaţiei (2.53) dată de ecuaţia
u + f (t)u + g(t)u2n−1 = 0, t ≥ t0 . (5.20)
(i) Atunci, există o soluţie u(t) a ecuaţiei (5.20) care admite reprezentarea
u(t) = α(t)z1 (t) + β(t)z2 (t), t ≥ t0 ,
unde α(t), β(t) sunt funcţii continue pentru care lim α(t ) = c1 şi lim β(t ) =
t →+∞ t →+∞
c2 , cu c1,2 ∈ R şi c21 + c22 > 0.
(ii) În cazul particular dat de f (t) ≡ 0, ecuaţia (5.20) admite o soluţie x(t) cu
alura asimptotică
x(t) = at + b + o(1) când t → +∞, unde a, b ∈ R.
Teorema 63 ([53, Theorem 2]) Să presupunem că funcţia continuă f : [t0 , +∞)×
R → R verifică următoarele ipoteze:
(A) este monoton nedescrescătoare ı̂n raport cu cea de-a doua variabilă, ı̂ndepli-
neşte condiţia de semn (3.22) şi orice problemă a valorii iniţiale cu data nulă
ataşată ecuaţiei (3.21) admite soluţie unică (funcţia identic nulă) †;
(B) este de clasă C 1 ı̂n raport cu prima variabilă şi, ı̂n plus, x · ∂f
∂t (t, x) ≤ 0
pentru orice t ≥ t0 şi x ∈ R; " +∞
(C) pentru orice β > 0 avem t0 f (t, βt)dt < +∞;
(D) există β0 > 0 şi funcţia continuă χ : [t0 , +∞) → [0, +∞), integrabilă pe
[t0 , +∞), astfel ı̂ncât
† De exemplu, vezi [9, p. 128], [10, Appendix], f (t, x) = F (t, x2 )x, unde funcţia
continuă F : [t0 , +∞)×[0, +∞) → [0, +∞) este monoton necrescătoare ı̂n a doua variabilă.
Atunci, dacă x(t), cu t ∈ [t0 , T ], este o soluţie a problemei valorii iniţiale formată de
"t
ecuaţia (3.21) ı̂mpreună cu datele x(t0 ) = x (t0 ) = 0, deducem că |x(t)| ≤ t0 a(s)|x(s)|ds,
unde a(s) = (T − s)F (s, 0), ı̂n [t0 , T ]. Inegalitatea lui Gronwall implică |x(t)| ≡ 0, adică
problema valorii iniţiale admite soluţie unică. Această proprietate rămâne valabilă şi dacă
funcţia F este monoton nedescrescătoare ı̂n cea de-a doua variabilă, vezi [10, p. 423].
150 Ecuaţii Emden-Fowler
respectiv
t2m−1
x (t2m−1 ) ≤ f (s, x (t2m−1 )s)ds (5.21)
t2m−1
t2m−1 +∞
≤ f (s, βs)ds ≤ f (s, βs)ds,
t2m−1 t2m−1
o contradicţie.
Adaptând tehnica din [34, p. 409], se poate stabili o variantă a Teoremei 59.
Teorema 64 (C.V. Coffman, J.S.W. Wong, 1972, cf. [9, Theorem 3]) Să pre-
supunem că funcţia continuă F : [t0 , +∞) × [0, +∞) → (0, +∞) este monoton
necrescătoare ı̂n fiecare din cele două variabile. Atunci, dacă
+∞
tF (t, β)dt < +∞ pentru orice β > 0,
respectiv
Observăm că funcţiile x : [t2m−1 , t2m ] → [0, x(t2m−1 )] şi x : [t2m , t2m ] →
[x(t2m ), 0] sunt descrescătoare şi bijective. Aceasta ı̂nseamnă că aplicaţiile t →
[x(t)] definite pe [t2m−1 , t2m ] şi [t2m , t2m ] sunt bijective.
2
Notăm cu η1 : [0, (x(t2m−1 ))2 ] → [t2m−1 , t2m ] şi η2 : [0, (x(t2m ))2 ] → [t2m , t2m ]
inversele acestora. Funcţia η1 este continuă ı̂n [0, (x(t2m−1 ))2 ] şi de clasă C 1 ı̂n
[0, (x(t2m−1 ))2 ) (derivata laterală devine −∞). Funcţia η2 are proprietăţi similare.
Înmulţind ecuaţia (5.22) ı̂n ambii membri cu x (t) şi integrând rezultatul,
obţinem
t2m
2
[x (t2m )] = −2 x(s)x (s)F (s, [x(s)]2 )ds
t2m−1
t2m [x(t2m−1 )]2
2 2
= −2 x(s)x (s)F (η1 ([x(s)] ), [x(s)] )ds = F (η1 (y), y)dy,
t2m−1 0
respectiv
t2m [x(t2m )]2
2 2
[x (t2m )] = 2 x(s)x (s)F (s, [x(s)] )ds = F (η2 (y), y)dy.
t2m 0
Într-adevăr, dacă am avea |x(t2m )| < |x(t2m−1 )|, atunci η1 (y) ≤ t2m ≤ η2 (y)
pentru orice y ∈ [0, (x(t2m ))2 ], de unde, dat fiind că funcţia F este monoton
necrescătoare ı̂n prima variabilă, va rezulta că
[x(t2m−1 )]2 [x(t2m )]2
[x (t2m )]2 = F (η1 (y), y)dy > F (η1 (y), y)dy
0 0
[x(t2m )]2
≥ F (η2 (y), y)dy = [x (t2m )]2 ,
0
Afirmaţie ([9, Theorem 1]) Pentru orice C > 0 ecuaţia (5.22) admite o soluţie
z(t) crescătoare cu lim z(t) = C.
t→+∞
152 Ecuaţii Emden-Fowler
şi introducem şirul de funcţii (xn )n≥1 cu x1 (t) ≡ C şi relaţia de recurenţă
+∞
xn+1 (t) = C − (s − t)F (s, [xn (s)]2 )xn (s)ds, t ≥ T.
t
În mod inductiv se stabileşte că c ≤ xn (t) ≤ C ı̂n [T, +∞) pentru orice n ≥ 1.
Mai departe, cum
+∞
0 < α(t) ≤ xn+1 (t) = F (s, [xn (s)]2 )xn (s)ds ≤ β(t) ≤ C − c,
t
unde
+∞ +∞
2
α(t) = c F (s, C )ds, β(t) = C F (s, c2 )ds, t ≥ T,
t t
deducem că şirul (xn )n≥1 ı̂ndeplineşte ipotezele criteriului Avramescu de compacti-
tate relativă ı̂n X2 (T ; 1), cf. [35, pp. 78–79] §.
Aşadar, există funcţia z : [T, +∞) → [c, C] de clasă C 1 , cu α(t) ≤ z (t) ≤ β(t),
astfel ı̂ncât z ∈ closX2 (T ;1) ((xn )n≥1 ) şi
+∞
z(t) = C − (s − t)F (s, [z(s)]2 )z(s)ds, t ≥ T,
t
fapt care probează Afirmaţia.
Revenind la soluţia oscilatorie x(t) a ecuaţiei (5.22), există C > 0 cu propri-
etatea că
2C < lim |x(tm )| ≤ +∞.
m→+∞
sm = inf{t ∈ (t2m−1 , t2m−1 ) : x(τ ) > z(τ ) pentru orice τ ∈ [t, t2m−1 ]}
şi
Sm = sup{t ∈ (t2m−1 , t2m ) : x(τ ) > z(τ ) pentru orice τ ∈ [t2m−1 , t]}.
Într-adevăr, presupunând că am avea x (sm ) < z (sm ), va exista o mică vecină-
tate situată la dreapta lui sm pe care z(t) > x(t), fapt ce contrazice definiţia lui
sm . Afirmaţia este probată.
Introducând wronskianul
observăm că
d
[w(x, z)(t)] = x(t)z(t){F (t, [x(t)]2 ) − F (t, [z(t)]2 )} ≤ 0, t ∈ [sm , Sm ],
dt
de unde, prin integrare, ajungem la
o contradicţie.
O serie de generalizări ale rezultatelor precedente pot fi citite ı̂n lucrarea din
1969 a lui Š. Belohorec [5].
unde
k−p
(t − t0 )k−p−j t
(t − s)k−p−1
Qp (t, x) = aj + x(s)ds, x ∈ C([t0 , +∞), R),
(k − p − j)! t0 (k − p − 1)!
j=1
x(r+1) = P (t, Q0 (t, x), Q1 (t, x), . . . , Qk−1 (t, x), x, x , . . . , x(r) ). (5.25)
y1 = x, y2 = x , . . . , yr+1 = x(r) ,
y = Ay + P [t, x, y], t ≥ t0 ,
unde
0 0 ···
1 0
0
0 1 ···
0 0 ..
.. ..
.. . . ..
A= . .. . . şi P [t, x, y] = . .
0
0 0 0 ··· 1
P
0 0 0 ··· 0
Schimbarea de variabilă sugerată ı̂n [35, Eq. (3.22)], şi anume y = eAt z, unde
z = col (z1 , . . . , zr+1 ), ne conduce la
tl−i
r+1
yi (t) = (l−i)! zl (t),
l=i (5.26)
r+1
tl−i
zi (t) = (−1)l−i (l−i)! yl (t),
l=i
În acest moment, condiţia eAt z = P [t, x, y], cf. [35, Eq. (3.23)], s-a transfor-
mat ı̂n sistemul integro-diferenţial
dzi tr+1−i
= (−1)r+1−i R(t, z), 1 ≤ i ≤ r + 1. (5.27)
dt (r + 1 − i)!
pentru orice t ≥ t0 .
Teorema 65 (Hale, Onuchic, 1963, cf. [23, Theorem 1]) Să presupunem că au
loc restricţiile (5.28), (5.29). Atunci, sistemul (5.27) admite cel puţin o soluţie ı̂n
ZM .
156 Ecuaţii Emden-Fowler
Mulţimea ZM este mărginită, ı̂nchisă şi convexă. Adaptând tehnica din [35,
Capitolul 3], deducem că operatorul T este uniform continuu iar mulţimea T (ZM )
este relativ compactă.
Este uşor de observat că
+∞
s1 +∞
|w1 (t) − c| ≤ K(τ )dτ ≤ K(τ )dτ,
t s0 t
respectiv
+∞ +∞
K(τ ) si K(τ )
|wi (t)| ≤ i−1
dτ ≤ dτ,
t τ s0 t τ i−1
(j)
y1 = yj+1 , 0 ≤ j ≤ r.
r+1
tl−1
r+1
sl
|y1 (t) − c| ≤ |z1 (t) − c| + |zl (t)| ≤ ψ(t) ≤ ψ(t),
(l − 1)! (l − 1)!
l=2 l=1
respectiv
r
tq−j tl−j
r+1
yj (t) = zq+1 (t) + z (t)
(q − j)! (l − j)! l
q=j l=j
r+1
(−1)r+1+l
r+1−j
= yj+1 (t) + t R(t, z) = yj+1 (t)
(l − j)!(r + 1 − l)!
l=j
deoarece
r+1
(−1)r+1+l 1
r+1−j
d
= (−1)d = 0,
(l − j)!(r + 1 − l)! (r + 1 − j)! r+1−i
l=j d=0
k+r+1
(k+r+1)
u + fj (t, u, u , . . . , u(k+r) )u(k+r+1−j) = 0, t ≥ 1, (5.31)
j=1
ı̂n ı̂ntreg domeniul de definiţie. Să presupunem, ı̂n plus, că funcţiile de comparaţie
Lj sunt continue, monoton nedescrescătoare ı̂n fiecare argument şi satisfac restricţia
+∞
tj−1 hj (t)Lj (βtk , βtk−1 , . . . , βt−r )dt < +∞
k
Demonstraţie. Fixăm M > 0 şi introducem β = |c| + M + |ai |. Fără a
j=1
preciza momentan o limită inferioară pentru t0 , deducem că (z ∈ ZM )
t
r+1
t q−1 k−p (t − s)k−p−1
Qp t, z (t) ≤ |a |t k−p−1
+
(q − 1)!
q j
q=1 j=1 t0 (k − p − 1)!
r+1
s q−1
k−p r+1
sq
× |zq (s)| ds ≤ |aj |tk−p−1 + |c| + M
(q − 1)1 (q − 1)!
q=1 j=1 q=1
t
(t − s)k−p−1
× ds ≤ βtk−p , (5.32)
t0 (k − p − 1)!
respectiv
r+1
tl−d
r+1
t1−d l−1
zl (t) ≤ |z1 (t)| + sgn (l − 1) [t |zl (t)|]
(l − d)! (l − d)!
l=d l=d
1−d 1−d
≤ (|c| + M )t ≤ βt (5.33)
tr |R(t, z)|
r+1
≤ tr fj t, (Qp (t, x))p∈0,k−1 , (x(i) )i∈0,r |x(r+1−j) (t)| (5.34)
j=1
r+k+1
+ tr fj t, (Qp (t, x))p∈0,k−1 , (x(i) )i∈0,r |Qk+r+1−j (t, x)|, (5.35)
j=r+2
r+1
tl−i−1
x(i) (t) = yi+1 (t) = zl (t).
(l − i − 1)!
l=i+1
k+r+1
K(t) = β tj−1 hj (t)Lj (βtk , βtk−1 , . . . , βt−r ),
j=1
Teorema 67 (Dubé, Mingarelli, 2004, cf. [15, Theorem 2.1]) Fie f : [t0 , +∞) ×
R → [0, +∞) o funcţie continuă având proprietatea că
+∞
(t − t0 )f (t, u(t))dt ≤ M (5.36)
t0
Presupunem că există funcţia k : [t0 , +∞) → [0, +∞) continuă astfel ı̂ncât
+∞
η= (t − t0 )k(t)dt < 1 (5.37)
t0
şi
admite o soluţie x(t) definită ı̂n [t0 , +∞) cu alura asimptotică dată de
pentru orice t ≥ t0 . Este uşor de remarcat că, printr-o dublă derivare ı̂n raport cu
argumentul t, orice (eventual) punct fix al operatorului T verifică ecuaţia (5.39)
ı̂n [t0 , +∞).
În mod evident, T (XM ) ⊆ XM , conform condiţiei Hale-Onuchic (5.36).
Perechilor (u1 , u2 ) de elemente din XM le asociem ı̂n mod natural ”distanţa”
d dată de
Se stabileşte ı̂n mod standard, vezi [27, Chapter I], că spaţiul metric SM = (XM , d)
este complet.
Ecuaţii Emden-Fowler 161
Următoarele estimări
+∞
|T (u2 )(t) − T (u1 )(t)| ≤ (s − t)|f (s, u2 (s)) − f (s, u1 (s))|ds
t
+∞
≤ (s − t0 )k(s)|u2 (s) − u1 (s)|ds
t
+∞
≤ (s − t0 )k(s)ds · d(u2 , u1 ), (5.42)
t
unde u1,2 ∈ XM şi t ≥ t0 , implică d(T (u2 ), T (u1 )) ≤ ηd(u1 , u2 ), adică operatorul
T este o contracţie ı̂n SM .
Principiul contracţiei (S. Banach) [27, pp. 19–20] ne asigură că ecuaţia (5.39)
admite soluţia căutată.
În esenţa sa, ”filozofia” Hale-Onuchic de integrare asimptotică a ecuaţiilor
diferenţiale neliniare se reduce la transformarea problemei la limită date ı̂n prob-
lema existenţei unui punct fix al unui operator integral T , fapt comun abordărilor
din acest domeniu, şi la identificarea unei mulţimi invariante (ZM , XM , etc) ı̂n
care să se poată folosi, cu efort minim, o teoremă de punct fix. De aceea, ı̂ntr-
o abordare de tip Hale-Onuchic, verificarea condiţiilor unei atari teoreme este
lejeră, greutatea constând ı̂n precizarea operatorului integral (asociat unei prob-
leme integro-diferenţiale intermediare), respectiv ı̂n detectarea mulţimii invariante.
Unii autori, poate prea radicali ı̂n această privinţă, exclud verificarea ipotezelor
teoremelor de punct fix din cadrul investigaţiei, e.g. [16, p. v].
Ţinând seama de estimarea dată de (5.6) şi luând M = 1, k(t) ≡ λq(t) şi
f (t, u) ≡ q(t)uλ , Teorema 67 stabileşte existenţa unei soluţii a problemei la limită
(5.5). Rezultatul este ı̂mbunătăţit de teorema care urmează.
Teorema 68 Să presupunem că are loc condiţia (5.4). Atunci, există p > 1 astfel
ı̂ncât, pentru orice c ∈ (0, 1] , ecuaţia (5.1) să admită cel puţin o soluţie x(t)
definită ı̂n [t0 , +∞) cu proprietatea că
c
≤ x(t) ≤ c, t ≥ t0 . (5.43)
p
Alura asimptotică a acestei soluţii este dată de formulele x(t) = c + o(1),
respectiv x (t) = o(t−1 ) când t → +∞.
Impunem această restricţie asupra lui c doar pentru a putea folosi ipoteza (5.4). În
" +∞
caz contrar, fie numărul C astfel ı̂ncât C > λ(C − |c|) > 0 şi C λ t0 t|q(t)|dt ≤ C − |c|.
Reluând discuţia de la demonstraţia Teoremei 64, putem scrie că operatorul T : C →
X2 (t0 ; 1) dat de formula (5.45), unde C = {u ∈ X2 (t0 ; 1) : |u(t)| ≤ C pentru orice t ≥ t0 },
este o contracţie de coeficient λ C−|c|
C . Punctul său fix ı̂n C este soluţia căutată.
162 Ecuaţii Emden-Fowler
iar distanţa d este dată de (5.41). Aici, numărul p > 1 este fixat astfel ı̂ncât să
avem (η ∈ (0, 1)!)
+∞
1 p−1
tq(t)dt < ≤ < 1. (5.44)
t0 λ p
şi
|f (t, u2 (t), v2 (t)) − f (t, u1 (t), v1 (t))| ≤ k1 (t)|u2 (t) − u1 (t)| + k2 (t)|v2 (t) − v1 (t)|
pentru orice u1,2 ∈ CM , v1,2 ∈ D şi t ≥ t0 . Aici, aplicaţiile k1,2 : [t0 , +∞) →
[0, +∞) sunt continue şi există ζ > 0 pentru care
+∞ +∞
χ=ζ k1 (t)dt + (t − t0 )k1 (t)dt
t0 t0
+∞ +∞
1
+ k2 (t)dt + (t − t0 )k2 (t)dt < 1.
t0 ζ t0
Teorema de convergenţă dominată (Lebesgue), vezi [19, pp. 20–21], ne asigură că
spaţiul metric S = (D, d) este complet.
164 Ecuaţii Emden-Fowler
şi
+∞ +∞
|T (v2 )(s) − T (v1 )(s)|ds ≤ (s − t)k1 (s)
t t
+∞
1 +∞
× |v2 (τ ) − v1 (τ )|dτ ds + (s − t)k2 (s)[ζ|v2 (s) − v1 (s)|]ds
s ζ t
+∞
1 +∞
≤ (s − t0 )k1 (s)ds + (s − t0 )k2 (s)ds d(v1 , v2 ).
t0 ζ t0
Astfel,
+∞
|T (v2 )(s) − T (v1 )(s)|ds + ζ|T (v2 )(t) − T (v1 )(t)| ≤ χd(v1 , v2 )
t
Corolarul 1 Fie g : [t0 , +∞) → [0, +∞) o funcţie continuă, integrabilă ı̂n [t0 , +∞)
şi astfel ı̂ncât lim g(t) = 0. Să presupunem că, ı̂n enunţul Teoremei 67, ipoteza
t→+∞
(5.36) este ı̂nlocuită de restricţiile
+∞ +∞
f (s, u(s))ds ≤ g(t), u ∈ XM , t ≥ t0 , şi g(t )dt ≤ M.
t t0
Ecuaţii Emden-Fowler 165
0 ≤ x (t) ≤ g(t), t ≥ t0 .
" +∞
Cum χ = ζ t0 k(t)dt + η < 1, concluzia rezultă din Teorema 69.
De asemeni, introducem k1 = k, k2 = 0.
Putem scrie că
+∞ +∞ +∞
1
β(t)dt = c λ
(t − t0 )q(t)dt ≤ c tq(t)dt < c 1 − . (5.49)
t0 t0 t0 p
Conform [36, p. 183], ţinând seama de (5.49), dubla inegalitate (5.46) rezultă
din estimările următoare
λ
+∞ +∞
+∞ λ
c
α(t) = q(s) ds ≤ q(s) c − β(τ )dτ ds
t p t s
+∞ +∞
≤ q(s)[u(s)]λ ds = f (s, u(s))ds, u ∈ Cc , (aici, M = c ∈ (0, 1]!)
t t
+∞
+∞ λ +∞
≤ q(s) c − α(τ )dτ ds ≤ cλ q(s)ds = β(t)
t s t
pentru orice t ≥ t0 .
Aşadar,"prin aplicarea Teoremei 69 stabilim existenţa unei soluţii cu formula
+∞
x(t) ≡ c − t v0 (s)ds a problemei la limită (5.47), unde v0 este punctul fix al
operatorului T ı̂n D.
166 Ecuaţii Emden-Fowler
unde funcţia continuă f : [t0 , +∞) × R → R este neliniaritatea ecuaţiei (5.39). În
plus,
k(t)
|f (t, u2 (t)) − f (t, u1 (t))| ≤ |u2 (t) − u1 (t)|
t
pentru orice u1,2 ∈ EA,x0 şi t ≥ t0 . Aici, aplicaţia k : [t0 , +∞) → [0, +∞) este
continuă şi
+∞
1
= k(t)dt < 1. (5.50)
1 − ν t0
Atunci, problema la limită
x + f (t, x) = 0, t ≥ t0 ,
x(t0 ) = x0 ,
x(t) = At + o(t1−ν ) când t → +∞
admite o singură soluţie x(t) cu proprietatea că
α(t) ≤ x (t) − A ≤ β(t), t ≥ t0 .
" +∞
În particular, dacă α(t)dt = +∞, avem lim [x(t) − At] = +∞.
t→+∞
Ecuaţii Emden-Fowler 167
Afirmaţie Condiţiile
+∞
1
λ tλ+(2− λ )ν q(t)dt < 1 − ν şi (A + 1)λ < tν0
t0
implică (5.51).
respectiv
+∞
ν λ−1
λcν (A + cν ) λ−1
< λcν (A + 1) λ−1
≤ λt0 λ tλ+ν q(t)dt < 1 − ν.
t0
Pentru cea de-a doua dintre restricţiile (5.51), să observăm că
+∞ +∞
tλ q(t)dt ≤ t−ν
0 tλ+ν q(t)dt = t−ν 0 cν < cν (A + 1)
−λ
t0 t0
< cν (A + cν )−λ .
unde t ≥ t0 . Cea de-a doua relaţie (5.51) implică β(t) ≤ cν ı̂n [t0 , +∞). De
asemeni, este evident" că avem α(t), β(t) = o(t−ν ) când t → +∞. Aceasta deoarece
+∞ λ+ν
β(t) ≤ (A + cν )λ t−ν t s q(s)ds.
Pentru u ∈ EA,x0 putem scrie că
+∞
s λ +∞
α(t) ≤ q(s) As + α(τ )dτ ds ≤ q(s)[u(s)]λ ds
t t0 t
+∞
s λ
= [T (u)] (t) − A ≤ q(s) As + β(τ )dτ ds
t t0
+∞
≤ q(s)[(A + cν )s]λ ds = β(t), t ≥ t0 .
t
Ecuaţii Emden-Fowler 169
unde funcţia f : [t0 , +∞) × R → [0, +∞) este continuă. În plus,
k(t)
|f (t, u2 (t)) − f (t, u1 (t))| ≤ |u2 (t) − u1 (t)|
t
pentru orice u1,2 ∈ Fa,b,c şi t ≥ t0 . Aici, aplicaţia k : [t0 , +∞) → [0, +∞) este
continuă şi
1 +∞
ς= k(t)dt < 1. (5.52)
c t0
Atunci, problema la limită
x + f (t, x) = 0, t ≥ t0 ,
x(t) ≥ b, t ≥ t0 (5.53)
x(t) = at + O(t1−c ) când t → +∞
170 Ecuaţii Emden-Fowler
respectiv
+∞ λ−1
1 β(s)
|f (t, u2 (t)) − f (t, u1 (t))| ≤ λt q(t) λ
at + b + t ds
t t s1+c
|u2 (t) − u1 (t)| |u2 (t) − u1 (t)| k(t)
× ≤ λtλ q(t)(a + ε)λ−1 = |u2 (t) − u1 (t)|
t t t
pentru orice u1,2 ∈ Fa,b,c şi t ≥ t0 .
Pentru o variantă a Corolarului 3, vezi [37, Theorem 1.7]. O serie de explicaţii
privind acest tip de rezultate sunt date ı̂n [35, Capitolul 2]. Soluţia x(t) a ecuaţiei
(5.1) descrisă ı̂n Corolarul 3 verifică, ı̂n mod evident, inegalitatea
x(t)
x (t) < , t > t0 . (5.55)
t
172 Ecuaţii Emden-Fowler
În schimb, o asemenea estimare nu rezultă automat pentru soluţia x(t) dată la
Corolarul 2. Mai precis, avem
x(t) 1 t +∞
=A+ q(τ )[x(τ )]λ dτ ds
t t t0 s
+∞ t
1 t0 +∞
=A+ q(τ )[x(τ )]λ dτ + sq(s)[x(s)]λ ds − q(τ )[x(τ )]λ dτ
t t t0 t t0
= x (t) + o(1) când t → +∞,
unde funcţia q : [t0 , +∞) → [0, +∞) este continuă şi are (eventual) zerouri izolate.
Atunci, ecuaţia (5.1) admite soluţia x(t) definită ı̂n [t0 , +∞) cu proprietatea că
x(t)
c − d ≤ x (t) < ≤ c + d, t > t0 .
t
În plus, soluţia are alura asimptotică x(t) = ct + o(t) când t → +∞.
şi
|u1 (t) − u2 (t)|
d(u1 , u2 ) = sup , u1,2 ∈ D.
t≥t0 t
au loc estimările
+∞
T (u)(t) 1 s λ+1 u(τ ) λ
c ≤ =c+ τ q(τ ) dτ ds
t t s2 t0 τ
+∞
1 s λ+1
≤ c + (c + d)λ
τ q(τ )dτ ds
t s2 t0
t +∞
λ 1
≤ c + (c + d) τ λ+1
q(τ )dτ + λ
τ q(τ )dτ
t t0 t
+∞
≤ c + (c + d)λ
τ λ q(τ )dτ < c + d
t0
şi
şi
t t
1
x (t) ≥ c − τ q(τ )[x(τ )]λ dτ ≥ c − (c + d)λ τ λ q(τ )dτ
t t0 t0
Folosind notaţia GA = {x ∈ Rn : |x| > A}, presupunem, ı̂n acord cu [41, 12,
18], că funcţia f : GA ×R → R este local Hölder continuă iar g : [A, +∞) → [0, +∞)
este de clasă C 1 . De asemeni, avem
pentru un anumit ε > 0. Aici, funcţia a : [A, +∞) → [0, +∞) este continuă şi
+∞
ta(t)dt < +∞.
Conform detaliilor din [38, Section 3], [14, Theorem 1] sau [35, p. 46], dacă
u2 (x) este o soluţie radial simetrică pozitivă a ecuaţiei eliptice liniare
astfel ı̂ncât x·∇u2 (x) ≤ 0 ı̂n GA iar u1 (x) este o soluţie radial simetrică nenegativă
a ecuaţiei eliptice liniare
β(s)β (s)
h + a(β(s))h = 0, s ≥ s0 ≥ 1, (aici, β(s0 ) > A)
(n − 2)s
h(s)
ρC ≤ h (s) < ≤C pentru C ∈ (0, ε), ρ ∈ (0, 1) date. (5.59)
s
Cum
+∞ +∞
β(s)β (s) 1
s a(β(s)) ds = τ a(τ )dτ < +∞,
s0 (n − 2)s n − 2 β(s0 )
Ecuaţii Emden-Fowler 175
ne găsim ı̂n ipotezele Teoremei 72. Aşadar, există supersoluţia u2 (x) a ecuaţiei
(5.56).
La rândul său, problema existenţei subsoluţiei u1 (x) care verifică ecuaţia (5.58)
se reduce la aceea a existenţei soluţiei nenegative h1 (s) a ecuaţiei
h
h + k(s) h − = 0, s ≥ s0 ,
s
unde k(s) ≡ β(s)β (s)g(β(s)) este o funcţie continuă nenegativă. Fixând h0 ∈
(0, s0 ρC) – vezi (5.59), putem scrie că
s
τ
h0 H(τ )
h1 (s) = s + 2
dτ , H(τ ) = − exp − k(ξ)dξ
s0 s0 τ s0
Teorema 73 (Waltman, 1965, Wong, 1966, cf. [50, 51]) Dacă funcţia continuă
a : [t0 , +∞) → R are proprietatea că
+∞
a(t)dt = +∞, (5.62)
t0
Demonstraţie. Să presupunem că, prin absurd, soluţia x(t) a ecuaţiei (5.60)
este pozitivă ı̂n [t0 , +∞).
Putem scrie că
t t t
x (s)
x (s) 1 d du
− a(s)ds =
ds = · ds
t0 t0 f (x(s))g(x (s)) t0 f (x(s)) ds 0 g(u)
t
G(x (t)) G(x (t0 )) f (x(s))x (s)
= − + G(x (s)) ds, t ≥ t0 , (5.63)
f (x(t)) f (x(t0 )) t0 [f (x(s))]2
unde
α
du
G(α) = , α ∈ R.
0 g(u)
Cum αG(α) ≥ 0 şi f (β) ≥ 0 pentru orice α, β ∈ R, integrala din (5.63) este
nenegativă ı̂n [t0 , +∞). Astfel, pe baza (5.62), inegalitatea
G(x (t)) t
≤− a(s)ds + constant
f (x(t)) t0
ne conduce la
G(x (t))
lim = −∞, (5.64)
t→+∞ f (x(t))
deci, ı̂n particular, la faptul că funcţia x este eventual negativă. Vom lua x (t) < 0
ı̂n [T0 , +∞), unde T0 ≥ t0 .
Cum soluţia x(t) este pozitivă, eventual negativitatea derivatei sale implică
lim x(t) = l ∈ [0, +∞). Dacă, prin absurd, l > 0, atunci lim x (t) = −∞,
t→+∞ t→+∞
conform (5.64) ¶.
Să admitem că există M > 0 şi t1 ≥ T0 astfel ı̂ncât
x (t) ≤ −M, t ≥ t1 . (5.66)
Observăm că estimarea (5.66) include şi negaţia celei de-a doua relaţii (5.65).
În mod evident, integrând (5.66),
x(t) ≤ x(t1 ) − M (t − t1 ), t ≥ t1 ,
de unde lim x(t ) = −∞, o contradicţie. Afirmaţia este probată.
t →+∞
A doua relaţie (5.65) implică existenţa numărului natural N ≥ 1 şi a numărului
real TN > T0 pentru care x (TN ) = − N1 . În mod inductiv, introducem şirul
(Ti )i≥N , nemărginit superior, caracterizat prin
1 1
x (Ti ) = − şi x (t) < − pentru t ∈ [Ti , Ti+1 ).
i i+1
Rescriind ecuaţia (5.60) sub forma
x
= −a(t)f (x(t)), t ≥ T1 ,
g(x (t))
deducem că
Ti Ti
d
G(x (Ti )) − G(x (t)) = f (x(s)) ·
a(τ )dτ ds
t ds s
Ti Ti Ti
= −f (x(t)) a(τ )dτ − f (x(s))x (s) a(τ )dτ ds
t t s
unde
Ti
y(t) = f (x(t)) a(τ )dτ, ψi (t) = G(x (t)) − G(x (Ti )) (5.68)
t
"0
¶ În ipoteza că du
−∞ g(u)
< +∞, avem lim f (x(t)) = 0. Aplicaţia f are, dată fiind
t→+∞
condiţia de semn (5.61), un singur zero, mai precis f (0) = 0. De aici rezultă prima dintre
relaţiile (5.65).
178 Ecuaţii Emden-Fowler
şi
f (x(t))x (t)
χ(t) = − .
f (x(t))
Funcţia G este crescătoare, deci ψi (t) < 0 ı̂n [Ti−1 , Ti ) pentru orice i ≥ 2. De
asemeni, χ(t) ≥ 0 ı̂n [T1 , +∞).
Soluţia ecuaţiei (5.67) are formula
Ti
s
yi (t) = ψi (t) + ψi (s)χ(s) exp χ(τ )dτ ds, t ∈ [Ti−1 , Ti ],
t t
şi, ı̂n plus, yi (t) < 0 ı̂n [Ti−1 , Ti ). Acest fapt arată că, dacă ţinem seama de formula
lui yi (t) din (5.68), avem estimarea
Ti
yi (Ti−1 )
= a(s)ds < 0, i ≥ 2. (5.69)
f (x(Ti−1 )) Ti−1
adică o contradicţie.
Aici, funcţia A : [t0 , +∞) → (0, +∞) este continuă şi funcţia N : R → R este
continuă şi monoton nedescrescătoare.
O condiţie tehnică leagă ı̂ntre ele funcţiile A şi f . Mai precis, există numerele
δ, ∆ > 0 şi şirul (In )n≥1 de subintervale disjuncte ale lui [t0 , +∞), unde In =
[tn − ∆, tn + ∆] şi tn+1 − tn > ∆, pentru care
respectiv
şi
t
f (s)ds = o A(s)ds pentru t → +∞, (5.74)
t0 I(t)
6
unde I(t) = [t0 , t] ∩ Im .
m≥1
Lungimea intervalelor In fiind 2∆, un caz particular de dublet " (A, f ) este
t
format de A(t) ≡ 1 ı̂mpreună cu orice funcţie continuă f cu sup t0 f (s)ds <
t≥t0
+∞ care verifică (5.72), (5.73), vezi [48, Theorem 1].
Teorema 74 (Teufel Jr., 1972, cf. [48, Theorem 2]) Dacă perechea (A, f ) satisface
condiţiile (5.72)–(5.74) şi
A(t)dt = +∞,
In
n≥1
(B) pentru orice ε > 0 există numărul natural nε ≥ 1 şi numărul t ∈ J2nε −1
astfel ı̂ncât 0 < x(t ) ≤ ε.
respectiv
t t
x (t) − x (t0 ) ≤ f (s)ds − N (ε0 ) A(s)ds
t0 t0
t
≤ f (s)ds − N (ε0 ) A(s)ds
t I(t)
0
= A(s)ds · [−N (ε0 ) + o(1)] când t → +∞.
I(t)
În particular, lim x (t) = −∞, de unde, via regula lui L’Hôpital, rezultă că
t→+∞
soluţia x(t) este eventual
1 negativă,
o contradicţie.
2
(B). Fixăm ε ∈ 0, 8 δ∆ . Are loc inegalitatea
De asemeni, să presupunem că x (t ) ≤ 0. Prin integrare pe [t , t], unde
t ≤ t2nε −1 + ∆, obţinem că
respectiv
1
x(t) ≤ x(t ) − δ(t − t )2 . (5.75)
2
Pentru t = t2nε −1 + ∆, relaţia (5.75) implică
1 1
x(t2nε −1 + ∆) ≤ ε − δ(t2nε −1 + ∆ − t )2 ≤ ε − δ∆2 < 0,
2 8
o contradicţie.
Dacă x (t ) > 0, ı̂n mod analog, deducem că
0< x (t ) ≤ x (t) − δ(t − t),
respectiv
1
δ(t − t)2 ≤ x(t ) − x(t) < x(t ) (5.76)
2
pentru orice t ∈ [t2nε −1 − ∆, t ]. Făcând t = t2nε −1 − ∆ ı̂n (5.76), ajungem la
1 2 1
δ∆ ≤ δ(t − t2nε −1 + ∆) < x(t ) ≤ ε,
8 2
Ecuaţii Emden-Fowler 181
o contradicţie.
În rezultatul următor, oscilaţia suficient de puternică a unei perturbaţii produce
soluţii oscilatorii chiar dacă ecuaţia neperturbată nu este
" +∞oscilatorie.
Fie funcţia continuă h : [t0 , +∞) → R astfel ı̂ncât t|h(t)|dt < +∞. Intro-
ducem funcţia H : [t0 , +∞) → R cu formula
+∞
H(t) = (s − t)h(s)ds, t ≥ t0 ,
t
unde f : [t0 , +∞)×R → R este continuă şi presupunem că există numărul R > H
astfel ı̂ncât
+∞ +∞
ϕ(t)dt < +∞, ϕ(t) = sup |f (τ, v)|dτ , t ≥ t0 .
t0 |v|≤R t
H(t) H(t)
lim inf < −1 şi lim sup > 1, (5.78)
t→+∞ Φ(t) t→+∞ Φ(t)
atunci există T (ε) > γ, o soluţie x(t) a ecuaţiei (5.77) definită ı̂n [T (ε), +∞), un
număr natural N (ε) ≥ 1 şi două şiruri crescătoare divergente (sn )n≥1 şi (tn )n≥1
pentru care
Demonstraţie. Fie T (ε) > γ cu proprietatea că Φ(t) < ε ı̂n [T (ε), +∞).
182 Ecuaţii Emden-Fowler
de unde T (C) ⊆ C.
Urmând paşii din [35, pp. 52–55], stabilim, via teorema Schauder-Tikhonov,
existenţa unui punct fix x ∈ C al operatorului T .
Mai departe, ipoteza (5.78) implică existenţa şirurilor crescătoare divergente
(sn )n≥1 , (tn )n ≥ 1 astfel ı̂ncât
În plus, avem numărul natural N (ε) ≥ 1 pentru care sn , tn ≥ T (ε) când n ≥ N (ε).
Combinând (5.80), adică
Dacă
" +∞ " +∞
(s − t)b(s)ds (s − t)b(s)ds
lim inf " +∞
t
= −∞ şi lim sup " +∞
t
= +∞,
t→+∞
t (s − t)|a(s)|ds t→+∞
t (s − t)|a(s)|ds
Demonstraţie. Existenţa soluţiei asimptotic liniare y(t), vezi [35, p. 41], este
stabilită conform analizei din [4, p. 114]. Vezi şi abordarea din [35, p. 29].
Rezultate generale privind influenţa perturbaţiilor ı̂n chestiunea oscilaţiilor se
găsesc ı̂n [28, 29, 46, 30, 20].
Teorema 76 (Staikos, Philos, 1978, cf. [46, Theorem 1]) Considerăm funcţiile
a, b : [t0 , +∞) → R continue cu proprietatea că
+∞ +∞
t|a(t)|dt < +∞ şi t|b(t)|dt < +∞.
t0 t0
respectiv
tn tn
|x (t)| ≤ |a(s)|ds · F ◦ x∞ + |b(s)|ds
t t
+∞ +∞
≤ F ◦ x∞ |a(s)|ds + |b(s)|ds (5.84)
t t
= o(1) când t → +∞.
" +∞
De fapt, Teorema 75 cere doar t|a(t)|dt < +∞!
Teorema 75 dă condiţii pentru existenţa unei asemenea soluţii.
184 Ecuaţii Emden-Fowler
Mai departe, fie (vn )n≥1 un şir de zerouri ale soluţiei x. Pe baza (5.84) deducem
că (t < vn )
vn
|x(t)| = |x(vn ) − x(t)| ≤ |x (s)|ds
t
+∞ +∞
≤ F ◦ x∞ (s − t)|a(s)|ds + (s − t)|b(s)|ds,
t t
Lema 20 În ipotezele Teoremei 76, orice soluţie mărginită a ecuaţiei (5.83) sat-
isface relaţiile
Teorema 77 [46, Theorem 3] Presupunem că sunt valabile ipotezele Teoremei 76.
Dacă există K > 0 astfel ı̂ncât
|F (x)| ≤ K|x|, x ∈ R,
respectiv
respectiv
t tn t tn
|x(t)| ≤ K max |x(s)| |a(τ )|dτ dξ + |b(τ )|dτ dξ
s∈[vn ,tn ] vn ξ vn ξ
+∞ +∞
≤ K max |x(s)| (τ − vn )|a(τ )|dτ + (τ − vn )|b(τ )|dτ
s∈[vn ,tn ] vn vn
+∞ +∞
≤ K max |x(s)| τ |a(τ )|dτ + τ |b(τ )|dτ
s∈[vn ,vn+1 ] vn vn
[1] R.P. Agarwal, S.R. Grace, D. O’Regan, Oscillation theory for second order
linear, half-linear, superlinear and sublinear differential equations, Kluwer,
Dordrecht, 2002
[3] C. Avramescu, Sur l’existence des solutions pour un problème aux limites
général, Ann. Mat. Pura Appl. 82 (1969), 69–82
[5] Š. Belohorec, Monotone and oscillatory solutions of a class of nonlinear dif-
ferential equations, Mat. Časopis 19 (1969), 169–187
[6] F. Brauer, Some stability and perturbation problems for differential and in-
tegral equations, I.M.P.A., Monogr. Mat. 25, Rio de Janeiro, 1976
[7] T.A. Burton, Stability and periodic solutions of ordinary and functional dif-
ferential equations, Academic Press, New York, 1985
[8] M. Cecchi, M. Marini, P.L. Zezza, Boundary value problems for nonlinear
differential equations on non-compact intervals, pp. 85–96 ı̂n ”Nonlinear dif-
ferential equations. Invariance, stability, and bifurcation”, ed. P. Mottoni, L.
Salvadori, Academic Press, New York, 1981
[9] C.V. Coffman, J.S.W. Wong, Oscillation and nonoscillation theorems for sec-
ond order ordinary differential equations, Funkc. Ekvac. 15 (1972), 119–130
186
Ecuaţii Emden-Fowler 187
[15] S.G. Dubé, A.B. Mingarelli, Note on a non-oscillation theorem of F.V. Atkin-
son, Electr. J. Differential Equations, 22 (2004), 1–6
[16] M.S.P. Eastham, The asymptotic solution of linear differential systems. Ap-
plications of the Levinson Theorem, Clarendon Press, Oxford, 1989
[17] A.L. Edelson, J.D. Schuur, Asymptotic and strong asymptotic equivalence to
polynomials for solutions of nonlinear differential equations, pp. 157–160 ı̂n
”Equadiff 82”, Lect. Notes. Math. 1017, Springer-Verlag, Berlin, 1983
[19] L.C. Evans, R.F. Gariepy, Measure theory and fine properties of functions,
CRC Press, Boca Raton, 1992
[21] J.R. Graef, M.K. Grammatikopoulos, P.W. Spikes, On the decay of oscilla-
tory solutions of a forced higher order functional differential equation, Math.
Nachr. 117 (1984), 141–153
[25] P. Hartman, Ordinary differential equations, Wiley & Sons, New York, 1964
[26] A.G. Kartsatos, The Leray–Schauder theorem and the existence of solutions
to boundary value problems on infinite intervals, Indiana Univ. Math. J. 23
(1974), 1021–1029
[29] A.G. Kartsatos, Recent results on oscillations of solutions of forced and per-
turbed nonlinear differential equations of even order, pp. 17–72 ı̂n ”Stability
of dynamical systems. Theory and applications”, Proc. Reg. Conf. Mississippi
State Univ. 1975, Marcel Dekker, New York, 1977
[30] A.G. Kartsatos, The oscillation of a forced equation implies the oscillation of
the unforced oscillation–small forcing, J. Math. Anal. Appl. 76 (1980), 98–106
[33] R.A. Moore, Z. Nehari, Nonoscillation theorems for a class of nonlinear dif-
ferential equations, Trans. Amer. Math. Soc. 93 (1959), 30–52
[34] R.M. Moroney, Note on a theorem of Nehari, Proc. Amer. Math. Soc. 13
(1962), 407–410
[36] O.G. Mustafa, Positive solutions of nonlinear differential equations with pre-
scribed decay of the first derivative, Nonlinear Anal. TMA 60 (2005), 179–185
[39] O.G. Mustafa, On the existence of solutions with prescribed asymptotic be-
haviour for perturbed nonlinear differential equations of second order, Glas-
gow Math. J. 47 (2005), 177–185
[41] E.S. Noussair, C.A. Swanson, Positive solutions of quasilinear elliptic equa-
tions in exterior domains, J. Math. Anal. Appl. 75 (1980), 121–133
[44] J.D. Schuur, A class of nonlinear ordinary differential equations which inherit
linear-like asymptotic behavior, Nonlinear Anal. TMA 3 (1979), 81–86
[46] V.A. Staikos, C.G. Philos, Non-oscillatory phenomena and damped oscilla-
tions, Nonlinear Anal. TMA 2 (1978), 197–210
[48] H. Teufel Jr., Forced second order nonlinear oscillation, J. Math. Anal. Appl.
40 (1972), 148–152
[51] J.S.W. Wong, On two theorems of Waltman, SIAM J. Appl. Math. 14 (1966),
724–728
[53] J.S.W. Wong, On second order nonlinear oscillation, Funkc. Ekvac. 11 (1968),
207–234
Capitolul 6
Rezumat În acest capitol este prezentată teorema de comparaţie pentru ecuaţii
neoscilatorii a lui E. Hille (1948) şi A. Wintner (1957).
şi
X + Q(t)X = 0, t ≥ t0 , (6.2)
Teorema 78 ([7, 11]) Să presupunem că ecuaţia (6.2) este neoscilatorie şi
+∞ +∞
Q(s)ds ≥ q(s)ds ≥ 0 pentru orice t ≥ t0 .
t t
191
192 Analiză riccatiană II
admite o soluţie nenegativă U (t), vezi [7, Theorem 4], [3, p. 27, Lemma 6] sau
Teorema 35, unde T ≥ t0 este suficient de mare. Aici, U (t) este derivata logarit-
mică a uneia dintre soluţiile ecuaţiei (6.2) cu semn constant nenul ı̂n [T, +∞).
Într-adevăr, dacă ecuaţia (6.2) este neoscilatorie, are loc relaţia (3.61), de unde,
via (3.51), ajungem la U ∈ L2 ((T, +∞), R). Cum Q(t) ≥ 0, deducem că Q ∈
L1 ((T, +∞), R). Astfel, ecuaţia integrală este o reformulare a relaţiei (3.54).
Introducem şirul (un )n≥0 de funcţii din C([T, +∞), R) date cu ajutorul relaţiei
de recurenţă
+∞ +∞
2
un (t) = [un−1 (s)] ds + q(s)ds, t ≥ T,
t t
unde u0 = U .
Astfel, putem scrie că
+∞ +∞ +∞
2
q (t) = q(s)ds ≤ u1 (t) =
[U (s)] ds + q(s)ds
t t t
+∞ +∞
2
≤
[U (s)] ds + Q(s)ds
t t
= U (t) = u0 (t)
Teorema Beppo-Levi [6, p. 20, Theorem 2] implică faptul că limita punctuală
a şirului (un )n≥0 , notată u(t), se găseşte ı̂n L2 ((T, +∞), R) şi verifică ecuaţia
+∞ +∞
u(t) = [u(s)]2 ds + q(s)ds, t ≥ T. (6.3)
t t
Teorema 79 (G.J. Butler, 1979, cf. [2, Theorem 2.1]) Fie ecuaţiile diferenţiale
neliniare
şi
unde coeficienţii funcţionali p, P : [t0 , +∞) → (0, +∞) sunt de clasă C 1 , coeficienţii
funcţionali q, Q : [t0 , +∞) → R sunt continui şi
+∞ +∞
q(s)ds ≤ Q(s)ds, t ≥ t0 .
t t
Teorema 80 ([7, Corollary 1]) Presupunem că funcţia continuă q : [t0 , +∞) →
[0, +∞) ı̂ndeplineşte condiţia
+∞
1
t q(s)ds ≤ , t ≥ t0 . (6.7)
t 4
x (t) X (t) 1
q (t) ≤ u(t) = ≤ U (t) = = , t ≥ t0 , (6.8)
x(t) X(t) 2t
unde x(t) este dat de (6.4). Aşadar, dacă are loc (6.7), atunci ecuaţia (6.1) admite
o soluţie pozitivă x(t) cu proprietatea că
x(t)
x (t) ≤ c · , t ≥ t0 , (6.9)
t
unde c = 12 . Această inegalitate ne conduce la (5.55). Pentru a aplica asemenea
rezultate ı̂n analiza ecuaţiei (5.56), formulăm următoarea variantă a inegalităţii
funcţionale (6.9).
194 Analiză riccatiană II
Teorema 81 ([1, Section 1]) Fie c : [t0 , +∞) → [0, 1] o funcţie continuă cu pro-
prietatea că sup c(t ) = C < 12 şi
t ≥t0
+∞
+∞
c2 (τ )
t dτ + t q(τ )dτ ≤ c(t), t ≥ t0 .
τ2
t t
x(t)
x (t) ≤ c(t) · , t ≥ t0 .
t
Introducând distanţa
pentru orice z ∈ Z.
Operatorul T : Z → Z este o contracţie de coeficient 2C. Într-adevăr, putem
scrie că
+∞
2c(τ )
|(T z1 )(t) − (T z2 )(t)| ≤ t |z1 (τ ) − z2 (τ )|dτ
t τ2
≤ 2C · d(z1 , z2 ),
lim v(t) = lv ∈ R.
t→+∞
Propoziţia 5 Fiind date c ∈ (0, 1) şi funcţia continuă r : [t0 , +∞) → [0, +∞)
care este integrabilă ı̂n [t0 , +∞), presupunem că
+∞ +∞
1 r(s)
dsdt < +∞. (6.11)
t0
c
t t s1−c
Analiză riccatiană II 197
De asemeni, fie funcţia b : [t0 , +∞) → [0, +∞) continuă astfel ı̂ncât b(t) ≤ c
t ı̂n
[t0 , +∞). Dacă
+∞
b(t) ≤ b2 (s)ds + r(t), t ≥ t0 ,
t
r(t)
(z(t) · tc ) ≥ − , t ≥ t0 .
t1−c
Printr-o integrare ı̂n [t, +∞) (avem t · z(t) ≤ c !), obţinem
+∞
1 r(s)
z(t) ≤ c ds.
t t s1−c
Următorul rezultat constituie o variantă a Teoremei 81 ı̂n cazul c(t) = (ln t)−1 .
198 Analiză riccatiană II
Teorema 83 ([4, Lemma 2]) Fie c, ε > 0. Presupunem că funcţia q : [t0 , +∞) →
[0, +∞) continuă nu devine identic nulă pe niciun subinterval al lui [t0 , +∞). De
asemeni, admitem că există λ ∈ (0, 1] şi T0 ≥ max{e2 , t0 } astfel ı̂ncât
+∞
t ln t q(s)ds ≤ λ (6.13)
t
pentru orice t ≥ T0 . Fixăm ε1 ∈ (0, 1 − λ) dacă λ < 1 şi ε1 ∈ (0, 1) ı̂n cazul limită
λ = 1.
Atunci, ecuaţia
x(t)
x(t) ≥ c, <ε
t
şi
+∞
λ + ε1 x(t) 1 x(t)
x (t) ≤ · < · , x (t) ≥ c q(s)ds;
ln t t 2 t t
pentru λ = 1,
x(t) = O (ln t) , x (t) = O t−1 când t → +∞. (6.16)
Demonstraţie. Cazul λ ∈ (0, 1). Luăm c1 ∈ 0, ελ1 c , T1 ≥ T0 astfel ı̂ncât
c1 + c c ln t
ln T1 > , + c1 <ε (6.17)
c1 t t
pentru orice t ≥ T1 .
Fie mulţimea C = {y ∈ C([T1 , +∞), R) : 0 ≤ ty(t) ≤ c1 pentru orice t ≥ T1 }.
Pe C introducem metrica
unde y ∈ C and t ≥ T1 .
Estimările
+∞
+∞
λ
y(s) q(σ)dσ ds ≤ d(y, 0)
t s t ln t
şi
+∞
t
λ ln T1
q(s)ds y(s)ds ≤ 1− d(y, 0)
t T1 t ln t
implică
λ(c1 + c) ln T1 1 λc1 c1
T (y)(t) ≤ + λc1 1 − ≤ ≤ .
ln t ln t t t t
Deci T este bine definit.
Deoarece d(y1, y2 ) = d(|y1 − y2 | , 0) pentru y1,2 ∈ C, deducem că
λ 1 − ln T1
|T (y1 )(t) − T (y2 )(t)| ≤ 1+ d(y1, y2 )
t ln t
λ
≤ d(y1, y2 ).
t
Astfel,
şi
+∞
x0 (t) = X0 (t) = T (X0 )(t) ≥ c q(s)ds > 0.
t
200 Analiză riccatiană II
Dată fiind alegerea numerelor c1 , ε1 şi ţinând seama de (6.13), avem şi estimările
+∞
λc1
0 < x0 (t) ≤ + q(s)ds x0 (t)
t ln t t
cε1 λx0 (t) x0 (t)ε1 λx0 (t)
≤ + ≤ +
t ln t t ln t t ln t t ln t
λ + ε1 x0 (t) 1 x0 (t)
≤ · < · , t ≥ T1 . (6.19)
ln t t ln t t
Din (6.19) rezultă că
λ + ε1
x0 (t) ≤ · x0 (t),
t ln t
de unde
cu formulele
+∞
+∞ +∞
α(t) = X0 (s) q(τ )dτ ds, β(t) = q(s)ds, t ≥ T1 .
t s t
λc1 λ ln t ln t
≤ + · c + λc1 ln
t ln t t ln t ln T1 ln T1
1 λc1
= + O((ln t)λ−1 ) = o(t−1 ) când t → +∞.
t ln t
Cazul λ = 1. Luăm c1 ∈ (0, ε1 c), T1 ≥ T0 astfel ı̂ncât să aibă loc (6.17) şi
C, T : C → C la fel ca anterior. O ordine parţială ı̂n C este dată de ordinea
punctuală obişnuită ” ≤ ”, adică scriem y1 ≤ y2 dacă şi numai dacă y1 (t) ≤ y2 (t)
Analiză riccatiană II 201
pentru orice t ≥ T1 , unde y1,2 ∈ C. Cum q(t) este nenegativă, aplicaţia T este
izotonă, adică T y1 ≤ T y2 când y1 ≤ y2 , şi verifică inegalitatea 0 ≤ T (0). Conform
teoremei de punct fix Knaster-Tarski [5, p. 14], T are un punct fix ı̂n C, notat X0 .
Reluăm paşii din primul caz.
Fixăm α > 0. Soluţia generală a ecuaţiei diferenţiale liniare
1 α−1
x +α 2 − x = 0, t ≥ max{e1+α , t0 }, (6.21)
t ln t t2 (ln t)2
Deşi unica soluţie mărginită a ecuaţiei (6.21) este cea identic nulă, dacă α ∈
(0, 1] există soluţii nemărginite care ı̂ndeplinesc concluzia (ii) a Teoremei 83 (luăm
c2 = 0 ı̂n (6.22)). Cum pentru α > 1 ecuaţia (6.21) nu are soluţii care să satisfacă
(6.15) ori (6.16), putem considera că ipoteza (6.13) este optimală pentru obţinerea
acestui tip de comportament asimptotic la soluţiile ecuaţiei (6.14).
Surse bibliografice
[1] R.P. Agarwal, O.G. Mustafa, A Riccatian approach to the decay of solutions
of certain semi-linear PDE’s, Appl. Math. Lett. 20 (2007), 1206–1210
[2] G.J. Butler, Hille–Wintner type comparison theorems for second–order ordi-
nary differential equations, Proc. Amer. Math. Soc. 76 (1979), 51–59
[3] W.A. Coppel, Disconjugacy, Lect. Notes Math. 220, Springer-Verlag, Berlin,
1971
[4] S. Djebali, T. Moussaoui, O.G. Mustafa, Positive evanescent solutions of non-
linear elliptic equations, J. Math. Anal. Appl. 333 (2007), 863–870
[5] J. Dugundji, A. Granas, Fixed point theory, Vol. I, Polish Sci. Publ.,
Warszawa, 1982
[6] L.C. Evans, R.F. Gariepy, Measure theory and fine properties of functions,
CRC Press, Boca Raton, 1992
[7] E. Hille, Non-oscillation theorems, Trans. Amer. Math. Soc. 64 (1948), 234–
252
[8] O.G. Mustafa, Hille’s non-oscillation theorem and the decay of solutions to a
class of semi-linear PDE’s, Arch. Math. (Basel) 89 (2007), 452–458
[9] O.G. Mustafa, Integrarea asimptotică a ecuaţiilor diferenţiale ordinare ı̂n
cazul neautonom, Ed. Sitech, Craiova, 2006
[10] C.A. Swanson, Comparison and oscillation theory of linear differential equa-
tions, Academic Press, New York, 1968
[11] A. Wintner, On the comparison theorem of Kneser–Hille, Math. Scand. 5
(1957), 255–260
[12] C.T. Taam, Non-oscillatory differential equations, Duke Math. J. 19 (1952),
493–497
202