## SECOND ORDER REGULARITY FOR SOLUTIONS TO ANISOTROPIC DEGENERATE ELLIPTIC EQUATIONS

DANIEL BARATTA , LUIGI MUGLIA ∗ ∗ AND DOMENICO VUONO ∗

Abstract. We consider solutions to degenerate anisotropic elliptic equations in order to study their regularity. In particular we establish second-order estimates and enclose regularity results for the stress field. All our results are new even in the euclidean case.

## 1. Introduction

The goal of this paper is to investigate the second order regularity properties of solutions of degenerate elliptic problems in a possibly anisotropic medium.

Let Ω ⊂ R n be a domain and, for some α ∈ (0 1), let , A ∈ C 1 ,α loc (0 + , ∞ ) and H ∈ C 2 ,α loc ( R n \{ } 0 ) be representing a Finsler norm (see Section 2 for details). Let us consider a source term f satisfying

$$\overbrace { \infty } ^ { < } ( H _ { f } ) \text{ \ the source term } f \in W ^ { 1, \frac { N } { N - \gamma - s } } _ { l o c } ( \Omega ) \cap C ^ { 0, \alpha } _ { l o c } ( \Omega ) \text{ where } s \in ( 0, N - \gamma ) \text{ and } \gamma < N - 2 \text{ if } N > 2 \\ \text{ and } \gamma = 0 \text{ if } N = 2. \text{ If } \gamma = 0, \text{ we consider } f \in W ^ { 1, 1 } _ { l o c } ( \Omega ) \cap C ^ { 0, \alpha } _ { l o c } ( \Omega ).$$

We are interested in the second order regularity of solutions to

$$- \text{div} ( A ( H ( \nabla u ) ) H ( \nabla u ) \nabla H ( \nabla u ) ) = f ( x ), \quad \text{in } \Omega.$$

In the isotropic case, i.e., when H is the classical Euclidean norm H ξ ( ) = | ξ | , our equation reduces to the well known degenerate equation based on the Uhlenbeck structure,

$$- \text{div} ( A ( | \nabla u | ) \nabla u ) = f ( x ), \quad \text{in } \Omega,$$

where

$$- 1 < \inf _ { t > 0 } \frac { t A ^ { \prime } ( t ) } { A ( t ) } \coloneqq m _ { A } \leq M _ { A } \coloneqq \sup _ { t > 0 } \frac { t A ^ { \prime } ( t ) } { A ( t ) } < + \infty. \quad _ { - }.$$

By choosing A t ( ) = t p -2 ( p &gt; 1), (1.2) encompasses the inhomogeneous p -Laplace equation

$$- \Delta _ { p } u \coloneqq - \text{div} ( | \nabla u | ^ { p - 2 } \nabla u ) = f ( x ), \quad \text{in } \Omega.$$

As a result, we immediately recognize that problem (1.1) reduces to the Finsler p -Laplacian problem

$$\bar { \text{er} } ^ { \bullet } & \frac { - \Delta _ { p } ^ { H } u \coloneqq - \text{div} ( H ( \nabla u ) ^ { p - 1 } \nabla H ( \nabla u ) ) = f ( x ), \quad \text{in } \Omega, \quad \text{(1.4)} \\ \text{er} \ A ( t ) = t ^ { p - 2 } \ ( p > 1 ).$$

whenever A t ( ) = t p -( p &gt; 1).

Recalling that for the p -Laplace equation, solutions are understood in a weak meaning, it is unsurprising that a similar meaning must be applied to solutions of (1.1). To properly define weak solutions to (1.1), we refer the reader to Section 2 .

The Calder´ on-Zygmund theory in the quasilinear context is a complex and challenging subject, as discussed in [4, 5, 10, 16, 20, 25, 26, 27, 28, 33, 36, 37]. Recent significant results are presented in [21, 22, 23].

Date : March 26, 2025.

2020 Mathematics Subject Classification. 35J70, 35B65.

Key words and phrases. Anisotropic Elliptic Equations, Second-order estimates, Regularity.

To the best of our knowledge, second-order regularity for equations with Uhlenbeck structure is not completely understood including the case of problem (1.1).

By standard regularity results (see [18, 24, 30, 32, 34, 35, 42]) weak solutions to equation (1.1) belong to C 1 ,α loc (Ω) ∩ C 2 (Ω \ Z u ) where Z u denotes the set where the gradient vanishes.

In particular, W 1 ,p (Ω) ∩ L ∞ (Ω) can be chosen as a natural space for the existence of solutions under a suitable set of assumptions. Within this setting Cozzi et al. in [18] proved that u ∈ C 1 ,α (Ω) ∩ C 3 ( {|∇ u | = 0 ). }

/negationslash

Subsequently, Castorina, Riey and Sciunzi [9] proved that if u ∈ C 1 (Ω) is a weak solution of (1.1) then

- · if p ∈ (1 3), , u ∈ W 2 2 , (Ω);
- · if p ≥ 3 and f is positive then u ∈ W 2 ,q (Ω) where q &lt; p -1 p -2 .

This holds under assumptions similar to those in [18] but defining and working on the linearized problem .

The hypothesis u ∈ C 1 (Ω) is justified by assuming that Ω is smooth, which allows for the application of Lieberman's results in [34].

In [2], the authors proved that the stress field H ( ∇ u ) p -1 ∇ H ( ∇ u ) ∈ W 1 2 , loc (Ω) if u ∈ W 1 ,p loc (Ω) is a weak solution of (1.4) and f ∈ L q (Ω) for a suitable choice of q .

loc For p ∈ (1 2) and , f ∈ L r loc (Ω) ( r &gt; n ) , 1 they obtain additional regularity, namely u ∈ W 2 2 , loc (Ω) ∩ C 1 ,β loc (Ω). Furthermore, for any p &gt; 1, u ∈ W 2 2 , loc ( {∇ | /negationslash u = 0 ) } ∩ C 1 ,β loc (Ω).

Global second-order estimates for anisotropic problems, within the Uhlenbeck structure have been obtained in very recent result due to Antonini, Cianchi, Ciraolo, Farina and Maz'ya [3]. This paper focuses on an L 2 -second-order regularity theory for solutions to (1.1) which can be stated as

$$f \in L ^ { 2 } \iff A ( H ( \nabla u ) ) H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } ( \Omega ).$$

under minimal assumptions on the regularity of ∂ Ω and on H .

We also mention that fine results regarding the Sobolev regularity of the stress field can be found in [6, 7, 15, 38, 39, 40, 41].

In this paper, taking into account all the aforementioned results, we adopt an Orlicz-Sobolev space defined by the function A ( ) · as a natural setting for solutions to (1.1). This approach has been extensively used in [12, 13, 14]. We then prove that if additional regularity is imposed on f , further regularity results can be obtained for the solution.

Theorem 1.1. Let u be a weak solution to (1.1) , where f satisfies ( H f ) . Suppose inf t ∈ [0 ,M ] A t ( ) = 0 .

Then

- · if M &lt; , 1 it holds

$$\bullet \text{ if } M _ { A } < 1, \text{ it holds } & & & \\ & \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots.$$

- · If M A ≥ 1 and if we assume that

$$f \geq \tau > 0 \ \ a. e. \ i n \ \Omega.$$

it holds

$$u \in W _ { l o c } ^ { 2, q } ( \Omega ),$$

$$w i t h \, q < \frac { M _ { A } + 1 } { M _ { A } }.$$

1 This result is a special case of a more general one involving a source term f that satisfies weaker integrability conditions.

If inf t ∈ [0 ,M ] A t ( ) &gt; 0 , then (1.5) holds without further assumptions on M A .

Remark 1.2. Notice that our results broaden those obtained in [11, 29] in the isotropic case. Indeed, one can easily observe that, compared to [11, 29] , we do not impose any additional polynomial constraint on the function A (see [11] -(1.3-1.4)-and [29] -(1.4-1.5)). Our results depend only on the properties of A itself.

The reader may note that, as highlighted in [14, Remark 2.7] (see [14, Remark 2.6] for sake of completeness) if f ∈ L n, 1 and inf t A t ( ) &gt; 0 then u ∈ W 2 2 , loc (Ω); we cover this result, for our source term (see Remark 4.2).

Here we investigate the complementary case inf t A t ( ) = 0, mainly linking the regularity of the solution to the value M A . As a rule, for equation (1.4), M A = m A = p -2, we deduce that u ∈ W 2 2 , loc for p ∈ [2 , 3) under our hypothesis on f (recall [2]).

Our second result concerns the regularity of the families of stress fields A H ( ( ∇ u )) β H ( ∇ u ) ∇ H ( ∇ u )-like. This result, once again, depends only on m A and M A .

Theorem 1.3. Let u be a weak solution to (1.1) , where f satisfies ( H ) .

f Then

- · If 0 &lt; m A &lt; M , A then

$$\cdot \quad \cdot \quad & A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega, \mathbb { R } ^ { N } ), \\ k > 1 + \frac { m _ { A } } { 2 } - \frac { m _ { A } } { 2 M _ { A } }.$$

$$f o r \ a n y \, k > 1 + \frac { m _ { A } } { 2 } - \frac { m _ { A } } { 2 M _ { A } }.$$

- · If m A &lt; M A &lt; , 0 then

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } ),$$

$$f o r \ a n y \, k > \frac { 1 } { 2 } + \frac { m _ { A } } { 2 }.$$

- · If m A &lt; 0 &lt; M , A then

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { M _ { A } } } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } ),$$

$$& \text{for any $k\in\left(\frac{1}{2}+\frac{M_{A}}{2},1+\frac{M_{A}}{2}-\frac{M_{A}}{2m_{A}}\right)$.} \\ & \text{for any $k\in\cdot=\complement\mathcal{ }M\cdot\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{ }\mathcal{                                                                                                                                                                                                        
                                                                                                                                                                                                        }
                                                                                                                                                                                                      

\text{                                                                                                                                                                                                      
\text{                                                                                                                                                                                                   
\text{ } & \text{for any $k\in\left(\frac{1}{2}+\frac{M_{A}_{A}}}{2},1+\frac{M_{A}_{A}}\right)$.}$$

- · If m A = 0 and M &gt; , A 0 then

$$A ( H ( \nabla u ) ) ^ { k - 1 } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega, \mathbb { R } ^ { N } ),$$

$$f o r \ a n y \, k > \frac { 3 } { 2 } - \frac { 1 } { 2 M _ { A } }.$$

- · If m A &lt; 0 and M A = 0 , then

$$A ( H ( \nabla u ) ) ^ { k - 1 } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } ),$$

$$f o r \ a n y \, k < \frac { 3 } { 2 } - \frac { 1 } { 2 m \, \lambda }.$$

$$\ n y \, k < \frac { 3 } { 2 } - \frac { 1 } { 2 m _ { A } }.$$

Of course, appropriate choices for k recover the optimal results due to Antonini et al. [3]

$$A ( H ( \nabla u ) ) H ( \nabla u ) \nabla H ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega ).$$

Concluding the introduction, let us highlight that the study of anisotropic operators is of significant interest for two main reasons. The first concerns the pure mathematics and the richer geometric

structure that the anisotropy induces. The second relies applications, from the computer vision to the continuum mechanics, particularly in scenarios where materials exhibit distinct behaviors depending on directionality, often due to the crystalline microstructure of the medium. We refer to [8, 9, 17, 18] for complete details and references.

