对称凸集上初等对称函数为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∈(?)的充要条件是     

齐次乘子算子的交换子

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

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

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

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

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

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

Agard的η-偏差函数与Schottky定理

研究由拟共形理论中的η-偏差函数η_k(t)定义的某些函数的单调性,并从其得出η_k(t),η_k(t)-t和η_k(t)-λ(k)等函数的渐近精确的上下界.从而揭示了关于解析函数的Schottky定理中上界函数的一些性质,改进了它的已知的显式估计.     

一个求极值问题(Ⅰ)

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

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

设 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).     

Pascal矩阵的一种显式分解

本文引入了两种广义Pascal矩阵凡,P_n,k,Q_n,k以及两种广义Pascal函数矩阵O_n,k[x,y],Q_n,k[x,y],证明了Pascal矩阵能够表示成(0,1)-Jordan矩阵的乘积而且Pascal函数矩阵能分解成双对角矩阵的乘积.     

Schubert计算与Schur函数

给定Grassmann流形的两个Schubert链σ_a,σ_b,我们有乘积公式σ_a·σ_b=sum from 0 δ(a,b,c)σ_c。在文献[1]中作者利用酉群表示论中的Schur函数给出了计算δ(a,b,c)的公式。反之,给定σ_c,σ_b,我们可以问有哪些a,使σ_c在σ_a·σ_b中以δ(a,b,c)为系数出现?本文在文献[1]的基础上,利用Schubert计算与Schur函数运算的相似性及群表示论中的Branching公式进一步研究这一问题。     

Si3N4-Y2O3-La2O3系统的相关系

本文提出了Si₃N-Y₂O₃-La₂O₃三元系统的亚固(固相线下)相图。在此系统中,形成四个含固溶体的两相区和八个三相区。在富Si₃N₄区,发现存在一个新相:0.4Y₂O₃·0.6La₂O₃·3Si₃N₄,它于1550℃开始生成,随着温度升高,生成量增大,然而极难获得其纯单相。钇黄长石Y₂O₃·Si₃N₄可被La₂O₃取代形成有限固溶体,其固溶限为55mol％La_2O₃,即0.45Y₂O₃·0.55La₂O₃·Si₃N₄。在Y-La-Si-O-N系统中,实验测得,具有同结构的三类含氮稀土硅酸盐,都分别形成连续取代固溶体。它们是:J相连续固溶体——2(Y,La)₂O₃·Si₂N₂O,K相连续固溶体——(Y,La)₂O₃·Si₂N₂O和H相连续固溶体——(Y,La)₁₀(SiO_4)₆N₂。     

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

密度函数的相合随机窗宽核估计

设X₁,X₂,…,X_n是来自具有密度f的总体的R^d(d≥1)中iid。样本,定义基于样本X₁,X₂,…,X_n的f(x)的核估计为:其中窗宽h_n不仅依赖于样本X₁,X₂,…,X_n,也同x有关,我们在关于核及h_n的很弱条件下,得到了f_n(x)的强一致相合性,而且应用这个一般结果于一个重要特例——最近邻估计,施加于数串{k_n}的限制较文献[4]大为减弱,我们的工作,使在“核具有有界支撑”这一限制下,随机窗宽核估计的强相合问题达到接近彻底解决的程度。     

完整三角和的估计

设q是一个正整数,f(x)=α_kx~k+…+α₁x+α₀(k≥3)是一个适合条件(α₁,…α_k,q)=1的整系数多项式,本文证明了,对素数p和l≥1,有以及。     

流形的浸入和稳定法丛

设f:M^m→Nⁿ(m≤n)是任一映射,M^m和Nⁿ是微分流形,S₁是T(M)→T(N)的单同态的同伦类的集合,V_f是f的稳定法丛的余维为n-m的标架场的同伦类的集合。本文证明了:当M的同伦维数≤n-2时,S_f与V_f一一对应,且这一对应与z₁(N^M,f)的作用交换,这使得我们容易计算S_f(因为对V_f的计算比较有办法),而且得到结论:当M的同伦维数≤n-2时,M→N的浸入的存在和分类仅依赖于M和N的稳定切丛。     

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

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

非线性退缩反应扩散方程组的整体解

本文讨论非线性退缩方程组u_it=△η_i(u_i)+f_i(x,t,u₁,…,u_N),(x,t)∈Q_T=Ω×(0,T)具有Dirichlet边界条件的解之整体存在和非整体存在.     

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

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

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

关于Hayman方向

本文获得如下定理:设f(z)为开平面上λ(0<λ<+∞)级亚纯函数,则至少存在一条由原点引出的半直线(B):arg z=θ_?(0≤θ₀<2π),使得对于任意正数ε,任意正整数k及任意两个开平面上级小于λ的亚纯函数a(z)及b(z),只要b(z)—a^(k)(z)?0就有 lim log{n(r,θ₀,ε,f=a(z))+n(r,θ₀,ε,f^(k)=b(z))}/logr=λ。