查询词典 differentiation theorem

By using the theorem on cone expansion and compression and a fixed point theorem on cone,this paper is concerned with the existence of positive solutions for some boundary value problem of singular nonliear semipositive second-order three-point boundary value problem,which improve many known results.

运用锥拉伸与压缩不动点定理研究非线性奇异半正二阶三点边值问题正解的存在性，推广了一些已知的结果。

We prove an extension of the representation theorem of the convex pricing rule. We also give the corresponding probabilistic repre-sentation theorem of the convex pricing rule in a financial market with convex constraints.

我们证明了凸价格算子相应的表示定理，并给出了在凸约束的金融市场下凸价格算子的一个概率表达式。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

Through presentation and discussion of traditional wavelet construction with lifting scheme, the multiwavelet construction with lifting scheme is introduced. The extension of Vetterli-Herley theorem under multiwavelet condition is overall proved in detail. Based on equivalent scalar filters banks, a kind of multiwavelet construction with lifting scheme and corresponding theorem are proposed.

通过介绍基于提升格式构造传统小波的内容，引入基于提升格式构造多小波的研究，对Vetterli-Herley定理在多小波中扩展进行详细全面地证明，提出了一种基于等效标量滤波器组的提升格式构造多小波的实现框架和定理，并通过实例验证该方案的可行性。

Meantime, the Namioka-Bauer's and Wong's positive extension theorem are generalized to ordered locally convex spaces (see Theorem 5.1) and hence some new necessary and sufficient conditions of positive extension in ordered locally convex spaces are obtained

同时Namioka-Bauer 定理和 Wong定理也被推广到半序局部凸空间中(定理5.1)，从而得到了一些新的关于半序局部凸空间中正延拓的充分必要条件

The contents are the following:In chapter two, the existence and multiplicity results for the following equation of p-Laplacian type are obtained.For the elliptic quasilinear hemivariational inequality involving the p-Laplacian operator,in order to use the mountain pass theorem proving the existence result, the authors usually need to use the uniform convexity of the Sobolev space to prove the energy function satisfies the PS condition. But for the p-Laplacian type equation mentioned above, this method is no use. To overcome this difficulty, the potential function is assumed to be convex, then I prove the existence result and by using the extension of the Ricceri theorem, the multiplicity result for the problem is obtained.

在第二章我们首先考虑关于以下p-Laplacian型(p-Laplacian type)方程非平凡解及多解的存在性对于带有p-Laplacian算子的椭圆拟线性半边分不等式问题，为应用非光滑的山路引理证明解的存在性，在证明方程所对应的能量泛函满足非光滑的PS条件时，需利用Sobolev空间的一致凸性，但是对于具有更一般形式的算子的p-Laplacian型方程，不具备上述性质，在文中为克服这一困难，本人对位势泛函做了一致凸的假设，从而证明了解的存在性，并应用推广的Ricceri定理，证明了方程三个解的存在性。

Letг is a theory,if г has extensions,then the theorem of the theory г is the intersectionof its all extensions;if г has no extension,its theorem is the whole language.

由于非单调逻辑I中出现了一些与直觉相悖的情形，为此，D。

In chapter2 we obtain the constructure theorem and intechange theorem of 2-tournaments.wefind the correlation between the number of 3-cycles and 2-cycles in 2-tournament andits score vector,discuss a class of extreme value problem of tournament,answer partlya open problem posed by Brualdi.

第二章讨论了2-竞赛图和竞赛矩阵的一些基本问题：存在性和结构问题，证明了具有相同得分向量的任意两个2-竞赛矩阵可以通过三角形转换而互相得到，得到了2-竞赛图中2-圈与3-圈的数目与得分向量之间的关系式；讨论了2-竞赛中的一类极值问题，部分地回答了Brualdi〓的一个问题。

The reason of our being particularly overjoyed lies primarily on the fact that the subject of this Congress is mathematics, which has been respected as "the queen of sciences" for its brilliant intellectual accomplishments, as suggested by the examples of the discovery of Goedel's theorem and the proof of the Fermat Last theorem in the last century.

我上面说感到"特别高兴"，是因为数学一向以其辉煌的智力成就而被尊为"科学的皇后"，如上一世纪哥德尔定理的提出与费马大定理的证明就是一例。

Schur theorem was discovered by German mathematician Schur in 1916 when researching on the limited domain of Fermat's great theorem.

Schur定理是德国数学家Schur在1916 年研究有限域上的Fermat 大定理时发现的。

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。