泰勒及洛朗展开学习笔记

2020-1024=996
最近太忙了,今天好像没有写题,不过研究了一下数学hh。

2020.10.24今天又有工数课,我又没听,我记得上节工数课我看了换根dp,哦?好吧我没听过工数,那没事了,不过这次不敢那么水了,看了看书本,分析了一下书上定理的证明,突然感觉还有点意思,不过老师讲的时候好像没那么深入,由此写下自己的想法,如有错误希望指正谢谢。

一.泰勒展开证明

首先说明以下证明并不严谨,只是方便自己理解书中的证明过程,如果想要了解研究证明可以考虑看懂下面证明后转向更专业的书籍。

设函数f(z)f{(z)}f(z)在区域DDD内解析,z0∈Dz_0 \in Dz0D,圆盘K:∣z−z0∣<RK:|z-z_0|<RK:zz0<R含于DDD,那么在KKK内,f(z)f(z)f(z)能展开成幂级数
f(z)=f(z0)+f(1)(z0)1!+f(2)(z0)2!+⋯+fn(z0)n!+…f(z)=f(z_0)+\frac{f^{(1)}(z_0)}{1!}+\frac{f^{(2)}(z_0)}{2!}+\dots +\frac{f^{n}(z_0)}{n!}+\dotsf(z)=f(z0)+1!f(1)(z0)+2!f(2)(z0)++n!fn(z0)+ 其中系数cn=12πi∫cf(ξ)(ξ−z0)n+1dξ=fn(z0)n!c_n=\frac1{2\pi i}\int_c\frac{f(\xi)}{(\xi -z_0)^{n+1}}d\xi=\frac{f^{n}(z_0)}{n!}cn=2πi1c(ξz0)n+1f(ξ)dξ=n!fn(z0)

按照我自己的理解,泰勒展开就是把一个函数用无穷多个非负次幂的多项式去逼近。不难想到我们需要找到一个收敛级数去逼近。

