1
$\begingroup$

Let $(H, \|\cdot\|)$ be a Hilbert space, $A \colon D(A)\subset H \longrightarrow H$ generates an analytic semigroup $T(t)$ on $H$. We define the following Banach space with the respect norm $$F=\{x\in H : \int_0^{+\infty} \|AT(t)x\|^2 dt <\infty\},$$ $$\|x\|_F =\|x\|+ \left(\int_0^{+\infty} \|AT(t)x\|^2 dt\right)^{1/2}.$$

If we consider $H=L^2(\Omega)$ and $D(A)=H^2(\Omega)\cap H_0^1(\Omega)$ ($\Delta$ for example). Is there any relation between the space $F$ and Besov spaces, or can we prouve the interpolation $F=(H,D(A))_{1/2,2}=H_0^1(\Omega)$ ?

Thank you for any help.

$\endgroup$
1
$\begingroup$

Yes, your identities are correct. Theorem 1.14.5 in Triebel's book [T] says that $$F = (H,D(A))_{1/2,2},$$ and $(1/2,2)$-real interpolation spaces between Hilbert spaces are in fact exactly the $1/2$-complex interpolation spaces, so $$(H,D(A))_{1/2,2} = [H,D(A)]_{1/2}$$ as proven for example in [P]. If the operator $A$ now admits bounded imaginary powers, then you have $$[H,D(A)]_{1/2} = D(A^{1/2}),$$ see e.g. [T, Theorem 1.15.3]. The latter is indeed known for the Laplacian and there you will also indeed have $D(A^{1/2}) = H^1_0(\Omega)$. See also this related question.


[T] Triebel, Hans, Interpolation theory, function spaces, differential operators. Leipzig: Barth. 532 p. (1995). ZBL0830.46028.

[P] Peetre, Jaak, Sur la transformation de Fourier des fonctions à valeurs vectorielles. Rendiconti del Seminario Matematico della Università di Padova, Volume 42 (1969), p. 15-26

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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