含指数衰减项的嵌套求和闭式表达式求解咨询

嘿，这个嵌套求和的问题挺有意思的，我来一步步帮你拆解下～

首先从你给出的两层嵌套情况入手：
$$S(t) = \sum_{i=1}^t a_2^{t-i} \sum_{j=1}^i a_1^{i-j}$$

第一步：先计算内层求和 #

内层的$\sum_{j=1}^i a_1^{i-j}$是个典型的有限等比数列求和。我们换个变量，令$m = i-j$，当$j=1$时$m=i-1$，$j=i$时$m=0$，求和就变成$\sum_{m=0}^{i-1} a_1^m$。

• 当$a_1 \neq 1$时（题目里已经给出$|a_1|<1$，显然满足这个条件），求和结果为：
  $$\sum_{j=1}^i a_1^{i-j} = \frac{1 - a_1^i}{1 - a_1}$$

第二步：代入外层求和并拆分 #

把内层结果代入$S(t)$，可以拆成两个独立的求和项：
$$S(t) = \frac{1}{1 - a_1} \left( \sum_{i=1}^t a_2^{t-i} - \sum_{i=1}^t a_2^{t-i} a_1^i \right)$$

我们分别计算这两个求和：

1. 第一个求和$\sum_{i=1}^t a_2^{t-i}$：同样换变量$k = t-i$，求和变为$\sum_{k=0}^{t-1} a_2^k$，结果是：
   $$\frac{1 - a_2^t}{1 - a_2}$$
2. 第二个求和$\sum_{i=1}^t a_2^{t-i}a_1i$：提取$a_2^{t$后变成$a_2}t \sum_{i=1}^t \left( \frac{a_1}{a_2} \right)^i$，这也是等比数列求和，计算后得到：
   $$\frac{a_1(a_2^t - a_1^t)}{a_2 - a_1}$$

第三步：合并得到两层的闭式表达式 #

把这两个结果代回去，整理后就能得到有限$t$时的闭式：
$$S(t) = \frac{1}{(1 - a_1)(1 - a_2)} - \frac{a_2^t}{(1 - a_1)(1 - a_2)} - \frac{a_1(a_2^t - a_1^t)}{(1 - a_1)(a_2 - a_1)}$$

当$t \to \infty$时的极限

因为题目里给出$0 < |a_1|, |a_2| < 1$，所以当$t$趋向无穷大时，$a_1^t$和$a_2t$都会趋近于0，代入上面的式子就能得到极限：
$$\lim_{t \to \infty} S(t) = \frac{1}{(1 - a_1)(1 - a_2)}$$

推广到$K$层嵌套求和的情况 #

接下来看更一般的$K$层嵌套求和：
$$\sum_{i=1}^t a_K^{t-i} \sum_{j=1}^i a_{K-1}^{i-j} \dots \sum_{l=1}^k a_1^{k-l}$$

我们可以用递推的思路来分析：

1. 有限$t$的情况：每一层嵌套的求和都可以像两层的情况一样，拆分为多个等比数列求和的组合。最终的闭式会是一个包含$K$个关于$a_m^{t$（$m=1,2,...,K$）的项的表达式，具体形式可以通过递推或者部分分式分解来推导。比如三层的情况，会在两层的基础上再增加一个涉及$a_3}t$的项。
2. 当$t \to \infty$时的极限：同样因为所有$0 < |a_m| < 1$，所有$a_m^t$项都会趋向于0，最终的极限就是各层等比数列和的乘积：
   $$\lim_{t \to \infty} S_K(t) = \prod_{m=1}^K \frac{1}{1 - a_m}$$

简单来说，每多一层嵌套，无穷极限就多乘一个$\frac{1}{1 - a_m}$，而有限$t$的闭式则会对应增加一个修正项，用来抵消高次幂的影响。

备注：内容来源于stack exchange，提问作者gradascender