[ Table des matires]

Le problme de Sturm-Liouville
par Richard Antetomaso
Les quations diffrentielles (et aux drives partielles) fournissent des modles particulirement adapts aux phnomnes physiques et cela de plusieurs manires. Si, par son importance en mcanique, le premier modle est certainement le problme de Cauchy , le second est le problme de Sturm-Liouville ou aux limites auquel conduit, par exemple, la rsolution de certaines quations aux drives partielles. Ltude du problme aux limites prsente, outre son intrt purement mathmatique, plusieurs aspects importants. Noublions pas en effet que cest un des sujets historiquement lorigine de l analyse fonctionnelle, laquelle il peut dailleurs servir dintroduction et auquel les noms des plus grands mathmaticiens sont attachs. Il faut aussi remarquer, et cest la raison dtre de cette note, la diversit des points de vue ncessaires cette tude et celle de ses applications qui en feront un excellent thme aborder dans le cadre venir (esprons-le) des Travaux dInitiative Personnelle Encadrs. Il reste prciser que presque rien du matriel ici prsent nest original. Le seul avantage de cette note est dtre une synthse dun sujet que lon ne trouve, dordinaire, que comme application des premiers rsultats de lanalyse fonctionnelle (cf, par exemple, [1]). 1.Les donnes du problme Pour a, b, c, d rels fixs tels que ad - bc = 0, Q : [0 , 1] R une application continue fixe, et, pour toute application continue f : [0 , 1] C, on tudie le problme de Sturm-Liouville :

(les conditions en 0 et 1 sappellent conditions aux limites .) cet effet on introduit : les espaces vectoriels E = { f : [0 , 1] C continue } et E2 le sous-espace de E constitu des applications f de classe C2 telles que af (0) + bf (0) = 0 et cf (1) + bf (1) = 0, et loprateur D : E2 E dfini par :

Les espaces E et E2 sont munis du produit scalaire < , > dfini par :

et des normes standards 2 et . On utilisera le mot unitaire pour dsigner un lment f abondament lingalit : f E, f 2 f . 2.tude de loprateur diffrentiel D E tel que f 2 = 1 et on utilisera

Gnralisant le cas des endomorphismes on appellera fonction propre de de D toute application g E2 non nulle telle quil existe C vrifiant x, D( g)(x) = g( x). Un tel nombre complexe, videmment unique, sappellera valeur propre associe g. Une valeur propre est une valeur propre associe au moins une fonction propre (non nulle). Lespace propre associ la valeur propre est { g E2 D( g) = g}. 2.1.Valeurs et fonctions propres de D Thorme 1 : D est hermitien. Ses valeurs propres sont relles et ses espaces propres sont de dimension 1 deux deux orthogonaux. Caractre hermitien : N.B : Comme D nest pas un endomorphisme il faut prendre le mot hermitien dans un sens gnralis. Il sagit videmment de la proprit : ( f,g) E2, < D ( f ) ,g > = < f,D ( g) > . E2 on a :

Elle se vrifie par intgration par parties. Pour f,g

Lintgrale est clairement une forme sesquilinaire hermitienne ; le crochet dintgration en est une aussi, par exemple si ac = 0 il vaut - baf (0)g(0) + dcf (1)g(1). lments propres de D : Comme D est hermitien on voit que toute valeur propre est relle car si f est propre associe on a : f = < f, D( f ) > = < D( f ) ,f > = f donc = . Soient 1 , 2 deux valeurs propres distinctes associes respectivement aux fonctions propres g1 et g2 . On a : 2 < g1 , g2 > = < g1,D( g2) > = < D( g1) ,g 2 > = 1 < g1,g 2 > = 1 < g1,g 2 > donc < g1 , g2 > = 0. Enfin lespace propre associ une valeur propre est lensemble des solutions du problme aux limites :

Comme - Q est une fonction continue sur [0 , 1] le thorme de Cauchy relatif aux quations diffrentielles linaires montre que lespace des solutions de (1) y + ( - Q ) y = 0 est de dimension deux et que y ( y(0),y (0)) C2 est un isomorphisme. On voit donc que lespace propre associ est de dimension un ou deux et que sil tait de dimension deux toute solution y de (1) vrifierait ay(0) + by(0) = 0 : cest impossible car la condition ad - bc = 0 impose ( a,b ) = (0 , 0). 2.2.Lensemble des valeurs propres de D est minor Thorme 2 : Lensemble des valeurs propres de D est minor. En particulier il existe une constante C telle que D + CId soit injectif. Commenons par tablir le Lemme : Pour u, v classe C1 R+ , il existe une constante M telle que pour toute fonction y relle de

