求解广义Burgers方程的一种迭代方法(英文)

在再生核空间W(2,3)中给出了求解广义Burgers方程的一种迭代方法.证明了近似解un(t,x)收敛到精确解u(t,x).该方法是大范围收敛,即对任意的初始函数u1(t,x),un(t,x)都收敛到精确解u(t,x).并且这种迭代方法也可以用来解其它非线性算子方程.     

二阶非线性常微分方程组的精确解

在再生核空间W23[0,1]中给出求解二阶非线性常微分方程组的精确解表达式的方法,此精确解是用级数表示的.证明它的n-截断函数un(x),vn(x)收敛于方程组的精确解u(x),v(x).无论方程组是线性还是非线性,奇异还是非奇异,都可以用本方法求解.算法实例说明此算法是高效的.     

p(x)-Laplace方程组多重解的存在性

研究如下拟线性椭圆方程组边值问题:｛-ΔP1(x)u1 + u1| P1(x)-1u1 =λ(Fu1(x,u1,…,un)+μGu1(x,u1,…,un)) x∈Ω,-Δ2(x)u1 + u2|P2(x)-1u2 =λ(Fu2(x,u1,…,un) +μGu2(x,u1,…,un)) x∈Ω,-ΔPn(x)un + un| Pn(x)-1u =λ(Fun(x,u1,…,un)+μGun(x,u1,…,un)) x∈Ω,ui =0,(V)1≤i≤n x∈Ω(*)其中Δp(x)u=div(|▽u |p(x)-2▽u)为p(x)-Laplace算子,F和G:Ω×RN→R是满足一定条件的连续函数.在一定条件下,证明了存在一个开区间Λ(∈)[0,+∞)和一个实数q,使得对每一个λ∈Λ,所论问题至少有三个弱解.     

对流扩散方程的全离散Legendre和Chebyshev谱方法

