Notationsetd´efinitions R •SoientBlaCrn´eetboesde-a`elgedbrfoesitcncsnoitnoseunRdansCetB´eerbr`eleelala-glossu des fonctions deBllse.uleasvra´`ree R PourfdansB(resp.fdansBsup), on notef= sup{f(x), x∈R}(resp.kfk∞= sup|f|). On rappelle que (B,k k∞ecapsenutse).´ermno iλt PourλdansR, soiteλdtnee´el’eml´B´dinfie:rap∀t∈R, eλ(t) = e. On notePle sous-espace deBe(rape´edrenngeλ)λ∈R(espace desa`on´miroguqseteirpolmestynˆo fre´quencesre´elles´endntmo.O)erarneI.A que (eλ)λ∈Rest une famille libre deB, donc une base de PrmpeciCe.urrmesenoninur´dfieteedPen posant, pour toute famille presque nulle (cλ)λ∈Rde complexes : ! X X N cλeλ=|cλ|. λ∈Rλ∈R On a :∀p∈P,kpk∞6N(p). •Soit Λ une partie non vide deR. On notePΛle sous-espace dePnerdegnr(´epaeλ)λ∈Λ. On dit que Λ est unensemble de Sidonsi et seulement siNetk k∞tnelseqe´saviuidesnormenduisent surPΛbmelnees:euleietssil’ment´ce´rpe´s,etnede’ieludenitalegn´mpco-tte,e,i. N(p) , p∈PΛ\ {0} kpk∞ estmajore´.Sitelestlecas,onpose: N(p) K(Λ) = sup, p∈PΛ\ {0} kpk∞ R R On noteP Λ´eeracsp-eussolelePΛ∩BdePΛ. OnditqueΛestsyme´triquesietseulementsi:∀x∈Λ,−x∈Λ. On dit que Λ est unonr´eelbledeSidesnmementsiΛseietseuleiruqeesttsys´mteele’istxiC >0 tel que : R ∀p∈P, N(p)6Csup(p). Λ Si tel est le cas, on a en particulier : R ∀p∈P\ {0},sup(p)>0, Λ et on pose : N(p) 0R K(Λ) = sup, p∈P\ {0}. Λ sup(p)
•SoientIun ensemble non vide et (ai)i∈Iuenlldeafimbresenomls.Or´ee(euqtidnai)i∈IestQ-libre si et seulement si, pour toute famille presque nulle (λi)i∈Ide rationnels, on a : X λiai= 0⇒ ∀i∈I, λi= 0. i∈I
Si (ai)i∈In’est pasQ-libre, on dit que (ai)i∈IestQ-eei´l. SiAest une partie deR, on dit queAestQ-libre si et seulement si la famille (a)a∈AestQ-libre. •Enfin, siEest une partie deRetγl,onr´eenunoteγEl’ensemble :{γx, x∈E}.
2
Objectifsduproble`me,de´pendancedesparties Lebutessentielduproble`meestdeconstruiredessolutionsremarquablesdel’´equationdesondes 3 surlasph`ereeuclidiennedeRrtieravYseeMey.raLappsetrevuoce´d,I´etablitqueeuqle´rstlussta pre´alablesconcernantles´ele´mentsdePetleynˆospoliertpageLedsemaL.erdneIIs´aeocnrtcees aux ensembles de Sidon. La partieIIIqulsneontiraird’aL.seuqitardadieunens´etuitucilremelbpera partieIVdestliseutiabibpsorqieucenhtsilopseboruinetesrdlypoomnˆtresginomoe´rtqieuasyantdes normes quadratique et uniforme assez proches. La partieVrtiuocsnfonctleseseds´.estiiro´n La partieIIuqmeudinpene´detdenI.A. La partieIII´rselesilitueidelapartesultatsII. La partie IV´rpse´ceapseeitrdaenedntinstepd´eseL.edtniteparaViselutilesulesr´aledstateitrapI.B,ainsi que ceux des questionsIII.B.3 etIV.C.2.
I.Pr´eliminaires ´ A.Ele´mentsdeP X 1. (a)Soient (cλ)λ∈Rune famille presque nulle de complexes,λ0uleterne´p=cλeλ. λ∈R Z T 1 D´emontrerquep(t)e−λ0(t) dtgeversunconverpa´rcesilemiti`euqsrolreeT→+∞. T 0 (b)D´emontrerque(eλ)λ∈Rest une famille libre duC-espace vectorielB. 2.OnsupposeΛsym´etrique. R . (a) SoitpdansPΛ.V´erifierqueRepet Impsont dansPΛ (b)OnsupposequeΛestunensembledeSidonr´eel.De´montrerqueΛestunensemblede Sidon.
B.PolynoˆmesdeLegendre 2n(n) Sin∈N,Unolynˆomesignelep´(edX−1) ,Pnelopylomnˆe(Un)´e(d´vireenme`iede-Un) etLnle Pn polynˆome∙ n 2n! 1. SoientndansNetxdans [−1,1]. +∗ (a) SoientrdansRetγfin´earip:aleldtec iθ ∀θ∈[−π, π], γ(θ) =x+re. V´erifierlarelation: Z 2n n! (z−1) Pn(xd) =z. n+1 2iπ(z−x) γ (b)D´eduiredea): Z π p n 1 2 Ln(x) =x1+ i−xsinθdθ. 2π −π p 2 Indication.Pourxdans ]−1,1[, on pourra appliquer a) avecr= 1−x. n o 2. Sin∈N, calculerLn(1),Ln(−1) et sup|Ln(x)|, x∈[−1,1] . 3. Soientηdans ]0,1[ etIη= [−(1−η),1−η]. (a)Ve´rifier: Z π 1n/2 2 ∀n∈N,∀x∈Iη,|Ln(x)|61−ηcosθdθ. 2π −π (b)D´emontrerque(Ln)n>00surversmcentveoneurgfoni´ermIη.
De´montrerqueles´ele´mentsdeEde la forme : (t, x)7→a(t)b(xu`o)a(resp.b) est une application 2 de classeCdeR(resp. [−1,1]) dansC, sont les : √ √ in(n+1)t−in(n+1)t (t, x)7→Ln(x)αe +βe
∗2 2 avecn∈Net (α, β)∈C(, et les :t, x)7→λt+µavec (λ, µ)∈C.
II. Construction d’ensembles de Sidon
On noteC`gla-suoederbeaslB2ctedeenofstsno´utiinntseueioctconsπoiiduqsede-´preRdansC. A.Th´eore`med’approximationdeKroneckeretapplication ∗n SoientndansN, (ωj)16j6nufanellmieredlee´,sωnt(lle´’eme´ω1, . . . , ωn) deR,Gωle sous-groupe n n deRngerpa´edrenRωet 2πZre:a-di`-tse’c n n Gω=Rω+ 2πZ={sω+ 2πv,(s, v)∈R×Z}. 1. Onsuppose (ωj)16j6nQli´e-.e n (a)De´montrerqu’ilexisteuneformelin´eairenonidentiquementnulle`surRtelle que `(Gω)⊂Z. n (b) Lesous-groupeGωest-il dense dansR?