查询词典 implicit function theorem

The use of Differential Mean Value Theorem (Rolle theorem, Lagrange's theorem, Cauchy's theorem) to solve a number of derivative and limit the problem.

利用微分中值定理（罗尔定理，拉格朗日定理，柯西定理）解决一些导数和极限的问题。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Young\'s system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

On the other hand , illuminated by close relation between harmonic maps and sumanifold theory, we have also researched in-depth about some relative problems in submanifolds theory which include: the estimate of heat kernel and eigenvalue and it geometric application of submanifolds with or without boundary; many kinds of pinching problem of submanifolds which include the rigidity theorem, topological sphere theorem, differential sphere theorem and topological finite theorem.

另外，鉴于调和映照与子流形之间的密切关系，我们还要深入研究子流形几何中与之相关的一些问题，主要包括：带边与不带边子流形的热核与特征值估计及其几何应用；子流形的刚性定理、拓扑球定理、微分球面定理、拓扑有限性定理等各类Pinching问题。

The positive periodic solution of functional differential equation with infinite delay is deeply concentrated these years, some scholars study this subject by means of Lyapunov theorem, Schauder fixed point theorem, and cone extending and compression theorem (from thesis -[5]), and they obtain the existence theorem of positive periodic solution.

近年来，无穷时滞泛函微分方程的周期解问题受到广泛关注，一些学者应用Lyapunov泛函方法，Schauder不动点方法，以及非线性泛函分析中的锥拉伸锥压缩方法(见[1]-[5])，研究了无穷时滞泛函微分方程的周期解的存在性问题。

And guided by Schur theorem, many of the Schur theorem inference arises, formed a complete theoretical system Schur theorem. Schur theorem and put many of its reasoning applied to the unitary matrix and the similarity matrix eigenvalue of proof onto.

在Schur定理的指导下，许多关于Schur定理的推论便产生了，并且形成了一个完整的Schur定理理论体系，把Schur定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational, basic, differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式，给出了这几个不等式的一些应用实例，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational ,basic , differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality and Minkowski inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式和闵可夫斯基不等式以及这几个不等式的应用，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

On the basis of extending the concepts of the derived function, primitive function and integration of interval-valued function to complex interval-valued function and using the descomposition theorem of complex fuzzy set, the derived function, primitive function and integration of complex fuzzy set-valued function and some properties of them are proved.

2在国际上最先引入了复模糊集合与复模糊数的基本概念，证明了它们的基本代数运算的封闭性，并且其运算可通过α水平复集合的相应运算来进行

Theorem 1 constructs a set of universal measure zero using continuous extension; Theorem 2 verifies absolutely continuous function being of good property under some condition; Theorem 3 reveals some relation between real function and meager.

定理1 主要运用了连续延拓构造了一个泛测度零集；定理2 证明绝对连续函数在一定条件下具有良好的性质；定理3 揭示了实函数与第一纲集的某种关系。

Theorem of mean significance: The application derivative research function's nature wants directly or indirectly with the aid of Yu Zhongzhi,Specially Lagrange theorem of mean,Here is mainly from the equality proof, the inequality proof, existence asks some limits, the determination equation root and so on five aspects to carry on the discussion,so, The theorem of mean is transforms as the function in the sector research important tool, Must bring to the enough attention in the middle of ours study and the teaching.

中值定理意义：应用导数研究函数的性质都要直接或间接地借助于中值，特别是拉格朗日中值定理，这里主要是从等式的证明、不等式的证明、求一些极限、判定方程根的存在性等五个方面来进行讨论，因此，中值定理是转化为函数在区间上的研究的重要工具。在我们的学习与教学当中要引起足够的注意。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。