Hi all. My question on M.SE is unanswered (<https://math.stackexchange.com/questions/254970/fourier-transform-of-function-defined-on-subset-of-mathbbrn>) so I want to post it here. I changed it slightly.


If I have a function $f:\Omega \to \mathbb{R}$ in $H^k(\Omega)$ where $\Omega \subset \mathbb{R}^n$ is a compact surface, then what is known about the Fourier transform $\hat{f}$? What space does it lie in? 


Most importantly, I want to know if $\lVert f\rVert\_{H^k(\Omega)}$ is equivalent to $\lVert \hat{f}(1+|\xi|^2)^{\frac k 2}\rVert\_{L^2(K)}$ for some compact $K$ (recall that this is true if the domains are $\mathbb{R}^n$.)


Does this hold? Thanks for any help.



Fourier transform of function on compact set and Sobolev norm equivalence
This seems to be one special case of the so called *Fourier restriction problem* (see, for instance, Terry Tao's discussion: <http://terrytao.wordpress.com/2010/12/28/the-bourgain-guth-argument-for-proving-restriction-theorems/>). If $\Omega$ is a smooth, $(n-1)$-dimensional embedded submanifold (compact or not) of $\mathbb{R}^n$ ($n\geq 2$) without boundary, with induced measure $d\mu$, the measure $f d\mu$ supported in $\Omega$ has its Fourier transform lying in $L^q(\mathbb{R}^n)$ with the bound 


$\|(f d\mu)^{\wedge}\|\_{L^q(\mathbb{R}^n)}\leq C\|f\|\_{L^2(\Omega)}$


only if $q\geq 2\frac{n+1}{n-1}$. As a consequence, no such bound can hold for $f$ as above if $q=2$. This is essentially shown in Lemma 3, page 707 of R. S. Strichartz, "Restrictions of Fourier Transforms to Quadratic Surfaces and Decay of Solutions of Wave Equations", Duke Math. J. 44 (1977) 705-714. 


I'm not sure if replacing $L^q(\mathbb{R}^n)$ by $L^q(K)$ for some compact region $K\subset\mathbb{R}^n$ with nonvoid interior allows one to circumvent this "no-go" result, but I rather doubt it. In fact, the $L^p-L^q$ Bernstein inequalities (A.5), page 333 of Terry Tao's book "Nonlinear Dispersive Equations" (American Mathematical Society, 2006), which tell us what happens when we perform a restriction to compact regions in frequency space, go in the opposite direction. That is, you still (apparently) need $q$ to respect the above upper bound even after restricting to $K$.


