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 (24)
- Quantum algorithm for solving linear systems of equations
- Advances in Quantum Cryptography
- Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
- Quantum algorithms for quantum chemistry and quantum materials science
- Challenges and Opportunities in Quantum Machine Learning
- Efficient quantum algorithms for simulating sparse Hamiltonians
- Ergodic theory, Dynamic Mode Decomposition and Computation of Spectral Properties of the Koopman operator
- Security in Quantum Cryptography
- On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator
- Data-driven approximation of the Koopman generator: Model reduction, system identification, and control
- Data-driven model reduction and transfer operator approximation
- Cavity Quantum Materials
- Efficient quantum algorithm for dissipative nonlinear differential equations
- Koopman operator-based model reduction for switched-system control of PDEs
- Quantum algorithm for linear differential equations with exponentially improved dependence on precision
- Solving nonlinear differential equations with differentiable quantum circuits
- Quantum spectral methods for differential equations
- 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