10
$\begingroup$

How can I prove the convergence of the sequence $b_n=\sqrt[n]{x^n+y^n}$ where $x, y > 0$?

Can I divide it in two cases?

Case 1: $x > y$.

$$ b_n=\sqrt[n]{x^n+y^n} < \sqrt[n]{x^n+x^n} = \sqrt[n]{2 \cdot x^n}=x \cdot \sqrt[n]{2} $$

Case 2: $x < y$.

$$ b_n=\sqrt[n]{x^n+y^n} < \sqrt[n]{y^n+y^n} = \sqrt[n]{2 \cdot y^n}=y \cdot \sqrt[n]{2}$$

Result: Does the sequence converges to $\max(x,y)$?

  • 4
    What you have done is nearly correct. You need to lower bound your $b_n$ as well, by noting that $\max(x,y) \leq b_n$, $\forall n$. Further in the limit $\sqrt[n]{2} = 1$.2011-11-08
  • 0
    thanks for the comment! what do you mean with lower bound? to show it's convergent don't I have to test just with n->infinity?2011-11-08
  • 0
    What I meant is $$\max(x,y) \leq b_n \leq \sqrt[n]{2} \max(x,y)$$ for all $n$.2011-11-08
  • 0
    You have $\max(x,y) \leq b_n \leq 2^{1/n}\max(x,y)$ and $2^{1/n} \to 1$, so $b_n \to \max(x,y)$.2011-11-08
  • 0
    Possible duplicate of this https://math.stackexchange.com/questions/326172/the-l-infty-norm-is-equal-to-the-limit-of-the-lp-norms2018-01-28

2 Answers 2

13

Your suggestion of breaking up into cases is the right one. I would handle the details differently. Suppose for example that $x

Since $\dfrac{x}{y}<1$, it is clear that $\displaystyle\lim_{n\to\infty} \left(\frac{x}{y}\right)^n=0$.

So if $x

The answer is therefore always, as you conjectured, $\max(x,y)$.

Comment: We can also handle the problem without breaking into cases. Note that $$\max(x,y) <\sqrt[n]{x^n+y^n} \le \sqrt[n]{2}\max(x,y).$$ Then we can obtain the desired limit formula directly by "squeezing," since $\displaystyle\lim_{n\to\infty}\sqrt[n]{2}=1$. This argument is more elegant but perhaps less natural than the division procedure that was used in the main post. The intuition there was that if $x

  • 0
    You probably mean $$\sqrt[n]{x^n+y^n}=y\sqrt[n]{1+\left(\frac{x}{y}\right)^n}$$2011-11-08
  • 1
    @robjohn: Yes, thanks for the correction. I thought this answer was short enough that it might be error-free. Didn't happen.2011-11-08
1

Just to complement what has been said, note that these arguments typically yield the equivalence of the $L^n$ norms and $sup$ norm for a finite dimensional vector space.

Namely, for $\boldsymbol{x}=(x_1,\ldots,x_d)\in\mathbb{R}^d$, $d\geq 1$, it is usual to consider the norms $\|\boldsymbol{x}\|_n=(\sum_{i=1}^d|x_i|^n)^{1/n}$ for any $n\geq 1$ and $\|\boldsymbol{x}\|_{\infty}=\sup_{i=1}^d|x_i|$.

Then for all $n\geq 1$, $\|\boldsymbol{x}\|_\infty\leq \|\boldsymbol{x}\|_n \leq d^{1/n}\|\boldsymbol{x}\|_n$.

This moreover gives for any $d\geq 1$

$$ \lim_{n\rightarrow\infty}(\sum_{i=1}^d|x_i|^n)^{1/n} = \lim_{n\rightarrow\infty}\|\boldsymbol{x}\|_n = \|\boldsymbol x\|_\infty=\max_{i=1}^d|x_i|, $$ your case being $d=2$.