Fourier Analysis of Finite Difference Schemes for the Helmholtz Equation in 1D with Dirichlet Conditions: Sharp Estimates and Relative Errors

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Gander, Martin J., Zhang, Hui, Zhou, Haiyang
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911633670930432
author Gander, Martin J.
Zhang, Hui
Zhou, Haiyang
author_facet Gander, Martin J.
Zhang, Hui
Zhou, Haiyang
contents We consider the Dirichlet problem of the indefinite Helmholtz equation in 1D, $u''+k^2u=f$ in $(0,1)$, $u(0)=g_0$, $u(1)=g_1$, with a constant wavenumber $k\in(0,\infty)\backslashπ\mathbb{N}$ and a source term $f\in H^p_0(0,1)$, $p\ge 4$. We propose an approach based on Fourier analysis to derive wavenumber explicit sharp estimates of absolute and relative errors of \emph{finite difference} methods. Such results have been well known for \emph{finite element} methods (FEM). We use the approach to analyze the classical centered finite difference scheme. For the Fourier interpolants of the discrete solution with homogeneous (or inhomogeneous) Dirichlet conditions, we show rigorously, under the two assumptions $k>20$ and $k(kh)^2/σ_k\le4/(π-2)$ with $σ_k:=\operatorname{dist}(k,π\mathbb{N})$, that the worst case attainable convergence order of the absolute error with $\sum_{p=0}^4k^{-p}\|f^{(p)}\|_{L^2}=O(1)$ (or $|g_i|\asymp k^{-1}$) is $(kh)^2/σ_k^2$ in the $L^2$-norm and $k(kh)^2/σ_k^2$ in the $H^1$-semi-norm, and that of the relative error is $k(kh)^2/σ_k$ in both $L^2$- and $H^1$-semi-norms if $\|u^{(p)}\|_{L^2}/\|u^{(p-2)}\|_{L^2}\asymp k^2$ for $p=2,3$. In particular, the lower bounds of these error estimates are established rigorously in the same orders as the upper bounds, which is the main novelty of this work. We show also that the Fourier analysis approach can be used as a convenient visual tool for evaluating finite difference schemes in presence of source terms, which is beyond the scope of dispersion analysis. The results from the theory and visual analysis are corroborated by numerical experiments.
format Preprint
id arxiv_https___arxiv_org_abs_2501_16696
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Fourier Analysis of Finite Difference Schemes for the Helmholtz Equation in 1D with Dirichlet Conditions: Sharp Estimates and Relative Errors
Gander, Martin J.
Zhang, Hui
Zhou, Haiyang
Numerical Analysis
65N06, 65N12, 65N15
We consider the Dirichlet problem of the indefinite Helmholtz equation in 1D, $u''+k^2u=f$ in $(0,1)$, $u(0)=g_0$, $u(1)=g_1$, with a constant wavenumber $k\in(0,\infty)\backslashπ\mathbb{N}$ and a source term $f\in H^p_0(0,1)$, $p\ge 4$. We propose an approach based on Fourier analysis to derive wavenumber explicit sharp estimates of absolute and relative errors of \emph{finite difference} methods. Such results have been well known for \emph{finite element} methods (FEM). We use the approach to analyze the classical centered finite difference scheme. For the Fourier interpolants of the discrete solution with homogeneous (or inhomogeneous) Dirichlet conditions, we show rigorously, under the two assumptions $k>20$ and $k(kh)^2/σ_k\le4/(π-2)$ with $σ_k:=\operatorname{dist}(k,π\mathbb{N})$, that the worst case attainable convergence order of the absolute error with $\sum_{p=0}^4k^{-p}\|f^{(p)}\|_{L^2}=O(1)$ (or $|g_i|\asymp k^{-1}$) is $(kh)^2/σ_k^2$ in the $L^2$-norm and $k(kh)^2/σ_k^2$ in the $H^1$-semi-norm, and that of the relative error is $k(kh)^2/σ_k$ in both $L^2$- and $H^1$-semi-norms if $\|u^{(p)}\|_{L^2}/\|u^{(p-2)}\|_{L^2}\asymp k^2$ for $p=2,3$. In particular, the lower bounds of these error estimates are established rigorously in the same orders as the upper bounds, which is the main novelty of this work. We show also that the Fourier analysis approach can be used as a convenient visual tool for evaluating finite difference schemes in presence of source terms, which is beyond the scope of dispersion analysis. The results from the theory and visual analysis are corroborated by numerical experiments.
title Fourier Analysis of Finite Difference Schemes for the Helmholtz Equation in 1D with Dirichlet Conditions: Sharp Estimates and Relative Errors
topic Numerical Analysis
65N06, 65N12, 65N15
url https://arxiv.org/abs/2501.16696