L^p[0,rm]空间上人口发展方程解的收敛性

人口方程的半aSiA-法由参考文献[1]中的L^1[0,rm]空间推广到L^p[0,rm]空间,利用算子半群的理论证明了经过半离散后所得到的两个半离散方程的解在L^p[0,rm]间上是逼近原方程的解,从而证明了这种算法的收敛性．     

半线性抛物方程差分解的长时间行为

考虑带齐次D irichlet边值条件的半线性抛物方程ut-(pux)x=f(u)的初边值问题,研究了其在[0,1]×(0,+∞)上全离散Euler隐格式解的稳定性.在适当的假设条件下证明了离散系统在H1(Ωh)空间上存在连续的Liapinov泛函,并验证了离散系统的平衡点集在H10(Ωh)上是有界集,从而得到离散动力系统在H10(Ωh)上存在整体吸引子.     

三维非线性Sobolev-Galpern方程有限差分逼近的长时间行为(英文)

研究三维非线性Sobolev-Galpern方程Dirichlet初值问题的一个全离散有限差分格式。利用离散空间泛函分析和能量估计的方法证明了此数值格式的唯一可解性,同时得到了此差分格式的长时间的稳定性和收敛性。进一步,证明了离散动力系统整体吸引子的存在性以及离散动力系统的上半连续性。上述结果说明该数值离散格式可有效地模拟相应的无穷维动力系统。     

关于丢番图方程X~2-DY~(2n)=-1

丢番图方程 x~2-Dy~(2n)=-1,D>0且不是平方数 (1)是二元丢番图方程的基本类型之一,在n=1时,(1)是一个pell方程,它已得到完全解决[1]。而n=2时,Cohn作了大量的工作[2]。本文参考了柯召、孙琦的工作[6]讨论n≥3的情形,证明了如下的结果:     

Banach空间中线性发展方程的初值最优控制问题

本文讨论一般 Banach 空间X上发展方程(?)+Ay(t)=0,y(O)=v的初值最优控制问题。通过引入控制函数空间的方法,证明了最优控制的存在性,并给出刻划最优控制的优化系统。本文是[1]Lions.J.L.的结果的一个推广,那里要假定 Banach 空间X是自反的,甚至是 Hilbert 空间。     

求解Hamilton──Jacobi方程的Runge──Kutta型TVB时间离散方法

TVD、TVB及ENO格式问世以来得到了广泛的应用[1,2,3],目前求解双曲线型守恒律方程的构造高阶精度无振荡差分格式的途径正方兴未艾。本文根据[1]的思想，给出一种求解Hamilton－Jacobi方程的Runge-Kutta型TVB时间离散方法，并在理论上证明了如此构造的格式在保持TVB性质下应满足的条件。     

关于变步长情形下离散函数的一些内插不等式

在研究偏微分方程解的适定性方面,Sobolev空间中的嵌入定理和内插不等式起着非常重要的作用.许多著名学者通过等距分割已经得到了比较好的嵌入定理和内插不等式并进行了证明,文[1]研究了一元离散函数中间差商的若干内插不等式,文[2]研究了三元离散函数中间差商的若干内插不等式.证明了一元离散函数和三元离散函数在不等距分割下也相应满足这些嵌入定理和内插不等式.     

半离散人口发展系统的最小范数控制问题

本文讨论半离散人口发展方程:支配系统的最小范数控制问题。本文将妇女总和生育率β(t)作为控制变量,以“范数最小”来衡量其最优性,利用空间L~2(O,T)的自反,光滑、严格凸性,借助Banach空间的对偶映射方法,证明了上述半离散人口发展系统最小范数控制的存在唯一性和可逼近性,并给出了其相应的优化条件。     

关于半线性双曲方程初边值问题的注记

研究半线性双曲方程Utt-Δu-f(u)具有临界初值E(0)=d,1(u0)<0的初边值问题.证明了:若f(u)满足假设(H),u0(x)∈H01(Ω),u1(x)∈L2(Ω),E(0)=d,I(u0)<0且(u0,u1)≥0,则此问题不存在整体弱解,从而解决了这一公开问题,从实质上补充了文献[9]的结果.     

Hardy空间上的高阶交换子定理

Coifman ,Rochberg和Weiss发现Caldero幃ｎ -Zygmund算子T与BMO函数b构成的交换子 [T ,b]的Lp 到Lp 有界性 (1

相似文献