Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

UPDATE. I am now making this a CW in the hope someone can improve the content of this question and/or correct the text.

This is a concise version of this math.SE question of mine. I've got an answer but it is not clear to me whether the explanation that was provided is enough.

My apologies if the level of this question, which is my first one here, does not comply with the rules of this site.

The question is:

In Apéry, R., Irrationalité de $\zeta 2$ et $\zeta 3$, Société Mathématique de France, Astérisque 61 (1979) there is a divergent series expansion for a function I would like to understand.

Added copy of the original.

alt text

Here is my translation of the relevant part for this question

(...) given a real sequence $a_{1},a_{2},\ldots ,a_{k}$, an analytic function $f\left( x\right) $ with respect to the variable $\frac{1}{x}$ tending to $0$ with $\frac{1}{x}$ admits a (unique) expansion in the form $$f\left( x\right) \equiv \sum_{k\geq 1}\frac{c_{k}}{\left( x+a_{1}\right) \left( x+a_{2}\right) \ldots \left( x+a_{k}\right) },\tag{A}$$

[Edit] and a translation of the text after the formula (provided in a comment on math.SE)

(We write $\equiv$ instead of $=$ to take into account the aversions of mathematicians who, following Abel, Cauchy and d'Alembert, hold divergent series to be an invention of the devil; in fact, we only ever use a finite sum of terms, but the number of terms is an unbounded function of $x$).

As far as I understand, expansion of $f(x)$ in $(\mathrm{A})$ is in general a divergent series and not a convergent one.

Questions

  1. Is series $(\mathrm{A})$ indeed divergent? (question added)
  2. Which is the theorem stating or from which $(\mathrm{A})$ can be derived?
  3. Could you please indicate a reference?

ADDED. The most similar formula which is proved in Alf van der Poorten's article A proof that Euler missed ... Apéry's proof of the irrationality of $\zeta (3)$ is this one in section 3

$$\sum_{k=1}^{K}\frac{a_{1}a_{2}\cdots a_{k-1}}{(x+a_{1})\cdots (x+a_{k})}= \frac{1}{x}-\frac{a_{1}a_{2}\cdots a_{K}}{(x+a_{1})\cdots (x+a_{K})}.\tag{B}$$

Further edit. This article by Alf van der Poorten, which was indicated in Micah Milinovich's answer, had been pointed to in my original math.SE question. The author wrote in it that "the proof of $(\mathrm{B})$ follows easily on writing the right-hand side as $A_0 - A_K$ and noting that each term on the left is $A_{k-1} - A_k$. This explains [the following claim corresponding to $f(x)=1/x$]"

$$\sum_{k=1}^{\infty}\frac{a_{1}a_{2}\cdots a_{k-1}}{(x+a_{1})\cdots (x+a_{k})}= \frac{1}{x}.\tag{*}$$

How to explain $(\mathrm{A})$ in the case when $f(x)$ is a general analytic function with respect to the variable $1/x$ which goes to $0$ with $1/x$?


Added. MOTIVATION. After reading in detail Alf van der Poorten's article I read the very short Roger Apéry's paper. I am interested in finding a proof of the series expansion in the latter, which is in not given in it. So I assumed it should be stated or derived from a theorem on the subject.

share|improve this question
    
Somehow, I don't see why your series should diverge. Assuming the $c_k$ are $O(a_1a_2…a_k)$ and everything is positive, the general term of your series is a $O(x^{−k})$, or am I missing something ? – –  Feldmann Denis Apr 27 '12 at 10:53
    
@Feldmann Denis Thanks for your comment! My assumption that Apéry's séries is divergent is based on the following remark in his paper: "(Nous écrivons $\equiv $ au lieu de $=$ pour tenir compte des répugnances des mathématiciens qui considérent avec Abel, Cauchy et d' Alembert les séries divergentes comme une invention du diable; en fait, nous n' utilisons jamais qu' une somme finie de termes, mais le nombres de termes croit avec $x$)." –  Américo Tavares Apr 27 '12 at 11:29
    
Here is a digitalized copy of the relevant part of the Apéry's paper i.stack.imgur.com/sGRHk.jpg –  Américo Tavares Apr 27 '12 at 11:36
    
I don't understand "$f(x)$ is a general analytic function wrt the variable $1/x$ which goes to 0 with $1/x$". Anybody care to translate for me? –  Kevin O'Bryant May 17 '12 at 21:26
    
@Kevin O'Bryant, I think that the functions $u(x)=1/x^2$ or $v(x)=1/x^3$ are examples. My interpretation is that setting $y=1/x$ apparently the function $g(y)=f(1/y)\to 0$, as $y\to 0$, and that $g(y)$ should be given by a convergent power series at $y=0$. However the above series (A) is not a power series. –  Américo Tavares May 18 '12 at 13:24

2 Answers 2

I think that this is "amazing claim" number 1 in van der Poorten's paper "A proof that Euler missed ...."

http://www.ift.uni.wroc.pl/~mwolf/Poorten_MI_195_0.pdf

share|improve this answer
    
Yes, it is. But in van der Poorten's paper what is actually proved is the first formula in section 3 $$\sum_{k=1}^{K}\dfrac{a_{1}a_{2}\cdots a_{k-1}}{(x+a_{1})\cdots (x+a_{k})}=\dfrac{1}{x}-\dfrac{a_{1}a_{2}\cdots a_{K}}{xx+a_{1})\cdots (x+a_{K})}.$$ –  Américo Tavares Apr 21 '12 at 13:50
    
Correction of a typo: $$\sum_{k=1}^{K}\dfrac{a_{1}a_{2}\cdots a_{k-1}}{(x+a_{1})\cdots (x+a_{k})}=\dfrac{1}{x}-\dfrac{a_{1}a_{2}\cdots a_{K}}{(x+a_{1})\cdots (x+a_{K})}.$$ –  Américo Tavares Apr 21 '12 at 13:52
    
Is there any easy way to generalize the "first formula in section 3" in van der Poorten's paper to $(\mathrm{A})$? In that case my question could just be how to prove $(\mathrm{A})$ using a similar argument. –  Américo Tavares Apr 23 '12 at 11:43
    
Thanks for your answer! As far as I understand the claim number 1 proved in the paper you pointed is less general than the unproven claim in Apéry's paper. –  Américo Tavares Apr 25 '12 at 0:24
1  
You are right. I do not know how to prove the more general fact. –  Micah Milinovich Apr 25 '12 at 0:53
up vote 1 down vote accepted

The version of this question posted on Mathematics Stack Exchange got a new answer yesterday by robjohn, which I've already approved.

ADDED: I quote robjohn's anwer:

Writing $g_1(x)=f(1/x)$ gives $$ g_1(x)\equiv\sum_{k\ge1}\frac{c_kx^k}{(1+a_1x)(1+a_2x)\dots(1+a_kx)}\tag{1} $$ which vanishes at $x=0$.

Recursively define $$ g_{n+1}(x)=\frac{(1+a_nx)g_n(x)}{x}-c_n\tag{2} $$ where $$ c_n=\lim_{x\to0}\frac{g_n(x)}{x}\tag{3} $$ Then $$ g_n(x)\equiv\sum_{k\ge n}\frac{c_kx^{k-n+1}}{(1+a_nx)(1+a_{n+1}x)\dots(1+a_kx)}\tag{4} $$ is another series like $(1)$ (which vanishes at $x=0$).

The series in $(1)$ may or may not converge, as with the Euler-Maclaurin Sum Series. As with most asymptotic series, we are only interested in the first several terms; the remainder (not the remaining terms) can be bounded by something smaller than the preceding terms. Therefore, convergence is not an issue.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.