拟线性抛物方程组第一边界问题的有限差分法

本文利用有限差分法来作出拟线性抛物方程组u_t=(-1)^M+1A(x,t,u…,u_x^M-1)u_x^2M+F(x,t,u,…,u_x^2M-1) (1)具有齐次边界条件u_xk(0,t)=u_xk(l,t)=0 (k=0,1,…,M-1) (2)与初始条件u(x,0)=φ(x) (3)在矩形区域Q_T={0≤x≤l,0≤t≤T}上的解,其中u=(u₁,…,u_m),φ(x)与F为m维向量值函数,A为m×m正定矩阵。证明了问题(1),(2)与(3)的一类相当广泛的有限差分格式的解的收敛性。所得向量值极限函数u(x,t)∈W₂^2M,1(Q_T)是问题(1),(2),(3)的唯一广义整体解。     

拟线性抛物方程组第一边界问题的有限差分法 ——Ⅲ.稳定性

讨论如下拟线性抛物组第一边值问题的显式、弱隐式和强隐式差分解u_t=(-1)^M+1A(x,t,u,…,u_x^M-1)u_x^2M+f(x,t,u,…,u_x^2M-1(x,t)∈Q_T={O<x<l,0<t≤T.}，u_x^k(0，t)=u_x^k(l，t)=0 (k=0，1，…，M -1)，0<t≤T，u(x，0)=φ(x)，0≤x≤l，其中u，φ和f是m维向量值函数，A是m×m正定矩阵，u_t=∂u/∂t，u_x^k=∂^ku/∂x^k.在以下意义下证明了该问题的一般有限差分格式的稳定性：即离散向量解在W₂^(2M，M)(Q_T)中的离散范数是连续地依赖于初始数据的H^M离散范数，以及矩阵A与自由项f的相应的离散范数.     

凸多边形可移动性的最优判定算法

设P=(p₀,p₁,…,p_n-1)和Q=(q₀,q₁,…,q_m-1)为平面内互不相交的两个凸多边形,其顶点用笛卡儿坐标描述,并按顺时针次序列出.本文提出了两个基本问题: (1)对于任意给定的方向d,如何确定P是否可沿此方向无限移动而不与Q相碰撞; (2)如何确定P相对于Q的所有可移动方向.并分别给出了O(log(n+ m))和O(n+m)的算法,在常数因子意义下,它们都是最优的.     

KdV方程的特征速度的Lax猜想的证明

本文证明Lax提出的对KdV方程u_l+6uu_x+u_xxx=0的如下猜想:存在N个正常数ci,j=1,2,…,N和2N个常数θ_i^±,j=1,2,…N对方程的任一解u(x,t)有其中S为一孤立波。     

Burgers方程的新的强对称、对称和李代数

本文给出Bursers方程 u_t=u_xx+2uu_x的一个新的强对称φ,两个新的对称σ₀和∑₀,并进一步给出了新的两组对称σ_n=φⁿσ₀,∑_n=φ~n ∑₀(n=0,1,2,…)和原有的两组对称K_n和τ_n(n=0,1,2,…)一起所满足的李代数。     

多变量的Cauchy问题的唯一性中的离散现象

本文讨论Cauchy问题sub from i,j=0 to n a_iju_xixj+sub from i=0 to n b_iu_xj+cu=0,x₀>0,u(0,x₁,…,x_n)=u_x0(0,x₁,…,x_n)=0的唯一性中的离散现象. 我们证明了,此问题在原点的一个邻域中只有平凡解的充要条件为b₀(0)-sub from i=1 to n(2a_i+1)λ_i≠0,其中λ_i>0是矩阵-(?²α₀₀/?_xi?_xj(0))(_i,j=1,…,n)与(a_ij(0))_i,j=1,…,n)的乘积的特征根的平方根.α_i是任意的非负整数.     

关于2n-算子组(LA,RB)的Taylor谱

