arXiv ScienceSearch

arXiv · 2505.19036

Weak Physics Informed Neural Networks for Geometry Compatible Hyperbolic Conservation Laws on Manifolds

Abstract

Physics-informed neural networks (PINNs) provide a mesh-free approach to solving high-dimensional PDEs on complex geometries, but their theoretical foundations on manifolds remain limited. Moreover, conventional PINN analyses typically rely on solution smoothness, while PINNs may perform poorly for low-regularity solutions arising from nonlinear hyperbolic equations. In this paper, we develop a weak PINN (wPINN) framework for approximating entropy solutions of geometry-compatible hyperbolic conservation laws on Riemannian manifolds $\mathcal{M}^d$. Building on the well-posedness theory, we establish a localized $L_1$-stability estimate that converts localized entropy residuals into terminal error bounds and leads to a rigorous convergence analysis of the proposed method. We then derive approximation guarantees for time-dependent entropy solutions on manifolds, revealing how approximation errors accumulate over long time horizons. For the quadrature error, we develop a problem-adapted localization complexity analysis and show that, for a fixed adversarial test-network architecture, the solution-network contribution achieves the fast rate $\mathrm{VC}_{\mathcal F}/n$, up to logarithmic factors. The resulting algebraic network-complexity exponent depends only on the intrinsic dimension $d$, rather than the ambient dimension. For fixed localization scales, and up to logarithmic factors and the localization bias, the solution-network statistical exponent matches the corresponding minimax exponent in $d$-dimensional Euclidean Sobolev approximation. Numerical experiments illustrate that the proposed wPINN framework accurately approximates entropy solutions on manifold geometries.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Hanfei Zhou, Lei Shi. 2026-08-17. Weak Physics Informed Neural Networks for Geometry Compatible Hyperbolic Conservation Laws on Manifolds. https://arxiv.org/abs/2505.19036

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

KEEP EXPLORING

Related papers

Runge--Kutta generalized Convolution Quadrature for sectorial problems

We study the application of the generalized convolution quadrature (gCQ) based on Runge--Kutta methods to approximate the solution of an important class of sectorial problems. The gCQ generalizes Lubich's original convolution quadrature (CQ) to variable steps. High-order versions of the gCQ have been developed in the last decade, relying on certain Runge--Kutta methods. The Runge--Kutta based gCQ has been studied so far in a rather general setting, which includes applications to boundary integral formulations of wave problems. The more general stability and convergence results for these new methods are suboptimal compared to those known for the uniform-step CQ, both in terms of convergence order and regularity requirements of the data. Here we restrict the class of problems under study and focus on a special type of sectorial problems. We prove that for this important class of applications it is possible to achieve the same order of convergence as for the original CQ, under the same regularity hypotheses on the data, and for very general time meshes. In the particular case of data with some known algebraic type of singularity, we also show how to choose an optimally graded time mesh to achieve convergence with maximal order, overcoming the well-known order reduction of the original CQ in these situations. An important advantage of the gCQ method is that it allows for a fast and memory-efficient implementation. We describe how the fast and oblivious Runge--Kutta based gCQ can be implemented and illustrate our theoretical results with several numerical experiments. The codes implementing the examples are available in [14]. To the best of our knowledge, comparable methods for the class of problems considered here do not currently offer the same combination of stability, high-order convergence, variable time steps, and reduced memory requirements and computational complexity.

math.NA

Multistep Methods for Floquet Multipliers and Subspaces

Accurate and efficient computation of Floquet multipliers and subspaces is essential for analyzing limit cycles in dynamical systems and periodic steady states in radio frequency circuit simulation. This problem is typically addressed by solving a periodic linear eigenvalue problem, which is obtained by discretizing the linear time-periodic system using one-step collocation methods. Collocation methods become costly for large-scale problems. Our alternative approach is to use multistep methods. A multistep method leads to a periodic polynomial eigenvalue problem (pPEP) and introduces additional parasitic periodic eigenvalues. We prove that, as the stepsize decreases, the computed Floquet multipliers and their associated invariant subspace converge at the consistency order, while the parasitic periodic eigenvalues converge to zero geometrically and hence become separated from the nonzero Floquet multipliers. We design a memory-efficient algorithm, pTOAR, to solve the large-scale pPEP. Its arithmetic and memory costs are almost independent of the choice of multistep methods when the pPEP arises from an implicit multistep discretization. Numerical results agree with our convergence analysis and demonstrate the efficiency of pTOAR.

math.NA

Long-time stability analysis of an explicit exponential Runge-Kutta scheme for Cahn-Hilliard equations

In this paper, we present a rigorous long-time stability analysis of a second-order explicit exponential Runge--Kutta (ERK2) method for the Cahn--Hilliard equation. By employing Fourier spectral collocation in space and a two-stage ERK2 scheme in time, we construct a fully discrete numerical method and establish an energy dissipation law for the original energy. The numerical solution is proven to be uniformly bounded in time in the discrete $H^1$ and $H^2$ norms, provided that the time step size is sufficiently small. An $\ell^\infty$ bound is then derived through a discrete Sobolev inequality. These bounds remove the typical a priori maximum-norm assumption required in previous energy-stability analyses and allow the energy dissipation criterion to be closed for the fully discrete scheme. Building on this uniform boundedness, we derive an optimal-order error estimate in the $\ell^2$ norm. The analytical framework developed here is general and can be extended to higher-order exponential integrators for a broader class of phase-field models.

math.NA