The paper is organized as follows. In the next section we introduce the notation, preliminaries and a brief introduction to Orlicz-Sobolev spaces, to clarify the meaning of weak solution for (1.1). In Section 3 we establish summability properties for the second derivative which are fundamental for our results. In the same Section we prove Theorem 1.3 by means of Propositions. In the Section 4 we get summability properties for the weight A H ( ( ∇ u )) -1 with respect to a kernel | x - | y -γ . This is a powerful tool for proving the second statement of Theorem 1.1 and plays a key role in establishing weighted Sobolev inequalities (see [19]). The proof of Theorem 1.1 concludes the paper.

## 2. Notation and preliminaries

Generic numerical constants will be denoted by C (with subscript in some case) and they will be allowed to vary within a single line or formula. The Lebesgue measure of a measurable set K will be denoted by | K | .

In what follows, we will assume standard hypotheses on the functions involved in our problem (see [12, 13, 14]).

The function A : (0 + , ∞ → ) (0 + , ∞ ) is of class C 1 ,α loc ((0 , + ∞ )) and fulfills the following:

$$- 1 < \inf _ { t > 0 } \frac { t A ^ { \prime } ( t ) } { A ( t ) } \coloneqq m _ { A } \leq M _ { A } \coloneqq \sup _ { t > 0 } \frac { t A ^ { \prime } ( t ) } { A ( t ) } < + \infty.$$

We recall that above assumption gives us that (see [13, Proposition 4 1]) .

$$A ( 1 ) \min \{ t ^ { m _ { A } }, t ^ { M _ { A } } \} \leq A ( t ) \leq A ( 1 ) \max \{ t ^ { m _ { A } }, t ^ { M _ { A } } \} \quad \text{ for } t > 0,$$

holds.

Moreover, since m A &gt; -1 there exists σ ∈ [0 , 1) such that m A + σ &gt; 0 and

$$t ^ { \sigma } A ( t ) \to 0, \quad \text{as } t \to 0.$$

The function H will be used to indicate the well-known Finsler norm; by definition, H satisfies

- (i) H is a norm of class C 2 ,α loc ( R N \ { 0 ); }

/negationslash

- (ii) H is uniformly elliptic, that is, the set B H 1 := { ξ ∈ R N : H ξ ( ) &lt; 1 } is uniformly convex , i.e., all the principal curvatures of its boundary are bounded away from zero. This is equivalent to say that there exists λ &gt; 0 such that, for all ξ = 0 and η ∈ R N ,

$$\langle D ^ { 2 } H ^ { 2 } ( \xi ) \eta, \eta \rangle \geq \lambda | \eta | ^ { 2 }$$

Remark 2.1. Next we summarize some useful properties of the function H proved in [17, 18] .

- · H is a norm equivalent to the Euclidean one, i.e. there exist c 1 , c 2 &gt; 0 such that:

$$c _ { 1 } | \xi | \leq H ( \xi ) \leq c _ { 2 } | \xi |, \quad \forall \, \xi \in \mathbb { R } ^ { N }.$$

- · H is 1-homogeneous, hence, by the Euler Theorem it follows

$$\langle \nabla H ( \xi ), \xi \rangle = H ( \xi ), \quad \forall \, \xi \in \mathbb { R } ^ { N } \, \sum \{ 0 \}.$$

Moreover

$$\nabla H ( t \xi ) = s i g n ( t ) \nabla H ( \xi ), \quad \forall \, \xi \in \mathbb { R } ^ { N } \, \sum \{ 0 \}, \, \forall t \neq 0.$$

/negationslash

By the previous equality, we infer that there exists K &gt; 1 0 such that

$$| \nabla H ( \xi ) | \leq K _ { 1 }, \quad \forall \xi \in \mathbb { R } ^ { N } \, \smallsetminus \{ 0 \}.$$

- · Since H 2 is 2-homogeneous there exists Λ &gt; 0 such that

$$\langle D ^ { 2 } H ^ { 2 } ( \xi ) \eta, \eta \rangle \leq \Lambda _ { 2 } | \eta | ^ { 2 }$$

for ξ = 0 and η ∈ R N .

/negationslash

- · Since D H 2 is a ( -1) -homogeneous function we have

/negationslash

$$D ^ { 2 } H ( t \xi ) = \frac { 1 } { | t | } D ^ { 2 } H ( \xi ) \quad \forall \, \xi \in \mathbb { R } ^ { N } \, \sum \{ 0 \}, \, \forall t \neq 0.$$

It immediately implies that there exists K &gt; 2 0 such that

$$| D ^ { 2 } H ( \xi ) | \leq \frac { K _ { 2 } } { | \xi | }, \quad \forall \xi \in \mathbb { R } ^ { N } \, \sum \{ 0 \},$$

where | · | denotes the usual Euclidean norm of a matrix, and

$$D ^ { 2 } H ( \xi ) \xi = 0, \quad \forall \, \xi \in \mathbb { R } ^ { N } \, \sum \{ 0 \}.$$

- · Assumption (ii) is equivalent to state:

$$\exists \Lambda > 0 \, \colon \langle D ^ { 2 } H ( \xi ) v, v \rangle \geq \Lambda | \xi | ^ { - 1 } | v | ^ { 2 } \quad \forall \xi \in \mathbb { R } ^ { N } \, \sum \, \{ 0 \}, \ \forall v \in \nabla H ( \xi ) ^ { \perp }. \quad \ ( 2. 1 9 )$$

Next Lemma will be useful later.

Lemma 2.2. For any v, w ∈ R N and for any ξ ∈ R N \ { 0 } , there exist two constants ˜ C,C &gt; ¯ 0 such that:

$$\left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle ^ { 2 } + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, v \rangle \geq \tilde { C } A ( H ( \xi ) ) | v | ^ { 2 } \quad ( 2. 2 0 )$$

$$\left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle \langle \nabla H ( \xi ), w \rangle & + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, w \rangle \\ & \leq \bar { C } A ( H ( \xi ) ) | v | | w |$$

where ˜ = C ˜ ( C c , m 1 A , Λ) and ¯ = C ¯ ( C c , K , K , M 2 1 2 A ) .

Proof. Let ξ ∈ R N \ { 0 . } By (2.13), we deduce that R N = Span ξ, { ∇ H ξ ( ) ⊥ } . Now we consider v = αξ + η, with α ∈ R and η ∈ ∇ H ξ ( ) ⊥ . By (2.8), (2.13), (2.18), (2.19), since D H 2 is a symmetric matrix we get:

H ξ , v

