Skip to main content
2 of 2
added (besova-spaces) tag
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

"Reversion" of class $J(\theta)$ interpolation property for Besov spaces

In (function space) interpolation theory, a Banach space $E$ is of class $J(\theta)$ (for $0 < \theta < 1$) if $$X \cap Y \subseteq E \subseteq X+Y,$$ where $(X,Y)$ are Banach spaces and form an interpolation couple, and there exists a constant $C>0$ such that

$$\|x\|_E \leq C \|x\|_X^{1-\theta} \|x\|_Y^\theta \quad \text{for all}~x \in X\cap Y.$$

It is known that if $E$ is of class $J(\theta)$, then $(X,Y)_{\theta,1} \hookrightarrow E$, and every real or complex interpolation space of parameter $\theta$ is of class $J(\theta)$.


Now I am interested in a sort of reversion of this property in the case of Besov spaces $B^\theta_{p,1}(\Omega)$, where $X = L^p(\Omega)$ and $Y = W^{1,p}(\Omega)$ for $1 < p <\infty$ and $\Omega$ being either $\mathbb{R}^d$ or a bounded extension domain in the $L^p$- and $W^{1,p}$-sense. More specifically:

Question: Let $(f_n) \subset W^{1,p}(\Omega)$ be a sequence which converges to zero in $$(L^p(\Omega),W^{1,p}(\Omega))_{\theta,1} = B^\theta_{p,1}(\Omega).$$ Does this imply that $$\|f_n\|_{L^p(\Omega)}^{1-\theta}\|f_n\|_{W^{1,p}(\Omega)}^\theta \to 0 \quad \text{as}~n\to\infty~\text{?}$$


The motivation to study this question is from Corollary 2 in Chapter 1.4.7 in Maz'ja's Sobolev spaces where it is established that $$\|\operatorname{tr} f\|_{L^q(\partial\Omega)} \leq C \|f\|_{L^p(\Omega)}^{1-\theta}\|f\|_{W^{1,p}(\Omega)}^\theta \quad \text{for all}~f \in W^{1,p}(\Omega)$$ for suitable combinations of $p,q$ and $\theta$; $\operatorname{tr}$ being the trace operator.

I would like to use this inequality to extend the trace operator from $W^{1,p}(\Omega)$ to $B^\theta_{p,1}(\Omega)$ for which I need to show that the operator is closable there, i.e., if $(f_n) \subset W^{1,p}(\Omega)$ converges to zero in $B^\theta_{p,1}(\Omega)$ and $(\operatorname{tr} f_n)$ converges to some $g \in L^q(\partial \Omega)$, then already $g = 0$.

Due to the real and complex interpolation spaces of parameter $\theta$ between $L^p(\Omega)$ and $W^{1,p}(\Omega)$ being of class $J(\theta)$, the property to be shown would also imply that $(f_n) \to 0$ in such spaces; this however is in compliance with the property that $B^\theta_{p,1}(\Omega)$ already continuously embeds into all those.


I have tried, amongst other attempts, using the characterization of Besov spaces via an integrated weighted modulus of smoothness (see e.g. this related question) to show that difference quotients of $f_n$ and thus $\|\nabla f_n\|_{L^p(\Omega)}$ stays bounded, but this did not work and I think this claim is too strong (the argument would imply that every convergent sequence in the interpolation space on $\Omega$ also converges weakly in $W^{1,p}(\Omega)$, if I am not mistaken). In the expression to be shown to converge to zero, $\|f_n\|_{W^{1,p}(\Omega)}^\theta$ is allowed to be unbounded in general, because $(f_n)$ goes to 0 in $L^p(\Omega)$ in any case.

Please also note that the way I arrived at the question at hand might be sub-optimal in the sense that I know that the closedness-property of $\operatorname{tr}$ is sufficient for what I want to ultimately show, but might not be the weakest condition (it is only the weakest I could come up with..). It might thus be well possible that the question has a negative answer.

Hannes
  • 2.7k
  • 13
  • 20