Skip to main content

Cesaro Summability implies Abel Summability

 Let \((a_n)\) be a sequence of real numbers. \(\sum\limits_{n=0}^{\infty}a_n\) be a series. Let $$s_n=\sum_{k=0}^{n}a_k$$Then the sequence \((a_n)\) is Cesaro Summable with Cesaro Sum \(s\in \mathbb{R}\) if $$\lim_{n\to\infty}\frac{\sigma_n}{n+1}=\lim_{n\to\infty}\frac{1}{n+1}\sum_{k=0}^n s_n=s$$Let $$f(x)=\sum\limits_{k=0}^{\infty}a_nx^n$$ be power series. Then the sequence is Abel Summable if the power series \(f(x)\) converges with a radius of convergence \(|x|<1\). 

You can see that if \(s_n\to L\) as \(n\to \infty\) then \(\sigma_n\to s\) as \(n\to \infty\) i.e. convergence of the series implies Cesaro Summability

We will prove Abel Summability is much stronger than Cesaro summability i.e. if a series is Cesaro Summable then it is Abel Summable. 

So assume \(a_n\) is Cesaro summable. Hence $$\lim_{n\to\infty}\frac{\sigma_n}{n+1}=\lim_{n\to\infty}\frac{1}{n+1}\sum_{k=0}^n s_n=L$$Hence the sequence \(\left( \frac{\sigma_n}{n+1}\right)\) is Abel summable. Therefore $$f(x)=\sum_{n=0}^{\infty}\frac{\sigma_n}{n+1}x^n$$ converges. Now see $$  \sum_{n=0}^{\infty} \sigma_nx^n=\sum_{n=0}^{\infty}x^n\sum_{k=0}^{n}s_k=\sum_{k=0}^{\infty}s_k\sum_{n=k}^{\infty}x^n=\sum_{k=0}^{\infty}s_k\frac{x^k}{1-x}=\frac{1}{1-x}\sum_{n=0}^{\infty}s_nx^n $$Doing the same process again we get $$\sum_{n=0}^{\infty}s_nx^n=\frac{1}{1-x}\sum_{n=0}^{\infty}a_nx^n$$Hence $$\sum_{n=0}^{\infty}\sigma_nx^n=\frac{1}{(1-x)^2}\sum_{n=0}^{\infty}a_nx^n$$

