一个重特征方程Cauchy问题解的存在性

本文讨论方程L_pU≡u_xx—x²u_?+Pu_?=0 Cauchy问题解的存在性。对于P≠1,3,5,…和P=1,3,5…的两种情形,我们分别给出了Cauchy问题存在C^∞解的充要条件。此外,对于P=1,3,5,…的情形,在方程L_pU=0的重特征点x=0上附加某种数据所得的新定解问题,我们也给出了它存在唯一C^∞解的充要条件。     

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为一孤立波。     

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

本文利用有限差分法来作出拟线性抛物方程组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)的唯一广义整体解。     

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

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

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

讨论如下拟线性抛物组第一边值问题的显式、弱隐式和强隐式差分解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的相应的离散范数.     

多变量的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是任意的非负整数.     

更新序列对于圈乘运算的封闭性

本文的主要结果有二:ⅰ)用纯分析且初等方法证明了:若u=(u₀,u₁,…)和u=(u₀,u₁,…)是两个更新序列,则u和u的圈积uu=(u₀u₀,u₁u₁,…)也是一个更新序列;ⅱ)分别用概率和分析方法给出了两个更新序列的圈积的f-序列的明显表达式。     

一类非线性混合型方程的Tricomi问题

本文考虑非线性混合型方程 k(x,y)u_xx+u_yy+α(x,y)u_x+β(x,y)u_y+γ(x,y)u-|u|^ρu=f(x,y)的Tricomi 问题.利用能量积分和不动点原理,在很弱的条件下证明了H¹强解的存在性.     

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

设有线性模型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)在σ²的一切估计类中是可容许的充分条件。     

Duffing型方程解的有界性

证明了下列Duffing型方程的所有解的有界性 :d2x / dt2 +x²ⁿ⁺¹+Σ²ⁿ_j=0 x^jp^j(t) =0 ,n≥1,其中,p1,p2 ,… ,p2n是 1周期的有Lipschitz连续性的函数,p_n+1,… ,p2n是Zygmund连续的 .这表明Duffing型方程的解的有界性不必要求pj(t)的光滑性.     

一个求极值问题(Ⅰ)

对于给定的正整数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)的一个“相当不好”的解。     

解在QK 型及Dirichlet 型空间中的线性微分方程

对于单位圆盘上系数函数是解析函数的复微分方程
f⁽ⁿ⁾+A_n-1(z)f^(n-1)+…+A₁(z)f''+A₀(z)f=0,
给出了方程的系数函数和解函数之间的关系, 即当系数函数A_j 满足给定的条件时, 方程的所有解属于Q_K型空间和Dirichlet 型空间.     

关于齐次加型同余式

本文研究了形如α₁λ₁^k+…+α_sλ_s^k=0的加型方程,此处诸α₁是一个次数为n的代数域K中的整数,主要结果为:若s≥(2k)ⁿ⁺¹(或当2 k时,s≥cknlog k),方程在任何-adic域中均可以非寻常求解,此处 为K中素理想。     

二阶抛物方程组解的Lp-正则性和Hölder连续性

在可控和自然增长条件下,非线性抛物组 u''_t-D_aA_i^a(x,t,u,Du)= B_i(x,t,u,Du),i=1,…,N,(x,t)∈Q之解。u∈L²(0,T;H¹(Ω,R^N))∩L^∞(0,T;L²(Ω,R^N))(或∩L^∞(Q,R^N))的空间导数D_au事实上属于L_loc^p(Q,R^N),p>2;拟线性抛物组 u''_t-Dα[A_ij^αβ(x,t,u)D_βu^j+a_j^a(x,t,u)]=B_i(x,t,u,Du),i=1,…,N的每一个解都在一开集 Q₁?Q上 Holder连续,且H^n+2-p(Q\Q₁)=0;若当j>i时A_ij^αβ=0,且B_i(x,t,u,p)关于|p|的增长阶小于2,则Q₁=Q;若A_ij^αβ和a_i^a都Holder连续,则D_au也在Q₁上 Holdler连续.     

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

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

公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF^#与QM的协调性。本文对ACG建立了一个层谱,B₀,B₁,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF^#与QM的协调性只需在B₀中就可以获得,虽然,在B₀与ACG之间还存在个具有递增强度的公理系统。     

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

该文研究如下具有非线性阻尼项和非线性源项的波方程的初边值问题 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)的解在有限时刻爆破的充分条件, 同时将证明问题的局部广义解和局部古典解的存在性和唯一性.     

Gauss-Markov条件下最小二乘估计的强相合性

设Y_i=x＇_iβ+e_i,1≤i≤n为线性模型,β_n=(β_n1,…,β_np)＇为β=(β₁,…,β_p)＇的最小二乘估计,以u_n记(sum from i=1 to n(x_ix＇_i))的(1,1)元,v_n=u_n^-1.证明了在Ee_i=O且{e_i}满足Gauss-Markov条件时,v_i→∞及sum from i=2 to ∞(v_i^-2(v_i-v_i-1)log~2i<∞)为β_n1强相合的充分条件,且对任何ε_n→0,v_i→∞及sum from i=2 to ∞(ε_iv_i^-2(v_i-v_i-1)log²i<∞)已不再充分.提出了β_n1强相合的一个充要条件,它把β_n1强相合归结为正交随机变量级数的收敛问题.     

Stability of Rotation Relations of Three Unitaries with the Flip Action in C*-Algebras*

The authors show that if Θ = (θ_jk) is a 3 × 3 totally irrational real skewsymmetric matrix, where θ_jk ∈ [0, 1) for j, k = 1, 2, 3, then for any ε > 0, there exists δ > 0 satisfying the following: For any unital C^*-algebra A with the cancellation property,strict comparison and nonempty tracial state space, any four unitaries u₁, u₂, u₃, w ∈ A such that (1) u_ku_j - e^{2πiθjk ujukk} < δ, wu_jw^-1 = u^-1_j, w² = 1_A for j, k = 1, 2, 3; (2)τ (aw) = 0 and τ ((u_ku_ju_k^*u_j^* )ⁿ ) = e^2πinθjk for all n ∈ N, all a ∈ C^*(u₁, u₂, u₃), j, k = 1, 2, 3 and all tracial states τ on A, where C^*(u₁, u₂, u₃) is the C^*-subalgebra generated by u₁, u₂ and u₃, there exists a 4-tuple of unitaries u₁, u₂, u₃, w in A such that u_ku_j = e^2πinθjk u_ku_j, w u_j w^-1 = u^-1 _j, w² = 1A and k u_j - u_jk < ε, k w - wk < ε for j, k = 1, 2, 3. The above conclusion is also called that the rotation relations of three unitaries with the flip action is stable under the above conditions.     

几个非线性演化方程的解析解

本文我们求出了K—P方程u_xt+6(uu_x)_x+u_xxxx+3k²u_yy=0和Boussinesq方程u_tt-u_xt-6(u²)_xx+u_xxxx=0的孤立波解族.求出了广义Schr?dinger方程iu_t+u_xx-u相似文献