Harmonic extension technique for non-symmetric operators with completely monotone kernels
Mateusz Kwaśnicki · Calculus of Variations and Partial Differential Equations · 2022
Abstract We identify a class of non-local integro-differential operators $$K$$ K in $$\mathbb {R}$$ R with Dirichlet-to-Neumann maps in the half-plane $$\mathbb {R}\times (0, \infty )$$ R × ( 0 , ∞ ) for appropriate elliptic operators $$L$$ L . More precisely, we prove a bijective correspondence between Lévy operators $$K$$ K with non-local kernels of the form $$ u (y - x)$$ ν ( y - x ) , where $$ u (x)$$ ν ( x ) and $$ u (-x)$$ ν ( - x ) are completely monotone functions on $$(0, \infty )$$ ( 0 , ∞ ) , and elliptic operators $$L= a(y) \partial _{xx} + 2 b(y) \partial _{x y} + \partial _{yy}$$ L = a ( y ) ∂ xx + 2 b ( y ) ∂ xy + ∂ yy . This extends a number of previous results in the area, where symmetric operators have been studied: the classical identification of the Dirichlet-to-Neumann operator for the Laplace operator in $$\mathbb {R}\times (0, \infty )$$ R × ( 0 , ∞ ) with $$-\sqrt{-\partial _{xx}}$$ - - ∂ xx , the square root of one-dimensional Laplace operator; the Caffarelli–Silvestre identification of the Dirichlet-to-Neumann operator for $$ abla \cdot (y^{1 - \alpha } abla )$$ ∇ · ( y 1 - α ∇ ) with $$(-\partial _{xx})^{\alpha /2}$$ ( - ∂ xx ) α / 2 for $$\alpha \in (0, 2)$$ α ∈ ( 0 , 2 ) ; and the identification of Dirichlet-to-Neumann maps for operators $$a(y) \partial _{xx} + \partial _{yy}$$ a ( y ) ∂ xx