有柯西积分公式得:
f(z)=12πi∫cf(ξ)ξ−zdξf(z)=\frac{1}{2\pi i}\int_c\frac{f(\xi)}{\xi-z}d\xif(z)=2πi1cξzf(ξ)dξ
上面提到说用一个收敛级数逼近,观察上述式子发现这个东西1ξ−z\frac{1}{\xi-z}ξz1好像能做点工作,于是我们会先联想到一个级数:
11−a=1+a+a2+⋯+an+…(∣a∣<1)\frac{1}{1-a}=1+a+a^2+\dots +a^n+\dots(|a|<1)1a1=1+a+a2++an+(a<1)
注意∣a∣<1|a|<1a<1上述级数收敛,这里很重要因为在证明洛朗级数时会显现出不同。
我们下面尝试对1ξ−z\frac{1}{\xi-z}ξz1做点工作,由于ξ\xiξ是圆边界上的点,而zzz是圆内的点,于是不难得知∣z−z0ξ−z0∣<1|\frac{z-z_0}{\xi -z_0}|<1ξz0zz0<1(到圆心的距离之比),由此在z0z_0z0展开1ξ−z\frac{1}{\xi-z}ξz1时尝试先进行以下步骤
1ξ−z=1ξ−z0−(z−z0)=1ξ−z0⋅11−z−z0ξ−z0\frac{1}{\xi-z}=\frac{1}{\xi-z_0-(z-z_0)}=\frac{1}{\xi-z_0}·\frac{1}{1-\frac{z-z_0}{\xi-z_0}}ξz1=ξz0(zz0)1=ξz011ξz0zz01
注意这里我们凑到z−z0ξ−z0\frac{z-z_0}{\xi-z_0}ξz0zz0因为∣z−z0ξ−z0∣<1|\frac{z-z_0}{\xi -z_0}|<1ξz0zz0<1,满足上述级数收敛条件。一会可以对比洛朗级数
进一步展开得:
1ξ−z=∑n=0+∞(z−z0)n(ξ−z0)n+1\frac{1}{\xi-z}=\sum_{n=0}^{+\infty}\frac{(z-z_0)^n}{(\xi-z_0)^{n+1}}ξz1=n=0+(ξz0)n+1(zz0)n
将上述得到的展开式子带入柯西积分公式:
f(z)=12πi∫cf(ξ)ξ−zdξ=12πi∫cf(ξ)⋅∑n=0+∞(z−z0)n(ξ−z0)n+1dξf(z)=\frac{1}{2\pi i}\int_c\frac{f(\xi)}{\xi-z}d\xi =\frac{1}{2\pi i}\int_c {f(\xi)}·\sum_{n=0}^{+\infty}\frac{(z-z_0)^n}{(\xi-z_0)^{n+1}}d\xi f(z)=2πi1cξzf(ξ)dξ=2πi1cf(ξ)n=0+(ξz0)n+1(zz0)ndξ
注意积分变量是ξ\xiξzzz无关,并且积分和求和可以换序,由此得
f(z)=12πi∫cf(ξ)⋅∑n=0+∞(z−z0)n(ξ−z0)n+1dξ=∑n=0+∞12πi∫cf(ξ)(ξ−z0)n+1dξ⋅(z−z0)nf(z)=\frac{1}{2\pi i}\int_c {f(\xi)}·\sum_{n=0}^{+\infty}\frac{(z-z_0)^n}{(\xi-z_0)^{n+1}}d\xi=\sum_{n=0}^{+\infty}\frac{1}{2\pi i}\int_c \frac{{f(\xi)}}{(\xi-z_0)^{n+1}}d\xi·(z-z_0)^nf(z)=2πi1cf(ξ)n=0+(ξz0)n+1(zz0)ndξ=n=0+2πi1c(ξz0)n+1f(ξ)dξ(zz0)n
再由柯西高阶导数公式f(n)(z)=n!2πi∫cf(ξ)(ξ−z)n+1dξf^{(n)}(z)=\frac{n!}{2\pi i}\int_c\frac{f(\xi)}{(\xi-z)^{n+1}}d\xif(n)(z)=2πin!c(ξz)n+1f(ξ)dξ可得:

f(z)=∑n=0+∞fz0(n)n!(z−z0)nf(z)=\sum_{n=0}^{+\infty}\frac{f^{(n)}_{z_0}}{n!}(z-z_0)^nf(z)=n=0+n!fz0(n)(zz0)n
证毕!

二.洛朗级数展开证明

为什么又来个洛朗级数?
自己的理解:首先我们知道泰勒级数展开条件是在一个区域内解析,区域内不能有奇点,那如果有怎么办?难道就因为这一个奇点让我们不能深入理解这个函数?数学家们还是有办法的,首先想到的是把这个点挖掉,对没错!挖掉这个点后整个区域可以用圆环去定义,因此出现了洛朗级数以及收敛圆环的概念,这里不在赘述。

若函数f(z)f(z)f(z)在圆环H:r<∣z−z0∣<R(0≤r<R≤+∞)H:r<|z-z_0|<R(0\leq r<R\leq+\infty)H:r<zz0<R(0r<R+)内解析,则f(z)f(z)f(z)HHH内可以展开成洛朗级数为
∑−∞+∞cn(z−z0)n\sum_{-\infty}^{+\infty}c_n(z-z_0)^n+cn(zz0)n 其中cn=12πi∫cf(ξ)(ξ−z0)n+1dξ,(n=0,±1,±2,…,)c_n=\frac{1}{2\pi i}\int_c\frac{f(\xi)}{(\xi-z_0)^{n+1}}d\xi,(n=0,\pm1,\pm2,\dots,)cn=2πi1c(ξz0)n+1f(ξ)dξ,(n=0,±1,±2,,)

在这里插入图片描述

先定义两个圆Γ1:∣ξ−z0∣=ρ1,Γ2:∣ξ−z0∣=ρ2\Gamma_1:|\xi-z_0|=\rho_1,\Gamma_2:|\xi-z_0|=\rho_2Γ1:ξz0=ρ1,Γ2:ξz0=ρ2
即上图的粉色圆环和黄色圆环,f(z)f(z)f(z)黑色圆环和黑色圆环之间解析。
对于图中圈主zzz的粉色圆环定义成Γ\GammaΓ
复合闭路定理
∫Γ2f(ξ)ξ−zdξ=∫Γ1f(ξ)ξ−zdξ+∫Γf(ξ)ξ−zdξ\int_{\Gamma_2}\frac{f(\xi)}{\xi -z}d\xi=\int_{\Gamma_1}\frac{f(\xi)}{\xi -z}d\xi+\int_{\Gamma}\frac{f(\xi)}{\xi -z}d\xiΓ2ξzf(ξ)dξ=Γ1ξzf(ξ)dξ+Γξzf(ξ)dξ
由此可得:
12πi∫Γf(ξ)ξ−zdξ=12πi∫Γ2f(ξ)ξ−zdξ−12πi∫Γ1f(ξ)ξ−zdξ\frac{1}{2\pi i}\int_{\Gamma}\frac{f(\xi)}{\xi -z}d\xi=\frac{1}{2\pi i}\int_{\Gamma_2}\frac{f(\xi)}{\xi -z}d\xi-\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{\xi -z}d\xi2πi1Γξzf(ξ)dξ=2πi1Γ2ξzf(ξ)dξ2πi1Γ1ξzf(ξ)dξ
再由柯西积分公式f(z)=12πi∫Γf(ξ)ξ−zdξf(z)=\frac{1}{2\pi i}\int_{\Gamma}\frac{f(\xi)}{\xi -z}d\xif(z)=2πi1Γξzf(ξ)dξ得:
f(z)=12πi∫Γ2f(ξ)ξ−zdξ−12πi∫Γ1f(ξ)ξ−zdξf(z)=\frac{1}{2\pi i}\int_{\Gamma_2}\frac{f(\xi)}{\xi -z}d\xi-\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{\xi -z}d\xif(z)=2πi1Γ2ξzf(ξ)dξ2πi1Γ1ξzf(ξ)dξ
对于第一项来说由于zzz在圆Γ2\Gamma_2Γ2内,由此不难得出∣z−z0ξ−z0∣<1|\frac{z-z_0}{\xi -z_0}|<1ξz0zz0<1,发现这和上述证明泰勒展开时的情况相同,可以消防证明泰勒展开的方法或者直接由泰勒展开的结论得:
12πi∫Γ2f(ξ)ξ−zdξ=∑n=0+∞cn(z−z0)n\frac{1}{2\pi i}\int_{\Gamma_2}\frac{f(\xi)}{\xi -z}d\xi=\sum_{n=0}^{+\infty}c_n(z-z_0)^n2πi1Γ2ξzf(ξ)dξ=n=0+cn(zz0)n
下面我们着重考虑如何展开后面一项−12πi∫Γ1f(ξ)ξ−zdξ=12πi∫Γ1f(ξ)z−ξdξ-\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{\xi -z}d\xi=\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{z-\xi}d\xi2πi1Γ1ξzf(ξ)dξ=2πi1Γ1zξf(ξ)dξ
效仿证明泰勒展开不难得知我们需要对1z−ξ\frac{1}{z-\xi}zξ1做点工作
注意这里点zzz在圆Γ1\Gamma_1Γ1外,于是我们有∣ξ−z0z−z0∣<1|\frac{\xi -z_0}{z-z_0}|<1zz0ξz0<1
,于是尝试进行下面步骤(强烈建议读者回看证明泰勒级数时的这一步,注意不同点)
1z−ξ=1z−z0−(ξ−z0)=1z−z0⋅11−ξ−z0z−z0\frac{1}{z-\xi}=\frac{1}{z-z_0-(\xi -z_0)}=\frac{1}{z-z_0}·\frac{1}{1-\frac{\xi -z_0}{z-z_0}}zξ1=zz0(ξz0)1=zz011zz0ξz01

于是得:
1z−ξ=∑n=0+∞(ξ−z0)n(z−z0)n+1=∑n=1+∞(ξ−z0)n−1(z−z0)n=∑n=1+∞(z−z0)−n(ξ−z0)−n+1\frac{1}{z-\xi}=\sum_{n=0}^{+\infty}\frac{(\xi -z_0)^n}{(z-z_0)^{n+1}}=\sum_{n=1}^{+\infty}\frac{(\xi -z_0)^{n-1}}{(z-z_0)^{n}}=\sum_{n=1}^{+\infty}\frac{(z-z_0)^{-n}}{(\xi -z_0)^{-n+1}}zξ1=n=0+(zz0)n+1(ξz0)n=n=1+(zz0)n(ξz0)n1=n=1+(ξz0)n+1(zz0)n
然后积分变量是ξ\xiξzzz无关以及积分求和换序,可得:
−12πi∫Γ1f(ξ)ξ−zdξ=∑n=1+∞12πi∫Γ1f(ξ)(ξ−z0)−n+1dξ⋅(z−z0)−n-\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{\xi -z}d\xi=\sum_{n=1}^{+\infty}\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{(\xi -z_0)^{-n+1}} d\xi·(z-z_0)^{-n}2πi1Γ1ξzf(ξ)dξ=n=1+2πi1Γ1(ξz0)n+1f(ξ)dξ(zz0)n
我们让c−n=12πi∫Γ1f(ξ)(ξ−z0)−n+1dξ,(n=1,2,3,…,)c_{-n}=\frac{1}{2\pi i}\int_{\Gamma_1}\frac{f(\xi)}{(\xi -z_0)^{-n+1}} d\xi,(n=1,2,3,\dots,)cn=2πi1Γ1(ξz0)n+1f(ξ)dξ,(n=1,2,3,,)
即可得到:
f(z)=∑n=0+∞cn(z−z0)n+∑n=1+∞c−n(z−z0)−n=∑n=−∞+∞cn(z−z0)nf(z)=\sum_{n=0}^{+\infty}c_n(z-z_0)^n+\sum_{n=1}^{+\infty}c_{-n}(z-z_0)^{-n}=\sum_{n=-\infty}^{+\infty}c_n(z-z_0)^nf(z)=n=0+cn(zz0)n+n=1+cn(zz0)n=n=+cn(zz0)n
证毕!!!

证明完洛朗级数,感觉好像少了一步,泰勒级数可以表示成与n阶导数的关系,不过洛朗级数好像没有这一步,这是因为柯西积分定理的适用范围,详细可以自己查阅柯西积分定理。

三.乱语

一写就写了两个小时的博客,这些公式太难打了吧
课本上随便一个证明都有很多可推敲的地方,不过我又不是数学专业的hhh,这些证明推敲留给数学专业的人去做吧,这也可能是上课老师没有讲的那么清楚的原因吧也可能是我走神没听
1024竟然写了篇数学博客这是我没想的的hhh

以上证明全是按照博主自己的理解写出的, 如果有不清晰或者错误之处,希望能在评论出指明。

要加油哦~

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/319380.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【结论】串串串(nowcoder 20107-A)

正题 nowcoder 20107-A 题目大意 给你两个01串&#xff0c;有若干询问&#xff0c;每次询问两段长度相等的字串不同位数的奇偶性 解题思路 因为只用判断奇偶性&#xff0c;所以同时修改两个字符是不会改变结果的&#xff0c;那么可以直接将字串修改为只有0/1个1的串&#xf…

SmartSql For Asp.Net Core 最佳实践

常规操作安装 SmartSqlInstall-Package SmartSql安装 SmartSql.DIExtensionInstall-Package SmartSql.DIExtension配置SmartSqlConfig.xml写库&#xff08;Write&#xff09;必选 唯一节点读库&#xff08;Read&#xff09;可选 多节点配置PostgresqlPostgresql 客户端 NpgsqlI…

矩阵乘法学习记录

这要从校赛的一个区间与非操作题说起&#xff0c;群里大佬用的ddp思想使其满足结合律&#xff0c;但是我连矩阵乘法都不会于是从头开始学习矩阵乘法。 P3390 【模板】矩阵快速幂 和快速幂一模一样&#xff0c;只是把数乘换成矩阵乘&#xff0c;只需要定义结构体矩阵然后重载一…

51nod1600-Simple KMP【SAM,树链剖分】

正题 题目链接:http://www.51nod.com/Challenge/Problem.html#problemId1600 题目大意 给出一个字符串sss&#xff0c;每次在最后插入一个字符后求它的所有分别子串构出的failfailfail树的深度和。 1≤Q≤1051\leq Q\leq 10^51≤Q≤105 解题思路 考虑两个相等的子串长度为le…

课程 预编译框架,开发高性能应用 - 微软技术暨生态大会 2018

微软技术暨生态大会&#xff08;Tech Summit&#xff09;&#xff0c;2018 年在上海世博中心召开。这是最后一次的 Tech Summit 了&#xff1b;明年开始&#xff0c;中国大陆地区就要和其他国家和地区一样&#xff0c;进行全球 Ignite Tour 了。我也有幸成为分会场讲师团队的一…

【DP】方格计数(nowcoder 20107-B)

正题 nowcoder 20107-B 题目大意 在一个H*W的平面上&#xff0c;选择N个点&#xff08;坐标为非负整数&#xff09;&#xff0c;使得每个点之间的距离大于D&#xff0c;问你有多少种方案 解题思路 设fi,j,kf_{i,j,k}fi,j,k​为有i个格子&#xff0c;选择k个格子&#xff0c;…

YbtOJ#853-平面标记【整体二分,凸壳】

正题 题目链接:http://www.ybtoj.com.cn/contest/119/problem/3 题目大意 给出nnn个点(xi,yi)(x_i,y_i)(xi​,yi​)&#xff0c;mmm次给出(ki,ai)(k_i,a_i)(ki​,ai​)表示标记所有满足 yj>kixjaiy_j>\frac{k_i}{x_j^{a_i}}yj​>xjai​​ki​​的未标记点 求每个点…

Ocelot简易教程(五)之集成IdentityServer认证以及授权

最近比较懒&#xff08;编者注&#xff1a;作者不是真懒&#xff0c;而是在憋大招&#xff0c;他最近实现了把Ocelot的配置使用数据库存储&#xff09;&#xff0c;所以隔了N天才来继续更新第五篇Ocelot简易教程&#xff0c;本篇教程会先简单介绍下官方文档记录的内容然后在前几…

【启发式合并】【dfs】树数树(nowcoder 20107-C)

正题 nowcoder 20107-C 题目大意 给一棵树&#xff0c;让你构造一个序列a&#xff0c;使得a中的数互不相等&#xff0c;且相邻点是祖先的关系&#xff0c;回答序列最长长度 解题思路 书中的每个点可以把字数的两个序列连起来 考虑维护一个堆&#xff0c;存子树中的序列&…

CF848E-Days of Floral Colours【dp,分治NTT】

正题 题目链接:https://www.luogu.com.cn/problem/CF848E 题目大意 2n2n2n个花排成一个圆环&#xff0c;nnn种颜色每种两个&#xff0c;要求两个相同颜色之间最小距离为1,21,21,2或nnn。 对于一种染色方案的权值为&#xff1a;删除掉距离为nnn的颜色后&#xff0c;剩下的连续…

2020 China Collegiate Programming Contest Qinhuangdao Site 补题部分

已经补AEFGK E. Exam Results 枚举二分动态开点权值线段树O(nlogN)O(nlogN)O(nlogN) 智商太低&#xff0c;想不到什么贪心只能暴力数据结构维护 对于所有学生的最高成绩只可能是ai(1≤i≤n)a_i(1\leq i\leq n)ai​(1≤i≤n)或者最大的bib_ibi​&#xff0c;对于后面一种情况…

