Etude de la Transformée de Hilbert Sav 1 Espaces de fonctions holderiennes ‘est un nombre réel > Det J un intervalle de R. d’ (1), ot simplement E, lorsque J est précisé, ‘quill existe K > 0 vérifiant tériewr espace Dans tout ce qui suit, non vide. On désigne par Ea| vectoriel des fonctions de J dans C telles v2.y) €P.1f@) — FO) S Kle—ul* le plus petit de ces nombres K est noté Kq({). Une fonetion f de E. est appelée hélderienne d’exposant a sur J 1a Donner la dimension de Eq sur R lorsque a > 1. Désormais, on suppose : O 0 on définit ne fonction Lf sur R par ] f(x -S(e=), TN) = f I) 4, [ Jey) =Se= yy v 21 vers une a) Montrer que, lorsque © tend vets 0, T.f converge uniformément vers fonction TF que Yon déterminera, b) Montrer que 77 est continue, — 2.2 me, fi Lorsque f € Ey on pose Mlle = M/lloo+ Ka(f). Verifier que || la est une nor me _ et montrer gue Test continve de (Fle) dans (Cte th) a). pubes) 2.3 On suppose f de classe Ct ses dérivées dordre m < k Qa Soit J € Fy. Caleuter {*,Ty(a)ae. () A/V 3 Détermination du noyau de T - Montrer que TY est de classe O*-! ot déterminer — Len fonction de celles de f. ‘Les notations sont celles de la partie 2. On adimettra que ls fonctions polynomes trigonométriques, c'est-i-dire les combinaisons linéares complexes de fonctions exponentielles complexes ¢ : R— C, t + e', n € Z constituent une pastie dense de Vespace vectoriel E = Cay(R,C) des fonctions 2r-pétiodique de K. vers C muni de la norme | a> de la convergence uniforme. On pose pour fe EetneZ calf) flthe**at, 7/34 BoE € £ telle que, pour tout n © Z, en(f) = 0. Monteer que F est nulle, (NB Parseval est hors-programme) 3.2 Pour tout entier n > 0 on pose, ici et dans la suite Ay = [0 8 ue, pour tout nombre entier n> 2:0 fo" “S2de. Verifier 0} 4 Lorsque = € C\R, on pose 2) 1a) Montrer que f est eorrectement définie, ) Soient a € U7, r un nombre rél tel que 0 cst bornée. ) Montrer que / ost continue sur U. 4) Soit a € U. Montrer que J posstde une dérivée complexe en a, c'est-i-dire f(a) que le rapport posséde une limite fine f'(a) lorsque = tend vers a dans U, et In déterminer. Verifier que a= (a) est continue. @) Soit a € U. Montrer que J est développable en série entidre au voisinage de Par symétrie, cos résultats s’tendent & C\ Re4.2 On suppose désormais h € Ey, Soient ¢ > 0 et r € R, on pose Mo Har) Teter a) Montrer que H, posséde une limite H(r) lorsque e tend vers 0*, Prowver ave la fonction # ainsi obtenue est continue. 4.3, Prolongement de f Soit & um nombre réel > 1. On note Us Vensemble des = € U tels que [Re(=)] < ke Im(z). a) Soit ¢ > 0. Etudier la limite lorsque z € U tend vers 0 de f°, b) Soit @ € Ba, avec o(0) = 0 et = € Uy. Montrer qu'il existe une constante atta C>0 ne dépendant que de ¢ tele que, pour tout nombre « > 0, | {é, S2#I < Cee. ) Soit € > 0 Montrer qu'il existe une eonstante C’ > 0 ne dépendant que de telle que, pour tout nombre = € Uz on ait t= [Ge pawa set 4) Soit + € R. Montrer que f posstde une limite en r lorsque = tend vers 7 selon 7+ Uy = (r+ 22 € Uy}, et la déterminer en fonction de h et H; on commencera par le cas oir = 0. ¢) Soit + un nombre réel vers r selon 7 ~ Uj, et en déduire que, si f est nulle,h est nulle. 5 Transformée de Hilbert et fonctions holomorphes, hors composition Cette section ne det tre abordée que lorsque fout ce qui précbe a 6 trait. Dans tout ce qui suit, 9 est un ouvert de C. Une fonction f : 2 + C est dite holomorphe lorsque f posséde une dérivée complexe (a) en tout point do Q et que a f(a) et continue sur On rappelle aussi les dex résultats — Une fonction de classe C1, gente de sa série de Fourier; — Une fonction développable en série entiére en a sur un disque complexe D(a; R) y est analytique. ivants du cours ériodique est somme normalement conver- 5 Montrer que toute fonction développable en série entiére en a sur un disque complexe D(a, R) y est halomorphe.5.2 lisque contenu dans On suppose que f est holomorphe sur 2. Soit D(a, R) un et (1,0) €]0, [xR 1) Montrer que les fonctions r— fat ret) et @— f(a + rel) sont de classe Cet déterminer leurs dérivées. 'b) Montrer que cy ir —» [2° fla +rei%)ad est de classe ©", puis qu'elle vérifie une équation différentielle simple que l'on résoudra. ¢) Prouver que f est développable en série entiére sur D(a, R). 5.3, Montrer que toute fonction développable en série entigre en @ sur un disque complexe D(a, 8) possede une primitive complexe sur D(a, R) ie. quill existe une fonction holomorphe F : D(a, R) + C telle que F” = f sur D(a, R). Un triangle A du plan complexe est 'enveloppe convexe d'un triplet ordonné (0,0,c) € C%; lorsque f est une fonction continue A + C on désigne par fon f Ja somme des intégrales fy fs fie f+ Jjeai£ O 1 I s=0-0 f ‘fla+t{b—a))at. 5.4 Théoréme de Morera Montrer qu'une fonction f : 9 + C est holomorphe ssi, pour tout triangle Aco, . f=0. fea ‘On pourra envisager des fonctions de la forme = + Jig. f. 5.5 Principe de réflexion de Schwarz ‘On suppose que la fonction continue g : UUR —+ C prend des valeurs réelles sur axe réel, t que g est holomorphe sur U. Montrer que la fonction j définie pour 2 €C par (2) = 9(2) si lm(z) > 0 et §(2) = (2) si lm(z) <0 est holomorphe sur C, On reprend désormais toutes les notations de la partie 4. 5.6 Montrer que f est continue sur J. On pourra utiliser Pumiforme continuité de , et unformisr les estimations de 4.3.5.7 Dans ce qui suit, h valeurs rélles, et Yon pose : g= gies ‘a) On suppose, ici et dans la suite, qu'il existe une fonction hy € Ba pour |é] 21, h(t) Thy (t). Montrer que telle que, Jorsque [2| tend vers 4-00. On pourra découper Vntégrale sur les intervalles J 00,-I], (-1,1) [1,-+00]- ») On suppose 9 & valeurs réclles sur Vaxe réel. Montrer que j est développable en série entire de rayon infini sur C. c) En déduire que, si Hf est mule, f est nulle\Y Etpeuces oe fonchine haletercemue . = . he 4A Se ery ar fe Ey per MeL we ee ob qe #0 er eeeet, ye lata (a [ “geste ven Owhro nes SyG)=0.; Gor connate « Sa Aerie \ exten? oli E 2 : -- 43 8 Plen ce eee nef Lap cgtom he appa ou. wa Lay eae é es potcer eostinteean 2 Z jnallnn ve Bee ae Se Cipilty tenans mate Topcon apparent = Eqyoneeze 1) Pou reur(8 nye MR ee ae \ Manel tanta fecdl < ¢ Be, (6)-hl Clowe yo > tenn) fern ere ta groble aufox], Me ee la 6) = * Worada een) ay | %, eee oH, reek ve ) Lon gure (43) > (2, o) : Gnckeainn ries a 4) Roun bent ge Hey wr tour FEN, 1e-gh = Veet rage)" veya J Aa . > do mn teal lel) & ACirsp ery fe ae ff Becigt 1S die ~- ram: on a — peti “a $12) o cate _— = ‘> TeGils CBee Hiv tak ae Sei ALO. tes We, Tee jo t)k ein) 2d “iecal parse 1 A. (ne “ls FL sei} oe Heuer p pean BET : aD [[ Bee] << O 2 oes ae Ile AMGY= embed “gto ats ‘Be . ae Open ty, ab auf fe ee. S Alere) peur obtena HE