Search arXiv⌕ Search

arXiv · 2609.32043

Distance-Residual Physics-Informed Neural Networks: A Deep Learning Framework for Differential and Partial Differential Inclusions

Abstract

We introduce Distance-Residual Physics-Informed Neural Networks (DR-PINNs), a physics-informed learning framework for approximating solutions of ordinary and partial differential inclusions (DIs), governing laws in which a differential operator is constrained to lie in a set-valued map rather than equaling a prescribed function. The method replaces the classical pointwise PDE/ODE residual by the squared distance from the differential operator to the admissible set. This distance vanishes exactly when the inclusion is satisfied and measures the infimal correction needed for the operator to enter the admissible set. For a fixed closed convex admissible set, the squared distance is differentiable with respect to the operator value, with gradient given by the metric projection. When the admissible set also depends on the network state, that dependence is included through the chain rule. The framework encompasses ordinary and partial DIs with set-valued reaction terms. For both settings we prove consistency: under the stated closedness, measurability, convexity, and growth assumptions, any sequence of candidates satisfying the initial (and, in the parabolic case, boundary) conditions whose continuous distance-residual functional tends to zero admits a subsequence converging to an exact solution of the target inclusion. These are conditional statements for the continuous distance-residual functional; they do not cover the finite-collocation training loss, the behavior of the optimizer, or convergence rates. For admissible sets given as convex hulls of finitely many vertices, projection onto the set reduces to a small convex quadratic program, making the loss efficiently computable inside the training loop. Numerical experiments demonstrate high accuracy on the differential-inclusion benchmarks.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maria Filipkovska, Juan José Mar\'ın, Isil Oner, Francisco Periago, Krzysztof Rykaczewski. 2026-09-25. Distance-Residual Physics-Informed Neural Networks: A Deep Learning Framework for Differential and Partial Differential Inclusions. https://arxiv.org/abs/2609.32043

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

KEEP EXPLORING

Related papers

Error Estimates for the Arnoldi Approximation of a Matrix Square Root

The Arnoldi process provides an efficient framework for approximating functions of a matrix applied to a vector, i.e., of the form $f(M)\bm{b}$, by repeated matrix-vector multiplications. In this paper, we derive error estimates for approximating the action of a matrix square root using the Arnoldi process, where the integral representation of the error is reformulated in terms of the error for solving the linear system $M\bm{x}=\bm{b}$. The results extend the error analysis of the Lanczos method for Hermitian matrices in [Chen et al., SIAM J. Matrix Anal. Appl., 2022] to non-Hermitian cases and provide an improved bound for the Hermitian case. Furthermore, in practical settings, the matrix may only be available via approximate or structured representations. Motivated by this, we extend the analysis and establish a generalized error bound for perturbed matrices. The numerical results on matrices with different structures demonstrate that our theoretical analysis yields a reliable upper bound. Finally, simulations on large-scale matrices arising in particulate suspensions, represented in hierarchical matrix form, validate the effectiveness and practicality of the approach.

math.NA↗

Worst-Case Completion of Tensors with Approximately Few ANOVA Terms

In this article, the problem of completing a tensor from some incomplete knowledge of its entries is treated by adopting a worst-case perspective, given the realistic assumption that the tensor's low-order ANOVA terms are dominant. We survey and leverage some recent all-purpose results from the field of Optimal Recovery to provide solutions on a theoretical level. But the accompanying constructions of optimal completion procedures, which often feature semidefinite programs, are not directly applicable in the tensor case due to the huge dimensions involved. To resolve the issue, we put forward a storage-friendly way to produce low-order ANOVA projections based on the fast Fourier transform (FFT), while exploiting the specificities of the completion problem to efficiently compute regularizers and extremal eigenvalues. Numerical experiments on synthetic tensors and real-world datasets demonstrate the accuracy and scalability of our FFT-based method.

math.NA↗

A fully convergent fixed-point fast sweeping method with the WENO-JS local solver for steady state of hyperbolic conservation laws

The fixed-point fast sweeping methods with weighted essentially non-oscillatory (WENO) local solvers are a class of efficient and high-order accuracy numerical methods for solving steady-state solutions of hyperbolic conservation laws. However, with the classical WENO-JS local solver, the iteration residue of high-order fixed-point fast sweeping scheme often has difficulty to settle down to round-off errors. To achieve the full convergence in a fast sweeping method, the fixed-point fast sweeping methods with non-traditional WENO local solvers based on unequal-sized substencils were designed. However, the WENO schemes based on unequal-sized stencils are more complex and in general more expensive in computational costs than the classical WENO-JS schemes. In this paper, we go back to the classical WENO-JS local solver and develop a new fully convergent fifth-order fixed-point fast sweeping method for solving steady-state problems of hyperbolic conservation laws. Based on recent studies on the nonlinear weighting process around discontinuities of solution, we apply the technique of frozen weights for avoiding unnecessary adjustment of nonlinear weights in the WENO-JS local solver, which freezes the nonlinear weights once the residual sequence in the fast sweeping iterations has stabilized. Different from the existing work on frozen weights, we design a simple and robust approach to judge stabilization of iteration residues and determine the iteration step when the nonlinear weights are frozen in the fast sweeping method. Extensive numerical experiments on a wide range of challenging two-dimensional steady-state problems demonstrate that, unlike the previous fast sweeping method with the fifth-order WENO-JS local solver, the proposed new scheme consistently drives the iteration residues to round-off errors and achieves the full convergence.

math.NA↗