Skip to main content

Orlicz regularity of the gradient of solutions to quasilinear elliptic equations in the plane


Given a planar domain Ω, we study the Dirichlet problem

$$\textstyle\begin{cases} {-}\operatorname {div}A(x, \nabla v)= f & \mbox{in } \Omega,\\ v=0 & \mbox{on } \partial\Omega, \end{cases} $$

where the higher-order term is a quasilinear elliptic operator, and f belongs to the Zygmund space \(L (\log L)^{\delta} (\log\log\log L)^{\frac{\beta}{2}}(\Omega)\) with \(\beta\geq0\) and \(\delta\geq \frac{1}{2}\).

We prove that the gradient of the variational solution \(v \in W^{1,2}_{0}(\Omega)\) belongs to the space \(L^{2} (\log L)^{2\delta-1} (\log \log\log L)^{\beta}(\Omega)\).

1 Introduction

In this paper we consider the following Dirichlet problem on a bounded open set \(\Omega\subset \mathbb {R}^{2}\) with \(\mathcal{C}^{1}\) boundary:

$$ \textstyle\begin{cases} {-}\operatorname {div}A(x, \nabla v) = f & \mbox{in } \Omega,\\ v=0 & \mbox{on } \partial\Omega, \end{cases} $$

where f belongs to the Zygmund space \(L(\log L)^{\delta} (\log\log\log L)^{\frac{\beta}{2}}(\Omega)\) with \(\beta\geq0\) and \(\delta\geq\frac{1}{2}\). We prove that the distributional gradient of the unique solution \(v\in W^{1,2}_{0}(\Omega)\) to (1.1) satisfies \(|\nabla v|\in L^{2} (\log L)^{2\delta-1} (\log\log\log L)^{\beta }(\Omega)\).

Here \(A: \Omega\times \mathbb {R}^{2} \longrightarrow \mathbb {R}^{2}\) is a mapping of Leray-Lions type [1], that is,

$$ \begin{aligned} &A( \cdot, \xi) \mbox{ is measurable for all } \xi\in \mathbb {R}^{2}, \mbox{ and}\\ &A(x, \cdot) \mbox{ is continuous for almost every } x\in\Omega. \end{aligned} $$

Moreover, we assume that there exists \(K\geq1\) such that, for almost every \(x\in\Omega\) and for any \(\xi, \eta\in \mathbb {R}^{2}\),

$$ \begin{aligned} (\mathrm{i}) &\quad \bigl|A(x, \xi) - A(x, \eta)\bigr| \leq K|\xi- \eta|,\\ (\mathrm{ii}) &\quad |\xi- \eta|^{2} \leq K \bigl\langle A(x, \xi) - A(x, \eta), \xi -\eta\bigr\rangle ,\\ (\mathrm{iii}) &\quad A(x,0)=0. \end{aligned} $$

In [2], under assumptions (1.2) and (1.3), the authors proved the existence and uniqueness of the solution to the Dirichlet problem with \(f\in L^{1}(\Omega)\) in the grand Sobolev space \(W^{1,2)}_{0}(\Omega)\). Precisely, \(W^{1,2)}_{0}(\Omega)\) is the space of functions \(v\in W^{1,1}_{0}(\Omega)\) whose gradients belong to the grand Lebesgue space \(L^{2)}(\Omega)\) (see Section 2 for a definition).

Nowadays, a vast literature is available dealing with several types of a priori estimates on the gradients of solutions to equations of this kind; see, for example, [35].

We are interested in cases where the solution is the variational \(W^{1,2}(\Omega)\) solution. The minimal assumption on f that guarantees this is \(f\in L (\log L)^{\frac{1}{2}}(\Omega)\). This follows by the embedding in the plane (see [6, 7], and [8])

$$W^{1, 2}_{0} (\Omega) \hookrightarrow\exp_{2}( \Omega) $$

and by the duality relation (see [9])

$$\bigl((\exp_{2}) (\Omega) \bigr)'=L(\log L)^{\frac{1}{2}} (\Omega) . $$

In [10], the authors interpolate between the data spaces

$$L(\log L)^{\frac{1}{2}} (\Omega) \quad\mbox{and}\quad L(\log L) (\Omega). $$

To this aim, the following estimate was proved for \(0 \leq\beta\leq1\):

$$ \| \nabla v\|_{L^{2} (\log L)^{\beta}(\Omega)} \leq C(K, \beta) \| f \|_{L (\log L)^{\frac{(\beta+1)}{2}}(\Omega)}. $$

When f belongs to the Zygmund space \(L(\log L)^{\frac{1}{2}} (\log \log L)^{\frac{\beta}{2}}(\Omega)\) for \(0\leq\beta<2\), the unique solution v to the Dirichlet problem (1.1) satisfies \(|\nabla v|\in L^{2}(\log\log L)^{\beta}(\Omega)\) with the estimate

$$ \| \nabla v\|_{L^{2} (\log\log L)^{\beta}(\Omega)} \leq C(K, \beta) \| f\|_{L (\log L)^{\frac{1}{2}} (\log\log L)^{\frac{\beta}{2}}(\Omega)} $$

(see [11]). This generalizes a result of [12] obtained for \(\beta=1\).

Starting from the results of [11], in [13], the authors of the present paper prove an analogue of the previous result when the critical Zygmund class \(L(\log L)^{\frac{1}{2}}(\Omega)\) is perturbed in a weaker way, namely with perturbations of order \(\log \log \log L\). Precisely, in [13], it is proved that if \(\beta\geq 0\), then

$$ \| \nabla v\|_{L^{2} (\log\log\log L)^{\beta}(\Omega)} \leq C(K, \beta) \| f \|_{L (\log L)^{\frac{1}{2}} (\log\log\log L)^{\frac{\beta }{2}}(\Omega)}. $$

The aim of this paper is to extend the results of [13] to the case \(f\in L(\log L)^{\delta} (\log\log \log L)^{\frac {\beta}{2}}(\Omega)\) with \(\beta\geq0\) and \(\delta\geq\frac{1}{2}\), that is, to prove the following:

Theorem 1.1

Let \(A= A(x, \xi)\) satisfy (1.2) and (1.3), and let \(\beta \geq0\), \(\delta\geq\frac{1}{2}\). Then, if \(f\in L (\log L)^{\delta }(\log \log\log L)^{\frac{\beta}{2}}(\Omega)\), the gradient of the unique finite energy solution \(v\in W^{1,2}_{0}(\Omega)\) to the Dirichlet problem (1.1) belongs to the Orlicz space \(L^{2} (\log L)^{2\delta -1} (\log\log \log L)^{\beta}(\Omega, \mathbb {R}^{2})\), and the following estimate holds:

$$\| \nabla v\|_{L^{2} (\log L)^{2\delta-1}(\log\log\log L)^{\beta }(\Omega ;\mathbb {R}^{2})} \leq C(K, \beta, \delta) \| f\|_{L (\log L)^{\delta} (\log \log\log L)^{\frac{\beta}{2}}(\Omega)}. $$

In order to prove this theorem, we will find an integral expression equivalent to the Luxemburg norm in the Zygmund class (see Theorem 3.1), which is based on a method recently introduced in [14, 15].

