2
$\begingroup$

I'm studing some arguments of dynamical system and the following property is used a lot of time.

Let $a_n, b_n>0$ for every $n$ then

$$\limsup_n\frac{1}{n}\log(a_n+b_n)=\max\{\limsup_n\frac{1}{n}\log(a_n),\limsup_n\frac{1}{n}\log(b_n)\}\\=\limsup_n\frac{1}{n}\log(\sqrt{a_n^2+b_n^2}).$$

How can I show that?

1 Answers 1

1

Hint: For the first equality, we have that $\log(a_n+b_n)=\log\left(1+\frac{b_n}{a_n}\right)+\log(a_n)=$ $\log\left(1+\frac{a_n}{b_n}\right)+\log(b_n)$. Moreover, for each $n$, at least one of $\log\left(1+\frac{b_n}{a_n}\right)$ and $\log\left(1+\frac{a_n}{b_n}\right)$ is $\leq \log (2)$.

For the second equality, $\log(\sqrt{a_n^2+b_n^2})=\frac12 \log(a_n^2+b_n^2)$. Then use the first equality again and the property that $\log(x^2)=2\log(x)$.

P.S.: Notice that the $\limsup$'s don't change if we reset $a_n'=\min\{a_n,b_n\}$ and $b_n'=\max\{a_n,b_n\}$, which we still call $a_n$ and $b_n$. This might make proofs easier.

EDIT:

Proposition: Let $D\subset \mathbb{R}$, $f:D \longrightarrow \mathbb{R}$ be increasing and $(a_n),(b_n)$ be sequences in $D$. Then

$$\limsup_n f(\max\{a_n,b_n\})=\max\left\{\limsup_n f(a_n),\limsup_n f(b_n)\right\}$$

Proof: Since $f$ is increasing, $f(\max\{a_n,b_n\})=\max\{f(a_n),f(b_n)\}$. Now it suffices to use that $\limsup_n \max \{x_n,y_n\} = \max\{\limsup_n x_n, \limsup_n y_n\}$ (see, for instance, this answer). $\square$

  • 0
    $\limsup_n\frac{1}{n}\log(a_n+b_n)=\limsup_n\frac{1}{n}\log(1+a'_n/b'_n)+\limsup_n\frac{1}{n}\log(b_n)=\limsup_n\frac{1}{n}\log(b_n)$2017-01-04
  • 0
    If I use your hint I can show the previous equality... where is the error?2017-01-04
  • 0
    There is no error, apart from taking $b_n$ and $b_n'$ to be the same. Observe that $$\limsup_n \frac1n \log(b_n')=\limsup_n \frac1n \log(\max\{a_n,b_n\})=\max\left\{\limsup_n \frac1n \log(a_n),\limsup_n \frac1n \log(b_n)\right\}$$2017-01-04
  • 0
    Can you see why the last equality is true (taking the max out of $\limsup$)?2017-01-04
  • 0
    no:(.. I'm sorry2017-01-04
  • 0
    See the edit. I hope it helps. If you need any more explanation let me know.2017-01-05