SearcharxivSearch

arXiv · 2501.17551

Infinite-dimensional Lagrange-Dirac systems with boundary energy flow I: Foundations

Abstract

A new geometric approach to systems with boundary energy flow is developed using infinite-dimensional Dirac structures within the Lagrangian formalism. This framework satisfies a list of consistency criteria with the geometric setting of finite-dimensional mechanics. In particular, the infinite-dimensional Dirac structure can be constructed from the canonical symplectic form on the system's phase space; the system's evolution equations can be derived equivalently from either a variational perspective or a Dirac structure perspective; the variational principle employed is a direct extension of Hamilton's principle in classical mechanics; and the approach allows for a process of system interconnection within its formulation. This is achieved by developing an appropriate infinite dimensional version of the previously developed Lagrange-Dirac dynamical systems. A key step in this construction is the careful choice of a suitable dual space to the configuration space, specifically, a subspace of the topological dual that captures the system's behavior in both the interior and the boundary, while allowing for a natural extension of the canonical geometric structures of mechanics. This paper focuses on systems where the configuration space consists of differential forms on a smooth manifold with a boundary. To illustrate our theory, several examples, including nonlinear wave equations, the telegraph equation, and the Maxwell equations are presented.

Explore related subjects

Keep this discovery

BibTeXRIS

François Gay-Balmaz, Álvaro Rodríguez Abella, Hiroaki Yoshimura. 2025-01-29. Infinite-dimensional Lagrange-Dirac systems with boundary energy flow I: Foundations. https://arxiv.org/abs/2501.17551

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Extended Future Tube Conjecture for Unipotent Subgroups

Let $\Omega$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+i\Omega$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.

math.SG

The First Correction Term in the Asymptotic Expansion of Bohr--Sommerfeld Lagrangian States

Let $\Lambda$ be a compact Bohr--Sommerfeld Lagrangian submanifold of a compact K\"ahler manifold equipped with a holomorphic prequantum line bundle. We study the asymptotic expansion of the Lagrangian states associated with $\Lambda$. In particular, we compute explicitly the first nontrivial correction term and show that it is expressed in terms of geometric invariants of the ambient K\"ahler manifold and the Lagrangian submanifold, including their scalar curvatures, the second fundamental form, and the mean curvature. As a consequence, we obtain the corresponding second-order asymptotic formula for the $L^2$-norm of the Lagrangian states.

math.SG

Classification of Legendrian doubles and suspensions

We define a construction of Legendrians inside contact manifolds that arise by doubling an exact Lagrangian filling in the page of an open book decomposition. This can be seen as a generalization of a previous construction by Courte and Ekholm to arbitrary open books. These Legendrians, called Legendrian doubles, are shown to admit regular flexible exact Lagrangian fillings, and they are thus classified up to Legendrian isotopy by classical data. Finally, we show that the Legendrian suspension construction, as defined by Arikan and the author in previous work,-this is a Legendrian contained inside a page of an open book that is obtained by using Seidel's suspension of Lefschetz fibrations- is a Legendrian double.

math.SG