$$\cdots \circ \cdots \\ \cdots \circ \cdots \\ & \quad \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle ^ { 2 } + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, v \rangle \\ = \quad \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] ( \alpha \langle \nabla H ( \xi ), \xi \rangle ) ^ { 2 } + \alpha H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, \xi \rangle \\ & \quad + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, \eta \rangle \\ = \quad \lceil A ( H ( \xi ) \cup + H ( \xi ) \, \Lambda ^ { \prime } ( H ( \xi ) \cup \Lambda ^ { 2 } H ^ { 2 } ( \xi \, \cdots \, + \, \alpha H ( \xi ) \, \Lambda ( H ( \xi ) \, \cup \, D ^ { 2 } H ( \xi \, \cdots \, n \, \, \xi \, \cdots$$

(

)

〉

2

+

H ξ A H ξ

(

)

(

(

))

〈

D H ξ v,v

2

(

)

〉

- = [ A H ξ ( ( )) + H ξ A ( ) ′ ( H ξ ( )) ] α H 2 2 ( ξ ) + αH ξ A H ξ ( ) ( ( )) 〈 D H ξ η,ξ 2 ( ) 〉 + H ξ A H ξ ( ) ( ( )) 〈 D H ξ η,η 2 ( ) 〉
- = [ A H ξ ( ( )) + H ξ A ( ) ′ ( H ξ ( )) ] α H 2 2 ( ξ ) + H ξ A H ξ ( ) ( ( )) 〈 D H ξ η,η 2 ( ) 〉 ≥ A H ξ ( ( )) + H ξ A ( ) ′ ( H ξ ( )) α H 2 2 ( ξ ) + Λ H ξ A H ξ ( ) ( ( )) | ξ | -1 | η | 2 =
- ≥ α 2 ( m A +1) A H ξ ( ( )) H 2 ( ξ ) + Λ H ξ A H ξ ( ) ( ( )) | ξ | -1 | η | 2
- [ ] = α A H ξ 2 ( ( )) [ 1 + H ξ A ( ) ′ ( H ξ ( )) A H ξ ( ( )) ] H 2 ( ξ ) + Λ H ξ A H ξ ( ) ( ( )) | ξ | -1 | η | 2

We now consider two cases: if 2 | αξ | ≤ | v | ,

$$| \eta | ^ { 2 } = | v - \alpha \xi | ^ { 2 } \geq ( | v | - | \alpha \xi | ) ^ { 2 } \geq \frac { | v | ^ { 2 } } { 4 }.$$

Therefore, by (2.23) and (2.12) we have that

$$1 \text{nerefore, by (2.2s) and (2.1.2) we have tnat} \\ & \quad \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle ^ { 2 } + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, v \rangle \\ & \geq \ \Lambda H ( \xi ) A ( H ( \xi ) ) | \xi | ^ { - 1 } | \eta | ^ { 2 } \geq \Lambda H ( \xi ) A ( H ( \xi ) ) | \xi | ^ { - 1 } \frac { | v | ^ { 2 } } { 4 } \geq c _ { 1 } \Lambda A ( H ( \xi ) ) \frac { | v | ^ { 2 } } { 4 } \\ & = \ \tilde { C _ { 1 } } A ( H ( \xi ) ) | v | ^ { 2 }, \\ \text{where } \tilde { C _ { 1 } } \coloneqq \frac { c _ { 1 } \Lambda } { 4 } > 0.$$

where ˜ C 1 := 1 4 0

On the contrary, if 2 | αξ | &gt; v | | :

$$& \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle ^ { 2 } + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, v \rangle \\ \geq \ \alpha ^ { 2 } c _ { 1 } ( m _ { A } + 1 ) A ( H ( \xi ) ) | \xi | ^ { 2 } \geq \tilde { C } _ { 2 } A ( H ( \xi ) ) | v | ^ { 2 },$$

$$\text{where } \tilde { C } _ { 2 } \coloneqq \frac { c _ { 1 } ( m _ { A } + 1 ) } { 4 } > 0.$$

Choosing ˜ = min C { ˜ C , C 1 ˜ 2 } , we have (2.20).

Let us now prove (2.21). By (2.8), (2.12), (2.15) and (2.17) we get

$$\infty \, \omega \, \ u v \, \ p \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ vv \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v v \, \ v } \\ & \quad \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle \langle \nabla H ( \xi ), w \rangle + H ( \xi ) A ( H ( \xi ) ) | D ^ { 2 } H ( \xi ) | | v | | w | \\ & \leq K _ { 1 } ^ { 2 } \left ( 1 + | M _ { A } | \right ) A ( H ( \xi ) ) | v | | w | + K _ { 2 } c _ { 2 } A ( H ( \xi ) ) | v | | w | \\ & = \colon \bar { C } ( c _ { 2 }, K _ { 1 }, K _ { 2 }, M _ { A } ) A ( H ( \xi ) ) | v | | w |, \\ \cdot \quad \bar { \sim } \, \cdot \, \bar { \sim } \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdots \, \end{cases}$$

where ¯ ( C c , K , K , M 2 1 2 A ) &gt; 0. This completes the proof.

/square

- 2.1. Weak solution of our problem. We conclude this section by recalling the concept of weak solution for our main problem (1.1). Following [12, Section 2.2] and assuming (2.8) for A , it can be verified that the function

$$\mathcal { A } ( t ) & \coloneqq \int _ { 0 } ^ { t } A ( s ) s \, d s \\ \text{s convex and } A ( 0 ) & = 0 \} \text{ and }$$

is a Young function (i.e. it is convex and A (0) = 0) and

$$& \inf _ { t > 0 } \left ( 1 + \frac { t A ^ { \prime } ( t ) } { A ( t ) } \right ) > 0, \\ \nabla \quad \dots \, x \colon \dots \colon \colon \colon \colon \colon \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \colon \dots \end{array}$$

that is equivalent to the so-called ∇ 2 -condition in the theory of Young functions (see [3]). By [12, Proposition 2.9], under the assumption (2.8) for A ,

- · A ∈ ∆ (i.e. 2 A (2 ) t ≤ C A ( ) whenever t t &gt; 0).
- · A ∈ ˜ ∆ , where 2 ˜ ( A t ) := sup( s ≥ 0 st -A ( s )).
- · A is a N -function (i.e. A ( ) t /t is a null function as t → 0 and it goes to + ∞ , as t → + ∞ ).

For a such function A and Ω a domain in R N , following, [12], let us define

$$W ^ { 1, \mathcal { A } } ( \Omega ) = \{ u \in L ^ { \mathcal { A } } ( \Omega ) \, \colon u \text{ is weakly-differentiable and } | \nabla u | \in L ^ { \mathcal { A } } ( \Omega ) \} \quad \text{ (2.28)}$$

where L A (Ω) is the Banach space of the real-valued measurable functions on Ω such that the Luxemburg norm

$$\| u \| _ { \mathcal { A } } = \inf \left \{ \mu > 0 \, \colon \int _ { \Omega } \mathcal { A } \left ( \frac { | u ( x ) | } { \mu } \right ) \, d x \leq 1 \right \} < \infty. \\ \mathcal { A } \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \quad \dots \end{matrix}$$

The space W 1 , A 0 (Ω) is defined as the closure of C ∞ c (Ω) in W 1 , A (Ω); the space W 1 , A loc (Ω) is defined accordingly.

The next proposition summarizes some density results about W 1 , A (Ω) (see [1, Theorem 8.28] and [12, Theorem 2.1]).

Proposition 2.3. Let A be defined in (2.27) under our assumptions on A . Then

- · W 1 , A (Ω) is reflexive.
- · C ∞ (Ω) ∩ W 1 , A (Ω) is dense in W 1 , A (Ω)

.

- · The space C ∞ c ( R N ) is dense in W 1 , A ( R N ) .
- · If Ω ′ is bounded and it has a Lipschitz boundary, C ∞ (Ω ) ′ is dense in W 1 , A (Ω ) ′ .

Definition 2.4. Let Ω ⊂ R n be a domain and f satisfying ( H f ) . A weak solution of (1.1) is a function u ∈ W 1 , A loc (Ω) such that it holds for every ψ ∈ C ∞ c (Ω) .

$$\int _ { \Omega } A ( H ( \nabla u ) ) H ( \nabla u ) \langle \nabla H ( \nabla u ), \nabla \psi \rangle \, d x = \int _ { \Omega } f \psi \, d x,$$

By density arguments, we can test our problem against ψ ∈ W 1 , A 0 (Ω ) ′ , for any subset Ω ′ ⊂⊂ Ω .

## 3. Local regularity

In this section, we establish a result regarding the integrability of the second derivative of our solution and subsequently use it to prove Theorem 1.3.

We start by outlining a regularity property of the weak solutions to (1.1).

Proposition 3.1. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) . Then we have that u ∈ C 1 ,α loc (Ω) ∩ C 2 ( {∇ u = 0 ) } , for some α ∈ (0 1) , .

/negationslash

Proof. By Lemma 2.2 (see (2.20)) and [3, see (3 29)] we obtain .

$$\mu _ { \ell } \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \leftharpoons } \, \cdots \\ \left [ A ( H ( \xi ) ) + H ( \xi ) A ^ { \prime } ( H ( \xi ) ) \right ] \langle \nabla H ( \xi ), v \rangle ^ { 2 } + H ( \xi ) A ( H ( \xi ) ) \langle D ^ { 2 } H ( \xi ) v, v \rangle \\ \geq \, \tilde { C } A ( H ( \xi ) ) | v | ^ { 2 } \geq \tilde { C } \frac { c ( m _ { a }, \lambda, \Lambda _ { 2 } ) } { c _ { 2 } } A ( | \xi | ) | v | ^ { 2 }, \\ \alpha \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \delta \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dclots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \ dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \ D \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dts \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dists \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \dots \, \d:[ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \, \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots$$

therefore hypotheses (1.10) of Lieberman [35] are satisfied. Moreover, by [31, Theorem 5 1] we . have that u ∈ L ∞ loc (Ω). These permits to exploit [35, Theorem 1.7] to get u ∈ C 1 ,α loc (Ω).

Now let us consider a compact set K ⊂⊂ (Ω \ Z u ), where Z u denotes the set where the gradient vanishes. By [42, Proposition 1] we have that u ∈ W 2 2 , loc ( K ) (see also [3, Theorem 2.1]). Then we may apply [32, Theorem 6.3]-page 283 to obtain that u ∈ C 2 (Ω \ Z u ). /square

Since we have that u ∈ C 1 ,α loc (Ω) ∩ C 2 (Ω \ Z u ) let us denote by

$$\tilde { u } _ { i j } ( x ) \coloneqq \begin{cases} u _ { x _ { i } x _ { j } } ( x ) & x \in \Omega \, \sum Z _ { u }, \\ 0 & x \in Z _ { u }. \end{cases}$$

Our first result give us the summability of the second derivative in the above sense. In order to make the proof readable, we usually omit the tilde-symbol on the derivatives.

Moreover, in what follows we will denote by u i := ∂ x i u .

The following integrability property is crucial in our method for investigating the regularity of weak solutions to (1.1).

Theorem 3.2. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) , where f satisfies ( H f ) . Fix x 0 ∈ Ω and R &gt; 0 such that B 2 R ( x 0 ) ⊂⊂ Ω , and consider y ∈ Ω . Then, for 0 ≤ β &lt; 1 and γ &lt; N -2 for N ≥ 3 ( γ = 0 for N = 2 ), we have:

$$\int _ { B _ { R } ( x _ { 0 } ) \L Z _ { u } } \frac { A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } } { | x - y | ^ { \gamma } | u _ { i } | ^ { \beta } } \ d x \leq C \quad \forall \, i = 1, \dots, N,$$

where C = C c , c ( 1 2 , K 1 , K 2 , m A , M A , x 0 , R, β, γ, Λ , ‖∇ ‖ u L ∞ loc (Ω) , ‖ f ‖ 1 , N ( N -γ ) -) is a positive constant.

Proof. For ϕ ∈ C ∞ c (Ω \ Z u ), let us denote ϕ i := ∂ x i ϕ . Using ϕ i as a test function in (2.29), since f ( x ) ∈ W 1 , N ( N -γ ) -(Ω), integrating by part we have

$$\ell \sim \Lambda _ { \Lambda } \, \cdots \, \quad \Lambda _ { \Lambda ^ { \prime } } \, \cfrac { \Lambda _ { \Lambda ^ { \prime } } } { \Lambda _ { \Lambda ^ { \prime } } } \, \colon = \, & \int _ { \Omega } A ( H ( \nabla u ) ) \langle \nabla H ( \nabla u ), \nabla u _ { i } \rangle \langle \nabla H ( \nabla u ), \nabla \varphi \rangle \, d x \\ & + \int _ { \Omega } A ^ { \prime } ( H ( \nabla u ) ) H ( \nabla u ) \langle \nabla H ( \nabla u ), \nabla u _ { i } \rangle \langle \nabla H ( \nabla u ), \nabla \varphi \rangle \, d x \\ & + \int _ { \Omega } A ( H ( \nabla u ) ) H ( \nabla u ) \langle D ^ { 2 } H ( \nabla u ) \nabla u _ { i }, \nabla \varphi \rangle \, d x - \int _ { \Omega } f _ { i } \varphi \, d x = 0. \\ \text{Let us now take an arbitrary $\epsilon > 0$ and define for $t\geq 0$}.$$

Let us now take an arbitrary /epsilon1 &gt; 0 and define for t ≥ 0:

