Permuter intégrale-série
Bonjour. Supposons que $\mu<0$. Soit $L^\alpha_n(x)$ le polynôme de Laguerre de type $n$ soit $f\in L^2(\Bbb C)$.
Comment on peut montrer que $$\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(|z|^2)e^{-|z|^2\over 2}dz= \int_{\Bbb C} \sum^\infty_{k=0}f(z)\frac{1}{2(2k+1)-\mu}L^0_k(|z|^2)e^{-|z|^2\over 2}dz,$$ avec $dz$ la mesure de Lebesgue. Rappelons que $\int^{+\infty}_{0} | L^{\alpha}_{k}(t) |^{2}t^{\alpha}e^{-t}dt=\frac{\Gamma(\alpha+k+1)}{\Gamma(k+1)}$,
Merci beaucoup.
Réponses
-
Tu ne peux pas car ce truc $\sum^\infty_{k=0}f(w)\frac{1}{2(2k+1)-\mu}$ diverge.Le 😄 Farceur
-
Mais il y a aussi une $L^0_k$.
-
désolé je suis aveugle et ce f(w) , le w dépend de quoi au justeLe 😄 Farceur
-
Ah oui w c'est z. Merci
-
Pourquoi la série
$$ \sum^\infty_{k=0}\frac{1}{2(2k+1)-\mu}L^0_k(|z|^2)$$ convergeLe 😄 Farceur -
L'égalité demandée est vrai au sens des distributions pour f à support compact. La somme converge au sens des distributions. Je pense par densité on peut l'étendre sur $L^2$
-
Bonjour @gebrane voir le PDF attaché (relation 12). La série converge mais dans quel sens
-
Sur Wiki https://en.wikipedia.org/wiki/Laguerre_polynomials j'ai trouvé cette fonction génératrice
$$(*)\qquad \sum_{n\geq 0} t^nL_n(x) =\frac 1{1-t}e^{-\tfrac {tx}{1-t}}$$ Elle permet de comprendre ta série $\sum_{n\geq 0} \frac{L_n(x)}{n+a}$
(tu multiplies (*) par $t^{a-1}$ et tu intègres en 0 et 1 en t).Le 😄 Farceur -
Mais la nouvelle série pourquoi elle converge.
-
Ecris l'intégrale obtenueLe 😄 Farceur
-
Donc on obtient: $\sum^\infty_{n=0} t^{n+a-1}L_n(x) = (1-t)^{-1}t^{a-1} \exp(-\frac{tx}{1-t})$
En intégrant on obtient le résultat désiré. Le membre qui est à droite est effectivement une représentation intégrale de la fonction $\Gamma(a)G(a,1,x)$ qui est dans $L^2(\R)$.
Il faut des justufcations pour permuter intégrale et somme. -
On a une convergence simple en utilisant le résultat en bas pour $n$ assez grand.
On a aussi $$\Gamma(a)\psi\left( a,c,x\right)= e^x \int^1_0 \exp(-{x\over 1-t}) t^{a-1}(1-t)^{c-1}\in L^2(\Bbb R) $$ -
Ne raconte pas des trucs que tu ne comprends pas . Tu tombes sur l'intégrale $\int^1_0 \exp(-{xt\over 1-t}) t^{a-1}(1-t)^{-1}dt$
C'est une intégrale généralisée, pourquoi elle converge ? ( je précise $\forall x\ne 0,\, \forall a>0$)Le 😄 Farceur -
Au voisinage de 1 converge et au voisinage de 0 converge si et seulement si a>0.
-
ok et tu n'as plus besoin de personne pour permuter série et intégraleLe 😄 Farceur
-
Si, comment on permute
-
$\int \sum = \sum \int$
-
Tu es méchant @JLapin
floyd mayweather tu connais quoi comme théorème qui permet de permuter les deux trucs ?Le 😄 Farceur -
Théorème de Tonelli pour les séries, convergence dominée, convergence uniforme, ils ne fonctionnent pas.
Jlapin, si tu es capable montrer nous -
Ne sous-estime pas Jlapin. Ce que tu ne comprends pas, c'est du niveau L1 L2. Je t'explique pour en finir.
Pour permuter ta série $\sum^\infty_{n=0} t^{n+a-1}L_n(x)$, $x,a >0$ et ton intégrale il suffit https://fr.wikipedia.org/wiki/Théorème_d'interversion_série-intégrale de montrer que la série du terme général
$$\int_0^1 |t^{n+a-1}L_n(x)| dt$$ est convergente, on a
$\int_0^1 |t^{n+a-1}L_n(x)| dt=|L_n(x)|\int_0^1 t^{n+a-1} dt=\frac{|L_n(x)|}{n+a}$. J'espère que tu sais https://les-mathematiques.net/vanilla/index.php?p=/discussion/comment/2382853/#Comment_2382853 que pour $x>0$, $|L_n(x)|\sim \frac c{n^{\frac 14}}$, $c>$0, donc la série $\sum^\infty_{n=0}\frac{|L_n(x)|}{n+a}$ est convergente (équivalente à une série de Riemann convergente).
Le 😄 Farceur -
Mais nous on veut $\sum^\infty_{k=0}\int_{\Bbb C} f(z)\frac{1}{2(2k+1)-\mu}L^0_k(|z|^2)e^{-|z|^2\over 2}dz=\int_{\Bbb C} \sum^\infty_{k=0}f(z)\frac{1}{2(2k+1)-\mu}L^0_k(|z|^2)e^{-|z|^2\over 2}dz$
-
Je t'ai expliqué la situation.floyd mayweather a dit :Donc on obtient: BlaBlaBla...
Il faut des justufcations pour permuter intégrale et somme.Le 😄 Farceur
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 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