Questions in category: 复分析 (Complex Analysis)
分析 >> 复分析
<[1] [2] >

1. 证明下面的复函数是连续的.

Posted by haifeng on 2021-07-03 09:14:40 last update 2021-07-03 09:16:19 | Answers (0) | 收藏


设 $R > 0$, 定义 $\varphi:\ \mathbb{C}\rightarrow\mathbb{C}$ 为

\[
\varphi(z)=\begin{cases}
z, & |z|\leqslant R,\\
\frac{Rz}{|z|}, & |z| > R,
\end{cases}
\]

证明 $\varphi$ 是复平面到半径为 $R$ 的圆盘上的连续映射.

 

注:  这个函数用在 Lusin 定理的证明中. Lusin 定理先就实的有界函数进行证明, 对于复函数, 要用到这里的 $\varphi$.

2. 求下面方程的解

Posted by haifeng on 2021-03-22 11:20:17 last update 2021-03-22 11:35:42 | Answers (0) | 收藏


设 $T > 0$, $\omega\in\mathbb{R}$. 定义

\[
f(s)=\int_{0}^{T}(e^{i\omega t-its}-e^{i\omega t+its})\mathrm{d}t,
\]

这里 $i=\sqrt{-1}$.

求这样的 $s$, 它对任意 $(T,\omega)\in\mathbb{R}^{+}\times\mathbb{R}$, 都有 $f(s)=0$.

 

 


Remark:

题目来源于浙江大学某老师布置的题目.

 

3. [Def] 椭圆函数

Posted by haifeng on 2020-12-31 21:15:29 last update 2020-12-31 21:16:48 | Answers (0) | 收藏


定义: 一个双周期函数如果是半纯的(也称“亚纯”,  即在有限复平面上仅有的奇点是极点), 就称为椭圆函数.

 

 

 


References:

潘承洞、潘承彪 著《模形式导引》  北京大学出版社.

4. 复变函数 $\mathrm{Ln}z$ 或 $\mathrm{Log}z$ 的定义.

Posted by haifeng on 2020-12-06 09:32:47 last update 2020-12-06 09:56:46 | Answers (1) | 收藏


复变函数 $\mathrm{Ln}z$ 或 $\mathrm{Log}z$ 的定义.

 

和实函数 $y=\ln x$ 的定义类似, 若复数 $\omega$ 满足 $e^{\omega}=z$, 则定义 $\mathrm{Ln}z=\omega$. 

由于

\[
e^{\omega+i2k\pi}=e^{\omega}.
\]

因此, $f(z)=\mathrm{Ln}z$ 是一个多值函数.  设 $z=re^{i\theta}$,  $\omega=u+iv$, $u,v$ 是实数. 则

\[
z=e^{\omega}=e^{u+iv}=e^u\cdot e^{iv}=e^u(\cos v+i\sin v)
\]

于是 $r=e^u$, 从而 $u=\ln r=\ln|z|$. $v=\theta+2k\pi$, $k$ 是任意整数. 

\[
f(z)=\mathrm{Ln}z=u+iv=\ln r+i(\theta+2k\pi)
\]

 

如果仅考虑 $k=0$, $\theta=\arctan\frac{y}{x}$, 这里 $x=r\cos\theta$, $y=r\sin\theta$, 则称这样的 $\mathrm{Ln}z$ 函数是其中的一个(主)分支.

验证: $\mathrm{Ln}z$ 在任一分支上满足柯西-黎曼方程(Cauchy-Riemann equation), 从而 $\mathrm{Ln}z$ 在分支上是全纯函数.

由于满足柯西-黎曼方程是复变函数 $f(z)$ 可导(即全纯)的充要条件, 故

\[
\frac{\mathrm{d}}{\mathrm{d}z}f(z)=\frac{\partial u}{\partial x}+i\frac{\partial v}{\partial x}.
\]

或简记为 $f'(z)=u_x+iv_x$.

 

Claim.

\[
\frac{\mathrm{d}}{\mathrm{d}z}\mathrm{Ln}z=\frac{1}{z}
\]

 

 


参考自 [1] 第二卷 第九章 复变函数.

References:

[1]  A. D. 亚历山大洛夫  等 著 《数学,它的内容、方法和意义》,  科学出版社

5. 写出 $\frac{e^{it}+z}{e^{it}-z}$ 的实部和虚部

Posted by haifeng on 2019-09-05 12:49:38 last update 2019-09-05 13:13:42 | Answers (1) | 收藏


令 $z=re^{i\theta}$, 写出 $\frac{e^{it}+z}{e^{it}-z}$ 的实部和虚部

\[
\mathrm{Re}(\frac{e^{it}+z}{e^{it}-z})=\frac{1-r^2}{1-2r\cos(\theta-t)+r^2},
\]

