{"id":"arxiv/2605.27119","url":"https://arxiv.org/abs/2605.27119","tags":["math.AP","math.CA","math.FA"],"score":0,"title":"A Counterexample to Kenig's Interpolation Problem for Sobolev Spaces with Zero Boundary Conditions","domain":"math.AP","source":"arxiv","authors":["Xiaosheng Lin","Dachun Yang","Sibei Yang","Wen Yuan","Yangyang Zhang"],"reviews":0,"subject":"math.AP","summary":"Let $n\\in \\mathbb N\\cap[2,\\infty)$. In this article, we show that there exists a bounded $C^1$ domain $Ω\\subset \\mathbb R^n$ such that, for any given $s\\in(1,2)\\setminus\\{\\frac32\\}$, \\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 $Ω$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}