Espace de Hilbert à noyau reproduisant

Page d’aide sur l’homonymie

Pour les articles homonymes, voir noyau.

Diagrammes représentant les liens entre les différentes visions des espaces de Hilbert à noyau reproduisant

En analyse fonctionnelle, un espace de Hilbert à noyau reproduisant est un espace de Hilbert de fonctions pour lequel toutes les applications f ↦ f ( x ) {\displaystyle f\mapsto f(x)} sont des formes linéaires continues. De manière équivalente, il existe des espaces qu'on peut définir par des noyaux reproduisants. Le sujet a été originellement et simultanément développé par Nachman Aronszajn et Stefan Bergman en 1950. Les espaces de Hilbert à noyau reproduisant sont parfois désignés sous l’acronyme issu du titre anglais RKHS, pour Reproducing Kernel Hilbert Space.

Dans cet article, on suppose que les espaces de Hilbert sont complexes. La principale raison est qu'il existe de nombreux exemples d'espaces de Hilbert à noyau reproduisant qui sont des espaces de fonctions analytiques complexes, même s'il existe des espaces de Hilbert réels qui ont des noyaux reproduisants.

Un important sous-ensemble d'espaces de Hilbert à noyau reproduisant est constitué par les espaces de Hilbert à noyau reproduisant associés à un noyau continu. Ces espaces ont d'importantes applications, dans les domaines de l'analyse complexe, la mécanique quantique, les statistiques, l'analyse harmonique et l’apprentissage automatique.

Définition

Soit X un ensemble arbitraire et H un espace de Hilbert de fonctions à valeurs complexes sur X. On dit que H est un espace de Hilbert à noyau reproduisant si pour tout x dans X, la forme linéaire

L x : f ↦ f ( x ) {\displaystyle L_{x}:f\mapsto f(x)}

de H dans C {\displaystyle \mathbb {C} } est continue. D'après le théorème de représentation de Riesz, cela implique que pour tout x dans X, il existe un unique élément Kx de H avec la propriété que:

f ( x ) = ⟨ f ,   K x ⟩ ∀ f ∈ H ( ∗ ) . {\displaystyle f(x)=\langle f,\ K_{x}\rangle \quad \forall f\in H\quad (*).}

La fonction Kx est appelée la fonction d'évaluation au point x.

Puisque H est un espace de fonctions, l'élément Kx est lui-même une fonction définie sur X. Nous définissons la fonction K : X × X → C {\displaystyle K:X\times X\to \mathbb {C} } par

K ( x , y )   = d e f   K x ( y ) ¯ . {\displaystyle K(x,y)\ {\stackrel {\mathrm {def} }{=}}\ {\overline {K_{x}(y)}}.}

Cette fonction est appelée le noyau reproduisant pour l'espace de Hilbert H et elle est déterminée entièrement par H car le théorème de représentation de Riesz garantit, pour tout x dans X, que l'élément Kx satisfaisant (*) est unique.

Exemples

Par exemple, si X est fini et H est formé par toutes les fonctions à valeurs complexes sur X, alors un élément de H peut être représenté par une matrice colonne de nombres complexes. Si on utilise le produit scalaire hermitien canonique, alors Kx est la fonction qui vaut 1 en x et 0 ailleurs, et K n'est autre que la matrice identité puisque K(x, y) = 1 si x = y et K(x, y) = 0 sinon. Dans ce cas, H est isomorphe à C n {\displaystyle \mathbb {C} ^{n}} .

Un exemple plus sophistiqué est l'espace de Bergman H 2(D) des fonctions holomorphes de carré intégrable sur le disque unité D. On peut montrer que le noyau reproduisant pour H 2(D) est

K ( x , y ) = 1 π 1 ( 1 − x y ¯ ) 2 . {\displaystyle K(x,y)={\frac {1}{\pi }}{\frac {1}{(1-x{\overline {y}})^{2}}}.}

Ce noyau est un exemple de noyau de Bergman, nommé d'après Stefan Bergman.

Propriétés

Propriétés du noyau

Il est clair d'après la discussion ci-dessus que

K ( x , y ) = K x ( y ) ¯ = ⟨ K x , K y ⟩ . {\displaystyle K(x,y)\;=\;{\overline {K_{x}(y)}}\;=\;\langle K_{x},K_{y}\rangle .}

En particulier,

