查询词典 duality theorem

The existence of the optimal control for the system is demonstrated via compactness theorem and prior estimates.

根据预备知识，利用紧性定理和先验估计，证明了系统最优控制的存在性。

By using the compactness theorem of SBD space, Poincaréinequality onthe BD functions,we prove the existence for variational problems.

主要利用SBD函数空间的紧性定理，BD函数的Poincaré不等式等给出了变分问题的存在性。

Innonmonotonic logic I,the compactness theorem cannot come into existence.

McDermott于1982提出了一组更强的非单调逻辑，称为非单调逻辑Ⅱ。

Since bounded closed sets in infinite dimensional space are notcompact generally,in order to employ Horn's fixed point theorem the compactness of operator Pis initially proved in section 3 in this chapter.

由于无限维空间的有界闭集一般不具备紧性，为了应用Horn不动点定理，我们先证明了Poincare算子P的紧性。

Figueiredo (2002) condition, using above compactness theorem we prove that the functional corresponding to a class of quasilinear system of elliptic equations satisfies condition.

建立了一个抽象的紧性定理，然后借此定理证明了对应于一类拟线性椭圆型方程组的泛函在比Boccardo和De。

The aim of this paper is to study the existence of solution and multiply results for quasilinear elliptic system in bounded domain and the whole space, semilinear elliptic equation in two dimension space, second order nonlinear difference equation by variational methods. The main results are listed in the following:1. An abstract compactness theorem is proved, and then, under weak Boccardo and De.

本文主要利用变分法，分别研究了有界区域和全空间上拟线性椭圆型方程组、二维空间上半线性椭圆型方程和二阶非线性差分方程问题的解与多重解的存在性，具体内容如下： 1。

With the help of the Mountain-Pass Theorem lacking Palais-Smale compactness condition (PSc condition and by adoption of the best attained function of Sobolev embedding, the paper proves the existence of nontrivial solutions of two classes of critical biharmonic equations on boundary conditions by overcoming serial difficulties caused by loss of compactness due to Sobolev embedding.

本文借助于没有 PS 条件的翻山引理，并利用 Sobolev 嵌入的最佳达到函数，克服了由于 Sobolev 嵌入失紧性而带来的系列困难，证明了含临界增长的两类双调和方程边值问题非平凡解的存在性。

Firstly, a comparison theorem is proved.

首先，证明了比较定理。

We also give one kind of multi-dimensional comparison theorem of Y.

我们先运用与EL.Karoui在[1]中使用的类似的方法得到了单边界情形K的多维比较定理。

And the comparison theorem of the optimal cost of descriptor systems is given.

并给出广义系统的最优代价比较定理。

Diabetes is a social disease that affects several million people worldwide.

糖尿病是一个社会性疾病，全世界有数百万人罹患此病。

I'll call you on Friday to see if we can reschedule our luncheon meeting at your convenience.

我星期五会给您打电话在您方便的时候我们重新安排我们的午餐约会。