查询词典 prove

We prove that a bounded hyperconvex domain D isBergman complete if the pluricomplex Green function is symmetric.

我们证明了若一个有界超凸域的多复变量Green函数是对称的，则其是Bergman完备的。

We prove the L~1-stability of weak solutions for arbitrarily large data on multi-dimensional bounded or periodic domain or whole space.

作为研究的出发点，在第三章里，我们首先考虑弱解的L~1稳定性，通过得到关于密度梯度的新熵估计和精细的能量估计，我们可以证明逼近解的收敛性。

In the second chapter, we prove that if a bounded operator S satisfies some integrab...

第二章证明了在单位圆盘D上的加权Bergman空间A~p

The authors prove that if the kernel satisfies certain conditions, then the convolution operator is bounded from L to BMO or from BMO to BMO.

证明了如果卷积算子的核满足适当的条件，则算子是L到BMO有界的或是BMO到BMO有界的。

In Chapter Three, we use the method of interpolation spline of differential operater to come up with the reproducing kernel in H01 with respect to bounded linear operator in H10. Then we use the reproducing kernel to develop the expression of the best approximating of bounded linear operator in H10 and prove its convergence.

第三章中，对于H_0~1中的有界线性算子，用微分算子插值样条函数的方法给出了H_0~1空间中的再生核，利用此再生核给出了H_0~1上的有界线性算子的最佳逼近的表达形式，并证明了其收敛性。

The purpose of this paper is to prove the existence of non-oscillatory solutions to second-order neutral time-lag differential equation with positive/negative coefficient by using contraction-image principle through defining an operator from a bounded,closed,and convex subset into Banach space.

通过定义有界闭凸子集到B anach空间上的一个算子，应用压缩映像原理讨论了带有正负系数的二阶中立型时滞微分方程非振动解的存在性，得到该方程非振动解存在的一个充分条件。

And we also prove the existence theorem of minimizer for the new model by means of Poincares inequality and the lower semi-continuity of bounded variation functions.

根据有界变差泛函中的Poincare不等式和下半连续性，证明了该模型极小值的存在性。

And we also prove the existence theorem of minimizer for the new model by means of Poincare's inequality and the lower semi-continuity of bounded variation functions.

根据有界变差泛函中的Poincare 不等式和下半连续性，证明了该模型极小值的存在性。

Under some reasonable assumptions of the'Distribution Matrix', the Riemann Problem with piecewise constant initial data is proved to have a unique Riemann Solver; furthermore, using'Wave Front Tracking Method'and properties of the'Generalized Characteristics', we prove the existence of weak entropy solution to the Riemann Problem with arbitrary initial data of bounded Total Variation.

在"分布矩阵"满足合理的假设前提下，证明了具有分片常值初始条件的黎曼问题的黎曼解算子的存在唯一性；并进一步运用"波前追踪法"和"广义特征"等得到了具有任意有界全变差初值条件的广义黎曼问题的弱熵解的存在性。

We also prove that all solutions of the system are uniformly ultimately bounded.

也证明了系统的所有解的一致完全有界。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。