We note that our method allows us to prove estimates (1.4) and (1.6) for any \(\beta\geq0\) (in particular, see Lemmas 2.3 and 2.4).

2 Preliminaries

Let Ω be a bounded domain in \(\mathbb {R}^{n}\), \(n\geq2\). A function u belongs to the Lebesgue space \(L^{p}(\Omega)\) with \(1\leq p < \infty\) if and only if

$$\| u\|_{L^{p}(\Omega)}= \biggl( \fint_{\Omega}|u|^{p} \,dx \biggr)^{\frac {1}{p}}< + \infty, $$

where \(\fint_{\Omega}=\frac{1}{|\Omega|} \int_{\Omega}\).

Now we recall some useful function spaces slightly larger than the classical Lebesgue spaces.

2.1 Grand Lebesgue spaces

For \(1< p<\infty\), let us consider the class, denoted by \(L^{p)}(\Omega )\), consisting of all measurable functions \(u\in\bigcap_{1\leq q < p} L^{q}(\Omega)\) such that

$$\sup_{0< \varepsilon\leq p-1} \biggl\{ \varepsilon \fint_{\Omega} \bigl|u(x)\bigr|^{p- \varepsilon} \biggr\} ^{\frac{1}{p-\varepsilon}} < + \infty $$

which was introduced in [16]; \(L^{p)}(\Omega)\) becomes a Banach space, the grand Lebesgue space \(L^{p)}(\Omega)\), equipped with the norm

$$\| u \|_{L^{p)}(\Omega)}= \sup_{0< \varepsilon\leq p-1} \varepsilon ^{\frac{1}{p}} \biggl\{ \fint_{\Omega} \bigl|u(x)\bigr|^{p- \varepsilon} \biggr\} ^{\frac{1}{p-\varepsilon}}. $$

Moreover, \(\| u \|_{L^{p)}(\Omega)} \) is equivalent to

$$\sup_{0< \varepsilon\leq p-1} \biggl\{ \varepsilon \fint_{\Omega} \bigl|u(x)\bigr|^{p- \varepsilon} \biggr\} ^{\frac{1}{p-\varepsilon}}. $$

In general, if \(0<\alpha<\infty\), then we can define the space \(L^{\alpha, p)}(\Omega)\) as the space of all measurable functions \(u\in \bigcap_{1\leq q < p} L^{q}(\Omega)\) such that

$$\|u\|_{L^{\alpha, p)}(\Omega)}=\sup_{0< \varepsilon\leq p-1} \bigl\{ \varepsilon^{\frac{\alpha}{p}}\|u\|_{p- \varepsilon} \bigr\} < + \infty . $$

2.2 Orlicz spaces

Let Ω be an open set in \(\mathbb {R}^{n}\) with \(n\geq2\). A function \(\Phi: [0, + \infty) \rightarrow[0, + \infty)\) is called a Young function if it is convex, left-continuous, and vanishes at 0; thus, any Young function Φ admits the representation

$$\Phi(t)= \int_{0}^{t} \phi(s)\,ds \quad\mbox{for } t \geq0, $$

where \(\phi: [0, + \infty) \rightarrow[0, + \infty)\) is a nondecreasing left-continuous function that is neither identically equal to 0 nor to ∞.

The Orlicz space associated to Φ, named \(L^{\Phi }(\Omega)\), consists of all Lebesgue-measurable functions \(f: \Omega \rightarrow \mathbb {R}\) such that

$$\int_{\Omega} \Phi\bigl(\lambda|f|\bigr) < \infty\quad\mbox{for some } \lambda= \lambda(f)>0. $$

\(L^{\Phi}(\Omega)\) is a Banach space equipped with the Luxemburg norm

$$\| f \|_{L^{\Phi}(\Omega)} = \inf \biggl\{ \frac{1}{\lambda}: \int _{\Omega} \Phi\bigl(\lambda|f|\bigr) \leq1 \biggr\} . $$

Examples of Orlicz spaces:

  1. (1)

    If \(\Phi(t)= t^{p}\) for \(1 \leq p < \infty\), then \(L^{\Phi }(\Omega)\) is the classical Lebesgue space \(L^{p}(\Omega)\).

  2. (2)

    If \(\Phi(t)= t^{p} ( \log(a+ t) )^{q}\) with either \(p>1\) and \(q\in \mathbb {R}\) or \(p=1\) and \(q\geq0\) and where \(a \geq e\), then \(L^{\Phi}(\Omega)\) is the Zygmund space denoted by \(L^{p} (\log L)^{q}(\Omega)\).

  3. (3)

    If \(\Phi(t)= t^{p} (\log(a+t) )^{q_{1}} ( \log\log \log(a + t) )^{q_{2}}\) with either \(p>1\) and \(q_{1},q_{2}\in \mathbb {R}\) or \(p=1\) and \(q_{1},q_{2}\geq0\) and where \(a \geq e^{e^{e}}\), then \(L^{\Phi }(\Omega)\) is the space \(L^{p} (\log L)^{q_{1}}(\log\log\log L)^{q_{2}} (\Omega)\).

  4. (4)

    If \(\Phi(s)= e^{t^{a}}-1\) and \(a>0\), then \(L^{\Phi}(\Omega )\) is the space of a-exponentially integrable functions \(\operatorname {EXP}_{a}(\Omega)\).

    We denote by \(\exp_{a}(\Omega)\) the closure of \(L^{\infty}(\Omega )\) in \(\operatorname {EXP}_{a}(\Omega)\).

The Young complementary function is given by

$$\tilde{\Phi}(t)= \int_{0}^{t} \phi^{-1}(s)\,ds, $$


$$\phi^{-1}(s)= \sup\bigl\{ r: \phi(r) \leq s \bigr\} . $$

Moreover, the following Hölder-type inequality holds:

$$\biggl\vert \int_{\Omega} f(x) g(x)\,dx \biggr\vert \leq C(\Phi) \| f\| _{L^{\Phi}(\Omega)}\| g\|_{L^{\tilde{\Phi}}(\Omega)} $$

for \(f\in L^{\Phi}(\Omega)\) and \(g\in L^{\tilde{\Phi }}(\Omega)\).

Definition 2.1

A Young function Φ satisfies the \(\Delta_{2}\)-condition (\(\Phi\in \Delta_{2}\)) if

$$\Phi(2s) \leq C \Phi(s) $$

for some constant \(C\geq2\) and all \(s>0\).

By the Riesz representation theorem, if Φ and Φ̃ belong to the class \(\Delta_{2}\), then the dual space of \(L^{\Phi }(\Omega)\) is \(L^{\tilde{\Phi}}(\Omega)\).

Now we recall the explicit expression of the duals of some Orlicz spaces (see [1719]).

Theorem 2.1

Let \(\Omega\subset \mathbb {R}^{n}\) be an open set. If \(1 < p < \infty\) and \(q, q_{1}, q_{2}\in \mathbb {R}\), then

  • \((L^{p} (\log L)^{q}(\Omega) )' \cong L^{p'} (\log L)^{-\frac{q}{p-1}}(\Omega)\),

  • \((L^{p} (\log\log\log L)^{q} (\Omega) )' \cong L^{p'} (\log\log\log L)^{-\frac{q}{p-1}}(\Omega)\),

  • \((L^{p} (\log L)^{q_{1}}(\log\log\log L)^{q_{2}} (\Omega ) )' \cong L^{p'} (\log L)^{-\frac{q_{1}}{p-1}}(\log\log\log L)^{-\frac {q_{2}}{p-1}}(\Omega)\),

