查询词典 compactness theorem

The compactness theorem of model theory has an extensive application in algebra.

模型论中的紧致性定理在代数中有很广泛的应用。

As a particular of Rado's theorem and the compactness theorem one obtains the following result.

作为Rado定理和紧致性定理的一种特殊情形，我们得到下面的结果。

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

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

First,we show a compactness theorem in SBH,then byusing this compactness theorem,we discuss variational problems for two different func-tionals.

首先给出了SBH空间的一个紧性定理，然后利用这个定理讨论了两个不同泛函的变分问题。

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提出了一组更强的非单调逻辑，称为非单调逻辑Ⅱ。

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 嵌入失紧性而带来的系列困难，证明了含临界增长的两类双调和方程边值问题非平凡解的存在性。

The process of our study links some of the most basic questions about C〓 with beautiful classical results from analyticfunction theory. For instance, it is essential Littlewood subordination theorem that assures that composition operators act boundedly on many analytic function spaces. And there are close connections between the compactness of C〓 and the existence of angular derivatives of ψ at points of 〓D. It involves the classical Julia-Careatheodory theorem, Denjoy-Wolff theorem and Nevanlinna counting functions and so on. It makes many old theorems in analytic-function theory getting some new meanings, and bestows upon functional analysis an interesting class of linear operators. This thesis consists of six chapters as follows: Chapter 1 is a preparatory in nature.

从而建立了C〓的算子性质与解析函数论中许多漂亮的经典结果之间的联系，如许多解析函数空间上复合算子的有界性本质上往往是著名的Littlewood从属原理，复合算子的紧性与其诱导映射在边界〓D上的角导数之间有着紧密的联系等等，这样自然而然地涉及到经典函数论中的Julia-Caratheodory定理，Denjoy-Wolff定理及Nevanlinna计数函数等等一些结果，并以此赋予函数论中许多古老问题以新意，同时也为泛函分析提供了一类十分具体的线性算子。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。