Regularity for a Local-Nonlocal Transmission Problem

We formulate and study an elliptic transmission-like problem combining local and nonlocal elements. Let Rn be separated into two components by a smooth hypersurface Γ. On one side of Γ, a function satisfies a local second-order elliptic equation. On the other, it satisfies a nonlocal one of lower order. In addition, a nonlocal transmission condition is imposed across the interface Γ, which has a natural variational interpretation. We deduce the existence of solutions to the corresponding Dirichlet problem, and show that under mild assumptions they are Hölder continuous, following the method of De Giorgi. The principal difficulty stems from the lack of scale invariance near Γ, which we circumvent by deducing a special energy estimate which is uniform in the scaling parameter. We then turn to the question of optimal regularity and qualitative properties of solutions, and show that (in the case of constant coefficients and flat Γ) they satisfy a kind of transmission condition, where the ratio of “fractional conormal derivatives ” on the two sides of the interface is fixed. A perturbative argument is then given to sho