Prove that $\lim_{t \to 0^+} \sum_i \frac{|a_i+tv_i| - |a_i|}{t} = \sum_i v_i$

53 Views Asked by At

I'm trying to calculate this limit rigorously.

Let $a,v \in \ell_1$ with $a_i >0$ for all $i$ and $\|v\|_1 := \sum_i |v_i| = 1$. Let $$ D(t) := \frac{\|a+tv\|_1 - \|a\|}{t} = \sum_i \frac{|a_i+tv_i| - |a_i|}{t} $$ is for all $t>0$. Then $$ \lim_{t \to 0^+} D(t) = \sum_i v_i. $$

Could you have a check on my attempt? Is there any cleaner way to obtain the result?


My attempt: First, we consider the map $$ \varphi:(-1, 0) \cup (0, 1) \to \mathbb R, t \mapsto D(t). $$

By convexity of the norm $\| \cdot \|_1$, we get $\varphi$ is increasing. Hence $\lim_{t\to 0^+} D(t)$ is well-defined and finite. We have $$ \begin{align*} \lim_{t\to 0^+} D(t) &= \lim_{t\to 0^+} \sum_{i=1}^m \frac{|a_i+t v_i| - |a_i|}{t_n} + \lim_{t\to 0^+} \sum_{i>m} \frac{|a_i+t v_i| - |a_i|}{t_n} \\ &= \sum_{i=1}^m v_i + \underbrace{\lim_{t\to 0^+} \sum_{i>m} \frac{|a_i+t v_i| - |a_i|}{t_n}}_{H_m}. \end{align*} $$

We have $$ \begin{align*} |H_m| &= \lim_{t \to 0^+} \left | \sum_{i>m} \frac{|a_i+t v_i| - |a_i|}{t} \right | \le \lim_{t \to 0^+} \sum_{i>m} \frac{||a_i+t v_i| - |a_i||}{t} \le \lim_{t \to 0^+} \sum_{i>m} \frac{t|v_i|}{t} = \sum_{i>m} |v_i|. \end{align*} $$

We have $$ \lim_{t\to 0^+} D(t) = \lim_m \sum_{i=1}^m v_i + \lim_m H_m. $$

On the other hand, $$ |\lim_m H_m| = \lim_m |H_m| \le \lim_m \sum_{i>m} |v_i| = 0. $$

Hence $$ \lim_{t\to 0^+} D(t) = \sum_{i=1} v_i. $$

2

There are 2 best solutions below

0
On BEST ANSWER

Let me brush up your approach to give a valid proof. For each $m = 1, 2, \ldots,$ consider the tail sum

$$ D_m(t) = \sum_{i>m} \frac{|a_i + v_i t| - |a_i|}{t}. $$

By the direct/reverse triangle inequality, we easily find that

$$ \left| D_m(t) \right| \leq \sum_{i>m} \left|\frac{|a_i + v_i t| - |a_i|}{t}\right| \leq \sum_{i>m} \left| v_i \right|. $$

Then it follows that

\begin{align*} \left| D(t) - \sum_{i=1}^{\infty} v_i \right| &\leq \sum_{i=1}^{m} \left| \frac{|a_i + v_i t| - |a_i|}{t} - v_i \right| + \left| D_m(t) \right| + \left| \sum_{i>m} v_i \right| \\ &\leq \sum_{i=1}^{m} \left| \frac{|a_i + v_i t| - |a_i|}{t} - v_i \right| + 2\sum_{i>m} \left| v_i \right| \end{align*}

So, by taking limsup as $t \to 0^+$ and noting that $\frac{|a_i + v_i t| - |a_i|}{t} \to v_i$ as $t \to 0^+$, we get

\begin{align*} \limsup_{t \to 0^+} \left| D(t) - \sum_{i=1}^{\infty} v_i \right| &\leq 2 \sum_{i>m} \left| v_i \right|. \end{align*}

However, since the left-hand side does not depend on the value of $m$, letting $m \to \infty$ shows that the indicated limsup is $0$, proving the desired claim.


Addendum. A quicker solution is available if the dominated convergence theorem (DCT) is applicable: If $a_i \neq 0$ for all $i$ and $v \in \ell^1(\mathbb{N}_1)$, then

\begin{align*} D(t) &= \int_{0}^{1} \sum_{i=1}^{\infty} v_i \operatorname{sgn}(a_i + v_i t s) \, \mathrm{d}s \\ &\quad \xrightarrow[\text{as } t\to 0^+]{\text{DCT}} \ \int_{0}^{1} \sum_{i=1}^{\infty} v_i \operatorname{sgn}(a_i) \, \mathrm{d}s = \sum_{i=1}^{\infty} v_i \operatorname{sgn}(a_i). \end{align*}

0
On

If $a>0$ then $\|a\|_1 = a_1+\cdots+a_m$ and so the map $f(a)= \|a\|_1$ is differentiable with $Df(a)v = v_1+\cdots + v_m$. Hence $df(a;v) = Df(a)v = v_1+\cdots + v_m$ (the one sided derivative).

In general, if $g(x)=|x|$ we have $df(x,h) = \begin{cases} |h|, & x = 0 \\ (\operatorname{sgn} x)h,& \text{otherwise} \end{cases}$.