模糊集单调型分解定理

模糊集的分解集定理有两种形式，第一种形式与模糊集的λ—截集有关：Ａ＝其中Ａ＿λ是的λ—截集￣［１］．第二种形式与集合套有关：其中Ｈ（λ）为集合套￣［２］或者Ａ＝其中Ｈ（λ）为集合套，Ｑ为（０，１）的可列稠密子集＿［３］，．其实，这两种形式在本文提出的基本模糊集的概念下，可以统一起来成为任何模糊集可以分解为一些（可数或不可数）基本模糊集的和。不仅如此，本文还提出简单模糊集的概念，并证明了任何模糊集都可以表示成为可数个单调上升的简单模糊集的和，或等价地，可以表示成可数个单调上升的简单模糊集的极限，所用的证明方法是构造性的，所以对模糊集的结构也得出了一个清晰的认识．     

论优化问题的公理方法（Ⅲ）

在建立了可交换半群｛Ω，｝上的簇Ｆ及其上的第一类优化算子＊概念之后，得到本文主要结果定理４和定理５。然后证明了首Ｎ阶优化算子，非劣算子以及摹多项式簇上的算子［１，２］都是第一类优化算子，与它们相关的优化集合簇Ｎ－ＴＨ，ＰＡＲＥＴＯ及ＥＳＳＥＮＣＥ都是广义优选半域。让它们赋值于多阶段有向图上，它们都服从于嘉量原理     

POSITIVE SOLUTION FOR NONLINEAR SINGULAR BOUNDARY VALUE PROBLEMS

Under suitable conditions on f(·,u), it is shown that the two-point boundaryvalue problem((u'))' + λq(t)f(u) = 0in (0, 1),u(0) = u(1) = 0,has two positive solution or at least one positive solution for λ in a compatibleinterval.     

奇次矩形元导数恢复算子的新构造及其强超收敛性

考虑奇次矩形元导数的强超收敛问题, 为了做导数后处理, 利用投影型插值,提出一类新的离散的最小二乘分片恢复技术, 并且证明此类恢复导数具有强超收敛性.     

Operator Matrix Forms of Positive Operators

If a 3-tuple (A:H1→H1,B:H2→H1,C:H2→H2）of operators on Hibert spaces is given,we proved that the operator ～↑A:=(↑A ↓B^*↑B ↓C) on H=H1 H2 is ≥0 is and only if A≥0,R(B)∪→R（A^1/2) and C≥B^* A^ b,where A^ is the generalized inverse of A.In general,A^ is a closed operator,but since R(B)∪→R(A^1/2,B^* A^ B is bounded yet.     

Sierpinski垫上一类非线性椭圆方程的多值解

研究分形区域上一类非线性椭圆方程, 建立强 Sobolev型不等式, 从而证明了形如 Δu+c(x)u=f(x, u) 的Dirichlet 零边值在 Sierpinski 垫上多值非平凡解的存在性. 此存在性结果不依赖f(x, t)对t的增长性条件, 与光滑区域上椭圆方程的古典理论明显不同.     

关于修正的Baskakov算子的Stechin-Marchaud型不等式

利用K-泛函研究了修正的Baskakov型算子的Stechin-Marchaud型不等式,由此不等式,我们得到了关于ω2φλ的逆结果.     

某类四阶非对称微分子算子的同构与扩张同构

文[1]通过考虑四阶非对称微分算子A(K(i,j),|·|H4)→(AλK(i,j),|·|L^2)(诸定义见如下的一定义与问题)相应于λ的一对一性,处理了边值问题Aλy=f,y∈K(i,j),∈c[0,l]相对于λ 的y对于 f的唯一性问题.这恰好描述了某一类飞行器飞行的平稳性状之一.即飞行器不振动的情形,值得指出,由于Aλ非对称,及上述的二个空间即使在扩张意义下也不是同一个Hilbert空间,因而难以用自伴算子的技巧 来处理Aλ的一对一与同构.故文[1]的结论实际上是引入F.沙特林[2]中的带算子内积(Aλy,z),并对Re(Aλy, y)进行先验估计而得到的.本文将进一步处理对刻划飞行器飞行平稳性状更为重要的正则性.即边值问题Aλy=f中y与f互相连续地依赖的情形,等价地,如上的算子Aλ相应于λ同构的情形.除了避免使用自伴算子技巧外,我们知道.文[1]中的方法也不再适用,从形式Re(Aλy,y),可以想到采用或模仿单调算子的技巧,但Aλ并不是单调算子,此外即使将算子Aλ分为实部与虚部考虑,对于某些 λ成为单调算子,充其量只能得到带有扰动算子的满射性结果,^[3]因为无法得到使极大单调线性算子成为同构的强制性条件,故本文采用对|Aλy|^2La进行 下界估计的方法.通过较为复杂的先验估计,本文得到了使|Aλy| 2L2≥ε^20|y|2H4成立的λ的条件,从而对于这些λ,得到了同构Aλ.(K(i,j),|·|H4)≈→ (AλK(i,j),|·|L2)及其扩张同构^∽Aλ.(─K(i,j)|·| H^4,|·|H^4)≈→(──AλK(i,j)|·|L^2,|·|L^2),更有趣的是,通过泛函分析的方法尤其是逆算子定理,上述的同构还可以转化为更为精细的同构Aλ:(K(i,j),|·|c^4)≈→(AλK(i,j),|·|c).