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

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

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

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

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-统计量的Berry-Esseen界限

设AN为标有实数指标的N个球的一个总体,从中无放回地随机抽取n个球,其指标分别记为x₁,…,x_n.设φN(x,y)为关于x,y对称的二元Borel可测函数,记θ_N=E_φN(x₁,x₂),g(x₁)=E(φN(x₁,x₂)|x₁),σ_g²=Var(g(x₁)).本文证明了:若存在固定常数λ₁,λ₂,使0<λ₁≤n/NP_N≤λ_2<1,则存在仅与λ₁,λ₂有关的绝对常数C,使其中Φ(x)标准正态分布函数。     

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

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

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

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

二阶抛物方程组解的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连续.     

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

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

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

箱样条的局部逼近阶

设△是由平面R²={(x₁,x₂):x₁,x₂∈R}上三族直线 x₁=n,x₂=n,x₂-x₁=n,n∈Z所构成的分划。R²上的函数s称为是关于分划△的一个k次样条函数,如果s在R~2\△的各连通分支上与一个全次数≤k的多项式相一致。全体k次样条函数所成的空间记为π_k,△。令π_k,△^ρ=π_k,△∩C^ρ。以φ_k,ρ表示由π_k,△^ρ内所有箱样条组成的集合,以m(k,ρ)表示φ_k,ρ所具有的局部逼近阶。迄今为止,关于m(k,ρ)仅有deBoor与Hollig,及Dahmen与Micchelli的少量结果。本文完全确定了m(k,ρ)的值,其结果如下: (1)m(k,ρ)=2k-2ρ,如果2k-3ρ=2, (2)m(k,ρ)=2k-2ρ-1,如果2k-3ρ=3或4, (3)m(k,ρ)=k+1,如果ρ=0, (4)m(k,ρ)=min{2k-2ρ-2,k},如果2k-3ρ≥5且ρ≥1。     

一个方程组的解及相关边值问题

该文考虑方程组 t(u_x - v_y - w_t ) + w = 0 (H) u_y = -v_x, u_t = -w_x, v_t = w_y 的解f = u + iv + jt ∈C²,找到(H)可解的一个充要条件,并讨论相关边值问题解的存在性和积分表示,推广了1992年H. Leutwiler［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<∞.     

一个求极值问题(Ⅰ)

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

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

对于非线性抛物型方程其中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的证明中的一个疏忽。     

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阶RFDE边值问题:x⁽ⁿ⁾(t)=f(t,x_t,x(t),x′(t),…,x^(n-1)(t)),　t∈［0,T ］,x(t)=φ(t),t∈［-r,0］;x′(0)=η,x″(0)=η₂,…,x^(n-2) (0)=η_n-2,x^(j)(T)=A,其中j∈I={0,1,2,…,n-1},得到了解的存在性和唯一性新的结果.     

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强相合归结为正交随机变量级数的收敛问题.     

对合数组与对合不动点集分支的维数(Ⅰ)

设M~n为n维光滑闭流形。给定光滑非自由对合(Mⁿ,τ),本文定义了一个数组I(τ),称为联系于(Mⁿ,τ)的对合数组。我们证明了,I(τ)=(k₀,k₁,…,k_r),0≤r≤n,0≤k_0...     

无限时滞方程中的Razumikhin方法

我们讨论无限时滞方程: x′(t)=F(t,x(s);α≤s≤t),t≥t_*, 其中-∞≤α≤t_*,α可为-∞,F为Volterra泛函,它由t以及x(s)在α≤s≤t上的值所确定并取值于R″之中。我们运用Razumikhin技巧建立方程(*)的稳定性及有界性定理而不需要假定F(t,φ)当φ有界时为有界。给出了若干例子以说明所得结果的优越性。     

非参数回归函数最近邻估计的强相合性

设(X,Y),(X₁,Y₁),…,(X_n,Y_n)为取值R^d×R的独立同分布随机向量,E|Y|<∞。设m_n(x)为m(x)=E(Y|X=x)的最近邻估计。本文在E|Y|^r<∞(对某个r>1)或E{exp(t|Y|^λ)}<∞(对某个λ>0及t>0)的条件下,建立了m_n(x)的强相合性。其它附加条件均与(X,Y)的分布无关。