# for $1<p<2$, prove the p-series is convergent without concerned with integral and differential knowledge and geometry series

for $1<p<2$, prove the p-series: $\sum_{n=1}^{\infty}n^{-p}$ is convergent.

please use Cauchy Rule (edit: that is, by showing directly that the sequence of partial sums is a Cauchy sequence) instead of concerned with integral and differential knowledge.

I have seen a proof before, without concern any tests about series. But I forgot it.

I had learned the condensation test. But the proof I had seen is not constructed by proved the condensation test, more precisely, not by shown every specify partial sums of a $p$-series is bounded in the corresponding items of a geometry series.

Edit. So much grateful to user6312 and Didier for your warmhearted doings.

For some reason however, I had to bother you two although I would wish have not to. User6312's second answer seem as a proof without importing differential or integral point but, the base idea, showing EACH $p$-series (here $p=2^{-k}$) was a telescope series SURELY could be done, came from the "middle point theorem". What do you think? For Didier's proof, like user6312's denote, a geometry series behind it, since you had to recurring to get the general term's formula of $A_n$.

I recalled the ever seen proof a little last night. That is like assemble from your two answers:

$\forall p\in(1,2)$, $\exists k\in\mathbb{N}$ so that $2^{-k}<p-1$, then show the cutted-partial-sum (that is, summary from $N$ to $N+m$) of $2^{-k}$-series yields the SUM (multiply a constant factor) of $2^{1-k}$-series (if it's convergent), $\ldots\,$. At last (after finite steps), show the $2^{-1}$-series is a telescope series. Since the cutted-partial-sum of given $p^{-k}$-series yields the cutted-partial-sum of $2^{-k}$-series is obvious (to consider orresponding term), we have done. But the detail I haven't thought through over clearly. Might someone write it down?

-
What is the "Cauchy Rule"? –  JavaMan Apr 18 '11 at 13:42
Cauchy Rule is sequence a_n convergent if and only if $|a_m-a_n|<\epsilon$ when $m>N(\epsilon)$, $n>N(\epsilon)$. –  abc Apr 28 '11 at 2:19
That is, you want a proof that the sequence of partial sums is a Cauchy sequence. –  Arturo Magidin Apr 28 '11 at 2:35
@Arturo Yes of course. –  abc Apr 28 '11 at 9:17

Here is a version of the Cauchy Condensation Test: If $(a_n)$ is a decreasing sequence of positive terms, then $$\sum_{n=1}^\infty a_n$$ converges precisely if $$\sum_{k=0}^\infty 2^k a_{2^k}$$ converges. This may be a little hard to read: $a_{2^k}$ is the $2^k$-th term of the sequence.

Let $a_n=1/n^p$. Then $$a_{2^k}=\frac{1}{2^{kp}}$$ So the Cauchy Condensation Test says that your series converges iff $$\sum_{k=0}^\infty \frac{2^k}{2^{kp}}$$ converges. The above series can be rewritten as $$\sum_{k=0}^\infty \frac{1}{(2^{p-1})^k}$$ Since $p>1$, $2^{p-1}>1$. Let $r=1/(2^{p-1})$. Note that $0<r<1$. Then the series obtained from Cauchy Condensation is $$\sum_{k=0}^\infty r^k$$ You will recognize this as a convergent geometric series, and we are finished. With a more complex expression than $1/n^p$, the series obtained from the Cauchy Condensation Test might need further processing.

Edit A large chunk is added below to the original answer, since recently the OP made it clear that what meant by the "Cauchy test" was not Cauchy Condensation, but proving that the partial sums form a Cauchy sequence.

We want to show that for any $\epsilon>0$, we can find an $N=N(\epsilon)$, such that for any $m$ and $n$, if $N<m<n$, then $$(m+1)^{-p}+(m+2)^{-p} +\cdots + (n)^{-p} <\epsilon$$ For any $m$, let $2^k$ be the largest integer such that $2^k < m$. It is enough to show that if $k$ is large enough, the longer sum $$(2^k)^{-p}+(2^k+1)^{-p} + (2^k+2)^{-p} +(2^k+3)^{-p} +\cdots$$ is less than $\epsilon$. (We are summing from $2^k$ to "infinity" to get rid of the pesky and useless $n$. We can if we wish stop the summing at the smallest power of $2$ which is $>n$.)

So look at the displayed sum above. Break this up into the sum
$(2^{k})^{-p}+ (2^{k}+1)^{-p}+\cdots + (2^{k+1}-1)^{-p}$, plus the sum $(2^{k+1})^{-p}+ (2^{k+1}+1)^{-p}+\cdots + (2^{k+2}-1)^{-p}$, plus the sum $(2^{k+2})^{-p}+ (2^{k+2}+1)^{-p}+\cdots +(2^{k+3}-1)^{-p}$, and so on.

Look first at $$(2^{k})^{-p}+(2^{k}+1)^{-p}+\cdots + (2^{k+1}-1)^{-p}$$ Each term in the sum is $\le (2^k)^{-p}$, and the sum has $2^k$ terms, so it adds up to something $\le (2^k)^{1-p}$.

Similarly, the next chunk adds up to something $\le (2^{k+1})^{1-p}$, and so on. Thus our entire sum is less than or equal to (actually less than) $$(2^k)^{1-p}+ (2^{k+1})^{1-p} + (2^{k+2})^{1-p}+\cdots$$ This sum can be rewritten as $$(2^{1-p})^{k}+ (2^{1-p})^{k+1} + (2^{1-p})^{k+2}+\cdots$$

Note that $2^{p-1}>1$. So the sum above is a geometric series with first term $(2^{1-p})^k$ and common ratio $2^{1-p}$. We can find an explicit expression for the sum, which is $$\frac{(2^{1-p})^k}{2^{p-1}-1}$$ From this expression it is easy to obtain a value of $2^k$ that will make the sum $<\epsilon$.

-
That isn't what I want. –  abc Apr 28 '11 at 2:20
@abc: I added an argument using Cauchy Criterion. Actually, the idea of the proof of Cauchy condensation is pretty similar to the chunk I added. –  André Nicolas Apr 28 '11 at 4:12
@ user 6312 I would say your proof is essential diffrence with the one I had seen. Why we have to start from (or as) condensation test? Is there not another proof? Why we have to use the geometry series as the majorant series? –  abc Apr 28 '11 at 9:29
@abc: I would be interested in seeing the argument that you refer to, if you can recall or recover it. Perhaps the variant offered by Didier Piau is closer to what you had seen. By "throwing away" more, he makes the argument simpler, though a geometric series still underlies the idea. –  André Nicolas Apr 28 '11 at 14:45
@abc: I have added, in a separate answer, an approach very different from the geometric series approach. –  André Nicolas Apr 28 '11 at 20:18

The following is an alternate answer, based on telescoping series, not geometric series. The procedure makes it easy to show that the partial sums are Cauchy, by making it easy to find an explicit bound.

We present first something the OP did not ask for: a proof that the series $$\frac{1}{1^2}+\frac{1}{2^2} +\frac{1}{3^2}+ \cdots$$ converges.

Note that $$\frac{1}{(n+1)^2} <\frac{1}{n(n+1)}= \frac{1}{n}-\frac{1}{n+1}$$ It follows that $$\sum_{k=m+1}^{n} \frac{1}{k^2} <\frac{1}{m}$$ by the usual "telescoping series" argument. We can then use the "Cauchy sequence" criterion to conclude that our original series converges. And then, if $p > 2$, we can use the obvious inequality $1/n^{p} \le 1/n^2$ to deal with $p$-series with $p>2$. In order to do this, we need to know what $n^p$ means. But there is no difficulty if $p$ is an integer, or even just rational.

So far, simple and familiar. We now ask: can the same telescoping series argument be used to deal with the case $1<p<2$ that was asked about? It turns out that the answer is yes.

We will need to work with inequalities involving $1/n^{p}$. This is fine if we have already introduced the general exponential function, but it becomes problematical otherwise. So we will start with the $p$-series with $p=1+1/2$. Then we will look at the $p$-series with $p=1+1/4$.

We will find, for $p=3/2$, an inequality analogous to the one we used in the case $p=2$. So look at $1/(n+1)^{3/2}$. It would be nice if this were less than $1/n^{1/2} -1/(n+1)^{1/2}$, for then nothing much would change. That is almost what happens.
$$\frac{1}{n^{1/2}} -\frac{1}{(n+1)^{1/2}}=\frac{(n+1)^{1/2}-n^{1/2}} {n^{1/2}(n+1)^{1/2}}$$

Multiply "top" and "bottom" by $(n+1)^{1/2}+n^{1/2}$. We obtain $$\frac{1}{n^{1/2}(n+1)^{1/2}((n+1)^{1/2} +n^{1/2})}$$ and this is clearly bigger than $$\frac{1}{2(n+1)^{3/2}}$$

We conclude that $$\frac{1}{(n+1)^{3/2}}<\frac{2}{n^{1/2}} -\frac{2}{(n+1)^{1/2}}$$ and now the telescoping series argument works.

We deal next with $p=5/4=1+1/4$. The natural candidate to compare with $1/(n+1)^{5/4}$ is $1/n^{1/4}-1/(n+1)^{1/4}$. Bring this expression to a common denominator. We obtain $$\frac{(n+1)^{1/4}-n^{1/4}}{n^{1/4}(n+1)^{1/4}}$$

Rationalize the numerator by multiplying top and bottom by $(n+1)^{1/4}+n^{1/4}$, and then by $(n+1)^{1/2}+n^{1/2}$. We obtain $$\frac{1}{n^{1/4}(n+1)^{1/4}((n+1)^{1/4}+n^{1/4})((n+1)^{1/2}+n^{1/2})}$$ This is clearly bigger than $$\frac{1}{4(n+1)^{5/4}}$$ We conclude that $$\frac{1}{(n+1)^{5/4}}<\frac{4}{n^{1/4}} -\frac{4}{(n+1)^{1/4}}$$ and again the telescoping argument works.

For $p=9/8=1+1/8$, the same idea works, except that we will need to multiply by $3$ terms to rationalize the numerator. We can continue in this way forever.

So the conclusion is that if $p=1+1/2^k$, the $p$-series converges. For more general $p>1$, just find an integer $k$ such that $1+1/2^k <p$, and use some basic properties of the (general) exponential function.

Alternately, we could use standard inequalities involving the exponential function to show that (for $p>1$), $1/(n+1)^p <C(1/n^{p-1} -1/(n+1)^{p-1})$ for some constant $C=C(p)$, then use the telescoping series argument. Perhaps it is this sort of argument that the OP recalls seeing. This is a guess, but the problem specifies $1<p<2$, as if $p \ge 2$ were already dealt with earlier. We chose to deal with $3/2$, $5/4$, and so on to keep the calculations at a more concrete level.

-
$C(p)=1/(p-1)$, as shown by the fact that $1/(n+1)^p$ is less than the integral of $1/x^p$ from $x=n$ to $x=n+1$. And the sum of the series is at most $1+C(p)=p/(p-1)$. –  Did Apr 28 '11 at 20:48
@Didier Piau: The OP explicitly ruled out "integral and differential knowledge." I thought it would be amusing to see what one could do with high school algebra, and without using geometric series, which also seem to be forbidden. –  André Nicolas Apr 28 '11 at 21:05
+1. I think that's pretty slick. Well done, and good job for avoiding those devious geometric series. –  mixedmath Apr 28 '11 at 21:23
@mixedmath: Thank you. Like everyone else who has ever taught calculus, I had dealt with $\sum 1/n^2$ by comparison with $\sum 1/(n(n+1))$, as well as all the usual other ways. It took the OP's question to prompt me to see whether the idea could be pushed below $2$! –  André Nicolas Apr 28 '11 at 22:06

One can show that the sequence of partial sums is Cauchy, as follows. Introduce the notations $$a_n=1/n^p,\qquad A_N=\sum_{n=0}^Na_n.$$ As in the condensation test, we begin with the powers of $2$, hence we consider $$B_k=\sum_{n=2^k}^{2^{k+1}-1}a_n.$$ Bounding every $a_n$ in $B_k$ by $a_{2^k}=1/2^{kp}$ and the number of terms by $2^k$, one gets $$B_k\le2^k/2^{kp}=r^k,\qquad r=2^{-(p-1)}.$$ Since $p>1$, $r<1$ and since one knows the sum of a series of geometric general term, one has for any $K$, $$\sum_{k=K}^{+\infty}B_k\le\sum_{k=K}^{+\infty}r^k=cr^K,\qquad c=1/(1-r).$$ Now, fix $N$ and compare the partial sums $A_N$ and $A_{N'}$, for any $N'\ge N$. Of course $A_N\le A_{N'}$. Furthermore, picking an integer $K$ such that $2^K\le N+1$, one gets $$A_{N'}-A_{N}=\sum_{n=N+1}^{N'}a_n\le\sum_{n=N+1}^{+\infty}a_n\le\sum_{n=2^K}^{+\infty}a_n=\sum_{k=K}^{+\infty}B_k\le cr^K.$$ We are ready to show that the sequence $(A_N)$ is Cauchy. Let $\varepsilon>0$. Pick $K$ such that $cr^K\le\varepsilon$ (this is possible since $c$ is a constant and $r<1$) and let $N_\varepsilon=2^K$. Then for every $N\ge N_\varepsilon$ and every $N'\ge N$, $$0\le A_{N'}-A_{N}\le\varepsilon,$$ that is, the sequence $(A_N)_N$ is Cauchy.

Edit Here is a variant which might satisfy the OP. First, since every $a_n$ is positive, the series converges if and only if the sequence $(A_N)$ is bounded. Second, $A_{2N}$ is made of even numbered terms and odd numbered terms. The sum of the even numbered terms is $A_N/2^p$ because $a_{2n}=a_n/2^p$ for every $n$. Likewise, $a_{2n+1}\le a_{2n}$ for every $n\ge1$ hence the sum of the odd numbered terms is $$1+\sum_{n=1}^{N-1}a_{2n+1}\le1+\sum_{n=1}^{N-1}a_{2n}=1+A_{N-1}/2^p\le1+A_N/2^p.$$ This yields $A_{2N}\le1+2A_N/2^p$, which implies by recursion over $N\ge1$ that $A_N\le1/(1-2^{1-p})$ for every $N\ge1$. The sequence $(A_N)$ is bounded, hence the series is summable.

-
@Didier Why we have to start from (or as) condensation test? Is there not another proof? Why we have to use the geometry series as the majorant series? –  abc Apr 28 '11 at 9:23
This does not use a condensation test, rather the idea on which the condensation test and many other approaches are based, which is to consider slices of terms. The main other method would be to compare the series with the integral of a function, here $x\mapsto1/x^p$, but your question seems to exclude this approach. You might wish to further explain the ingredients of proof you allow and the ones you forbid. –  Did Apr 28 '11 at 12:35
Especially regarding your statement that you seek a proof that the sequence of partial sums is a Cauchy sequence, since this is exactly what I explain. –  Did Apr 28 '11 at 12:36
@abc: Your question does not seem to be "Can you give a proof that the sequence of partial sums is a Cauchy sequence?" but rather "Of all the possible ways to show that the sequence of partial sums is a Cauchy sequence, which is the one that I saw once but don't remember now?" Sorry, but that's not a fair question. –  Arturo Magidin Apr 28 '11 at 13:48
@abc: I mean that if your question is really "What was the proof I once saw but I cannot remember" then that is not a real question (nor a fair one). You've been given three perfectly fine proofs that the sequence converges by showing the partial sums are Cauchy, and your reaction has been "No, that's not what I want." Then you're not asking a mathematical question, you're asking something else and that is off-topic here. I have not expresssed, in any way, that you "shouldn't post here", so get off your high horse and either ask real questions or stop complaining about real answers. –  Arturo Magidin Apr 29 '11 at 3:23
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9769127368927002, "perplexity": 198.21973904449155}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-22/segments/1432207929978.35/warc/CC-MAIN-20150521113209-00339-ip-10-180-206-219.ec2.internal.warc.gz"}