Let $S \subset \mathbb {R}^{n}$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\mathbb {R}^{n}$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^{q}(X)} \lesssim \| f \|_{L^{p}(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \lesssim R^{\alpha }$ for all balls $B_R$ in $\mathbb {R}^{n}$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^{q}$ against the measure $\chi _X \,{\textrm {d}}x$. Our approach consists of replacing the characteristic function $\chi _X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted Hölder-type inequality that holds for general non-negative Lebesgue measurable functions on $\mathbb {R}^{n}$ and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du–Zhang theorem in the range $0 < \alpha < n/2$.

We exhibit the first explicit examples of Salem sets in ℚp of every dimension 0 < α < 1 by showing that certain sets of well-approximable p-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the p-adic setting.

We study the regularity of convolution powers for measures supported on Salem sets, and prove related results on Fourier restriction and Fourier multipliers. In particular we show that for $\alpha $ of the form $d\,/\,n,\,n\,=\,2,3,...$ there exist $\alpha $-Salem measures for which the ${{L}^{2}}$ Fourier restriction theorem holds in the range $p\,\le \,\frac{2d}{2d\,-\,\alpha }$. The results rely on ideas of Körner. We extend some of his constructions to obtain upper regular $\alpha $-Salem measures, with sharp regularity results for $n$-fold convolutions for all $n\,\in \,\mathbb{N}$.

We establish estimates for restrictions to certain curves in ${{\mathbb{R}}^{2}}$ of the Fourier transforms of some fractal measures.

We extend an affine-invariant inequality for vector polynomials established by Dendrinos and Wright to general rational functions. As a consequence we obtain sharp universal estimates for various problems in Euclidean harmonic analysis defined with respect to the so-called affine arc-length measure.

We establish a sharp Fourier restriction estimate for a measure on a $k$-surface in ${{\mathbb{R}}^{n}}$, where $n\,=\,k\left( k\,+\,3 \right)/2$