设A=(A_1,……,A_n)与B=(B₁,……,B_n)为Hilbert空间H上的交换算子,L_A=(LA₁),……,LA_n))当R_B=(R(B₁,……,RB_n)分别为对应的B(H)中的左乘和右乘算子组。本文的主要结果是它们的Taylor谱有 Sp(L_A,R_B)=Sp(A)×Sp(B),
Sp_e(L_A,R_B)=Sp_e(A)×Sp(B)USp(A)×SP_e(B), 而且当A,B为Fredholm时,成立ind(L_A,R_B)=ind(A)·ind(B*)。我们用解算子方程的方法来证明上述命题,而且对Banach空间时,也作了一些讨论。     

线性模型中误差方差的二次型估计的可容许性问题

设有线性模型Y=(y₁…y_n)’=Xβ+ε=X(β₁…β_p)’+(ε₁…ε_n)’,这里n≥p,X已知,ε₁,…,ε_n相互独立,E(ε_i)=0,E(ε_i²)=σ²,E(ε_i³)=0,E(ε_i⁴)=3σ⁴,i=1,…,n,β∈R^p,0<σ~2<∞。令?={Y’AY:A≥0}。当损失函数为σ^-4(d-σ²)²且X=I_n或者X=1_n时,给出了 Y’AY(A≥0)在?中是σ₂的可容许估计的充分必要条件。又当ε～N(0,σ²I_n)时,给出了Y’AY(A≥0)在σ²的一切估计类中是可容许的充分条件。     

确定凸多边形可碰撞区域的快速算法

设P=(p₀,p₁,…,p_n-1)与Q=(q₀,q₁,…,q_n-1)是任二互不相交的凸多边形,本文研究了如何快速确定它们的可碰撞区域和可移动区域的问题. 文中提出了可碰撞性判定的新方法,研究了斜支撑线的基本性质,利用这些性质构造出了求斜支撑线的快速算法,其时间复杂度为O(log²(n+m)),在此基础上给出了确定可碰撞区域和可移动区域的时间复杂度为O(log²(n+m))的快速算法.     

齐次乘子算子的交换子

记H^l={w∈C^∞(R^k\{0}):w是l次齐次函数),R^_(-a)(m)是Taylor级数余项算子的n重叠合:m=(m₁,…,m_n)∈Zⁿ,Z记非负整数的集,α∈(R^k)ⁿ,定义 其中a=(a₁,…,a_n),a_i,f∈(R^k), 主要结果如下: 1.证明了几个介于算子T_^R(-a)^{(m)_w(ξ)),(a,f})的类与多线性奇异积分算子的类之间的对等定理; 2.作为应用,算子及 的某些有界性结果被给出,其中Ω∈H⁰,|β|≤|m|,且,m_i≥1。     

Schur函数的一个展式及其在计数几何中的应用

本文给出对称多项式的幂的Schur函数展式(x₁^k+…+x_n^k)^m=sumC_{(λ1,…,λn)}S_{(λ1,…,λn)}(x₁,…,x_n)中系数C_{(λ1,…,λn)}的计算方法,并把它和文献[1]应用于计数几何的若干问题。     

一类弱拟凸域上的Bergman型算子

得到了算子在空间 L^p(Ω_a,dv_λ)(1< p< ∞)上有界的充分必要条件,其中h(ξ)=(1-|z|²)^α-|w|²,K_s,_u,_v)( ξ , ξ'' )为一核函数.作为应用,证明了对所有多重指标α=( α₁,…,α_n)和β=(β₁,…,β_n),f∈L_H^p(Ωα, dv_λ)蕴含1≤ p<∞.     

相关函数类中的一些分析性质

设δ=(1,0,0,…),R_δ表示l₂中与δ有相同标准相关函数的元的全体,而对几个已给的实数ξ₀,ξ₁,…,ξ_n-1此外,由此得到下列结果:1.R_δ(ξ₀,ξ₁,…,ξ_n-1)中有且只有一个元e,使其范数为N_δ(ξ₀,ξ₀,…,ξ_n-1).2.当n→∞时,(?)收敛于一个非零的有限极限.     

强非线性抛物型方程的广义解

对于非线性抛物型方程其中Q_T=Ω×(0,T)是上半空间R₊ⁿ⁺¹中的一个柱形区域,S_T=Ω×[0,T]是Q_T的侧面,Ω是R~n中的一个有界区域,其边界Ω充分光滑,本文着重讨论函数a_i(x,t,u,s)和a(x,t,u,s)关于变元s=(s₁…,s_n)按指数形式快速增长的情形.文中得到了强非线性抛物型方程(1.1)和(1.2)在空间中广义解的存在性.这个结果也包括了a_i(x,t,u,s)及a(x,t,u,s)关于变元s=(s₁..,s_n)按幂次|s|ⁿ的形式增长的情形,改正了Ladyenskaja等的文献中第五章定理6.7的证明中的一个疏忽。     

