不适定边界问题的广义解

提出相对Sobolev空间W₀^k,p (Ω, Σ)的概念, 并由此讨论了首项系数本质无界的, 即a^ij ∈L^p(Ω)(p≥2), 不适定边界的二阶散度型椭圆型微分方程,利用算子广义逆的思想, 给出了它的广义解的概念,化不适定问题为适定问题,并避免了最小二乘解的不稳定性.最后讨论了广义解与算子广义逆的联系.     

拟线性抛物组具有并行本性的无条件稳定与收敛的差分方法

在不作启示性假定下, 研究了拟线性抛物型方程组初边值问题的一类具有并行本性的差分格式. 利用不动点原理、离散内插公式和先验估计方法, 证明了所构造的具有并行本性差分格式解的存在性、惟一性和在离散W₂^(2,1)范数下的无条件稳定性, 并证明了一大类具有并行本性的差分格式的解收敛到原始拟线性抛物问题的惟一广义解.     

高维Popoviciu公式

给出了多元线性锥样条函数显式表达公式.借助该表达公式与离散Fourier变换,给出了s×(s+1)整系数线性方程组非负整解数目简洁的显式表达公式, 这可看作Popoviciu在1953年给出的整系数线性方程ax+by=n整解数目公式的推广.     

广义线性模型参数的自适应拟似然估计

对广义线性模型参数的一种拟似然估计的理论给予了彻底的处理. 在该估计中,响应变量的未知的协方差阵是通过样本去估计的.证明了所定义的估计量具有下述意义上的渐近有效性：当样本量n→∞时, 该估计有渐近正态性,且其极限分布的协方差阵重合于当响应变量的协方差阵完全已知时,拟似然估计的极限分布的协方差阵.     

拟线性抛物方程组具有界面外推的并行本性差分方法

构造了拟线性抛物型方程组初边值问题的一类具有界面外推的并行本性差分格式. 为给出子区域间界面上的值或者与界面相邻点处的值,给出了两类时间外推的方式, 得到了二阶精度无条件稳定的并行差分格式. 并且不作启示性假定,证明了所构造的并行差分格式的离散向量解的存在性和 唯一性. 而且在格式的离散向量解对原始问题的已知离散数据连续依赖的意义下, 证明了并行差分格式的解按离散W^(2,1)₂(Q_Δ)范数是无条件稳定的.最后证明了具有界面外推的并行本性差分格式的离散向量解收敛到原始拟线性抛物问题的唯一广义解. 给出了数值例子,数值结果表明所构造的格式是无条件稳定的, 具有二阶精度,且具有高度并行性.     

广义线性模型中极大拟似然估计的强相合性

假定在一个具有一般联系函数的广义线性模型中, q×1响应变量y_i是可观测的, p×q协变量Z_i是固定设计的, 以记的最小特征根. 在(对某个α>0), sup_i≥1E||y_i||r <∞(对某个r>1/α)和其他正则条件下, 证明了以概率为1, 当n充分大时, 未知回归参数向量的拟似然方程有一个解, 它收敛于参数真值. 这一结果是对文献中的相应结果的实质性改进.     

含缺失数据线性模型的线性不等式约束EM算法

研究具有缺失数据的线性模型的回归参数在一般线性不等式A₀β≥a约束下的极大似然估计问题;提出了一般线性不等式约束下的EM算法并且证明了此算法的收敛性.     

广义线性回归拟似然估计的强相合性

