漫步数学分析二十九——幂级数
本篇文章我们介绍无限级数的相关理论,我们先从幂级数开始。
定义5\textbf{定义5} 幂级数就是形如Σ∞k=0akxk\Sigma_{k=0}^\infty a_kx^k的级数,其中系数aka_k是固定的实(或虚)数,令
\lim_{k\to\infty}\sup{\sqrt[k]{|a_k|}=\frac{1}{R}}
RR称为幂级数的收敛半径,{x||x|=R}\{x||x|=R\}是收敛圆(xx可能是实数或虚数)。
注意0≤R≤+∞0\leq R\leq +\infty;RR可能是零或∞\infty。定义5中的术语因此下面的结论。
定理15\textbf{定理15} 对|x|<R,Σ∞k=0akxk|x| 绝对收敛,对|x|≤R′|x|\leq R^\prime,级数一致收敛,其中R′<RR^\prime,如果|x|>R|x|>R,那么级数发散。(如果|x|=R|x|=R的话,该定理没有给出任何信息)
这些收敛性由RR唯一确定。
推论4\textbf{推论4} 幂级数的和是其收敛圆内的C∞C^\infty 函数,它可以逐项微分并且微分级数有相同的收敛半径。
这个证明充分利用了前面级数逐项微分的结论。
如果limn→∞|an/an+1|\lim_{n\to\infty}|a_n/a_{n+1}|存在,那么它的极限是RR,也就是收敛半径。通过利用定理15以及比率测试可以很容易看出这个结果。
接下来我们讨论Cesaro求和的概念。
定义6\textbf{定义6} 令
S_n=\sum_{k=1}^na_k,\quad\sigma_n=\frac{1}{n}\sum_{k=1}^n S_k;
所以σn\sigma_n是前nn项部分和级数的算术平均,注意公式
\sigma_n=\sum_{k=1}^n\left(1-\frac{k-1}{n}\right)a_k
如果limn→∞σn=A\lim_{n\to\infty}\sigma_n=A,那么级数Σ∞k=1ak\Sigma_{k=1}^\infty a_k就称为Cesaro 1-求和或(C,1)(C,1)求和为AA,此时我们写作
\sum_{k=1}^\infty a_k=A\quad(C,1)
这里的想法是知道一些方法可以在向不同的发散级数上附加新的意义,例如
\frac{1}{2}=1-1+1-1+\cdots\quad(C,1)
这里Sn=1,0,1,0,…S_n=1,0,1,0,\ldots
T_n=\sum_{k=1}^n S_k=1,1,2,2,3,3,\ldots
因此σ2n=n/2n,σ2n+1=n+1/(2n+1)\sigma_{2n}=n/2n,\sigma_{2n+1}=n+1/(2n+1),所以limn→∞σn=1/2\lim_{n\to\infty}\sigma_n=1/2。
然而,通过平均σn\sigma_n,我们可以引入更强有力的求和方法,就像(C,1)(C,1)方法那样,它是基于平均SnS_n。也就是说,我们将给定的级数(C,2)(C,2)和定义为limn→∞(σ1+σ2+⋯+σn)/n\lim_{n\to\infty}(\sigma_1+\sigma_2+\cdots+\sigma_n)/n,当然前提是极限存在。
至此,相信大家对于如何定义(C,r)(C,r)和非常清楚了,下面给出(C,1)(C,1)求和的一些基本性质。
- 如果Σak=A(C,1),Σbk=B(C,1)\Sigma a_k=A(C,1),\Sigma b_k=B(C,1),那么Σ(αak+βbk)=αA+βB(C,1)\Sigma(\alpha a_k+\beta b_k)=\alpha A+\beta B(C,1)。
- 如果Σ∞k=1ak=A(C,1)\Sigma_{k=1}^\infty a_k=A(C,1),那么Σ∞k=1ak+1=A−a1(C,1)\Sigma_{k=1}^\infty a_{k+1}=A-a_1(C,1)(截头)
- 如果在通常情况下Σ∞k=1ak=A\Sigma_{k=1}^\infty a_k=A,那么Σ∞k=1ak=A(C,1)\Sigma_{k=1}^\infty a_k=A(C,1)。
(iii)\textrm{(iii)}的证明:我们有Sn→AS_n\to A,所以给定B<AB,存在一个n0n_0使得n≥n0⇒Sn≥Bn\geq n_0\Rightarrow S_n\geq B,接下来
因此limn→∞infσn≥B\lim_{n\to\infty}\inf\sigma_n\geq B。因为B<AB恒成立,所以limn→∞infσn=A\lim_{n\to\infty}\inf\sigma_n=A。
同样的证明可以说明limn→∞supσn≤A\lim_{n\to\infty}\sup\sigma_n\leq A,因此limn→∞σn=A\lim_{n\to\infty}\sigma_n=A。
接下里我们转到另一种求和方法,叫做阿贝尔求和(虽然它是由欧拉发明的)。
\frac{1}{2}=1-1+1-1+\cdots\quad (Abel)
因为对于|x|<1,f(x)=1−x+x2−⋯=1/(1+x)|x|,当x→1−x\to 1^{-}时它趋近于→1/2\to 1/2。
注意(至少这个例子中)阿贝尔方法与(C,1)(C,1)方法的结果是一样的。事实上,我们会在后面看待,他们始终都是一样的。首先我们将证明阿贝尔求和是regular。
定理16\textbf{定理16}(阿贝尔) 如果Σ∞k=0ak=A\Sigma_{k=0}^\infty a_k=A,那么对于|x|<1,Σ∞k=0akxk|x|收敛且limx→1−Σ∞k=0akxk=A\lim_{x\to1^{-}}\Sigma_{k=0}^\infty a_kx^k=A。
因此如果一个幂级数在闭区间上手里拿,那么它的和是连续的,即便是端点处依然连续。
实际上阿贝尔方法比(C,1)(C,1)方法更强。
定理17\textbf{定理17} Σ∞k=0ak=A(C,1)\Sigma_{k=0}^\infty a_k=A(C,1)意味着Σ∞k=0ak=A\Sigma_{k=0}^\infty a_k=A(阿贝尔)。
有一个非常有趣的话题,那就是在什么条件下,Cesaro求和级数(或阿贝尔求和级数等等)在一般的意义下是收敛的,沿着这个思路我们给出G.H.Hardy的一个结论。
定理18\textbf{定理18} 如果Σan=A(C,1),an=O(1/n)\Sigma a_n=A(C,1),a_n=O(1/n)(即,对于常数MM以及充分大的n,|an|≤M/nn,|a_n|\leq M/n),那么Σan\Sigma a_n在一般意义下收敛(到AA)。
注意:上面的定理就是所谓的陶贝尔(Tauberian)定理。
例1:\textbf{例1:}找出Σxk,Σxk/k!\Sigma x^k,\Sigma x^k/k!的收敛半径。
解:\textbf{解:}我们利用公式
R=\lim_{n\to\infty}\left|\frac{a_n}{a_{n+1}}\right|
第一个例子给出R=1R=1,第二个给出
R=\lim_{n\to\infty}\left(\frac{(n+1)!}{n!}\right)=\lim_{n\to\infty}(n+1)=\infty
因此,如果|x|<1|x|,那么Σxk\Sigma x^k收敛(收敛到1/(1−x)1/(1-x)),对于所有的x,Σxk/k!x,\Sigma x^k/k!收敛(收敛到exe^x)。
例2:\textbf{例2:}说明Σ∞k=1(−1)kk\Sigma_{k=1}^\infty(-1)^kk不是可和的(C,1)(C,1)。
解:\textbf{解:}这里
\begin{align*} a_n:&-1,+2,-3,+4,-5,+6,\cdots\\ S_n:&-1,+1,-2,+2,-3,+3,\cdots\\ T_n:&-1,0,-2,0,-3,0,\cdots\\ \sigma_{2n}:&0,\sigma_{2n-1}=-\frac{n}{2n-1}\to-\frac{1}{2} \end{align*}
所以 limn→∞σn\lim_{n\to\infty}\sigma_n不存在。然而 (C,2)(C,2)和是 −1/4-1/4。
例3:\textbf{例3:}说明Σ∞k=1(−1)kk=−1/4\Sigma_{k=1}^\infty(-1)^kk=-1/4(阿贝尔),这里
\begin{align*} \sum_{k=1}^\infty(-1)^kkx^k &=x\frac{d}{dx}\sum(-1)^kx^k\\ &=x\frac{d}{dx}\frac{1}{1+x}\\ &=-\frac{x}{(1+x)^2},\quad |x|
当x→1−x\to 1^{-}时上式趋近于→−1/4\to-1/4,所以
\sum_{k=1}^\infty(-1)^kk=-\frac{1}{4}\quad(Abel)
漫步数学分析二十九——幂级数相关推荐
- 漫步数学分析二十八——狄利克雷与阿贝尔测试
在我们判断一致收敛的时候,某些情况下魏尔斯特拉斯M测试会失效,为此挪威数学家尼尔斯阿贝尔(Niels Abel)以及狄利克雷(Dirichlet)分别提出了两种测试方法,这些方法对许多实例都是非常有用 ...
- 漫步最优化二十九——D.S.C.算法
你是我的小公主,\textbf{你是我的小公主,} 像宠你宠你宠你.\textbf{像宠你宠你宠你.} 你是我的小公主,\textbf{你是我的小公主,} 我的天空是晴是雨是彩虹,\textbf{我的 ...
- 漫步数理统计二十九——函数期望
令X=(X1,-,Xn)′\mathbf{X}=(X_1,\ldots,X_n)^\prime表示某试验的随机变量,我们一般对X\mathbf{X}的函数感兴趣,表示为T=T(X)T=T(\mathb ...
- 漫步数学分析二十六——积分方程与不动点
在许多物理问题中,我们会遇到积分方程:他们的形式如下 f(x)=a+∫x0k(x,y)f(y)dy(1) \begin{equation} f(x)=a+\int_0^x k(x,y)f(y)dy\t ...
- 漫步数学分析二十五——等连续函数
定义4\textbf{定义4} 令B⊂ℓ(A,Rm)B\subset \ell(A,R^m),我们称BB是函数的等连续(equicontinuous)集合,如果对于每个ε>0\varepsilo ...
- 漫步数学分析二十四——连续函数空间
固定集合A⊂RnA\subset R^n并且考虑所有函数f:A→Rmf:A\to R^m的集合VV,那么VV可以看成一个向量空间.在VV中,零向量就是对于所有的x∈Ax\in A函数等于0的函数.另外 ...
- 漫步数学分析三十九——隐函数定理
假设x,yx,y被方程F(x,y)=0F(x,y)=0关联起来,我们会说这定义了一个函数y=f(x)y=f(x)(或者说隐式定义了y=f(x)y=f(x)),然后打算计算dy/dxdy/dx.前面已经 ...
- 漫步微积分二十九——微积分基本定理
目前为止,我们通过逼近和的极限,得到了一个相当复杂的连续函数定积分的定义, ∫baf(x)dx=limmax Δxk→∞∑k=1nf(x∗k)Δxk(1) \begin{equation} \int_ ...
- 漫步数学分析二十——一致连续
有时候,对连续的定义进行一些变形是非常有用的.这就是我们要介绍的一致连续函数(uniformly continuous function),精确的定义如下. 定义3\textbf{定义3} 令f:A→ ...
最新文章
- piblog 0.2
- 第二种PHP协议,PHP多种形式,第二种使用来自First的数据
- java的知识点30——设计模式
- C~K的班级_JAVA
- 广义的B端产品人,都是什么职位?
- 互联网泛娱乐直播安全的解决之道
- php文件缓存代码,php文件缓存实例代码
- 【Python CheckiO 题解】Largest Rectangle in a Histogram
- 抽一个读者,送她一台MacBook!
- SourceInsight下面一直出现unable to write to temp file for saving operation 这样的提示
- cURL(wget)—— 测试 RESTful 接口及模拟 GET/POST/PUT/DELETE/OPTIONS 请求
- Java编程思想笔记一:基本概念
- 无线WIFI WPS认证机制破解
- 易语言文件夹加密解密助手
- 手机内存垃圾不会清理?学会删除这几个文件夹,瞬间腾出几个G
- window安全中心关闭防火墙后仍然会将xx文件删除的解决办法
- 《可以量化的管理学》目录
- 旭锋科技制造信息管理系统
- What?Tomcat-竟然也算中间件?
- arris sbr-ac1900p/sbr-ac3200p梅林固件
热门文章
- Javascript基础回顾 之(二) 作用域
- Know More About Oracle Row Lock
- 容器编排技术 -- Kubernetes kubectl create serviceaccount 命令详解
- IDEA 调试部署 Web-INF/classes下面不生成class文件
- Linux——安全权限(禁止添加新用户+umask值+修改默认密码最长有效期)
- portainer使用阿里云docker镜像加速器
- shader 隐身_如何超越隐身障碍
- python 硬件自动化测试_村长告诉你:Python实现性能自动化测试竟然如此简单
- matlab simulink_简单五步实现 MATLAB/Simulink 锂电池建模
- php连接mysql学习过程中遇到的各种问题总结