K ( x , x ) = ⟨ K x , K x ⟩ ≥ 0 , ∀ x ∈ X . {\displaystyle K(x,x)\;=\;\langle K_{x},K_{x}\rangle \;\geq \;0,\quad \forall x\in X.}

Notons que

K x = 0  si et seulement si  f ( x ) = 0 ∀ f ∈ H . {\displaystyle K_{x}\;=\;0\quad {\text{ si et seulement si }}\quad f(x)=0\quad \forall \;f\in H.}

Suites orthonormales

Si { ϕ k } k = 1 ∞ {\displaystyle \textstyle \left\{\phi _{k}\right\}_{k=1}^{\infty }} est une base hilbertienne de H, alors

K ( x , y ) = ∑ k = 1 ∞ ϕ k ( x ) ϕ k ( y ) ¯ . {\displaystyle K\left(x,y\right)=\sum _{k=1}^{\infty }\phi _{k}\left(x\right){\overline {\phi _{k}\left(y\right)}}.}

Théorème de Moore-Aronszajn

Dans les sections précédentes, on a défini une fonction noyau à partir d'un espace de Hilbert à noyau reproduisant. Il résulte de la définition d'une forme hermitienne que le noyau que nous avons défini est symétrique et défini positif (en). Le théorème de Moore-Aronszajn affirme que tout noyau symétrique défini positif définit un unique espace de Hilbert à noyau reproduisant. Le théorème apparaît pour la première fois dans l'article Theory of Reproducing Kernels d'Aronszajn, même s'il l'attribue à E. H. Moore.

Théorème — Si K est un noyau symétrique et défini positif sur l'ensemble E, alors il existe un unique espace de Hilbert de fonctions sur E pour lequel K est un noyau reproduisant.

Démonstration

Étape 1 : construction d'un espace préhilbertien H 0 {\displaystyle H_{0}}

Définissons, pour tout x dans E, K x = K ( x , ⋅ ) {\displaystyle K_{x}=K(x,\cdot )} . Soit H 0 = V e c t ( { K x :   x ∈ E } ) {\displaystyle H_{0}=\mathrm {Vect} (\{K_{x}:\ x\in E\})} l'espace vectoriel engendré par les fonctions K x {\displaystyle K_{x}} Définissons un produit hermitien sur H 0 {\displaystyle H_{0}} par :

⟨ f , g ⟩ H 0 = ⟨ ∑ j = 1 n b j K y j , ∑ i = 1 m a i K x i ⟩ H 0 = ∑ i = 1 m ∑ j = 1 n a i ¯ b j K ( y j , x i ) . {\displaystyle \left\langle f,g\right\rangle _{H_{0}}=\left\langle \sum _{j=1}^{n}b_{j}K_{y_{j}},\sum _{i=1}^{m}a_{i}K_{x_{i}}\right\rangle _{H_{0}}=\sum _{i=1}^{m}\sum _{j=1}^{n}{\overline {a_{i}}}b_{j}K(y_{j},x_{i}).}

La symétrie de ce produit résulte de la symétrie de K et la non-dégénérescence résulte du fait que K est défini positif. L'espace vectoriel H 0 {\displaystyle H_{0}} muni du produit scalaire ⟨ . , . ⟩ H 0 {\displaystyle \left\langle .,.\right\rangle _{H_{0}}} est donc préhilbertien.

Un point particulier est à signaler : les représentations de f {\displaystyle f} et g {\displaystyle g} ne sont pas uniques a priori dans H 0 {\displaystyle H_{0}}  ! On peut montrer que le produit scalaire ne dépend pas de cette représentation. En effet :

⟨ f , g ⟩ H 0 = ∑ i = 1 m ∑ j = 1 n a i ¯ b j K ( y j , x i ) = ∑ i = 1 m a i ¯ ( ∑ j = 1 n b j K ( y j , x i ) ) = ∑ i = 1 m a i ¯ f ( x i ) . {\displaystyle \left\langle f,g\right\rangle _{H_{0}}=\sum _{i=1}^{m}\sum _{j=1}^{n}{\overline {a_{i}}}b_{j}K(y_{j},x_{i})=\sum _{i=1}^{m}{\overline {a_{i}}}\left(\sum _{j=1}^{n}b_{j}K(y_{j},x_{i})\right)=\sum _{i=1}^{m}{\overline {a_{i}}}f(x_{i}).}

Donc le produit scalaire ne dépendra qu'aux valeurs prises par f {\displaystyle f} aux points x i {\displaystyle x_{i}} et non des b j {\displaystyle b_{j}} . Le raisonnement est identique pour g {\displaystyle g} .


