四阶椭圆型方程弱解的存在性

针对四阶椭圆方程的不同形式,分别应用Lax-Milgram定理及变分法对两类四阶椭圆型方程进行研究。本文第一部分运用Lax-Milgram验证在Hilbert空间H^(2)上恒存在唯一的解u,使得H^(2)上的有界强制双线性型与H2上任一有界线性泛函相等。进而证明出存在唯一弱解满足第一类含有一阶项的四阶椭圆型方程。第二部分运用变分方法解决另一类含有p次二阶项四阶椭圆型方程。在方法上,首先定义方程弱解,其次找出与方程相对应的泛函,进而将问题转化为求相应泛函的极值元,证明泛函极值元的存在性,最后证明弱解的唯一性。

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定理中的双线性条件推广到仅对某一个变量线性,在适当的弱下半连续强制条件下,证明了变分泛函l(x)=1/pa(x,x)-b(x)存在唯一解,并将其应用于研究p-Laplace算子边值问题解的存在唯一性.

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

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

一个带有脉冲效应的二阶偏微分方程周期边值问题多解的存在性(英文)

本文,利用临界点理论和Lax-Milgram定理,我们得到一个带有脉冲效应的二阶偏微分方程周期边值问题多解的存在性定理.

波动数值模拟的稳定性

依据数值解收敛方式的不同首先将Lax稳定性区分为强稳定性和弱稳定性,进而将稳定性分析方法归纳为强和弱2种方法,并指出两者的关系.对前者回顾了谱分析和正则模态分析研究工作的主要进展,评论了在这一领域中Go-dunov和Ryabenkii的原创性工作以揭示其对局部稳定性研究的价值.初步论证了有界面弹性杆中波动数值模拟的经验稳定准则.对后者分别阐明了将其应用于有限差分和有限元模拟的前提,特别是用于论证有限元模拟的稳定性的价值.最后讨论了强、弱稳定性分析对进一步发展波动数值模拟技术的含意.

H型群上一类边值问题的紧算子

为了讨论H型群上一类边值问题的算子的紧性,首先在H型群上建立了L超调和函数的极坐标(ρ,θ),L是G上的次Laplace算子;然后针对G上的一类Dirichlet问题的解u,构造了一个与u密切相关的算子T;最后利用G上Haar积分的极坐标分解证明了T在L2(Ω)′j中是紧算子,Ω′是G中Koranyi单位球面上不含特征点的一个子集.

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

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

基于变分法的回火分数阶脉冲微分系统分析

该文在恰当的容许函数空间中讨论了具有瞬时和非瞬时脉冲的回火分数阶微分方程耦合系统的Dirichlet边值问题.利用变分法得到弱解存在性和唯一性的充分条件,进一步证明了每个弱解都是古典解.最后给出一个实例证明了理论结果的可行性.

椭圆型偏微分方程解的研究

利用泛函分析理论证明椭圆型方程弱解的存在性。

Banach空间上的有界算子的谱估计

首先证明Banach空间上关于双线性泛函的Lax-Milgram定理的一个变化形式,然后利用此结果研究了Banach空间上的有界线性算子的谱估计,我们把以往关于Hilbert空间上的自共轭算子的一个谱定理推广到了Banach空间上.

一种新的基于非线性相位的Fourier理论及其应用

信号的正频率表示自Fourier分析诞生以来一直都是物理学家、数学家以及信号分析工作者密切关注的问题.基于调和分析和复分析方法,在过去近二十年里诞生了单分量函数理论以及基于单分量函数的函数(信号)表示理论.作为原创性理论这个方法将信号快速分解为一些具有正的非线性瞬时频率的基本信号之和.该理论植根于经典数学并可以推广到定义在高维流形上的向量值及矩阵值信号.这从而也创立了高维空间中的有理逼近理论.单分量函数理论包括正瞬时频率的数学定义及几个最重要的单分量函数类的刻画.单分量函数的表示理论包括核心自适应Fourier分解(Core Adaptive Fourier Decomposition,或Core AFD)及其若干变种,包括解绕AFD,循环AFD,再生核Hilbert空间的预一正交AFD.除了理论及方法的概述,本文也给出了两个新证明:迄今最一般的依据极大选择原理的自适应分解的收敛性的证明;以及参数重复选择的及用到再生核导数的必要性的证明.最后我们给出该理论与数学及信号分析中若干相关理论的联系,以及该方法的某些应用.

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

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