查询词典 existence theorem of implicit function

By using the theorem on cone expansion and compression and a fixed point theorem on cone,this paper is concerned with the existence of positive solutions for some boundary value problem of singular nonliear semipositive second-order three-point boundary value problem,which improve many known results.

运用锥拉伸与压缩不动点定理研究非线性奇异半正二阶三点边值问题正解的存在性，推广了一些已知的结果。

The existence and uniqueness of optimal control and the corresponding maximum principle are studied by using the fixed point theorem, the Sobolev's imbedding theorem and variational principle.

本章的结论既是在已有文献中还没有见到的成果，也是对单种群动力系统最优控制问题的完善和发展。

Applying the theory in classical partial differential equation and viscosity solutions, and Schauder fixed point theorem and Sobolev imbedding theorem, the existence and uniqueness of viscosity solution of the coupled PDE model are proved.

研究耦合PDE模型粘性解的存在性和唯一性问题。

In the first chapter (1.1.1)-(1.1.4) is studied by means of fixed point index theorem, not only the existence theorem is obtained, but the multiplicity is also obtained.

本文第一章利用这一理论研究方程(1.1.1)-(1.1.4)的正周期解问题，与已有研究成果相比，本章不仅获得了该类方程的正周期解的存在性定理又获得了正周期解的多解性定理，并将所取得的结论应用于一些具有实际背景的方程。

In the second chapter, we consider a kind of Kolmogorov system. The sufficient condition for nonexistence of the closed orbit and existence of the unique and stable limit cycle are obtained by using divergence integral, Poincare-Bendixson theorem and Zhang Zhifenunique theorem.

第二章讨论了一类Kolmogorov系统，利用发散量积分、环域定理和张芷芬唯一性定理，得到了该系统无闭轨的充分条件和存在唯一极限环的条件。

In the second chapter, we consider a kind of Kolmogorov system. The sufficient condition for nonexistence of the closed orbit and existence of the unique and stable limit cycle are obtained by using divergence integral, Poincare-Bendixson theorem and Zhang Zhifen\'unique theorem.

第二章讨论了一类Kolmogorov系统，利用发散量积分、环域定理和张芷芬唯一性定理，得到了该系统无闭轨的充分条件和存在唯一极限环的条件。

This paper describes the content of the theorem, and theorems are given two proofs, cite the Lagrange mean value theorem in the mathematics major applications, including that inequality, identity, Limit, determine monotonicity, root The existence of such.

本文简要叙述了定理的内容，并且给出了定理的两种证明方法，例举了拉格朗日中值定理在数学中的主要应用，包括证明不等式，恒等式，求极限，判断单调性，根的存在性等。

Based on the existence of the " mean point s"in Differential mean value Theorem,This paper futher studies the problem of the number of the " mean point s" in Differential mean value Theorem.

在微分中值定理"中值点"存在的基础上，进一步研究微分中值定理"中值点"的个数问题。

At first, the existence of extended form of approach to continuous selection for any set valued mapping without any continuity restriction in para-compact metric space is proved ;by the topologically separated mappings , the approximate selection theorem of sub-lower-semi-continuous mapping is established, furthermore , continuous selection problem in H-space is studied. Next, with W-correspondence, an improved variational inequality is obtained ; by the H-KKM mapping ,Ky Fan\'s minimax inequality is generalized to H-space . At last, with H-convexity instead of the linear topological structure, a new version of Browder fixed point theorem is established.Chapter 3 deals with set-valued mapping vector variational inequality and minimax problems.

第二章首先在仿紧的度量空间上对任意的集值映射建立了新的逼近连续选择定理，利用映射的拓扑可分性，在H-空间上建立了次下半连续映射的逼近连续选择定理和一个新的连续选择定理；然后利用W-对应，在H-空间上建立了广义的变分不等式；利用H-KKM映射，在H-空间上建立了广义的KyFan极小极大不等式；最后，利用H-凸性代替拓扑线性结构，在H-空间上建立了一个新型的Browder不动点定理。

We first use the method similar with that in EL.karoui[1] to get the comparison theorem of K in the case of one reflecting barrier,At last,we use the idea of penalization to prove one existence result of the solution for the multi-dimensional RBSDE where the coefficient is continuous and has the linear growth,this also help us to give the comparison theorem of K~+ and K~- in the case of two reflecting barriers.

最后，用惩罚方法证明了当多维双边界反射倒向随机微分方程的生成元满足连续和线形增长条件时解的存在性，并同时得到了双边界情形下，K~+和K~-的多维比较定理。

Objective To investigate the relationship between ovum fertilization rate and sperm morphology, acrosome reaction in IVF and to explore the influence of parameters of sperm on fertilization rate.

目的 研究体外受精(in vitro fertilization，IVF)中精子形态、顶体反应与卵子受精率之间的关系，分析精子各参数在IVF受精率方面的参考意义。

A: I hear Mr. White wants to run for the Presidency!

我听说怀特先生要参加总统竞选！