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

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

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

经典方法

• 将被积函数分解
  $$\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}\text{\hspace{1em}(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。
  以上计算步骤中必须小心，一步错则全盘皆输。
  $$I={\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\text{\hspace{1em}(2)}$$
• 分别计算各个分式的积分
  $$\begin{gathered} {\int }_{-\infty }^{\infty }\frac{1}{1-x}dx=\underset{\delta \to 0+and\xi \to +\infty }{\lim }({\int }_{-\xi }^{1-\delta }\frac{1}{1-x}dx+{\int }_{1+\delta }^{\xi }\frac{1}{1-x}dx)=\underset{\delta \to 0+and\xi \to +\infty }{\lim }(\ln \frac{1+\xi }{\delta }+\ln \frac{-\delta }{1-\xi }) \\ =\underset{\xi \to +\infty }{\lim }\ln \frac{1+\xi }{\xi -1}=0 \end{gathered}$$
  $${\int }_{-\infty }^{\infty }\frac{1}{1+x}dx=-{\int }_{-\infty }^{\infty }\frac{1}{1-u}du=0(令x=-u)\text{\hspace{1em}(3)}$$
  上式亦可从对称性以及奇偶性的角度分析：
  由于$f(x)=\frac{1}{x}$是奇函数，故而${\int }_{-\infty }^{\infty }\frac{1}{x}dx=0$,而$\frac{1}{x\pm 1}$是$\frac{1}{x}$平移后的函数，\积分上下限随着平移，积分值不变。而$\pm \infty \pm 1$依旧是$\pm \infty$
  $$\begin{gathered} {\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}{\sqrt{3}}\pi \\ =\frac{1}{2}\times 0+\sqrt{3}\pi =\sqrt{3}\pi \text{\hspace{1em}(4)} \end{gathered}$$
  同理可得：$${\int }_{-\infty }^{\infty }\frac{-x+2}{x^2-x+1}dx=\sqrt{3}\pi \text{\hspace{1em}(5)}$$(其实不过就是把③中的x换成-x而已，结果一致)
  最终有：$$I={\int }_{-\infty }^{\infty }\frac{1}{1-x^6}dx=\frac{1}{6}(0+0+\sqrt{3}\pi +\sqrt{3}\pi )=\frac{\pi }{\sqrt{3}}\text{\hspace{1em}(6)}$$
    到这里，我们可以看到，这个积分形式是如此的简洁，却用了如此繁琐丑陋的有理函数积分方法求解，数学之美焉存？接下来本文将介绍复变函数中的留数，用求留数的方法轻松、简洁而美丽地解出此积分！Let’s go!

留数

• show time！
    这里直接上解法，先让童鞋们对使用留数求解此积分时的简洁与美丽有个直观的认识，背景知识以及相关定理的推导将在下一篇文章中给出。想了解更多的童鞋可以自行找相关资料学习。
  把$f(x)=\frac{1}{1-x^6}$中的自变量$x(x\in R)$换成复数$z(z\in C)$，$f(z)=\frac{1}{1-z^6}$即为一复变函数。
  令$1-z^6=0$，即$z^6=e^{i\cdot 0}$,可得$z=e^{i\frac{0+2k\pi }{6}},k=0,1,2,3,4,5，$这些是f函数f(z)的奇点（后文会介绍到这些是f(z)的一阶极点）
  则有:
  $$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}})}$$ $$\begin{gathered} I={\int }_{-\infty }^{\infty }\frac{1}{1-x^6}dx=2\pi i[Resf(z){|}_{z=e^{i\frac{\pi }{3}}}+Resf(z){|}_{z=e^{i\frac{2\pi }{3}}}]+\pi i[Resf(z){|}_{z=1}+Resf(z){|}_{z=-1}] \\ =2\pi i[\frac{1}{(1-z^6{)}^{{}^{\prime }}}{|}_{z=e^{i\frac{\pi }{3}}}+\frac{1}{(1-z^6{)}^{{}^{\prime }}}{|}_{z=e^{i\frac{2\pi }{3}}}]+\pi i[\frac{1}{(1-z^6{)}^{{}^{\prime }}}{|}_{z=1}+\frac{1}{(1-z^6{)}^{{}^{\prime }}}{|}_{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{\sqrt{3}}{2}i)-\frac{\pi i}{6}(1-1) \\ =\frac{\pi }{\sqrt{3}}\text{\hspace{1em}(7)} \end{gathered}$$
  上式中$Resf(z){|}_{z=z_0}$表示$f(z)$在$z=z_0$处的留数，至于为何选$e^{i\frac{\pi }{3}}、e^{i\frac{2\pi }{3}}$和1、-1，而不选$e^{i\frac{4\pi }{3}}$和$e^{i\frac{5\pi }{3}}$，是因为$e^{i\frac{\pi }{3}}$、$e^{i\frac{2\pi }{3}}$在复平面的上半平面上，1、-1在复平面的实轴上，而$e^{i\frac{4\pi }{3}}$、$e^{i\frac{5\pi }{3}}$在复平面的下半平面上。具体原因将在下一篇文章详细介绍和推导。

结语

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