多维重Brown运动图集和像集的精确Hausdorff测度

设{W(t): t∈R}, {B(t): t∈R₊}是两相互独立取值于R且W(0)=B(0)=0的标准Brown运动， {Y(t)=W(B(t)), t∈R₊}为RR上的重Brown运动，X₁(t), ..., X_d(t)是Y(t)的d个独立复制. 我们将探讨d维重Brown运动X(t)=(X₁(t), ..., X_d(t))的像集和图集的精确 Hausdorff 测度. 更确切地, 得到了X 的像集X(Q)={X(t): t∈Q}$和图集GrX(Q)={(t, X(t)): t∈Q}的精确Hausdorff 测度, 其中Q为(0, ∞)上的Borel 集.     

格值连续函数的下方图形超空间及其Hilbert方体紧化

设L 是连续半格,用 USC(X, L) 表示乘积空间 X×ΛL 的包含集合 X×{0} 的所有闭的下集之族,用 ↓C(X, L) 表示由X到ΛL的连续函数的下方图形全体．赋予 Vietoris 拓扑后, USC(X, L)是拓扑空间,↓C(X, L) 是它的子空间. 证明了如果X是无限的局部连通的紧度量空间且ΛL是绝对收缩核,则USC(X, L) 同胚于 Hilbert 方体 [-1,1]^ω. 此外, 如果L是可数个闭区间的乘积,则↓C(X, L)在USC(X, L)中是同伦稠的,即存在同伦 h: (X, L)×[0,1]}→ USC(X, L), 使得h₀=id_{USC(X, L)}, 且对任意的t>0, 有h_t(USC(X, L))Ì↓C(X, L). 但 ↓C(X, L)不是可完备度量化的.     

矩阵方程A1X1B1 + A2X2B2 + · · · + AlXlBl = C的中心对称解及其最佳逼近

设矩阵X=(x_ij) ∈^Rn×n, 如果xi_j=x_{n+1-i, n+1-j} (i,j=1,2, …,n), 则称X是中心对称矩阵. 该文构造了一种迭代法求矩阵方程A₁X₁B₁+A₂X₂B₂+…+A_lX_lB_l=C的中心对称解组(其中[X₁, X₂, …, X_l]是实矩阵组). 当矩阵方程相容时, 对任意初始的中心对称矩阵组[X₁⁽⁰⁾, X₂⁽⁰⁾, …, X_l⁽⁰⁾], 在没有舍入误差的情况下,经过有限步迭代,得到它的一个中心对称解组, 并且, 通过选择一种特殊的中心对称矩阵组, 得到它的最小范数中心对称解组. 另外, 给定中心对称矩阵组[X₁, X₂, …, X_l], 通过求矩阵方程A₁X₁B₁+A₂X₂B₂+…+A_lX_lB_l=C(其中C=C-A₁X₁B₁-A₂X₂B₂－…－A_lX_lB_l)的中心对称解组, 得到它的最佳逼近中心对称解组. 实例表明这种方法是有效的.     

纯的可迁三元系大集的存在谱

LPDTS(v)是同一个v元集上3(v-2)个互不相交的纯的可迁三元系的集合. 田子红在其博士论文中, 证明了当v≡0, 4(mod 6)且v≥4时存在LPDTS(v). 本文建立了当 v≡1, 3(mod 6)且v>3时LPDTS(v)的存在性, 由此确定了LPDTS(v)的存在谱为{v:v≡0, 1(mod3), v≥4}.     

B(H)上Jordan同构的一个代数不变量:幂等元的集合*