$$G _ { \epsilon } ( t ) & \coloneqq \begin{cases} 0 & \text{ if } \ t \in [ 0, \epsilon ] \\ ( 2 t - 2 \epsilon ) & \text{ if } \ t \in [ \epsilon, 2 \epsilon ] \\ t & \text{ if } \ t \in [ 2 \epsilon, \infty ), \end{cases} \\ ^ { \prime } _ { \epsilon } ( - t ) & \text{ if } t \leq 0. \text{ Moreover we consider a cut-off function $\varphi_{R} \coloneqq \varphi \in C _ { c } ^ { \infty } ( B _ { 2 R } ( x _ { 0 } ) )$$

while G t /epsilon1 ( ) := -G /epsilon1 ( -t ) if t ≤ 0 . Moreover we consider a cut-off function ϕ R := ϕ ∈ C ∞ c ( B 2 R ( x 0 )) such that:

$$\begin{cases} \varphi = 1 & \text{ in } \ B _ { R } ( x _ { 0 } ) \\ | \nabla \varphi | \leq \frac { 2 } { R } & \text{ in } \ B _ { 2 R } ( x _ { 0 } ) \, \cdot \, B _ { R } ( x _ { 0 } ) \\ \varphi = 0 & \text{ in } \ B _ { 2 R } ( x _ { 0 } ) ^ { c }. \end{cases} \\ \colon N - 2 \text{ if } N \geq 3 ^ { 2 } \text{ and for every } \epsilon, \delta > 0 \text{ we set:}$$

 For 0 ≤ β &lt; 1 , γ &lt; N -2 if N ≥ 3 2 and for every /epsilon1, δ &gt; 0 we set:

$$T _ { \epsilon } ( t ) \coloneqq \frac { G _ { \epsilon } ( t ) } { | t | ^ { \beta } }, \quad H _ { \delta } ( t ) \coloneqq \frac { G _ { \delta } ( t ) } { | t | ^ { \gamma + 1 } }.$$

Next, we test (3.32) by the function

$$\psi ( x ) \coloneqq T _ { \epsilon } ( u _ { i } ) H _ { \delta } ( | x - y | ) \varphi ^ { 2 } ( x )$$

2 γ = 0 if N = 2.

obtaining:

∫

A H

(

(

∇

u

))

〈∇

H

(

∇

u ,

)

∇

u

i

〉〈∇

H

(

∇

u ,

)

∇

u

i

〉

T

′

(

u

i

)

H ϕ

δ

2

dx

Ω

/epsilon1

- + ∫ Ω A H ( ( ∇ u )) 〈∇ H ( ∇ u , ) ∇ u i 〉〈∇ H ( ∇ u , ) ∇ H T δ 〉 /epsilon1 ( u i ) ϕ 2 dx
- + ∫ Ω H ( ∇ u A ) ′ ( H ( ∇ u )) 〈∇ H ( ∇ u , ) ∇ u i 〉〈∇ H ( ∇ u , ) ∇ u i 〉 T ′ /epsilon1 ( u i ) H ϕ δ 2 dx
- +2 ∫ Ω A H ( ( ∇ u )) 〈∇ H ( ∇ u , ) ∇ u i 〉〈∇ H ( ∇ u , ) ∇ 〉 ϕ T /epsilon1 ( u i ) H ϕ dx δ
- + Ω H ( ∇ u A ) ′ ( H ( ∇ u )) 〈∇ H ( ∇ u , ) ∇ u i 〉〈∇ H ( ∇ u , ) ∇ H T δ 〉 /epsilon1 ( u i ) ϕ 2 dx (3.37)
- +2 ∫ Ω H ( ∇ u A ) ′ ( H ( ∇ u )) 〈∇ H ( ∇ u , ) ∇ u i 〉〈∇ H ( ∇ u , ) ∇ 〉 ϕ T /epsilon1 ( u i ) H ϕ dx δ
- ∫
- + ∫ Ω H ( ∇ u A H ) ( ( ∇ u )) 〈 D H 2 ( ∇ u ) ∇ u , i ∇ u i 〉 T ′ /epsilon1 ( u i ) H ϕ δ 2 dx
- +2 ∫ Ω H ( ∇ u A H ) ( ( ∇ u )) 〈 D H 2 ( ∇ u ) ∇ u , i ∇ 〉 ϕ T /epsilon1 ( u i ) H ϕ dx δ = ∫ Ω f T i /epsilon1 ( u i ) H ϕ δ 2 dx.
- + ∫ Ω H ( ∇ u A H ) ( ( ∇ u )) 〈 D H 2 ( ∇ u ) ∇ u , i ∇ H T δ 〉 /epsilon1 ( u i ) ϕ 2 dx

Next we have to estimate every integral in the formula above, hence let us rename:

$$+ 2 \int _ { \Omega } H ( \nabla u ) A ( H ( \nabla u ) ) ( D ^ { c } H ( \nabla u ) \nabla u _ { i }, \nabla \varphi ) I _ { \ell } ( \nabla u _ { i } ) H _ { \beta } \varphi \, d x = \int _ { \Omega } f _ { i } I _ { \ell } ( \nabla u ) H _ { \beta } \varphi ^ { c } \, d x.$$

$$I _ { 1 0 } & \coloneqq \overset { \lambda \nu } { \int _ { \Omega } ^ { \lambda } } f _ { i } T _ { \epsilon } ( u _ { i } ) H _ { \delta } \varphi ^ { 2 } \ d x, \\ \cdot \quad \cdot \quad \cdot$$

in such a way that (3.37) is rewritten as

$$I _ { 1 } + I _ { 2 } + I _ { 3 } = I _ { 1 0 } - \sum _ { k = 4 } ^ { 9 } I _ { k }.$$

Note that, by Lemma 2.2 (see in particular (2.20)), and since T ′ ε ( ) t ≥ 0, for β &lt; 1, we have:

$$\tilde { C } ( c _ { 1 }, m _ { A }, \Lamb$$

By (2.21) in Lemma (2.2), by definition of T ε and using a weighted Young inequality we get:

$$\begin{array} {$$

$$\leq \tilde { \mathcal { C } } \int _ { \Omega }$$

$$& \quad \cdots + H ( \nabla u ) A ( H ( \nab$$

$$& \leq \ \cup \int _ { \Omega } ^ { A } \frac {$$

where in the last inequality we use that | G ε ( u i ) | | u i | = G ε ( u i ) u i and denoting by C c , K , K , M ( 2 1 2 A , γ, θ ) a positive constant. Now we set B := B R ( x 0 ) , and

$$M _ { \gamma } \coloneqq \max \left \{ \sup _ { y \in \Omega } \int _ { B } \frac { 1 } { | x - y | ^ { \gamma } } \ d x, \, \sup _ { y \in \Omega } \int _ { B } \frac { 1 } { | x - y | ^ { \gamma + 2 } } \ d x \right \}.$$

↦

We note that M γ does not depend on y . By (2.9)-(2.10), we have that the function t → tA t ( ) is locally bounded, so:

$$\int _ { \Omega } \frac { A ( H ( \nabla u ) ) | \nabla u | ^ { 2 - \beta } } { | x - y | ^ { \gamma + 2 } } \varphi ^ { 2 } \, d x & \leq C ( \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ) \int _ { B } \frac { 1 } { | x - y | ^ { \gamma + 2 } } \, d x \leq C ( m _ { A }, M _ { A }, M _ { \gamma }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ) \\. &. &. &. &. &. &. &.$$

where C m ,M ,M , ( A A γ ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

So by (3.40) and (3.42) we get:

$$\theta _ { 1 } ^ { \prime } \theta _ { 2 } ^ { \prime } \lambda _ { 3 } ^ { \prime } \lambda _ { 4 } ^ { \prime } \lambda _ { 5 } ^ { \prime } \lambda _ { 6 } ^ { \prime } \lambda _ { 7 } ^ { \prime } \lambda _ { 8 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 }^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { ` } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime } \lambda _ { 9 } ^ { \prime }
C ( \tau _ { 0 }. K. K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & k. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K. & K.$$

where C c , K , K , m , M ( 2 1 2 a A , M γ , γ, θ, ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

In a similar way we can estimate I 5 + I 7 + I 9 .

$$\begin{array} { l l l } \text{In a similar way we can estimate } I _ { 5 } + I _ { 7 } + I _ { 9 }. \\ - ( I _ { 5 } + I _ { 7 } + I _ { 9 } ) & = & - 2 \int _ { \Omega } [ ( A ( H ( \nabla u ) ) + H ( \nabla u ) A ^ { \prime } ( H ( \nabla u ) ) ) ( \nabla H ( \nabla u ), \nabla u _ { i } ) \langle \nabla H ( \nabla u ), \nabla \varphi ) \\ & & + H ( \nabla u ) A ( H ( \nabla u ) ) ( D ^ { 2 } H ( \nabla u ) \nabla u _ { i }, \nabla \varphi ) ] T _ { \epsilon } ( u _ { i } ) H _ { \delta } \varphi \, d x \\ & \leq & \tilde { C } ( c _ { 2 }, K _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { \Omega } A ( H ( \nabla u ) ) | \nabla u _ { i } | | \nabla \varphi | | T _ { \epsilon } ( u _ { i } ) | H _ { \delta } \varphi \, d x \\ & \leq & \, \theta \int _ { \Omega } \frac { A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } G _ { \epsilon } ( u _ { i } ) } { | x - y | ^ { \gamma } | u _ { i } | ^ { \beta } u _ { i } } \varphi ^ { 2 } + \tilde { C }, \\ \end{array} \quad \text{where} \, \tilde { C } ( c _ { 2 }, K _ { 1 }, K _ { 2 }, m _ { A }, M _ { A }, M _ { \gamma }, \gamma, \theta, \| \nabla u \| _ { L _ { i \infty } ( \Omega ) } ) \text{ is a positive constant.}$$

where ¯ ( C c , K , K , m 2 1 2 A , M A , M γ , γ, θ, ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

Finally we estimate the term I 10 . By definition of T /epsilon1 and H δ (see (3.35)), we have

$$\times \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \tan \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ sin \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \ cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \osigma \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \colon \\ M _ { \gamma }, \| f \| _ { 1 } \underline { N } \, \underline { \left | \nabla u \right | } \left | \left | \left | \left | \left | \left | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | } \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \left | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right | \right |$$

where ¯ ( C M , γ ‖ f ‖ 1 , N ( N -γ ) -‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

By (3.39), (3.43), (3.44), (3.45) we obtain:

$$& \tilde { C } ( c _ { 1 }, m _ { A }, \Lambda ) \int _ { \Omega } A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } T _ { \epsilon } ^ { \prime } ( u _ { i } ) H _ { \delta } \varphi ^ { 2 } \ d x \leq \theta \int _ { \Omega } \frac { A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } G _ { \varepsilon } ( u _ { i } ) } { | x - y | ^ { \gamma } | u _ { i } | ^ { \beta } u _ { i } } \varphi ^ { 2 } + C. \\ & \text{Passin $\sigma \delta \to 0$ by factor to comma } \ w o \ o h t a i n.$$

Passing δ → 0, by Fatou Lemma, we obtain:

$$\tilde { C } ( m _ { A }, c _ { 1 }, \Lambda ) \int _ { \Omega } \frac { A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } } { | x - y | ^ { \gamma } | u _ { i } | ^ { \beta } } \Big { ( } G _ { \epsilon } ^ { \prime } ( u _ { i } ) - ( \beta + \theta ) \frac { G _ { \epsilon } ( u _ { i } ) } { u _ { i } } \Big { ) } \varphi ^ { 2 } \ d x \leq C.$$

Now choosing θ sufficiently small such that 1 -β -θ &gt; 0, since for /epsilon1 → 0, by Fatou Lemma, we get

$$\left ( G _ { \epsilon } ^ { \prime } ( u _ { i } ) - ( \beta + \theta ) \frac { G _ { \epsilon } ( u _ { i } ) } { u _ { i } } \right ) \to 1 - \beta - \theta, \\ \alpha o t$$

$$\int _ { B _ { R } ( x _ { 0 } ) \bigvee Z _ { u } } \frac { A ( H ( \nabla u ) ) | \nabla u _ { i } | ^ { 2 } } { | x - y | ^ { \gamma } | u _ { i } | ^ { \beta } } \, d x \leq C, & & ( 3. 4 7 ) \\ \int _ { \Lambda } K, \ K \cap \ m \ell \ M \ell \ r _ { \Lambda } \ R \ A \ \sim \ \mathcal { B } \ \Lambda \ \| \nabla u \| _ { r _ { \Lambda } \ \infty } \ \| f \| \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }$$

$$\text{where $C\colon=C(c_{1},c_{2},K_{1},K_{2},m_{A},M_{A},x_{0},R,\theta,\gamma,\beta,\Lambda,\|\nabla u\|_{L^{\infty_{c}}(\Omega)},\|f\|_{1,\frac{N}{(N=\gamma)^{\-}} } } ) }. \quad \Box$$

As a consequence of result above we get information about the regularity of the stress field of (1.1). To make readable the proof of Theorem 1.3, we consider each statement of it as an autonomous proposition that next we are going to prove.

Proposition 3.3. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) , where f satisfies ( H f ) . If 0 &lt; m A &lt; M , A then

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } ),$$

for any k &gt; 1 + m A 2 -m A 2 M A .

Proof. For /epsilon1 &gt; 0 define

$$V _ { \epsilon, j } \coloneqq A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) H _ { \eta _ { j } } ( \nabla u ) J _ { \epsilon } ( | \nabla u | ),$$

G t ( ) ∂H

where J /epsilon1 ( ) := t /epsilon1 t , and J /epsilon1 (0) = 0, H η j := ∂η j and H η ( ) = H η ,..., η ( 1 n ). Since J /epsilon1 ( |∇ u | ) = 0

whenever |∇ u | ≤ /epsilon1 , we have

$$\text{whenever} \left | \nabla u \right | & \leq \epsilon, \, \text{we have} \\ \frac { \partial V _ { \epsilon, j } } { \partial x _ { i } } \ = \ & \left ( \frac { k - 1 } { m _ { A } } \right ) A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } - 1 } A ^ { ^ { \prime } } ( H ( \nabla u ) ) H ( \nabla u ) ( \nabla H ( \nabla u ), \nabla u _ { i } ) J _ { \epsilon } ( | \nabla u | ) H _ { \eta _ { j } } ( \nabla u ) \\ & \quad + A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } \langle \nabla H ( \nabla u ), \nabla u _ { i } \rangle J _ { \epsilon } ( | \nabla u | ) H _ { \eta _ { j } } ( \nabla u ) \\ & \quad + A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) J _ { \epsilon } ^ { ^ { \prime } } ( | \nabla u | ) \partial _ { x _ { i } } \left ( | \nabla u | \right ) H _ { \eta _ { j } } ( \nabla u ) \\ & \quad + A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) J _ { \epsilon } ( | \nabla u | ) ( \nabla H _ { \eta _ { j } } ( \nabla u ), \nabla u _ { i } ),$$

whenever |∇ u &gt; /epsilon1 | . Using (2.8), (2.15), (2.17) and the definition of J /epsilon1 we get:

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \ dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots\delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \ delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta$$

$$+ C ( c _ { 2 }, K _ { 2 } ) A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } | \nabla u _ { i } | \chi _ { \{ | \nabla u | > \epsilon \} } \leq C A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } | \nabla u _ { i } | \chi _ { \{ | \nabla u | > \epsilon \} },$$

where C = C c , k, K ( 2 1 , K 2 , m A , M A ) is a positive constant. Indeed we note that

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) | J ^ { ^ { \prime } } _ { \epsilon } ( | \nabla u | ) | | \nabla u _ { i } | = 0, \ a. e.$$

if |∇ u | ∈ [0 , /epsilon1 ] ∪ [2 /epsilon1, + ∞ ). Whenever |∇ u | ∈ ( /epsilon1, 2 ), since /epsilon1 J ′ ( ) = t 2 /epsilon1 t 2 and using (2.12) we have

$$K _ { 1 } A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) | J _ { \epsilon } ^ { ^ { \prime } } ( | \nabla u | ) | | \nabla u _ { i } | \leq c _ { 2 } K _ { 1 } A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } | \nabla u | \frac { 2 \epsilon } { | \nabla u | ^ { 2 } } | \nabla u _ { i } |$$

$$( \text{by } | \nabla u | > \epsilon ) \leq 2 c _ { 2 } K _ { 1 } A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } | \nabla u _ { i } | \leq C ( c _ { 2 }, K _ { 1 } ) A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } | \nabla u _ { i } | \chi _ { \{ | \nabla u | > \epsilon \} }.$$

Therefore

k

-

1

mA

K A H

1

(

(

∇

u

))

H

(

∇

u

)

|

J

′

/epsilon1

(

|∇

u

|

)

||∇

u

i

|

≤

C c , K

(

2

1

)

A H

(

(

∇

u

))

k

-

1

mA

|∇

u

i

|

χ

{|∇

u &gt;/epsilon1

|

and (3.51) holds.

Fixed x 0 ∈ Ω and R &gt; 0 such that B := B R ( x 0 ) ⊂⊂ Ω, using (3.51) and (2.9) we get

$$\text{and} \, ( 3. 5 1 ) \, \text{holds}. \text{Fixed} \, x _ { 0 } \in \Omega \text{ and} \, R > 0 \text{ such that} \, B \coloneqq B _ { \text{$(x_{0})$} \subset \Omega$, using} \, ( 3. 5 1 ) \text{ and} \, ( 2. 9 ) \, \text{ we get} \\ \int _ { B } | \nabla _ { \text{$\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{\Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{mf}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\matrix\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal
Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{
\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal`\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\hat{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal''\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal'\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcalq`\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathCal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}$_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathCal`\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathf}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{
Y_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y}_{\mathcal{Y$$

where H &lt; := { H ( ∇ u ) ≤ } 1 , H &gt; := { H ( ∇ u ) ≥ } 1 and C = C c , c ( 1 2 , k, K 1 , K 2 , m A , M A ) &gt; 0. Now, since u ∈ C 2 (Ω \ Z u ) and by Theorem 3.2, choosing β ∼ 1 -, for any k &gt; 1 + m A 2 -m A 2 M A we get

$$\int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } & \leq C + C \int _ { ( B \cap H < ) \searrow Z _ { u } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, m _ { A }, M _ { A }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ), \\ \sim \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \ \hat { \ }. \$$

where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , m A , M A , ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant and ˆ is given by TheoC rem 3.2.

Since W 1 2 , loc (Ω) is a reflexive space, there exists ˜ V j ∈ W 1 2 , loc (Ω) such that

$$V _ { \epsilon, j } \rightharpoonup \tilde { V } _ { j }, \quad \text{for $\epsilon\to0$}.$$

By the compact embedding, V /epsilon1,j → ˜ V j in L q (Ω) with q &lt; 2 ∗ and up to subsequence V /epsilon1,j → ˜ V j a.e. in Ω. Because of the choice of k , it is easy to verify that V /epsilon1,j → A H ( ( ∇ u )) k -1 mA H ( ∇ u H ) η j ( ∇ u ) a.e. in Ω, then

$$\tilde { V } _ { j } = A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } \, H ( \nabla u ) H _ { \eta _ { j } } ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega ).$$

}

,

/square

Remark 3.4. The choice k = m A + 1 allows us to recover the optimal result in [3] obtained for f ∈ L 2 . It is worth noting that this choice will be applicable in all subsequent propositions, therefore, in every case, we encompass the main result in [3] .

.

If m A &lt; M A &lt; , 0 then

Proposition 3.5. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) and f satisfying ( H f )

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { m _ { A } } } H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } )$$

for any k &gt; 1 2 + m A 2 .

Proof. Consider V /epsilon1,j in (3.49). We only prove that

$$\int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } \, d x < + \infty \\ r \arg \text{ments in Proposition } 2$$

Indeed the thesis follows exploiting arguments in Proposition 3.3 . Using (3.51) we already know that

$$\int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } \, d x & \leq C \int _ { B } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - m _ { A } } { m _ { A } } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } | \nabla u | ^ { \beta } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x. \quad \quad \quad$$

