查看“︁複分析”︁的源代码

{{NoteTA
|G1=Math
}}
{{Complex analysis sidebar}}
'''複分析'''（{{lang-en|Complex analysis}}）是研究[[複數 (數學)|複變]]的[[函數]]，特別是[[亞純函數]]和複變[[解析函數]]的[[數學]]理論。

研究中常用的理论、公式以及方法包括[[柯西积分定理]]、[[柯西积分公式]]、[[留数定理]]、[[洛朗级数]]展开等。複變分析的应用领域较为广泛，在其它数学分支和[[物理学]]中也起着重要的作用。包括[[数论]]、[[应用数学]]、[[流体力学]]、[[热力学]]和[[电动力学]]。

== 复变函数 ==
[[File:Mandel zoom 00 mandelbrot set.jpg|right|280px|thumb|[[曼德博集合]]，'''[[分形]]''']]

複变函数，是自变量和因变量皆为複数的函数。更确切的说，複變函数的值域与定义域都是[[複數平面]]的子集。在複變分析中，自变量又称为函数的“宗量”<ref>{{cite book|publisher=高等教育出版社|author=梁昆淼 等|title=数学物理方法（第四版）|year=2010|url=https://archive.org/details/shuxuewulifangfa0004unse|isbn=978-7-04-028352-5|pages=6页}}</ref>。

对于複變函数，自变量和应变量可分成实部和虚部:
: <math>z = x + iy\,</math>
: <math>w = f(z) = u(x,y) + iv(x,y)\,</math>
: 其中<math>x,y \in \mathbb{R}\,</math>和<math>u(x,y), v(x,y)\,</math>是实數函数。

用另一句话说，就是函数<math>f(z)</math>的成分,
: <math>u = u(x,y)\,</math>
: <math>v = v(x,y),\,</math>

可以理解成变量<math>x</math>和<math>y</math>的二元实函数。

=== 全纯函数 ===
{{main|全纯函数}}
{{see also|解析函数}}
'''全纯函数'''（{{lang|en|holomorphic function}}）是定义在複數平面<math>\mathbb{C}</math>的开子集上的，在複數平面<math>\mathbb{C}</math>中取值的，在每点上皆可微的函数。<ref>全纯函数有时也被称作'''解析函数'''，但后者有几个其他的含義。</ref>

复变函数为全纯函数的[[充分必要条件]]是复变函数的实部和虚部同时满足[[柯西-黎曼方程]]<ref>{{cite book|publisher=高等教育出版社|author=梁昆淼 等|title=数学物理方法（第四版）|year=2010|url=https://archive.org/details/shuxuewulifangfa0004unse|isbn=978-7-04-028352-5|pages=[https://archive.org/details/shuxuewulifangfa0004unse/page/13 13]}}</ref>：

:<math>{ \partial u \over \partial x } = { \partial v \over \partial y } </math>

和

:<math>{ \partial u \over \partial y } = -{ \partial v \over \partial x } . </math>

通过上面的这个方程组也可以由全纯函数的实部或者虚部之一来求解另一个<ref>在积分的时候需要一定的初始条件才能得到确定的解。</ref>。

==== 柯西积分定理 ====
{{main|柯西积分定理}}
柯西积分定理指出，如果全纯函数的封閉积分路径没有包括奇点，那么其积分值为0；如果包含奇点，则外部闭合路径正向<ref>沿积分路径前进时，闭合路径包围的区域总在前进方向左侧。定义这个方向为“正向”。</ref>积分的值等于包围这个奇点的内环上闭合路径的正向积分值。

==== 柯西积分公式 ====
{{main|柯西积分公式}}
假设<math>U</math>是[[複數平面]]<math>\mathbb{C}</math>的一个[[拓扑空间|开子集]]，<math>f:U\rightarrow\mathbb{C}</math>是一个在闭圆盘<math>D</math>上複可微的方程，<br />并且闭圆盘<math>D=\left \{ z:\left \vert z-z_0 \right \vert \leq r\right \}</math>是<math>U</math>的子集。 设<math>C</math>为<math>D</math>的[[边界 (拓扑学)|边界]]。则可以推得每个在''<math>D</math>''[[内部 (数学)|内部]]的点<math>a</math>：

:<math>f(a) = {1 \over 2\pi i} \oint_C {f(z) \over z-a}\, dz </math>

其中的积分为逆时针方向沿着'''''<math>C</math>'''''的积分。<br />

=== 亚纯函数 ===
{{main|亚纯函数}}
在複變分析中，一个複數平面的开子集<math>D</math>上的亚纯函数是一个在<math>D</math>上除一个或若干个孤立点集合之外的区域全纯的函数，那些孤立点称为该函数的极点。

== 复变函数的级数展开 ==
{{see also|幂级数}}
複函數的可微性有比實函數的可微性更強的性質。例如：每一個正則函數在其定義域中的每個開圓盤都可以[[冪級數]]來表示：

::<math>
f(z) = \sum_{n=0}^\infty a_n (z-z_0)^n = a_0 + a_1 (z-z_0) + a_2 (z-z_0)^2 + a_3 (z-z_0)^3 + \cdots
</math>。

特別地，全纯函數都是無限次可微的<ref>{{cite book|publisher=高等教育出版社|author=梁昆淼 等|title=数学物理方法（第四版）|year=2010|url=https://archive.org/details/shuxuewulifangfa0004unse|isbn=978-7-04-028352-5|pages=12页}}</ref>，性質對實可微函數而言普遍不成立。大部分初等函數（[[多項式]]、[[指數函數]]、[[三角函數]]）都是全纯函數。常用的方法有[[泰勒级数]]展开等。

=== 洛朗级数 ===
{{main|洛朗级数}}
复变函数<math>f(z)</math>的洛朗级数，是幂级数的一种，它不仅包含了正数次数的项，也包含了负数次数的项。有时无法把函数表示为[[泰勒级数]]，但可以表示为洛朗级数。

:<math>f(z)=\sum_{n=-\infty}^\infty a_n(z-c)^n</math>

=== 奇点的情况 ===
{{main|孤立奇点}}
对于复变函数的孤立奇点，有如下三类。
==== 本质奇点 ====
{{main|本质奇点}}
复变函数在某孤立奇点邻域的洛朗级数展开，如果存在无穷个负幂项，那么这个点称为“本质奇点”<ref name="singularity">{{cite book|publisher=高等教育出版社|author=梁昆淼 等|title=数学物理方法（第四版）|year=2010|url=https://archive.org/details/shuxuewulifangfa0004unse|isbn=978-7-04-028352-5|pages=48页}}</ref>。

对复平面'''<math>C</math>'''上的给定的[[开集|开子集]]''<math>U</math>''，以及''<math>U</math>''中的一点<math>a</math>，亚纯函数<math>f:U\setminus\left \{ a \right \}\rightarrow C</math>在<math>a</math>处有本质奇点当且仅当它不是极点也不是可去奇点。

==== 极点 ====
{{main|极点 (代数)}}
复变函数在某孤立奇点邻域的洛朗级数展开，如果存在有限个负幂项，那么这个点称为“极点”<ref name="singularity"/>。

亚纯函数的'''极点'''是一种特殊的[[奇点 (几何)|奇点]]，它的表现如同<math>z-a=0</math>时<math>\frac{1}{\left ( z-a \right )^n}</math>的奇点。这就是说，如果当<math>z</math>趋于<math>a</math>时，函数<math>f(z)</math>趋于无穷大，那么<math>f(z)</math>在<math>z=a</math>处便具有极点。

==== 可去奇点 ====
{{main|可去奇点}}
复变函数在某孤立奇点邻域的洛朗级数展开，如果没有负幂项，那么这个点称为“可去奇点”<ref name="singularity"/>。

如果''<math>U</math>''是复平面'''<math>C</math>'''的一个开集，<math>a</math>是''<math>U</math>''中一点，<math>f:U-\left \{ a \right \}\rightarrow C</math>是一个全纯函数，如果存在一个在<math>U-\left \{ a \right \}</math>与<math>f</math>相等的全纯函数<math>g:U\rightarrow C</math>，则<math>a</math>称为<math>f</math>的一个'''可去奇点'''。如果这样的<math>g</math>存在，我们说<math>f</math>在<math>a</math>是可全纯延拓的。

== 留数 ==
{{main|留数}}
=== 定义 ===
在复分析中，留数是一个复数，描述亚纯函数在奇点周围的路径积分的表现。

亚纯函数<math>f</math>在[[孤立奇点]]<math>a</math>的留数，通常记为<math>Res(f,a)</math>，是使
:<math>f(z)-{R \over (z-a)}</math>
在[[圆盘]]<math>0<|z-a|<\delta</math>内具有[[解析函数|解析]][[原函数]]的唯一值<math>R</math>

=== 留数定理 ===
{{main|留数定理}}
[[File:Residue theorem illustration.svg|250px|thumb|]]
在[[复分析]]中，'''留数定理'''是用来计算[[解析函数]]沿着闭曲线的[[曲线积分|路径积分]]的一个有力的工具，也可以用来计算[[实函数]]的积分。它是[[柯西积分定理]]和[[柯西积分公式]]的推广。

假设''U''是[[复平面]]上的一个[[单连通]][[开子集]]，''a''<sub>1</sub>、……、''a''<sub>''n''</sub>是复平面上有限个点，''f''是定义在''U'' \ {''a''<sub>1</sub>、……、''a''<sub>''n''</sub>}的[[全纯函数]]。如果γ是一条把''a''<sub>1</sub>、……、''a''<sub>''n''</sub>包围起来的可求长曲线，但不经过任何一个''a''<sub>''k''</sub>，并且其起点与终点重合，那么：

:<math>\oint_\gamma f(z)\, dz =
2\pi i \sum_{k=1}^n \operatorname{I}(\gamma, a_k) 
\operatorname{Res}( f, a_k ). </math>

一些难于计算的实函数的积分可以通过转化为复变函数，然后利用留数定理来进行计算<ref>{{cite book|publisher=高等教育出版社|author=梁昆淼 等|title=数学物理方法（第四版）|year=2010|url=https://archive.org/details/shuxuewulifangfa0004unse|isbn=978-7-04-028352-5|pages=56页}}</ref>。

== 注释及参考文献 ==
{{reflist}}

== 参考书目 ==
* {{cite book |publisher=机械工业出版社 |authors=（美）布朗 等 |title=复变函数及应用 |year=2005 |url=https://archive.org/details/fubianhanshujiyi0000brow |isbn=978-7-11-115830-1 }}
{{authority control}}
[[Category:复分析| ]]