令B(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数, I(H)是B(H)中所有幂等元的集合.设Φ:B(H)→B(H) 是满射.证明了对任意的λÎ{-1,1,2,3,1/2,1/3}及A, BÎB(H),映射Φ满足条件A-λ BÎI(H)ÛΦ(A)-λΦ(B)ÎI(H)当且仅当Φ是 B(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子 T, 使得Φ(A)=TAT^-1对所有的 AÎB(H)成立,或 Φ(A)=TA^*T^-1对所有的 AÎB(H)成立. 令i表示虚数单位,进而如果Φ也满足条件A-iBÎI(H)ÛΦ(A)-iΦ(B)ÎI(H),则Φ是自同构,或是反自同构.     

二部多重图的P4k-1-因子分解

如果二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子, 则称 λK_m,n存在P_v-因子分解. 当v是偶数时,Ushio, Wang和本文的第2作者给出了λK_m,n存在P_v-因子分解的充分必要条件. 同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时该猜想成立. 对于正整数k,本文证明λK_m,n存在P_4k-1-因子分解的充分必要条件是：(1)(2k-1)m ≤2kn, (2) (2k-1)n≤2km, (3) m+n ≡0(mod 4k-1), (4) λ(4k-1)mn/[2(2k-1)(m+n)]是整数, 即证明:对于任何正整数k, 当v=4k-1时上述猜想成立.     

广义 Lévy单的样本轨道性质

设X(t)是下指数为α取值于R^d的N参数广义Lévy 单, R={(x,t]=∏^N_i=1 (s_i,t_i], s_i<t_i}, E(x, Q)={t∈Q: X(t)=x}, Q∈∏, 是 X在点x处的水平集, X(Q)={x: 设X(t)是下指数为α取值于R^d的N参数广义Lévy 单, R={(x,t]=∏^N_i=1 (s_i,t_i], s_i<t_i}, E(x, Q)={t∈Q: X(t)=x}, Q∈∏, 是 X在点x处的水平集, X(Q)={x: 设X(t)是下指数为α取值于Rd的N参数广义Lévy单,R={(s,t]=∏Ni=1(si,ti],si＜ti},E(x,Q)={t∈Q∶X(t)=x},Q∈R,是X在点x处的水平集,X(Q)={x∶(∈)t∈Q,使得X(t)=x}为X在Q上的像集.本文探讨了X(t)局部时存在性及其增量的大小.同时,也得到了水平集E(x,Q)Hausdorff维数和X(Q)一致维数上界的结果.     

一般薄膜方程的不变集和不变解

主要讨论了1+2维一般薄膜方程的不变集和不变解. 证明了对于这类方程，有一族解在集合 E₀={u: u_x=v_xF(u), u_y=v_yF(u)} 中不变，其中 v 为关于 x和y的光滑函数，F为u的光滑函数. 文中的结果推广了Galaktionov中关于1+1维非线性发展方程的结论.     

二部多重图路因子分解的存在谱

若二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子,则称 λK_m,n存在P_v-因子分解.当v是偶数时, Ushio和Wang及本文的第二作者给出了λK_m,n存在P_v-因子分解的充分必要条件.同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想.最近我们已经证明当v=4k-1时该猜想成立. 对于正整数k,文中证明λK_m,n 存在P_4k+1-因子分解的充分必要条件是: (1) 2km ≤ (2k+1)n, (2) 2kn ≤(2k+1)m, (3) m+n ≡ 0 (mod 4k+1), (4)λ (4k+1)mn/[4k(m+n)]是整数. 即证明:对于任意正整数k, 当v=4k+1时上述猜想成立，从而最终完成了该猜想成立的证明.     

乘法酉算子的Kac-系统的刻画

设V为可分Hilbert空间H上的乘法酉算子,V对应B(H)的两个子代数A(V)和V在满足V₂=I的条件下,得到Baaj与Skandalis主要定理的充要条件：即V有Kac-系统当且仅当这两个C^*-代数乘积的线性闭包为紧算子空间;同时还得到一对量子群.     

Banach空间上算子代数的K0群

对G-M型Banach空间的某些分类予以简化性合并;讨论Banach空间X上算子代数B(X)的K₀群K₀(B(X))=0的条件, 得到了改进Laustsen充分条件的一个结果,举例说明了X≈X₂不是K₀(B(X))=0的充分条件.     

正交非均衡Procrustes问题的持续投影算法

研究正交约束下的Procrustes问题：给定矩阵A∈R^n×n, B∈ ^n×k, n>k, 找一个Q∈R^n×k}, 使得在列单位正交约束Q^TQ=I_k下, 残量‖AQ-B‖_F达到最小. 给出了求解该问题的持续投影算法, 该算法的每一次扫描由求解k个二次约束下的最小二乘问题以及一个扩充后的均衡Procrustes问题组成; 也给出了详细的收敛性分析. 文中的数值例子表明新的迭代算法优于已有的其他方法.     

独立数的一个下界

设G是一个图,其度序列为(d_v). 若由G的任意邻域导出子图的最大度至多为m, 则G的独立数至少是 ,这里当x>0, 函数f_m+1(x)大于 . 对于加权图G=(V,E,w), 证明了它的加权独立数至少是 ,这里w_v是顶点v的权重.     

完全二部图的P4k-1-因子分解

如果完全二部图K_m,n的边集可以划分为K_m,n的P_v-因子,则称K_m,n存在P_v-因子分解. 当v是偶数时, Ushio和Wang 给出了K_m,n存在P_v-因子分解的充分必要条件. Ushio同时提出了当v是奇数时K_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时Ushio猜想成立. 对于正整数k,本文证明K_m,n存在P_4k&#8722;1-因子分解的充分必要条件是: (1) (2k&#8722;1)m ≤2kn, (2) (2k&#8722;1)n ≤ 2 km, (3) m+n ≡ 0 (mod 4k&#8722;1), (4) (4k&#8722;1)mn/[2(2k&#8722;1)(m+n)]是整数. 即证明了对于任意正整数k, 当v=4k&#8722;1时Ushio猜想成立.     

GMANOVA-MANOVA模型中协方差阵的MLE的精确分布

对于带正态误差的GMANOVA-MANOVA模型,研究了其中协方差阵Σ的极大似然估计(MLE)的分布问题, 主要获得了下列结果: (1)当rk(Z)-rk(Z₂)≥q-rk(X)时,求出了的精确分布, 其中Z=(Z₁,Z₂), rk(A)表示矩阵A的秩. (2)求出了的精确分布. (3)证明了服从分布, 其中M为X^TΣ^-1X的对应于非零特征值的特征向量作为列形成的列正交阵.     

齐型空间上的一些新的Triebel-Lizorkin空间及其标架

设(X, ρ, μ)_d,θ是齐型空间, ε∈(0,θ), |s|<ε且 max{d/(d+ε), d/(d+s+ε)}<q≤∞. 引进了一类新的Triebel-Lizorkin空间F^s_∞q(X),并通过先建立与空间F^s_∞q(X)的范数相关的Plancherel-Pólya型不等式的方法建立了这些空间的标架特征; 给出了当|s|<ε, max{d/(d+ε), d/(d+s+ε)}<p≤∞且0<q≤∞时, Besov 空间B^s_pq(X),以及当|s|<ε, max{d/(d+ε), d/(d+s+ε)}<p<∞且max{d/(d+ε), d/(d+s+ε)}<q≤∞时, Triebel-Lizorkin空间F^s_∞q(X)的标架特征; 此外, 还引进了与给定仿增函数b相关的新的Triebel-Lizorkin空间bF^s_∞q(X)和HF^s_∞q(X), 并且建立了空间bF^s_∞q(X)和空间HF^s_∞q(X)的相互关系; 进一步证明了如果s=0且q=2, 则HF^s_∞q(X)=F^s_∞q(X). 因为F^s_∞q(X), 所以事实上这也给出了空间BMO(X)一个新的特征刻画.     

非正规 Cayley 图的两个充分条件及其应用

群G的Cayley图Cay(G, S)称为是正规的, 如果G的右正则表示R(G)在Cay(G, S)的全自同构群中正规. 给出了非正规 Cayley图的两个充分条件. 应用该结果, 构造了5个连通非正规Cayley图的无限类, 并决定了A₅的所有连通5度非正规 Cayley图,从而推广了徐明曜和徐尚进关于A₅的连通3、4度Cayley图正规性结果. 此外, 决定了A₅的所有连通5度非CI Cayley图.     

球面密度估计的积分平方误差的中心极限定理

设X ₁ , X₂,…, X_n是在R^Q+1的q-维单位球面Ω_Q取值的随机变量X的iid观测值(q≥1), 其球面概率密度函数为f(X).设f_n ( X)=n^-1(h)K((1- X^ＴXⁱ)／h²)是f(X)的核估计. 在较弱的条件下建立了f_n的积分平方误差的中心极限定理.     

重尾β混合随机变量序列的大偏差

设{X_n; n≥1}是重尾平稳非负随机变量序列, 研究其部分和 S_n=X₁+X₂+…+X_n的对数渐近性质. 对于适当的x, 在混合条件下, 给出了估计P(Sn>n^x)≈n^&#8722;αx+1, 其中α是特定的参数. 验证了Gantert提出的相关的猜想, 并且证明了所谓的上确界大偏差原理.     

量子效应的下确界问题

Hilbert空间H上的一个量子效应A是满足0≤A≤I的正算子, 简称为效应A, 用E(H)表示所有效应构成的集合. Hilbert空间上两个效应的下确界问题是确定在何种条件下效应A和B∈E(H)的下确界A∧B存在.本文用算子谱理论的方法, 给出了两个效应A,B∈E(H)存在下确界A∧B的充分和必要的条件, 从而完全解决了该问题.