由有理函数的广义积分引入,谈谈复变函数论中的留数

∫−∞∞11−x6dx\int_{-\infty}^\infty \frac{1}{1-x^6}dx ∫−∞∞​1−x61​dx
  没接触过复变函数的童鞋们们遇到这道积分,多半是将分母因式分解并展开成几个不同的分式分别积分。这种方法虽然可行,但却非常繁琐,需要解题者对此种方法十分熟练。下面我们先用这种方法进行积分。接着再通过介绍复变函数中的留数,对此题作出十分简便的解答。

经典方法

  • 将被积函数分解
    (1)11−x6=A1−x+B1+x+Cx+Dx2+x+1+Ex+Fx2−x+1\frac{1}{1-x^6} = \frac{A}{1-x} + \frac{B}{1+x} + \frac{Cx+D}{x^2+x+1} + \frac{Ex+F}{x^2-x+1}\tag1 1−x61​=1−xA​+1+xB​+x2+x+1Cx+D​+x2−x+1Ex+F​(1)
    式(1) × (x-1),再将 x=1 代入,得 A = 1/6;
    式(1) × (x+1),再将 x=-1 代入,得 B = 1/6;
    式(1) 中,将 x= 0 代入,得 D+F = 2/3;
    接下来再计算得到 D = F = 1/3,C = 1/6,D = -1/6。
    以上计算步骤中必须小心,一步错则全盘皆输。
    (2)I=∫−∞∞11−x6dx=16∫−∞∞(11−x+11+x+x+2x2+x+1+−x+2x2−x+1)dxI=\int_{-\infty}^\infty \frac{1}{1-x^6}dx=\frac{1}{6}\int_{-\infty}^{\infty}(\frac{1}{1-x}+\frac{1}{1+x}+\frac{x+2}{x^2+x+1}+\frac{-x+2}{x^2-x+1})dx\tag2 I=∫−∞∞​1−x61​dx=61​∫−∞∞​(1−x1​+1+x1​+x2+x+1x+2​+x2−x+1−x+2​)dx(2)
  • 分别计算各个分式的积分
    ∫−∞∞11−xdx=lim⁡δ→0+andξ→+∞(∫−ξ1−δ11−xdx+∫1+δξ11−xdx)=lim⁡δ→0+andξ→+∞(ln⁡1+ξδ+ln⁡−δ1−ξ)=lim⁡ξ→+∞ln⁡1+ξξ−1=0\int_{-\infty}^{\infty}\frac{1}{1-x}dx=\lim_{δ→0+ and ξ→+\infty}(\int_{-ξ}^{1-δ}\frac{1}{1-x}dx+\int_{1+δ}^{ξ}\frac{1}{1-x}dx)=\lim_{δ→0+ and ξ→+\infty}(\ln{\frac{1+ξ}{δ}}+\ln{\frac{-δ}{1-ξ}})\\=\lim_{ξ→+\infty}\ln\frac{1+ξ}{ξ-1}=0 ∫−∞∞​1−x1​dx=δ→0+andξ→+∞lim​(∫−ξ1−δ​1−x1​dx+∫1+δξ​1−x1​dx)=δ→0+andξ→+∞lim​(lnδ1+ξ​+ln1−ξ−δ​)=ξ→+∞lim​lnξ−11+ξ​=0
    (3)∫−∞∞11+xdx=−∫−∞∞11−udu=0(令x=−u)\int_{-\infty}^{\infty}\frac{1}{1+x}dx=-\int_{-\infty}^{\infty}\frac{1}{1-u}du=0~~~~(令x=-u)\tag3 ∫−∞∞​1+x1​dx=−∫−∞∞​1−u1​du=0    (令x=−u)(3)
    上式亦可从对称性以及奇偶性的角度分析:
    由于f(x)=1xf(x)=\frac{1}{x}f(x)=x1​是奇函数,故而∫−∞∞1xdx=0\int_{-\infty}^{\infty}\frac{1}{x}dx=0∫−∞∞​x1​dx=0,而1x±1\frac{1}{x\pm1}x±11​是1x\frac{1}{x}x1​平移后的函数,\积分上下限随着平移,积分值不变。而±∞±1\pm\infty\pm1±∞±1依旧是±∞\pm\infty±∞
    (4)∫−∞∞x+2x2+x+1dx=∫−∞∞x+12(x+12)2+34dx+32∫−∞∞1(x+12)2+34dx=12∫−∞∞1(x+12)2+34d[(x+12)2+34]+32×23π=12×0+3π=3π\int_{-\infty}^{\infty}\frac{x+2}{x^2+x+1}dx=\int_{-\infty}^{\infty}\frac{x+\frac{1}{2}}{(x+\frac{1}{2})^2+\frac{3}{4}}dx+\frac{3}{2}\int_{-\infty}^{\infty}\frac{1}{(x+\frac{1}{2})^2+\frac{3}{4}}dx\\=\frac{1}{2}\int_{-\infty}^{\infty}\frac{1}{(x+\frac{1}{2})^2+\frac{3}{4}}d[(x+\frac{1}{2})^2+\frac{3}{4}]+\frac{3}{2}\times\frac{2}{\sqrt3}\pi\\=\frac{1}{2}\times0+\sqrt{3}\pi=\sqrt{3}\pi\tag4∫−∞∞​x2+x+1x+2​dx=∫−∞∞​(x+21​)2+43​x+21​​dx+23​∫−∞∞​(x+21​)2+43​1​dx=21​∫−∞∞​(x+21​)2+43​1​d[(x+21​)2+43​]+23​×3​2​π=21​×0+3​π=3​π(4)
    同理可得:(5)∫−∞∞−x+2x2−x+1dx=3π\int_{-\infty}^{\infty}\frac{-x+2}{x^2-x+1}dx=\sqrt{3}\pi\tag5∫−∞∞​x2−x+1−x+2​dx=3​π(5)(其实不过就是把③中的x换成-x而已,结果一致)
    最终有:(6)I=∫−∞∞11−x6dx=16(0+0+3π+3π)=π3I=\int_{-\infty}^{\infty}\frac{1}{1-x^6}dx=\frac{1}{6}(0+0+\sqrt{3}\pi+\sqrt{3}\pi)=\frac{\pi}{\sqrt{3}}\tag6I=∫−∞∞​1−x61​dx=61​(0+0+3​π+3​π)=3​π​(6)
      到这里,我们可以看到,这个积分形式是如此的简洁,却用了如此繁琐丑陋的有理函数积分方法求解,数学之美焉存?接下来本文将介绍复变函数中的留数,用求留数的方法轻松、简洁而美丽地解出此积分!Let’s go!

