Espace d'interpolation

Espace d'interpolation

En analyse, un espace d'interpolation ou espace interpolé est un espace qui se trouve entre deux autres espaces. Les applications les plus importantes de cette notion ont lieu pour les espaces de Sobolev de fonctions qui sont dérivables un nombre non entier de fois. Ces espaces sont créés par interpolation à partir des espaces de Sobolev de fonctions dérivables un nombre entier de fois.

Sommaire

Historique

La théorie de l'interpolation des espaces vectoriels a débuté par une observation faite par Józef Marcinkiewicz, et qui fut généralisée ultérieurement et connue sous le nom de théorème de Riesz-Thorin (en). En termes simples, si une fonction linéaire est continue sur un certain espace Lp et aussi sur un autre espace Lq, alors elle est aussi continue sur l'espace Lr, pour tout r compris entre p et q. En d'autres mots, Lr est un espace intermédiaire entre Lp et Lq.

Au cours du développement des espaces de Sobolev, il est devenu évident que les espaces des traces des fonctions des espaces de Sobolev n'étaient en aucune manière des espaces de Sobolev usuels (composés de fonctions différentiables un nombre entier de fois), et Jacques-Louis Lions a découvert que, de fait, ces espaces de traces étaient constitués de fonctions ayant un degré de différentiabilité non-entier.

De nombreuses méthodes ont été mises au point pour construire de tels espaces de fonctions : transformation de Fourier, interpolation complexe, interpolation réelle, dérivées fractionnaires, théorème de Chaatit, etc.

Discussion technique

Dans cet article nous sommes intéressés par la situation suivante : X et Z sont des espaces de Banach, et X est un sous-ensemble de Z, mais la norme de X n'est pas la même que celle de Z. X est dit plongé continument dans Z s'il existe une constante C<\infty telle que \|u\|_Z \leqslant C \|u \|_X \quad \text{ pour tout } u \in X.

C'est le cas par exemple si X={ H^1(\R)} et Z={L^2(\R)}.

Soient X et Y deux espaces de Banach qui sont deux sous-ensembles de Z. De plus on définit des normes sur X \cap Y et X + Y par :

\|u\|_{X \cap Y} := \max ( \|u\|_X, \|u\|_Y )
\|u\|_{X + Y} := \inf \{ \|u_1\|_X + \|u_2\|_Y ; \; u = u_1 + u_2, \; u_1 \in X, \; u_2 \in Y \}

Alors les inclusions suivantes sont toutes continues : X \cap Y \subset X,Y \subset X+Y.

À partir de maintenant, l'espace Z ne joue plus aucun rôle, il a juste servi pour donner un sens à X+Y. Notre but maintenant est de construire des espaces intermédiaires entre X and Y dans le sens suivant :

Définition : X et Y étant définis comme ci-dessus, un espace d'interpolation est un espace de Banach W ayant les propriétés suivantes :

Si L est opérateur linéaire de X+Y dans lui-même, qui est continu de X dans lui-même et de Y dans lui-même, alors L est aussi continu de W dans lui-même.

De plus, l'espace W est dit d'exposant θ ( 0<θ<1 ) s'il existe une constante C telle que, quel que soit l'opérateur L satisfaisant les conditions ci-dessus, on ait :
\|L\|_{W;W} \leqslant C \|L\|_{X;X}^{1-\theta} \|L\|_{Y;Y}^{\theta}

On a utilisé la notation \|L\|_{A;B} pour la norme de l'opérateur L en tant qu'application de A dans B. Si C = 1 (ce qui est la plus petite valeur possible), on peut dire en plus que W est un espace exactement interpolé.

Il y a de nombreuses manières de construire des espaces interpolés (et le théorème de Riesz-Thorin en est un exemple pour les espaces Lp). La méthode d'interpolation complexe est valable pour des espaces de Banach arbitraires.

Interpolation complexe

Si le corps des scalaires est celui des nombres complexes, alors on peut utiliser les propriétés des fonctions analytiques complexes pour définir un espace d'interpolation.

Définition: Soient deux espaces de Banach X et Y, la méthode d'interpolation complexe consiste à considérer l'espace des fonctions analytiques f à valeurs dans X+Y, définie sur la bande ouverte \displaystyle 0 < \text{Re}(z) < 1 , continue sur la bande fermée 0 \leqslant \text{Re}(z) \leqslant 1 , et telles que
f(iy) est borné dans X, f(1+iy) est borné dans Y.
On définit la norme
\|f\| = \max\{\sup_y\|f(iy)\|_X,\sup_y\|f(1+iy)\|_Y\}.
Et pour 0 < θ < 1, on définit
[X,Y]_\theta = \{ u \in X+Y \}, \quad \text{ muni de la norme } \|u\| = \inf_{f(\theta)=u}\|f\|.

Il est alors facile de montrer que nous avons le

Théorème: W = [X, Y]θ est un espace exactement interpolé d'exposant θ.

Interpolation réelle (par la méthode K)

La méthode K d'interpolation réelle peut être utilisée même quand le corps des scalaires est celui des nombres réels.

Définition: Pour tout u \in X+Y, on pose K(t,u)=\min_{u=u_1+u_2} \|u_1\|_X + t \|u_2\|_Y et
\|u\|_{\theta,q;K} = \left( \int_0^\infty t^{-\theta} (K(t,u))^q~{\mathrm dt \over t} \right)^{1/q}, \quad 1 \leqslant q \leqslant \infty.
Alors la méthode K d'interpolation réelle consiste à définir Kθ,q(X,Y) comme l'ensemble de tous les éléments u de X+Y tels que \|u\|_{\theta,q;K}<\infty.

