Opérateur sur Lp
dans Analyse
Bonjour,
Je suis désespéré. Je n'arrive pas à comprendre le passage suivant d'un article.
Soit $1<p<\infty$. Soit $T:L^p(\mathbb{R})\to L^p(\mathbb{R})$ un opérateur borné qui commute avec les translations.
Soit $\theta:\mathbb{R}\to \mathbb{R}^2 $ l'application définie par $\theta(x,y)=x+y$. Comment voir que pour toute $f \in L^p(\mathbb{R})$ on a
$$
(T^2f)\circ \theta=(T\otimes T)(f\circ \theta) ?
$$
où $T\otimes T$ est l'opérateur borné défini par densité sur $L^p(\mathbb{R}^2)$ par
$$
(T\otimes T)(f\otimes g)= Tf \otimes Tg
$$
où $f \otimes g$ est définie par $(f\otimes g)(x,y)=f(x)g(y)$.
Merci d'avance
Je suis désespéré. Je n'arrive pas à comprendre le passage suivant d'un article.
Soit $1<p<\infty$. Soit $T:L^p(\mathbb{R})\to L^p(\mathbb{R})$ un opérateur borné qui commute avec les translations.
Soit $\theta:\mathbb{R}\to \mathbb{R}^2 $ l'application définie par $\theta(x,y)=x+y$. Comment voir que pour toute $f \in L^p(\mathbb{R})$ on a
$$
(T^2f)\circ \theta=(T\otimes T)(f\circ \theta) ?
$$
où $T\otimes T$ est l'opérateur borné défini par densité sur $L^p(\mathbb{R}^2)$ par
$$
(T\otimes T)(f\otimes g)= Tf \otimes Tg
$$
où $f \otimes g$ est définie par $(f\otimes g)(x,y)=f(x)g(y)$.
Merci d'avance
Réponses
-
J'ai cherché 5/10 minutes sans rien trouver de concluant.
Des pistes ?
- observer ce qu'il se passe dans le cas où $T$ est un opérateur de convolution : $Tf(x)=f*K(x)$ pour une certaine fonction $K$. Essayer ensuite de transposer la preuve.
- essayer de passer par des bases agréables (par exemple, pour les fonctions de l'espace vectoriel engendré par les $1_I \otimes 1_J$ où $I$ et $J$ sont des intervalles de la forme $[k2^{-n},(k+1)2^{-n}]$ pour un $n$ fixé, on voit bien ce que fait l'opérateur $T \otimes T$).
Je n'ai suivi aucune de ces pistes, elles sont peut-être stupides. -
Un plan ?
Une meilleure base : les fonctions de la forme $g*h$.
Au moins formellement, j'ai l'impression que l'on obtient rapidement :
$$
T \otimes T ((g*h) \circ \theta) = (Tg*Th) \circ \theta
$$
et
$$
Tg*Th = T^2 (g*h).
$$
Cela permettrait sans doute de conclure par densité. -
C'est louche : si $f=\mathbf{1}_{[0,1]}$, alors $f\in L^p(\R)$, mais $f\circ\theta\notin L^p(\R^2)$. Que veut alors dire $(T\otimes T)(f\circ\theta)$ ?
-
Merci je vais réfléchir.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres