Loading AI tools
théorème sur l'interpolation des opérateurs De Wikipédia, l'encyclopédie libre
En mathématiques, le théorème de Riesz-Thorin, souvent désigné sous le nom de théorème d'interpolation de Riesz-Thorin ou encore de théorème de convexité de Riesz-Thorin, est un résultat sur l'interpolation des opérateurs. Il est nommé d'après Marcel Riesz et son élève Olof Thorin (en).
Ce théorème délimite les normes d'applications linéaires définies entre deux espaces Lp. Son utilité réside dans le fait que certains de ces espaces ont une structure plus simple que d'autres, par exemple L2 qui est un espace de Hilbert, ou qu'ils offrent un cadre facilitant certains calculs, comme L1 et L∞. Par conséquent, on peut démontrer des théorèmes sur les cas les plus compliqués en commençant par les prouver dans deux cas simples, puis en utilisant le théorème de Riesz-Thorin pour passer des cas simples aux cas compliqués. Le théorème de Marcinkiewicz (en) est similaire, mais s'applique aux opérateurs quasi linéaires.
Nous noterons ║T║A,B la norme d'un opérateur borné T : A → B, où A et B sont deux espaces vectoriels normés :
Théorème — Soient et des espaces mesurés, et étant des mesures positives sigma-finies. On considère les espaces de Lebesgue Lp(μ) et Lq(ν) de fonctions à valeurs complexes[1].
Soient p0, p1, q0, q1 ∈ [1, +∞] et T un opérateur linéaire de Lp0(μ) + Lp1(μ) dans Lq0(ν) + Lq1(ν), borné de Lp0(μ) dans Lq0(ν), de norme , et de Lp1(μ) dans Lq1(ν), de norme .
Alors, pour tous p, q ∈ [1, +∞] tels que le couple (1/p, 1/q) appartienne au segment [(1/p0, 1/q0), (1/p1, 1/q1)], T est aussi borné de Lp(μ) dans Lq(ν), de norme M satisfaisant l'inégalité suivante :
Considérons l'opérateur de Fourier qui à une fonction définie sur le cercle unité associe la suite de ses coefficients de Fourier
Le théorème de Parseval montre que est borné de L2 vers de norme 1. D'autre part, il est clair que
de sorte que est borné de L1 dans , de norme 1. Par conséquent, nous pouvons invoquer le théorème de Riesz-Thorin et ainsi obtenir que, pour tout 1 < p < 2 , , en tant qu'opérateur de Lp dans , est borné de norme 1, où
Ceci se traduit par l'inégalité suivante :
Il s'agit de l'inégalité de Hausdorff-Young (en).
Soit une fonction intégrable fixe et soit l'opérateur de convolution associé à , c'est-à-dire que pour chaque fonction ,
Il est bien connu que est borné de L1 dans L1 et il est trivial qu'il est borné de L∞ dans L∞ (les deux bornes sont ). Par conséquent, le théorème de Riesz-Thorin donne
En gardant cette inégalité, nous échangeons l'opérateur et l'opérande, ou en d'autres termes, nous pensons comme l'opérateur de convolution avec , et nous obtenons que est borné de L1 dans Lp. En outre, puisque est dans Lp nous obtenons, compte tenu de l'inégalité de Hölder, que est borné de Lq dans L∞ où, à nouveau, . Ainsi, nous obtenons par interpolation l'inégalité de Young pour la convolution[4] :
où la relation entre p, r et s est
La démonstration originelle de ce théorème, publié en 1926 par Marcel Riesz, était un calcul long et difficile. Olof Thorin (en), un étudiant de Riesz, a par la suite découvert une démonstration beaucoup plus élégante et publié en 1939. À peu de chose près, c'est cette démonstration qui est exposée ci-dessus avec l'introduction de la fonction analytique bornée qui satisfait un principe du maximum sur une bande complexe et dont le maximum sur chacun des bords de la bande correspond à la norme de l'opérateur dans chacune des deux configurations que l'on cherche à interpoler. Le mathématicien anglais J. E. Littlewood a fait référence avec enthousiasme à la démonstration de Thorin comme « l'idée la plus impudente en mathématiques ».
Dans les années 1960, Alberto Calderón a adapté et généralisé les idées de Thorin pour développer la méthode d'interpolation complexe. Supposons que et soient deux espaces de Banach qui sont inclus, par une injection continue dans un espace approprié plus grand. Pour chaque avec , la méthode de Calderón permet de construire une famille de nouveaux espaces de Banach , qui sont « entre » et et qui satisfont la propriété « d'interpolation », à savoir que chaque opérateur linéaire borné sur et sur est aussi borné sur chacun des espaces d'interpolation complexe .
Les espaces de Calderón ont de nombreuses applications. Voir par exemple : « Espace de Sobolev ».
B. Mityagin a étendu le théorème de Riesz-Thorin. Nous formulons l'extension dans le cas particulier des espaces de suites avec des bases inconditionnelles :
Supposons que et que .
Alors pour tout espace de Banach de suites inconditionnel (c'est-à-dire tel que, pour toute suite et toute suite , ).
La démonstration est basée sur le théorème de Krein-Milman.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.