Problem 126
Medium Numerical and Functional Series

Investigate the convergence of the series: sum from n=1

Investigate the convergence of the series: $$ \sum_{n=1}^{\infty} \frac{(\alpha-1)^n \alpha^n}{\left(2^n+1\right) \ln (n+1)}. $$

Explanation of Method

Combining $(\alpha-1)^n\alpha^n=[\alpha(\alpha-1)]^n=\beta^n$ turns this into a ratio-test problem: since $2^n+1\sim2^n$ for large $n$, the ratio test's limit works out to $\frac{|\beta|}2$, and solving $|\beta|<2$ (i.e. $|\alpha^2-\alpha|<2$) gives a clean interval for $\alpha$. Since $\alpha^2-\alpha$ is a parabola, this quadratic inequality translates directly into a bounded range of $\alpha$.

  1. Simplify the term using $\beta=\alpha(\alpha-1)=\alpha^2-\alpha$.
  2. Apply the ratio test, obtaining limit $|\beta|/2$.
  3. Solve $|\alpha^2-\alpha|<2$ and check the boundary values.

Step 1 · Simplify the term

$(\alpha-1)^n\alpha^n=[\alpha(\alpha-1)]^n=\beta^n$ with $\beta=\alpha^2-\alpha$, so $a_n=\dfrac{\beta^n}{(2^n+1)\ln(n+1)}$.

Step 2 · Apply the ratio test

$$ \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| = |\beta|\cdot\lim_{n\to\infty}\frac{2^n+1}{2^{n+1}+1}\cdot\frac{\ln(n+1)}{\ln(n+2)} = |\beta|\cdot\frac12\cdot1 = \frac{|\beta|}2. $$

Step 3 · Solve the inequality and check boundaries

Convergence requires $\frac{|\beta|}2<1$, i.e. $|\alpha^2-\alpha|<2$, i.e. $-2<\alpha^2-\alpha<2$. The right inequality $\alpha^2-\alpha-2<0$ factors as $(\alpha-2)(\alpha+1)<0$, giving $-1<\alpha<2$; the left inequality $\alpha^2-\alpha+2>0$ holds always (discriminant negative). So convergence for $-1<\alpha<2$. At the endpoints $\alpha=-1$ or $\alpha=2$: $\beta=2$, so $a_n\approx\dfrac1{\ln(n+1)}$, and $\sum\dfrac1{\ln(n+1)}$ diverges (comparable to the divergent series in Problem 95 at the boundary). At $\alpha=0$ or $\alpha=1$: $\beta=0$, series trivially converges to $0$.


Summary Table

ConditionConclusion
$-1<\alpha<2$Converges
$\alpha=-1$ or $\alpha=2$Diverges ($\sim\sum1/\ln(n+1)$)
$\alpha\le-1$ or $\alpha\ge2$Diverges

Additional Notes

Result

The series converges if and only if $-1<\alpha<2$:

$$ \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| = \frac{|\alpha(\alpha-1)|}2, \qquad \sum_{n=1}^{\infty} \frac{(\alpha-1)^n\alpha^n}{(2^n+1)\ln(n+1)} \text{ converges} \iff \alpha\in(-1,2). $$