[复变函数]第12堂课 3.4 解析函数与调和函数的关系

0. 引言

设 $f=u+iv$ 在区域 $D$ 内解析, 则 $$\bex u_x=v_y,\ u_y=-v_x\ra \sedd{\ba{ll} u_{xx}+u_{yy}=v_{yx}-v_{xy}=0\\ v_{xx}+v_{yy}=-u_{yx}+u_{xy}=0 \ea}. \eex$$

 

1. 称满足 $\lap f=f_{xx}+f_{yy}=0$ 的二阶连续可微函数 $f$ 称为调和函数, 其中 $\dps{\lap=\cfrac{\p^2}{\p x^2}+\cfrac{\p^2}{\p y^2}}$ 为 Laplace 算子.

 

2. 若在区域 $D$ 内, $$\bex \sedd{\ba{ll} u_x=v_y\\ u_y=-v_x \ea},\quad \sedd{\ba{ll} \lap u=0\\ \lap v=0 \ea}, \eex$$ 则称 $v$ 是 $u$ 的共轭调和函数.

(1) 解析函数 $f=u+iv$ 中, $v$ 是 $u$ 的共轭调和函数, 那 (  ) 是 $v$ 的共轭调和函数. (答案: $-u$)

(2) 反过来, $v$ 是 $u$ 的共轭调和函数, 则 $f=u+iv$ 是解析函数. 于是我们有解析函数的四个等价定义: $$\bex \ba{rrcll} &&v\mbox{ 是 }u\mbox{ 的共轭调和函数}&&\\ &&\Updownarrow&&\\ \serd{\ba{rr} u,v\mbox{ 可微}\\ C.R\mbox{ 方程} \ea}&\lra& f=u+iv\mbox{ 解析}&\lra& \sedd{\ba{ll} u_x,u_y,v_x,v_y\mbox{ 连续}\\ C.R\mbox{ 方程} \ea}\\ &&\Updownarrow&&\\ &&\dps{\forall\mbox{ 周线 }C,\ \int_Cf(\zeta)\rd \zeta=0}&& \ea \eex$$

 

3. 进一步地, 给定一个调和函数 $u$, 可以求出所以以 $u$ 为实部的解析函数 $f=u+iv$; 给定一个调和函数 $v$, 可以求出所以以 $v$ 为虚部的解析函数 $f=u+iv$. 证明: 比如求 $v$ ($v_x=-u_y,\ v_y=u_x)$: $$\beex \bea &\quad v_x=-u_y\\ &\ra v=-\int u_y\rd x+\varphi(y)\\ &\ra u_x=v_y=-\int u_{yy}\rd x+\varphi'(y)\\ &\ra \varphi'(y)=u_x+\int u_{yy}\rd x\\ &\ra \varphi(y)=\cdots\quad\sex{\cfrac{\p}{\p y}\sez{u_x+\int u_{yy}\rd x}=u_{xx}+u_{yy}=0}. \eea \eeex$$

(1) 例: 验证 $u=x^3-3xy^2$ 为 $\bbC$ 上的解析函数, 并求以 $u(x,y)$ 为实部的解析函数 $f(z)=u+iv$, 使其满足 $f(0) =i$.

解答: $$\beex \bea &\quad v_x=-u_y=6xy\\ &\ra v=3x^2y+\varphi(y)\\ &\ra 3x^2-3y^2=u_x=v_y=3x^2+\varphi'(y)\\ &\ra \varphi'(y)=-3y^2\\ &\ra \varphi(y)=-y^3+C\\ &\ra v=3x^2y-y^3+C\\ &\ra f=(x^3-3xy^2)+i(3x^2y-y^3+C)\\ &\ra f=(x^3-3xy^2)+i(3x^2y-y^3+1)\quad(f(0) =i)\\ &\ra f=z^3+C\quad(f=u(z,0)+iv(z,0)). \eea \eeex$$

 

作业: P 141 T 16 (1) . 

时间: 2024-09-20 17:22:20

[复变函数]第12堂课 3.4 解析函数与调和函数的关系的相关文章

[复变函数]第06堂课 2.1 解析函数的概念与 Cauchy-Riemann 方程 (续)

