Skip to main content
3 of 6
added 61 characters in body
Yun K
  • 81
  • 9

On the embedding of a function space $X$ into $L^2\cap L^4$

It is well-known that if $\Omega\in \mathbb{R}^n$ is a bounded domain, then we have the embedding $$ L^4({\Omega})\subset L^2({\Omega}) $$ since $||f||_{L^2(\Omega)}\leq C(\Omega) ||f||_{L^4(\Omega)}$ by Holider's inequality. However, the above inequality no longer holds when $\Omega$ is unbounded.

Now, for general domain $\Omega$, let us consider the set $\mathcal{F}=\{f:\Omega\to\mathbb{R}:||f||_{L^2(\Omega)}\leq C||f||_{L^4(\Omega)}\leq M\}$, and $C,M$ are universal constants independent of $f$. I am wondering if there exists a function space $X$ such that $X\subset\mathcal{F}$, where $X$ contains functions with non-compact support? It is okay to assume $f$ is smooth.

Yun K
  • 81
  • 9