振动方程混合有限元方法的后处理

1引 言 考虑下面的振动方程混合问题 u_u+△~2u=f, (x,t)∈Ω×(0,T], u_1(x,0)=w_0,u(x,0)=u_0,x∈Ω, (1.1) u=u/γ=0, (x,t)∈Ω×(0,T],其中ΩR~2为有界规则区域,Ω为其逐段光滑的边界,u/γ表示u沿Ω的外法向导数,T>0为常数,f∈L~2(Ω)为已知函数。 引入涡度函数v=△u,则(1.1)改写为     

二阶退化双曲型方程带奇性斜导数的混合问题

本文研究二阶弱双曲型方程具有奇性斜导数的混合问题其中场v在Г=?Ω的子流形Г_0上与Г相切,而与Г_0横截,dim Г_0=dim Г-1,当x’(∈Г)沿v(x’)的切向通过奇点时,〈v(x’),n(x’)〉不变号(n(x’))表Г的单位外法向量),证明了若f∈W_(1/2)~(l+1,l)(Q),g∈W_(1/2)~(l+3/2,l+2)(?Q),则问题(Ⅰ)有唯一解u∈W_(1/2)~(l+2?l+2)(Q)。当〈v(x’),n(x’)〉由正到负时,在Г_0上补充条件u|_(Г_0)=u_0(x’,t)∈W_(1/2)~(l+3/2,l+2)(?_2Q),?_2Q=Г_0×R_+~1以后,问题(Ⅰ)存在唯一解u∈W_(1/2)~(l+2,l+2)(Q)。     

边色数的分类及其有关性质

设图G为简单连通图,由Vizing定理知:Δ(G)≤x′(G)≤Δ(G) 1,其中Δ(G)表示图G的最大顶点次,x′(G)为图G的边色数。若x′(G)=Δ(G),则称G为第一类图,记为G∈C~1;若x′(G)=Δ(G) 1,则称G为第二类图,记为G∈C~2。其他图论术语见一般参考书。一边e(或者顶点v)称为临界的,如果成立x′(G)>x′(G\e)(或者x′(G)>x′(G\v))。图G称为是临界的,如果G∈C~2,且G的每一边是临界的。对于v∈V(G),令d~*(v)=|{u|(v,u)∈E(G)且d(u)=Δ(G)}|。设F={u|d(u)=Δ(G),u∈V(G)},记G_Δ=G[F]。令图G_Δ的圈秩数为b(G_Δ)。     

On Some Classes of Interpolating Splines

In this article, we consider some classes of interpolating spline with difference. derivative and integral interpolating conditions respectively. Let Δ_π:a=x_o相似文献   

一类非线性Schr dinger方程的高精度守恒数值格式

1引言本文讨论下面非线性Schr(?)dinger方程(NLS)方程的初边值问题:i(?)u/(?)t (?)~2u/(?)x~2 2|u~2|u=0,(1) u(x_l,t)=u(x_r,t)=0,t>0,(2) u(x,0)=u_0(x),x_l≤x≤x_r,(3)其中u(x,t)是复值函数,u_0(x)为已知的复值函数,i~2=-1.该问题有着如下的电荷与能量守恒关系:     

一类广义Schrdinger型非线性高阶方程组

复函数的Schrdinger方程 u_1-iu_(xx)+β|u|~p u=0,p≥0 (1) 与复函数Schrdinger方程组 u_1-iu_(xx)+2u(a|u|~2+β|v|~2)=0 v_1-iv_(xx)+2v(a|u|~2+β|v|~2)=0 (2) 都可以看作一类实向量函数u=(u_1,u_2,…,u_j)的方程组 的特殊例子,其中A(t)是非奇异,非负定的J×J矩阵值函数,右边项向量函数f(u)的Jacobi矩阵f(u)/u是半有界的,这类方程组可称为广义Sehrdinger型方程组。     

右端非增非连续微分方程组一对伪最小最大解的存在性

设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

右端非增非连续微分方程组一对伪最小最大解的存在性

<正> 设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

EXISTENCE AND NON-EXISTENCE OF GLOBAL SMOOTH SOLUTIONS FOR QUASILINEAR HYPERBOLIC SYSTEMS~*

Consider initial value probiom v_t-u_x=0, u_t+p(v)_x=0, (E), v(x, 0)=v_0(x), u(x, 0)=u_0(x), (I), where A≥0, p(v)=K~2v~(-γ), K>0, 0<γ<3. As 0<γ≤1, the authors give a sufficient condition for that (E), (I) to have a unique global smooth solution, As 1≤γ<3, a necessary condition is given for that.     

半线性抛物型方程的双移动边界问题

