English
Related papers

Related papers: Computer-assisted proofs in PDE: a survey

200 papers

We consider the problem of solving partial differential equations (PDEs) in domains with complex microparticle geometry that is impractical, or intractable, to model explicitly. Drawing inspiration from volume rendering, we propose tackling…

Graphics · Computer Science 2025-06-11 Bailey Miller , Rohan Sawhney , Keenan Crane , Ioannis Gkioulekas

Physics-Informed Neural Networks (PINNs) are machine learning tools that approximate the solution of general partial differential equations (PDEs) by adding them in some form as terms of the loss/cost function of a Neural Network. Most…

Numerical Analysis · Mathematics 2022-08-29 Antonio Tadeu Azevedo Gomes , Larissa Miguez da Silva , Frederic Valentin

Throughout many fields, practitioners often rely on differential equations to model systems. Yet, for many applications, the theoretical derivation of such equations and/or accurate resolution of their solutions may be intractable. Instead,…

Machine Learning · Computer Science 2025-01-16 Grant Norman , Jacqueline Wentz , Hemanth Kolla , Kurt Maute , Alireza Doostan

The data-driven models allow one to define the model structure in cases when a priori information is not sufficient to build other types of models. The possible way to obtain physical interpretation is the data-driven differential equation…

Neural and Evolutionary Computing · Computer Science 2019-06-11 Michail Maslyaev , Alexander Hvatov , Anna Kalyuzhnaya

We introduce a method for inferring an explicit PDE from a data sample generated by previously unseen dynamics, based on a learned context. The training phase integrates knowledge of the form of the equation with a differential scheme,…

Machine Learning · Computer Science 2024-06-10 Ori Linial , Orly Avner , Dotan Di Castro

We introduce physics informed neural networks -- neural networks that are trained to solve supervised learning tasks while respecting any given law of physics described by general nonlinear partial differential equations. In this second…

Artificial Intelligence · Computer Science 2017-11-30 Maziar Raissi , Paris Perdikaris , George Em Karniadakis

We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…

Logic · Mathematics 2023-05-02 Morenikeji Neri , Thomas Powell

We study mathematically a system of partial differential equations arising in the modelling of an aging fluid, a particular class of non Newtonian fluids. We prove well-posedness of the equations in appropriate functional spaces and…

Analysis of PDEs · Mathematics 2012-03-06 David Benoit , Lingbing He , Claude Le Bris , Tony Lelièvre

In this article we present an extremely effective and relatively unknown approach to solving functional equations that appear in mathematical competitions. We aim to explain the philosophy of this novel method through numerous examples,…

History and Overview · Mathematics 2019-02-01 Athanasios Kontogeorgis , Rafail Tsiamis

We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as…

Symbolic Computation · Computer Science 2013-07-22 Stefan Gerhold , Manuel Kauers , Christoph Koutschan , Peter Paule , Carsten Schneider , Burkhard Zimmermann

In this paper, a nonsmooth semilinear parabolic partial differential equation (PDE) is considered. For a reduced basis (RB) approach, a space-time formulation is used to develop a certified a-posteriori error estimator. This error estimator…

Numerical Analysis · Mathematics 2022-12-29 Marco Bernreuther , Stefan Volkwein

In this paper, we show a physics-informed neural network solver for the time-dependent surface PDEs. Unlike the traditional numerical solver, no extension of PDE and mesh on the surface is needed. We show a simplified prior estimate of the…

Machine Learning · Computer Science 2021-03-26 Zhiwei Fang , Justin Zhang , Xiu Yang

Solving partial differential equations (PDEs) can be prohibitively expensive using traditional numerical methods. Deep learning-based surrogate models typically specialize in a single PDE with fixed parameters. We present a framework for…

Machine Learning · Computer Science 2025-11-14 Qian-Ze Zhu , Paul Raccuglia , Michael P. Brenner

We utilize extreme-learning machines for the prediction of partial differential equations (PDEs). Our method splits the state space into multiple windows that are predicted individually using a single model. Despite requiring only few data…

Machine Learning · Computer Science 2024-08-20 Hans Harder , Jean Rabault , Ricardo Vinuesa , Mikael Mortensen , Sebastian Peitz

Physics-informed neural networks (PINNs) are an influential method of solving differential equations and estimating their parameters given data. However, since they make use of neural networks, they provide only a point estimate of…

Machine Learning · Computer Science 2024-05-15 Lena Podina , Mahdi Torabi Rad , Mohammad Kohandel

Neural networks are increasingly used to construct numerical solution methods for partial differential equations. In this expository review, we introduce and contrast three important recent approaches attractive in their simplicity and…

Numerical Analysis · Mathematics 2021-04-15 Jan Blechschmidt , Oliver G. Ernst

A computational fluid model is developed to study waves and instabilities. A new technique involving initial perturbations in configuration space have been implemented to excite the plasma waves; i.e. the perturbations acting similar to a…

Plasma Physics · Physics 2007-05-23 H. Hakimi Pajouh , M. R. Rouhani , H. Abbasi , F. Kazeminejad , S. Rouhani

Partial differential equations (PDEs) are widely used across the physical and computational sciences. Decades of research and engineering went into designing fast iterative solution methods. Existing solvers are general purpose, but may be…

Numerical Analysis · Mathematics 2024-09-23 Jun-Ting Hsieh , Shengjia Zhao , Stephan Eismann , Lucia Mirabella , Stefano Ermon

We introduce a guided stochastic sampling method that augments sampling from diffusion models with physics-based guidance derived from partial differential equation (PDE) residuals and observational constraints, ensuring generated samples…

Machine Learning · Computer Science 2026-05-28 Andrew Millard , Fredrik Lindsten , Zheng Zhao

We present a new Partial Integral Equation (PIE) representation of Partial Differential Equations (PDEs) in which it is possible to use convex optimization to perform stability analysis with little or no conservatism. The first result gives…

Analysis of PDEs · Mathematics 2020-09-14 Matthew M. Peet