sur [0 , 1] on ait :

Preuve : Pour x

[0 , 1] on a, en vertu dingalits bien connues :

o A est un rel positif quelconque que lon prendra tel que uA 12. En intgrant la relation y2(1) y2( x) + A y2( t ) d t + 1A y2( t ) d t par rapport x on a :

Symtriquement on a :

o A est positif a priori quelconque mais que lon prend tel que vA 12. En sommant les deux ingalits on a le rsultat anonc. Preuve du thorme 2 : Considrons R et y tels que D( y) = y. Quitte remplacer y par sa partie relle ou imaginaire, qui vrifie la mme quation, on peut supposer y relle. On a alors par intgration par parties

Cette dernire galit peut, grce aux conditions aux limites, scrire :

Appliquons le lemme avec u = | |, v = | | et considrons la constante M quil fournit. Si < - Q - M - 1 la relation (*) et le lemme donnent :

donc on a : y2( t ) d t = 0 soit y = 0 et donc ne peut tre valeur propre. N.B : Dans les parties II, III, IV, V nous supposerons que D est injectif, quitte le remplacer par D + Cte . Partie II. Oprateur intgral associ 2.3.Construction de la fonction de Green Considrons 1 la solution du problme de Cauchy

et 2 celle de

Ce sont des solutions non nulles de - y + Qy = 0 et mme { 1, 2} est une base de solutions car si u 1 = v 2 on a : u 1 E2 et D( u 1) = 0 donc, par injectivit de D on dduit u = v = 0. En outre, leur wronskien W = 1 2- 1 2 vrifie lquation W = 0, il est donc constant et sa valeur est non nulle car { 1, 2} est libre. Ainsi quitte multiplier 1 par une constante on peut supposer W 1. Dans toutes la suite nous supposons que 1 et 2 sont des solutions non nulles de D( y) = 0 telles que

Dfinition : Avec les notations et conditions prcdentes on appelle fonction de Green du problme aux limites la fonction dfinie par :

2.4.Continuit de la fonction de Green Il existe A 0 tel que :

en particulier K est lipschitzienne et donc continue. Preuve : Munissons R2 de sa structure euclidienne. Sur le triangle T = {( t,x) 0 t x 1} K est C1 et, comme T est compact, lapplication T R2 est borne par, disons, A1. Lingalit des accroissements finis sur le convexe T conduit alors : ( K):

Sur le triangle symtrique T = {( t,x) 0 x t 1} on a une ingalit analogue avec une constante A2 . Si X et Y sont de part et dautre de la diagonale soit Z lintersection du segment [ X,Y ] et de la diagonale. En prenant A = Max ( A1,A 2) on a :

2.5.Formule intgrale de lunique solution de ( Lg ) Thorme 3 : Pour g E Lg a une et une seule solution qui est ( g) dfinie par x ( g)(x) = K( x,t) g( t ) d t. Unicit : Si y1 , y2 sont deux solutions de ( Lf ) on a D( y1 - y2) = 0 donc, puisque D est injectif, on a : y1 = y2 . Existence et expression : Vrifions simplement que ( g) est solution de Lg. Pour x [0 , 1] on a : [0 , 1] ,

on voit donc que ( g) est C1, de drive :

Cette formule montre que ( g) est C2, de drive seconde :

ce qui donne la relation : - ( g) + Q ( g) = g. Par ailleurs ( g)(0) = 1(0) 2( t ) g( t ) d t et ( g) (0) = 1(0) 2( t ) g( t ) d t donc on a aussi a( g)(0) + b( g) (0) = 0. La relation c( g)(1) + d( g) (1) = 0 sobtient de la mme manire. 2.6.Conclusion Comme il est clair que, pour f E2, f est lunique solution de LD(f ) on a : D = Id E 2 et on voit donc que E E2 et D : E2 E sont deux isomorphismes rciproques. 3.tude de 3.1.Caractre hermitien et lments propres (aux sens gnraliss dj utiliss prcdemment) Ltude de D et la proprit = D-1 donnent immdiatement le : Thorme 4 : On a : g1,g 2 E, < ( g1) ,g 2 > = < g1, ( g2) >.

C est valeur propre de si, et seulement si, = 0 et 1 est valeur propre de D. Lespace propre de associ tant alors lespace propre de D associ 1 , il est de dimension 1. 3.2.Continuits Il existe B 0 tel que

