拟周期系统的Floquet理论

在这篇文章,我们对拟周期系统dx/dt=A(ω₁t,ω₂t.…,ω_mt)x (0.1)建立了Floquet理论.其中n×n方阵A(u₁,u₂,…,u_m)是u₁,u₂,…,u_m以2π为周期的周期方阵,同时假定A(u₁,u₂,…,u_m)∈Cτ,τ=(N+1)τ₀,τ₀=2(m+1),N=1/2n(n+1).我们定义了(0.1)的特征指数根β₁,β₂,…,β_n,假设下式成立:其中K(ω),K(ω,β)>0,k_μ,i_v是整数,k₁,k₂…,k_m不全为零:i2=-1.那末有拟周期线性变换,把(0.1)化为常系数的线性系统.     

Hα∞到Hβ∞复合算子的线性组合

设B是N维复空间C^N中的开单位球,φ_i为B上的解析自映射,H_α^∞表示定义在单位球上的加权解析函数空间.本文主要研究的是从空间H_α^∞到H_β^∞上的复合算子线性组合■的紧致性,其中λ_i(i=1,2,…,M)是非零常数.另外,根据紧致性等价条件,得出算子差分对(C_φ1-C_φ2)-(C_φ3-C_φ1)是紧致的当且仅当C_φ1-C_φ2与C_φ3-C_φ1都是紧致的算子.     

关于不协调有限元空间最大模的不等式

§1.引言 对于二维协调元有限元空间的元素v_h,已有下述估计 ||v_h||_(0,∞,Ω)≤C|lnh|~(1/2)|v_h||(1,Z,Ω) (1)它为有限元解的L~∞收敛性及超收敛性研究提供了工具.本文试图把上述估计推广到一类包括非协调元、杂交元和拟协调元空间的有限元空间.     

关于不协调有限元空间最大模的不等式

§1.引言 对于二维协调元有限元空间的元素v_h,已有下述估计 ||v_h||_(0,∞,Ω)≤C|lnh|~(1/2)|v_h||(1,Z,Ω) (1)它为有限元解的L~∞收敛性及超收敛性研究提供了工具.本文试图把上述估计推广到一类包括非协调元、杂交元和拟协调元空间的有限元空间.     

拟线性双曲方程类Wilson非协调元的高精度分析

主要研究类Wilson元对拟线性双曲方程的逼近.首先证明了当问题的解u∈H~3(Ω)或u∈H~4(Ω)时,u与其双线性插值之差的梯度与类Wilson元空间任意元素的梯度,在分片意义下的内积可以达到O(h~2)这一重要结论.其次运用能量模意义下该元的非协调误差可以分别达到O(h~2)/O(h~3),即比插值误差高一阶/二阶这一性质,并利用对时间t的导数转移技巧,结合双线性元的高精度结果及插值后处理技术,获得了O(h~2)阶的超逼近性和整体超收敛性,从而进一步拓广了该元的应用范围.     

有限元空间的嵌入性质和紧致性

本文将Sobolev嵌入定理和Rellich-Kondrachov紧致定理推广到多套函数有限元空间.特殊地,在非协调元,杂交元和拟协调元空间等情形建立了这两个定理.     

特征值问题的预变换方法 (Ⅱ):任意三角形域Laplace特征值的计算分析

本文基于三类特殊三角形(等边、等腰直角及(30°,60°,90°)三角形域)Laplace特征函数系的构造,提出任意三角形区域上Laplace特征值的近似公式与算法.给出任意三角形域上所有特征值的逼近公式:λ_m,n≈π²/24S²(h₁²(7m²-12mn+7n²)+h₂²(3m²-4mn+3n²)-2h₃²(m²-4mn+n²)),m > n ≥1,特别, 对于最小特征值λ_min=λ_2,1≈π²/S² 11h₁²+7h₂²+6h₃²/24,其中S是该三角形(h₁≤h₂≤h₃)的面积,可作为数值PDE中三角剖分质量的一种新标准q(T):=3h₃²/16S² 11h₁²+7h₂²+6h₃²/24.结合数值计算与符号计算, 将这三类三角形的基底综合形成统一的新基底, 以反映几何(三条边)对于特征问题的影响, 从而提高任意三角形域的求解精度.     

Hamilton体系与辛正交系的完备性*

本文定义了一个Banach空间ZH,并证明了一类Hamilton体系的本征函数系(辛正交系)在ZH空间中具有完备性.还证明了如下结论ZH空间能连续嵌入到L₂[0,1]×L₂[0,1]但ZH≠L₂[0,1]×L₂[0,1].     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

TVS-锥度量空间中的统计收敛

