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 :

${\displaystyle s(x)=\sum _{i=1}^{n}\chi _{E_{i}}(x)b_{i}}$

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

${\displaystyle \int _{X}\left[\sum _{i=1}^{n}\chi _{E_{i}}(x)b_{i}\right]\,{\rm {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 E_i d'être disjoints). Une fonction Bochner-mesurable (en) ƒ : X → B est intégrable au sens de Bochner s'il existe une suite de fonctions étagées intégrables s_n telle que :

${\displaystyle \lim _{n\to \infty }\int _{X}\|f-s_{n}\|_{B}\,{\rm {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 :

${\displaystyle \int _{X}f\,{\rm {d}}\mu =\lim _{n\to \infty }\int _{X}s_{n}\,{\rm {d}}\mu .}$

Une fonction est intégrable au sens de Bochner si, et seulement si, elle appartient à l'espace de Bochner (en) L^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 :

${\displaystyle \int _{X}\|f\|_{B}\,{\rm {d}}\mu <\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 B₀ de B, et telle que l'image inverse g^−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 :

${\displaystyle \int _{X}Tf{\rm {d}}\mu =T\int _{X}f{\rm {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 ƒ_n : 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 ∈ L^1(μ) telle que

${\displaystyle \|f_{n}(x)\|_{B}\leq g(x)}$

pour presque tout x ∈ X, alors

${\displaystyle \int _{X}\|f-f_{n}\|_{B}\,{\rm {d}}\mu \to 0}$

quand n → ∞ et

${\displaystyle \int _{E}f_{n}\,{\rm {d}}\mu \to \int _{E}f\,{\rm {d}}\mu }$

pour tout E ∈ Σ.

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

${\displaystyle \left\|\int _{E}f\,{\rm {d}}\mu \right\|_{B}\leq \int _{E}\|f\|_{B}\,{\rm {d}}\mu }$

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

${\displaystyle E\mapsto \int _{E}f\,{\rm {d}}\mu }$

définit une mesure vectorielle (en) 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 ${\displaystyle \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 :

${\displaystyle \gamma (E)=\int _{E}g\,{\rm {d}}\mu }$

pour tout ensemble mesurable E ∈ Σ[1].

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 ℓ^1 possède cette propriété, mais ce n'est pas le cas de l'espace c₀ ni des espaces ${\displaystyle L^{\infty }(\Omega )}$, ${\displaystyle L^{1}(\Omega )}$, pour ${\displaystyle \Omega }$ un ouvert borné de ${\displaystyle \mathbb {R} ^{n}}$ et ${\displaystyle 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)[2] et les espaces réflexifs[3], en particulier les espaces de Hilbert.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Bochner integral » (voir la liste des auteurs).

1. (en) Joseph Diestel et John Jerry Uhl, Vector measures, AMS, 1977, 322 p. (ISBN 978-0-8218-1515-1, lire en ligne), p. 61.
2. Diestel et Uhl 1977, p. 79-81.
3. Diestel et Uhl 1977, p. 76, Corollary 13 (Phillips).

Voir aussi

Article connexe

Intégrale de Pettis (en)

Bibliographie

• (de) Salomon Bochner, « Integration von Funktionen, deren Werte die Elemente eines Vektorraumes sind », Fundamenta Mathematicae, vol. 20,‎ 1933, p. 262-276 (lire en ligne)
• (en) Joseph Diestel, Sequences and Series in Banach Spaces, Springer-Verlag, coll. « GTM », 1984, 261 p. (ISBN 0-387-90859-5)
• (en) Einar Hille et Ralph S. Phillips, Functional Analysis and Semi-Groups, AMS, 1957 (ISBN 0-8218-1031-6)
• (en) Serge Lang, Real and functional analysis, Springer, 1993, 3^e éd., 580 p. (ISBN 978-0-387-94001-4)

Liens externes

• (en) V. I. Sobolev, « Bochner integral », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• (en) D. van Dulst, « Vector measures », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• (en) Diómedes Bárcenas, « The Radon-Nikodym Theorem for Reflexive Banach Spaces », Divulgaciones Matemáticas, vol. 11, n^o 1,‎ 2003, p. 55-59 (lire en ligne)