Carre sommable

Carre sommable

Carré sommable


En mathématiques, on dit qu'une fonction f mesurable de \R dans \mathbb{C} est de carré sommable lorsque la quantité

S = \int_{-\infty}^{+\infty} |f(x)|^2 \mathrm{d}x

est un nombre fini.

Sommaire

Définitions précises

L'ensemble de ces fonctions, qui peuvent ne pas être définies sur un ensemble de mesure nulle, forme un espace vectoriel \mathcal{L}^2(\R), qu'on peut munir d'une forme bilinéaire semi-définie hermitienne définie par

(f,g)=\int_{-\infty}^{+\infty} f(x)\overline{g}(x)\,\mathrm{d}x.

La semi-norme correspondante est :

\left(\int_\R |f(x)|^2\, dx\right)^{1/2}.

Le noyau de la semi-norme est l'ensemble des fonctions négligeables, c'est-à-dire nulles presque partout.

Le quotient de \mathcal{L}^2(\R) par l'espace des fonctions négligeables est l'espace L^2(\R). C'est un espace de classes de fonctions : deux fonctions sont dans la même classe si elles sont égales presque partout, c'est-à-dire en dehors d'un ensemble de mesure nulle. Si f est dans \mathcal{L}^2(\R), notons pour le moment [f] la classe de f.

On munit l'espace L^2(\R) d'une structure d'espace de Hilbert à l'aide du produit scalaire suivant :

 ([f],[g]) = \int_{-\infty}^{+\infty} f(x)\overline{g}(x)\mathrm{d}x

La norme correspondante est :

\|[f]\|_{L^2}=\left(\int_\R |f(x)|^2\, dx\right)^{1/2}.

Il est immédiat que ces intégrales ne dépendent pas du représentant qu'on a choisi pour la classe de f ou de g.

Simplifications en passant aux fonctions définies presque partout

Sauf mention particulière, on utilise surtout l'espace L^2(\R), et on se dispense de faire la différence entre fonction de carré sommable et fonction de carré sommable modulo les fonctions négligeables. Cet abus est justifié dans l'immense majorité des cas, et on peut donc simplifier les définitions comme suit: l'espace L^2(\R) des fonctions de carré sommable (définies presque partout) est l'ensemble des fonctions mesurables définies presque partout sur \R, telles que le carré de leur module soit intégrable sur / R. C'est un espace de Hilbert, une fois qu'on le munit du produit scalaire

 (f,g) = \int_{-\infty}^{+\infty} f(x)\overline{g}(x)\mathrm{d}x.

Quelques propriétés

Une suite de fonctions fn définies presque partout sur \R et de carré sommable converge dans L^2(\R) vers une limite f si

\lim_{n\to\infty}\int_\R|f-f_n|^2\mathrm{d} x=0.

On dit alors qu'elle converge en moyenne quadratique. La convergence en moyenne quadratique n'implique pas en général la convergence presque partout. Cependant, on peut extraire une sous-suite presque partout convergente d'une suite convergeant en moyenne quadratique. En d'autres termes, si (f_n)_{n\in\N} converge vers f en moyenne quadratique, on peut trouver une partie infinie K de \N et un ensemble E de mesure nulle tels que

\forall x\notin E,\quad \lim_{n\in K, n\to \infty} f_n(x)=f(x).

Le théorème de convergence dominée de Lebesgue fournit une condition suffisante de convergence en moyenne quadratique : soit fn une suite de fonctions de carré sommable. Supposons qu'il existe une fonction h de carré sommable et un ensemble E de mesure nulle tels que

\forall x\notin E,\quad |f_n(x)|\le h(x),

et que fn converge presque partout vers une limite f. Alors f est de carré sommable et la suite fn converge en moyenne quadratique vers f.

Les fonctions de carré sommable en physique

En physique quantique, une fonction d'onde |\Psi (\vec r, t) \rangle associée à une particule est de carré sommable. Physiquement, en effet, le carré du module de la fonction d'onde |\Psi(\vec r,t)\rangle est une densité de probabilité de présence de la particule au point \vec r et à l'instant t. Par conséquent, l'intégrale de ce carré vaut 1, puisque la particule se trouve quelque part dans l'espace. En termes plus mathématiques, une fonction d'onde est de norme 1 dans l'espace des fonctions de carré sommable.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Carr%C3%A9 sommable ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Carre sommable de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Carré Sommable — En mathématiques, on dit qu une fonction f mesurable de dans est de carré sommable lorsque la quantité est un nombre fini. Sommaire …   Wikipédia en Français

  • Carré sommable — En mathématiques, une fonction définie sur un espace mesuré Ω et à valeurs dans ℝ ou ℂ est dite de carré sommable ou de carré intégrable si elle appartient à l’espace L2(Ω). Par exemple, une fonction mesurable f de ℝ dans ℂ est de carré sommable… …   Wikipédia en Français

  • Carré intégrable — Carré sommable En mathématiques, on dit qu une fonction f mesurable de dans est de carré sommable lorsque la quantité est un nombre fini. Sommaire …   Wikipédia en Français

  • sommable — [ sɔmabl ] adj. • 1942; de 2. sommer ♦ Didact. Dont la somme peut être calculée; qui peut faire l objet d une sommation. « L ensemble des observations est il sommable ? » (Valéry). Intégrable. Fonctions de carré sommable. sommable [sɔmmabl;… …   Encyclopédie Universelle

  • Carre (homonymie) — Carré (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Carré (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Carré (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Carré (homonymie) », sur le Wiktionnaire (dictionnaire universel) Issu du latin quadratus, le mot… …   Wikipédia en Français

  • Famille Sommable — La notion de famille sommable vise à étendre les calculs de sommes au cas d un nombre infini de termes. Contrairement à la notion de série, on ne suppose pas que les termes sont donnés sous forme d une suite ordonnée. Il s agit donc de pouvoir en …   Wikipédia en Français

  • Famille sommable — La notion de famille sommable vise à étendre les calculs de sommes au cas d un nombre infini de termes. Contrairement à la notion de série, on ne suppose pas que les termes sont donnés sous forme d une suite ordonnée. Il s agit donc de pouvoir en …   Wikipédia en Français

  • Transformée de Fourier — Joseph Fourier En analyse, la transformation de Fourier est un analogue de la théorie des séries de Fourier pour les fonctions non périodiques, et permet de leur associer un spectre en fréquences. On cherche ensuite à obtenir l expression de la… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”