Passant à la détermination de la dérivée
nous ferons observer qne, comme nous l'avons dit, c'est une propriété c polynômes que nous considérons d'avoir une dérivée première qui ne c pas de signe entre x=:: — 1 eta; = -i-l; donc non-seulement toutes les racines de l'équation
comprises entre les limites
doivent être multiples, mais le degré de leur multiplicité doit s'exprimer en nombres pairs.
Or, désignons par
«1, aj, «„
toutes les racines de l'équation
supérieures à — 1 et inférieures à h- 1, par
les degrés de multiplicité de ces racines, et supposons, comme cela est permis, que l'équation
ait >, racines égales à -i- 1, et >.o racines égales à — 1 ; nous allons prouver que la somme
qui représente ie nombre des racines de l'équation
F'{x) = 0, ne dépassant pas les limites
ne saurait être inférieure à « — 1, ou au degré de cette équation.
Pour nous en convaincre, admettons le contraire, c'est-à-dire posons
(2) X-i-XD-i-2Xj-i-2Xa-H -i-2X„<w — 1,
et prouvons que d'ans cette hypothèse il est toujours possible de faire varier le polynôme F(x) sans déranger ni sa forme, ni le signe de sa dérivée F'{x) entre les limites x = — leta: = -t-l, mais de manière à diminuer la valeur de l'intégrale
iJr"W
dx.
qui détermine la limite de l'écart entre le polynôme cherché et zéro.
Pour le faire voir, nous observerons que, d'après ce que nous venons de dire, l'équation
F'ix) = 0, et la suivante
{x~lf(x-t-lf'{x — aX' {x — o>X' (a; — «J'^™=0
auront, entre les valeurs limites x = — 1 et a; = -t- 1, les mêmes racines et avec les mêmes degrés de multiplicité, et, par suite, le rapport
ne changera pas de signe entre x = — letiCir:;-i-let sera compris entre deux quantités distinctes de zéro. Désignons par L^ la plus petite de ces quantités en valeur numérique, et remarquons que la différence
■ — Lu
pour toutes les valeurs de x inférieures à -+- 1 et supérieures à — 1 , aura le même signe que le rapport
F'jx)
et qu'elle lui sera inférieure par sa valeur numérique. La même chose, évidemment, aura lieu pour les expressions
F'ix) — L^ {x—lf (x-f-lf' (ic— «if ■ (a:~aX^ {a^ — «X",
qu'on déduit des précédentes en les multipliant par
(x — !)*■ (x -+- 1)'° {x — iXjf^' (x — oc^''. . . . {x — a,„/^'"*
d'où il est clair qu'en soustrayant de F'{x) Te
nous ne cessons pas de satisfaire à la conditiou de conserver le même signe à ^{x) entre les limites x = ± \\ mais nous diminuons par là la valeur absolue de l'intégrale
qui détermine la limite de l'écart entre le polynôme cherché et zéro. Quant à la forme du polynôme
après avoir fait subir à F'{x) la transformation ci-dessus indiquée, elle restera la même, car, d'après l'inégalité (2), l'expression
L^ix —\f{x-i-\ f" (x — oc^f^'' (x —«,T-....{x~ xX«
ne contiendra pas de puissances de x, supérieures tout au plus an — 2,
Nous voyons ainsi qu'en admettant la possibilité de l'inégalité (2) on peut rendre le polynôme F(x) plus approché de zéro, en lui conserva.nt, conformément aux conditions de la question, la forme
et sans faire varier le signe de sa dérivée première entre les limites a; = — 1 et « = -I- 1.
Or cette conclusion est absurde, puisque, par hypothèse, le polynôme en question est celui qui diffère le moins possible de zéro, entre les limites X = — 1 eta;=:-i-l.
En observant que cette inégalité, dont le côté gauche est le nombre des racines de l'équation
comprises entre les limites x = — 1 et 3: = -i- 1 , et la partie droite le degré n — 1 de cette équation, ne peut avoir lieu, non plus, avec un signe d'inégalité contraire au premier, nous sommes conduits à admettre l'égalité
d'où il résulte que toutes les n — 1 racines de réquation
F'ix) = 0
lui serout communes avec l'équatioa
(x—lf(x-i-lf'ix~-(y.-^f''{x — u;f'^ (x — aJ^^-^^O,
et qu'ainsi l'on a
où G est un facteur constant.
Pour trouver la valeur de ce facteur, nous observons que, le polynôme cherché étant de la forme
x'* -i- Ajx"^^ -t- A^x"''^-i- . . . .-^-A^^x-t-A^,
sa dérivée sera
F'ix) = ïiic""' H- (n — 1) A^ x^~^ -f- (n — 2) A^ a;"~^ -m- . . . -+- -4„, s
ce quij étant comparé à l'expression ci-dessus de F'{x), nous donne
Par conséquent, F'(x) peut être représentée par la formule que voici:
F'(x) = nix—l)'-ix-i-lf'(x~x,f'{x~o^^f-^ (x—o'.J''''"'.
Si maintenant on désigne par
es quotien ts, et par
?, Po
les restes qu'on obtient en divisant les exposants
par 2, cette égalité pourra être mise sous !a forme F\x)=n{x—iy{X'^iy'>[(x~rf(x-t-\y'{x — ci;f'(x^a.f\...(x—cLj^'«J,
ou bien
(3) F'ix) = nix— If (x ^ rp . U%
U étant un polynôme donné par la formule
{x— \)'<{x-^ Vf'ix — a^t'ix — oL^)^^ (3î — aj'™ = V.
4. Les nombres p et p,, de la formule (3) étant les restes de la division de X et \ par 2, ils ne peuvent avoir que les valeurs
et il est très-aisé de voir, dans cliaque cas particulier, d'après la forme du nombre n, degré du polynôme cherché t [x), et d'après le signe de sa dérivée première F\x), entre x^ — 1 etic = -i-l, lequel de ces deux nombres doit être adopté pour p et po dans l'expression de F'{x) par la formule (3)
F'(x) = n{x— If [X -t- 1)P° XJ^.
En effet, si n, degré du polynôme
est un nombre impair, sa dérivée F'{x} sera de degré pair, et dans ce cas l'égalité (3), où U^ est aussi une fonction de degré pair, indique que le facteur
ix-inx-*-ir
doit aussi être une fonction de degré pair; mais comme il n'est possible de satisfah'e à cette condition, ni dans l'hypothèse de
P^O et po = l, ni dans celle de
p ^ I et po = 0,
on est forcé d'admettre que, dans ce cas, on aura on
ç, = 0 et pfi = 0, ou bien
p = 1 et p^ = 1.
Pour décider leqnel de ces deux systèmes de valeurs de p et p^ doit être adopté, nous observerons que le premier nous donne, d'après la formule (3), l'expression
et qu'ainsi, la variable x demeurant comprise entre — 1 et -h 1, dans le premier cas, F'{x) aura une valeur positive, et que, dans le second cas, elle aura nue valeur négative. De cette façon, il est clair que les valeurs
p = 0 et po = 0
doivent être adoptées dans le cas, où F{x) sera une fonction constamment croissante entre les limites a; = — 1 et a; ^ -*- 1, et les valeurs
p = 1 et Pj^ ^ 1 ,
dans le cas, où F{x) sera une fonction constamment décroisante.
Passant à la considération du cas où n est pair, nous observerons que, dans cette hypothèse, le degré de la dérivée première de F{x) sera impair, et, par suite, pour satisfaire à l'égalité (3), nous devons assignei' à p et p,, les valeurs que voici : ou bien
P = 0, p„=l, ou vice versa
Or, comme pour ces valeurs de p et p^ la formule (3) devient respectivement
F'{!c)=niX'^l)U^ F'{x) = n{x~l)U^,
et que la première de ces deux expression reste constamment positive depuis <c = — 1 jusqu'à a; ^ H- 1, et la seconde constamment négative pour les mêmes valeurs de a^, nous concluons que, dans le cas de n pair, on a
û = 0 et po = 1 '
si F{x) est un polynôme toujours croissant, depuis x = — 1 jusqu'à a; = -+-l, et
p =::: 1 et po = 0,
. quand F{x) décroîtra constamment entre les mêmes limites.
5, Pour déterminer le polynôme U, qui figure dans l'expression ci-dessus de F'{x)j nous ferons remarquer que, d'après le n" 3, ce polynôme est un produit de la forme
{x~l)'i{X'+-l)'''ix — af'{x — a/^ (x — aj''»;
par conséquent, il a toujours la forme
U= é -+- Bfl~' -H B^é~~^ -+- -•- B^^x -+- B,,
et la valeur du degré l s'obtient à l'aido de l'égalité (3), qui donne, eutre
les exposants, la relation
(4) w— l=:p-f^Po-+-2?,
D'un autre côté nous savons, par le n" 3, que la limite de l'écart entre zéro et le polynôme cherché F{x), depuis x =• — ■ 1 jusqu'à a; ^ -i- 1, est égale à la valeur numérique de l'intégrale
mais cette intégrale (3) se réduit à
si l'on y met pour F'(x) son expression (3), et la valeur numérique de cette dernière intégrale est évidemment
fJ{l-Hxy
■[l~xfU^dx.
Donc, en désignant par L la limite de l'écart entre zéro et le polynôme cherché F{x), nous aurons
iP^
(ô) i = ^ (1 -I- xf (1 — x'f V dx.
Ainsi, pour diminuer, autant que possible, la quantité L, sans changer toutefois les conditions de la question, nous aurons à déterminer le polynôme V de façon à rendre minimum l'intégrale
j{i~^^ni~
- xf U^ âx.
Il est facile d'y parvenir à l'aide des fouctions To, ^1, 2;, .... 7^, .... , qu'on obtient en développant l'cspressioû
Vl — 2sx -+- s=
en une série de la forme
%~t-TyS -i- T^s^ -i- .... -i- T^s' -i- ... .
En effet, on sait que ces fonctions sont de degrés 0, 1, 2,..., l,..., et qu'en général pour tout m distinct de m^ elles satisfont à l'équation
de plus, il résulte, de ce que nous avons établi dans notre Mémoire Sur les fractions continues*), que l'intégrale
Z étant de la forme
acquiert une valeur minimum lorsque le polynôme Z ne diffère de la fonction Tj que par un facteur constant. Nous en concluons donc que le polynôme
U= x' -t- BiX^~' -i- B^x'~^ -h- .... H-5;,a;-HJSj,
qui correspond à la valeur minimum de l'intégrale
Ul-i-xf'il—xyr/^dx,
sera donné par la formule
U^ G. T^, en faisant
•) T. I, pag. 203-230.
dans l'expression de la fonctioû T^, qui nous est fourme par le développemeut en série
îi -t- T,s -i~ T^s^ -^ -+- Jjs' -H
de l'expression
(l -f- g -t- /l — 2sx -4-"^)'' (l — s-^-rl — 2sx-^- s'^}^
Désignant par
ri.
le coefficient de x dans la fonction
et remarquant que cette puissance de x doit figurer dans le polynôme U avec
un coefficient égal à l'unité, nous en concluons que l'expression que nous venons de trouver pour U entraîne l'égalité
et, par suite, le polynôme U est complètement déterminé par l'équation (6) U=^J„
OÙ, comme nous venons de le dire, la fonction Tj s'obtient eu développant l'expression
Vl — 2sx -t- «î
Or, comme ce développement peut être représenté par l'égaUté que voici:
(l -^ a -K yr— 2sic -I- 6^)-P° (i — s -t- yi — 2sj! -^ si)-P V y gW Vl — 2sa: -I- «2 0 '" '
en désignant par
les coefficients de
dans la fonction T^ pour une valeur quelconque de m, nous aurons
(l-i-s-t-yi — 2sic-i-sO~''° (l — g-t-/l— 2sa;-<-a^)~P
quelles que soient les valeurs de s et x. Donc, si l'on pose
et si l'on fait ensuite
l'égalité ci-dessus se réduit à la formule
(i-hV*! — 2a)~P~''°__ Vl — 21.
Cette formule nous montre que li, , coefficieut de x daus la fouction Tp sera identique au coefficient de a' dans le développement en série de l'expression
Mais comme ou sait, par ce que nous avons dit dans le n" 4 sur les nombres pp et p, la somme p-i-po ne peut être que zéro, 1 ou 2; l'expression
pour ces valeurs, peut être développée en séries
JL 1-^ 1-8-5 s 1.3,5... .(2; -<-l) l
par suite, le coefficient K^ , selon que l'on pose
aura les trois valeurs que voici:
" 2 1.2.3 (i-Hl) ;-i-2
6. D'après toutes les recherches précédeutes, il sera aisé de trouver, dans chaque cas particulier, un polynôme F{x) de la forme
qui, tout en restant toujours croissant ou décroissant depuis x ■= — 1 jusqu'à a; :=: -4- 1 , diffère le moins possihle de zéro entre ces mêmes limites. Nous commencerons par déterminer les nombres p et pp en observant que, d'après le n" 4, ou a, n étant impair,
ou bieu
selon que le polynôme cherché croîtra ou décroîtra constamment entre les limites X =^ — leta;=-i- 1, et que, dans le cas de n pair, ces mêmes nombres seront
P = 0, Po=l, ou bien
selon que le polynôme cherché sera constamment croissant ou constamment décroissant pour toutes les valeurs de x depuis x = — 1 jusqu'à œ = -h 1, Connaissant p et p^, nous trouvons, à l'aide de l'équation (4),
puis nous cherchons la valeur de la fonction Tj, coefficient de s' dans le c veloppemeot de l'expression
»-yi — 2sa;-HS^)^P° (l ■
/l — 2sa;-i-sS
selon les puissances ascendantes de s, et la valeur du coefâcient 2if„ par la
formule (7). Les valeurs de T^ et de K^ étant connues, à l'aide des équations (3) et (6), dont on élimine la fonction V, nous déterminons 'B'{x), dérivée du polynôme cherché,
mettant cette valeur à la place de F'{x) dans l'équation (1), nous obtenons enfin, pour l'expression du polynôme cherché, la formule que voici:
S'A {<»—iy{x-i-iy"Tldx-~\\{x—\y{x-\-VfTldx\.
Nous trouverons ainsi le polynôme cherché, qui, jouissant de la propriété de croître ou de décroître constamment depuis x = — \ jusqu'à X ^ ~i- \, différera de zéro moins que tous les autres polynômes de la même forme.
Maintenant, pour calculer la valeur de L, limite des écarts de ce polynôme, nous observerons que la formule (5), en y mettant l'expression de Î7 tirée de l'équation {6), nous donne
i\-\-xf'(\ —xyTldx,
ou bien, en mettant pour n sa valeur tirée de l'équation (4), c'est-à-dire la somme 2^ -t- p ^- p^ -i- 1,
^'{l~xf I^dx.
Nous observerons ensuite que, d'après ce que nous avons établi, dans notre Mémoire Sur les fonctions semUailes aux fondions de Legcndre *), sur la réduction de l'intégrale
dx
{l-t-X)>'[l—xf
à l'intégrale
|l^ (1 — stx^} '
la valeur de rintégrale
qui entre dans l'expression de L, sera le coefficient de (sff dans le développement de la formule intégrale
- dx
'<• (1 — six-')
suivant les puissances ascendantes de st. Or, comme cette intégrale devient
et
— 2^jlog(l— s^, pour p = 0 et Po=l
de même que pour p ^ 1 et pg = 0, et que ces trois expressions se développent en trois séries que voici:
2—1 st-t-^{sff-i-. . . . — ^^(sO'-H. . . .,
âXâ ~*~ OTS ^^ '^ 27477 *^^^^ -I- .... -H 2 (i ^ 2) (2; ^ g) (^0 "+- i
les valeurs de l'intégrale
(l-i-:i;)»(l —xyl^dx
seront pour les trois systèmes de valeurs de g et p^ que nous venons de mentionner,
En mettant ces valeurs dans l'expression de £ à la place de l'intégrale
{l-h^xf'il—xy Tf^dx
qui y figure, et eu remplaçant Kf par ses valeurs tirées des équations (7), nous obtenons pour la valeur de L les trois expressions que voici:
,(2i-l-l)j 'i-Hl'
correspondantes aux trois hypotlièses sur les valeurs de p et de po p = 0, p„ = 0, p=l, Po=l, p c= 0, Po=l7 ou bien p=:l, Po=0;
mais, d'après (8), ces trois systèmes d'hypothèses sur les valeurs de p et Çg nous donnent
;=!Lzii, ^^^^ l.^"-^,
et par suite les expressions ci-dessus de L se réduisent à
^— Vl.8-5....(«-2)/''
Les deux premières de ces expressions de L obtenues dans les hypothèses
p = 0, po = 0,
et se rapportant toutes deux, d'après le d" 6, au cas de n impair, peuvent être remplacées par une seule formule
qui se réduit à la première ou à la seconde, selon que dans w riz 1 on prend le signe -i- ou le signe — . Or, comme la première des trois expressions ci-dessus de X correspond à l'hypothèse
p = 0, po=0,
c'est-à-dire (d'après le n" 5) au cas, où le polynôme cherché ne cesse de croître entre les limites de a; = — 1 et a; =; -f- 1, et que la seconde de ces expressions a été ohtenue dans l'hypothèse de
c'est-à-dire en admettant que le polynôme cherché décroit constamment entre les limites de a: ^ — 1 et a; =: -i- 1, nous concluons que l'on doit garder, dans la formule
le signe -+- ou le signe — , selon que le polynôme cherché ne cesse de croître ou de décroître entre les limites a; = — let3; = -i-l, bien entendu dans le cas où n, le degré de ce polynôme, est un nombre impair.
Quant à la détermination de L dans les cas de n pair, la valeur est donnée par la troisième expression de L, à savoir:
car elle a été obtenue en faisant ou bien
