Higher differentiability for the solutions of nonlinear elliptic systems with lower-order terms and \(L^{1,\theta}\)-data (Q2436012): Difference between revisions

The authors prove two theorems, each concerning the system \[ -D_iA_i^{\nu}(x,Du)+g^{\nu}(x,u,Du)=f^{\nu}, \] where \(\nu\in\{1,2,\dots,N\}\), and \(f^{\nu}\), for example, is the \(\nu\)-th component of the vector \(f\). It should also be noted that \(A\) is a matrix-valued function whose \((i,\nu)\)-th entry is denoted by \(A_i^{\nu}\), where \(i=1,\dots,n\) and \(\nu=1,\dots,N\). In any case, it is assumed that \(u\in W_0^{1,p}\left(\Omega,\mathbb{R}^{N}\right)\), \(g^{\nu}\;: \;\Omega\times\mathbb{R}^{N}\times\mathbb{R}^{nN}\rightarrow\mathbb{R}\) is a Carathéodory function, and \(f\in L^{1,\theta}\left(\Omega,\mathbb{R}^{N}\right)\). Thus, in particular, \(f\) possesses a degree of Morrey regularity. In the course of their investigations, the authors utilize the notion of a fractional Sobolev space. Under a variety of structural and growth assumptions, they prove, firstly, that \(Du\in L_{\text{loc}}^{p,\theta}\left(\Omega,\mathbb{R}^{nN}\right)\). Moreover, if the map \(A\) satisfies a Hölder continuity assumption, then the authors secondly prove that \(Du\in W_{\text{loc}}^{\frac{2t}{p},p}\left(\Omega,\mathbb{R}^{nN}\right)\) for every \(t\geq0\) sufficiently small.