留数

  • show time!
      这里直接上解法,先让童鞋们对使用留数求解此积分时的简洁与美丽有个直观的认识,背景知识以及相关定理的推导将在下一篇文章中给出。想了解更多的童鞋可以自行找相关资料学习。
    把f(x)=11−x6f(x)=\frac{1}{1-x^6}f(x)=1−x61​中的自变量x(x∈R)x(x\in R)x(x∈R)换成复数z(z∈C)z(z\in C)z(z∈C),f(z)=11−z6f(z)=\frac{1}{1-z^6}f(z)=1−z61​即为一复变函数。
    令1−z6=01-z^6=01−z6=0,即z6=ei⋅0z^6=e^{i\cdot0}z6=ei⋅0,可得z=ei0+2kπ6,k=0,1,2,3,4,5,z=e^{i\frac{0+2k\pi}{6}},k=0,1,2,3,4,5,z=ei60+2kπ​,k=0,1,2,3,4,5,这些是f函数f(z)的奇点(后文会介绍到这些是f(z)的一阶极点)
    则有:
    f(z)=11−z6=−1(z−1)(z−eiπ3)(z−ei2π3)(z+1)(z−ei4π3)(z−ei5π3)f(z)=\frac{1}{1-z^6}=-\frac{1}{(z-1)(z-e^{i\frac{\pi}{3}})(z-e^{i\frac{2\pi}{3}})(z+1)(z-e^{i\frac{4\pi}{3}})(z-e^{i\frac{5\pi}{3}})}f(z)=1−z61​=−(z−1)(z−ei3π​)(z−ei32π​)(z+1)(z−ei34π​)(z−ei35π​)1​ (7)I=∫−∞∞11−x6dx=2πi[Resf(z)∣z=eiπ3+Resf(z)∣z=ei2π3]+πi[Resf(z)∣z=1+Resf(z)∣z=−1]=2πi[1(1−z6)′∣z=eiπ3+1(1−z6)′∣z=ei2π3]+πi[1(1−z6)′∣z=1+1(1−z6)′∣z=−1]=−2πi6[1z5∣z=eiπ3+1z5∣z=ei2π3]−πi6[1z5∣z=1+1z5∣z=−1]=−πi3(12+32i−12+32i)−πi6(1−1)=π3I=\int_{-\infty}^{\infty}\frac{1}{1-x^6}dx=2\pi i[Res~f(z)|_{z=e^{i\frac{\pi}{3}}}+Res~f(z)|_{z=e^{i\frac{2\pi}{3}}}]+\pi i[Res~f(z)|_{z=1}+Res~f(z)|_{z=-1}]\\=2\pi i[\frac{1}{(1-z^6)^{'}}|_{z=e^{i\frac{\pi}{3}}}+\frac{1}{(1-z^6)^{'}}|_{z=e^{i\frac{2\pi}{3}}}]+\pi i[\frac{1}{(1-z^6)^{'}}|_{z=1}+\frac{1}{(1-z^6)^{'}}|_{z=-1}]\\=-\frac{2\pi i}{6}[\frac{1}{z^5}|_{z=e^{i\frac{\pi}{3}}}+\frac{1}{z^5}|_{z=e^{i\frac{2\pi}{3}}}]-\frac{\pi i}{6}[\frac{1}{z^5}|_{z=1}+\frac{1}{z^5}|_{z=-1}]~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\\=-\frac{\pi i}{3}(\frac{1}{2}+\frac{\sqrt{3}}{2}i-\frac{1}{2}+\frac{\sqrt3}{2}i)-\frac{\pi i}{6}(1-1)~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\\=\frac{\pi}{\sqrt3}\tag7~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~I=∫−∞∞​1−x61​dx=2πi[Res f(z)∣z=ei3π​​+Res f(z)∣z=ei32π​​]+πi[Res f(z)∣z=1​+Res f(z)∣z=−1​]=2πi[(1−z6)′1​∣z=ei3π​​+(1−z6)′1​∣z=ei32π​​]+πi[(1−z6)′1​∣z=1​+(1−z6)′1​∣z=−1​]=−62πi​[z51​∣z=ei3π​​+z51​∣z=ei32π​​]−6πi​[z51​∣z=1​+z51​∣z=−1​]                                       =−3πi​(21​+23​​i−21​+23​​i)−6πi​(1−1)                                                          =3​π​                                                                                                                           (7)
    上式中Resf(z)∣z=z0Res~f(z)|_{z=z_0}Res f(z)∣z=z0​​表示f(z)f(z)f(z)在z=z0z=z_0z=z0​处的留数,至于为何选eiπ3、ei2π3e^{i\frac{\pi}{3}}、e^{i\frac{2\pi}{3}}ei3π​、ei32π​和1、-1,而不选ei4π3e^{i\frac{4\pi}{3}}ei34π​和ei5π3e^{i\frac{5\pi}{3}}ei35π​,是因为eiπ3e^{i\frac{\pi}{3}}ei3π​、ei2π3e^{i\frac{2\pi}{3}}ei32π​在复平面的上半平面上,1、-1在复平面的实轴上,而ei4π3e^{i\frac{4\pi}{3}}ei34π​、ei5π3e^{i\frac{5\pi}{3}}ei35π​在复平面的下半平面上。具体原因将在下一篇文章详细介绍和推导。

