2
$\begingroup$

I was wondering whether the following continuous embedding theorem for parabolic Sobolev space is correct?

Let $I=[0,T]$ and $\Omega$ be a sufficiently smooth domain in $\mathbb{R}^n$, we consider the space $$W=L^2(I;H^2(\Omega))\cap H^1(I;L^2(\Omega))=\{u\in L^2(I;H^2(\Omega))\mid u_t\in L^2(I;L^2(\Omega))\}. $$ Then is it possible to find some $r>2$, such that $W\hookrightarrow L^r(I;W^{1,r}(\Omega))$ continuously?

$\endgroup$

1 Answer 1

1
$\begingroup$

This should work according to the embedding $$W \hookrightarrow L^{\frac2{1-2s}}\bigl((L^2(\Omega),H^2(\Omega))_{\theta,1}\bigr)$$ where $0 < s < \frac12$ and $0 \leq \theta < 1-s$ as in Amann: Linear parabolic problems involving measures, Theorem 3.

To elaborate a bit more: By a relation between real and complex interpolation spaces, interpolation identitites for Bessel potential spaces and the supposed smoothness of $\Omega$, $$\bigl(L^2(\Omega),H^2(\Omega)\bigr)_{\theta,1} \hookrightarrow \bigl[L^2(\Omega),H^2(\Omega)\bigr]_\theta = H^{2\theta}(\Omega),$$ and $H^{2\theta}(\Omega) \hookrightarrow W^{1,r}(\Omega)$ where $2\theta - \frac{n}2 \geq 1-\frac{n}{r}$. (The standard textbooks by Triebel, there Thms. 1.10.3.1 and 4.3.1.2 and 4.6.2, and Bergh/Löfström contain this.) Now it remains to connect $r$ and the integrability $2/(1-2s)$ from the above embedding.

(My calculations gave that your desired embedding is correct for all $r \in [2,2+\frac4n)$ which corresponds to $s < \frac1{2+n}$ and $\theta = \frac12(ns+1)$, but of course you should double-check that..)

$\endgroup$
5
  • $\begingroup$ Thank you for pointing out the reference! I am not quite familiar with the interpolation space. May you kindly suggest a reference about the connection between $(L^2(\Omega),H^2(\Omega))_{\theta,1}$ and the classical Sobolev space? Wiki only states that for $s\in(k,k+1)$, $W^{s,p}(\Omega)=(W^{k,p}(\Omega),W^{k+1,p}(\Omega))_{\theta,p}$ for certain $\theta$. $\endgroup$
    – John
    Jun 27, 2019 at 0:53
  • $\begingroup$ @John I added some explanations, let me know if you need more. $\endgroup$
    – Hannes
    Jun 27, 2019 at 8:17
  • $\begingroup$ I found in Adams' book that $B^{2\theta}_{2,q}(\Omega)=(L^2(\Omega),W^{2}_{2}(\Omega))_{\theta,q}$ for $q\ge 1$. So essentially, the relation between real and complex interpolation spaces suggests that $B^{2\theta}_{2,1}(\Omega)\hookrightarrow H^{2\theta}(\Omega)$. Is it correct? $\endgroup$
    – John
    Jun 27, 2019 at 12:10
  • $\begingroup$ The above embedding is mentioned in Adams book for $\theta$ being an integer, i.e., $B^m_{p,1}(\Omega)\hookrightarrow W^m_{p}(\Omega)$, and the relation between real and complex interpolation spaces suggests it is true for arbitrary real $\theta\in (0,\infty)$. Is my understanding correct? $\endgroup$
    – John
    Jun 27, 2019 at 12:18
  • 1
    $\begingroup$ Yep, that's correct. (Watch out that $\theta \in (0,1)$ only though in the interpolation context! You'd need to replace $H^2$ by $H^k$ for $k$ large enough to get the embedding for all, also noninteger, smoothness parameters.) $\endgroup$
    – Hannes
    Jun 27, 2019 at 13:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.