查询词典 existence theorem of implicit function

The unique existence theorem forutility function based on thenew axioms is obtained.

给出并证明了基于格序决策行为公理体系的效用函数的存在惟一性定理，为格序决策的研究奠定了理论基础。

In this paper, the author estimated the module of quasiconformal mapping in curved fan, by the expression of local maximal dilatation function of quasiconformal mapping, Riemann′ s existence theorem and extremal length method, the author obtained a result of moduler deviation on curved fan.

本文对曲边扇形内的拟共形映照的模进行估计。借助拟共形映照的局部最大伸张函数来表达，利用黎曼存在定理和极值长度方法，得到关于曲边扇形的一个模偏差定理。

The sufficient conditions for guaranteeing the permanence of the system and the existence and uniqueness of periodic solution having globally asymptotical stability are obtained by using the extremum principle,fixed point theorem and V function method s together.

讨论一类具 Holling 类功能反应和放养的捕食链非自治扩散系统，应用极值原理和不动点定理及 V函数法，得到该系统的一致持久性以及存在唯一全局渐近稳定周期解的充分条件。

By using homeomorphism method and the extended inverse function theorem,the existence and uniqueness of the solution for the semi-linear pseudoparabolic equations is obtained.

首先在Hilbert空间中建立了强制不等式，利用同胚方法和抽象的反函数定理，得到了半线性伪抛物方程初边值问题解的存在性和惟一性定理。

In the present work,the existence and uniqueness results aboutperiodic boundary value problems for different kinds of the nonlin-ear periodically perturbed nonconservative systems are establishedthrough the discretization technique,under suitable assumptions,by using global inverse function theorem and result about the ex-istence and uniqueness of periodic solution for nonhomogeneouslyfirst order linear periodic boundary value problem.

本文的第一章概述了在讨论原问题解的存在唯一性过程中以及构造和分析相关的数值求解方法时将要用到的全局反函数定理、有关矩阵特征值的若干重要引理、线性常微分方程非齐次周期问题解的存在唯一性定理和单参数影射方法及有关结论，并简单回顾了已有的证明非线性微分方程周期边值问题解的存在唯一性的方法，其中包括谱理论、最大最小化形式方法、摄动技术和全局反函数理论方法，最后，介绍了两类数值求解非线性微分方程问题的方法。

By using Mawhin\'s continuous theorem and liapunov function, sufficient conditions for the existence and globally asymptotic stability of positive periodic solutions of three systems are derived, respectively.

我们还利用Mawhin连续性定理分别建立了两个系统正周期解存在的充分条件。

Furthermore, when the system is a periodic system, sufficient conditions are obtained that guarantee the existence, uniqueness and global attractivity of the positive periodic solution by applying the Brouwer fixed theorem and the method of constructing Liapunov function.

利用比较原理给出了系统一致持久性的充分条件；当系统是周期系统时，应用Brouwer不动点原理和构造Liapunov函数的方法给出其存在惟一且全局吸引的ω-周期正解的充分条件，并通过实例验证了文中定理条件的可实现性。

In part 3, utilizing the existing Lipschitz results and the property of Yosida approximation of monotone and continuous function, we prove the existence and uniqueness theorem of a general backward stochastic differential equation with monotone and continuous coefficient.

第三部分在系数仅满足单调连续这样一个新条件下，我们综合运用单调连续函数的Yosida逼近的性质以及Lipschitz条件下的已有结果，证明了一般形式的倒向随机微分方程解的存在唯一性。

Second theorem shows that the existence of solution is possible under suitable conditions when the limit of growth of nonlinear term at infinity is an unbounded function.

第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解。

By properties of a real function, fixed points problem on two complete metric spaces are discussed.The result generalizes corresponding result of Fisher.Moreover, this result provides a general convergence rate estimate. Meanwhile, we discuss the existence of fixed point on two normed linear spaces under the condition of weak topology, and we obtain a new fixed point theorem.

利用实函数性质，讨论了两个不同度量空间中两个映象乘积的不动点问题，推广了Fisher的主要结果，并给了出逼近不动点的敛速估计；同时，在弱拓扑的意义下，利用分析的方法，讨论了赋范空间中有关映象不动点的存在性，得到一个新的不动点定理。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。