关于三角剖分下二元样条空间的维数

本文利用多元样条的协调条件、平面图理论和空间同构的方法建立了对于所有μ≥1,k≥4μ+1和任意三角剖分T的样条空间S_k^μ(T)的维数公式,对于一类尽可能任意的三角剖分T=T(μ),本文也给出了当k≥μ+1时S_k^μ(T)的维数公式。特别当μ=1,2时此类剖分在逼近问题上有明显的实用性。     

用Hermite插值同时逼近函数及其导数

Given the space C_[-1,1]^k consisting of k-times continuonsly differentiable real-valued function. Further, we provide C_[-1,1]^k with the norm ‖f‖_k which for a given f∈C_[-1,1]^k is defined by.     

齐次Moran集的维数

设μ(|n_k|_k≥1,|c_k|_k≥1)为正整数序列|n_k|_k≥1与正数序列|c_k|_k≥1确定的齐次Moran集的集类.确定了μ中元素的Hausdorff维数的最大值与最小值,并证明对任一介于上述最大值和最小值之间的数s,存在μ中的元素,其Hausdorff维数等于s,前述结论对于填充维数亦成立。还讨论了齐次Moran集的其他性质。     

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。     

高波数Helmholtz 方程的内罚有限元方法

本文考虑二维和三维区域上高波数Helmholtz 散射问题的线性内罚有限元方法. 该散射问题的边界条件取为一阶吸收边界条件. 本文证明了, 如果加罚参数γ-γ_r+iγ_i 的虚部 γ_i 大于零, 那么内罚有限元方法是绝对稳定的, 即对任意k,h,R > 0 都存在唯一解. 这里k 是波数, h 为网格尺寸, R是区域的直径. 进一步地, 如果|γ_r|≤γ_i≤1, 那么存在与k,h,γ,R 无关的常数C₀;C₁;C₂, 使得当k³h²R ≤ C₀ 时, 该方法的H¹ 误差界为(C₁kh + C₂k³h²R)RM(f, g), 当k³h²R > C₀ 且kh 有界时,H¹ 误差界为(C₁kh + C₂/γ_i)RM(f, g), 其中M(f, g) := (‖f‖_L²(Ω) + R^-1/2‖g‖_L²(Γ)) + R^-1|g|_H^1/2(Γ). 另外, 本文还推导了L² 误差估计. 注意到γ = 0 时内罚有限元方法就是经典的有限元方法, 通过取加罚参数为iγ_>i 并令γ_i 趋于0+, 本文还在k³h²R ≤ C₀ 的条件下, 得到了有限元方法的稳定性和误差估计.作者以前的工作只考虑了加罚参数为纯虚数的情形并且没有考虑对R 的依赖关系.     

慢电子对氮、氧和氖原子散射的总截面的计算

本文用下列解析原子波函数 1s电子:φ₁(r)=N₁e^-μar, 2s电子:φ₂(r)=N₂[(μr)e^-μr-Ne^-μar], 2p电子:φ3(r)=N₃(μr)cosθe^-μr, φ₄(r)=N₄(μr)sinθe^iφ-μr, φ₅(r)=N₅(μr)sinθe^-iφ-μr,推导出入射电子与氮、氧和氖原子之间相互作用的解析势函数,其中包括了交换作用与极化作用。应用这种势函数并用分波法,文中还算出了慢电子在这三种原子的势场中运动的畸变波函数、相移及散射总截面。计算结果与实验值很符合。     

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

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

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空间中的大增量.所建立的方法适用于某些其它类型的平稳增量过程.     

超导临界温度理论(Ⅰ)

本文求出了Eliashberg方程在T=T_c时的解,得到了下面的临界温度级数表示式: 其中α₀(μ^*),α₁(μ^*)等系数是μ^*的函数.此式表明,T_c不仅依赖于λ,〈ω²〉和μ^*,而且依赖于有效声子谱α²F(ω)的各级矩〈ω²n〉.这是区别于前人的T_c公式最重要的一点。这说明像McMillan以及Allen和Dynes的T_c公式不仅是近似的,而主要是他们没有能正确地概括出α²F(ω)对T_c的影响.     

