机敏问答[复变][3] #20210626

---

本专栏主要作个人复习自测，有相关知识预备的同学也可作复习用。不保证无相应基础的人士能看明白。
万一考试考到了，或者对你的学习有较大帮助，一键三连不过分吧（斜眼笑）

连续性方法

0. $f$在有界区域$\Omega$闭包连续，区域上可导，$f(\partial \Omega )$包含于单位圆盘边界。首先根据（）原理可以直接说明$f(\Omega )$中任意一点模长不超过1. 现在我们考虑$f(\Omega )$是否等于整个单位圆盘。
1. 接上，用所谓“连续性方法”证明$f(\Omega )$是整个圆盘：起点是一个点，然后用既开又闭是全集，“扩大”集合的大小。比如不失一般性设$f(z_0)=0$，接着我们对于任意单位圆盘中的点$r_0{e}^{i{\theta }_0}(r_0,{\theta }_0\in \mathbb{R})$，用确界存在定理设出确界（），再证明前述确界是1.
2. 前述过程中$f(\partial \Omega )$的相关信息起到什么作用？
3. 用类似的方法证明如果有限闭区间上实处处右可导函数处处右导数为0，则该函数为常数. 说出这个命题和0.的证明类似点在哪。（提示：用斜率小的斜线夹）
4. “连续性方法”和数学归纳法有何异同？

答案

0. 最大模
1. i n f { r ∣ f ( z ) = r e i θ 0 无 解 } inf\{r|f(z)=re^{i\theta_0}无解\} inf{r∣f(z)=reiθ0​无解}
   备注：证明$f(\Omega )$是整个圆盘也可以通过$f(\Omega )$连通且边界点只能是圆盘边界说明。
2. 开映射定理要求在内点使用，而不能在区域边界使用（注：换句话说，证明 { r ∣ f ( z ) = r e i θ 0 有 解 } \{r|f(z)=re^{i\theta_0}有解\} {r∣f(z)=reiθ0​有解}是闭区间仍然不够，要保证闭区间右端点只要不是1，那么就还能继续变大）
3. 考虑集合 { x ∣ f ( x ) ≤ δ x } \{x|f(x)\le \delta x\} {x∣f(x)≤δx}，$\delta$取一系列趋向于0的数。共同点是考虑既开又闭。（不过这个命题用到的开是一个比较平凡的导数定义，而开映射定理的开是比较本质而优美的。而两个命题的“闭”用的本质上都是连续性）
4. 同：都是“停不下来”。异：数学归纳法中，$1+1+\cdots =\infty$，而“连续性方法”中，很多个正数相加可能只是有限值，不一定达到无穷。为了防止“达不到无穷”就“停下来”了，要求“开集”（如这里的开映射定理）

值域的考察

