Fonction à croissance lente
Bonjour
on dit qu'une fonction continue $f$ est à croissance lente s'il existe $p \geq 0$ et $C>0$ telles que, pour tout $x \in \R^n$,
$$
|f(x)| \leq C(1+|x|)^p
$$
comment on construit un exemple de fonction à croissance lente? Et comment construire un exemple de distribution tempérée définie par une fonction à croissance lente?
Merci d'avance.
on dit qu'une fonction continue $f$ est à croissance lente s'il existe $p \geq 0$ et $C>0$ telles que, pour tout $x \in \R^n$,
$$
|f(x)| \leq C(1+|x|)^p
$$
comment on construit un exemple de fonction à croissance lente? Et comment construire un exemple de distribution tempérée définie par une fonction à croissance lente?
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Et pour $f$ à croissance lente, on peut définir la distribution tempérée $T_f$ associée par
$\forall \varphi \in S, \langle T_f, \varphi \rangle = \int_{\R^n} f(x) \varphi(x) dx$
Démontre donc que ça défini bien une distribution tempérée.
1- Pour la valeur principale de Cauchy $vp(\dfrac{1}{x})$ on sait que c'est une distribution d'ordre 1. Pourquoi elle est tempérée?
2- on sait que si $f \in L^1(\R^n)$ et $\dfrac{\partial f}{\partial x_j} \in L^1(\mathbb{R}^n),$, alors $F(\dfrac{\partial f}{\partial \xi_j})(\xi)= i \xi_j Ff(\xi)$. Si $f \in L^1(\R^n)$ et $x \to x_j \in L^1(\R^n)$ pour tout $1 \leq j \leq n$ alors $Ff \in C^1(\R^n)$ et $F(x_j f)(\xi)= i \partial_{\xi_j} Ff(\xi)$.
Dans les cours je lis qu'un corollaire immédiat de ces propriétés est que plus la fonction est régulière, plus sa transformée de Fourier décroit vite, et vice-versa. Cette dualité est fondamentale pour la théorie de Fourier.
Je ne comprend pas du tout cette histoire de régularité et de dualité.
Je cherche à comprendre ces deuxpoints
Si $f$ est $C^{\infty}$, alors $Ff$ est à décroissance rapide $^*$. Par "dualité", on entend que si $f$ est à décroissance rapide, alors $Ff$ est $C^{\infty}$.
$^*$ : $f : \mathbb{R} \to \mathbb{C} $ est à décroissance rapide si $\forall \alpha >0, |f| = O(|x|^{-\alpha})$
Edit : Pour aller dans le même sens que @Tryss quand il t'explique ce qu'est la croissance lente , une fonction est à décroissance rapide lorsqu'elle décroît plus vite que l'inverse de tout polynôme.
Edit : ok , pas lu ta réponse (tu)
pour la relation entre Fourier et la régularité?
Que proposes-tu comme définition ?
On dit qu'une fonction mesurable $f$ est à croissance lente s'il existe $p \geq 0$ et $C > 0$ telles que, pour presque tout $x\in \R^n$, $|f(x)| \leq C (1+|x|)^p$
@mati
Ce que tu dis dans ton dernier message est faux
Gebrane : Apres on peut énoncer que toute fonction mesurable à croissante lente définit une distribution tempérée
Tryss : si la fonction n'est pas mesurable, comment défini tu sa distribution associée?
J'avais fait une recherche avant, pour voir ce que les autres font, des auteurs préfèrent que : la mesurabilité vient après. (pour construire T_f)
Un exemple https://moodle.utc.fr/pluginfile.php/50425/mod_resource/content/0/ChapIV_TF/MT12_ChapIV2.pdf
Si on impose à f d’être mesurable dans la définition : Prend E l'ensemble de Vitali et f l'indicatrice de E , alors f n'est pas mesurable et donc f n'est pas à croissante lente d’après cette définition mais visiblement la croissante de f est lente comme fonction bornée.
la réponse à ta question dans http://www.les-mathematiques.net/phorum/read.php?4,1694710,1695258#msg-1695258 c'est la Tf donnée par Tryss. je te laisse avec Tryss sur le pour quoi que Tf est bien dans S' en utilisant la définition ( forme linaire continue sur S)
...sont venues juste comme ça, par hasard?
L'inventeur des distributions Laurent Schwartz à lui même dit que la découverte des distributions et la sauce qui va avec ( espace S, espace S', croissante lente, décroissante rapide, Fourier,....) était une révélation d'une nuit ( ou deux). Je ne sais rien sur la chronologie de ces découvertes.
@mati
J'ai un doute que tu sais démontrer que Tf est bien tempérée. Prouve le moi
$f \in S'(\R^n)$ est équivalent à $|<T_f,\phi>_{S',S}| \leq C N_p(\phi)$.
D'abord $f \in L^1_{loc}(\R^n)$ veut dire qu'il définit la distribution $<T_f,\phi>_{D',D}= \int_{\R^n} f \phi dx$. Après je ne vois pas comment la majoration par un polynôme rentre en jeu pour montrer que $f \in S'$.
Merci d'avance.
Comment savoir qui est la bonne semi norme?:-S
Ensuite soit $\varphi \in S(\R^n)$ alors pour tout polynôme $P$ on a $||P.D^\beta \varphi||_{\infty} \leq c.$
On a $|\langle T_f,\varphi\rangle| \leq\displaystyle\int_{\R^n} |P(x) \varphi(x)| dx$
là il y a une norme $L^1$, comment passer à la norme $L^{\infty}$?
\sup_{|\alpha|\leq p, |\beta| \leq p} \| x^\alpha D^\beta \varphi \|_\infty \leq \sum_{|\alpha|\leq p, |\beta | \leq p } \| x^\alpha D^\beta \varphi \|_\infty \leq (p+1)^2 \sup_{|\alpha|\leq p, |\beta| \leq p} \| x^\alpha D^\beta \varphi \|_\infty
\] Sinon, pour ta deuxième question, il suffit de remarquer que \[
\int_{\R^n} | P(x)\varphi(x) | dx \leq \int_{\R^n} |P(x) Q(x) \varphi(x) |\,\Big|\frac{1}{Q(x)}\Big| dx \leq \| P(x)Q(x) \varphi(x) \|_\infty \Big\|\frac{1}{Q(x)}\Big\|_1
\] Il suffit donc de choisir un polynôme $Q$ adapté.
Lemme: Soit $f \in L^1_{loc}(\R^n)$. Si de plus $f$ est majorée par un polynôme $P$, alors $f$ est un élément de $S'(\R^n)$.
Cette formulation est correcte?