where \(p'\) is the conjugate exponent of p, that is, \(\frac{1}{p}+ \frac{1}{p'}=1\).

If \(p=1\) and \(q>0\), then

  • \((L(\log L)^{q}(\Omega) )' \cong \operatorname {EXP}_{\frac{1}{q}} (\Omega)\).

Given two Young functions Φ and Ψ, we say that Ψ dominates Φ globally (respectively near infinity) if there exists a constant \(k>0\) such that

$$\Phi(t)\leq\Psi(kt) \quad\mbox{for all } t\geq0 \mbox{ (respectively for all } t \geq t_{0} \mbox{ for some } t_{0}>0) ; $$

moreover, Φ and Ψ are equivalent globally (respectively near infinity, \(\Phi\cong\Psi\)) if each dominates the other globally (respectively near infinity). If Φ̃ and Ψ̃ are the complementary Young functions of, respectively, Φ and Ψ, then Ψ dominates Φ globally (or near infinity) if and only if Φ̃ dominates Ψ̃ globally (or near infinity). Similarly, Φ and Ψ are equivalent if and only if Φ̃ and Ψ̃ are equivalent. We have the following result.

Theorem 2.2

The continuous embedding \(L^{\Psi}(\Omega)\hookrightarrow L^{\Phi }(\Omega)\) holds if and only if either Ψ dominates Φ globally or Ψ dominates Φ near infinity and Ω has finite measure.

Finally, we recall the definition of the Orlicz-Sobolev spaces \(W^{1,\Psi}(\Omega)\) and \(W^{1,\Psi }_{0}(\Omega)\) (see [2023]). The space \(W^{1,\Psi }(\Omega)\) consists of the equivalence classes of functions u in \(L^{\Psi}(\Omega)\) whose distributional gradients u belong to \(L^{\Psi}\). This is a Banach space with respect to the norm given by

$$\|u\|_{W^{1,\Psi}(\Omega)}=\|u\|_{L^{\Psi}(\Omega)}+\|\nabla u\| _{L^{\Psi}(\Omega)} . $$

As in the case of the ordinary Sobolev space, \(W^{1,\Psi }_{0}(\Omega)\) coincides with the closure of \(C^{\infty}_{0}(\Omega)\) in \(W^{1,\Psi}(\Omega)\).

2.3 Orlicz-Sobolev imbeddings

Lemma 2.3

Let \(\Phi(t)=\exp \{\frac{t^{\frac{1}{\delta}}}{ (\log (e + \log (e+ t)) )^{\frac{\beta}{2\delta}}} \}-1\) with \(\beta\in \mathbb {R}\) and \(\delta>0\). Then

$$ \tilde{\Phi}(t)\cong t (\log t )^{\delta} ( \log \log \log t )^{\frac{\beta}{2}}. $$


Since Φ is a Young function, by definition we have

$$\Phi(t)= \int_{0}^{t} \phi(s)\,ds, $$

where ϕ is equivalent near infinity to

$$\Phi(s) \cdot \biggl[\frac{s^{\frac{1}{\delta}-1}}{\delta (\log\log s )^{\frac{\beta}{2\delta}}}- \frac{\beta s^{\frac{1}{\delta }-1}}{2\delta(\log s) \cdot (\log\log s )^{\frac{\beta }{2\delta } +1}} \biggr]. $$

For large s, we have

$$\phi(s)\cong\Phi(s) \frac{s^{\frac{1}{\delta}-1}}{\delta (\log\log s )^{\frac{\beta}{2\delta}}}, $$

and we will prove that, near infinity,

$$ \phi(s)\cong\Phi(s). $$

We begin with the case \(\delta\leq1\). Then we can state that there exists \(c>1\) such that

$$\begin{aligned} \exp \biggl\{ \frac{s^{\frac{1}{\delta}}}{ (\log\log s )^{\frac {\beta}{2\delta}} } \biggr\} &\leq\exp \biggl\{ \frac{s^{\frac {1}{\delta }}}{ (\log\log s )^{\frac{\beta}{2\delta}} } \biggr\} \cdot \frac{s^{\frac{1}{\delta}-1}}{\delta (\log\log s )^{\frac{\beta }{2\delta}}} \\ &\leq\exp \biggl\{ \frac{(cs)^{\frac{1}{\delta }}}{ (\log\log(cs) )^{\frac{\beta}{2\delta}} } \biggr\} . \end{aligned}$$

Similarly, in the case \(\delta>1\), there exists \(c\in(0,1)\) such that

$$\begin{aligned} \exp \biggl\{ \frac{(cs)^{\frac{1}{\delta}}}{ (\log\log (cs) )^{\frac{\beta}{2\delta}} } \biggr\} &\leq\exp \biggl\{ \frac {s^{\frac {1}{\delta}}}{ (\log\log s )^{\frac{\beta}{2\delta}} } \biggr\} \cdot \frac{s^{\frac{1}{\delta}-1}}{\delta (\log\log s )^{\frac{\beta }{2\delta}}}\\ &\leq\exp \biggl\{ \frac{s^{\frac{1}{\delta }}}{ (\log \log s )^{\frac{\beta}{2\delta}} } \biggr\} . \end{aligned}$$

Hence, (2.2) is proved, and then it is not difficult to check that

$$\phi^{-1}(r) \cong(\log r)^{\delta} (\log\log\log r )^{\frac {\beta}{2}}. $$

By the definition of a complementary Young function, for large y, we obtain that

$$\tilde{\Phi}(y)= \int_{0}^{y} \phi^{-1} (r)\,dr\cong y ( \log y)^{\delta } (\log\log\log y )^{\frac{\beta}{2}}. $$


Given a Young function Ψ such that

$$\int_{0} \biggl(\frac{r}{\Psi(r)} \biggr)\,dr< \infty, $$

we define \(\Phi: [0, + \infty) \rightarrow[0, + \infty)\) as

$$ \Phi(s)= \Psi\circ H^{-1}_{2}(s) \quad\mbox{for } s \geq0 , $$

where \(H^{-1}_{2}(s)\) is the (generalized) left-continuous inverse of the function \(H_{2}: [0, + \infty) \rightarrow[0, + \infty)\) given by

$$ H_{2}(r)= \biggl( \int_{0}^{r} \biggl(\frac{t}{\Psi(t)} \biggr)\,dt \biggr)^{\frac{1}{2}} \quad\mbox{for } r \geq0 . $$

In [24] and in [25], the author showed that Φ is a Young function and that the following Sobolev-Orlicz embedding theorem holds:

$$\| u\|_{L^{\Phi}(\Omega)} \leq C \| \nabla u \|_{L^{\Psi}(\Omega)} $$

for every function u in the Orlicz-Sobolev space \(W^{1, \Psi}(\Omega )\). As an application, we prove an embedding theorem, which can be regarded as an extension of Lemma 2.4 in [13].

Lemma 2.4

Let \(\Omega\subset \mathbb {R}^{2}\) be an open bounded set with \(\mathcal{C}^{1}\) boundary. Consider the Young function

$$\Psi(t)= t^{2} (\log t )^{1-2\delta} ( \log\log\log t )^{-\beta} $$

with \(\beta\in \mathbb {R}\) and \({\delta\geq\frac{1}{2}}\). Then

$$W^{1, \Psi}(\Omega) \hookrightarrow L^{\Phi}(\Omega), $$


$$ \Phi(s)\cong e^{s^{\frac{1}{\delta}} ( \log\log s )^{-\frac {\beta}{2\delta}}} . $$


By (2.4) we have that

$$H_{2}(r)= \biggl( \int_{0}^{r} \frac{(\log t)^{2\delta-1}(\log\log\log t)^{\beta}}{t}\,dt \biggr)^{\frac{1}{2}} \cong ( \log r )^{\delta} (\log\log\log r)^{\frac{\beta}{2}}. $$

Moreover, as shown in the proof of Lemma 2.3, the inverse function \(H^{-1}_{2}(s)\) is equivalent near infinity to

$$e^{s^{\frac{1}{\delta}} ( \log\log s )^{-\frac{\beta }{2\delta}}}. $$

By (2.3) we obtain that

$$\begin{aligned} \Phi(s) &\cong e^{2s^{\frac{1}{\delta}} ( \log\log s )^{-\frac{\beta}{2\delta}}} \bigl(s^{\frac{1}{\delta}}( \log\log s)^{-\frac {\beta}{2\delta}} \bigr)^{1-2\delta} \bigl(\log\log s^{\frac {1}{\delta }}( \log\log s)^{-\frac{\beta}{2\delta}} \bigr)^{-\beta}\\ &\cong e^{s^{\frac{1}{\delta}} ( \log\log s )^{-\frac{\beta }{2\delta}}}, \end{aligned}$$

and we conclude that

$$W^{1, \Psi}(\Omega) \hookrightarrow L^{\Phi} (\Omega) . $$


Remark 2.5

The previous lemma for \(\delta=\frac{1}{2}\) and \(\beta=0\) was proved in [6, 7], and [8]. The case \(\beta=0\) and \(\delta> \frac{1}{2}\) is proved in [26].

3 Equivalent norm on the Zygmund spaces \(L^{q}(\log L)^{-\gamma }(\log\log\log L)^{-\beta}(\Omega)\)

The main tool of this section is to obtain an integral expression equivalent to the Luxemburg norm in \(L^{q}(\log L)^{-\gamma} ( \log \log\log L )^{-\beta}(\Omega)\) with \(1< q<\infty\), \(\beta\geq0\) and \(\gamma>0\).

If f is a measurable function on Ω, we set

$$ |\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} ( \log\log\log L )^{-\beta }(\Omega)}= \biggl\{ \int_{0}^{\varepsilon_{0}} \varepsilon^{\gamma-1} \| f\| _{L^{q- \varepsilon} ( \log\log\log L )^{-\beta}(\Omega )}^{q} \,d\varepsilon \biggr\} ^{\frac{1}{q}} . $$

