中文
相关论文

相关论文: A Direct Proof of a Theorem Concerning Singular Ha…

200 篇论文

This paper concentrates on optical Hamiltonian systems of $T*\T^n$, i.e. those for which $\Hpp$ is a positive definite matrix, and their relationship with symplectic twist maps. We present theorems of decomposition by symplectic twist maps…

动力系统 · 数学 2009-09-25 Christopher Golé

We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for…

动力系统 · 数学 2020-12-21 Matthew D. Kvalheim , Paul Gustafson , Daniel E. Koditschek

A novel, exact, theoretical method for the study of the excited states of a system is presented. It is demonstrated how to transform the excited state problem of one Hamiltonian into the ground state problem of an auxiliary one. From this,…

量子物理 · 物理学 2012-06-22 Ramón Alain Miranda Quintana

The objective of this work is to examine the integrability of Hamiltonian systems in $2D$ spaces with variable curvature of certain types. Based on the differential Galois theory, we announce the necessary conditions of the integrability.…

可精确求解与可积系统 · 物理学 2026-02-26 Wojciech Szumiński , Adel A. Elmandouh

The threshold, or saturation phenomenon of spatially coupled systems is revisited in the light of Lyapunov's theory of dynamical systems. It is shown that an application of Lyapunov's direct method can be used to quantitatively describe the…

信息论 · 计算机科学 2013-06-18 Christian Schlegel , Marat Burnashev

The theory of substitution sequences and their higher-dimensional analogues is intimately connected with symbolic dynamics. By systematically studying the factors (in the sense of dynamical systems theory) of a substitution dynamical…

动力系统 · 数学 2014-09-30 Michael Baake , Franz Gähler , Uwe Grimm

In this paper we state and prove ad hoc "Separation Theorems" of the so-called Smooth Commutative Algebra, the Commutative Algebra of \(\mathcal{C}^{\infty}-\)rings. These results are formally similar to the ones we find in (ordinary)…

交换代数 · 数学 2021-10-27 Jean Cerqueira Berni , Hugo Luiz Mariano

In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.

离散数学 · 计算机科学 2025-10-06 Gopalan Sajith , Sanjeev Saxena

This paper introduces a proof calculus for real-analytic differential-algebraic dynamic logic, enabling correct transformations of differential-algebraic equations. Applications include index reductions from differential-algebraic equations…

计算机科学中的逻辑 · 计算机科学 2025-05-27 Jonathan Hellwig , André Platzer

We present {\it symmetric Hamiltonians} for the degenerate Garnier systems in two variables. For these symmetric Hamiltonians, we make the symmetry and holomorphy conditions, and we also make a generalization of these systems involving…

代数几何 · 数学 2011-02-15 Yusuke Sasano

In this work we mainly prove the existence and pathwise uniqueness of solutions to general backward doubly stochastic differential equations with jumps appearing in both forward and backward integral parts. Several comparison theorems under…

概率论 · 数学 2017-04-12 Wei Xu

We discuss an extension of the Hamilton-Jacobi theory to nonholonomic mechanics with a particular interest in its application to exactly integrating the equations of motion. We give an intrinsic proof of a nonholonomic analogue of the…

数学物理 · 物理学 2011-08-15 Tomoki Ohsawa , Anthony M. Bloch

Hamiltonian systems are differential equations which describe systems in classical mechanics, plasma physics, and sampling problems. They exhibit many structural properties, such as a lack of attractors and the presence of conservation…

数值分析 · 数学 2022-01-14 Christian Offen , Sina Ober-Blöbaum

Decoherence of a quantum system (which then starts to display classical features) results from the interaction of the system with the environment, and is well described in the framework of the theory of continuous quantum measurements…

量子物理 · 物理学 2010-12-17 Michael B. Mensky

The Hamilton-Jacobi problem is revisited bearing in mind the consequences arising from a possible bi-Hamiltonian structure. The problem is formulated on the tangent bundle for Lagrangian systems in order to avoid the bias of the existence…

数学物理 · 物理学 2010-11-11 J. F. Carinena , X. Gracia , G. Marmo , E. Martinez , M. Munoz-Lecanda , N. Roman-Roy

A causal input-output system may be described by a function space for inputs, a function space for outputs, and a causal operator mapping the input space into the output space. A particular representation of the state of such a system at…

动力系统 · 数学 2010-09-28 Demetrios Serakos

We address a fundamental mismatch between the combinations of dynamics that occur in cyber-physical systems and the limited kinds of dynamics supported in analysis. Modern applications combine communication, computation, and control. They…

计算机科学中的逻辑 · 计算机科学 2016-12-02 Andre Platzer

We formulate the problem of finding self-dual Hamiltonians (associated with integrable systems) as deformations of free systems given on various symplectic manifolds and discuss several known explicit examples, including recently found…

高能物理 - 理论 · 物理学 2014-11-18 A. Mironov

We prove a new T(1) theorem for multiparameter singular integrals

经典分析与常微分方程 · 数学 2013-02-28 Sandra Pott , Paco Villarroya

The necessity and benefit of singular solutions in the study of physical systems is shown. By singular solutions we mean solutions that are not contained in the general solution of the system of equations that describes the dynamic system…

综合物理 · 物理学 2024-10-16 Vyacheslav Buts