具体数学笔记(3)-Sums(2)

最新推荐文章于 2023-02-18 21:52:24 发布

CCRush

最新推荐文章于 2023-02-18 21:52:24 发布

阅读量1.1k

点赞数

分类专栏：具体数学

本文链接：https://blog.csdn.net/ccrush/article/details/8081847

版权

具体数学专栏收录该内容

3 篇文章 0 订阅

订阅专栏

这部分主要讲无限、有限积分以及无限和的求解，作者引入类似阶乘的符号，巧妙的运用与有限积分，利用它极大的简化了一些复杂的求和。对于无限和，则采用了和高等数学中不同的方式来描述。

2.6 Finite and infinite calculus

1、有限、无限积分及符号的引进

无限积分是基于求导符号D： $Df(x) = \lim_{h \to 0 }\frac{f(x+h)-f(x)}{h}$

有限积分是基于差分符号 $\bigtriangleup$ ： $\bigtriangleup f(x) = f(x + 1) - f(x)$ (2.42)

我们引入两个新的符号：

x to the m falling： $x^{\underline{m}} = x(x-1)...(x-m+1),\: integer\: m \geq 0$ (2.43) $x^{\underline{m}} = x(x-1)...(x-m+1),\: integer\: m \geq 0$ (2.43)
x to the m rising: $x^{\bar{m}} = x(x+1)...(x+m-1),\: integer\: m \geq 0$ (2.44)

那么易知其满足一下性质：

$\bigtriangleup x^{\underline{m}} = mx^{\underline{m-1}}$ (2.45)
$g(x)=\bigtriangleup f(x)\, if\, and\, only\, if\, \sum g(x)\delta x=f(x) +C$ (2.46)

其中 C是任意的函数p(x)满足p(x+1) = p(x)。

$\sum_{a}^{b}g(x)\delta x=f(x)\mid ^{b}_{a}= f(b)-f(a)\, \, (g(x)=\bigtriangleup f(x))$ (2.47)

那么上式中的 $\sum g(x)\delta x$ 到底是什么意思呢·？我们可以通过一些特殊的上下限获得：

令b = a则： $\sum_{a}^{a}g(x)\delta x = f(a) - f(a) = 0$
令b = a + 1则： $\sum_{a}^{a + 1}g(x)\delta x = f(a + 1) - f(a) = g(a)$
令b增加1则： $\sum_{a}^{b + 1}g(x)\delta x - \sum_{a}^{b}g(x)\delta x= (f(b + 1) - f(a)) -(f(b) - f(a))= g(b)$

通过上面分析观察以及数学归纳法，我们可以得到：

$\sum_{a}^{b}g(x)\delta x = \sum_{k=a}^{b-1}g(k)= \sum_{a\leq k< b}g(k),\, \, for \, \, b\geq a$ (2.48)

分析b<a的情况我们可以得出对任意整数a，b，c：

$\sum_{a}^{b}g(x)\delta x + \sum_{b}^{c}g(x)\delta x = \sum_{a}^{c}g(x)\delta x$ (2.49)

由2.45、2.48、2.48我们可以很容易的得到对于m，n大于等于0：

$\sum_{0\leq k < n}k^{\underline{m}} = \frac{k^{\underline{m+1}}}{m+1}\mid ^{n}_{0} = \frac{k^{\underline{m+1}}}{m+1}$ (2.50)

2、根据2.50 应用求和

由 $k^{\underline{1}} = k$ 可以得到： $\sum_{0\leq k< n}k = \frac{n^{\underline{2}}}{2} = ...$

由 $k^{2} = k^{\underline{2}} + k^{\underline{1}}$ 可以得到： $\sum_{0\leq k< n}k^{2} = \frac{n^{\underline{3}}}{3} + \frac{n^{\underline{2}}}{2} = ...$
由 $k^{3} = k^{\underline{3}} + 3k^{\underline{2}} + k^{\underline{1}}$ 可以得到： $\sum_{a\leq k< b}k^{3} = \frac{k^{\underline{4}}}{4} + k^{\underline{3}} + \frac{k^{\underline{2}}}{2}\mid ^{b}_{a}$

3、扩展负数的情况