Now let us consider the two cases 2( k -1) -m A ≥ 0 and 2( k -1) -m A ≤ 0 .

In the first, i.e. k ≥ m A +2 2 , using (2.9) and u ∈ C 2 (Ω \ Z u ), from Theorem 3.2 we get

$$\text{In the first, i.e. } k & \geq \frac { m _ { A } + 2 } { 2 }, \, \text{using } ( 2. 9 ) \text{ and } u \in C ^ { 2 } ( \Omega \, \sum Z _ { u } ), \, \text{from Theorem 3.2 } \, \text{we get} \\ \int _ { B } | \nabla V _ { c, j } | ^ { 2 } \, d x & \leq C \int _ { B \cap H _ { < } } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - m _ { A } } { m _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x \\ & \quad + C \int _ { B \cap H _ { > } } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - m _ { A } } { m _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C \int _ { B \cap H _ { < } } H ( \nabla u ) ^ { ( 2 ( k - 1 ) - m _ { A } ) \frac { M _ { A } } { m _ { A } } + \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x + C < C \\ \text{renaming} \, C = C ( c _ { 1 }, c _ { 2 }, k. K _ { 1 }. K _ { 2 }, m _ { A }. M _ { A }. \hat { C }. \, \| \nabla u \| _ { I ^ { \infty } \, ( \cap ) } \, \text{ a positive constant. } \hat { C } \, \text{ is given by the} \, \text{-}$$

renaming C = C c , c ( 1 2 , k, K 1 , K 2 , m A , M A , C, ˆ ‖∇ ‖ u L ∞ loc (Ω) ) a positive constant, ˆ is given by TheC orem 3.2 and

$$H _ { < } \coloneqq \{ H ( \nabla u ) \leq 1 \}, \quad H _ { > } \coloneqq \{ H ( \nabla u ) \geq 1 \}.$$

Let us now consider 2( k -1) -m A ≤ 0 , that is k ≤ m A +2 2 . As in the previous case, using (3.56), (2.9) and since u ∈ C 2 (Ω \ Z u ) we obtain

$$\det \in \mathcal { C } ^ { 2 } ( \Omega \, \underline { Z } _ { u } ) \, \text{ we obtain} \\ \int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } \, d x & \leq C \int _ { B \cap H < } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - m _ { A } } { m _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x \\ & \quad + C \int _ { B \cap H > } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - m _ { A } } { m _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C \int _ { B \cap H < } H ( \nabla u ) ^ { 2 ( k - 1 ) - m _ { A } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x + C \\ & \leq C \int _ { ( B \cap H < ) \L Z _ { u } } | \nabla u | ^ { 2 ( k - 1 ) - m _ { A } + \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x + C. \\ \text{From Theorem 3.2, for} \, \beta \, \text{close to} \, 1, \, \text{we get} \\ & \quad \, t \, \frac { \dots } { \dots } \, \hat { \ }. \quad \, \dots \, \hat { \ }. \quad \, \dots \, \hat { \ }. \quad \, \dots \, \hat { \ }.$$

From Theorem 3.2, for β close to 1, we get

$$\int _ { B } | \nabla V _ { e, j } | ^ { 2 } \, d x \leq C ( c _ { 2 }, k, K _ { 1 }, K _ { 2 }, m _ { A }, M _ { A }, \hat { C }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } )$$

for any k ∈ ( m A +1 2 , m A +2 2 ] . Exploiting (3.57) and (3.59) the claim holds for any k &gt; m A +1 2 . /square

.

If m A &lt; 0 &lt; M , A then

Proposition 3.6. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) , with f satisfying ( H f )

$$A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { M _ { A } } } H ( \nabla u ) \nabla H ( \nabla u ) \in W ^ { 1, 2 } _ { l o c } ( \Omega, \mathbb { R } ^ { N } ),$$

$$\text{for any } k \in \left ( \frac { 1 } { 2 } + \frac { M _ { A } } { 2 }, 1 + \frac { M _ { A } } { 2 } - \frac { M _ { A } } { 2 m _ { A } } \right ).$$

Proof. Here we set

$$V _ { \epsilon, j } \coloneqq A ( H ( \nabla u ) ) ^ { \frac { k - 1 } { M _ { A } } } H ( \nabla u ) J _ { \epsilon } ( | \nabla u | ) H _ { \eta _ { j } } ( \nabla u ).$$

By the same computations of the previous two cases we get

$$& \text{by the same computations of the previous two cases we get} \\ & \int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } \, d x \leq C ( c _ { 2 }, k _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { B \cap H _ { < } } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - M _ { A } } { M _ { A } } } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x \\ & \quad + C \int _ { B \cap H _ { > } } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - M _ { A } } { M _ { A } } } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \, d x \\ & \quad = \colon I _ { 1 } + I _ { 2 }. \\ & \text{th} \colon \text{two} \colon I _ { 1 } \colon \infty \text{the main} \colon \text{th} \colon \text{$\mathcal{ }\mathcal{ }T1(\mathcal{ }O\,\cap \mathcal{ }\mathcal{ }T2(\mathcal{ }O\,\mathcal{ }V\,\mathcal{ }T2\,\mathcal{ }O\,\mathcal{ }V$}$$

1 2

The integral I 2 is estimable exploiting that u ∈ C (Ω) ∩ C (Ω \ Z u ). Hence we only explicitly estimate I 1 . Suppose that 2( k -1) -M A ≥ 0. By (2.9) and from Theorem 3.2, for β close to 1, we have

$$\sigma _ { \lambda }, \infty & \varpropto \infty \, \infty \, \text{,} \, \text{we have} \\ I _ { 1 } & \leq C \int _ { B \cap H < } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - M _ { A } } { M _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x \\ & \leq C \int _ { ( B \cap H < ) \mathcal { Z } _ { u } } H ( \nabla u ) ^ { \beta + \frac { 2 ( k - 1 ) - M _ { A } } { M _ { A } } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C ( c _ { 1 }, c _ { 2 }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \hat { C }, \| \nabla u \| _ { L ^ { \infty } _ { \infty } ( \Omega ) } ),$$

≤

C c , c

(

1

2

, k, K

1

, K

2

, M

A

, C,

‖∇ ‖

u

L

ˆ

∞

loc

(Ω)

)

,

for any k ∈ [ 1 + M A 2 , 1 + M A 2 -M A 2 m A ) , where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , M A , , ‖∇ ‖ u L ∞ loc (Ω) ) is a pos- itive constant and ˆ is given by Theorem 3.2. C

On the other hand, if 2( k -1) -M A ≤ 0, by (2.9) and from Theorem 3.2, with β close to 1, we obtain

$$\text{obtain} & & I _ { 1 } \leq C \int _ { B \cap H < } A ( H ( \nabla u ) ) ^ { \frac { 2 ( k - 1 ) - M _ { A } } { M _ { A } } } | \nabla u | ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } \, d x \\ & \leq C \int _ { ( B \cap H < ) \mathcal { Z } _ { u } } H ( \nabla u ) ^ { \beta + 2 ( k - 1 ) - M _ { A } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C ( c _ { 1 }, c _ { 2 }, k, \hat { C }, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L ^ { \infty } _ { l _ { o c } } ( \Omega ) } ), \\ & / 1 \quad M _ { A } \quad M _ { A } \, \mathbb { I } \quad \hat { \ }.$$

for any k ∈ ( 1 2 + M A 2 , 1 + M A 2 ] , where C c , c ( 1 2 , k, C, K ˆ 1 , K 2 , M A , ‖∇ ‖ u L ∞ loc (Ω) ) , is a positive constant. By (3.62), (3.63) and (3.64) we get

$$\int _ { B } | \nabla V _ { c, j } | ^ { 2 } \, d x \leq C ( c _ { 1 }, c _ { 2 }, k, \hat { C }, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L ^ { \infty } _ { i o c } ( \Omega ) } ).$$