Here \(\varepsilon_{0} \in \,] 0, q-1]\) is fixed.

For \(\beta=0\), (3.1) becomes

$$|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma}(\Omega)}= \biggl\{ \int _{0}^{\varepsilon_{0}} \varepsilon^{\gamma-1} \| f \|_{L^{q- \varepsilon}(\Omega)}^{q} \,d\varepsilon \biggr\} ^{\frac{1}{q}} $$

as in [15].

Theorem 3.1

We have \(f\in L^{q} (\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)\) if and only if

$$|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)} < + \infty. $$

Moreover, \(|\!|\!|\cdot |\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta}(\Omega)}\) is a norm equivalent to the Luxemburg one, that is, there exist constants \(C_{i}= C_{i}(q, \beta,\gamma,\varepsilon _{0})\), \(i=1, 2\), such that, for all \(f\in L^{q}(\log L)^{-\gamma} (\log \log \log L )^{-\beta}(\Omega)\),

$$\begin{aligned} C_{1} \| f \|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)} &\leq|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log \log\log L )^{-\beta}(\Omega)}\\ &\leq C_{2} \| f \|_{L^{q}(\log L)^{-\gamma } (\log\log\log L )^{-\beta}(\Omega)}. \end{aligned}$$


It is easy to check that \(|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log \log L )^{-\beta}(\Omega)}\), defined by (3.1), is a norm on \(L^{q}(\log L)^{-\gamma}(\log\log\log L)^{-\beta}(\Omega)\).

Moreover, for any measurable function f and for a.e. \(x\in\Omega\), if \(a\geq e^{e^{e}}\), then we have

$$|f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon}\leq|f|^{q-\varepsilon} \leq2^{q-1} \bigl[a^{q}+|f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon} \bigr], $$

and so we deduce

$$\begin{aligned} |f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon}\bigl(\log\log\log\bigl(a+|f|\bigr) \bigr)^{-\beta}\leq{}& |f|^{q-\varepsilon}\bigl(\log\log\log\bigl(a+|f|\bigr) \bigr)^{-\beta}\\ \leq{}&2^{q-1} \bigl[a^{q}+|f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon} \bigr]\\ &{}\times\bigl(\log\log \log \bigl(a+|f|\bigr)\bigr)^{-\beta} . \end{aligned}$$

Integrating over Ω, we get

$$\begin{aligned} &\fint_{\Omega} |f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon}\bigl(\log \log\log \bigl(a+|f|\bigr)\bigr)^{-\beta}\,dx\\ &\quad\leq\|f\|_{L^{q-\varepsilon}(\log\log\log L)^{-\beta}(\Omega)} ^{q-\varepsilon} \\ &\quad\leq2^{q-1}a^{q} +2^{q-1} \fint_{\Omega}|f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon }\bigl(\log \log\log\bigl(a+|f|\bigr)\bigr)^{-\beta}\,dx . \end{aligned}$$

Then we multiply for \(\varepsilon^{\gamma-1}\) and integrate between 0 and \(\varepsilon_{0}\) to obtain:

$$\begin{aligned} & \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma-1} \biggl[ \fint _{\Omega} |f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon}\bigl(\log \log\log\bigl(a+|f|\bigr)\bigr)^{-\beta}\,dx \biggr]\,d\varepsilon \\ &\quad \leq \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma -1}\|f\|_{L^{q-\varepsilon}(\log\log\log L)^{-\beta}(\Omega)} ^{q-\varepsilon}\,d\varepsilon\\ &\quad\leq2^{q-1}a^{q} \frac{\varepsilon_{0}^{\gamma}}{\gamma}+ 2^{q-1} \int _{0}^{\varepsilon_{0}}\varepsilon^{\gamma-1} \biggl[ \fint_{\Omega} |f|^{q}\bigl(a+|f|\bigr)^{-\varepsilon}\bigl(\log \log\log\bigl(a+|f|\bigr)\bigr)^{-\beta}\,dx \biggr]\,d\varepsilon. \end{aligned}$$

Thanks to Lemma 4.3 of [11], used with the choice \(b=a+|f|\), we obtain that there exist two constant \(C_{1}\), \(C_{2}\), depending only on γ and \(\varepsilon_{0}\), such that