En particulier est continu de lespace norm ( E, 2) vers ( E2, ) et aussi de ( E, ) vers ( E2 , ). En effet considrons une borne M de | K| sur [0 , 1] 2 ( M existe car K est continue et [0 , 1] 2 compact). Pour g E, on a, en utilisant lingalit de Cauchy-Schwarz :

comme est linaire la continuit en dcoule. 3.3.Une proprit remarquable de limage de On a :

o A est la constante dtermine en II.2. En effet on a successivement :

4.Quelques proprits plus subtiles de

4.1.Compacit de loprateur Thorme 5 : Pour toute suite borne ( gn) n0 de ( E, 2) , il existe une suite extraite ( g(n)) telle que la suite converge dans ( E2, ) . Autrement dit, limage par dune suite borne de ( E, 2) a une valeur dadhrence dans ( E2 , ) . Remarques : Cette proprit se prouve usuellement laide du thorme dAscoli (cf. [1]). Cest le point central de cette tude ; elle permettra de passer de la simple ingalit de Bessel lgalit de Parseval . La dmonstration donne ici (tire de [2]) sadapte sans difficult au cas gnral dun oprateur noyau suppos seulement continu (du type g ( g) avec ( g)(x) = K( t,x) g( t ) d t et K continue sur [0 , 1] 2 ). Il suffit pour cela de considrer le module de continuit uniforme de K, dfini, pour d 0, par w( d) = inf {| K( X) - K( Y )| X,Y [0 , 1] , X - Y d}, et de remplacer les ingalits | ( g)(x) - ( g)(y)| C| x- y| par | ( g)(x) - ( g)(y)| w(| x- y|). La continuit de w en 0 permet de conclure de la mme manire. Preuve : Considrons une suite ( gn) n0 de ( E, 2) et M 0 tel que n, gn2 M . Grce III.2 on voit que (( gn)) est uniformment borne. En particulier pour tout x [0 , 1] est borne. Par le procd diagonal on peut alors extraire une suite ( g(n)) telle que converge pour tout x rationnel. (Prsentons sommairement la construction de . Le caractre dnombrable de Q permet de classer les rationnels de [0 , 1] dans une suite ( r n) n0. On construit par rcurrence et extractions successives des fonctions strictement croissantes k : converge pour j k. Les N N telles que k+1 est extraite de k et telles que suites (( gn (n) )(r j )) sont alors toutes convergentes car extraites de (( gj(n))(r j) partir du rang j. Il suffit donc de poser ( n) = n( n).) Lapplication : n n( n) a donc la proprit voulue.) Par extraction on se ramne ainsi au cas o ( gn) converge simplement sur Q [0 , 1] vers une fonction S. Montrons pour finir que (( gn)) vrifie alors le critre de Cauchy pour la convergence uniforme et pour cela fixons > 0 et Q 1. Daprs III.3, on a :

et par convergence simple sur lensemble fini F = { kQ 0 k Q } il existe N tel que :

Soit alors r

Q [0 , 1]. r est entre deux lments successifs de F :

et pour n, m N on a :

Ainsi pour n, m N, on a :

soit, peu prs, le critre de Cauchy pour la convergence uniforme. 4.2.Sous-espaces ferms stables et fonctions propres Thorme 6 : Soient F un sous-espace non rduit {0} de E, ferm pour la norme de la convergence uniforme et stable par et M = sup{( g) 2 g F, g2 = 1} . a) On a : M = sup{| < g, ( g) > | g b) Il existe S F, g2 = 1} .

F tel que S2 = 1 et ( S) = MS. E,

Remarque : Grce au caractre hermitien de on a, pour f,g

Preuve de (a) : Notons M = sup{| < g, ( g) > | g F, g2 = 1}. M et M sont bien dfinies et lingalit de Cauchy-Schwarz donne immdiatement M M . Par ailleurs par homognt on obtient pour tout f F:

ce qui, en remplaant f par f + g et f - g conduit

et

En sommant cela donne,

Prenons maintenant f unitaire quelconque. Si ( f ) = 0 on a ( f ) = 0 M , sinon prenons g = ( f ) ( f ) 2. Lingalit ci-dessus devient : ( f ) 2 M . On a donc aussi M M . Preuve de (b) : Considrons M = sup{| < g, ( g) > | g F, g2 = 1} et une suite de fonctions ( gn ) unitaires telles que | < gn, ( gn) > | tende vers M . Par une premire extraction on peut supposer que les < gn, ( gn) > ont un signe constant par exemple positif. La compacit de loprateur (thorme 5) permet par une deuxime extraction de supposer que la suite ( gn ) tend uniformment vers un lment T E. Comme F est stable par et limite uniforme on a mme T F . Par ailleurs le (a) impose : f vers + on a : T2 M . Mais pour tout n on a : F, ( f ) 2 M f 2 donc, en prenant f = gn et en faisant tendre n