定义negative falling powers(m>0)： $x^{\underline{-m}} = \frac{1}{(x + 1)(x + 2)...(x + m)}$ (2.51)

我们也可以得到类似指数的性质： $x^{\underline{m + n}} = x^{\underline{m}}(x - m)^{\underline{n}}$ (2.52)

那么对于2.50，m为负数的时候也是成立的，那么当m = -1时应该是什么呢？ $x^{\underline{-1}} = \frac{1}{x + 1} = \bigtriangleup f(x) = f(x + 1) - f(x)$ ，那么不难得到 $f(x) = \frac{1}{1} +\frac{1}{2}+...+\frac{1}{x}$ ，综上所述，我们可以得到：

$\sum_{a}^{b}g(x)\delta x=\left\{\begin{matrix} \frac{x^{\underline{m + 1}}}{m + 1}\mid ^{b}_{a},\, \, \, m \neq -1 \\ H_{x}\mid^{b}_{a},\, \, \, m = -1 \end{matrix}\right.$ (2.53)

4、分步求和的情况

从分步积分得到启发，来探讨分布求和：

$\begin{align*} \bigtriangleup (u(x)v(x)) = u(x + 1)v(x + 1) - u(x)v(x) &= \\ u(x + 1)v(x + 1)-u(x)v(x + 1) + u(x)v(x + 1)-u(x)v(x) &= \\u(x)\bigtriangleup v(x) + v(x + 1)\bigtriangleup u(x) \end{align*}$ (2.54)

我们令Ef(x) = f(x＋1)，那么可以得到积差分公式：

$\bigtriangleup(uv)=u\bigtriangleup v + Ev\bigtriangleup u$ (2.55)

部分和公式(两边都累加的无限和)：

$\sum u\bigtriangleup v =uv- \sum Ev\bigtriangleup u$ (2.56)

我们将它应用于求和 $\sum x2^{x}\delta x$ ： $\sum x2^{x}\delta x = x2^{x} - \sum 2^{x + 1}\delta x = x2^{x} - 2^{x + 1} + C$

最后求一个有关调和级数的例子 $\sum_{0\leq k < n}kH_^{k}$ ，我们令 $u(x) = H_{x}, \bigtriangleup v(x) = x = x^{\underline{1}}$ ，那么 $\bigtriangleup u(x) = x^{\underline{-1}}, v(x) = x^{\underline{2}}/2,Ev(x) = (x+ 1)^{\underline{2}}/2$ 。那么：

$\begin{align*} \sum xH_{x}\delta x = \frac{x^{\underline{2}}}{2}H_{x} - \sum \frac{(x+ 1)^{\underline{2}}}{2}x^{\underline{-1}}\delta x = \frac{x^{\underline{2}}}{2}H_{x} - \frac{1}{2}\sum x^{\underline{1}}\delta x = \frac{x^{\underline{2}}}{2}H_{x} - \frac{x^{\underline{2}}}{4} + C \end{align*}$

最终我们可以得到：

$\sum_{0\leq k < n}kH_{k} = \sum_{0}^{n}xH_{x}\delta x = \frac{n^{\underline{2}}}{2}(H_{n} - \frac{1}{2})$ (2.57)

2.7 Infinite sums

1、非负定义：

infinite sum的定义必须小心，否则可能陷入自相矛盾的情形：假设我们令 $T = 1 + 2 + 4 + 8 + 16 + 32 + ...$ ，那么 $2T = 2 + 4 + 8 + 16 + 32 + 64+... = T - 1$ ，这样子最终会得到T= -1，这明显有问题。

不难发现一个比较合理的定义：对于常数A： $\sum_{k\in F}\leq A$ 对于所有的有限集 $F \in K$ 都成立 (K可以使无限集)，那么我们定义 $\sum_{k\in K}a_{k}$ 是所有满足前面不等式中最小的，如果不存在这样的A，那么我们说 $\sum_{k\in K}a_{k}=\infty$ 。根据这个定义，对于非负项 $a_{k}$ 它的无限和可以这样子表示：

$\sum_{k\geq 0}a_{k} = \lim_{n \to \infty }\sum_{k=0}^{n}a_{k}$

2、根据上面的定义，我们可以很容易计算一些无限和如 $a_{k} = x^{k}$ ：

$\sum_{k\geq 0}x^{k} = \lim_{n \to \infty } \frac{1-x^{n+1}}{1-x}= \left\{\begin{matrix} 1/(1-x),\, \, \, 0\leq x< 1\\ \infty,\, \, \, x\geq 1 \end{matrix}\right.$

在考虑一个问题： $...+(-\frac{1}{4}) + (-\frac{1}{3}) + (-\frac{1}{2}) + 1 + (\frac{1}{2}) + (\frac{1}{3}) + (\frac{1}{4}) +...$ (2.58)

如果我们这么变化： $...+(-\frac{1}{4}+ (-\frac{1}{3} + (-\frac{1}{2} + (1) + \frac{1}{2}) + \frac{1}{3}) + \frac{1}{4}) +...$ 那么我们可以得到结果为1

如果我们将括号左移一位： $...+(-\frac{1}{5} + (-\frac{1}{4}+ (-\frac{1}{3} + (-\frac{1}{2}) + 1) + \frac{1}{2}) + \frac{1}{3}) +...$ 我们同样得到1因为括号内的结果为： $1-\frac{1}{n}-\frac{1}{n+1}$ 。

当我们右移时： $...+(-\frac{1}{4}+ (-\frac{1}{3} + (-\frac{1}{2} + 1 + \frac{1}{2}) + \frac{1}{3} + \frac{1}{4}) + \frac{1}{5}+ \frac{1}{6})...$ 也是就 $-\frac{1}{n+1}-\frac{1}{n}-...-\frac{1}{2} + 1 + \frac{1}{2} + ... + \frac{1}{2n-1} + \frac{1}{2n} = 1 + H_{2n} - H_{n-1}$ 而 $\lim_{n \to \infty }(H_{2n} - H_{n-1}) = ln2$ (后面会证明)，这就出现了不一致。

3、正负情况的定义

任何实数都可以这样表示： $x= x^{+}- x ^ {-},\, \, \, x^{+} = x*x[>0],\, \, \, x^{-} = -x * [x < 0]$ ，那么我们定义infinite sum：

$\sum_{k\in K}a_{k} = \sum_{k\in K}a^{+}_{k} - \sum_{k\in K}a^{-}_{k}$ (2.59)

如果2.59式右边两项都为无穷大，我们我们说 $\sum_{k\in K}a_{k}$ 无意义。令 $A^{+} = \sum_{k\in K}a^{+}_{k}$ ， $A^{-} = \sum_{k\in K}a^{-}_{k}$ ，当 $A^{+}$ 和 $A^{-}$ 都有限时，我们说 $\sum_{k\in K}a_{k}$ 绝对收敛(absolutely convergent) $A = A^{+} - A^{-}$ ，当 $A^{+}$ 无穷大和 $A^{-}$ 有限时，我们说 $\sum_{k\in K}a_{k}$ 发散到正无穷，反之，发散到负无穷。若 $A^{+}$ 无穷大和 $A^{-}$ 都无穷大，那么无解。同样道理，我们可以扩展到实数的情况。对于绝对收敛的和，其满足前面提到的distributive，associative，commutative laws。

4、绝对收敛和的计算顺序

正式的说：如果J和 $\{K_{j}|j \in J \}$ 都是下标集合使得 $\sum_{j \in J, k \in K_{j}}a_{j, k}$ 绝对收敛于A，那么存在实数 $A_{j}$ 和 $j\in J$ 使得

$\sum_{k\in K_{j}}a_{j, k}\: \: \: converges\, \, \, absolutely \, \, \, to\, \, \, A_{j}$

$\sum_{j\in J}A_{j}\: \: \: converges\, \, \, absolutely \, \, \, to\, \, \, A$

CCRush

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
具体数学笔记(3)-Sums(2)

这部分主要讲无限、有限积分以及无限和的求解，作者引入类似阶乘的符号，巧妙的运用与有限积分，利用它极大的简化了一些复杂的求和。对于无限和，则采用了和高等数学中不同的方式来描述。2.6 Finite and infinite calculus1、有限、无限积分及符号的引进无限积分是基于求导符号D：有限积分是基于差分符号： (2.42)我们引入两个新
复制链接

扫一扫