本文研究了广义线性模型g=μ(x'β0)+e中形如的拟似然方程,在一定的条件下证明了当n充分大时此方程以概率1有解βn,得到了βn的强相合性和收敛速度.     

具有高阶非线性项的广义KdV方程的

研究具有高阶非线性项的广义KdV方程 u_t + a (1 + buⁿ)uⁿ u_x + u_xxx = 0, 这里n ≥1, a, b是实数且a ≠ 0. 用动力系统的定性理论和分支方法, 讨论了该方程的孤立波解的解析表达式和孤立波的分支, 并给出了孤立波的分支图, 解决了孤立波的存在性及其个数等问题.     

广义线性回归拟似然估计的强相合性

本文研究了广义线性模型y=μ(x'β0)+e中形如∑xi(yi-μ(xiβ))=0的拟似然方程,在一定的条件下证明了当n充分大时此方程以概率1有解βn,得到了βn的强相合性和收敛速度.     

带非线性梯度的拟线性抛物型方程的自相似解

研究带有非线性梯度项的拟线性抛物型方程u_t = Δ (u^m)&#8722;u^q|▽u|^p的自相似解及其分类, 其中m≥1, p, q > 0, p + q > m. 对m = 1的情形, 证明了nq + (n + 1)p < n + 2是自相似强奇性解存在的充要条件, 以及自相似强奇性解的惟一性. 对m > 1的情形, 证明了1 < m < 2且nq + (n + 1)p < 2 + mn是自相似强奇性解存在的充要条件, 并且自相似强奇性解具有紧支集. 另外, 还给出边界层的刻画.     

广义线性模型组LASSO路径算法

广义线性模型组LASSO(least absolute shrinkage and selection operator)路径β(λ)的计算有两项核心内容:选择路径参数λ的取值;计算组LASSO估计,即给定λ值的β(λ).目前,在广义线性模型组LASSO路径的计算中,使用格点法选择λ值,基于广义线性模型似然函数一阶Taylor近似的坐标下降算法则常用于计算组LASSO估计.本文给出的广义线性模型组LASSO路径算法由两个子算法组成:第一个子算法的目的是选出使得活跃集恰好改变的λ值;第二个子算法是计算组LASSO估计的二阶近似坐标下降算法.模拟和实际数据分析均表明,第一个子算法能高效地发现使得活跃集恰好改变的λ值,相比基于广义线性模型似然函数一阶Taylor近似的坐标下降算法,本文的二阶近似算法有较明显的速度优势.     

广义k-合冲模

首先引入广义k-合冲模的概念, 然后给出了由广义k-合冲模组成的模范畴与由ω-k-挠自由模组成的模范畴是一致的一个等价刻画. 进一步研究了由广义k-合冲模组成的模范畴的扩张闭性. 推广了一些已知结果.     

二阶超线性差分方程周期解与次调和解的存在性

应用临界点理论, 为研究差分方程周期解与次调和解的存在性和多重性提供了一种新方法. 对二阶差分方程 D²x_n-1+f (n, x_n)=0, 当f(t, z)在0点及无穷远点为超线性增长时, 上述问题得到某些新结果.     

一阶拟线性偏微分方程组稳定几何解的局部分类

在切触流形框架中, 研究一阶拟线性偏微分方程组. 利用奇点理论的通用形变及Σ¹-型稳定映射芽的分类,对方程组的所有稳定局部几何解进行分类.     

Hartman线性化定理的改进

Hartman线性化定理即: 如果方阵A的特征根实部异于零, f(x)有界且有小Lipschitz常数, 则存在Rⁿ的同胚将非线性系x = Ax + f (x)的解映为线性系x'' = Ax的解. 在允许非线性项f(x)的部分分量无界, 同时不增加任何条件和无任何特殊限制的情形下, 获得了全局拓扑线性化的结论, 从而使Hartman线性化定理得到了实质性的改进.     

求解广义中立型系统的线性多步方法的NGP_G-稳定性

建立了广义中立型延迟系统理论解渐近稳定的充分条件 ,分析了用线性多步方法求解广义中立型延迟系统数值解的稳定性 ,在一定的Lagrange插值条件下 ,证明了数值求解广义中立型系统的线性多步方法NGPG_稳定的充分必要条件是线性多步方法是A_稳定的·     

离散时间遍历的Markov链的代数式收敛

研究离散时间Markov链的l遍历性, 证明了l阶偏差矩阵存在并有限当且仅当此链是l+2遍历的, 并且得到n步转移矩阵以代数式速度收敛到平稳分布. 然后以方程的解存在的形式给出l遍历性的判别准则. 最后用几个例子说明主要结果.     

联合广义线性模型中的变量选择

在联合广义线性模型中,均值和散度参数都被赋予了广义线性模型的结构,本文主要考虑该模型的变量选择问题. 文章利用扩展拟似然函数,提出了一个适用于联合广义线性模型的新的变量选择准则(EAIC),该准则是Akaike信息准则的推广.论文通过模拟研究和一个实例分析验证了该准则的效果.     

关于广义Busemann-Petty问题

广义Busemann-Petty问题可表述为：设K和L是Rⁿ中两个中心对称凸体, 如果对Rⁿ中任何i维子空间H,K∩H的i维体积都不超过L∩H的i维体积，那么K的体积是否不超过L的体积? 正如Bourgain 和 Zhang所证明, 当i>3时这一问题的答案是否定的. 而当i=2,3时广义Busemann-Petty问题仍是一个未解决问题. 文中证明了当具有较小i维体积的星体属于特定的集合时, 广义Busemann-Petty问题的答案是肯定的. 这些结果推广了Zhang关于广义Busemann-Petty问题的特定正解.