存在性定理

A fast algorithm for calculating the inverse and Moore-Penrose inverse of the permutation factor circulant matrix is presented. Then, a fast algorithm for the product of the permutation factor circulant matrix is given. Finally, The least-square solutions of inverse problems and the optimal approximation problems for the permutation factor circulant matrix are discussed.

首先给出了一种求n阶置换因子循环矩阵的逆阵、自反g-逆、群逆、Moore-Penrose逆的快速算法，然后给出了计算两n阶置换因子循环矩阵之乘积阵的一种快速算法，最后给出了其反问题的最小二乘解的存在性定理及它的一般表示，并证明了逼近矩阵的存在唯一性且给出它的具体表达式。

This article uses the implicit function theorem and the properties of analytic functions,with less limitations for the uniqueness,continuity,continuous differentiability of the implicit functions,and gets the sufficient and necessary conditions of the existence of implicit functions by simplifying them.

从常用隐函数存在性定理出发，放宽对隐函数唯一、连续、连续可微等性质的限制，利用解析函数的性质将其展拓，得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。

Furthermore the existence theorem of periodic solutions was obtained by using Liapunov center theorem, and an example was presented to illustrate the results.

利用Liapunov中心定理，进一步得到了周期解的存在性定理，并举例说明结果的应用。

A class of generalized multi-valued vector variational inequality problem is studied in Hausdorff topological vector space.

研究了Hausdorff拓扑向量空间中一类广义多值向量变分不等式问题，把定义在凸集上的GMVVIP部分地推广到了非凸集并运用KKM定理得到了这类GMVVIP解的存在性定理。

We also introduce and study a new system generalized nonlinear variational inclusions for fuzzy mappings in Hilbert space.

我们利用极大单调映象的预解算子技巧，建立了这类模糊映象的变分包含组与非线性集值映象的不动点问题之间的等价关系，再利用Nadler的不动点定理给出了这类变分包含组的解的存在性定理。

The condition for the existence of positive elliptic periodic solution was found using Floquet theory; and the theorem of the existence of positive elliptic periodic solution was proved by the method of upper and lower solutions and homotopy invariance theory of topology degree; then an example was given.

利用Floquet理论得到了该方程的正椭圆周期解存在的条件；然后利用上下解方法和拓扑度的同伦不变性理论，证明了该模型正椭圆周期解的存在性定理，并进行了实例验证。

The general form of the triple I solution of FMP is given. The monotonity theorem, the infimum theorem, and the existence theorem have been proved.

给出了FMP的三Ⅰ解的一般形式，证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理。

By using cross-iteration technique and the Schauder fixed point theorem, the existence theorem of travelling wave solutions of this system is established.

针对反应项的不同单调性，引进交互迭代格式，利用Schauder不动点定理建立了行波解的存在性定理，并将所得结论应用到时滞竞争系统。

By regarding the forest-sum growth-cutting rate as the control variable and judging its optimality by "norm minimum", we have given a existence theorem of the optimal control for the area distributing systems of forest trees by utilizing space L2(0,T)'s reflexivity, smoothness and strict convexity.

本文将林木总和长消率作为控制变量，以"范数最小"来衡量其最优性，利用空间L2（0，T），T＞0的自反、光滑和严格凸性，给出了森林面积分布系统最优控制的一个存在性定理。

Existence theorems for optimal elements are proved with the aid of Zorn's lemma and the scalarization theory.

借助于 Zorn 引理和标量化定理证明了最优元的存在性定理。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。