Étape 2 : construction d'un complété H {\displaystyle H} de H 0 {\displaystyle H_{0}} dans C E {\displaystyle \mathbb {C} ^{E}}

Soit ( f n ) n {\displaystyle (f_{n})_{n}} une suite de Cauchy dans H 0 {\displaystyle H_{0}} et x ∈ E {\displaystyle x\in E} .

| f n ( x ) − f m ( x ) | = | ⟨ f n − f m , K x ⟩ H 0 | ≤ ‖ f n − f m ‖ H 0 × K ( x , x ) {\displaystyle \left|f_{n}(x)-f_{m}(x)\right|=\left|\left\langle f_{n}-f_{m},K_{x}\right\rangle _{H_{0}}\right|\leq \left\|f_{n}-f_{m}\right\|_{H_{0}}\times {\sqrt {K(x,x)}}}

La suite ( f n ( x ) ) n {\displaystyle (f_{n}(x))_{n}} est donc de Cauchy de R {\displaystyle \mathbb {R} } . Il existe donc une limite simple f {\displaystyle f} de la suite de fonctions ( f n ) n {\displaystyle (f_{n})_{n}} dans C E {\displaystyle \mathbb {C} ^{E}} .


Introduisons désormais un nouvel espace :

H = { f : E → R   |   ∃ ( f n ) n  de Cauchy dans  H 0 , lim n → ∞ f n = f } {\displaystyle H=\left\{f:E\rightarrow \mathbb {R} ~|~\exists (f_{n})_{n}{\text{ de Cauchy dans }}H_{0},\lim _{n\to \infty }f_{n}=f\right\}}


Par construction H 0 ⊂ H {\displaystyle H_{0}\subset H} et H {\displaystyle H} est clairement un espace vectoriel, sur lequel on peut définir le produit scalaire suivant :

⟨ f , g ⟩ H = lim n → ∞ ⟨ f n , g n ⟩ H 0 {\displaystyle \left\langle f,g\right\rangle _{H}=\lim _{n\to \infty }\left\langle f_{n},g_{n}\right\rangle _{H_{0}}}


Le lemme suivant permet de montrer que cette application ne dépend pas des suites de Cauchy ( f n ) n {\displaystyle (f_{n})_{n}} et ( g n ) n {\displaystyle (g_{n})_{n}} , qu'elle est bien une forme définie positive (la sequilinéarité et la symétrie hermitienne étant évidentes) et qu'elle coïncide bien avec ⟨ . , . ⟩ H 0 {\displaystyle \left\langle .,.\right\rangle _{H_{0}}} sur H 0 {\displaystyle H_{0}}  :

( f n ) n  de Cauchy dans  H 0 ∀ x ∈ E , f n ( x ) → n → ∞ f ( x ) } ⇒ f n → n → ∞ f  dans  H 0 {\displaystyle \left.{\begin{matrix}(f_{n})_{n}{\text{ de Cauchy dans }}H_{0}\\\forall x\in E,f_{n}(x){\xrightarrow[{n\to \infty }]{}}f(x)\end{matrix}}\right\}\Rightarrow f_{n}{\xrightarrow[{n\to \infty }]{}}f{\text{ dans }}H_{0}}


Et enfin ce dernier lemme permet d'affirmer que H 0 {\displaystyle H_{0}} est dense dans H {\displaystyle H} , soit H = H 0 ¯ {\displaystyle H={\overline {H_{0}}}}  :

( f n ) n  de Cauchy dans  H 0 ∀ x ∈ E , f n ( x ) → n → ∞ f ( x )     ( f ∈ H ) } ⇒ f n → n → ∞ f  dans  H {\displaystyle \left.{\begin{matrix}(f_{n})_{n}{\text{ de Cauchy dans }}H_{0}\\\forall x\in E,f_{n}(x){\xrightarrow[{n\to \infty }]{}}f(x)~~(f\in H)\end{matrix}}\right\}\Rightarrow f_{n}{\xrightarrow[{n\to \infty }]{}}f{\text{ dans }}H}


Étape 3 : ( H , ⟨ . , . ⟩ ) {\displaystyle \left(H,\left\langle .,.\right\rangle \right)} est complet !

