1. 序言
本文结合前人的工作,对下列一类非线性导数项的薛定谔方程中的差分格式进行了探究
(1-1)
我们先提出一个差分格式,对差分格式的离散的能量和质量的守恒性进行了探究,我们再利用Brouwer不动点定理 [1] 探究了差分格式差分解的存在性问题。
2. 差分格式
2.1. 差分格式的构造
我们考虑下列这一类带非线性导数项的薛定谔方程的初边值问题进行探究
(2-1)
为了建立差分格式,首先对区域
作网格剖分,取空间步长h,时间步长
,其中
,
,
,
,
,
,本文采用以下的一些记号和约定 [2]:
,
,
,
引理2.1.1. [3] 对于任意两个网格函数
,我们有下列等式成立
引理2.1.2. [4] 对于任何网格函数
有下面式子成立:
引理2.1.3. [5] (Brouwer不动点定理)设H是一个有限维的内积空间,映射
是连续的,那么存在
,使得
对任何
都成立,并且
,那么一定存在
,使得
并且
。
对于非线性薛定谔方程(1-1),首先可以假设
,提出一种隐式的差分格式,具体内容如下:
首先:
(2-2)
其次:对于
,我们可以找到
满足:
(2-3)
最后:对于
,
,我们可寻找到合适的
使其满足式子:
(2-4)
2.2. 差分格式的守恒性质
定理2.2.1. 差分格式(2-2)~(2-4)保持离散的能量守恒和质量守恒,即有:
(2-5)
对于
:有:
(2-6)
(2-7)
其中V是差分格式(2-2)~(2-4)的差分解,
是离散空间的L2范数。
证明:首先我们先证差分格式离散的能量守恒,即证(2-5)式子和(2-6)式子,我们分为
和
这两种情况来分别证明,再结合两个结果来得到离散的能量守恒律 [6],首先证
的情况,我们会运用到三个等式,我们先将差分方程(2-3)式代入到下面式子,我们由引理2.1.1和引理2.1.2有:
(2-8)
同理,我们将差分方程(2-3)代入到以下式子,同样由引理2.1.1和引理2.1.2有:
(2-9)
接下来我们通过简单的类似代换,由引理2.1.1和引理2.1.2有下面等式成立:
(2-10)
因此,结合式子(2-8)~(2-10),经过简单的计算可以得到:
(2-11)
那么我们就证明了当
时的有限差分格式差分解离散的能量守恒定律,同理我们通过类似的方法可以证明得到当
时有限差分格式差分解离散的能量守恒定律,即证到式(2-6)成立,这样我们就证明了有限差分格式差分解的能量守恒定律 [7]。
现在我们再证差分格式差分解的离散的质量守恒定律,即证式(2-7),
首先
,即:
。
其次,证
,最后我们证明对于任何
有
,那么我们就可以得到离散的质量守恒定律。因此我们先证明
,先将差分格式(2-6)和
相乘且将式子关于j从1到J累加,可以得到:
(2-12)
现在对式(2-12)左右两边同时取虚部,那么:
(2-13)
(2-14)
由引理2.1.1和引理2.1.2我们可得:
(2-15)
(2-16)
(2-17)
因而综合式(2-13)~(2-17),即可得到:
。接下来我们证明对于任何
有
,我们将差分格式(2-7)和
相乘且将式子关于j从1到J累加,与证明
一样,同理可以得到:
(2-18)
由:
和
我们可以得到:
(2-19)
那么我们得到了差分格式差分解的离散的质量守恒定律。因而我们得到了差分格式差分解的离散的质量守恒定律和能量守恒定律 [8]。
2.3. 差分格式解的存在性
定理2.3.1. 一定存在离散函数
满足有限的差分格式(2-5)~(2-7)。
证明:证明了定理2.3.1,即可得到差分格式的差分解是存在的,首先我们可以先证明存在离散函数
是满足差分格式(2-5),我们先定义
上的算子f:
(2-20)
显而易见
是连续的,此时我们将式(2-20)和w做内积并且取实部,可以得到:
(2-21)
此时同样由引理2.1.1和引理2.1.2,可以得到:
(2-22)
那么可得:
(2-23)
所以对于任意大于0的常数
,当
时,对于任意w都有
成立。我们由引理2.1.3可知一定存在
,使
成立。此时取
,由
容易得到存在
满足式(2-5)。我们运用数学归纳法来证明定理2.3.1,因而此时我们假设
满足差分格式(2-6),现在需要证明
满足式(2-6),同样我们先定义
上的一个算子:
(2-24)
此时将式(2-24)和w做内积并且取实部得到:
(2-25)
显而易见
是连续的,由引理2.1.1和引理2.1.2,可以得到:
(2-26)
那么可得:
(2-27)
所以对于任意大于0的常数
,
时,对于任意w都有
成立。我们由引理2.1.3可知一定存在
,使
成立。此时取
,由
容易得到存在
满足式(2-6),因而终上所述可得一定存在离散函数
满足差分格式(2-5)~(2-7)。