Finding an optimal $p$ such that $u \in L^p$

Question

We have an $L^2$ function $u$ defined on $\mathbb{R^2}$ with compact support such that $u \in H^{2/3}$ (H stands for Sobolev spaces, as always), $\partial_y u \in L^2$, and $(x\partial_y - y\partial_x)u \in L^2$. I want to conclude that $u$ lies in some higher order $L^p$ space, that is, for some $p > 2$. Ideally, I would like to use all three pieces of information so that it leads to a high enough $p$. Any ideas?

Thanks a lot!

Edit: Is there some book that contains exercises specifically of this nature?

Another edit: I am sorry for not pointing this out explicitly: I am familiar of the conclusion that can be drawn from Sobolev Embedding type theorems. My main concern is how to make use of the facts $\partial_y u \in L^2$ and $(x\partial_y - y\partial_x)u \in L^2$, particularly the latter one.

Answer 1

This is not a full answer, but it shows you can do better than p=6. In the following, subscripts x and y refer to the x and y dependence. You have $$u \in H^{2/3}_x ( L^2_y )\cap L^2_x( H^1_y ).$$ By interpolation, you find $$u\in H^{2\alpha/3}_x(H^{1-\alpha}_y).$$ For $\alpha=3/5$, we find $$u\in H^{2/5}_x(H^{2/5}_y).$$ In one dimension $H^{2/5}$ embeds into $L^{10}$, so you have at least $p=10$. Since this does not use your last condition, it is probably not optimal.

Answer 2

The power of 10 from Michael Renardy's answer is in fact optimal, which follows from the fact that for $y\approx 0$, the vector fields $\partial_y$ and $x\partial_y - y\partial_x $ are parallel.

We can also get at it using a scaling argument. Let $\phi(x,y) \in C^\infty_0(\mathbb{R}^2)$. Let $\phi_{\alpha\beta}^\lambda(x,y) = \lambda \phi(\lambda^\alpha x, \lambda^\beta y)$. The usual scaling analysis shows that for $\alpha = 6$ and $\beta = 4$, we have that

$$ \|\phi^{\lambda}_{\alpha\beta} \|_{H^{2/3}} \leq \|\phi\|_{H^{2/3}} $$

and

$$ \|\partial_y\phi^{\lambda}_{\alpha\beta} \|_{L^2} \leq \|\partial_y \phi\|_{L^2} $$

and

$$ \|y\partial_x \phi^{\lambda}_{\alpha\beta} \|_{L^2} \searrow 0 $$

as $$\lambda\nearrow \infty $$

On the other hand, for $\gamma > 10$, we have that

$$ \| \phi^{\lambda}_{\alpha\beta} \|_{L^\gamma}^{\gamma} = \lambda^{\gamma - \alpha - \beta} \|\phi\|_{L^\gamma}^\gamma \nearrow \infty $$

Now you can do the usual trick of summing a bunch of these guys with disjoint support to show that the embedding in to $\gamma > 10$ is not possible.