Abstract
The Bochner–Riesz means are defined by the Fourier multiplier operators \((S_{R}^{\alpha}\ast f)\hat{\ }(\xi)=( 1-|R^{-1} \xi|^{2})^{\alpha}_{+}\hat{f}(\xi)\). Here we prove that if f has β derivatives in L p(R d), then \(S_{R}^{\alpha}\ast f(x)\) converges pointwise to f(x) as R→+∞ with a possible exception of a set of points with Hausdorff dimension at most d−βp if one of the following conditions holds: either α>(d−1)|1/p−1/2|, or α>d(1/2−1/p)−1/2 and α+β⩾(d−1)/2. If β>d/p, then pointwise convergence holds everywhere.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
Mathematics Subject Classification (2010)
1 Introduction
The Bochner–Riesz means of order α of functions in R d are defined by the Fourier integrals
In particular, when α=0 one obtains the spherical partial sums, which are a natural analogue of the partial sums of one-dimensional Fourier series. The almost everywhere convergence of Bochner–Riesz means has been widely studied, however there are still many open problems. See [13] as a general reference. If α>(d−1)/2, the critical index, then the Bochner–Riesz maximal operator \(S_{*}^{\alpha}f=\sup_{R>0} |S_{R}^{\alpha}\ast f|\) is pointwise dominated by the Hardy-Littlewood maximal operator, hence it is of weak type (1,1) and of strong type (∞,∞). If p=2 and α>0, then \(S_{*}^{\alpha}\) is bounded on L 2(R d). Therefore, by complex interpolation, the Bochner–Riesz maximal operator is bounded on L p(R d), with 1<p⩽+∞ and α>(d−1)|1/p−1/2|. From this the almost everywhere convergence follows: if f is in L p(R d), with 1⩽p⩽+∞ and α>(d−1)|1/p−1/2|, then \(\lim_{R\rightarrow+\infty} S^{\alpha }_{R} \ast f(x)=f(x)\) a.e.. This result is not optimal. Indeed, Carbery in [1] established the pointwise convergence of the Bochner–Riesz means when 2⩽p<2d/(d−1−2α) and d=2. The same result for d⩾3 has been obtained by Christ in [5], under the extra assumption that α⩾(d−1)/2(d+1). For further improvements when p⩾2 see also [7]. Finally, in [2] Carbery, Rubio de Francia, and Vega have removed the restriction on α by showing that \(S_{*}^{\alpha}f\) is bounded on the weighted space L 2(|x|−λ dx) if d(1−2/p)⩽λ<1+2α⩽d and observing that L p⊂L 2+L 2(|x|−λ dx). See also [10]. Moreover, it has been shown by Rubio de Francia that the Bochner–Riesz means of index α are not defined in L p(R d) when p⩾2d/(d−1−2α). Therefore the problem of the almost everywhere convergence of Bochner–Riesz means when p⩾2 is essentially solved. On the other hand, as far as we know, sharp results when p<2 are not known. For related subjects, see [14].
Here we consider the pointwise convergence of Bochner–Riesz means for more regular functions, in particular functions in Sobolev classes. It has been proved by Carbery and Soria in [3] and Ma in [8] that by putting some smoothness on the function one may decrease the index of almost everywhere summability. Moreover, Carbery and Soria in [4] and Montini in [9] have considered the problem of the capacity and Hausdorff dimension of the divergence set of spherical partial sums of Fourier integrals. Then, in [6] Colzani has shown that the Bochner–Riesz means of functions with β integrable derivatives with α+β>(d−1)/2 may diverge only in sets of points of Hausdorff dimension at most d−β. Here we generalise these results to functions with β fractional derivatives in L p(R d), 1<p<∞. In particular, we obtain conditions on α, β, p and d that ensure the pointwise convergence up to sets with Hausdorff dimension at most d−βp. The conditions are the following: either α>(d−1)|1/p−1/2| or α>d(1/2−1/p)−1/2 and α+β⩾(d−1)/2. Since the functions we are considering may be infinite precisely on sets of dimension d−βp, this estimate for the dimension of the divergence sets is the best possible. However, our analysis is not exhaustive and the ranges of the indexes are not optimal.
Before stating our result, we recall some basic definitions.
The Bochner–Riesz kernel \(S_{R}^{\alpha}\) of order α, with α>0, is defined by its Fourier transform,
This kernel can be written explicitly in terms of Bessel functions:
It follows from the asymptotic formula for Bessel functions that
The Bessel kernel G β, with β>0, is defined by its Fourier transform,
Also this kernel can be written explicitly in terms of Bessel functions, however it is more convenient to see it as a superposition of heat kernels,
It follows from this representation that this kernel is positive and integrable. Moreover, if 0<β<d then it is asymptotic to c|x|β−d when x→0 and it has an exponential decay at infinity. If β=d then G β has a logarithmic singularity at the origin, and if β>d then it is bounded. See [11]. Finally, the Riesz kernel I β, with 0<β<d, is given by
If β>0 and p>1, the Bessel capacity of a set E⊂R d is defined by
The Riesz capacity R β,p is defined in a similar way, by replacing G β with I β. It follows from the definitions that R β,p (E)⩽CB β,p (E). Actually, it is also true that the Bessel and Riesz capacities have the same null sets. See [16, p. 67]. It can be also proved that when the d−βp Hausdorff measure of E is finite, then B β,p (E)=0. Conversely, if B β,p (E)=0, then for every ε>0 the d−βp+ε Hausdorff measure of E is 0. See [16, Th 2.6.16].
Our main result is the following.
Theorem 1.1
Assume that α>0, β>0, and f=G β∗F with F∈L p(R d), 1⩽p⩽+∞. If 0<β⩽d/p, then \(S_{R}^{\alpha}\ast f(x)\) converges pointwise to f(x) as R→+∞ with a possible exception of a set of points with Hausdorff dimension at most d−βp, provided that one of the following conditions holds:
-
(i)
either α>(d−1)|1/p−1/2|;
-
(ii)
or α>d(1/2−1/p)−1/2 and α+β⩾(d−1)/2.
If α>d(1/2−1/p)−1/2 and β>d/p, then the convergence is pointwise everywhere and uniform.
As mentioned in the Introduction, almost everywhere convergence of Bochner–Riesz means has been considered in [3] and [8], and the case α=0 of our Theorem is contained in [4] and [9]. The cases p=1 and p=2 are already contained in [6], and also the case p=∞ is already known. Indeed, if p=∞ and β>0, then f=G β∗F is bounded and uniformly continuous, and if α>(d−1)/2 then \(S_{R}^{\alpha}\ast f\) converges to f uniformly. The assumption α>d(1/2−1/p)−1/2 in Theorem 1.1 is necessary in order to define the Bochner–Riesz means in L p(R d). Observe also that when p<2d/(d−1) this condition reduces to α+β⩾(d−1)/2.
The main point of the proof of the Theorem is an estimate for the maximal Bochner–Riesz operator: for every f with β derivatives in L p(R d) there exists a function H in L p(R d) such that
Convergence up to a set of Riesz capacity zero follows from this.
2 Proof of Theorem 1.1
We split the proof of Theorem 1.1 into a series of lemmas.
Lemma 2.1
If \(1\leqslant p \leqslant+\infty\/\) and α>d(1/2−1/p)−1/2, then for every F∈L p(R d) the convolution \(S_{R}^{\alpha}\ast G^{\beta} \ast F\) is well defined and it is commutative and associative:
Proof
The statement follows from Young’s inequality: given 1⩽p,q,r⩽∞ with 1/p+1/q=1+1/r, if f∈L p(R d) and g∈L q(R d), then f∗g∈L r(R d). It suffices to observe that the Bessel kernel G β is an integrable function and that the Bochner–Riesz kernel \(S_{R}^{\alpha}\) is in L q(R d), with q>2d/(2α+d+1). □
Lemma 2.2
If α>(d−1)/2, then the maximal operator \(S_{*}^{\alpha}f=\sup_{R>0} |S_{R}^{\alpha}\ast f|\) is of weak type in L 1(R d). If 1<p⩽+∞ and α>(d−1)|1/p−1/2|, then this maximal operator is bounded on L p(R d).
Proof
This is a classical result of Stein. First one proves the extreme cases p=1 or p=∞ and ℜ(α)>(d−1)/2, then the case p=2 and ℜ(α)>0. The other cases follow by complex interpolation. See [13, Theorem 5.1]. □
Lemma 2.3
If α+β⩾(d−1)/2, then
Proof
First assume that 0<β<d. By definition
Let ϕ+ψ=1 be a partition of unity on R +, with ϕ and ψ smooth and non-negative, and
Then
To estimate the first integral set
Then, if K R (x)=R d K(Rx) we can rewrite the first integral as
Recall that the Hardy-Littlewood maximal function of a locally integrable function is defined by
where B r denotes the ball of radius r centred at the origin and |B r | is its volume. Since the multiplier \(\widehat{K}\) is smooth with compact support, the kernel K(x) is bounded and rapidly decreasing at infinity. This implies that
Since G β(x)⩽C|x|β−d and since the Hardy-Littlewood maximal function of a radial homogeneous function is radial homogeneous, it also follows that
We now estimate the second integral. When |Rx|⩽3 a crude estimate gives
To estimate the integral when |Rx|>3, we introduce another smooth cut-off function 0⩽χ⩽1 such that χ(ρ)=1 if 0⩽ρ⩽1−2/|Rx| and χ(ρ)=0 if ρ⩾1−1/|Rx|. Moreover we require that for all j=0,1,2,…,
Then
In polar coordinates the first integral becomes
It is well known that
This is a standard estimate for oscillatory integrals with non-degenerate critical points, which also follows from the decay of Bessel functions and the explicit formula
See for example [12, p. 347]. Therefore, if α+β⩾(d−1)/2 and |Rx|>3,
To estimate the second integral, we introduce the Laplacian \(\varDelta _{\xi }=-\sum^{d}_{j=1}\partial^{2}/\partial\xi^{2}_{j}\). Since this operator is self-adjoint and \(\varDelta ^{k}_{\xi}(e^{2 \pi i \xi \cdot x})=|2\pi x|^{2k} e^{2 \pi i \xi\cdot x}\), we obtain
where we have set
Now, denoting by \(\varDelta ^{k}_{\rho}\) the radial part of the Laplacian and setting g 0(|ξ|)=g(ξ), we get
Then, recalling the properties of the cut-off functions χ and ψ, if k>(α−1)/2 we finally get
We have proved that, if 0<β<d, then for every x
This estimate is the best possible if α+β=(d−1)/2, or if α+β>(d−1)/2 and |x|⩽1. If (d−1)/2−β<α<(d−1)/2 and |x|⩾1, then
The first inequality follows from the fact that Bessel kernels are positive, and the last inequality follows from the fact that these kernels are integrable with an exponential decay at infinity. If α⩾(d−1)/2, then
Again by this estimate it follows that, if |x|⩾1,
Hence we have proved that, if 0<β<d,
The proof of the cases β⩾d is similar. □
Lemma 2.4
Let 1<p<+∞, α>0, 0<β<d, and assume that one of the following properties holds:
-
(i)
either α>(d−1)|1/p−1/2|;
-
(ii)
or α>d(1/2−1/p)−1/2 and α+β⩾(d−1)/2.
Then for every function F∈L p(R d) there exists a function H∈L p(R d) with ∥H∥ p ⩽C∥F∥ p and such that
where I β(x)=|x|β−d is the Riesz kernel.
Proof
First assume that α>(d−1)|1/p−1/2|. This assumption is stronger than the one in Lemma 2.1, therefore \(S^{\alpha}_{*}(G^{\beta} \ast F)\) is well-defined. Since the Bessel kernel G β is positive and it is dominated by I β, we can estimate the maximal function as
As stated in Lemma 2.2, if α>(d−1)|1/p−1/2| and F∈L p(R d), then also \(\sup_{R>0} \vert S_{R}^{\alpha}\ast F\vert \in L^{p}(\mathbf{R}^{d})\). Hence, (i) follows with \(H=\sup_{R>0} \vert S_{R}^{\alpha}\ast F\vert \). Now assume that α>d(1/2−1/p)−1/2 and α+β⩾(d−1)/2. Then, by Lemma 2.3,
Hence, (ii) follows with H=|F|. □
Proof of Theorem 1.1
As observed before, the case p=∞ is already known. Indeed, if p=∞ and β>0, then f=G β∗F is bounded and uniformly continuous. Hence, if α>(d−1)/2 then \(S_{R}^{\alpha}\ast f\) converges to f uniformly. The case p=1 is already contained in [6], however it is also a consequence of the case p>1. Indeed, write f=G β∗F=G β−ε∗G ε∗F with 0<ε<β. If F is in L 1(R d) then, by the Hardy–Littlewood–Sobolev theorem of fractional integration [11, Theorem 5.1], G ε∗F is in L p(R d) for every p<d/(d−ε). Hence, assuming that the Theorem holds with p>1, then \(S^{\alpha}_{R} f\) converges up to a set with Hausdorff dimension at most d−(β−ε)p. Finally, letting ε→0 and p→1, one obtains convergence up to a set of dimension at most d−β. The case 1<p<∞ and 0<β⩽d/p follows from Lemma 2.4 and the notion of capacity. The proof is standard, anyhow for completeness we include some details. Let {F n } be a sequence of functions in the Schwartz class which converges to F in the metric of L p(R d) and let f n =G β∗F n . Since also f n is in the Schwartz class, \(\lim_{R\rightarrow+\infty} S_{R}^{\alpha} \ast f_{n}=f_{n}\) pointwise everywhere. Then, for every t>0,
The Bessel capacity of the second term can be estimated by
Hence, this capacity tends to zero as n→+∞. In case (i) when α>(d−1)|1/p−1/2|, the Bessel capacity of the first term can be estimated by
Since ∥F n −F∥ p →0 as n→+∞, we obtain
In case (ii), when α⩾d(1/2−1/p)−1/2 and α+β⩾(d−1)/2, the Riesz capacity of the second term can be estimated by
The last term tends to zero as n→+∞. Since the Riesz and Bessel capacities have the same null sets, see [16, p. 67], in both cases we get
Therefore, applying [16, Theorem 2.6.16]), we obtain that the Hausdorff dimension of the set \(\{x : \limsup_{R\rightarrow+\infty} |S_{R}^{\alpha} \ast f(x)-f(x)|>0 \}\) is at most d−βp.
If 1<p⩽2 and β>d/p then, by the Hausdorff-Young inequality, the Fourier transform of f is absolutely integrable. Indeed, if 1/p+1/q=1,
Hence, by the integrability of the Fourier transform, the inversion formula for the Fourier transform holds everywhere and the convergence of the Bochner–Riesz means is uniform,
It remains to consider the case p>2, α>d(1/2−1/p)−1/2 and β>d/p. In this case α+β>(d−1)/2 and Lemma 2.3 applies. Hence, if 1/p+1/q=1, then
Uniform convergence everywhere now follows from the uniform boundedness of this maximal function, via a standard density argument. □
Since functions with β derivatives in L p(R d) may be infinite on sets with Hausdorff dimension d−βp, the dimension of the divergence set in the statement of the Theorem cannot be decreased. When p⩾2, part (i) of Theorem 1.1 can be easily improved by using the bounds for the maximal Bochner–Riesz operator in [1, 5, 7], and [10] for even dimensions. Finally, we want to remark again that our analysis is not exhaustive and the ranges of the indexes are not optimal. However, at least for radial functions, we can prove some definitive results:
Let α⩾0, β⩾0, 1⩽p⩽+∞, and 2d/(d+1+2α+2β)<p<2d/(d−1−2α). Then the Bochner–Riesz means with index α of radial functions with β derivatives in L p(R d) converge pointwise, with the possible exception of a set of points Ω with the following properties:
-
(i)
if βp⩽1, then the Hausdorff dimension of Ω is at most d−βp;
-
(ii)
if 1<βp⩽d, then Ω either is empty or it reduces to the origin;
-
(iii)
if βp>d, then Ω is empty.
For these results, see [15]. The range of the indexes for non-radial functions cannot be larger than for radial function. Figure 1 shows the largest possible region of convergence for our problem. The dark shaded area corresponds to condition (i) and (ii) of Theorem 1.1, whereas we have proved convergence in the light shaded areas only for radial functions. In particular, observe the asymmetry between p<2 and p>2. When p<2 the regularity β lowers the summability index α. On the other hand, when p>2 the indexes of summability α and of regularity β are unrelated.
References
Carbery, A.: The boundedness of the maximal Bochner–Riesz operator on L 4(R 2). Duke Math. J. 50, 409–416 (1983)
Carbery, A., Rubio de Francia, J.L., Vega, L.: Almost everywhere summability of Fourier integrals. J. Lond. Math. Soc. 38, 513–524 (1988)
Carbery, A., Soria, F.: Almost-everywhere convergence of Fourier integrals for functions in Sobolev spaces, and an L 2-localisation principle. Rev. Mat. Iberoam. 4, 319–337 (1988)
Carbery, A., Soria, F.: Set of divergence for the localization problem for Fourier integrals. C. R. Acad. Sci. Paris Sér. I Math. 325, 1283–1286 (1997)
Christ, M.: On almost everywhere convergence of Bochner–Riesz means in higher dimensions. Proc. Am. Math. Soc. 95, 16–20 (1985)
Colzani, L.: Fourier expansions of functions with bounded variation of several variables. Trans. Am. Math. Soc. 358, 5501–5521 (2006)
Lee, S.: Improved bounds for Bochner–Riesz and maximal Bochner–Riesz operator. Duke Math. J. 122, 205–232 (2004)
Ma, B.: Almost-everywhere convergence of Bochner–Riesz means in Bessel potential spaces. J. Approx. Theory Appl. 13, 13–18 (1997)
Montini, E.: On the capacity of sets of divergence associated with the spherical partial integral operator. Trans. Am. Math. Soc. 335, 1415–1441 (2002)
Rubio de Francia, J.L.: Transference principles for radial multipliers. Duke Math. J. 58, 1–19 (1989)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1971)
Stein, E.M.: Harmonic Analysis: Real Variable Methods, Orthogonality and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton University Press, Princeton (1971)
Tao, T.: On the maximal Bochner–Riesz conjecture in the plane for p<2. Trans. Am. Math. Soc. 354, 1947–1959 (2002)
Volpi, S.: Bochner–Riesz means of eigenfunction expansions and local Hardy spaces on manifolds with bounded geometry. Ph.D. Thesis, Univ. Milano-Bicocca, Milano (2012)
Ziemer, W.P.: Weakly Differentiable Functions. Graduate Texts in Math., vol. 120. Springer, New York (1989)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Italia
About this chapter
Cite this chapter
Colzani, L., Volpi, S. (2013). Pointwise Convergence of Bochner–Riesz Means in Sobolev Spaces. In: Picardello, M. (eds) Trends in Harmonic Analysis. Springer INdAM Series, vol 3. Springer, Milano. https://doi.org/10.1007/978-88-470-2853-1_7
Download citation
DOI: https://doi.org/10.1007/978-88-470-2853-1_7
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2852-4
Online ISBN: 978-88-470-2853-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)