查询词典 domain of existence

There are series of papers studying the solvability of an incompressible, viscous, instationary fluid contained in a domian bounded entirely by a free surface. In 1977, Solonnikov proved its local solvability in a Holder space for any initial date but without surface tension. In 1984, he considered the same problem in a Sobolev space with surface tension being taken into account. In I992, Mogilevskii and Solonnikov treated the same problem in a Holder space, where the coefficient of surface tension is not a constant. There are also short-time existence results for the solvability of an incompressible, vicous, unsteady fluid bounded above by a free surface and below by a fixed bottom which approach horizontal planes at infinity. In 1981, Beale proved its local solvability in a Sobolev space for any initial date but without surface tension. In 1983, Allain were concerned with the same problem in R〓 with surface tension but under the assumption that the initial fluid domain was near a horizontal strip. In 1987, he obtained the same result without the preceding assumption. In 1996, Tani solved the same problem in R with surface tension. For the solvability of an incompressible viscous instationary fluid in Ω R bounded inside by a free surface S and outside by a rotating boundary S, in 1995 Ciuperca proved its local existence in a Sobolev space for any initial date but without surface tension. In this paper, we consider the same problem with surface tension.

对于边界完全是由自由边界组成的有界区域中粘性不可压流体的非定常运动问题，Solonnikcv于1977年在忽略表面张力情况下证明了初值问题小时间解在Holder空间的存在性，于1984年在有表面张力情况下证明了初值问题问题小时间解在Sobolev空间的存在性，Mogilevskii和Solonnikov于1992年在表面张力系数可以不是常数情况下证明了初值问题小时间解在Holder空间的存在性；对于上面是自由边界、下面是固定边界且两边界在无限处趋于水平的无限区域中粘性不可压流体的非定常运动问题，Beale于1981年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，Allain于1983年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性，但其中假定初始区域近似是个水平条，他于1987年去掉了这个假定得到同样的结果，Tani于1996年在有表面张力情况下证明了R中初值问题小时间解在Sobolev空间的存在性；对于R中内面是自由边界、外面是旋转边界S的有界区域中粘性不可压流体的非定常运动问题，Ciuperca于1995年在忽略表面张力情况下证明了初值问题小时间解在Sobolev空间的存在性，本文考虑了在有表面张力情况下初值问题可解性问题。

Firstly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of single input-output equation in R n in the similar economical backgrounds in present articles and then gain the solution's continuity by exterior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

就R n空间中消耗为单调单值型的投入产出方程，在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，然后利用外部逼近法结合方程截断技巧证明了投入产出方程的解的连续性，最后给出了相对应于存在性和连续性的经济解释。

Secondly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of set-valued input-output equation in R n in the similar economical backgrounds in present articles too and then gain the solution's continuity by interior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

对于R n空间中消耗为单调集值型的投入产出方程，也在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，接着利用内部逼近法结合方程截断技巧对投入产出方程的解的连续性给予了证明，然后顺便简单的介绍了运用外部逼近法来得到方程的解的连续性的思路，最后也给出了相对应于存在性和连续性的经济意义。

A logicaldomain is used as a reference and the mesh movingis implemented according to an appropriate domain transformation.With sometraditional moving mesh methods,the meshes in physical domain may be tangled.To avoid this,the transformations are constructed based on harmonic mapping.Agood feature of the adaptive methods based on harmonic mapping is that existence,uniqueness and non-singularity for the continuous map can be guaranteed fromthe theory of harmonic maps.

在移动网格方法中，需要引进一个逻辑区域作为参考，网格的移动往往通过一个区域变换来实现，网格可能发生缠绕的问题是移动网格方法中一个一直没有解决的问题，我们利用调和映射来构造区域间的变换，使得变换的存在唯一生有了理论的保证，这就为避免网格缠绕打下了基础。

This paper considers the moment problem for modules over principal ideal domain containing existence and uniqueness of solution.

研究主理想环上模的矩量问题，包括矩量问题的存在性和唯一性。

The unremitting efforts for respective interests lead to many levels game in the domain of tax in existence.

正是对于各自利益的不懈追求，才导致了税收领域的多层博弈的存续。

Bamboo mosaic virus encodes a 155-kDa replicase that the middle region contains a helicase-like domain according to the existence of several conserved featured motifs of helicase. Previous studies showed that the helicase-like domain exhibits both ATPase and RNA 5'-triphosphotase activities, and Mg2+ is essential for both activities. Mutagenesis of conserved motifs showed these amino acids play important roles for enzymatic activities. These results suggested that the properties of this denatured and renatured protein are coincident with other SF1 helicases.

从胺基酸序列分析显示，竹嵌纹病毒复制酵素中间区域的类解螺旋酵素具有解螺旋酵素的保留性胺基酸区域，经实验显示此蛋白具有ATPase和RNA 5'-triphosphatase活性，而且是依赖镁离子进行反应的，其中保留性胺基酸的突变会破坏其催化能力，说明这在大肠杆菌表达的蛋白质经过变性及重新摺叠的过程，具有和其他SF 1解螺旋酵素相似的特性。

The domain derivative of the Navier-Stokes equations is given in the same manner as the Stokes equatons' domain derivative by reducing to homogeneous equations and proving continuous character and existence of Frechet derivative .

同样利用对非齐次方程的齐次化、证明目标函数对区域的连续性和其导数的存在性，同时给出了定常Navier-Stokes方程的区域导数完整的理论证明。

In this paper,we consider the existence and uniquness of solution for Dirichlet problem of the Helmholtz equation on the domain with corners, i.e problemFor smooth boundary,we use potential theory to transform the problem into second kind boundary integral equation ,and use Fredholm alternative theorem,we obtain the existence and uniqueness of Dirichlet problem.

在本文中，我们考虑边界含尖点的有界区域上Helmholtz方程△u+k~2u=0的Dirichlet问题即问题与问题解的存在及唯一性。

In chapter 4,we introduce the basic properties for pluripotential theory and results about the existence of weak solutions. Then we prove the existence of weak solution in some special domain which is not strictly pseudoconvex.

第四章我们先介绍多重位势理论的一些基本知识，然后介绍复Monge-Ampere方程在严格拟凸域上的已有的两个重要结论，之后讨论一类特殊的非严格拟凸域上复Monge-Ampere方程弱解的存在性。

Lugalbanda was a god and shepherd king of Uruk where he was worshipped for over a thousand years.

Lugalbanda 是神和被崇拜了一千年多 Uruk古埃及喜克索王朝国王。

I am coming just now,' and went on perfuming himself with Hunut, then he came and sat.

我来只是现在，'歼灭战perfuming自己与胡努特，那麼，他来到和SAT 。