常微系统的一个诸态备经性质定理

一个紧致的C^∞型Riemann流形Mⁿ上一个C^q型常微系统S,q≧1,自然地在Mⁿ的切空间丛上导出一单参数变换群。一个看法是,这一变换群的诸态备经性质将部分地确定S在Mⁿ上的相空间的拓扑结构。以前我们给出过Mⁿ的正规标架丛上与S相联系的函数ω_k(γ),它们在我们的讨论中处于较重要的地位。这里将要证明的是:当q≧2时,在这类函数的某些积分值都>0或都<0的情况下存在周期轨道这样一个结果。用这一结果以及关于二维结构稳定系统的已知事实,我们给出闭曲面上C²型常微系统结构稳定的一个充分且必要的条件。     

对称凸集上初等对称函数为Schur-凹的充要条件

设x,y∈Rⁿ,x被y所控制记作x(?)y。又w∈Rⁿ,令S_k(x)为第k个初等对称函数。Q_m,n为前n个自然数取m个的严格增序列的集合。对于β∈Q_m,n写w_β=(W_{^β(1),…,WB(m)}∈R^m。本文主要证明了下面的结论:(1)S_k(x)在(?)_w上是Schur-凹的充要条件是(2)S_k(x)≥0,(?)x∈(?)_w的充要条件是S_k(w)≥0且S_k(x)在(?)_w上是Schur-凹的(3)S_k(x)≥0,(?)x∈(?)的充要条件是     

一个求极值问题(Ⅰ)

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

SU(2)规范理论与N个磁单极运动体系的电动力学

本文扼要地阐明了关于规范势B_μ可分解和具有内部结构的基本观点,指出B_μ可分解为b_μ和Γ_μ两部分,b_μ满足伴随交换,它对应于某种具有质量的矢量粒子,Γ_μ满足规范势的变换,它可由更基本的场组成,在SU(2)规范理论中,这种基本场是Higgs场φ(x),由此导出了N个磁单极运动体系存在时的电动力学的基本方程,由于这一理论自身包含了磁单极的拓朴守恒流,由此给出磁荷量子化条件,并证明了φ(x)的零点的世界线对应磁单极的运动轨迹,磁单极的电动力学由φ(x)零点的电动力学描述,文中还得到了对应于N个磁单极运动体系的SU(2)规范场方程的无源解,并将吴-杨势推广到N个磁单极的运动体系。     

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

本文讨论了二阶泛函微分方程的解的渐近性和振动性。文中指出,当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)为振动的充要条件。     

区域上解析函数系的不完备性及基的问题

设G是复平面上满足一定条件的Jordan单连通区域,G_∞是的余区域。设{b_k}是位于G_∞中点列,它们中可以有相同的。本文在对{b_k}加上一些条件,利用、{b_k}构造一个G_∞上解析函数系{p_k^(1/p)(z)},p>1,研究它在空间E+p(G_∞)上的不完备性问题,其闭包的特征性质及基的问题。     

广义相对论中的能量动量守恒定律

在广义相对论和特殊相对论中具有同一物理含义的守恒定律应利用Nether定理由同一李群决定。从这一观点出发,本文提出了广义相对论中的能量动量守恒定律应由下列的广义位移变换 x^μ′=x^μ+λ_(a)^μb_(a) 导出,其中λ_(a)^μ为vierbein。利用该变换的不变性,我们得到了合理的引力场的能量动量张量,并由能量动量张量的协变性,封密体系的总能量与坐标选择的无关性,以及引力辐射等问题讨论了这一守恒定律的合理性。     

反向Carleson型不等式和H1φ空间的刻划

Carleson曾证明了下述重要不等式:其中μ是R₊ⁿ⁺¹上的Carleson测度,f_φ*是f的非切向极大函数。本文证明了反向Carleson型不等式,从而给出了Hardy型空间H_φ¹的一个等价刻划,同时我们还得到了一些在经典H¹空间的应用。     

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

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

关于齐次加型同余式

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