索伯列夫空间的有限元迫近

记I_1=(-∞,ξ_1),I_2=(ξ_1,ξ_2),…,I_n=(ξ_(n-1),ξ_n),I_(n 1)=(ξ_n, ∞)。定义H~(m 1)(R,ξ_1,…,ξ_n)={u|u∈H~m(R),在I_i上u∈H~(m 1)(I_i),i=1,…,n 1}。 设μ(x)∈H~m(R),λ(x)∈L~∞(R)。并且满足:1.他们的支集都是R中的有界集合;2·∫_Rμ(x)dx=∫_Kλ(x)dx=1;3.μ(x)满足m-1收敛准则条件,即存在常数b_0=1,b_1,…,     

非线性高阶广义Schrdinger型方程组的周期边界问题

整体解的存在与唯一问题,其中m≥1为整数,φ_l(x)是以1为周期的函数。J×J阶矩阵A(t)=(α_(x i)(t))是非负定的,即。在等号成立之处,称方程组是退化的。     

用伽辽金法解两点边值问题

设0=ξ_0<ξ_1<…<ξ_(p 1)=1,记I=(0,1),J_j=(ξ_(j-1),ξ_j)(j=1,2,…,p 1)。定义 H~m(I,ξ_1,…,ξ_p)={u|u∈H~1(I),在每一个J_j上u∈H~m(J_j)},L~∞(I,m,ξ_1,…,ξ_p)={u|在每一个J_j上u∈H~m(J_j),且D~mu∈L~∞(J_j)}。 L~2(I,ξ_1…,ξ_p)={u|在每一个J_j上u∈H~m(J_j)}。 H~m(I,ξ_1,…,ξ_p)中任意两个元素u,v的内积定义如下:     

一类二阶m-点边值问题变号解的存在性

