Problem 84
Medium Convergence Tests

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

Examine the convergence of the series: $$ \sum_{n=1}^{\infty} \sqrt[n]{|x|^{n^2}+|y|^{n^2}}. $$

Explanation of Method

Applying the root test to $a_n=\sqrt[n]{|x|^{n^2}+|y|^{n^2}}$ requires taking a further $n$-th root, collapsing the double root into $(|x|^{n^2}+|y|^{n^2})^{1/n^2}$. Factoring out the larger of $|x|,|y|$ shows this expression tends to $\max\{|x|,|y|\}$ exactly, by the same mechanism as Problem 77's $\sqrt[n]{a^n+b^n}\to\max\{a,b\}$.

  1. Apply the root test, combining the two nested roots into a single exponent $1/n^2$.
  2. Factor out $\max\{|x|,|y|\}^{n^2}$ and evaluate the limit.
  3. Apply the convergence criterion, including the boundary case $\max\{|x|,|y|\}=1$.

Step 1 · Apply the root test

With $a_n=\sqrt[n]{|x|^{n^2}+|y|^{n^2}}$:

$$ \sqrt[n]{a_n} = \left(|x|^{n^2}+|y|^{n^2}\right)^{1/n^2}. $$

Step 2 · Factor and evaluate the limit

Assume WLOG $|x|\ge|y|$. Factor out $|x|^{n^2}$:

$$ \left(|x|^{n^2}+|y|^{n^2}\right)^{1/n^2} = |x|\cdot\left(1+\left(\frac{|y|}{|x|}\right)^{n^2}\right)^{1/n^2}. $$

If $|x|>|y|$, then $\left(\frac{|y|}{|x|}\right)^{n^2}\to0$ rapidly, and since $(1+t_n)^{1/n^2}=e^{\ln(1+t_n)/n^2}\to e^0=1$ for $t_n\to0$, we get $\rho=|x|$. If $|x|=|y|$, then $(2|x|^{n^2})^{1/n^2}=2^{1/n^2}|x|\to|x|$. In general:

$$ \rho = \limsup_{n\to\infty}\sqrt[n]{a_n} = \max\{|x|,|y|\}. $$

Step 3 · Apply the convergence criterion

Converges if $\max\{|x|,|y|\}<1$; diverges if $\max\{|x|,|y|\}>1$. At $\max\{|x|,|y|\}=1$ (say $|x|=1$), $a_n=\sqrt[n]{1+|y|^{n^2}}\ge\sqrt[n]1=1$, so $a_n\not\to0$: the series diverges here too.


Summary Table

ConditionConclusion
$\max\{|x|,|y|\}<1$Converges
$\max\{|x|,|y|\}\ge1$Diverges

Additional Notes

Result

The series converges if and only if $\max\{|x|,|y|\}<1$:

$$ \rho = \lim_{n\to\infty}\sqrt[n]{a_n} = \max\{|x|,|y|\}, \qquad \sum_{n=1}^{\infty} \sqrt[n]{|x|^{n^2}+|y|^{n^2}} \begin{cases} \text{converges}, & \max\{|x|,|y|\}<1 \\ \text{diverges}, & \max\{|x|,|y|\}\ge1. \end{cases} $$