CHAPITRE VI

Digression sur les intégrales des équations aux différences partielles.

(71). Les équations du mouvement de la chaleur dans l'intérieur et à la surface des corps étant maintenant démontrées dans toute leur généralité, il convient, avant de les appliquera des problèmes particuliers, d’exposer les principes communs aux solutions de tous ces problèmes, et généralement de toutes les questions de Physique et de Mécanique, qui conduisent à des équations aux différences partielles. Ces principes essentiels sont relatifs aux intégrales de ces équations, aux diverses formes dont elles sont susceptibles, et à la manière d’exprimer les fonctions arbitraires qu’elles renferment; ils se trouvent déjà dans plusieurs de mes mémoires, et dans mon Traité de Mécanique ; je vais les réunir avec quelques développemens dans ce chapitre et dans les deux suivans.

L’intégrale d’une équation différentielle d’un ordre quelconque n • doit contenir, pour être complète, un nombre n de constantes arbitraires.

En effet, soient t la variable indépendante et « la fonction de t , qui doit être déterminée par une semblable équation. Représentons cette équation par L = o, de sorte que L soit une fonction donnée

de t, u, ‘^Tf- • • •> Si l’on désigne par h une valeur particulière de t, et que l’on fasse

= HW, etc.,

pour cette valeur t s= h, le développement de u suivant les puis-

,5o THÉORIE MATHÉMATIQUE

sances de t — h sera, d’après le théorème de Taylor,

u = H -4- H' (t - h) + ± H" (t — h )* + ^3 H"'(< — A)3+etc. (i)

Or, si l’on fait tz=.h dans la suite infinie d’équations

d> h °» ~dt>

o, etc. ,

on en tirera les valeurs de tous les coefliciens de la série (i), à partir de H^*5 inclusivement, en fonctions des n premiers II, H', H'',...HC*0, qui resteront indéterminés : la première L = o donnera la valeur de

Hw; on substituera cette valeur dans la seconde équation ~ ’ = o ,

d’Oii l’on tirera ensuite la valeur de IR"'*'0; on mettra ces valeurs de Hw et Ib'^dans Ja troisième équation ‘^=o , puis on eu déduira la valeur de Ht*+,); et ainsi de suite. La valeur de u exprimée par la série (i) renfermer? donc finalement n constantes indéterminées et indépendantes entre elles; par conséquent, l’intégrale complète de l’équation L = q, sous quelque forme qu’on l’obtienne, devra contenir, pour répondre à la généralité de cette quantité u, un pareil nombrd n de constantes arbitraires. Réciproquement, si 1 = o est une équation donnée entre t et u, contenant eu outre un nombre n de constantes arbitraires, on pourra toujours éliminer ces n constantes entre l’équation I =o et les n premières équations différentielles qui s’en déduisent ; ce qui conduira à une équation différentielle de l’ordre n dont I = o sera l’intégrale complète.

Non-seulement la série (t) fait connaître, comme on voit, le degré de généralité de la quantité u déterminée par l’équation L =o, mais elle peut aussi, par un procédé semblable à la méthode des quadratures, servir à déterminer les valeurs numériques de u qui répondent à toutes celles de t, lorsque les valeurs de u et de ses n — i premiers coefliciens différentiels sont données pour une valeur particulière tz= h. On prendra d’abord pour i une fraction très petite, positive ou négative, et telle que la série (î) soit convergente pour t — h -f- J1', cette série et se* différentielles feront connaître les valeurs

DE LA CUALELR. .i3t

de u, etc. , qui répondent à t = h -f- J' ; au moyen de ces

valeurs, la même série fera connaître celles de u et de ses coefliciens différentiels qui répondent à f = /r + cP + e f', en y mettant h j' et A — f— «T —J— Ji' au lieu de h et t, et supposant J” une très petite fraction qui rende encore cette série'convergente; et ainsi de de suite. En définitive les valeurs numériques de u dépendront de celles de H, II', H",. . . 1 Ie* “3 , qui seront arbitraires; et l’usage de la série (i) ne peut laisser aucun doute sur le théorème qu’il s’agissait de démontrer, puisque cette série sera toujours rendue convergente, en donnant des valeurs assez petites à la différence t — h.

Lorsqu’on passe aux cquatoins aux différences partielles, les constantes arbitraires sont remplacées par des fonctions arbitraires; mais le théorème précédent n’a plus lieu , et leur nombre ne peut plus être déterminé À priori. Au-delà du premier ordre, l’intégrale complète d’une équation aux différences partielles peut renfermer un nombre de fonctions arbitraires moindre que celui qui marque l’ordre de l’équation donnée, c’est-à-dire, moindre que a, 5, quoique

