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.
Uniqueness and bifurcation branches for planar steady N avier- S tokes equations under N avier boundary conditions
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.