arXiv Science⌕ Search

arXiv subjects

Matthias Ehrhardt

Publications and source records attributed to Matthias Ehrhardt.

At least 37 records · Page 2Linked to original sources

Port-Hamiltonian Neural Networks: From Theory to Simulation of Interconnected Stochastic Systems

This work introduces a new framework integrating port-Hamiltonian systems (PHS) and neural network architectures. This framework bridges the gap between deterministic and stochastic modeling of complex dynamical systems. We introduce new mathematical formulations and computational methods that expand the geometric structure of PHS to account for uncertainty, environmental noise, and random perturbations. Building on these advances, we introduce stochastic port-Hamiltonian neural networks (pHNNs), which facilitate the accurate learning and prediction of non-autonomous and interconnected stochastic systems. Our proposed framework generalizes passivity concepts to the stochastic regime, ensuring stability while maintaining the system's energy-consistent structure. Extensive simulations, including those involving damped mass-spring systems, Duffing oscillators, and robotic control tasks, demonstrate the capability of pHNNs to capture complex dynamics with high fidelity, even under noise and uncertainty. This unified approach establishes a foundation for the robust, data-driven modeling and control of nonlinear stochastic systems.

math-ph↗

A Nonstandard Finite Difference Scheme for an SEIQR Epidemiological PDE Model

This paper introduces a nonstandard finite difference (NSFD) approach to a reaction-diffusion SEIQR epidemiological model, which captures the spatiotemporal dynamics of infectious disease transmission. Formulated as a system of semilinear parabolic partial differential equations (PDEs), the model extends classical compartmental models by incorporating spatial diffusion to account for population movement and spatial heterogeneity. The proposed NSFD discretization is designed to preserve the continuous model's essential qualitative features, such as positivity, boundedness, and stability, which are often compromised by standard finite difference methods. We rigorously analyze the model's well-posedness, construct a structure-preserving NSFD scheme for the PDE system, and study its convergence and local truncation error. Numerical simulations validate the theoretical findings and demonstrate the scheme's effectiveness in preserving biologically consistent dynamics.

q-bio.QM↗

A Koopman Operator Framework for Nonlinear Epidemic Dynamics: Application to an SIRSD Model

We develop and analyze an SIRSD epidemic model, which extends the classical SIR framework by incorporating waning immunity and disease-induced mortality. A rigorous well-posedness analysis ensures the existence, uniqueness, positivity, and boundedness of solutions, guaranteeing the model's epidemiological feasibility. To facilitate theoretical investigations and data-driven modeling, we reformulated the system in normalized variables. To capture and predict complex nonlinear epidemic dynamics, we use the Koopman operator framework with extended dynamic mode decomposition (EDMD) and an epidemiologically informed dictionary of observables. We compare two Koopman approximations: one based on a minimal epidemiological dictionary and another enriched with nonlinear and cross terms. We generate synthetic data using a nonstandard finite difference (NSFD) scheme for four representative epidemics: SARS-CoV-2, seasonal influenza, Ebola, and measles. Numerical experiments demonstrate that the Koopman-based approach effectively identifies dominant epidemic modes and accurately predicts key outbreak characteristics, including peak infection dynamics.

math.DS↗

Actuarial Analysis of an Infectious Disease Insurance based on an SEIARD Epidemiological Model

The growing number of infectious disease outbreaks, like the one caused by the SARS-CoV-2 virus, underscores the necessity of actuarial models that can adapt to epidemic-driven risks. Traditional life insurance frameworks often rely on static mortality assumptions that fail to capture the temporal and behavioral complexity of disease transmission. In this paper, we propose an integrated actuarial framework based on the SEIARD epidemiological model. This framework enables the explicit modeling of incubation periods and disease-induced mortality. We derive key actuarial quantities, including the present value of annuity benefits, payment streams, and net premiums, based on SEIARD dynamics. We formulate a prospective reserve function and analyze its evolution throughout the course of an epidemic. Additionally, we examine the forces of infection, mortality, and removal to assess their impact on epidemic-adjusted survival probabilities. Numerical simulations implemented via a nonstandard finite difference (NSFD) scheme illustrate the model's applicability under various parameter settings and insurance policy assumptions.

