1
$\begingroup$

Hello,

working on some machine learning problem I end up facing a problem which looks like generalizing the notion of Cauchy product.

I briefly go back to Cauchy products before exposing my question. Consider, two sequences $(a_n)_{n \in \mathbb N}$ and $(b_n)_{n \in \mathbb N}$, which are assumed to be absolutely convergent (for simplicity). Then one can define another sequence $c_n = \sum_{k = 0}^{n}a_k b_{n-k}$ such that $$\sum_{n=0}^{+\infty} c_n = \Big(\sum_{n=0}^{+\infty} a_n\Big)\Big(\sum_{n=0}^{+\infty} b_n\Big)$$ In the simpler framework, this is known as Mertens theorem and the (pedestrian) proof can be found in this wikipedia page.

My question consists in the possible generalization / extension of such result to the case where the sequence $b$ would have two indices. More precisely, if one introduces another sequence $(\theta_n)_{n \in \mathbb N}$, I would like to consider the case of $$b_k^n = \prod_{i = k}^{n} \theta_i$$ and I am interested in computing the double sum $$\sum_{n=0}^{+\infty}\sum_{k = 0}^{n}a_k b_k^n$$ Note that, if all the $\theta_i$ are equal (and smaller than 1), then we fall under Mertens theorem range of application. But what if the $\theta_i$ are different? Is it still possible to have such a result where the sums eventually separate?

I have tried but failed to extend Mertens theorem's proof to this case. Any link to references which may help me figure this out would be most welcome. Besides, if one could show me a path to learn more about sequence with two indices, I would be very happy!

Cheers

$\endgroup$

1 Answer 1

1
$\begingroup$

If the $\theta_i$ are different (but still all $|\theta_i| < 1 - \epsilon < 1$ for some fixed $\epsilon$), then $$ \sum_{n=0}^\infty \sum_{k=0}^n \left|a_k \prod_{i=k}^n \theta_i \right| < \sum_{k=0}^\infty \sum_{n=k}^\infty |a_k| (1-\epsilon)^{n-k+1} = \sum_{k=0}^\infty |a_k| \frac{1-\epsilon}{\epsilon}$$ so it converges absolutely if $\sum_{k=0}^\infty |a_k|$ converges absolutely, and then we can rearrange: $$ \sum_{n=0}^\infty \sum_{k=0}^n a_k \prod_{i=k}^n \theta_i = \sum_{k=0}^\infty \sum_{n=k}^\infty a_k \prod_{i=k}^n \theta_i = \sum_{k=0}^\infty a_k c_k$$ where $c_k = \sum_{n=k}^\infty \prod_{i=k}^n \theta_i = \theta_k (1 + \theta_{k+1} (1 + \theta_{k+2} (\ldots)))$. Thus $|c_k| < (1 - \epsilon)/\epsilon$ and $c_k = \theta_k (1 + c_{k+1})$.

$\endgroup$
1
  • $\begingroup$ Thanks. Just a follow up to come to a concluding point. A change of variable $p=n-k$ in $c_k$ leads to $$ c_k = \sum_{p=0}^\infty \prod_{i=k}^{p + k} \theta_i = \sum_{p=0}^\infty \prod_{i=0}^{p} \theta_{i + k} $$ Therefore, if all the $\theta_i$ are equal, then $c_k$ is independent of $k$ and we get the Cauchy product formula. If the $\theta_i$ are different then $c_k$ does depend on $k$ and the formula I was looking for is $$ \sum_{n=0}^\infty \sum_{k=0}^n a_k b_k^n = \sum_{k=0}^\infty a_k \sum_{p=0}^\infty \prod_{i=0}^{p} \theta_{i + k} $$ and the sums can not be separated. $\endgroup$ May 16, 2012 at 10:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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