查询词典 fixed point theorem

In chapter II,the preliminary knowledgefor accomplishing this research is presented,and the well-posed problem ofthe thin-plate flow of non-Newtonian viscous fluids is testified.By using themonotone operator theory and Schauder's fixed point theorem,the generalizedsolution's existence and uniqueness theorem for the thin-plate flow problem ofnon-Newtonian viscous fluids is obtained under reasonable conditions.

第二章给出了进行本项研究所需的一些预备知识，对非牛顿粘性流体薄板流问题广义解的适定性进行了研究，应用单调算子理论和不动点定理，在合理的条件下，证明了非牛顿粘性流体薄板流问题广义解的存在性，唯一性定理。

In Chapter 3 Firstly, the exponential stability in mean square and almost sure exponential stability for neutral stochstic neural networks with time-varying delay can be discussed by using the linear matrix inequality and the semimartingale convergence theorem; And our sufficient conditions are less conserative; Secondly, by utilizing the fixed point theorem, some sufficient and necessary conditions ensuring the asymp- totic stability in mean square for neutral stochastic neural networks with time-varying delays can be given.

第三章首先，利用线性矩阵不等式方法和半鞅收敛定理，考虑了一类具变时滞中立型随机神经网络的二阶矩指数稳定性和几乎必然指数稳定性，所得到的条件保守性要好；其次，采用不动点方法，给出了具变时滞中立型随机神经网络的二阶矩渐近稳定性的充要条件。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

By applying existence theorems of maximal elements for a family of GB-majorized mappings in a product space of G-convex spaces, some coincidence theorem, Fan-Browder type fixed point theorem and some existence theorems of solutions for a system of minimax inequalities are proved under noncompact setting of G-convex spaces.

通过应用G-凸空间的乘积空间内一族GB-优化映象的极大元的存在定理，在G-凸空间的非紧设置下证明了某些重合点定理，Fan-Browder型不动点定理和极小极大不等式组的解的存在性定理。

Since then,by applying the Leray-Schauder continuation theorem,nonlinear alternative of Leary-Schauder,coincidence degree theory,and Krasnoselskii's fixed point theorem,many researchers have studied more general nonl...

研究了一类二阶非线性常微分方程的三点边值问题多重正解的存在性问题，在非线性项不满足超线性或次线性的条件下，利用不动点指数定理得到了至少存在两个正解的几个充分条件。

By applying a Fan-Glicksberg type fixed point theorem for upper semicontinuous set-valued mappings with closed acyclic values and a maximum theorem,several existence theorems of weighted Nath-equilibria and Pareto equilibria for the constrained multiobjective games are proved in noncompact locally convex H-spaces.

应用局部凸H－空间内具有闭零调值的上半连续集值映象的Fan－Glicksberg型不动点定理和极大化定理，对无限最优化总理2和约束对策问题在没有线性结构的局部凸H－空间内证明了解的某些新的存在定理，这些定理改进和推广了最近文献中的许多重要结果。

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

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 揭示了实函数与第一纲集的某种关系。

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

For some special cases, the paper gives some important identical theorems, and then establishes a valuable relation between the uniformly almost periodic functions and the trigonometric polynomials.Secondly, on the basis of the identical theorem, the paper investigates the Fourier series of the uniformly B2 almost periodic functions, and further proves that the series is unique.Thirdly, the paper discusses the Parseval equation of the uniformly B2 almost periodic functions, which establishes the relation between these functions and the coefficients of their Fourier series; and next investigates an important approximation theorem-Riesc-Fischer theorem, about the uniformly B2 almost periodic functions and the trigonometric polynomials.

并给出了特殊情况下的几个重要的恒同定理，将一致概周期函数与有限三角多项式联系起来；第二，在恒同定理的基础上，给出了一致B~2概周期函数的Fourier级数，并且级数是唯一的；第三，讨论了一致B~2概周期函数的Parseval方程，建立了函数与其Fourier级数的系数之间的联系；接着给出了关于一致B~2概周期函数和三角多项式之间的一个重要近似定理—Riesc-Fischer定理。

The witness also told the jury at the Royal Courts of Justice in London that he saw a paparazzo fighting with a member of the public who was trying to stop him taking pictures in the minutes before the emergency services arrived.

他还告诉在伦敦皇家法庭的陪审团，在急救服务到来之前，他当时看见一个狗仔队正和一群阻止他拍照的人打架。

The entire N／C program on a tape is made up of an accumulation of these successive data blocks.

纸带上的整个数控程序由这些连续数据单元连接而成。