stat.AP↗

Spatiotemporal SEIQR Epidemic Modeling with Optimal Control for Vaccination, Treatment, and Social Measures

This paper introduces a spatiotemporal SEIQR epidemic model governed by a system of reaction-diffusion partial differential equations that incorporates optimal control strategies. The model captures the transmission dynamics of an infectious disease across space and time. It includes three time-dependent control variables: preventive measures for susceptible individuals, quarantine for infectious individuals, and treatment for quarantined individuals. The study has four main objectives: (i) to prove the existence, uniqueness, and positivity of global strong solutions using analytic semigroup theory, (ii) to demonstrate the existence of optimal control strategies through functional analysis techniques, (iii) to derive first-order necessary optimality conditions via convex perturbation methods and adjoint equations, and (iv) to perform numerical simulations to assess the effectiveness of different combinations of control interventions. The simulation results emphasize the advantages of combining pharmaceutical and non-pharmaceutical interventions to minimize disease prevalence and control-related expenses.

math.DS↗

Enhancing Dynamic CT Image Reconstruction with Neural Fields and Optical Flow

In this paper, we investigate image reconstruction for dynamic Computed Tomography. The motion of the target with respect to the measurement acquisition rate leads to highly resolved in time but highly undersampled in space measurements. Such problems pose a major challenge: not accounting for the dynamics of the process leads to a poor reconstruction with non-realistic motion. Variational approaches that penalize time evolution have been proposed to relate subsequent frames and improve image quality based on classical grid-based discretizations. Neural fields have emerged as a novel way to parameterize the quantity of interest using a neural network with a low-dimensional input, benefiting from being lightweight, continuous, and biased towards smooth representations. The latter property has been exploited when solving dynamic inverse problems with neural fields by minimizing a data-fidelity term only. We investigate and show the benefits of introducing explicit motion regularizers for dynamic inverse problems based on partial differential equations, namely, the optical flow equation, for the optimization of neural fields. We compare it against its unregularized counterpart and show the improvements in the reconstruction. We also compare neural fields against a grid-based solver and show that the former outperforms the latter in terms of PSNR in this task.

eess.IV↗

Square Root Operators and the Well-Posedness of Pseudodifferential Parabolic Models of Wave Phenomena

Pseudodifferential parabolic equations with an operator square root arise in wave propagation problems as a one-way counterpart of the Helmholtz equation. The expression under the square root usually involves a differential operator and a known function. We discuss a rigorous definition of such operator square roots and show well-posedness of the pseudodifferential parabolic equation by using the theory of strongly continuous semigroups. This provides a justification for a family of widely-used numerical methods for wavefield simulations in various areas of physics.

physics.ao-ph↗

Stochastic Primal-Dual Three Operator Splitting Algorithm with Extension to Equivariant Regularization-by-Denoising

In this work we propose a stochastic primal-dual three-operator splitting algorithm (TOS-SPDHG) for solving a class of convex three-composite optimization problems. Our proposed scheme is a direct three-operator splitting extension of the SPDHG algorithm [Chambolle et al. 2018]. We provide theoretical convergence analysis showing ergodic $O(1/K)$ convergence rate, and demonstrate the effectiveness of our approach in imaging inverse problems. Moreover, we further propose TOS-SPDHG-RED and TOS-SPDHG-eRED which utilizes the regularization-by-denoising (RED) framework to leverage pretrained deep denoising networks as priors.

math.OC↗

Modelling car-following dynamics with stochastic input-state-output port-Hamiltonian systems

