Partial differential equations (PDEs) are important tools to model physical systems, and including them into machine learning models is an important way of incorporating physical knowledge. Given any system of linear PDEs with constant coefficients, we propose a family of Gaussian process (GP) priors, which we call EPGP, such that all realizations are exact solutions of this system. We apply the Ehrenpreis-Palamodov fundamental principle, which works like a non-linear Fourier transform, to construct GP kernels mirroring standard spectral methods for GPs. Our approach can infer probable solutions of linear PDE systems from any data such as noisy measurements, or initial and boundary conditions. Constructing EPGP-priors is algorithmic, generally applicable, and comes with a sparse version (S-EPGP) that learns the relevant spectral frequencies and works better for big data sets. We demonstrate our approach on three families of systems of PDE, the heat equation, wave equation, and Maxwell's equations, where we improve upon the state of the art in computation time and precision, in some experiments by several orders of magnitude.
翻译:部分差异方程式(PDEs)是模拟物理系统的重要工具,将其纳入机器学习模型是纳入物理知识的重要方法。鉴于任何具有恒定系数的线性PDE系统,我们建议建立一个高盛进程前置(GP)系统,我们称之为EPGP,这样所有实现都是这个系统的精确解决方案。我们应用Ehrenpreis-Palamodov基本原则,该原则像非线性Fourier变换一样,用来构建GP内核,反映GPS的标准光谱方法。我们的方法可以从任何数据(如噪音测量、初始和边界条件)中推断出线性PDE系统的可能解决方案。构建EPGP-Priororors是算法式的,一般适用,并且带有稀疏版本(S-EPGP),可以学习相关的光谱频率,并且更好地为大数据集工作。我们展示了我们对PDE系统、热方程式、波方程式和Maxwell方程式等的三组的处理方法,我们从中改进了计算时间和精确度的状态,在几个级实验中可以改进。