The thesis (3.60) follows as in the previous cases.

/square

.

If m A = 0 and M &gt; A 0 , then

Proposition 3.7. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) and f satisfies ( H f )

$$A ( H ( \nabla u ) ) ^ { k - 1 } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega, \mathbb { R } ^ { N } )$$

$$f o r \ a n y \ k > \frac { 3 } { 2 } - \frac { 1 } { 2 M _ { A } }.$$

Proof. Now we prove the case (3.66). Let us consider

$$V _ { \epsilon, j } \coloneqq A ( H ( \nabla u ) ) ^ { k - 1 } H ( \nabla u ) J _ { \epsilon } ( | \nabla u | ) H _ { \eta _ { j } } ( \nabla u ).$$

As we did before, we distinguish two cases. If 2( k -1) -1 ≥ 0, using (2.9) and Theorem 3.2 we can deduce

$$& \text{As we did before, we distinguish two cases. If $2(k-1) - 1 \geq 0$, using (2.9) and Theorem 3.2 we} \\ & \quad \int _ { B } | \nabla V _ {, j } | ^ { 2 } \, d x \leq C ( c _ { 2 }, k, K _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) } | D ^ { 2 } u | ^ { 2 } \chi _ { \{ | \nabla u _ { | } > \phi } \, d x \\ & \quad \leq C \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u _ { | } > \phi } \, d x \\ & \quad \leq C \int _ { B \cap H _ { < } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u _ { | } > \phi } \, d x \\ & \quad + C \int _ { B \cap H _ { > } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \quad \leq C \int _ { ( B \cap H _ { < } ) \nabla Z _ { u } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x + C \\ & \quad \leq C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { L _ { \infty } ^ { \infty } } ( \Omega ) } ) \\ & \text{where} \, C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { L _ { \infty } ^ { \infty } } ( \Omega ) } ) \text{ is a positive constant.} \\ & \quad \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { \sim } { \sim } \, \stackrel { e } { \sim } \, \end{l}.$$

where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , M A , ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

If 2( k -1) -1 ≤ 0, by (2.9) and Theorem 3.2, for β close to 1, and for any k &gt; 3 2 -1 2 M A , we can deduce

$$\text{If } 2 ( k - 1 ) - 1 \leq 0, & \text{ by } ( 2. 9 ) \text{ and Theorem } 3. 2, \text{ for } \beta \text{ close to } 1, \text{ and for any } k > \frac { 3 } { 2 } - \frac { 1 } { 2 M _ { A } }, \text{ we can} \\ \text{deduce} \\ \int _ { B } | \nabla V _ { c, j } | ^ { 2 } \, d x & \leq C ( c _ { 1 }, c _ { 2 }, k, K _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) } | D ^ { 2 } u | ^ { 2 } \, d x \\ & \leq C \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \phi } \, d x \\ & \leq C \int _ { B \cap H _ { < } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \phi } \, d x \\ & \quad + C \int _ { B \cap H _ { > } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C \int _ { B \cap H _ { < } } H ( \nabla u ) ^ { \beta + ( 2 ( k - 1 ) - 1 ) M _ { A } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \phi } \, d x + C \\ & \leq C ( c _ { 1 }, c _ { 2 }, \tilde { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { \overline { i } _ { o c } } } ( \Omega ) } ) \text{ is a positive constant}. \quad \Box \, \\ \text{where } C ( c _ { 1 }, c _ { 2 }, \tilde { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { \overline { i } _ { o c } } } ( \Omega ) } ) \text{ is a positive constant}. \quad \Box$$

where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , M A , ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant.

/square

.

If m A &lt; 0 and M A = 0 , then

Proposition 3.8. Let u ∈ W 1 , A loc (Ω) be a weak solution of (1.1) and f satisfies ( H f )

$$A ( H ( \nabla u ) ) ^ { k - 1 } \, H ( \nabla u ) \nabla H ( \nabla u ) \in W _ { l o c } ^ { 1, 2 } ( \Omega, \mathbb { R } ^ { N } )$$

$$f o r \ a n y \ k < \frac { 3 } { 2 } - \frac { 1 } { 2 m _ { A } }.$$

Proof. The proof of (3.70) is similar to the case (3.66). We take V /epsilon1,j as in (3.67). Let us consider first the case 2( k -1) -1 ≥ 0 . By Theorem 3.2, by (2.9) and choosing β ∼ 1 -we get

$$\text{Proof. The proof of (3.70) is similar to the case (3.66). We take V _ { \epsilon, j } as in (3.67). Let us consider} \\ \text{first the case 2(k - 1) - 1 \geq 0. } \text{ By Theorem 3.2, by (2.9) and choosing \beta \sim 1^{\ } \text{ we get} \\ \int _ { B } | \nabla V _ { \epsilon, j } | ^ { 2 } \, d x & \leq C ( c _ { 2 }, k, K _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) } | D ^ { 2 } u | ^ { 2 } \, d x \\ & \leq C \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u _ { i } \geq \epsilon \} } d x \\ & \leq C \int _ { B \cap H _ { < } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u _ { i } \geq \epsilon \} } d x \\ & \quad + C \int _ { B \cap H _ { > } } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C \int _ { ( B \cap H _ { < } ) \mathcal { Z } _ { u } } H ( \nabla u ) ^ { \beta + ( 2 ( k - 1 ) - 1 ) m _ { A } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L \widetilde { \infty } _ { c } ( \Omega ) } ) \\ \text{for any } k \in \left [ \frac { 3 } { 2 }, \frac { 3 } { 2 } - \frac { 1 } { 2 m _ { A } } \right ), \text{ where } C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L \widetilde { \infty } _ { c } ( \Omega ) } \text{ is positive constant} \, d x$$

for any k ∈ [ 3 2 , 3 2 -1 2 m A ) , where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , M A , ‖∇ ‖ u L ∞ loc (Ω) ) is positive constant and ˆ is given by Theorem 3.2. C

If 2( k -1) -1 &lt; , 0 by Theorem 3.2 and by (2.9) we get

$$\text{If } 2 ( k - 1 ) - 1 < 0, & \text{ by Theorem } 3. 2 \text{ and by } ( 2. 9 ) \text{ we get} \\ \int _ { B } | \nabla V _ { c, j } | ^ { 2 } \, d x & \leq C ( c _ { 2 }, k, K _ { 1 }, K _ { 2 }, M _ { A } ) \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) } | D ^ { 2 } u | ^ { 2 } \, d x \\ & \leq C \int _ { B } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \chi _ { \{ | \nabla u | > \epsilon \} } d x \\ & \leq C \int _ { B \cap H < } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \quad + C \int _ { B \cap H > } A ( H ( \nabla u ) ) ^ { 2 ( k - 1 ) - 1 } H ( \nabla u ) ^ { \beta } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | u _ { i } | ^ { \beta } } \, d x \\ & \leq C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { \infty } ( \Omega ) } ) \\ \text{for any } k < \frac { 3 } { 2 }, & \text{ where } C ( c _ { 1 }, c _ { 2 }, \hat { C }, k, K _ { 1 }, K _ { 2 }, M _ { A }, \| \nabla u \| _ { L _ { \infty } ( \Omega ) } ) \text{ is a positive constant.  Therefore by } \, \text{$-} \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \,. \end{$$

for any k &lt; 3 2 , where C c , c ( 1 2 , C, k, K ˆ 1 , K 2 , M A , ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant. Therefore by (3.71) and (3.72), proceeding as in the previous cases, (3.70) holds for any k &lt; 3 2 -1 2 m A . /square

## 4. Second-order regularity of weak solutions.

We conclude our paper proving our main result. In order to do this, we first prove an integrability property for A H ( ( ∇ u )) -1 .

$$\text{Theorem } 4. 1. \ L e t \ u \in W ^ { 1, A } _ { l o c } ( \Omega ) \ b e a \ w e a k \ s o l u t i o n \ o f \ ( 1. 1 ), \ w i t h \ f \ s a t i s f y i n g \ ( H _ { f } ) \ a n d \\ f ( x ) \geq c ( x _ { 0 }, R ) > 0 \quad i n \ B _ { 2 R } ( x _ { 0 } ),$$

where B 2 R ( x 0 ) ⊂⊂ Ω , x 0 ∈ Ω and R &gt; 0 . Consider y ∈ Ω .

Then, we have

$$\int _ { B _ { R } ( x _ { 0 } ) } \frac { 1 } { A ( H ( \nabla u ) ) ^ { \alpha r } } \frac { 1 } { | x - y | ^ { \gamma } } \ d x \leq C \\ \intertext { r } \cdots \circ \quad \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdclots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \cdots \Delta \colon r }$$

where α := M A +1 M A , M &gt; , r &lt; A 0 1 , γ &lt; N -2 if N ≥ 3 while γ = 0 if N = 2 and C = C K ,m ( 1 A , M A , r, R, x 0 , γ, σ, ‖∇ ‖ u L ∞ loc (Ω) ) .

Proof. For n ∈ N consider G 1 n ( ) following (3.33). t Fix an arbitrary /epsilon1 &gt; 0, let n /epsilon1 ∈ N such that for any n &gt; n /epsilon1 it holds

$$\sup _ { t \geq 0 } | G _ { \frac { 1 } { n } } ( t ) - t | < \epsilon.$$

Choosing N &gt; n ε , consider the following test function:

$$\varphi = \frac { H _ { \delta } ( | x - y | ) \psi ^ { 2 } } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } },$$

where ψ and H δ are defined in (3.34), (3.35). Then

$$\nabla \varphi = \frac { 2 \psi H _ { \delta } \nabla \psi } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } } + \frac { \psi ^ { 2 } \nabla H _ { \delta } } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } } \\ & - \alpha r \psi ^ { 2 } H _ { \delta } \frac { G _ { \frac { 1 } { N } } ^ { \prime } ( A ( H ( \nabla u ) ) ) A ^ { \prime } ( H ( \nabla u ) ) D ^ { 2 } u \nabla H ( \nabla u ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r + 1 } }.$$

Since f ( x ) ≥ C x , R ( 0 ) &gt; 0 in B := B 2 R ( x 0 ) , testing (4.75) in (2.29) we get