0. （魏尔斯特拉斯）整函数（复平面上全纯）不为常数，则值域（）。用刘维尔定理证明该定理的方法，和代数基本定理（用刘维尔定理的证法）有何共同点？
1. 0.的一般版本：对于本性奇点的任意邻域，值域也稠密。方法是做类似的操作，并利用有界与（）（奇点类型）的关系。（刘维尔定理是利用有界则常数，这里利用的是有界推出什么？）
2. （皮卡小定理）接0.，值域其实（）。试举例说明。
3. （皮卡大定理）类比0.和1.的关系，直接说出皮卡大定理，并说明如何推出0.到2.各结论。
4. （Bloch, 1924）$f\in Hol(D)\cap C(\bar{D})$（$D$是单位圆盘）非常值，$p\in D$处$|f^{\prime }(z)|(1-|z|)$最大为$M$，则$B(f(p),(\frac{3}{2}-\sqrt{2})M)\subset f(D)$. 这里考察的值域包含某个圆盘和$dist(f(\partial D),f(p))$有什么联系？为什么？
5. 刚刚表达式$dist(f(\partial D),f(p))$中$D$能不能换成其它曲线？为什么？结论有变化吗？
6. 为了估计单位圆盘内$f(z)-z{f}^{\prime }(0)$，请用实轴上$[0,1]$区间的路径积分表示上式，并利用柯西公式、模的性质对被积函数放缩，从而最终说明上式在$\frac{|z{|}^2|f^{\prime }|}{1-|z|}$量级，其中$|f^{\prime }|$是区域上导数最大模。（实际上，对于半径$r$的情形，有$|f(z)-z{f}^{\prime }(0)|\le \frac{|z{|}^2|f^{\prime }|}{2(r-|z|)}$）
7. 现在证明4.，不妨设$f(p)=0,f^{\prime }(p)=1$。首先根据6.，对于$p=0$的情况，$B(0,\frac{1}{2})$内，有$|f(z)|\ge |f^{\prime }(0)z|-|f(z)-z{f}^{\prime }(0)|\ge |z||f^{\prime }(0)|-\frac{|z{|}^2|f^{\prime }|}{2(1/2-|z|)}$. 这里选的$1/2$这个数可以保证$|f^{\prime }|$可以被$|f^{\prime }(0)|=1$估计出一个上界为（）（为什么？）。这样就有了一系列不等式$|f(z)|\ge |z|-\frac{|z{|}^2}{\frac{1}{2}-|z|}$. 这里应当取适当$|z|$使得（）最（）从而利用5.就得到了结论。
8. 请对于$f(p)=0,f^{\prime }(p)=1,p\ne 0$的情况给出证明。（提示：刚刚考虑的是单位圆盘子集$B(0,\frac{1}{2})$，现在相应考察单位圆盘子集$B(p,\frac{1-|p|}{2})=B(p,\frac{M}{2}):=B(p,r_0)$. 当然很容易说明这确实是单位圆盘的子集）
9. $f(B(0,r))=r{f}^{\prime }(0)g(B(0,1))$，其中$g(z)=$（）在0处导数为1，由此可以怎么推广4.到一般的包含原点的区域？再如何用4.考察整函数？
10. 为了用9.证明皮卡小定理，我们不妨假设整函数$f$有-1，1两个值在值域中取不到，请证明此时存在整函数$F$使得$\frac{e^{iF}+e^{-iF}}{2}=cosF=f$.
11. 根据两个值取不到的假设，此处$F_1:=F/\pi$的值域中有可数个值一定取不到了，那就是（）。（回忆：$Arccosz=\frac{1}{i}Ln(z+\sqrt{z^2-1})$）
12. 再拓展一步，若$F_1=cosG$，则（），从而推出和9.矛盾。

答案

0. 在$\mathbb{C}$稠密。”远离0“，则可取倒数（当然，接下来就用刘维尔定理）
   注：利用类似思想还能证明$f$是区域D上值域不为扩充复平面的亚纯函数，则存在D上两个解析函数的商是$f$. 反正不为某个数就可以减一下，倒数。
   当然这个”注“中没有”远离“，只有不等于。
