机敏问答[复变][4] #20210627

---

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

平方可积解析函数

0. 复值平方可积函数（$|f{|}^2$在有界区域上广义可积）和实值平方可积函数中以下哪些事物有本质区别？
   a. （有界区域上）平方可积则绝对可积 b. 平方可积函数构成线性空间 c. 内积和其对称性、线性性、正定性 d. 内积的柯西-施瓦兹不等式 e. $|f(z_0){|}^2\le \frac{1}{\pi R^2}{\iint }_{D(z_0,R)}|f(z){|}^{2}dS$ f. 函数的“模长“与”距离“ g. 依平方度量的收敛推出一致收敛
1. 对单位圆盘， { e i n z } \{e^{inz}\} { einz}在适当标准化后是完备单位正交函数系吗？
2. 0.的g.能不能推广到绝对收敛推出一致收敛？

答案

0. a.b.区别不大。c.中内积注意出现共轭，对称性注意要共轭，线性性只对第一个变量成立。
   d.中不等式为了绕过复数可以考察关于$t$的实二次函数$(|f|+t|g|,|f|+t|g|)$.
   e.可以利用$f$的平均值不等式和柯西不等式推出。也可以直接用$f^2$的平均值不等式推出。其中平均值不等式是复变量情况特有的。实变量情况，$x^2$就没有此性质。
   f.注意复变量情况，内积定义中需要共轭。
   g.实变量情况显然不能（没有不等式e.）
1. 不是（平均值原理求出$\iint e^{iz}dS$非零）
2. 可以。仍用平均值定理。

Schwarz引理和双曲几何

0. 为什么单位圆盘到自身全纯映射$f$一定有$d(f(z),f(w))\le d(z,w)$？（其中$d(z,w):=|\frac{z-w}{1-\bar{z}w}|$）
1. 利用导数记号怎么写出0.？（提示：看0.中两边分子）
2. 接上，如果考虑$w=f(z)$，那么$\frac{|dw|}{1-|w{|}^2}\le \frac{|dz|}{1-|z{|}^2}$何时取等号？为什么？有什么几何意义？
3. 保弧长微元是否说明保两点间距离？
4. 怎么根据两点间距离定义求$0$与$1/2$的（双曲）距离？从而怎么求任意两点距离？根据分式线性变换的性质，这说明双曲几何中的直线是欧氏几何的直线吗？
5. $f$在单位圆解析且$Ref(z)\ge 0$，$f(0)=a$，为了证明$|\frac{f(z)-a}{f(z)+a}|\le |z|$应该考察对（）的施瓦尔茨引理。接着为什么马上能得到$f(z)$模的范围？
6. Schwarz引理的拓展：如果单位圆盘到自身映射原点处$k$阶以下导数为零，怎么类比原始的Schwarz引理给出结论？
7. 接上，考察$|f(z)-p(z)|$的界，其中$f$是单位圆盘到自身解析函数，$p$是原点处泰勒展开。

答案

0. 总的来说：利用适当化归（其实是“可迁群”思想）。设$f(a)=b$，则适当取$g,h$可以使得$h(f(g(0)))=0$，对于$h(f(g(z))):=k(z)$有$|k(z)|\le |z|$（Schwarz引理：即用最大模原理考察一系列趋向于单位圆的圆环），则$|h(f(w))|\le |g^{-1}(w)|,d(f(w),f(a))\le d(w,a)$
1. $\frac{|f^{\prime }(z)|}{1-|f(z){|}^2}\le \frac{1}{1-|z{|}^2}$
2. 如果是全纯自同胚，那么正逆都看显然说明了应当取等号。如果取等号，那么化归到$|f|/|z|=1$马上说明了$f$是特定的分式线性变换（全纯自同胚）。几何意义：在单位圆盘上指定度量后， f f