Comment dériver la formule du terme dans $ \sum_{n=1}^\infty \frac{1\cdot4\cdot \ldots \cdot(3n+1)}{(2n+1)!!} $
Je suis tombé sur le problème d'examen suivant
Testez la convergence de la série:
$$ \sum_{n=1}^\infty \frac{1\cdot4\cdot \ldots \cdot(3n+1)}{(2n+1)!!} $$
J'ai donc pensé que chaque deuxième facteur du numérateur s'annulerait avec chaque facteur du dénominateur et cela donnera (en fait pas vrai) *
$$\sum_{n=1}^\infty4\cdot10\cdot16\cdot22...$$
Dans ce cas particulier, il est peut-être déjà évident que les séries divergent, mais je voulais en déduire une formule exacte afin de pouvoir prouver la convergence ou la divergence avec des critères / tests appropriés. Et après avoir passé 10 minutes à essayer de le comprendre, j'ai trouvé la formule suivante$\ 2(2+3(n+1))=6n-2$. Ce qui s'avère assez facile à découvrir dans ce cas particulier si j'ai remarqué que ces nombres étaient des multiples de 6 à 2.
Ma question est la suivante: existe-t-il un moyen connu de dériver ces formules à partir de sommes infinies et de produits infinis? Ou le processus de dérivation devient plus facile simplement avec le temps et la pratique?
Je suis assez nouveau dans tout cela, désolé si je manque l'évidence avec la question.
* Comme indiqué par @ alex.jordan dans les commentaires, j'ai fait une erreur là-bas et l'annulation ne se produira pas de la manière que j'ai décrite. Néanmoins, cela n'affecte pas l'essence de la question, je vais donc la laisser sans modification pour le moment.
Réponses
Transformer un fil de commentaires en réponse:
Sans trouver explicitement une formule fermée pour les termes, vous pouvez toujours appliquer le test de rapport. Tous les termes sont positifs, je vais donc omettre d'utiliser la valeur absolue qui se présente sous la forme plus générale du test de rapport.
$$ \begin{align} \frac{a_{n+1}}{a_n} &=\frac{\frac{1\cdot4\cdot \ldots \cdot(3(n+1)+1)}{(2(n+1)+1)!!}}{\frac{1\cdot4\cdot \ldots \cdot(3n+1)}{(2n+1)!!}}\\ &=\frac{1\cdot4\cdot \ldots \cdot(3(n+1)+1)}{1\cdot4\cdot \ldots \cdot(3n+1)}\cdot\frac{(2n+1)!!}{(2(n+1)+1)!!}\\ &=\frac{\require{cancel}\cancel{1\cdot4\cdot \ldots \cdot(3n+1)}\cdot(3(n+1)+1)}{\cancel{1\cdot4\cdot \ldots \cdot(3n+1)}}\cdot\frac{(2n+1)!!}{(2n+3)!!}\\ &=(3n+4)\cdot\frac{(2n+1)!!}{(2n+3)\cdot(2n+1)!!}\\ &=\frac{3n+4}{2n+3} \end{align} $$
Cette expression va à $\frac{3}{2}>1$ comme $n\to\infty$, donc par le test de ratio, la série originale diverge.
Considérer $$a_n=\frac{\prod_{k=0}^n (3k+1) } {(2n+1)!! }\qquad \text{and} \qquad S_p=\sum_{n=1}^p a_n$$ La première $S_p$Les s sont faciles à calculer; ils génèrent la séquence$$\left\{\frac{4}{3},\frac{16}{5},\frac{88}{15},\frac{1312}{135},\frac{2528}{165},\frac {34912}{1485},\frac{31648}{891},\frac{89504}{1683},\frac{1199776}{15147},\frac{5345248}{45441}\right\}$$ ce qui est "presque" exponentiel.
Éditer
Tôt ou tard, vous apprendrez que $$\sum_{n=0}^\infty a_n\,x^n=\, _2F_1\left(1,\frac{4}{3};\frac{3}{2};\frac{3 }{2}x\right)$$ qui est la fonction hypergéométrique gaussienne qui tend à $\infty$ quand $x\to \frac 23$ par le bas.
$\newcommand{\bbx}[1]{\,\bbox[15px,border:1px groove navy]{\displaystyle{#1}}\,} \newcommand{\braces}[1]{\left\lbrace\,{#1}\,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\,{#1}\,\right\rbrack} \newcommand{\dd}{\mathrm{d}} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,\mathrm{e}^{#1}\,} \newcommand{\ic}{\mathrm{i}} \newcommand{\mc}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\pars}[1]{\left(\,{#1}\,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\root}[2][]{\,\sqrt[#1]{\,{#2}\,}\,} \newcommand{\totald}[3][]{\frac{\mathrm{d}^{#1} #2}{\mathrm{d} #3^{#1}}} \newcommand{\verts}[1]{\left\vert\,{#1}\,\right\vert}$ \begin{align} &\bbox[5px,#ffd]{{1\times 4 \times \cdots \times \pars{3n + 1} \over \pars{2n + 1}!!}} = {\prod_{k = 0}^{n}\pars{3k + 1} \over \prod_{k = 0}^{n}\pars{2k + 1}} = {3^{n + 1}\prod_{k = 0}^{n}\pars{k + 1/3} \over 2^{n + 1}\prod_{k = 0}^{n}\pars{k + 1/2}} \\[5mm] = &\ \pars{3 \over 2}^{n + 1}\, {\pars{1/3}^{\overline{n + 1}} \over \pars{1/2}^{\overline{n + 1}}} = \pars{3 \over 2}^{n + 1}\, {\Gamma\pars{n + 4/3}/\Gamma\pars{1/3} \over \Gamma\pars{n + 3/2}/\Gamma\pars{1/2}} \\[5mm] = &\ {\root{\pi} \over \Gamma\pars{1/3}}\pars{3 \over 2}^{n + 1}\, {\pars{n + 1/3}! \over \pars{n + 1/2}!} \\[5mm] \stackrel{\mrm{as}\ n\ \to\ \infty}{\sim}\,\,\, & {\root{\pi} \over \Gamma\pars{1/3}}\pars{3 \over 2}^{n + 1}\, {\root{2\pi}\pars{n + 1/3}^{\ n + 5/6}\expo{-n - 1/3} \over \root{2\pi}\pars{n + 1/2}^{\ n + 1}\expo{-n - 1/2}} \\[5mm] \stackrel{\mrm{as}\ n\ \to\ \infty}{\sim}\,\,\, &\ {\root{\pi} \over \Gamma\pars{1/3}}\pars{3 \over 2}^{n + 1}\, {n^{n + 5/6}\,\bracks{1 + \pars{1/3}/n}^{\ n}\,\expo{-n - 1/3} \over n^{n + 1}\,\bracks{1 + \pars{1/2}/n}^{\ n}\,\expo{-n - 1/2}} \\[5mm] \stackrel{\mrm{as}\ n\ \to\ \infty}{\sim}\,\,\, & {\root{\pi} \over \Gamma\pars{1/3}}\, {\pars{3/2}^{n + 1} \over n^{1/6}} \,\,\,\stackrel{\mrm{as}\ n\ \to\ \infty}{\to}\,\,\, \bbx{\large \infty} \\ & \end{align}