查询词典 existence theorem

Transforming the boundary value problem with p-Laplace operator into operator equation, giving propriety conditions for different value of p,and using an extension of Mawhin s continuation theorem,the existence of solution of a boundary value problem with p-Laplace operator is proved, and the sufficient conditions for solution existence are obtained.

将具p-Laplace算子的边值问题转化成算子方程，对于p的不同取值给出适当的条件。利用Mawhin连续引理的推广形式，证明了一类具p-Laplace算子的微分方程边值问题解的存在性，得到了一系列解存在的充分条件

From Poisson matrix, we can observe volume-preserving vector fields. By using Geiges-Gonzalo's existence of contact circle Theorem [3] , we show the existence of volume-preserving circle on3-manifolds which says that every3-manifold admits two linear independent vector fields preserving a same volume form.

通过Poisson矩阵可以观察出保积向量场，再利用Geiges-Gonzalo的接触圆存在性定理[3]，我们证明了保积圆的存在性：每个闭的3-流形上都存在两个处处线性无关的保积向量场并且它们的常系数线性组合仍是保积向量场。

Furthermore, the proof of correctness of CalcCycleTime is also the proof of the existence of cycle time, the existence of generalized eigenvectors, and the duality theorem.

本论文中给出的CalcCycleTime算法的正确性证明同时是周时存在性、广义特征向量存在性和对偶定理的证明。

By employing the theorem on existence and uniqueness of solutions, the existence and uniqueness of path is proved. A method of solving ordinary differential equation systems is proposed to get the trajectory of SVM solutions.

利用微分方程组的存在唯一性定理，我们得到了路径的存在唯一性，并给出了一种常微分方程组的近似解法求解SVM解的路径。

In this paper,we consider the existence and uniquness of solution for Dirichlet problem of the Helmholtz equation on the domain with corners, i.e problemFor smooth boundary,we use potential theory to transform the problem into second kind boundary integral equation ,and use Fredholm alternative theorem,we obtain the existence and uniqueness of Dirichlet problem.

在本文中，我们考虑边界含尖点的有界区域上Helmholtz方程△u+k~2u=0的Dirichlet问题即问题与问题解的存在及唯一性。

The existence of the radially classical solutions with Dirichlet boundary value in unit ball was investigated. Based on perturbation technique, topological method and comparability theorem, the existence of the radially symmetric solutions for the generalized mean curvature equations with proper presupposition was established.

在单位球内考虑广义平均曲率方程组具有Dirichlet边值条件的径向古典解，运用摄动技巧、拓扑方法及比较原理，在一个适当的条件下，证明了广义平均曲率方程组径向对称解的存在性。

The condition for the existence of positive elliptic periodic solution was found using Floquet theory; and the theorem of the existence of positive elliptic periodic solution was proved by the method of upper and lower solutions and homotopy invariance theory of topology degree; then an example was given.

利用Floquet理论得到了该方程的正椭圆周期解存在的条件；然后利用上下解方法和拓扑度的同伦不变性理论，证明了该模型正椭圆周期解的存在性定理，并进行了实例验证。

By increasing the condition of the integral mean value theorem,we prove that the existence of intermediate point and the existence of interval are corresponding to each other.

给出了积分中值定理的一个注记，证明了中值点的存在性与覆盖中值点的区间的存在性是相互对应的。

Here mainly introduces five natures of the initial value problems, In several aspects summed up as the following : whether there are solutions to the problems, whether the only solution, the existence of solutions interval extent; Initial issues under what conditions have a solution--Cauchy - Piano existence theorem; how the district between the definition of a solution to open up a larger interval up; initial value problems for the sole condition --- Lipschitz conditions; 3、the numerical solution of the initial value problems of Ordinary Differential equations .

在这里主要介绍了初值问题的5个方面的性质，分别在这几个方面中总结了以下内容：初值问题是否有解，解是否惟1，解的存在区间有多大；初值问题在什么条件下有解----柯西-皮亚诺存在定理；怎样把在小区间上有定义的解开拓到较大的区间上去；初值问题解的惟1性条件---李普希茨条件；3：常微分方程初值问题的数值解法。

In order to prove the existence of the periodic boucing solutions, firstly we will introduce a new coordinate transformation, transform the system from right half plane to the whole plane. And give the relation of the eigenvalues of Hill's equation and the rotation numbers, using this approach and Pioncar -Birkhoff twist theorem, we proved the existence of the periodic bouncing solutions for asymptotical linear oscillator.

对于周期解的存在性证明，我们引进新的坐标变换把右半平面上的碰撞问题转化到整个平面上，给出旋转数与Hill方程的特征值的关系，并以此来度量渐近线性振子，再应用Pioncaré-Birkhoff扭转定理得到周期碰撞解的存在性。

A carrier gas such as nitrogen is directed through line 20 and valve 22 to connect with line 26 and mix with the gas sample.

如氮气之类的载体通过管线20和阀22引入，与管线26相通，与气体样品混合。

But for the most part, knaves and parasites had the command of his fortune

然而支配他的家产的大多是恶棍和寄生虫。