quantit qui, par convergence uniforme de la suite (( gn)), tend vers T - M 2 0. Ainsi on a T2 = M et Limn+ ( gn) - Mg n2 = 0 ce qui montre que ( gn) tend vers S = TM = T T 2 . Par continuit de on a finalement ( S) = MS. 4.3.Applications aux valeurs propres et aux fonctions propres de

Thorme 7 : On peut classer les valeurs propres de dans une suite ( n) n0 telle que (| n |) dcroit vers 0. En outre (et D) nont quun nombre fini de valeurs propres ngatives. Nous allons faire la dmonstration en quatre tapes. Construction dune suite infinie de valeurs propres : En appliquant le thorme F = E on voit que lun des rels M , o M = sup {( g) 2 g E, g2 = 1}, est valeur propre de . Nous noterons 0 cette valeur propre. Pour toute autre valeur propre , si f est une fonction propre unitaire associe, on a | | = | < f, ( f ) > | M . Supposons construites N valeurs propres i (0 i N - 1). telles que | 0| | 1| | N-1| et telle que toute autre valeur propre vrifie | | | N-1|. On sait que les espaces propres Di = Ker qui leurs sont associs sont de dimension 1 et deux deux orthogonaux. Considrons FN lorthogonal de 0iN-1Di, cest videmment un sous-espace de dimension infinie de E. Le caractre hermitien de fait que FN est stable par et le thorme dinterversion dune intgrale et dune limite uniforme fait que FN est ferm pour : on peut donc appliquer le thorme 6 FN . De plus comme est injectif M N = sup{( g) 2 g FN, g2 = 1} est non nul et N = M N est une valeur propre de par construction distincte des i ( i < N) et telle que | N | | N-1 |. En outre si est une valeur propre distincte de i pour i N et f une fonction unitaire propre associe , f aux Di donc inclus dans FN et on a :

La suite (| n |) prcdente tend vers 0 : Comme elle est dcroissante positive elle a une limite L 0. Supposons L > 0 et pour chaque n considrons une fonction propre gn unitaire associe n. La suite ( gn ) est videmment borne mais pour n = m on a ( gn) - ( gm) = + 2L2 donc la suite na pas de valeur dadhrence pour 2 et donc pas non plus pour : cest impossible daprs le thorme 6. Toute valeur propre de est lune des prcdentes : Soit une valeur propre de . est non nulle donc il existe N N tel que | | > | N| et comme les valeurs propres distinctes des i ( i N) sont, par construction des k, de valeur absolue infrieure | N|, est lun des i avec i < N. Il ny a quun nombre fini de valeurs propres ngatives : On a vu que les valeurs propres de D sont les inverses des valeurs propres de : ce sont les 1 n. Comme on sait que les valeurs propres de D sont minores et que ( n) tend vers 0, il ne peut y avoir quun nombre fini de termes ngatifs. 5.Coefficients de Fourier dans un systme orthonormal On ordonne les valeurs propres de dans une suite ( n) n0 telle que (| n|) n0 tende vers 0 en dcroissant et pour chaque n on choisit une fonction propre unitaire et relle n associe n. n est unique au signe prs.

