Local and nonlocal boundary conditions for \(\mu\)-transmission and fractional elliptic pseudodifferential operators (Q2513740): Difference between revisions

The interesting paper under review deals with \(\mu\)-transmission and fractional elliptic pseudodifferential operators. More precisely, a classical pseudodifferential operator \(P\) on \(\mathbb{R}^n\) satisfies the \(\mu\)-transmission condition relative to a smooth open subset \(\Omega\) when the symbol terms have a certain twisted parity on the normal to \(\partial\Omega.\) As shown recently by the author [Adv. Math. 268, 478--528 (2015; Zbl 1318.47064)], that condition ensures solvability for the Dirichlet boundary value problems for the operator \(P\) in full scales of Sobolev spaces with a singularity of the type \(d^{\mu-k}\) with \(d(x)= \text{dist} (x,\partial\Omega).\) Known examples include fractional Laplacians \((-\Delta)^a\) and complex powers of strongly elliptic PDE. The author introduces here new types of boundary conditions, especially of Neumann type, or, more generally, of nonlocal type. It is shown how problems with data on \(\mathbb{R}^n\setminus\Omega\) reduce to problems supported on \(\overline{\Omega}\) and how the so-called ``large'' solutions arise. Moreover, the results are extended to Triebel-Lizorkin and Besov spaces \(F^s_{p,q}\) and \(B^s_{p,q},\) including Hölder-Zygmund spaces \(B^s_{\infty,\infty}.\) This leads to optimal Hölder estimates for Dirichlet solutions of \((-\Delta)^au=f\in L^\infty(\Omega),\) \(u\in d^{a}C^a(\overline{\Omega})\) with \(a\in(0,1),\) \(a\neq 1/2.\)