chapter3复变函数的幂级数展开

Chapter3复变函数的幂级数展开复变函数论基础·解析函数的级数表示理论Contents本章目录Chapter3复变函数的幂级数展开01复级数的基本性质02幂级数的理论与收敛性03解析函数的泰勒展式04零点孤立性与唯一性定理CHAPTER01复级数的基本性质从实数域到复数域，重新审视无穷级数的收敛理论COMPLEXANALYSIS·SERIES复数项级数的定义与收敛性复数项级数的收敛性可以通过部分和数列的极限来定义，且复级数收敛等价于实部与虚部两个实级数同时收敛，这为复级数的研究提供了与实分析的桥梁。级数收敛的定义复数项级数定义为部分和数列Sn=Σak的极限，当Sn趋于某复数S时称级数收敛于S。Sn→S实部虚部等价条件复级数Σ(ak+ibk)收敛的充要条件是实部级数Σak与虚部级数Σbk同时收敛。Σak+iΣbk柯西收敛准则对任意ε>0，存在正整数N，当n>N时对所有p≥1都有|an+1+…+an+p|<ε。∀ε>0收敛的必要条件级数收敛的必要条件是通项趋于零，即liman=0，但该条件并非充分条件。liman=0COMPLEXANALYSIS·SERIESCONVERGENCE绝对收敛与条件收敛绝对收敛是比收敛更强的条件，绝对收敛的级数必然收敛且具备项重排不变性；而条件收敛级数的和值依赖于项的排列顺序，体现了复级数收敛行为的复杂性。绝对收敛定义正项级数Σ|aₙ|收敛则称Σaₙ绝对收敛；绝对收敛级数必然收敛，逆命题不成立。Σ|aₙ|重排不变性任意改变求和顺序，级数和不变，这是区别于条件收敛的关键特征。唯一和值Riemann重排条件收敛级数通过重新排列项可收敛到任意指定值或发散。任意值∨发散判别方法比较判别法、达朗贝尔比值法与柯西根值法，均可推广到复数域。复数域推广Chapter3·幂级数展开复函数项级数与一致收敛复函数项级数的一致收敛性是保证和函数保持解析性的关键条件。魏尔斯特拉斯定理确保了解析函数项级数在一致收敛条件下的和函数仍具有解析性，并可逐项求导。01函数项级数Σfn(z)在集合E上一致收敛，是指部分和Sn(z)一致趋于和函数S(z)，即余项与z的选取无关02魏尔斯特拉斯定理：若fn(z)在区域D内解析且Σfn(z)在D内内闭一致收敛，则和函数S(z)在D内解析03解析函数项级数在一致收敛条件下可逐项求导任意次，各阶导数级数同样内闭一致收敛04M判别法：若|fn(z)|≤Mn且ΣMn收敛，则Σfn(z)在E上一致收敛CHAPTER02幂级数的理论与收敛性收敛圆、阿贝尔定理与和函数的解析性质COMPLEXANALYSIS·CHAPTER3幂级数的定义与收敛半径幂级数的收敛域必然是以展开中心为圆心的圆盘（收敛圆），这一深刻结论由阿贝尔定理保证。收敛半径可由柯西-阿达马公式或比值公式精确计算。01幂级数Σcn(z−z₀)n以z₀为展开中心、cn为复系数，是最基本也是最重要的复函数项级数Σcn展开中心z₀02阿贝尔定理：若幂级数在z₁处收敛，则在|z−z₀|<|z₁−z₀|的开圆盘内绝对收敛，收敛域为圆盘|z−z₀|<R收敛圆盘03柯西-阿达马公式：R=1/limsup(|cn|1/n)，这是计算收敛半径的最一般公式R=1/limsup一般公式04实用比值公式：当lim|cn/cn+1|存在时等于收敛半径R，对大多数常见级数更为简便R=lim|cn/cn+1|实用公式Chapter3·复变函数的幂级数展开收敛半径的计算实例通过比值法和根值法可高效计算幂级数的收敛半径。收敛圆边界上的敛散性不能由收敛半径直接判断，需要针对具体级数逐一分析。指数级数：R=∞01ez=Σzn/n!，系数cn=1/n!02比值法：R=lim(n!/(n+1)!)的倒数03R=lim(n+1)=∞，全平面收敛，即整函数整函数几何级数：R=101Σzn，系数cn=102比值法：R=lim|1/1|=103在|z|=1上通项不趋于零，级数处处发散处处发散特殊级数：R=101Σzn/n²，系数cn=1/n²02比值法：R=lim((n+1)/n)²=103在|z|=1上因Σ1/n²收敛而绝对收敛绝对收敛ANALYTICITY幂级数和函数的解析性幂级数在其收敛圆内的和函数必然是解析函数，且可以逐项求导和逐项积分，所得新级数的收敛半径不变。01幂级数Σcn(z−z₀)n在收敛圆|z−z₀|<R内的和函数f(z)是解析函数解析性02逐项求导：f′(z)=Σncn(z−z₀)n−1，新级数的收敛半径与原级数相同，均为R逐项求导03逐项积分：沿收敛圆内任意路径积分可逐项进行，积分后的级数收敛半径仍为R逐项积分04反复逐项求导可得f(k)(z₀)=k!·ck，即系数由和函数在展开点的各阶导数唯一确定k!·ckChapter3·复变函数的幂级数展开幂级数的代数运算幂级数在公共收敛圆内构成一个代数系统，可以进行加法、乘法和数乘运算。柯西乘积公式为幂级数乘法提供了明确的系数计算方法，运算结果的收敛半径不小于原来各幂级数收敛半径的最小值。加法与数乘01两个幂级数Σan(z−z₀)n与Σbn(z−z₀)n之和为Σ(an+bn)(z−z₀)n，系数逐项相加02数乘运算：c·Σan(z−z₀)n=Σ(c·an)(z−z₀)n，收敛半径可能扩大但不缩小03加减运算的收敛半径至少为min(R₁,R₂)，当最高阶奇点抵消时收敛半径可能增大柯西乘积01两个幂级数的乘积：Σcn(z−z₀)n，其中cn=Σk=0..nak·bn−k，称为柯西卷积02乘积级数的收敛半径至少为min(R₁,R₂)，在公共收敛圆内绝对收敛03实际应用：可通过已知简单级数的乘积构造复杂函数的展开式，如ez·sinz的展开CHAPTER03解析函数的泰勒展式解析函数与幂级数的等价性——复分析中最深刻的定理之一Chapter3·复变函数的幂级数展开泰勒定理泰勒定理建立了解析函数与幂级数之间的等价关系：每个解析函数在其解析点的邻域内都可以唯一地展开为泰勒级数，展开半径恰好等于该点到最近奇点的距离。01泰勒定理：若f(z)在区域D内解析，z₀∈D，则f(z)=Σ[f⁽ⁿ⁾(z₀)/n!](z−z₀)ⁿ在|z−z₀|<R内成立Σ幂级数02收敛半径的几何意义：展开半径R等于z₀到f(z)最近奇点的距离，这是收敛半径的几何解释R=d(z₀)03证明核心：利用柯西积分公式f(z)=(1/2πi)∮f(ζ)/(ζ−z)dζ，将1/(ζ−z)展开为几何级数后逐项积分Cauchy04展开唯一性：同一解析点处的幂级数展开只有一种，系数由f⁽ⁿ⁾(z₀)/n!唯一确定f⁽ⁿ⁾/n!TAYLORSERIES常见初等函数的泰勒展式指数函数、三角函数、对数函数和二项式函数的泰勒展式是复分析中最基本的展开公式，熟练掌握这些展式及其收敛半径是进行复杂函数展开的基础。指数函数ez=Σzn/n!求和范围n=0→∞，在全复平面绝对收敛，是最基础的整函数展式。R=∞三角函数sinz=Σ(−1)n·z2n+1/(2n+1)!cosz=Σ(−1)n·z2n/(2n)!两者均为整函数，在全复平面收敛。整函数对数函数ln(1+z)=Σ(−1)n−1·zn/n求和范围n=1→∞，在|z|=1上除z=−1外均收敛。R=1二项式函数(1+z)α=ΣC(α,n)·zn广义二项式系数C(α,n)=α(α−1)···(α−n+1)/n!R=1Chapter3·复变函数的幂级数展开求泰勒展式的常用方法实际计算中，直接利用泰勒公式逐项求导效率低下。代入法、逐项微积分法和待定系数法是三种高效的替代方法，能灵活应对各类函数的展开需求。代入法（变量替换）利用已知基本展式通过变量替换直接写出新展式例：e^(z²)=Σz^(2n)/n!，R=∞例：sin(z²)=Σ(-1)^n·z^(4n+2)/(2n+1)!变量替换逐项微积分法对已知展式逐项求导或积分来获得相关函数的展式例：1/(1-z)²=d/dz[1/(1-z)]=Σnz^(n-1)例：-ln(1-z)=∫[1/(1-z)]dz=Σz^n/n逐项运算待定系数法设出展式形式后利用函数方程或恒等式确定系数例：设tanz=a₁z+a₃z³+...，由sinz=tanz·cosz比较系数特别适用于有理函数和不能直接代入的复合函数比较系数POWERSERIESEXPANSION泰勒展式计算例题通过部分分式分解结合几何级数展开是有理函数展开的标准方法；对于复合函数则需先展开内层函数再代入外层展式，逐步合并同类项获得最终结果。EXAMPLE01有理函数展开01f(z)=1/(z²−5z+6)=1/(z−2)−1/(z−3)，在z=0处展开021/(z−2)=−½·Σ(z/2)ⁿ1/(z−3)=−⅓·Σ(z/3)ⁿ03f(z)=Σ[1/3ⁿ⁺¹−1/2ⁿ⁺¹]zⁿ收敛半径R=min(2,3)=2CONVERGENCER=2EXAMPLE02复合函数展开01f(z)=e^(1/(1−z))在z=0处展开令w=z/(1−z)=Σzⁿ(n≥1)02代入eʷ·e=e·Σwⁿ/n!将w的幂逐项展开合并同类项03f(z)=e·(1+z+3z²/2+13z³/6+…)收敛半径R=1（奇点在z=1）CONVERGENCER=1Chapter3·复变函数的幂级数展开收敛半径的几何意义泰勒级数的收敛半径等于展开中心到函数最近奇点的距离，这一几何判据揭示了复分析的独特深刻性——实函数的收敛行为由复平面上的奇点所决定。01几何判据：f(z)在z₀处的泰勒级数收敛半径R=min|z₀−zk|，其中zk是f(z)的所有奇点02经典案例：1/(1+z²)在实轴上光滑，但复平面奇点为z=±i，从z=0展开得R=|i|=103lnz在z=1处展开，最近奇点为z=0（支点），故R=|1−0|=104该判据揭示了实分析中"神秘"的收敛现象：实函数的收敛半径受限往往源于复平面上的隐蔽奇点复平面收敛圆与奇点位置关系示意：圆心为展开中心z₀，半径R由最近奇点决定Chapter3·复变函数的幂级数展开解析函数的等价刻画解析函数有多个等价定义：可导、可展为幂级数、满足柯西积分公式、无穷可微。这些等价性在实分析中均不成立，体现了复变函数论相比实分析的根本性差异。01解析⟺每点可导f(z)在区域D内解析当且仅当f(z)在D内每一点可导（复可微）。这一条件揭示了复可微性对函数整体性质的强约束，是复分析与实分析的本质区别之一。02解析⟺可展为泰勒级数f(z)在D内解析当且仅当在每一点的邻域内可展开为泰勒级数。可导性与可展性等价，这一性质在实分析中完全不成立。03解析⟺无穷可微f(z)在D内解析当且仅当无穷可微。一次可导即蕴含任意阶可导，且各阶导数仍解析。这一性质使解析函数具有极强的正则性。04实分析中的根本差异实函数e−1/x²在x=0处无穷可导，但其泰勒级数恒为零，不收敛于原函数。复分析中不存在此类现象，体现了复可微的深刻内涵。Chapter3·推论与应用魏尔斯特拉斯定理的深入应用魏尔斯特拉斯定理不仅保证了解析函数项级数和函数的解析性，还保证了逐项求导的合法性与各阶导数级数的一致收敛性，是构造和研究特殊解析函数的核心工具。逐项求导推论若Σf_n(z)在D内内闭一致收敛，则和函数S(z)解析且可逐项求导任意阶，各阶导数级数同样内闭一致收敛。逐项求导Weierstrass乘积定理构造具有指定零点的整函数——利用一致收敛的解析函数乘积实现，为特殊函数构造提供系统方法。整函数构造Hurwitz定理若f_n(z)在D内不为零且一致收敛到f(z)，则f(z)恒为零或在D内不为零，揭示零点分布的刚性。零点刚性Montel定理解析函数族的一致有界性等价于列紧性，为后续正规族理论奠定基础，连接分析与拓扑。正规族CHAPTER04零点孤立性与唯一性定理从幂级数展开出发，揭示解析函数的深层结构特征Chapter3·复变函数的幂级数展开解析函数零点的阶数与孤立性解析函数的零点具有阶数概念和孤立性特征：非恒零的解析函数其零点必然是孤立的，每个零点都有确定的阶数，且可分解为(z-z₀)m·g(z)的形式。01m阶零点定义f(z₀)=f'(z₀)=···=f(m−1)(z₀)=0但f(m)(z₀)≠0，即泰勒展式首项为(z−z₀)m。02因式分解定理z₀是m阶零点⟺f(z)=(z−z₀)m·g(z)，其中g(z)在z₀处解析且g(z₀)≠0。03零点孤立性定理若f(z)在区域D内解析且不恒为零，则f(z)的每个零点都是孤立的。04证明核心思路若z₀不是孤立零点，则存在趋于z₀的零点列，所有泰勒系数为零，f恒为零——矛盾。THEOREM·第三章解析函数的唯一性定理唯一性定理解析函数由其在任意有聚点的点集上的取值唯一确定，这一性质体现了解析函数相比光滑函数更强的"刚性"。01唯一性定理：若f(z)、g(z)在区域D内解析，且在D内某有聚点的点集上f=g，则f≡g在整个D内成立。02等价表述：若解析函数f(z)在区域D内不恒为零，则其零点集在D内没有聚点。03与实分析的对比：实光滑函数可在某区间为零而不恒零；解析函数的"刚性"使其完全由局部信息决定全局。04解析延拓的理论基础：函数从一个区域延拓到更大区域时，延拓结果由唯一性定理保证是唯一的。Chapter3·复变函数的幂级数展开最大模原理最大模原理指出非常数解析函数的模在区域内部不能取得最大值，只能在边界上取到。这一性质深刻反映了解析函数的"调和性"本质，是Schwarz引理和代数基本定理证明的关键工具。01最大模原理：若f(z)在区域D内解析且不恒为常数，则|f(z)|在D内部不能达到最大值02证明思路：利用柯西积分平均值定理，若|f(z₀)|为最大值，则f在z₀邻域内为常数，由唯一性定理推出f恒为常数03最小模原理（推论）：若f(z)在D内解析且f(z)≠0，则|f(z)|在D内不能取到非零最小值04应用·Schwarz引理：若f(z)在单位圆盘内解析、|f(z)|≤1且f(0)=0，则|f(z)|≤|z|且|f′(0)|≤1COMPLEXANALYSISSchwarz引理及其应用Schwarz引理从最大模原理推导出单位圆盘上解析函数的刚性约束：保原点自映射的模被自变量的模所控制。等号成立条件揭示了旋转映射的唯一性，是共形映射理论的基石。Schwarz引理内容定理陈述：设f(z)在|z|<1内解析，|f(z)|<1且f(0)=0，则|f(z)|≤|z|且|f'(0)|≤1等号条件：若存在z₀≠0使|f(z₀)|=|z₀|或|f'(0)|=1，则f(z)=e^(iθ)z为旋转映射证明核心：令g(z)=f(z)/z，由最大模原理|g(z)|≤1在单位圆盘内成立重要应用自同构刻画：证明单位圆盘的解析自同构必然是Möbius变换f(z)=e^(iθ)(z-a)/(1-āz)Pick推广：去掉f(0)=0条件，用双曲度量描述解析映射的压缩性质几何理论：在复分析几何理论中用于研究共形映射、Riemann映射定理等重要结果Applications唯一性定理与最大模原理的应用例题唯一性定理和最大模原理在证明解析函数的恒等、恒常以及模的有界性等问题中发挥着核心作用，是解决复分析问题的重要思维工具。例题01模为常数则函数为常数若f(z)在区域D内解析且|f(z)|为常数，则f(z)为常数——由f·f̄=c²及唯一性定理可证恒常性例题02最大模原理有界区域D内解析函数的模在边界上取最大值，即|f(z)|≤max{|f(ζ)|:ζ∈∂D}边界最值例题03零点孤立性与因子判定若f(z),g(z)在D内解析，f(z)·g(z)≡0但f不恒零，则g恒为零——由零点孤立性可证孤立性例题04代数基本定理的复分析证明假设非常数多项式无零点，由最小模原理导出矛盾。这是复变函数论中证明代数基本定理的经典方法，展示了复分析工具在解决代数问题中的深刻力量。最小模TaylorExpansion泰勒展式在近似计算中的应用泰勒展式为函数值的近似计算提供了系统方法，通过截取有限项并估计余项即可获得所需精度的近似结果。在工程计算和数值分析中具有广泛的实用价值。近似计算取泰勒级数前N项作为函数近似值，截断误差由余项R₏(z)控制O(hⁿ⁺¹)数值算例e⁾·¹≈1+