{"id":"arxiv/2603.27198","url":"https://arxiv.org/abs/2603.27198","tags":["math.AP"],"score":0,"title":"Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials","domain":"math.AP","source":"arxiv","authors":["Maxime Breden","Matthieu Cadiot","Antoine Zurek"],"reviews":0,"subject":"math.AP","summary":"In this paper, we present a computer-assisted framework for constructive proofs of existence for stationary solutions to one-dimensional parabolic PDEs and the rigorous determination of their linear stability. By expanding solutions in Gegenbauer polynomials, we first develop a general approach for boundary value problems (BVPs), corresponding to the stationary part of the PDE. This yields a computationally efficient sparse structure for both differential and multiplication operators. By deriving sharp, explicit and quantitative estimates for the inverse of differential operators, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-28","reactions":{}}