Hölder regularity for bounded solutions to a class of anisotropic operators (Q1728393)

The authors consider the following class of anisotropic elliptic equations \[ \sum^{N-1}_{i=1}\frac{\partial}{\partial x_i} A_{q,i} (x, u, Du) + \frac{\partial}{\partial x_N} A_p(x, u, Du) =0\quad\text{in}\quad \Omega, \tag{1} \] with \(\Omega\subset \mathbb{R}^N\) a regular domain, \(p > q > 1\). The functions \(A_{q,i} (x, u, Du)\) and \(A_p(x, u, Du) : \Omega \times R^{N+1}\to R^N\) are assumed to be measurable and satisfying the structure conditions \[ \begin{cases} i) & \sum^{N-1}_{i=1} A_{q,i} (x, u, \eta ) \cdot \eta_i \ge C_0 | \eta' |^q, \\ ii) & A_p (x, u, \eta ) \cdot \eta_N \ge C_0 | \eta_N |^p, \\ iii) & \sum^{N-1}_{i=1} |A_{q,i} (x, u, \eta )| \le C_1 | \eta' |^{q-1}, \\ iv) & |A_p (x, u, \eta )| \le C_1 | \eta_N |^p, \end{cases}\tag{2} \] where \(C_0, C_1\) are positive constants and for any vector \(\eta = (\eta_1, \ldots , \eta_N )\) in \(\mathbb{R}^N\), \(\eta' = (\eta_1, \ldots , \eta_{N-1})\). The main result is the following theorem. Theorem 1.1. Let \(u(x)\) be a locally bounded weak solution to (1) and (2) with \(p > q > 1\), then \(u(x)\) is locally Hölder continuous. The proof of this theorem is based on a suitable space expansion of positivity.