查询词典 compactness theorem

We establish some connections between geometric properties, properties in analysis and analytic properties of the inducing map ψ and operatortheoretic properties of composition operator C〓: f〓fοψ on various analytic function spaces mentioned above, include the boundedness, compactness, weak compactness, collective compactness and the Schatten class operator ideal, etc. Our results extend some previous results, for instance, the Shapiro's Nevanlinna counting function condition and the MacCluer's Carleson measure condition for the compactness of C〓 on Hardy space.

本文建立了D上解析自映射φ：D→D的几何性质、分析性质和解析性质与复合算子C〓：f→foφ在上述各种解析函数空间上的限制的算子性质之间的联系，涉及到复合算子C〓的有界性、紧性、弱紧性、总体紧性及Schatten类算子理想等算子特征，推广了前人的一系列结果，如Shapiro关于C〓的紧性的Nevanlinna计数函数条件，MacCluer关于C〓的紧性的Carleson测度条件等。

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

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

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

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

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计数函数等等一些结果，并以此赋予函数论中许多古老问题以新意，同时也为泛函分析提供了一类十分具体的线性算子。

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 study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

Connectors are lines that can be anchored to particular places, called glue points , on the graphic object.

连接符，可固定在图形对象的特定的地方的线条。

Another way of putting it, too many agents have a say in each other's work, and bureaucratic rigor mortis sets in.

另一种表达是，太多的作用物在彼此的工作里都有话语权，官僚的僵尸开始抬头。