Another identity we need is $$\sum_{n=0}^{\infty}(n+1)x^n=\frac{1}{(1-x)^2}$$In order to show this let \(f(x)=\sum\limits_{n=0}^{\infty}x^n=\frac{1}{1-x}\). Then $$\frac{1}{(1-x)^2}=f'(x)=\sum_{n=1}^{\infty}nx^{n-1}=\sum_{n=0}^{\infty}(n+1)x^n$$Now $$f(x)=\sum_{n=0}^{\infty}\frac{\sigma_n}{n+1}x^n \iff xf(x)=\sum_{n=1}^{\infty}\frac{\sigma_{n-1}}{n}x^n$$ Since \(f(x)\) converges, \(xf(x)\) converges and therefore \(f(x)+xf'(x)\) converges. $$f(x)+xf'(x)=\sum_{n=1}^{\infty}\frac{\sigma_{n-1}}{n}nx^{n-1}=\sum_{n=1}^{\infty}\sigma_{n-1}nx^{n-1}=\sum_{n=0}^{\infty}\sigma_{n}x^{n}=\frac{1}{(1-x)^2}\sum_{n=0}^{\infty}a_nx^n$$Therefore $$\sum_{n=0}^{\infty}a_nx^n=\frac{f(x)+xf'(x)}{(1-x)^2}$$Since \(|x|<1\) the function \(\frac{f(x)+xf'(x)}{(1-x)^2}\) also converges. Hence \(\sum\limits_{n=0}^{\infty}a_nx^n\) converges. Therefore Cesaro summability implies Abel summability.

Since \(\frac{\sigma}{n+1}\) converges to \(s\). For \(\epsilon>0\) \(\exists\ k\in\mathbb{N}\) such that $$\left|\frac{\sigma_n}{n+1}-s\right|<\epsilon$$ Now $$ (1-x)^2\sum_{n=0}^{\infty}\sigma_nx^n = (1-x)^2\sum_{n=0}^{\infty}(n+1)\frac{\sigma_n}{n+1}x^n $$ $$\left| (1-x)^2\sum_{n=0}^{\infty}(n+1)\frac{\sigma_n}{n+1}x^n-L\right|\leq (1-x)^2\sum_{n=0}^{\infty}(n+1)\left|\frac{\sigma_n}{n+1}x^n-L \right|$$Now breaking the sum up at \(k\) we get $$(1-x)^2\sum_{n=0}^{k}(n)\left|\frac{\sigma_n}{n+1}x^n-L \right|+(1-x)^2\sum_{n=k+1}^{\infty}(n+1)\left|\frac{\sigma_n}{n+1}x^n-L \right|$$As \(x\to 1^- \) the first part goes to 0 and the second part of the sum becomes $$(1-x)^2\sum_{n=k+1}^{\infty}(n+1)\left|\frac{\sigma_n}{n+1}x^n-L \right|< (1-x)^2\sum_{n=k+1}^{\infty}(n+1)\epsilon^k=\frac{\epsilon^k}{1-\epsilon}$$which also goes to 0. Hence $$\lim_{x\to 1^-} (1-x)^2\sum_{n=0}^{\infty}\sigma_nx^n =\lim_{x\to 1^-}\sum_{n=0}^{\infty}a_nx^n=L$$ $\blacksquare$

Labels:

Comments

Post a Comment

Popular posts from this blog

Hierarchy Theorems (Time, Space, Alternation)

There are many hierarchy theorems based on Time, Space, Nondeterminism, Randomization etc. Time Hierarchy Theorem (Version 1) : If $f, g$ are time-constructible functions satisfying $f(n) \log f(n)=o(g(n))$, then $$ DTIME(f(n)) \subsetneq DTIME (g(n)) $$ Proof:  Consider the following Turing machine $D$: "On input $x$, run for $f(|x|)\log (f(|x|))$ steps the Universal $TM$ $\mathcal{U}$ to simulate the execution of $M_x$ on $x$. If $\mathcal{U}$ outputs some bit $b \in\{0,1\}$ in this time, then output the opposite answer (i.e., output $1-b$ ). Else output 0.” Here $M_x$ is the machine represented by the string $x$.      By definition, $D$ halts within $f(n)\log (f(n))$ steps and hence the language $L$ decided by $D$ is in $DTIME(g(n))$. Claim:  $L \notin$ DTIME $(f(n))$ Proof:  For contradiction's sake, assume that there is some $TM$ $M$ and constant $c$ such that $TM$ $M$, given any input $x \in\{0,1\}^*$, halts within $cf(|x|)$ steps and outputs $D(x)$....
1 comment
Read more

Cook - Levin Theorem

Around 1971, Cook and Levin independently discovered the notion of \(NP-completeness\) and gave examples of combinatorial \(NP-complete\) problems whose definition seems to have nothing to do with Turing machines. Soon after, Karp showed that \(NP-completeness\) occurs widely and many problems of practical interest are \(NP-complete\). To date, thousands of computational problems in a variety of disciplines have been shown to be \(NP-complete\). \(SAT\) is the language of all satisfiable \(CNF\) formulae. Cook-Levin Theorem : \(SAT\) is \(NP-complete\) Before we go into the proof first we need to define some things Configuration of a Turing Machine: A configuration of a Turing Machine at any point of time \(t\) is basically the snapshot of the turning machine at that time. It is an ordered pair of the head position, current state, and tape content. Any configuration is initialized and ended with a special symbol, let \(\#\) mark its ending. Then the contents of the tape at the left of ...
Post a Comment
Read more

Cauchy Riemann Equation

Let \(f:U\to \mathbb{C}\) function which is differentiable and \(U\) is open in \(\mathbb{C}\). Suppose \(f'(z_0) \) exists where \(z_0=a+ib\in \)  \(U\subset \mathbb{C}\). \(f(z)=u+iv\) where \(u:U\to \mathbb{R}\) and \(v:U\to \mathbb{R}\). First take \(h=t\in \mathbb{R}\).$$f'(z_0)  = \lim_{t\to 0}\frac{f(a+t+ib)-f(a+ib)}{t}$$Breaking it we get $$ \lim_{t\to 0} \frac{u(a+t,b)-u(a,b)}{t}+i\lim_{t\to 0}\frac{v(a+t,b)-v(a,b)}{t}= \left.\frac{\partial u}{\partial x}\right|_{z_0}+i\left. \frac{\partial v}{\partial x}\right|_{z_0} \label{cd1}$$ Now take \(h=it\), \(t\in \mathbb{R}\) $$f'(z_0) = \lim_{t\to 0}\frac{f(a+ib+it)-f(a+ib)}{it}$$ Breaking it down we get $$ \lim_{t\to 0} \frac{u(a,b+t)-u(a,b)}{it}+i\lim_{t\to 0}\frac{v(a,b+t)-v(a,b)}{it}= \left. \frac{\partial v}{\partial y}\right|_{z_0} -i\left. \frac{\partial u}{\partial y}\right|_{z_0}\label{cd2}$$ Equating the two equations we get \(f\) is complex differentiable at \(z_0\) and $$\boxed{\left.\frac{\partial u}{\par...
Post a Comment
Read more