SearcharxivSearch

arXiv subjects

Lorenzo Liverani

Publications and source records attributed to Lorenzo Liverani.

12 recordsLinked to original sources

HYCO: Hybrid-Cooperative Learning for Data-Driven PDE Modeling

We introduce Hybrid-Cooperative Learning (HYCO), a framework for data-driven PDE modeling in which a physics-based solver and a flexible synthetic model are trained as two independent but cooperating components. Rather than imposing the governing equation as a residual on a single network, HYCO alternates between updating the physical parameters and the synthetic model, coupling them through agreement of their predictions.Each component therefore fits the information available to it while acting as a regularizer for the other. This modular formulation accommodates sparse, heterogeneous, or disjoint datasets, avoids differentiating continuous PDE residuals, and combines standard solvers with general data-driven architectures. We further show that HYCO defines an exact potential game and establish equilibrium existence for a convex measure-relaxed model, providing a first structural interpretation of the alternating procedure. On inverse problems for reaction-diffusion systems, a heterogeneous Helmholtz equation, and a shock-forming traffic-flow model, HYCO reconstructs solutions and identifies parameters from sparse or localized observations, improving parameter recovery and extrapolation over uncoupled models, PINN-type methods, and classical solver-based inversion.

math.OC

Constructive interpolation and generalization rates for neural ODEs: a control perspective

We study supervised regression with neural ODEs (NODEs) from a control-theoretic perspective to derive explicit population-risk bounds. We focus on a widely used class of non-autonomous models with constant parameters and explicit time dependence, which we call semi-autonomous NODEs (SA-NODEs). We constructively prove that SA-NODEs are capable of \emph{exact} interpolation of admissible finite datasets, and even satisfy a stronger property that we call \emph{simultaneous cell controllability} (SCC): their flows can map prescribed disjoint cells into arbitrarily small target balls. This property is the mechanism that upgrades interpolation into quantitative generalization, by allowing SA-NODEs to emulate piecewise-constant nonparametric estimators. Consequently, our risk bounds recover the rates of histogram and nearest-neighbor estimators, provided the network width satisfies a conservative scaling with the sample size. Numerical experiments show that trained SA-NODEs achieve competitive -- often lower -- test errors than these baselines. Finally, we show that the explicit time dependence is essential. Although two-layer autonomous NODEs can interpolate geometrically nondegenerate datasets, structural obstructions prevent them from achieving SCC. These limitations, further confirmed numerically, support the view that SA-NODEs provide a minimal effective architecture for learning.

math.OC

HYCO: A Formalism for Hybrid-Cooperative PDE Modelling

We present Hybrid-Cooperative Learning (HYCO), a hybrid modeling framework that integrates physics-based and data-driven models through mutual regularization. Unlike traditional approaches that impose physical constraints directly on synthetic models, HYCO treats both components as co-trained agents nudged toward agreement. This cooperative scheme is naturally parallelizable and demonstrates robustness to sparse and noisy data. Numerical experiments on static and time-dependent benchmark problems show that HYCO can recover accurate solutions and model parameters under ill-posed conditions. The framework admits a game-theoretic interpretation as a Nash equilibrium problem, enabling alternating optimization. This paper is based on the extended preprint: arXiv:2509.14123 .

math.OC

Existence and uniqueness of nonlocal nonlinear conservation laws via fixed-point methods

We investigate the well-posedness of scalar conservation laws whose flux depends on the solution both pointwise and nonlocally through integral averages. Our analysis is based on a fixed-point formulation, in which the nonlocal dependence is incorporated as a space- and time-dependent component of the flux, together with classical stability estimates for entropy solutions. This framework unifies and extends several models previously considered in the literature and applies, in particular, to conservation laws with memory effects (nonlocality in time) or delay. We prove the existence and uniqueness of weak entropy solutions on a sufficiently short time horizon and show that under additional assumptions, existence and uniqueness can be obtained on any finite time horizon. In addition, we present numerical simulations to illustrate the qualitative effects of memory on the solution dynamics.

math.AP

On the splitting of Neumann eigenvalues in perforated domains

We address the problem of splitting of eigenvalues of the Neumann Laplacian under singular domain perturbations. We consider a domain perturbed by the excision of a small spherical hole shrinking to an interior point. Our main result establishes that the splitting of multiple eigenvalues is a generic property: if the center of the hole is located outside a set of Hausdorff dimension $N-1$ and the radius is sufficiently small, multiple eigenvalues split into branches of lower multiplicity. The proof relies on the validity of an asymptotic expansion for the perturbed eigenvalues in terms of the scaling parameter. Such an asymptotic formula is of independent interest and generalizes previous results; notably, in dimension $N\geq 3$, it is valid for holes of arbitrary shape.

math.AP

Universal Approximation of Dynamical Systems by Semi-Autonomous Neural ODEs and Applications

