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

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

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

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

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

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

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

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

齐次乘子算子的交换子

记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。     

有限变系数系统的运动稳定性

以E(p,q;ε)记满足条件的二阶变系数系统的全体所组成的集合。此处p>0,q>0,ε≥0。本文证明了:(甲) 对于任何两个正常数p及q,存在一个正常数ε^*=ε^*(q/p²),使得(ⅰ) 当0≤ε<ε^*,则集合E(p,q;ε)中的每一个系统的平凡解都是渐近稳定的;(ⅱ) 当ε^*<ε,则集合E(p,q;ε)中有系统共平凡解是不稳定的。这就否定了一种普遍的猜想:条件p₁≥p(t)≥p₀>O,q₁≥q(t)≥q₀>0。可以保证系统的平凡解的稳定性;(ⅲ) 当ε^*=ε,则集合E(p,q;ε)中每一系统的平凡解都是稳定的,但存在系统,其平凡解不是渐近稳定的。(乙) 函数ε^*(q/p²)随q/p~2由0增加到+∞,而由1单调减少到0。(丙) 给出了函数ε^*(q/p²)的数值图表,以及近似解析表达式,供工程师及物理、力学家之用。注意,p₁实际上可任意大,ε^*只与p₀,q₀,q₁有关,相应的结果亦已得到。     

关于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空间时,也作了一些讨论。     

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

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

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)的光滑性.     

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

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

类渐近线性p&q-Laplace方程弱解的全局衰减性

该文研究椭圆型方程 {Δ_pu+m|u|^p-2u-Δ_qu+n|u|^q-2u=g(x, u), x∈R^N, u∈ W^{1, p}(R^N)∩W^{1, q}(R^N) 弱解在全空间R^N上的衰减性, 其中m, n ≥ 0, N≥3, 1 < q < p < N, g(x, u)关于u满足类渐近线性. 证明了该方程的 弱解在无穷远处关于|x|呈指数衰减性.     

亚纯函数的级

本文主要证明了定理1.设f(x)在开平面|z|<+∞上亚纯,具有一个非零有穷亏值,再设△(θ_k)(k=1,2,…,q,0≤θ₁<θ₂<…<θ_q<θ₁+2π=θ_q+1)是q(1≤q<+∞)条半直线,并且对任意给定的数ε,0<ε<π/2,有如果f(z)的下级μ<+∞,则f(z)的级λ≤π/ω<+∞,其中...     

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

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

决定类数为一的(2,2,…,2)型代数函数域

设k=F_q(t)为F_q上以t为变元的有理函数域,F_q为q元域,特征不是2。设L=k(√D₁,…,√D_n~(1/2))是k的2ⁿ次扩张,常数域为F_q,D_i∈F_q[t],n>1。本文证明了:(1)除子类数为1的域L恰为k(√P₁,√P₂)和k(√P₁P₂,√P₁P₃),其中P_i∈F_q[t]为互异一次多项式。(2)理想类数为1的虚域L=k(√D₁,√D₂)(即L的整数环是唯一析因环)必是D₁=t;而D₂=t³-t-1(q=3),t²-t-1(q=3),t~2+2(q=5),或t+c,c∈F_q(或其在变换下的变形)。     

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

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

亚纯函数的幅角分布与增长性

设 f(z)为下级μ<+∞的平面内的亚纯函数,argz=θ_k(k=1,2,…,m;1≤m <+∞;0≤θ₁<θ₂<…<θ_m<2π,θ_m+1=θ_1+2π为平面内m条射线,使得对任意的ε>0及X=0,∞有 这里ρ为一任意给定的非负实数.如果f⁽¹⁾(z)(l≥0)具有一个有穷非零亏值 a,则f(z)的级λ≥max(π/ωρ)其中ω=min (θ_k+1-θ_k).     

一个求极值问题(Ⅰ)

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

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

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

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

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