Soit ( h n ) n {\displaystyle (h_{n})_{n}} une suite de Cauchy dans H {\displaystyle H} . Par densité, on peut trouver ( f n ) n {\displaystyle (f_{n})_{n}} une suite de H 0 {\displaystyle H_{0}} telle que ‖ h n − f n ‖ H ≤ 1 n {\displaystyle \|h_{n}-f_{n}\|_{H}\leq {\frac {1}{n}}} . Ainsi :

‖ f n − f m ‖ H = ‖ f n − h n + h n − h m + h m − f m ‖ H   ≤ ‖ f n − h n ‖ H + ‖ h n − h m ‖ H + ‖ h m − f m ‖ H   ≤ 1 n + 1 m + ‖ h n − h m ‖ H     → min ( n , m ) → ∞     0 {\displaystyle {\begin{aligned}\|f_{n}-f_{m}\|_{H}&=\|f_{n}-h_{n}+h_{n}-h_{m}+h_{m}-f_{m}\|_{H}\\\ &\leq \|f_{n}-h_{n}\|_{H}+\|h_{n}-h_{m}\|_{H}+\|h_{m}-f_{m}\|_{H}\\\ &\leq {\frac {1}{n}}+{\frac {1}{m}}+\|h_{n}-h_{m}\|_{H}~~{\xrightarrow[{\min {(n,m)}\to \infty }]{}}~~0\end{aligned}}}


La suite ( f n ) n {\displaystyle (f_{n})_{n}} est donc de Cauchy dans H 0 {\displaystyle H_{0}} , ainsi il existe f ∈ H {\displaystyle f\in H} telle que ∀ x ∈ E , f n ( x ) → n → ∞ f ( x ) {\displaystyle \forall x\in E,f_{n}(x){\xrightarrow[{n\to \infty }]{}}f(x)} . Il suffit alors d'écrire :

‖ h n − f ‖ H = ‖ h n − f n + f n − f ‖ H   ≤ ‖ h n − f n ‖ H + ‖ f n − f ‖ H   ≤ 1 n + ‖ f n − f ‖ H     → n → ∞     0 {\displaystyle {\begin{aligned}\|h_{n}-f\|_{H}&=\|h_{n}-f_{n}+f_{n}-f\|_{H}\\\ &\leq \|h_{n}-f_{n}\|_{H}+\|f_{n}-f\|_{H}\\\ &\leq {\frac {1}{n}}+\|f_{n}-f\|_{H}~~{\xrightarrow[{n\to \infty }]{}}~~0\end{aligned}}}

H {\displaystyle H} est donc complet, c'est un espace de Hilbert.


Étape 4 : Unicité

Pour prouver l'unicité, soit G {\displaystyle G} un autre espace de Hilbert de fonctions pour lequel K {\displaystyle K} est un noyau reproduisant. Pour tout x {\displaystyle x} et y {\displaystyle y} dans E {\displaystyle E} , ( ∗ ) {\displaystyle (*)} implique que: ⟨ K x , K y ⟩ H = K ( x , y ) = ⟨ K x , K y ⟩ G . {\displaystyle \langle K_{x},K_{y}\rangle _{H}=K(x,y)=\langle K_{x},K_{y}\rangle _{G}.\,}

Par linéarité, ⟨ ⋅ , ⋅ ⟩ H = ⟨ ⋅ , ⋅ ⟩ G {\displaystyle \langle \cdot ,\cdot \rangle _{H}=\langle \cdot ,\cdot \rangle _{G}} sur l'espace vectoriel H 0 {\displaystyle H_{0}} . Alors G = H {\displaystyle G=H} à cause de l'unicité de la complétion.

Noyau de Bergman

Article détaillé : noyau de Bergman.

Le noyau de Bergman est défini pour tout ouvert D de ℂn. Prenons l'espace de Hilbert H des fonctions holomorphes sur D qui sont de carré intégrable pour la mesure de Lebesgue. La théorie n'est pas triviale dans le cas où il existe de telles fonctions, qui ne soient pas identiquement nulles. Alors H est un espace à noyau reproduisant, avec comme fonction noyau le noyau de Bergman ; cet exemple, lorsque n = 1, a été introduit par Bergman en 1922.

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Reproducing kernel Hilbert space » (voir la liste des auteurs).
  • (en) Nachman Aronszajn, « Theory of Reproducing Kernels », Trans. Amer. Math. Soc., vol. 68, no 3,‎ , p. 337-404 (lire en ligne)

Lien externe

Gilles Leborgne, « Noyaux intégraux, espace de Hilbert à noyau reproduisant : introduction », sur isima.fr,

  • icône décorative Portail de l'analyse