Extension and trace for nonlocal operators

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.