Interior regularity for fractional systems (Q1755173): Difference between revisions

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 .\)