查询词典 uniqueness theorem

Finally by constructing an auxiliary problem, using addition theorem and applying an iterative process based on results obtained for the linear problem, the existence and uniqueness of the weak generalized solution of the nonlinear problem is proved.

解决了线性问题后，本文构造了辅助问题，利用迭加原理，并基于线性问题的主要结论运用迭代过程，最终证明非线性问题存在唯一广义弱解。

As for mixed problem with integral boundary conditions for a certain nonlinear pseudo-parabolic partial equation, the existence and uniqueness of a strong solution to the corresponding linear problem is established and so the nonlinear problem can be solved by using addition theorem.

对于一类非线性伪抛物型方程的带积分边值条件的混合问题，本文通过相应的线性方程利用迭加原理来解决。

This article uses the implicit function theorem and the properties of analytic functions,with less limitations for the uniqueness,continuity,continuous differentiability of the implicit functions,and gets the sufficient and necessary conditions of the existence of implicit functions by simplifying them.

从常用隐函数存在性定理出发，放宽对隐函数唯一、连续、连续可微等性质的限制，利用解析函数的性质将其展拓，得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。

A sufficient condition is obtained to ensure the existence and uniqueness of almost periodic solution for MAM neural network with time-varying delays by way of exponential dichotomy and contraction map theorem. Moreover, the global exponential stability of the almost periodic solution for this type of MAM neural network is proved by using Halanay inequality.

利用指数二分法结合运用压缩映射原理获得了变时滞多向联想记忆神经网络模型概周期解的唯一存在性，利用Halanay不等式证明了变时滞多向联想记忆神经网络概周期解的全局指数稳定性。

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

In part III by using capacity theory and extension theorem of Lip-schitz functions we first discuss the uniqueness of weak solution ofnonhomogeneous quasilinear elliptic equations〓in space〓,which is bigger then〓.

第三部分首先用容量理论、Lipschitz函数延拓定理讨论了一类非齐次拟线性椭圆型方程〓在比〓更大的空间〓中弱解的唯一性。

The model in this paper takes the form as belowThe main contents and results in this paper are as follows:In section 1, we state our main analytical results on equilibria of the above system. First, several sufficient conditions for coexistence of the steady-state are given by the standard fixed-point index theory in cone. Second, the global structure of the coexistence solutions and their local stability are established by using bifurcation theory. Third, the multiplicity, uniqueness and stability of positive steady-state solutions to this system are derived by means of perturbation theory of eigenvalues, standard regularity theory, Sobolev embedding theorem and fixed-point index theory.

本文主要有两章内容：第一章研究了该模型正平衡解的性质，可分为三部分：第一部分运用极值原理、上下解方法和锥映射不动点指标理论得到正平衡解存在的充分条件；第二部分利用分歧理论给出了平衡态系统正分歧解的结构，并讨论了局部分歧解的稳定性；第三部分利用特征值扰动理论、标准椭圆正则化理论、Sobolev嵌入定理及指标理论讨论了正平衡解的多重性、唯一性及稳定性，并讨论了参数对解的影响。

The existence and uniqueness of the solution with the help of the Banach fixed point theorem and the theory of operator semigroups are verified .The global exponential stability of KS equation and the global exponential stability and asymptotical stability of macro KS equation with the given boundary feedbacks are proved .

通过Banach不动点原理和算子半群理论证明了方程解的存在性和唯一性，并证明了KS方程在给定的边界反馈条件下是全局指数稳定的及广义的KS方程在给定的边界反馈条件下是全局指数稳定和渐近稳定的。

This paper study the character and application of the solution of BSDE, the main results include: for the second kind of BSDE, the existence and uniqueness of the solution under non-Lipschitz condition, comparison theorem and stability are established , under weaker condition , the existence of the minimal and maximal solution is proved and the application in stochastic control and utility function is given; for the first kind of BSDE, under weaker condition , the existence of minimal and maximal solution .stability, comparison theorem and application to utilityfunction are proved.

本文研究倒向随机微分方程解的性质及其应用，主要结果有：针对第二类方程，讨论了在非Lipschitz条件下倒向随机微分方程解的存在唯一性，比较定理及稳定性等，在更弱条件下，得到了倒向随机微分方程的最大解和最小解的存在性，在此基础之上，给出了在随机控制及效用函数方面的应用；针对第一类方程，同样在较弱条件下，证明了方程最大、最小解的存在性、稳定性、比较定理及其在效用函数的应用。

We discussed the stability of the system balance, used the Poincare-Bendixson's annular region theorem to prove the existence, and used the Zhang Zhifen unicity theorem to prove the uniqueness of limit cycle, at the same time give meaning to the corresponding conclusions on the ecology.

讨论了系统平衡点的稳定性，用Bendixson环域定理证明极限环的存在性，借助张芷芬唯一性定理证明极限环的唯一性，同时对相应结论的生态学意义给予说明。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。