On boundary conditions parametrized by analytic functions

by   Markus Lange-Hegermann, et al.

Computer algebra can answer various questions about partial differential equations using symbolic algorithms. However, the inclusion of data into equations is rare in computer algebra. Therefore, recently, computer algebra models have been combined with Gaussian processes, a regression model in machine learning, to describe the behavior of certain differential equations under data. While it was possible to describe polynomial boundary conditions in this context, we extend these models to analytic boundary conditions. Additionally, we describe the necessary algorithms for Gröbner and Janet bases of Weyl algebras with certain analytic coefficients. Using these algorithms, we provide examples of divergence-free flow in domains bounded by analytic functions and adapted to observations.



page 1

page 2

page 3

page 4


Linearly Constrained Gaussian Processes with Boundary Conditions

One goal in Bayesian machine learning is to encode prior knowledge into ...

Exact artificial boundary conditions of 1D semi-discretized peridynamics

The peridynamic theory reformulates the equations of continuum mechanics...

On functions computed on trees

Any function can be constructed using a hierarchy of simpler functions t...

Eigenvector decomposition to determine the existence, shape, and location of numerical oscillations in Parabolic PDEs

In this paper, we employed linear algebra and functional analysis to det...

Modular structure of the Weyl algebra

We study the modular Hamiltonian associated with a Gaussian state on the...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.