cette équation contienne des différences partielles du a*, 3*, 4*. . . . . ordre. Dans le petit nombre de cas où l’intégrale complète peut s’obtenir sous forme finie, sans le secours des intégrales définies, je ne connais aucun exemple de l’abaissement du nombre des fonctions arbitraires et indépendantes entre elles, au-dessous du nombre qui marque l’ordre de l’équation donnée; toutefois, il serait difficile de démontrer qu’un tel abaissement ne puisse jamais avoir lieu. Mais quand l’intégrale complète d’une équation aux différences partielles de l’ordre n est exprimée par des séries, et lors même que l’on parvient à réduire ces séries à des intégrales définies, le nombre des fonctions arbitraires' peut s'abaisser ao-dessous de n, et il peut être différent selon la forme des séries ou des intégrales définies par lesquelles on exprime son intégrale.

En général , soit u une fonction d’un nombre quelconque de variables indépendantes t, x,y, s, etc., qui doit satisfaire à une équation aux différences partielles de l’ordre n, représentée par L — o. Quelle que soit la valeur inconnue de u, on peut la concevoir développée suivant les puissances ascendantes de l’une de ces variables, dimiuuée

i3* THÉORIE MATHÉMATIQUE

d’une valeur particulière de cette même variable ; car si l’on appelle h une valeur particulière de t, par exemple, et que l’on mette h-\-t — h au lieu de t daus la fonction u, on pourra toujours la développer par le théorème de Taylor, ou autrement, en série ordonnée suivant les puissances ascendantes de t — h. Plus généralement, si l’on prend pour (I une quantité dépendante d’une ou de plusieurs des variables t, x,jr, z,etc.', on pourra supposer la valeur de u développée suivant les puissances ascendantes de fl. Soit donc

* u = PS*-f-Q8c4-Rfl>-+.etc. ; (2) *

les coefliciens P, Q, R, etc., étantdes fonctions inconnues dont chacune dépend d’une variable indépendante de moins que u, et les exposaus et, C , y, etc., formant une suite croissante de quantités constantes. Cela posé, si l'on substitue cette valeur de u dans l'équation U = o, que l’on ordonne son premier membre suivant les puissances de fl, et que l’on égale ensuite séparément à zéro le coefficient de chacun des termes de la série qui en résultera, on aura ainsi une suite infinie d'équations différentielles ou aux différences partielles, dont chacune renfermera une variable indépendante de moins que Ii = 0; et si l’on parvient à obtenir les valeurs les plus générales de a, f»» y> etc., P, Q, R, etc. , qui satisfont à cette suite dequations, la série (2) sera aussi la valeur la plus générale de u qui satisfera à l’équation douuée L =0. Selon la quantité 8 que l’on choisira, on aura ainsi différentes expressions de u en séries qui seront, sous des formes équivalentes, l’intégrale complète de L=o, de telle sorte que si celte intégrale était connue sous forme finie, chacune de ces séries en serait un développement qui pourrait la remplacer.

Or , l’équation L = o restant la même, les coefliciens P, Q, R, etc. , déterminés de la manière la plus générale, pourront néanmoins contenir des nombres inégaux de fonctions arbitraires, selon que la série(a) sera ordonnée suivant les puissances de telle ou telle variable fl. Généralement, il y aura telle valeur de 6 pour laquelle le nombre de ces fonctions sera égal à n, et telle autre pour laquelle il sera moindre d’une ou de plusieurs unités; et si l’équation L = o est linéaire, il ppurra même arriver que toutes les fonctious arbitraires disparais-

Digiti:

ed by Couple

sent de la série (a), qui ne renfermera plus alors que des constantes arbitraires, et n’en sera pas moins l’intégrale complète de cette équation L = o. Cette forme singulière de l’intcgrale complète, sans aucune fonction arbitraire , d’une équation linéaire aux différences partielles, mérite une attention toute particulière, à cause des nombreux usages qu’on en pourra faire pour la résolution des problèmes; son caractère distinctif consiste en ce que tous les termes de la série (3) se déterminent, dans ce cas, indépendamment les uns des autres, et satisfont séparément à l’équation L = o, de manière que la valeur générale de l’inconnue u est la somme d’un nombre infini de valeurs particulières.

Nous allons maintenant appliquer ces considérations générales à des exemples propres à montrer les diverses circonstances que peut présenter la série (a), et 'comment on peut la réduire à des intégrales définies, dans beaucoup de cas où l’intégrale de l'équation L = o ne peut pas s’exprimer sons forme finie sans leur secours. Toutefois, relativement à cette réduction, je renverrai, pour de plus grands détails, à deux mémoires que j’ai publiés sur ce sujet, l’un sur l’intégration des équations linéaires à coefliciens constans (*), l’autre sur celle des équations linéaires à coefliciens variables (**).

(72). Je prends poué premier exemple l’équation linéaire et du second ordre

dans laquelle a est une constante donnée.

Soit A une constante à laquelle on n’attribue aucune valeur déterminée; faisons d’abord fl = < — A, et considérons les coefliciens de la série (a) comme des fonctions de x. En la substituant dans les deux membres de l’équation (3), nous aurons

*P(t— A)’—' + 6Q (f — hf~l -f- y R (t — A)»-' -f- etc. =

— W + (* — A)f + ctc.

(*) Mémoires de V Académie des Sciences , tome III.

(**) Journal de F École Polytechnique , 19* cahier.

Les exposans a., G, y, etc., formant par hypothèse une suite croissante, il faut, pour que ces deux séries puissent être identiques, que l'ou ait d'abord

a — o, G =i,y = 3, etc. ,

. et pour quelles le soient effectivement, il faut que l’on ait ensuite

.. rf’P n d' Q

y = n dï> aR = adï’

c rf* R

o a = a -y— , etc.

dx’

Le premier coefficient P demeurera indéterminé; tous les autres s'exprimeront au moyen de celui-là; et cif mettant une fonction arbitraire Qx à la place de P, la série (a) deviendra

u = <px + a (t — h) 4-

dx t

résultat que l’on peut aussi déduire de la série (i), combinée avec l’équation (a), et que l’on peut regarder comme la valeur la plus générale de u tant que l’on n’y détermine pas la constante h, puisque alors la valeur quelconque de u est certainement développable, en vertu du théorème de Taylor, suivant les puissances entières et positives de la différence t — h.

11 est bon d’observer qu’il n’en serait plus de même si l’on donnait à h une valeur déterminée, si l’on faisait h = o, par exemple, c’est-à-dire, si l’on supposait la valeur de u développée suivant les puissances croissantes de t. En effet, toute fonction d’une variable t n’est pas développable suivant ses puissances ascendantes: il y a des fonctions qui ne peuvent se développer que suivant les puissances descendantes de la variable; et la fonction u étant 'inconnue, elle peut être de cette espèce. Par conséquent, si l’on faisait h — o dans l’équation résultant de la substitution de la série (a) dans l'équation (5f, il faudrait supposer successivement croissante et décroissante la suite des exposans et, G, y, etc.; on en conclurait deux systèmes différons de valeurs de ces exposans et des coefTiciens P , Q, R, etc. ; et pour avoir la valeur la plus générale de u, on devrait prendre la somme des deux expressions correspondantes de la série (a). La même remarque s'applique à teus les cas semblables, et en parti-

culter, ii la valeur suivante de u, dans laquelle on devra aussi laisser la constante h indéterminée pour que cette valeur conserve toute sa généralité.

Soit actuellement 6 = a: — A. Les cocfficiens de la série (i) étant alors des fonctions de x, si on les substitue dans l'équation (3), on aura

~ (x — h,' -t- ÿ (x — h): + ^ (x — A)»4-etc. —

aaia. — i )P(x — A)‘,+a£(£ — i )Q(x-A)c— ’-f-a }(y-i )R(x-A)>~:‘+etc.

Puisque les exposans a, S, y, £ , etc., forment une suite croissante, il faut, pour que ces deux séries puissent être identiques, que le premier terme de la seconde disparaisse, ce qui exige que l’on ait a = o ou *= i. Dans le cas de a. = o, il faudra que les autres exposans S, y, J', etc., soient les nombres pairs a, 4, 6, etc., et dans le cas de a — i , qu’ils soient les nombres impairs 3,5, 7, etc. Ensuite on aura, dans le premier cas.

i.j.aQ = jj-, 3.4-hR

dt ’

etc. ,

et , dans le second ,

x r» dp a.3.«Q = -j-.

< . 5 . nR = — .

La formule (1) donnera donc pour u deux séries, dont l’une procédera suivant les puissances paires de x — h, et l’autre suivant les puissances impaires. Dans chacune d’elles le premier coefficient P restera indéterminé; tous les autres s’exprimeront au moyen de P; et en désignant celui-ci par 4* dans la première série, par 'Pt dans la seconde, et prenant pour u la somme des deux séries , nous aurons

(x — hy d j 1 1.2 .a dt (x—hÿ d+t