查询词典 constructive existence proof

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 Chapters 3 and 4, we investigate the existence of periodic solutions of a class of second order functional differential equation and a class of third order functional differential equation, respectively, and obtain new sufficient conditions of their existence result of periodic solutions under growth conditions and linear growth condition, respectively.

第三章与第四章分别研究了一类二阶泛函微分方程及一类三阶泛函微分方程的周期解存在性，分别在增长条件及线性增长条件下，获得了这两类方程周期解存在性的新的充分条件，与文献中已知结果比较，我们所讨论的方程更为一般，所得结果较简洁且易于验证。

In Chapters 3 and 4, we investigate the existence of periodic solutions of a class of second order functional differential equation and a class of third order functional differential equation, respectively, and obtain new sufficient conditions of their existence result of periodic solutions under growth conditions and linear growth condition, respectively. Compared with some known results in the literature, the equations discussed by us are more general, and our results are concise and easy to be verified.

第三章与第四章分别研究了一类二阶泛函微分方程及一类三阶泛函微分方程的周期解存在性，分别在增长条件及线性增长条件下，获得了这两类方程周期解存在性的新的充分条件，与文献中已知结果比较，我们所讨论的方程更为一般，所得结果较简洁且易于验证。

Moreover, this dissertation reveals an essential conclusion: The existence of the state feedback solution of H〓 problem is equivalent to that of the maximinimizing the LQ problem, by the existence of real symmetric stable solution of GARE.

文中从微分Riccati方程解的存在性及其性质的论证出发，最终得到了GARE实对称解存在条件的结论。在§2-4中，揭示了本文研究的maxmin鲁棒最优控制问题与H∞状态反馈解及GARE实对称解的存在性等价这一实质性结论。

In order to investigate the existence conditions of the robust optimal state feedback of uncertain system, we have to study the problem of GARE, that is the solution existence of the following equation PA+A'P+Q-PMP=0, Q=Q', M=M' In chapter 2, using some preliminary results and properties of the Riccati differential equation, we have established the sufficient conditions for the GARE problem.

在讨论不确定性系统LQL方法的状态反馈解的存在性条件时，引出了第二章讨论一般代数Riccati方程解的存在性问题，对一般Riccati方程 PA+A'P+Q-PMP=0，Q=Q'，M=M'第二章中先列举讨论了Q、M为正、负定各种情况下的实对称解的存在条件，然后着重研究了M、Q不定的情形。

Finally, in the third section, by constructing some functional which similar to the conservation law of evolution equation and the technical estimates, we prove that in the inviscid limit the solution of generalized derivative Ginzburg—Landau equation converges to the solution of derivative nonlinear Schrodinger equation correspondently in one-dimension; The existence of global smooth solution for a class of generalized derivative Ginzburg—Landau equation are proved in two-dimension, in some special case, we prove that the solution of GGL equation converges to the weak solution of derivative nonlinear Schr〓dinger equation; In general case, by using some integral identities of solution for generalized Ginzburg—Landau equations with inhomogeneous boundary condition and the estimates for the L〓 norm on boundary of normal derivative and H〓 norm of solution, we prove the existence of global weak solution of the inhomogeneous boundary value problem for generalized Ginzburg—Landau equations.

第三部分：在一维情形，我们考虑了一类带导数项的Ginzburg—Landau方程，通过构造一些类似于发展方程守恒律的泛函及巧妙的积分估计，证明了当粘性系数趋于零时，Ginzburg—Landau方程的解逼近相应的带导数项的Schr〓dinger方程的解，并给出了最优收敛速度估计；在二维情形，我们证明了一类带导数项的广义Ginzburg—Landau方程整体光滑解的存在性，以及在某种特殊情形下，GL方程的解趋近于相应的带导数项的Schr〓dinger方程的弱解；在一般情形下，我们讨论了一类Ginzburg—Landau方程的非齐次边值问题，通过几个积分恒等式，同时估计解的H〓模及法向导数在边界上的模，证明了整体弱解的存在性。

The existence of the radially classical solutions with Dirichlet boundary value in unit ball was investigated. Based on perturbation technique, topological method and comparability theorem, the existence of the radially symmetric solutions for the generalized mean curvature equations with proper presupposition was established.

在单位球内考虑广义平均曲率方程组具有Dirichlet边值条件的径向古典解，运用摄动技巧、拓扑方法及比较原理，在一个适当的条件下，证明了广义平均曲率方程组径向对称解的存在性。

This thesis is concerned with the existence and uniqueness of solution, and global attractor's existence of two nonlinear parabolic equations in R 2 and R n.

这篇论文研究了一个R~2和一个R~n上非线性的抛物方程的解的存在性、唯一性、和全局吸引子的存在性。

The drinking water is mankind existence of basic need, safety credibility of drinking water direct relation people crowd of mind and body health and life quality, relation arrive overall construction middle-class family society grandiosity target of realization, this text is from the village drinking safety existence of problem, become because of analysis, guarantee method 3 carried on to elaborate.

饮用水是人类生存的基本需求，安全可靠的饮用水直接关系人民群众的身心健康和生活质量，关系到全面建设小康社会宏伟目标的实现，本文从农村饮水安全存在的问题、成因分析、保障方法三个方面进行了阐述。

In this thesis, we study two problems: the existence results of solutions for generalized vector quasi-equilibrium problems and Hlder continuity of solutions to generalized vector equilibrium problems. The detailed contents are listed as following:In Hausdorff topological vector space, we discuss the existence results of solutions for three types of generalized vector quasi-equilibrium problem (GVQEP1,(GVQEP2) and (GVQEP3), for short respectively.

本文主要研究了两类问题：广义向量拟平衡问题解的存在性以及广义向量平衡问题解的Hlder连续性，具体内容如下：在Hausdorff向量拓扑空间中，讨论了三类广义向量拟平衡问题(GVQEP1)，(GVQEP2)和(GVQEP3)解的存在性定理。

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细胞无能。