复变函数——一到三章总结

一、复数与复变函数

1 复数及其四则运算

复数的概念

虚数单位i
  对于方程$x^2=-1$，其在实数集中无解，为了了解方程，引入i，称为虚数单位。对其规定：
  ① $i^2=-1$
  ② i可以与实数在一起按同样的法则进行四则运算。

  虚数单位的特性：
$$i^1=i$$

$$i^2=-1$$

$$i^3=-i$$

$$i^4=1$$

$$......$$

$$i^{4n+1}=i$$

$$i^{4n+2}=-1$$

$$i^{4n+3}=-i$$

$$i^{4n+4}=1$$

复数
  对于任意的两个实数x和y，称z=x+iy或z=x+yi为复数。它与有序数对z=(x,y)一一对应。
  其中x称为z的实部，y称为z的虚部，记作
$$x=Re(z)$$

$$y=Im(z)$$

  当x=0，y≠0时，z=iy称为纯虚数。
  当y=0，z=x+i0可以看作实数x。
  所有复数够成复数集（复数域），用C表示，即
C = { z ∣ z = x + i y , x , y ∈ R } C=\{z|z=x+iy,x,y\in R\} C={ z∣z=x+iy,x,y∈R}

为什么要引入复数？
  ①把复数与平面内的点一一对应起来。
  ②使任意实系数一元n次方程存在n个解。
  ③简化三角函数的运算。
  ④用于计算实反常积分。

复数不能比较大小
  两个复数相等，当且仅当它的实部和虚部分别相等。
  复数z等于0，当且仅当它的实部和虚部都为0。
  只有实数可以比较大小，如果不全是实数，那么就不能够比较大小。

  复数不能比较大小的原因
  对于复数i和0，显然，i≠0。
  （1）若i＞0，那么i·i＞0，即得到-1＞0，矛盾。
  （2）若i＜0，那么i·i＞0·i，同样得到-1＞0，矛盾。
  由此，可以得到，复数无法定义大小关系。

共轭复数
  实部相同，虚部绝对值相等而符号相反的两个复数称为共轭复数，记为$\bar{z}$，即若$z=x+iy$，则$\bar{z}=x-iy$。

复数的四则运算

  设两个复数为$z_1=x_1+i{y}_1$，$z_2=x_2+i{y}_2$。

  ①和
$$z_1\pm z_2=(x_1\pm x_2)+i(y_1\pm y_2)$$

  ②积
$$z_1\cdot z_2=(x_1{x}_2-y_1{y}_2)+i(x_2{y}_1+x_1{y}_2)$$

  ③商
$$\frac{z_1}{z_2}=\frac{(x_1+i{y}_1)(x_2-i{y}_2)}{(x_2+i{y}_2)(x_2-i{y}_2)}=\frac{x_1{x}_2+y_1{y}_2}{x_2^2+y_2^2}+i\frac{x_2{y}_1-x_1{y}_2}{x_2^2+y_2^2}$$

复数的四则运算性质
  ①交换律
$$z_1+z_2=z_2+z_1$$

$$z_1{z}_2=z_2{z}_1$$

  ②结合律
$$(z_1+z_2)+z_3=z_1+(z_2+z_3)$$

$$(z_1{z}_2)z_3=z_1(z_2{z}_3)$$

  ③分配律
$$z_1(z_2+z_3)=z_1{z}_2+z_1{z}_3$$

共轭复数性质
  （1）$\overline{\stackrel{ˉ}{z}}=z$
  （2）$z_1$加减（乘除）$z_2$的共轭等于$z_1$的共轭加减（乘除）$z_2$的共轭
  （3）$z\cdot \bar{z}=|z{|}^2=|z^2|$
  （4）$z+\bar{z}=2Re(z),z-\overline{(}z)=2iIm(z)$，即$x=\frac{z+\bar{z}}{2},y=\frac{z-\bar{z}}{2i}$

2 复数的表示

复数的点表示

  复数域$C\to R^2$也就是$z=x+iy\to z:(x,y)$

复平面
  用建立了直角坐标系的平面来表示复数的平面称为复平面。
  横轴：实轴或x轴
  纵轴：虚轴或y轴
  复数z=x+iy可以用复平面上的点P(x,y)表示。

