Interior regularity for fractional systems (Q1755173)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interior regularity for fractional systems
scientific article

    Statements

    Interior regularity for fractional systems (English)
    0 references
    0 references
    0 references
    8 January 2019
    0 references
    The authors study the interior regularity of bounded weak or viscosity solutions of fractional systems of the form \[ -L_K u_i = f_i(x, u,B_K(u, u)),\quad x \in \Omega\,,\quad1 \leq i \leq m, \tag{2.2} \] where \(\Omega \subseteq \mathbb{R}^n\) is an open bounded set, \(f_i: \mathbb{R}^n\times \mathbb{R}^m\times \mathbb{R} \to \mathbb{R}\) is a bounded function and \(u = (u_1, \ldots, u_m)\) is a vector valued function. Given \(s \in (0, 1)\) and a real-valued function \(v\) our nonlocal operator \(L_K\) is given by \[ L_K(v) =\int\limits_{\mathbb{R}^n} (v(y) - v(x))K(y -x)\,dy, \] where the kernel \(K\) is assumed to be symmetric and to satisfy \[ (1 -s)\frac{\lambda}{|y|^{n+2s}} \leq K(y) \leq (1 -s) \frac{\Lambda}{|y|^{n+2s}}\,. \] Finally \(B_K\) stands for \[ B_K(u,w) = \frac{(1 -s)c_n}{2} \int\limits_{\mathbb{R}^n} (u(x) -u(y))\cdot (w(x) -w(y))K(y -x)\,dy. \] In order to obtain regularity for the solutions to (2.2), the authors suppose some growth conditions on the right hand side. \begin{itemize} \item[(H1.1)] \textit{Small \(2s\) growth}. There are constants \(a\) and \(b\) such that \[ |f (x,u(x),B(v(y), v(y)))| \leq a B(v(y), v(y)) +b \] for all smooth maps \(v : \mathbb{R}^n\to \mathbb{R}^m\) and \(x, y \in \Omega\) . \item[(H1.2)] There are constants \(a^\star\) and \(b^\star\) such that \[ u(x)\cdot f (x,u(x),B(v(y), v(y))) \leq a^\star B(v(y), v(y)) + b^\star. \] \item[(H2)] An \(L^\infty\) estimate on the solution, namely \(\|u \|_{L^\infty(\Omega )} \leq M\). \end{itemize} The main result of this article is the following theorem. Theorem 2.4. Let \(u\) be a weak or viscosity solution to (2.2) and assume that hypotheses (H1.1), (H1.2) and (H2) hold. Assume further that the structural condition \(aM + a^\star< 2\) holds. Then there exists \(\alpha\) depending only on \(\lambda, \Lambda\) and the dimension \(n\) such that \(u \in C^\alpha(\Omega'; \mathbb{R}^m)\) where \(\Omega'\) is any open set such that \(\bar{\Omega}'\subset \Omega .\)
    0 references
    0 references
    fractional elliptic systems
    0 references
    a priori estimates
    0 references

    Identifiers