关于格序群的弱素1—理想

本文推广[1]中所叙述的l-群的素l-理想;引进了弱素l-理想及N-素l理想的概念讨论了它们的一些性质及与素l-理想间的关系;证明了每个l群可表为素l-群的l-亚直和     

Banach空间自反的一个充要条件

<正> 在[1]中已经证明,赋范线性空间中,凡以最大闭子空间(指最大闭真子空间,以下同)为核的投影中,存在范数任意接近1的投影。但在什么条件下存在范数等于1的投影呢?本文作为一个注记,将证明这种投影存在的充要条件是Banach空间为自反的。这里应用了R.C.James的著名结果[2],一般     

一类Kirchhoff-Poisson系统在Heisenberg群上解的存在性

在Heisenberg群上研究了一类临界的Kirchhoff-Poisson系统。由于存在临界和非局部项,导致空间嵌入不紧,在非线性项适当的假设下,通过变分方法克服了空间的紧性并且得到该系统至少存在一个解。在此基础上,借助形变引理和拓扑度理论,证明了该解是一个变号解。     

随机Navier-Stokes方程数值解的收敛性

Navier-Stokes方程在流体力学中有广泛的应用.通常情况下,大多数Navier-Stokes方程没有精确解,数值方法显得尤为重要.本文根据BDM法,利用It公式,Burkholder-Davis-Gundy不等式,Doob不等式和Gronwall引理对随机Navier-Stokes方程数值解的收敛性进行了讨论,得出数值解均方意义下收敛到解析解.     

无限维Gale—Nikaido—Debreu引理的一个新证明

1 引言 1985年,Yannelis将数理经济学中著名的Gale-Nikaido-Debreu引理推广到商品空间是无限维的情况.这是一个非常广泛的结果,概括了一系列的重要特例。 本文首先利用KyFan不等式与鞍点定理证明了一个定理,应用这个定理与凸集分离定理,我们给出了Yannelis结果的一个新证明。     

关于极限引理的一些应用

本文首先推广定义 n-可加速集,给出 n-非可加集与 n-低度之间的关系.证明 r.e.度(?)使得存在 r.e.n-可加速集 A≡_n(?)当且仅当(?)~(n)>(?)~(n).然后运用极限引理到 H_n 的描述中,证明 r.e.度(?)包含一个 n-极大集 A≡_n(?)当且仅当(?)∈H_n,i.,e.(?)~(n)≥(?)~(n+1)且(?)∈H_n 当且仅当存在一个度≤(?)的函数 f,n-do-minate 每个递归函数.     

罗宾逊序列引理的推广及其应用

A. Robinson＇s sequential lemma is extended to nets in general topological space, and obviously the case of nets in ^＊R is its corollary. As its application, the paper proves a property about topology of uniform convergence.     

一类P—Laplace方程正解的存在性

本文在不满足(AR)条件下,利用山路引理,证明了P-Laplace方程Dirichlet问题正解的存在性.     

含临界位势的广义平均曲率方程的解

讨论一个含临界位势的广义平均曲率方程在Dirichlet边界条件下解的存在性.此方程相应的变分泛函关于u的梯度非齐次,且Sobolev空间嵌入失去紧性.为了克服这些困难,本文将关于范数的一个基本结论推广到一般的偶泛函,并利用C.K.N不等式及Ambrosetti的山路引理证明了方程存在非平凡解.     

择一定理在离散时间线性时不变系统中的应用

基于广义择一定理,可以讨论离散时间线性时不变系统中的若干问题.首先可以利用广义择一定理得出Layaponov不等式的可行性与系统矩阵特征值的若干关系.其次利用这种广义择一定理讨论Ricaati不等式解的存在性,由此给出更-般KYP引理的简洁证明.