1. 引言
微分方程非局部边值问题广泛的出现在振动问题、生命科学、化学反应扩散、人口动力学等科学和工程领域之中。在文献 [1] [2] [3] 中,作者讨论了微分方程非局部边值问题解的存在性和唯一性的问题。本文将讨论如下高阶非线性微分方程非局部边值问题
的数值解法,其中
,
,
,
是实数,
,
,
。
将上面方程中的非局部边值条件齐次化,可以将方程转化成如下的形式
(1)
通过建立包含非局部边值条件的再生核空间,在空间中构造方程(1)的近似解,证明近似解一致收敛于方程精确解,近似解的导数一致收敛于方程精确解的导数。
2. 再生核空间
定义1
是绝对连续实值函数,
。
是再生核空间(证明参见文献 [4] ),对任意
,内积和范数分别为
,
。
定义2
。
是
的闭子空间(证明参见文献 [4] ),
是再生核空间。设
的再生核函数为
(具体表达式的确定参见文献 [4] )。
定义3
是绝对连续实值函数,
。
是再生核空间,对任意的
,内积和范数分别为
,
.
设
的再生核函数为
(具体表达式的确定参见文献 [4] )。
3. 近似解的构造
定义线性算子
:
。
对任意
,令
,则方程(1)转化成如下形式:
, (2)
其中,
,当
时,
。
引理1
:
是有界线性算子。
设
是
上的稠密子集。
令
,
,其中,
是
的共轭算子。
引理2 假设
在
上稠密,则
是
上的完全系。
证明 由
,
有
。
令
,其中
,即得
.
由
在
上稠密,故
。由
的存在性可知
,定理得证。
我们将
Gram-Schmidt正交化,得到
上的完全正交系
,
,其中,
是正交化系数。
定理1 假设
在
上稠密,如果
是方程(2)的解,则
, (3)
其中,
。
证明
,
是
上的完全正交系,于是
.
定理1给出了方程(2)精确解的表达式。
通过截断式(3)中给定的级数,得到方程(2)的近似解
,(4)
显然,
。
定理2 假设方程(2)的解存在唯一,
是方程(2)的解,
是方程的近似解由式(4)给出,则
.
证明 注意到
,于是当
时,有
,
所以
所以
,这里
是常数,
。
4. 数值算法
下面将给出方程(2)的近似解
的求解方法。
令
,
若可以获得
,使得
取得最小值,则可以由式(4)获得方程(2)的近似解
。
下面给出获得
的数值程序。为了获得
,只需要确定
即可。
Step1:取初值
;
Step2:计算
;
Step3:计算
;
Step4:如果
(
是充分小的正数),则计算终止;否则,计算
;
Step5:计算
;
Step6:如果
,则用
代替
,计算
,
否则,放弃
。取
作为初值,
的最小值点即是新的
,用
代替
并且返回到Step2。
类似上面的步骤,寻找
直到获得
,使得
,则方程(2)的近似解可以由下式得到
.(5)
5. 结论
文中通过构造包含方程非局部边值条件的再生核空间,获得了一类高阶非线性微分方程非局部边值问题的精确解和近似解,证明了方程近似解及其导数的一致收敛性。该方法可以进一步推广到其他非线性微分方程非局部边值问题的求解。
基金项目
河北省自然科学基金(A2015202335)。