用Legendre和Chebyshev谱方法对一维对流扩散方程的初边值问题{ut-νuxx+(bu)x+b0u=f(x,t),x∈Λ,t∈J,u(±1,t)=0,t∈J,u(x,0)=u0(x),x∈Λ。进行数值分析,研究全离散的Euler隐格式,证明Euler隐格式的稳定性,得到近似解的收敛性及与精确解之间的误差估计。     

关于非齐次A-调和方程的一些估计

研究关于函数的非齐次A-调和方程-divA(x,u,▽u)=B(x,u,▽u)在黎曼流形测地球上弱解的Caccioppoli估计,以及它的弱逆Hlder不等式。根据散度定理和Young不等式,得到非齐次A-调和方程-divA(x,u,▽u)=B(x,u,▽u)的非负解u在完备黎曼流形上的Caccioppoli估计;根据Caccioppoli估计以及Moser迭代等方法,得到非齐次A-调和方程-divA(x,u,▽u)=B(x,u,▽u)的非负解u在测地球B(r)上的弱逆Hlder不等式。     

一类半线性椭圆方程分歧解曲线的Morse指标

主要讨论了方程{Δu+λu+f(x,u)=0x∈Ω,(a)u/(a)n=0x∈(a)Ω.从特征值出发的分歧解曲线的Morse指标,从而可以判断解的稳定性.     

一类反应扩散方程组的解

讨论了一类非线性抛物方程组{ut=d1△u-a11u+∫Ωk(x,ξ)v(ξ,t)dξ(x,t)∈Ωx(0,∞) vt=d2△v-α22v+g(u) Bu=α(x)u/n+β(x)u=0 x∈Ω Bv=α(x)u/n+β(x)v=0 u(x,0)=u0(x),v(x,0)=v0(x) x∈Ω解的性质,利用微分方程上下解方法证明初值适当小时,方程存在整体解.推广了相关文献所给方程组的结果.     

一类有界区域上分数阶p-Laplace方程解的多重性

研究一类次临界增长的分数阶p-Laplace方程多重解的存在性。由于f(x,u)不满足Ambrosetti-Rabinowitz条件,方程的能量泛函I(u)不满足Palais-Smale条件。证明I(u)满足Cerami条件,利用山路引理的一种变形形式,分别在f(x,u)满足渐近线性增长和渐近超线性增长两种情形下,得到分数阶p-Laplace方程多重解的存在性。     

一维非线性伪抛物方程的逼近解

探讨在再生核空间用迭代法求解一维非线性伪抛物方程.证明逼近解u_n(x,t)收敛于真解u(x,t),且u_n(x,t)的各阶偏导数亦收敛于u(x,t)相应阶的偏导数.在一个完全标准正交系下,u_n(x,t)是最佳逼近解.     

半线性拟抛物方程古典解的Blow-up问题

研究了半线性拟抛物方程的初边值问题ut-△ut =f(u) x ∈Ω,t ＞0 (1.1)u(x,0) = u0(x), x ∈Ω (1.2)u|(δ)Ω =0,t≥0 (1.3)古典解的blow-up性.讨论了正解的存在性.研究了(1.1)～(1.3)的古典解u(x,t)的blow-up性,即存在T0≤(1 λ0)∫∞αg-1(x)ds使得limt→T-0‖u‖p=∞对1≤p≤∞.     

在再生核空间中求解一类二阶非线性Neumann问题

运用迭代算法在再生核空间W3[0,1]中求解一类二阶非线性Neu-mann问题.给出了精确解的级数形式的精确表达式,证明了近似解un（x）一致收敛于精确解w（x）.数值算例验证了方法是高精度的和有效的.     

关于两个Diophantine方程的求解

对于部分无平方因子整数D,其二次域Q(D~(1/2))是Euclid域,那么它所对应的Euclid整环中算术基本定理成立。利用二次Euclid域的整除理论讨论了不定方程x~2±3=4y5,x,y∈Z的整数解情况,并得到了其所有整数解,即证明了不定方程x~2+3=4y~5,x,y∈Z仅有整数解(x,y)=(±1,1),而不定方程x~2-3=4y~5,x,y∈Z无整数解。     

非均匀层状介质中的电磁散射问题(英文)

研究时谐平面波在非均匀层状介质中的散射问题。设背景介质在x2方向是分层的,在x3方向不变,并且有一非均匀散射体位于此背景介质中。首先将此问题简化为二维散射问题,然后利用积分方程方法,探讨此问题的可解性,给出解结构的精确描述。     

具有动点控制的一维抛物型方程的精确零能控

考虑了一维抛物型方程ut=uxx+b(x,t)ux+f(u)+(Bv)(x,t),为了达到精确零能控,给出了支持动点控制的一些条件,并在技巧上简化了它们.而且,给出了一种新方法,用这个方法证明了具有超线性项的半线性系统也是精确零能控的.     

带有积分边界条件的微分方程的数值求解算法

在区间[0,1]中研究带有积分边界条件的微分方程数值求解问题,给出了这类方程精确解的表达式,证明了近似解一致收殓到精确解,误差随结点数的增加单调递减.算例验证了本文算法是有效的.     

一类系统的全局渐近稳定性分析

运用线性类比法构造Lyapunov函数,讨论了系统x+g(x)x+f(x,x)x+cx=0零解的全局渐近稳定性.在此基础上,给出了非自治系统x+g(x)x+f(x,x)x+cx=e(t,x,x,x)的零解全局渐近稳定性的一个充分条件.     

非线性n阶微分方程的五点边值问题解的存在唯一性(英文)

利用解的匹配方法(即将非线性微分方程y(n)=f(x,y,y′,…,y(n-1))在[x1,x3]上的三点边值问题的唯一解与在[x3,x5]上的三点边值问题的唯一解匹配,从而得到方程五点边值问题的唯一解),给出非线性n阶微分方程y(n)=f(x,y,y′,…,y(n-1))满足边界条件y(k)(x1)-y(k)(x2)=a1k,y(j)(x3)=bj+2,y(k)(x4)-y(k)(x5)=a2k,(j,k=0,1,…,n-3)的五点边值问题的解存在唯一的条件。     

二阶变系数线性微分方程的广义通解

本文仅在P（x）于区间（a,b）内可导,q（x）,f（x）在（a,b）内连续的条件下,在文〔1〕中Riccati方程广义解的定义下,给出了二阶变系数线性非齐次微分方程的广义通解的求法.