Extension and trace for nonlocal operators

Abstract

We prove an optimal extension and trace theorem for Sobolev spaces of nonlocal operators. The extension is given by a suitable Poisson integral and solves the corresponding nonlocal Dirichlet problem. We give a Douglas-type formula for the quadratic form of the Poisson extension.

arXiv commentWe are now able to add the trace theorem and complete the picture