1. 可去奇点（或：极点）。实际上是考虑倒数是可去奇点。
2. 最多取不到$\mathbb{C}$中的一个点。$e^z$.
3. 本性奇点的任意邻域，值域最多取不到一个例外值。特别注意整函数要么是多项式，要么在无穷远处有本性奇点（这是广义的刘维尔定理，即用刘维尔定理考察高阶导）
4. 回忆“连续性方法”，知道为了说明值域包含某个圆盘，只需说明$\partial D$的像到圆心距离不太小。
5. 可以。比如改成比单位圆更小的圆盘$D_1$，那么$f(D_1)$的值域就包含了某个圆盘，$f(D)$的值域更是包含该圆盘。
6. $f(z)-z{f}^{\prime }(0)={\int }_0^1(f^{\prime }(zt)-f^{\prime }(0))zdt$，被积函数根据柯西公式在$|z|{\int }_{圆}(\frac{f^{\prime }dw}{w-zt}-\frac{f^{\prime }dw}{w-0})$量级，也就是$|z||f^{\prime }||zt|/|w||w-zt|$量级，不超过$|z^2||f^{\prime }||t|/(1-|z|)$量级。（注意对于一般的圆盘，$|w|=r$，而围道积分的半径也相应扩大$r$倍）
7. $|f^{\prime }(z)|\le |f^{\prime }(0)|\frac{1-0}{1-|z|}\le (1-|z|{)}^{-1}\le 2$，不等式右侧，大
8. $|f(z+p)|\ge |f^{\prime }(p)z|-|f^{\prime }(p)z-f(z+p)|\ge |z||f^{\prime }(p)|-\frac{|z{|}^2|f^{\prime }|}{2(r_0-|z|)}$. 其中$|f^{\prime }|\le |f^{\prime }(p)|\frac{1-|p|}{1-|z|}$，当$|z|\le r_0$时则仍有$|f^{\prime }|\le 2$. 最后考察$|z|-\frac{|z{|}^2}{r_0-|z|}$的极值点，求导得到$1-\frac{2|z|(r_0-|z|)+|z{|}^2}{(r_0-|z|{)}^2}=0,2|z{|}^2-4r_0|z|+r_0^2=0,|z|/r_0=\frac{2\pm \sqrt{2}}{2}$，取负号得到$|z|=(1-\frac{\sqrt{2}}{2})r_0$为极值点，此时$|f(z+p)|\ge (3-\sqrt{2})r_0=(\frac{3}{2}-\sqrt{2})M$
9. $\frac{f(rz)}{r{f}^{\prime }(0)}$。把$D$换成包含$B(0,r)$的区域，则在$B(0,1)$上按前述构造$g(z)=\frac{f(rz)}{r{f}^{\prime }(0)}$，有$|g^{\prime }(z)|(1-|z|)$上界不小于1，从而$g$值域中至少包含一个半径为$\frac{3}{2}-\sqrt{2}$的圆盘（当然，这个圆盘是以某个$g(p)$为圆心而不一定以$g(0)$为圆心），从而$f$值域中至少包含一个半径为$r{f}^{\prime }(0)(\frac{3}{2}-\sqrt{2})$的圆盘。非常数整函数像集包含半径任意大的圆盘。
10. $1-f^2\ne 0$，且 { 1 − f 2 ( z ) ∣ z ∈ C } \{1-f^2(z)|z\in\mathbb C\} {1−f2(z)∣z∈C}为单连通集，则存在单值函数$g$使得$g^2=1-f^2,(f+ig)(f-ig)=1$且$f+ig$处处不为0，此时存在单值函数$F$使得$e^{iF}=f+ig$.
11. 一切（当然是实数）整数。
12. $G$的值域中有很多取不到的点构成“网格”，从而$G$值域中不可能存在任意大的圆盘。

平均值原理和平均值不等式

0. 柯西公式和平均值原理有何关系？用柯西公式证明是否表明此处平均值原理只能对解析函数使用？为什么？
1. 柯西公式中的积分有方向，为什么平均值原理中的积分没有？回忆0.中的证明过程作形式上的说明。（或者说：为什么考虑相反方向围道的柯西公式不影响正负号？）
2. 刚刚说的是对曲线上的平均值原理，它和圆盘上考察的平均值原理有何关系？
3. 平均值不等式（解析函数圆心处的模小于等于圆环或圆盘上模平均）和平均值原理（是等式）有什么区别和联系？
4. 平均值不等式或平均值原理与最大模原理有什么联系？
5. 用对$|f^{\prime 2}|$的平均值不等式怎么考察单位圆在单叶解析函数下像的面积？用平均值不等式所得到的不等式可能取等吗？可能不取等吗？
6. 对于无穷远点怎么叙述平均值原理？对于$n$次多项式怎么构造无穷远处有极限的解析函数从而套用前述结论？
7. 对于$|f{|}^2=f\bar{f}$，利用幂级数展开直接证明对于它的平均值不等式。

答案

0. 二维情况，直接对以某个点为圆心的圆环用柯西公式，把第二型曲线积分转为定积分$\frac{1}{2\pi }{\int }_0^{2\pi }f(z+r{e}^{i\theta })d\theta$，再转化为第一型曲线积分即得平均值原理。
   对实值调和函数也可使用，如推出最大模定理。
1. 把定积分转写成第一型曲线积分时一定要保证曲线微元$ds=rd\theta$恒正。
2. 数学分析中第一型曲线积分和积分区域可变的二重积分的关系。
3. 直接通过$f(0)=\frac{1}{2\pi }{\int }_0^{2\pi }f(r{e}^{i\theta })d\theta$两边取模给出平均值不等式（圆盘类似）。平均值不等式考察解析函数的模，而平均值原理考察调和函数（和解析函数）。解析函数的模不一定是调和函数（回忆全平面上非负调和函数为常数）。
   有意思的：$|f|$有平均值不等式，$ln|f|$在$f\ne 0$时有平均值原理。