2. 解析函数及其简单性质 (1) 定义: a. 若 $w=f(z)$ 在区域 $D$ 内可微, 则称 $f$ 在 $D$ 内解析; b. 若 $w=f(z)$ 在 $z_0$ 处的某邻域内解析, 则称 $f$ 在 $z_0$ 处解析; c. 若 $f$ 在闭域 $\bar D$ 的某个邻域内解析, 则称 $f$ 在 $\bar D$ 上解析; d. 若 $f$ 在 $z_0$ 处不解析 ($\forall\ \rho>0,\ \exists\ z\in U_\rho(z_0),\st f$ 在

[复变函数]第18堂课 5. 2 解析函数的孤立奇点

1.  孤立奇点的三种类型 (1)  定义 (2)  $$\beex \bea 0<|z-a|<R\ra f(z)=&\sum_{n=0}^\infty c_n(z-a)^n\quad\sex{\mbox{正则部分}}\\ &+\sum_{n=-\infty}^{-1}c_n(z-a)^n\quad\sex{\mbox{主要部分: 奇异性质主要看这里}}. \eea \eeex$$ (3)  分类 a.  若主要部分为零, 则称 $a$ 为 $f$ 的可去奇点 (removab

[复变函数]第19堂课 5.3 解析函数在无穷远处的性质

1.  函数 $f$ 在 $\infty$ 没有定义, 所以 $\infty$ 必为 $f$ 的奇点. 若 $$\bex \exists\ r>0,\ st.  f\mbox{ 在 }|z|>r\mbox{ 内解析}, \eex$$ 则称 $\infty$ 为 $f$ 的孤立奇点.   (1)  例: $f(z)=z$, $f(z)=\cfrac{1}{e^z-1}$.   (2)  作变换 $\zeta=\cfrac{1}{z}$, 并记 $$\bex \phi(\zeta)=f\sex{\

[复变函数]第13堂课 作业讲解; 4 解析函数的幂级数表示法 4.1 复级数的基本性质

第13堂课 作业讲解; 4 解析函数的幂级数表示法 4. 1 复级数的基本性质}   作业讲解: P 139 - 141, T 1, T 2 (2) , T 6, T 10 (1) , T 16 (1) .   1. 复数项级数 (1) 定义: 无穷多个复数相加, 即 $\dps{\vsm{n}\al_n=\al_1+\al_2+\cdots+\al_n+\cdots}$. 部分和: $\dps{s_n=\sum_{k=1}^n\al_k}$. 收敛或发散: $\dps{\vlm{n}s_n=s

[复变函数]第17堂课 5 解析函数的 Laurent 展式与孤立奇点 5. 1 解析函数的 Laurent 展式

0.  引言 (1)  $f$ 在 $|z|<R$ 内解析 $\dps{\ra f(z)=\sum_{n=0}^\infty c_nz^n}$ (Taylor 级数). (2)  $f$ 在 $r<|z|<R\ (0\leq r<R\leq\infty)$ 内解析 $\dps{\ra f(z)=?}$ (Laurent 级数).   1.  双边幂级数 (1)  定义 $$\bee\label{15_bs} \bea &\quad c_0+c_1z+c_2z^2+\cdot

[复变函数]第11堂课 3.3 Cauchy 积分定理及其推论

0. 引言 (1) Cauchy 积分定理: 设 $D$ 为 $(n+1)$ 连通区域, $f$ 在 $D$ 内解析且连续到边界 $C$, 则 $\dps{\int_C f(\zeta)\rd \zeta=0}$. (2) 若 $f$ 在 $D$ 内有奇点, 怎么办? 挖掉它! $$\bex \int_C \cfrac{1}{(\zeta-z)^n}\rd \zeta =\sedd{\ba{ll} 2\pi i,&n=1\\ 0&1\neq n\in\bbZ \ea}\quad\sex{z

[复变函数]第03堂课 1.2 复平面上的点集

    1. 平面点集的几个基本概念 (1) 邻域 $$\bex N_\rho(z_0)=\sed{z\in\bbC;\ |z-z_0|<\rho}, \eex$$ 去心邻域 $N_\rho(z_0)\bs \sed{z_0}$. (2) 点列 $z_n\to z_0$, 若 $$\bex \forall\ \ve>0, \exists\ N,\ \forall\ n\geq N,\ |z_n-z_0|<\ve\mbox{ 即 }z_n\in N_\ve(z_0). \eex$$ (3)

[复变函数]第24堂课 6.3 辐角原理

1.  对数留数 $$\beex \bea \cfrac{1}{2\pi i}\int_C\cfrac{f'(z)}{f(z)}\rd z &=\cfrac{1}{2\pi i}\int_C \rd \ln f(z)\\ &=\cfrac{1}{2\pi i}\int_C\rd \ln |f(z)|+i\rd \arg f(z)\\ &=\cfrac{1}{2\pi }\int_C\rd \arg f(z)\\ &=\cfrac{1}{2\pi }\lap_C\arg f(

[复变函数]第02堂课 1.1 复数 (续)

4. 一些概念及性质                   (1)              $$\beex             \bea             z=x\in\bbR&\quad\mbox{实数},\\             z=x+iy\ (y\neq 0)&\quad\mbox{虚数},\\             z=iy\ (y\neq 0)&\quad\mbox{纯虚数}.             \eea             \eeex$$