On the \(L^{p}\)-Poisson semigroup associated with elliptic systems (Q1681861)

The authors study the infinitesimal generator of the Poisson semigroup in \(L^p\) associated to homogeneous, second-order, strongly elliptic \(M\times M\) systems \[ \big(\partial_r(a^{\alpha\beta}_{rs}\partial_s u_\beta)\big)_{1\leq\alpha\leq M} \] with constant complex coefficients in the upper-half space \(\mathbb{R}^n_+=\{x=(x',x_n):\;x_n>0\}\). It is proved that the infinitesimal generator of the Poisson semigroup is a Dirichlet-to-normal map and its domain is identified as the linear subspace of the \(L^p\)-based Sobolev space of order one on the boundary of the upper-half space consisting of functions for which the regularity problem is solvable. The authors show that for a class of systems containing the Lamé system and all second-order, scalar elliptic operators with constant complex coefficients, the action of the infinitesimal generator can be explicitly described in terms of singular integral operators whose kernels involve first-order derivatives of the canonical fundamental solution of the given system/equation. Moreover, arbitrary powers of the infinitesimal generator of the Poisson semigroup are also described in terms of higher order Sobolev spaces and a higher order regularity problem for the system in question. The techniques considered could be adapted to treat higher order systems in graph Lipschitz domains.