幂级数和函数经典例题_复变函数学习笔记(4)——最大模原理

参考资料: Polya,Szego数学分析中的问题与定理在复变函数部分的习题122、134、135、138,以及廖良文的复分析基础的引理4.3.1和定理4.3.7、习题4.14,4.17, 以及Stein复分析的习题1.13.

引理1 设

是

上的解析函数, 则

证明: 用

处理

, 展开后用幂级数乘法比较系数即可.

定理2 设

是圆盘

内的解析函数,

是

在圆周

上的最大模, 则

.

证明: 注意到

在圆周上, 利用引理1以及Taylor公式, 得

所以

, 等号成立当且仅当

即

为常数.

---

引理3 如果函数

在区域

内解析, 且

在

内为常数, 则

在

内为常数.

证明: 记

, 则

, 分别对

分量求偏导数, 用Cauchy-Riemann方程即可.

引理4 设

在区域

内解析, 若

在

内的一个圆盘

内恒等于0, 那么

在

内恒等于0.

证明: 只需证任意一点

, 都有

. 用完全位于

内的曲线

连接

与

, 在

上取点

, 其中(保证点在$D$内)

作

的

邻域

, 则有

下面我们说明在每个

邻域都恒等于0. 我们还是用Taylor展开来证.

由于

, 则

又由

, 那么

,

在

的Taylor展开式系数也为0, 自然

这样推下去即可以证

.

定理5 设

在区域

内解析, 若

在

内的某一点

取到它的最大模, 则

在

内恒等于一实数.

证明: 设

若

, 则已证完; 设

, 取

使得圆盘

, 则由Cauchy积分公式得

所以

然而

, 我们说明这个不等式的小于号不成立: 若存在

使得

由

的连续性知, 存在

使当

时,

成立, 记

则

(上面在E上的积分估计是可以取"="的)

矛盾, 因此只能有

,

根据

的任意性, 对任意

都有

,

从而

. 利用引理3,

常数. 再用引理4可以由圆盘拓展到整个区域

内.

---

定理6(最大模原理) 设

在区域

内解析, 在闭区域

上连续,

. 除非

不恒为常数, 否则在

内部每一点

都有

.

证明: 按照定理5, 如果在

内有一个点

使得

, 则

常数.

或者按照定理2, 不等式

等号成立当且仅当

常数.

下面给出一些例题:

例1(最小模原理) 设

在有界开区域

内解析且非零, 在闭区域

上连续, 则

在

上取最小值.

证明: 用定理6, 注意

是解析的, 证完.

例2 设

是一整函数, 并且不等式

对所有

都成立, 证明:

.

证明: 由于

是整函数,, 则在

内都有Taylor展式

利用Cauchy积分公式,

从而

, 令

可得

, 从而

. 再利用

同样可证

, 同理

. 下面看

的情况:

则

所以

的Taylor级数的各项均为0, 从而

.