The BMO-Dirichlet problem for elliptic systems in the upper half-space and quantitative characterizations of VMO (Q1625437)

The authors consider the BMO-Dirichlet problem for second-order homogeneous \(M\times M\) strongly elliptic systems with constant complex coefficients \[ \begin{cases} & u\in C^\infty(\mathbb R^n_+; \mathbb C^M),\\ &Lu=(\partial_r (a^{\alpha\beta}_{rs}\partial_s u_\beta ) )_{1\leq \alpha\leq M}=0,\\ &|\nabla u(x,t)|^2tdx'dt\quad \text{ is a Carleson measure in } \mathbb R^n_+,\\ &u\Big|_{\partial\mathbb R^n_+}^{\text{n.t.}}=f\quad \text{ a.e. in } \mathbb R^{n-1},\quad f\in (\mathbb R^{n-1}; \mathbb C^M). \end{cases} \] The authors show the well posedness of the problem in \(\mathbb R^n_+\) and the existence of a unique solution in the class of functions satisfying the Carleson measure condition, that is, the Littlewood-Paley measure \[ d_{\mu_u}(x,t)=|\nabla u(x,t)|^2tdx'dt \] is a Carleson measure in \(\mathbb R^n_+\) and \[ \sup_{Q\subset \mathbb R^{n-1}}\frac1{|Q|}\int_0^{l(Q)} \int_Q d_{\mu_u}(x,t) <\infty\,. \] The authors give a caracterisation of the \(\mathrm{BMO}(\mathbb R^{n-1})\) space through nontangential pointwise traces of smooth null-solutions to the system. They also establish a regularity result when the boundary data belong to VMO and to Morrey-Campanato spaces in \(\mathbb R^{n-1}.\) As a by-product, a caracterisation of the VMO spaces as the closure in BMO of suitable function classes is obtained.