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

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

二阶泛函微分方程的渐近性和振动性

本文讨论了二阶泛函微分方程的解的渐近性和振动性。文中指出,当sum from to +∞ (g^-1)(1/(r(t))dt<+∞时,(1)式的非振动解的渐近性态有且仅有如下的四种类型:A_c^k,A_c^∞,A_o^k,A_o^∞。当sum from to +∞ (g^-1)(1/(r(t))dt=+∞时,(1)式的非振动解的渐近性态有且仅有如下三种类型:A_c^o,A_∞^c,A_∞^c。在f为超线性或次线性的前提下,本文分别给出了存在A_c^k,A_c^∞,A_o^k,A_c^o,A_∞^c等型非振动解的充要条件。在f为强超线性或强次线性的前提下,本文给出了方程(1)为振动的充要条件。     

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。     

关于矩阵乘法的一个算法的时间复杂度

两个n阶非负整数方阵相乘,常规算法的时间复杂度为O(n³),文献[1]提出一个“运算次数”为O(n²)的“最佳”算法,本文根据算法分析理论得出此算法的时间复杂度不低于O(n³log₂ⁿ),因而比常规算法的运算量还大.     

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

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

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

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

l p值Gauss过程的增量有多大

设{Y(t),t≥0}={X_k(t),t≥0}^∞_k=1是独立的Gauss过程序列,σ²_k(h)=E(X_k(t+h)-X_k(t))².记σ(p,h)=(sum from k=1 to ∞ σ^p_k(h))^1/p,P≥1.考察σ(P,h)有界时Y(·)的大增量.作为一个例子,给出了无穷维分数Ornstein-Uhlenbeck过程在l^p空间中的大增量.所建立的方法适用于某些其它类型的平稳增量过程.     

Sobolev空间的实内插

本文求出了Sobolev空间L_k^∞,BMO_k与L_k^p,H_k^p(0 < p < ∞)之间的实内插空间.     

关于循环域类数奇偶性的一个初等判别法

设K是分圆域Q(ζ_p^l)的奇次子域,F为K的分圆单位群。F₊为K的全正分圆单位群。通过计算dimF₂F₊/F²,我们给出域K的理想类数奇偶性的一个初等判别法。由此计算出在分圆域Q(ζ_p)(P<1000)的奇次(循环)子域(次数3≤n≤19)中间,恰有17个域具有偶类数。     

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

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

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

以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₁有关,相应的结果亦已得到。     

一个求极值问题(Ⅰ)

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

k近邻判别法后验错误概率的指数限

本文对k>1的情况证明了:k近邻判别的后验错误概率L_n在一定条件下,仍以概率1收敛于其无条件错误概率的渐近值R_k,且P(|L_n-R_k|≥ε)有形如O(exp(-cn^1/3))的指数限。k=1的情况已在文献[1]中解决,且上述表达式中的1/3可以用1/2代替。     

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

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

两类万有膨胀移位的刻划

本文具体刻划了这样两类万有膨胀移位算子:A_^?0)类单边加权移位和(BCP)_θ类单边加权移位.由此我们回答了一些有关问题.     

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

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

混合刚度有限元法——直接表述和数学基础

本文陈述了混合刚度法的两种等价的概念。作为许可函数集,引进分片H¹(Ω₁)一空间H_p¹(Ω)和分片H(div;Ω_i^*)_—空间H_p(div;Ω),并且装置两个新型的依赖网格范数,以有助于实现统一的有限元分析。     

Clifford分析中双正则函数的非线性边值问题 *

讨论Clifford分析中的双正则函数,研究它的Coxo-Plemelj公式和一个非线性边值问题:A(t₁,t₂)φ⁺⁺(t₁,t₂)+B(t₁,t₂)φ^+-(t₁,t₂)+C(t₁,t₂)φ^-+(t₁,t₂)+D(t₁,t₂)φ^--(t₁,t₂)=g(t₁,t₂)f[t₁,t₂,φ⁺⁺(t₁,t₂),φ^+-(t₁,t₂),φ^-+(t₁,t₂),φ^--(t₁,t₂)].利用积分方程方法和Schauder不动点定理证明了问题解的存在性,并给出了解的积分表示式以及线性情况下解的存在唯一性.     

关于多元函数最佳逼近精确阶的Timan问题

关于找一个充分必要条件使Ω^k(f,1/σ)L_p(Rⁿ)=O(A_σ(f)L_p(Rⁿ)),σ→∞,成立的Timan问题被解决.这个条件是Q^k(f,δ)L_p(Rⁿ)=O(Ω^k+1(f,δ)L_p(Rⁿ)),δ→0.