Related papers: Formal first integrals and higher variational equa…
Recently, Lobb and Nijhoff initiated the study of variational (Lagrangian) structure of discrete integrable systems from the perspective of multi-dimensional consistency. In the present work, we follow this line of research and develop a…
It is shown that one can obtain canonically-defined dynamical equations for non-conservative mechanical systems by starting with a first variation functional, instead of an action functional, and finding their zeroes. The kernel of the…
The quantum charged rigid membrane model, which is a higher derivative theory has been considered to explore its gauge symmetries using a recently developed first order formalism \cite{BMP}. Hamiltonian analysis has been performed and the…
We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks,…
It is shown that a given non-autonomous system of two first-order ordinary differential equations can be expressed in Hamiltonian form. The derivation presented here allow us to obtain previously known results such as the infinite number of…
Recently the Hamilton-Jacobi formulation for first order constrained systems has been developed. In such formalism the equations of motion are written as total differential equations in many variables. We generalize the Hamilton-Jacobi…
The focus of the thesis is to obtain a universal formalism to evaluate the perturbations during inflation at all orders that can be applied to any theory of gravity and matter source in the early universe. We first look at the equivalence…
We aim to completely formalize the rough topological analysis of integrable Hamiltonian systems admitting analytical solutions such that the initial phase variables along with the time derivatives of the auxiliary variables are expressed as…
We present a novel extension of Hamiltonian mechanics to nonconservative systems built upon the Schwinger-Keldysh-Galley double-variable action principle. Departing from Galley's initial-value action, we clarify important subtleties…
We show how the Dixon's system of first order equations of motion for the particle with inner dipole structure together with the side Mathisson constraint follows from rather general construction of the 'Hamilton system' developed by…
In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes…
Since the expense of the numerical integration of large scale dynamical systems is often computationally prohibitive, model reduction methods, which approximate such systems by simpler and much lower order ones, are often employed to reduce…
This survey is the continuation of a series of works aimed at applying tools from Singularity Theory to Differential Equations. More precisely, we utilize the powerfull Milnor's Fibration Theory to give geometric-topological classifications…
Dynamical systems, described by Lagrangians with first- and second-class constraints, are investigated. In the Dirac approach to the generalized Hamiltonian formalism, the classification and separation of the first- and second-class…
Completely integrable finite dimensional Hamiltonian systems are well understood thanks to the work of Liouville and Arnold. On the other hand, the Lax Pair formulation of the KdV equation marks the beginning of the extension of the…
To capture the global structure of a dynamical system we reformulate dynamics in terms of appropriately constructed topologies, which we call flow topologies; we call this process topologization. This yields a description of a semi-flow in…
Dirac structures and Morse families are used to obtain a geometric formalism that unifies most of the scenarios in mechanics (constrained calculus, nonholonomic systems, optimal control theory, higher-order mechanics, etc.), as the examples…
Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a…
This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the…
This paper is an overview of our works which are related to investigations of the integrability of natural Hamiltonian systems with homogeneous potentials and Newton's equations with homogeneous velocity independent forces. The two types of…