1. 引言
Riemann边值问题是解析函数边值问题中极为重要的研究问题之一,是力学、工程技术中有力的工具。上世纪五十年代,以N I Muskhelishvili [1] 为首的前苏联科学院士把复边值问题的研究推向了顶峰和纯熟,成功将解析函数边值问题和奇异积分方程进行联系和转化,并以专著《Singular Integral Equations》闻名于世,F D Gakhov的专著 [2] 也总结了这方面的工作。近年来,路见可教授 [3] 在Riemann边值问题上给出了很多经典结果,其专著《解析函数边值问题》详细论述了封闭曲线以及开口曲线的Riemann边值问题以及解的形式。对于探讨无穷曲线上的Riemann边值问题相关的文章少之又少,这主要是由于以无穷曲线(包括实轴在内)为跳跃曲线的分区全纯函数在无穷远点处的主部及阶没有给出适当的定义。本文将阐述在开口无限长双曲线L和Hölder连续系数下的最基本的Riemann边值问题,通过共形映射将双曲线转化为封闭曲线,从一般的求解Riemann边值问题的方法出发,讨论双曲线上的Riemann边值问题,并利用Plemelj公式进一步讨论对于不同条件下Riemann边值问题的可解条件以及解的形式。虽然结论与经典意义下的有限曲线的相关结论类似,但是数学本质上却有着极大的差异,并非是经典理论结果的简单推理。
2. 基础知识
设双曲线
(右支即
)为跳跃曲线分区全纯函数的Riemann边值问题所选取的无限长开口曲线,它也被认为是函数
,取双曲线L至上而下的方向为正方向。本文定义
为
,
分别表示为L上上下无穷远处的点。定义复平面
由以下两个相连部分组成,并且默认右侧部分为
以及左侧部分为
。用
表示映射
。
定义1 [4] 设f是定义在双曲线L上的一子弧段(开口弧段或者包含端点,有限或无限)上,若对L上任意两点
,
成立
,
, (1)
其中M和
是确定的常数,则称f在L上满足
阶的Hölder条件或
条件,记为
,其中
称为Hölder指数。若不强调指数
,也可简记为
。
定义2 [4] 设f定义在双曲线L上的一段无限长弧段
,且
。若对L上任意两点
,
成立
,
, (2)
其中M和
是确定的常数。则称f在
附近满足
阶的
条件。记为
,或者记为
。
定义3 [4] 设
,对任一闭子弧段
成立,则记为
或简记为
。
注1 若
且
,我们记为
或简记为
。
假设f是定义在双曲线L上的函数,当
时,若存在实数
和有界函数
,使得
,或等价地
,我们将其记为
。
定义4 [4] 设f定义在双曲线L上,且在任一有限闭子弧段
上可积,我们称
, (3)
为双曲线L上带核密度为f的Cauchy型积分或简称为Cauchy型积分。
引理1 [5] (Cauchy型积分在无穷远处的广义主部)若
,且在任意闭子弧段
上可积,则
, (4)
其中
是(3)中所给的Cauchy型积分。
推论1 [5] (Cauchy型积分在无穷远处(广义)主部的有限展式)若
其中
是一个正整数,且假定在任意闭子弧段
上可积,则
, (5)
其中
是(3)中所给的Cauchy型积分。
引理2 [5] (Cauchy型积分的边值)若
,则它的Cauchy型积分
有正负边值,并且满足下面Plemelj公式
, (6)
其中上式出现的积分是双曲线L上的Cauchy主值积分。
引理3 [5] 若
则(3)中所给的Cauchy型积分
是以双曲线L为跳跃曲线的分区全纯函数。
定义5令
,如果
存在,记为
,
, (7)
则称它为双曲线L上带密度f的Cauchy主值积分。
引理4 [6] (Cauchy主值积分的Hölder连续性)若
,则对于(7)所给的Cauchy主值积分
以及(6)所给的Cauchy型积分的边值
,有
(8)
3. Riemann边值问题
考虑双曲线L上的Riemann边值问题:寻求以双曲线L为跳跃曲线的分区全纯函数
,使之满足
, (9)
其中m为整数,G和g为L上给定的函数,Riemann边值问题(9)记为
问题。为解决此问题,G和g需要满足一些条件,下文逐一探讨。
下面讨论最简单的
问题即Liouville问题。
问题1 (Liouville问题)寻求一个分区全纯函数
,以双曲线L为跳跃曲线,满足
(10)
定理1当
时,Liouville问题(10)的解为任意次数不超过m的多项式
,当
时,
。换句话讲,
,其中约定当
,
。
证利用Painlevé问题的解以及推广的Liouville定理,结论显然成立。
注此引理与文献 [3] 中经典的Liouville问题在形式上是一致的,但本质上却有所不同,本处在无穷远点处的增长性条件更为宽泛,推广了经典的Liouville定理。
问题2 (跳跃问题Rm) 寻求一个分区全纯函数
,以双曲线L为跳跃曲线,满足
(11)
其中
,
. (12)
下面先解决我们常见的
问题,即
。
问题3 (跳跃问题R−1) 寻求一个分区全纯函数Φ,以双曲线L为跳跃曲线,满足
(13)
其中
。
定理2
问题(13)有唯一解
,
. (14)
证根据
,利用Plemelj公式(6)以及引理5,可知
是
问题(13)的解。
引理6当
时,
问题(11)的解是
,
, (15)
其中
是次数不超过m的任意多项式。当
时,
问题(11)有唯一解
,由(14)给出。当
,当且仅当如下可解条件
,
, (16)
成立,
问题(11)由(14)给出的唯一解
。
证 显然,当
时,由定理2可知,
是跳跃问题(11)的解。因此,
是跳跃问题(11)的解,当且仅当
是如下Liouville问题的解
(17)
从而,由定理1,结论显然成立。
当
时,显然(11)的解正好是
跳跃问题(13)的解。因此通过定理2,当且仅当满足无穷远处的增长条件
, (18)
时,(11)有唯一解
。
为验证此条件,由g的假设(12)可知,
。
进一步地,根据推论1可知:
,
可得(18)等价于(16)。
问题4 (跳跃问题Om)寻求一个分区全纯函数
,以双曲线L为跳跃曲线,满足
(19)
其中
。当
时,
。当
时,
。
定理4当
时,跳跃问题(19)的解是
,
, (20)
其中
为任意m次的首一多项式。
当m < 0时,跳跃问题(19)的解为
,
, (21)
当且仅当可解条件
(22)
成立。
证 由引理5以及Plemelj公式(6),结论显而成立。
问题5 (齐次问题) 寻求一个分区全纯函数
,以双曲线L为跳跃曲线,满足
(23)
其中
满足Hölder连续条件
, (24)
以及正则性条件
,
. (25)
另外,无穷远处增长性条件
,
, (26)
成立。
记
, (27)
为齐次问题(23)的指标。
问题6 (典则问题) 寻求一个分区全纯函数Φ,以双曲线L为跳跃曲线,满足
(28)
记
,
. (29)
由条件(24)~(26)可得
, (30)
从而,由定理1知
. (31)
令
,
, (32)
则由(31),可得
, (33)
利用(30)和定理2,可得
,
, (34)
从而由(33),(34)可知,X是典则问题(28)的解。
下面证明解的唯一性,若X是典则问题(28)的解,令
,
, (35)
故由参考文献 [2] [3] 可知,(35)中所给出的Q是以L为跳跃曲线的分区全纯函数,又由(28)和(33)可知,它满足
(36)
因此,由定理4可知
即
。 (37)
总结上述讨论可得下面引理。
定理5在条件(24)~(26)下,典则问题(28)有唯一解X,X由(32)给出。
因此,我们称(32)中X为齐次问题(23)的典则解。利用该典则解,我们容易得出齐次问题(23)的解。
显然,若
是齐次问题(23)的解,则(35)中Q是如下Liouville问题的解
(38)
利用定理1,可以直接得到
,
, (39)
其中
是(27)中所给的指标,
是次数不超过
的任意多项式,当
时,约定
此外容易验证,(39)中的
为齐次问题(23)的解。
引理5当
时,齐次问题(23)的解是(39)。当
时,齐次问题(23)有唯一解
。
现在求解
问题(9),为此,利用(28),令
,
, (40)
那么可知,F是以双曲线L为跳跃曲线的分区全纯函数,非齐次
问题(9)可转化为下面跳跃问题
(41)
在条件(12)、(24)~(26),可证下式成立
,其中
。 (42)
事实上,根据定理4以及(30)可得
, (43)
从而,
, (44)
又由(32)及(34)可得
,
. (45)
因此,根据(12)、(45)表明(42)是成立的。
利用引理5,可得到跳跃问题(41)的解为
,
, (46)
其中
是任意次数不超过
的多项式。当
时,
问题(41)有唯一解
,它由(14)所给出或者(46)中
,当且仅当可解条件
,
, (47)
成立。这里当
时,可解条件(47)不出现。
若
是问题(9)的解,则
,
, (48)
即我们要验证(48)是问题(9)的解。显然,我们只需要验证条件
,
.
而
, (49)
显然成立。
总结以上讨论,我们得到如下定理。
定理6在条件(12)、(24)~(26)下,
问题(9)的解是(48),其中
是任意次数不超过
的多项式。当
时,问题(9)的解是(48)且
。当
,当且仅当满足可解条件(47)时,问题(9)有唯一解(48),此时
。
致谢
感谢在论文撰写期间对我提供指导和帮助的老师,感谢各位审稿专家的辛勤工作和指导。