Intégrale de Bochner

En mathématiques, l'intégrale de Bochner, qui porte le nom de son créateur Salomon Bochner, étend la définition de l'intégrale de Lebesgue aux fonctions à valeurs dans un espace de Banach, comme limite d'intégrales de fonctions étagées.

Définition

Soit (X, Σ, μ) un espace mesuré. On cherche à construire l'intégrale pour des fonctions définies sur X à valeurs dans un espace de Banach B. L'intégrale de Bochner est définie de manière similaire à l'intégrale de Lebesgue. Tout d'abord une fonction étagée est n'importe quelle somme finie de la forme :

$s(x)=\sum _{i=1}^n{\chi }_{E_i}(x)b_i$

où les EModèle:Ind sont des membres de la σ-algèbre Σ, les bModèle:Ind sont des éléments de B, et χModèle:Ind est la fonction caractéristique de E, aussi appelée fonction indicatrice. Si μ(EModèle:Ind) est finie quel que soit bModèle:Ind ≠ 0, alors la fonction étagée est intégrable et l'intégrale est définie par :

$\underset{X}{\int }[\sum _{i=1}^n{\chi }_{E_i}(x)b_i]\mathrm{d}\mu =\sum _{i=1}^n\mu (E_i)b_i$

exactement comme pour l'intégrale ordinaire de Lebesgue (on vérifie que cette définition n'est pas ambigüe, bien que l'on n'impose pas aux EModèle:Ind d'être disjoints). Une Modèle:Lien Modèle:Nobr est intégrable au sens de Bochner s'il existe une suite de fonctions étagées intégrables sModèle:Ind telle que :

$\underset{n\to \mathrm{\infty }}{\lim }\underset{X}{\int }\Vert f-s_n{\Vert }_B\mathrm{d}\mu =0,$

où l'intégrale dans le membre de gauche est une intégrale ordinaire de Lebesgue. Dans ce cas, l'intégrale de Bochner est définie par :

$\underset{X}{\int }f\mathrm{d}\mu =\underset{n\to \mathrm{\infty }}{\lim }\underset{X}{\int }{s}_n\mathrm{d}\mu .$

Une fonction est intégrable au sens de Bochner si, et seulement si, elle appartient à l'Modèle:Lien LModèle:1.

Propriétés

De nombreuses propriétés familières de l'intégrale de Lebesgue restent vraies pour l'intégrale de Bochner. Le critère d'intégrabilité de Bochner est particulièrement utile, il établit que si (X, Σ, μ) est un espace mesuré, alors une fonction mesurable au sens de Bochner ƒ : X → B est intégrable au sens de Bochner si et seulement si :

$\underset{X}{\int }\Vert f{\Vert }_B\mathrm{d}\mu <\mathrm{\infty }.$

Une fonction ƒ : X → B  est dite mesurable au sens de Bochner si elle est égale μ-presque partout à une fonction g à valeurs dans un sous-espace séparable BModèle:Ind de B, et telle que l'image inverse gModèle:-1(U) de toute partie ouverte U  dans B  appartient à Σ. De manière équivalente, ƒ est la limite μ-presque partout d'une suite de fonctions étagées.

Si T est un opérateur linéaire continu et ƒ est intégrable au sens de Bochner, alors Tƒ est intégrable au sens de Bochner et l'intégration et T peuvent être échangés :

$\underset{X}{\int }Tf\mathrm{d}\mu =T\underset{X}{\int }f\mathrm{d}\mu .$

Ce résultat est aussi vrai pour des opérateurs fermés à condition que Tƒ soit aussi intégrable, ce qui est trivialement vrai pour les opérateurs T bornés d'après le critère sus-mentionné.

Une version du théorème de convergence dominée s'applique à l'intégrale de Bochner. Spécifiquement, si ƒModèle:Ind : X → B est une suite de fonctions mesurables sur un espace mesuré complet qui converge presque partout vers une fonction limite ƒ et s'il existe g ∈ [[espace Lp|LModèle:Exp(μ)]] telle que

$\Vert f_n(x){\Vert }_B\le g(x)$

pour presque tout x ∈ X, alors

$\underset{X}{\int }\Vert f-f_n{\Vert }_B\mathrm{d}\mu \to 0$

quand n → ∞ et

$\underset{E}{\int }{f}_n\mathrm{d}\mu \to \underset{E}{\int }f\mathrm{d}\mu$

pour tout E ∈ Σ.

Si ƒ est intégrable au sens de Bochner, alors l'inégalité

${\Vert \underset{E}{\int }f\mathrm{d}\mu \Vert }_B\le \underset{E}{\int }\Vert f{\Vert }_B\mathrm{d}\mu$

est vraie pour tout E ∈ Σ. En particulier, la fonction

$E\mapsto \underset{E}{\int }f\mathrm{d}\mu$

définit une Modèle:Lien dénombrablement additive sur X à valeurs dans B, qui est absolument continue par rapport à μ.

Propriété de Radon-Nikodym

Une propriété importante de l'intégrale de Bochner est que le théorème de Radon-Nikodym ne s'applique pas en général. Ceci conduit à définir pour les espaces de Banach la propriété dite de Radon-Nikodym. Si μ est une mesure sur (X, Σ) alors B possède la propriété de Radon-Nikodym par rapport à μ si pour toute mesure vectorielle dénombrablement additive $\gamma$ sur (X, Σ) à valeurs dans B, à variation bornée et absolument continue par rapport à μ, il existe une fonction μ-intégrable g : X → B telle que :

$\gamma (E)=\underset{E}{\int }g\mathrm{d}\mu$

pour tout ensemble mesurable E ∈ Σ.

Un espace de Banach B possède la propriété de Radon-Nikodym si B possède cette propriété par rapport à toute mesure finie. L'[[Espace de suites ℓp|espace ℓModèle:1]] possède cette propriété, mais ce n'est pas le cas de l'[[Espace de suites ℓp#Propriétés|espace cModèle:Ind]] ni des espaces $L^{\mathrm{\infty }}(\mathrm{\Omega })$, $L^1(\mathrm{\Omega })$, pour $\mathrm{\Omega }$ un ouvert borné de ${ℝ}^n$ et $C(K)$, pour K un espace compact infini. Les espaces avec la propriété de Radon-Nikodym incluent les espaces duaux séparables (théorème de Dunford-Pettis) et les espaces réflexifs, en particulier les espaces de Hilbert.

Voir aussi

Bibliographie

• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Liens externes

• Modèle:EncycloMath
• Modèle:EncycloMath
• Modèle:Article