Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910718743281664 |
|---|---|
| author | Cadiot, Matthieu Jaquette, Jonathan Lessard, Jean-Philippe Takayasu, Akitoshi |
| author_facet | Cadiot, Matthieu Jaquette, Jonathan Lessard, Jean-Philippe Takayasu, Akitoshi |
| contents | In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First, we introduce a validated Matrix Multiplication Transform (MMT) algorithm, analogous to the discrete Fourier transform, which offers a reliable framework for evaluating nonlinearities in spectral methods while effectively mitigating challenges associated with rounding errors. Second, we examine the Zernike polynomials, a spectral basis well-suited for problems on the disk, and highlight their essential properties. We further demonstrate how the MMT approach can be effectively employed to compute the product of truncated Zernike series, ensuring both accuracy and efficiency. Finally, we combine the MMT framework and Zernike series to construct computer-assisted proofs that establish the existence of solutions to two distinct nonlinear elliptic PDEs on the disk. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_18361 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs Cadiot, Matthieu Jaquette, Jonathan Lessard, Jean-Philippe Takayasu, Akitoshi Numerical Analysis Analysis of PDEs In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First, we introduce a validated Matrix Multiplication Transform (MMT) algorithm, analogous to the discrete Fourier transform, which offers a reliable framework for evaluating nonlinearities in spectral methods while effectively mitigating challenges associated with rounding errors. Second, we examine the Zernike polynomials, a spectral basis well-suited for problems on the disk, and highlight their essential properties. We further demonstrate how the MMT approach can be effectively employed to compute the product of truncated Zernike series, ensuring both accuracy and efficiency. Finally, we combine the MMT framework and Zernike series to construct computer-assisted proofs that establish the existence of solutions to two distinct nonlinear elliptic PDEs on the disk. |
| title | Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs |
| topic | Numerical Analysis Analysis of PDEs |
| url | https://arxiv.org/abs/2411.18361 |