Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914429207052288 |
|---|---|
| author | Breden, Maxime Cadiot, Matthieu Zurek, Antoine |
| author_facet | Breden, Maxime Cadiot, Matthieu Zurek, Antoine |
| contents | 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 implement a Newton-Kantorovich approach. Specifically, given a numerical approximation $\bar{u}$, we prove the existence of a true stationary solution $\tilde{u}$ within a small, rigorously quantified neighborhood of $\bar{u}$. A key advantage of this approach is that the sharp control over the defect $\tilde{u}-\bar{u}$, integrated with the spectral properties of the Gegenbauer basis, enables an accurate enclosure of the linearization's spectrum around $\tilde{u}$. This allows for a definitive conclusion regarding the (in)stability of the verified solution, which is the main contribution of the paper. We demonstrate the efficacy of this method through several applications, capturing both stable and unstable equilibrium states. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27198 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials Breden, Maxime Cadiot, Matthieu Zurek, Antoine Analysis of PDEs 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 implement a Newton-Kantorovich approach. Specifically, given a numerical approximation $\bar{u}$, we prove the existence of a true stationary solution $\tilde{u}$ within a small, rigorously quantified neighborhood of $\bar{u}$. A key advantage of this approach is that the sharp control over the defect $\tilde{u}-\bar{u}$, integrated with the spectral properties of the Gegenbauer basis, enables an accurate enclosure of the linearization's spectrum around $\tilde{u}$. This allows for a definitive conclusion regarding the (in)stability of the verified solution, which is the main contribution of the paper. We demonstrate the efficacy of this method through several applications, capturing both stable and unstable equilibrium states. |
| title | Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials |
| topic | Analysis of PDEs |
| url | https://arxiv.org/abs/2603.27198 |