1
$\begingroup$

Let $\Omega$ be an open set in $R^n$, and $f \in L^1_{loc}(\Omega)$, such that for each multiindex $\alpha\in N^n$, $|\alpha| = l$ f has weak derivative $D^\alpha f$ in $L^p(\Omega)$, with $1\leq p\leq \infty$.

In general it is not true that $f\in L^p(\Omega)$, but it has to be true that $f\in L^p_{loc}(\Omega)$. How can this be shown?

$\endgroup$
1
  • $\begingroup$ @Leonid: The Poincaré inequality presupposes that $f\in W^{1,p}\subset L^p$. Here we don't know that, hence it seems a bit harder. I suspect, though, that an approximation argument using convolution with a mollifier and using Poincaré for each approximand will resolve it. $\endgroup$ Commented Apr 4, 2010 at 22:30

3 Answers 3

1
$\begingroup$

(Original answer edited to make it shorter)

It suffices to show this for $l = 1$. It also suffices to show that $f$ is locally in $L_q$ for some $q \ge p$. But this follows immediately by the Sobolev inequality.

$\endgroup$
1
$\begingroup$

Actually more is true. It suffices to assume that $f$ is a distribution on $\Omega\subset\mathbb{R}^n$ such that all its distributional derivatives of order $l$ are in $L^p(\Omega)$. Then $f\in L^p_\mathrm{loc}(\Omega)$. A proof based on convolution and the fundamental solution of the polyharmonic operator can be found in the Theorem of Section 1.1.2 in the following book:

Vladimir G. Maz'ja, Sobolev spaces. Translated from the Russian by T. O. Shaposhnikova. Springer Series in Soviet Mathematics. Springer-Verlag, Berlin, 1985. ISBN: 3-540-13589-8

$\endgroup$
-1
$\begingroup$

Nicolo, I'm not entirely sure if I understand your question but I will attempt an answer. What you're saying seems to be trivial actually. Just take any constant function $f=C$. Then $f \in L_{loc}^1(\Omega)$ and $f$ has a weak derivative lying in every $L^p(\Omega)$. Moreover $f \notin L^p(\Omega)$ but $f \in L_{loc}^p(\Omega)$ for all $p \in [1,\infty]$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .