Bloch estimates in non-doubling generalized Orlicz spaces

Dedicated to Giuseppe Mingione on his 50th anniversary.

1.   Introduction

Minimizers of the variable exponent energy $ \int |\nabla u|^{p(x)}dx $ have been studied in hundreds of papers. In almost all cases, it is assumed that there exist constants $ c, C\in (1, \infty) $ such that $ c{\leqslant} p(x){\leqslant} C $ for all $ x $. However, it is possible to use limiting procedures to study the borderline cases when $ p(x) = 1 $ or $ p(x) = \infty $ for some points ^[34,35]. In recent years, minimizers of non-autonomous functionals

have been studied when $ {\varphi} $ has generalized Orlicz growth with tentative applications to anisotropic materials ^[57] and image processing ^[31]. Again, the upper and lower growth rates are usually assumed to lie in $ (1, \infty) $. In this article we consider the case when the upper growth rate is allowed to equal $ \infty $ in some points and the lower growth rate is greater than $ n $, the dimension. We prove the Harnack inequality for minimizers of such energies.

Let us recall some information of the context by way of motivation. PDE with generalized Orlicz growth have been studied in many papers lately, both in the general setting and in particular special cases, such as the double phase case (e.g., ^{[3,5,16,17,53]}), perturbed variable exponent ^[52], Orlicz variable exponent ^[27], degenerate double phase ^[4], Orlicz double phase ^[6,10], variable exponent double phase ^[18,49,50], multiple-phase ^[7,22], and double variable exponent ^[56]. Our framework includes all these cases.

In the generalized Orlicz case it is known that solutions with given boundary values exist ^[15,28,33], minimizers or solutions with given boundary values are locally bounded, satisfy Harnack's inequality and belong to $ C^{0, \alpha}_{{{{\rm{loc}}}}} $ ^[9,36,37,55] or $ C^{1, \alpha}_{{{{\rm{loc}}}}} $ ^[38,39], quasiminimizers satisfy a reverse Hölder inequality ^[32], minimizers for the obstacle problem are continuous ^[41] and the boundary Harnack inequality holds for harmonic functions ^[12]. Some articles deal with the non-doubling ^[13] or parabolic ^[54] case as well as with the Gauss image problem ^[44]. We refer to the surveys ^[11,48] and monographs ^[14,30,42] for an overview. Advances have also been made in the field of $ (p, q) $-growth problems ^{[19,20,21,45,46,47]}.

In ^[8,9], the Harnack inequality was established in the doubling generalized Orlicz case for bounded or general solutions. In the current paper, we consider the effect of removing the assumption that the growth function is doubling thus allowing the upper growth rate to equal $ \infty $. The approach is based on ideas from ^[35,43] involving approximating the energy functional. This is more difficult compared to the variable exponent case, since the form of the approximating problem is unclear as is the connection between solutions and minimizers. Additionally, the challenge in taking limits without the doubling assumption is to track the dependence of various constants on the parameters and to ensure that no extraneous dependence is introduced in any step. Nevertheless, we improve even the result for the variable exponent case.

Let us consider an example of our main result, Theorem 5.5. In the variable exponent case $ {\varphi}(x, t): = t^{p(x)} $ we compare with our previous result [35,Theorem 6.4]. In the previous result, we assumed that $ \frac1p $ is Lipschitz continuous, but now we only need the more natural $ \log $-Hölder continuity.

Furthermore, the previous result applied only to small balls in which the exponent was (locally) bounded. The next example shows that the new result applies even to some sets where the the exponent is unbounded.

Example 1.1 (Variable exponent). Define $ p:B_1\to (n, \infty] $ on the unit ball $ B_1 $ as $ p(x) : = 2n\log\frac e{|x|} $. Hence $ p(0) = \infty $ but $ p < \infty $ a.e. Assume that $ f\in W^{1, {p(\cdot)}}(B_1) $ with $ {\varrho}_ {p(\cdot)}(|\nabla f|) < \infty $. If $ u\in f+W^{1, {p(\cdot)}}_0(B_1) $ is a minimizer of the $ {p(\cdot)} $-energy, then the Harnack inequality

holds for $ r{\leqslant} \frac14 $. The constant $ C $ depends only on $ n $ and $ {\varrho}_ {p(\cdot)}(|\nabla f|) $. Note that $ B_r $ we have, in the notation of Theorem 5.5, $ p^- = 2n\log\frac er $ and $ q^\circ = 2n\log\frac {2e}r $ so that $ \frac{q^\circ}{p^-} = \frac{1+\log2+\log \frac1r}{\log2+\log \frac1r} $ is bounded independent of $ r $.

In the double phase case we also obtain a corollary of Theorem 4.6 which improves earlier results in that the dependence of the constant is only on $ \frac qp $, not $ p $ and $ q $. Note that the usual assumption of Hölder continuity of $ a $ is a special case of the inequality in the lemma, see [30,Proposition 7.2.2]. Also note that the "$ +r $" in the Harnack inequality is not needed in this case, since the double phase functional satisfies ${\rm{(A1)}}$ in the range $ [0, \frac K{|B|}] $ rather than $ [1, \frac K{|B|}] $.

Corollary 1.2 (Double phase). Let $ \Omega\subset \mathbb{R}^n $ be a bounded domain, $ n < p < q $ and $ H(x, t): = t^p+a(x)t^q $. Assume that $ f\in W^{1, H}(\Omega) $ and

for every $ x, y\in \Omega $. Then any minimizer $ u $ of the $ {\varphi} $-energy with boundary value function $ f $ satisfies the Harnack inequality

The constant $ C $ depends only on $ n $, $ \frac qp $ and $ {\varrho}_H(|\nabla f|) $.

2.   Definitions and notation

We briefly introduce our definitions. More information on $ L^{\varphi} $-spaces can be found in ^[30]. We assume that $ \Omega \subset \mathbb{R}^n $ is a bounded domain, $ n{\geqslant} 2 $. Almost increasing means that there exists a constant $ L{\geqslant} 1 $ such that $ f(s) {\leqslant} L f(t) $ for all $ s < t $. If there exists a constant $ C $ such that $ f(x) {\leqslant} C g(x) $ for almost every $ x $, then we write $ f \lesssim g $. If $ f\lesssim g\lesssim f $, then we write $ f \approx g $.

Definition 2.1. We say that $ {\varphi}: \Omega\times [0, \infty) \to [0, \infty] $ is a weak $ \Phi $-function, and write $ {\varphi} \in \Phi_{\rm{w}}(\Omega) $, if the following conditions hold for a.e. $ x \in \Omega $:

● $ y \mapsto {\varphi}(y, f(y)) $ is measurable for every measurable function $ f:\Omega\to \mathbb{R} $.

