查询词典 imbedding theorem

In this article,we mainly study the space-like submanifolds with parallel mean curva-ture vector,constant scalar curvature or constant square length of the second fundamental form,respectively.We obtain some pinching theorems and rigidity results by estimating Laplace of the square length of the second fundamental form of the such submanifolds and using yaus maximum principle or Stokes Theorem.

本论文主要研究de Sitter空间中具有平行平均曲率向量、常数量曲率或第二基本形式模长平方是常数的三类类空子流形，并通过分别估计三种情形下子流形的第二基本形式模长平方的Laplace，利用Yau的极大值原理和Stokes定理，获得了这些子流形的一些拼挤定理和刚性定理。

We prove the local solvabiity of the problem by schauder fixed point theorem , and establish the existence and the inexitence of global solutions.

证明了Neumann 边值问题古典解的局部存在性，并给出了整体解存在和解在有限时刻内爆破的充分条件。

The existence of solution is studied for a class of second - order periodic boundary value problems with first applying Leray - Schauder fixed point theorem, two exislence theorems are established.

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性，其中非线性项是Carathèodory函数。通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理。

Chapter three deals with the controllability of a nonlinear integrodifferential systems ofSobolev type with nonlocal condition in Banach spaces. The results are obtained by using semi group theory and the Schauder fixed point theorem.

本章利用算子半群和Schauder不动点定理，在Banach空间中讨论了带有非局部初始条件的一类非线性Sobolev型积分微分系统的可控性问题。

In chapter 6, we discussed the wavefront solution of a kind of lattice differential equation which derives from diverse fields. We obtained the wavefront solution by using sup-subsolution iteration when the coupled functions are quasimonotone, and by applying Schauder fixed point theorem, we also obtained the wavefront solution when the coupled functions have a different quasimonotone property.

在第六章中，我们对一类从实际问题中抽象出来的二阶时滞格微分方程的行波解进行了讨论，用单调迭代的方法讨论了耦合函数具有拟单调性时行波解的存在性，用不动点的方法讨论了耦合函数具有指数拟单调性时行波解的存在性。

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型广义积分微分系统边值问题解的存在唯一性，最后给出了几个推论。

By using Schauder fixed point theorem and upper and lower solution method,we ob- tain some new existence criteria for positive solution to a singular p-Laplacian BVPs with sign-changing nonlinearity involving derivative.

借助于上下解方法和Schauder不动点定理，建立了测度链上非线性项变号的奇异p-拉普拉斯多点边值问题正解的存在性准则。

The existence and uniqueness of Verhulst's partial differential equations on the population mathematical models were proved under an assumed condition by Schauder's fixed-point theorem and Gronwall's lemma.

讨论了在一定的假设条件下，Verhulst型人口模型弱解的存在性、唯一性和渐近性。

Chapter 2 discuss firstly the local existence of solutions for a class of abstract functionalintegro-differential equations with unbounded delay by Schauder's fixed point theorem, then byintroducing an inequality condition and applying the continuity property of solutions it obtainsthe global existence of the solutions.

第二章先利用Schauder不动点定理讨论一类具有无限时滞抽象泛函积分微分方程解的局部存在性，然后引入一不等式条件并利用解的延拓性质获得了解的整体存在性

Aimed at the mathematic problem in the model of the pendulum oscillation,the paper introduces the study on the existence of odd-harmonic solutions to second order semi-linear differential equation which describes the model of the pendulum oscillation by using upper and lower solution method monotone iterative technique and the Schauder fixed point theorem respectively.

针对摆型振动模型中的数学问题，分别采用上下解方法、单调迭代法及Schauder不动点定理研究了摆型振动模型的二阶半线性微分方程奇调和解的存在性。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。