Remarque : Il est possible de choisir n valeurs relles car, comme K est relle, si est une fonction propre associe une valeur propre qui est relle les parties relles et imaginaires de sont encore dans lespace propre associ . Pour g ( g))n0 E et n CN . N on pose : an( g) = < n,g > . Nous allons tudier lapplication g E ( an

5.1.Relation entre an ( g) et an (( g)) Proprit : On a : g et : f E2 , n E, n N,a n(( g)) = nan( g)

N,a n( f ) = nan( D( f )).

ce qui donne an (( g)) = nan( g). Lautre relation se dduit de la surjectivit de : E E2. 5.2.Injectivit de g ( an ( g))n0 E est nul si, et seulement si, n N , a n ( g ) = 0.

Thorme 7 : Un lment g

Vrifions que si n,a n( g) = 0 alors g = 0 et pour cela considrons

Cest un sous-espace de E stable par (daprs la relation prcdente) et par limite uniforme (en vertu du thorme dinterversion dune intgrale et dune limite uniforme). Si F ntait par rduit {0} on pourrait lui appliquer le thorme 6 et on trouverait une fonction propre S F et donc S serait proportionnelle lune des fonctions n. Comme an( n) = 1 cest impossible. On a F = {0}. 5.3.Ingalit de Bessel Proprit : Pour g E la srie de terme gnral | an( g)| 2 converge et lon a :

Comme la suite ( n) est orthonormale SN = an( g) n est la projection orthogonale de g sur le sous-espace engendr par { n 0 n N} et on a :

La convergence de la srie et lingalit de Bessel en dcoulent. 5.4.Dveloppement en fonctions propres dun lments de E2 Thorme 8 (de Hilbert-Schmidt) : (a) Pour f E la srie an(( f )) n( x) converge absolument pour tout x [0 , 1] , uniformment sur [0 , 1] et a pour somme ( f ) . an( g) n( x) = g( x) avec converge absolue pour tout x et (b) Pour tout g E2 on a convergence uniforme sur [0 , 1] . Preuve de (a) : Pour x [0 , 1] et N M N on a :

Mais en appliquant lingalit de Bessel gx : t K( x,t), comme an ( gx ) = K( x,t) n( t ) d t = n n( x) on a :

o B est une borne de | K| sur [0 , 1] 2. Lingalit prcdente peut ainsi scrire :

lingalit de Bessel applique cette fois f montre que la srie de fonction vrifie le critre de Cauchy pour la convergence uniforme et pour la convergence absolue (simple). Notons G la somme de cette srie. Cest videmment un lment de E et pour tout p N on a :

mais comme on peut intervertir lintgrale et la somme (la srie dfinissant G est uniformment convergente et p borne) on a aussi :

et le caractre injectif de g ( an( g)) montre finalement lgalit G = ( g). Preuve de (b) : Cest une consquence immdiate de la surjectivit de . 5.5.Calcul de [0 , 1] 2 :

Thorme 9 : (a) ( x,y )

o la srie est uniformment convergente sur [0 , 1] 2 (b) La srie n0 converge et a pour somme K( x,t) d td x Preuve : En appliquant le thorme de Hilbert-Schmidt gx : t K( x,t) on voit que n0 ( x) ( y) = n0an(( gx)) ( y) converge absolument vers

Pour y = x la srie n0 ( x) est donc simplement convergente vers

Comme les ( x) sont positifs cette situation relve du thorme de Dini : la suite des sommes partielles converge en croissant vers la fonction continue h, la convergence est donc uniforme sur [0 , 1]. De plus pour x, y [0 , 1] et N N on a :

do lon dduit la convergence uniforme sur [0 , 1] 2 de la srie de terme gnral n( x) n( y). Enfin, en intgrant terme terme sur [0 , 1] la srie uniformment convergente n0 ( x) dont la somme est K( x,t) 2 d t , on trouve :

6.Discussion du problme de Sturm-Liouville Thorme 10 : Soient Q une fonction relle continue sur [0 , 1] et a,b,c,d des rels tels que ad - bc = 0. Pour f E et R on considre le problme de Sturm-Liouville :

Il existe une suite de rel ( n) croissant vers + et une suite orthonormale de fonctions n telles que : a) Si nest pas lun des n le problme de Sturm-Liouville admet une et une seule solution qui est y = n01n - < n,f > n. b) Si = p , ( Lf ) a une solution si, et seulement si, < p,f > = 0 et dans ce cas lensemble des solutions est lensemble des fonctions y = K p + n = p1n - < n,f > n lorsque K dcrit C. Considrons a D . R non valeur propre de D : y E2 - y + Qy E. Posons Da = D - aI d et a =

On peut appliquer les parties prcdentes a et construire la suite ( n) de ses valeurs propres et la suite orthonormale ( n) des fonctions propres associes. Posons n = a + 1n. Comme la suite ( n) n0 tend vers 0 et na quun nombre fini de termes ngatifs, quitte rordonner les premiers termes de la suite on peut supposer que n croit. Dans le cas (a) il faut rsoudre D( y) = f , on sait quil y a une unique solution y = ( f ). Pour en avoir une expression il reste dterminer les valeurs propres et les fonctions propres de : on voit immdiatement que les fonctions propres sont les n de valeur propre associe 1n - . Lexpression de y se dduit alors du V 4. Dans le cas (b) comme est hermitien son image est orthogonale son noyau. La condition est donc ncessaire. Pour la rciproque et lexpression des solutions utilisons la variation des constantes . Compltons p en une base de solution { p, p} de lquation homogne - y + Qy = py avec p p - p p = 1 et posons