● $ t \mapsto {\varphi}(x, t) $ is non-decreasing.

● $ {\varphi}(x, 0) = \lim\limits_{t \to 0^+} {\varphi}(x, t) = 0 $ and $ \lim\limits_{t \to \infty}{\varphi}(x, t) = \infty $.

● $ t \mapsto \frac{{\varphi}(x, t)}t $ is $ L $-almost increasing on $ (0, \infty) $ with constant $ L $ independent of $ x $.

If $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $ is additionally convex and left-continuous with respect to $ t $ for almost every $ x $, then $ {\varphi} $ is a convex $ \Phi $-function, and we write $ {\varphi} \in \Phi_{\rm{c}}(\Omega) $. If $ {\varphi} $ does not depend on $ x $, then we omit the set and write $ {\varphi} \in \Phi_{\rm{w}} $ or $ {\varphi} \in \Phi_{\rm{c}} $.

For $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $ and $ A\subset \mathbb{R}^n $ we denote $ {\varphi}^+_{A}(t) : = \mathop {{\rm{ess}}\;{\rm{sup}}}\limits_{x \in A\cap \Omega} {\varphi}(x, t) $ and $ {\varphi}^-_{A}(t) : = \mathop {{\rm{ess}}\;{\rm{sup}}}\limits_{x \in A\cap \Omega} {\varphi}(x, t) $.

We next define the un-weightedness condition ${\rm{(A0)}}$, the almost continuity conditions ${\rm{(A1)}}$ and the growth conditions (aInc) and (aDec). Note that the constants $ L_p $ and $ L_q $ are independent of $ x $ even though $ p $ and $ q $ can be functions.

Definition 2.2. Let $ s > 0 $, $ p, q:\Omega\to[0, \infty) $ and let $ \omega:\Omega\times [0, \infty)\to [0, \infty) $ be almost increasing with respect to the second variable. We say that $ {\varphi}:\Omega\times [0, \infty)\to [0, \infty) $ satisfies

${\rm{(A0)}}$ if there exists $ \beta \in(0, 1] $ such that $ {\varphi}(x, \beta){\leqslant} 1 {\leqslant} {\varphi}(x, \frac1{\beta}) $ for a.e. $ x \in \Omega $;

(A1- $\omega$) if for every $ K {\geqslant} 1 $ there exists $ \beta \in (0, 1] $ such that, for every ball $ B $,

(A1- $s$) if it satisfies (A1-ω) for $ \omega(x, t): = t^s $;

(A1) if it satisfies (A1-φ);

(aInc)$_ {p(\cdot)}$ if $ t \mapsto \frac{{\varphi}(x, t)}{t^{p(x)}} $ is $ L_p $-almost increasing in $ (0, \infty) $ for some $ L_p{\geqslant} 1 $ and a.e. $ x\in\Omega $;

(aDec)$_ {q(\cdot)}$ if $ t \mapsto \frac{{\varphi}(x, t)}{t^{q(x)}} $ is $ L_q $-almost decreasing in $ (0, \infty) $ for some $ L_q{\geqslant} 1 $ and a.e. $ x\in\Omega $.

We say that (aInc) holds if (aInc)_p holds for some constant $ p > 1 $, and similarly for (aDec). If in the definition of ${({\rm{aInc}})_{p(\cdot)}}$ we have $ L_p = 1 $, then we say that $ {\varphi} $ satisfies ${({\rm{Inc}})_{p(\cdot)}}$, similarly for ${\left({{\rm{Dec}}} \right)_{q(\cdot)}}$.

Note that if $ {\varphi} $ satisfies (aInc)_p with a constant $ L_p $, then it satisfies (aInc)_r for every $ r\in (0, p) $ with the same constant $ L_p $. This is seen as follows, with $ s < t $:

Condition ${\rm{(A1)}}$ with $ K = 1 $ was studied in ^[30] under the name (A1$ ' $). The condition (A1-ω) was introduced in ^[8] to combine ${\rm{(A1)}}$ and (A1-n) as well as other cases. It is the appropriate assumption if we have a priori information that the solution is in $ W^{1, \omega} $ or the corresponding Lebesgue or Hölder space. The most important cases are $ \omega = {\varphi} $ and $ \omega(x, t) = t^s $, that is ${\rm{(A1)}}$ and (A1-s).

Definition 2.3. Let $ {\varphi} \in \Phi_{\rm{w}}(\Omega) $ and define the modular $ \varrho_{\varphi} $ for $ u\in L^0(\Omega) $, the set of measurable functions in $ \Omega $, by

The generalized Orlicz space, also called Musielak–Orlicz space, is defined as the set

equipped with the (Luxemburg) quasinorm

We abbreviate $ \|u\|_{L^{\varphi}(\Omega)} $ by $ \|u\|_{{\varphi}} $ if the set is clear from context.

Definition 2.4. A function $ u \in L^{\varphi}(\Omega) $ belongs to the Orlicz–Sobolev space $ W^{1, {\varphi}}(\Omega) $ if its weak partial derivatives $ \partial_1 u, \ldots, \partial_n u $ exist and belong to $ L^{{\varphi}}(\Omega) $. For $ u \in W^{1, {\varphi}}(\Omega) $, we define the quasinorm

We define Orlicz–Sobolev space with zero boundary values $ W^{1, {\varphi}}_0(\Omega) $ as the closure of $ \{u \in W^{1, {\varphi}}(\Omega) : {\rm{supp}}\; u \subset \Omega\} $ in $ W^{1, {\varphi}}(\Omega) $.

In the definition $ \| \nabla u \|_{L^{\varphi}(\Omega)} $ is an abbreviation of $ \big\| | \nabla u | \big\|_{L^{\varphi}(\Omega)} $. Again, we abbreviate $ \| u \|_{W^{1, {\varphi}}(\Omega)} $ by $ \| u \|_{1, {\varphi}} $ if $ \Omega $ is clear from context. $ W^{1, {\varphi}}_0(\Omega) $ is a closed subspace of $ W^{1, {\varphi}}(\Omega) $, and hence reflexive when $ W^{1, {\varphi}}(\Omega) $ is reflexive. We write $ f + W^{1, {\varphi}}_0(\Omega) $ to denote the set $ \{f + v: v \in W^{1, {\varphi}}_0(\Omega)\} $.

Definition 2.5. We say that $ u \in W^{1, {\varphi}}_{{{\rm{loc}}}}(\Omega) $ is a local minimizer if

for every $ h \in W^{1, {\varphi}}(\Omega) $ with $ {\rm{supp}}\; h \Subset \Omega $. We say that $ u \in W^{1, {\varphi}}(\Omega) $ is a minimizer of the $ {\varphi} $-energy with boundary values $ f \in W^{1, {\varphi}}(\Omega) $, if $ u-f \in W^{1, {\varphi}}_0(\Omega) $, and

for every $ v \in f+ W^{1, {\varphi}}_0(\Omega) $.

Let $ h \in W^{1, {\varphi}}(\Omega) $ have compact support in $ \Omega $, $ f\in W^{1, {\varphi}}(\Omega) $ and $ u \in f+W^{1, {\varphi}}_0(\Omega) $ is a minimizer of the $ {\varphi} $-energy. Then $ u+h \in f + W^{1, {\varphi}}_0(\Omega) $ by the definition. By the $ {\varphi} $-energy minimizing property,

the integrals over the set $ \Omega\setminus {\rm{supp}}\; h $ cancel, and so $ u $ is a local minimizer. Hence every minimizer $ u \in W^{1, {\varphi}}(\Omega) $ of the $ {\varphi} $-energy with boundary values $ f $ is a local minimizer.

3.   Auxiliary results

We denote by $ {\varphi}^* $ the conjugate $ \Phi $-function of $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $, defined by

From this definition, we have Young's inequality $ st {\leqslant} {\varphi}(x, s) + {\varphi}^*(x, t) $. Hölder's inequality holds in generalized Orlicz spaces for $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $ with constant $ 2 $ [30,Lemma 3.2.13]:

We next generalize the relation $ {\varphi}^*(\frac{{\varphi}(t)}{t}) {\leqslant} {\varphi}(t) $ which is well-known in the convex case, to weak $ \Phi $-functions. The next results are written for $ {\varphi}\in \Phi_{\rm{w}} $ but can be applied to $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $ point-wise.

Lemma 3.1. Let $ {\varphi}\in \Phi_{\mathit{\rm{w}}} $ satisfy (aInc)₁ with constant $ L $. Then

Proof. When $ s{\leqslant} t $ we use $ s\frac{{\varphi}(t)}{Lt} - {\varphi}(s) {\leqslant} s\frac{{\varphi}(t)}{Lt} {\leqslant} \frac{{\varphi}(t)}{L} $ to obtain

On the other hand, by (aInc)₁ we conclude that $ s\frac{{\varphi}(t)}{Lt} {\leqslant} {\varphi}(s) $ when $ s > t $, so the second term is non-positive and the inequality is established.

If $ {\varphi}\in \Phi_{\rm{w}} $ is differentiable, then

Thus $ {\varphi} $ satisfies ${\left({{\rm{Inc}}} \right)_p}$ if and only if $ \frac{t{\varphi}'(t)}{{\varphi}(t)} {\geqslant} p $. Similarly, $ {\varphi} $ satisfies ${\left({{\rm{Dec}}} \right)_q}$ if and only if $ \frac{t{\varphi}'(t)}{{\varphi}(t)} {\leqslant} q $. It also follows that if $ {\varphi} $ satisfies ${\left({{\rm{Inc}}} \right)_p}$ and ${\left({{\rm{Dec}}} \right)_q}$, then

and so $ {\varphi}' $ satisfies ${{\rm{(aInc)}}_{p - 1}}$ and ${\left({{\rm{aDec}}} \right)_{q - 1}}$. We next show that the last claim holds even if only (aInc) or (aDec) is assumed of $ {\varphi} $ which is convex but not necessarily differentiable.

For $ {\varphi} \in \Phi_{\rm{c}} $ we denote the left and right derivative by $ {\varphi}_-' $ and $ {\varphi}_+' $, respectively. We define the left derivative to be zero at the origin, i.e., $ {\varphi}_-'(0): = 0 $. Assume that $ {\varphi} $ satisfies ${{\rm{(aInc)}}_{{p}}}$ with $ p > 1 $, and let $ t_0 > 0 $ be such that $ {\varphi}(t_0) < \infty $. Then

Since $ {\varphi}_+' $ is right-continuous we also obtain that

Lemma 3.3. Let $ {\varphi} \in \Phi_{\mathit{\rm{c}}} $ satisfy ${{\rm{(aInc)}}_{{p}}}$ and ${{\rm{(aDec)}}_q}$ with constants $ L_p $ and $ L_q $, respectively. Then

for every $ t{\geqslant} 0 $, and $ {\varphi}'_- $ and $ {\varphi}'_+ $ satisfy ${{\rm{(aInc)}}_{p - 1}}$ and ${\left({{\rm{aDec}}} \right)_{q - 1}}$, with constants depending only on $ \frac{q}{p} $, $ L_p $ and $ L_q $.

Proof. Since $ {\varphi} $ is convex we have

for a proof see e.g., [51,Proposition 1.6.1,p. 37]. Let $ r \in [0, 1) $. Since the left derivative is increasing, we obtain

Thus

where in the second inequality we used ${{\rm{(aInc)}}_{{p}}}$ of $ {\varphi} $. Choosing $ r : = (2L_p)^{-1/p} $ we get

Writing $ h : = \frac{1}{p} $ and $ x: = 2L_p $, we find that

where the inequality follows from convexity of $ s \mapsto x^s $. Thus $ t{\varphi}'_- (t) {\geqslant} \frac{p}{2\ln (2L_p)}{\varphi}(t) $.

Let $ R > 1 $. Since $ {\varphi}_+' $ is increasing, we obtain

Thus

where ${{\rm{(aDec)}}_q}$ of $ {\varphi} $ was used in the second inequality. With $ R : = 1+\frac{1}{q} $ we get

We have established the inequality of the claim.

We abbreviate $ c_q: = \frac1{L_qe-1} $ and $ c_p: = 2\ln(2L_p) $. Since $ {\varphi} $ is convex, we have $ {\varphi}_-' {\leqslant} {\varphi}_+' $ and so

Thus we obtain by ${{\rm{(aDec)}}_q}$ of $ {\varphi} $ for $ 0 < s < t $ that

and ${\left({{\rm{aDec}}} \right)_{q - 1}}$ of $ {\varphi}'_+ $ follows. The proof for ${{\rm{(aInc)}}_{p - 1}}$ is similar as are the proofs for $ {\varphi}'_- $.

Before Lemma 3.3 we noted that $ \lim_{t\to 0^+} {\varphi}_+'(x, t) = 0 $, and hence

for $ z\in \mathbb{R}^n $. In light of this, we define

Theorem 3.4. Let $ {\varphi} \in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfy ${{\rm{(aInc)}}_{{p}}}$ and ${{\rm{(aDec)}}_q}$ with $ 1 < p {\leqslant} q $. Denote $ {\varphi}'_h : = {\varphi}_+'\, \chi_{\{\nabla u \cdot \nabla h {\geqslant} 0\}} + {\varphi}_-'\, \chi_{\{\nabla u \cdot \nabla h < 0\}} $. If $ u \in W_{{{{\rm{loc}}}}}^{1, {\varphi}}(\Omega) $, then the following are equivalent:

(i) $ u $ is a local minimizer;

(ii) $ \int_{{\rm{supp}}\; h} \frac{{\varphi}'_h(x, |\nabla u|)}{|\nabla u|} \nabla u \cdot \nabla h \, dx {\geqslant} 0 $ for every $ h \in W^{1, {\varphi}}(\Omega) $ with $ {\rm{supp}}\; h \Subset \Omega $.

Proof. Let $ h \in W^{1, {\varphi}}(\Omega) $ with $ E : = {\rm{supp}}\; h \Subset \Omega $ be arbitrary. Define $ g: \Omega \times [0, 1] \to [0, \infty] $ by $ g(x, \varepsilon) : = |\nabla (u(x) + \varepsilon h(x))| $; in the rest of the proof we omit the first variable and abbreviate $ g(x, \varepsilon) $ by $ g(\varepsilon) $.

Note that $ g(\varepsilon)^2 = |\nabla u(x)|^2+ \varepsilon^2|h(x)|^2+2 \varepsilon \nabla u(x)\cdot \nabla h(x) $ and $ g{\geqslant} 0 $. Thus in $ [0, 1] $ the function $ g $ has a local minimum at zero for $ x\in\Omega $ with $ \nabla u(x)\cdot \nabla h(x){\geqslant} 0 $ and a maximum otherwise. This determines whether we obtain the right- or left-derivative and so

for almost every $ x \in E $.

Let us then find a majorant for the expression on the left-hand side of (3.5). By convexity,

for a.e. $ x\in E $. Since $ \varepsilon \in [0, 1] $ we have

By the triangle inequality,

Combining the estimates above, we find that

By Lemma 3.3, $ {\varphi}_+'(x, t)t\lesssim{\varphi}(x, t) $ for every $ t {\geqslant} 0 $, so that

By (aDec),

Combining the estimates, we find that

The right hand side is integrable by [30,Lemma 3.1.3(b)], since $ |\nabla u|, |\nabla h| \in L^{\varphi}(\Omega) $ and $ {\varphi} $ satisfies (aDec). Thus we have found a majorant. By dominated convergence and (3.5), we find that

Let us first show that (ⅰ) implies (ⅱ). By (ⅰ),

for $ \varepsilon \in (0, 1] $, and hence (ⅱ) follows by (3.6).

Let us then show that (ⅱ) implies (ⅰ). For $ \theta \in [0, 1] $ and $ s, t {\geqslant} 0 $ we have

so $ g(\varepsilon) $ is convex. Since $ t \mapsto {\varphi}(x, t) $ and $ g(\varepsilon) $ are convex for almost every $ x \in E $, and $ t \mapsto {\varphi}(x, t) $ is also increasing, the composed function $ t \mapsto {\varphi}(x, g(t)) $ is convex for a.e. $ x \in E $. Thus

Since the above inequality holds for every $ \varepsilon \in (0, 1) $, (3.6) implies that

which is (i).

We conclude the section by improving the Caccioppoli inequality from ^[8]; in this paper we only need the special case $ \ell = 1 $ and $ s = q $, but we include the general formulation for possible future use. We denote by $ \eta $ a cut-off function in $ B_R $, more precisely, $ \eta \in C_0^{\infty}(B_R) $, $ \chi_{B_{\sigma R}} {\leqslant} \eta {\leqslant} \chi_{B_R} $ and $ |\nabla \eta| {\leqslant} \frac{2}{(1-\sigma)R} $, where $ \sigma \in (0, 1) $. Note that the auxiliary function $ \psi $ is independent of $ x $ in the next lemma. Later on we will choose $ \psi $ to be a regularized version of $ {\varphi}_B^+ $. Note also that the constant in the lemma is independent of $ q_1 $.

Lemma 3.7 (Caccioppoli inequality). Suppose $ {\varphi} \in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfies ${{\rm{(aInc)}}_{{p}}}$ and ${{\rm{(aDec)}}_q}$ with constants $ L_p $ and $ L_q $, and let $ \psi\in \Phi_{\mathit{\rm{w}}} $ be differentiable and satisfy ${\rm{(A0)}}$, ${\left( {{\rm{Inc}}} \right)_{p1}}$ and ${\left( {{\rm{Dec}}} \right)_{q1}}$, $ p_1, q_1{\geqslant} 1 $. Let $ \beta\in (0, 1] $ be the constant from ${\rm{(A0)}}$ of $ \psi $. If $ u $ is a non-negative local minimizer and $ \eta $ is a cut-off function in $ B_R\subset \Omega $, then

for any $ \ell > \frac1{p_1} $ and $ s{\geqslant} q $, where $ K : = \frac{8s q (L_qe-1)L_q\ln(2L_p)}{p (p_1\ell- 1)(1-\sigma)} + L_p $.

Proof. Let us simplify the notation by writing $ \tilde u : = u + R $ and $ v : = \frac{\tilde u}{\beta R} $. Since $ \nabla u = \nabla \tilde u $, we see that $ \tilde u $ is still a local minimizer. By ${\rm{(A0)}}$ of $ \psi $ and $ v{\geqslant} \frac1\beta $, we have $ 0{\leqslant} \psi(v)^{-\ell} {\leqslant} 1 $.

We would like to use Theorem 3.4 with $ h : = \psi(v)^{-\ell} \eta^{s} \tilde u $. Let us first check that $ h $ is a valid test function for a local minimizer, that is $ h \in W^{1, {\varphi}}(B_R) $ and has compact support in $ B_R \subset \Omega $. As $ \tilde u \in L^{{\varphi}}(B_R) $ and $ |h|{\leqslant} \tilde u $, it is immediate that $ h \in L^{{\varphi}}(B_R) $. By a direct calculation,

Note that $ \tilde u \nabla v = v \nabla \tilde u $. Since $ \psi $ is differentiable we may use (3.2) to get

For the third term in $ \nabla h $, we obtain $ |\psi(v)^{-\ell} \eta^{s} \nabla \tilde u | {\leqslant} |\nabla \tilde u| \in L^{{\varphi}}(B_R) $. The term with $ \nabla \eta $ is treated as $ h $ itself. Thus $ h \in W^{1, {\varphi}}(B_R) $. Since $ s > 0 $ and $ \eta\in C^\infty_0(B_R) $, $ h $ has compact support in $ B_R \subset \Omega $ and so it is a valid test-function for a local minimizer.

We next calculate

The inequality $ p_1 \psi(t) {\leqslant} \psi'(t) t $ from (3.2) implies that $ \ell \psi'(v) v - \psi(v) {\geqslant} (p_1\ell- 1)\psi(v) > 0 $. Since $ \tilde u $ is a local minimizer, we can use the implication (i)$ \Rightarrow $(ii) of Theorem 3.4 to conclude that

Since $ {\varphi}'_-{\leqslant}{\varphi}'_h{\leqslant}{\varphi}'_+ $, we obtain $ \frac{1}{q(L_qe-1))} t{\varphi}'_h(x, t) {\leqslant} {\varphi}(x, t) {\leqslant} \frac{2 \ln(2L_p)}p t{\varphi}'_h(x, t) $ from Lemma 2. Using also $ |\nabla \eta|\, \tilde u{\leqslant} \frac 2{1-\sigma}v $, we have

Note that the constant in front of the integral can be estimated from above by $ \frac K{2L_q} $.

Next we estimate the integrand on the right hand side. By Young's inequality

where $ \frac1q + \frac1{q'} = 1 $. We choose $ \varepsilon: = \frac{L_p}{K}\eta(x)\in (0, 1] $ and use (aInc)_q' of $ {\varphi}^* $ [30,Proposition 2.4.9] (which holds with constant $ L_q $) and Lemma 3.1 to obtain

In the other term we estimate $ \varepsilon^{-\frac1{q'}}L_p {\leqslant} K^{1-\frac1{q'}} L_p^{\frac1{q'}} \varepsilon^{-\frac1{q'}} = \eta^{-\frac1{q'}}K $ and use ${{\rm{(aDec)}}_q}$ of $ {\varphi} $:

With these estimates we obtain that

The first term on the right-hand side can be absorbed in the left-hand side. This gives the claim.

The next observation is key to applications with truly non-doubling growth.

Remark 3.8. In the previous proof the assumption ${{\rm{(aDec)}}_q}$ is only needed in the set $ \nabla \eta\ne 0 $ since we can improve the estimate on the right-hand side integral to $ |\nabla \eta|\, \tilde u{\leqslant} \frac 2{1-\sigma}v \chi_{\{\nabla \eta\ne 0\}} $ and only drop the characteristic function in the final step.

4.   Bloch-type estimate for bounded supersolutions

The following definition is like [8,Definition 3.1], except $ {\varphi}_{B_r}^+ $ has replaced $ {\varphi}_{B_r}^- $. Furthermore, we are more precise with our estimates so as to avoid dependence on $ p $ and $ q $.

Definition 4.1. Let $ {\varphi} \in \Phi_{\rm{w}}(B_r) $ satisfy ${{\rm{(aInc)}}_{{p}}}$ with $ p{\geqslant} 1 $ and constant $ L_p $. We define $ \psi_{B_r}: B_r \to [0, \infty] $ by setting

It is easy to see that $ \psi_{B_r}\in \Phi_{\rm{w}} $. Using that $ {\varphi} $ is increasing for the lower bound and ${{\rm{(aInc)}}_{{p}}}$ for the upper bound, we find that

As in [8,Definition 3.1], we see that $ \psi_{B_r} $ is convex and satisfies ${\left({{\rm{Inc}}} \right)_p}$. If $ {\varphi} $ satisfies ${\rm{(A0)}}$, so does $ \psi_{B_r} $, since $ {\varphi}^+_{B_r}\simeq\psi_{B_r} $. If $ {\varphi} $ satisfies ${{\rm{(aDec)}}_q}$, then $ \psi_{B_r} $ is strictly increasing and satisfies ${{\rm{(aDec)}}_q}$, and, as a convex function, also (Dec) [30,Lemma 2.2.6].

We note in both the above reasoning and in the next theorem that constants have no direct dependence on $ p $ or $ q $, only on $ L_p $, $ L_q $ and $ \frac qp $.

Theorem 4.3 (Bloch-type estimate). Let $ {\varphi} \in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfy ${\rm{(A0)}}$ and (A1). Let $ B_{2r}\subset \Omega $ with $ r{\leqslant} 1 $ and $ {\varphi}|_{B_{2r}} $ satisfy ${{\rm{(aInc)}}_{{p}}}$ and ${{\rm{(aDec)}}_q}$ with $ p, q\in[n, \infty) $. If $ u $ is a non-negative local minimizer, then

where $ C $ depends only on $ n $, $ L_p $, $ L_q $, $ \frac qp $, the constants from ${\rm{(A0)}}$ and (A1), and $ {\varrho}_{\varphi}(|\nabla u|) $.

Proof. Let us first note that $ {\varphi} $ satisfies ${\left( {{\rm{aInc}}} \right)_n}$ with the constant $ L_p $. Let $ \beta $ be the smaller of the constants from ${\rm{(A0)}}$ and (A1). Denote $ v : = \frac{u+2r}{2\beta r} $ and $ \gamma: = \frac{2K}\beta $, where $ K $ is from Caccioppoli inequality (Lemma 3.7) with $ \ell = 1 $, $ s = q $ and $ \sigma = \frac{1}{2} $. Since $ p{\geqslant} n $, we see that

When $ |\nabla u| > \gamma v $, we use ${\left( {{\rm{aInc}}} \right)_n}$ to deduce that

for a.e. $ x \in B_r $. Rearranging gives $ \frac{|\nabla u|^n}{v^n}\lesssim \frac{{\varphi}(x, |\nabla u|)}{{\varphi}_{B_{2r}}^-(\gamma v)} $. Since $ v {\geqslant} \frac1\beta $ and $ \gamma {\geqslant} 1 $, we obtain by ${\rm{(A0)}}$ that $ {\varphi}_{B_{2r}}^-(\gamma v){\geqslant} 1 $. If also $ {\varphi}_{B_{2r}}^-(\gamma v) {\leqslant} \frac{1}{|B_{2r}|} $, then $ {\varphi}_{B_{2r}}^+(\beta \gamma v) {\leqslant} {\varphi}_{B_{2r}}^-(\gamma v) $ by (A1). Otherwise, $ ({\varphi}_{B_{2r}}^-(\gamma v))^{-1} {\leqslant} |B_{2r}| $. In either case,

for a.e. $ x\in B_r $. When $ |\nabla u| {\leqslant} \gamma v $, we use the estimate $ \frac{|\nabla u|^n}{v^n}{\leqslant} \gamma^n $ instead. Since $ u+r {\geqslant} \frac{1}{2}(u+2r) = \beta r v $, we obtain that

It remains to bound the integral on the right-hand side.

Let $ \psi_{B_{2r}} $ be as in Definition 4.1, let $ \eta \in C_0^\infty(B_{2r}) $ be a cut-off function such that $ \eta = 1 $ in $ B_r $ and choose $ \psi(t): = \psi_{B_{2r}}(\beta\gamma t) $. Then

where the second inequality follows from (4.2). We note that $ \psi $ satisfies $\left( {{\rm{A}}0} \right)$, ${\left({{\rm{Inc}}} \right)_p}$ and $\left( {{\rm{Dec}}} \right)$. Now we use the Caccioppoli inequality (Lemma 3.7) for $ {\varphi} $ and $ \psi $ with $ \ell = 1 $, $ s = q $ and $ \sigma = \frac{1}{2} $ to get

the last inequality holds by (4.2) and $ \gamma = \frac{2K}\beta $ since

We next show that the Bloch estimate implies a Harnack inequality for suitable monotone functions. We say that a continuous function $ u $ is monotone in the sense of Lebesgue, if it attains its extrema on the boundary of any compact set in its domain of definition. We say that $ {\varphi}\in \Phi_{\rm{w}}(\Omega) $ is positive if $ {\varphi}(x, t) > 0 $ for every $ t > 0 $ and a.e. $ x\in\Omega $. If $ {\varphi} $ satisfies ${\left( {{\rm{aDec}}} \right)_{q(\cdot)}}$ for $ q < \infty $ a.e., then it is positive.

Lemma 4.4. If $ {\varphi}\in \Phi_{\mathit{\rm{w}}}(\Omega) $ is positive, then every continuous local minimizer is monotone in the sense of Lebesgue.

Proof. Let $ u\in W_{{{{\rm{loc}}}}}^{1, {\varphi}}(\Omega)\cap C(\Omega) $ be a local minimizer and $ D\Subset\Omega $. Fix $ M > \max_{\partial D} u $ and note that $ (u-M)_+ $ is zero in some neighborhood of $ \partial D $ since $ u $ is continuous. Thus $ h: = (u-M)_+ \chi_D $ belongs to $ W^{1, {\varphi}}(\Omega)\cap C(\Omega) $ and has compact support in $ \Omega $. Using that $ u $ is a local minimizer, we obtain that

Since $ {\varphi}(x, t) > 0 $ for every $ t > 0 $ and a.e. $ x\in\Omega $, it follows that $ \nabla u = 0 $ a.e. in $ {\rm{supp}}\; h $. Thus $ \nabla h = 0 $ a.e. in $ \Omega $. Since $ h $ is continuous and equals $ 0 $ in $ \Omega\setminus D $, we conclude that $ h\equiv 0 $.

Hence $ u{\leqslant} M $ in $ D $. Letting $ M\to \max_{\partial D} u $, we find that $ u{\leqslant} \max_{\partial D} u $. The proof that $ \min_{\partial D} u{\leqslant} u $ in $ D $ is similar.

For $ x \in \Omega $ we write $ r_x : = \frac12 {\rm{dist}}(x, \partial \Omega) $. Let $ 1 {\leqslant} p < \infty $. In [43,Definition 3.6] a function $ u:\Omega \to \mathbb{R} $ is called a Bloch function if

Note that if $ u $ is an analytic function in the plane and $ p = 2 $, then by the mean value property

which connects this with Bloch functions in complex analysis. In the next theorem we assume for $ \log u $ a Bloch-type condition. In the case $ p = n $ the next result was stated in [35,Lemma 6.3].

Lemma 4.5. Let $ u:\Omega\to (0, \infty) $ be continuous and monotone in the sense of Lebesgue. If $ B_{4r}\Subset\Omega $, and

for $ p > n-1 $, then

for some $ C $ depending only on $ A $, $ p $ and $ n $.

Proof. Denote $ v: = \log u $. Since the logarithm is increasing, $ v $ is monotone in the sense of Lebesgue because $ u $ is.

As $ u $ is continuous and positive in $ \overline{B_{3r}}\subset \Omega $, it is bounded away from $ 0 $. Thus $ v\in W^{1, p}(B_{2r}) $ is uniformly continuous in $ B_{3r} $. Mollification gives a sequence $ (v_i)_{i = 0}^\infty $ of functions in $ C^\infty(B_{2r})\cap W^{1, p}(B_{2r}) $, such that $ v $ is the limit of $ v_i $ in $ W^{1, p}(B_{2r}) $ and $ v_i\to v $ pointwise uniformly in $ B_{2r} $, as $ i\to\infty $ [25,Theorem 4.1 (ii),p. 146]. By the Sobolev–Poincaré embedding $ W^{1, p}(\partial B_R)\to C^{0, 1- \frac{n-1}{p}}(\partial B_R) $,

for every $ R\in(0, 2r) $, where $ dS $ denotes the $ (n-1) $-dimensional Hausdorff measure and the constant depends only on $ p $ and $ n $ (see, e.g., [26,Lemma 1], stated for the case $ n = p = 3 $). Integrating with respect to $ R $ gives

Since $ v_i \to v $ uniformly, we obtain that $ (\mathop {{\rm{osc}}}\limits_{\partial B_R}v)^p = \lim_{i\to\infty}(\mathop {{\rm{osc}}}\limits_{\partial B_R}v_i)^p $ for every $ R $. Using this and $ v_i \to v $ in $ W^{1, p}(B_{2r}) $, it follows by Fatou's Lemma that

As $ v $ is continuous and monotone in the sense of Lebesgue, we have that $ \mathop {{\rm{osc}}}\limits_{B_r}v {\leqslant} \mathop {{\rm{osc}}}\limits_{B_R}v = \mathop {{\rm{osc}}}\limits_{\partial B_R}v $ for $ R\in(r, 2r) $, and therefore

Since

it now follows that

We conclude this section with the Harnack inequality for local minimizers. The novelty of the next theorem, apart from the technique, is that the constant depends only on $ \frac qp $, not on $ p $ and $ q $ separately.

Theorem 4.6 (Harnack inequality). Let $ {\varphi} \in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfy ${\rm{(A0)}}$ and (A1). We assume that $ B_{2r}\subset \Omega $ with $ r{\leqslant} 1 $ and $ {\varphi}|_{B_{2r}} $ satisfies ${{\rm{(aInc)}}_{{p}}}$ and ${{\rm{(aDec)}}_q}$ with $ p, q\in (n, \infty) $.

Then any non-negative local minimizer $ u \in W^{1, {\varphi}}_{{{\rm{loc}}}}(\Omega) $ satisfies the Harnack inequality

when $ B_{4r}\subset \Omega $. The constant $ C $ depends only on $ n $, $ \beta $, $ L_p $, $ L_q $, $ \frac qp $ and $ {\varrho}_{\varphi}(|\nabla u|) $.

Proof. Let $ u \in W^{1, {\varphi}}_{{{\rm{loc}}}}(\Omega) $ be a non-negative local minimizer. By Theorem 4.3,

where $ C $ depends only on $ n $, $ L_p $, $ L_q $, $ \frac qp $, the constants from ${\rm{(A0)}}$ and (A1), and $ {\varrho}_{\varphi}(|\nabla u|) $. Since $ p > n $, $ {\varphi} $ satisfies ${{\rm{(aInc)}}_{{p}}}$ and $ u\in W^{1, {\varphi}}_{{{\rm{loc}}}}(\Omega) $, $ u $ is continuous and Lemma 4.4 yields that $ u+r $ is monotone in the sense of Lebesgue. Thus we can apply Lemma 4.5 to $ u+r $, which gives the Harnack inequality.

5.   Minimizers with non-doubling growth

Let us study minimizers with given boundary values.

Definition 5.1. Let $ p \in [1, \infty) $, $ {\varphi}\in \Phi_{\rm{c}}(\Omega) $ and define, for $ \lambda{\geqslant} 1 $,

Note that since $ t \mapsto {\varphi}_\lambda(x, t) $ is convex for a.e. $ x \in \Omega $, the left derivative $ {\varphi}_-' $ exists for a.e. $ x \in \Omega $, and therefore the above definition makes sense.

Lemma 5.2. If $ {\varphi}\in \Phi_{\mathit{\rm{c}}}(\Omega) $, then $ {\varphi}_\lambda\in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfies $ {\varphi}_\lambda(\cdot, t)\approx t^p $ with constants depending on $ \lambda $. Furthermore,

for $ \lambda{\geqslant} 1 $, $ {\varphi}_\lambda(x, t) {\leqslant} {\varphi}_\Lambda(x, t)+\tfrac1\lambda t^p $ for any $ \Lambda{\geqslant} \lambda{\geqslant} 1 $, and $ {\varphi}_\lambda\to {\varphi} $ as $ \lambda\to\infty $.

Proof. It follows from the definition that $ \tfrac p\lambda \tau^{p-1} {\leqslant} {\varphi}_\lambda' (x, \tau){\leqslant} p(\tfrac1\lambda +\lambda)\tau^{p-1} $. Integrating over $ \tau\in [0, t] $ gives $ {\varphi}_\lambda(\cdot, t)\approx t^p $. Let $ \Lambda{\geqslant} \lambda{\geqslant} 1 $. Since the minimum in the integrand is increasing in $ \lambda $, we see that

and thus $ \limsup_{\lambda\to\infty}{\varphi}_\lambda{\leqslant} {\varphi} $. On the other hand, Fatou's Lemma gives

One of the terms in the minimum $ \min\{{\varphi}_-'(x, \tau), p\lambda \tau^{p-1}\} $ is achieved in at least a set of measure $ \frac t2 $. Since both terms are increasing in $ \tau $, this implies that

Since $ {\varphi}_\lambda(x, t)\approx t^p $, it follows by [30,Proposition 3.2.4] that $ W^{1, {\varphi}_\lambda}(\Omega) = W^{1, p}(\Omega) $ and the norms $ \|\cdot\|_{{\varphi}_\lambda} $ and $ \|\cdot\|_p $ are comparable. However, the embedding constant blows up as $ \lambda\to \infty $ unless $ {\varphi} $ also satisfies ${\left( {{\rm{aDec}}} \right)_p}$. This approximation approach is similar to that in ^[24]. Note in the next results that $ f $ is bounded by the Sobolev embedding in $ W^{1, p}(\Omega) $.

Lemma 5.3. Let $ q:\Omega \to (n, \infty) $, and let $ {\varphi}\in \Phi_{\mathit{\rm{c}}}(\Omega) $ satisfy ${\rm{(A0)}}$, ${{\rm{(aInc)}}_{{p}}}$ and ${\left( {{\rm{aDec}}} \right)_{q(\cdot)}}$, $ p > n $. Assume that $ f\in W^{1, {\varphi}}(\Omega) $ with $ \varrho_{\varphi}(\nabla f) < \infty $. Then there exists a sequence $ (u_{\lambda_k}) $ of Dirichlet $ {\varphi}_{\lambda_k} $-energy minimizers with the boundary value function $ f $ and a minimizer of the $ {\varphi} $-energy $ u_\infty\in f+W^{1, {\varphi}}_0(\Omega) $ such that $ u_{\lambda_k}\to u_\infty $ uniformly in $ \Omega $ as $ \lambda_k \to \infty $.

Proof. Note that we use $ W^{1, {\varphi}_\lambda}(\Omega) = W^{1, p}(\Omega) $ and $ W^{1, {\varphi}_\lambda}_0(\Omega) = W^{1, p}_0(\Omega) $ several times in this proof. Let $ \lambda{\geqslant} p $. Note that $ f\in W^{1, p}(\Omega) $ since $ t^p\lesssim{\varphi}(x, t)+1 $ by ${\rm{(A0)}}$ and (aInc)p. By [29,Theorem 6.2] there exists a minimizer $ u_\lambda\in f + W_0^{1, p}(\Omega) $ of

Fix $ \lambda{\geqslant} 1 $. By Lemma 5.2 and $ t^p\lesssim{\varphi}(x, t)+1 $, we have $ t^p\lesssim \min\{{\varphi}(x, \frac t2), \lambda t^p\}+1 \lesssim {\varphi}_\lambda(x, t) +1 $. Also by the same lemma, $ {\varphi}_\lambda\lesssim {\varphi} + \tfrac{1}{\lambda} t^p\lesssim {\varphi} +1 $. Since $ f $ is a valid test-function and $ u_\lambda $ is a $ {\varphi}_\lambda $-minimizer, we have

and hence $ {\varrho}_p(\nabla u_\lambda) $ is uniformly bounded. Note that the implicit constants do not depend on $ \lambda $.

Since $ u_\lambda-f\in W^{1, p}_0(\Omega) $, the Poincaré inequality implies that

Therefore, $ \|u_\lambda\|_p {\leqslant} \|u_\lambda-f\|_p + \|f\|_p {\leqslant} c $ and so $ \|u_\lambda\|_{1, p} $ is uniformly bounded. Since $ f + W_0^{1, p}(\Omega) $ is a closed subspace of $ W^{1, p}(\Omega) $, it is a reflexive Banach space. Thus there exists a sequence $ (\lambda_k)_{k = 1}^\infty $ tending to infinity and a function $ u_\infty \in f + W_0^{1, p}(\Omega) $ such that $ u_{\lambda_k}\rightharpoonup u_\infty $ in $ W^{1, p}(\Omega) $. Since $ p > n $, the weak convergence $ u_{\lambda_k}-f\rightharpoonup u_\infty-f $ in $ W^{1, p}_0(\Omega) $ and compactness of the Sobolev embedding [1,Theorem 6.3 (Part IV),p. 168] imply that $ u_{\lambda_k}-f \to u_\infty-f $ in the supremum norm. Hence $ u_{\lambda_k} \to u $ uniformly in $ \Omega $.

We note that the modular $ {\varrho}_{{\varphi}_\lambda} $ satisfies the conditions of [23,Definition 2.1.1]. Hence, it is weakly lower semicontinuous by [23,Theorem 2.2.8], and we obtain that

for fixed $ \lambda{\geqslant} 1 $, where in the second inequality we used Lemma 5.2 and the fact that $ t^p \lesssim {\varphi}_\lambda(x, t) +1 $. It follows by monotone convergence that

and hence $ |\nabla u_\infty| \in L^{\varphi}(\Omega) $. Since $ p > n $, $ \Omega $ is bounded and $ u_\infty -f \in W^{1, p}_0(\Omega) $, we obtain by [58,Theorem 2.4.1,p. 56] that $ u_\infty - f\in L^\infty(\Omega) $. Moreover, $ L^\infty(\Omega)\subset L^{\varphi}(\Omega) $ since $ \Omega $ is bounded and $ {\varphi} $ satisfies ${\rm{(A0)}}$. These and $ f\in L^{\varphi}(\Omega) $ yield that $ u_\infty \in L^{{\varphi}}(\Omega) $. Hence we have $ u_\infty \in W^{1, {\varphi}}(\Omega) $. Since $ u_\infty -f \in W^{1, p}_0(\Omega) $ and $ p > n $, it follows that $ u_\infty-f $ can be continuously extended by $ 0 $ in $ \Omega^c $ [2,Theorem 9.1.3]. Then we conclude as in [40,Lemma 1.26] that $ u_\infty-f\in W^{1, {\varphi}}_0(\Omega) $.

We conclude by showing that $ u_\infty $ is a minimizer. Suppose to the contrary that there exists $ u\in f+W^{1, {\varphi}}_0(\Omega) $ with

By $ {\varphi}_\lambda\lesssim {\varphi}+1 $, $ {\varphi}_\lambda\to{\varphi} $ and dominated convergence, there exists $ \lambda_0 $ such that

for all $ \lambda{\geqslant} \lambda_0 $. From the lower-semicontinuity estimate (5.4) we obtain $ k_0 $ such that

for all $ k{\geqslant} k_0 $. By increasing $ k_0 $ if necessary, we may assume that $ \lambda_k{\geqslant} \lambda_0 $ when $ k{\geqslant} k_0 $. For such $ k $ we choose $ \lambda = \lambda_k $ above and obtain that

This contradicts $ u_{\lambda_k} $ being a $ {\varphi}_{\lambda_k} $-minimizer, since $ u \in f + W^{1, {\varphi}}_0(\Omega) \subset f + W^{1, {\varphi}_{\lambda_k}}_0(\Omega) $. Hence the counter-assumption was incorrect, and the minimization property of $ u_\infty $ is proved.

We conclude this paper with the Harnack inequality for $ {\varphi} $-harmonic functions. Here we use Remark 3.8 to handle the possibility that $ q $ could be unbounded and thus $ {\varphi} $ non-doubling, like in Example 1.1. This is possible since $ q^\circ $ is the supremum of $ q $ only in the annulus, not the whole ball.

Theorem 5.5 (Harnack inequality). Let $ p, q : \Omega \to (n, \infty) $, and $ {\varphi} \in \Phi_{\mathit{\rm{c}}}(\Omega) $ be strictly convex and satisfy ${\rm{(A0)}}$, (A1), ${({\rm{aInc}})_{p(\cdot)}}$ and ${\left( {{\rm{aDec}}} \right)_{q(\cdot)}}$ with $ \inf p > n $. Assume that $ f\in W^{1, {\varphi}}(\Omega) $ with $ {\varrho}_{\varphi}(|\nabla f|) < \infty $. Then there exists a unique minimizer $ u $ of the $ {\varphi} $-energy with boundary values $ f $. Let $ B_{4r}\subset \Omega $, $ p^-: = \inf\limits_{B_{2r}} p $ and $ q^\circ: = \sup\limits_{B_{2r}\setminus B_r} q $. If $ \frac{q^\circ}{p^-} < \infty $, then the Harnack inequality

holds for all non-negative minimizers with $ C $ depending only on $ n $, $ \beta $, $ L_p $, $ L_q $, $ \frac{q^\circ}{p^-} $ and $ {\varrho}_{\varphi}(|\nabla f|) $.

Proof. By Lemma 5.3, there exists a sequence $ (u_k)\subset f+W^{1, p}_0(\Omega) $ of minimizers of the $ {\varphi}_{\lambda_k} $ energy which converge uniformly to a minimizer $ u_\infty\in f+W^{1, {\varphi}}_0(\Omega) $ of the $ {\varphi} $-energy. Since $ {\varphi} $ is strictly convex, the minimizer is unique and so $ u = u_\infty $.

From ${\rm{(A0)}}$ and ${\left( {{\rm{aInc}}} \right)_{{p^ - }}}$ we conclude that $ t^{p^-}\lesssim{\varphi}(x, t)+1 $. It follows from Lemma 5.2 that $ {\varphi}_\lambda(\cdot, t)\simeq {\varphi}(\cdot, t)+\frac1\lambda t^{p^-} $. Thus $ {\varphi}_\lambda $ satisfies ${\rm{(A0)}}$ and ${\rm{(A1)}}$ with the same constants as $ {\varphi} $. Since $ u_k\to u $ in $ L^\infty(\Omega) $ and $ u $ is non-negative we can choose a sequence $ \varepsilon_k\to 0^+ $ such that $ u_k+ \varepsilon_k $ is non-negative. By Theorem 4.1 with Remark 3.8,

where $ C $ depends only on $ n $, $ L_p $, $ L_q $, $ \frac{q^\circ}{p^-} $, $ \beta $ from ${\rm{(A0)}}$ and (A1), and $ {\varrho}_{{\varphi}_{\lambda_k}}(|\nabla u_k|) $. Since $ u_k $ is a minimizer, $ {\varrho}_{{\varphi}_{\lambda_k}}(|\nabla u_k|){\leqslant} {\varrho}_{{\varphi}_{\lambda_k}}(|\nabla f|)\lesssim {\varrho}_{\varphi}(|\nabla f|)+1 $. Thus by Lemma 4.5, we have

with $ C $ independent of $ k $. Since $ u_k+ \varepsilon_k\to u_\infty $ uniformly, the claim follows.

Acknowledgments

Peter Hästö was supported in part by the Jenny and Antti Wihuri Foundation.

Conflict of interest

The authors declare no conflict of interest.