MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I am searching for a reference of an " easy " sufficient condition insuring that a bounded sequence $(b_{\mathbf{n}\in\mathbb{Z}^d})\in\ell^\infty$ defines a bounded operator from $L^p(\mathbb{T}^d)$ to itself for all finite $p>1$ (via the multiplication of the Fourier coefficients of course).

In fact my real goal is to check that the sequence $b_{\mathbf{n}}=n_i/|\mathbf{n}|$ (the discrete version of the Riesz transform) is indeed an $L^p(\mathbb{T}^d)$ multiplier and hence that the (periodic) Leray projection $\mathbb{P}:L^2(\mathbb{T}^d)^d \rightarrow L^2_{\text{div}}(\mathbb{T}^d)^d$ is a bounded operator from $L^p(\mathbb{T}^d)$ to itself for all finite $p>1$.

I am quite sure that the previous result is true since it's the case in $\mathbb{R}^d$ case via singular operator theory, but it should be easier in the compact case ! I am only searching for a simple, if possible modern, reference. This seems absent in the Grafakos book, at least in the form that I had just stated.

Thanks for your help !


share|cite|improve this question
up vote 3 down vote accepted

$L^p$ boundedness (for $p\in(1,+\infty)$) of your discrete Riesz transform can be derived applying De Leeuw's theorem (Theorem 3.8 in Chapter VII of Introduction to Fourier Analysis on Euclidean Spaces by E. Stein). The multiplier $m(\xi):=\frac{\xi_i}{|\xi|}$ gives rise to a bounded operator on $L^p(\mathbb{R}^n)$ ($p$ as above) by classical singular integral theory (or the Mihlin-Hormander multiplier theorem) and hence $b:=m_{|\mathbb{Z}^n}$ gives a bounded operator on $L^p(\mathbb{T}^n)$. De Leeuw's theorem is a particular instance of the phenomenon of transference (see for this).

share|cite|improve this answer
Exactly what I needed. Thanks ! – Ayman Moussa Feb 1 '13 at 9:16

In my site, I give a proof of the Mihlin-Hormander multiplier theorem on $L^{p}(\mathbb{R}^{d})$ which was a consequence of a more general theorem, see

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.