CCPC Training Class

杭电oj 题意&#xff1a; 字符串中出现次数最多的字母的次数是多少&#xff1f; 题解&#xff1a; 题目看不懂。。。又臭又长 懒得看。。 但是仔细看样例就会发现。。其实考的很简单 比赛时这题是我做的&#xff0c;以下为考试原码 代码&#xff1a; #include<string&…

【交互】Omkar and the Meaning of Life(CF-1586D)

正题 CF-1586D 题目大意 有一个大小为n的数列a&#xff0c;你可以进行最多2*n次查询 对于每次查询&#xff0c;你要给出一个大小为n的数列b&#xff0c;ciaibic_ia_ib_ici​ai​bi​&#xff0c;题目会回答c中出现次数大于2的数的最早出现位置 现在让你得出a数组 解题思路 …

ASP.NET Core 集成测试中结合 WebApplicationFactory 使用 SQLite 内存数据库

SQLite 内存数据库&#xff08;in-memory database&#xff09;的连接字符串是 Data Source:memory: &#xff0c;它的特点是数据库连接一关闭&#xff0c;数据库就会被删除。而使用 services.AddDbContext 通过连接字符串配置 EF Core 时&#xff0c;EF Core 会在每次查询或…

P4389-付公主的背包【生成函数,多项式exp】

正题 题目链接:https://www.luogu.com.cn/problem/P4389 题目大意 nnn种物品&#xff0c;第iii种大小为viv_ivi​&#xff0c;数量无限。对于每个s∈[1,m]s\in[1,m]s∈[1,m]求刚好填满sss容量的方案数。 1≤n,m≤1051\leq n,m\leq 10^51≤n,m≤105 解题思路 统计和为一定值的…

mex性质学习

E.Complicated Computations 如果一个区间的mexamexamexa&#xff0c;满足以下条件&#xff1a; 区间未出现aaa区间出现1→a−11\to a-11→a−1 因此若考虑是否存在一个区间的mex值是aaa&#xff0c;我们尝试把整个区间以aaa为端点划分成若干段&#xff0c;只要每一段内&…

Cows

题目 题意: 有一群牛&#xff0c;每个牛有两个属性值[S,E]&#xff0c;如果牛i和牛j属性值满足Si < Sj 且 Ej < Ei 且 Ei - Si > Ej - Sj&#xff0c;牛i比牛j强壮&#xff0c;输出每个牛比自己强壮的牛的数量。 题解&#xff1a; 我们可以把[S,E]看作坐标&#x…

【SAM】差异(P4248)

正题 P4248 题目大意 设TiT_iTi​为第i个字符开始的后缀&#xff0c;求&#xff1a; ∑i1n∑ji1nlen(Ti)len(Tj)−2lcp(Ti,Tj)\sum_{i1}^n \sum_{ji1}^n len(T_i)len(T_j)-2\times lcp(T_i,T_j)i1∑n​ji1∑n​len(Ti​)len(Tj​)−2lcp(Ti​,Tj​) 解题思路 用SAM建立paren…

P4345-[SHOI2015]超能粒子炮·改【Lucas定理,类欧】

正题 题目链接:https://www.luogu.com.cn/problem/P4345 题目大意 TTT组询问&#xff0c;给出n,kn,kn,k求 ∑i0k(ni)\sum_{i0}^{k}\binom{n}{i}i0∑k​(in​) 对233323332333取模的值 1≤T≤105,1≤k≤n≤10181\leq T\leq 10^5,1\leq k\leq n\leq 10^{18}1≤T≤105,1≤k≤n≤1…

AServer - 基于Asp.net core Kestrel的超迷你http服务器

AServer是基于ASP.NET Core Kestrel封装的一个超迷你http服务器。它可以集成进你的Core程序里&#xff0c;用来快速的响应Http请求&#xff0c;而不需要集成整个ASP.NET Core MVC 框架。一&#xff1a;什么是ASever&#xff1f;AServer就像它的名字一样&#xff0c;Just a serv…