结语

  怎么样,留数这个东西是不是很新奇、很简洁美丽!下一篇文章中,我将介绍复变函数的基本知识、重要定理,详细介绍留数相关定理,推导出上文中第二种解法中的依据。敬请期待。

由有理函数的广义积分引入,谈谈复变函数论中的留数相关推荐

  1. 高等数学:第五章 定积分(2)换元积分法 分部积分法 广义积分

    §5.4  定积分的换元法 一.换元公式 [定理]若 1.函数在上连续: 2.函数在区间上单值且具有连续导数: 3.当在上变化时,的值在上变化,且  ,   则有                    ...

  2. matlab 广义积分,matlab求积分(超详细,含int integral integral2/3 quad trapz

    matlab求积分 matlab求积分函数工具: int 用法1: 格式: int(fun,x,a,b) 功能: 计算定积分 用法2: 格式: int(f,x) 功能: 计算不定积分 注: 使用int ...

  3. 蔡高厅老师 - 高等数学阅读笔记 - 15 广义积分和伽马函数 定积分的应用(面积和体积) -(67、68、70、71)

    1 无穷限的广义积分 说白了,就是支持孤立不连续节点的定积分 所以是广义积分,根据定义 1 是无界,我减去一个小正数,那么久有界连续了 利用牛顿莱布尼兹公式,原函数差, 判断广义积分是否无界的方法 其 ...

  4. 蔡高厅老师 - 高等数学阅读笔记 - 14 定积分 -定积分的换元法 - 广义积分和伽马函数(65、66、67)

    不定积分有第一,第二换元,定积分只有换元: 周期函数的定积分 定积分的分部积分法 利用归纳法和分部积分法 再利用分部积分公式 分开看 右式再用分部积分法 代入 5 无穷限的广义积分 . 广义积分的定义 ...

  5. 高等数学期末总复习DATY9.积分上限函数、基本定积分计算、定积分换元法、定积分的分部积分、三角函数的N次方积分、反常积分(广义积分)

    DAY9. 最近喜欢听加州旅馆 文章目录 DAY9. 1.积分上限函数 2.基本定积分计算 3.定积分换元法 4.定积分的分部积分 5.三角函数的N次方积分 6.反常积分(广义积分) 1.积分上限函数 ...

  6. matlab伽玛函数,[MATLAB数学相关] 求助!类似伽玛函数 带参变量广义积分 积分结果是求极限...

    求助!类似伽玛函数 带参变量广义积分 积分结果是求极限 请各位 或版主帮个忙 我要算一个概率密度函数 而且里面还有变量 k n : 在给k取2 n取3 的时候 概率密度函数 f(z) 积分如下 sym ...

  7. 高等数学:第五章 定积分(6) 广义积分

    §5.7  广义积分 [引例]计算曲线 与轴的正半轴所围的曲边梯形的面积. 按照定积分的几何意义,所求的曲边梯形面积应为 . 显然,这一积分再不是普通的定积分,因为它的积分上限是正无穷大. 该如何来求 ...

  8. 高等数学笔记:第一p广义积分与第二p广义积分

    繁星数学随想录·笔记卷 摘录卷 第一p广义积分与第二p广义积分 第一 ppp 广义积分--无穷区间的敛散性 讨论:∫a+∞dxxp(a>0)的敛散性解答:(1)p=1,∫a+∞dxx=ln⁡x∣ ...

  9. 数学分析笔记8:广义积分

    广义积分的定义与计算 定积分的定义存在某种程度的缺陷,比如:我们经常要计算一个无穷区间的积分,这样,我们就没办法按照分割-取点-求和-取极限四个步骤来定义积分.有时候,函数在我们要计算积分的区间上无界 ...

  10. Part 12(2) 含参广义积分(含参无穷积分和瑕积分)

    含参积分是一类包含积分结构的函数,但积分变量不是函数自变量 文章目录 3. 含参变量广义积分 3.1. 含参积分相关理论 3.1.1. 含参积分常义积分的定义 3.1.2. 含参常义积分的分析性质 3 ...

最新文章

  1. Linux与云计算——第二阶段 第五章:存储Storage服务器架设—分布式存储Ceph
  2. B端产品如何进行业务全场景的需求梳理?
  3. QComboBox 样式设置
  4. 用php打出2020年是庚子鼠年,2020年庚子鼠年,做到三善,命运必变!
  5. 单片机学校实训老师上课需要的工具以及源码分享
  6. 【Express】—get传递参数
  7. 原生js实现吸顶导航和回到顶部特效
  8. Vue:vue中使用layUI
  9. xadmin可能是帮助我完成django网站的一大助力
  10. ecmall商品列表页排序的完美解决方案
  11. 华为技术专家深度解析Java线程状态
  12. 服务器使用笔记本网络连接外网
  13. 树莓派zero 2w i2c操作 rda5807收音机芯片记录(电台差转站点远程监听可行性探讨)
  14. SAR成像系列:【7】合成孔径雷达(SAR)成像算法-后向投影(Back Projecting)算法(附Matlab代码)
  15. uniapp 小程序使用腾讯地图搜索位置地点,获取省、市、县地区码的方法
  16. iOS 多选相册图片上传,添加、删除图片
  17. 贵金属白银实时走势图——解读要领
  18. 91uu浮云【简介】
  19. 桌面显示电脑配置的PE_你还用软件看电脑配置?分享三种无需软件查看配置的方法...
  20. 编译android版本sdl2

热门文章

  1. tomcat编码配置gbk_tomcat编码乱码问题
  2. L298N 小车应用(附代码)
  3. cadence 怎么拼版_ALLEGRO 拼版教程
  4. 泰文Unicode编码表及排版规则
  5. 集成电路设计的运作模式
  6. Zynq7000硬件开发之硬件开发流程简介(一)
  7. 手机通讯录html模板,手机通讯录导模板
  8. 第一易,唯一难,为什么它是ofo、天学网的不二选择
  9. Linux系统-进程概念
  10. php生成黑链,网站被黑链接(进入黑网最有效办法)