关于前馈逆的结构的若干结果

设M′=(M_a,f)是一个c阶半输入存贮有限自动机,其输入字母表为Y,输出字母表为X。本文证明:(1)若X和Y的元素个数相同,则M′是延迟0步前馈逆的充分必要条件为存在M_a的状态图的一回路,对于其上任何状态P和Y中任何元素y₀,…,y_c-1,f(y₀,…,y_c-1,Y,λ_a(p))和X的元素个数都相同;(2)若X=Y={0,1},则M′是延迟1步前馈逆的充分必要条件为存在M_a的状态图的一回路,对于其上任何状态P和Y中任何元素y₀,…,y_c,f(y₀,…,y_c,λ_a(p))都可表示为f′(y₀,…,y_c-1,λ_a(p))⊕y_c的形式,或都可表示为f″(y₀,…,y_c-2,λ_a(p))⊕y_c-1的形式。     

一个求极值问题(Ⅰ)

对于给定的正整数n,N(N>n>1)与实数δ(0≤δ≤1/2),要求在k₁+k₂+…+k_n=N,k_i≥1(i=1,2,…,n)都是整数 (1)的条件下,求出一组使文中定义的目标函数L_{k¹k²…kⁿ}(δ)取最大值的整数组(k₁k₂…k_n),这整数组称为方程(1)的最优解。在本文中,将要证明:对于任何N>n>1与0≤δ≤1/2,一定能从适合(ⅰ)k₁为偶数;(ⅱ)|k_i-k_j|≤2(1≤i,j≤n);(ⅲ)在k₂,…,k_n中出现的偶数k都有相同的数值等条件的那些(k₁k₂…k_n)中找到方程(1)的一组最优解。特别对于δ=0与δ=1/2这两个重要的情形,给出了当N=n(e-1),而e≥4为一偶数时方程(1)的一组最优解。文中还证明了:对于δ=0与δ=1/2,以及N=nk(k≥2),从极限的观点看,(k,k,…,k)都是方程(1)的一个“相当不好”的解。     

Moran猜想的证明

在研究有关绝对矩的一些典型不等式时,澳大利亚著名数学家Moran指出:若x₁,x₂,x₃,…为相互独立随机变数序列,且有相同的分布那末对任何实数a₁≥a₂≥…≥a_n≥0,n≥1,可能成立不等式 本文完全证明了上述猜想,并说明了只有当a₁=a₂,a₃=…=a_n=0时,上式中等号成立。     

任意序列重新组合为某种有序序列的研究

本文研究了一个从铁路列车编组的实际背景中提出来的数学模型:把由前n个自然数组成的序列剖分为定个子序列π₁,π₂,π₃,…,π_k。然后依次联结起来,成为π′=π₁π₂…π_k。本文研究了拟顺序列集合的结构,并引入半二分树的概念。在π′属于拟顺序列集合的条件下,给出一种寻求最小剖分数的算法,计算量是O(n²)。     

线性模型误差方差估计的分布的非一致性收敛速度

设是用线性模型的前n个观察值算出的,基于残差平方和的误差方差σ²的估计,并以G_n(x)记的分布函数,Φ(x)记标准正态分布函数。本文在试验误差序列e₁,e₂,…独立同分布的条件下,只需假定E(e₁⁶)<∞,证明了最佳的非一致性收敛速度其中C为一个与n和x都无关的常数。     

一类非线性波方程初边值问题解的爆破

该文研究如下具有非线性阻尼项和非线性源项的波方程的初边值问题 u_tt -u_xxt -u_xx -(σ(u²_x)u_x)_x+δ|u_t|^p-1u_t=μ|u|^q-1u, 0 < x <1, 0≤ t ≤T, (0.1) u(0, t)=u(1, t)=0, 0≤t≤ T, (0.2) u(x, 0)=u₀(x), u_t(x, 0)=u₁(x),0≤x≤1.(0.3) 文章将给出问题(0.1)--(0.3)的解在有限时刻爆破的充分条件, 同时将证明问题的局部广义解和局部古典解的存在性和唯一性.