Carré intégrable

Carré intégrable

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 Carré intégrable de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • 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

  • 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

  • Carre sommable — 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, 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é (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

  • HARMONIQUE (ANALYSE) — Lorsqu’on fait vibrer, dans des conditions idéales, une corde de longueur l , fixée en ses extrémités d’abscisses 0 et l , l’équation aux dérivées partielles: est vérifiée, où u (x , t ) est une fonction dont la valeur représente, à l’instant t …   Encyclopédie Universelle

  • FONCTIONS (REPRÉSENTATION ET APPROXIMATION DES) — Il arrive très souvent que, dans les problèmes issus des mathématiques ou des autres sciences, les fonctions qui interviennent soient définies par des procédés qui ne permettent pas d’étudier de manière efficace leurs propriétés. C’est le cas des …   Encyclopédie Universelle

  • 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

  • Transformation de Fourier — 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 à… …   Wikipédia en Français

Share the article and excerpts

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