机敏问答[复变][1] #20210615

---

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

幂级数

0. 下列哪些事物对于实数情况和复数情况有本质区别？简要阐述。
   a. 一致收敛的柯西准则 b. $e^z$的收敛域 c. Abel定理（一点收敛推出内部的闭球上一致收敛）和收敛半径的定义 d. 幂级数$\sum a_n{z}^n$与$\sum n{a}_n{z}^n$拥有相同收敛半径 e. 圆盘上收敛的幂级数和圆盘上“性质良好”函数的一一对应关系 f. 三角函数恒等式 g. $ln(1+x)=x-\frac{x^2}{2}+\cdots$
1. 设$f(z)=\sum a_n{z}^n$收敛半径非零，试阐述如何估计$|\frac{f(z+\Delta z)-f(z)}{\Delta z}-\sum n{a}_n{z}^{n-1}|$
2. 接上，得到$f$任意阶可导且$f^{(n)}(0)$为（）
3. 两个幂级数乘积收敛半径大于等于（），试举例说明可能不取等。待定系数法在求幂级数时常用于求什么？
4. 复数情况的幂级数、实数情况的幂级数、傅里叶级数是什么关系？
5. 两个幂级数复合的收敛半径可能比原来的两收敛半径最小值还小吗？可能比原来的两者最大值还大吗？
6. 一点处非零的解析函数的倒数的收敛域如何？

答案

0. e. 实数情况，幂级数和实解析函数不能一一对应。复数情况，幂级数和解析函数能一一对应。
   f. 可以看成无本质区别，因为三角函数作为实函数的恒等关系式可以表示成幂级数之间的恒等关系式，而收敛的实数域上幂级数可以解析扩展至复数域。解析扩展的收敛性可以用Abel定理等说明。
   g. 实数情况和复数情况的相同之处是都得到半径为1开球上的性质良好的函数。然而对于复数情况，函数可以作解析延拓，并具有复数情况独有的多值性。
1. 绝对值中两项都取级数的前$N$项（这一动作造成误差不超过$\frac{ϵ}{3}+\frac{ϵ}{3}$），再对有限项考察。
2. $n!a_n$
3. 两个幂级数各自收敛半径中较小者。$\frac{1}{1-z}\cdot (1-z)$. 商、复合的幂级数。
4. 限制定义域到实轴或单位圆周。
5. $1/(2-e^z)$有奇点$ln2$. $f=1/(1-z),g=1/(z-1)$则复合是$(z-1)/(z-2)$.
6. 可能不变（如边界既有零点又有极点），也可能变大（如$1/(1-z)$）

多值函数与反函数

0. 需要反函数能取“多值”的直接动机是一些解析函数的像集中某些点的完全反像（）。例如（）。这种情况下，导函数非零处用反函数定理得到的是多值函数在一个区域的（）。
1. 用$ln|z|,Argz$表示$Lnz$. 从复平面挖去什么后剩下的区域上存在$Lnz$的单值解析分支？（说出一种即可）
2. $Lnz$的各个$\mathbb{C}-非负实轴$上的单值解析分支有什么关系？限定$0<Imw<$（）时，得到的是$Lnz$的主值（支）$lnz=ln|z|+$（）。如何通过给定一点处的适当函数值得到多值函数$Lnz$的主值（支）？给定一点处的辐角值呢？
3. 利用链式法则证明$Lnz$任意一个单值解析分支的导函数都是$1/z$. 由此利用路径积分对$Lnz$任意一个单值分支给出显式定义。
4. 由于（）是单值函数，所以通过复合，在$Lnz$可以分出单值分支的区域上，$z^{1/2}$也可分出单值分支。考虑2.中的区域，$z^{1/2}$的（）个单值分支用$ln|z|,argz$表示为（）。
5. 如果用$f(z)$表示$z^{1/2}$的一个单值解析分支，那么$-f(z)$含义是什么？从而$a-b=(f(a)+f(b))(f(a)-f(b))$可以说明如果什么成立时$a=b$一定成立？
6. $Lnz$的黎曼曲面形如（）（说出一种合理的喻体）。想象你处在$z^{1/2},z^{1/3},Lnz$之一的黎曼曲面上，可以自由行动，且你始终知道（）到你所处位置的辐角，并有能力分辨你当前所处的曲面局部在之前是否到达过，你怎么分辨这三种曲面？
7. 把$i^i,Arccosz$表示成多值函数，解释多值性来源。（参考：反双曲余弦函数的一支：$ln(x+\sqrt{x^2-1})$
8. $f$是单连通区域上解析函数，简要说明记号$\sqrt[n]{f(z)}$的合理之处和不合理之处。
9. 什么是“单叶区域”？写出4个可行的$w=f(z)=\frac{1}{2}(z+\frac{1}{z})$的单叶区域。试考察上半平面中一条原点出发的射线在映射$f$下的像集。
10. 对多值函数$w=\sqrt{z(z-1)}$，直接写出$|w|$和$Argw$的表达式，并考察从一点出发绕一闭曲线后，$Argw$和$argw$何时发生变化，从而给出$\sqrt{z(z-1)}$的一个可能的有单值分支的区域。

答案

0. 不是单点集，解析函数$z^2$（例子不唯一），单值解析分支。
1. $Lnz=ln|z|+iArgz$. 略。
2. 相差常数$i2k\pi ,k\in \mathbb{Z}$. $2\pi$，$iargz$. 略。
3. $e^{f(z)}=z$两边求导。$f(z)={\int }_{z_0}^{z}dw/w+f(z_0)$
4. $e^z$，2，$z^{1/2}=exp(\frac{ln|z|}{2}+\frac{iargz}{2}+ik\pi ),k=0或1$
5. 另一个单值解析分支。略。
6. 旋转楼梯，支点（原点或无穷远点），利用周期性
7. $i^i=e^{-\pi /2+2k\pi },k\in \mathbb{Z}$
   $Arccosz=\frac{1}{i}Ln(z+\sqrt{z^2-1})$，注意这里多值性有两个来源：根号和$Ln$