$$\begin{aligned} C_{1} \fint_{\Omega} & |f|^{q}\bigl(\log\bigl(a+|f|\bigr) \bigr)^{-\gamma} \bigl(\log \log\log \bigl(a+|f|\bigr) \bigr)^{-\beta}\,dx \\ & \leq \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma -1}\|f\|_{L^{q-\varepsilon}(\log\log\log L)^{-\beta}(\Omega )}^{q-\varepsilon}\,d\varepsilon \\ & \leq C_{2} \biggl[1+ \fint_{\Omega} |f|^{q}\bigl(\log \bigl(a+|f|\bigr) \bigr)^{-\gamma} \bigl(\log\log\log\bigl(a+|f|\bigr) \bigr)^{-\beta}\,dx \biggr]. \end{aligned}$$

If \(|\!|\!|f|\!|\!|_{L^{q} (\log\log\log L )^{-\beta}(\Omega )}\) is finite, then since

$$ \|f\|^{q-\varepsilon} _{L^{q-\varepsilon}(\log\log\log L)^{-\beta }(\Omega)}\leq\|f\|^{q} _{L^{q-\varepsilon}(\log\log\log L)^{-\beta }(\Omega)}+1, $$

by the first inequality in (3.2) we get that \(f\in L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta}(\Omega)\). Moreover, if \(|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log \log L )^{-\beta}(\Omega)}=1\), then

$$\fint_{\Omega} |f|^{q}\bigl(\log(a+|f|) \bigr)^{-\gamma} \bigl(\log\log\log (a+|f|) \bigr)^{-\beta}\,dx \leq C_{3} , $$

where \(C_{3}\) is a constant independent on f. By homogeneity, for any measurable f, we get

$$\|f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega )}\leq C_{3} |\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log \log L )^{-\beta}(\Omega)} . $$

Before proving the converse, we recall that

$$ \sup_{0 < \sigma\leq q-1} \sigma^{\frac{\gamma}{q-\sigma}} \| f\| _{L^{q-\sigma} (\log\log\log L )^{-\beta}(\Omega)} \leq C_{4} \| f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)}. $$

Indeed, if we fix \(a\geq e^{e^{e}}\) and proceed as in Lemma 1.2 in [16], using the Hölder inequality and the inequality

$$\log^{\lambda}(a+t)\leq\lambda^{\lambda}(a+t), $$

we obtain

$$\begin{aligned} &\int_{\Omega}|f|^{q-\sigma} \bigl(\log\log\log \bigl(a+|f| \bigr) \bigr)^{-\beta}\\ &\quad= \int_{\Omega}\frac{|f|^{q-\sigma} (\log\log\log (a+|f|) )^{-\beta+\frac{\beta(q-\sigma)}{q}-\frac{\beta(q-\sigma )}{q}} (\log (a+|f|) )^{\frac{\gamma(q-\sigma)}{q}}}{ (\log(a+|f|) )^{\frac{\gamma(q-\sigma)}{q}}}\\ &\quad\leq \biggl[ \int_{\Omega}\frac{|f|^{q} (\log\log\log (a+|f|) )^{-\beta}}{ (\log(a+|f|) )^{\gamma}} \biggr]^{\frac {q-\sigma }{q}} \\ &\qquad{}\times\biggl[ \int_{\Omega}\bigl(\log\log\log \bigl(a+|f| \bigr) \bigr)^{(-\beta+\frac {\beta(q-\sigma)}{q})\frac{q}{\sigma}} \bigl(\log\bigl(a+|f|\bigr) \bigr)^{\frac {\gamma(q-\sigma)}{\sigma}} \biggr]^{\frac{\sigma}{q}} \\ &\quad\leq \biggl[ \int_{\Omega}\frac{|f|^{q} (\log\log\log (a+|f|) )^{-\beta}}{ (\log(a+|f|) )^{\gamma}} \biggr]^{\frac {q-\sigma }{q}} \\ &\qquad{}\times\biggl[ \biggl(\frac{\gamma(q-\sigma)}{\sigma} \biggr)^{\frac {\gamma (q-\sigma)}{\sigma}} \int_{\Omega}\bigl(\log\log\log \bigl(a+|f| \bigr) \bigr)^{-\beta}\bigl(a+|f|\bigr) \biggr]^{\frac{\sigma}{q}}\\ &\quad\leq \biggl[ \int_{\Omega}\frac{|f|^{q} (\log\log\log (a+|f| ) )^{-\beta}}{ (\log(a+|f|) )^{\gamma}} \biggr]^{\frac {q-\sigma }{q}} \biggl[ \biggl(\frac{\gamma(q-\sigma)}{\sigma} \biggr)^{\frac {\gamma (q-\sigma)}{\sigma}} \int_{\Omega}\bigl(a+|f|\bigr) \biggr]^{\frac{\sigma}{q}}. \end{aligned}$$

Hence, elevating both sides of this inequality to the power \(\frac {1}{q-\sigma}\) and then multiplying both of them by \(\sigma^{\frac {\gamma}{q-\sigma}}\), we deduce

$$\begin{aligned} \biggl[\sigma^{\gamma}&\int_{\Omega}|f|^{q-\sigma} \bigl(\log\log\log \bigl(a+|f| \bigr) \bigr)^{-\beta} \biggr]^{\frac{1}{q-\sigma}}\\ &\quad\leq \biggl[ \int_{\Omega}\frac{|f|^{q} (\log\log\log (a+|f| ) )^{-\beta}}{ (\log(a+|f|) )^{\gamma}} \biggr]^{\frac {1}{q}} \bigl(a|\Omega|+ \|f\|_{L^{1}(\Omega)} \bigr)^{\frac{\sigma}{q(q-\sigma )}}\gamma ^{\frac{\gamma}{q}}(q-\sigma)^{\frac{\gamma}{q}}\sigma^{\frac {\gamma \sigma}{q(q-\sigma)}}, \end{aligned}$$

and passing to the supremum with respect to \(\sigma\in(0,q-1]\), we get formula (3.3) with

$$C_{4}=\gamma^{\frac{\gamma}{q}}\sup_{0< \sigma\leq q-1} \bigl\{ \bigl(a| \Omega|+\|f\|_{L^{1}(\Omega)} \bigr)^{\frac{\sigma}{q(q-\sigma )}}(q- \sigma)^{\frac{\gamma}{q}}\sigma^{\frac{\gamma\sigma }{q(q-\sigma )}} \bigr\} . $$

If \(f\in L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)\), that is, if

$$ \|f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega )}< \infty $$

by (3.3), then there exists a constant \(C_{5}\) independent on f such that

$$ \|f\|_{L^{q-\varepsilon} (\log\log\log L )^{-\beta }(\Omega )}\leq C_{5} \varepsilon^{-\frac{\gamma}{q-\varepsilon}} \|f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)}. $$

By (3.5) we get

$$\begin{aligned} \|f\|^{q}_{L^{q-\varepsilon}(\log\log\log L)^{-\beta}(\Omega)}&= \|f\|^{q-\varepsilon}_{L^{q-\varepsilon}(\log\log\log L)^{-\beta }(\Omega )} \|f\|^{\varepsilon}_{L^{q-\varepsilon}(\log\log\log L)^{-\beta }(\Omega )} \\ &\leq C_{6} \|f\|^{q-\varepsilon}_{L^{q-\varepsilon}(\log\log\log L)^{-\beta}(\Omega)} \|f\|^{\varepsilon}_{L^{q}(\log L)^{-\gamma } (\log\log\log L )^{-\beta}(\Omega)}. \end{aligned}$$