本文运用Fourier方法和压缩映像不动点原理,证明了半线性抛物型方程的双移动边界问题 u_t=a~2u_(xx) F(x,t,u,u_x),(x,t)∈D_∞, u(l_1(t),t)=0,l_1(0)=0,t∈(0, ∞), u(l_2(t),t)=0,l_2(0)=l_0,t∈(0, ∞), u(x,0)=φ(x),0≤x≤l_0,φ(0)=φ(l_0)=0.解的存在唯一性,其中D_∞={(x,t)|l_1(t)相似文献   

高阶广义 Korteweg-de Vries 型方程组的周期边界问题与初值问题

<正> §1.引言近年来有很多作者从物理学的角度研究了所谓 Korteweg-de Vries 方程或简称为 KdV方程u_(?)+αuu_x+βu_(xxx)=0 (1)的解的性质.也有不少工作从数学的角度讨论这类方程及其推广的问题的提法.在[8—9]中提出了更广泛的一类高阶 KdV 方程.在[10]中研究了形式为z_t+α(|z|~2z)_x+z_(xxx)=0 (2)的复函数 z(x,t)=u(x,t)+iv(x,t)的复 KdV 方程的问题.复函数方程(2)可以写成实函数 u(x,t)与 v(x,t)所满足的方程组u_t+α((u~2+v~2)u)_x+u_(xxx)=0,v_t+α((u~2+v~2)v)_x+v_(xxx)=0 (3)的形式.     

二阶拟线性椭圆型方程的强非线性斜微商问题

本文利用某些算子在强弱拓扑意义下收敛的转换性质,两次运用Schauder不动点定理,建立了二阶拟线性椭圆型方程Lu≡α(x,y,u,u_∝,u_y)u_(∝x) 2b(x,y,u,u_∝,u_y)u_(∝y) c(x,y,u,u_x,u_y)u_(yy) d(x,y,u,u_x,u_y)=0,(x,y)∈G的强非线性斜微商问题αu_x-βu_y=f(x,y,u,u_x,u_y),α~2(x,y) β~2(x,y)≡1,(x,y)∈Г=аG解(或变态解)的存在性定理,并讨论了问题在负指标时的可解性条件。这里f关于u或u、u_0u_y具有指数大手1甚至整函数级增长的非线性,称之为强非线性。     

变分流方程组初边值问题的Blow—up性质

§1 引言及主要结果设 Q 是 R~n 中具有光滑边界(?)Ω的有界区域,考虑抛物变分流方程组((?)u~i)/((?)t)=sum from α=1 to n (?)/((?)X_α) F_(?)(x,u,Du)-F_u~i(x,u,Du) (1)((x,t)∈Ω×[0,T),i=1,2,…,N)的第一初边值问题(?)以及第三初边值问题     

求解奇异摄动转向点问题的高精度方法

1.引言 本文考察以下奇异摄动转向点问题: Lu≡ε~2u″+xa(x)u′-b(x)u=f(x),x∈I=[-1,1], u(-1)=A,u(1)=B, (1.1)其中参数ε是(0,1]中的常数,函数a(x)∈C~3[I],b(x),f(x)∈C~4[I]且满足a(x)≥a_*>0,b(x)≥b_*>0.在以上假设下,由[1]知,方程(1.1)存在唯一解u_8∈C~5[I]且     

非凸典型拟线性双曲组的黎曼问题和间断始值问题

<正> 标题中的问题即:+P(“):一o,。:二。二~o(‘>o)(1) (。(x,o),。(x,o))~(u(:) 其中 p(v)、u_0~±(x)、v_0~±(x)正规且 p′(v)<0,当(u_0~±(x),v_0~±(x)=(u~±,v~±)(u~±,v~±为任意常量)时称为黎曼问题,简记为 A,否则即为间断始值问题,简记为 B,考虑 A 的整体解及 B 在原点附近的局部解.     

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)中具有边界     

一类N维非线性波动方程的Cauchy问题

证明下列非线性波动方程的Cauchy问题v_(tt)-α△v_(tt)-Δv=g(v)-αΔg(v),x∈R~N,t>0,(1)v(x,0)=v_0(x),v_t(x,0)=v_1(x),x∈R~N(2)在空间C~2([0,∞);H~s(R~N))(s>N/2)中存在唯一整体广义解v和在空间C~2([0,∞);H~s(R~N))(s>2+N/2N)中存在唯一整体古典解v,即u∈C~2([0,∞);C_B~2(R~N)).还证明Cauchy问题(1),(2)在C~3([0,∞);W~(m,p)(R~N)∩L~∞(R~N))(m≥0,1≤p≤∞)中有唯一整体广义解v和在C~3([0,∞);W~(m,p)(R~N)∩L~∞(R~N))(m>2+N/P)中有唯一整体古典解v,即v∈C~3([0,∞);C~2(R~N)∩L~∞(R~N)).     

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

一、引言考虑下述问题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 提出,方程形式为     

有向圈半强积的哈密尔顿圈

设有向图 D_1=(V_1,A_1),D_2=(V_2 A_2).称有向图 D_2:D_2=(V,A) 为 D_1,D_2的半强积,如果 V=V_1×V_2,A={((u_1,v_1),(u_2,v_2))|u_1=u_2且(v_1,v_2)∈A_2或者(u_1,u_2)∈A_1且(v_1,v_2)∈A_2}.     

分数阶趋化模型在临界Besov空间中解的整体存在性北大核心CSCD

该文主要研究如下的分数阶趋化模型:{■_(t)+(-△)^(α/2)=▽·(u▽v)(x,t)∈R^(n)×(0,∞),ε■_(t)v+(-△)^(β/2)v=u,(x,t)∈R^(n)×(0,∞),u(x,0)=u_(0)(x),v(x,0)=v_(0)(x),x∈R^(n)其中α∈[1,2],β∈(0,2],ε≥0.基于分数阶耗散方程在Chemin-Lerner混合时空空间中的线性估计和Fourier局部化方法,作者得到了如下结果:(1)当ε=0时,建立了次临界情形1<α≤2下该模型在Besov空间中的局部适定性和小初值问题的整体适定性,优化了[陈化,吕文斌,吴少华.分数阶趋化模型在Besov空间中解的存在性.中国科学:数学,2019,49(12):1-17]所得适定性结果中正则性和可积性指标的范围.并且还建立了临界情形α=1下该模型在Besov空间中小初值问题的整体适定性;(2)当ε>0时,利用特殊的迭代技巧,作者分别建立了次临界情形1<α≤2和临界情形α=1下该模型在Besov空间中的局部适定性和小初值问题的整体适定性.进一步,利用模型所特有的代数结构,作者还证明了对初值v0无小性条件下解的整体存在性.