Related papers: A Direct Proof of a Theorem Concerning Singular Ha…
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…
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…
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,…
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.…
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…
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…
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)…
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.
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
We prove a new T(1) theorem for multiparameter singular integrals
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…