Showing math.APShow all
2 papers · 1 filter
math.AP2026
Formalising Linear Elliptic PDE Theory in Lean 4
Alejandro José Soto Franco, Kobe Marshall-Stevens
We formalise in Lean 4, on top of Mathlib, the solvability of the Dirichlet problem for second-order linear elliptic operators in divergence form. The machine-verified results, wit…
math.AP2024
Gradient flow of phase transitions with fixed contact angle
Kobe Marshall-Stevens, Mayu Takada, Yoshihiro Tonegawa +1
We study the gradient flow of the Allen-Cahn equation with fixed boundary contact angle in Euclidean domains for initial data with bounded energy. Under general assumptions, we est…