Lax等价定理在非线性方面的推广

本文证明了 ,用差分法求解非线性发展方程的初值问题 ,当方程适定 ,在差分格式相容的条件下 ,稳定性等价于收敛性和逐点Lipschitz条件 .

关于完备随机内积模中的Lax-Milgram定理的注记

设(S,X)为数域K上以σ-有限测度空间(Ω,A,μ)为基的完备的RIP-模,而且α:S×S→L(μ,K)满足如下条件:(A)存在ξ∈L+(μ),使得a(p,q)ξ·X^p·X^q,p,q∈S;(B)a是coercive(即,存在η∈L+(μ),使得a(p,p)η·X^p2,p∈S且μ({ωη(ω)=0})=0);(C)对每个q∈S,a(·,q):S→L(μ,K)是模同态,且对每个p∈S,a(p,ξq1+ηq2)=ξ-a(p,q1)+η-a(p,q2),q1,q2∈S及ξ,η∈L(μ,K).则存在唯一的连续模同态A:S→S使A-1存在且μ-a.s.有界,还满足:(1)a(p,q)=XA(p),q,p,q∈S;(2)X^A-1(p)1ηX^p,p∈S.

Lax-Milgram定理在一类波动方程精确能控性中的应用

控制理论是近年来讨论的热点。讨论一类具有混和边界的变系数波动方程的精确能控性,利用Lax-Milgram定理证明该系统相应的齐次系统的初始条件和该系统的初始条件存在着同构映射,进一步证明该系统是精确能控的。

波动数值模拟人工边界的稳定问题

波动数值模拟是力学、地球物理和多个工程学科共同关注的领域，研究者在基础和应用研究方面皆取得了丰硕成果。然而，由边界引入局部失稳问题，即使在线性范围亦尚未彻底解决。这里“边界”泛指人工边界、物理边界或不同介质的分界面。本文从波动数值模拟稳定性分析方法着手展开对局部失稳形成机理和消除方法的研究。

二维变系数空间分数阶电报方程数值解

针对二维变系数空间分数阶电报方程,利用Grünwald-Letnikov分数阶导数的定义,在交替方向法的基础上提出了一种分数阶Peaceman-Rachford差分格式.通过Gerschgorin定理和Lax等价定理证明了所提出的分数阶Peaceman-Rachford差分格式是无条件稳定和收敛的.数值试验表明:分数阶Peaceman-Rachford差分格式是有效和可靠的.

一类非线性抛物型方程的边界积分公式

利用 Kirchhoff积分变换将二维非线性抛物型方程化为等价的线性形式 ,得到该方程的边界积分方程与边界变分方程。除了利用 lax- milgram定理证明变分方程解的唯一性外 。

变系数空间分数阶电报方程的修正交替方向隐格式

针对变系数空间分数阶电报方程,利用Grünwald-Letnikov分数阶导数的定义,在交替方向法的基础上构造了一种修正交替方向隐式差分格式.通过Fourier分析和Lax等价定理证明了所提出的格式是绝对稳定、相容和无条件收敛的.数值试验表明,修正交替方向隐式差分格式是有效和可靠的.