Hence, by (3.2) we obtain that \(|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma } (\log\log\log L )^{-\beta}(\Omega)} <+\infty\). Indeed, if

$$\|f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega )}=1, $$

by (3.6) and (3.2) we get

$$|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)}< C_{7} , $$

where the constant \(C_{7}\) is independent on f. By homogeneity we conclude the proof, obtaining

$$|\!|\!|f|\!|\!|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta }(\Omega)}< C_{7} \|f\|_{L^{q}(\log L)^{-\gamma} (\log\log\log L )^{-\beta}(\Omega)} . $$


4 Proof of Theorem 1.1

In this section, before proving Theorem 1.1, we state a regularity result for elliptic equations with right-hand side in divergence form. For convenience of the reader, we recall Theorem 3.1 of [2].

Theorem 4.1

Let \(A=A(x,\xi)\) be a Leray-Lions mapping that satisfies (1.3). Then there exists \(\sigma_{0}= \sigma_{0}(K)>0\) such that, for \(|\sigma |\leq\sigma_{0}\) and \(\underline{\chi}_{1}\), \(\underline{\chi}_{2}\in L^{2-\sigma}( \Omega; \mathbb {R}^{2})\), each of the two problems

$$\begin{aligned}& \textstyle\begin{cases} \operatorname {div}A(x,\nabla\varphi_{1})=\operatorname {div}\underline{\chi}_{1} & \textit{in } \Omega,\\ \varphi_{1}\in W^{1,2-\sigma}_{0}(\Omega) , \end{cases}\displaystyle \end{aligned}$$
$$\begin{aligned}& \textstyle\begin{cases} \operatorname {div}A(x,\nabla\varphi_{2})=\operatorname {div}\underline{\chi}_{2} & \textit{in } \Omega,\\ \varphi_{2}\in W^{1,2-\sigma}_{0}(\Omega) , \end{cases}\displaystyle \end{aligned}$$

has a unique solution and

$$\| \nabla\varphi_{1}-\nabla\varphi_{2} \|_{L^{2-\sigma}(\Omega)} \leq C(K) \| \underline{\chi}_{1} - \underline{\chi}_{2} \|_{L^{2-\sigma }(\Omega)}, $$

where \(C(K)>0\) depends only on K.

Theorem 4.1 allows us to prove the following:

Theorem 4.2

Let \(A=A(x,\xi)\) be a Leray-Lions mapping that satisfies (1.3). Then, if \(\gamma>0\) and \(\beta\geq0\), for \(i=1,2\) and for any \(\underline{\chi}_{i}\in L^{2}(\log L)^{-\gamma}(\log\log\log L)^{-\beta }(\Omega; \mathbb {R}^{2})\), there exists a unique solution \(\varphi_{i}\) to the Dirichlet problem

$$\begin{aligned} \textstyle\begin{cases} \operatorname {div}A(x,\nabla\varphi_{i})=\operatorname {div}\underline{\chi}_{i} & \textit{in } \Omega,\\ \varphi_{i}\in W^{1,1}_{0}(\Omega) . \end{cases}\displaystyle \end{aligned}$$


$$ \|\nabla\varphi_{1}-\nabla\varphi_{2} \|_{L^{2}(\log L)^{-\gamma}(\log \log\log L)^{-\beta}(\Omega)}\leq C\|\underline{\chi}_{1}-\underline{\chi }_{2}\| _{L^{2}(\log L)^{-\gamma}(\log\log\log L)^{-\beta}(\Omega)}, $$

where \(C=C(\beta,\gamma,K)>0\) is a positive constant that depends on the parameters K, β, and γ.


By Theorem 4.1 there exists a positive constant \(\sigma_{0}=\sigma (K)\) such that if \(|\sigma|\leq\sigma_{0}\), then for \(i=1,2\) and for any \(\underline{\chi}_{i}\in L^{2-\sigma}(\Omega; \mathbb {R}^{2})\), problem (4.3) admits a unique solution \(\varphi_{i} \in W^{1, 2-\sigma}_{0}\), and

$$ \|\nabla\varphi_{1}-\nabla\varphi_{2} \|_{L^{2-\sigma}(\Omega)}\leq C\| \underline{\chi}_{1}-\underline{ \chi}_{2}\|_{L^{2-\sigma}(\Omega)} , $$

where \(C=C(K)>0\) is a positive constant that depends only on the parameter K.

If \(\gamma>0\) and \(\beta\geq0\) are fixed, using Theorem 3.1, we obtain

$$\begin{aligned} &\|\nabla\varphi_{1}-\nabla \varphi_{2}\|^{2}_{L^{2}(\log L)^{-\gamma}(\log \log \log L)^{-\beta}(\Omega)} \\ &\quad\leq C_{1}(\beta, \gamma)|\!|\!|\nabla\varphi_{1}-\nabla\varphi _{2} |\!|\!|^{2}_{L^{2}(\log L)^{-\gamma}(\log\log\log L)^{-\beta}(\Omega )}\\ &\quad=C_{1}(\beta,\gamma) \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma-1} \| \nabla \varphi_{1}-\nabla\varphi_{2}\|_{L^{2- \varepsilon} ( \log \log \log L )^{-\beta}(\Omega)}^{2}\,d\varepsilon. \end{aligned}$$

For \(\beta=0\), by Theorem 4.1 we get

$$ \|\nabla\varphi_{1}-\nabla\varphi_{2}\|^{2}_{L^{2}(\log L)^{-\gamma }(\Omega )} \leq C_{2}(\gamma, K) \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma -1} \| \underline{\chi}_{1}-\underline{\chi}_{2}\|_{L^{2- \varepsilon}(\Omega)}^{2}\,d\varepsilon. $$

If \(\beta>0\), then with a suitable choice of \(\lambda_{0}\), by Theorem 3 in [13] and Theorem 4.1, we get

$$\begin{aligned} &\|\nabla\varphi_{1}-\nabla \varphi_{2}\|^{2}_{L^{2}(\log L)^{-\gamma}(\log \log \log L)^{-\beta}(\Omega)}\\ &\quad\leq C_{3}(\beta,\gamma) \int_{0}^{\varepsilon_{0}}\varepsilon^{\gamma-1} \biggl[ \int_{0}^{\lambda_{0}}\bigl(1+\log|\log\lambda|\bigr)^{-\beta -1}\bigl(\lambda|\log \lambda|\bigr)^{-1}\\ &\qquad{}\times\| \nabla\varphi_{1}-\nabla \varphi_{2}\| _{L^{2-\varepsilon -\lambda}(\Omega)}^{2-\varepsilon}\,d\lambda \biggr]^{\frac {2}{2-\varepsilon }}\,d\varepsilon \\ &\quad \leq C_{4}(\beta,\gamma,K) \int_{0}^{\varepsilon_{0}}\varepsilon ^{\gamma-1} \biggl[ \int_{0}^{\lambda_{0}}\bigl(1+\log|\log\lambda|\bigr)^{-\beta -1}\bigl(\lambda|\log \lambda|\bigr)^{-1}\\ &\qquad{}\times\| \underline{\chi}_{1}-\underline{ \chi}_{2}\| _{L^{2-\varepsilon-\lambda}(\Omega)}^{2-\varepsilon}\,d\lambda \biggr] ^{\frac{2}{2-\varepsilon}}\,d\varepsilon\\ &\quad\leq C_{5}(\beta,\gamma,K) \int_{0}^{\varepsilon_{0}}\varepsilon ^{\gamma-1} \| \underline{\chi}_{1}-\underline{\chi}_{2}\|_{L^{2- \varepsilon} ( \log \log\log L )^{-\beta}(\Omega)}^{2}\,d\varepsilon. \end{aligned}$$