In this contribution, we introduce a general class of car-following models with an input-state-output port-Hamiltonian structure. We derive stability conditions and long-term behavior of the finite system with periodic boundaries and quadratic interaction potential by spectral analysis and using asymptotic properties of multivariate Ornstein-Uhlenbeck processes. The uncontrolled dynamics exhibit instability and random collective behavior under stochastic perturbations. By implementing an open-loop speed control, the system stabilizes and weakly converges to Gaussian limit distributions. The convergence is unconditional for constant speed control. However, a stability condition arises for the closed-loop system where the speed control acts as a dynamic feedback depending on the distance ahead. The results are illustrated by numerical simulations. Interestingly, only the closed-loop system is able to reproduce, at least transiently, realistic stop-and-go behavior that can be resolved using the Hamiltonian component of the model.

math.DS↗

A finite element-based machine learning model for hydro-mechanical analysis of swelling behavior in clay-sulfate rocks

The hydro-mechanical behavior of clay-sulfate rocks, especially their swelling properties, poses significant challenges in geotechnical engineering. This study presents a hybrid constrained machine learning (ML) model developed using the categorical boosting algorithm (CatBoost) tuned with a Bayesian optimization algorithm to predict and analyze the swelling behavior of these complex geological materials. Initially, a coupled hydro-mechanical model based on the Richards' equation coupled to a deformation process with linear kinematics implemented within the finite element framework OpenGeoSys was used to simulate the observed ground heave in Staufen, Germany, caused by water inflow into the clay-sulfate bearing Triassic Grabfeld Formation. A systematic parametric analysis using Gaussian distributions of key parameters, including Young's modulus, Poisson's ratio, maximum swelling pressure, permeability, and air entry pressure, was performed to construct a synthetic database. The ML model takes time, spatial coordinates, and these parameter values as inputs, while water saturation, porosity, and vertical displacement are outputs. In addition, penalty terms were incorporated into the CatBoost objective function to enforce physically meaningful predictions. Results show that the hybrid approach effectively captures the nonlinear and dynamic interactions that govern hydro-mechanical processes. The study demonstrates the ability of the model to predict the swelling behavior of clay-sulfate rocks, providing a robust tool for risk assessment and management in affected regions. The results highlight the potential of ML-driven models to address complex geotechnical challenges.

physics.geo-ph↗

A Space Mapping approach for the calibration of financial models with the application to the Heston model

We present a novel approach for parameter calibration of the Heston model for pricing an Asian put option, namely space mapping. Since few parameters of the Heston model can be directly extracted from real market data, calibration to real market data is implicit and therefore a challenging task. In addition, some of the parameters in the model are non-linear, which makes it difficult to find the global minimum of the optimization problem within the calibration. Our approach is based on the idea of space mapping, exploiting the residuum of a coarse surrogate model that allows optimization and a fine model that needs to be calibrated. In our case, the pricing of an Asian option using the Heston model SDE is the fine model, and the surrogate is chosen to be the Heston model PDE pricing a European option. We formally derive a gradient descent algorithm for the PDE constrained calibration model using well-known techniques from optimization with PDEs. Our main goal is to provide evidence that the space mapping approach can be useful in financial calibration tasks. Numerical results underline the feasibility of our approach.

math.NA↗

Stability of heterogeneous linear and nonlinear car-following models

Stop-and-go waves in road traffic are complex collective phenomena with significant implications for traffic engineering, safety and the environment. Despite decades of research, understanding and controlling these dynamics remains challenging. This article examines two classes of heterogeneous car-following models with quenched disorder to shed light on the underlying mechanisms that drive traffic instability and stop-and-go dynamics. Specifically, a scaled heterogeneity model and an additive heterogeneity model are investigated, each of which affects the stability of linear and nonlinear car-following models differently. We derive general linear stability conditions which we apply to specific models and illustrate by simulation. The study provides insights into the role of individual heterogeneity in vehicle behaviour and its influence on traffic stability.

physics.soc-ph↗

Transparent PT-symmetric nonlinear networks