4. 平均值原理或平均值不等式可以推出最大模原理。
5. $f^{\prime 2}$是解析函数，有平均值等式，取模则有对$|J|=|f^{\prime 2}|$的平均值不等式。可以取到不等号，比如$1/(1-z)$导致面积发散。
   注：$|f^{\prime 2}|=f^{\prime }\overline{f^{\prime }}$对$z$求导为$f^{\prime \prime }(z){\bar{f}}^{\prime }(z)$，特别注意${\partial }_{\bar{z}}{\bar{f}}^{\prime }(z)$不为0，故$|f^{\prime 2}|$不一定调和，不能用平均值等式。
6. 直接取一个以原点为圆心的圆。（当然，还可以以此写出平均值不等式、最大模原理）
   备注：比如说$f$非常数在$1<|z|<+\infty$解析，则$z>1$上最大模原理成立（最大模只可能取到边界上，且可能是无穷）。$P_n(z)/z^n$.
7. 提示：$e^{in\theta }d\theta$积分为0. 需要交换积分和求和。注意绝对收敛性。

确定所有可能解析函数

0. $f$在单位圆盘边界连续，单位圆盘内可导，把边界映射到单位圆盘边界。若$f$无零点，则（）。
1. 如果把条件改成$f$是单位圆盘到单位圆盘的映射且零点唯一为0，则证明$|f^{\prime }(0)|\le 1$和前述命题有何异同呢？
2. 接0.，由零点孤立性，以及$f(z)/\prod (z-z_i{)}^k$非零且全纯（其中$k$是$z_i$作为零点的重数）（说出为什么？），我们直接考虑圆盘上无零点全纯函数（）即可说明$f$在一般情况是有理函数。请问上一括号构造出的函数为什么仍满足0.中的条件？
3. 2.的本质其实是化归到常数。这里是使用乘法化归。那何时用加法化归？举出典型例子。
4. 接上，如果使用求导化归，那么如何推广刘维尔定理？
5. $\mathbb{C},\bar{\mathbb{C}},D(单位圆盘)$上全纯自同构（等价）分别被完全确定为（）。
6. 由（）定理容易说明$\mathbb{C}$到$D$为何没有全纯同构。但有微分同胚比如（）。
7. 确定$\mathbb{C}$到自身全纯自同胚：如果已知”$f$以线性速度增长“，那么利用3.就说明了所有可能全纯自同胚是一次多项式。如果已知$f$以多项式速度增长（无穷远点不是本性奇点），那怎么简单说明？
8. 接上，为什么$f$无穷远点不是本性奇点？
9. 由7.如何考察$\bar{\mathbb{C}}$到自身全纯自同胚？
10. 由1.如何考察$D$到自身全纯自同胚？

答案

0. $f$为常数（最小模原理）。
1. 同：都利用了最大模原理（后一个命题是考虑$f/z$最大模不超过1）；异：后一个命题不知道边界处连续性，所以要取一列逼近单位圆的越来越大的圆。且后一个命题不知道边界是否映成边界，所以不能直接使用最小模原理，也不能直接证明出常数。
2. 原因：比如可用幂级数展开说明。括号填：$f(z)\prod (\frac{1-{\bar{z}}_{i}z}{z-z_i}{)}^k$. 原因：分式线性变换的性质（圆盘内的点的像仍是……，边界上的点仍是……）
3. 例：考察亚纯函数时。
4. 整函数以多项式增长（无穷远是极点）时是多项式（即某阶之后的导为0）（注：利用的是广义的柯西公式，估计各阶导。课堂强调：这种拓展也适用于Arzela-Ascoli引理中，可说明收敛的结果不但自身收敛，而且各阶导收敛）
5. $az+b,\frac{az+b}{cz+d},e^{i\theta }\frac{z-a}{1-\bar{a}z}$
6. 刘维尔。略。
7. 结合代数基本定理。
8. “值域的考察”的1.（当然，也可以直接证明无穷远处函数值趋向于无穷从而无穷远处是极点。若不然，用紧性找到聚点，则用开映射定理容易得到矛盾于单射）
9. 分式线性变换转化为$\bar{\mathbb{C}}$到自身且无穷到无穷的情况。
10. 不妨设$f(0)=0$（否则分式线性变换），再对$f$和其逆映射分别用1.考察，再用最大模原理。