8. 存在不唯一。
9. 略。单位圆盘、单位圆盘之外、上半平面、下半平面（等）。设$z=r{e}^i\theta$，则$f(z)=\frac{1}{2}(z+\frac{1}{z})=\cdots =\frac{1}{2}(r+\frac{1}{r})cos\theta +\frac{i}{2}(r-\frac{1}{r})sin\theta$，$\frac{u^2}{co{s}^2\theta }-\frac{v^2}{si{n}^2\theta }=1$.
10. $|w|=|z{|}^{\frac{1}{2}}|z-1{|}^{\frac{1}{2}},Argw=\frac{1}{2}(Argz+Arg(z-1))$，$Argw$总发生变化而$argw$当且仅当闭曲线只包含0和1中一个点时变化$\pi$.

分式线性变换

0. 分式线性变换$\frac{az+b}{cz+d}$何时是$\mathbb{C}$上的解析函数？简要说明分式线性变换群的含义。“群”的定义对分式线性变换$\frac{az+b}{cz+d}$中的$a,b,c,d$有何要求？
1. 二阶行列式为1的复矩阵群到分式线性变换群是几对1的映射？为什么？
2. 构造$\frac{z-z_1}{z-z_3}$和$\frac{z-z_1}{z-z_3}/\frac{z_2-z_1}{z_2-z_3}$的目的是使得$z_i$的像如何？接着根据分式线性变换群的什么性质可以证明对于$\bar{\mathbb{C}}$中任意两组三个两两不同的点$z_1,z_2,z_3;w_1,w_2,w_3$有什么结论？
3. 基本分式线性变换中，哪些近似于解析函数在导数不为零局部处的行为？哪个是特有的？说出一个将分式线性变换分解为基本分式线性变换的好处。
4. 对称映射是分式线性变换吗？简要说明理由。
5. 解释圆的定向和直线的定向。
6. 定义交比，并指出$L(z)$如果是$z$和三个已知点的交比$(z,a,b,c)$，那么$L$把什么点映为$0,1,\infty$？（不同老师和教材定义交比顺序可能不同）对一点$z_0$，分别考察$L(z_0)$为$0,1,\infty$，实数，虚部大于0的复数等情况，这些情况各自说明了什么？
7. 求圆或直线的一侧映射到单位圆内部的分式线性变换的通用步骤是什么？
8. 把上半平面映到自身的分式线性变换是什么矩阵群的几何实现？如何通过7.和群的性质求出任意一条直线或圆一侧区域到任意另一条直线或圆一侧区域的分式线性变换？
9. 为了求区域之间的解析同胚，分式线性变换能起什么作用？

答案

0. $c=0,ad\ne 0$. 略。$ad-bc\ne 0$.
1. 2
2. 第一步：$z_1$的像是0，$z_3$的像是$\infty$. 第二步：$z_2$的像是1.
   考察$z_1,z_2,z_3$到$0,1,\infty$和$w_1,w_2,w_3$到$0,1,\infty$，利用群的可逆性和封闭性。证明存在分式线性变换把$z_1,z_2,z_3$映射为$w_1,w_2,w_3$
   （其实根据二次方程最多2个根可以说明唯一）
3. 旋转$L(z)=e^{i\theta }z$，伸缩$L(z)=rz,r\in {\mathbb{R}}^{+}$，平移$L(z)=z+a$. $L(z)=1/z$. 便于考察保直线（圆），保对称，保交比等性质。
4. 不是。不解析。
5. 找三个互不相等的有序的点，然后略。
6. 略。实数：共圆（共线）。虚部符号：表示在哪一侧
7. 设圆或直线待考察一侧某一点$a$的像是0（这样的点$a$存在是因为分式线性变换是同胚），$a$对称点的像是$\infty$. 再根据单位圆，得到合题意的必要条件（如$e^{i\theta }\frac{z-a}{1-\bar{a}z}$形式），再验证充分性（如$e^{i\theta }\frac{z-a}{1-\bar{a}z}$确实把单位圆内部映到单位圆内部）
8. 实的二阶特殊线性群（行列式为1）。用单位圆架桥。
   注：求上半平面到上半平面的分式线性变换也可以通过考察实轴映到实轴，再通过解析映射保角说明$L(z)$限制在实轴上是实值单调递增函数，求导得到所需必要条件。
9. 化归。比如为了将（开）带状区域解析同胚映为圆盘，只需要将带状区域映为上半平面，这只需要考虑$f(z)=e^z$将直线$Im(z)=\theta$映射为射线$Argf(z)=\theta$

开映射定理

0. 若$f$在0的邻域上能展成幂级数且零阶和一阶项为0，我们希望考察$f$在0处性质。请证明此时$f$为常数等价于$f$展成幂级数为$0+0+\cdots$
1. 此时非常值的$f$可以表示为一个原点附近恒不为零的解析函数与（）的乘积，从而可以表示为（）的正整数次幂。
2. $f(z)=z^n$把0为圆心的小圆盘映射成小圆盘（实际上是$n$对一的）。试画图示意。
3. 根据开映射的复合仍是开映射，说明$f$是开映射。为了说明一切解析函数都是开映射，我们还需要什么结论前置？

答案

0. 略。
1. $z^n$，$zh(z),h(z)$在原点附近非零。
2. 扇形到圆盘。
3. 略。解析函数总能在邻域写成幂级数展开的形式（或说解析函数一点处任意阶导均为0则解析函数恒为0）。（注：对实数情况不成立！）