Exploitons la condition en 0 : on a a p(0) + b p(0) = 0 et ap(0) + bp(0) = 0 donc pour avoir ay(0) + by(0) = 0 il faut et suffit que lon ait : B(0) = 0. La mthode de variation des constantes conduit alors lexpression :

Or la fonction dfinie ci-dessus vrifie aussi la condition en la borne 1 car, du fait que ap( f ) = 0 on a :

Ainsi le problme ( Lf ) a bien des solutions dans y E2. En vertu du thorme 8 elles sont sommes des sries n0an( y) n : il reste calculer les an( y). Lquation - y + Qy = py + f scrit aussi Da( y) = ( p - a) y + f ce qui donne :

Comme ap ( f ) = 0 cela donne, comme anonc, ap( y) quelconque et

7.Quelques cas particuliers plus ou moins clbres 7.1.Sries de Fourier en sinus Cest le cas o Q = 0 et a = c = 1,b = d = 0. Un calcul des lments propres de D est possible : les valeurs propres sont n = ( n + 1) 22 les fonctions propres associes sont n : t sin((n + 1) t ), la fonction de Green est dfinie par K( x,t) = x(1 - t ) si 0 t x 1. Le thorme 8 snonce ici : Toute fonction f C2 sur [0 , 1] telle que f (0) = f (1) = 0 est somme de sa srie de Fourier-sinus. 7.2.Un autre cas o Q 0 On suppose encore Q = 0 mais on prend a = 1,b = 0,c = 1,d = -1 de sorte que les conditions aux limites sont y(0) = 0 et y(1) = y(1). On trouve alors pour valeurs propres 0 = 0 et pour n 1 n est le carr de lunique racine un ] - 2 + n, 2 + n[ de lquation tan x =x et pour fonctions propres unitaires associes 0 ( x) = x et pour n 1 n( x) = sin( unx) kn avec kn = 12 - sin(2 un) 4un.

Comme D nest pas injectif il faut considrer les D. Pour a tel que - a2 nest pas valeur propre de D la fonction de Green Ka associe Da2 = D - a2I d est dfinie par Ka( t,x) = sh( at ) ach( a) - sh( a), les valeurs propres de a sont les n = 1n + a2 et les fonctions propres celles dcrites ci-dessus. Sur ce cas particulier on peut obtenir aisment les rsultats complmentaires suivants (qui sont vrais dans le cas gnral mais plus difficiles tablir) : Thorme 11 : On a : (a) ( x, t ) 1] 2 [0 , 1] 2,K ( x,t) = n0n n( x) n( t ) o la srie est uniformment convergente sur [0 ,

(b) (Formule de la trace) :

Preuve de (a) : Tous les lments tant dtermins il est facile de voir que la srie n0n n ( x) n( t ) est normalement convergente car | n| = O (1n2) et car n est uniformment borne. Notons L( x,t) sa somme. Pour f E lintgration terme terme des sries normalement convergentes donne :

Ainsi on a, pour toute f E : ( K( x,t) - L( x,t))f ( t ) d t = 0, en appliquant cette galit f : t t ) - L( x,t) pour x fix on dduit : L = K.

K( x,

Preuve de (b) Il suffit dintgrer terme terme la srie normalement convergente n0n ( x) = K( x,x ). Le calcul de lintgrale ne prsente aucune difficult. 7.3.Une srie exotique Une application amusante du cas vu ci-dessus est le rsultat suivant (cf [3]). Thorme 12 : Si on note un lunique racine dans ] - 2 + n, 2 + n[ de lquation tan x = x, on a : n11u = 110. Selon le (b) du thorme 11 on a, pour a tel que - a2 nest pas valeur propre de D, en particulier pour a = 0 voisin de 0, n11u + a2 = a2 sha - acha + sha2a2( acha - sha) - 1a2. La srie de gauche est clairement normalement convergente sur R donc en faisant tendre a vers 0 on a : 2 2 2 = 110. n11u = Lima0a sha - acha + sha 2a ( acha - sha) - 1a = Bibliographie [1] J. Dieudonn, Elmnts dAnalyse , Tome 1. Gauthier-Villars [2] K. Yosida, Lectures on differential and integral equations , Dover [3] American Math. Monthly , Vol. 93 N 8, octobre 86 (Rubrique : Problems and solutions) [ Table des matires] [<]