Fourier transform of function on compact set and Sobolev norm equivalence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T21:25:23Z http://mathoverflow.net/feeds/question/115996 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115996/fourier-transform-of-function-on-compact-set-and-sobolev-norm-equivalence Fourier transform of function on compact set and Sobolev norm equivalence maximumtag 2012-12-10T17:28:31Z 2012-12-10T20:09:50Z <p>Hi all. My question on M.SE is unanswered (http://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.</p> <p>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? </p> <p>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$.)</p> <p>Does this hold? Thanks for any help.</p> http://mathoverflow.net/questions/115996/fourier-transform-of-function-on-compact-set-and-sobolev-norm-equivalence/116006#116006 Answer by Peter Michor for Fourier transform of function on compact set and Sobolev norm equivalence Peter Michor 2012-12-10T18:31:19Z 2012-12-10T19:09:40Z <p>The answer is no, at least for the first two interpretations of your question that I see: I assume that $\Omega$ is a $m$-dimensional compact submanifold of $\mathbb R^n$ with induced Riemannian metric $g$ and volume form $\operatorname{vol}(g)$.</p> <ol> <li><p>Interpretation: $f$ is a distribution of compact support in $\mathbb R^n$ acting on test function $\phi$ by $\langle f,\phi\rangle = \int_{\Omega} \phi.f \operatorname{vol}(g)$. Then Fourier transform of $f$ is a tempered distribution, not rapidly decreasing since $f$ has singular support.</p></li> <li><p>Interpretation: $f$ is a cocurrent. It acts on smooth $m$-forms $\omega$ with compact support as $\langle f,\omega\rangle = \int_{\Omega} f.\omega$. Here your Sobolev index has to be $k> \dim(\Omega)/2 +1$ so that $f.\omega$ is at least a $C^1$ form. </p></li> <li><p>Interpretation: If $\Omega$ is a symmetric space of certain type isometrically embedded in $\mathbb R^n$ there might be a (spherical) Fourier transform for functions on $\Omega$ itself. This is quite subtle. </p></li> </ol> http://mathoverflow.net/questions/115996/fourier-transform-of-function-on-compact-set-and-sobolev-norm-equivalence/116014#116014 Answer by Pedro Lauridsen Ribeiro for Fourier transform of function on compact set and Sobolev norm equivalence Pedro Lauridsen Ribeiro 2012-12-10T20:09:50Z 2012-12-10T20:09:50Z <p>This seems to be one special case of the so called <em>Fourier restriction problem</em> (see, for instance, Terry Tao's discussion: <a href="http://terrytao.wordpress.com/2010/12/28/the-bourgain-guth-argument-for-proving-restriction-theorems/" rel="nofollow">http://terrytao.wordpress.com/2010/12/28/the-bourgain-guth-argument-for-proving-restriction-theorems/</a>). 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 </p> <p><code>$\|(f d\mu)^{\wedge}\|_{L^q(\mathbb{R}^n)}\leq C\|f\|_{L^2(\Omega)}$</code></p> <p>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. </p> <p>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$.</p>