A validated matrix multiplication transform for Zernike polynomials enables computer-assisted existence proofs for nonlinear elliptic PDEs on the disk, including a singular toy problem.
Constructive proofs for some semilinear PDE s on H ^2(e^ |x|²/4 , R ^d)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NA 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
A validated matrix multiplication transform for Zernike polynomials enables computer-assisted existence proofs for nonlinear elliptic PDEs on the disk, including a singular toy problem.