1. 引言
正交多项式理论是分析数学的一个重要分支,它联系着数学和物理的许多重要方向,前有王莹,段萍,杜金元研究正实轴上的矩阵值Riemann边值问题,还有余密密基于Riemann-Hilbert方法的第二类正交三角多项式渐近分析,而Riemann边值问题是一种复变函数的重要特性,所以基于Riemann-Hilbert方法对指数函数曲线上的矩阵值Riemann边值问题的研究尤为重要。
Riemann-Hilbert方法是近年20来形成的研究正交多项式的一种全新方法。1992年,FoKas A.S.,Its A.R.和Kitaev A.V.在 [1] 中构造了一个矩阵值Riemann-Hilbert边值问题,其唯一解是实轴上的正交多项式。1993年,Deift P.和Zhou X.在 [2] 中引入关于振荡型Riemann-Hilbert边值问题。并应用到正交多项式的研究中,因此,形成了Riemann-Hilbert方法 [2] 。
本文首先叙述了沿指数函数曲线剖开的复平面上的全纯函数在无穷远处主部的定义,这是一个新概念,因为其在无穷远点不再是孤立奇点,这在 [3] 中有详细的介绍。在此基础上提出了带有无穷远处增长性条件的指数函数曲线上的矩阵值边值Riemann问题,并对其进行求解。
本文的结构安排:
第一部分:使用双线性形式给出指数函数曲线上的伪正交多项式。
第二部分:基于第一部分给出特殊的下三角矩阵值边值问题并转化为边值问题,并使用Liouville定理和伪正交多项式给出矩阵值Riemann边值问题的解。
2. 基础知识
为方便读者,我们在此简述相关基础知识。在这篇文章中,对任意的
,我们记
,在指数函数曲线上我们任取
表示从
到
上的一段弧(其中
是一段有限弧)。
在复平面的一般曲线上内积处理起来不太方便,有时候我们需要用双线性形式来代替内积,如 [4] 中,就用这种方式给出奇异积分方程的可积条件 [4] 。Deift P.等在 [5] 中用双线性形式定义了类似正交多项式的多项式组。我们在指数函数曲线L上研究类似的多项式组 [5] 。
设
为L上的权函数,我们在次数不超过n的多项式空间
上引进双线性形式如下:
(2.1)
取
的一组基
,我们对这组基作类似于Schmidt正交化,即
(2.2)
基于多值函数
取主分支,如果
始终不为0,则这个过程可以一直进行下去,最后我们得到L上权函数
的伪正交多项式组:
(2.3)
设
,其中
为
的首项系数,则
是次数为k的首1伪正交多项式 [4] [5] 。
显然,如果伪正交多项式组为
,则它们是唯一存在的 [5] 。
无穷远处广义主部及阶的定义,细节见 [3] 。
定义2.1设
。如果存在一个整函数
,使得
(2.4)
那么称
为F在
处的广义主部,记为
。
引理2.1 [3] 设F在
处有孤立奇点,那么
(2.5)
定义2.2设函数F为定义在以指数函数曲线L为跳跃曲线上的分区全纯函数,即
,指的是f在
解析且在L的正负边值存在。
定义2.3 设
是定义在指数函数曲线L上,如果存在
,使得当
,
时,(其中
,
和
是L上的任意两点),有
(2.6)
其中上式中的A和μ是确定的常数,那么称f在∞附近满足μ阶的
条件,记作
。另外,如果
,记作
。若不强调μ,可分别记为
和
。如果
,其也可被记为
或
。
定义2.4如果存在
且
使得
(2.7)
其中
且
,记作
。
另外,如果对于
(
),我们记其为
,同理
也有类似的含义。若不强调μ,则把它们分别记为
和
。
设f是定义在L上的函数,我们引入下面的Cauchy型积分:
设
(2.8)
以及Cauchy奇异积分
(2.9)
其中
,
,为指数函数曲线上带核密度f的Cauchy型积分或简称为Cauchy型积分。
定理2.1 如果
,那么它的Cauchy型积分有正负边值,且有下面的Plemelj公式成立。
(2.10)
定理2.2 [5] 如果
,那么有
(2.11)
注:这些结果是求解指数函数曲线上的Cauchy型积分在无穷远处的性状,是指数函数曲线上Riemann边值问题的基础。在一些文章中,这些结果被认为和有限曲线的情况一样,是显而易见的结果。事实上,在无限长曲线的情况下,得到的这些结果并不明显。
3. 矩阵值Riemann边值问题
设
(3.1)
是一个定义在复平面
的开集Ω上的2 × 2矩阵值函数,这里我们规定只要是Φ有的性质,Φ中的所有元素
也都具有相应的性质,比如连续性、解析性等。因此,
,
,
,
和分段全纯函数等含义是显而易见的 [6] 。特别地,
(3.2)
其中a是一个复值2 × 2矩阵
(3.3)
接下来,我们讨论指数函数曲线L上的一个特殊的下三角矩阵值Riemann边值问题。
问题1找一个以L为跳跃曲线的2 × 2矩阵值分区全纯函数Y,让其满足
(3.4)
其中
(3.5)
其中I是2 × 2的单位矩阵,
,且
对应的伪正交多项式组存在。
(3.4)可以转化成为下面四个分区全纯函数的Riemann边值问题组:
(3.6)
(3.7)
(3.8)
(3.9)
设Y为(3.4)的一个解。
(3.6)是一个的Liouville问题。由Painlevé定理可以知道
在整个复平面是解析的,因此
是孤立奇点。又
。故由广义的Liouville定理知,
是形如
(3.10)
其中
是首项系数为1且次数为n的多项式。
把(3.10)代入(3.8)得
(3.11)
上式是一个以无穷远处为主部的跳跃问题。
设
(3.12)
这时
(3.13)
因此由Plemelj公式(2.10)和定理2.1可以知道
是以L为跳跃曲线的分区全纯函数,且满足
(3.14)
显然
也是(3.14)的解。但由 [3] ,这个方程如果有解,也只能有唯一解,故
。因此由
在无穷远处的性状,我们有
(3.15)
由(3.12)我们有
(3.16)
(3.17)
由
和 [3] 知
(3.18)
故得
(3.19)
则(3.15)等价于
(3.20)
即当且仅当(3.20)成立,有
(3.21)
(3.20)表明
是L上关于权函数ω的首项系数为1的伪正交多项式。
定义5
(3.22)
我们称它为f关于权函数ω的相伴函数。
注:上式中的函数在伪正交多项式Riemann-Hilbert中起着非常重要的作用。
接下来,与(3.6)的分析类似,(3.7)也是一个Liouville问题,其解
(3.23)
是一个次数不超过
的多项式。将上式代入(3.9)中可得
(3.24)
和(3.7)一样可得
(3.25)
且
必须满足
(3.26)
设
,则
(3.27)
即
(3.28)
即表明
是L上关于权函数ω伪正交的
次多项式。
定理3.1如果权函数
,则三角矩阵值Riemann边值问题(3.4)有解,其解有如下形式:
(3.29)
这里
是L上关于权函数ω的伪正交首1多项式,
是
关于(3.22)中权函数ω的相伴函数。
证明若(3.4)有解,由前面讨论它的解的形式为(3.29)的形式。
反过来,伪正交首一多项式系是唯一存在的,设Y (3.29)所定义,逆推前面的每一步,则得到Y是(3.4)的解,也即(3.4)有且仅有一组解(3.29)。
矩阵值边值问题(3.4)为L上关于权函数ω的伪正交首1多项式
所刻画。因此,我们称该问题为L上关于权函数ω正交的首一多项式Riemann-Hilbert特征刻画,或者称
为矩阵值边值问题(3.4)的特征正交多项式 [6] 。