A Counterexample to Kenig's Interpolation Problem for Sobolev Spaces with Zero Boundary Conditions

Abstract

Let $n\in \mathbb{N}\cap [2,\infty )$. In this article, we show that there exists a bounded $C^1$ domain $\hat{I}\text{c◯}\subset {\mathbb{R}}^n$ such that, for any given $s\in (1,2)\setminus \{\frac{3}{2}\}$, \begin{align*} \left[H_0^1(Ω),H^2(Ω)\cap H_0^1(Ω)\right]_{s-1} =H^s(Ω)\cap H_0^1(Ω)=H_0^s(Ω) \end{align*} with equivalent norms, but \begin{align*} \left[H_0^1(Ω),H^2(Ω)\cap H_0^1(Ω)\right]_{\frac12} \subsetneqq H^{\frac32}(Ω)\cap H_0^1(Ω), \end{align*} which provides a counterexample to Problem 3.3.19 of Kenig in [CBMS Regional Conf. Ser. in Math. 83, 1994]. As applications, we prove that for such a domain $\hat{I}\text{c◯}$ \begin{align*} H^2(Ω)\cap H_0^1(Ω)\subsetneqq D(-Δ_D) \end{align*} (the domain of the Dirichlet Laplacian operator $-\hat{I}{”}_D$ on $\hat{I}\text{c◯}$) and construct a solution of the homogeneous heat equation with zero Dirichlet boundary condition, which does not belong to $L^2((0,T);H^2(\hat{I}\text{c◯})\cap H_0^1(\hat{I}\text{c◯}))$ for any given $T\in (0,\infty )$.