讲解一些复变函数的基础概念

可以对实数域做一个推广复数域,于是获得一个比较好的性质.我们把多项式函数的$f(x)=x^2+1$的根$i=\sqrt{-1}$添加入实数域,得知$C=R[i]\cong R^2$.
在复数域上的加减乘除是很简单的,并且由欧拉公式得到的$e^{i\theta }$也能够应用到这个域上.
现在讨论复数域上的极限.

$\text{Theorem }$已知$x_n,y_n⩾0$,则:
$$\begin{gathered} \underset{n\to \infty }{\overline{\lim }}{x}_n\cdot y_n⩽\underset{n\to \infty }{\overline{\lim }}{x}_n\cdot \underset{n\to \infty }{\overline{\lim }}{y}_n \\ \underset{n\to \infty }{\underline{\lim }}{x}_n\cdot y_n⩾\underset{n\to \infty }{\underline{\lim }}{x}_n\cdot \underset{n\to \infty }{\underline{\lim }}{y}_n \end{gathered}$$
考虑两个函数的聚点特性即可.

$\text{Theorem }$已知$x_n>0$,则:
$$\underset{n\to \infty }{\overline{\lim }}{x}_n\cdot \underset{n\to \infty }{\underline{\lim }}\frac{1}{x_n}=1$$
考虑$\underset{n\to \infty }{\overline{\lim }}{x}_n=x$即可.
当然,复数域上的数列也可以定义有界,依然定义欧几里得上的模有界即可.

$\text{Theorem(Bolzano-Weierstrass) }$有界的无穷序列至少有一个聚点.
利用反证法可以证明.
$\text{PS:关键是利用有界和无限这两个特性,一个提供了半径,一个提供了数量.}$

$\text{Theorem }$若序列有极限,则序列有且仅有一个聚点.
略.

Theorem (Cauchy审敛原则) ∀ ϵ &gt; 0 , ∃ N &gt; 0 , s . t . ∀ p ∈ N + 时 , ∣ a N + p − a N ∣ &lt; ϵ ⇔ { a n } 极 限 存 在 . \text{Theorem (Cauchy审敛原则)}\forall \epsilon &gt;0,\exists N&gt;0,s.t. \forall p\in N_+时,|a_{N+p}-a_{N}|&lt;\epsilon\Leftrightarrow \{a_n\}极限存在. Theorem (Cauchy审敛原则)∀ϵ>0,∃N>0,s.t.∀p∈N+​时,∣aN+p​−aN​∣<ϵ⇔{an​}极限存在.

$\text{Definition }$设区域$G\subset C$,若对于任意$z\in G,有1个(单值函数)或多个(多值函数)w与之对应$,称$w=f(z)$是$z$的复变函数.$f$的定义域是$G$,值域是$f(G).$
可以发现$w=f(z)=u(x,y)+iv(x,y)=(u,v)=(f_r,f_i)$,其中$u,v$均是$R^2$上的实函数,于是自然能够知道有界的概念就是从$R^2$上函数推广而来,自然极限、连续、一致连续、可导和可微等也能从从$R^2$上函数推广而来.

$\text{Theorem }$若一个无界序列在有限远处没有聚点,则无界序列有且只有一个聚点,且收敛于无穷远点.

$\text{Equation(Cauchy-Riemann) }\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\frac{\partial u}{\partial y}+\frac{\partial v}{\partial x}=0.$
考虑一个在实轴和复轴上f导数的极限可以得到.

$\text{Theorem }$若复变函数$f$的实部函数和虚部函数均可微,且满足柯西黎曼条件,那么$f$可导.

$\text{Definition }$如果$f$在区域内处处可导,那么称$f$在区域上具有解析性,称$f$是区域上的解析($\text{analytic,holomorphic,homodromic,monogenic,regular,synetic}$)函数.
$\text{Equation(Laplace) }\frac{{\partial }^{2}u}{\partial x^2}+\frac{{\partial }^{2}u}{\partial y^2}=0,\frac{{\partial }^{2}v}{\partial x^2}+\frac{{\partial }^{2}v}{\partial y^2}=0.$
满足这个方程的实函数叫做调和函数.

$\text{Definition }$若函数在某些地方不解析(未定义,不可导),称这些点为奇点.

---

1.幂函数$f(z)=z^n:$
(1)$n\in N_{+}$时,$f$在全平面解析,若$n̸=0$时$z=\infty$是$f$的奇点.
(2)$n<0$时,$\frac{1}{f}$同(1).自然知道$z=0$是$f$的奇点.
(3)$f$的导数同实数情况.
(4)由此推出复平面上的多项式(函数)定义.它在无穷远点不解析.
(5)由此推出有理函数$R(z)=\frac{P(z)}{Q(z)}:$
$(i)Q(z)=0$时,$R(z)$不解析;
$(ii)若\mathrm{deg}P<\mathrm{deg}Q$,则$R(z)$在无穷远点不解析,否则解析.(?)

2.指数函数$f(z)=a^z=e^{zlna}$,下面考虑$e^z$.
(1)$e^z=e^x(\cos y+i\sin y)$,由此可以理解指数函数的函数图像.
(2)$e^z$在无穷远未定义!所以无穷远点是$e^z$
的奇点.
(3)$e^z$有周期$2\pi i$.
(4)$e^z$在全平面有解析,$(e^z{)}^{\prime }=e^z$.

3.三角函数,由指数函数可以得到其解析性.
$$\cos z=\frac{1}{2}(e^{iz}+e^{-iz}),\sin z=\frac{1}{2i}(e^{iz}-e^{-iz})$$
(1)周期是$2\pi$.
(2)由此推出,$\tan z,\cot z,\sec z,\csc z$,奇点情况类似有理函数.
4.双曲函数,由指数函数可以得到其解析性.
$$\cosh z=\frac{1}{2}(e^z+e^{-z}),\sinh z=\frac{1}{2}(e^z-e^{-z})$$

这些初等函数全部都是复平面上的单值函数.

5.根式函数,首先讨论平方根式函数$w=f(z)=\sqrt{z-a}$,
记$w={\rho }^2{e}^{2i\phi }=r{e}^{i\theta }.$
(2)$\rho =\sqrt{r},\varphi =\frac{\theta }{2}+n\pi ,n\in Z$,故$z-a=\pm \sqrt{r}{e}^{\frac{i\theta }{2}}.$
可以发现这是由$z-a$(宗量)辐角多值性导致了z的多值性.
所以准确描述$f$应当是$|w|=\sqrt{|g(z)|},\arg w=\frac{1}{2}\arg g(z)$,其中$g(z)=z-a$.