复数的向量表示

复数的模（绝对值）
  复数z=x+iy也可以用复平面上的向量$\overrightarrow{OP}$表示。向量的长度称为z的模或绝对值，记为
$$|z|=r=\sqrt{x^2+y^2}$$

  显然，$|x|\le |z|$，$|y|\le |z|$，$|x|+|y|\ge |z|$

复数的辐角
  称以正实轴为始边，以向量$\overrightarrow{OP}$为终边的角的弧度数θ为复数z的辐角（z≠0），记作Argz=θ
  （1）任何一个复数z≠0有无穷多个辐角。
  （2）z≠0时，$tan(Argz)=\frac{y}{x}$
  （3）z=0时，辐角无意义。

辐角主值
  在z（≠0）的辐角中，把满足$(-\pi ,\pi ]$的辐角称为Argz的主值，记作
$${\theta }_0=argz$$

  与辐角的关系：
$$Argz=argz+2k\pi ,k\in Z$$

$${\theta }_0=argz=\{\begin{array}{ll}arctan\frac{y}{x}& x>0\\ arctan\frac{y}{x}\pm \pi & x<0,y\ne 0\\ \pi & x<0,y=0\\ \pm \frac{\pi }{2}& x=0,y\ne 0\end{array}$$

  辐角主值与辐角在第二三象限的值需要相加减$\pi$，是因为arctan的函数值的范围仅为$-\frac{\pi }{2}$到$\frac{\pi }{2}$。

复数的三角表示与指数表示

复数的三角表示
$$z=r(cos\theta +isin\theta )$$

  其中，复数为$z=x+iy$，这是由直角坐标和极坐标的关系，即$x=rcos\theta$，$y=rsin\theta$得到的。

复数的指数表示
$$z=r{e}^{i\theta }$$

  这是根据欧拉公式：$e^{i\theta }=cos\theta +isin\theta$得到的，因此

$$z=r(cos\theta +isin\theta )=r{e}^{i\theta }$$

  在工程上，$z=r\angle \theta$。

欧拉公式
$$e^{i\theta }=cos\theta +isin\theta$$

  取$\theta =\pi$，则
$$e^{i\pi }+1=0$$

  它被称为“上帝创造的公式”。
  根据欧拉公式，还可以得到
$$cos\theta =\frac{e^{i\theta }+e^{-i\theta }}{2}$$

$$sin\theta =\frac{e^{i\theta }-e^{-i\theta }}{2j}$$

3 复数乘幂与方根

复数的乘积与商

  设$z_1=x_1+i{y}_1=r_1(cos{\theta }_1+isin{\theta }_1)=r_1{e}^{i{\theta }_1}$，$z_2=x_2+i{y}_2=r_2(cos{\theta }_2+isin{\theta }_2)=r_2{e}^{i{\theta }_2}$。

两复数的加减
$$z_1\pm z_2=(x_1\pm x_2)+i(y_1\pm y_2)$$

  复平面上加与减运算满足平行四边形法则，则有复数三角形不等式

$$|z_1|+|z_2|\ge |z_1+z_2|$$

$$||z_1|-|z_2||\le |z_1-z_2|$$

两复数的积
$$z_1\cdot z_2=r_1(cos{\theta }_1+isin{\theta }_1)r_2(cos{\theta }_2+isin{\theta }_2)=r_1{r}_2(cos{\theta }_{1}cos{\theta }_2-sin{\theta }_{1}sin{\theta }_2+i(cos{\theta }_{1}sin{\theta }_2+cos{\theta }_{2}sin{\theta }_1))=r_1{r}_2(cos({\theta }_1+{\theta }_2)+isin({\theta }_1+{\theta }_2))=r_1{r}_2{e}^{i({\theta }_1+{\theta }_2)}$$

  乘积的模等于模的乘积。
  乘积的辐角等于辐角的和。
  了解复数乘积的几何意义。

$$Arg(z_1{z}_2)=Arg{z}_1+Arg{z}_2$$

  上面的等式表示，两端可取值的全体是相同的。
  一般情况下
$$arg(z_1{z}_2)\ne arg{z}_1+arg{z}_2$$

两复数的商
  推导过程可以使用上面的结论
  对$z_2\ne 0$
$$z_1=z_2$$