In this paper, we introduce semi-autonomous neural ordinary differential equations (SA-NODEs), a variation of the vanilla NODEs, employing fewer parameters. We investigate the universal approximation properties of SA-NODEs for dynamical systems from both a theoretical and a numerical perspective. Within the assumption of a finite-time horizon, under general hypotheses we establish an asymptotic approximation result, demonstrating that the error vanishes as the number of parameters goes to infinity. Under additional regularity assumptions, we further specify this convergence rate in relation to the number of parameters, utilizing quantitative approximation results in the Barron space. Based on the previous result, we prove an approximation rate for transport equations by their neural counterparts. Our numerical experiments validate the effectiveness of SA-NODEs in capturing the dynamics of various ODE systems and transport equations. Additionally, we compare SA-NODEs with vanilla NODEs, highlighting the superior performance and reduced complexity of our approach.

math.NA

Quantitative spectral stability for the Neumann Laplacian in domains with small holes

The aim of the present paper is to investigate the behavior of the spectrum of the Neumann Laplacian in domains with little holes excised from the interior. More precisely, we consider the eigenvalues of the Laplacian with homogeneous Neumann boundary conditions on a bounded, Lipschitz domain. Then, we singularly perturb the domain by removing Lipschitz sets which are "small" in a suitable sense and satisfy a uniform extension property. In this context, we provide an asymptotic expansion for all the eigenvalues of the perturbed problem which are converging to simple eigenvalues of the limit one. The eigenvalue variation turns out to depend on a geometric quantity resembling the notion of (boundary) torsional rigidity: understanding this fact is one of the main contributions of the present paper. In the particular case of a hole shrinking to a point, through a fine blow-up analysis, we identify the exact vanishing order of such a quantity and we establish some connections between the location of the hole and the sign of the eigenvalue variation.

math.AP

Large-Time Asymptotics for Hyperbolic Systems with Non-Symmetric Relaxation: An Algorithmic Approach

We study the stability of one-dimensional linear hyperbolic systems with non-symmetric relaxation. Introducing a new frequency-dependent Kalman stability condition, we prove an abstract decay result underpinning a form of inhomogeneous hypocoercivity. In contrast with the homogeneous setting, the decay rates depend on how the Kalman condition is fulfilled and, in most cases, a loss of derivative occurs: one must assume an additional regularity assumption on the initial data to ensure the decay. Under structural assumptions, we refine our abstract result by providing an algorithm, of wide applicability, for the construction of Lyapunov functionals. This allows us to systematically establish decay estimates for a given system and uncover algebraic cancellations (beyond the reach of the Kalman-based approach) reducing the loss of derivatives in high frequencies. To demonstrate the applicability of our method, we derive new stability results for the Sugimoto model, which describes the propagation of nonlinear acoustic waves, and for a beam model of Timoshenko type with memory.

math.AP

Abstract damped wave equations: The optimal decay rate

The exponential decay rate of the semigroup $S(t)=e^{t\mathbb{A}}$ generated by the abstract damped wave equation $$\ddot u + 2f(A) \dot u +A u=0 $$ is here addressed, where $A$ is a strictly positive operator. The continuous function $f$, defined on the spectrum of $A$, is subject to the constraints $$\inf f(s)>0\qquad\text{and}\qquad \sup f(s)/s <\infty$$ which are known to be necessary and sufficient for exponential stability to occur. We prove that the operator norm of the semigroup fulfills the estimate $$\|S(t)\|\leq Ce^{σ_*t}$$ being $σ_*<0$ the supremum of the real part of the spectrum of $\mathbb{A}$. This estimate always holds except in the resonant cases, where the negative exponential $e^{σ_*t}$ turns out to be penalized by a factor $(1+t)$. The decay rate is the best possible allowed by the theory.

math.AP

The MGT-Fourier model in the supercritical case

We address the energy transfer in the differential system $$ \begin{cases} u_{ttt}+αu_{tt} - βΔu_t - γΔu = -ηΔθ\\ θ_t - κΔθ=ηΔu_{tt}+ αηΔu_t \end{cases} $$ made by a Moore-Gibson-Thompson equation in the supercritical regime, hence antidissipative, coupled with the classical heat equation. The asymptotic properties of the related solution semigroup depend on the strength of the coupling, ruling the competition between the Fourier damping and the MGT antidamping. Exponential stability will be shown always to occur, provided that the coupling constant is sufficiently large with respect to the other structural parameters. A fact of general interest will be also discussed, namely, the impossibility of attaining the optimal exponential decay rate of a given dissipative system via energy estimates.

math.AP

A note on the energy transfer in coupled differential systems

We study the energy transfer in the linear system $$ \begin{cases} \ddot u+u+\dot u=b\dot v\\ \ddot v+v-ε\dot v=-b\dot u \end{cases} $$ made by two coupled differential equations, the first one dissipative and the second one antidissipative. We see how the competition between the damping and the antidamping mechanisms affect the whole system, depending on the coupling parameter $b$.

math.AP

On the Moore-Gibson-Thompson equation with memory with nonconvex kernels

We consider the MGT equation with memory $$\partial_{ttt} u + α\partial_{tt} u - βΔ\partial_{t} u - γΔu + \int_{0}^{t}g(s) Δu(t-s) ds = 0.$$ We prove an existence and uniqueness result removing the convexity assumption on the convolution kernel $g$, usually adopted in the literature. In the subcritical case $αβ>γ$, we establish the exponential decay of the energy, without leaning on the classical differential inequality involving $g$ and its derivative $g'$, namely, $$g'+δg\leq 0,\quadδ>0,$$ but only asking that $g$ vanishes exponentially fast.

math.AP