唯一性定理

We prove that the existence and uniqueness of solution of the system of generalized nonlinear variational inclusions by using the fixed point theorem.

运用不动点定理，我们证明了广义非线性变分包含组解的存在性与唯一性。

The sufficient condition of stochastic delay population system with diffusion is obtained in Hilbert space.

利用Ito公式和Burkholder-Davis-Gandy定理及Gronwall-Bellman不等式，通过构造一个有界的柯西列，给出了Hilbert空间中随机时滞种群扩散系统解的存在性和唯一性的充分条件，文章所得到的结论是目前现有结果的推广。

Now by using Dai's exact solution formula and studying the asymptotical behavior controlcondition and using the series expression of the famous Riemann Zeta-function in number theory,after introducing and proving a new representation theory of inverse Laplace transformation wedirectly obtained Chen's solution formulae and their unique existence condition without usingLaplace transformation and〓 inverse formula.

本文从带消发散参数的严格解出发，通过研究渐近行为控制条件，利用数论中著名的Riemann-Zeta函数的级数表示，引入并证明一个逆Laplace变换的新的表示定理，直接导出了陈等发展的级数解，并得到了级数解的存在、唯一性条件。

Application of contraction mapping principle to recursion sequence of number;2. With the Banach contraction mapping principle and Schauder fixed-point theorem, on the consistent condition of nonlinear term, we get .

用压缩映像原理和Schauder不动点定理对带有不跨特征值扰动项的梁方程边值问题进行了研究，在非线性项满足渐进一致性条件下，得到了相应的解的存在唯一性结论。

In chapter two, under non-Lipschitz condition, the existence and uniqueness of the solution of the second kind of BSDE is researched, based on it, the stability of the solution is proved; In chapter three, under non-Lipschitz condition, the comparison theorem of the solution of the second kind of BSDE is proved and using the monotone iterative technique , the existence of minimal and maximal solution is constructively proved; in chapter four, on the base of above results, we get some results of the second kind of BSDE which partly decouple with SDE, which include that the solution of the BSDE is continuous in the initial value of SDE and the application to optimal control and dynamic programming. At the end of this section, the character of the corresponding utility function has been discussed, e.g monotonicity, concavity and risk aversion; in chapter 5, for the first land of BSDE ,using the monotone iterative technique , the existence of minimal and maximal solution is proved and other characters and applications to utility function are studied.

首先，第二章在非Lipschitz条件下，研究了第二类方程的解的存在唯一性问题，在此基础上，又证明了解的稳定性；第三章在非Lipschitz条件下，证明了第二类BSDE解的比较定理，并在此基础上，利用单调迭代的方法，构造性证明了最大、最小解的存在性；第四章在以上的一些理论基础之上，得到了相应的与第二类倒向随机微分方程耦合的正倒向随机微分方程系统的一些结果，主要包括倒向随机微分方程的解关于正向随机微分方程的初值是具有连续性的，得到了最优控制和动态规划的一些结果，在这一章的最后还讨论了相应的效用函数的性质，如，效用函数的单调性、凹性以及风险规避性等；第五章，针对第一类倒向随机微分方程，运用单调迭代方法，证明了最大和最小解的存在性，并研究了解的其它性质及在效用函数上的应用。

Then several structural theorems of regular power rings and uniform power rings are established respectively and the uniqueness of the multiplication of a regular power ring is proved.

建立了正则幂环与一致幂环的结构定理，并证明了正则幂环的乘法运算的唯一性。

Firstly, we analysize the boundary value problem for linear singular system, several properties for linear singular system are given, and then the existence for boundary value problem to nonlinear singular system is proved by using the previous properties discussed and Schauder's fixed point theorem.

接着，利用Banach不动点定理，研究了Volterra型广义积分微分系统边值问题解的存在唯一性，最后给出了几个推论。

Hybrid Dynamic; time-varying systems; finite horizon; optimal control; Quasi-Variational Inequality; viscosity solution; lower semicontinuous solution; uniqueness; Dynamic Programming; Viability Theory; inventory systems; mathematical model; proximal subdifferential; parabolic equation; nonlinear boundary

基础科学，数学，控制论、信息论混合动态；时变系统；有限时间；最优控制；拟变分不等式；粘性解；下半连续解；唯一性；动态规划；生存定理；库存系统；数学模型；邻近次微分；抛物型方程；非线性边界

At first, using fixed point theorem, we establish the sufficient conditions which guarantee the existence, uniqueness, uniform stability of periodic solutions for the equations.

首先，我们利用不动点定理，建立了保证该类方程周期解的存在性、唯一性及一致稳定性的充分条件。

In chapter 3, as a application of fixed point theorems in gauge spaces, by using the results in chapter 2 we study the existence and uniqueness of solution for integral equation of Voletrra type in C.

第三章，作为度规空间中的不动点定理的应用，我们利用第二章中的结果，在C空间中研究了Voletrra型积分方程解的存在性与唯一性。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。