1. 引言
平面上的复微分方程是一个有丰富内容的领域 [1]。复微分方程的积分表示理论最早起源于Poincare和Pompeiu的工作,N. I. Muskhelishvili和I. N. Vekua建立了系统研究理论并用于研究平面弹性力学 [2]。尤其是I. N. Vekua,在其著作 [3] 中,创造性地用古典函数论的工具处理了现代偏微分方程理论中的一些研究内容。H. Begehr、闻国椿和李明忠等针对具体的平面区域构造了大量相关复微分方程各类边值问题解的积分表示 [4] [5] [6]。
近年来,平面弹塑性材料精细构造的研究涉及周期平面上的复微分方程的边值问题。其中一类相关的对象是周期基本域
。本文讨论P上的Cauchy问题。
2. 几个定理
先定义一类函数。如果对周期平面P中的任意两个点
,若函数w满足条件
,
其中
,
为任意常数,则称
。显然
。
本文中,如果
,我们记
为w在
上的限制。
定理1 (Gauss定理)设
为P中有界域(不一定单连通)且
,则有下面的公式成立:
(1)
(2)
其中
,
。
我们还需要P上的Pompeiu公式。
定理2 (Cauchy-Pompeiu公式)设
,
。则有下面的公式成立:
(3)
(4)
其中
,
.
我们只需考虑(3)式,(4)式的证明类似,略。
证明:设
,取
为足够小,
足够大,使得
记
,由Gauss-Green公式,得
.
注意到
为周期函数,上式可重写为
其中
.
由
知
. (I)
故
(II)
设
,则
.
由
,关于
一致收敛于2得
(III)
又显然
(IV)
现在(I)两端对
,
取极限,由(II) (III) (IV)得
.
得证。
如果
还为
上的周期函数,显然
。即我们有如下推论:
推论1:设
为满足定理2中条件且以
为周期的函数,则
. (5)
推论2:设
为P上满足定理条件且为周期函数,则
为常值函数。
证明:由定理2,结论显然。
3. P上的Riemann边值问题
考虑P上如下的Cauchy问题:
(6)
其中
,
。这里,
表示极限
存在,我们要求
1。
通过以下三个步骤来求解(6)
1) 首先找到P内解析,且
内Hölder连续的函数v,使得
。
2) 设
,则(8)式等价于
(7)
由定理2的推论1,有
. (8)
即
是(7)的一个特解。
则(6)通解为
(9)
3) 求(7)式的解。
作变换
,即
,该变化将P内部区域,即
转化为
上的区域。
设
,求
满足在
上解析,且为方程
的解,其中
,
分别为
在上半平面和下半平面上的点趋于x轴的极限.为了更好的求解,将
延拓到整个实轴,设
(10)
则第(3)步转化为满足
,即问题转化为实轴上的Riemann问题,下面简称为R问题。记整个x轴为X,则上面的问题转化为求解下面的R问题。
由上面分析可知,求满足X上的任意分区全纯函数
,满足下面的边值条件:
(11)
其中
[7]。
关于X的R问题,设是在
中求解此问题,其中
中的m表示
在
处至多为m阶的,
时指
有限。
由Plemelj公式,有
(12)
条件满足(11)的:
(13)
由
和
有:
.
即
在
,
内全纯,且在X的两侧有相同的边值。根据解析延拓的定理,
必在全平面内全纯。
当
。由于
,则
在
处应与
一样至多有m阶极点。根据推广的Liouville定理,知
必为一至多m次的多项式。所以问题
的
中的一般解是:
(14)
其中
是次数不超过m的任意多项式。
当
时。即要求
,则问题在
中求解,此时问题有唯一解:
(16)
当
时。当且仅当如下可解条件:
(17)
成立,
问题有由(16)给出的唯一解
。
4. 边值问题的解
设P上的分区全纯函数
满足:
,则
满足边值问题
现在由(9)得
(17)
是(8)的一个解。
由前面注,我们得到最后的定理:
定理3:设
,
,则边值问题
在
中有通解
.
致谢
感谢在论文撰写期间对我提供指导和帮助的老师,感谢各位审稿专家的辛勤工作和指导。
基金项目
国家自然科学基金(12101453)。
NOTES
1注:设(6)有两个解分别为
,则
满足:
即
为周期解析函数。故由推论
为常值函数。