利用锥理论和不动点指数理论,研究了一类二阶m-点边值问题{u'(x)+f(u(x))=0,0≤x≤1,u(0)=0,u(1)-0,u(1)=m-2∑i-1 a_iu(ξ_i)其中ξ_i∈(0,1),0ξ_1ξ_2…ξ_(m-2)1,a_i∈[0,∞),0∑_(i=1)~(m-2)a_i1,f∈C(R,R)变号解的存在性.     

具有共振的边值问题解的存在性

利用Mawhin的重合度理论,研究具有共振的n-阶m-点边值问题x~((n))(t)=f(t,x(t),x′(t),…,x~((n-1))(t)),t∈(0,1)x(0)=x(η),x′(0)=x″(0)=…=x~((n-2))(0)=0,x~((n-1))(1)=α_ix~((n-1))(ξ_i)解的存在性,其中n≥2,m≥3,f:[0,1]×R~n→R将有界集映为有界集,且当x(t)∈C~(n-1)[0,1]时,f(t,x(t),x′(t),…,x~((n-1))(t))∈L~1[0,1],0<ξ_1<ξ_2<…<ξ_(m-2)<1,0<η<1,α_i∈R.在这里并不要求f具有连续性.     

非线性梁振动方程的周期解

一、引言考虑下述问题Ku″ A~2u M(‖A~1/2u‖~2)Au Au′=f(x,t),t>0,x∈Ω,(1.1)u|_t=0~=u_0(x),x∈Ω,(1.2)Ku′|_(t=0)=u_1(x),x∈Ω,(1.3)u=0,x∈(?)Ω,t≥0 (1.4)的ω-周期解的存在性.其中 Ω(?)R~n 为一有界光滑区域,u′=((?)u)/((?)t),u_″=((?)u)/((?)t)~2,K 为有界线性对称算子且满足(Ku,u)≥0,M∈C~1[0,∞),M(ξ)≥-β,ξ≥0.此模型最初由Woinowsky 和 Krieger 提出,方程形式为     

一类带弱奇异核非线性偏积分微分方程的全离散有限元

1引言我们将研究下面一类带弱奇异核非线性偏积分微分方程的数值解:u_t-▽·(a(u)▽u)-integral from n=0 to tβ(t-s)△u(s)ds=f(u),x∈Ω,t∈(?),(1.1) u(·,t)=0,x∈(?)Ω,t∈J,(1.2) u(·,0)=v(x),x∈Ω,(1.3)其中Ω为平面上的凸角域,J=(0,T],α和f为R上的光滑函数,满足0相似文献   

一类时标上具状态依赖时滞的中立型泛函微分方程的周期正解

该文利用一个严格集压缩不动点定理,得到了如下形式的一类时标上具状态依赖时滞的中立型泛函微分方程周期正解存在性的充分条件x~Δ(t)=x(t)[r(t)-a(t)x(t)-sum from j=1 to n a_j(t)x(t-Υ_j(t,x(t)))-sum from j=1 to n c_j(t)x~Δ(t-σ_j(t,x(t)))],其中r,a,a_j,c_j∈C(T,R~+)(j=1,2,…,n)是ω-周期函数,Υ_j,σ_j∈C(T×R,T)(j=1,2,…,n)分别是其第一变元的ω-周期函数.     

关于广义Schrodinger型方程组第三边值问题的差分方法

本文讨论下述定解问题的差分解法 u_t(x,t)=Au_(xx)(x,t) f(u),(x,t)∈Q_T=(0,L)×(0,T) u_x(0,t)—σ_1u(0,t)=0,σ_1>0,t∈[0,T]; u_x(L,t) σ_2u(L,t)=0,σ_2>0,t∈[0,T]; u(x,0)=■(x),x∈[0,L].其中u(x,t)=(u_1(x,t),…,u_m(x,t)),f(u)=f(f_1(u),…,f_m(u)),■(x)=(■_1(x),…■_m(x))满足适定性条件,且假定     

矩阵不等式约束下矩阵方程最小二乘问题的增广Lagrangian方法北大核心CSCD

称X∈R^(m×n)为实(R,S)对称矩阵,若满足X=RXS,其中R∈R^(m×m)和S∈R^(n×n)为非平凡实对合矩阵,即R=R^(-1)≠±I_m,S=S^(-1)≠±I_n.该文将优化理论中求凸集上光滑函数最小值的增广Lagrangian方法应用于求解矩阵不等式约束下实(R,S)对称矩阵最小二乘问题,即给定正整数m,n,p,t,q和矩阵A_i∈R^(m×m),B_i∈R^(n×n)(i=1,2,…,q),C∈R^(m×m),E∈R^(p×m),F∈R^(n×t)和D∈R^(p×t),求实(R,S)对称矩阵X∈R^(m×m)且在满足相容矩阵不等式EXF≥D约束下极小化‖∑_(i=1)~qA_iXB_i-C‖,其中EXF≥D表示矩阵EXF-D非负,‖·‖为Frobenius范数.该文给出求解问题的矩阵形式增广Lagrangian方法的迭代格式,并用数值算例验证该方法是可行且高效的.     

矩阵不等式约束下矩阵方程最小二乘问题的增广Lagrangian方法

称X∈R~(m×n)为实(R,S)对称矩阵,若满足X=RXS,其中R∈R~(m×m)和S∈R~(n×n)为非平凡实对合矩阵,即R=R~(-1)≠±I_m,S=S~(-1)≠±I_n.该文将优化理论中求凸集上光滑函数最小值的增广Lagrangian方法应用于求解矩阵不等式约束下实(R,S)对称矩阵最小二乘问题,即给定正整数m,n,p,t,q和矩阵A_i∈R~(m×m),B_i∈R~(n×n)(i=1,2,…,q),C∈R~(m×m),E∈R~(p×m),F∈R~(n×t)和D∈R~(p×t),求实(R,S)对称矩阵X∈R~(m×m)且在满足相容矩阵不等式EXF≥D约束下极小化‖∑_(i=1)~qA_iXB_i-C‖,其中EXF≥D表示矩阵EXF-D非负,‖·‖为Frobenius范数.该文给出求解问题的矩阵形式增广Lagrangian方法的迭代格式,并用数值算例验证该方法是可行且高效的.     

奇异半线性反应扩散方程组Cauchy问题

本文讨论如下问题其中{(б)u/(б)t-(1/tσ)△u=αvp1+β1vp1+f1(x),t>0,x∈RN,(б)u/(б)t-(1/tσ)△v=α2uq2+β2vp2+f2(x),t>0,∈RN,limt→0+u(t,x)=limt→0+v(t,x)=0,x∈Rn,其中σ＞0,pi＞1,qi＞1(i=1,2),α1≥0,α2＞0,β1＞0,β2≥0,fi(x)(i=1,2)连续有界非负,(f1(x),f2(x))(≡／)(0,0).给出了非负局部解存在的几个充分条件和解的爆破结果.     

一类拟微分算子的Cauchy问题

<正> 在[1]中(见第三章§4)提出了所谓在意义下适定的概念.这里x=(x_1,…,x_n)∈R~n,P_(kj)(ξ)(k,j=1,2,…,m)为ξ∈R~n的阶数不超过p的多项式.若以λ_1(ξ),…,λ_m(ξ)分別表示m×m矩阵(P_(kj)(ξ))的特征值,则当存在非负常数C,使得     

Sobolev方程的基于H~1-Galerkin混合方法的新分裂格式

正1引言考虑如下Sobolev方程u_t-▽·(a(x)▽u_t+a(x)▽u)+u=f(x,t),(x,t)∈Ω×J,u(x,t)=0,(x,t)∈аΩ×J,(1)u(x,0)=u_0(x),x∈Ω.其中Ω是R~d(d=1,2,3)中具有边界     

一类非线性m-点边值问题正解的存在性

设α∈C[0,1],b∈C([0,1],(-∞,0)).设φ(t)为线性边值问题 u″+a(t)u′+b(t)u=0, u′(0)=0,u(1)=1的唯一正解.本文研究非线性二阶常微分方程m-点边值问题 u″+a(t)u′+b(t)u+h(t)f(u)=0, u′(0)=0,u(1)-sum from i=1 to(m-2)((a_i)u(ξ_i))=0正解的存在性.其中ξ_i∈(0,1),a_i∈(0,∞)为满足∑_(i=1)~(m-2)a_iφ_1(ξ_i)<1的常数,i∈{1,…,m-2}.通过运用锥上的不动点定理,在f超线性增长或次线性增长的前提下证明了正解的存在性结果.     

E-紧框架小波来自MRA的特征刻画

设E=■或■,■(x)∈L~2(R~2)且■_(jk)(x)=2■(E~jx-k),其中j∈Z,k∈Z~2.若{■_(jk)|jJ∈Z,k∈Z~2}构成L~2(R~2)的紧框架,则称■(x)为E-紧框架小波.本文给出E-紧框架小波是MRA E-紧框架小波的一个充要条件,即E紧框架小波■来自多尺度分析当且仅当线性空间F_■(ξ)的维数为0或1,其中F_■(ξ)=■(ξ)|j■1},■_j(ξ)={■((E~T)~j(ξ+2kπ))}_(k∈EZ~2,j■1。     

平稳分枝超Lévy过程是一个随机偏微分方程的轨道唯一解

本文证明平稳(stable)分枝超Lévy过程的密度在一定条件下是如下随机偏微分方程的轨道唯一解:?/?tX_t(x)=AX_t(x)+bX_t(x)+X_(t-)(x)α/1■_t(x), t 0, x∈R,其中A是超Lévy过程底运动的生成元,α∈(1, 2)和b∈R是常数,{■_t(x):t≥0, x∈R}是一个无负跳的单边的α-平稳噪声.     

Boundedness of Hausdorff operators on the power weighted Hardy spaces

In this paper, we consider the two-dimensional Hausdorff operators on the power weighted Hardy space H_(|x|α)~1(R~2) ( -1 ≤α≤0), defined by H_(Φ,A)f(x)=∫R~2Φ(u)f(A(u)x)du,where Φ∈L_loc~1(R~2),A(u) = (α_(ij)(u))_(i,j=1)~2 is a 2×2 matrix, and each α_(i,j) is a measurablefunction.We obtain that HΦ,A is bounded from H_(|x|~α)~1(R~2) ( -1≤α≤0) to itself, if∫R2|Φ(u)‖det A~(-1)(u)|‖A(u)‖~(-α)ln(1+‖A~(-1)(u)‖~2/|det A~(-1)(u)|)du∞.This result improves some known theorems, and in some sense it is sharp.     

共轭Bochner—Riesz平均在H~p上的弱型估计

设K(x)=P(x/|x|)|x|~(-n)为一球调和核,P(x)为一m次齐次调和多项式。f(x)在R~n上的δ阶共轭Bochner-Riesz平均记为 (_(1/ε)~δf)(x)=∫_(|t|<1/ε)(t)(t)(1-|εt|~2)~δe~(iαt)dt.作者在本文中得到如下的弱型估计: |{x∈R~n:sup ε>0|(_(1/ε)~δf)(x)-_ε(x)|>λ}|≤C(‖f‖_(H~p)/λ)~p,此处δ=(n/p)-(n 2)/2,n/(n 1)≤p<1,f∈H~p(R~n),以及 _ε(x)=(2π)~(-n)∫_(|y|>ε)f(x-y)K(y)dy 。设f∈L(R~n),其δ阶的Bochner-Riesz平均为 (σ_(1/ε)~δf)(x)=∫_(|t|<1/ε)(t)(1-|εt|~2)~δe~(iαt)dt.     

三角代数上的交换零点ξ-Lie可导映射

设u是数域F上的一个三角代数,δ是u上的一个线性映射,ξ∈F且ξ≠1证明了:如果对任意的x,y∈u且xy=yx=0有δ([x,y]_ξ)=[δ(x),y]_ξ+[x,δ(y)]_ξ,则在u上存在一个导子Φ和一个中心元λ使得对任意的x∈u,有δ(x)=Φ(x)+λx.