\[
\mathrm{Im}(\frac{e^{it}+z}{e^{it}-z})=\frac{2r\sin(\theta-t)}{1-2r\cos(\theta-t)+r^2}.
\]

 

若令 $r\in[0,1)$, 则 $\mathrm{Re}(\frac{e^{it}+z}{e^{it}-z}) > 0$. 我们记 $P_r(\theta-t)=\mathrm{Re}(\frac{e^{it}+z}{e^{it}-z})$.

 

References:

W. Rudin, 《实分析和复分析》

6. 若 $f(z)=\sum_{n=0}^{\infty}c_n z^n$ 在收敛圆周上只有一个奇点 $z_0$, 且这个奇点是一级极点, 则 $\lim\limits_{n\rightarrow\infty}\frac{c_n}{c_{n+1}}=z_0$.

Posted by haifeng on 2016-10-07 08:57:55 last update 2016-10-07 08:57:55 | Answers (1) | 收藏


若 $f(z)=\sum_{n=0}^{\infty}c_n z^n$ 在收敛圆周上只有一个奇点 $z_0$, 且这个奇点是一级极点, 则 $\lim\limits_{n\rightarrow\infty}\frac{c_n}{c_{n+1}}=z_0$.

 


另一个版本的题目是:

设 $f$ 在开集 $\Omega\subset\mathbb{C}$ 中除一点 $z_0$ 以外全纯. $\Omega$ 包含单位圆 $S^1$, 且 $z_0\in S^1$. $z_0$ 是 $f$ 的一级极点. 如果把 $f$ 在单位圆盘 $D$ 中展成幂级数 $\sum_{n=0}^{\infty}a_n z^n$. 证明

\[\lim\limits_{n\rightarrow\infty}\frac{a_n}{a_{n+1}}=z_0.\]

7. Hartogs 扩张定理

Posted by haifeng on 2015-04-24 09:48:43 last update 2015-04-24 09:48:43 | Answers (0) | 收藏


Friedrich Hartogs 在 1906 年发现了这样一个事实.

对于 $\mathbb{C}^2$ 中的一个简单区域 $H$, $H$ 上的任何全纯函数都有一个全纯扩张, 扩张到一个更大的开集 $\hat{H}$ 上.

8. $F(z,w)=\frac{1}{2\pi i}\int_{|\zeta|=r}\frac{f(z,\zeta)}{z-w}d\zeta$

Posted by haifeng on 2015-04-24 09:39:59 last update 2015-04-24 09:59:42 | Answers (0) | 收藏


设 $H\subset\mathbb{C}^2=\{(z,w):z,w\in\mathbb{C}\}$ 定义为

\[
H=\{(z,w)\ :\ |z| < 1, \frac{1}{2} < |w| < 1\}\cup\{(z,w)\ :\ |z| < \frac{1}{2}, |w| < 1\}.
\]

设 $f: H\rightarrow\mathbb{C}$ 是全纯映射, 固定某个 $r$ ($\frac{1}{2} < r < 1$). 令

\[
F(z,w)=\frac{1}{2\pi i}\int_{|\zeta|=r}\frac{f(z,\zeta)}{z-w}d\zeta.
\]

证明: $F(z,w)$ 在 $G=\{(z,w)\ :\ |z| < 1, |w| < r\}$ 上是全纯的.

 


观察到: 固定 $z_0$ ($|z_0| < \frac{1}{2}$), 则映射 $w\mapsto f(z_0,w)$ 在圆盘 $\{w:|w|<1\}$ 上是全纯的. 因此, 根据 Cauchy 积分公式, 对于 $|w| < r$, 有

\[
f(z_0,w)=\frac{1}{2\pi i}\int_{|\zeta|=r}\frac{f(z_0,\zeta)}{\zeta-w}d\zeta=F(z_0,w).
\]

于是在 $\{(z,w):|z|<\frac{1}{2},|w|<r\}$ 上有 $f\equiv F$.

根据 identity theorem 推出: 在 $H\cap G$ 上 $f\equiv F$. 因此 $F$ 给出了全纯函数 $f$ 在 $\hat{H}=H\cup G$ 上的全纯扩张.


Reference:

R. Michael Range, What is a Pseudoconvex Domain? [pdf]

9. 利用留数定理证明 $\int_0^1\log\sin(\pi x)dx=-\log 2$

Posted by haifeng on 2015-03-06 21:59:06 last update 2015-03-06 21:59:06 | Answers (0) | 收藏


利用留数定理证明

\[
\int_0^1\log\sin(\pi x)dx=-\log 2
\]

10. 计算 $\int_{-\infty}^{+\infty}\frac{\sin t}{t}dt$

Posted by haifeng on 2013-08-27 16:06:58 last update 2013-08-27 16:06:58 | Answers (0) | 收藏


Answer

\[\int_{-\infty}^{+\infty}\frac{\sin t}{t}dt=\pi\]

<[1] [2] >