ATLAS Ouvrir dans l'atlas →

AnnalesÉcoles d'ingénieurs

Centrale-Supélec PSI 2022 — Maths 2

Un opérateur intégral sur un espace préhilbertien et ses vecteurs propres polynomiaux · 4 pages

Le sujet munit l'espace EE des fonctions continues ff sur ℝ+∗\mathbb{R}_+^* telles que ∫f(t)2e−t/t dt\int f(t)^2 \mathrm{e}^{-t}/t \,\mathrm{d}t converge du produit scalaire ⟨f∣g⟩=∫0+∞f(t)g(t)e−t/t dt\langle f|g\rangle = \int_0^{+\infty} f(t)g(t) \mathrm{e}^{-t}/t \,\mathrm{d}t, puis étudie l'opérateur UU défini par U(f)(x)=⟨kx∣f⟩U(f)(x) = \langle k_x|f\rangle avec kx(t)=emin⁡(x,t)−1k_x(t) = \mathrm{e}^{\min(x,t)} - 1 : UU est un endomorphisme continu (∥U(f)∥⩽4∥f∥\|U(f)\| \leqslant 4\|f\|), injectif et symétrique de EE, et U(f)U(f) est solution de y′′−y′=−f(x)/xy'' - y' = -f(x)/x. L'étude des solutions développables en série entière de x(y′′−y′)+py=0x(y'' - y') + py = 0 fournit des solutions polynomiales exactement pour pp entier naturel non nul, les autres solutions développables n'étant pas dans EE ; on en déduit que les seules valeurs propres de UU à vecteur propre développable en série entière sont les 1/p1/p, de vecteurs propres polynomiaux Pp(x)=xex(xp−1e−x)(p)P_p(x) = x \mathrm{e}^x (x^{p-1}\mathrm{e}^{-x})^{(p)} deux à deux orthogonaux.

Le sujet, partie par partie

Partie I — Préliminaires : éléments de EE p. 1

Intégrales généralisées et intégrabilité · Dérivabilité — intégrale généralisée, critère de convergence, fonction de carré intégrable à poids

Partie II — Structure préhilbertienne de EE p. 2

Espaces préhilbertiens et euclidiens · Espaces de Hilbert et espaces fonctionnels · Fonctions Gamma et Bêta · Intégrales généralisées et intégrabilité — produit scalaire intégral, poids e−t/t\mathrm{e}^{-t}/t, espace préhilbertien de fonctions, inégalité de Cauchy-Schwarz

Partie III — Un opérateur sur EE p. 2–3

Opérateurs et théorie spectrale · Espaces de Hilbert et espaces fonctionnels · Inégalité de Cauchy-Schwarz · Intégrales à paramètre · Équations différentielles linéaires · Problèmes aux limites, Sturm-Liouville — opérateur intégral, noyau emin⁡(x,t)−1\mathrm{e}^{\min(x,t)} - 1, endomorphisme symétrique, opérateur borné, injectivité

Partie IV — Solutions développables en série entière p. 3–4

Équations linéaires d'ordre 2 · Séries entières · Polynômes · Équivalents et comparaison — équation différentielle linéaire du second ordre, solution développable en série entière, solutions polynomiales, rayon de convergence

Partie V — Éléments propres de UU p. 4

Opérateurs et théorie spectrale · Polynômes orthogonaux · Équations linéaires d'ordre 2 · Polynômes de Laguerre · Problèmes aux limites, Sturm-Liouville — valeurs propres, vecteurs propres orthogonaux, polynômes de type Laguerre, formule de type Rodrigues

Ouvrir dans l'atlas interactif →