V. — Étude directe des intégrales
76. Les méthodes que nous avons exposées jusqu'à présent avaient pour but de trouver l'intégrale générale des équations différentielles. Mais elles ne réussissent, comme on l'a vu, que dans des cas fort limités, et nous ne pouvons même assurer que l'intégrale cherchée existe en général, car son existence a été admise sans démonstration.
11 est donc nécessaire de reprendre le problème de l'inté-
gratîon, en le précisant, de manière à le rendre déterminé. La question ainsi posée peut se formuler ainsi :
1° Etant donné un système adéquations dijférentielles normales
démontrer quHl existe, sous certaines conditions à préciser, un système unique de fonctions y, z, . . . jouissant de la double propriété de satisfaire à ces équations, et de prendre respectivement des valeurs données jko^ ^o? • • • pour une valeur donnée Xq de la variable indépendante ;
2*^ Donner une méthode qui permette de calculer, avec telle approximation quon voudra, la valeur de ces jonctions pour toute valeur réelle ou imaginaire de x;
3" Enfin, discuter les cas d^ exception où, les résultats établis se trouvent en défaut.
77. Supposons tout d'abord que les variables et les fonctions considérées soient réelles; et considérons, pour éviter des longueurs, le cas de deux équations
-^^fiœ,y,z), ^^fix,yz).
Nous devrons admettre pour la démonstration :
i" Qu'aux environs du point (^o? J'oi ^o) les fonctions f,
fi sont continues. On pourra donc assigner un domaine D
délini par les relations
dans lequel les inégalités
\x'-x\<t, |j'-r|<£, |-'-|<2 entraîneront les suivantes
À tendant vers zéro avec £.
2° Nous admettrons en outre que dans ce même domaine on ait constamment
\f,{x,y',z')-Mx,r,z)\<m[\y'-y\ + \z'-~z\l
m désignant une constante fixe.
Les conditions ci-dessus, seules nécessaires à la démonstration, seront évidemment satisfaites si aux environs du point (^Q, JK05 ^0) les fonctions /, /i admettent des dérivées partielles finies.
Supposons-les remplies. Soit M le maximum des modules
de /, fi dans la région D; et soit p la plus petite des deux
quantités /*, ^ •
Donnons à x une valeur quelconque assez voisine de Xn pour qu'on ait
Subdivisons l'intervalle XqX en intervalles partiels XoXi, XiXo, ..-, x,i-iX^ et déterminons les quantités j',, 3,^ ^2 5 ^2 ; • • • j JKj ^ P^^ Ifis relations
/i— 7o= fi^o, fo, ^o){^i~^o).
Zi ^0 r=yj (^Q, J'qj Zo){Xi Xq).
^/,H, — ^A- =/i ( ^k, yk, ^k ) (^"/c+i — ^k),
On déduira de ces relations
\yk-yiV<\yk-yk-x\-^..--\-\yi-^,~yi\
^M[|^/, — ^A--i| -\- . . ^^\xi^^ — XiW^U\Xk— Xi \z^, — Zi\lU\xk—Xi\,
et, en parliculi<^r,
go TROISIÈME PARTIE. — CHAPITRE I.
Les points (^,, y,, .z^). . . . , (^, JK, z) ne sortiront donc pas du domaine D.
78. Si les intervalles partiels sont infiniment petits, les valeurs finales y^ z tendront vers des limites déterminées. Pour l'établir, considérons deux modes de division A, A' dans lesquels les intervalles soient tous moindres que la plus
petite 8 des deux quantités s, ^ et désignons par y, z et jk',
z' les valeurs finales obtenues pour chacun d'eux; nous aurons à prouver que y' — y et z' — z tendent vers zéro avec £.
Nous pouvons évidemment admettre que tous les points de division qui figurent dans A figurent aussi dans A'; sinon nous pourrions comparer successivement ces deux divisions A, A' à une troisième A'' formée avec tous les points de division de A et de A'. Ajant prouvé ç\vxe y" — y, ^' — z d'une part, ei y" — y' , z" — z' d'autre part, tendent vers zéro, on verrait immédiatement que leurs différences j/' — y, z' — z tendent aussi vers zéro.
Soient donc
• j ^k-hij ■
s points de division de A';
J'oî JKo 1' J'o2' '••'•> Ti' • • • '
y'k^y'in^ ■■
•5 J'/c+iy • ■
^ki ^A-n • •
la suite des valeurs correspondantes des deux variables jk, z\ nous aurons
d'où
y'k^i — y'k—iyk+x — yk)
=\.[/(^/aj y'kh ^'kù —fi^k, yk, z,,.)]{a:,,j+i — a:,,i),
I et, par suite,
|j4^i-J/.+i|^|jl--/^-l
Mais on a
+ |/(-^/c, ri, -1) -/(-^A' /A' -a)1
Le premier terme du second membre est moindre que A; car on a
\x,i - œ,\ < ô < s, Ij'a.— r;,| < MioCki-oo,\ < M8 < £,
Le second est moindre que
ini\y'k-yk\-^\^'b--k\'\'
On aura donc
l7A-.i-rA-+il<l/A-/^-l
On trouvera la même limite supérieure pour |^';^^, — z'j^\. Ajoutons ces deux inégalités, et posons pour abréger
Nous obtiendrons la relation Multipliant ces inégalités, il vient
Or, on a7;=:ro, 4 = -o; doncUo= --• Cette quantité
tend vers zéro avec s, et il en sera évidemment de même
pour\y—y\ et |g' — ^|.
79. Les valeurs limites des quantités y, z ainsi déterminées pour chaque valeur de x dans le domaine \œ — ^o|>p 'Sont des fonctions de x. Elles satisfont aux équations différentielles proposées.
Soient, en effet, y + A/, z -{- ^z les valeurs de ces fonctions correspondantes à ^ -j- A.r. Intercalant entre x et œ -i- Ix des points de division Xt^ X2, . . • , nous aurons
\y — \im\f{x/c,yk, ^^)(^/t-n — ^/,) z=f{x, y, z.)\x
-HlimN [/(^A-, /A-, ^k)—f{^,y, z)](X;,^i — Xk).
Or, si nous supposons A.r < 8, le terme qui multiplie (^A+i — Xk) aura son module moindre que A. La somme du second membre a donc un module moindre aue
l \ I x/,+i — Xk\ — X\x,
et sa limite ne pourra surpasser cette quantité. On aura donc
R étant un reste de module moindre que X, qui tendra vers zéro avec A^. Donc y a bien pour dérivée /{x, y, z). On verra de même que :; a pour dérivée/, (jt, y, z).
80. La solution que nous venons de trouver est la seule possible.
Soient, en effet, Y, Z deux fonctions jouissant comme y, :; de la double propriété de satisfaire aux équations différen-
ÉQUATIONS DIFFÉRENTIELLES ORDINAIRES. gS
lielles et de se réduire sl yo, Zq pour j;=œo. Les fonctions Y — JK, Z — z auront respectivement pour dérivées
Elles sont donc continues et comme elles s'annulent pour x^^Xq, elles ne pourront acquérir une valeur différente de zéro qu'après avoir passé par toutes les valeurs intermédiaires.
D'autre part, en vertu de nos hypothèses, tant que Y — jr, Z — z seront moindres que £ en valeur absolue, le module de leur dérivée sera <</?z.2£, et le module des fonctions elles-mêmes sera moindre que m,iz\x — ^o|-
Il en résulte que dans tout l'intervalle de Xq — -, — à Xo+ -, — les modules de nos fonctions seront < - tant
qu'ils seront <C £• Us ne pourront donc atteindre aucune
des valeurs comprises entre - et £, ce qu'ils devraient faire
pour pouvoir atteindre ou dépasser £. Donc ils resteront toujours moindres que £, quantité arbitraire. Ils sont donc nécessairement nuls.
Le même raisonnement montre qu'étant nuls au point
Xts + -. — ■) ils le seront encore de x^ + -, — a x^^ -\- -, — ? • • • ?
et enfin, dans tout le domaine de x^ — p à .To + p où nous avons pu définir les fonctions j>^, z.
81. Passons au cas des fonctions et des variables complexes. Soit encore
un système de deux équations différentielles.
Nous admettrons ici que(^OîJKoi ^o) soit un point ordinaire pour les fonctions /, /< . On pourra donc, par définition, tracer autour de .ro, y^y ^o des contours fermés K, K', K", tels que/, y, , et leurs dérivées partielles restent monodromes et continues, tant que ^,JK, ^ ne sortiront pas de ces contours.
Soient d, d', d" les distances minima des points Xq, y^^ Zq à K,
K', K"; S, S', S'^ les périmètres de ces contours; M une limite supérieure du module de /et de/,, lorsque x,
y^ z décrivent respectivement ces contours.
On pourra écrire
/(^j y, -) = y «apy(^ — ^<^Y{y—y^y^{^ — -o)^,
J\{x, y, z) =.^ba.f.^{œ - x,Y{y - y,)^{z ~ z,)\
ces développements restant convergents tant que les modules de ^ — Xo, y — ya, z — ^o resteront inférieurs à d. d\ d" . D'ailleurs
et l'on aura (T. I, n« 206)