Kθ,q(X,Y) est un espace exactement interpolé de degré θ.

Interpolation réelle (par la méthode J)

Comme avec la méthode K, la méthode J peut aussi être utilisée pour les espaces vectoriels sur le corps des réels.

Définition: Pour tout u \in X \cap Y, on pose J(t,u)=\max(\|u\|_X,t \|u\|_Y). Alors, u est un élément de Jθ,q(X,Y) si et seulement s'il peut être écrit comme u = \int_0^\infty v(t)~{\mathrm dt \over t}, où la fonction v(t) est mesurable à valeurs dans X \cap Y, et telle que
\Phi(v)=\left(\int_0^\infty t^{-\theta}(J(t,v(t)))^q~{\mathrm dt\over t}\right)^{1/q}<\infty.
La norme de u est \|u\|_{\theta,q;J} := \inf_v \Phi(v).

Ici encore, Jθ,q(X,Y) est un espace exactement interpolé de degré θ.

Relations entre les méthodes d'interpolation

Les deux méthodes d'interpolation réelles sont souvent équivalentes.

Théorème: Si 0<θ<1 et 1 ≤ q ≤ ∞, alors Jθ,q(X,Y) = Kθ,q(X,Y) avec équivalence des normes.

Quand les deux méthodes sont équivalentes, on écrit [X,Y]θ,q pour la méthode d'interpolation réelle. En contraste, la méthode d'interpolation complexe n'est habituellement pas équivalente à la méthode d'interpolation réelle. Cependant, il y a quand même une relation entre les deux.

Théorème: Si 0 < θ < 1, alors
[X,Y]_{\theta,1} \subset [X,Y]_\theta \subset [X,Y]_{\theta,\infty}.\,

Références

  • (en) R. A. Adams et J. J. F. Fournier, Sobolev Spaces, Academic Press, 2003 (ISBN 0-12-044143-8)
  • (en) Jöran Bergh et Jörgen Löfström, Interpolation Spaces : An Introduction, Springer, 1976 (ISBN 3-540-07875-4)
  • (en) Luc Tartar, An Introduction to Sobolev Spaces and Interpolation, Springer, 2007 (ISBN 978-3-540-71482-8)

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Espace de Sobolev — Les espaces de Sobolev sont des espaces fonctionnels. Plus précisément, un espace de Sobolev est un espace vectoriel de fonctions muni de la norme obtenue par la combinaison de la norme norme Lp de la fonction elle même ainsi que de ses dérivées… …   Wikipédia en Français

  • Espace De Sobolev — Les espaces de Sobolev sont des espaces fonctionnels. Plus précisément, un espace de Sobolev est un espace vectoriel de fonctions muni de la norme obtenue par la combinaison de la norme norme Lp de la fonction elle même ainsi que de ses dérivées… …   Wikipédia en Français

  • Espace de sobolev — Les espaces de Sobolev sont des espaces fonctionnels. Plus précisément, un espace de Sobolev est un espace vectoriel de fonctions muni de la norme obtenue par la combinaison de la norme norme Lp de la fonction elle même ainsi que de ses dérivées… …   Wikipédia en Français

  • Interpolation Lagrangienne — En analyse numérique, les polynômes de Lagrange, du nom de Joseph Louis Lagrange, permettent d interpoler une série de points par un polynôme qui passe exactement par ces points appelés aussi nœuds. Cette technique d interpolation polynomiale a… …   Wikipédia en Français

  • Interpolation de Lagrange — Interpolation lagrangienne En analyse numérique, les polynômes de Lagrange, du nom de Joseph Louis Lagrange, permettent d interpoler une série de points par un polynôme qui passe exactement par ces points appelés aussi nœuds. Cette technique d… …   Wikipédia en Français

  • Interpolation de lagrange — Interpolation lagrangienne En analyse numérique, les polynômes de Lagrange, du nom de Joseph Louis Lagrange, permettent d interpoler une série de points par un polynôme qui passe exactement par ces points appelés aussi nœuds. Cette technique d… …   Wikipédia en Français

  • Espace Dual — En mathématiques, l espace dual d un espace vectoriel E est l ensemble des formes linéaires sur E. La structure d un espace et celle de son dual sont très liées. La fin de cet article présente quelques résultats sur les liens entre espace dual et …   Wikipédia en Français

  • Espace de Besov — En analyse fonctionnelle, les espaces de Besov sont des espaces d interpolation intermédiaires entre les espaces de Sobolev. Les espaces de Sobolev de degré non entier sont obtenus par interpolation complexe à partir des espaces de Sobolev de… …   Wikipédia en Français

  • Interpolation lagrangienne — En analyse numérique, les polynômes de Lagrange, du nom de Joseph Louis Lagrange, permettent d interpoler une série de points par un polynôme qui passe exactement par ces points appelés aussi nœuds. Cette technique d interpolation polynomiale a… …   Wikipédia en Français

  • Quaternions et rotation dans l'espace — Les quaternions unitaires fournissent une notation mathématique commode pour représenter l orientation et la rotation d objets en trois dimensions. Comparés aux angles d Euler, ils sont plus simple à composer et évitent le problème du blocage de… …   Wikipédia en Français

Share the article and excerpts

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