最大模原理的推广

已收录至文集《分析》
话不多说了,直接开始叭

Phragmén-Lindelöf方法
在复分析中,有这么个随处可见的东西:
(最大模原理)设 为一有界的开集, 若
且它在
上连续,则对任意的
都有
上式取等当且仅当 是常函数.
咱们用它可以实际上可以知道在 上连续的函数
,若在
总有
,那么在整个
内都有
. 但是,如果
在
上至少有一个点不连续(这个点可以是无穷远点),结论当然不再成立. 不过其实如果考虑在
上附加一些,那么结论可以保留. 首先呢,让我们来看一个例子:设
在整个复平面上解析,且对所有
都有
由于 在复平面内解析,所以对
有Taylor展开
由Cauchy积分公式,可得对 n≥1 ,
这也就是说它实际上是个常函数.
通过这个例子,可以看出有时通过让 f 增长速度被另一个函数限制也可以推出它的有界性,这也正是Phragmén-Lindelöf原理的思路,下面我们就来实际操作一下.

取一块复平面上的带型区域
令 且在其闭包
连续,假设某个常数 M 满足
下面考虑限制它在 D 内的增长速度,通常希望限制它的函数尽可能简单,一般所考虑的会是个幂函数或者对数函数又或者幂函数和对数函数的乘积,不过这些函数的增速总的来说都是慢于任何指数函数的,所以这里不妨考虑对任意 δ>0 和绝对值足够大的 s 都有
在带型区域上考虑,我们所关心的是 s 的虚部对 的影响,因此 s 的实部是多少并不重要. 记
来表示它的实部和虚部,由于 |τ|≥1 时
所以此时实际上有
这样一来就可以忽略掉 s 的实部辽. 然后现在来理一下条件.
是带型区域
上连续且在其内部解析的函数;
;
.
(定理1)存在正的常数 使得
证明:首先讨论 的情况.
时,假设对常数
有
其中 . 令
,则由
的连续性可知必有
.
接下来令 ,由条件可知对某个常数
,满足
任取一充分大的正实数 T ,令 ,则当
有
这说明对任意 ,由
围成的矩形的边界上有
用最大模原理即可说明在其内部也有
,令
即可知
也就是
由此令 即可;而对 τ 小于零的情况类似可证.
可以看出该定理运用了通过将解析函数乘以另一个解析函数,由最大模原理推出在有限区域内的上界再推广到无界区域上的方法,这就是Phragmén-Lindelöf方法

Hadamard三圆定理
下面先给出最大模原理在带型区域上的另一种推广,上一种推广仅仅是推出了有界性,而下面的推广给出了在有界的情况下内部的上界的与边界的上界间的关系
同样考虑带型区域
以及令 且在其闭包
连续,设在 D 中有
,记
那么首先这里先用Phragmén-Lindelöf方法证明一个引理:
(引理) 在上述条件下,若 ,则在 D 内有
.
证明:令 为任意正实数,定义
由于在 上有
,因此
接着构造个矩形
有 ,所以
由此在 上有
,根据最大模原理可知在 Σ 内也有
,而在其余部分上也有
,所以
,令
即可得证.
现在回到一般情况,令
显然它在整个 内解析,且有
因此 满足引理的假设, 所以在 D 内有
,也就是说
现在作代换 ,带型区域 D 就变为了一个圆环
其中 定义
易知 F 在圆环 R 上解析且在 上连续,且有
,所以可以直接得到如下定理:
(Hadamard三圆定理)若 F 满足上诉条件,则有
当然也可以对它取幂得到封面的形式

差不多辽,收工.