Académique Documents
Professionnel Documents
Culture Documents
S LU
LES
SRIES TRIGOSOMTRIQUES.
LIBRAIRIE (lAUTHlER-VILLARS
la thorie des fonctions lments de'' la thorie des ensembles et applications), par M. Emile Bokel; 1898 Leons sur les fonctions entires, par M. Emile Bouei, 1900 Leons sur les sries divergentes, par AI. Emile Borel; rgoi Leons sur les sries termes positifs, professes au Collge de Fraiiii' |Kir M. Emile Ijouel cl rdiges par M. Robert d'Adhmar:
Leons sur
3 fr.
3 fr.
5o 5o
4 tr. 5o
902
3 fr
5o
Leons sur
les fonctions
niromorphes,
par
professes au Collge de
Boi'.el cl rdiges
i\l.
LudoK'ic Zoretti ;
i()o3.
3 fr.
5o
l'intgration et la recherche des fonctions primitives, professes an Collge de France par M. Henri Lebesgue; igo^. Leons sur les fonctions discontinues, professes au Collge de l'"r<ince par M. Uexe B.\ire cl rdiges par M. A. Denjoy ; n)o'j Leons sur les fonctions de variables relles et les dveloppements en sries de polynmes, professes l'cole Normale, par iM. Emile P>oki:i., rdiges par l\l. Maurice Frchet a\cc des Noies
Leons sur
3 fr.
5o
5o
fr.
Le
190.") I'. P.viNLEV el de iM. II. Eebesgue calcul des rsidus et ses applications la thorie des fonctions, par M. EuNsr Lindeloe; 19').")
de M.
fr.
5o 5o
3 fr.
en rUEPARATION
Quelques principes fondamentaux de la thorie des fonctions de plusieurs variables complexes, par M. Pierre Cousin. Principes de la thorie des fonctions entires de genre infini, par
-M. Otto Blumenthal. Sur l'inversion des intgrales dfinies, par M. Vito \ olteura. Leons sur la fonction ^(s) de Riemann et son application la thorie des nombres premiers, par M. IIelge von Koch. Leons sur les correspondances ntre variables relles, par M. Jules
Dracii.
Leons sur
les
sries de
polynmes
M. Emile Borel.
COLLECriON
Dl'
l'UBLllili)
LEONS
SLR LKS
SRIES TRIGONOMTRIQUES
PROFESSES
\ij
(:()lli:(;e
de frange
Henri
LEBESGUE,
PARIS,
GUTHIER-VILLARS, IMPRIMEUR-LIRRAIRE
DU BUREAU DES LONGITUDES, DE LCOLE POLYTECHNIQUE,
Quai des Grands-Augustins,
55.
1906
(Tousdroits rserves.)
PRFACE.
J'ai
runi
les
Leons sur
la
Thorie des
sries
j'ai failes
au Collge de France en
n'ai
pas cru,
les parties
comme
dans
mou
Cours,
plus lmentaires de
llioru'
classiques.
|)ermis
de
au Collge de
la
reprsentation
blement invit
Rennes,
crire ce Livre.
octobre 1900.
le 21
Hknri
LEBESGUE.
INDEX.
Pages.
Intboduction.
Chapitre
I.
17
33
111.
55 84
110
Chapitki.
i\
Chapitre
V.
26
.ECO>S
StR LES
SR[ES TRIGONOMTIiiaUES
INTRODLCriON.
PROl'RITKS DES PONCTIONS
(').
I.
disco/iti/n/i/.
l'aniii
que peut prsenter une fonclion f{x\. dune seule variable relle, il y a lieu de distinguer un mode simple de
les (liscoiilinuits
la
suite.
f\jc)
quand .r croit vers .r, /'{x tend vers une limite bien dtermine quon notera, avec Dirichlet. _/(.r o) et si. quand x dcroit vers x^^, f{-x^) une limite (ju'on notera /"(j:,, o) - ). proprit .essentielle La des points de discontinuit de premire espce est d'tre toujours comparables entre eux; jentends par l que, si 'i a. en j?,,, un point de discontinuit de premire espce pour lequel cp^-To+O) et 'f(j",i o) diffrent, quelle que
'<^
soit y,
admettant aussi Xq
comme
(')
j'ai
runi
reste de i'ou%Tase.
que
le
ce Chapitre prliminaire avant les autres; lecteur s'y rcporlt s'il lui arrivait d'tre arrt par quelque
de
lire
difficult. J'ai
mis dans le texte de nombreux renvois l'Introduction. o ) la place de/( o -+- o), /(o (-) Pour abrger on crira /(-^ o) et /(
o).
L.
IMROItlCI ION.
[)()iirra
espce, on
toujours trouvei-
l;i
coiislaul'
de manire que
C'est--dire que,
pour F=:
H-
Ko
on
ait Fi^.r,,
-h o) ^ F(a|, o).
au point x.
il
sorte artificielle.
Rien de
j)areil
espce.
2.
Points rguliers.
/'si
/'(
pour
.r
H- o)
/(
et
-Ty)
/"(
j: est
un point
ri;ulier
et
sont teU
)
que
/(
.r
O =
I
>_/( .r
les
points ri;uliers.
Tous
les
prcdent:
discontiuuit(''
artificielle
dont
tpii
il
a t parl
n existe
le
mme
plus.
nous seivira
plus
est la suivante
la
est
continue poui-
= o.
li lions
3.
de DiricJilet
On
dit
que
ment, que
et j?j,
/'(\r) est
si.
on
x-i
f/(
J-,
/(
e\.
.r.
)]
(I.
f\jc)
x
f(.v^^
crot,
et
ne
croissant
jamais quand
dcrot, fix^^-r- o)
n'a
o)
1
existent toujours;
on
a <
.Ti
<
.rj
<
< x <
6,
on
a aussi
f{b)
/(
= [/<
-T-i
-^ f/'
-^i
~\f{T
-^ o
/(> o^J,
cela inonlre
(|iie les
points en lesquels
f(cr
la
(JiHereuce
-+-o)f(T o)
sui'passe
z soiil,,
(|ii('l
que
soil
t^ o,
en nombre lim.
ohlienl
Les
lorielions
deroissantes,
qu'on
en ehangeant
X
de
en
X
On
dans
les
proprits analogues,
satisfait
fini
aux conditions
de
Diriclilet
elle n"a
(
qu'un nombre
de points de discontinuit
si
dans l'intervalle
desquels
(7,
b) qu'on considre et
/////
Lne
telle
M. Jordan
appel ainsi
la
somme
si
l'on
diffrence de
deux fonctions
croissantes.
Une
telle
de points de discontinuit, qui sont de premire espce, et l'on peut remarquer qu'il suffit de modifier la fonction tout au plus en ses
points de discontinuit pour que tous ses points soient rguliers.
On
par
ait
l
variation borne
si
elle varie
moins
vite
qu'il existe
une fonction
borne F
telle
que
l'on
toujours, pour h
> o,
li)
{x^
Si,
en
efl'et,
deux fonctions croissantes F et F /, et d'autre part, si /est la elle crot moins dilTrence des deux fonctions croissantes ca et seconde dfinition est souvent commode, d/. Cette vite que cs elle montre en particulier qu'une fonction satisfaisant aux condi'!>,
f tant
variation borne,
on peut, dune
infinit
de manires,
intboih:<:tion.
crire,
pour r
> a,
J\x)=f{a)^ Vix)\(37),
et croissantes.
non ngatives
Soient
/){x')
et
n{x)
les
x donn, des
f(x} =z/(a)-^p(x)
n(x);
p{x)
n{x) sont les plus petites fonctions P(-^) et N(.r). Ces quantits p{x) et n{x) s'appellent les variations totales
el
positive
est la
et
ngative
de
/
/'
dans
(a, .r);
v{x)^^ p{x)
elle
^ n{^x)
gale
variation totale de
dans {a,x)\
est
au
|.)lus
,iF{x)
11
V{a).
vident
'i{Xif
est
que
les
et
A(Xo)
p(x^ o)
mme
.z,,
temps, sans
tions
cjuoi,
en appelant
la
p{x)
d,
Pi{x) et ni{x), gales p{x) et /i(x) pour o: (l pour x 1 Xq, seraient des fonctions P n{x)
<
et
et
N plus
petites
que/?
et n.
'*(-?"o)
De mme
rie
fi(^XQ+o)
les diffrences /j (j;o+ o> p{Xo)i peuvent diffrer de o en mme temps et,
comme
n{x)
Il
deux
deux quand x
est point
de continuit pour
et
tel j)()int,
p{x)^
que
la
somme,
la
dilfrence, le j)roduil de
deux fonctions
\rai
aussi
pour
quotient de deux
module du dnominateur ne descende pas au-dessous dune certaine limite ditierente de zro. J'examine seulement le cas du produit; en conservant les notations prcdentes et en alleclant de
l'indice
i
f/i
= " = ppi-r./'<
I
>
/"
"
la
[ ./"i (
'
-^
/>i
n/ii^ pij'ia)
-t-/>/,
(a;
" [p/it
J
--
ce qui dmontre
variation totale
en
mme
temps que
la
du produit
au plus gale
C'est une expression qui nous servira plus loin; mais nous y rem-
placerons l'origine
</
de (a, x)
menl permis
5.
(' ).
Nombres
,
drivs.
On
.r,
appelle
les
nombres drivs de
ff.r-\-h
-.
I
la
fonction continue
/ au
,,
point
plus [)eliles et
-
plus grandes
/'( ./)
=
...
,1
le
rapport
(juand
tendre
li
dune
part,
ngativement
a
d autre part.
Ainsi,
en chaque
finis
point,
gaux,
/'(.r)
ou non. Lorsque ces quatre nombres a une drive, au sens ordinaire, gale
condition,
le
nombres
dri\s.
/',
l.,es
fonctions
qui satisfont
la
si
connue dans
la
tliorie des
nom
de condition de
\f(x^h)f(.T)\<
O k
est
h-\hl
borns;
rciproque
<).
Sclnvarz.
D'autres gnralisations de
que, pour
.
le
n" 37,
,,.,,.. en .r <leri\('e de
/
par
la
considration du rap[)ort
,
....
au
lieu
une dfinition de
drive, qui
culier,
comprend
est
la
dfinition classique
puis(pie,
comme
cas
parti-
mais qui
plus gnrale
conduit
j7=o.
Je
portante.
La drive premire
la
est dfinie
comme
la
limite
la
du rapport de
variable; consi-
(')
Tome
pitre
tives.
Pour plus de renseignements sur les fonctions variation borne voir le I de la deuxime dition du Cours d'Analyse de M. Jordan ou le ChaIV de mes Leons sur l'Intgration et la recherche des fonctions primi-
(-) Voir
p. -jx.
INTRODK.TION.
drons maintenant
le
rapport de
la
la difl'rence
de l'accroissement de
variable.
/>
}
Ce rapport
)J
A2/_
/(
I
/{
./
I )
./
X
)
./(
-r
)J
_
Quand
la
/(
-^ h) -^ fix
;./(
la
limite
du
=o
la
mais
il
se
seconde n existe
j)as et
que
limite existe.
Ce
serait le cas,
pour
.r=o.
telle
si
tait
que fi/i)z=
/'(
h).
On
conde gnralise
la
limite de -^y
Remarquons que
la
cette drive
-7-^'
seconde ^gnralise
positive ou nulle en
d"a|ns
loiil [xtint .r
o /est
maximum
cela va
nous sersir
si la
fonction f
:>.
la
quan-
=^V5
:>
^'>^
comprise entre
(./
les
rieure de
11
dans
li,
-f- li)-
suffira,
la
^7^^^
^
^^c
surpasse
pas
,
limite suprieure de
I
Posons
-^Il
)
'i'I^j
^,
\- /( x
('t
^u),
/( .r
-t-""
/(
.7-0
II)
{x
x^,)
-i-JiXo);
la
^ f{x) '^{x)
son
s'annule
pourvu
valeur
A,
.r,
./o,
donc
elle atteint
intrieure h^XQ h)\ .r, pourra, d'ailleurs, galer Xf,. (^Xq La drive seconde diin trinme du second degr tant constante,
on
a
\'-'k[
A- /(
./
A-
!/
A- /(
\-/(
Xt, )
(')
11
En
ralit,
si
l'on
prend
'~~r'
les diffrences h
^
Ih
au ra[)porl
f(x-^:>li)--f(x)if{x-h) ^
du
lexle.
...
^t"'
'^o"*^'Uit a
,.,
C(|iiivaienle celle
(Ton
y\/'(.r,
I
_ v-Kx,
liinilr
_ y\f( xq
(I
iiprs
;iii
nohe
iiKniis
reniaiciiic
ht
,
du
-i'ciiikI
iiniiilnf. poiii-
/"
=r
(j,
A
rsl
'
/( ./
//-
donc on
A2/'(.r)
Le
^'
tli(''orrni(' <>!
dcinonli'.
|iail iciiIh T.
([iif
(
Su |)|)(json>. CM
/\-f\)) '^l
'^
m)iI
conslaimiienl nulle.
)iiel (|iie
./,,
h.
on
donc
ytX,
^,
~
)
Il )
+J(X}
.
,
ij
-^
== O,
f(xs
C'e.sl
^/(^
>./
^/x -^ X, J+ h)-xf(
dillV'r<'nees
-~-
o.
dire
(|iie
les
deux
f{.r^-rli\
/'(.r,)
el
/'(./-f-/<)
s
.f\jc)
accrot de
la
(|iiantil<''s
(juand
la
\aii,il)le
accrol tonjours
el
de
(ju
mme
(juanlilt'.
I)
a|)is
on dveloppe ordinalremenl lOecasion du mouvement uniforme on doit eon(diire de l que / est une fonction linaire. I) o les seules fondions continues qui le lliorme de M. Sehwaiz
:
la
dit-
deux fonctions
conti-
nues dont
et
le
les
cjui
consiste cherclier
Mine
7.
Ensenibles de points.
est
')
lOccasion de
la
thorie des
que M. G. Cantor
commenc
ici
me
contenterai de rappeler
un certain nombre des dfinitions poses par M. Cantor. renvovanl pour une li ude |>liis conqilte la Note (|ui termine mes Leons sur r Jnti^ra lion
iNTRODicrrox.
Un
point
\*
es[
si
toiil
(lomaineC),
coiitcuiinl
E constitue
de E.
drivs.
Si
le
()\\
I
driv E'de E. Ee d-
second
di-riv
forme
un
ainsi
une suite
ou
mme
E
translinie de
est dit
deux
ne contient
aucun
8.
|)oint,
rductible.
('-).
\pdomaines spciaux obtenus en assujetti^sanl chacune des coordonnes une ini;alit telle que a^ <C.ri<ibi. l^a mesure d'un tel intersalle, les axes tant rectangulaires, est par
pelons intervalle
les
6/
a,).
Soit
E un ensend)le de
I.
[xiints tous
contenus
lintiTicur (\\\n
intervalle
Enfermons
i
les
denomdes
les
limite inlV'ii<'ure de
la
somme
toutes
mesures des
des points de
quand on
clioisit
la
ces
inter\alles
de
ne faisant pas
de
sa
I*].
Si
y.
[i
est yale la
a.
la
mesure
de
est i^ale
Ea
ni
m,
mme
chose, de
la
|)osition
ces axes.
E'ensemble
somme
de
E
et
et
de E,.
de E,.
est
mesurable
si
et
E,
le
Ea mesure de E+E, est la somme des mesures de E et de E,, si E et E, n ont pas de point commun, (le lli(''orme s'tend la somme d un nombre fini (|uclcoiique d(ll^(mbles et mme la
somme
Si
une
in(init(''
diiombrable d ensembles.
Ion considre les ensembles mesurables E,. E,. ... en nombre fini ou dnombrable, ensemble C des points appartenant la fois tous les E/ est aussi dnombrable; sa mesure est la limite infrieure des mesures des E, dans le cas particulier cui chaque ensemble E, contient les ensembles d'indices plus grands. E,_,.,,
I
E,,..,
....
(')
sions.
{ )
Il
I-*()ui-
le?,
C.\\?t\K
III
et Vil.
y
(iiic
('uoiicf's
on
s ;i>siii'('r;i
tiicilciiicnl
Idus les
ensembles acluellfincnl
On
et
fj.
(iil
qu'une fonction
y (lun(;
est mesurable si, quels que soient a lensemble des points pour Icsipiels on a rt << f <C^h est me-
videmment mesurables,
puisque, pour
les
mesurables, donc
la
les
fonc-
somme
et le
produit de
deux fonctions mesurables sont des fonctions mesurables: la limite d une suite de loiictioiis mesmables est mesurable. Dmontrons,
par exem|)le, celte dernire
,
|)roprit(''
mesurables y, /., De-signons par E l'ensemble des points en lesquels on a a <if,, << h\ E est mesurable. Soit Vj' l'ensemble,
mesurable, des points communs E. E^, E_^;,, .... Soit enfin E la somme E' -f- E- -h il est \ident que E est mesurable, et
,
en lesquels on
(pi
a <^
/< h.
con-
De
rsulte,
en particulier,
une
srie trigonomtrique
vergente ne peut reprsenter qu'une fonction mesurable: d'ailleurs, toutes les fonctions actuellement
9.
Thorme sur
la
convergence des
)n obtient,
sries.
Soit
une
suite
elle
J\-.f>-
en
el'et,
cet
ensemble
C j)ar
procd suivant.
On
a
forme
\f
les
ensembles
E,^,.>,
laide des
les
points en les(|uels on
f,i^p\<i-^',
E,,,^ ^,
E,,
,,:
on
les
jirend
points
communs
et
tous
les
ensembles
ajant
avant
A,
ils
forment un ensemble
YLu.y
on forme
les
des points
Tous
E^.
sont mesurables.
on
a \fp
Cp, ('p^\.
L'ensemble mesurable
il
./
<C
et
Cp
C^)-^{l'
-^
vL"2)
---
contient
v^".
est
la
prenant dans
prcdente un nombre
/i,
suffisamment
INTUOOrCTION".
on a un ensemble somme (qui n'est autie (|ue p) mesure esl au moins gale celle de d". De ce raisonnement j^nral tirons deux noncs particuliers (ju'on utilisera plus loin('). Pour cela remarqu<)iis que /' esl la
f^rand de lermes,
la
L'
dont
;"i
somme
Pour
A?"""',
de
les
la srie
convergente J\ -|- {/'> /] ) -+- points de <1' tous les restes de cette
s.
..
srie, partir
du
et
si sont intrieurs en valeur absolue h 2. Donc fondions inesurables com'erge en tous les points d' lin intervalle, les points de cet intervalle pour lesquels l' un des restes, partir du n'^""", n'est pas infrieur s >- (t, e/( faleur absolue, est de mesure aussi petite que Con veut, condiSoit Y l'ensemble tion de prendre n assez aicind; ou encore des points en lesquels le //'^"" terme cV une srie de fonctions mesurables ne surpasse pas, en valeur absolue, un nond^re positif 2 s s'il existe une infinit d'ensembles V,i dont la mesure on peut affirmer (jue la mesure de V ensemble ne surpasse pas des points de convergence est au plus gale i r^.
partir
du
/?"'"'',
une
srie de
r^,,
10.
i)/inilion
de
l' intgrale.
mesuen une
d autre
(.le
une dimension
x,
,
-h
dnoml)ral)le d'intervalles
partiels
part,
laide de nombres
i
croissants /,(/
part), tels
d.
i,
/,
>.
...
dune
y,.
>.,
...
la
que
//^,
ne surpasse jamais
a
Soil ei
mesure
l,=f<l,^x
(-):
toruKms
la srie infinie
dans
les
deux sens
S'"
'
Poiif un auLrc
ciiniictl'
voir I>kbesuuk,
,S'///-
Comptes rendus de
(-j Cet
Acadmie des
mesurable, car
Sciences.
il
(S
U)(i4
ensemble
est
//,
ijuel
que
soil l'entier
^.-r</</.
l'UOl'HIKTKS
l)i;S
FONCIIO.NS.
II
En
rduit alors
une suite
finie;
('onvergenle pour
on donne
nom de/onctions
sonunable.
esl
Sup|)osons
/'
sonunal)le
el
inl<'rcaions
entre
les
/,
d antres
nombres;
la
srie
sera
srie
analogue A,,
plus
(juon vrifiera
grande que
facilement tre
plus petite que
convergente,
I
mesure de =: B. Oprant encoc de mme on tronxe Vo an moins gale V,, an plus gale B. Kn continuant ainsi, de manire faire tendre \ers zro les nombres analogues r,, on a une suite de nombres A, A,,
et
4-
r,
\j.
non dcroissants
raisonnement
cpii
UinU'^rale de /"dans I. on vrifie que celle int(''grale esl indpendante des nombres /, cboisis. Pour le d\eloppemenl de la dmonstration, je renverrai mes Leons su/- l' Inlgralioii dj
B: cette limite est appele
Par
le
classicpie
cites;
on y trouvera
nombre
je
\ais
suite el
que
la
que
celle
aide
l'intgrale
des
fonctions l)ornes.
sont
deRiemann
sommables
mme
intgrale
Kiemann. La dfinition classique, que nous n'adojnons pas ici. conduit o, el auattribuer une fonction /'(x) non borne autour de x tour de ce point seulement, une intgrale dans (o, i) gale la limite, si elle existe, de fintgrale dans (-. iV quand s tend vers
que
la
dfinition de
=
s
xro.
Il
appliquer
sans que
dfinition adopte
ici
s'applique;
la
fonction - sin - en
est un exemple. Avec la dfinition adopte, si J\x) a une intgrale, f{x) en a une aussi, ce qui nest pas vrai ncessairement avec la
I
d'fiiiilion
(dassique
exemple, fix)
el
si
ci
= - sin
plus seneralecl
ment,
si
y' est
sommable.
est
sommable
borne. J
'i
esl
INTRODUCTION.
que _/cos/>
j^-
elf<,\n/)X
/"
est.
On
Nous
sont, et
dmontre aussi que / est sommable quand f et '^ le 'y que rintgrale de la somme est la somme des intgrales.
ce
fait
utiliserons aussi
que
le
tre di\is
condi-
tion de faire la
somme
le
On
la
peut
mme diviser
et faire
somme
dans l'ensemble
points de
l'iiitt-grale
de
la
gale
/'
pour
les
et nulle
pour
les
autres
Ce sont
les intgrales
je
dsi-
C fdx.
t
^i *-
I
_
f/f/.r dv.
il
de savoir
qu'on peut
simples successives,
toute.-> les fois
comme
rive,
s'il
s'agissait
de fonctions continues,
que
les
on
les
est
fois
en particulier, toutes
|)ar
d'une fonction
et c'est
borne reprsentable
le seul
une
.^rie
de fonctions continues,
(^').
cas
1.
Proprits de
l'
intgrale indfinip
l
.le
j ai
celles que montrer combien lintgrale des fonctions sommables se rapproche de l'intgrale des fonctions continues. Voici maintenant quelques proprits fondauentales de {intgrale
intgrale
(|ui sei'oiil
em|)loves
indiques suffiront
/"
appelle
;iinsi
la
quiiulit
fdx\
cette fonction de
est
continue; de plus,
comme
que
la
fonction
(') Pour la Hmonslration voir les n"' 36 gueur, Aire {Annali di Mateniatica, 1902).
40
de
ma
Tlise
Intgrale, Lon-
i3
croissanlo
iiiiilt*'
/"| r/.r,
elle est
aiialioii
hornc, el nous
n" 4).
la
a\ oiis
une
Une
plus,
fondauieutalc est
sui\ante
/'est
la
dc'--
pour eeux d un ensemble de mesure nulle ( VI. Chap. VllI, )\ eompltons ce rsultat.
points o
f{x)
y.
dfinie forment
un ensend)le de mesure nulle E(a. Soit C lensend)lc somme des E(a) corresponilant aux a rationnels. Soient a?o une \aleur n appartenant pas l' a un nombre irrationnel quel,
con(pie,
lin
uond)re rationnel
V(jisin
de
a.
Ou
|/,.^^_a|_|/(:?.-;-p||<|fi-a|,
11
ou
>
'
/t-r)
ai f/.r-
'
:
f \f{x)-^\dx
^-a|,
le
membre
dans
/'(.r
|j
de moins de
pourvu que x
soit pris
un
intersalle (xo
A,
^o
li)
assez petit.
Donc on
'^
^,_^
^.^
(
/
\fyx)-v.\dx-\f{x,,)
3-a|^E,
^i\
et,
\f{x)%\dx
\f[x,{)
|i
-H e
puisque
et
[i
a
est,
est
pour
a
j
.ro la
nulle, \f{x)
pour x
.r.
la drive
,
de son ints^rale
y.
pour
z=zf{xo).
:
On
f
On
\jvdx^{\]{b)\{b)\j{a)\{a)]
et ^
f u\ dx,
t^.
dans laquelle L
verrait en effet,
en remplaant L
V par les
intgrales quelles
14
INTRODICTIOX.
la
reprsentent, que
un
On
est comjiris
ment entre
et
on
a.
pour a <<
b,
myh
~a\<
f{x)
d.r
<
M {h
a)\
a,
si
pour
l'intgrale indfinie
de
/,
^ m<
F(
.7--+-
/m
-,
F*
-r)
^ <
-,
M.
Il
De mme, en
intgrant F, on ol)tient
.'
telle
que
^ <
m<
12.
^{
M.
.,
Tlu'orrnic sur
V inlrgraiioii des
I
. . .
sries.
convergeant dans un intervalle de fonctions mesurables fi, /'o, absolue une constante k. Soit
soit
forme
en
s;
E,^
e=^\
f\
est
suprieure
M,/.
On
j'n^,,<lT
=y
fn^,,dx
-r-
j f^,.dx.
de
inriid)ie diffre
r,
/ dx
au
nudtipli par
la
mesure de
donc au plus de
la
s/,
/dsiest
gnant
la
mesure de
I.
membre
multipli par
a
mesure
m,i de E
de
fdx. Donc on
/
A
./''''''
'
d\
/ f"^i> '^^
I
<
^ '""
-+- s
'
et,
puisque
et
que
que
l'on veut.
i'it()i'iui':Ti';s
DKs KONcrioNs.
i5
il
t'sl
les
de
la limite
de V inls^rale de
-A{
/.,
f^
>
-i-
ou
iii-
des sries
(|iii
coiiiitrciul,
cuimiic
cjis
partieulier, le iIkm)-
1rs s(''ries
(|n
il
iiniforuKMueul coinergeiiles.
suite ne tendit
Remarquons encore
|)as
(I
vers /"pour
|iirl.
il
les pdliil^ d
Une
-^iilliiail
dans K
/"pour
el,
(J
les
pdinls
c, linlyrale
de /restera
mme.
\\\
les
fondions sonunahles.
piopi-i<''t
Ce
de toutes
les
fonc-
dans
le
continuit uniforme.
;
.1
(hionce
cas d
Si f(x)
est soni-
niable,
r intgrale
J
(
/, 0)
\fi.r
/(-r) dx
i
(a
<
^)
tend vers zro avec o. llemarquons que nonc suppose f dfinie dans (a, y) plus !j. i;rand que (a, 3) et (|u On doit |)rendre o au plus j^al v Maintenant ona, /e!/', ('tant somniables,
I
J(/,) = 2 f'\f\dT.
d"o
J(/, o) =
a);
J(/
Ceci pos,
o) =
]{f,.Z)
-,
f \f-j\\dx.
/, la
si /
en appelant
fonction gale
/'
pour /I
I
<
et
>
l,
\f
/',
|
dx
que
do
et
il
suffit
de dmontrer
le
thorme pour
la
fonction borne
_^/',.
l6
INTRODICTIO.N.
(
Divisons
valeurs
1
p.
'
/,
4/'
/ )
en
'
prend
les
^^
P
/
,.
p)
I
'>
/
Jonction gale
nulle ailleurs.
Il
. I ,
/',
pour
..
les
points ou Ion a
'
\-
P
(lu (lljiil.
il
~'
<'
),
T-
cl
Ues lor-
P
que
I
luules
rsulte
on
-p
et
-/)
eomme. tls que p est assez i;rand. le second teimc du second membre est aussi petit que l'on veut, il sultit de dmontrer la proprit
telle
que
/">
leurs o et
Soit
-i
une
telle
Soient
E
r\
d'intervalles
(jue
fini
contenantE
plus: soit
i"
,
et
\\\\
dont
la
mesure ne mesure ne
dilre de celle de
1
de
au
enseiuble form
la
aide d un nombre
diffre
de celle de C
que de r) au plus. Soient enfin <> et <I>, deux fonctions ijales A respecti\eiuenl et nulles poui- les autres pour les points de et points. Alors on a
*!_'
L'
/ '|o-<l>|.y^|A|7i,
r'|<,_*,|,/x^|AK,
do
et
(pi
r1
il
suffit
de dmontrer
fini
le
thorme pour
<>,.
Mais
<t>,
nayant
<>2
un nombre
continue
et telle (jue
|<I>,
intrieure
;.
alors
on
a
J
<>i
(*2,
-2
et,
comme
le
thorme
est
vrai
pour
<I>o,
la
dmonstration
est
acheve.
CHAPITRE
DKIKItMINATION DES COi:i- FICIENTS DES SERIES TRIGONUMETRIQL ES KKl'RSENT.WT ("NK ["OXOTION DONNE.
II.
Dfinition des
si-rirs
triaononitiiqucs.
ne
si'-rie
tri-
i;(n(iii<'truju<' psI
de
l;i
loi-me
-i- />,
siiia^i
-h {a-icnsix -^
^.j
1<'S
c/.
et les
/y
taul (iin>l;(iil>
ciire
pO^
les
:
piCOS(j-
6j;
-i-
[X
6-2) -r-
.,
el les
lant eonstants.
f^orsqu une lelle srie est eon\eri;ente elle re[)rsente une tonelion de
./'
de priode
:>
aussi, loixju
on
oeeupera de
la
repr--
sentalion
dune
loii
fonction
il
supposera
jours qu
h..
agit de la reprsentation de
(
'
fix) qne
dans un intervalle
-j- oc)
d tendue >.-
et
on modifiera,
on
ait
lonjours /'(x
+ 27:) ^=f{x).
points de
gnral,
2 /ciz:
dans
les
cas ordinaires,
espce.
Si
le
el
.^1
ils
jcnient
mme
rle
dans
les
Nous
crirons, en
emprun-
x ^.r, qu'on
lira
est
congrue
.r,
lant sous-
(') L'extrtnil
2x^a
est exclue.
L.
l8
<:11AI'ITRK
l.
^\|>rcs>c
du
coiil laifc,
sin\(inl le
moa
dule
Si,
si'ie
>.-.
dans une
sc'tic tiij;(iiH)iM(''lri(|ii<'.
si
lous
les
a
A sonl nuls, on
une
in-
de cosiiuis:
ions
les
i^/
sont nids, on
Ces
Sf'-ries
convnient de
tandis
pltes.
liaiii^er
de forme
si
Ton transforme
./
en
-+-
K,
que
Va\
eompoint
dauti'es tennes,
rorii;ine
.r
=o
n'est
pas un
que
e est
un point jduaut
de miuis.
la
un
le
rle spcial
iJans
-j;
(
on
a,
en
ellet, 'li.r)
|)oiir
somme
./
i,
'C{x) ^^
.r
et
'l){
poui- la
./'V
somme
deux
on
/'(_.r
a
)
'!;(.r)=
(-es
relations,
'j
(,r)
'i;(./' ),
>ommes
des sries
trigonomlri(|ues de sinus
somme
Ai-
/( .r
).
sup-
caii>^e
de ces relations on
la
d(''termi-
cosinus propres
la repr(''sentation d
les
une fonction
la
-^
.v)
ou
'l
x)
de o
t:,
et
en dduire
lormidcs rclati\cs
(
repr(''senlati(n
coni|)l("'le.
o,
>.t:j
soit
comme
et
plus loin,
la
mthode inverse.
la
Astronomie
IMivsi(pie
mathmaverra plus
tique; on les a utilises aussi dans Lout(!s les l)ianches des matliinaticpies j)ures.
mme
dans
la
On
immdiates
entires et
de
la
maintenant
les sries
rapport troit
(pi
I
il
entre les
s(''ries
trigonointriques. Si
on
(
lait c
=
5/-'
e'''
dans
la
srie
0
on retrouve
la srie
-i-
/j
il>i,
une circonfrence de
Si,
la
on
IIKTKH.MIN \Tll>N
iiiif
I9
iii
ii|)[irllc (iriliiiiiiifiiiriil
Sfne Irij^ono-
iii('lri(|ue cl ln(|iip|l(; \
(('s
i(lemm<;al
s ;i[)|)li(jiici;nciil loii.-
no>
('uoii-
\ri.
le
prohlrnir
si'iic
'h'
In
reprrsculdtion
(
Lri<j;ononi('il rique
- ).
Dans un ^Jf-moirc Sur Ifs (/is;a//le.s fin mou^fmrnt de Jujnter cl de Salai ne, Kiilei-, pour commodilc des calculs |)ial;i
la
forme
fi
i,'"
cos(i))""H-
par
y'-'^
).
iiil('';^ialion>
(pi
,
il
a
I
etlecliier,
1
'
ai^i/no va se
en
?in/>('*
--
>
et
la
niesence de ce (lenoiiiiuateiir
le
P
^ergence (d aprs Euler), diminuera
srie (pi
il
/>.
aiiiiiiientant la r'
conla
iioiiiluc
de- leiines de
faudra (calculer
[)i)nr
suffi-
sante
i^nler est
donc
il
coiiduil a
la
con-idralion de
s(''ries
lri^(jn(jni-
Iriques. mai se
deniander
Kuler en 17
>
>,
occasion
(') Je
l.iisseriii
iiii^si
de cl
qu'on
ol)lieriL
en reni-
tant
/
/<a)tang/(a
la
considre
I-)
historiques lelalives
par une
le
qu'il ait
reuiporl
le
prix de
manque la plupart des collections du Recueil des pices ayant remport le prix de V Acadmie royale des Sciences; on en trouvera la raison dans la Prface du Torne VU de ce Recueil. M. Katou. au()uel j'adresse ici mes remerciments, a bien voulu aller consulter le Mmoire d'Euler la Hiblirdhcjue de l'Institut et
m'en analyser
le
contenu.
le Mmoire d'Kuler dans le Tome II des Becherches sur diffrents poi/its du systme du monde de d'Alembert (Paris, i-'^!\) et dans un Mmoire de Clairaut (Histoire de l'Acadmie royale des
Un
Sciences, 1754
CHAPITRE
I.
les
cordes vibrantes
'
(
).
les
fixes
/
el
Soient
la
longueur de
elle est
^r le
dplacement au temps
gine fixe de
la
du point qui
est la distance
x de
l'ori-
corde quand
en quilibre.
BernouUi d-
montre que
la
formule
dans laquelle k
est
un coefficient dpendant de
et
il
la
corde, fournit
comme
la
Pour
/
qu'il
en
soit ainsi,
il
faut,
fit
o, la
2'-' up
puisse reprsenter
l'pocjue d'Euler,
la
courbe position
initiale
de
la
corde.
Or,
:
les on distinguait deux esj)ces de courbes courbes gomtriques, pour lesquelles r et x taient lies par une
un
trait trac
volont
la
- ).
Pour Euler
et ses
contemporains,
tait
il
tait certain
que
plus \aste
fut
que
de,
la
il
premire;
or, |)our
fonla
(')
el <Je
lit-iiiouili
sont
Mmoires de
la discussion sur les cordes vibrantes, on lira avec intrt VHistorique que Iliemann a plac au dbut fie son Mmoire Sur la possibilit de reprsenter une fonction par une srie trigonomtrique ( CEuvres mathmatiques de Biemann), ou le Chapitre de la Section 1 des premires Beckerches sur la nature et la propagation du son de Lagrange {uvres, t. 1).
(-) Jusqu' Euler, on avait compltement banni ces courbes arbitraires des Mathmatiques; l'occasion du problme des cordes vibrantes, Euler avait cru pouvoir leur appliquer certaines des oprations du Calcul infinitsimal, mais la lgitimit de ses raisonnements tait gnralement conteste.
*>.I
('sl-;'i-(lnc
eu
soiiinir (|iic
loiilc
Til
i|ii(iii
,{\,\\\
i'i
((msKlrei'
' (
'"Liii
<<'l
ii
uii<;
J;
|)()l\ i^oii.ilc
(le
hi
coidc
qniirit-
).
Si
l'affiiiiiiilioii
Bernoulli
exa(;te,
il
fallait
srie
trijji^onomlrique
si
l'on \eut,
il
fallait
deux expressions analvli(|nes fussent gales dans un mlersalle ingales dans un autre. Tout cela paraissait im[)Ossil)le (-).
la
La question de
une
premier
se
traite
:
dan>
ramener an Minant
l.i
les
deux demi-droit(;s
>
(
(j,
= zt y +)
sont maintenues
est
segment
maintenu dans un
la
de
teiiq)M'atiire
est
la
distribution de
portion du plan,
homogne
ments de droite? Fourier de'*montre qu on obtient une solution du problme en prenant, pour la temprature V,
V
et
=\
ay;('-'2/'-<'r cos(
ip
i).r,
ce sera
la
solution gnrale
si,
en
faisant,
( La manire ordinaire, pour ne p^is dire l'unique, de faire sortir une ) corde de son tat de repos, c'est de la prendre par un de ses points et de la tendre en la tirant, ce qui lui donne la figure de deux titanes droites qui font un
' (
angle entre
aussi
(-)
t.
elles.
p.
"
t.
I.
p.
(i;
voir
IV',
149.)
Comme
on adint-Uail
deux expies-ions
qu'il
aiuil\ liquKis
suffit
analytique dans un intervalle, si petit qu'il soit, pour qu'elle soit par dtermine dans tout son domaine d'existence. D'o le nom de /une liones continue donn par Euler ces fonctions. C'est aprs Caucliy (jue les mots fonction continue ont acquis leur sens actuel. La proprit qu'Euier croyait recounaitre ses fonctions (-ontinues est relie qui caractrise les fonctions analytiques d'une variable complexe. Jusqu' W'eierstr.iss, qui fit voir que deux expressions analytiques d'une variable complexe peuvent tre gales dans un domaine sans lre gales partout, on admettait gnralement que celte continuit eulrienue appartenait toute fonction de variable complexe dfinie par un procd analytique.
cela
mme
22
CHAPITKK
I.
().
on
-
[)r'iit
reprsenter
<; -
la loi arlutriiii-e
de lempratiii-e donne
pour
<^
./
est
nouveau
hi
possd)dit de reprsenter
rnpie qui est en
iiiionoiiK'l
Pour
-j>
le
cas
le
plus simple,
ainsi
telni
la
est
constant de
la
Fouiier
est
conduit
(
.
considration de
(lui
i
srie
C)
-
loin
,
.
n" ^1
et
.
est ('-"aie . I
et a
(le
- a
\>.
T.
)T.
IJe
sorte
(lu
'
une
(
'11
.,
.
)
de
peut
au sens actuel
et qiu'
deux
> '<;;iler
galer partout
'
i
i.
Nous
la
fonctions donnes.
1().
For/nu /es d
l^uiei- et
hourier.
si
La nn-tiiode classique
ou
consiste raisonner
tait
comme
la srie
trigonomtrique cherclie
du
moins
(jn
intgrable (terme
terme) de o
2.
mme
a[)r> multiplication
par
cospx ou
sin/-./-.
Alors, en se ser\anl d
ideiitit(''S
videntes,
J X
i
- o-i-
c/|
COS./'
-i- />!
siii.r
c/^
cos'i j-
0-2
^ni
i,/-
-I-.
2-
a|)rs
entier positif
luilj.
Cela donne
y"( j")
(OS
/i.r </:/.
fi;r)>in/i.rd:r\
intervalle
o,
27:1
que
les
ni la contiiuiile eiilerienne, ni la
maintenant d(;linir les fonctions par les cxpiessioiis analytiques. Ici, j'ai adopt la dlinilion de Rieinanii y est l'onction de x ((iiand, traire, correspoiiii une \<ileiir bie') dtciinine de y.
:
arbi-
i)i-:ri;u\iiN
ION
i>i;s
iiokki-iciknts.
23
sdiis
(|ii
|>I;h(''
|.ir
rinlcr\;illr
a,
>.-~^y.). ><miI
cniiiiiics
le
iioiii
"le
li ifiii;iiiri
ciov.iil
elles
<''lai('ut
duo
iiicril
il
l'oiiiici'
|).ii-
CM
if'-iiliti'.
relier
\
II'-
ii\ ,iil
(l<'-iiiuiil i(''f's
'
i
inih'-riciire-
le
je
[xiiii' le
eas d
une
si
srie
de
eosiiiiis. l'our
ce <a>
iioiir ciliii
une
seiie de sinus,
on
itose
/(
X)
- a -r-
'-l-n
C(lS/*.r
ou
fix)
en
2^
^" siiij-,
les
rdiiiiido
|)i
<'(('deiiles
I
drxiemieiil.
leiiaiil
emiiple
de
la
remar(|iie du n"
1.
f{
cns/i.r (Ix,
J/,
./i( j'
sin
// ./
'Lr
j.
17.
l-'<iiinii h's
fl'
intcr/)()lnfii>n
Lune
dea,^
nu-llindes
eoiidiiil
qu
eniplovt'-es
foriiiules
ldei'
|)(ui-
ealeiiler
les
(-(ndlieients
des
dinterpolation
lrii;()n<)in('Mri(|ue
llidde
II
est
rie
y.,,
esl
abso-
lu ine!\l
conNeri^enle.
1,1
Dans
lorniiile
/'(j:-)
=-
a,,
^>
7./,
(()>//. /.
l'aidons
suceessi-
Aria Alutfl. Pt'tioi>olil(iiia-. 1. \1, anne i7<);. \(iliiiiie |iaru en 179S. quelques indiialiuns historiques: Dans son Minioiie le 174'^. l'^nler donne lexiirer-sioii de a l'aide de sries roii- w" IN). Kuler donne de plus, sans dmonslralion. des e\pres>ions .i(qjiorli<es de a el a, qu"il avait lis prohablenient obtenues [)ai- la nitliodc (|u'il a l'ait connailre en \-\\^. dans le
(') AovY/ {-) Voici
{
'l'onie
dj cit des
a,,.
^^o\(l
Ir/a. en
mme
li-mp~
i|iie
l.i
t'oiiiiule ;;i'iiciale
du texte
qui fournit
\\aiit l'apparition des Mmoires d'tCuler (dats du itj mai 1777). on trouve la tnrmule qui donne a la page ()(j du Tome II des /ieclicichcs de dWlembert 5i</dijj'erenls points du sysf/ne du monde {i-'^\ ) La l'ormuic gnrale qui donne a se trouve dans un Mmoire de Clairaut (dat du () juillet i7.7)- publi en 179 dans VHistoire de (' Acadeniii' royale des Sciences, anne i75'|. ne formule fort voisine de celle qui donne -|i se trouve dans un Mmoire de du Tome I de ses uvres compltes). Lagrange. paru de i7()> 176') (page
I
.').'),j
a,,, 6 se trouvent dans la Thorie analytique de la chaleur, par l'onrier (Art. "il'.) et suiv.i. Foiuier avait d'abord fait connailre ses rsullats par une Note connnuni(|ue l'Acadmie des Sciences
a,_,
[j.
les
iip'tliodi's
(|ui
ont
"''te
/4
CHVPITRK
I.
veinent r
=
si
o. -,
2
n
.,
et
ajoutons
'
les rsultats.
Le
n
y.p
coefficient de
sera la
somme
aux sommets
nul. sauf
dun
polygone rgulier,
mme
in
(').
^^01) -^-1
7
il
est
lgitime de ngliger
I
la si'ie
du second
membre
De mme
r C'MZX JiX)
partons de
formule
= =
a,,
C<)>ZX
-r-
V /
I
"J.,,
Ci>>pX
f<S Z.T
,,
co>;;a" h- ~
"^ 7
/'
a,,
cus(
-^ z )x ^-
t.,,
c<>;.(
z)x;
'
faisons y
.r
^ o.
\n
ii-
et
ajoutons,
l'oui
<<
//
on
furmulrs
i^iii
ilniintiil
les soiniiies
de
|)rooressi<>ri
arithmlique
/'
'
^
V
s\u{a
/,z)
= '"
C05 [a -^
z) eus
-^^
sin
c
;
2j cn.ia^pz,=
^,1
'
-z
la
/'
= '"
=
1
>in
m + -\z
^^2^c.,pz^
,,
isin-;:
'25
trouve
Initiiuic (To
(.(s
ap|)r()clie
de
a^.
si
tous
si
on pose
Z7Z II
fl
It
la
foMclioii
'il
.7)
"ale
/'(
.r
|)our
./
= o.
>
-^
/?
- Cette
qui
o.p
duc
Clairaiit
la
de plus,
(pi
eu faisant crotre IK
"J..,
tend vers
valeur
delinie |)ar
<
lo
fdriiiiilc dti
iiii'iiK'
paa^iaplu' pr''ccdeiit.
le
)n pciil Irailei- de
1
cas d
une
s(''rie
tl
poser
la
dt'liiiir
('-^alc
. .
/(,/)
pour ./=,
I
'j.--,
-,
(Il
Layranue.
)
)n a parfois
/\.z:)
-j
et 'J>(\r)
tendent
vers
cela n'est
nullement
./(>),
certain et
se pourrait que.
et
'}(/')
les
fonctions
Z'i.x)
ne
apjjrocUent pas
indfiniment
et je
de
f{x)
('),
Je
me
termine
gonomtrique.
d'inlerpolalion
t|iir MM. tiiiiige et Boiel ont luoulr fceminenl que la iMiimile ordinaire de Lagrange ne pernietlail pas, dans tous les cas, l'approximation indlinie des fonctions continues {voir la Zeitschrifl fur Math,
(')
C'est ainsi
und
Pliysik.
t.
\L\'I,
-b).
p. a >9 el le?
Leons sur
les
de M. Borei.
p.
v>fi
CHAPITRK
I.
Supposons qu'on
liuiile gale
veuille
|)(>ur
Ironver
^
une
./'-j,
.
srie
.
.
trii^onomtiique
,r =z: .r.
Afix)
^x
V,{
./
=
//
Vlors
on
tri-
pourra prendre
y{x)^y
x) /(
).
jxmr toutes
valeurs
./,,
.r^,
J:^//
On
jieut |)rendie,
pai"
sin.r
(sui./'i
sin,/-2 sin./
.,
siii ./
.r
siii./'j ).
).
sin.r
sin x,,
suL/'i
)
sitK
./
r-,
.r.,
sin sin
(
sin
.r,
./'i
.(
./;.
).
./
./;;
.rj
./
Bien entendu
les x,
lune ou
Ton
ait
Xi ^= X-i-^ 1-.
(^)uand
la
on
liuiit<''e
r(''|)()nilaul
(pu'stnin,
on peut videuiment eu
r->
a\oii' d autr<'s.
l'ar soil
exemple,
|)OMrvu que
soit
(<'
une
/.(''ro:
srie
ddiV'ieul de
pour
srie
sin./'. On peut ajoulei' la G, on pourrait |)rendre ( .r trouve uue srie de uime nature s.innulani pour tous
)
les .//,
par exemple
'h{3f
)
sin
( ,'r
.r\ )
sin(.7'
.r., )
On
s
la
lormule
tant
une
les
\aleurs eonsidr(k's de
(' ).
18.
les [i^
Mthode de bourier.
de faeon que l'on
sa
h'ourier (lierehe
dterminer
tant une
cpie
ait
J\x]
=\
'p^Mw p.L\
Il
./\-f''
srie de Taylor.
adiiK't
pour cela
Ijasii'aiiJie
de ses Oliitvres).
I)i:ti;u.min\tiijn
i>i;s
cokkk iciknts.
;i
27
le
Ton |MMl
cl
II ('i;al('
(llir.'-reiitier
inclfinimml
/'
Iciiiic
terme
second
membre
la
calcuN-o pour X
de
la
il
=o
l"aide
de
srie
eiilirc
iiiirt.
d'une part,
l'aide
s'-ric
lrigonf>mtri(|iie d'autre
idcMmii-iil i|uc
/"
l'iiiii
M ne cela -nil
|>()S>ill'
laul
t'\
et toutes
ses d('-ri\cs
.\\\-^>\
l-ourir-r
prend-il
/'(.Z'
sous
la
forme
-y
\\
''
{.
\\X
j
A3
A.-,
.
>
!
At
7
:
J-3 -r-
^'
rX'^....
un
Les A
niiiicr
el
soiil
connu--, les
sont inc(Uinu-
cl
pour
les
dctcr-
une
soril
procd indiqu,
(pu
de
la
foriiu-
a)
tant
A/,
>./'
So
- V> %^
'xi''^,,-^...,
un nond)re impair (pieleonque. Pour tirer 'p,- de ce systme une infinit d'inconnues (M Fourier limite le systme aux m (//?>>/ premitMcs (|uations dans les(|uelles il
infini d"(|ualions
1
une
>e
la
pour
inlini.
il
mode
objections: d'abord
soit
il
hmite
^oit la seule
Comnu^
j
je
mthode
de Fourier.
('m|)loicrai
un procMb- de rsolution
:
|)eut-tre plus
criti(juable enc(U-e,
indf''termin(''S
(
le
|i'oc(''(l
des coefficients
1.
Si
nous ajoutons
/,,
.
les (pialion>
/,:(.
'/
uiulliphees ies|)eclivement
A.,
on aura A
,
3,.
-^ A3 A3
-T-
A5
A5
-+-...
de pareils syslt-iiies d'quations un pourra consulter des Poincar (Bull, de la Soc. matli. de France, t. \III et \\\ ), Bore! {Annales de l'cole .\ormale. anne l^go), von Kocli { Act. Matli.,\..\\ et XNI), Cazzaniga {Ann. di Mat., annes 189- et 1S98). (-) Il parait d'ailleurs bien difficile, sauf peut-tre pour le cas particulier o /
(') Kelativi-inent
.M.M.
travaux de
la
le
iiiiner les
pour
le
cas simple o
f =^
x. ce qui est
Tourier. les sries qui ligurent dans les quations (a) sont divergentes.
28
CIIAPITRK
ait,
1.
pour q entier
Al
(j
positif dillerenl
de
/,
(/'
-h
A.5
(/>+...
et
La fonction
M{.r}
>,i.r
4- :t.r'-i- ^.r-'-r-.
;,
une fonction entire impaire, nulle pour a entier /. On peut prendre pour .r := gale
i
to(.ri
!)'
'
sinT.x
! r
^
/-
,r-
--('t-a;*4;--V)*...i -\ r* il rJ
\
>'>
t[
/''
D'o, puisque
A,, ^sic
P,=
^
la
[/(o)H-/-,c.)(-n-^)
Fourier ordonne
les
puissances
[)ar
de Tavlor
et
Ion
('j Si l'on n'apei'cevail pas cette forme partiriilifie de w(a:) rpondant la question on pourrait former la fonction entire w(;r), connaissant ses zros,
serait ainsi conduit l.i fonction (u(.r) Mais il est bien vident que cette fonction n'est pas la seule qui satisfasse aux conditions imposes h)(x), son cube y satisferait tout aussi bien; aussi la mthode de rsolution du texte est-elle trs critiquable. Au sujet de l'indtermination qui se rencontre ici. roir une Note de M. tiorel .S'/'
l'aide
de
la
mthode de Weierstrass; on
le
choisie dans
texte.
l'interpolation
diK'er gnies
{Comptes rendus, mars 1^97) et son Mmoire Sur {Annales de l'Ecole normale, l'Sgg, p. 82).
les
sries
KKTKIt.MI.VATION
l'oiir
1Q
rciniirqiH' qu'elle
ciilciilcr
I,
hi
(|ii;iiili li'
fiilrc cioclicts.
on
gale
.v( Tt
en pDsaiil
six)
= f(x)
f'^'i-r) H
r/'*'Ca"j -H
Lue
inouire
I
(|iie
on
d- s
quatiDii
liai'. tire
dont
a cui,rx
-r-
sin/,/'
-r-
>iii l'i'
/(^ )
f( X
^o^r.f
dx
r ros
rx
sin
rx dx,
s-
pour
= -,
on
i-(-j=(
i)''-'r
fi
s\i\
rx dx,
et.
j,
lexpression classique.
intressante
La nitliode de
Fourier est
surtout
cause de
La premire
il
Soit
fonction
/(f-)
=_2
A/, cos/'.r:
transformous-la
2.1'-^
aide de
identit
CAiSl'X
= COipX -h
Cj, COSi
-2
)./-!(yf,
COS(/)
4)X -H.
.,
le
second membre tant continu jusqu'au terme en cos:r ou au le rsultat obtenu par rapport aux diffde cos/>j" tant
CIIAIMTKK
I.
Ce rsultai est d liler; |)()ur transformer lexpression de nous reniarquerons que ridenlil indique entrane
cfis'/./'
'j.p
co'^p.r
cl.r
=o
T.
''
~^'
la
cas o q
cas.
premire forme eonvient au ea? o y rsl plu^ petit (|uc p v[ au /> est luipair. la seconde forme con\ient aux autres
--
De
a,^
rsulte
que Ton
^
la
A,/
cos'/:r cosyj.r
</,/
J'{
x)
ci<>/>.r
dx,
|)()ur\u
a,i
que
srie
A^, eus/' r
sdil
sobtieiil par
un procc'd analogue.
19.
Si'ries
de hourier.
cpie
ne
a|)|)liquent
dans
les
cas
les
mthodes du n" 17 s appliquent, cfllr^ du n" l() s aj)donc ce n" 16 qui uou^ f(uirnit le rsultat le
il
la
question que
la
les
Chapitres
11,
111 et
IV
tude
des
sries
trigonomtriques remarles
quables dont
et
donns par
I
formides d'Euler
rons
nom
de sries de Fourier.
il
Pour
le
de donner au signe
n"
10).
l'ou
qu une fonction admette une S(''rie de Fourier, il faut <'t il suffit quelle soit sommable, auquel cas _/' et \f\ ont une intgrale. La
fonction - sin ,
par exem|)le,
na
|)as
qu'avec n'avons
drait en
la
que nous
formules
[)as
adopte, elle
ait
KKTI.UMIW rioN
d' bailler cl l'Oiinrc
<l(''si<;ue |);ir le iiniii
li;s
COKI' IICIKNT.S.
3l
un
;nil
rc >cii>
(|iii'
relui
(|iii
;i
l'Lf''
lulopl
ici, je les
de sries de h
|iii>
(Ht lier
occuperai
|);i>;
non
piiicc (|nc
(|
moins inlresii
ani
i('>.
ni;ii> j);ii'cc
uc
eu
de
(lire
'
(
.rexpniiH'iiii
lit
coric>|)ondance
eiiLre
une loncLion
et sa .->ne
Koiiner
pai- la
noial ion
/(
r)
r^ -
a,| -f-
cfis .r
-h hi
si
ii
.-/
-f-
a.,
oos
jt
4-
/>> si
-^
.r
-i-
cm |)iii n Ici'
srie
M.
la
Iliiiwilz
cl
(|ii
on
[iciil
('iioncer
/>,
/"('/-)
'<*
pour
(le h'oii
ne r
srie -
c/
((^/,
cos.r H-
sin.r)
+.
..
Hien. dans ce
(nii
prcde,
le
pour tontes
les
fonc-
une
II
srie de
e|
III
Koiirier (-):
Cliapiires
de
e>l
la
prouser
:
ari;uments physiques
>, et
par e\ein|)le, on
dit:
une fonction
/"(jt)
de priode
la
comme
dfinissant
position au
leiiijjs
x de
extr(''iiiil
lame rend un son qu'on peut dcomposer en sons simples (un son
fondamental
et
ses liarni(Uii(|ue>
([iii
correspondent
des nuju-
vemeuts
|)our
UxjiieU
(')
l'occasjiit)
iiolidii
(iii
sens
(iomicf
a
ioi
si^ne
dans
Ic-i
foriiuili-s
l*'<iuriei-,
irEulcr et
Diiiclilel,
t'Oiirier,
la
le
rinli-i;rale
tn
prcise
[)ai'
Clairaiil,
Hiemaini.
admis parfois l'ar exemple, bien qu'il parle certains dmontrer la convergence des sries trigoiiomtriques qu'il forme, Fourier semble adnieltre que toute fonction qui a une srie de Fourier peut tre reprsente par cette srie. Asant lui, Clairaut crivait au sujet de la LU av.mlage de mtliodc de dterminal ion des coeflicients indique au n" 17 elle la i'orinulc [ircdenle. c'est l'universalit de la construction qu'elle donne appliquer des fonctions de t beaucoup plus compliques e>l telle qu'on peut que celles que l'on a traites jusqu' prsent. Dans les cas o la loi de la fonction ne sera pas mme donne algbriquement, dans ceux o la courbe qui l'exprime ne seroil donne que par plusieurs pi^ints, notre manire de lsoudre la
(-) Gela a t cepeii(taiiL
la
endroits de
ncessit de
3-2
CHAl'ITRi:
la
I.
de
forme Op
co'r,p(.r
Hp).
Donc
fonctions.
11
est vident
que
cet
genre,
il
non dveloppables en
' (
srie trigonomtrique
).
Dans un Mmoire de M. Boussinesq {Journal de Liouville, iSSi) on trouarguments en faveur de la convergence des sries de Fourier. Je signale la mthode employe au paragraphe I de ce travail; quand on la dveloppe rigoureusement comme l'a fait M. P. !laek.el {i\oui>elles Annales de Mathmatiques, 1902), cette mthode, (ju'on peut rattacher un thorme de l^iemann Yvoir Lebesgue, Sur les sries trigonointriques {Annales de l'cole normale, igo3)], est susceptible de conduire une dmonstration de la conver(')
vera
d'autres
et
qui est
la
plus
CHAPITKE
TIIOHII-:
l.
1.
;20.
( i'iicraUU's.
Lor-^ipi
nue
srie
lrii;()ii()im''ti'i(|ii('
c^l
donne
reeon-
par
la
Im de ses coellicienls. on ne
si
sait
|)as.
en
iint'-ral.
nalre
elle est
eonvergente
et
eneore moins
ealeidei- sa
somme.
la
Mais, lois(|ue
la loi
frquemment dans
a|)])liealions.
on peut
cpi
il
|)artois
ealciiler
somme de
([ui
la
srie
aide d arlifiees
est
bon de connatre
et
ont permis de
sommer
il
les
manquent de rigueur;
artifices
sou\ent
facile
de complter
les
nous ont
fait
prvoir que
telle
srie trigonomtrique
/"(.r),
(\z'
donne
vrifier
reprsente probablement
fonction
nous pouvons
i
que cette
Fourier de/
et.
par consquent,
donns plus
loin.
!2I.
Procd d'Euler
la
et
de Lagrange.
.le
prends
comme
exemple
,
srie (^C
nx
1,1.
>
la
partie relle de
la
srie
Z)
L.
34
(;n\i>iUK
l'ait
M.
<le
(
quiind ou v
e''':
alors
la
parlic iiiia^iuiire
Z)
est
(S)
(S)
SI 11. 7-
SI
11
.r
^- - SU) )./...
)
!..
Or on
reconnal
la srie
la
i
dter-
.^
<C
qui est
=^ o.
se rappelait pas ce
Ion ne
la
il
suffirai
de
driver
srie (Zi
pour retrouver
r'
arc
tiiiiijc
I
1
dz
_
c-
r'
(/:
1
r'
.
dz
I
-j.
',
'^
z
,.o
/
_
i
i
i
^,
i^iz
i
il ^
par
|
en dsignant,
^iument de o
y..
siiixant
lialnliidc.
il
'
a| et ari; a le
module
et
ar-
Couime
:;
j I
-a^il de
duit
la
dtermination holomornlie
I
dans
le
cercle
<C
ou
prendre
= o.
/
I
l'oiir
z^e'-'\ on
taii" u
1 1
z
z
ros.7I
>iii./
1
taiii;
arc
laiii;
:;
ta
II
^Jh
-
prendre
ou
sunant que
est positive
ou nei;ali\e.
(pie
En
-
dfinitive,
-1-i.
nous
li()u\()U>
-
'i.
(C)
./
re[)i'sente
^
a
dans
-,
>
'
et
-7 dans
I
^
>
)
'
pour
'
lii
>.
Ci
-
videni-
somme
peut toujours
-y
pour
.r
tan"M
riz
souvent dans
la
correspondent aux
sries
entires
que Ton
sait
sommer, par
TiiKoitii-:
i;i.i:.mi;maiuk
oii
kks
.si:iui;s
di;
ioi
hii-.h.
ij
exemple
on des
;i
(elle>
(iii
dcdnil
\
de> inli;iaLiuUi
cliaiiijeiiK'uls
de
.iiiahles,
Eiil(;i',
la eiiiployi(
'
liiii
liodc aiiliemenl
la
).
l*our
sommer
>
><'iie(^C). I.a^raui^c v el
("l
remplac
la
eos//./"
par
il
aiiiail
Z, ),
ilemi-somme
des valeurs de
pour
la
e~'-'
mt'-lliode
a ('ludu''.
(die
est
rigoureuse (pie
>i
on
i,
la S(''i'ie (|ui
(
j(jue le
nMe de
pour
et
elle
I
i;uere dans les Cours la S(''rie Z) que mthode de sommation applique (C) (S) n Csl pas eiilK'remcnl h'-^il iim-e. Dans ec cas paiiieiiliei{'^)<
)n
n(''tudie
r:
<<
au>>i noire
eonduil
peut
conduire
vait l'galit
ij.
C(>s:r
-H cos'^a" -h.
idors (pie
volt
la
srie
du
.-.ccond
menihre
//
C(jmme on
[-).
le
en
ealciilanl la
somme
de ses
premiers termes
^'.
Pi-ocd
(le
Fouricr.
(h'-duil
(hiand on
somm une
srie
trigonomtrupie, on en
j)ar
qu On
sait
sommer. Je n
ce
|)roc(''(l(''
il
srie
(
trigonomn"
trupie n est
|)as.
drnahie terme
a
lerme
oi
).
Pour
le
cas
(le
(C) h'ourier
em|)l()v
(^as.
un
|)roc(''d(''
inh'ressant,
Soit S, la
rfS,
somme
///
impair), on a
)./
MU
:
')X -t-.
.-1-
i,\\\{im
(')
(
Voir
-1)11
t.
premier Mmoire
p.
loj ). si
Sur
la nature
el
la
propagation du son
une oairiie une somnie
est rap-
uvres,
(-)
Il
1,
fauL
remarquer que,
lu
une
ne
peut jamais
conduire
;t
aitri!)uer
inexacte
n" 31).
36
(I
CHAPITRE
11.
O
S,
(l:.
X.
r-X
Intgrons
sin2/?<or
(V.r
[)Iii<ieiirs
fuis
de suite
par
parties en eonsidrant
ou COS2
///,/ f/.r
comme une
et
rons des
dil'iicuits
nous trou\er(uis
([ue 2
la
S,,,
gale une
la
CHS 2
//?
lin
sec
,1
X
-,
srie
1-
m-
SI 11
),
,/
>ec
./
.r
-:-...
>'///*
les accents
quand on prend de
srie
j)lu*
fii
il
admet
fait
donc
t[U(' la
prcdente reprcsenle
)r.
(piand on v
=^ X.
elle se rduit
.r.
une constante,
la
somme
de
Ci
est
donc
indpendante de
r
la
ix:
-sont videntes:
2
il
sufiit
rduit
srie
pour
et
.^-
conclure que
i;ale
-,
dans
est
(-.-)
^ o ou 7 dans
t:
pour en
La mthode de Fourier
ne serait peut-tre pas
elle
il
trs difficile
conduirait
c'crire
la
oublier <pie.
les
comme
une galit inexacte, mais il ne laut pas mctbode prcdente, elle a permis, avant
les sries
de Fourier. de
celles
sommer
sont
srie
les
sries
Irigonomlriques
liui
les
plus
simples,
c|ui
au(
jourd
a t
encore
les
la
La
le
t.
C)
somme pour
premire
fois
par Fourier.
On
Mmoire
1
1.
dAbel Suf
du binme ^^Journai de
Crelle,
11.
cojn veiigeisce.
!23.
t^rincipr de la mthode.
Pour que
les sries
de Fourier
Tni;oiui':
Dii
kolriku.
<(nil iniies.
il
37
tiiiil
pnissonl
(Mif,
ser\ir;"i
lu
une sitic
;iil
loiil ;iu
plii-i
admcUaul
ceth; siic
si
rentf.'S
avaient
la
la
toutes
soil
le
deux gales
somme
de
((lte
scM-ie.
et
procd empiovc'- pour atlaeliei- une somme unique la que ce soil le pr(c(''dt'' ordinaire ou loul autre |)rocd de sommation. Nous nous assurerons tout <l ahoid (|ii une fonction
srie,
|)ar sa srie
d(;
de Fourier.
nous
s(''ne
siilliia
rccdierclier (pioi
|)ai'
natre
ipi
une
lii^onouM'liique, donm'c
-^iiite
de ses
dans
la
s(''rie
de
Foiiriei-
de
/.
un de ces
cas.
la
fonction con-
une
sc'-rie
la srie
cetl<;
de Fourier de
a |)Our
somme,
somme
^i.
existait
(f(;ux
fonctions
continues
diffrentes
avant
la
mme
tinue
srie de
dont
la
srie
de Fourier
serait
iden-
tiquement nulle;
admettre
et
faut
termes:
il
v a contradiclion
la lois cpie
/(./) est
/
'
1)
nulle,
que lintgrale
sin/>./-.
/{
nulle (piand
'^(.jc)
gale co>/>J.: ou
quel que
il
soil
De
non
la
premire hypothse
(
trouver un inter\alle
nul.
rt,
/>)
dans lequel]
/'
surpasse un
est positi\ e
/
o.
r(''aliserait
au besoin en changeant
en
/.
De
la
seconde hyposi
thse
il
rsulte
'^l
l'on
y remplaait
ou encore, ce
(') C"esl--Jire
une
38
(|iii
HAIMTRE
II.
revient
ati
inrme.
par-
un ijolviiome ([U(lconf|ue en
a
-r h \
'-
cos.r.
Pre-
nons
'i
-I-
COS
/
I
a
cos
b
/>,
<l
est
suprieure
a
i.
diiiis
o,
a) et
a~),
-i;
|
est
infrieure
'i
<^)uan(l
on
fail
crot indfniinenl
(V/,
compllenient
//?,
intrieur
dans
I
(r/.
h) /"surpasse
/
la
eontrl-
hulion de
inter\alle
\ii
h) dans
la
inU-i^rale
fz^dx augmente
(
indliniinent.
contraire,
contriltutioii
de
o,
a) et
/>,
dans
la
mme
(i"
donc
/>H-c/)M,
iin|)()S-<iljle
le
module de
/
ne sur|)asse jamais ^f
nulle
ipicl
il
est
(pie
/-^(Lr
soil
(pic soit n.
Deux
tint ries
srirs de
FoiinCr
diffrentes.
Kn poursuixant
ne peu\ent axoir
raisonnement, on \errait
(pie
deux (onctions
si
mme
srie
de Pourier que
elles
il
diOrent
est d'ail-
ellective-
ment
suffit
fini
la
mme
obtenue
incidemment
|)lus lard,
pour dmontrer
([ue
de points de discontinuit
mme
srie de h^ju-
rier,
iransforniation d\4bel. Thorme de la moyenne. Le terme gnral dune srie lrigf)nomtrique de sinus ou de cosinus se prsente sous la forme d'un |r(^(luit de deux facteurs.
^o.
Il
le
terme
entire et de
des renseignements
gnraux sur
de
l'i)
forme
i''i t'i
//
-4-
-^ 2 C2
^
con\crgcnce absolue d'une
On
telle
la
quand,
la
absolument convergente.
rilkdllli:
Kf.KMKNTMIlK
IH.S
SKIUKS
|
Di:
KOIUIKU.
'|iitl
Sg
soil
i,
U\-
csl
Ixiini'c.
('(sl--tllic (|iiaii(l
r,
<^sl.
(|iie
ial-
rieiire
S'il s
un nombre
aii;ll
lixe
N.
dune
srie
el
termes
convergence ahsolue
l>orne, ce
\arial)les.
(|iii
iiniloruH-nient
i
iloil
tre ind(;|)endanl de
e>l
et
des
si.
de
plu,
(|n.iiid
la r,
st'ric
"^["i
uinforinnient conver\ers
gente:
ou
hien
leud
uudoriuc'uienl
zvr
|)our
/croissant
ind<''liiiiiiicul. cl (|ue.
de plus,
i^|'//|
est convergente, sa
somme
'St
('laul
uiiiloruit'UKMil
l)in-ne
).
horni'c
undoiiMiiucut
('N
par Icniplni
tout d ahord
dune
Vlxd.
utilise
mi-;e
par liler.
dont
le
iuipiu'lance a H bien
en xidenee
(|u in lui
|)ar
d o
noui
de
transformation
d' \hel
donne
f(i
t'i
g'nt'-ralemenl. l'osons
--v,
ui
-I,
u,^\
\u,
on
identit
i'\
ident<'
produits en une
somme
anai(\
on
faisait
jouer au\
aux
\ii le rle
des
les
transformation d"\l)el.
la
st'rie
[)ropos<''e
//,c,
fait
sera
consergente en
la
cor-
respondre
vers
la
zt'-ro,
la
transformation d
la
\l)el:
UiZi
I
tend uniformment
de
convergence uniforme de
1
convergence de
autre.
Imi
applnpianl
on
|)our -///C/ de
nomeaux
si jt-v]
cas de convergence
que j'nonce
convergente
1"
La srie ^/(H'i
Ixuiu'e et
SI, lie
est
si
t,//,
est
plu>.
A//, est
abscdument C(n\ergente.
si
7/
tend unif(r-
mment
\i'i\'*JL'
vers zro,
si
S|A/^,| est
j
encore
si
7^
est
4o
CHAPITRE
et si.
II.
uniformment convergente
vers zro.
I^a
de plus.
le
vMe des
et v,
i'
et
'/
in\ersea,
ment
et
|)iiis
on
/
|)eut
remplacer
//,
par
y.,//,
par ,
la
tant
il
une fonction de
time
fois
pratique
il
=
[
)'.
D'autres fois
est lgi-
avantageux d a|qjliquer
suite, ce qui
la
de
conduit
interviennent
les diffrences
connue de
ers
la
transformation d'Abel.
(|u"il
Supposons
(pie.
est
inutile
de
et
supposons que
les c,
soient constants
et
somme
7:
uniformment
-^'i-
D'abord, (piand ^|
///
est
dans
le
cas
oii a,
tend
crire
la
En
faisant c/=<7,.r', et
//,=
on
la
dmonstration clas-
les sries entiro <|u on \a bientt Le thorme gnral sera utilis au n" 08. \ oici une autre consquence de liaiisformation d'Abel. Supposons les nombres //. //, // positifs et dcroissants, noti'e identit fondamentale montre (pic la >uniiiie
\:t
est coin|)risc
produits obtenus en
t. 7,
iiiulti|)liant
le
plus grand et
des nombre^;
7 par
./>
la
forme
uv
r/x,
dans
l-Ol
UIKR.
il
laquelle
[a.
ii
esl
/?
b) en
4-
une loneliDn positnc deroissante ('); divisons sei;ni(!nls gaux, de longueur h. Soient Wo^'o'
i
w,i',, (f-2^2'
''"^
valeurs de
//
la
fonction
sera
ap[)i<)eli(''c
pins
grand
.
valeur approelie
tinue de
;.
(le
*
/
fi
e r/.r el
(|iie
que
*
/
Il
r c/x" est
lonetion eon-
nous eoneliinns
Ion
uv rlx
nia
i
'^'1
c d.i
Il
/i
et A.
Cette
galitc'
est
la
moyenne :
elle
connue sous le nom de second lliornie de esl due Ossian Bonnet (pu l'a donne dans son
t
Mmoire Sur
lran<iers
les sries
rinononitriifites
WeierAcadmie dt' t. XXIIl strass a indirpi un autre nonc qui, grce surtout aux recherches de P. du Bois-Hevmond. de MM. iJini et .lordau. est maintenant l'un des plus gnraux cpie on connaisse concernant les (onctions inlgrables au sens de Biemann. Ce thorme a servi de hase
pid)lu''s
par
Belgique,
comme
je ne
m'en ser'\irai pas dans la suite je ne m v arrterai pas davantage et, pour ce (pii le concerne, je ren\ errai le lecteur au second Volume <lu (Ours dA nfilyse de M. Jordan. Du second tln'orme de la movenue nous n iitili>erons que on a cette consquence
:
uv
(Ix
SU\^
b) et
et
U
I
tant le
maximum
(|u;in(l
y.
de \u\ dans
j
(//.
V'
le
maximum
de
r^
j
i-
f/.r
'
et
\ari(Mit
que (tune
inti;rale
au sens de
l^ieiiiuiui.
42
CHXPITRK H.
//
monotdne (n" 3)
et fie
siyne
26.
la
1
comme
et
s(unme de deux sries dont l'une ne contient que des cosinus autre que des sinus: tudions sparment ces deux sries.
Soit
donc
la
srie
-T-
<,i
cos
I
:f -i- n.2
cos -xx
-!-
elle est
Yidi est
videmment uniformi'menl convergente quand la srie absolument convergente. C,v cas de C()nveri;encc se dn'-sullals
duit
c,i
des
1
prcf'demment obtenus en
('):
|)Osant
la
ai^u,\
=r
VIjcI
r,=
cosi.r
taisons
maiiilenant
transformation
17.
en note)
il.
-h
i)
7/|
I
est unifornK'meul
inter\alle
tel
ne contenant
inler\alle. /a
aucune \aleur
coni;i'iie
Donc, dans un
^'i+\\
signe
et si
/,
-
i
Cela
et
en particulier quand
de
mme
Prenons maintenant
c^
^ -,
.T-
c/
:=
ij'cosr/-,
nous aurons
CKSI
"2/
I )
7/
COS./' -f-
coe
;>..?-(-..
'
j'
costx
=
(
X
,
)'
donc, dans
loiil
intervalle
(')
Bien eiilciMlu
1
ii-i.
i(iiiiiiie
dans
le
pas
i^-r-
o.
TlllfoHIK
KI.KMKMAIRi:
l>i;s
SKIMKS
1K
lollUKK.
si
4^
Tt,
la
s(''rir
est
uinfoiinriueiU cninernenlc
a;
^\ai+
a^^^\ est
convfff^cnle cl
(>ela a lieu,
([lie
I
I
si
(ma
l'crs z-rro
rucc
-
i
en parlieulier.
sont
si<;nes alterns et
r/,
(lcnit
eonslainmenl
jus(|u zro.
I^es
valeurs exeepliounelles
=
la
o,
=i
(|i)i\enl lre
examine sont
nes
(I
pari. !it'niar(|U()ns
encore
(|uc les
tre ein|)lovs
pour applicpier
x.
Iransfoniialion
un
la
l'autre
en clian-
^eanl
Si
:c
en
tz -+-
Ton
o|)r(> d
une maiiirrc
/vi
arialoiiuc
-< si
ri
pour
. .
st'i'ie
-in
./
-^
>./
-r-
on
undoruK'mcnt
C(Ui\ er;;enle.
dans tout
h/
inlei-\alle
\
y.rvo. si
tend
uni-
ers
Z('-ro
cl
si
/>,
A/j_i
. .
csl
coinci^cnlc
elle csl
si
A,
si
/>",
|
-r- /^t+i
|
con\eri;enle.
les
Ici
lOn
ioujours assur de
il
la
con\er^ence
la
pour
se peut (pie
conxer-
genee ne
un exemple
Pour
simple,
(pie
il
d
la
|)eu
n"
""IH.
en note
i.
une
si'ie
S(''rie tic
forme
e^l
(piand un lapplnpic
une
de sinus, de
c/,
prendre un terme
ainsi
([ue
c dillercnl
comme forme
fait
1
nous l'axions dj
1
pour
c,)
les sries
I
de cosinus.
.
On
ou
pourra
prendre,
par
^
exem|ile.
i)'sini.z',
./
col-^
c/=siiu,r
r=-tani;.r, i'/^
deux
eus (
-f-
-,
7,
sni
^'
7,=
.
=
(
.y
'-
'
j:'
.sni
os V.
Kn prenant
ees prcautions,
la
une
srie
une
nom elle
srie
de
))ar
44
2
CHAPlTIiK
II.
sin- ou
2
cos -
2'
vergence.
Partons,
|)ar
exemple, de
la
la
srie Srz/eos/.r;
S(V//
|)our\u que ai
sin(2 /-ji)
transformons en
(7/_,.,)
ou en (
nous avons
et l'on voit
V (r//+ (7/^,)cos( 2?
+ 1)<'st
le
transformation d'Abe!,
que
srie
propose
uniformment convergente
o, ->
SI
lune des
sries
est
absolument convergente.
relatif
(//,
Laissons
de
ct
le
caractre de
con\ergence
inteivenir,
<^?
/+;>). les
s
comme on
devait
c/^,
y attendre,
...
;
secondes
.
.
^z,, a-^,
a^^,
r/,, a.2,
3,
..
donc
le
/fi srir -Oi cosi.r est Jiniforinmejit convergente dans tout intervalle ne contenait aucune valeur congrue
-^-^
{l>
faut/e
des
deux
il'i'//]
est
uniforninient conver-
gente.
\jV
L n
deux manires
c est
renles,
est
pas
essentiellemenl nouxeaii
le
celui (|ue
Ion
la
obtient en appli([uant
thorme sur
les
dilliences premires
en deux sries
-\- i)
S a^j cos
2 ix,
x.
Or
il
est
et les
dcompositions
des
sries auxquelles
on peut
uni([ueinent
t,
Ijorne et
que
//)('
prend
C/
gale cos(i/> 4-
que notre raisonnement supposait si Ton ou siiK ip 4- // ),r, que p soit gal
45
cl
II
(>.
coiiiiiH' <l;iiis le
|a>.
cas
cxiiiiiiiic
|)rcc(';dcniiii(;iil.
ou (jne
cela ne soil
Les rsultats
rclalif's
aux
dili'i
rciiccs
pi
cuiicrcs
s a|)[)liqiiejil
encore
sei'ie
si
ion
cliani;c
est
(t,i
en
fiy.
lorsque
<ti
la
>
pre-
nanl c/:^
rcsullals
7,
est
(\ id( iinin-iil
la
ixinu'c.
Par cxcni|tlc.
des
iiiili(|ii(^s
il
rcsullc (|uc
d<'>
srie
est iiiiiioriiieiiiciil
o,
\alcurs c(jiii;rues
donc une
autour de
stM'ie
de cosinus
\aleurs,
si
est
iindornuMiiml
convergente, saut
et
si
ces
^[na
telle
fi
io_^,] est
remarque peut
simple de
la
tre
conduit
une
('rilication
eon\cr-
sries,
mais
les
caractres de conver-
gence que
(|ue
on obtient
j
ainsi sont
ceux qne
ai
indiqus.
"21
coefficients
rier.
'il
variation borne
n" i
),
elle est la
Comme
on
cos/ix
dx
^111
Il
sin
/?
'
x
Il
\~
iborme de
la
moyenne
-^,
j,
n" 2o)
donne, en appelant M,
la
limite siqirieure de
'^1
COS/i.
dx
<
I
i\J
La
mme
raies
y:^
'^,
cp^'-
de
il
les coefficients
du
a?"^^""'
!28.
sries de Fourier.
Considron:
46
CHAIMTKK
II.
et
intgration
|)ar
parties ilonne
/;
f cuy II X
dx
=^
~
/(
f'i-\niixdx,
C'"
<>)
/(>- o)
la
r'~
-P'
De
la
srie
de Foiirier de
o
sou>travons
srie S(^.r)
/i
b(a-)z^-
/"(^oi
o -^
/'(
vi
>
nIii
.r
.
La
'
srie restante
R(X)
est
ordre de
/L-
La srie soustraite
est,
d aprs
le
Donc
la
srie de Fourier de
(
/'
est unifor-
o. 2
);
elle
En
ce point,
est
a
convergente
de
somme
zro,
la
srie
partout
convergente
non congru
zro,
on
_/( .r
.r
K X ),
(
et,
puisque
est
dt'diiit
/(, o)
S(-T- o
K,
J\
i(
oj
-r-
k.
o)
o.
luiisque
Six)
et
nous obtiendrons
l\
la srie
/'( -;-
la
demi-somme
des valeurs
o),
o)
'
).
changement de
, '
,
)
^ry >\n
II
La srie
X
esl
>
TiiKoiui:
(r(''(re
'lii(li(''.
i;i,i
.mi;m
MHK
iii;s
si;iui:s
m:
oi iiikr.
47
(('lui
(rime ("onction
satislaisiinl
dailh^urs
toutes
les
conditions
c|u
coniiiic \;ilcur.s
Sii|)|)u-^(ns
de discon-
tiriuit(''S.
les
\aleuis
|iai-
confines
.r.
maintenant
;iil
(iiic
/',
satisfaisant
aillciii> aii\
lc>
condilious
(
inili(|iii-i's,
|)i)iir
.,
valeurs de discontiniiil(''
\alciii>
on^^iuo
./i.
./..,
j'
en nombre
lini.
Posons, sauf
[)cut-(Mr('
an\
|)()iiil>
de di>conlinuil(''.
.../;, |/(x,,--oj
/=
c
ti
/,
/(j^-i-T-o)
/(./,
()))
-/(',, u)l
-t:
t'taiit
conliiiuc et
/",
d(''sii;iian
('./
une
cl
|)ar
loiiclion de
|)(''ri()dc
'^ale,
de Ji
.//-f->T:. et
/',
xi)
/)('//(
pour
js'
=: x\.
Il
est
vident
:
que
Ci
sont re|)r(''scnlal)lcs
i
donc
Si r iiilcf^dlli'
{),>.-)
(''Ire
/xirtKnr en un iioinhie
t/cs(iii('ls
Jim
Id
fonction
tuhnet
partout
lu srie de Fourier de J est eonver^e u niforninienl vers f dans tout intervalle ne contenant aucun point de discontinuit de f\ en un point de discontinuit la srie tend vers la moyenne aritliniticjue des valeurs vers lesc/uelles f tend (fuand la
une
ilrivc
<i
rarialion borne
lille
con\'er<j;ente.
variable s'approche
La MU'tliodc
petits d(''lails
(les st'ries
(jiii
du point de
a
discontinuit.
r('':^uitats
nou>
iourni ces
\
de celle ipic
ieut d euiplox cr
M K nc>cr
poiii'
(''tu
de
tournis par
'V
U nesl
mais
1 il
|)as diilicilc
(Hicl([ue
peu
le
r('>uUat obtenu,
a
semble
cpn'.
pour
appli(piei- la
ser\
i^K-raiix
la
de convei-i;cnce,
(audrait reprendre
converi;ence,
dune
s(''rie
Iri^onomiHrique
Lludc
gonomtriques. qui
{v
tri's
n(''i;li^e
(') Voir Unlersuclumgen iiljer (tie Durstell ung aitlArtic/ieii FuiitUioiicn in der matfiemiitischen Pliysifc {Math. Ami.. Bd. LVIIl. i;)i)'4)- Je venais dexposer au Collge 'le France les considrations du texte quand j'ai eu connaissance du Mmoire de M. Kneser paru depuis quelque temps dj. La mthode qu'emploie M. Kneser. pour dmontrer qu'une srie de I''ourier dtermine la fonction
ici
40
CHAPITRK M.
j)arlies
de
la
thorie des
Fourier.
Il
aurait
lieu
aussi
<le
d'tudier davantage
suite
srie
uti
laquelle
thorme londamenlal du
Riemann
(n"
34
).
m.
^9.
Applicatioa's.
Reprsentation approche des fonctions continues. Le rsultat qui prcde permet de dmontrer simplement un thorme
de
W eierstrass
Soit fit)
Posons x
(
=
)
), comme l'ont reuiarqu MM. Lerch etVolterra. ( une fonction continue dans un intervalle fini {a. ^p). ne sorte pas de tant assez petit [lour que A't,
'
/."
./
t:, -i-
(uiand
est
',i
dans (a,
).
{krt.^
A"3i et dfinissons
condition
Traons
les
la
courhe repr-
sentant
c;
et,
marqutms
./,
points correspondant
aux valeurs
o, ^i, j:^,
(
.,
.r
= i~ de
//,
x/^,), l'oscillation de
soit infrieure
Les
fonction continue
celles
-!>(x)
de priode
la
pour lesquelles
vient
la
srie
de
de
-!;
Fourier
d'tre
srie
dmontre.
En prenant
'J/.
donc
assez
termes dans
de Fourier de
ou peut reprsenter
cpi
il
la
faut jtrendre.
it
h'ourier de
pourrait
nous l'indiquer. Laissons cela de ct; ]> est reprsente moins de par une suite finie de Fourier qui reprsente par suite moins de 'j-z. C^ette suite de Fourier peut tre dveloppe en srie
'-p
srie,
on
un polynme reprsentant
la
suite
moins de et par suite es moins de 3e. Remplaons maintenant .r par kt nous \ovons i\u: une fonction continue peut tre repr-
(')
Au
sujet
(le
ce lliorine toir
tes
le
Cliap. 1\
fondions de
-M.
variables reties et
d<,eloppenients en sries de
polynmes de
E. Borel.
iiiKDiiii;
i;i,i:.mi:nt.\iiii;
dis
.si';iui:s
di;
ioi
iui;it.
49
scnte,
finie
inoiiis
de
jurx,
par un polynme ou
p/ir
une suite
de Fonvier.
30.
Principe de Dirichlei
la
.le
vais faire
une application de
lis la
ce
l'siillal
dmoiisl
l
alKiri
de llK'orcmes intinieiiient
Je
le
\;iis
iIk-oiic
des
sr-ries
ii^oiioiiK'l n(|iirs.
dim
pi<dil(''iiic
rirlilel. cl
(joui
d''ni()iiti
('\isl<'uce d
une solu-
tion de r<piali(n
AU
qui soil
- = O.
C
et
'''''
'>y''
conlinue
inh rieur
;"i
iV
un contour fenuc/".
qui se
\,v
principe de
iJi-
atliiinaliou de
possd)dil(''
du prohlrnic de
celui
Le seul
i
'
examin
est
(\
est
nmt
eirconfcTence
j)i(''liminaires. Si Ton pose dcompos en sa partie relle et sa |)arlie lma^lualre, fournil tleux polynmes en .r et ) qui salisfonl ('(jiialion de La|)lace AU o. ce (jue Ion exprime en disant que ce sont des polvnomcs liarmonupio. Si nous posons mainte-
Faisons
-\-
(pirhpu's
remarcjucs
z^=-x
en
:;.
nant ./=/cosc5,
1=:
sin
'^.
c cst--dire
si
l*'ourier
en
.
'^,
chaque terme en
cos/J'^
("tant
multiplie''
:
par rP
Pvciproquenient toute
expression
la
forme indiqiu'e
i'
-0-^
ri Ui ces 9 ^^ A,
siii'i i-:-.
b,,
sin /tes)
est
relle
un polynme harmonique parce (pie c"esl videmment la partie dun polynme en c i-e'r. Pveinarquons encore ([ue P n"a ni maximum, ni minimum. En effet, on a videmment (n" lO
>.
>.
('
Pour
la
Tome
II
du Traite d'Ana-
lyse de
-M. l'icard.
L.
00
CHAI'ITRK
II.
condition de donnera
dans lintiirale.
('i;ale
/ une valeur ronstante positive quelconque prouve que. ou bien P(/'. 'i est toujours Cela
)
Oq,
ou bien P(
/,
'.s)
|j1us
i^randes
que
- c/q
et
ni
n\^st ni
la
un
maximum
autre point
orii;ine
rien qui
distingue
le
dun
conque
origine
n'a ni
z-^
et le
point
point (juelhi
nouvelle
barinouicpie
Ceci pos, soit /(c2) une fonction continue de [)riode 2", nous
allons
c'est-
confrence
<?'?
et se
Du mme coup
dmonlre
})our
une
circonfrence quelconque.
positifs
(
$,,
So,
...,
fornumt une
srie
S,=
S/(o
convergente
et soit
')
-</^ 4-
a\ roso
-f-
b\ siivy
~i-
.-=- (/,,.
cos rt/a
-r- 6/,,
sin/'^)
une
/a
la
= ",
S/(/-,
-,-;/'
^(
=
'
((j,
cus/^-j
-i- b'i,
>\npz,
//'.
[>a siie
/(/-,
'i;=
Si(>-, '^)-(-
/,
S^ir,^}]
...
est
1
uniformment conxcrgente,
d'a|)rs
notre
remarque,
de
S/
S/_,.|
I
atteint son
:
maximum
'-s)
sur
et,
jamais
sur C.
$/-|- sz+i
donc /{f\
est
continue
el
Ede
se rduit
videmment
/'('i)
sur C,
que
c'est
C) Dans
reprsente
ce
tits affectes
numro et le suivant les symboles a'/,, b'j, reprsentent des quande deux indices et non pas des puissances /i'""; au coiUraire rf
y>i-nie
la puissam-.'
,|g
,.
niKOHii;
('<(iii.M(l(';r(>iis
i';i,i:Mi:NiAiiii;
i)i;s
skiuics
<l;iiis
m: roi
uii;ii.
5i
les IcniH's
ru
cos/*./"
IcjiiiH'iil la
srie
//'
f
-,
a],
-i-
('
a'f,
af,
ci
de soimiik'
:iii
pin-; <'"ualc
la
si'-ric
rt'
^f^'.t^
laul
iiu
coenicicul de
i;al.
de
J'Oiincr
>,
S,
).
S/_,.,,
csl
au
|)liis
SI
i
eu
o
)
valeur
absolue,
(/+
l'ai'
cousiMiiicul,
S/^, par
la
la
us
/"(/,
uoiis rcinplacons
(|u
il
siiilr
(iuic
de loiirin-
repr-
seule.
11(111--
ohlenous une
est
sih'ie ddiiL
simis
cl
cosmiis
au plus
par
siiilc,
poinz-c^i.
et
iKiu-^
siiiiis
tenues
eoiilciiaiil
un iiKMue
ou un iiKMue
cosiiiiis.
)u ()l)licnl ainsi
J'(
/,
/{ cil
co>.o
-r-
Aj <in
-^
-T-
/"-(rto
L''JS
>>.';
-i-
^ alw
>.
S' )
-7-
pour
/=
luoulre
/(/,
'-p
est
la
<lonc /(/",
'^)
satisfait
la
di'
(>.
L'existence de
cette solution,
On
taiil
lianii()ni(pies.
maxiiuiiiu. ni unniniiiiii.
3J.
Int('<^ral<'
de Poisson.
(i
^,
Ou
/'/,
ideininenl
b",:
liin a",,
liiii
a'j,
=
S//
c(js/j'^ (/'},
h'I,
et,
eouHue
tend iinifonuinent
ers
_/('-!/),
on
'
j^
<:ii\i'niti;
ii.
_/
/'.
'-i).
on trouve
'-'o
'-
-f- /--
_/'( 'b )
COS
-2
(l
(bh -^
que
on peut crire
-r- /
T.JX r, o
=
la
/{
!/
COS (
'i.
-j
-f-
/- COS
>.
!/
o
)
d<!j,
parce que
Sf'-rie
sous
le
signe
prcdente s'crit
encore sous
la
lorinc
'
'
i-r.
'ir eus
'1/
-t-
r-
le
nom
e fonnitlc ou d
le
m t(''i;rale
de Poissoi)
parce
la fil
connatre dans
Po lylecli n iq uc
;'i
Le raisonnement de Poisson laissait dt'sircr au |)oint de uc de la rigueur, M. A. Sclnvarz a montr (pi d ('lait facile de le rendre Loul fait rig(jureu\. ^1. Schwarz a Uidn'' aussi ce rpie donne in\
1
tgrale de
nuit(''
Poisson dans
le
vement
faite,
nous
suffirait
d utiliser
remarque
d(''i
sur
la possibilit
Poisson |)our une fonction [)articulire ayant des points de discontinuit de j>remire espce
:
il
nous
suffirait,
miner
/
si
<<
de
fonction harmonique
aie ta
ni;
-^
(-
''C?
=x
-r-
iy)i
cpii a
dj t
luis
(^(iesainin. iiiatli.
Ahh., Bd. 2)
et
M.
Pviemann (^Annales de
TiiKouir:
i';i.i';.mi;m
Aiiu:
dics
si:uii:s
di;
i-oi iui;ii.
')3
Cos considriallons
coikIiii^ciiI
;i
que M. Srliwar/
srie
ili'
louiicr de fi'c)
a|)|)li(|U(''
I) ;ij)r> v\\\
(lAIx'l.
la
si'-rii'
/
cnhrre eu /
tend vers
i ,
(|ui
rcpri'-fiitc /
'fo
)
/",
'j;
|.
quand
de f{i\
-Mais
lude
qu'on \ienlvle
f{'-^) <ist
(j!i(ii
/'(/. cs)
lorsque
est
la
soninic de
it'sidlal^
la
convereonclui'r'
i;enl('.
de
/(
'-i
).
Les
./'('-s)
pour
le
cas o
est partout
les
indica-
tions donn(''es
linu!t(''
on pourra supposer
1
a i\f<
points de discon:
('noiKM'- siiisanl
h ourler de la fonction ./{--Zf borne, de priode sauf en un nombre fini de points de dlscontlnult de premire espiee, est convergente pour la vaSi
la
)
a, partout continue
leur
Wl.
'jn.
*>''/
somme
est
gale
t[./"('-3()+
o)
-i-
/"(
'-2,1
)].
Proprit fondantentale des fonctions harmonvpies. Je ne pousserai pas plus loin Ic'lude de linti^rale tle Poisson el des fonctions liarinoniques, rel,iti\enient laquelle on consultera avec profil les tomes et II du Trait dWnalyse de ^I. i'icard. mais je
I
la
nn-tliode
les
('),
que
la
fonc-
harmoniques
et.
continues ainsi
1
premiers ordres
condition qu on
circonfrence
ni
convenable
])ar suite.
Karmoni([ues n ont
maximum,
Pour
minimum.
il
cela,
suffira
de prouser, par
la
mthode de M.
t.
Parai
1 ),
(|u"// /te
peut
ploie,
<iiu-l(|ui- -.aie l'iiiNersc de rell<> (lue M. l'i. iinl iiiTrait d' Analyse, pour diiioiilfer le tlioriiic de \\'eierslr;iss (|iii noiis a sei\ de point de dpart, tlicmann avait peiit-lre prvu uni- Tiirlliudc di> ee genre; pailaiit d'un thorme quivalent au principe de Diriclilet pdur le eas de la circonfrence, il dit Si l'on admet ce tliorme
(') Celle
mu-iIhuI.'
est
en
diins' le
Imiie
de
>oii
qui, en
l'ail,
esl
exact,
de
l'"iiurier)
conduit au but: de
la
mme
dduire de
srie de
l'ourier.
Neumann
comme
5(
ciiArrrni;
ii.
iiikoiuk
i;i,i:Mi;NTAiiti:
dks skuiks m:
i-in iiikh.
ferm d,
la
cjui soient
x-)r.
quantit a-
a-
.r-
Ar
'./
iW ar
O.r
=
It'S
o.
\\
existait
il
deux
f()U(Mi(>us
//
remplissant
eondituois indiquation,
ques,
existerait
deux lonctions
je
r satisfaisant eelte
r.
satisferait aussi
annulerait
surC
(
ment nulle
intrieur de C.
donc
r aurait
intrieur de
G un
./,,-
maximum
j^o
5
positif
ou un
minimum
r ait
m'-gatif.
un maximum
on
/^'\
'-''''
\
'
'^'
'
et .r,
r,
entre r
et j^.
deux termes de Ar sont ngatifs ou nuls au Aoisinage de .r,,. j'o, donc que le premier ternie de l'*'quation de Laplace transforme est nul ou lu-gatif en ce point. Le
Ces relations montrent que
les
non nul;
c est la
contradiction annonce.
CHAPllKE
SERIES DE EonUEIt
(
111.
loW EP.GENTES.
I.
llr.cMKiK.Hr.
SIR L\
(.o.\ vki;(;i:n<:k.
IV,].
sries;
de Fonrler.
la
Dsisrie
jiiions
somme
)
des n -h
premiers termes de
de
l'Ounei" de
ou
/'
="
^i
i'\n
~-X
/"i
I
p.r I
"
'-'
^
/'
iio<[nx
H)
dt
'
?in(
-2//
-^11
/i 0;</0.
Faisons
le cliaiii;ement
de variable
!)
= +
.r
nous auronj
S''=i
\\\[-?.n
^- \)t
/<
it
(II,
56
et,
ciiAiMTiti:
m.
en prenant
jj
sin(
V.
/?
:
-i-
i)/
fi.r-h'?.t)af
lU
9.
-.
-f-
f^x
it)dl
^
/'
-iiK -xn
\\t
^.
\i(.r -\--xt)-^fKx
-).t)\dt^
,
comme on le
Si
voit en changeant
/en
dans
la
premire intgrale
du second membre.
nous appliquions cette formule
la
pour
valeur particulire
<pie
nous considrons,
la
S/^
serait
videmment gale
rduirait
srie de F'ourier de
se
la
foruiule, facile
\(''rilier
directement,
f(x)
=I
-^^
ij
./
dt
Pour
la
somme
S lelatiNe
la foncti(ii
/,
nous avons
T[S-/(-r))=
\n
>
n -^
/(
-^
-f.f)
^f(x
>
if{X)](/t.
j)ar
l\,^
posons
?.
=y(3"
_!-
9.
/)
-^ f(
y.t
f\
'[>(
sin
R=
Il
^{t)dt=
^\n{\in -r-\)t
'\ji
)dl.
l\,i
SKIlIKS
DIC
5"
avoc
|()iir
a\()ii- les
cas de coiivcri^encc de
ion
la
la
srif
:
\i'Vy<
f(x);
an
dans ces
cas,
la
sii;iiili(;il
de
l>
.s<'ra
('sidcnlc
1 sera,
fadeur
au
(/?,
t:
I
prs, le reste
)'<">
(h;
sciic de
Idiiru'i, (|n.iiid
on
> ai
icle
H-
terme.
celte
re(dii'i'( lie.
A\aul de
assujetti
i;(/)
l'aire
(|n";'i
ii\oir
une
inl(''^!-alc
et
adincllre
l;i
'.iT.
|)onr pciiode,
|(),
"\
(\\i'i
donner des exemples des circonstances (jui peuvent se prsenter, il nous suffira donc de citei- des fonctions 'l assujetties
la
condilion (jue
je
\iens d"indi(picr
cl
pour
l<'-.(pir|lcs
ces cir-
constances se prsentent.
si
:r est
un point de
coiiliiiuit'-
ou un
ier
de /"(n" ^),
'f{t) est
continue |)our
l^o eL'^(o) = o;
mme temps
que
l(f)
que
t.
Nous avons
y
I
l'T,
'b(
n>\n(on
-i-\)/
<//
<ii{
f) siii(>!
//
)/
dt.
lera
Examinons d'abord celte dernire intgralr (pic on apptdintelle est videmmenl infc'rieure en \al(iir absolue
1
; 1
grale de
|'i;(7)l,
prise de/?
la
-;
/('-ro
avec -,
n
cause de
-^(^
),
parce (pie
)
[
Dans
les intgrales
t
p^
2. 4?
''
-^
changeons
en
t -\
mmes
58
(|iil
lii
ciiAPiTiuc
|)rr''(:l('.
m.
;"i
laquelle nous
la
= -+-
-Li
/)
sin(9.
-!-
i)/
dt
L(/
'!.
rf/:
i"
dsigne
le
pas
^^
d(''si<jne
si
//
esl
iuipair
el
'l( f)
sin/ d/
si
//
esl
pair.
'
Il
esl ('-Nidenl
one
'
z'
tend
"
de mme
n
que
;.
Comme
on
sin(
>.//
in
'U /)
-M
/ -f-
rlf
)
dt.
il
en rsidle
-H
-,
/(
'\{t)%\\\i'i.n-\- \)l dl
.'_
Pour tndier
indfinie
III
dt
\
-Il
-Il
la
^y(t)= 1
\o(t)\dt
ail
i= o
si;iiii;s
m:
i-(U itii;K
((tNvjauwiNTKS.
5l>
(Jtie
'i
est coiiliiinr
imllf
l'i
rorii^iiic
Jonc
<-ii
Ion?
de
/.
'b( t
siii(
>.
//
+-\)t dt
I
'
--.
sin (?./
d/
sin/
9.
-^
f
<!>'
(
oi f)]dl
= {'1/1
-^\}
On.
h r[,inl
une
(|ii;iiiti(('
(|iii
avec -^
|)iiiS(jiie
c'est
une
\alcur
a|)pio(li(''c
de
la
diTiNe
).
Nous
Lf/
|)(iii\ons
inainlenant coneliu'c
s(''rie
rinlurale de
ijUdutit
la foiicLion si
^
et si la
Cl .l,(/_e,_i, f^ldt
te/id i-ers zro a^-ec
("<^<=)
rH.
J/iormes de
a
l,i
(
I! ieinan
n
'
I.a
([uaulih'
|'^(
t-^o)
0.
b{t)\.
puisque.
inli^rtM' (le a
< <y-
),
!/
dan^
condiliou de eonvei'geuc
i|ni
|ir(''erde
!/(/
I
'^(ni^//
1
par
['lit -^r,t
-li t
)]dt.
llieniann.
_/'(
<'t
/o.
Les fonctions
t
cp
et
corres-
|)ondant
suite
<>
la
diflerence
/',
/^
^
est nulle
autour de
=z o
assez petits
,/
.l^f^>)
.l(f^\dt
6o
est aussi nulle.
.cnM'iTiiK
m.
de Fourier de
f\
la srie
/^ est
/',
converi;ente
et
j)()ur la
de
/'o
le tlio-
rnie de Puciuann
La convergence
dlerinine de
.r
de la srie de Fourier de
f pour
une valeur
Ce qui nous
(
bun'a
lion de lintervaHo
j)eut-tre
|)as
o,
dans linlurale
'l
Hiand on suppose
que
valle
'l
une
inli;rab'
dans
o.
l^
on
mler-
comme
les autres,
contri-
f
et le
lit) sin
("?./ -^-
)/ f//
/
/)
'b(t)\dt:
grale indfinie de
-li
t)
\'Ut
-T-rj^
'liDldti,
\'l(t-\-Z)
<bit)\dt,
le
z-ro
a\ec
"
Ij
o.
Donc,
si 'L a
o,
t)
s\n
n -h
i) t
dt
si
l'on tudiait la
mme
intc'urab' 'tendue
(
de a
A.
au lieu de o
->
!>
ayant une
intgrale dans
a. h )?
si:iui:s
ii;
loi
iiii:it
(;oNvi:it(ii;Nri;s.
Cl
jincral
('l(''
sciilfinent
on
aiifiiil
en
a
analoi^iies celiii
fie
(jiii
(lsi^^nc pal' t.
|)ar la
lin.
Il
un
ii
loiiiiii
|);ir
le
coimiU'iicciiU'iU
{(i.h).
aiitii'
s il
'J;('/)
> aiii.->sail
dc'! ndicc
intf'iirale
I
de
'Ij^L) i^xnnl,
ou
relie
de
iJe
cos///, au
lien di'liidirr
iiili'^rale
de
:
'i/(/)
sin( 2/*
).
de Pneniann
Si
la fonction
r''
I
'l
icy.
'ii{t )
'l{t)i-\\\nldt
et.
en
oarticnln'i'
La
d'une
s(''rii'
de
h'oiiricr
eomerae
Hiemann
relatives
s(''ries
de Foiirier
atla(dier'
permet d
une
s'applupu'
toutes les
les sries
de
1"
ourier
I^iemann
l'a
montr par un exemple au parai;raj)lie Xill de son est pour cela ipie la mlliode em|)li)v(^ ici pour
sries de Fourier
ne parafi pas
('[('
|)()ii\(ili'
Du
doiiiit' le
/',
premier
/'^
:
lonclions
el
les
fonctions
'i/,
el
'-/^
Fi|.//,
contrihulion de riiiter\alle
(>,
a) e>t
la
un'ine el
la
con-
Irihution
(!/,(<)
sin(
>
-r-
(5^^
ou
'^
/ 1
'\i{t)'>\\\{ -in
\)t dt
J' rt
Fi(.//
mme temps
ers zro, d O
6-2
ciiM'irru:
m.
3o. Les
deux
/!,
Ce
con\eri;eiice de la srie
/'
de Fourier de
au point
il
est
il
neessaire ([ue
possde une
que /poslait
aux
intervalles.
en
ralit, des
M.
P.
Fatou (')
les
conditions de
<^on\ergence en un point actuellement connues, on pouvait dduire des condilions de convergence uniforme en
su|)])Osant
que
les
un intervalle; le sens |)rcisdu mot uniformment chaque cas. i^our la condition de convergence en un point pr'cdemment trouve la remarcpie de M. Fatou s'applique aisment. Daprs la signification de l^. il faut, pour la
ment dans
tout
inter\ aile
il
o / est eoiilmue,
|>our
<pie
Iv,^
suffit
la
somme
i(ri silK
}.ll
\)t (ll\
I
-1^1
-/(
abord
\iu
a,
en
ellet,
\ln\i/
\'b{t)\dt::-i.
\'iUj\dl;
la
premire ingalit
a l,
la
seconde rsulte
<le
('; Socit
iS
mai
i()i).').
skuiks
i)k
i-oi itii;n
<:(>n\ i:n<ii;N'n:s.
iVi
ce une
mu/
Mir|);issc \
au
\(isiuii;^c le
- Or,
If
iui->iriuc nicniltrc
le
Leud uuiforuH'uitiil
ri>
/.('th. ciu-
ou
a.
(o(/) dsigna ul
uiaxinuiui
iiilerxalle
de l'osciJlaliou de
iult'-^ialc
:^
uu
(|uelconque d'tendue
,-,
/,
{t)
\dt^
^ Il
\f{x-^xt)\dt
-,
Il
h/
l/l-^'
ii
"+"
+i
\/{jr
)
]
'2
i-//
I
>.
dx"i-iM(l).
Vn raisonncmenl seudilaMe
|)arl, (|ue
s"a|)|)lu|iie \i\-
Ou
a \ii. d
autre
l'on a,
quand
pin AI
est
<jui iitn-
lieul
./,
'}^(t)^h\{-JLn-T-i)ld(
-It,
0,i
tanl
une valeur
(jue
prend
'^
dans
o,
;
I;
doue
iul(''i;rale
iiuir()riu(''uieul
I
La
est
si
srie de
/".
continue duns
\^a,
6),
X
qui
est
0,
/(/
oj 6t D
dt.
I
avec
une fonction de o et de x^ tend unifoiinnient vers zcro c/uel que soit x dans (ctf ,).
.
On
la liiuile
condition o
< a <[ -
30.
de convergence.
Posons
dans
les
64
CIlAPlTIUi
III.
remplacer
/
-^
.1;
peu-
l'
/-^ 5)
o(/'
|/(?-4-)_y_(0
9(/ -^o)
0(0
-111/
On
Pour
^a
k''t;iliincr
il
cela,
sutlira x idcnimciit
de ])oscr
^
y{l-^Z)
-U(o)=
^^^-4-8(0',
et
de prouver (|ue
/; et
|li(o)[r// et
avec
que
x dans
tout intervalle
:
compltenienl
un
siiif
=^
-i; (
siii /
t -I-
^(0, --r]-^^^
siiW
^^
tant
la
\aleur de
la
(N'rive
a
si
de
tr^-z prise
dans
(/,
t-^rjy
Comme
,.
on
iiiii
d
r
/
)
-.
ros":
sin t
uni
on pourra
dans
(o, a),
elioisir
1
V,
1^
donc
U(o)|^2A|
I
'o(t)
Slll/
^r.
\<^(l)\dt^SX!j
^n
\f(x)\dx\
(')
Le nombre
y.
est
(le
toujours
tel
que
l'on
iiit
o<a-<
eonvergcnec on peut
65
sctoufle.
ou
d'o
i
lnl<'\ur<)ns |)ar
'^-^'""^i"
^^
aiil
rf^
parlics; en con><M\
loujniirs
li'>
iinMiies
nola-
'0
'0
<I>'(o)
^ o,
et
les
rsullc.
(jiic|>
jxnir
ipic
le
prciniei./.
de
(pic
le
<I>(a^-o)
est
burnc-e.
xnciil
o:
puni'
loi^
I
deuxime, de ce
(pir -
<l>
_<;al
<piahe
"o,
Hscillatiou
maximum
reste le
rpir
de
/'
pris
dans
(,
Je
/y);
mme
de
-<//.
laul
cli()i>i
|)()S]lit
(pielconque.
i
Or on
prendre
[i
assez
j)etit
pour
tpie
Ton
ait.
dans
o.
j),
o C
('-taiil
'{'(7-T-
0)<(/-f-0)E<2^
on
a
|)(i^ilit
/^""^-'^v^<.Eo r
> ~
<ii.
La sec(nide transformation de la condition de convergence en un point est ainsi justifie. Pour que la mme transformation soit juspour la condition de convergence uniforme il suffit de tifif'-e
remar([uer que
I
le
choix de
et
3,
correspondant
^
t.
peut tre
,
fait
,
ind-
pendamment de x mment
xers
r*<\ut ^ o)
/
^
dt tend unitor-
Or
'\>
cela rsulte de
{t
in'iialit
vidente
-^ z
dt^^;
.{.,/_
r:
dt.
(iC)
111
M'irui:
(|U('.
III.
!l
u'ii |)iis
ciicoi'c
{'[('
(IriiKiiilit'
(hius
I
l;i
coiidilioii
de (Mimcio
;"i
rciiinliicfr
I
int(''i;iiilc
de
-i.
|;u'
'
.
la
iiM^'ine
il
Intgrale
|>i'ise d' o
y..
iNinr
iiioiili'er
que
eela esl
[)(^^ll)le
nous
sidfii. d
apirs ce
(iiii
|o,/-o,_.U^^,
t
Iciid
i
iiiiilonuiiu'ul
\ers o avec
o.
Or
cela rc'sullc de
iiK'galit
\ dente
'
*-
ce . '
'a
I
~-
|/(>
-2
0)
/(',r
)|r/./-.
37.
iiicnl
(ondilLon
(le
M.
I)ini.
Il
h'
dt-montr incideni'^
/('rn
juand
a\all
une
int-
grale de
->
donc
la srie
point
et
si 'hit)
o,
"
\
Il
est
\idenl ([ue
(
!/
y ont on nont
o,
j;
on
la d''(inition <le
l'on se
(jue la
/"''"!
scrie de
rouficf
r-
r conve/-^e de /
7
au point
,
./
\.f ^-r si
I
)-
a une intiirale dans tout intervalle. Ces conditions de convergence ont t donnes par M. Dini pour
le
On pourrait
ticuliers
dmontier facilement qu'elles rentrent comme cas pardans l'nonc du n" 33; on pourrait aussi en dduire une
C('>t
pour d(nner
les
noncs
piii^
pari iculicrs
(pie
celui de
M. hini.
(') Srie
cl i
Fourier e rappresentazioni
(inaliliclie dette
f un zioni
<ti
iina ca-
sKitiKs m:
loiiiiioit
:()N\ i;ii(.i;mi;s.
67
;i
Nous
(l)licii(li()U>
(l(;
lfl>
('ii(iu(''.s cil
;t|i[tli(|iiiuil
l'i> I.
jy
ou
f{x-^l)-f{x)
(IfS crilics
cl
iiiU'"j;ral<'s ceux de Caucliv de Bertrand, par o.vrinple. Bornons-nous aux prcuiicrs on \(it
coiiuusdc
fom ('rj;cn(M*
dos
alors,
en
11(1
el
sont
(1rs
(jdeU.onfines. Ld
./
srie de
Fonrier de
f est
convergente
(tu
point
parce que le
critre de Caucliy
(^ettiM'ondilioii
sappliquc
(le
f(x
/i'.r,|
le
nom
(jui est
rencontrera
j)lus loin
n" 39).
est relatif
,
In
Alors-:
Il
encore
,
au cas o
I
h^\.
I
f X
[
/'(./),
ctaiil
,
hornc,
/ a
>cs
nombres
dcrix es born<'S
au point x.
si,
si,
La
^ ,
srie de
en ce point en ce point
ci
en pcirticulier
ou y
et finie.
'l
lieu
(I
oprer sur
/'(.r
srie de Foiioui des exemples qui montreront quelques-unes des singularits que peut prsenter la somme dune srie de Fourier.
38.
](er.
l'renous/^.r)
telle
que
fi.x) -^/(
x =
)
o,
/(o)=A::)=/(^j=/(^)=/(^)=...= o,
f{x)
pour
__>j.
liV'+i
>^^_
-
,/,
o.
I,
.>.,
.),
/(^)=-i
>^>
t
(/?
o,
'2,
.).
est
Cependant /(jr)
68
CHAPITRIi:
111.
de premire espce
r<'"guliers.
les
'
-^'
' '[iii
Lorigine
est
un
elle
les intervalles
V'i-''I
o o
sa
\aleur tait
rir
de
i
devienne ^ale
i
et
-<]./ <^- "). \f[x)\ a une ^=^ l o elle galait vV'l intgrale, fi-^) a une srie de hOurier et. comme '^(/) a toujours
(
<
{x) prsente les mmes singularits que \ers f(-T). La fonction prcdemment et de plus elle est non borne.
de Fourier. Il nous suffira de dlinir cette fonction Nous supposons marqu dans(o, ^i-) un ensemble ferm E. donto et 27: font partie, de mesure non nulle. La fonction f{x) aura les points de E pour points de discontinuit, elle ne sera donc pas intgrable dans (o, 9.t.) par la mthode th; Riemann. Soit, d autre part, une lonctnm r(/) continue et borne
dans
telle
(o, ce
qui
partout des
(b'-rives
premires
les
et second(^s et
i,
cpie ra'(/)
valeurs entires de
pour lesquelles on
7n(^
un
intervalle
Soil
(r/,
h) un iiiter\alle coiitigu
l{.
c est--dire
dont
les er.lrt'-mits
appartiennent
1'^
et cpii
point de E.
Nous supposons
tel
<7,
h)
^ous prendrons
^("'=^['"-^)^"(^y
de
et
(:/
jus(pi a
la |)lus
grande valeur
a~c
^b
c
pour laquelle
cette drive
s'annule.
prendra f
=o
Ae b
De a
-\- c
on
c k b
on prendra
/(.^=i^[(i-,,,=.(;^-!-^)].
si':nir:s
ni:
roi
iiii:u
(:i)NM:n(.i;Mr.s.
Ofj
Il
ol
.
('\i(l(iil
(|iic
SI
775(^/1 lu-
tend
vci'> Jiiiciine
|)()iiils
liiiiilc
(|iiiiu(l
ciol
ailmcl Ions
;
It's
points de
E pour
de diseoiiliruiil de
seconde espre dnilleui-s, eu |)ren;int /= o pour les [)oints de E, yesl borne si m'est honu'c. ce (pic nous sii|iposerons (' ); alors f a une srie de I^'ourier. Cette srie de louner converge vers /'en tous les points rpii ne
Idiil
|ias
[lailic
y'i.r) a
une
d(''ri\c.
S(til
[f(,
./
un
poiiil
on
r. //).
h) un mlcrvalle continu E, c
ii-rx,^.
a
nombre prcdemment
(, rt-hc),
dx
f(
.T
)
dx
-/
\/(x)
dx.
La dnionsiralion serait
la
nuMiie
si
On
J
\ J-
a/
m
'
X
i,
dx.
c
est infi'ieure
donc
J
Soit
'
a
entier
J,
le
plus
iii'and
non suprieur
on
fljill}},lr,y f^'\jiiL
Vj{/1 ^- l)
1
inoirc des
TO
( //
;^
<
:7^,
voir
mon Mc-
igoS.
70 Coiiiinc
esl
'
ciivpni
esl
III.
au moins
('';;al
('j^al
>,
j^al 77,
au plus
doue
(</,
iiilV'iieur :f.
1^
inli^rale
de
/<')
dans
/.'
esl
done infrieure
,r
8 c el
donc Finlgrale de
x^
o,
prise
'
est infrieure <St:. Coiunie on a /"(.ro) que la condilion de M. Dini est remplie au jioinl ./. Fourier de f eo/nerge tlonc par tout vers f ).
'
\
de
1-
la srric
on voit de
39.
Condilion de Lipscliitz-Diui.
converf.;ence
comme
)
conet
uniforme. Supposons
de
|
'-^{t)
(
continue
|.
dsij;nons par
o")
le
maximum
a (t
'f
alors
on
r^^'^^^P^^^^/.A(o,/'^=Ac8)<a-A(^..a).
Il
suffit
ait
con\ergence.
donc que A(oi.'^(o) tende vers zro avec pour (piil On nonce ^('n'ralemenl ce rsultat pour le
condition analoi;ue; d'o ce tliorcme
:
cas o
_/'(.r) xrifie la
Sif{r) esl conKergei}te d((ns un intervalle (a. h), l'int f(x)\. '^0 tend iiniforinnient rers rieur duquel ][/*(xHzro a\ee 0. la srie de Fourier de f eon^^'erge unifor ni ment dans tout intervalle a,, l>^ coni jdteinent inlrieu)- i {a, b).
)
|
Celte j)ropril
r(''sulle
de Crclle, un
t.
63
trs difrrcnts
Lipscliit/.
pour
le
dans toul
< M 3^,
;
(')
le
La fonclion
il
/'( .r
du lexlc
poiii- ([n'ellc
soit,
satisfaisant
aux
mm
iH(;
due
,M.
NOJierra
\Sui principii
ciel
Calroln intgrale
Giorniile de Jidttaglini,
i8<SijJ.
SKHiiis
i)i:
loi
i(ii;it
i:().nvi;iu;i:mi;s.
;iiiisi
"jt
M
<'n
cl
7.
('-l il
une
vcri;encc iiniloiiiic
lin
\,i
cninlilnpii
\I.
convergence
iin;ii(|u
;i
iJini
<|ni
;i
](t
sion
|)liis
('Iciidne
Sopra
(le
la srie di Foiiiier.
l'isc.
10.
l'oiir
CoikUlIoII
arriver
M.
.loi'ltiii
|c
et eniidil imi
<le
I h' i leli
I
ht
r,
ces condilions.
li(''oiciiies
inlermcliaires.
.si
La srie de Foufier de f est couver i^enle au poiiil V une des fonctions / (t) on 'l{t)est monotone dans
y
(I(''c|((|nn;iiiIc. alitrs
..a
rgulier
(o, ai (n^l^i.
!//^-^^^-/.(0^//
7.(0
-7."
j
-:'>;!'//
'l\l)clt~
/i/u//.
on
yjj)dt ^2L,
Z'"
'yj()dt\^dans
r
(
\':f{t)\dl;
\j. ([ni
dsigne
il
la
s
limite supi'ieure de
j'^|
o.
'oi.
lend vers
zro |)uisqu
agit d
nulle
et
lecpiel, |jar
cons-
Si
(c/,|,
la
loiil
un inter\alle
(
b) compltement inlc-neui/
de
C(intiniiil('-
n, h
i.
1^
<'t
\'^il)dt
I
\ei's /.('Vu
a\eco. donc
/>,
i.
on
(
serait assur
de
convergence de
la
srie de
|-ourier
iiu
point
lorsque y
est
la
mono-
tones y, et yo telles que cp,=:/y,. '^^ /y^ tendent vers zro avec l. Lorsqu'il en est ainsi y est \ariation l)oi-ne dans (7, ai,
/
c>,
sa \ariation
totale c(^).
Si les fonctions yi et
y.j
on
72
et,
CHAPITRE
III.
connue
les (|ii;mlilrs
'/lit
il
en rsulte
-/.,(
a )i;/>i /;.
y, (a) ^(^),
positives et
ni;ali\es
(t),
il
pit^
et /?(/)
lanl
les
varuitions
tt)lales
de '/(O tlans (/. a) (n" 4). Puisque vident que / 4'(/) tend \ers zro avec
{-[t)
/.
= p[l)
/'/jf^)
y
('
-\-
est
Rciproquement,
lume de
y
,
si
l,
il
en sera de
l'on
y
yo
i i
).
si
prend
n=
/ff
-/
-h
I
1 j
-1-
/M
,1.
=
I
)
I
-^
p{(
).
vers la Joncque soit t y^ o dans[<.), a). y(/) ou ']>(/) soit variation borne dans (/, a), la variation totale correspondante r(/ croissant assez lentement
Ainsi
si'ie
de Fourier ro/Hcrar
dii
prnnt
lion s
il (\st
jiossible
de trouver
a>
/n
/)
t.
limites
(
et
i^;.
de
es,
et
'c>-<
dans
Puisque dans
o.
20) on
i^ !7.<^.*
C2,
|
:_
oy
),
,
1
on
a aussi
^'i zz
-11
'-i^"
/M 20
utilisant les
iii(''<;alits
\oit (pie, si la
condi-
tion
prcdente
la
I
est
(
remjdie dansia^.
a,
//).
/>,
).
intrieur l'inter-
valle de continuit
zro,
et si
vi t)
convergence de
.
la
srie
dans
rt,
6,
).
Soit enfin
((^) sa
t.
'-i(/)
continue
(
l'origine et
continue
et nulle
pour
)
est
(/,
^ La variation totale vit) de C5 dans [t, ,5) (o |j< a c{|j) ^'id\ donc celle de y. qudn notera A (/). dans
o.
/,
< <
a)
|i
-h
j.
-4;
Avec
avec
petit
t.
cette
formule on reconnail
j
que
V(
/)
j
tend
C5('[j)
j
\ers zro
soit aussi
tel (pie
c(|j)
que
est jiossihle
de choisir
[i
indpendaml
ment de Xj
De
un carac-
siauKs
IriT" fie
(le c(iii\
\)i:
loi itiin
()\vi;ii(;i:mi:s.
-'i
conNcrgcncc cm un point
crgence iinilnnnc
lucii
on
loil
;i
M.
Joi'(l;in
'
L(f srie
de Fod rirr d' une foiicliuii f roin'eri;^ vers la foncde conlintiiL et en Ions les points r milB)
oii
d un
intervalle (A,
est
est
variation Ijorne
la
eonsergence
uniforme dans tout intervalle {a ^^ inent intrieur i un intervalle de van tin iiit la. lui-mme ii \. H).
(
h^) eoniplete-
Ai. intrieur
Celle eondilion
la
Ai'
il
clhre eondiliim
Dne h Ici.
la
j)reniicic ipi
lut
connue
i.
La
srie de
l:
ditions nonces
ourler d' une fonction J\ satisfaisant aux conau n" 3 sous le nom de condilions de DiriclilcU
converge vers
la fonction
tcuit
et cela
unifo/niment dans
i
intrieur
un intervalle de continuit
\\\ 11"
\\
il
fonclion
f-l
l)(rn''e:
on
renonce parfois
l<niction
loin tiiins
cette reslnelioa
pourvu
une
>
inl(''iirale.
ai;i>se
une
ces
la
conclu>!oii
salisfaisanl
iiidKjue
reste c\aele
|)(jiir
non bornes
aux condilions de
:
Dii'iclilet.
(ini
condition
na
(pi
un noinluc
lait
de
indispensable
int(''i;rer
les
lonclions
ny
l'a
pas.
Pour
se dbarrasser
en partie de
notion d inintinitc-
quebjne peu
la
lgrale el
applique
de points
par\ eiiu>
fie
que par
M(''iiioire
de
I,ip>cliit/, d(''j
cil(''.
Lc^ lra\au\
la reslricsi,
ec'itf'
])irichlet.
de sorte que
le
par
fonction satisfaisant
aux
conditions de Diric/ilet
on entend
une fonction /"qui ne cesse d'tre croissante pour devenir dcroissante ou inversement qu'en un nombre fini de points et. de plus.
(')
(-)
Comptes
renc/ lis,
i.SSi.
l.
'i.
Journal de Crctte.
ji
lelle qiio \f\
|)()iir
CllAPITitK
III.
ail
est Aalahle
ce cas.
JI.
A PPLIC AXIONS
l)I\
KUSKS.
il.
Formitb' de Fourier.
relatifs la
-rS
-/(Ou/0,
(jiiand
augmente indfiniiuenl Nous avons \u que la liniile de cette inl'giale restait la mme (juand on rt<'nil de ' au lieu de l'tendre de a v,a. |)Ourvu (|uc Ton ail [j -< "' << ^ -h a-.
//
.
[i
<
.i"
11
existe
toute
et
H
H)
des deux
:
\a-
riables
i"
pour
la
z,( //,
0) eroil imbdininicnl
.r
2"
C2( /<,
H) liH
nap-
jS,
*');
indpendante de
^j
et
:
*'.
nom
d'i/itr-
grales suigulirrcs
dans beaucoup
cas
on
j)cut
dmontrer
l'in-
el recberclici- sa
limite en utilisant
1
ceux
(pii
ont ser\i
lude de
de ~S
el,
en
|)articulier,
moyenne
lude
c'est
(piellc
jxriiicl
de
|)Ossibilil(''
de
(lvelo|)j)er
une fonction
celles
et
en d'autres
S('*ries
particulires
'
(
comme
).
les
Je vais
me
On
)ii\ i'ai;e
fijii
cit
II
t\c
M.
l>ini
etc.
el
le
't'oiiie
du
t'oiirn
Srie de d'Analyse de
:
SKIUICS
l)i:
l'Ol Rll.lt
COW
IMU.KNTKS.
']>
de
l'uiiricr
Ucs
\oisiiic <lr
iiil-
grale "S.
On
;i
-rS=
y(0)siu(:r
^2 7:+ a
)
Oj col
./
d^\
cos/n
')
SS
du
llu'or'nie
de Ricinan.
siiiil
la
i<'siillc
/.('-n)
la
//
deiiiirre
iiil(''i;ralc
--iiile.
de lgalit prci'drnlc
de j)reniire espce
el
ti'iiil
\crs
(mil.
i*ar
(juc
(!(>
dont
la
srie de
Fuunei-
oL convergente.
on
lin
j
/(fi)
sin/i(>
0; col'
dH
= - |/( j^
-i-
-;-
/C.r
i].
Siinposns en
|)ai'licidici- <[iie
/"
sinl \arialinii
IjoriK'c:
a|i|)li(nici-
alois
\\
en
est
de
mme
i[('
tang'^^
el
l'on ncul
dniiiic
criic
cr
(|ii!
/<
')
f
.Iiisipiici
siii/i(
j c/'J
-I/(
vT -i-
o; -^/(
.r
o;J.
'.-r.
cpic /lOi
si
/'
(
-lait
de pt^iode
la
<!
n"a |)as
pc'iiodc
(
>-
\\
manire
(pie
./
soit
inl-rieur
a. 9.T.
).
Pour rendre
si
|/('j)l existe et a
une
intc'-grale
dans
('
x.
-r-
^)
't.
<>i>
t/0
[)0ur
[j>?.-
a
/
la
premire intgrale du
>('C(uid
mend)ii' icnd
(') L"intcgrale
fini,
de sorte que
dans un intervalle infini se ili-liniL coninnen a une. n'a une intt;rale que si [/
(l,iti>
nn inlei\alle
76
CIlAHlTRi:
/?
III.
crot, car
,j
est extrieur
i;i-an(l
i '>.-
-^
a, 3);
d'autre
|)ren(lre
assez
pour
(|nc la
seconde intgrale
du second
que
l'on veut:
donc
rint<;rale
du premier
cela
n crot.
poiii' rinl('';irale
:
tendue de
xa
et
nous donne
/i
)
le l'sultat
suivant
Si
I
est
^^^
1
'i
variation
11^'^
bornre dans
x. x)
si
|y(^'
lini
^;^-^\nn[x
^i)d^\ =
le la
-[f{x-~-o)^f{x
0)\.
Cette formule
Il
esl
connue sous
nom
serait l'cuile,
bien entendu, de
i;'nraux et de la
(1
dmontrer directement:
au |)remier
serait
facile aussi
\
('-tudier la
ints^vale
de Fourier
Fourier
intressant
1res sim|)le
a
membre
S(jus
ilc la
formule.
foiiiie
obtenu
-a
tormule
p'
une
aiitri-
qu
il
est
de connatre:
ne
la
d(''monlrerai
et
(pie
il
dans
le
cas
/'i
'
c/O
a un sens
f\ h
)
n'existe
qu un
eesse
de eroitre pour
dcrotre ou in^-ersenxeiU
.
y^w-^wyyw-evw. Av plus
comme
plu-^ luiul
/i( j-
X
de sorte qu'on peut
-i
f
COS'i
f/v.
('crire
inti^rale
de Fourier
]'
sous
la
bjrme
F=
/(
cos ^t(x
ch dO
=
Donnons
V
liiii
f(H)cos'j(x
H)(thd-j.
l'intgrale
-f- rt
/( 0; cosv(>
6)
rff)
skuiks m: Foiitinn
r;oNvi:iif;i:Mn:.s.
77
;i
iiiic
hiiiilc
|)(Mii"
r/
<|iii
f'sl
/'(O)('osv(.r
r-<l
0)c/0<'LI;i
(|imI>
.1
dlIlcTcilcc
soienl
(t
ciilrt'
inh'm'iilc
d
donc
s;i
liiiiilf
horin'c,
(Iiic
cl v;
nous
soiiinics
(I;iiin
un
cii^
in
I^
o l'on
I i
ni
/(
cos
V (or
M di
=
l'H'ni|il;irons
/(O)cosv(.r
/
)d^)(h.
luainlciiiinl
hi
\arialj|c
//,
disconl nuir
//
par
une
-j-
^,
(:;
<^
);
on
'+;
F=r
./(
)(<)>(/<
-4-
v)(.7-
Oi-'/fU/v
Partai^cons
inule,
inl(''i;ralc ([v
x
<
^J-
x,
(|iii
lii;ni('
dan> celle
foi'-
en des
-4- r^
inti;rales
pi-iscs
)ii
res|)ecti\ ciin-iil
de
-jz
,
n ^
'
do
et
.la
-rt
de
^/
-j-
x.
pciil taire
eu sorte
I*
(|iie la
pi-inire
Icoisiine aient
nne
de
soniiiie iniV'i'ieiii-e
-\-
eu
\aleiir ai)Solne.
d(;
, 1
(hianl
int(''i;i'ale
a
-M
elle est
de Tordre
1.
M lant
1
iixe
n" !27).
Donc, puiscjue
t^
Vn^z-
|< P c
^
)
< P-
Mr
(^,
^ LV
/.
I*
\olont,
est
:
indpendant de
donc
V-^z
el
F onl
'}.
la
mme
on a,
-[/(^
+ o) -i-/(-^ ">] =
''"'
/( Oj COSV(>
Ojc/O
^V
(1).
(')
On
/(
cosv (.r
dh
c/v,
ici,
du
lait
que
o{'t)d^t
une
limite
/S
i!2.
CllAl'ITHIi
111.
Foi
niul.es soniindtoircs.
On
.r
que lintgrale
fK'y)d^^
'"=
,.__()
pour on lteud.
a\;ul.
//
oc,
inter\alle auquel
|(>ur\u
et la
fonction f{H)
Dans
suffisamment gnral, fiH) \ariation on ne sujjposera plus /(O) priodique. ( Uielle est la
limite de 1.
J'out d
si
on tend cette
pas,
et
inti;rale rinter\alle
(A. Bj?
V multiple de 2-,
27:,
car.
si
cela
si
l)|
).
t'iait
un multiple de
de
B, tant suprieur B, on
dition de faire /(0)
j)()Uirait
(
tendre
B,,
con-
<)
dans
B, B,
en (A,
A + 2-1. (A +
2-. V
\~),
et
appliquons chacun de
obtenons
a/( \)
li'"
-/(
.r,
- ^/(B)J,
le
Xi. X2-
x
i
suivant
module 2
et
tant gal
le
ou o sui\ant que
27:. Si
I
A (ou B)
la
ou non c(uigru
est
la
suixant
//
module
on remarque que
analogue
1//
somme
des
premiers termes
dune
la
srie
srie de hOurier,
on
la
a,
en dsignant par S
somme
figurant au
second
memhrc de
formule prf'cdenle.
Appliquons
\ = o. B =
2/?7:,
puis faisons
quand
\i.
croit,
on
n'a
pas
le
droit
de
cuiicliirc
l'cxislence
tle
l'intgrale
>-
tJien
eiUendii,
ccUc leiiiarque
ties
n'est pas
confusions entre
conventions dillrentes.
sKuii:?;
m: koi
nii:i
roNvicnoENTics.
I
79
Il le chaniieinenl
pour X
II ilr \;iii;il>lr
I
nui icmphicc
''
f>
pai-
udiis inirons,
rt,
- fi a)
-h-
fitt
f{
-I- oj ) -T-
/(' rt
H-
i oj ) --
-\-
fi -i- Il
10
fi
^ nvu) =
-^
S,
/i/>(/(
/,
>
( /
(OS
d/
"
c'esi la
('-tilr
de S ou
;iii
calcul de
er-
j\
iildi'
de |)ou\oir
a|i|ir('(iei
Toi'dre
de
iiiNindcuisiuit
des termes de
>vv\v
st'-rie
du second
iiu'iuhre.
o]i
Ces termes
aiialo<:ues
ceux d une
de Fourier.
de i;randcur par
prcdemment, (n"
mollis jiixpi
l'oriiK'
ordre
>.iir.
par des
jnl(''L;ratioiis
des
/
I
*
\rn<
'
nto
(Il
-H
(-
I (O
I
-'"
)"'^'v.
(-^]
(0
|/^"'-i'( At
f iKi-v (a)\
t
_i_
||'"W
\-^"'
--
/"''.,,,
/
(i
f'-^">^{t)c.o's>f>-
-<lt.
VA\ [losanl
>.)'-''
I
'.-*
15a.
i-*
'
{
il)'.
O B~
est le
a"^""^^
nombre de
s-i f pndt
=
Y,
-H
[/'('
^
)'
/\a
I
)| c.j2
Yi [/'"( b /'"( a
I (
i]
w'-
-h...
Y.,,,
[/
2"'-i'
2"'-i
a ] w2"' -^
)'" \\,
8o
et
CHAPITRE
111.
.0
C'est la formule
sommatoire
il
d' Eiilcr et
Maelauiin.
1
Pour rappliquer,
est
on
lR/l<V2,to2"' /
/' -'"
ua
sii;iie
La formule dEuler et Maclaurin s'applique facilement dans deux cas quand /"est indfiniment drivable et que R, tend \ers zro quand m croit, alors la formule conduit au calcul d une srie convergente: quand cette srie existe, mais est divergente, elle
:
si
ses
termes commencent
alors
la
dcrotre
pour
la
on obtient
somme
termes
si
([ui
u est b'-gitim
est
ici
que
la
-'"'
de signe constant,
sries divergentes,
est em[)loy,
la srie
comme lOn
la
sait,
pour beaucoup de
L'emploi de
de
et ^Liclaurin
sup-
0-'". a^=^o. fait y (^f>) on aura une formule de rcurrence entre les m premiers nombres \>m- IJ<^ cette fonmde on dduira facilement que 1rs \ et les B sont rationnels.
6=1,
co
i,
i-3.
Soinnics de Gaitss.
un
[)ro(('<l<''
=
.^^
.
.V
z_-
7
--
cos
I)
^^
.^
v
<in^, oui
Il
'
u
t.
C relie,
18
et 21).
partie
relle et le coefli-
dans l'expression
7^fy'')-^fy-'-~)-^f('\-)-^---f{'i-'i
>-) -^
-/'m-),
SKKIKS
l)i:
8l
O Ton
cf'llc
;i
pris / (0)
/".
= e""".
La foriimlc
applicpic
(!<
Poisson
s'a|)|)liqiie
fonction
I
parce
:
<pi elle s
ii
sa paitie relle el
sa
piiitic
iiia^inaii'c
-=/
Supposons d
(pii
e-" ~
dl^
x^
de
al)oi(l
//
iiiulhplc
4-
au((iiel
cas e
=:
ce
pcrmel d'crire
il-
J^lnT.
i
.DIT.
c()s/><
il^
e'^
e^"~
dt
" "
e'/"
-+- e-'/-"' )
dl
e^""
dt
^1
cr
'
'0
r/^
La
somme
s
S^,
('(
des
/> -;-
picmiers
teiiiie'^
de
la
foi'mule de Poisson
peut donc
rii'e
^,.=
e^'^-dh-r-j
I
e^^^db.
Kfv.
en posant
'
>.
n-
/.
on
'
'-
\'-%
^t
Jo
if
donc on pose
liiii
d/ =
l'exisleiire
de
la
liniile.
il
suflit
de dmontier rexislence
If
Imiilcs pour
fit et
dl:
c//
:
si
par exemple, de
la
seconde
inti'grale. lie.
la
srie
.377
- dt
dt
-+-
^ dt ...
est
et
8>.
CHAPITUK
a
III.
on
Punila
//
= 4,
-!;
)
par un calcul
clirecl
un
=2 ^
(i
/j
cl
a,
puis
>.
/s - a,
/^
-H
/ ) l
'
v'
"'
'
"^
'
Dirichlet
\
(f{
m. n)
(''
"
m
1
et
//
entiers,
9{
//
|)ositif.
Reniaquons que
n
}
on
m\
n
si
9{ ni,
si
ni' ^s
/tt
(inod/i).
On
2"
a encore,
c est |)reniiei
a\ec
.(
/<,
oi
/i
c'-/n, ?i):
en
efl'et,
les restes
des divisions
o.
i
/i
(.s
^
ditlerents, sont
les
yau\
//
/i
i)
les
mmes,
Tordre prs.
a
Enfin,
3"
et
n sont
Ci
(
positifs et
,
/??
/n o
/;
///
c;
ni
en
effet, le
H
premier mend^re
1
.
est gal
:
V
et tes restes
,
=m
= Vins
1
,/
"/-
^m
'""
de
nis
-+-
nt
)-
mil
a,
sont eyaux
a o.
....
inn
Ceci pos, on
pour n
o(
1
^o
,
mod
>J n {\
4)..
i).
Soit n
^\
(mod
4 K
ou
a, d"a[)rcs 'S'\
<y(4, II) o{
/i. 4.)
^n, \n)
-.'.(1
H- /; //t.
SKKIKS
1) aprt's v.",
l>i;
FOLHIKU CCJ.WKIU.KNTKS.
83
ou
(^
'f
1 )
ou
'i
),
sinvanl
i\\\i'.
est
coiij;!!!
(iiiod j)
-(-
ou
i;
'j(i,
4)
el '-2(3, 4)
^f^
, 4
-+- t
ou
'^
et
(i,
/i;
= ^n
ou
/n.
iin|)aii-.
d'a|)rs 3",
(ra|)rcs i"
Q
I
-2
=:
'.i
'2
/t )
La lorinule
A
A-
=n
^^
,v=0
co?
.V
m^
,
>
SI
11
i'-
=
\-r-
Wn
rsume
cercle
tait
les rsultats
obtenus
(jui
comme
subsis-
consquence de ses
\
de division du
il
a lev cette
eu
parliciilier,
CHAPITRE
IV.
I.
ExiSTI'.MCE OK SIUES
OE FoUUIER
I)
V EliaE^
TES
ii.
la srie
de Fourier
le
la
construire des
de
doit tre
Ltude du trs leniarquable Mmoire de I\iul du Bois-Revmond recommande tous ceu\ cpii veulent ajtprofondir les
la
([uestions relatives
con\ergence
et la
Fourier.
Du Bois-Reymond
:
une
jonction
f{ t) (jui croit
ind/ininwnt avec
(-).
Pour
les
trs particulier
(pi
il
on peut
dcider de
la
couvergencc ou de
les
fonctions
sries
;
de Fourier diver-
compliques.
a d(''duit
Revmond.
\I.
Scliwarz
(') Unterswliiiiigen ibcr die. Convergent- and Divergenz dcr Fourierschen Darstellungsforrnetn {Abliandlungen der Bayer. A/cad., Matli. ofiys. Classe,
t.
XII, 1876).
(-)
Au
sujet de
celle nolion,
et
les
fonctions de M. Boiel
auteur.
coir la Note I[ des Leons sur la thorie des Leons sur les sries termes positifs du mme
SKIUKS DK
|-()l
UIKU
(,)l
KI.CONul KS.
Simple qu'il
la >i()life
a f;ul
counaitre
(iaiis
oa Iromera
le
flans
de M.
\itioI(I
Sarhse
\>r\i
flj file
n" lo).
celui
un
plus >iui|)le
que
M.
Scliv\ai
duquel (raillcui^
Soienl
n-,.
il
ilillV-re
peu.
//,j,
//
,
c,.
c_.
...
...
et
dsignons par
'
I/,
riulersalle
la
tf
i
j^
A-
'\
, I
)
l)(Miuiss)ns
une
A-
ait
f{x)r^ fi
x) et,
dans
1^.
en consei\iml
les relation>
t:,(t)
Cl,
>\n[fH
K )t\
f{-ff)
est ainsi
./;
assez
|)etil.
on
la
condition
continue
et
de priode
>..
Pour
celle fonction,
on
SI
11 f
m
/
\'\t
sin
t-^2^
in
ca-
Kii
sin
[<-/(/, )/
|
(Jt.
ave<'
F'aisoii>
//
^=
f/Ui'
'''/;,
ttS,
,,^k
'/
/-
(i[
/y
l^>\\\\'n
)t
dt.
'
!
La premire
inli;rale
tend
ers zro
quaiul
/.
croit,
cest
A",
le a
Pour /J^
on
86
CHAPITRK
IV.
Pour p
C/,
=
/
/c.
Ol a
/,-
^^,//=
1
)/
_c^.J
/;/.
cos[ xai k
^
)t\,\a(k) _
dt
I
i
,
-,
-^
I
aik)
(I
a|)irs ringalilf'
du n"
Il
'2o.
Ijduc.
(III
a.
Yj/,
auj;mentanl
|)as
indfiniment avec
-k-x
/,-.
/,
Si flonc
on
fait
en sorte (jue
/'
'
aiij^inente
indfiniinenl a\ee
/.
la
srie
de
Foiirier
de
sera
diveriienle
pour
=:
o.
Or
exein|le.
/</,
gP
(
jS/'.
Pour P
io.
-t^.),
//A=
5***
Hemarqaes sur
la
On
La
(A-t-i
liniile
i'""""^'
suprieure
S,^
}vio(
n) de
la
valeur
croit
absolue
des
/{JC),
sommes
l'on
ait
telles
que
n.
a
constamment
indfiniment
avec
On
en
ellet
l^,/l=-l I
/
,/
111
T^
SIM
/
(X -^i()dt
^/
Kll
-H
)/
dt
feill /
= Mp
( /' j
sKniKs
i)i:
87
est
\i\
celle
..
liiiiilc
Mv(/<iesl aUciiile
/
'
fi
^
(|u
it)
t'onetioa
..
(Iiscoiiliiiiie ' /,
gale a
^
^^ \r
ziz
s
i\n{ill -^ \)t
-.
Il
t
SU) le
rsulte
liiiille
<le
(jii
On
peiil
a|)|)ro(lier aiitanl
on
veut de cette
en
|irriiiint
|ii)m'
des
fonctions
continues ef)inprises
entre rn
et
que ces lonctions /' sont vai'iation borne el sont des jonctions t). paires eoinme /,. eesl --dire telle', (pie f(^x-\-t)^:^f(x
15
es le
(
'tu
(lier zi
11
\.
,oii>i(l('idns
les
intersalles dans
I
Uxpiel>
est
sin( 2
/?
H-
/
|
siir-
_
te
(i/>
(
,./?
_
I I
*J/'
un
tel
int(;r\alle; sa contri-
b( >.n
-r-
/'
'
2 est
la
donc
siip(''rieiire la soiiiine
des
^t-
premiers lerines de
'
.
(')
Or
/> (f
lend \ers
/?.
la
limite
..
_ (piand
crot,
donc
z,/
crot
indfiniment a\ec
|
A
pa-<
cette reiiiai(pi("
du premier
llie(ji(''iiie
du n" rH.
Si l'on a coiistainineat \j\'^ M el si, dans (.ro A, x^ -h /), on a /'== o, on peut tracer pour \S[xq)\ une limite suprieure de la forna' Ml
hln ellel,
1
//
1.
/" -J,
'
sill( -2/4
H-
)/
'
/"
dt
SI
,,r.//
iint
- J,
ni
4().
A utre exemple de
/('j
srie de
Fourier divergente.
iHX)
.le
pose
CHAPITRR
IV.
les ,
sont positifs
i.
et la srie
est
eonver-
de
scininie infrieure
les
fonctions
/'/
borne
et inf-
rieures
en valeur absolue.
De
)
plus.
doit,
:
de
la
srie de Foiiner de
s, //l /
pour
o.
surpasser
quand on la |)rend en saleur absolue <oit p^ l'indice dune telle somme. (Citant /?,. c'est le |ilus petit des indices des sommes de
la
srie
partii'
i.
Dans
il
est vident
que /
est
continue et de
prujde 2
pour
./
o, la
la
de Fourier de
a
(pii est
gale
Fa srie de Fourier de
/"
diverge pour
x =^0.
il
sries de
Existence de fonctions continues reprse niables par leurs ConsiFourier non uniformment convergentes.
...
jjositives,
dcroissantes
'^^y'a
et
dsignera
inter\alle
)
(V/o/^. rt2/j-i) -^ p
son
fp^ x
continue,
plus, en Xp.
srie de
variation borne, et telle que l'on ait \pfp <C lune les sommes, prise en \alcur absolue, de
De
la
Pu
./
//p
n" io
i:
soit
'j.p
l'in-
est
o,
et.
quel que
soit
/>.
gale
converge partout,
tient
mme
fp dau> 1^;. sa srie le Fourier loriglne puiscpie cette srie ne concette srie n'est pas
uniformment
<l
con\ergente autour de
x = o,
puiscpi'en
la
1.
Xp
la
-omuie
milice
-j.p
p quand on
' (
cer-
l'aide
de
s(''ries
construites
parlii-
'
fit-
dve-
SRli::)
l)K
l-Ol
lUKR yl KLCONytKS.
89
poumons
pour lesquelles
les
la siiij^ularil
plus difficile de
savoir
en sorte que
doiil
la
siri^ulaiil (Considre se
ces quesli(Mis
Existe-
la
x'-iie
de Fourier est
la
di\
ergente
roiirti()u>
conlinucs dout
siie de
Fou-
'
)?
anal(ii;ue
ou
\n qu
il
existail
inlcgrahles au sens de
Pvieuuinn
dans
o,
':>.
et (pii
r-epr<''SiMilalles
l-il
partout
de
Fourier con\eriientes
existe-
de
(laii>
telles
fonctions qui
soient
iutiirables au seus df
liiemaun
aucun luterxalle?
II.
So\i\ivi"io\ DKs
sr.i;ii:s
dk
Foci!ii;ii ni
K!',(;k.>i"i:s.
48.
Procd de Poisson.
rain de h'ourier, la convergence des sries de Fourier n'tait pas dmontre; de plus, on ne di>tinguait pas encore soij^iieusenient
les sries
et
il
arri-
vait
frquemment qu
t'ualit
une srie
ou dri\e terme
terme
7:
T = X^ >
'^01
//
(()<
.7-
< >.-),
on obtient
=
(ians latpielle le
ni*;/? .r,
second
membre
est
une
srie divergeute
n"
"21 ).
indiqu que
di-enibre 190:2) M. Siekloir y premire de ces questions lail, pour lui, ngative. La dmonstration de cette proprit n'a pas encore t publie et les renseignements que contient la Note cite sont insuflisants, ce qu'il me semble, pour permettre la reconstitution de cette dmonstrati<jii.
(')
la
go
CIIAIMTKK
IV.
De
CHS o
il
fallait
renoncer
on
les avait
euiployes
et
c'est le parti
quon
il
a pris
i;niale-
ment
la suite
de Cauchy
d'Abel; ou bien
le
fallait
adopter un
:
procd ordinaire
parti
que
prit Poisson.
la
Pour sommer
srie
- 0
-(-
vo'r./ix
f)
s\u /ix).
Poisson considie
/, J-)
la
fonction
-
_/'(
(I
-h
/"
a cos
/i
-+-
si
11
iix),
dans
la
t(uis les
a> (|u
d considie,
el
d con-
ient
que
la
somme
de
srie
li
pour
=;
j:
./
/(.r,,)
= m /(/:
/
1
.^'ot
'
S'il
s a<;it
I
.
dune sn
de
h'c^urier,
/(
/',
existera
toujours
le
|)our / <<
11
montrent que
de Fourier
la sc'-rie
la
en tous
les
points
rjoui lers
<pi
de celte
s'agit
un nombre
la
de disc(uitiuuils n
(
'\
).
M. Schvvarz, auquel
tendu
est
due
dmon-
raux.
19.
Pvovdi' de Rienidiin
va
tre bientt
dmontre
n" o3
grable terme
terme. L inlgialc V x)
./(t) dx.
de
la
lonc-
tion somiiial)le
J\x)
sera
donc gale
7
\<i sin
V (x)
- y
.r -i-
nx
la
b,,
icos/ix
)J,
les
de
srie
de l^ourier dey.
(')
IM' Ciliier.
SKIUI
l)i;
<)
Or.
(|ii;iinl
nn comiiiil V(.t), on en
'('
/"(jri,
en lonl point
SHiif
o
(I
/'est
la (l(''ii\
t\c h".
cCsl--dirc en Ions
i
les
I
points
en
er-iix
un enseniMe
<l<'
nu-suie nulle
n"
i.
par
emploi de lonniiles
telles
que
,.
ll:r
-r-
/(:/)=
h)
y
F(x)
-,
liin
J(a)
.,
= Um
,.
F^a-
-(- /i)
-,
K(J7
A)-
ciiiploi
(le
la
x-eondc
rorinnli'
csl
pr^'-lerahie.
r-(''i;iili('rs.
|)arce (ju'elle
|)criiii'i
/en
V^
\\ ce cet te lor-
iniilc,
on
/(
si"
'/'
liiii
ah
o noire
ici,,
eus
./
=
s
lim
0/,,
//-o'
en tous
les poiiil>
pro((''(i(''
:
de nomination
applnpie. Pr-
nomms
i
pour
tels
les(|uels /"est
(pic
1,1
la
dt''ri\ee
<le
II
.
de
{
I"
les points :r
'l
fdiiclidil
//
.r
A^
-~
e>l
mille pour
nul. -oii
la
d('ri\(''e
le
f{ son
Al
f x\
'i
(
CJUI
int''i;rale
indfinie. Si
Ion
tonclion
a t dsij;ne
par
>
on
pourra conclure (|uc Le procde ilc soiniiiatioii ([111 vient d'tre indiqu peut tre uppliqu en tous les points tels que L inta une drn'e nulle pour ^1=0. et en iirule ind('linie de
'j.
les
f et
en
f est
)
la drive
La srie
Pi
(
j7
rp,(./ pi p,
(
./)
./
./
-j
.{
loiiriiil
donc une
re|)r'>ent.iti()n
aiialvlupie de
ia
ionction
de./'
,/(/')
de mesure
nulle.
Comme
la
on
|)eul
Ion
est
connat
srie de l-"ourier
en rsulte
i\\\
une fonction
par
sa srie de
srie qui
l'
ourler
n" !24),
La
.r,
reprsente
F(x)
est
uniformment eon\ergente
de F(j:^ tendue de o
(n" o3j,
donc on
cC ( a?
a,,
-f
XT'
-:-
1
[
a,,co> iix
-:-
On6\nnx
cin
)
-\
x\.
Ij
I
92
CHAl'lTItE IV.
/"(
Or (n"6)
j;) est
l;i
limite,
pour h
= o.
de
en tous
les
'
=A,,(t)
sommation; donc
points o
applupic
le
|)rocd de
c/,
par
'fl/,(
^ =
)
a,,
a coitix
^ b
>\\\
nx).
est
la vrit,
Poisson, de
il
Riemann ne se proj)osait pas, comme le taisait sommer des sries tri^onomtriques divergentes, mais
dmontr,
comme on
le
le lera
peut rem|)lacer
sommation,
qu'il a
plus simple
le
procd ordinaire,
Sur
la possibilit
de reprsenter
srie trii^ononitrique
si
faut observer
que
et
il
en
est
de F
(
mme
.7-
des ra|)ports
-T-
/n
-'
jr
/n
.r
-^
/,')
el
-?( a-
/n t.^i x)
lois la
puisque F
entre
entre
et
deux
si
/'
fonc-
De
|)lus.
pour
//.
la
mme
i.
raison,
,-t\
est conqiris
m
///
el
dans u/
//
A+
A,,
o/,
el
/,
el
M. pour
<; h.
Donc
z/,
et A/,
entre
limites infrieure et suprieure de f et ils tendent uniformment vers f dans tout intervalle a. jj) oii f est conles
(
tinue ; car,
quantits
si
de longueur
z/,
intrieur
io
/i,
b ~r
li)s,
el R/, dillrent le /
au plus de
o(K
Procd de M. Fejr.
prcdent rentrent
comme
sKuiKs
i)K
i'()(
un: ni Ki.coNui
i;s.
gS
I
M.
iVIillaj;-l>efilcr
entires.
Ou
sait
ont ein|)l()vs rcciimiciil jxmr ('liHle des srries que ces procds condiiisenl a allnhiier la srie
U-r I
-T-
i-i-.
une
cniisidc'i'ons la Sf-ne
tendant sers
/'to
(piand
cidt
pour
//
dillV--
lant d
une
ccriaiiic
I
r<'-dui}
saut tous
(piaud
<
(fit /i
sont
con\ cnahicnieiil
rpie je
lioisis.
sn scia coin
U'iid
crj^ente.
sa
La
liinilc.
tend \ci>
scTie
paidelinition.
propoM'c.
eiileiidu
ai
les c/,(//)
le
couditious (pie je n Cn
sont entircnnenl
(noncees,
dtermiii('s:
siii\aiil
(piant au
!('>
paramtre h
il
est
pris
continu DU diseoiiliuu
cas
'
).
L exemple
qui
est le
le
la
moyenne
aritlimtupie.
c(iisidr(''e.
(pu consiste
les n
allnhuer
dont
+
.
.
premiers
limite
|)(iiir //
'7,,
__ -
Su -H S|
Ici le
naraiiK'tie
//
(^sl
discontinu,
il
est i:al
Celle mthode
sommation de
-r-
la
srie
COS.r
-4-
COS-IX
COSO^" -!-...,
m
2
^
1
-T- i)
11
'
INiur
[ilii?
les sries
diicr idales de
tJorel.
>
94
CHAi'iriti:
IV.
ce qui cuiiduil
;i
attribuera
la
srie
la
somme
(
-.
Alembkut, Opuscalrs
toutes les sries
a
math., t. M. Fejr
W
a
p.
5<) et suiv.i.
pens
^^^ III
i:
alors
ou
Il-
^1
SIU
Je vais dmontrer que la mthode de M. Fejr />er met la sommation de la srie en tous les points pour lescfuels '^( ^) ^'.s7 la
]
|
drive de son
t
in t i;
raie ind'Jinie
les point>
<!>(/)=:
\'^{
t)
dl
pour
[\).
o, c esl--dire
en tous
pour lesquels
(I>'(o,)
=o
On
II
donc
compris entre
une certaine \alcur p de <{. ton? les Sy sont M il en sera de mme de la liiuite. ou des limites, de t,^. En particulier le procd ilc sommation par la moyenne aritliuilique > applique toujours cjuand la srie est consi,
|)arlii'
et
verj^ente
naire.
il
est alors d
accord axcc
le |)rod(''
de >oniniatiou ordi-
o,
en
o. ai et (a,
I-
La
contribution de
tions
S//_,
a,
dans
i,,
est la
du
mme
:
,/.
S,
/.
....
_/
or
la
la
contribution dans S^
_/
tend \er?
'7^
z(''ro
a\ec
ers zro
par suite
Irnd
(') J'ai
dmontr pour
la
premire
fois celle
proprit dans un
t.
Mmoire
5m/'
lAl. La
iiittiode
du
texte est
celle
que
j'avais
SKUiKS
a\t'c
iiK
95
Il
--iillil
(!<
s (('(ii|)<M' (le
Mil
///
n-,
sin/ /
rt-./ _
sm/
Ka
111 ///
rt'iii|)liic.iiil
|)ai'
//
(liiii>
hi
picmnTf
iiiti-gralc
(;l
par
dans
la
seconde, un Iioiinc
/* /sin/
/
2
,
-.-^
'^t
f)df
.|.
""^'-^(TTrrr;]
Si,
(lan>
().
a),
//
on
=z
a
yz.
conslaninienl (l)(/)'^0/.
e>\
la
|)lti>
i;;ian(le
des
liniiU's.
|)(Mii-
an plus -
-h
Oa
el,
comme on
peul
[rendre
[lelil,
il
an-M
esl
[lelil
([ne
Ton
t,,
\eiil,
dmonlit- que
leiid
erol
indtinimenl.
Si /'est
choisi
ailiitr.iirement
[jrendie
la
valeur corres[)oa(lante
de de
V.
ind[)endaninienl de
V.)
dans (a, b)
et alors les
contrihutions
(^o.
et
(a.
.r
-\ dans
dans
(<t.
1,,
de
contril)Utu)n de (a, -
dans
S,,
7,,
/'
de ce que
contribution du
mme
intervalle dans
/
':;
|
tend
si
auquel cas
esl
toujours infrieure
on
96
CHAPITRE
est
/'
1
IV.
Le multiplicateur de
partout constante
et
/"
ce
que
cle\ient t
gale
t
dans ce cas
le
S,^
/"quand est y= o
/*
;
et
12
gaux
donc,
multiplicateur de
est gal
et.
dans
le
cas gnral,
est
au plus gale
Q.
Ainsi,
les
points
quand n croit, les quantits tendent vers f en tous pour lesquels $'(01 ^ o n,, est borne, quel que soit n,
a-,,
;
si f est
Kfille
u/i
ifo//nment vers
dans tout
iiiter-
o. d faut (pie.
et.
pour
^
1
= o,
on
a
|w(/)j soit
la
puisque
[/(
jr-
[/(
^ it) /( X
particulier
)] -+-
-2t)~ /( X)\,
cela
sera
ralis
en
quand [/(.r
^
+ an
)
/ur)|
et
seront,
pour
0.
les
drives de leurs
quand
yX
(
dre
comme
X =:
.r.
la d(''ri\
intgrale indfinie.
est
Or nous savons
les les
ralise
pour tous
sommes
t ont
z^ f t
aux sommes
cR/,.
de
Fou lier.
ici. et
Je
de
c('it
le
procd de Poisson.
Ii(s
peu
(tiidi(''
pour
utiliser les rsu Itats des deux deux procds, et tous ceux qu on peut dduire des procds gnraux de sommation de M. Borel (voir le !2 du Mmoire de M. Fejr). fournissent des rsultats qui-
valents.
Tous
dtermine par
de dmontrer
de Fdurier
il
qu une fonction / sommable est et fournissent une reprsenau n 19. Tous permettent
la
tation analvtique de
le
comme
a t dit
thorme de
\\ eierslrass sur
repr(''sentati()n
('j
\'oir.
au sujet
les
ilu
[jrocccJe
(Je
l'oissoii,
uu .Mnuiiie de M.
\'
t'iitou
qui
parailrji
dans
97
(^ellc
des
'
;iii;il(i;iie
ciriployce
au u"
'2i)
Le
|)r()(;<lc
de M.
(les
I''c|(';r
esl
pailiciilicrcinciU
coiiiiiHxlc
n,,
pour udus
\
l'appi'oxuualion
Il
lunchous
aux(|uelles
finies
de Fouricr
et
non des
le
sries:
l'utiliserons
Chapitre
(consacr
\
Oui
Une
de continuit x de f(x) sans conver<ier vers /[x). ni en un point de discontinuit de premire espce x, sans converger
vers
[y
(a?,
7/iix,i) el7,i{x,
tendent
plus grande
'les
limites
des
sommes
elles /{.r)
ou
[/(.r,
o)
./"(^,
+ o)],
et
sans cela
7.
dont
la
limite est
o) /{^\ + ^
les
Les points
el
sommes
successives tendent
ainsi.
vers H- ce ou vers
oc.
(1
On
a,
en
eil'et,
en appelant
la
limite suprieure de
/',
(') Lorsqu'on utilise de la mme manire le procd de l'oisson, suppos lgitim par le raisoiiueinent de M. Schwarz et non par celui du n" 31, on a la dmonstration du thorme de Weicrslrass qu'a fait connaitre M. Piciird ( Trait d'Ana-
lyse,
t.
I).
L.
08
ClIMMTKi;
le
IV.
dans
vient
(Ictnici-
moiuhre.
/'(
le
iiiultiplicaleiii- <le
7,1 f[iiiinil
H) est
constante
et t'-^ale
teur gale
1.
De
t,,
on dduit
<|ue
comprise entre
/'
le>
limito luirieure
et su|)i'--
rieure de J
soit
comprise entre
alors,
/ et
L quand
h. x + h),
)
en modifiant
qu'elle soit
partout conq>rise
on ne modifie
:
t,^!'^
les
de
la
fonetion
f au point
quand n croit indfinipour origine et pour extrqui a CinterK-alle ment. Par suite, mit la plus petite et la plus grande des limites des sommes successii-es, pour x ^ x-^. de la srie de Fourier de f{x), a toujours au moins un point commun avec r intervalle qui a pour origine et pour extrmit la limite infrieure et la limite suplimites vers lesquelles tendent
.
rieure de
au point
,/
j.
III.
OpKI! \T10NS
sir.
LFS
SF.lllKS
DE FoURIKR.
o^. Multiplication
suffit
Pour puu\nir
iitdiser
il
une
srie
d ne
.savoir
pas de sa\oir
lui iillrilmtM-
une xuiimi-.
laut
encore
est vident
que
la
srie de
Fouiier de af\
l>ti'
et
h tant
/,
multi|)lies res|)ecti\
la
s(''rie
ement
{\
|>ar
et
/>.
Il
de
formel-
de Fourier
//
y, r^ -
2^
'^
CI>>p.T
p
S/,
>'\n /l .T
f.,r^ - ^o
\
-H 2_,^
(a/,
cos/>.r
sin/?;r),
Ao
"^1'
cip-r
-J-
B/, sin/^a-);
nous nou> bornerons au cas o /', et /'^ sont l)ornes ce qui permet d'affirmei- que F a une srie de Fourier si /", et /: en ont une.
SKiuKs
N()ii>
ni-:
i-oi
KM.u oiKi.roNgi'KS.
gg
r/,,
/?,,
avons
les coeriiciciils
a/,
j,
for-
inenl des
siiil(;s
alors
les sries
reprsenlaiil
/, et
on peul
les
imiltiplicr leiiiic
leiiiu-.
icmplacer
les
produits de cosinus ou
sinus
les
|)ar d('>
leriiic^ .iiiim
ji'-^
enseiuMr
comeiiant
ou
siii ^^./
nous ol)lenon>. en
(|iie ff_/,i=(i/,,
/yy,,
Ao
ay "-^0 -^
90
/'
'
Ces
galilt'-s n*;
sont jusqu'ici
Xli^'i
'*"*
d(''inonli-('es
que
si
les srie>
\^i\i
\0i\,
|a,(.
un
nonii)i'e lini
de
il
agit de multiplier
deux
sont
vraies
aussi
(jiiaiid
siiHira
videmment d'examin(;r
Supposons.
1
cas o
f-,
co<,px ou
sin/j.r.
|)ar
exemple,
/'o=cos/^j&- et
j
examinons seulement
alors nuls saut
y.f,
1,
1
sont
galitf' (jui
donne \
se r-
duit
\
'
galit vidente
]_
/](
cos//e cos/jO
<Yf)
'
'"
'>
'^0
J
la
Ces remarques
faites,
il
suffira
videmment de dmontrer
CHAPITRE
IV.
les systmes de deux fonctions sommables pour avoir le droit de conclure l'exactitude de toutes les forjnules (M pour ces fonctions; car. si Ion applique la premire formule (M) aux fonctions /') et fjcosnx. dont on connat les sries de Fourier, on a la formule qui donne A et de mme, si l'on applique la premire formule (M) aux fonctions /i et f-, sin/.r, on a la formule qui donne B,^. Simplifions encore le thorme dmontrer. Dans le cas du
bornes
])roduity";,
il
se rduit
^0
- 0
^P -^
'
^
il
- f
'^"
'
dd.
Si
dmonlrc'e.
suffirait
de l'appliquer au
calcul de
*/.
- "^'A
y' 'f'^
/"
f\d^^
'^
/,/,
rU)
+ X^ f
en
fl M,
A dsignant
unt
constante
indtermine,
pour
dduire
la
ces^
En
dlniti\e,
pour dmontrer
nous
suffira
borne
et
sommal)]c,
7 {a
co'px
-\-
J r^
on
(N)
-^^
-u-^-
I,
bi,s\n
px
)^
fH^y}di)=-^al-^^(aJ,-,-bl).
r='-\
le
savons, quand
la
il
'y,/
s'agit
d'une
de Fourier: appliquons-la
/'.
somme
dt M. Fjer
relative la fonction
On
trouve
p=n
i.
^"^"
= ^'"--2^''^^*''^'"^)
/'=i
D
tend
nulle
ailleurs, /"tant
\
borne,
les
7,^
et,
puisque
a^^
pour
les points d
un ensemble de mesure
49),
7^ dH tend \ers
f'<i^^
quand n augmente
SKRIKS
indt'-linimi'ul
(
ni:
FOI lUKU
<Jl
KI.CONgUKS.
loi
l!2). Piir
suite
l'<''galit
(N
nicrid)r'e
de (Nj
le
proc('d de
la srie
on
fait
correspondre
comme somme
la
limite de
l'oiir
(iiic
(Ni
soit
il('-moiilr(;e
(juand on
il
emploie
le
procd
le
le
ordinaire de sommation
les sries,
siil'fil
les
fournil
mme
rsultai
que
une
comme
le>
//
quand
moins ^al
la
la
somme
tics
/j
de ses
premiers termes,
termes de
la
tend
sers
somme
Un-
premiers
et
srie
de ce
que
,^
^/,-|-.. .-+-
L'galit
(N)
les
et,
pour toutes
fonctions
ainsi dmontres sommables hornes, c'est--dire que la srie de Fourier du produit de deux telles par leurs sries de FV)urier. Ce n'est qu'assez
par
(M) sont
rcemment que
Fourier
des
a t
correspondant
la
fonctions
Riemann
M.
dtre em-
ploye
p(tiir le
sommables
pour
le
peu diflerente de
grables de Piiemann
Il
'
).
serait naliiiel
maintenant d
t'-ludier la
|ieu
de clioses
ce sujet.
prsente immdiatement
l'esprit
'p
consiste conet
la
et h
comme connus (M) les A, B, a et comme inconnus. Le problme est ainsi ramen
infinit
rsolution
dune
d'quations
une
infinit
d'inconnues;
j'ai
je
me
cits
(') \'oir
Math.
An/i..
la
l.
L\
II et
LI\.
On
trouvera
phiques concernant
de Fourier.
CMAPITIU:
IV.
(n"
(;es
fie
M.
Soc.
de France,
t.
XIll).
gneusement
(le
la
/;.
la
de Fourier de /",/o?
Jnti:rnti(in.
53.
=
(
/(y'
>
borne (n"
1 ),
dans (o,
27:)
par
sa
nient conxeryente
^ o.
(o<.r<
>-),
F(.r)
\/, r()S/>.r
K^, sin/>
r)
avec,
pour p
^ o,
F
,
=
B/,
\V
/ siii
p.r
(l.r
= =
wpx (Ix
/'"
I
.ns/>r
VMS
nx ax
n
-T
a,,
Do
dp f'o b,, VI / An [Ux)=-^-2^{^-^rn.px^-J^.mpx-j^>npxy
. -
P
Faisons
.r
P
(^'(-f-
1= o: en tenant compte de
=: o on trouve
-i-
F(
>.
_-f(u
-^
"V
_ ^'
d'o
dans (o,
.
27t).
Vrt sui
n.r: 1/?./;
X-
SRIKS
l)i;
lo3
donc on
ii
l'{X)=
la
"u
-r-
V y
'
\(f,,
>IU
p.r
h,,<
CO'^T
l)|;
srie de
Komicr de
/" <'^t
c-it
donc
de
(
inl<'i;iid)lc
l''(^./,
)
terme
xeriii
ternie
de o
-^rie
r <i
?.~.
lin soustrav;int
l'I./.,)
on
(|ue
(|iie
I
hi
de h'onrn-r de
int<'i\alle
int''iii-;il)le
d;ins
.r,
./.,).
|toiir\ii
o. le
dans cet
faisait le
\aleiii'
c/
cuni^nie
Si
on
clian^einent de \arial)le
serait
l'ier
=\
|),l^
a\ant
raisonneinenl.
la
condnit
(.f,
.
constater
)
possihilit d inli'^i-er
srie de
((,
on Fou-
dans
.X'j
ne conleii.uil
de valeur coni;rne
loiit
cesl-
i|iielconqne, dan^
iiilei\alle
d ('tendue
moindre que
'.-.
\a\
partageant
(pie 2~.
/".
un inler\alle quelconque on
\
en
:
parties d'i'lendues
/.a
s<''ri<'
moindres
<le
t'riliera
nonc
fjnral
lie
houiicr
e.r
iiit('i;j:ri'u'
tciinc Icrinr
dans un
cet inter-
inL('r\'(iU(' (jui'Iront/ui'.
fournil
l'
inlr^idli' de f
dans
valle. -Si
une des
Ircniils
de
o4. Drivation.
esl
Supposons
sommahlc.
/':
(jn'on
connaisse
la
srie
.r
de
Fourier
et
la
dune
la
pour
^ o,
srie
les
dont
(l(''ri\e
proj)osons-non> de (ornier
de
les
/'.
et
|)roposons-noiis de former
de
/'.
En consei\anl
l(''
notations
du
numro
lgalit
:
pi'cdent,
elahlics r(''sol\enl le
prohime: seulement,
(pii
comme on
calcnler
ne suppose plus
F(+
=
^ o.
la
nous
a servi
doit tre
remplace par
suixante
d'ori
I
F( -H o
> A/
(tn tii-era
>.
( )
I
["
!
>
>
T-;2^"
Sn|)posons que Ton dt'rive terme terme la srie de Fourier de F, nous ol)tenons. en tenant compte des relations indiques,
>
P-S-i,
>\np.r ^-
H/,
cuspx-
=y
f>,,
-iii/>.r
-^
,,
cospx
a^ cosp.r.
I04
CHAPIIfUi
i;iiral
IV.
En
ce n est
|as
a.p
tend
f/n)
o, le coel'ficienl
et
(a^
nous verrons
que
ne
qui
la
c'est l
diffre
de
une condition de divergence (n"o7). La srie obtenue la srie de Fourier de / que par l'al^sence du terme
des termes
</
constant
et
par- la pr(''sence
a t dit
au n" oO
sui-
ra|)plication du
procd de M. Fejer
srie
Fourier de F est sonimahle par le procd de la moyenne arithmtique et reprsente f ei} tons les points oii la. srie de Fourier de f serait sommahle par le mme procd.
Bien entendu
la
srie
obtenue en drivant
la
srie de Fourier
somme
j)ar
le
procd de Riemann, en
i\\\\\
/ est
la
ensemble de mesure nulle si F est lintgrale Indfinie de /'. Pour que la srie de Fourier de V lournisse. par d(''r[\alion,
srie de Fourier de
/"il
la
laul et
il
suClil
(|ue <^/=o,
c"esl--dire
(pie la (b'-ri-
que F
une
srie
convergente
paiioiil.
quand on
i'ourier
int<''gre
est
dans
les
srie de
drixe terme
terme conduit
une srie de
trigo//
Fourier;
une une
lois elle
conduit en gnral
une srie
degr(''. int'gr('e
fois
conduit
//"'"'
s(''rie
trigonoiiH'lricpic
j)lus
un
|)olynome
du
les sries
de h^ourier |)our
ind<'--
finimenl terme
il
terme sans
si
forme
d une
ne p(uriait pas
armer
au
r(''sulta!
somme
Borel
a
el
\I.
dmontr
tpie ces
sommes
c(3nve-
naienl pour
vables(').
la
ind(''fininient
dri-
{Annales de l'cole i\ornuile, i8y.'), p. ?>- ou les fonctions de variables relles. Uaii- le Volume cit des Ann. de l'h'c. I\'orm. on trouvera aussi un Mmoire de M. M. Lei'cli Sur la dri\'ation d'une classe de sries trignnomtrii/ues.
(')
Voir
la
Tlise de
M.
toiel
le
I03
IV
d<^
Applicatio.ns gomtriques.
oo.
TIlormr
Jraii licrnoiilli
je
\;iis
Www
;i|)[)li([ii<T
les
rt'--
siillats (^iTou
vient d ohlenir,
dinonlrer un ihornie de
Jean lieruoidli
{^Journal
le
l'
Emlc
Polylrhinque, Caliier
coiirix"
a
Consulrons une
sons
(|ue. loisqii
le
a\ant
(
des
',.
tanj^entes
un point
|taic(iiii-l
la
tangente en
tourne
tou|oiir> dans
arc de courhe
C
le
considr, nous
la
(ait
tangente
en A. Soit F
(-(die
des dveloppantes de
dont
\.
rayon de cour-
bure en \
.1
a[)[)elle
qui passe par H,, j"a[)pelle A, son extrmit. Soit F, celle des d-
veloppantcs de
ainsi
('.,
->ont
la
^ur
la
normale
en V:
B, B,.
L,, ...
sont sur
tangente B X'
AXC C en B.
AX
et
BX
recherclier
les
courbes C/
point
et les
courbes
F/, (|ui
s'loignent ind-
finiment entre
AXet
ww.
Considrons
dants de F
et
de
et les
points
y.
et
la
M, correspontangente en
M
C
:
lare
/(
BM
la
de C. par
le
ravou de courl)urc de
avec A \, par t
u..
en M; par
par
.j?,,
.s,,
nous dsignons
tangente
les
lments analogues de C,
<x
I
langle aigu de
c
F en
arc
A ul
eu
de F. par
le
ravon de courbure de F en
\\anl d aller
plii> loin
livpotlise
si
nouvelle
n en avait
un
et
il
suffirait
de faire commencer'
C|
la
suite
(')
Bien
<|u'iine
C en plus de deux [xiints; c'est du lexle un arc iiuelconquc de spirale d'Arcliimde est csl celle qu'a adopte M. Bore! dans sa Gomtrie l-
mentaire,
p. 39 el 4w.
>
i)6
chapubk
iv.
des couihes C.
On
= X\,
-^ i X :r-.-J
~ >
-i- /,
cotist.,
SKHIKS
1)1.
Kll lUKH
(.11
Kl.<
ONOl
KS.
07
meiil
Cl
(|iil
csl
iKuniiilc
;'i
l'exisU'iicr
iiirl
(lime
coiirlx' liiiiilc
ilc'iiKniIrce
-.cul
|)ara-
rc
/-,
='"
siiio-
c/t
^
"
/
Il
^mo"
-7^
)
'
dx
h,
/i
i<'|>n'-s(Milanl
la
dislancc
le
cl
15
\'.
il
csl
les
cvidcnl que
eoiirhcs
(
..,
est
celle
cvcloVde
|iiiis(|iie.
poiii"
elle,
loiilo
sont
.-aies.
Les courbes
cf;ale
r,
oui
(''n
idi'unueul
[huiisi
liiuile
uue dcuii-cyclode
Z.
Ou
les
la
courbe
C
|)a>
.
elail
convexe,
vers
mais <|ue
aui;le
entre elles un
didil.
courbes
Ci,. (l.<
:
el T. I,
lendiaienl
nue
poiii' (|ue
cil
taudcail
dpendant
n'existe
de
raiii;le
le
des tani^enles
G
le
en
\ cl
il
!!.
Dans
|as
cas o
semble bien
(|u
le
il
de
propri''l<''
analoiiue: ou
7.j
verra en considi'anl
cas d
le
une
couiImarc
mme
parcouru
en >eu> inverse de
\eis a.
l^auclies n a
pas t
examin
(|ue je saclie.
o().
une
\ais (b'-monlrer.
le
par
la
mthode
de M.
uu'lres
Soit
Ilurv\ilz,
'
l"ini;alit('
qui constitue
).
G une courbe
c esl--dire
telle
de longueur
|)arlai;eail le
L;
\\.
Jordan
dniontr ([uune
et
courbe
que
la
rgion
on
|)eut
^L Jordan
C comme
fonctions
une
(') \'oir
sii/jerieiire.
190J.
10*^
CIIAPITRK
IV.
courbe
(le
reclifiable C| lencle
jDetile
C| a une plus
limite au
pour limite A. D'ailleurs, que L| tende vers L. Ceci pos, exprimons les coordonnes des points de
a
uniformmenl \ers C, la longueur L, moins gale L el l'aire A( de G| on peut toujours clioisirCi de manire
en fonc-
tion de
arc
.s
de
C compt
posons
/= ^
JNous aurons
- ao-+- ^^{ a
,,
cos/;/
-v- /,
sin//
),
y=
les sries
^(1
-i-
/
x
^i t-p
CD^pt
-+-
j^,
>\n
pf
),
et
gentes.
en
et
Supposons d'abortl que et r dent partout des drives que ces drives soient sommables; nous aurons, puisqu'il
-----'c--!
s'agit
54-),
dx
-jf
V^ 2^( pu,
/ ,
cos pf pa,,s\npf]
~
~J^
^{p'^/> co< pt
oc,,
^inpt
(^'-(ir=(^)"
Nous
>a\oiis calculer
/
\
dy
\-
-p
d^-
{'T
.
^^^
1^'^^
'*
^^^~
mule (Ni du
n" 52.
De
L2
=
la
t2
V p>
af,
hf, -+-;,-+-
iJautre
|)art,
de
dduirons
=
-^
'\dj
/
^-;^^ff
-^^^p'i^/'f',-^,>
L2
4itA
= -2-2 \
[(
pa,j
ci,
,)'+-
^f,)\.
--7
,>. -^
I
sKiulis
\)i:
i-()Luii;ii
oi ki.conui ks.
li
io(i
)(''l);irriiss(ms-iious maiiilcniinl
de
exisUnice
tie
-^
et
ll,n
reMiai(|iiaul
xiL)
et
y[t) sont
;
noiubi-es driv''s borns et, par suite, ont des (l<Ti\es presque
(
'v' '"'partout
n" II),
les eas
on pourrait
:
M'rilier
eoi-recls
dans tous
i*r<'nons
>uf(iiont.
la
une courbe C)
il
tcnil vers (^ et
dont
lonj^ueur
1^,
tend
Ncrs L;
soit
courbe de faon
les
(ju'elle
raisonnements
C,,
prcdents.
VIors. les ('linents allects d'un indice
i
coirespondanl
on
Le premier membre tend \ers L- 4~V (piaiid ("., Icnd vers G; somme des k premiers termes du second membre tend vers la somme correspondante relative la courbe G, donc on a
la
et,
par suite,
L-^
4-.\>o,
saul peut-tre
'I
si
pl:
bs
=
est
ao
a.j
/>2
6.j
=
a
^3
auc[uel cas
une circonfrence
et
Ion
bien
L2=4-A.
Donc, pour toute courbe ferntre sans point douhle, rectilongueur L, limitant une aire A, on a
fiable et de
L^-4-A^o,
le
signe
CHAPITKE
Y.
l.es
et
(''t(''
(|iie^tion
au Cliapili-e
II
eoinnie
celles-ci,
oui pour
but
prlini|)al
o7.
Lorsqii'
pour tous
tjue
la
i
les jxiints
nienl
prouv
le
si
nous dmontrons
est
p,,
trigonomtrique
dont
terme gnral
cosnix
pour un ensemble de valeuis de x de mesure nulle lorscpie z ne tend pas vers Zf'-ro quand /? croit. En ell'et. lorsqu'il en est ainsi, on peut tromer une suite croissante d entiers ui tels que les nombres
o
<
un nombre
positif,
fixe
le
m ditlnombre
renl de
tant
arbitraii'cment
s,
lioisi
|ocos/i<(x
^-,)!
surpasse
qui
<< 2,
Ti^4arcsin
ni
et
mesure de lensemble des points de convergence est au plus y,. Notre thorme est ainsi dmontr, car y, tend vers zro avec . Ce thorme, que Riemann semble avoir considr comme vident, a t dmontr pour la premire fois par M. (i. Cantor ').
(
(')
Journal de Crelle,
l.
Il:
Math.
Aii/uiten.
l.
I\
Ac/a matheinatica,
l.
II.
si;iui>
l*i)iir Ic^
THK.oNoMKi mol
ii
i;s
oi
i.(
onoi
i;s.
iii
|);isser ((uimie
iccliciclics siii\,ml(;>.
i'>l
possihlf de s'en
lOiil
reiiiHi(|U(';
KieiHiimi
el
Kroiiecker (');il
.^tiUil
pour
.r
ecl.i,
ayant,
la si-ie trii;()ii<)nilr'l(|iie
iiiii(|ii("ineiil
raisonner
sur
hi
= + S(j:o
Jr;,
de
''>)}
donl
les coeffieienls
Une
srie donl
les
inleivaile;
on en tronesl\i(-).
mann.
le
plus simple
<'st
celui
la
s('Mie Is'mx
fi
t^.i'
(jui
llioriue
fondamental de Hi.emann.
zc'-ro,
Nous
allons
les
(S
-<T,|
if,,
CO^nr
-r
bn'-'wMlX
Ao
4- Al
-t-
A-)-r
.,
et reelierelier
dans
(piels cas
on peut
lui
applnpier
le proe(''d
somposer
comme on
A,
>:-
lsait,
A,,^',
A,
1-
A:.
>-
el
Il
attribuer
o.
comme somme
(piantitt'
la
srie
propose
la
limite,
pour
::=
dune
que Ion
nctiera,
en modifiant lgrement
les !iolati(>ii->
du n"
(>.
A'^F(.r)
4/(2
F(./-
4- -iA
y^i
/sin/?/(. \-
Le thorme fondamental
le
(pi
(jii
\a tout d
le
suixanl
(')
Voir
le
\v
paiagraplie
II
du Mmoire de lieinann
2/ sin
/V
el
un travail de Kroneck.er
nesL runversenle que
dans
('-)
ira:
pour
les
CHAPITRE V
Il
suffira,
pour
cela,
de montrer que 7
la
A,,
tend,
quand
srie
S A^ suj^pose convergente.
la
de montrer que
quantit
_V
^'"/'^^
I
"
21
-\n
ph
'ini
/>
p
1-1
//
I
-jr
uniformment horne. Dans le second membre prenons l'ensoit inutile dans la premire n de faon que le signe somme d suflira, pour cela, (pie Ion ait // A <C ~ << /r -)- 1) A |.
est
tier
| |
La
premire
somme
est
alors
/ sin
1
-j
/i
/
(
sinn/j \-
quantit
borne.
La seconde somme
i^inphy-
est gale
2
I
[sin(
jd2 h-2
yo
H-
)/?
]"^
[
sirii
-r- \)
47^~
cette
(yD
-+-
Y- h'^
en remarquant que
sin(^.
/>
la
+
A
I
\)Ji sin
A
|
<;
1,
on
voit
que
somme
est inf-
rieure
^
^
/>-/("I
n- h-
f^
/
\
dt
,
_
/i-
,
\
t-
n-
in
1)1/(1
/i2/?2
Il
Dmon Irons
lim
lirn
AA
-f-
7 A
'
= o.
les
a,
en conservant
notations
ilJKIK.S
TUKiOXOMKTIUulKS
(Jl
KM;0NQII>
n3
prcdentes,
(sinphyp'^h
I
,V^
/-iii/>A
v^
/i
I
'^'^'I-^^Hm'
(|u;iiilil(''
IxtriK'c,
').
o9.
niann.
Soit
une fonction
f{.v)
de
|)crio(l(,'
'^t.,
nous nous
pour qn d evisle
une
la
soniiue. obtenue
Il
parce
proc(l('. j^ale /(
faut
(
('-N
idemment
()
)
tout d'abord
que
la
remplie
i"
n"
y(j")
<ist
1(1
continue F(.r).
_i;<''n''ralise
:
de
i^x
-\-
2-)
=o
(5)
cpie
si
donc F(x -it.) (x) est une foncon peut noter ii-[ A,r -^ t: Aq -;- C,
:
F(.r
est i^ale
on
\rilie
de suite que.
on pose
G,
,7'
F
<>(.c) est
.r
-h A,,
'
1-
:r ),
En remplaant
galit formelle
qu on peut crire
C-hG,:r
A.r2
2
F(.r)
A,
I
.\j
i-
n-
\,i
tant de
la
forme a co>nx-^ 3
s'in/ix
il
reste
seulement
crire
{') Pour d'autres applications des raisonnements de Riemann, voir une Note de M. Fatou {Comptes rendus, iyo5).
L.
l4
CllAIMiUI-;
V.
que \
cdente
fois le
LcikI
<'is zi'to
pour crire
i\u
niine eou|)
et ([ue.
que
galit pr-
est
en dri^ant deux
second membre, on
reprsente ./(^)
:
une
la
zro qui
manire
indicpie.
Do
cette
seconde condition
2"
E/i posa/if
: a
-A,
n-
f|'
( /
c )s
<
(Il
le
second
membre tend
uniformment
ciiiel
que
soit x.
i"
:
Les conditions
difier
la
et
2" constituent
la
condition ncessaire et
il
suffisante cherche
si ./(^'
on
faut
la
mo-
existait pas
la
en certains points ou ou
si
l'on renonait
sommabilit de
srie,
lgalit de
/"(
,r) et
de sa
la
somme
la
en certains points. Je
laisse cela
a
l'ait
de ct pour indiquer
la
11
transfor-
subir
condition
est
>",
et
qui est
la
l'on
ns imposait pas
de
la srie
dun
appli-
sommation ordinaire.
et
d(''ri\e
premire
ayant
partout, sauf en
un
nombre
D'aprs
fini
\ariation borne.
la srie
les n"'
<7,;
27
et '28,
si le
h,i
-t-
)"'"^
terme de
n''^b,i
de Fourier
de 'xix) est
cos/ij" H-
sin/i.r. i^n,i et
n-a
et
si
^i,^
\e[n
terme de
et nj,,
la srie
x") est
% cos/?.r
les
+
de
s\nnx,
n'-y.,i
Donc, d'aprs
cos/<.r-f-
le
4-
i)""""^
|j.l
terme
est tel
//-( A,/
\,,
B,, sin/?.z'
de Fourier de
si
4>(.r)
que n- \
cos/?
et //-B,/
Ton
\eut,
que
tende
uniformment \ers
zro, (piel
que
soit x.
Ceci
s'crit
(A)
lini /r-
'l'f
/)
u{
co?;i(,r
dt
o.
"l
AdiMi'llons
(, h)
(le
1^7.,
i|U(' |A
>,
11
csl
(lidV'rcnl rje
(|iii
z(;ro (jur
iJ.ms
uik^
|),irlie
-i- 7.),
ce
=:
exii^e
ij.(
\x(
\x (
o\
on
|)oiiri;i
iiit(''i;r;ili()ii
7.,
a -^ a
|).ir
/'/
el h.
I) iiiili'e |iarl.
a\;iiil
lc->
|)i'o[incir'>
iii(li(|iii''c.-,.
cxid'csMoii
//-
'
/"'
/
u(
[L
-
t
-\
A.o/-\
)
cos//
,
(
.r
f/
ciilic erocdielsesl le
'
(//
-h
i)'*""^
terme de
la s(''ric
C'.r -h
el
dont
la d< rivt'e
seconde
est
Par suil(%
si
-2"
est
remplie.
\x
/)
K( /) cos/M,.^'
t)
dt
tend
l'our conclure,
a'.
'i!
Dt'si il lions
par
"/.
(
/)
B) ijni
conlinue ainsi (juc sa drive premire, qui a, sauf un y nombre fini de points, une drive seconde variation borne,
est
et telle
que l'on
ait
>.(
== '
X\ B
n.
La quantit
/-'
\{t)V(t)co>n(T
t)dt
soit x,
(luel '
que ^
avec
fi
la
somme
diin nombre
fini
remplacer
ainsi
y.,
tendues seulement
Il6
CHAPITRE
2' est
V.
remplie,
"est-;"i-dire (jue
>,
>
et
X(/)
ros<
dans
-, o
et
(a-, -)
X(
dans
(o,
au);
puis
-i-
"
,
A{ l)
=
les
cos
/.
La contrdtulion de
tiiliiil
o)
1
est la
mme
dans
deux cas:
la
cono,
londe
V.
dans
le
premier cas
les
de
-)
dans
le
\oil (jue
intgrale
// -
/ )
cos n
.'/
t )
dt
2'
entrane
2".
Riemann donne
rale
trer
la
condition
2'
soit entier,
serait facile de
).
mon-
Je ne m'v deux formes de 2' sont quivalentes (* arrte pas, d'autant que l'on utilisera seulement l'galit ( \) prcdemment trouv'-e, dans laquelle [J-(^) est une fonction de priode 2-, avant une drive seconde variation borne. La m-
que
les
l'galit
(B)
lim
/?
<^{t)\i.x{t) (:o'i,n{x
t.
dt
o.
{')
La
ne prle aucune difficult si l'on tient compte des notes que H. Weber a ajoutes au iMmoire de Riemann {voir surtout -i' dition des uvres de Biemann).
J'ai
dans
le
texte.
SKRIKS TKIGONOMTBIQI
i:s
OlKr.rONQCKS.
I7
dans
lKjiiclle
'J-t(f)
est
une
foiiclion
horiu'c.
de
\
[Kriodc
ces
>. ,
ayiiiit
il
une
ea
drive premire
\arialion
jj;alil(!'>
fiiil
<C)
r
\>'2(f)
el
sin
'\>(
t)\x.i( t)
.
rit
/
sin
dans laquelle
proprits de
prise entre a
(jiii
jouil
la
de toutes
valeur
.r
les
[J-sil) et (|ui,
de plus, s'annule
pour
com-
de ce que rint*;rale
<les
(
qui y
lii;ure est,
la
au facteur -^ prs,
la
somme
)
/?
-H
|H'emiers
termes de
scrie
de Fourier de
<!>(,/
'j..>{x),
ment eom
()0.
cri;eiite.
Rclonr
-(1
(ta
procd de
le
sotti itiatiot)
la
nrdituiiie
La sommt;
.
des
ti
premiers termes de
par
srie (pu
est
>.
reprsenle
/'( .r
(piaiid
on
la
somme
videmment gale
//
I)
./
)"
^J"
I
,w^
la
dt.
valeur que
on obtient en prenant
termes de
la
dri\e seconde de
F(./); au
la
somme
des n
-\-
|iremiers
srie
lieu d'tudier
lui taire
mations analogues
dition 3"
la
celles (pu
>.'.
oui
pciinis de |asser de
con-
condition
Demandons-nous
trique
.y,
la
srie trigonom'-
fois
de suite terme
la
terme
la
l'ourier de
<!>,
srie
trigonomtrique
mme
procd de
'a'
.
la srie
de Fourier de
parler de
<>),,
est la
fonction de renonc
<I>A.
il
Mais, [)our
ail la
que cette fonction priode 2-, aussi supposera-t-oii dornavant que l'on a
la srie
de Fourier de
faut
}.-,
(^B,
A-1- ix)
it8
CIIAI'ITRK V.
ri
On
videiniiienl
4>(x
i/i
i.
i
A
(
.r
.>
),
j)
jr
h-'
pai- suite,
5,
sj
Ton
ein|)loie le |)roc(l
sonimatnire de Riemanii,
(|iian(l
s et
on
o
;
a:'
'
./
),"
.r
on supposera dornavant ces conditions /cn//>hcs. Si lOn emploie le j)roc(l fie somiiialion ordinaire, on
conduit
a'
est
considrer
la
ditlrence
des
sommes des
//
premiers
termes de
^tn{
/
Ml
-h
*(/;)!
A(nJ
rtt^
r -
df.
/
Posons
I
p,
./
u,
et
dsignons
les
(/l
-I-
"
C SUl -
u COSfC - u
^lll
.,
U
(
-2 /<
("OS
/m
oos
u Cdsec - u
^
(m
-h
siii ////
<
p sin -
u cosi
sin
nu
\
'
col -A
' \
ici,
on
que
les (piantils
ltorn(''es
jusqu'
Tordre
pour
les
trois
premires quantits,
et jus(|u' Tordie o,
pour
les
deux dernires,
4, ciu
sKiiiKs
TUKioNoMKrmui
i:s
(.Il
i:i,(:o\gi i:s.
119
|)reini<-rc
Vlors
l;i
<[uan-
est
;jlo
donl
il
<lu
;j.,,
nules
mro deux
est
|)r('-('('(lenl.
deux
siii\ ailles
'}..
sont
des foii(lion>
Si
l'intil
l'aide
de rt;alit predente,
Imites vers zro:
\idenl
(|ue
ee>
<iii(|
luLi'grales len<lciil
les
(
la
|)reniire
cause de (Cl,
deu\
).
deux dernires
ce par
naire
(
cause de
De
sorte (jue
le
.y,
mme quand on
emploie
').
/( t) -^
^^{\^^'^xi
est
Ki
^'
01,
la srie
de Fourier de f
/
certainement eonverinente
et
1
que
sa
somme, quand
correspondant
,r.
iiale -^.K-j.
Comme
les
lonelions
1'^ /
el*I>(/)
K,/
K2r-)A(^),
ou peut crire
t
(1)1
n-^l-
liai
.'
/
=1
Kl Ko
^
'
<^
)(n
dl-
1.
^-dt^xY^i.
l
sin
Vax (ai>aul
le
dans (Di
K = o.
esl
:>~.
K|
= (m)
1^-= ^'
1
et
f^'i
ntilisanl
:
rsultat
prcdent, on
.c
comluit
'lA t
Soil
<;
<C
V>
-r
el
\,
A;
X(B
la
X'(A)
B;
<>,
lix)
H- A,
1,
'(j7;
"i .r)
o;
alors
diffrence entre
A,,
A (voir
le
n" o9)
(')
l^i)
ulilisaiU,
la
|nir
cxrinplf.
l"int<-'j;i-.ilii)ii
[);ir
pallies,
(
il
esl possible de ne
56 sei'vir. ilans
coiiiiiio
rurmiilc
\)
i\\\'(>n
peut considrer
l'as,
une
coiisi|ueiice
imindiale de
2'.
Mais, dans
tous les
les
dill-
rentes intgrales que l'on rencontre ne peuvent tre traites toutes de la mme manire: aussi, en ce qui concerne cette partie du Mmoire de Ricmann. les
I20
CHAPITRK
V,
et
\~
F(
.K
d-ycit-
si
n -^ \)
x
t
\n^(x
tend vers zro quand n crot ind/ininient ('). Rieuiann remai'qiie que, si Ton inoditie /' en dehors de (A, B). on ne niodifie en rien la convergence ou la diveri;ence, au sens ordinaire, de la srie trigonomtrique (|ui reprsente /quand on lui applique le procd de Riemann. En etlet, une telle anKlification ne peut avoir pour rsultat que d'ajouter F une fonction linaire, d'aprs le thorme de Schvvarz n" () dmontr postrieurement aux recherches de Riemann. et celte fonction d aprs (D) n'a aucune influence sur la convergence ou la divergence. C est par ce raisonnement que Riemann dmontra que la co/n'ergence au sens ordinaire, de la srie t/-i<;ononitri(/ue, qui reprsente une fonction f quand on lui applique le procd de Riemann^ ne dpend que de la faon dont se comporte f au voisinage du point considr. Cet nonc n'est pas entirement quivalent celui du
(
)
n- 34.
Il
le
thorme de Schwarz
par suite,
du n" o7
thorme de du Bois-Reymond
(
iju
-).
On
lira
plus
Tiiorme de Heine-Cantor.
le
i^c
procd de sommation
que
A
-<
a;
est
si.
suprieur
les
>-.
On
vrifiera
facilement que
(in
exact
autres
-i- 2 t:
conditions
tant
remplies,
ait
remplaait
condition
j;
A
(
<
B^ A
par
la
condition qu'il y
dans
piuii- t
=
(
.f
par
la
ait
= a"(/) pour toute valeur de ^. B) congrue k x sauf pour pour laquelle il faut que l'on ait /( / = i, a < ) = a" { t) = o. (-) Au paragraphe Vlldu .Mmoire de Bieniann on lit Si lescoefficients a et 6 tendent vers zro pour n croissant l'infini, les termes de la srie il [celle qui, peut-tre, reprsente /(.r)] finiront par devenir infiniment petits, quel que soit a;; sinon, ils ne pourront le devenir que dans des valeurs particulires de . C'est le thorme du n 57. Quant au thorme de du Bois-Reymond, il est admis, mais moins nettement, la fin du paragraphe III et dans le paragraphe X.
a(^)
a'(/)
()
l'une d'elles
SltlKS
TUIl.ONO.Ml'.TIlIQLKS
}^(';nral
QT KLCONy LKS.
le
121
que
faul
satisfasse
la
coudilioii
(5).
du n" o9. Et
est
alois,
d"a|)is le
la
i^''nralise,
entirement dHermine
adflitive prs.
la
(^uand
d(''l('iiiiiiir'c.
srie
trij4()iiinii<'lii(|uc
somme
le
:
Donc
geriLe (')
Ce thorme
de Crelle,
(^esl M.
<i.
t.
d(''moiitr(''
(mi
loiit d aliord
71); mais
thorme du n" o7
I
>aiilor
l'-noiuM-
en
mme
.Ius(prici
temps que des noncs plus i;nraux. on a suppos la s('rie partout (M)u\ criicnte
et ('^ale /:
!
adiiiettoii> (pi
autre de
deux hypothses ne soit plus remplie. ]/. G. Cantor a nionlr que le thorme est encore exact lorsque 1^ ensemble des points
ces
n" 7).
en ces points
ne contenant
|)as
de points exceptionnels,
fonction F(/)
th(''orme
corrcs|)()iidant cette
aj)r('s le
de M. Schwarz. Soit
F|7)= K
on
a
-h K,
^:
aprs
{t)-=K'
-r-
-\-)\\t.
F tant continue,
k-h K,A = k
Mais, d'aprs
le
k'i
A.
F(
^ In^
F(
//
-iVyh
K,
-k,
(')
Ou
iii(iiiie
seulement
coeflicieiils leiuianl
vci-.s
le
procd de Hiemanii.
I2'2
CHAPITRE
//
;
V.
donc
,
K
Par suite,
s'il
K,
K',.
n y a
qii
un nombre
lini
de points exceptionnels
|muie fonction linaire,
dans (o,
le
2tc),
la
thorme
est
dmontr.
S'il y a un nombre infini de poiuts exceptionnels, noire raisonnement montre (jue P{t) ne peut changer de t'orjue (|u"au\ points
Mais on peut
lait
(
refaire,
Toccasion d'un
voit ainsi
le
raisonnement
exact
si,
pour A,
'Tt), le a
et l'on
que
le
thorme
est
dans
(>,
premier driv de
fini
qu un nomhre
de
On
gnral de
M. Cantor.
B!2.
Il
a (|u
une
est
srie
de Fourier de J quand cette srie est convergente et reles autres cas n y a-l-il |)as une srie trigola
s'iie
de Fourier de
/,
<|ui
ie|)rsente la
MM.
ngativement
ne fera que
Si
la
cette question
:
' (
).
Ici
on
seule hypothse
/est liorne
s(''rle
).
est
liigonoiutrique,
c'est
(juelle est
mesurable
soma t
mable
il
dit, la srie
reprsentant
On
nous
savf)ns (luc
csl
borne
ii"
11),
donc (n" i^
on peut
{') DiNJ.
matica,
Asnoi.r, Annali di de Fourier, Pisr, 187). or Bois-Keymom>, Abhand. der bayer. At.ad.. (-) Lebesgui, Annales de l'Ecole Aorniale, ujoo.
Sopru
La srie
Matet.
t.
VI, 1873.
V.
\II.
SKHIKS THKiONMMKTItlOl
inlf'jiroi-
i:8
(JlKl-CONOl KS.
l-",
^3
sous
le sij;ne
liiii
appelons
a
cl
1'.^
deux fondions
|)niniti\es successives
de
l'\
ou
lini
A
iiiii
//
'
F.,
i
[X)
1-
F.J
A-
<
,
^o
dt
ou.
|)iiis(|ue
f'sl
l;i
dc-rive
seconde de
"'*'"'
l-'j,
F{j-)Vio)
La limite
T lim
/(
dt dh.
(|iii
>iil)sisle
(;.\isle
hien puiscjne
Ton
F(^)
<-^(i
/(
t/ii
)dt dH
-r-
Ax
la
B.
Connaissant
la
F(x ou
pourrail a|)|li(|ucr
:
m/'lliode
du u" o9
recherclie de
la srie trii;onoin(''lii(jue
les
mmes
nolations,
^ (ce)
de
la
forme
/-'
<|.(
X)
r"^
/
/(
dt dO
J-2
a./-
d o, pnisfiue
' '
-- et
/i-
|\icm.'
temie
de
la si'ie
de lourier de
/
(I
es n
./
^^^
2 A,,
Cl
^ii\
n.r dt dh d.r
>,
A,-
ua
iul<'-^ralions.
),
cetjue permci
considration des
inlj;i'ales lri|)les
n" 10
en
efl'ectuanl
/.
daljord
a
les inliiratifjus
en
.r.
puis celles eu
H et
enfin celles en
on
a,i=
-_
/'(
cv<
fit
dt
?.
-~l
:>.
> t^ilt
^
"
*
b,i
=^
^
"
r"
I u
/ j
sui
/it
dt
-17.
f{t)^l-
t)dt\
J
124
CHAl'ITltE V.
Pour que a
et
/>
il
faut vi:
demment que
si
une fonction borne f est dveioppable en srie trigonomtrique convergente celle srie est Ici srie de Foarier de f. Si Ion admettait qu'il y ait des points exceptionnels en lesquels
la le
reprsentation par
la srie
raisonnement prcdent
la
additive prs,
raisonneuient du
numro
la
pr-
mme
dans ce cas,
thorme prcdent
est
encore exact.
()'^. Exemple de srie trigonomtrique partout convergente qui n'est pas une srie de Fourier. Nous avons d supposer, dans le numro prcdent, que /"est boi'ne le thorme s'tend cependant au cas o /' est sommable et ne devient infini qu'au
On
peut
mme
d-
montrer que,
si
certaines fonctions
tables analytiquement,
Fourier gnralises
cdent.
n" 19).
mon Mmoire,
c'est
les
cit
la
au numro pr-
Ce
qu'il
importe de remarquer,
que
question pose
compltement pour
de \oir que,
si
fonctions
non bornes.
il
Il
l'on conserve
(
Fourier
le
n"
existe des
En
\oici
un
n" o3
que.
et
.
srie
7 ^
Donc,
r\
tait
1
'
con\eri;ente
mme
nous a\ons
'
calcule sa valeur.
II-
la
srie
i\nnx V^ . n 7
est
Fourier;
elle est
()i.
et
Thorme sur la multiplication des sries de Fourier. Supposons /'continue, auquel cas F a une drive premire F' une drive seconde F" 1= /. Soit ). la fonction qui figure dans
si;rui;s
tiu(.on<>M!:
moi
i;s
oi i;i.<:i)\ni
i;s.
I.i5
rc'nOIKH'
(1(1
11" ()(l.
(i(lllllU'
itH H
F(x
-i-
xl()(x)
liin
\i.r
xh)
ih
-,
.
I
lixih)
i/i
,,
1^
A-X
(
:r
y-TT,
1
>
h-
il
en
rstille
,~rT-
A -^ 2 F
-+-
l'
a".
une drive,
sa srie
de
l'
Odiier est
sait
que
la srie ol)teniie
eu dii\ant
d(uix fois
la
eu
de F,
e Cst--dirc;
les
en
m(''iiie
lemps
S(''rie
de Fourier de
\ergent en
remplies.
C'est
l
/".
Par suite,
sries de
les
Fourier de
Cl
/,
con-
mme
temps au point x,
trs particulier:
cpi
il
un noucM'
cpiii
'x
ai
tenu
rin(li(pier
en ter-
minant parce
fonctions
A.
montre
FIN.
Paie,.
Prf.vcr
Index
Introduction.
1
.
vu
2.
3. 4.
a
:
Fonctions monotones
Fonctions
conditions de Diiiclilet
variation ijorne
5.
Nombres
drivs
<le
M. Schwarz
5
^
y
lo
i >
10.
11
.
1"2.
13.
Thorme sur l'intgration des sries Thorme giu-ral sur les fonctions sommables
I.
i5
Chapitre
Dtekmination des coefficients des sries trigono.meTRKJUES REPRESENTANT INK FONCTION DONNE
1"
14.
17
15.
Comment
fut pos le
problme de
la
16.
17.
18.
traire par une srie trigonomtrique. Formules d'Euler et Fourier Formules d'interpolation Mthode de Fourier
19
22
iS
a'j
19.
Sries de Fourier
jo
Chapitre U.
I.
Thorie
33
Sommation de
trigonointriijues
33
33
20. 21.
Gnralits
33 35
TAHI.K
l)i;s
JIATIKKKS.
127
l'asos
II.
Elude
lineiitaire
la
de la co/wers^ence
3<)
'23.
Principe de
mthode
36
.{7
24.
2.5.
2li.
Dlerminalion d'une fonclion par sa srie de Pourier Transformation d'Abcl. 'riiornic de la moyenne Conditions di- convergence d'une srie trigonomlrique
38
4-f
s-rii-
de Kourier
^5
^f
Cas
III.
lie
l-'ourier
Applicalions
approclic des fonctions continues
^8
4*^
2f).
Kc|jr(;sfiitalioii
3U.
31
.
Principe de Diriclilet
Intgrale de Poisson
4y
5i
.x3
32.
Chaimiki:
I.
III.
Si:iui:s
55
55 55
34.
35. 36.
Thormes de Riema nn Les deux espces de conditions de convergence Transformations des con litions de comergence
5y
ir>
(i3
<J6
srie de Kourier
'17
70
71
Applications diverses
74
74
42.
43.
78
80
CnAi'irni;
I\'.
84
{$4
I.
44.
srie de l''ourier ne
converge pas
4
45.
4G.
47.
Remarques sur la convergence des sries de Fouritr \utre exemple de srie de Fourier divergente
Existence de fonctions continues reprsentables par leurs sries de Fourier
86 87
88
II.
Sommation
89
Sy 90
ga
gfJ
48.
Procd de Poisson 49. Procd de Riemann 50. Procd de M. Fejr 51 Nature de la divergence des sries de Fourier
.
I2S
Oprations sur
les
sries
de Fourier
98 98
102
52. Mulliplication
53. 54.
Inlsialion
Drivation
IV.
io3
Applications gomtriques
io5
55. 56.
io5
107
Ch.VPITRE V.
110 110
111
59. 60.
61
.
Geoig Canlor Thorme fondamental de Rieinann Condition ncessaire et suffisante dmontre par Rieinann Retour au procd de sommation ordinaire
Tliorme de Heine-Cantor Tliorme de Paul du Bois-Rejriiond
ii3 117
120
122
6'2.
63.
Exemple de
srie
Thorme sur
la
KIN
[)K
L\ TVItLE
IlES
MAIIEHES.
BINDING SECT.
SEP 1? 1971
QA
U2
Physical
&
Sci.
Appiied
PLEASE
DO NOT REMOVE
FROM
THIS
CARDS OR
SLIPS
UNIVERSITY
OF TORONTO
LIBRARY