Using again Theorem 3.1 in the last term, we have

$$\begin{aligned} &\|\nabla\varphi_{1}-\nabla \varphi_{2}\|^{2}_{L^{2}(\log L)^{-\gamma}(\log \log \log L)^{-\beta}(\Omega)}\\ &\quad\leq C_{5}( \beta,\gamma,K)|\!|\!|\underline{\chi}_{1}-\underline{\chi }_{2}|\!|\!|^{2}_{L^{2}(\log L)^{-\gamma}(\log\log\log L)^{-\beta}(\Omega )}\\ &\quad\leq C_{6}(\beta,\gamma,K)\|\underline{\chi}_{1}- \underline{\chi }_{2}\| ^{2}_{L^{2}(\log L)^{-\gamma} (\log\log\log L)^{-\beta}(\Omega)} . \end{aligned}$$


Now we are in position to prove the main theorem.

Proof of Theorem 1.1

Since \(L^{\widetilde{\Phi}}(\Omega)=L (\log L)^{\delta}(\log\log \log L)^{\frac{\beta}{2}}(\Omega)\) is a subspace of \(L(\log L)^{\frac {1}{2}}(\Omega)\) if \(\beta\geq0\) and \(\delta\geq\frac{1}{2}\), we can ensure (as already observed) that (1.1) has a unique finite energy solution \(v\in W^{1,2}_{0}(\Omega)\).

In order to prove Theorem 1.1, we want to apply the regularity result given by Theorem 4.2. To do this, as already showed in the papers [10, 11, 13], and [12], we need to linearize problem (1.1). We will use a linearization procedure introduced in [27] that preserves the ellipticity bounds.

For shortness, we do not give all the details of the linearization procedure, and we refer, for example, to proof of Theorem 1.1 in [11]. So we know that there exists a symmetric, definite positive, and measurable matrix-valued function \(B=B(x)\) such that

$$A(x, \nabla v)= B(x) \nabla v. $$

Then, the unique finite energy solution \(v\in W^{1,2}_{0}(\Omega)\) of (1.1) with \(f\in L^{\widetilde{\Phi}}(\Omega)\) solves also the following linear problem:

$$\begin{aligned} \textstyle\begin{cases} -\operatorname {div}B(x)\nabla v=f & \mbox{in } \Omega, \\ v=0 & \mbox{on } \partial\Omega, \end{cases}\displaystyle \end{aligned}$$

that is,

$$ \int_{\Omega}B(x)\nabla v\nabla\varphi= \int_{\Omega}f\varphi, \quad\forall\varphi\in W^{1,2}_{0}( \Omega) . $$

The case \(\boldsymbol{\beta= 0}\) and \(\boldsymbol{\frac{1}{2}\leq \delta\leq1}\) has been proved in [10].

The case \(\boldsymbol{\beta> 0}\) and \(\boldsymbol{\delta=\frac {1}{2}}\) has been proved in [13].

Now, if \(\boldsymbol{\beta\geq0}\) and \(\boldsymbol{\delta>\frac {1}{2}}\), then we fix \(\underline{\chi}\in C^{1}(\overline{\Omega})\) such that

$$\|\underline{\chi}\|_{L^{2}(\log L)^{-(2\delta-1)}(\log\log\log L)^{-\beta }(\Omega; \mathbb {R}^{2})}\leq1, $$

and we consider the unique finite energy solution φ to the linear Dirichlet problem

$$\begin{aligned} \textstyle\begin{cases} -\operatorname {div}B(x)\nabla\varphi=\operatorname {div}\underline{\chi} & \mbox{in } \Omega, \\ \varphi=0 & \mbox{on } \partial\Omega, \end{cases}\displaystyle \end{aligned}$$

where \(B(x)\) is the matrix given by the linearization procedure. By Theorem 4.2 we have

$$\begin{aligned} &\|\nabla\varphi\|_{L^{2}(\log L)^{-(2\delta-1)}(\log\log\log L)^{-\beta }(\Omega)}\\ &\quad\leq C(\beta,\delta,K)\|\underline{\chi}\|_{L^{2}(\log L)^{-(2\delta -1)}(\log\log\log L)^{-\beta}(\Omega)}\leq C(\beta,\delta,K), \end{aligned}$$

and so, using Lemma 2.4, we obtain

$$ \|\varphi\|_{L^{\Phi}(\Omega)}\leq C_{1}(\beta,\delta,K) , $$

where \(\Phi(s)\cong e^{s^{\frac{1}{\delta}} ( \log \log s )^{-\frac{\beta}{2\delta}}}\), and \(C_{1}(\beta,K)\) is another constant depending only on β, δ, and K.

Thanks to the fact that v satisfies the linear problem (4.6) and that \(B(x)\) is a symmetric matrix, using Lemma 2.3 and the Hölder inequality between the complementary spaces \(L^{\Phi}(\Omega)\) and \(L^{\widetilde{\Phi}}(\Omega)\), by (4.8) we obtain that, for any \(\underline{\chi}\in C^{1}(\overline{\Omega}; \mathbb {R}^{2})\) such that \({\|\underline {\chi }\|_{L^{2}(\log L)^{-(2\delta-1)}(\log\log\log L)^{-\beta}(\Omega )}\leq 1}\), we have

$$\begin{aligned} \biggl|\int_{\Omega}\nabla v\cdot\underline{\chi} \biggr|&= \biggl| \int _{\Omega}v \operatorname {div}\underline {\chi} \biggr| \\ &= \biggl| \int_{\Omega}v \operatorname {div}\bigl(B(x)\nabla\varphi\bigr) \biggr|= \biggl| \int_{\Omega}B(x)\nabla v\cdot\nabla\varphi \biggr| \\ &= \biggl|\int_{\Omega}f\varphi \biggr|\leq C_{2}(\beta,\delta)\| \varphi\| _{L^{\Phi }(\Omega)}\|f\|_{L(\log L)^{\delta}(\log\log\log L)^{\frac{\beta }{2}}(\Omega)} \\ &\leq C_{2}(\beta,\delta,K)\|f\|_{L(\log L)^{\delta}(\log\log\log L)^{\frac{\beta}{2}}(\Omega)} , \end{aligned}$$

where \(C_{2}(\beta,\delta,K)\) is a constant that depends only on β, δ, and K.

By Theorem 2.1 the dual space of \(L^{2}(\log L)^{-(2\delta -1)}(\log \log\log L)^{-\beta}(\Omega)\) is \(L^{2}(\log L)^{2\delta-1} (\log\log \log L)^{\beta}(\Omega)\).

