Lens 空间 L~n(p)的■_∧-群■_∧(L~n(p))

设η为 Lens 空间 L~n(p)上的典则复线丛,σ=η-1∈(?)(L~n(p))本文完全求出了元素 σ~i∈(?)(L~n(p))及(rσ)~i∈(?)(L~n(p))的阶.然后,我们把 k 理论中的 r~i 运算应用到 Lens 空间到欧氏空间的浸入和嵌入问题上,得出了新的结果.     

局部对称共形平坦黎曼流形中紧致极小子流形的一个刚性定理

本文研究局部对称共形平坦黎曼流形中紧致极小子流形,得到了这类子流形第二基本形式模长平方关于外围空间Ricci曲率的—个拼挤定理,推广了文[1]中的结果.     

不等式约束极大极小问题的一个新型模松弛强次可行SQCQP算法

针对带不等式约束的极大极小问题,借鉴一般约束优化问题的模松弛强次可行SQP算法思想,提出了求解不等式约束极大极小问题的一个新型模松弛强次可行SQCQP算法.首先,通过在QCQP子问题中选取合适的罚函数,保证了算法的可行性以及目标函数F(x)的下降性,同时简化QCQP子问题二次约束项参数α_k的选取,可保证算法的可行性和收敛性.其次,算法步长的选取合理简单.最后,在适当的假设条件下证明了算法具有全局收敛性及强收敛性.初步的数值试验结果表明算法是可行有效的.     

电子结构计算的数值方法与理论

第一原理电子结构计算已成为探索与研究物质机理、理解与预测材料性质的重要手段和工具.虽然第一原理电子结构计算取得了巨大的成功,但是如何利用高性能计算机又快又好地计算大规模体系,如何从数学角度理解电子结构模型的合理性与计算的可靠性和有效性,依然充满各种挑战.基于密度泛函理论的第一原理电子结构计算的核心数学模型为Kohn-Sham方程或相应的Kohn-Sham能量泛函极小问题.近年来,人们分别从非线性算子特征值问题的高效离散及Kohn-Sham能量泛函极小问题的最优化方法设计两个方面对电子结构计算的高效算法设计及分析展开了诸多研究.本文重点介绍我们小组在电子结构计算的方法与理论方面的一些进展,同时简单介绍该领域存在的困难与挑战.     

一种模拟动边界绕流的锐利界面浸入边界法

为避免复杂贴体网格的更新和畸形对动边界流场计算效率、精度的影响,以充分掌握结构场的受力特性,采用一种改进的锐利界面（sharp-interface）浸入边界法模拟具有动边界绕流的流动问题。该方法将计算域中的固体视为流体,固体边界离散为若干个拉格朗日网格点,通过在界面单元处插值重构流动参数（速度）,将其直接作为流动求解器的边界条件,由此来反映固体边界的影响。即通过构造“虚拟点—受力点—垂足点”的计算结构,借助双线性插值得到虚拟点的速度,再通过强制满足固体边界的无滑移条件计算出受力点的速度,以此为边界条件,最终求解基于浸入边界法的耦合系统方程,实现复杂动边界的流动数值模拟。采用C++编写该浸入边界法的数值程序,以单圆柱绕流为验证算例,通过与文献和实验结果的对比,验证了该方法的准确性和可靠性。在此基础上,对主动运动椭圆柱绕流问题进行了精细计算,探讨了不同轴长比(A_R)、不同攻角($ \theta $)下的椭圆柱对尾涡结构分布特征和水力不稳定现象的影响。捕捉到了反对称S型、“P+S” Ⅰ型、“P+S” Ⅱ型尾涡脱落模态,漩涡强度、涡脱频率和升阻比随A_R和$ \theta $的变化规律,以及确定了升阻比临界攻角(25°)。

     

开平面C上的亚纯函数与完备极小曲面的Gauss映射

设■:D→R~3确定了以等温参数表示的极小曲面M,其中D是全平面R~2的开子区域,那么极小曲面的Gauss映射g(z)是D上的亚纯函数.Xavier与Chao提出了一个尚未解决的问题:任意给定区域■上的亚纯函数g(z),它是否是某完备极小曲面的Gauss映射?本文证明了若开平面C上的亚纯函数g(z)的零点列或极点列的收敛指数小于1/2,则g(z)—定是某完备极小曲面的Gauss映射.     

The Minimax Equality; Sufficient and Necessary Conditions

The paper produces new versions of the minimax theorem based on original conditions. Moreover, we investigate not only the sufficiency, but also the necessity of such conditions. The proofs are very simple and preclude any topological technique.     

集值型两个函数的极小极大定理

极小极大定理是非线性分析研究的重要内容.它已广泛应用于博弈论,数量经济学,最优化理论,变分不等式,微分方程,不动点理论等许多领域.利用非线性标量化函数得到新的集值型的两个函数的极小极大定理.     

Minkowski空间中保高斯映射的共形形变

设Ｍｎ为Ｒｉｅｍａｎｎ流形，给定类空浸入：Ｍｎ→Ｒｎ，ｐ，如果存在另一个类空浸入：Ｍｎ→Ｒｎ，ｐ，使与在共形对应之下且对应点的地空间平行，则称类空子流形是可保高斯映射共形形变的．本文给出可保高斯映射共形形变的充要条件．对ｎ＝２，ｐ＝１的情形，如果上述形变是同向的，我们分类了曲面；如果是反向的，我们用主曲率满足的方程来描述．     

不可压粘性流体浸入边界直接力法及软件实现

浸入边界法通过在N-S方程中施加体积力模拟不可滑移固壁边界及动边界,避免生成复杂贴体网格及动网格,极大地节省了网格建模时间及动网格计算消耗。本文提出一种新型附加体积力简化计算方法,将简化附加体积力以源项形式嵌入动量方程迭代中,通过用户自定义函数对CFD软件FLUENT二次开发,实现了浸入边界法和通用流体力学求解器的耦合计算。通过静止圆柱和动圆柱绕流数值模拟进行了验证,并探讨了插值函数对计算精度的影响。研究表明,通过引入浸入边界模型,能够提高计算效率,并实现结构网格背景下复杂边界和动边界的高效建模。