$$& C ( R, x _ { 0 } ) \int _ { B } \frac { H _ { \delta } ( | x - y | ) \psi ^ { 2 } } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } } \, d x } ( 4. 7 7 ) \\ \leq & \ - \alpha r \int _ { B } \frac { A ( H ( \nabla u ) ) H ( \nabla u ) G ^ { \prime } _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) A ^ { \prime } ( H ( \nabla u ) ) ( \nabla H ( \nabla u ), D ^ { 2 } u \nabla H ( \nabla u ) ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r + 1 } } H _ { \delta } \psi ^ { 2 } \ d x \\ & + \int _ { B } \frac { A ( H ( \nabla u ) ) H ( \nabla u ) ( \nabla H ( \nabla u ), \nabla H _ { \delta } ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } } \, d x + 2 \int _ { \Omega } \frac { A ( H ( \nabla u ) ) H ( \nabla u ) ( \nabla H ( \nabla u ), \nabla \psi ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } } H _ { \delta } \psi \ d x.$$

Therefore, denoting by I F the left-hand side of the previous inequality, we have

$$\begin{array} { l l l } \ n n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e u n o v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e u n o v e v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v u n o v e v e v e v e v e v e v e v ev e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v e v$$

where C r, R, x ( 0 , α ) and C R,x ( 0 ) are positive constants. First, we estimate the term I 3 . Using (2.9), (2.15), (4.74) and since α = ( M A +1) /M A we get:

$$\text{max} \times \left \{, \pi, \pi, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{,\pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi\right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right\} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \}\text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{\max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max}\right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right!} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \} \text{max} \times \left \{, \pi \right \}
\text{c-c-c-d-s-c-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-e-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-e-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-c-d-s-d-s-c-d-s-d-s-c-d-s-c-d-s-d-s-c-d-s-d-s-c-d-s-d-s-c-d-s-d-s-c-d-s-d-s-c-d-s-d-s-d-s-c-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d- s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-c-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s- d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s-d-s$$

(4.81)

Since r &lt; 1 and r m A &lt; M , A there exists a positive constant C = C K ,r,R,x ,α,γ, ( 1 0 ‖∇ ‖ u L ∞ loc (Ω) ) such that

$$I _ { 3 } \leq C ( K _ { 1 }, r, R, x _ { 0 }, \alpha, \gamma, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ).$$

By a similar computation, we get that there exists a positive constant C such that

$$I _ { 2 } \leq C.$$

Now we estimate I 1 ; by (2.8), (2.15) and using a weighted Young inequality we get

$$\text{row we esuímave } 1 ; \text{by} \, \left ( \mathcal { A } \right ), \, \left ( \mathcal { A } \right ), \, \left ( \mathcal { A } \right ) \text{and using a wegüneu } \text{using } \text{using} \, \text{we ge} \\ I _ { 1 } & \leq C ( K _ { 1 }, r, R, x _ { 0 }, \alpha ) \int _ { B } \frac { | A ( H ( \nabla u ) ) H ( \nabla u ) A ^ { \prime } ( H ( \nabla u ) ) | | D ^ { 2 } u | \psi ^ { 2 } H _ { \delta } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r + 1 } } \, d x \\ & \leq C ( K _ { 1 }, m _ { A }, M _ { A }, r, R, x _ { 0 }, \alpha ) \int _ { B } \frac { A ^ { 2 } ( H ( \nabla u ) ) | D ^ { 2 } u | H _ { \delta } \psi ^ { 2 } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r + 1 } } \, d x \\ & \leq C \left [ \theta \int _ { B } \frac { \psi ^ { 2 } H _ { \delta } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r } } \, d x + \frac { 1 } { 4 \theta } \int _ { B } \frac { A ^ { 4 } ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r + 2 } } \, d x \right ] \\ & \leq C \left [ \theta I _ { F } + \frac { 1 } { 4 \theta } \int _ { B } \frac { A ^ { 2 } ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r } } \, d x \right ].$$

Now, by the definition of α = ( M A +1) /M A and (4.74), we get

$$\int _ { B } \frac { \overset { \cdot } { A ^ { 2 } } ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { \left ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon \right ) ^ { \alpha r } } \, d x \\ = \int _ { \alpha }$$

$$\frac { | | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { 4 } + \epsilon \right ) ^ { \alpha ^ { \prime } } & d x \\ & = \int _ { B \cap \{ A < 1 \} } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } \frac { A ( H ( \nabla u ) ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha ^ { \prime } } } \, d x \\ & \quad + \int _ { B \cap \{ A < 1 \} } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } \frac { A ( H ( \nabla u ) ) } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha ^ { \prime } } } \, d x \\ & \leq \int _ { B \cap \{ A < 1 \} } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } \frac { 1 } { A ( H ( \nabla u ) ) ) + \epsilon } \, d x \\ & \quad + \int _ { B \cap \{ A < 1 \} } A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } \frac { A ( H ( \nabla u ) ) H ( \nabla u ) ^ { \alpha ^ { \prime } } } { H ( \nabla u ) ^ { \alpha ^ { \prime } } } \, d x \\ & \leq \frac { 1 } { A ( 1 ) ^ { \frac { 1 } { M _ { \Delta } } } } \int _ { B \cap \{ A < 1 \} } \frac { \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { \min \{ H ( \nabla u ) ^ { r }, H ( \nabla u ) ^ { M _ { \Delta } } } \, d x \\ & \quad + \sup _ { B } | A ( H ( \nabla u ) ) H ( \nabla u ) ^ { \alpha } | \int _ { B \cap \{ A < 1 \} } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } \psi ^ { 2 } H _ { \delta } } { H ( \nabla u ) ^ { \alpha } } \, d x \\ & \leq \hat { C } \cdot C ( m _ { A }, M _ { A }, r, R, x _ { 0 }, \gamma, \sigma, \| \nabla u \| _ { L ^ { \infty } _ { \infty } ( \Omega ) } ), \\ \quad \text{in} \, ( 2. 1 0 ), C ( m _ { A }, M _ { A }, r, R, x _ { 0 }, \gamma, \sigma, \| \nabla u \| _ { L ^ { \infty } _ { \infty } ( \Omega ) } ) \text{ is a positive constant and } \hat { C } \\ 3. 2. \, By \, ( 4. 8 4 ) \text{ and } ( 4. 8 5 ) \text{ we get}$$

where σ &lt; 1 is given in (2.10), C m ,M ,r,R,x ,γ,σ, ( A A 0 ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant and ˆ C is given by Theorem 3.2. By (4.84) and (4.85) we get

$$I _ { 1 } \leq \theta C I _ { F } + \frac { 1 } { 4 \theta } C ( x _ { 0 }, R, K _ { 1 }, \alpha, r, \sigma, \gamma, m _ { A }, M _ { A }, \hat { C }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ),$$

with C C,K ,m ( ˆ 1 A , M A , r, R, x 0 , α, γ, σ, ‖∇ ‖ u L ∞ loc (Ω) ) positive constant.

Choosing θ sufficiently small such that 1 -Cθ &gt; 0 , letting δ → 0 in (4.78), by (4.82), (4.83), (4.86) and using Fatou's Lemma we get

$$( 1 - C \theta ) \int _ { \Omega } \frac { 1 } { ( G _ { \frac { 1 } { N } } ( A ( H ( \nabla u ) ) ) + \epsilon ) ^ { \alpha r } | x - y | ^ { \gamma } } \psi ^ { 2 } \ d x \ \leq \ \tilde { C },$$

where ˜ = C ˜ ( C C,K ,m ˆ 1 A , M A , r, R, x 0 , γ, σ, θ, ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant. Using (4.74) and letting /epsilon1 → 0 by Fatou Lemma we obtain

$$\int _ { B _ { R } ( x _ { 0 } ) } \frac { 1 } { A ( H ( \nabla u ) ) ^ { \alpha r } | x - y | ^ { \gamma } } \ d x \leq C ( \hat { C }, K _ { 1 }, m _ { A }, M _ { A }, r, R, x _ { 0 }, \gamma, \sigma, \theta, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ). \quad ( 4. 8 8 ) \\ \longrightarrow$$

/square

Before proving Theorem 1.1, let us remark that:

Remark 4.2. Supposing inf t A t ( ) &gt; 0 , the following proof of (1.5) can easily simplified in (4.90) in order to get u ∈ W 2 2 , loc (Ω) , without hypothesis on M A .

Proof of Theorem 1.1. First we prove (1.5). Let x 0 ∈ Ω and R &gt; 0 such that B := B R ( x 0 ) ⊂⊂ Ω . Fix /epsilon1 &gt; 0 and consider G /epsilon1 defined in (3.33). We prove that

$$W _ { \varepsilon, i } \coloneqq G _ { \varepsilon } ( u _ { i } ) \in W _ { l o c } ^ { 1, 2 } ( \Omega ),$$

uniformly in ε . Let us remark that, for fixed ε &gt; 0, since u ∈ C 2 (Ω \ Z u ) , and G ε ( u i ) = 0 whenever | u i | ≤ ε then W ε,i ∈ W 1 , ∞ loc (Ω). Moreover ∂ x j ( W ε,i ) = G ′ ε ( u i ) u ij χ {| u i | &gt;ε } and

$$\int _ { B } | \nabla W _ { \varepsilon, i } | ^ { 2 } \ d x \leq 4 \int _ { B \langle Z _ { u } } | D ^ { 2 } u | ^ { 2 } \ d x.$$

Taking β &lt; 1 we get

$$\int _ { B \nwarrow Z _ { u } } ^ { \lambda \cdot \lambda } | D ^ { 2 } u | ^ { 2 } \ d x = \int _ { B \nwarrow Z _ { u } } | D ^ { 2 } u | ^ { 2 } \frac { \min \{ H ( \nabla u ) ^ { m _ { A } }, H ( \nabla u ) ^ { M _ { A } } \} } { | \nabla u | ^ { \beta } } \frac { | \nabla u | ^ { \beta } } { \min \{ H ( \nabla u ) ^ { m _ { A } }, H ( \nabla u ) ^ { M _ { A } } \} } \ d x.$$

Using Theorem 3.2, we can choose β ≈ 1 -. Since we are assuming M &lt; , A 1 then (2.9) and (2.12) we get

$$& \text{we gcc} \\ & \int _ { B \sqrt { Z } _ { u } } | D ^ { 2 } u | ^ { 2 } \ d x \leq C ( c _ { 1 }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ) \int _ { B \sqrt { Z } _ { u } } \frac { \min \{ H ( \nabla u ) ^ { m _ { A } }, H ( \nabla u ) ^ { M _ { A } } \} } { | \nabla u | ^ { \beta } } | D ^ { 2 } u | ^ { 2 } \ d x \\ & \leq C ( c _ { 1 }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ) \int _ { B \sqrt { Z } _ { u } } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | \nabla u | ^ { \beta } } \ d x \leq \hat { C } \cdot C ( \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ), \\ & \text{where } C ( c _ { 1 }, \| \nabla u \| _ { L ^ { \infty } _ { l o c } ( \Omega ) } ) \text{ is a positive constant and } \hat { C } \text{ is given by Theorem 3.2.  Following the}$$

where C c , ( 1 ‖∇ ‖ u L ∞ loc (Ω) ) is a positive constant and ˆ C is given by Theorem 3 2. . Following the proof of Proposition 3.3 from (3.54) we get the thesis.

Now we suppose M A ≥ 1. In this case,

$$\int _ { B } | \nabla W _ { \varepsilon, i } | ^ { q } \ d x \leq 2 ^ { q } \int _ { B \searrow Z _ { u } } | D ^ { 2 } u | ^ { q } \ d x. \\ \sim f \, \bar { U } / \nabla \pi \cdots \times 1 \, \min \, \bar { U } \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \end{cases}$$

If we set B 1 := B ∩ { H ( ∇ u ) &lt; 1 , using Holder inequality and (2.9) we can deduce }

$$J _ { B } \, | \, \cdots \,, \cdots \, - \, \ J _ { B \nabla Z _ { u } } \, | \, - \, - \, | \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdot \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cd: \\ \text{If we set } B _ { 1 } \coloneqq B \, \cap \{ B ( \nabla u ) < 1 \}, \, \text{using Holder inequality and (2.9) we can deduce} \\ \int _ { B _ { 1 } } | D ^ { 2 } u | ^ { q } \, d x & = \int _ { B _ { 1 } } ( | D ^ { 2 } u | ^ { 2 } ) ^ { \frac { q } { 2 } } \, \frac { A ( H ( \nabla u ) ) ) ^ { \frac { q } { 2 } } } { | \nabla u | ^ { \beta } } \frac { | \nabla u | ^ { \beta } } { | \nabla u | ^ { \beta } } \, d x \right ) ^ { \frac { q } { 2 } } \left ( \int _ { B _ { 1 } } \left ( \frac { | \nabla u | ^ { \beta } } { A ( H ( \nabla u ) ) } \right ) ^ { \frac { \beta } { 2 } - q } } \, d x \right ) ^ { \frac { q } { 2 } - q } \\ & \leq C ( c _ { 1 }, \beta ) \left ( \int _ { B } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | \nabla u | ^ { \beta } } \, d x \right ) ^ { \frac { q } { 2 } } \left ( \int _ { B _ { 1 } } \left ( \frac { A ( H ( \nabla u ) ) ) ^ { \frac { \beta } { 2 } } } \frac { \frac { q } { 2 } } { A ( H ( \nabla u ) ) } \right ) ^ { \frac { q } { 2 } - q } \, d x \right ) ^ { \frac { q } { 2 } - q } \\ & \leq C ( c _ { 1 }, \beta ) \left ( \int _ { B } \frac { A ( H ( \nabla u ) ) | D ^ { 2 } u | ^ { 2 } } { | \nabla u | ^ { \beta } } \, d x \right ) ^ { \frac { q } { 2 } } \left ( \int _ { B _ { 1 } } \frac { 1 } { A ( H ( \nabla u ) ) ^ { \frac { q } { 2 } ( M _ { A } - \beta ) } } \, d x \right ) ^ { \frac { q } { 2 } - q }. \\ \text{Applying Theorem 3.2 and Theorem 4.1 we have} \\ \int _ { B _ { 1 } } | R ^ { 2 } u | ^ { q } \, R ^ { 2 } \, \cdots | \, \cdots \, + \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cd.: \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdclots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \colots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \dots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \ddots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \cdots \, \end{array}$$

