Finding an optimal $p$ such that $u \in L^p$ 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. 
 A: 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.
A: 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. 
