查询词典 existence theorem of implicit function

This paper is concerned with the existence of positive solution for singular m-point boundary value problems with p-Laplacian operator by using a fixed point theorem on cone.

运用锥拉伸压缩不动点定理，讨论了一类具有p-Laplacian算子m-点奇异边值问题的正解的存在性，推广和包含了一些已知的结果。

Finaly, in the case of the nonlinearities being singular at 0, by utilizing the mountain-pass theorem and some other variational methods, we get the existence of nontrivial solutions of the equations under the Dirichlet boundary condition, where the operator diva(x,u is the p-Laplacian.

最后，我们通过应用山路引理等变分方法，研究当算子diva(x，▽u为p-Laplacian并且非线性项在原点有奇异性时，方程在Dirichlet边值条件下非平凡解的存在性。

We first show some properties of such operators and give an explit description about the image of a linear bounded operator on a linear normed space. Then based on these results, we show the mean ergordic theorem on a C*-bial-gebra and get a sufficient and necessary condition for a linear functional to be Haar measure. Finally we discuss the sufficent conditions for the existence of Haar measure on C*-bialgebras.

本文首先通过考察这样算子的性质和刻画赋范线性空间中连续线性算子的像集的性质，证明了C*－双代数中的一个平均遮历定理，得到了C*－双代数中的线性泛函是 Haar 测度的充分必要条件；利用遍历定理和这个充分必要条件探讨了C*－双代数中 Haar 浏度存在的一些充分条件。

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 不等式和下半连续性，证明了该模型极小值的存在性。

In chapter 3, by Brouwer's fixed point theorem, we prove existence of the equilibrium point for high-order Cohen-Grossberg neural networks with delay, and investigate global stability of the equilibrium point by Lyapunov method.

第三章主要通过Brouwer's不动点定理证明了具延迟的高阶Cohen-Grossberg神经网络平衡点的存在性，并且用Lyapunov方法研究了平衡点的全局稳定性。

By using generalized-weak commutativity mapping, the existence of common fixed point for this class of contractive type mappings is studied in complete metric space, a common fixed point theorem for contractive type mappings is obtained, which largely improve and extend the corresponding results in some references.

通过使用映象的广义弱交换条件，在完备度量空间中研究了更为广泛的一类压缩型映象的公共不动点的存在性，给出了一个新的公共不动点定理，从而在很大程度上改进和推广了现有文献中的一些结果。

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

The studies on the developing of new media are very important to the increasing of the area density of HDD and to the implementation of hybrid recoding technology.

光磁混合记录方法，是一种可以突破超顺磁极限的限制，并进一步提高硬盘记录密度和读写速率的一种新型超高密度信息存储方式。

In io, mTOR inhibition promotes T cell anergy under conditions that would normally induce priming.

体内研究中，在正常可激发免疫反应的条件下，抑制mTOR可促使T细胞无能。