We consider reflectionless wave propagation in networks modeled in terms of the nonlocal nonlinear Schrödinger (NNLS) equation on metric graphs, for which transparent boundary conditions are imposed at the vertices. By employing the ``potential approach" previously used for the nonlinear Schrödinger equation, we derive transparent boundary conditions for the NNLS equation on metric graphs. These conditions eliminate backscattering at graph vertices, which is crucial for minimizing losses in signal, heat, and charge transfer in various applications such as optical fibers, optoelectronic networks, and low-dimensional materials.

math-ph↗

Absorbing Boundary Conditions for Variable Potential Schrödinger Equations via Titchmarsh-Weyl Theory

We propose a novel approach to simulate the solution of the time-dependent Schrödinger equation with a general variable potential. The key idea is to approximate the Titchmarsh-Weyl m-function (exact Dirichlet-to-Neumann operator) by a rational function with respect to an appropriate spectral parameter. By using this method, we overcome the usual high-frequency restriction associated with absorbing boundary conditions in general variable potential problems. The resulting fast computational algorithm for absorbing boundary conditions ensures accuracy over the entire frequency range.

math.NA↗

Dynamical Analysis of a Cocaine-Heroin Epidemiological Model with Spatial Distributions

This article conducts an in-depth investigation of a new spatio-temporal model for the cocaine-heroin epidemiological model with vital dynamics, incorporating the Laplacian operator. The study rigorously establishes the existence, uniqueness, non-negativity, and boundedness of solutions for the proposed model. In addition, the local stability of both a drug-free equilibrium and a drug-addiction equilibrium are analyzed by studying the corresponding characteristic equations. The research provides conclusive evidence that when the basic reproductive number $\mathcal{R}_0$ exceeds 1, the drug-addiction equilibrium is globally asymptotically stable. Conversely, using comparative arguments, it is shown that if $\mathcal{R}_0$ is less than 1, the drug-free equilibrium is globally asymptotically stable. Furthermore, the article includes a series of numerical simulations to visually convey and support the analytical results.

math.DS↗

Dynamical Behavior of a Stochastic Epidemiological Model: Stationary Distribution and Extinction of a SIRS Model with Stochastic Perturbations

This paper deals with a new epidemiological model of SIRS with stochastic perturbations. The primary objective is to establish the existence of a unique non-negative nonlocal solution. Using the basic reproduction number $\mathscr{R}_0$ derived from the associated deterministic model, we demonstrate the existence of a stationary distribution in the stochastic model. In addition, we study the fluctuation of the unique solution of the deterministic problem around the disease-free equilibrium under certain conditions. In particular, we reveal scenarios where random effects induce disease extinction, contrary to the persistence predicted by the deterministic model. The theoretical insights are complemented by numerical simulations, which provide further validation of our findings.

math.DS↗

Integrating Port-Hamiltonian Systems with Neural Networks: From Deterministic to Stochastic Frameworks

This article presents an innovative approach to integrating port-Hamiltonian systems with neural network architectures, transitioning from deterministic to stochastic models. The study presents novel mathematical formulations and computational models that extend the understanding of dynamical systems under uncertainty and complex interactions. It emphasizes the significant progress in learning and predicting the dynamics of non-autonomous systems using port-Hamiltonian neural networks (pHNNs). It also explores the implications of stochastic neural networks in various dynamical systems.

math.DS↗

Optimal Control of a Diffusive Epidemiological Model Involving the Caputo-Fabrizio Fractional Time-Derivative

In this work we study a fractional SEIR biological model of a reaction-diffusion, using the non-singular kernel Caputo-Fabrizio fractional derivative in the Caputo sense and employing the Laplacian operator. In our PDE model, the government seeks immunity through the vaccination program, which is considered a control variable. Our study aims to identify the ideal control pair that reduces the number of infected/infectious people and the associated vaccine and treatment costs over a limited time and space. Moreover, by using the forward-backward algorithm, the approximate results are explained by dynamic graphs to monitor the effectiveness of vaccination.

math.DS↗