High-Order Hamilton＇s Principle and the Hamilton＇s Principle of High-Order Lagrangian Function

In this paper, based on the theorem of the high-order velocity energy, integration and variation principle, the high-order Hamilton＇s principle of general holonomic systems is given. Then, three-order Lagrangian equations and four-order Lagrangian equations are obtained from the high-order Hamilton＇s principle. Finally, the Hamilton＇s principle of high-order Lagrangian function is given.     

Generation of Bell states via Lyapunov control on a two-qubit system with an anisotropic XY Heisenberg interaction

We demonstrate that an arbitrary Bell state can be achieved in a two qubit anisotropic Heisenberg XY chain via Lyapunov control. During the whole process, we only need to apply an external field along a given direction to a single qubit. This control strategy is effective for all initial states in the four-dimensional Hilbert space where the target state is asymptotically stable. The effects of imperfections on the fidelity for the target state such as Gaussian leakage of local control and localized dephasi...     

层次分析法与人工智能相互关系的比较研究

以解决和分析宏观、复杂决策问题为主要特点的AHP方法同以解决具体、微观问题的专家系统之间有本质的联系。本文从分析和比较二者的特点出发,将不同层次的决策知识形式化地统一表示成IF-THEN型的规则,通过引入MYCIN系统中的不精确推理,来推导出所要排序的结论。这种推理与AHP中的合成算法有类似之处,但由于AHP合成时忽略了同层元素间不可避免的相关性,因而,二者在证据对结论支持的量值上略有不同。可是,在通常情况上不会导致排出次序的变化。此外,本文中所建议的方法对于准则层元素之间如果存在“与”或“或”的关系时,用推理的方法仍可求出不同的排序结果,这无疑在实际应用中具有相当的实用价值。本文所提出的方法除了保留原AHP的特点外,还对“定性推理”所需的知识获取过程有重要意义,而且,它为利用深层知识来解释浅层知识开辟了一条途径。     

On the maximum principle for complete second-order elliptic operators in general domains

This paper is concerned with the maximum principle for second-order linear elliptic equations in a wide generality. By means of a geometric condition previously stressed by Berestycki-Nirenberg-Varadhan, Cabré was very able to improve the classical ABP estimate obtaining the maximum principle also in unbounded domains, such as infinite strips and open connected cones with closure different from the whole space. Now we introduce a new geometric condition that extends the result to a more general class of domains including the complements of hypersurfaces, as for instance the cut plane. The methods developed here allow us to deal with complete second-order equations, where the admissible first-order term, forced to be zero in a preceding result with Cafagna, depends on the geometry of the domain.     

Calculus of sequential normal compactness in variational analysis

In this paper we study some properties of sets, set-valued mappings, and extended-real-valued functions unified under the name of “sequential normal compactness.” These properties automatically hold in finite-dimensional spaces, while they play a major role in infinite-dimensional variational analysis. In particular, they are essential for calculus rules involving generalized differential constructions, for stability and metric regularity results and their broad applications, for necessary optimality conditions in constrained optimization and optimal control, etc. This paper contains principal results ensuring the preservation of sequential normal compactness properties under various operations over sets, set-valued mappings, and functions.     

Optimal control for semilinear evolutionary variational bilateral problem

This paper is concerned with an optimal control problem for some semilinear evolutionary variational inequalities associated with bilateral constraints. The control domain is a general separable metric space and has no algebraic structure, in particular, it is not necessarily convex. Existence and optimality conditions of optimal pairs are established.     

Maximum norm stability of difference schemes for parabolic equations on overset nonmatching space-time grids

In this paper, theoretical results are described on the maximum norm stability and accuracy of finite difference discretizations of parabolic equations on overset nonmatching space-time grids. We consider parabolic equations containing a linear reaction term on a space-time domain which is decomposed into an overlapping collection of cylindrical subregions of the form , for . Each of the space-time domains are assumed to be independently grided (in parallel) according to the local geometry and space-time regularity of the solution, yielding space-time grids with mesh parameters and . In particular, the different space-time grids need not match on the regions of overlap, and the time steps can differ from one grid to the next. We discretize the parabolic equation on each local grid by employing an explicit or implicit -scheme in time and a finite difference scheme in space satisfying a discrete maximum principle. The local discretizations are coupled together, without the use of Lagrange multipliers, by requiring the boundary values on each space-time grid to match a suitable interpolation of the solution on adjacent grids. The resulting global discretization yields a large system of coupled equations which can be solved by a parallel Schwarz iterative procedure requiring some communication between adjacent subregions. Our analysis employs a contraction mapping argument.

Applications of the results are briefly indicated for reaction-diffusion equations with contractive terms and heterogeneous hyperbolic-parabolic approximations of parabolic equations.

     

The geometrical interpretation of uncertainty relation in Minkowski space

Clifford algebraic geometry corresponds to Minkowski space. Using the discrete structure of Minkowski space, we can abstract a class n-dimensional hyperbolic Hilbert phase space. To discussing the causality of physical event in Minkowski space, we can obtain the geometrical interpretation of uncertainty relation.     

Evolution of Orbits and Quantum Correlation Functions by Quadratic Hamiltonians

Quantum systems with quadratic Hamiltonians are considered. Some results about the time evolution of homogeneous polynomials and of quantum correlation functions are given. The image of arbitrary orbit of Weyl–Heisenberg group under this time evolution is shown to be again an orbit of this group. For quantum free particle it is shown that its time evolution intersects arbitrary such orbit at most once. A result about existence of more orbits having the same dispersion of some quantum position is presented.PACS: 02.20.Qs, 02.30.Sa