Sparse polynomial approximation of parametric elliptic PDEs. Part I: affine coefficients∗
Sorbonne Universités, UPMC Univ. Paris 6, CNRS, UMR 7598, Laboratoire
Jacques-Louis Lions, 4 place Jussieu, 75005 Paris, France.
firstname.lastname@example.org; email@example.com; firstname.lastname@example.org
Revised: 26 May 2016
Accepted: 9 June 2016
We consider the linear elliptic equation − div(a∇u) = f on some bounded domain D, where a has the affine form a = a(y) = ā + ∑j≥1yjψj for some parameter vector y = (yj)j ≥ 1 ∈ U = [−1,1]N. We study the summability properties of polynomial expansions of the solution map y → u(y) ∈ V := H01(D) . We consider both Taylor series and Legendre series. Previous results [A. Cohen, R. DeVore and C. Schwab, Anal. Appl. 9 (2011) 11–47] show that, under a uniform ellipticity assuption, for any 0 <p< 1, the ℓp summability of the (∥ψj∥L∞)j ≥ 1 implies the ℓp summability of the V-norms of the Taylor or Legendre coefficients. Such results ensure convergence rates n− s of polynomial approximations obtained by best n-term truncation of such series, with s = (1/p)−1 in L∞(U,V) or s = (1/p)−(1/2) in L2(U,V). In this paper we considerably improve these results by providing sufficient conditions of ℓp summability of the coefficient V-norm sequences expressed in terms of the pointwise summability properties of the (|ψj|)j ≥ 1. The approach in the present paper strongly differs from that of [A. Cohen, R. DeVore and C. Schwab, Anal. Appl. 9 (2011) 11–47], which is based on individual estimates of the coefficient norms obtained by the Cauchy formula applied to a holomorphic extension of the solution map. Here, we use weighted summability estimates, obtained by real-variable arguments. While the obtained results imply those of  as a particular case, they lead to a refined analysis which takes into account the amount of overlap between the supports of the ψj. For instance, in the case of disjoint supports, these results imply that for all 0 <p< 2, the ℓp summability of the coefficient V-norm sequences follows from the weaker assumption that (∥ψj∥L∞)j ≥ 1 is ℓq summable for q = q(p) := 2p/(2−p) . We provide a simple analytic example showing that this result is in general optimal and illustrate our findings by numerical experiments. The analysis in the present paper applies to other types of linear PDEs with similar affine parametrization of the coefficients, and to more general Jacobi polynomial expansions.
Mathematics Subject Classification: 41A10 / 41A58 / 41A63 / 65N15 / 65T60
Key words: Parametric PDEs / affine coefficients / n-term approximation / Legendre polynomials
© EDP Sciences, SMAI 2016