équivalence
Bonjour,
pour $h>0$ et $s>0$, on considère l'espace:
$\displaystyle F_h^s=\left\{u\in H(\mathbb{C}^d)\;\text{tel que}\;\int_{\mathbb{C}^d}<x>^{2s}|u(x)|^2\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty\right\}$
Où $H(\mathbb{C}^d)$ désigne l'ensemble des fonctions holomorphes à variable dans $\mathbb{C}^d$ et $<x>^{2s}=(1+|x|^2)^{s}$.
Je veux montrer l’équivalence suivante:
$\displaystyle f=\sum_{\alpha\in \mathbb{N}^d}f_{\alpha}\frac{x^{\alpha}}{\sqrt{\alpha!(2\pi\;h)^{|\alpha|}}}\in F_h^s$
si et seulement si
$\displaystyle\sum_{\alpha\in \mathbb{N}^d}(1+|\alpha|)^{2s} |f_{\alpha}|^2<\infty$
Indication:
$\displaystyle\int_{\mathbb{C}^d}\bar{\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}}\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} \frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)=\delta_{\alpha_1,\alpha_2}$ .
Voici ce que j'ai écrit:
$\displaystyle f=\sum_{\alpha\in \mathbb{N}^d}f_{\alpha}\frac{x^{\alpha}}{\sqrt{\alpha!(2\pi\;h)^{|\alpha|}}}\in F_h^s$
si et seulement si
$\displaystyle \int_{\mathbb{C}^d}<x>^{2s}|f(x)|^2\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty$
si et seulement si
$\displaystyle \int_{\mathbb{C}^d}<x>^{2s}\sum_{\alpha_1\in \mathbb{N}^d}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}^d}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty$
et je suis bloqué ici :-(
Merci bien de m'aider.
pour $h>0$ et $s>0$, on considère l'espace:
$\displaystyle F_h^s=\left\{u\in H(\mathbb{C}^d)\;\text{tel que}\;\int_{\mathbb{C}^d}<x>^{2s}|u(x)|^2\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty\right\}$
Où $H(\mathbb{C}^d)$ désigne l'ensemble des fonctions holomorphes à variable dans $\mathbb{C}^d$ et $<x>^{2s}=(1+|x|^2)^{s}$.
Je veux montrer l’équivalence suivante:
$\displaystyle f=\sum_{\alpha\in \mathbb{N}^d}f_{\alpha}\frac{x^{\alpha}}{\sqrt{\alpha!(2\pi\;h)^{|\alpha|}}}\in F_h^s$
si et seulement si
$\displaystyle\sum_{\alpha\in \mathbb{N}^d}(1+|\alpha|)^{2s} |f_{\alpha}|^2<\infty$
Indication:
$\displaystyle\int_{\mathbb{C}^d}\bar{\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}}\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} \frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)=\delta_{\alpha_1,\alpha_2}$ .
Voici ce que j'ai écrit:
$\displaystyle f=\sum_{\alpha\in \mathbb{N}^d}f_{\alpha}\frac{x^{\alpha}}{\sqrt{\alpha!(2\pi\;h)^{|\alpha|}}}\in F_h^s$
si et seulement si
$\displaystyle \int_{\mathbb{C}^d}<x>^{2s}|f(x)|^2\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty$
si et seulement si
$\displaystyle \int_{\mathbb{C}^d}<x>^{2s}\sum_{\alpha_1\in \mathbb{N}^d}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}^d}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)^d}\;d(Re\;x)\;d(Im\;x)<+\infty$
et je suis bloqué ici :-(
Merci bien de m'aider.
Réponses
-
Je relance la question en espérant qu'il y a ceux qui peuvent aider:-(
-
Pour clarifier tes idées, commence par le cas unidimensionnel et vire les constantes inutiles.
-
en $d=1$ on a
$\displaystyle f=\sum_{\alpha\in \mathbb{N}}f_{\alpha}\frac{x^{\alpha}}{\sqrt{\alpha!(2\pi\;h)^{|\alpha|}}}\in F_h^s$
si et seulement si
$\displaystyle \int_{\mathbb{C}}<x>^{2s}|f(x)|^2\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x)<+\infty$
si et seulement si
$\displaystyle \int_{\mathbb{C}}<x>^{2s}\sum_{\alpha_1\in \mathbb{N}}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x)<+\infty$
et je veux utiliser le fait que $\frac{-2h}{x}\partial_{\bar{x}}e^{-\frac{|x|^2}{2h}}=e^{-\frac{|x|^2}{2h}}$
\begin{align*}
\displaystyle \int_{\mathbb{C}}&<x>^{2s}\sum_{\alpha_1\in \mathbb{N}}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x)\\&=\displaystyle \int_{\mathbb{C}}<x>^{2s}\sum_{\alpha_1\in \mathbb{N}}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }(\frac{\frac{-2h}{x}\partial_{\bar{x}}e^{-\frac{|x|^2}{2h}}}{(2\pi h)})\;d(Re\;x)\;d(Im\;x)\\&=2h \int_{\mathbb{C}}\partial_{\bar{x}}\Big(\frac{1}{x}<x>^{2s}\sum_{\alpha_1\in \mathbb{N}}f_{\alpha_1}\frac{x^{\alpha_1}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}}
\sum_{\alpha_2\in \mathbb{N}}\bar{f_{\alpha_2}}\bar{\frac{x^{\alpha_2}}{\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}} }\Big)\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x)\\&=2h \int_{\mathbb{C}}\sum_{\alpha_1,\alpha_2\in \mathbb{N}}f_{\alpha_1}\bar{f_{\alpha_2}}\frac{\partial_{\bar{x}}\Big(\frac{1}{x}(1+|x|^2)^sx^{\alpha_1}\bar{x^{\alpha_2}\Big)}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}}
\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x) \\&=2h \int_{\mathbb{C}}\sum_{\alpha_1,\alpha_2\in \mathbb{N}}f_{\alpha_1}\bar{f_{\alpha_2}}\frac{\partial_{\bar{x}}\Big(\frac{1}{|x|^2}(1+|x|^2)^sx^{\alpha_1}\bar{x^{\alpha_2+1}\Big)}}{\sqrt{\alpha_1!(2\pi\;h)^{|\alpha_1|}}\sqrt{\alpha_2!(2\pi\;h)^{|\alpha_2|}}}
\frac{e^{-\frac{|x|^2}{2h}}}{(2\pi h)}\;d(Re\;x)\;d(Im\;x)
\end{align*}
dans l'avant dernière ligne j'ai faire une intégration par parties mais je n'arrive pas à trouver le résultat -
J'espère qu'il y a ceux qui sont entrain d'essayer avec moi, hier j'ai passé toute la journée à réfléchir pour trouver la solution, mais je n'arrive pas à la trouvé:-(
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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