Applying Theorem 3.2 and Theorem 4.1 we have

$$\int _ { B _ { 1 } } | D ^ { 2 } u | ^ { q } \, d x < + \infty. & & ( 4. 9 4 ) \\ \sim \mathcal { C } ^ { 2 } ( \mathcal { O } \, \vee \, \mathcal { Z } \, \vee \, \mathfrak { m o n t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t u d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o dt o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o c t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d todo d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d t o d s t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t tt t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t$$

$$\int _ { B _ { 2 } } | D ^ { 2 } u | ^ { q } \ d x & < + \infty. \\ \infty _ { - }$$

On the other hand, since u ∈ C 2 (Ω \ Z u ) we note that on the set B 2 := B ∩ { H ( ∇ u ) ≥ 1 , we } have

By (4.94) and (4.95) we can conclude that u ∈ W 2 ,q loc

(Ω). /square

Acknowledgements

- L. Muglia, and D. Vuono are members of INdAM. L. Muglia and D. Vuono are partially supported by PRIN project P2022YFAJH 003 (Italy): Linear and nonlinear PDEs; new directions and applications.

Data availability statement All data generated or analyzed during this study are included in this published article.

Conflict of interest statement The authors declare that they have no competing interest.

## References

- [1] Adams R.A., Sobolev spaces , Academic Press, New York, 1975.
- [2] Antonini C. A., Ciraolo G., Farina A., Interior regularity results for inhomogeneous anisotropic quasilinear equations, Math. Ann. 387 (3), (2023), 1745-1776.
- [3] Antonini C. A., Cianchi A., Ciraolo G., Farina A., Maz' ya V., Global second-order estimates in anisotropic elliptic problems, arXiv preprint (2023), arXiv preprint arXiv:2307.03052.
- [4] Avelin, B., Kuusi, T., Mingione, G., Nonlinear Calder´n-Zygmund theory in the limiting case o , Arch. Ration. Mech. Anal., 227 (2), (2018), 663-714.
- [5] Balci A.K., Diening L., Weimar M., Higher order Calder´n-Zygmund estimates for the o p -Laplace equation , Journal of Differential Equations 268 (2), (2020), 590-635.
- [6] Balci A., Cianchi A., Diening L., Maz'ya V., A pointwise differential inequality and second-order regularity for nonlinear elliptic systems, Math. Ann., 383 (3-4), (2022), 1775-1824.
- [7] Baratta D., Sciunzi B., Vuono D., Third order estimates and the regularity of the stress field for solutions to p -Laplace equations , arXiv preprint arXiv:2402.17566
- [8] Braides A., Riey G., Solci M., Homogenization of Penrose tilings , C. R. Acad. Sci. Paris, Ser. I, 347, (2009), 697-700
- [9] Castorina D., Riey G., Sciunzi B., Hopf Lemma and regularity results for quasilinear anisotropic elliptic equations, Calc. Var. and PDE, 58, (2019), 1-18.
- [10] Cellina A., The regularity of solutions to some variational problems, including the p -Laplace equation for 2 ≤ p &lt; 3, ESAIM: Control, Optimisation and Calculus of Variations, 23 (4), (2017), 1543-1553.

[11]

Chirillo G., Montoro L., Muglia L., Sciunzi B.,

Existence and regularity for a general class of quasilinear elliptic problems involving the Hardy potential,

J. Differential Equations, 349, (2023), 1-52.

- [12] Cianchi A., Maz'ya V., Global Lipschitz regularity for a class of quasilinear elliptic equa- tions, Comm. Partial Differential Equations, 36 (1), (2011),100-133.

[13]

Cianchi A., Maz'ya V.,

Global Boundedness of the Gradient for a Class of Nonlinear Elliptic Systems

,

Archive for Rational Mechanics and Analysis, 212, (2014), 129-177.

- [14] Cianchi A., Maz' ya V., Second-order two-sided estimates in nonlinear elliptic problems , Archive for Rational Mechanics and Analysis, 229 (2), (2018), 569-599.
- [15] Cianchi A., Maz'ya V., Optimal second-order regularity for the p-Laplace system , J. Math. Pures Appl., 132 (9), (2019), 41-78.
- [16] Colombo, M., Mingione, G., Calder´n-Zygmund estimates and non-uniformly elliptic operators o , J. Funct. Anal., 270 (4), (2016), 1416-1478.
- [17] Cozzi M., Farina A., Valdinoci E., Monotonicity formulae and classification results for singular, degenerate, anisotropic PDEs, Advances in Math., 293, (2016), 343-384.
- [18] Cozzi M., Farina A., Valdinoci E., Gradient bounds and rigidity results for singular, degenerate, anisotropic partial differential equations, Comm. in Mathematical Physics, 331 (1), (2017),189-214.
- [19] Damascelli L., Sciunzi B., Regularity, monotonicity abd symmetry of positive solutions of m -Laplace equations, J. Differential Equations, 206 (2), (2004), 483-515.
- [20] De Filippis C., Mingione G., A borderline case of Calder´n-Zygmund estimates for nonuniformly elliptic probo lems , Algebra i Analiz, 31(3), (2019), 82-115.
- [21] De Filippis C., Mingione G., On the regularity of minima of non-autonomous functionals, The Journal of Geometric Analysis, 30, (2020), 1584-1626.
- [22] De Filippis C., Mingione G., Regularity for double phase problems at nearly linear growth, Arch. Rational Mech. Anal., 247 (5), (2023), Paper No. 85, 50 pp.
- [23] De Filippis C., Mingione G., Nonuniformly elliptic Schauder theory, Invent. Math., 234 (3), (2023), 1109-1196.
- [24] DiBenedetto E., C 1+ α local regularity of weak solutions of degenerate elliptic equations, Nonlinear Anal., 7(8), (1983), 827 - 850.

- [25] Diening L., Schwarzacher S., Global gradient estimates for the p ( ) · -Laplacian , Nonlinear Anal. TMA, 106, 70-85
- [26] Duzaar F., Mingione G., Gradient continuity estimates , Calc. Var. Partial Differential Equations, 39 (3-4), (2010), 379-418.
- [27] Duzaar F., Mingione G., Gradient estimates via non-linear potentials , Amer. J. Math., 133 (4), (2011), 10931149.
- [28] Guarnotta U., Mosconi S., A general notion of uniform ellipticity and the regularity of the stress field for elliptic equations in divergence form , Anal. PDE, 16 (8), (2023), 1955-1988.
- [29] Esposito F., Sciunzi B., Trombetta A., Regularity and symmetry results for nonlinear degenerate elliptic equations, J. Differential Equations, 336, (2022), 315-333.
- [30] Gilbarg D., Trudinger N.S., Elliptic partial differential equations of second order , Springer, Reprint of the 1998 Edition.
- [31] Korolev A. G., On boundedness of generalized solutions of elliptic differential equations with nonpower nonlinearities, Mathematics of the USSR-Sbornik, 66 (1), (1990), 83.
- [32] Ladyzhenskaya O.A, Uraltseva N.N., Linear and quasilinear elliptic equations , Academic Press, New York, 1968.
- [33] Kuusi T., Mingione G., Vectorial nonlinear potential theory , J. Eur. Math. Soc., 20 (4), 2018, 929-1004.
- [34] Lieberman G.M., Boundary regularity for solutions of degenerate elliptic equations, Nonlinear Anal., 12 (11), (1988), 1203-1219.
- [35] Lieberman G.M., The natural generalization of the natural conditions of Ladyzhenskaya and Uraltseva for elliptic equations, Comm. Partial Differential Equations, 16 (2-3), (1991), 311-361
- [36] Mingione G., Calder´n-Zygmund estimates for measure data problems o . C. R. Math. Acad. Sci. Paris, 344 (7), (2007), 437-442.
- [37] Mingione G., The Calder´n-Zygmund theory for elliptic problems with measure data. o Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 6 (2), (2007), 195-261
- [38] Montoro L., Muglia L., Sciunzi B., Optimal second order boundary regularity for solutions to p-Laplace equations , ArXiv preprint arXiv:2305.08447
- [39] Montoro L., Muglia L., Sciunzi B., Vuono D., Regularity and symmetry results for the vectorial p -Laplacian , Nonlinear Analysis 251 (2025): 113700.
- [40] Sciunzi B., Some results on the qualitative properties of positive solutions of quasilinear elliptic equations , NoDEA. Nonlinear Differential Equations and Applications, 1 4 (3-4), (2007), 315-334.
- [41] Sciunzi B., Regularity and comparison principles for p-Laplace equations with vanishing source term , Comm. Cont. Math., 16 (6), (2014), 1450013, 20.
- [42] Tolksdorf P., Regularity for a more general class of quasilinear elliptic equations, J. Diff. Equations, 51, (1984), 126-150.

∗ Dipartimento di Matematica e Informatica, UNICAL, Ponte Pietro Bucci 31B, 87036 Arcavacata di Rende, Cosenza, Italy

Email address : daniel.baratta@unical.it

Email address : muglia@mat.unical.it

Email address : domenico.vuono@unical.it
Daniel Baratta Luigi Muglia Domenico Vuono
Second order regularity for solutions to anisotropic degenerate elliptic equations
We consider solutions to degenerate anisotropic elliptic equations in order
to study their regularity. In particular we establish second-order estimates
and enclose regularity results for the stress field. All our results are new
even in the euclidean case.