查询词典 theorem

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.

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

A pointwise characterization of fuzzy complete regularity is yielded by means of the Q- neighborhood structures and some algebraic properties of certain class of maps in lattices. The Weil theorem on fuzzy uniformity and the general imbedding theorem in the fuzzy basic cube are established.

其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理。

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模型粘性解的存在性和唯一性问题。

Theorem, Implicit Function Theorem and its Applications.

分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理

By using implicit function theorem, Taylor's formula and mean theorem, the form of the non-affine nonlinear systems is transformed into the form of affine nonlinear systems.

利用隐函数定理和泰勒公式及中值定理，将非仿射非线性系统转变为仿射型非线性系统。

The unique existence theorem for minimal determining set of completerational choice function is obtained,and the sufficient condition is used to show avery simple proof of Arrow Impossibility Theorem.

构造并证明了完全理性选择函数的最小决定集的存在惟一性定理，同时应用该定理的充分性条件给出了Arrow不可能性定理的一个简单证明。

This article discusses the use of the theorem of the residues to calculate Cauchy's Principal values of the improper integral, where auxiliary function has poles of higher order on the real axis and proposes a new theorem of culcuation.

在复函中应用留数定理计算广义积分的科希主值时，许多著作仅讨论了辅助函数在实轴上有一阶极点的情形[1-3]，有的则认为：辅助函数"在实轴上的奇点不能是二阶或二阶以上的极点["4，5]。

Applying this new theorem, one can easily find the auxiliary function and solve many problems of Cauchy's principal values of improper integral as well, the original theorem being unable to do so.

由于这个条件的限制，在寻找辅助函数时往往碰到困难，甚至找不到在实轴上只有一阶极点的辅助函数。

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)的正周期解问题，与已有研究成果相比，本章不仅获得了该类方程的正周期解的存在性定理又获得了正周期解的多解性定理，并将所取得的结论应用于一些具有实际背景的方程。

Motivated by this, we consider the global behavior of positive solutions of three-point boundary-value problems for second-order differential equations, under two different kinds of boundary-value problems, using fixed point theorem, fixed point index theorem and cone theory.

本文受到文献[7]的启发，运用不动点定理、不动点指数定理以及锥理论，分别研究了两种不同边值条件下二阶微分方程三点边值问题正解的整体性。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。