首页 > 代码库 > 一个调和函数,但不是某全纯函数的实部
一个调和函数,但不是某全纯函数的实部
取$B(0,1)\setminus\{0\}$上的调和函数$\log|z|$,那么他不可能是$B(0,1)\setminus\{0\}$上某个全纯函数的实部.否则设
$$f(z)=\log|z|+iu(z)\in H(B(0,1)\setminus\{0\})$$
其中$u(z)$是实值的.那么$e^{f(z)}=|z|e^{iu(z)}$,所以$$\left|\frac{e^{f(z)}}{z}\right|\equiv1$$
所以$\frac{e^{f(z)}}{z}$常值,所以存在$\theta\in(-\pi,\pi]$使得\begin{align*}e^{f(z)}&=ze^{i\theta}\\\Rightarrow u(z)&=\theta+{\rm arg}z+2k(z)\pi\end{align*}
其中$k(z)$为取值为$\mathbb Z$的函数,而由$u(z)$的连续性可知$k(z)$常值,那么$${\rm arg}z=u(z)-\theta-2k\pi\in C(B(0,1)\setminus\{0\})$$
这是不可能的.因为${\rm arg}$在负实轴上是间断的.
一个调和函数,但不是某全纯函数的实部
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。