本文研究TVS-锥度量空间中的统计收敛以及TVS-锥度量空间的统计完备性.令（X，E，P，d）表示一个TVS-锥度量空间.利用定义在有序Hausdorff拓扑向量空间E上的Minkowski函数ρ，证明了在X上存在一个通常意义下的度量d_ρ，使得X中的序列（x_n）在锥度量d意义下统计收敛到x ∈ X，当且仅当（x_n）在度量d_ρ意义下统计收敛到x.基于此，我们证明了任意一个TVS-锥统计Cauchy序列是几乎处处TVS-锥Cauchy序列，还证明了任意一个TVS-锥统计收敛的序列是几乎处处TVS-锥收敛的.从而，TVS-锥度量空间（X，d）是d-完备的，当且仅当它是d-统计完备的.基于以上结论，通常度量空间中统计收敛的许多性质都可以平行地推广到锥度量空间中统计收敛的情形.     

一类拟微分算子的拟局部性质

拟微分算子理论中,算子象征决定了算子性质.本文在含参数Sobolev空间H;(τ≥τ0＞0)的框架下,讨论了相应的含参数象征的拟微分算子的有关性质,并应用微局部分析方法获得该类算子的拟局部性质.从而对经典拟微分算子作了一类推广.     

Loewner空间上的拟共形映照

本文把Rn空间上拟共形映照的距离、模、分析定义推广到Loewner空间上,并证明了它们的等价性.     

一类具有变指数时滞项和源项的粘弹性方程解的爆破

研究含变指数时滞项和源项的粘弹性方程:u_tt+△²u-M(‖▽u‖²)△u+∫₀^tg(t-s)△u(s)ds+μ₁|u_t(x,t)|⁽r(x)-2)u_t(x,t)+μ₂|u_t(x,t-τ)|⁽r(x)-2)u_t(x,t-τ)=|u|⁽p(x)-2)u.利用凸性方法,证明了当该方程的初边值问题的初始能量为负值时,其能量解存在有限时间爆破.     

曲边区域内对流扩散奇异摄动问题的一致差分解法

本文构造并讨论了凸曲边区域内对流扩散奇异摄动问题的差分格式及其解的一致收敛性,并证明了解的一致收敛阶为O(hβ+τβ/2)(0<β<1/2)。其中h,τ分别为空间和时间方向的网格步长。     

各向异性EQ1rot非协调元高精度分析的一般格式

本文在各向异性网格下讨论了一般二阶椭圆方程的EQ₁^rot非协调有限元逼近. 利用Taylor展开, 积分恒等式和平均值技巧导出了一些关于该元新的高精度估计. 再结合该元所具有的二个特殊性质: (a)当精确解属于H³时, 其相容误差为O(h²)阶比它的插值误差高一阶; (b)插值算子与Ritz投影算子等价,得到了在能量模意义下O(h²)阶的超逼近性质. 进而,借助于插值后处理技术给出了整体超收敛的一般估计式.     

求解二维Fisher-KPP方程的一组加权结构保持差分格式的分析及其Richardson外推法

本文对二维Fisher-Kolmogorov-Petrovsky-Piscounov (Fisher-KPP)方程建立了一组加权的结构保持有限差分方法.运用能量分析法证明了当网格步长,参数α,p及θ满足一定条件时差分解具有保正性,保界性,保单调性等一系列数学性质,且在无穷范数意义下有O(τ+h_x²+h_y²)的收敛阶.然后,依据差分解的渐进展式,建立了一类Richardson外推法,获得了收敛阶为O(τ²+h_x⁴+h_y⁴)的外推解,提高了计算效率.最后数值实验表明,数值结果与理论结果相吻合.值得提及的是本文构造的Richardson外推法无需对时、空网格比增加额外的条件.     

RLW-KdV方程的紧致有限差分格式

本文研究了RLW-KdV方程的一个三层线性紧致有限差分格式.该格式是质量守恒和能量守恒的,用离散能量法证明了差分格式的收敛性和稳定性.所建格式的收敛阶为O(τ~2+h~4).数值实验验证了该格式的有效性和可靠性.     

一类非齐次p-Kirchhoff型椭圆方程组多解的存在性

研究一类非齐次p-Kirchhoff型椭圆方程组■其中λ,μ> 0,1

0,M(s)=a+bs~k,k≥0,H(x),h₁(x),h₂(x),l₁(x)和l₂(x)是连续函数且在R~N中可变号.运用山路定理和埃克兰变分原理证明了此问题至少存在两个正解.     

Loewner空间上的拟共形映照

本文把Ｒｎ空间上拟共形映照的距离、模、分析定义推广到Ｌｏｅｗｎｅｒ空间上，并证明了它们的等价性     

关于拟协调单元的注记

唐立民等于1979年提出拟协调单元的概念.拟协调单元是非协调单元的一种,虽然在单元边界上保持了积分意义下的连续性,但是仍然产生变分“犯规”.本文第一节将对拟协调单元作某些进一步的讨论,并给出一般的收敛定理.第二节将研究准协调单元.