# Domain of $(-\Delta)^\alpha$, $\alpha \in (0,1)$

Is there any simple way to characterize explicitly the domain of fractional powers for a given operator? For example, the domain of Dirichlet Laplacian on a bounded nice domain $$\Omega \subset \mathbb{R}^n$$: $$(-\Delta)^\alpha, \quad \alpha \in (0,1).$$ I know that there is a characterization using interpolation theory, so one can find $$H^{2\alpha}(\Omega)$$ or $$H^{2\alpha}_0(\Omega)$$. But I'm asking if there is a systematic and simple way to do that, so we can use it for more complicated operators, for example matrix valued operators.

Any reference which gives the proof of the above characterization or a related topic will be very helpful.

• I do not think there is a simple answer, but Chapter 6: Domains, Uniqueness and the Cauchy Problem in [Martínez, Sanz, The Theory of Fractional Powers of Operators, Elsevier, 2001] might be a good starting point. Jan 14, 2020 at 12:03
• Thank you! I will check it. Jan 14, 2020 at 12:17
• It depends a lot on the situation. For example, you can look at this paper sciencedirect.com/science/article/pii/S0022123618301046 where the operator consider is a delta-like perturbation of the Laplacian. Jan 14, 2020 at 13:21