Fourier dans $ L^p$

Bonjour.
D'après le Théoreme de Stein on a 
THEORem. If $f$ is in $L^p\left(\mathbf{R}^n\right)$ for some $p$ with $1 \leqslant p<2(n+1) /(n+3)$, then

$\int_{S^{n-1}}|\hat{f}(\theta)|^2 d \theta \leqslant c_p\|f\|_p^2 .$
Ici comment on a défini Fourier
Merci

Réponses

  • Il faut comprendre l'énoncé dans le sens suivant

    Théorème : Soient $1\leq p<2(d+1)/(d+3)$ et $S(\mathbb{R}^d)\subset L^p(\mathbb{R}^d)$ l'espace de Schwartz. Soit $T:S(\mathbb{R}^d)\to L^2(\mathbb{S}^{d-1})$ l'opérateur défini par $Tf:=\hat{f}_{|\mathbb{S}^{d-1}}$ (c'est bien défini puisque $\hat{f}$ est une fonction continue donc appartient bien à $L^2(\mathbb{S}^{d-1})$). Alors $\|Tf\|_{L^2(\mathbb{S}^{d-1})}\leq c_p\|f\|_{L^p(\mathbb{R}^d)}$ pour tout $f\in S(\mathbb{R}^d)$.

    Puisque $S(\mathbb{R}^d)$ est dense dans $L^p(\mathbb{R}^d)$, il s'ensuit que $T$ se prolonge de manière unique en un opérateur borné $L^p(\mathbb{R}^{d})\to L^2(\mathbb{S}^{d-1})$. Dès lors, on peut définir $\hat{f}\in L^2(\mathbb{S}^{d-1})$ pour tout $f\in L^p(\mathbb{R}^d)$ comme étant simplement l'image de $f$ par l'opérateur qui prolonge $T$.
  • J'ai bien compris, ton explication. Merci.
    Ma question comment définir Fourier dans $L^p$ avec $ p>2$.
  • Bah,  toute fonction f dans $L^p$, où $1≤p≤∞$, induit une distribution tempérée $T_f$ et que la transformée de Fourier de $T_f$ est elle-même une distribution tempérée
    Lorsque notre cher Nico, le professeur, intervient dans une question d'analyse, c'est une véritable joie pour les lecteurs..


  • oui@gebrane, mais dans l'énoncé du théorème ce n'est plus une distribution.
  • bon révise ton cours , une fonction localement intégrable est identifiée à une distribution régulière, ici tu  peux l'identifier à une distribution tempérée
    Lorsque notre cher Nico, le professeur, intervient dans une question d'analyse, c'est une véritable joie pour les lecteurs..


  • Autre façon de voir les choses. Puisque $p\in [1;2]$ on peut découper toute fonction $f\in L^p$ comme $f= g+h$ où $g\in L^1$ et $h\in L^2$. On pose alors $\hat f = \hat g + \hat h$, le membre de droite est bien défini puisque l'on sait donner un sens à la transformation de Fourier $L^1$ et $L^2$. Par injectivité de la transformation de Fourier on montre facilement que cette définition ne dépend pas du découpage choisi, ce qui assure d'avoir une "bonne" définition. 
  • @gebrane. Fourier d'un $L^p$ fonction n'est pas même une fonction, mais $L^q$ fonction si $p\leq2$.
    @Renart, oui en utilisant $f=f1_A+f1_{A^c}$ où $A=\{x\in\R^n: f(x)\leq 1\}$ et pour la quantité à gauche pour qoui elle est finie(  car on intègre sur une partie de mesure nulle. Non?)

  • mathspe
    Modifié (May 2024)
    Je crois que la quantité à gauche est finie car:
    Selon l'inégalité de Hausdorff-Young, la transformée de Fourier transforme $ L^p(\mathbb{R}^n)  $ en $  L^q(\mathbb{R}^n)$ car  $ \|\hat{f}\|_{L^q(\mathbb{R}^n)} \leq C \|f\|_{L^p(\mathbb{R}^n)}$.
    et on l'intègre sur une partie de mesure nulle? 
  • mathspe a dit :

    Ma question comment définir Fourier dans $L^p$ avec $ p>2$.
    J'ai répondu clairement à cette question, on définit Fourier dans $L^p$  en tant que distribution tempérée.
    Je pense que @Renart est d'accord


    Lorsque notre cher Nico, le professeur, intervient dans une question d'analyse, c'est une véritable joie pour les lecteurs..


  • Je pense que @Renart est d'accord

    Je ne sais pas, je ne comprend pas ce que dit mathspe. Dans son théorème $p<2$, donc la définition de la transformation de Fourier pour $p>2$...


  • @Renart. Pour $p>2$ il n'y a pas une définition classique de Fourier , mais il y a une définition  au sens des distributions tempérées.
    D'après l'inégalité de Hausdorff-Young  on montrer que si $ p,q\geq1: ||\hat{f}||_q\leq||f||_p$ alors nécessairement $1\leq p\leq 2$ et $\frac{1}{p}+\frac{1}{q}=1$.

Connectez-vous ou Inscrivez-vous pour répondre.