存在性定理

The existence of classical solutions to non-divergence quasilinear parabolic equation of second order has been proved by basic knowledge of non-linear functional analysis and implicit function theorem in banach spaces.

用非线性泛涵分析的基本知识和Banach空间上的隐函数定理证明了非散度型拟线性抛物型方程古典解的存在性。

Due to the non-affine form of the control inputs, feedback linearization method can not be used to design control system. Therefore, implicit function theorem is firstly exploited to assert the existence of the ideal control inputs, which can compel the system outputs to track their desired trajectories, and then ideal control inputs are constructed.

由于该系统的控制输入为非仿射形式，不能采用反馈线性化的方法设计控制系统；因此，首先采用隐函数定理证实了能够使系统输出跟踪期望轨迹的理想控制输入的存在性，并构造了理想的控制输入。

The existence of positive solutions of some fourth-order singular semi-positone boundary value problems are obtained on a special cone by using the fixed point index theorem.

本文在一个特殊锥上利用不动点指数定理，得到了一类四阶奇异半正边值问题正解的存在性，并给出了一个例子作为对所获结果的应用，推广和改进了一些已知结果。

In section 3, the theorem is applied to interval analysis.

本文将Banach空间之间的同胚问题归之为一类动力系统非负解的存在性问题，证明了一个全局微分同胚定理，给出了一些推论，并应用于区间分析，推广了一些已有的结果。

On the basis of introducing the fixed point of Banach theorem, this paper firstly elaborates the important application of the existence of the solution of the linear algebraic equation and the ordinary differential equation, then it narrates the important application of obtaining the leading Newton repetitive process and the natural number the inferior square root and the equation root in the approximate calculation.

本文在介绍Banach不动点定理的基础上，首先阐述了其在线形代数方程、常微分方程解的存在性中的重要应用；然后讲述了其在求导Newton迭代法、求自然数的次平方根、求方程根的近似计算中的重要应用；最后，介绍了其在求一类递推数列极限中的应用。

In the last 20 years, many mathematicians used Moser Twist Theorem to study more complicated dynamics for nonlinear oscillations, such as the existence of quasi-periodic solutions and invariant tori, the Lagrange stability, etc.

近20年来，国内和国际上的一些数学家开始利用Moser的扭转定理来研究非线性振动的更为复杂的行为，如拟周期解和不变环面的存在性，解的Lagrange稳定性。

In this paper the existence of fixed point problems for nonlinear operator is studied; several new fixed-point theorem are established and some related known work is extended and improved.

本文研究了几类非线性算子不动点的存在性问题，建立了若干新的不动点定理，推广了前人的一些结果。

Under some conditions we obtain the existence of nontrivial solution by analyzing the best Sobolev embedding constant and by use of the minimax theorems without conditions.

通过使用没有条件的极小极大定理，以及对最佳Sobolev嵌入常数的详细分析，得到了一些具临界Sobolev指数的半线性椭圆系统的真正非平凡解的存在性，并讨论了解的一些性质。

By using center manifold theorem and normal form of maps, we also present formal proofs of the supercritical flip bifurcation at the bifurcation point. Above this threshold, there is a characteristic sequence of bifurcations, leading to chaotic dynamics, which implies that the dynamical behavior of the single species model with birth pulses are very complex.

利用单参数族映射的中心流形定理、正规型和指数积分函数的性质，得到了具非线性出生率或具密度依赖成熟率的混杂矩阵模型正平衡态的存在性和稳定性、超临界分支以及各种复杂现象甚至混沌。

In order to determine the Poincare normal form of linear operator in the operator differetial equation, we need to reduce the vector-value function to the two dimensional case on center manifold.

要证明以上的结论，我们所采用的方法是[24]中的Hopf分支定理所给出的判断Hopf分支存在性及分支周期解稳定性方法。

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万英镑骗了个精光。