Existence and Uniqueness of Solutions of the Koopman--von Neumann Equation on Bounded Domains
arXiv:2306.13504 · doi:10.1088/1751-8121/ad6f7d
Abstract
The Koopman--von Neumann equation describes the evolution of a complex-valued wavefunction corresponding to the probability distribution given by an associated classical Liouville equation. Typically, it is defined on the whole Euclidean space. The investigation of bounded domains, particularly in practical scenarios involving quantum-based simulations of dynamical systems, has received little attention so far. We consider the Koopman--von Neumann equation associated with an ordinary differential equation on a bounded domain whose trajectories are contained in the set's closure. Our main results are the construction of a strongly continuous semigroup together with the existence and uniqueness of solutions of the associated initial value problem. To this end, a functional-analytic framework connected to Sobolev spaces is proposed and analyzed. Moreover, the connection of the Koopman--von Neumann framework to transport equations is highlighted.
References in corpus (15)
- Quantum algorithm for solving linear systems of equations
- Quantum algorithms for quantum chemistry and quantum materials science
- Challenges and Opportunities in Quantum Machine Learning
- Security in Quantum Cryptography
- Data-driven approximation of the Koopman generator: Model reduction, system identification, and control
- Cavity Quantum Materials
- Efficient quantum algorithm for dissipative nonlinear differential equations
- Solving nonlinear differential equations with differentiable quantum circuits
- Koopman-von Neumann Approach to Quantum Simulation of Nonlinear Classical Dynamics
- Data-Driven Model Predictive Control using Interpolated Koopman Generators
- Improved quantum algorithms for linear and nonlinear differential equations
- Towards Quantum Advantage in Financial Market Risk using Quantum Gradient Algorithms
- Quantum Algorithms for Solving Ordinary Differential Equations via Classical Integration Methods
- Challenges for quantum computation of nonlinear dynamical systems using linear representations
- A hybrid classical-quantum algorithm for solution of nonlinear ordinary differential equations