Early
Journal
Content
on
JSTOR,
Free
to
Anyone
in
the
World
This
article
is
one
of
nearly
500,000
scholarly
works
digitized
and
made
freely
available
to
everyone
in
the
world
by
JSTOR.
Known
as
the
Early
Journal
Content,
this
set
of
works
include
research
articles,
news,
letters,
and
other
writings
published
in
more
than
200
of
the
oldest
leading
academic
journals.
The
works
date
from
the
mid-‐seventeenth
to
the
early
twentieth
centuries.
We
encourage
people
to
read
and
share
the
Early
Journal
Content
openly
and
to
tell
others
that
this
resource
exists.
People
may
post
this
content
online
or
redistribute
in
any
way
for
non-‐commercial
purposes.
JSTOR
is
a
digital
library
of
academic
journals,
books,
and
primary
source
objects.
JSTOR
helps
people
discover,
use,
and
build
upon
a
wide
range
of
content
through
a
powerful
research
and
teaching
platform,
and
preserves
this
content
for
future
generations.
JSTOR
is
part
of
ITHAKA,
a
not-‐for-‐profit
organization
that
also
includes
Ithaka
S+R
and
Portico.
For
more
information
about
JSTOR,
please
contact
support@jstor.org.
Sur les Eqtuations aux Derivees Partietles de la Physique
Mathe'matique.
PAR H. POINCARE.
Je rappelle quel est le sens de cette notation dV dont il sera fait un frequent
usage dans la suite. Soit un element de surface quelconque; et a , ty les trois
cosilnus directeurs de la normale 'a cet element; nous posons:
dV dV dV dV
dn- dx dy +'Ydz
Ainsi dans le probleme hydrodynamique, nous retrouvons la meme equation
differentielle que dans les problemes thermique et electrique; les conditions aux
limites seules diff6rent. II en sera encore de melme dans le probleme de l'induc-
tion magnetique.
Supposons un ou plusieurs aimants permanents mis en presence d'un corps
magnetique parfaitement doux M. I1 s'agit de trouver une fonction V (le
potentiel magnetique) qui satisfait 'a l'equation de Laplace dans toute la por-
tion de l'espace qui n'est pas occupee par des aimants permanents et qui est
assujettie en outre aux conditions suivantes. Aux divers points oiu il y a
du magnetisme permanent, AV n'est pas nul, mais peut etre regarde coinme
donne. La fonction V est continue dans tout l'espace; ses derivees sont con-
tinues a l'iDte6rieur du corps M et a l'exterieur- de ce corps, mais elles sont
discontinues 'a la surface du corps M. Dans le voisinage de cette surface,
edV aura donc deux valeurs diff6rentes selon qu'on se placera a l'interieur
Partielles de la Physique Mathe6rnatique. 213
ou a l'exterieur da corps M; mais le rapport de ces deux valeurs sera une con-
stante donnee.
Ici encore, nous retrouvons la mnemeequation differentielle, avec des con-
ditions aux limites analogues quoique diff6rentes.
Voici mnaintenant des cas oii l'6quationdiff6rentielle est legerement modifiee.
Supposons que l'on cherche la loi du refroidissement d'un corps solide isole
dans l'espace. I1 s'agira de trouver une fonction V satisfaisant a l'equation
dV kA V,
dt
et qui de plus est donnee pour t = . :Enfina la surface du corps le rapport de
dV
Va est donnee.
dn
Dans les problemes d'optique, on a trois fonctions inconnues it V, w et
quatre 6quations:
d2u d2v d2w du dv dw
d2 A, dt2 -kAv dt2 --W , dx + dy + dz - .
Les conditions aux limites varient suivant les problemes; mais dans les questions
de diffractionprincipalement elles ne sont pas sans analogie avec celles que nous
avons rencontreesjusqu'ici.
Ce sont encore les m'enes equations, avec des conditions aux limites ana-
logues, quoique differentes, que l'on rencontre dans le probleme de la viscosite
des liquides, trait6 d'apres des idees de Navier. Les recents travaux de M.
Couette ont rappele l'attention sur cette question, qui 6tait tombee dans un
injuste oubli, malgr6 le beau chapitre que Kirchhoff y avait consacre dans sa
Physique Mathematique.
La theorie de l'6lasticite nous offre des 6quations plus compliquees, mais
qui ne diff6rentpas beaucoup des pr6cedentes.
On a encore trois fonctions inconnues u, v, w, auxquelles j'adjoindrai la
fonction auxiliaire 0 = du + dv+ dcwet trois equations dont la premiere s'ecrit:
dx +dy + z
Au + X dO = O
Je n'ecris pas les conditions aux limites tout 'a fait analogues, mutatis mutandi-s,
a celles des problnemesprecedents et je passe immeudiatementa une question tres
214 POINCARE': Sur les Equations ax. Derives
?1.-Probleme de Dirichlet.
Le Probleme de Dirichlet enonce plus haut est toujours possible; ce prin-
cipe est connu sous le nom de principe de Dirichlet et la premiere demonstra-
tion est due a Riemann. Si une fonction Vest assujettie a prendre des valeurs
donnees aux divers points d'une certaine surface, limitant un certain volumneo'i
le fonction et ses d6rivees sont continues, l'integrale triple:
47t
do de S.
etenduea tous les 61meirents
Donc quandon saura trouverles fonctionsde Green,on saura resoudrele
probleme de Dirichlet.
D'autrepart la recherchedes fonctionsde Greense ramene,a l'aide de la
transformationpar rayonsvecteurs r6ciproques,aiuprobleme de la distribution
6lectrostatique a la surface d'un conducteur.
Ce probleme de la distribution 6lectrostatique n'est qu'un cas particulier du
probleme de Dirichlet, et cependant nous voyons que le cas general s'y ramene.
La methode alternante de Murphy permet d'ailleurs de ramener le probleme de
la distribution a la surface de plusieurs conducteurs isoles, au cas d'un conduc-
teur unique. Nous ne nous occuperons donc plus desormais que du cas par-
ticulier oiu l'on cherche la distribution 6lectrostatique 'a a surface d'un seul
conducteur, puisque le cas gen6ral 1 y ramneh.
Que devons-nous penser des methodes propos6es jusqu'ici? Ce sont a la
fois des-methodes de demonstrationdestinees a etablir la possibilite du probleme
et des methodes de calcul destinees a le resoudre effectivement. Comme
m6etlodes de demonstration, elles sont assez compliquees, mais elles se com-
pletent mutuellement de fapona s'appliquer a tous les cas et a satisfaire les juges
plus severes au sujet de la rigueur.
Comme methodes de calcul, elles ne valent rien; car personne n'aura
jamais l'idee de les appliquer; meme les plus simples d'entre elles, celles de
Neunmanni ou de Robin, conduisent a des calculs inextricables d6s la seconde
approximationi. Tout ce qu'on peut esperer en tirer, sans un labeur par trop
ecrasant,ce sont des inegalites assez grossieresauxquelles sera sommise la capacite
du conducteur.
Tel est l'etat actuel de la question; voyons maintenant quel est le but que
je me suis propose; ce qui euit ete le plus interessant, c'euit6te de remplacer les
methodes de calcul actuel par d'autres moins defectueuses. Je n'ai pu le faire,
je me suis borne a chercher une methode de demonstrationplus simple que celles
qui ont ete proposeesjusqu'ici et directemientapplicable a tous les cas.
218 POINCARE: Suar les Equations aux Derivees
Nous devons en conclure que cette fonction est 6gale aiupotentiel de diverses
masses 6lectriques distribu6escomme il suit:
1?. Une masse egale a 1 au point P.
MP -W- 0
a l'ext6rieur de S et
P - W- U>O
a l'inaterieurde S. c. Q. F. D.
40. Supposons que nous nous proposions de trouver uinefonction V qui satis-
fasse "al'6quation de Laplace a l'interieur de la sphere S et qui aux differents
points M de la surface de cette sphere prennent des valeurs donn6es VO.
La valeur de cette fonction V en un point P interieur a la sphere sera
l'integrale 4RI_ O P dV3 i
J 47tR MP 3
est convergente en un point int6rieur a sph6re 8, que tous ses termes soient
positifs a l'interieur de cette sph6re et satisfassent tous a 1'6quationde Laplace,
cette s6rie sera uniform6mentconvergente a l'interieur de toute sphere interieure
elle-meme a S.
Soit en effet V1 la valeur de V7 en un point quelconque de la surface de S;
d'apres l'hypothese VI sera essentiellement positif de sorte qu'on pourra 6crire:
R+OP pV,?d R- OP Vd
(B OP)2J 47tR' (R+OP)2 47tR
Si maintenant nous appelons VI'la valeur de VJau point 0, centre de la sph6re,
on aura V Y
PVido
J4AtR2 X
Si done la serie converge au point 0, elle convergera en tous les points interieurs
a 8, et la convergence sera uniforme a l'interieur de s.
I1 suffit d'ailleurs que la serie converge en un point P quelconque pour
qu'elle converge au point 0; on a en effet:
VI<i V (R + - OP)2
R (R OP)'
Ainsi si la serie converge en un point quelconque interieur a S, elle convergera
encore en tous les autres points interieurs a 8, et la convergence sera uniforme
dans toute sphere interieure a S..
Partielles de la PhysiqjueMathnmatique. 221
d2 V1 + d2 2 d2 Vn +
dxdy dx+y + dxdy
x
est une fonction finie et continue ainsi que toutes ses derivees et que cette fonc-
tion satisfait a 1'6quationde Laplace.
Le theoreme demontre pour une sphere, s'etend aisement a une region R de
1'espace.
Si dans la r6gion R les fonctions
...I. Vl V27 * Vn * 0 0
sont positives et satisfont a 1'6quationde Laplace.
Si en un point de cette region la serie
Vl + V2 + *- 0 + Vn + * 0
converge, elle convergera dans toute la region et la somme sera. une fonction
finie et continue qui satisfera a I'equation de Laplace.
Ces preliminaires poses, je puis aborder le probleme que j'ai en vue. I1
s'agit de demontrer la possibilite de I'equilibre 6lectrostatique a la surface d'un
conducteur isole.
Je supposerai qu'en chaque point de la surface de ce conducteur il y a un
plan tangent determine et deux rayons de courbure principaux determines. Ces
222 POINCARE: Sur les Equations acuxD6rivees
jouissant des deux proprietes suivantes: 1?. Chacune de ces spheres sera tout
entiere exterieure au conducteur. 20. Tout point de l'espace exterieur au con-
ducteur appartiens aiumoins a une des spheres du syst'eme.
Cette proposition paraltra presque evidente a qui voudra se donner la peine
d'y reflechir.
Nous croyons neanmoins devoir la demontrer en quelques mots.
I1 s'agit de deniontrer que l'on peut trouver a l'exterieur du conducteur une
infinite de pgints
Cl C27 * - *, C, **
tels que pour tout point M exterieur au conducteur, il y ait un point 07i plus
rapproche du point M que de la surface du conducteur. Et en effet s'il en est
ainsi et que du point Ci comme centre on decrive une sphere Si ayant pour rayon
la plus courte distance de C, a la surface du conducteur, la sphere Si sera tout
entiere exterieure au conducteur et le point Msera interieuira la sphere S,.
Cherchonsdonc a etablir l'existence des points Cd.
Consideronsd'abordune region finie R situee a une distance finie de la sur-
face du conducteur et soit 6 la plus courte distance de la region R a cette surface.
Cela pose consideronsle triple systelmede plans:
X-l y 2 Z 3
paralleles aux trois plans de coordonnees. Les trois quantites M1, M2, m3 sont
des nombres entiers positifs ou negatifs. Ces plans partageront 1'espaceen une
infinite de cubes egaux dont la diagonale est egale a S.
Ceux de ces cubes qui appartiendront en totalite ou en partie a la region R
seront en nombre fini. Soient
K1, K2,. K., 1n
Partielles de la Physi'que Mathematique. 223
?OM
'
lorsque le point Mlix(x,
y, z) est exterieur a. On a dans tous les cas
0< VO_1
et V0tend vers 0 quand le point M s'eloigne indefiniment.
Nous allons faire maintenant une serie d'operations que je vais definir.
Nous avons vu plus haut que si une masse electrique P se trouve a,l'inte-
rieur d'une sphere S, on peut la remplacer par une masse egale distribuee a la
surface de la sphere de facon que la densite en cjhaquepoint de cette surface soit
en rayon inverse du cube de la distance de ce poinit au point P. Le potentiel
par rappQrta un point exterieur^a S n'est pas change, le potentiel par rapport a
un point interieur est diminue.
On peut appeler cette couche electrique repandue a la surface de S la couche
e&quivalentea la masse unique P.
Cela pose, supposons qu'on remplace toutes les masses 6lectriques qui
peuvent exister a l'interieur d'une sphere Si par la couche equivalente repandue
'ala surface de cette sphere. Le potentiel en un point exterieur 'aS ne changera
pas, le potentiel en un point interieur a Si diminuera. Cette operation pourra
s'appeler: " balayer la sphbre Si."
Nous partons de la masse electrique repanduesur ; et dont le potentiel est
V0. Chacun des points de ; appartenant a l'une des spheres Si, quelques-unes
de ces spheres contiendront de l'electricite; soit S1 une de celles qui en contien-
Partielles de la Physique Mathe6matique. 225
I1 est aise de constater que de cette fapon chaque sphere est balayee une infinite
de fois.
Soit ensuite V7 ce que devient le potentiel V0apres la premiere operation,
V2ce que devient V1apres la seconde op6ration; soit enfin V,, ce qui devient le
potentiel apres n operations.
Supposons que la ne operation consiste a balayer le sphere S,. On aura:
V, = V,- 'a1'exterieur de Sk,
Vn< Vn_ - a l'inaterieurde Sk.
On aura donc dans tous les cas:
J
Vn Vn-1.
Cette in6galit6 montre qu'en un point quelconque de 1'espace V. est toujours
decroissant (ou du moins toujours non-croissant) quand on fait croitre l'indice n.
I1 importe de remarquer qu'il n'y a aucun moment et en aucun point de
masse electrique n6gative. Au debut nous avons sur la sphbre 1 une couche
6lectrique uniforme et positive. Aucune des operations subse6quentesne peut
introduire de masses negatives. En effet le balayage d'une sphere quelconque
consiste a remplacer les masses electriques positives situees a l'interieur de cette
sphere par des couches equivalentes positives repandues a la surface de cette
sphere.
On a donc Vn> 0.
Ainsi en un point quelconque de 1'espace V, est toujours positif et decrois-
sant. Done quand n croft indefiniment, V, tend vers une limite finie et deter-
miniee que j'appelle V. J'ai donc demontre 1'existence d'une fonction V definie
en tous les points de 1'espace. 11 reste a etudier les proprietes de cette fonction.
Considerons une quelconque des spheres Si. Par hypothese cette sphere
sera balayee une infinite de fois. Supposons qu'elle le soit a la ao4operation, a
la a2....'a la a.. Apres chacune de ces operations, il n'y aura plus
d'electricite a l'interieur de Si de sorte qu'on aura:
ATV o (oia,, a2 ,a3.
226 Sur les Equations aux Derive
POINCAREI:
La diff6rence u= -
est un potentiel du'aux masses electriques qui engendrent Vn,et qui toutes sont
positives et exterieures a a, et a une masse - r concentree au point C et par
consequent interieure a a. Toutes celles de, ces masses qui sont exterieures a Cy
sont positives. Donc a l'exterieur de a, la fonction U ne peut avoir que des
maxima et pas de minima. A la surface de a, U est nul, car
r
V4 1.-
MC
r
11 est donc clair que quand la distance MMotend vers 0, V tend vers 1.
C. Q. F. D.
La fonctiQn V satisfait donc bien aux conditions que nous nous etions
de Dirichlet est 'tabli.
imposees et le pri,nci7pe
Voyons maintenant si on peut se debarrasser des conditions restrictives que
nous nous sommes imposees, a savoir que le plan tangent et les rayons de cour-
bure principaux sont determines. Nous ne nous sommes servis de ces condi-
30
228 POINCARE:Sur les Equationsautx Driv&ees
Donc limV 1. C. Q. F. D.
Parmi ces points singuliers les plus interessants sont les points coniques
que nous allons etudier de plus pres.
Je suppose qu'une partie de la surface du conducteur C soit une portion de
cone de revolution. Soit Mole sommet de ce c6ne. Je dis que V tendra vers 1
quand le point M se rapprocheraindefiniment de Mo.
Mais pour cela il est necessaire de d6emontrerle lemme suivant:
Soit S une sphere fixe, C un cercle fixe sur cette sphere, P un point fixe
Pcartiellesde la Physique Math6matique. 229
A ce point de vue, la methode que j'expose ici offriraa cette analyste habile
d'assez grandes ressources a cause de son elasticite (si j'ose m'exprimer ainsi).
Le choix des spheres S1, .... S. reste arbitraire dans une tr6s large mesure;
d'ailleurs on peut sans rien changer a la methode remplacer la sphere . par
d'autres surfaces, ou meme prendre pour V7 une fonctibn potentielle quelconque,
pourvu qu'elle se reduise a 1 l'int6rieur du conducteuret que les masses elec-
triques qui l'engendrent soient toutes positives.
On pourra encore remplacer les spheres Si par d'autres surfaces, pourvu que
l'on sache construire sur cette surface la couche equivalente a une masse elec-
trique donnee interieure a la surface. On con9oit qu'on pourra profiter de toutes
ces facilites pour adapter le mieux possible la methode a chaque cas particulier.
Parmi ces perfectionnements dont la m6thode est susceptible, il en est un
qui me parait fort important. Nous avons construit les sphbres S, de fagon que
tout point exterieur au conducteursoit interieur au moins a l'une de ces sphbres.
Imaginons qu'on construisa seulement assez de spheres Si tout entieres exte-
rieures au conducteur,pour que tout point exterieur au conducteur et int6rieur'a
; soit interieur au moins a l'une de ces spheres. Les sph4res Si dont le rayon
doit atre fini des qu'on est a une distance finie du conducteur, empeiteront
d'ailleurs sur la region exterieure a
Dais ces conditions tout point de 1'espaceest ou bien interieur au conduc-
teur C, ou int6rieur a l'une des spheres S, ou ext6rieur "a .
I1 ne peut etre a la fois interieur a C et interieur a Si, ou bien inteiieur a
C et ext6rieur a 5; mais il peut etre a la fois int6rieur a deux ou plusieurs des
spheres Si, ou int6rieur a l'une ou plusieurs de ces spli6res et ext6rieur "a .
Nous avons vu plus haut comment on pouvait remplacer une masse 6lectrique P
interieure d'une sphere 2, c'est-a-dire par une couche electrique r6pandue a Ia
surface de la sphbreet dont le potentiel soit 6gal a celui de la masse P a l'exte-
rieur de Z et plus petit a l'iiiterieur.
Je dis maintenant qu'on peut egalement remplacer une masse 6lectrique Q
extgrieurea la sph6re ; par une couche equivalente, c'est-a-dire par une couche
6lectrique repandue a la surface de 2, et dont le potentiel soit 6gal a celui de Ia
masse Q a l'interieur de 2 et plus petit a l'ext6rieur.
En effet soit 0 le centre de 2 et R son rayon; soient P et Q deux points
situes sur un niiemerayon vecteur OP et tels que:
OP . OQ-=R2.
Supposonisque P soit interieur a Z; Q sera exterieur 'a1.
232 POINCARE: Sur les Equations aux Derivees
a l'exterieur de s: W< OP
'al'int'er-ieurde X: W= /OpQ
ce qui montre que quand n croit indefiniment V, tend vers une limite finie et
determin6e que j'appelle V. Pour un point interieur a C on a V = V,.
On verrait, comme plus haut, qu'a l'int6rieur de chacune des spheres ASi,et
par consequent pour tout point exterieur a C, la fonction V est finie et continue
ainsi que ses derivees et satisfait a 7e'quationde Laplace.
On verrait egalement que V tend vers 0 quand le point 1 s'eloigne indefini-
ment. I1 me reste a montrer que V tend vers U quand le point M se rapproche
de la surface C.
Nous supposerons pour fixer les idees que le point M se rapprocheindefini-
ment d'un point Mode la surface C en restant exterieur a cette surface.
Nous construirons une sph6rea tangente 'a a surface C en MOet de rayon
assez petit pour etre tout entiere interieure a C.
Le principe de Dirichlet etant demnontr6pour une sphere, nous pourrons
construiireune fonction W qui a l'ext6rieur de la sphere satisfasse a l'6quation
A W- 0, qui se reduise a 0 a l'infini, et a V0a la surface de la sph6re.
Quand le point M tendra vers No, la fonction W tendra vers V0et par con-
sequent vers U.
Comparonsles fonctions V1,et W.
Partielles de la Physique Math6matique. 235
A la surface de a, on a:
V. = Vo= W.
A l'infini, on a: V.= 0 = W.
Maintenant V,, et W sont deux potentiels; le premier est engendr6 par des
masses 6lectriques toutes positives et dont quelques unes sont exterieures 'aa;
le second par des masses qui sont toutes int6rieures 'aa.
Done a l'exterieur de a la difference V, - W peut avoir des maxima, mais
pas de minima; et comme elle est nulle a la surface de a elle sera toujours posi-
tive. On a donc:
VO> Y. > W et par consequent 'a a limite VI> F> TV.
Quand M tend vers Mo, VTet W tendent tous deux vers U. Donc V tend aussi
vers U. C. Q. F. D.
Le principe de Dirichlet est ainsi etabli pour la region exterieure a C; on
le d6montreraitabsolument de la meme maniere pour la r6gion interieure.
20 cas. Supposons maintenant qu'on puisse trouver une fonction Vo qui
soit finie et continue ainsi que ses derivees des deux premiers ordres, qui se
reduise 'a 0 a linfini et a U a la surface de C. (Nous ne supposons done plus
que A V0est toujours negatif.) On pourra trouiverune fonction V0satisfaisant a
ces conditions toutes les fois que la fonction UIseraelle-memefinie et continueainsi
que ses deriveesdes deux premiersordres.
La fonction V0pourra etre regard6e comme un potentiel engendr6 par des
A
masses 6lectriques r6panduesdans tout 1'espaceavec une densite - . Seule-
ment comme A Von'est pas toujours negatif, les masses ne seront pas toutes posi-
tives. Nous pourrons alors ecrire:
V,, et Vo' n'etant engendres que par des masses positives, on pourra, comme nous
venons de le voir, construire des fonctions V' et V" qui satisferont a l'equation
31
236 POINCARE: Swr les Equations8 aux Deriv6es
(Cela n'aura lieu que pour les points de C dans le voisinage desquels U est
continue.)
Nous pourrons alors construire deux series de fonctions
V1)2 V,2; .... ) Vn i .... ; Vll V2/) .... 7 Vn/
telles que A Vn =0 AV,' = 0
al'exterieur de Cet V. Un V.'== U.
et 2-< U+
v< V.,.< U./ + iE. C. Q. F. D.
?2.-Probleme de Fourier.
Le probleme de Fourier a pour objet l'etude du refroidissement d'un corps
solide rayonnant. J'ai donne de ce probl'eme,dans une note inseree aux Comptes
Rendus, une solution plus rigoureuse et plus coinplete que celles qui ont ete pro-
posees jusqu'ici. Bien qu'elle ne soit pas encore entierement satisfaisante, je
crois qu'il ne sera pas inutile de la rappeler et de la developper ici; car elle va
nous servir de point de depart naturel pour ce qui va suivre.
Consideronsun corps solide homogene et isotrope, isole dans un milieu inde-
fini h travers lequel la chaleur se propage par rayonnement. Soit V la tempera-
ture d'un point du corps; ce sera une fonction de x, y, z et t ; soit 0 la
temp6rature ext6rieure. On aura, a l'interieur du corps:
dV = a2AV (1)
238 POINCARE: Sur les Equations aux Deriv&s
sont des coefficients constants que je supposerai rang6s par ordre de grandeur
croisante et que je determineraiplus completement dans la suite.
Enfin pour achever de definirla fonction.U, nous ajouterons que l'integrale
fu~di
etendue a tonis les elements de volume dr du corps solide doit etre egale a 1.
Nous allons pour dermontrerl'existerice des fonctions Un employer une demon-
stration analogue a celle par laquelle Riemann etablit le principe de Dirichlet.
Soit F une fonction quelconque et posons:
A= F2dt,
2 Uldc = 0,1
Uj1
1 r rz~fdUi d3U + dU1 d3U1 + dU7ld31%\d_ 0.
2 .-=hj IJ8UioUid+J dx dy dy dz dz 2
Or le th6oreme de Green nous donne:
f(dUi d U dUj d dU
Ui+dUi U) dr fdUi rUdc-C A U Udr
J- ady + dz dz dn 1 J
1 AB~~
( Ul +d l AUldo -A UjlUldrn o.
SB doit s'annuler toutes les fois que MAs'annule. On doit donc d'apres I'une
des regles du calcul des variations, pouvoir trouver une constante k1telle que
M - k1Mi
soit nulle quel que soit SU1. On doit donc avoir identiquement:
ce qui exige que tous les elements des deux integrales soient nuls ou que l'on
ait a la surface du corps
U
dU
din + U=
240 POINOARE: Sur les Equations aux Deriv6es
et a l'interieur: 1U
A U1+ k U=
On a d'ailleurs par bypothese:
A=fU129d= 1.
B = kf Uj2dr= kl.
Ainsi k1n'est autre chose que la valeur du rapport B pour F= U1. Comme
ce rapport atteint son minimum pour F= U1, nous devons conclure que k1est
le minimum du rapport .
Prenons pour F une valeur quelconque, nous obtiendrons une certaine
valeur de A qui sera plus grande que c1. C'est donc un moyen de trouver une
limite superieure de k1.
Faisons par exemple F= 1.
I1 vient: A= fd = volume du corps solide,
Le rapport kAest donc toujours plus petit que le rapport de la surface du solide
a son volume.
Cherchonsencore une autre inegalite.
Appelons W le volume du corps solide et S sa surface.
Prenons pour origine des coordonnees le centre de gravite du volume du
corps,
Partielles de la Physique MIathgmatique. 241
c'est-a-dire le moment d'inertie de la surface par rapport au plan des yz. Soit
xo la distance du centre de gravit6 de la surface au plan des yz. Posons:
M1 xo0S= zfxd .
Faisons maintenant: F= ax+ 1,
a etant une indeterminee; il viendra:
A f (aXc+ 1)2%r=a2I+W,
h U2 + dU2 _0o
dn
et 'a l'interieur:
A U2+ kU2 + 2 U1= 0.
Calculons X, et k2. Nous trouvons d'abord:
U1AU2d +k2iUfU1U2dr
+ IU?2dr 0.
Or f
U,2d =1 C=fU1U2d=o0,
on aura done: 1+ U1AU2d = O.
Mai, A U, k, Ul.
Done X f
UI U2d = - =0 .
Done ,%est nul.
II vient donc A U2+ k2U2=O
d'ou~t: JUAU2 dz + 7lf Ud2dr=0.
Partielles de la Physique Mathkmatique. 243
Or A=f U:2der 1.
Done:
k2 = 2TAU2d =-f U2 2 d6+f[( 2)+ ( +
dU)2d+er
ou:
k2= hf U2d6+fJ ( J)rdt - B.
Ainsi k2n'est autre chose que la valeur de B qui corresponda F= U2 1kc e6tait
la valeur de B qui corresponda F= U, et au minimum de B.
Par consequent on a:
k1< k2
et d'ailleurs: dU2- + h a la surface du corps,
dn U2 = 0
A\ U2 + k2112= 0 a l'interieur,
f Udr = 1 fU1 2dv o=.
et choisie d'ailleurs de telle sorte que B soit aussi petit que possible.
On devra avoir: B= O
toutes les fois que
SA=o, SC=o, SD=O.
On pourra done trouver trois constantes ?l, ?L2et k3 telles que l'on ait identiqueo
ment : B - k3SA- 21S - 2%2SD= 0.
On demontrerait ensuite comme on l'a fait plus haut que t, et a2 sont nuls et que
k3est la valeur de B qui correspond a F= 13.
32
244 ,Sur les Equations aux DMrivges
POINCAR1E:
D'apres la definition de U3, k3 est donc la plus petite valeur que puisse
prendre l'expression B quand la fonction F est assujettie aux conditions:
D'autre part 7I2etait la plus petite valeur que pouvait prendre B quand F etait
assujettie aux deux premieres de ces conditions seulement. Done:
7C3> I2.
dUPh=
dn +hp
et a l'interieur: Up= 0.
U,v+ 71p
Les coefficientskp sont des colnstantespositives et telles que:
7+> >1 kp.
Enfinona f
Uii di pourp>q
et u.
Ce raisonnement est sujet aux mnemesobjections que celui par lequel Riemann
etablit le principe de Dirichlet. Nous nous en contenterons toutefois pour le
moment, nous chercheronsdans la suite a le rendre plus rigoureux.
Ces fonctions U. ont ete eritiarementconstruites par Lame dans certains cas
particuliers, par exemple dans celui de la sphere et celui du parall6lipipede.
Dans celui du parallelipipederectangle dont les trois dimensions paralleles
aux trois axes sont 2a, 2b et 2c, l'expression des fonctions Up,et des coefficients
kc1est particulierementsimple.
Partielles de la Physique Math6mnatique. 245
ou a cause de ti, = 0 ou 2
=- ml 6tant entier.
On a alors: k= ( M+ 2 m+ 7)
ou puisque t = 0 ou
kLaisson mn a+ de e + 4
cas general; il est clair que, pour un meme corps, kl, k2, k. sont des fone-
tions du pouvoir emissif h. Je dis que ces fonctions sont toujours croissantes.
Soient en effet h' et h" deux valeurs du pouvoir emissif; soient pour un corps
donne, k' et k'' les valeurs correspondantesde k-, et UZ'et UITIles fonctions U,
correspondantes. On aura:
a la surface du corps
dU' dUll
dn +h = dnn + h"lUnt =3
et a l'interieur du corps:
Unl + kn/Un A Un/+k' Un// =O. (4)
Le theoreme de Green nous donne:
Dans cette identite rempla9ons A Un, AUin, dn ' dn par leurs valeurs tirees
des equations (2) et (4), il viendra:
(h' - I .
(nk- 7k U)fU Unld
UM) U. U.d-
Supposons que h' et h" differe tr6s peu de telle sorte que
h" - h' =dh, kn'- kn. dkn,
U = Un a des infiniments petits pres, il vient:
dh _ -WS '
dk1
d'ou: = hfUJdu2
lDn
+,/f[(dM)2+(dU8)2+ kn(dUn)2]
2z d2x
>~~~~U 2d dU
d
U,
1< kn dh
h dkn
et dkn dh
on aura k' > k"/. D'apres ce que nous venons de demontrer, k' et k"'sont deux
fonctions croissantes de h.
Maintenant,supposons qu'il y ait n - 1 nombres k inf6rieurs a la fois "ak et
"a7i. Nous devrons, d'apres nos conventions, appeler knla plus petite et kn+
la plus grande des deux quantites k' et kAl. Nous aurons done:
k' = kn k"/=kn?1 pour h < ho
et =
Fk"= k = kn+1 pour h > ho.
Les fonctions k' et kl' 6tant continues et croissantes, les fonctions kn et kn+
definies comme nous venons de le faire seront aussi continues et croissantes.
En resume, dans tous les cas possibles, knest une fonction croissante de h;
kn,atteint donc sa plus petite valeur pour h = 0.
Nous allons donc etudier la valeur de kn pour h = 0.
Decomposons le volume de notre corps solide, d'une maniere quelconque,
en p volumes partiels. Consid6rons chacun de ces volumes partiels comme un
corps solide de meme conductibilite que le solide donne et dont la surface est
impermneablea la chaleur. Soient:
Ul, 1 L.a , , Uln *
Upl Up2,
7 - Upn)-*-
les fonctions U relatives a ces p solides.
Soient: kll k12 , . *
.
kp1 , k2 kpn
les nombres k correspondants.
Comme pour chacun des p solides partiels on a h = 0, on aura:
kll- k2l =. . .. =kpl =O
dV d+ =-V r VAvdi.
Le second membre peut s'ecrire (en vertu de I'equation A Ui + kiUi = 0):
= 1,
ou encore (en vertu des relationsf U;dUr f = 0):
U, UKder
kja2 + 4za2+-.***+ kanX
D'autre part on a:
f V2d_ J(a, U.+ a2U2 + ....+ anUn)2d= a2c+ +, + a2
d'oNu
dV2 ( dV)2 (dV 2 _
Jr kiLL+ k2a + ..+
f dx k'a,
______2____+a_
k < ()
Nous pouvons disposer de nos n coefficients arbitraires al, a2,. , ande fagon
a satisfaire a n - 1 conditions. Voici comment nous choisirons ces conditions.
Nous annluleronsd'abord les 2i integrales
f VU11dT, fVU12dt.. , f VU1A&Z
f vuid, =f dnc.= .
VUi12G.r .=
vzl. =
Toutes les int6grales sont supposees etendues au premier solide partiel. Donc
le rapport des deux int6grales B et A 6tendues 'a ce premier solide est plus
grand que ki.A,+?.
On verrait de meme que le rapport de ces deux integrales 6tendues au
second solide est plus grand que k2.,A2+l,etc.; que le rapport de ces deux inte-
grales 6tendues aupe solide partiel est plus grand que k..,, +,.
Donc le rapport des deux int6grales B et A 6tendues au solide total, sera
plus grand que la plus petite des p quantit6s:
k1.\1+1, k2.X2+
1*....k +1 (8)
Mais l'in6galit6 (6) exprime que ce mremerapport est plus petit que k,.
Donc kn est plus grand que la plus petite des quantites (8) pourvu que la
relation (7) soit satisfaite.
Ce r6sultat peut s'6noncercomme il suit:
Rangeons les quantites
I k1
7D1kl2 - kln7
k2l y .. . -.. k2n7
kpl ,..
. . . .I k.pn
par ordre de grandeur croissante. (Il va sans dire que dans la s6rie ainsi obtenue,
plusieurs termes pourront etre 6gaux; c'est ainsi que les p premiers termes qui
sont kll, k217...., k., sont tous egaux a 0.)
Chacun des termes de la serie ainsi obtenue sera plus petit que le terme
correspondant de la serie:
k1, k2, . , kn.
I
33
252 POINCARE: Sur les Equations aux D6riv6es
Cela pose, supposons que notre solide soit un polyedre limite par des faces
qui soient toutes paralleles a l'un des trois plans de coordonnees.
Nous pourrons decomposer notre polyedre en n - 1 parallelipipedesrect-
angles. Soient k k22 . ' n--1.2 (9)
les valeurs de k2correspondanta ces n - 1 parallelipipedes; d'apres ce que nous
venons de voir, la valeur de kncorrespondant au poly6dre total, sera plus grande
que la plus petite des quantites (9).
Si les trois dimensions d'un parallelipipede sont 2a, 2b, 2c de telle sorte que
a > b > c; nous avons vu qu'on a, pour ce parall6lipipede:
k2 - 4a2
Quand n crolt ind6finimnent,on peut faire tendre a vers 0; donc k1 crolt indefini-
ment.
Cela est vrai pour un poly6dre forme comme je viens de le dire; et cornme
on peut construire de pareils poly6dres qui different aussi peu qu'on le veut d'un
solide quelconque, on pourrait dire que cela doit 8tre vrai aussi d'un solide quel-
conque. Mais un semblable raisonnement ne saurait nous contenter.
Pour demontrer le theoreme pour un solide quelconque, je dois d'abord
chercher une linite inf6rieure de k2 pour un solide convexequelconque. Par
solide convexe, j'entends un corps tel que le segment de droite MM', qui joint
deux points M et M' intferieurs au corps, soit toujours tout entier int6rieur au
corps; ou ce qui revient au m5emetel qu'aucune droite ne rencontre la surface
du corps en plus de deux points.
Rappelons d'abord la definitionde ko2;7J2est le minimum du rapport
f[QdJ)d2+ dV 2 dV)2] d
JV2dt
quand la fonction V et assujettie a la condition:
fVd-=0. (10)
Partielles de la Physique Mathrmatique. 253
[ dV 2 dV 2 dYV2]
2W d1
Calculons cette int6grale double en int6grant entre les limites 0 et 2t pour cpet
2
entre les limites0 et 2 pour 0. Le coefficientde (d sera:
entre -~- pour dx/sea
ffjcos2cp =
2- t
sin3OdOdqP
2
Il est aise de voir que le coefficient de -d a la m8me valeur.
Le coefficient de d) sera
Le coefficient de 2 d- sera:
Ceux de
dV dV dV dV
2 d d et de 2 seront:
dx dz dy dz
ffCos cp sin20 cos 0 di dcp =ffsin qpsin20 cos 0 dOdcp= 0.
dp A= Pi dp ( V V')(p- p)2,
B fo dp, po
Nous trouvons:
1 SB =fP dfV d8V
II viendra:
H V [p2 (pl _.po) - p (p2-p2) + pi -P] ap2 + 2gp3- ,
Pour que B soit minimum, il faut d'apres les regles du calcul des variations que
CiBs'annule toutes les fois que J est nul et pour cela il faut que l'on ait:
d2V+
dp2 KH== 0,
L'equation (14) contient encore quatre indetermin6es,al", d", y" et K'. Si nOUS
l'integrons nous trouverons:
V- a"VI+ 9"V2+ y"V3+ Y//V4+ e V5,
V1,72, V73,V74 et V1etant des fonctions entierement connues de t et de K' pen-
dant que Y' et e"sont deux constantes d'integration.
Pour achever de connailtre V il nous restera a determiner les six constantes
a/, ", /y, Si'i, e"I et K'. Pour cela nous avons six equations; a savoir, les trois
equations (13), e'6quationA = 1 et les deux relations
dV dV
pour P = P0? dp 0 pour i-. p
d,o d pur= p
Ces six equations ne suffisent pas toutefois pour determiner completement ces
six constantes et en particulier K'. On trouve pour K' une infinit6 de valeurs
positives. Nous prendronsla plus petite de ces valeurs que j'appellerai K0.
Je n'ai pas besoin pour mon objet de calculer effectivement Ko; il me suffit
de faire observer que c'est une constantenume6rique.
I1vient alors: Ko - 4o
_
50 (P Po)5
258 POINCARE: Sur les Equations aux
Dwrivees
Soit X la plus grande distance de deux points de la surface du corps solide envi-
sage on aura B 2Ko
> ,
A X5
k 6KoW
ces n racines rangees par ordre de grandeur croissante; je dis qu'on aura:
1>k1 2 >k2 3 k>k3... ,I n>kn-
En effet la plus petite valeur que puisse prendre le rapport - quand on fait
varier les a doit etre plus grande que k1. Or cette plus petite valeur est Xj; on
a donc a1> kl.
En vertu de la theorie des formes quadratiques,la forme A peut etre decomposee
en n carr6s et s'ecrire:
A-1 +/2 + n1
Soit X le minimum cherch6 du rapport A . On voit par des calculs qu'il est
inutile de reproduire ici que ce minimum qui nous est donne par l'equation
suivante, dont je vais expliquer la signification:
>;fH2tI ( -;;i) = . (17)
11(a - X) sera le produit de n -p binomes tels que a - -,. Supprimonsdans
les equations (16 bis) tous les g, qui ont meme indice que les a, qui entrent dans
le produit rl (a - Xi); nous appellerons H le determinant des equations lin6aires
ainsi obtenues. Enfin la sommation indiquee par le signe S est 6tendue a toutes
les combinaisonsdes n quantit6s a, prises n - p a n - p.
Partielles de la Physique Mathematique. 261
A= (f2+g2+h)dr=1. (19)
2
L'integrale B df )2+ (dg )2 ()dh]
1 B r d8g dJh d
d=0.
2 T-Jk .dx dy+ dz /
2 SB - dc Sf + d Sg + d M d?_ o.
262 POINcARfi: Sur les Equations a ux Derivees
Pour que 3B soit nul toutes les fois que 3A est nul, il faut donc que l'on ait:
kf + d- = 0 kg + d = 0 kh + d = 0 '(0 (20)
dx ~~dy dz
k 6tant une constante qu'il reste a d6terminer.
Des 6quations (20) on tire par diff6rentiationet addition:
AO + kO= 0
et l'6quation (18) devient: dOf 0.
dn
Cela montre que 0 est l'une des fonctions U que nous avons d6finies plus haut;
ce ne peut etre que U2; on a k k2, et pour 0 Uon
U2 trouve:
ou V
d2V 4A2 V
dt2 aAT7
en convenant de poser:
An V= A (An-IV).
On aura ainsi en general:
d V 2n
= a2"A'avo
dtn
Supposons que les deux plans x = =I 7 qui limitent le mur soient imperm6-
ables a la chaleur ce qui revient a supposer h = 0.
Supposonsde plus qu'a l'epoque t 0; la temperature initiale V0ne depende
que de x et ne change pas quand on change x en - x.
Ces proprietes subsisteront evidemment a une epoque quelconque. Vsera
fonction de x et de t seulement et ne changera pas quand on changera x en - x.
Dans ces conditions on peut poser:
V= c4P (t) cos mx.
264 POINCARE: Sur les Equations aux D6riv&es
mI
Alom() < K
KX
ou
|qkm(t)P < M4* (4)
D'apres un theoreme que j'ai demontr6 dans le Tome III du Bulletin Astro-
nomnique(Sur un moyen d'augmenter la convergence des series trigonomn6triques)
la condition (4) equivaut a la suivante; la fonction representee par la serie
1(x) = ZfqMcos mx
devra etre continue ainsi que ses trois premieres derivees. Or cette fonction est
6gale a Ventre les limites - n et + t; si on est en dehors de ces limuiteson a:
f(x) = V(x + 2z),
p etant un entier positif ou negatif choisi de telle sorte que x + 2pt soit compris
entre - n et + n.
Comme V est continue ainsi que toutes ses derivees, il ne peut y avoir de
discontinuit6 qu'aux deux limites x = + 7z. Si donc nous designons pour un
instant par VI, V"I,etc. les deriv6es successives de V par rapport a x, on devra
avoir: V (n)=V (-t), (5)
V' (7)= V' (7t), (6)
VJ (n) V" (- Az). (7)
V"'f(A) --V"'/ (- -7t) . (8)
La fonction V etant paire les conditions (5) et (7) sont remplies d'elles-m8mes.
D'autre part V' et V"'sont des fonctions imnpairesde sorte qu'on doit avoir:
V' (i)=- V' (-7C), V"' (7) -V"' (-')
et que les conditions (6) et (8) peuvent s'ecrire:
V' (A) =V"' (7C) =O,
Ces conditions,en nombre infini, sont necessaires; j'ignore si elles sont suffisantes
quoique cela puisse sembler probable. Je n'insiste d'ailleurs sur tous ces points
que pour mieux montrer avec quelles precautions il faut toucher aux 6quations
aux d6riv6espartielles.
Passons maintenant a l'expos6 des lois g6n6rales du refroidissement.
Consideronsd'abordl'integrale suivante:
A f VYdr.
Je dis que cette integrale ira toujoursen diminuant; nous trouvons en effet:
dA dV d-,
_=2 rv =2a2fVA Tdr.
dA dt d
11 vient ensuite:
fvA' = V
V dn -f[( 2+ dV)(2 dz)] 2
Je dis maintenant que si h n'est pas nuil,fVY2d tend vers 0 quand t croit
ind6finiment. On a en effet B >
~A > k1
dA
d'o'u dA < 2a2k1,
(FVU- UTzV) d -= 0.
et par consequent:
dB dA r
A -B -a2 2
ii[V'A V-VA V'I]2dr
dt ct..
d'oiu Ad1--B dA <O
dt dt C.Q.F.D.
Nous avons vu plus haut que l'on a:
A < AOe72a2k,t
cette inegalite peut dans certains cas 8tre remplacee par une autre. Supposons
que l'on ait: fVUd f VUd . VlJ> 1dt 0
J. = VUndrt.
I1vient: dJ=a2f u 4Vdr.
d-V
Un'dn d) dw=(UnA V-VA Un)dr.
En vertu des egalites
dn + hV + hUn
fUnA
Vu V VA Ud.d= fknf Vhndr -knJ.
H-J uV,2dr
ol'i V1 represente la temperature a l'instant t et V. la temperature a l'instant
h-t. I1 vient:
dHi
adH '2( V2A V, - VIA V2) dr
dV + hVI = d2 + hV2= 0
le second membre est nul. Donc Hest une constante qui ne d6pend que de h.
Si nous faisons h
il vient: V,V2
et H=j V2d > O.
f V2dr
consideree comme fonction du temps va toujours en decroissant.
h
Donc H qui si l'on fait t = 2 se reduit a
ASo
= Rld
Cherchonsdonc le minimum de l'integrale
fW
Uld= 1, f VoUd== J?)
quand on aura: A, =Jp.
Nous sommes done conduits a ecrire:
VO= J U1l
+ J2U2+ *+ JnUn+ Ro
I1 resulte de la que 1'erreur moyenne commise So va en diminuant quand n
augmente, mais non que cette erreur moyenne tende vers 0 quand n croit au
dela de toute limite. D'ailleurs SOpourrait tendre vers 0 sans que Ro tendit
vers 0.
Rempla?ons toutefois VOpar sa valeur approch6e
p_
P=1
Nous en d6duirons Jp=n
6 p
V_ O-a2kvt up = gJ
p =1
S =R2d,
je me propose de d6enontrer que l'on peut prendre n assez grand pouir que
1'erreurmoyenne S commise sur la temperature a un instant donne soit aussi
petite qu'on le veut.
En effet R satisfait aux 6quations
dB dBi
aAR dn + hR= O.
Si donc la temperature initiale etait R1, la temperature a un instant ulterieur
serait representee par R.
Partielles de la Physique Malth6matique. 273
Or quand n crolt au dela de toute limite, S0 decroit (sans que nous sachions
s'il tend vers 0), k,n+- crolt au dela de toute limite et l'exponentielle 6-a2 1at tend
vers 0. Donc S tend vers 0. C. Q. F. D.
Nous avons done demontr6 que l'erreur inoyenne S tend vers 0, mais non
que R tend vers 0. Cela peut toutefois nous suffire pour le moment. En effet
comment pourrait-il arriver que S tendit vers 0 sans qu'il en fuitde meme de R?
11 faudrait pour cela que la valeur de R subit des oscillations d'autant plus rapides
que n serait plus grand, de telle fa,on que pour n tres grand, R prendrait en des
points tres rapprochesdes valeurs tres diff6rentes. Aucun physicien ne doutera
que si un pareil 6tat de choses existait a l'instant initial, il ne saurait subsister.
C'est ce qui m'engage a me contenter pour le moment des considerations qui
precedent.
Je terminerai ce paragraphepar la remarque suivante:
Si VOest partout positif, V sera aussi positif pour toutes les valeurs de t et
pour tous les points du corps. Or quand t croit indefiniment, le rapport:
V
J, U,
tend vers l'unit6.
DonneU1doit etre une fonction qui est positive en tous les points du corps.
LJegalite fUU,dr= 0 (n> 1)
montre que la fonction U1est la seule des fonctions Un qui jouisse de cette pro-
prikt&.
?4.-Proprietes des Fonctions UT.
Si T est finie et continue ainsi que ses derivees a l'interieur du corps, on aura
d T dcU =O
TJ-
dn dn/
ouou ,f dT d
T7(dn + /h
hTda=0
=0,
les int6grales 6tant etendues a la surface du corps.
Supposons maintenant que la fonction T ne soit plus finie a l'interieur du
corps qu'elle devienne infinie au point (x0, yo, z0)situe a l'interieur du corps;
mais de telle fafon que la diffirence T- -(oI r dsigne la distance des deux
r designant encore la distance du point mobile x, y, z au point fixe x0, yo, z0.
On aura alors: (dT + hT) d = 0 ou -4tUO
Cela va nous permettre de trouver une limite superieure de U0et de ses deriv'ees.
Soit en effet A la plus grande valeur que puisse prendre I Ul a la surface
du corps, on aura evidemment:
A dU0 AP dH
I < 4,g
IUj<47JIt IHI d aX| U < 47i:
A OIdH a.
trO
dxo dxo
Les deux integrales qui entrent dans ces deux inegalites
f HIdo -et f| do
se calculent aisement quand on connait la forme de la surface du corps et le
nombre positif k. Elles ne dependent que de x0, Yo'Zo.
Quant au coefficient A, nous n'avons jusqu'a present aucun moyen de le
determinrer.
Commen?onspar etudier les variations de la premiere integralef IHI dc.
Cette integrale est evidemment finie tant que le point x0, yo, z0reste inte-
rieur au corps. On a en effet:
a 1
36 IHI< + ++
276 POINCARE: Sur les Equations aux Derivees
I1 est aise de voir que quand le point xo, yo, zo se rapproche indefiniment de la
surface du corps, les integralesfdoi Icos et l'integralejdo tendent vers des
limites finies.
Si d'abordle corps est convexe, de telle faponqu'une droite ne puisse couper
sa surface en plus de deux points; cos 4 est positif et 1'on a:
flcos/I do cos4J do -47i.
car l'integrale s'obtient en decrivant du point x0, yo, zo comme centre une sphere
de rayon 1 et en faisant la perspective de la surface du corps sur la surface de
cette sphere,le centre de la dite sphere etant pris comme centre de la perspective.
Un point de la sphere sera alors au plus la perspective de n - 1 points de la
Partielle8 de la Physique Mathekmatique. 277
AinsifIM| eos' dw tend vers une limite finie; ii reste a d6montrer qu'il en
est de meme de fdo
r
] dl
dxo
< dx0 d
fUHd O0ou -
4otU
f UHdc =- 22 CU
tend vers 0 quand le point x1, y0, z' se rapproche indefiniment du point x0, yo z0.
Remarquons d'abord que nous pouvons poser:
H
h Cos4'
H
r r2
H1 a rneme signification que plus haut; HI est forme avec le point xl, yl, z/
comnme H1 avec le poinlt x0, yo, z0; r' designe la distance du point xl, yl, z/ au
point x, y, z et l'angle 41 est defini avec le point xo, yo, zo comme l'angle + avec
le point xo, Yo, Zo
On a done:
fjdc cos do
HIs-
COS4| , 7'1do
tendent vers 0 quand les deux points se rapprochent indefiniment. Cela est
evident pour la troisi'me; car H1est une fonction continue et finie de x0, Yo et Z0.
Demontrons-le maintenant pour la premiere.
Decomnposonsla surface S du corps en deux regions a et a'; et supposons
que les deux points x0, yO'z0et xol,yo,zI appartiennlenta la region a.
Partielles de la Physique Math6?natique. 279
Je dis que je pourrai prendre ces deux points assez rapprochespour que
1 I I
I _ __ do = _ dca+ 1-- do < Ec.
sIr rf I Ir rl
_7 r rf
Tout d'abord nous savons que les deux integrales
rd rd
sont finies et determinees. I1 en resulte que nous pourrons prendre la region a'
assez petite pour que:
r <
<d
E rdw E
3 'Jr, 3
quelle que soit la position du point x', y0, z' dans cette region a d'ou:
1 l l
|dca <
quelconque de la r6gion a'; -i- sera une fonction finie et continue de xz', 4z0
et
cette fonction tendra uniformgmentvers l quand x/, yt, z tendront vers x0, yo, zo.
Cela sera vrai tant que le point x, y, z restera sur la region a', puisque les points
x0, yoI z0et xo, yo,Iz n'appartiennent pas a cette region.
On pourra doiuc prendre le point xl, y', z' assez voisin du point x0, yo, z0
pour que r' <
fH'Ud -
47toU
f(H -H') Ud- 27Uo -4t ( Uo - U->
I1nous faut demontrer que les trois integrales du 2d membre tendent respective-
ment vers 0, 0 et 27tUoquand le point x1, yo, z4 se rapprocheind6finimentdu
point xo, yO, Z0.
Or on a: I (HE1-iH') ud| < Af H1-HI Id
I1 n'y aurait rien a changer a la demonstration que nous avons donn6e dans le
cas qui precede.
De mneineon a:
Ici encore il n'y a rien a changer a la demonstration que nous avons donnee dans
le cas precedent.
I1 reste a 6tablir que:
Je dis que je puis prendre,le point x', y', z' assez voisin de x0, Yo'z0pour que la
diff6rence de 27tTUoet du premier membre de l'identite (2) soit plus petite en
valeur absolue que e.
En premier lieu, la fonction U etant continue a la surface du corps, nous
pourronsprendre la r6gion crassez petite pour que sur cette region on ait:
I u- Uol < ',
<etant une quantite aussi petite que l'on veut. I1 vient alors:
Cos_
-
Cos4) U0)dos~
1<o
|
2 - F2 )(U- UO) dx | < |2o /2
t o- do
II vient donc:
-Co
cos'(rt rti(U- U) d6| < 8 (q - 1) 7t, <e
24(n- 1) A
La region a doit etre regardee maintenant comme entiarement determinee, mais
je puis encore faire varier le point xl, y', zon.
Nous voyons d'abord que le point xo, yo, zone faisant pas partie de la region
at, on a: limfj CosY-Cos4 | do= o,
de sorte qu'on peut prendre le point xl, yo, z' assez voisin du point x0, yo, zopour
que: f jc s/o C |d < E
represente l'angle solide sous lequel on voit le meme contour du point x0, yo, zo.
I1 en resulte que:
lim /2s; dd fcos4; dx + 2A.
On peut done prendre le point xl, y , z- assez voisin de x0, yo, zo pour que
f(cos4' _ cos ) da -2r |<
Partielles de la Physique Mathehmatique. 283
puisqu'elles nous montrent comment on doit choisir les deux points x0, YO'Z0,
x/, yI, z/ pour que I UO- UolIsoit plus petit que E.
Je n'attirerai l'attention que sur deux des proprietes de la fonction 0. Elle
est essentiellement positive et elle tend uniform6ment vers 0 quand le point
I0, yI, ZOse rapprocheindefinimentdu point xo, yv, ZO.
Regardons d'abord le point x0, yi, zo comme fixe et situe sur la surface du
corps et faisons varier le point xl, y', z/. Nous pourrons diviser le volume du
corps en deux regions que nous appellerons R et RI et que nous definirons
comme il suit:
Quand le point x', yl, z6sera dans la region R on aura:
0< 1.
La region R existe certainemnentet son volume ne peut etre nul, puisque 0 est
tres voisin de 0 quand le point xl, y/, z/ est tres voisin de x0, yo' zo.
Si nous supposons en particulier que le point x0 Yo , zo soit celui des points
de la surface du corps oiuiIUl atteint sa valeur inaximum A; on aura:
I UoI>A(1-O)
Soit dTr'l'element de volume du corps dont le centre de gravite est xl, y', zo.
On aura: f
U'2drv' .1, -
asU'dr' < 1,
A2l( - 0)2dtr< 1.
Cette inegalite est vraie pourvu que l'on ait choisi pour le point x0, y0, z0 celui
des points de la surface du corps pour lequel
I Ul =A.
Malheureusementnous ne savons pas quel est celui des points de la surface pour
lequel cela a lieu. Mais nous pouvons tourner la difficulte de la fagon suivante.
L'integrale (1 )2dcr
-
peut etre calculee des que l'on connalt la forme du corps et le point x0, yo, z0.
C'est donc une fonction de x0, yo, zo. Cette fonction ne peut jamais s'annuler.
Elle aura donc un minimum M que l'on pourra determiner des qu'on connaltra
la forme du corps. I1 vient ainsi
A2M< 1
d'ou A< 1
VM
Ainsi nous pouvons determiner une limite superieure du coefficient A et par
consequent une limite superieure des derivees d'ordre quelconque de U en un
point quelconque de l'interieur du corps.
en avons conclu que cette integrale devait avoir un minimum, et nous avons
determine la fonction U qui correspond a ce minimum par le calcul des varia-
tions. Or cette application n'eu2t ete legitime que si nous avions demontre
d'avance la conatinuitede cette fonction U. C'est d'ailleurs la meme objection
qui empeche de regarder comme rigoureuse la denionstration du principe de
Dirichlet par Riemann.
11est vrai que dans le ? precedent, nous avons troiive une limite superieure
de la derivee de cette fonction U; mais, si l'on voulait s'en servir pour justifier
l'emploi du calcul des variations, on commettrait une petition de principe; tout
au plus ce resultat peut-il mettre sur la voie dans la recherche d'une dezmonstra-
tion satisfaisante.
I1 faudrait donc, pour obtenir une the"orieanalytiquement rigoureuse,
employer des procedes analogues a cetix qui permettent d'etablir le principe de
Dirichlet et peut etre des procedes plus compliques encore.
Je ne l'ai pas fait; mais j'ai pense qu'il etait possible d'obtenir une dermon-
stration rigoureuse au point de vue physique de la fagon suivante. Au lieu de
considerer l'equation diff6rentielle de Fourier en elle-meme, rappelons-nous
quelle est sa signification physique et comment on l'a obtenue.
On consid6re un corps solide forme d'un tr6s grand nombre de molecules.
Soient M1, Mi2. ,
C, etant un coefficient qui n'est sensible que pour les molecules superficielles.
286 POINCARE: Sur les Equations aux Derive6es
dt + k=1
ik( VY- Vk)+ Ci Vi ()
En eliminant les n constantes Ui entre ces n equations (2), on arrive a une equa-
tion de degre n en a que j'ecrirai:
F(a)= 0. (3)
Soient a,, a2. an les n racines de l'equation (3); considerons une de ces
racines que j'appelle ao,. Quand dans les equations (2) on fera a = a., ces
equations deviendront compatibles'et on en tirera:
1, U U .n= U UM.
U1=- -
Partielles de la Physique Mathetmatique. 287
On voit deja par l'aque la veritable solution est bien de la forme a laquelle
nous avions ete conduits dans les ??2 et 3. Mais la forme symetrique des 6qum-
tions (2) va nous en apprendre d'avantage. La quantite de chaleur envoyee par
M 'aM1 doit etre egale a celle qiie repoit M?4de Mi, on a donc:
Cik = + Cki .
Si nous regardons U1, U2, ...., U.ncomme les -coordonnees d'un point dans
l'espace a n dimensions, l'equation
cP=1
Soit maintenant:
@- U2 + 2 +... + U2.
La theorie des formes quadratiques nous apprend que l'on peut choisir la decom-
position de 1i de telle sorte que:
E = p2 + pl +*. .+ (p2
ce qui entraine les conditions:
gp1+ U%2 +............+p2 1 (4)
Upi Uql
+ Up2 Uq2 + + Un Un (p q) (5)
d'ou: 1 dp a
2 dU -
Nous retrouvons les equations (2 bis). Les valeurs (7) des. U et la valeur ap de a
nous representent donc une solution de ces equations (2 bis).
Quelle est maintenant la signification de ces nombres a,, a2. ,
a,. Sup-
posons que ces nombres qui sont tous reels et positifs soient rang6s par ordre de
grandeur croissante.
I1 est clair que a, sera le minimum du rapport:
c alip2i + a2cp2 +.... + an
Les 6quations (2) et (2 bis) sont analogues aux equations qui definissent les
fonctions U et qui s'ecrivent:
AU+ kU=-? d J+ hU= O.
f U2d-= 1
et l'equation (5) (qui exprime que les axes de notre ellipsoide sont rectangulaires)
a lequation: U U7dr= ?*
t7; (n <>p
Ce n'est pas seulement dans l'etude du probleme de Fourier qu'on est con-
duit a ces considerations; on obtiendrait des resultats tout a fait analogues en
envisageant au m8me point de vue les autres probl6rnes de Physique Mathe-
matique.
Dans tous ces problemes on a a integrer des 6quations lineaires aux d6rivees
partielles. Ces equations ont partout la m8me origine. Les lois du phenomn6ne
v6ritable sont exprim6es par des equations lineaires aux diff6rentielles ordinaires,
oil la seule variable ind6pendante est le temps et ou les inconnues sont en tres
grand-nombre;chacunede ces inconnuesen effet, representela valeur d'unecertaine
quantit6 relative a l'une des molecules du corps. Le nombre de ces inconnues est
donc kn, n etant le nombre des mol6cules du corps, et k le nombre des quantites
relatives, a chaque mol6cule. C'est par un veritable passage de la limite qu'on
passe ensuite de l'hypothese moleculaire a celle de la matiere continue et des
6quations diff6rentielles ordinaires aux equations aux derivees partielles.
Si done on revient momentan6menta l'hypothese moleculaire, on n'a plus
affaire qu'a des 6quations lin6aires ordinaires a coefficients constants, et la seule
difficult6provient du tres grand nombre de ces equations. Mais il y a plus; ces
equations pr6senteront presque toujours la sym6trie que nous avonis observee
dans les 6quations (1) et on sera encore conduit a envisager une forme quad-
ratique et tout sera ramene a la decomposition de cette forme en carres.
Je n'en donnerai qu'un exemple; j'envisagerai les 6quations de l'61asticit&.
Soient x, y, z les coordonneesd'une molecule quelconque, dans l'etat d'equilibre
lorsque les forces exterieures appliquees au corps sont nulles; soient x + Ut,
y + v, z + w les coordonnees de cette meme molecule lorsque le corps elastique
est deformesous I'action de forces exterieures; soit 4) la fonction des forces rela-
tive aux forces elastiques; soient X, Y, Z les trois composantes de la force
exterieure appliquee a la molecule consid6ree. Les equations d'equilibre s'ecri-
ront alors: d d_' _ dwP.
du 7 dv . dw ~~~~~~~~~(9)
Comme u, v, w sont tres-petits, nous pouvons developper cD suivant les puis-
sances de ces quantites et negliger les puissances d'ordre superieure a 2. Les
termes du ler degre doivent etre nuls, puisque l'equilibre normal est atteint pour:
u = V= w = 0.
Je puis supposer que le terme tout connu est egalemientnil; puisque D n'est
determine qu'a une constante pres.
Partielles de la Physique Mathe6matique. 291
Nous decomposerons la forme 4Fen carr6s comme nous l'avons fait tout a l'heure
et nous retrouverons les formules:
CD= aloq +a 2cP2 + ...+ anP
=
op Upil U, + Up2 U2 +.... + UnUn,
e=q+P
e=ufdp2 +u+
( +.
+... +u?n +p
=89 Uj2 + ZT22 + ..+ UT.
a,O+ 0
a2
L'existence des fonctions UTJ peut 8tre maintenant regardee comme demon-
tree au moins au point de vue physique. La fonction U1 sera une fonction qui
devra prendre les valeurs
U11,U12. ,ln
Ml1.. Mn
La fonction U2 devra prendre en ces memes points les valeurs
U21, U22 .* U2n
et aiiisi de suite.
Partielles de la Physique Mathelmatique. 293
Nous savons de plus que les valeurs de la fonction U1par exemple devront
satisfaire aux equations (2 bis) du ? precedent que j'ecrirai
2 d l.Ts i*
La fonction U1n'est definie ainsi, il est vrai que pour n points de I'espace,
a savoir les n points occupes par nos n molecules; mais comme ces molecules
sont tres nombreuses et tres rapprocheesles unes des autres, on pourra calculer
par interpolation la fonction U1pour tous les autres points interieurs au corps.
On pourra a la verite trouver ainsi deux valeurs differentes pour la fonction
U1 si l'on adopte deux regles d'interpolation diff6rentes; nmaisles diff6rences
seront du meme ordre de grandeur que la distance qui separe deux molecules et
par consequent negligeables au point de vue physique.
La fonction U1 ainsi definie satisfera approximativement aux equations de
Fourier: dU1 U=o,dUl+hU=+hU=O(2 (2)
AU,El+k, U, = 0?2dn
que l'on obtient en partant des equations (2 bis) et en passant a la limite.
L'erreurcommise en rempla?ant les 6quatious (1) par les equations (2) sera du
meme ordre de grandeur que la distance qui separe deux molecules.
I1 y a a cela toutefois une condition, c'est que les derivees de la fonction U1
soient finies; on n'aurait plus le droit de passer des equations (1) aux equations
(2) etaient du m6emeordre de grandeur que l'inverse de la distance qui separe
deux molecules.
II nous resterait donc a etablir que ces derivees sont bien finies; c'est-a-dire:
1?. Que la difference U, - Ul est du mernie ordre de grandeur que la
distance des molecules Mi et Al.
20. Plus generalement, soit Ma une molecule quelconque de coordonnees
x, y, z, soient M., M,, . . . -, M, un certain nombre de molecules tres voisines
de M,. et dont les coordonnees soient respectivement,
et cela quel que soit le polynome P pourvu que son degre soit inf6rieur a m
(j'ecris par symetrie P(fa, , ?, ) au lieu de P(O,O,O)).
Si ces conditions sont remplies, nous aurionsa 'etablirque:
au,.la+ PUi + . .* +2UIX
est du meme ordre de grandeur que les puissances mes des quantites 4, w,
Cela ne serait sans doute pas impossible; je n'aurais en effet pour etablir ces
divers points qu'a traduire dans le langage de l'hypothese moleculaire l'analyse
du ?4.
C'est ce que je me reserve de faire dans uin memoire ulterieur qui pourra
etre regarde comme la suite de celui-ci.
Je pourrai dire alors que les conclusionsdes ??2, 3 et 4 sont demontreesd'une
fa?on rigoureuse au point de vue physique. Peut 8tre meme est-il permis
d'esperer que, par une sorte de passage a la limite, on pourra fonder sur ces
principes une d6emonstration rigoureuse Meme auipoint de vue analytique.
PARIS, le 19 Mars, 1889.