English

Polynomial tractability for integration in an unweighted function space with absolutely convergent Fourier series

Numerical Analysis 2023-06-28 v3 Numerical Analysis

Abstract

In this note, we prove that the following function space with absolutely convergent Fourier series Fd:={fL2([0,1)d)|f:=kZdf^(k)max(1,minjsupp(k)logkj)<} F_d:=\left\{ f\in L^2([0,1)^d)\:\middle| \: \|f\|:=\sum_{\boldsymbol{k}\in \mathbb{Z}^d}|\hat{f}(\boldsymbol{k})| \max\left(1,\min_{j\in \mathrm{supp}(\boldsymbol{k})}\log |k_j|\right) <\infty \right\} with f^(k)\hat{f}(\boldsymbol{k}) being the k\boldsymbol{k}-th Fourier coefficient of ff and supp(k):={j{1,,d}kj0}\mathrm{supp}(\boldsymbol{k}):=\{j\in \{1,\ldots,d\}\mid k_j\neq 0\} is polynomially tractable for multivariate integration in the worst-case setting. Here polynomial tractability means that the minimum number of function evaluations required to make the worst-case error less than or equal to a tolerance ε\varepsilon grows only polynomially with respect to ε1\varepsilon^{-1} and dd. It is important to remark that the function space FdF_d is unweighted, that is, all variables contribute equally to the norm of functions. Our tractability result is in contrast to those for most of the unweighted integration problems studied in the literature, in which polynomial tractability does not hold and the problem suffers from the curse of dimensionality. Our proof is constructive in the sense that we provide an explicit quasi-Monte Carlo rule that attains a desired worst-case error bound.

Keywords

Cite

@article{arxiv.2210.06185,
  title  = {Polynomial tractability for integration in an unweighted function space with absolutely convergent Fourier series},
  author = {Takashi Goda},
  journal= {arXiv preprint arXiv:2210.06185},
  year   = {2023}
}

Comments

minor correction, 9 pages