Now, since \(C^{1}(\overline{\Omega}; \mathbb {R}^{2})\) is dense in \(L^{2}(\log L)^{-(2\delta-1)}(\log\log\log L)^{-\beta}(\Omega)\) (see [20], Theorem 8.20 and [23], Corollary 5), passing to the supremum in (4.9) under the conditions \(\underline{\chi}\in C^{1}(\overline {\Omega}; \mathbb {R}^{2})\), \({\|\underline{\chi}\|_{L^{2}(\log L)^{-(2\delta-1)}(\log\log\log L)^{-\beta}(\Omega; \mathbb {R}^{2})}\leq 1}\), we obtain

$$\|\nabla v\|_{L^{2}(\log L)^{2\delta-1}(\log\log\log L)^{\beta }(\Omega )}\leq c(\beta,\delta,K)\|f\|_{L(\log L)^{\delta}(\log\log\log L)^{\frac {\beta}{2}}(\Omega)}, $$

as desired. □

Remark 4.3

In [27], it was proved that the linearization procedure holds in any dimension with the following ellipticity bounds:

$$|\xi|^{2}+ \bigl|A(x, \xi)\bigr|^{2} \leq \biggl( K+ \frac{1}{K} \biggr) \bigl\langle A(x, \xi), \xi\bigr\rangle ,\quad\xi\in \mathbb {R}^{n}, \mbox{ a.e. }x\in\Omega. $$

We would like to point out that the linear growth of \(A(x, \xi)\) with respect to ξ is absolutely essential for the previous results. The main difficulty with the n-harmonic-type equations (\(n \neq2\)) is due to the lack of uniqueness for very weak solutions.


  1. Leray, J, Lions, JL: Quelques résultats de Visik sur les problèmes elliptiques nonlinéaires par les méthodes de Minty-Browder. Bull. Soc. Math. Fr. 93, 97-107 (1965)

    MathSciNet  MATH  Google Scholar 

  2. Fiorenza, A, Sbordone, C: Existence and uniqueness results for solutions of nonlinear equations with right hand side in \(L^{1}\). Stud. Math. 127(3), 223-231 (1998)

    MathSciNet  MATH  Google Scholar 

  3. Boccardo, L, Gallouët, T, Orsina, L: Existence and uniqueness of entropy solutions for nonlinear elliptic equations with measure data. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 13(5), 539-551 (1996)

    MathSciNet  MATH  Google Scholar 

  4. Kuusi, T, Mingione, G: Universal potential estimates. J. Funct. Anal. 262(10), 4205-4269 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  5. Mingione, G: Gradient potential estimates. J. Eur. Math. Soc. 13(2), 459-486 (2011)

    MathSciNet  MATH  Google Scholar 

  6. Yudovich, VI: Some estimates connected with integral operators and with solutions of elliptic equations. Sov. Math. Dokl. 138, 805-808 (1961)

    MathSciNet  MATH  Google Scholar 

  7. Pokhozhaev, SI: On the eigenfunctions of the equation \(\Delta u+ \lambda f(u) = 0\). Dokl. Akad. Nauk SSSR 165, 36-39 (1965)

    MathSciNet  MATH  Google Scholar 

  8. Trudinger, N: On imbeddings into Orlicz spaces and some applications. J. Math. Mech. 17, 473-483 (1967)

    MathSciNet  MATH  Google Scholar 

  9. Bennett, C, Sharpley, R: Interpolations of Operators. Pure and Applied Mathematics, vol. 129. Academic Press, New York (1988)

    MATH  Google Scholar 

  10. Alberico, A, Alberico, T, Sbordone, C: Planar quasilinear elliptic equations with right-hand side in \(L(\log L)^{\delta}\). Discrete Contin. Dyn. Syst. 31(4), 1053-1067 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. De Cave, LM, Sbordone, C: Gradient regularity for solutions to quasilinear elliptic equations in the plane. J. Math. Anal. Appl. 417, 537-551 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  12. Zecca, G: Regularity results for planar quasilinear equations. Rend. Mat. Appl. (7) 30, 329-343 (2010)

    MathSciNet  MATH  Google Scholar 

  13. De Cave, LM, D’Onofrio, L, Schiattarella, R: Regularity results for quasilinear elliptic equations in the plane. J. Elliptic Parabolic Equ. 1, 109-121 (2015)

    MathSciNet  Google Scholar 

  14. Farroni, F, Greco, L, Moscariello, G: Estimates for p-Laplace type equation in a limit case. Atti Accad. Naz. Lincei, Rend. Lincei, Mat. Appl. 25(4), 445-448 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  15. Farroni, F, Greco, L, Moscariello, G: Stability for p-Laplace type equation in a borderline case. Nonlinear Anal. 116, 100-111 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  16. Iwaniec, T, Sbordone, C: On the integrability of the Jacobian under minimal hypotheses. Arch. Ration. Mech. Anal. 119, 129-143 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  17. Bennett, C, Rudnick, K: On Lorentz-Zygmund spaces. Diss. Math. 175, 1-67 (1980)

    MathSciNet  MATH  Google Scholar 

  18. Edmunds, DE, Gurka, P, Opic, B: On embeddings of logarithmic Bessel potential spaces. J. Funct. Anal. 146, 116-150 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  19. Edmunds, DE, Triebel, H: Function Spaces, Entropy Numbers, Differential Operators. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  20. Adams, RA: Sobolev Spaces. Academic Press, New York (1975)

    MATH  Google Scholar 

  21. Cianchi, A: A sharp embedding theorem for Orlicz-Sobolev spaces. Indiana Univ. Math. J. 45, 39-65 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  22. Cianchi, A: Continuity properties of functions from Orlicz-Sobolev spaces and embedding theorems. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 23, 575-608 (1996)

    MathSciNet  MATH  Google Scholar 

  23. Rao, M, Ren, ZD: Theory of Orlicz Spaces. Monographs and Textbooks in Pure and Applied Mathematics, vol. 146. Dekker, New York (1991)

    MATH  Google Scholar 

  24. Cianchi, A: Boundedness of solutions to variational problems under general growth conditions. Commun. Partial Differ. Equ. 22(9-10), 1629-1646 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  25. Cianchi, A: A fully anisotropic Sobolev inequality. Pac. J. Math. 196(2), 283-295 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  26. Fusco, N, Lions, PL, Sbordone, C: Sobolev imbedding theorems in borderline cases. Proc. Am. Math. Soc. 124, 561-565 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  27. Iwaniec, T, Sbordone, C: Quasiharmonic fields. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 18(5), 519-572 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references


This research was partially supported by the Gruppo Nazionale per l’Analisi Matematica, la Probabilita’ e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The second author has been partially supported by projects Regione Campania Legge 5/2007 (‘Spazi pesati ed applicazioni al calcolo delle variazioni’) and ‘Sostegno alla Ricerca Individuale’ of Università degli Studi di Napoli ‘Parthenope’.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Luigi D’Onofrio.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors performed all the steps of the ideas and proofs in this research. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

De Cave, L.M., D’Onofrio, L. & Schiattarella, R. Orlicz regularity of the gradient of solutions to quasilinear elliptic equations in the plane. Bound Value Probl 2016, 103 (2016).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: