用Lebesgue-Stieltjes积分定义的间断解的存在唯一性

在Lebesgue-Stieltjies积分定义的广义解的意义下,证明了一个双曲型方程组Cauchy问题整体广义解的存在性和唯一性.作为经典广义解的自然推广,文中的广义解可以包含某些具奇性的双曲波如δ-波.也适用更一般的方程组.     

一阶拟线性双曲型方程组慢时间尺度下的零松弛极限

本文考虑慢时间尺度下带松弛时间源项的高维一阶拟线性双曲型方程组Cauchy问题的光滑解,这个方程组具有非守恒的形式;假设它是部分耗散的对称双曲组,当松弛时间趋于零时,它在形式上趋于一个两阶非线性抛物型方程组.在双曲型方程组满足一些结构性的假设下,本文得到了两个收敛性的结果.对于大初值,本文证明了双曲型方程组在一个对松弛时间一致的时间区间上的收敛性,当初值在常数平衡态附近变化时,证明了光滑解关于时间的一致整体存在性和双曲型方程组的整体收敛性.本文也给出一些有物理背景的例子来作为这些结果的应用.     

拟线性双曲型方程组具较少控制函数的双侧精确边界能控性

研究具有一般非线性边界条件的一阶拟线性双曲型方程组的具有较少控制函数的双侧精确边界能控性.在正负特征数不相等的情况下,以一阶拟线性双曲型方程组混合初边值问题的半整体C1解理论为基础,采用一个直接的构造方法,使用较少的边界控制函数实现了局部双侧精确边界能控性,并且对精确控制时间给出了最佳估计.     

一阶混合型方程组的间断边值问题

本文论讨单连通区域上一阶线性混合型(椭圆—双曲型)方程组的间断边值问题.我们首先给出混合型方程组特别是最简单的混合型方程组解的表示式,然后使用逐次逼近法,证明上述边值问题解的存在性与唯一性.由以上结果,可导出A.V.Bitsadze所得的Lavrent’ev-Bitsadze方程u     

双曲型守恒律方程的熵稳定格式的一些讨论

本文讨论双曲型守恒律方程的熵稳定格式.对于给定的熵对,格式所满足的熵条件中的数值熵通量是不唯一的.Tadmor的充分条件可以唯一地确定标量方程的熵守恒通量,但不能唯一确定方程组的熵守恒通量,却可以给出方程组的空间一阶精度的熵守恒格式.也讨论了在熵守恒通量上添加数值粘性得到的显式熵稳定格式需要满足的条件及常见的时间离散对熵守恒和熵稳定的影响.     

一类偶数阶几何偏微分方程组弱解的正则性理论

de Longueville和Gastel (2021)提出了下述非常一般的高阶线性椭圆型方程组:■,并以多调和映照方程为其典型例子.通过给系数函数以最少的光滑性假设和一阶位势的代数反对称性假设,他们成功建立了该方程组的守恒律,从而得到弱解的处处连续性,推广了Rivière (2007)及Lamm和Rivière (2008)关于2阶和4阶方程组的相应理论.最近, Guo和Xiang (2021)证明了上述方程组解的局部H?lder连续性,改进了de Longueville和Gastel (2021)的连续性结果.本文使用另一种方法证明对任意的0 <α <1,该方程组的弱解都是局部α-H?lder连续的,进一步改进了Guo和Xiang (2021)的局部H?lder连续性结果.在标准的Dirichlet边界条件下,本文还得到上述方程组弱解直到边界的连续性,推广了Guo和Xiang (2020)关于4阶方程的边界正则性结果.     

一类非线性方程组的Newton-PSS迭代法

正定反Hermite分裂(PSS)方法是求解大型稀疏非Hermite正定线性代数方程组的一类无条件收敛的迭代算法.将其作为不精确Newton方法的内迭代求解器,我们构造了一类用于求解大型稀疏且具有非Hermite正定Jacobi矩阵的非线性方程组的不精确Newton-PSS方法,并对方法的局部收敛性和半局部收敛性进行了详细的分析.数值结果验证了该方法的可行性与有效性.     

ACM元各向异性分析的Newton方法

本文将一维Lagrange插值多项式的Newton表达式推广到二维非标准的Hermite插值,给出著名板元-ACM元插值多项式的Newton表达式,由此给出ACM元对四阶和二阶椭圆问题的各向异性插值误差估计,为复杂单元的各向异性分析开辟了新的途径.     

矩阵方程X+A~*X~(-n)A=P的Hermite正定解及其扰动分析

考虑非线性矩阵方程X A~*X~(-n)A=P,其中A是m阶非奇异复矩阵,P是m阶Hermite正定矩阵.本文利用不动点理论讨论了该方程Hermite正定解的存在性及包含区间,给出了极大解的性质及求极大,极小解的迭代算法.研究了极大解的扰动问题,利用微分等方法获得了两个新的一阶扰动界,并给出数值例子对所得结果进行了比较说明.     

分形空间上广义凸函数的新Simpson型不等式及应用

根据局部分数阶微积分理论以及分形实线的α(0 α≤1)型集合R~α上广义凸函数的定义,获得了几个涉及局部分数阶积分的Simpson型不等式.最后,给出了所得不等式在特殊均值和数值积分中的几个应用.     

渐近于Hermite多项式的双正交系统

本文利用渐近于Gauss函数的函数类?,给出渐近于Hermite正交多项式的一类Appell多项式的构造方法,使得该序列与?的n阶导数之间构成了一组双正交系统.利用此结果,本文得到多种正交多项式和组合多项式的渐近性质.特别地,由N阶B样条所生成的Appell多项式序列恰为N阶Bernoulli多项式.从而,Bernoulli多项式与B样条的导函数之间构成了一组双正交系统,且标准化之后的Bernoulli多项式的渐近形式为Hermite多项式.由二项分布所生成的Appell序列为Euler多项式,从而,Euler多项式与二项分布的导函数之间构成一组双正交系统,且标准化之后的Euler多项式渐近于Hermite多项式.本文给出Appell序列的生成函数满足的尺度方程的充要条件,给出渐近于Hermite多项式的函数列的判定定理.应用该定理,验证广义Buchholz多项式、广义Laguerre多项式和广义Ultraspherical(Gegenbauer)多项式渐近于Hermite多项式的性质,从而验证超几何多项式的Askey格式的成立.     

脉冲时滞中立双曲型方程组的振动性

研究一类非线性脉冲时滞双曲型方程组在Robin以及Dirichlet边界条件下的振动性质.利用广义的Riccati变换、平均值方法及不等式技巧,获得了方程组在两类边界条件下振动的充分条件,并给出了应用实例用以检验结论的有效性.     

流通量间断守恒高阶交通流模型及其数值模拟

在非均匀道路条件下，推广了各向异性守恒高阶交通流模型(CHO模型)，获得流通量间断CHO模型，并基于其Riemann不变量性质，运用局部简化方法及δ映射算法，设计了求解流通量间断CHO模型的一阶Godunov、EO(Engquist-Osher)和LF(Lax-Friedrichs)等数值格式.通过数值模拟表明流通量间断CHO模型是合理有效的，它可以描述平衡态和非平衡态交通流，相对于流通量间断LWR(Lighthill-Whitham-Richards)模型，其能更好地刻画实际交通现象.     

微伸缩的热弹性力学方程组柯西问题解的奇性传播

用频率分析对角化的方法,研究了一维线性微伸缩的热弹性力学方程组柯西问题解的奇性传播规律.首先从微局部观点出发,利用拟微分算子将双曲抛物的耦合方程组弱解耦.然后利用经典的双曲抛物方程理论和穿梭法,证明了柯西问题解的奇性传播具有有限传播速度、解的奇性沿双曲算子的零次特征带进行传播.     

某些一阶双曲方程组的初边值问题

本文利用函数论的方法,讨论了R3和R4空间中的一阶双曲型方程组的初边值问题,在不同情况下,分别获得了可解条件和解的表示.     

高阶中立型时滞微分方程的振动理论

本文考虑了n阶线性中立型时滞微分方程.利用推广的带有余项的Taylor公式和Kiguradze引理及广义的Riccati变换,获得了方程解振动新的振动准则,所得结果推广和改进了若干文献中已有准则.     

广义α-stable过程自相交局部时增量的Holder律及重点

文研究了 N 指标 d 维广义α-stable过程自相交局部时增量的Holder律. 并利用所得自相交局部时的性质, 证明了该过程重点的存在性, 得到了该过程多重时的Hausdorff维数及测度的下界.所得结论包含并推广了广义布朗单及stable单相应的结果.     

基于分数阶热传导方程激光加热瞬态温度场研究

基于分数阶Taylor(泰勒)级数展开原理,建立单相延迟一阶分数阶近似方程,获得分数阶热传导方程.针对短脉冲激光加热问题建立分数阶热传导方程组,并运用Laplace(拉普拉斯)变换方法进行求解,给出非Gauss(高斯)时间分布的激光内热源温度场解析解.针对具体算例数值研究温度波传播特性.结果表明热传播速度与分数阶阶次有关,分数阶阶次增加,热传播速度减小,温度变化幅度增加.分数阶方程可以用于描述介于扩散方程和热波方程间的热传输过程,且对热传播机制与分数阶热传导方程中分数阶项的关系做了深入剖析.     

等谱AKNS方程的新孤子解

给出2阶AKNS方程的两类双线性导数方程,利用扰动展开与截断技术,分别导出这两类方程的多孤子解,并将所得结果推广到AKNS方程族的情形.关于广义双线性导数方程孤子解的结果是新的.     

带分数阶边值条件的差分方程组的正解问题

本文研究一类带分数阶边值条件的差分方程组边值问题.利用不等式技巧、格林函数的性质及Krasnosel'skii不动点定理等方法,获得此分数阶差分方程组至少存在一个正解的充分条件,并通过具体例子证明所得的结论有效.