Abstract
We study solutions to measure data elliptic systems with Uhlenbeck-type structure that involve operator of divergence form, depending continuously on the spacial variable, and exposing doubling Orlicz growth with respect to the second variable. Pointwise estimates for the solutions that we provide are expressed in terms of a nonlinear potential of generalized Wolff type. Not only we retrieve the recent sharp results proven for p-Laplace systems, but additionally our study covers the natural scope of operators with similar structure and natural class of Orlicz growth.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A broad and profuse branch of the theory of nonlinear partial differential systems stems from seminal ideas by Ural’tseva [85] and Uhlenbeck [84]. There is a solid stream of recent studies on regularity of solutions to general growth elliptic systems [4, 25, 33, 38, 67, 72, 81] and related minimizers of vectorial functionals [7, 15, 30, 32, 35, 36, 47, 73]. Our aim is to contribute to the field by providing pointwise estimates for very weak solutions to measure data problems in the terms of potentials of relevant Orlicz growth. As a consequence, we infer sharp description of fine properties of solutions being the exact analogues of the ones available in the classical linear potential theory or in the case of p-Laplace systems [65].
Let us stress that weak solutions do not have to exist for arbitrary measure datum. Thus we employ a notion of very weak solutions obtained by an approximation studied since [9]. Despite they can be unbounded, they can be controlled by a certain potential. There are known deep classical results for scalar problems [57, 58] settling the nonlinear potential theory for solutions to \(-\,\Delta _p u=-\,\textrm{div}(|Du|^{p-2}Du)=\mu \), \(1<p<\infty \), followed by their variable exponent version [68] and recently by the Orlicz one [22, 70], as well as a counterpart proven for systems involving p-Laplace operator [27, 65]. We study the nonstandard growth version of pointwise estimates involving suitably generalized potential of the Wolff type and infer their regularity consequences.
In fact, we investigate very weak solutions \({{\varvec{\textsf {u}}}}:\Omega \rightarrow {{\mathbb {R}}^{m}}\) to measure data elliptic systems involving nonlinear operators
where \(a\in C(\Omega )\) is bounded and separated from zero, \(g=G'\), \({{\varvec{{\mathsf{\mu }}}}}\in {\mathcal {M}}(\Omega ,{{\mathbb {R}}^{m}})\) is a bounded measure, whereas \({{\varvec{{\mathsf{\textrm{div}}}}}}\) stands for the \({{\mathbb {R}}^{m}}\)-valued divergence operator. Here we admit G to be a Young function satisfying both \(\Delta _2\)- and \(\nabla _2\)-conditions, which follows from the condition
See Assumption (A-vect) in Sect. 2 for all details. We stress that we impose the typical assumption of quasi-diagonal structure of \({{\mathcal {A}}}\) naturally covering the case of (possibly weighted) p-Laplacian when \(G_p(s)=s^{p},\) for every \(p\ge 2\), together with operators governed by the Zygmund-type functions \(G_{p,\alpha }(s)=s^p\log ^\alpha (1+s)\), \(p\ge 2,\,\alpha \in {{\mathbb {R}}}\), as well as their multiplications and compositions with various parameters. In turn, we generalize the corresponding results of [27, 65] to embrace also p-Laplace systems with continuous coefficients, and – on the other hand – cover the natural scope of operators with similar structure and Orlicz growth. Let us stress that the operator we consider is not assumed to enjoy homogeneity of a form \({{\mathcal {A}}}(x,k\xi )=|k|^{p-2}k{{\mathcal {A}}}(x,\xi )\). Consequently, our class of solutions is not invariant with respect to scalar multiplication.
Obtaining sharp regularity results for solutions to nonlinear systems is particularly challenging. In the scalar case one can infer continuity or Hölder continuity of the solution to \(-\textrm{div}{{\mathcal {A}}}(x,Du)=\mu \) when the dependence of the operator on the spacial variable is merely bounded and measurable and the growth of \({{\mathcal {A}}}\) with respect to the second variable is governed by an arbitrary doubling Young function (cf. [22]). The same is not possible for systems even with far less complicated growth and null datum, cf. [29, 55, 82] and [75, Sect. 3]. To justify why we restrict our attention to operators having a specific form as in (1), let us point out that the typical assumption of a so-called Uhlenbeck structure is imposed in order to control energy of solutions. The continuity of the coefficients is a minimal assumption to get continuity of the solution in the view of counterexample of [29].
The studies on the potential theory to measure data problems dates back to [52, 74]. We refer to [62] for an overview of the nonlinear potential theory, to [54, 57, 58, 69] for cornerstones of the field, and [1, 53] for well-present background of the p-growth case. In the scalar case, in their seminal works [57, 58], Kilpeläinen and Malý provided optimal Wolff potential estimates for p-superharmonic functions u generating a nonnegative measure \(\mu \) from above and below
with the so-called Wolff potential
see also [60, 83]. In the linear case (\(p=2\)) the estimates of (3) become the classical Riesz potential bounds. The precise Orlicz counterpart of this result with nonnegative measure \(\mu \) is proven with the nonstandard growth potential
see [22, 70]. To our best knowledge, the only reference one can find on the related results for systems are [27, 65] that involves problems with the p-Laplace operator. The estimate related to (3) provided therein establishes the upper bound only. Note however that no lower bound can be available in the vectorial case. Indeed, it origins in the lack of the possibility of proving maximum principle. Our method of proof relies on the ideas of [65]. We employ a properly adapted Orlicz version of \({{\mathcal {A}}}\)-harmonic approximation relevant for measure data problems (Theorem 4.1 in Sect. 4) and careful estimates on concentric balls. The proof of Theorem 4.1 is based on the arguments that essentially apply the Uhlebeck structure of the system and the lower growth restriction (2). By the very nature of the result one cannot hope for \({{\mathcal {A}}}\)-harmonic approximation of functions that do not have at least Sobolev regularity. In order to ensure that a distributional solution to a measure data problem belongs at least to \(W^{1,1}_{loc}\), the operator need to be far from 1-Laplacian. Note that already in the case of scalar p-Laplace equation, the value \(p=2-\frac{1}{n}\) is the integrability threshold for a fundamental solution. Indeed, for \(p\ne n\) a function \(u(x)=c(|x|^\frac{p-n}{n-1}-1)\), being a solution to \(-\Delta _p u=\delta _0\) on a ball, has locally integrable distributional gradient only for \(p>2-\frac{1}{n}\). Similarly, one can show the natural Orlicz counterpart of this threshold. If this condition is violated, a fundamental part of the proof of Theorem 4.1, i.e. the estimate on summability of \({\varvec{\textsf {u}}}\) and \(D{\varvec{\textsf {u}}}\), is false. Note that Remark 4.2 explains that the proof of Theorem 4.1 works for functions G having \(i_G\) slightly below 2. Other available proofs of summability estimates for solutions to similar problems with Orlicz growth also do not cover the natural range reflecting \(p>2-\frac{1}{n}\), see [4]. We stress that rest of the proofs, including those of pointwise Wolff potential estimate (Theorem 2.1), continuity criterium (Theorem 2.3) and Hölder continuity criterium (Theorem 2.9), do not make use of other growth assumptions than \(G\in \Delta _2\cap \nabla _2\). Nonetheless, all of them substantially rely on measure data \({{\mathcal {A}}}\)-harmonic approximation result.
Let us also mention that a lot of attention is attracted by potential estimates on gradients of solutions, generalized harmonic approximation, and their application in the theory of partial regularity [5, 6, 10,11,12,13, 16, 17, 19, 34, 37, 41,42,43,44, 62, 64, 71, 76] which is an open path from now on.
The paper is organized as follows. Our assumptions, main results and their regularity consequences are presented in Sect. 2. Sect. 3 is devoted to notation and information on the setting. In particular see Sect. 3.5 for the precise definition of the notion of very weak solutions we employ. Sect. 4 provides the most important tool of paper—a measure data \({{\mathcal {A}}}\)-harmonic approximation. Sect. 5 contains the proofs of comparison estimates, the sufficient condition for \({\varvec{\textsf {u}}}\) to be in VMO of Proposition 2.2, the potential estimates of Theorem 2.1, the continuity criterion of Theorem 2.3 and the Hölder continuity criterion of Theorem 2.9.
2 Main result and its consequences
2.1 The statement of the problem
Let us present an essential notation and details of the measure data problem we study.
Essential notation. By ‘\(\cdot \)’ we denote the scalar product of two vectors, i.e. for \({{{\varvec{{\mathsf{\xi }}}}}}=(\xi _1,\dots ,\xi _m)\in {{\mathbb {R}}^{m}}\) and \({{\varvec{{\mathsf{\eta }}}}}= (\eta _1,\dots ,\eta _m)\in {{\mathbb {R}}^{m}}\) we have \({{{\varvec{{\mathsf{\xi }}}}}}\cdot {{{\varvec{{\mathsf{\eta }}}}}} = \sum _{i=1}^m \xi _i \eta _i\); by ‘ : ’ – the Frobenius product of the second-order tensors, i.e. for \({\xi }=[\xi _{j}^\alpha ]_{j=1,\dots ,n,\, \alpha =1,\dots ,m}\) and \(\eta =[\eta _{j}^\alpha ]_{j=1,\dots ,n,\, \alpha =1,\dots ,m}\) we have
By ‘\(\otimes \)’ we denote the tensor product of two vectors, i.e for \({{{{\varvec{{\mathsf{\xi }}}}}}}=(\xi _1,\dots ,\xi _k)\in {{{\mathbb {R}}}^k}\) and \({{{{\varvec{{\mathsf{\eta }}}}}}}= (\eta _1,\dots ,\eta _\ell )\in {{\mathbb {R}}}^\ell \), we have \({{\varvec{{\mathsf{\xi }}}}}\otimes {{\varvec{{\mathsf{\eta }}}}}:=[\xi _i\eta _j]_{i=1,\dots ,k,\,j=1,\dots ,\ell },\) that is
Assumption (A-vect). Given a bounded, open, Lipschitz set \(\Omega \subset {{\mathbb {R}}^{n}}\), \(n\ge 2\), we investigate solutions \({{\varvec{\textsf {u}}}}:\Omega \rightarrow {{\mathbb {R}}^{m}}\) to the problem
with a datum \({{\varvec{{\mathsf{\mu }}}}}\) being a vector-valued bounded Radon measure and a function \({{\mathcal {A}}}:\Omega \times {{\mathbb {R}}^{n\times m}}\rightarrow {{\mathbb {R}}^{n\times m}}\) is a weighted operator of Orlicz growth expressed by the means of \(g(t):=G'(t)\), where an N-function \(G \in C^2((0,\infty ))\cap C({[0,\infty )})\) satisfies \(i_G\ge 2\) with \(i_G\) given by (2). Let \(g\in \Delta _2\cap \nabla _2\). Namely, \({{\mathcal {A}}}\) is assumed to admit a form
where \(a:\Omega \rightarrow [c_a,C_a],\) \(0<c_a<C_a\) is a continuous function with a modulus of continuity \(\omega _a\). We define a potential
For the case of referring to the dependence of some quantities on the parameters of the problem, we collect them as
Having (5), one can infer the strong monotonicity of the vector field \({{\mathcal {A}}}\) of a form given by Lemma 3.2.
Let us define the notion of very weak solutions we employ. Let us define the notion of very weak solutions we employ, cf. [23].
Solutions Obtained as a Limit of Approximation. A map \({\varvec{\textsf {u}}}\in W^{1,1}_0(\Omega ,{{\mathbb {R}}^{m}})\) such that \(\int _\Omega g(|{D{\varvec{\textsf {u}}}}|)\,dx<\infty \) is called a SOLA to (4) under the regime of Assumption (A-vect), if there exists a sequence \(({\varvec{\textsf {u}}}_{h})\subset W^{1,G }(\Omega ,{{\mathbb {R}}^{m}})\) of local energy solutions to the systems
such that \({\varvec{\textsf {u}}}_{h}\rightarrow {\varvec{\textsf {u}}}\) locally in \(W^{1,1}(\Omega ,{{\mathbb {R}}^{m}})\) and \(({{\varvec{{\mathsf{\mu }}}}}_h)\subset L^\infty (\Omega ,{{\mathbb {R}}^{m}})\) is a sequence of maps that converges to \({{\varvec{{\mathsf{\mu }}}}}\) weakly in the sense of measures and satisfies
for every ball \(B\subset \Omega \).
Observe that the above approximation property immediately implies that a SOLA \({\varvec{\textsf {u}}}\) is a distributional solution to (4), that is,
2.2 Main results
Our main accomplishment reads as follows.
Theorem 2.1
(Pointwise Wolff potential estimates) Suppose \({\varvec{\textsf {u}}}:\Omega \rightarrow {{\mathbb {R}}^{m}}\) is a SOLA to (4) with \({{\mathcal {A}}}\) satisfying Assumption (A-vect) and \({{\varvec{{\mathsf{\mu }}}}}\in {{\mathcal {M}}(\Omega ,{{\mathbb {R}}^{m}})}\). Let \(B_r(x_0)\Subset \Omega \) with \(r<R_0\) for some \(R_0=R_0({{\texttt {\textit{data}}}})\). If \({{\mathcal {W}}}^{{\varvec{{\mathsf{\mu }}}}}_G(x_0,r)\) is finite, then \(x_0\) is a Lebesgue’s point of \({\varvec{\textsf {u}}}\) and
holds for \(C_{{\mathcal {W}}}>0\) depending only on \({{\texttt {\textit{data}}}}\). In particular, we have the following pointwise estimate
2.3 Local behaviour of very weak solutions
Potential estimates are known to be efficient tools to bring precise information on the local behaviour of solutions. We refer to [62] for clearly presented overview of consequences of estimates like (9) in studies on p-superharmonic functions together with a bunch of related references and to [22] for similar results for \({\mathcal {A}}\)-harmonic functions where the operator \({\mathcal {A}}\) is exhibiting Orlicz type of growth. Notice however we referred to the scalar case. In the vectorial one, the only investigations on the potential estimates to solutions to measure data problem we are aware of are available in [27, 65] for p-Laplace systems. Let us present the regularity consequences of Wolff potential estimates to p-Laplace system with continuous coefficients and the natural scope of operators with similar structure and Orlicz growth.
We start with finding a density condition around a point \(x_0\) implying that a solution has vanishing mean oscillations at \(x_0\). The proposition below does not follow from Theorem 2.1, for the proof see Sect. 5.
Proposition 2.2
(VMO criterion) Suppose \({{\mathcal {A}}}\) satisfies Assumption (A-vect) and \({{\varvec{{\mathsf{\mu }}}}}\in {{\mathcal {M}}(\Omega ,{{\mathbb {R}}^{m}})}\). Let \({\varvec{\textsf {u}}}\) be a SOLA to (4) and let \(B_r(x_0)\Subset \Omega .\) If
then \({\varvec{\textsf {u}}}\) has vanishing mean oscillations at \(x_0\), i.e.
An application of Theorem 2.1 is the following continuity criterion proven also in Sect. 5.
Theorem 2.3
(Continuity criterion) Suppose \({\varvec{\textsf {u}}}\) is a SOLA to (4) under the regime of Assumption (A-vect) and \(B_r(x_0)\Subset \Omega .\) If
then \({\varvec{\textsf {u}}}\) is continuous in \(B_r(x_0).\)
If \({{\varvec{{\mathsf{\mu }}}}}=0\), then \({{\mathcal {W}}}^{{\varvec{{\mathsf{\mu }}}}}_G(x,\varrho )=0\), thus trivially we have the following consequence.
Corollary 2.4
Under Assumption (A-vect) if \({\varvec{\textsf {u}}}\) is an \({{\mathcal {A}}}\)-harmonic map in \(\Omega ,\) then \({\varvec{\textsf {u}}}\) is continuous in every \(\Omega '\Subset \Omega .\)
Condition (12) holds true provided the datum belongs to a Lorentz-type space. In order to define it we recall some definitions. We denote by \(f^\star \) the decreasing rearrangement of a measurable function \(f:\Omega \rightarrow {{\mathbb {R}}}\) by
the maximal rearrangement by
Following [80] by Lorentz space \(L(\alpha , \beta )(\Omega )\) for \(\alpha ,\beta >0\) we mean the class of measurable functions such that
The following fact is proven in Appendix.
Lemma 2.5
Suppose \({{\varvec{{\mathsf{\mu }}}}}={\varvec{\textsf {F}}}:{{\mathbb {R}}^{n}}\rightarrow {{\mathbb {R}}^{m}}\) is a locally integrable map vanishing outside \(\Omega \), then there exists a constant \(c=c(n,i_G,s_G)>0\), such that
Note that if \({\mathcal {I}}_R<\infty \), the datum \({\varvec{\textsf {F}}}\) is in the dual space to \(W^{1,G}(B_R)\) and, consequently, we deal with a weak solution, see [3]. Let us present a corollary of Theorem 2.3 holding due to Lemma 2.5.
Corollary 2.6
If \({\varvec{\textsf {u}}}\) is a weak solution to \(-{{\varvec{{\mathsf{\textrm{div}}}}}}{{\mathcal {A}}}(x,{D{\varvec{\textsf {u}}}})={\varvec{\textsf {F}}}\) with \({{\mathcal {A}}}\) satisfying Assumption (A-vect) and \({\varvec{\textsf {F}}}:\Omega \rightarrow {{\mathbb {R}}^{m}}\) such that
for \(\Omega _0\Subset \Omega \), then \({\varvec{\textsf {u}}}\in C(\Omega _0,{{\mathbb {R}}^{m}})\) and \(\Vert {\varvec{\textsf {u}}}\Vert _{L^\infty (\Omega _0,{{\mathbb {R}}^{m}})}\le c({{\texttt {\textit{data}}}}) {\mathcal {I}}.\) This bound is optimal and attained by a radial solution on a ball, see [3]. Moreover, as a special case we get that \({\varvec{\textsf {u}}}\) is continuous under the regularity restrictions on \(|{\varvec{\textsf {F}}}|=f\) of [3, Example 1 (A) and Example 2 (A)], still within our regime requiring \(g\in \Delta _2\cap \nabla _2\) and \(i_G\ge 2\).
The above corollary results in the following extension of [65, Theorem 10.6] to the weighted case.
Remark 2.7
If \({\varvec{\textsf {u}}}\) is a weak solution to \(-{ {{\varvec{{\mathsf{\textrm{div}}}}}}}\left( a(x)|{D{\varvec{\textsf {u}}}}|^{p-2} {D{\varvec{\textsf {u}}}}\right) ={\varvec{\textsf {F}}}\) for \(p\ge 2\) and \(0<a\in C(\Omega )\) is separated from zero and \(|{\varvec{\textsf {F}}}|\) belongs locally to the Lorentz space \(L(\tfrac{n}{p},\tfrac{1}{p-1})(\Omega )\) then \({\varvec{\textsf {u}}}\) is continuous in \(\Omega \).
As another application of Corollary 2.6 let us present its consequences for the Zygmund case.
Remark 2.8
Suppose that \(2\le p<n,\) \(\alpha \ge 0\), \(0<a\in C(\Omega )\) separated from zero is bounded, and \({\varvec{\textsf {u}}}\) is a weak solution to
Observe that in this case \(g^{-1}(\lambda )\approx \lambda ^\frac{1}{p-1}\log ^{-\frac{\alpha }{p-1}}(\textrm{e}+\lambda )\). If \({\varvec{\textsf {F}}}\) satisfies (13), then \({\varvec{\textsf {u}}}\) is continuous in \(\Omega \).
Wolff potential estimates can be used to find a relevant condition on a measure \({{\varvec{{\mathsf{\mu }}}}}\) to infer Hölder continuity of solutions. One of the natural ones is expressed in the Orlicz modification of the Morrey-type scale.
Theorem 2.9
(Hölder continuity criterion) Suppose \({\varvec{\textsf {u}}}\) is a SOLA to (4) under the regime of Assumption (A-vect). Assume further that for \({{\varvec{{\mathsf{\mu }}}}}\) there exist positive constants \(c=c({{\texttt {\textit{data}}}})>0\) and \(\theta \in (0,1)\) such that
for each \(B_r(x)\Subset \Omega \) with sufficiently small radius. Then \({\varvec{\textsf {u}}}\) is locally Hölder continuous in \(\Omega \).
For p-growth problems condition (15) reads as \(|{{\varvec{{\mathsf{\mu }}}}}|(B_r(x))\le c r^{n-p+\theta (p-1)}\) well known since [14, 57, 59, 78]. Moreover, in the scalar case (15) is proven in [22] to be equivalent to Hölder continuity of solutions, while in [20] to characterize removable sets for Hölder continuous solutions. In the vectorial case we cannot get equivalence, because by Theorem 2.1 we are equipped with one-sided estimate only. Specializing Theorem 2.9, we have the following results.
Remark 2.10
Suppose \(p\ge 2\), positive \(a\in C(\Omega )\) is separated from zero, and \({\varvec{\textsf {u}}}\) is a SOLA to
with \(|{{\varvec{{\mathsf{\mu }}}}}|(B_r(x))\le c r^{n-p+\theta (p-1)}\) for some \(c>0,\) \(\theta \in (0,1)\) and all sufficiently small \(r>0.\) Then \({\varvec{\textsf {u}}}\) is locally Hölder continuous in \(\Omega \).
Remark 2.11
Suppose \(p\ge 2,\) \(\alpha \in {{\mathbb {R}}}\), positive \(a\in C(\Omega )\) is separated from zero, and \({\varvec{\textsf {u}}}\) is a SOLA to
with \(|{{\varvec{{\mathsf{\mu }}}}}|(B_r(x))\le c r^{n-p+\theta (p-1)}\log ^\alpha (\textrm{e}+r^{\theta -1}) \) for some \(c>0,\) \(\theta \in (0,1)\) and all sufficiently small \(r>0.\) Then \({\varvec{\textsf {u}}}\) is locally Hölder continuous in \(\Omega \).
The sufficient condition for (15) and, in turn, for the Hölder continuity of the solution is to assume that \(|{{\varvec{{\mathsf{\mu }}}}}|=|{\varvec{\textsf {F}}}|\) belongs to a relevant Marcinkiewicz-type space. Following [77] for a continuous increasing function \(\psi :(0,|\Omega |)\rightarrow (0,\infty )\) we say that \(f\in L(\psi ,\infty )(\Omega )\) if the maximal rearrangement \(f^{\star \star }\) of f satisfies
There holds the following consequence of Theorem 2.9.
Corollary 2.12
Suppose \({\varvec{\textsf {u}}}\) is a SOLA to \(-{{\varvec{{\mathsf{\textrm{div}}}}}}{{\mathcal {A}}}(x,{D{\varvec{\textsf {u}}}})={\varvec{\textsf {F}}}\) under the regime of Assumption (A-vect) and \(|{\varvec{\textsf {F}}}|\) belongs locally to the Marcinkiewicz-type space \(L(\psi ,\infty )(\Omega )\) with \(\psi ^{-1}(1/\lambda )=\lambda ^{-\frac{1}{n}}g\big (\lambda ^{\frac{\theta -1}{n}}\big )\) for some \(\theta \in (0,1)\), then \({\varvec{\textsf {u}}}\) is locally Hölder continuous.
For justification that indeed under the assumptions of Corollary 2.12 the condition (15) is satisfied see the calculations provided for the scalar case [22, Sect. 2]. The above fact has the best possible consequence in the p-Laplace case.
Remark 2.13
If \(p\ge 2\), positive \(a\in C(\Omega )\) is separated from zero, \({\varvec{\textsf {u}}}\) is a SOLA to \(-{ {{\varvec{{\mathsf{\textrm{div}}}}}}}\left( a(x)|{D{\varvec{\textsf {u}}}}|^{p-2} {D{\varvec{\textsf {u}}}}\right) ={\varvec{\textsf {F}}}\) and \(|{\varvec{\textsf {F}}}|\) belongs locally to the Marcinkiewicz space \(L(\frac{n}{p+\theta (p-1)},\infty )(\Omega )\) for some \(\theta \in (0,1)\), i.e. \(\sup _{\lambda>0}\left( \lambda ^\frac{n}{p+\theta (p-1)}\big |\{x\in \Omega _0:\,|{\varvec{\textsf {F}}}(x)|>\lambda \}|\right) <\infty \) for any \(\Omega _0\Subset \Omega \), then \({\varvec{\textsf {u}}}\) is locally Hölder continuous in \(\Omega \).
Remark 2.14
When \(G(t)\approx t^p\log ^\alpha (\textrm{e}+t),\) \(p\ge 2,\) \(\alpha \in {{\mathbb {R}}}\), \({\varvec{\textsf {u}}}\) is a SOLA to (14) with \({\varvec{\textsf {F}}}\) such that
for any \(\Omega _0\Subset \Omega \), then \({\varvec{\textsf {u}}}\) is locally Hölder continuous in \(\Omega \).
3 Preliminaries
3.1 Notation
We shall adopt the customary convention of denoting by c a constant that may vary from line to line. To skip rewriting a constant, we use \(\lesssim \). By \(a\approx b\), we mean \(a\lesssim b\) and \(b\lesssim a\). To stress the dependence of the intrinsic constants on the parameters of the problem, we write \(\lesssim _{{\texttt {\textit{data}}}}\) or \(\approx _{{\texttt {\textit{data}}}}\). By \(B_R\) we denote a ball skipping prescribing its center, when it is not important. By \(cB_R=B_{cR}\) we mean a ball with the same center as \(B_R\), but with rescaled radius cR. We make use of the truncation operator, \(T_k:{{\mathbb {R}}^{m}}\rightarrow {{\mathbb {R}}^{m}}\), defined as follows
Then, of course, \(D T_k:{{\mathbb {R}}^{m}}\rightarrow {{\mathbb {R}}}^{m\times m}\) is given by
For a measurable set \(U\subset {{\mathbb {R}}^{n}}\) with finite and positive n-dimensional Lebesgue measure \(|U|>0\) and \({\varvec{\textsf {f}}}:U\rightarrow {\mathbb {R}}^{k}\), \(k\ge 1\) being a measurable map, we define
By \(C^{0,\gamma }(U)\), \(\gamma \in (0,1]\), we mean the family of Hölder continuous functions, i.e. measurable functions \(f:U\rightarrow {\mathbb {R}}^k\) for which
We describe the ellipticity of a vector field \({{\mathcal {A}}}\) using a function \({{\mathcal {V}}}:{{\mathbb {R}}^{n\times m}}\rightarrow {{\mathbb {R}}^{n\times m}}\) given by
3.2 Basic definitions
References for this section are [61, 79].
We say that a function \(G: [0, \infty ) \rightarrow [0, \infty ]\) is a Young function if it is convex, vanishes at 0, and is neither identically equal to 0, nor to infinity. A Young function G which is finite-valued, vanishes only at 0 and satisfies the additional growth conditions
is called an N-function. The complementary function \(\widetilde{G}\) (called also the Young conjugate, or the Legendre transform) to a nondecreasing function \(G:{[0,\infty )}\rightarrow {[0,\infty )}\) is given by the following formula
If G is a Young function, so is \(\widetilde{G}\). If G is an N-function, so is \(\widetilde{G}\).
Having Young functions \(G,\widetilde{G}\), we are equipped with Young’s inequality reading as follows
We say that a function \(G:{[0,\infty )}\rightarrow {[0,\infty )}\) satisfies \(\Delta _2\)-condition if there exists \(c_{\Delta _2}>0\) such that \(G(2t)\le c_{\Delta _2}G(t)\) for \(t>0.\) We say that G satisfy \(\nabla _2\)-condition if \(\widetilde{G}\in \Delta _2.\) Note that it is possible that G satisfies only one of the conditions \(\Delta _2/\nabla _2\). For instance, for \(G(t) =( (1+|t|)\log (1+|t|)-|t|)\in \Delta _2\), its complementary function is \({\widetilde{G}}(s)= (\exp (|s|)-|s|-1 )\not \in \Delta _2\). See [79, Sect. 2.3, Theorem 3] for equivalence of various definitions of these conditions and [21, 31] for illustrating the subtleties. In particular, \(G\in \Delta _2\cap \nabla _2\) if and only if \(1<i_G\le s_G<\infty \), see (2). This assumption implies a comparison with power-type functions i.e. \(\frac{G(t)}{t^{i_G}}\) is non-decreasing and \(\frac{G(t)}{t^{s_G}}\) is non-increasing, but it is stronger than being sandwiched between power functions.
Lemma 3.1
If an N-function \(G\in \Delta _2\cap \nabla _2\), then \(g(t)t\approx G(t)\)
and \(\widetilde{G}(g(t))\approx G(t)\) with the constants depending only on the growth indexes of G, that is \(i_G\) and \(s_G\). Moreover, \(g^{-1}(2t)\le c g^{-1}(t)\) with \(c=c(i_G,s_G).\)
Due to Lemma 3.1 and [33, Lemmas 3 and 21], we have the following relations.
Lemma 3.2
If G is an N-function of class \(C^2((0,\infty ))\cap C([0,\infty ))\), \(G{,g}\in \Delta _2\cap \nabla _2\), \({{\mathcal {A}}}\) is given by (5), then for every \(\xi ,\eta \in {{\mathbb {R}}^{n\times m}}\) it holds
and
3.3 Orlicz spaces
Basic reference for this section is [2], where the theory of Orlicz spaces is presented for scalar functions. The proofs for functions with values in \({{\mathbb {R}}^{m}}\) can be obtained by obvious modifications.
We study the solutions to PDEs in the Orlicz-Sobolev spaces equipped with a modular function \(G\in C^1 {((0,\infty ))}\) - a strictly increasing and convex function such that \(G(0)=0\) and satisfying (2). Let us define a modular
For any bounded \(\Omega \subset {{\mathbb {R}}^{n}}\), by Orlicz space \({L}^G(\Omega ,{{\mathbb {R}}^{m}})\) we understand the space of measurable functions endowed with the Luxemburg norm
We define the Orlicz-Sobolev space \(W^{1,G}(\Omega )\) as follows
where the gradient is understood in the distributional sense, endowed with the norm
and by \(W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) we denote the closure of \(C_c^\infty (\Omega ,{{\mathbb {R}}^{m}})\) under the above norm. Since condition (2) imposed on G implies \(G,\widetilde{G}\in \Delta _2\), the Orlicz-Sobolev space \(W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) we deal with is separable and reflexive. Moreover, one can apply arguments of [49] to infer density of smooth functions in \(W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\).
The counterpart of the Hölder inequality in this setting reads
for all \({\varvec{\textsf {f}}}\in L^G(\Omega ,{{\mathbb {R}}^{m}})\) and \( {\varvec{\textsf {g}}}\in L^{\widetilde{G}}(\Omega ,{{\mathbb {R}}^{m}})\).
3.4 The operator
We notice that in such regime the operator \({\textsf{A}}_{G}\) acting as
is well defined on a reflexive and separable Banach space \(W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) and \({\textsf{A}}_{G}(W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}}))\subset (W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}}))'\). Indeed, when \({\varvec{\textsf {u}}}\in W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) and \({{\varvec{{\mathsf{\phi }}}}}\in C_c^\infty (\Omega ,{{\mathbb {R}}^{m}})\), structure condition (5), Hölder’s inequality (24), and Lemma 3.1 justify that
3.5 Definitions of solutions and comments on existence results
We stress that the problems are considered under the regime of Assumption (A-vect).
A function \({\varvec{\textsf {v}}}\in W_{loc}^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) is called an \(\underline{{{\mathcal {A}}}}\) -harmonic map in \(\Omega \subset {{\mathbb {R}}^{n}}\) provided
As a consequence of our main result, in Corollary 2.4, we prove that \({{\mathcal {A}}}\)-harmonic maps are continuous. In fact, by Campanato’s characterization [48, Theorem 2.9] one can infer from Proposition 3.13 Hölder continuity \(C^{0,\gamma }(\Omega ,{{\mathbb {R}}^{m}})\) of \({{\mathcal {A}}}\)-harmonic maps with any exponent \(\gamma \in (0,1).\)
A function \({\varvec{\textsf {u}}}\in W^{1,G}_{loc}(\Omega ,{{\mathbb {R}}^{m}})\) is called a weak solution to (4), if
Recall that \(W^{1,G}_{0}(\Omega ,{{\mathbb {R}}^{m}})\) is separable and by its definition \({C_c^\infty }(\Omega ,{{\mathbb {R}}^{m}})\) is dense there.
Remark 3.3
(Existence and uniqueness of weak solutions) For \({{\varvec{{\mathsf{\mu }}}}}\in (W^{1,G}_{0}(\Omega ,{{\mathbb {R}}^{m}}))',\) due to the strict monotonicity of the operator, there exists a unique weak solution to (4), see [56, Sect. 3.1].
Recall that the notion of SOLA is defined in Sect. 2.2. The problem (4) admits a solution of this type for arbitrary bounded measure.
Proposition 3.4
If a vector field \({{\mathcal {A}}}\) satisfies Assumption (A-vect) and \({{\varvec{{\mathsf{\mu }}}}}\in {{\mathcal {M}}(\Omega ,{{\mathbb {R}}^{m}})}\), then there exists a SOLA \({\varvec{\textsf {u}}}\in W^{1,1}_0(\Omega ,{{\mathbb {R}}^{m}})\) to (4).
The idea to prove it is to consider
where \(\varrho _k\) stands for a standard mollifier i.e. for a nonnegative, smooth, and even function such that \(\int _{{\mathbb {R}}^{m}}\varrho (s)\mathrm{\,d}s=1\) we define \(\varrho _k(s)=k^n\varrho (ks)\) for \(k\in {{\mathbb {N}}}\). Of course
By Remark 3.3 one finds \({\varvec{\textsf {u}}}_k\in W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) such that for every \({{\varvec{{\mathsf{\varphi }}}}}\in W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) it holds that
The existence of SOLA by passing to the limit can be justified by modification of arguments of [39].
See [3, 8, 18, 21, 24, 26] for related existence and regularity results in the scalar case and [28, 39, 40, 46, 66] for vectorial existence results in various regimes.
3.6 Auxiliary results
Lemma 3.5
For \(\varvec{\textsf {g}}:B\rightarrow {{\mathbb {R}}}^k\), \(k\ge 1\) and any \({{\varvec{{\mathsf{\xi }}}}}\in {{\mathbb {R}}}^k\) it holds that
We have the following corollary of the Cavalieri Principle.
Lemma 3.6
If \(\nu \in {\mathcal {M}}(\Omega )\) has a density \(\omega \) (i.e. \(d\nu =\omega (x)\,dx\) with \(\omega \in L^1(\Omega )\)) and \((1+|f|)^{-(\gamma +1)}\omega \in L^1({{\mathbb {R}}^{n}})\) for some \(\gamma >0\), then
Lemma 3.7
([48], Lemma 6.1) Let \(\phi :[R/2,3R/4]\rightarrow [0,\infty )\) be a function such that
with \(\textsf{A,B}\ge 0\) and \(\beta >0\). Then there exists \(c=c(\beta )\), such that
Lemma 3.8
([50], Lemma 3.4) Let \(\phi (t)\) be a nonnegative and nondecreasing function on [0, R]. Suppose that
for any \(0 < \rho \le r \le R\), with \({\textsf{A}},{\textsf{B}},\alpha ,\beta \) nonnegative constants and \(\beta < \alpha \). Then for any \(\gamma \in (\beta , \alpha )\), there exists a constant \(\epsilon _{0} = \epsilon _{0}({\textsf{A}},\alpha , \beta , \gamma )\) such that if \(\epsilon < \epsilon _0\), then for all \(0 < \rho \le r \le R\) we have
where c is a positive constant depending on \({\textsf{A}}, \alpha , \beta , \gamma \).
The next lemma is a self-improving property for the reverse Hölder inequalities.
Lemma 3.9
([53], Lemma 3.38) Let \(0<r<q<p<\infty \), \(0< \rho < R \le 1\) and \(w \in L^{p}(B_1)\). If the following reverse Hölder inequality holds
for some constants \(c_0\) and \(c_1\), whenever \(\rho \le \sigma ' \le \sigma \le R\). Then there exists \(c=c(c_0,\xi ,p,q,r)\) such that
where
The following modular version of the Sobolev-Poincaré inequality follows almost directly as in [5], but we present the proof for vector-valued functions for the sake of completeness.
Proposition 3.10
Suppose \(\Omega \) is a bounded Lipschitz domain in \({{\mathbb {R}}^{n}}\), \(m,n\ge 1\), and \(G:{[0,\infty )}\rightarrow {[0,\infty )}\) is an N-function such that \(G\in \Delta _2\cap \nabla _2\). Then there exist a constant \(C=C(n,m,|\Omega |,G)>0\), such that for every \({\varvec{\textsf {u}}}\in W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\)
Proof
We provide the proof only in the case of continuously differentiable G. Otherwise every time one can find a sufficiently smooth function \(G_\circ \) comparable to G, i.e. such that there exists \(c>0\), such that \(G_\circ (t)/c\le G(t)\le cG_\circ (t).\) Moreover, we start with the proof for fixed \({\varvec{\textsf {u}}}\in C_c^\infty (\Omega ,{{\mathbb {R}}^{m}})\) and then conclude by the density argument. The classical Sobolev inequality in \(W^{1,1}\) gives
Since \(G\in \Delta _2,\) it satisfies \(g(t)\le c\, G(t)/t\) and \(G^*\left( \frac{G(t)}{t}\right) \le {G(t)}.\) Thus by the Young inequality we arrive at
Summing up, we have
where according to the Hölder inequality we obtain
Now we can choose \(\varepsilon \) small enough to absorb it on the right-hand side and obtain the claim for \({\varvec{\textsf {u}}}\in C_c^\infty (\Omega ,{{\mathbb {R}}^{m}})\). Since smooth function are dense in \(W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) by standard approximation argument we get the claim for all \({\varvec{\textsf {u}}}\in W_0^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\). \(\square \)
3.7 Properties of \({{\mathcal {A}}}\)-harmonic maps
Let us establish some fundamental properties of \({{\mathcal {A}}}\)-harmonic maps.
Proposition 3.11
(Caccioppoli estimate) If \({\varvec{\textsf {v}}}\in W_0^{1,G} (\Omega ,{{\mathbb {R}}^{m}})\) is a nonnegative \({{\mathcal {A}}}\)-harmonic map, \({{\varvec{{\mathsf{\lambda }}}}}\in {{\mathbb {R}}^{m}}\), and \(7/8\le \sigma '<\sigma \le 1,\) then there exists \(c=c({{\texttt {\textit{data}}}})>0\), such that
Proof
Let us pick a cutoff function \(\eta \in C_c^\infty ({B_{\sigma r}})\) such that \(\mathbb {1}_{B_{\sigma ' r}}\le \eta \le \mathbb {1}_{B_{\sigma r}}\) and \(|D\eta |\le c_1/(\sigma '-\sigma )\). We use \(\xi =\eta ^q ({\varvec{\textsf {v}}}-{{\varvec{{\mathsf{\lambda }}}}})\) as a test function to get
Therefore, due to the coercivity of \({{\mathcal {A}}}\) and the Cauchy–Schwarz inequality we have
Noting that q is large enough to satisfy \(s_G'\ge q'\), we have in turn that \(\widetilde{ G}(\eta ^{q-1}t)\le c \eta ^q\widetilde{G}(t)\) and
Then, using Young inequality (20) applied to the integrand of \({\mathcal {K}}\) we get
with arbitrary \(\varepsilon <1\). Choosing \(\varepsilon \) small enough to absorb the term, and finally by properties of \(\eta \) we obtain (29). \(\square \)
An \({{\mathcal {A}}}\)-harmonic function \({\varvec{\textsf {v}}}\) is a minimizer of a functional
Therefore, taking the operator independent of the spacial variable
\({{\mathcal {A}}}\)-harmonic functions are Lipschitz regular by the following fact.
Lemma 3.12
([35], Lemma 5.8) Suppose G is an N-function of class \(C^2((0,\infty ))\cap C([0,\infty ))\), \(G,g\in \Delta _2\cap \nabla _2\), \({\varvec{\textsf {w}}}\) is \({{\mathcal {A}}}\)-harmonic in \(\Omega \) for \({{\mathcal {A}}}\) given by (30). Let \(B\subset 2B\Subset \Omega \). Then there exists \(c=c({{\texttt {\textit{data}}}})>0\) such that
Proposition 3.13
Suppose a vector field \({{\mathcal {A}}}\) satisfies Assumption (A-vect). If \({\varvec{\textsf {v}}}\in W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) is \({{\mathcal {A}}}\)-harmonic, then for any \(\varsigma \in (0,1)\) there exists \(R_0=R_0({{\texttt {\textit{data}}}},\varsigma ) \in (0,1]\) such that for any \(0< R \le R_0\) and \(B_R\Subset \Omega \) it holds that
whenever \(\delta \in (0,1/4],\) where \(c_{\textrm{o}}\ge 1\) is a constant depending only on \({{\texttt {\textit{data}}}}\) and \(\varsigma \) and \(K=K(i_G,s_G)\).
Proof
In this proof, we use a classical perturbation argument, see for instance [50, Theorem 3.8]. It suffices to prove (31) for \({\varvec{\textsf {v}}}\) solving
Indeed, the general case can be deduced then by considering \(\widetilde{{\varvec{\textsf {v}}}}(x)= {{\varvec{\textsf {v}}}(x_0+Rx)}/{R}\) solving \(-{{\varvec{{\mathsf{\textrm{div}}}}}}{\bar{{{\mathcal {A}}}}}(x,{D\widetilde{{\varvec{\textsf {v}}}}})=0\) on \(B_1(0)\) with
In this case, the modulus \(\omega _{{{\bar{a}}}}\) of continuity of \({{\bar{a}}}\) satisfies \(\omega _{{{\bar{a}}}}(r) = \omega _{a}(rR)\).
Note first Propositions 3.10 and 3.11 imply that for any \(7/8 \le \sigma ' < \sigma \le 1\) it holds
From the doubling property of G and the upper and lower bound on \(\sigma '\) and \(\sigma \), we have
Using the triangle inequality and Jensen’s inequality
for \(c=c({{\texttt {\textit{data}}}})\). From Lemma 3.9, for any \(t \in (0,1/s_{G})\), we have
Here, in the last line, as \(t \mapsto G^{t}(t)\) is a concave function for every \(t \in (0, 1/s_{G})\) we have used Jensen’s inequality.
Let \({\varvec{\textsf {w}}}\in {\varvec{\textsf {v}}}+ W^{1,G}_{0}(B_{\sigma }, {{\mathbb {R}}}^m)\) for any \(\sigma \in (1,1/2)\) be the weak solution to
Recall that the function \({{\mathcal {V}}}\) describing ellipticity of \({{\mathcal {A}}}\) is defined in (19) and a is a function bounded below by \({c_a}>0\) and with a modulus of continuity \(\omega _a\). Testing (33) and (25) against \(({\varvec{\textsf {w}}}- {\varvec{\textsf {v}}})\), and applying Lemma 3.2, for any \(\epsilon \in (0,1]\) we see
where in the last line we used Young’s inequality. As \(c=c({{\texttt {\textit{data}}}})\) and \(c_a>0\), we can take \(\epsilon \) small enough to absorb the first term on the right-hand side. Then Jensen’s inequality implies
Since \({\varvec{\textsf {w}}}\) is a minimizer of the integral functional
we have
Since we know the Lipschitz regularity of \({\varvec{\textsf {w}}}\), provided by Lemma 3.12
it follows from (34) that
We take \(R_0=R_{0}({{\texttt {\textit{data}}}},\varsigma )\) small enough to ensure that \(\omega _{a}(R_0)^2<\epsilon _{0}\), where \(\epsilon _0\) is a constant given in Lemma 3.8. Then Lemma 3.8, Proposition 3.11 and (32) give
where c depends only on \({{\texttt {\textit{data}}}}\) and \(\varsigma \).
Using the Sobolev-Poincaré inequality in \(W^{1,1}\) and Jensen’s inequality, we conclude that
what completes the proof. \(\square \)
4 Measure data \({{\mathcal {A}}}\)-harmonic approximation
In this section we provide the tool of crucial meaning for our further reasoning – the approximation of a \(W^{1,G}\)-function by an \({{\mathcal {A}}}\)-harmonic map for weighted operator \({{\mathcal {A}}}\) of an Orlicz growth given by (5). Results in this spirit can be found in [37, 41, 45], but most preeminently for the approximation relevant for application to measure data problems we refer to [65, Theorem 4.1].
We define an auxiliary function
It is readily checked that when \(s>\max \{2-i_{G},0\}\), \(H_s\) is a Young function satisfying
with intrinsic constants depending only on \(i_G,s_G\) and s. In fact, \(H_s\in \Delta _2\cap \nabla _2\) since
Furthermore, there exist \(\epsilon ,c,t_0>0\), such that \(H_s(t)\ge c t^{1+\epsilon }\) and \(H_s(t)\ge c g^{1+\epsilon }(t)\) for all \(t\ge t_0.\)
Theorem 4.1
Under Assumption (A-vect) let \(\varepsilon >0\), \(\gamma \in (0,1/(s_Gn))\), and
Suppose that \({\varvec{\textsf {u}}}\in W^{1,G}(B_r(x_0),{{\mathbb {R}}^{m}})\) satisfies
then there exists \(\delta =\delta ({{\texttt {\textit{data}}}},s,M,\varepsilon )\in (0,1]\) such that if \({\varvec{\textsf {u}}}\) is almost \({{\mathcal {A}}}\)-harmonic in a sense that for every \({{\varvec{{\mathsf{\varphi }}}}}\in W^{1,G}_0(B_r(x_0),{{\mathbb {R}}^{m}})\cap L^\infty (B_r(x_0),{{\mathbb {R}}^{m}})\) it holds
then there exists an \({{\mathcal {A}}}\)-harmonic map \({\varvec{\textsf {v}}}\in W^{1,G}(B_{r/2}(x_0),{{\mathbb {R}}^{m}})\) satisfying
together with
where \(c=c({{\texttt {\textit{data}}}})>0.\)
Remark 4.2
The limitation that G has to be superquadratic (\(i_G\ge 2\)) can be a little bit relaxed in Theorem 4.1 and later on the restriction is not needed. The key property is to ensure that the range of admissible s from (39) is nonempty. We need to assume that \(i_G\) is either bigger or equal to 2, or close to 2 in a sense that
Proof
The plan is to first establish suitable a priori estimates for the rescaled problem and then proceed with the proof via contradiction. The proof is presented in 6 steps.
Step 1. Scaling. We fix arbitrary \({{\varvec{{\mathsf{\varphi }}}}}\in W^{1,G}_0(B_r(x_0),{{\mathbb {R}}^{m}})\cap L^\infty (B_r(x_0),{{\mathbb {R}}^{m}})\) satisfying (41). Let us change variables putting
Then \({\bar{{{\mathcal {A}}}}}\) satisfies the same conditions as \({{\mathcal {A}}}\) with the functions \( {{\bar{g}}}(t):=g(Mt)\) and \({{\bar{G}}}(t):=G(Mt)/M\) (with \({{\bar{G}}}'={{\bar{g}}}\)), and the constants depending on \({{\texttt {\textit{data}}}}.\) Of course in such a case \(i_G=i_{{\bar{G}}}\) and \(s_G=s_{{\bar{G}}}.\)
Having (40) and (41), by denoting the unit ball by \(B_1\), we get further that
Step 2. A priori estimates. We choose \(q\ge s_G\), pick
and denote
Then
Since \({\bar{{{\mathcal {A}}}}}\) has the quasi-diagonal structure resulting from (5) and
we infer that
By rearranging terms in (48), applying Lemma 3.1, noting that \(\Vert {{\varvec{{\mathsf{\eta }}}}}\Vert _{L^\infty (B_1,{{\mathbb {R}}^{m}})}\le k\), and dropping a nonnegative term due to (49), we get for some \(c=c({{\texttt {\textit{data}}}},q)\)
We estimate the first term on the right-hand side of the last display by the use of Young inequality with a parameter, use Lemma 3.1, and we absorb one term. The second term can be estimated by the Cauchy–Schwarz inequality. Altogether we obtain
for some \(c=c({{\texttt {\textit{data}}}},q)\).
Step 3. Summability of \({\bar{\varvec{\textsf {u}}}}\) and \(D{\bar{\varvec{\textsf {u}}}}\). We choose \(k=t\) in (50), then multiply this line by \((1+t)^{-(\gamma +2)},\) where \(\gamma >0,\) integrate it from zero to infinity and apply Cavalieri’s principle (Lemma 3.6) twice (with \(\nu _1={{\bar{G}}}(|{D{\bar{\varvec{\textsf {u}}}}}|) \phi ^q\) and \(\nu _2={{\bar{G}}}(|{\bar{\varvec{\textsf {u}}}}|\,|D\phi |)\). Altogether we get
The right-most term in the last display can be estimated as follows
To estimate it further we note that q is large enough to satisfy \(s_G'\ge q'\), there exist \(c_0,c_1>0\) depending on \(i_G,s_G\), such that we have \({{{\bar{G}}}}^*(c_0\phi ^{q-1}{{\bar{g}}}(t))\le c_1 \phi ^q {{{\bar{G}}}}^*({{\bar{g}}}(t))\le \phi ^q {{\bar{G}}}(t).\) Then, using Young inequality (20) applied to the integrand in (52) and the above observation we get
with \(\widetilde{c}=\widetilde{c}(\gamma ,i_G,s_G)\). By applying this estimate in (51) and rearranging terms we obtain
Observe that \(1/(s_G n)< i_G-1\), as otherwise the condition required by Remark 4.2 is violated. Recall that since \(\gamma <1/(s_G n)\), we have \( \gamma < i_G-1\). Let us set
and notice that since \(|{D|{\bar{\varvec{\textsf {u}}}}|}|\le |{D{\bar{\varvec{\textsf {u}}}}}|\), using Lemma 3.1, we can estimate
For the later use in Step 6, we emphasize the dependence of constants on \(\gamma \) by denoting \(c(\gamma )\). Note that every \(c(\gamma )\) in (55)-(59) is an increasing function of \(\gamma \).
Since \(q \ge s_G\), for any \(\kappa \in [1,i_{G})\) we see
and
To proceed further, we define an auxiliary function \(h_\kappa \) by setting
A straightforward calculation gives
which implies that \(h_{\kappa }^{-1}\) is an increasing concave function on \([0, \infty )\). Note that (57) also gives
with intrinsic constants depending on \(i_G,s_G\) and \(\kappa \) only. Moreover, we have
and so
Hence, \(\widetilde{h_{\kappa }}(t) \approx {{\bar{G}}}(t^{1/\kappa })\).
Applying Young’s inequality (20) with the pair of Young functions \((h_{\kappa },\widetilde{h_{\kappa }})\) to (56), for any \(\epsilon _0 \in (0,1)\) we discover
By the classical Sobolev inequality we get that
Merging (51), (53), (54), (55) and (58) and taking \(\epsilon _0\) small enough, we get
It is worth to mention that \({{\bar{c}}}={\bar{c}}({{\texttt {\textit{data}}}},\gamma ,\delta )>0\) depends on \({{\texttt {\textit{data}}}}, \gamma \) and \(\delta \) and it is an increasing function of \(\gamma \) and \(\delta \). Since \(\gamma \in (0,1/(s_G n))\) is fixed, we may choose \(\alpha \) such that
Then
and we can estimate
Thus, from (59) and (61) we obtain
For \(7/8 \le r_1 < r_2\le 1\), we take a cut-off function \(\phi \) satisfying
It then follows from the doubling property of \({{\bar{G}}}\) and Lemma 3.9 that for any \(\upsilon \in (0,1/s_G)\) we have
In the last line, we have used Jensen’s inequality with the concave function \(t \mapsto {{\bar{G}}}(t)^{\upsilon }\). Recalling (45), we obtain
for some \(c=c({{\texttt {\textit{data}}}},\gamma )>0.\)
To proceed further, we recall \(H_s\) defined in (36) with s from (39). By (37) function \(H_s\) satisfies also \(H_s(Mt) \approx _{{{\texttt {\textit{data}}}}} {{\bar{g}}}(t)^{1-s} {{\bar{G}}}(t)^{s} \). We apply Young’s inequality, (53), and (63) with suitable choice of \(\phi \). In turn we see
In order to use (45) we need to have
Observe that by Remark 4.2 we have \(2-i_G <({i_G-\gamma s_G n})/({i_G+ s_Gn}),\) and we can choose \(\kappa \in [1, i_G)\) such that
and the bound (65) follows. Then (64) combined with (53), (61) and (63) implies for \(s<s_{\textrm{m}}\) that
Step 4. Contradiction argument. We state the counter–assumption.
Namely, we assume that there exists \(\varepsilon \) and sequences of balls \(\{B_{r_j}(x_j)\}\) and almost \({{\mathcal {A}}}\)-harmonic maps \(\{{\varvec{\textsf {u}}}_j\}\subset W^{1,G}(B_{r_j}(x_j),{{\mathbb {R}}^{m}})\) such that
for all \({{\varvec{{\mathsf{\varphi }}}}}\in W^{1,G}_0(B_{r_j}(x_j),{{\mathbb {R}}^{m}})\cap L^\infty (B_{r_j}(x_j),{{\mathbb {R}}^{m}}),\) but such that
whenever \({\varvec{\textsf {v}}}\in W^{1,G}(B_{r/2}(x_0),{{\mathbb {R}}^{m}})\) is an \({{\mathcal {A}}}\)-harmonic map in \( B_{r/2}(x_0)\) satisfying
where \(c=c({{\texttt {\textit{data}}}})>0.\)
Let \({\bar{\varvec{\textsf {u}}}}\) be scaled as in (44), but with the use of \(x_j\) and \(r_j,\) that is we set
In such a case by (67) we get that
so by (68) we infer that for all \({{\varvec{{\mathsf{\eta }}}}}={{\varvec{{\mathsf{\varphi }}}}}(x_j+r_jx)/r_j\in W^{1,G}_0(B_1,{{\mathbb {R}}^{m}})\cap L^\infty (B_1,{{\mathbb {R}}^{m}}) \) it holds
and
whenever \({\bar{\varvec{\textsf {{v}}}}}\in W^{1,G}(B_{1/2}(x_0),{{\mathbb {R}}^{m}})\) is an \({\bar{{{\mathcal {A}}}}}\)-harmonic map in \( B_{1/2}(x_0)\) satisfying
where \(c=c({{\texttt {\textit{data}}}})>0.\)
Since \({\bar{\varvec{\textsf {u}}}}\) satisfies (71), we have (66) for \(s_{\textrm{o}}<s_{\textrm{m}}\) from (39). Therefore
We fix any \(s<s_{\textrm{o}}\) from the range (39). Then we pick \(\epsilon >0\) for which there exist \( c,t_0>0\), such that \(H_s(t)\ge c t^{1+\epsilon }\) and \(H_s(t)\ge c g^{1+\epsilon }(t)\) for all \(t\ge t_0.\) In turn, we conclude with the following estimates uniform in j
with \(c_1,c_2\) depending on \({{\texttt {\textit{data}}}}\) and \(\gamma \) only. Further we infer that there exist
such that up to a subsequence
By (71), lower semicontinuity of a functional , and (66) we have
Step 5. Strong convergence of gradients. Our aim is now to prove that
For this we need to show that \({\mathfrak {h}}\in L^{H_s}(B_{3/4})\) from (76) satisfies
a.e. in \(B_{3/4}\). This almost everywhere and weak convergence in \(L^1\) implies strong \(L^1\)-convergence of \({{D{\bar{\varvec{\textsf {u}}}}}_j}\rightarrow {{D{{\widetilde{\varvec{\textsf {u}}}}}}}\) in \(B_{3/4}\). Using the monotonicity property of \(H_s\) and (74), for sufficiently small \(\widetilde{\epsilon }\in (0, \frac{1}{s_{H_{s}}})\) we have
Denoting
one can immediately check
and so \(\Psi \) is a Young function. We then apply Jensen’s inequality to (80) to obtain
Hence, it remains to show (79) to obtain (78).
We pick \({\bar{x}}\) being a Lebesgue’s point simultaneously for \({{{\widetilde{\varvec{\textsf {u}}}}}}, {{D{{\widetilde{\varvec{\textsf {u}}}}}}}, {\mathfrak {h}},{{{\mathfrak {A}}}}\), that is
and
Almost every point of \(B_{3/4}\) satisfies this conditions. Thus it is enough to show that (79) holds for \({\bar{x}}\).
We restrict our attention to \(\varrho \) small enough for \(B_\varrho ({{\bar{x}}})\subset B_{3/4}\) and we set the linearization of \({{{\widetilde{\varvec{\textsf {u}}}}}}\) at \({\bar{x}}\)
Having the classical Poincaré inequality and (81), we obtain that
Let us set
By (76) we have the weak convergence of \(|{{D{\bar{\varvec{\textsf {u}}}}}_j}-{{D{{\widetilde{\varvec{\textsf {u}}}}}}}|\rightarrow {\mathfrak {h}}\) in \(L^{H_s}(B_\varrho ).\) Since \({\bar{x}}\) is a Lebesgue’s point of \({D{{\widetilde{\varvec{\textsf {u}}}}}}\) we infer that
In order to prove that \({\mathfrak {h}}({\bar{x}})=0\), let us write
and prove the convergence of both terms first when \(j\rightarrow \infty \) and then \(\varrho \rightarrow 0\).
We start with \(\text {I}^1_{j,\varrho }\). Let us observe that
Notice that \(\text {I}^{1,1}_{j,\varrho }\) vanishes as \(j\rightarrow \infty \). Indeed, \(\text {I}^{1,1}_{j,\varrho }\ge 0\) and by Hölder inequality we have
Since by (76) one has that \(|{\bar{\varvec{\textsf {u}}}}_j-{{{\widetilde{\varvec{\textsf {u}}}}}}|\rightarrow 0\) strongly in \(L^1(B_{3/4})\), so
The rest of the terms are bounded as \(\epsilon \) is chosen such that (75) is true and \(|{{D{{\widetilde{\varvec{\textsf {u}}}}}}}|\) shares the same a priori estimates as \(|{D{\bar{\varvec{\textsf {u}}}}}_j|\). Therefore, we infer that \(\lim _{j\rightarrow \infty } \text {I}^{1,1}_{j,\varrho }=0\). On the other hand, \(\text {I}^{1,2}_{j,\varrho }\) is convergent when \(j\rightarrow \infty \), because of the weak convergence of \(|{{D{\bar{\varvec{\textsf {u}}}}}_j}-{{D{{\widetilde{\varvec{\textsf {u}}}}}}}|\rightarrow {\mathfrak {h}}\) in \(L^{H_s}(B_\varrho )\). Hence, we get
We can estimate further
which tends to 0 as \(\varrho \rightarrow 0\) as \({\bar{x}}\) is a Lebesgue’s point of \({\mathfrak {h}}\) as in (81) and the last bracket converges to 0 due to (84). Altogether, we have that \(\text {I}^{1}_{j,\varrho }\) vanishes in the limit, so we will now concentrate on \(\text {I}^2_{j,\varrho }\) for which we have
By (76), (81), and (83) we have that \(\lim _{\varrho \rightarrow 0}\limsup _{j\rightarrow \infty }\text {I}^{2,2}_{j,\varrho }=0.\) Proving the convergence
requires more arguments. We take
Let
where the truncation is defined in (17). Let us denote
when \(|{{\bar{\varvec{\textsf {u}}}}_j}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ne 0\) and \(|{{{\widetilde{\varvec{\textsf {u}}}}}}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ne 0,\) respectively. Within this notation we have that
Moreover, we recall that since \({{\varvec{{\mathsf{\ell _\varrho }}}}}\) is affine, whenever \(B\subset B_1\) it holds that
Therefore, by (72) it is justified to write that
The first term in the above display is nonnegative because of the monotonicity of \({\bar{{{\mathcal {A}}}}}.\) Instrumental for proving that \(\text {I}_{j,\varrho }^{2,1}\rightarrow 0\) is to establish that
which will be proven provided one justifies that the last two terms of (89) vanish in the limit. We will show first that
The quasi-diagonal structure of \({\bar{{{\mathcal {A}}}}}\) ensures that \({\bar{{{\mathcal {A}}}}}(x,{{D{\bar{\varvec{\textsf {u}}}}}_j}):[({\textsf{Id}}-{\textsf{P}_\textsf{j}}){{D{\bar{\varvec{\textsf {u}}}}}_j}]\ge 0\), see (49). Therefore,
Recall that \({\textsf{P}_\textsf{j}}\) and \({{\textsf{P}}}\), defined in (88), are bounded. Notice that for \(j\rightarrow \infty \) we have \(\mathbb {1}_{\{|{{\bar{\varvec{\textsf {u}}}}_j}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ge \varrho \}}{\textsf{P}_\textsf{j}}\rightarrow \mathbb {1}_{\{|{{{\widetilde{\varvec{\textsf {u}}}}}}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ge \varrho \}}{{\textsf{P}}}\) almost everywhere and thus, by the Lebesgue’s dominated convergence theorem, also strongly in \(L^t(B_{3/4})\) for every \(t\ge 1.\) Moreover, \(\mathbb {1}_{\{|{{\bar{\varvec{\textsf {u}}}}_j}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ge \varrho \}}|{{\bar{\varvec{\textsf {u}}}}_j}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|^{-1}\rightarrow \mathbb {1}_{\{|{{{\widetilde{\varvec{\textsf {u}}}}}}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|\ge \varrho \}}|{{{\widetilde{\varvec{\textsf {u}}}}}}-{{\varvec{{\mathsf{\ell _\varrho }}}}}|^{-1}\) almost everywhere and, as a uniformly bounded sequence of functions, it converges also strongly in \(L^t(B_{3/4})\) for every \(t\ge 1.\) Having this, (92), and (76), we obtain
We can estimate
where the first term is bounded and the second term is convergent to zero by (84). On the other hand, by (83) and (82) we may estimate
where, again, the first term is bounded and the second convergent to zero by (84). Summing up the information from the last three displays we get (91).
Now we concentrate on justifying that
Let us observe that because (76) provides weak convergence of \({\bar{{{\mathcal {A}}}}}(x,{{D{\bar{\varvec{\textsf {u}}}}}_j})\) to \({{{\mathfrak {A}}}}\) in \(L^{1+\epsilon }\) and strong convergence \({{\bar{\varvec{\textsf {u}}}}_j}\) to \({{{\widetilde{\varvec{\textsf {u}}}}}}\) in \(L^{1+\epsilon }\), we obtain that
By Hölder inequality and the choice of \(\phi \), we estimate further
where the first integral on the right-hand side is finite and the second term converges to zero. Indeed, since \(0 \le \min \{ \varrho , |{{{\widetilde{\varvec{\textsf {u}}}}}} - {{\varvec{{\mathsf{\ell _\varrho }}}}}|\} \le \varrho \), we have
where the last convergence results from (84). Therefore, we get (94).
We have shown (91) and (94), so because of (89) the limit (90) follows. Hence, we are in the position to prove (87). In the view of (21), (90) implies that
At this stage, we calculate similarly to (80) in order to show (87). For any \({\hat{\epsilon }}<\frac{2}{s_{G}}\), it is readily checked that \(t \mapsto t g(t)^{-{\hat{\epsilon }}/(2- {\hat{\epsilon }})}\) is a monotone increasing function. Then
where \(c=c(g)>0\). Noting that the very last term in the above display is bounded, by (95) we infer that (87) holds.
Summing up all the convergences of this step, we get in (85) that \({\mathfrak {h}}({\bar{x}})=0\) and, consequently, (79) holds almost everywhere in \(B_{3/4}.\) As explained in the beginning of this step, this suffices to get the final aim of Step 5, that is strong convergence of gradients (78).
Step 6. \({\bar{{{\mathcal {A}}}}}\)-harmonicity of the limit map and conclusion by contradiction. Having (78), we can pass to the limit in (72) with \(j\rightarrow \infty \) getting that
Therefore, if \({{{\widetilde{\varvec{\textsf {u}}}}}}\in W^{1,G}(B_{1/2},{{\mathbb {R}}^{m}})\), then it will be proven to be \({\bar{{{\mathcal {A}}}}}\)-harmonic. Indeed, since we know (77), it is allowed to take \({\bar{\varvec{\textsf {{v}}}}}={{{\widetilde{\varvec{\textsf {u}}}}}}\) in (73). Note that in such a case (77) is precisely the restriction on the test function from (74). Then, in the view of (78), taking j large enough, we will get the desired contradiction. Hence, it remains to prove that \(|{{D{{\widetilde{\varvec{\textsf {u}}}}}}}|\in L^G(B_{1/2})\).
We have (63) for each \({{\bar{\varvec{\textsf {u}}}}_j}\) with the constant independent of j, so by the lower semicontinuity we can write that
for some \(c=c({{\texttt {\textit{data}}}},{\widetilde{\gamma }})>0.\) Analogically, by (50) for \({{\bar{\varvec{\textsf {u}}}}_j}\) and with \(\delta =2^{-j}\), by letting \(j\rightarrow \infty \), Fatou’s lemma on the left-hand side of the resultant inequality and (78) on its right-hand side, we get
for every \(t>0\) and \(\phi \in C_c^\infty (B_{3/4})\) with \(\phi \ge 0\), and \(c_*=c_*({{\texttt {\textit{data}}}},q).\) We proceed as in the beginning of Step 3. We multiply the above display by \((1+t)^{-({\widetilde{\gamma }}+1)},\) \({\widetilde{\gamma }}>0\) to be chosen sufficiently small in a few lines, integrate it from zero to infinity and apply Cavalieri’s principle (Lemma 3.6) twice (with \(\nu _1={{\bar{G}}}(|{D{{\widetilde{\varvec{\textsf {u}}}}}}|) \phi ^q\) and \(\nu _2={{\bar{G}}}(|{{\widetilde{\varvec{\textsf {u}}}}}|\,|D\phi |)\). Altogether we get
To estimate further the very last term we note that q is large enough to satisfy \(s_G'\ge q'\), and so Lemma 3.1 implies that \({{{\bar{G}}}}^*(\phi ^{q-1}{{\bar{g}}}(t))\le c_G \phi ^q {{\bar{G}}}(t).\) Then, using Young inequality (20) and by taking \({\widetilde{\gamma }}\in (0,1/(2c_*c_G+1)],\) get
where in the last line we used that \(\frac{2{\widetilde{\gamma }}c_* c_G}{1-{\widetilde{\gamma }}}<1\) can be taken out of the integrand by Jensen’s inequality. Summing up we obtain
where \(C=C({{\texttt {\textit{data}}}}) >0\). Then similar calculations to (55)-(59) yield that
holds with \(c=c({{\texttt {\textit{data}}}})>0\). Indeed, in Step 4, we have checked that the above \(c=c({{\texttt {\textit{data}}}},{\widetilde{\gamma }})\) is an increasing function of \({\widetilde{\gamma }}\). As we consider small \({\widetilde{\gamma }}\), c in fact depends only on \({{\texttt {\textit{data}}}}\). For \(5/8 \le r_{1} < r_{2} \le 3/4\) we take \(\phi \in C_{c}^{\infty }(B_{r_2})\) to satisfy
Then the doubling property of \({{\bar{G}}}\) and Lemma 3.9 gives
We now restrict ourselves to \({\widetilde{\gamma }}\in \big (0,\min \{1/(2c_*c_G+1), \frac{i_G}{2}\}\big )\) and define
which is an increasing concave function on \([0,\infty )\) satisfying
Then Jensen’s inequality gives
with \(c=c({{\texttt {\textit{data}}}})>0.\) We used that if \(t>1\) is arbitrarily fixed there exists \(c>0\) independent of \({\widetilde{\gamma }}\) such that for all \(t>1\) and all \({\widetilde{\gamma }}\), we have \(\Psi _{\widetilde{\gamma }}(t)\le c \left( {{{\bar{G}}}(t)} \right) ^{\frac{1}{2s_G}}\). By Hölder inequality, (98) and (99) we get that
with \(c=c({{\texttt {\textit{data}}}})>0.\)
We now consider (97) with a cutoff function \(\phi \in C_{c}^{\infty }(B_{5/8})\) satisfying
and combine it with (100), to obtain for some \(c=c({{\texttt {\textit{data}}}})>0\) that
Therefore, using Fatou’s lemma we justify that
Consequently, we conclude that \(|{D {{{\widetilde{\varvec{\textsf {u}}}}}}}| \in L^{G}(B_{1/2})\). This completes the proof of Theorem 4.1. \(\square \)
5 Proof of Wolff potential estimates
5.1 Comparison estimate
We need one more auxiliary estimate yielding comparison between energy of a weak solution and an \({{\mathcal {A}}}\)-harmonic function.
Lemma 5.1
Under Assumption (A-vect) suppose \(u\in W^{1,G}(B_r,{{\mathbb {R}}^{m}})\) is a weak solution to (4) in \(B_r=B_r(x_0),\) \(r<1\) and let \(\varepsilon \in (0,1)\). Then there exists a positive constant \(c_{\textrm{s}}=c_{\textrm{s}}({{\texttt {\textit{data}}}},\varepsilon )\) and a map \({\varvec{\textsf {v}}}\) being \({{\mathcal {A}}}\)-harmonic in \(B_{r/2}\) and such that
Proof
Let us fix
with \(\delta =\delta ({{\texttt {\textit{data}}}},\varepsilon )\) from Theorem 4.1 with \(M=1\). If \(\lambda =0,\) then \({\varvec{\textsf {u}}}\) is constant and \({\varvec{\textsf {v}}}={\varvec{\textsf {u}}}\). Otherwise \(\lambda >0\) and we can argue by scaling
Then
By definition of \({\bar{\varvec{\textsf {u}}}}\) and \(\lambda \) we notice that
Therefore, by Theorem 4.1 applied to \({\bar{\varvec{\textsf {u}}}}\) we get that there exists \({\bar{\varvec{\textsf {{v}}}}}\) being \({\bar{{{\mathcal {A}}}}}\)-harmonic in \(B_{r/2}\) and such that
Then (101) follows by rescaling back with \({\varvec{\textsf {v}}}=\lambda {\bar{\varvec{\textsf {{v}}}}}\) which is \({{\mathcal {A}}}\)-harmonic. \(\square \)
5.2 Estimates on concentric balls
This subsection is devoted to prove some properties of weak solutions to (4) with \({{\varvec{{\mathsf{\mu }}}}}\in C^\infty (\Omega ,{{\mathbb {R}}^{m}})\) holding over a family of concentric balls \(\{B^j\}\). Before we pass to this, let us fix some notation and parameters. Recall that we have chosen \(R_0 = R_0({{\texttt {\textit{data}}}}, \varsigma )\) in Proposition 3.13. We take an arbitrary constant \(\alpha _V \in (0,1)\) and take \(\varsigma =\varsigma (s_G,\alpha _V)\) to satisfy \(\alpha _{D}:=\frac{\alpha _V+1}{2} \le 1+(\varsigma -1){K}\). To prove Theorem 2.1, it is enough to take \(\alpha _V=\frac{1}{2}\), but for the later use in the proof of Theorem 2.9, we have taken \(\alpha _V\) arbitrarily. We now choose
If \(r\in (0,R_0)\) is given, for every \(j\in {{\mathbb {N}}}\cup \{0\}\) let us fix
so that \(r_{-1}=r.\) We denote
Lemma 5.2
Suppose Assumption (A-vect) is satisfied. If \({\varvec{\textsf {u}}}\in W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) is a weak solution to (4) with \({{\varvec{{\mathsf{\mu }}}}}\in C^\infty (\Omega ,{{\mathbb {R}}^{m}})\), \(j\in {{\mathbb {N}}}\) is fixed, \(E_j\) is given by (103), while \(0<\sigma \le \sigma _0\) is arbitrary, then we have that
for \(c_{\textrm{D}}=c_{\textrm{D}}({{\texttt {\textit{data}}}},\alpha _V) =2^{n+4}c_{\textrm{o}}\) and \(c_{\textrm{E}}=c_{\textrm{E}}({{\texttt {\textit{data}}}},\alpha _V)={2^{n+2}c_{\textrm{s}}c_{\textrm{P}}c_{\textrm{o}}}\sigma ^{-n},\) where \(c_{\textrm{P}}\) is the constant from Poincaré inequality in \(W^{1,1}(\Omega ,{{\mathbb {R}}^{m}})\).
Proof
We may apply Lemma 5.1 in \(B_r=B_{r_j}(x_0)\) to get that there exists an \({{\mathcal {A}}}\)-harmonic map \({\varvec{\textsf {v}}}_j\in W^{1,G}(B_{r_{j/2}},{{\mathbb {R}}^{m}})\) in \(B_{r_{j/2}}\) such that
By Poincaré inequality in \(W^{1,1}(\Omega ,{{\mathbb {R}}^{m}})\) for \({\varvec{\textsf {w}}}_j={\varvec{\textsf {u}}}-{\varvec{\textsf {v}}}_j\) we have
Then
Thus by Lemma 3.5, the triangle inequality, (106), and Proposition 3.13, we estimate
By choosing \(\varepsilon =\frac{\sigma ^{n+\alpha _V}}{c_{\textrm{P}}}\) we complete the proof. \(\square \)
Proposition 5.3
Suppose Assumption (A-vect) is satisfied. If \({\varvec{\textsf {u}}}\in W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) is a weak solution to (4) with \({{\varvec{{\mathsf{\mu }}}}}\in C^\infty (\Omega ,{{\mathbb {R}}^{m}})\), then there exists a constant \(c_V=c_V({{\texttt {\textit{data}}}},\alpha _V)\ge 1\) such that for every \(\tau \in (0,1]\) we have
Proof
Lemma 5.2 implies that for \(j\in {{\mathbb {N}}}\cup \{0\}\) it holds that
Iterating this estimate we get that for any \(k \in {{\mathbb {N}}}\cup \{0\}\) we have
where \(c=c({{\texttt {\textit{data}}}})\). Recalling \(\alpha _{D}=\frac{\alpha _V+1}{2}\), \(c_{\textrm{D}}=2^{n+4}c_{\textrm{o}}\) and (102), we see
By Lemma 3.5 and direct computation we have for any \(k\in {{\mathbb {N}}}\cup \{0\}\) that
We take \(\tau \in (0,\sigma )\) and \(k\ge 1\) such that \(\sigma ^{k+1}<\tau \le \sigma ^k.\) Then by Lemma 3.5 and (107) we obtain
By taking \(c_V=c_V({{\texttt {\textit{data}}}},\alpha _V)=2c_{\textrm{E}}\sigma ^{-n-2\alpha _V}\) we conclude the claim for \(\tau \in (0,\sigma ).\) For completing the range of \(\tau \in [\sigma ,1]\) it suffices to note that
\(\square \)
5.3 SOLA \({\varvec{\textsf {u}}}\) belongs to VMO
Proof of Proposition 2.2
Suppose \({{\varvec{{\mathsf{\mu }}}}}\in C^\infty (\Omega ,{{\mathbb {R}}^{m}})\) and \({\varvec{\textsf {u}}}\in W^{1,G}(\Omega ,{{\mathbb {R}}^{m}})\) is a weak solution to (4). By Proposition 5.3 we can find constants \(c_V=c_V({{\texttt {\textit{data}}}},\alpha _V)\) we have
Let us consider a SOLA \({\varvec{\textsf {u}}}\in W^{1,1}(\Omega ,{{\mathbb {R}}^{m}}) \) existing due to Proposition 3.4. Suppose \(({\varvec{\textsf {u}}}_h)\) and \(({{\varvec{{\mathsf{\mu }}}}}_h)\) are approximating sequences from definition of SOLA, see Sect. 2.2. Inequality (108) hold for each \({\varvec{\textsf {u}}}_h\) and \({{\varvec{{\mathsf{\mu }}}}}_h\). We have to motivate passing to the limit with \(h\rightarrow \infty \). Since (7) holds, we can write (108) for the original SOLA too. From now on this kind of solution is considered.
Our aim now is to show that \({\varvec{\textsf {u}}}\) is VMO at \(x_0\) provided (10) is assumed. Let \(\delta \in (0,1)\). By (10) we find a positive radius \(r_{1,\delta }<r\) such that
and then \(\tau _\delta \) so small that
For \(r_\delta :=\tau _\delta r_{1,\delta }\) from estimate (108) (applied with \(r=r_{1,\delta }\)) it follows that
that is that \({\varvec{\textsf {u}}}\) has vanishing mean oscillation at \(x_0\). \(\square \)
5.4 Proofs of Theorems 2.1, 2.3 and 2.9
We start with the proof of pointwise Wolff potential estimate, then pass to continuity and Hölder continuity criteria.
Proof of Theorem 2.1
We notice that having \(E_j\) defined in (103) with \(r=r^j\) we can fix \(\sigma \) in Lemma 5.2 to get that
We sum up inequalities from (109) to obtain
By rearranging terms we have
We notice that for some \(c=c({{\texttt {\textit{data}}}})\) we can estimate
Last two displays imply that
For every \(m,k\in {{\mathbb {N}}}\) such that \(m<k\) we have
where \(\sigma =\sigma ({{\texttt {\textit{data}}}})\) and \(c=c({{\texttt {\textit{data}}}}).\) For \(j\rightarrow \infty \), \((({\varvec{\textsf {u}}})_{B^j})_j\) is a Cauchy sequence that converges to \({\varvec{\textsf {u}}}(x_0)\), that is
and \(x_0\) is a Lebesgue’s point of \({\varvec{\textsf {u}}}\). This completes the proof of (8), while (9) follows as a direct corollary.\(\square \)
Let us concentrate on the continuity criterion.
Proof of Theorem 2.3
Our aim is to infer continuity of \({\varvec{\textsf {u}}}\) in \(B_r(x_0)\) knowing that (12) holds. We will show that for every \(\delta >0\) and \(x_1\in B_r(x_0)\) we can find \(r_\delta \in (0,\textrm{dist}\,(B_r(x_0),\partial \Omega ))\) such that
Without loss of generality we assume that \({{\varvec{{\mathsf{\mu }}}}}\) is defined on whole \({{\mathbb {R}}^{n}}\), as we can extend it by zero outside \(\Omega \). By (12) we can take \(\varrho _1\) small enough for
Let \(r_\delta >0\) to be chosen in a moment. We take an arbitrary point \(x_2\in B_{r_\delta }(x_1)\) and estimate
We start with estimating \(A_2\) by noting that
Since (12) implies (10), Proposition 2.2 implies that \({\varvec{\textsf {u}}}\) has vanishing mean oscillations at \(x_1\). Therefore there exists \(\varrho _2\in (0,\min \{\varrho _1,\textrm{dist}(x_1,\partial B_r(x_0))/4\})\) such that for every \(\varrho \le \varrho _2\) it holds
We choose \(r_\delta =\varrho _2/2\) and observe that (111) imply that
In turn \( A_2 \le \frac{\delta }{16}.\) By Theorem 2.1 and (111) we get that \(x_1\) and \(x_2\) are Lebesgue’s points and
Applying these observation we get from (112) that
Since \(x_2\) was an arbitrary point of \(B_{r_\delta }(x_1)\), we have (110) justified, which completes the proof. \(\square \)
We are in the position to prove the Hölder continuity criterion.
Proof of Theorem 2.9
Notice that assumption (15) implies that there exists \(c=c({{\texttt {\textit{data}}}})>0\), such that for all sufficiently small r we have
Applying assumption (15) to Proposition 5.3 with \(\alpha _V=\frac{\theta +1}{2}\), we have
for any \(0< \rho < r \le R_0\). Now we apply Lemma 3.8 to see
By Campanato’s characterization [48, Theorem 2.9], we complete the proof. \(\square \)
References
Adams, D.R., Hedberg, L.I.: Function spaces and potential theory, volume 314 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin (1996)
Adams, R.A., Fournier, J.J.F.: Sobolev Spaces, Volume 140 of Pure and Applied Mathematics, 2nd edn. Elsevier/Academic Press, Amsterdam (2003)
Alberico, A., Chlebicka, I., Cianchi, A., Zatorska-Goldstein, A.: Fully anisotropic elliptic problems with minimally integrable data. Calc. Var. PDE 58, 186 (2019)
Balci, AKh., Cianchi, A., Diening, L., Maz’ya, V.: A pointwise differential inequality and second-order regularity for nonlinear elliptic systems. Math. Ann. 383(3–4), 1775–1824 (2022)
Baroni, P.: Riesz potential estimates for a general class of quasilinear equations. Calc. Var. Partial Differ. Equ. 53(3–4), 803–846 (2015)
Baroni, P., Habermann, J.: Elliptic interpolation estimates for non-standard growth operators. Ann. Acad. Sci. Fenn. Math. 39(1), 119–162 (2014)
Beck, L., Mingione, G.: Lipschitz bounds and non-uniform ellipticity. Comm. Pure Appl. Math. 73(5), 944–1034 (2020)
Bénilan, P., Boccardo, L., Gallouët, T., Gariepy, R., Pierre, M., Vázquez, J.-L.: An \(L^1\)-theory of existence and uniqueness of solutions of nonlinear elliptic equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 22(2), 241–273 (1995)
Boccardo, L., Gallouët, T.: Nonlinear elliptic and parabolic equations involving measure data. J. Funct. Anal. 87(1), 149–169 (1989)
Breit, D., Cianchi, A., Diening, L., Kuusi, T., Schwarzacher, S.: Pointwise Calderón–Zygmund gradient estimates for the \(p\)-Laplace system. J. Math. Pures Appl. 114, 146–190 (2018)
Byun, S.-S., Youn, Y.: Optimal gradient estimates via Riesz potentials for \(p(\cdot )\)-Laplacian type equations. Q. J. Math. 68(4), 1071–1115 (2017)
Byun, S.-S., Youn, Y.: Potential estimates for elliptic systems with subquadratic growth. J. Math. Pures Appl. 131(9), 193–224 (2019)
Byun, S.-S., Youn, Y.: Riesz potential estimates for a class of double phase problems. J. Differ. Equ. 264(2), 1263–1316 (2018)
Carleson, L.: Selected problems on exceptional sets. Van Nostrand Mathematical Studies, No. 13 D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, v+151 pp (1967)
Celada, P., Ok, J.: Partial regularity for non-autonomous degenerate quasi-convex functionals with general growth. Nonlinear Anal. 194, 111473 (2020)
Chlebicka, I.: A pocket guide to nonlinear differential equations in Musielak–Orlicz spaces. Nonlinear Anal. 175, 1–27 (2018)
Chlebicka, I.: Gradient estimates for problems with Orlicz. Nonlinear Anal. 194, 111364 (2020)
Chlebicka, I.: Measure data elliptic problems with generalized Orlicz growth. In: Proceedings of the Royal Society of Edinburgh Section A: Mathematics, to appear
Chlebicka, I.: Regularizing effect of the lower-order terms in elliptic problems with Orlicz growth. Israel J. Math. Anal. 236(2), 967–1000 (2020)
Chlebicka, I., Karppinen, A.: Removable sets in elliptic equations with Musielak–Orlicz growth. J. Math. Anal. Appl. 501(1), 124073 (2020)
Chlebicka, I., Giannetti, F., Zatorska-Goldstein, A.: Elliptic problems in the Orlicz setting without growth restrictions with measure or \({L}^1\) data. J. Math. Anal. Appl. 479(1), 185–213 (2019)
Chlebicka, I., Giannetti, F., Zatorska-Goldstein, A.: Wolff potentials and local behaviour of solutions to measure data elliptic problems with Orlicz growth arXiv:2006.02172 (2020)
Chlebicka, I., Youn, Y., Zatorska-Goldstein, A.: Existence for measure data elliptic systems with Orlicz growth, arXiv:2106.11639 (2021)
Chlebicka, I., Zatorska-Goldstein, A.: Generalized superharmonic functions with strongly nonlinear operator. Potential Anal. 57(3), 379–400 (2022)
Cianchi, A., Maz’ya, V.: Global boundedness of the gradient for a class of nonlinear elliptic systems. Arch. Ration. Mech. Anal. 212(1), 129–177 (2014)
Cianchi, A., Maz’ya, V.: Quasilinear elliptic problems with general growth and merely integrable, or measure, data. Nonlinear Anal. 164, 189–215 (2017)
Cianchi, A., Schwarzacher, S.: Potential estimates for the p-Laplace system with data in divergence form. J. Differ. Equ. 265(1), 478–499 (2018)
Cupini, G., Leonetti, F., Mascolo, E.: Existence of weak solutions for elliptic systems with p, q-growth. Ann. Acad. Sci. Fenn. Math. 40(2), 645–658 (2015)
De Giorgi, E.: Un esempio di estremali discontinue per un problema variazionale di tipo ellittico. Boll. Unione Mat. Ital. IV 1, 135–137 (1968)
De Filippis, C.: On the regularity of the \(\omega \)-minima of \(\phi \)-functionals. Nonlinear Anal. 194, 111464 (2020)
De Filippis, C., Leonetti, F.: Uniform ellipticity and (p, q)-growth. J. Math. Anal. Appl. 501(1), 124451 (2021)
De Filippis, C., Mingione, G.: Lipschitz bounds and nonautonomous integrals. Arch. Ration. Mech. Anal. 242, 973–1057 (2021)
Diening, L., Ettwein, F.: Fractional estimates for non-differentiable elliptic systems with general growth. Forum Math. 20(3), 523–556 (2008)
Diening, L., Lengeler, D., Stroffolini, B., Verde, A.: Partial regularity for minimizers of quasi-convex functionals with general growth. SIAM J. Math. Anal. 44(5), 3594–3616 (2012)
Diening, L., Stroffolini, B., Verde, A.: Everywhere regularity of functionals with \(\phi \)-growth. Manuscr. Math. 129(4), 449–481 (2009)
Diening, L., Stroffolini, B., Verde, A.: Lipschitz regularity for some asymptotically convex problems. ESAIM Control Optim. Calc. Var. 17(1), 178–189 (2011)
Diening, L., Stroffolini, B., Verde, A.: The \(\varphi \)-harmonic approximation and the regularity of \(\varphi \)-harmonic maps. J. Differ. Equ. 253(7), 1943–1958 (2012)
Di Marco, T., Marcellini, P.: A priori gradient bound for elliptic systems under either slow or fast growth conditions. Calc. Var. Partial Differ. Equ. 59(4), 120 (2020)
Dolzmann, G., Hungerbühler, N., Müller, S.: The p-harmonic system with measure-valued right hand side. Ann. Inst. H. Poincaré Anal. Non Linéaire 14, 353–364 (1997)
Dong, G., Shi, Z.: An existence theorem for weak solutions for a class of elliptic partial differential systems in Orlicz spaces. Nonlinear Anal. 68(4), 1037–1042 (2008)
Duzaar, F., Grotowski, J.F.: Optimal interior partial regularity for nonlinear elliptic systems: the method of \(A\)-harmonic approximation. Manuscr. Math. 103, 267–298 (2000)
Duzaar, F., Mingione, G.: Gradient continuity estimates. Calc. Var. Partial Differ. Equ. 39(3–4), 379–418 (2010)
Duzaar, F., Mingione, G.: Gradient estimates via linear and nonlinear potentials. J. Funct. Anal. 259(11), 2961–2998 (2010)
Duzaar, F., Mingione, G.: Gradient estimates via non-linear potentials. Am. J. Math. 133(4), 1093–1149 (2011)
Duzaar, F., Mingione, G.: The p-harmonic approximation and the regularity of p-harmonic maps. Calc. Var. Partial Differ. Equ. 20, 235–256 (2004)
Fuchs, M., Reuling, J.: Nonlinear elliptic systems involving measure data. Rend. Mat. 7(15), 311–319 (1995)
Giannetti, F., Passarelli di Napoli, A., Tachikawa, A.: Partial regularity results for non-autonomous functionals with \(\Phi \)-growth conditions. Ann. Mat. Pura Appl. (4) 196(6), 2147–2165 (2017)
Giusti, E.: Direct Methods in the Calculus of Variations. World Scientific Publishing Co., Inc., River Edge (2003)
Gossez, J.-P.: Some approximation properties in Orlicz–Sobolev spaces. Stud. Math. 74(1), 17–24 (1982)
Han, Q., Lin, F.: Elliptic partial differential equations, 2nd edn. In: Courant Lecture Notes in Mathematics. American Mathematical Society, Providence, RI (2011)
Hara, T.: The Wolff potential estimate for solutions to elliptic equations with signed data. Manuscr. Math. 150, 45–58 (2016)
Havin, M., Maz’ya, V.G.: Nonlinear potential theory. Russ. Math. Surv. 27, 71–148 (1972)
Heinonen, J., Kilpeläinen, T., Martio, O.: Nonlinear Potential Theory of Degenerate Elliptic Equations. Unabridged Republication of the 1993 Original. Dover Publications Inc., Mineola (2006)
Hedberg, L.I., Wolff, Th.H.: Thin sets in nonlinear potential theory. Ann. Inst. Fourier (Grenoble) 33(4), 161–187 (1983)
Jin, T., Maz’ya, V., Van Schaftingen, J.: Pathological solutions to elliptic problems in divergence form with continuous coefficients. C. R. Math. Acad. Sci. Paris 347(13–14), 773–778 (2009)
Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and Their Applications, Pure Appl. Math., vol. 88. Academic Press, New York, London (1980)
Kilpeläinen, T., Malý, J.: Degenerate elliptic equations with measure data and nonlinear potentials. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 19(4), 591–613 (1992)
Kilpeläinen, T., Malý, J.: The Wiener test and potential estimates for quasilinear elliptic equations. Acta Math. 172(1), 137–161 (1994)
Kilpeläinen, T., Zhong, X.: Removable set for continuous solutions of quasilinear elliptic equations. Proc. Am. Math. Soc. 130(6), 1681–1688 (2000)
Korte, R., Kuusi, T.: A note on the Wolff potential estimate for solutions to elliptic equations involving measures. Adv. Calc. Var. 3, 99–113 (2010)
Krasnosel’skiĭ, M.A., Rutickiĭ, Y.B.: Convex Functions and Orlicz Spaces. P. Noordhoff Ltd., Groningen (1961)
Kuusi, T., Mingione, G.: Guide to nonlinear potential estimates. Bull. Math. Sci. 4(1), 1–82 (2014)
Kuusi, T., Mingione, G.: Nonlinear potential theory of elliptic systems. Nonlinear Anal. 138, 277–299 (2016)
Kuusi, T., Mingione, G.: Partial regularity and potentials. J. Éc. Polytech. Math. 3, 309–363 (2016)
Kuusi, T., Mingione, G.: Vectorial nonlinear potential theory. J. Eur. Math. Soc. (JEMS) 20(4), 929–1004 (2018)
Leonetti, F., Petricca, P.V.: Anisotropic elliptic systems with measure data. Ricerche Mat. 54(2), 591–595 (2005)
Lieberman, G.M.: The natural generalization of the natural conditions of Ladyzhenskaya and Ural’tseva for elliptic equations. Comm. Partial Differ. Equ. 16(2–3), 311–361 (1991)
Lukkari, T., Maeda, F.-Y., Marola, N.: Wolff potential estimates for elliptic equations with nonstandard growth and applications. Forum Math. 22(6), 1061–1087 (2010)
Lindqvist, P., Martio, O.: Two theorems of N. Wiener for solutions of quasilinear elliptic equations. Acta Math. 155(3–4), 153–171 (1985)
Malý, J.: Wolff potential estimates of superminimizers of Orlicz type Dirichlet integrals. Manuscr. Math. 110(4), 513–525 (2003)
Marcellini, P.: Anisotropic and \(p, q\)-nonlinear partial differential equations. Rend. Fis. Acc. Lincei 31, 295–301 (2020)
Marcellini, P.: Everywhere regularity for a class of elliptic systems without growth conditions. Ann. Scuola Norm. Pisa 23, 1–25 (1996)
Marcellini, P., Papi, G.: Nonlinear elliptic systems with general growth. J. Differ. Equ. 221(2), 412–443 (2006)
Maz’ya, V.G.: The continuity at a boundary point of the solutions of quasi-linear elliptic equations (Russian) Vestnik Leningrad. Univ 25, 42–55 (1970)
Mingione, G.: Regularity of minima: an invitation to the dark side of the calculus of variations. Appl. Math. 51(4), 355–426 (2006)
Nguyen, Q.-H., Phuc, N.C.: Pointwise gradient estimates for a class of singular quasilinear equations with measure data. J. Funct. Anal. 278(5), 108391 (2020)
O’Neil, R.: Fractional integration in Orlicz spaces. I. Trans. Am. Math. Soc. 115, 300–328 (1965)
Rakotoson, J.-M., Ziemer, W.: Local behavior of solutions of quasilinear elliptic equations with general structure. Trans. Am. Math. Soc. 319(2), 747–764 (1990)
Rao, M.M., Ren, Z.D.: Theory of Orlicz Spaces, Volume 146 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker Inc., New York (1991)
Stein, E.M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces, vol. 32. Princeton Univ. Press, Princeton (1971)
Stroffolini, B.: Partial regularity results for quasimonotone elliptic systems with general growth. Z. Anal. Anwend. 39(3), 315–347 (2020)
Sverák, V., Yan, X.: Non-Lipschitz minimizers of smooth uniformly convex functionals. Proc. Natl. Acad. Sci. U.S.A. 99(24), 15269–15276 (2002)
Trudinger, N.S., Wang, X.-J.: On the weak continuity of elliptic operators and applications to potential theory. Am. J. Math. 124, 369–410 (2002)
Uhlenbeck, K.: Regularity for a class of nonlinear elliptic systems. Acta Math. 138, 219–240 (1977)
Ural’tseva, N.N.: Degenerate quasilinear elliptic systems. Zap. Na. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 7, 184–222 (1968)
Acknowledgements
I. Chlebicka is supported by NCN Grant No. 2019/34/E/ST1/00120. A. Zatorska-Goldstein is supported by NCN Grant No. 2019/33/B/ST1/00535. Y. Youn is supported by NRF Grant No. 2020R1C1C1A01009760.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Mondino.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Proof of Lemma 2.5
Set \(x\in \Omega _0,\) \(R_k=2^{1-k}R\) and \(B_k=B_{R_k}(x)\) for \(k=0,1,\dots \,\). As \({\varvec{\textsf {F}}}\) is taken in a place of a measure with a slight abuse of notation we write \(|{\varvec{\textsf {F}}}|(B_{R_k}(x))=\int _{B_k}|{\varvec{\textsf {F}}}(y)|\,dy.\) We notice that we have
To estimate the series we employ the decreasing rearrangement \(|{\varvec{\textsf {F}}}|^\star \) of \(|{\varvec{\textsf {F}}}|\) and its maximal rearrangement \(|{\varvec{\textsf {F}}}|^{\star \star }\). When \(w_n\) is the volume of the unit ball, we have that
Then we have
with implicit constants independent of k. Therefore
\(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chlebicka, I., Youn, Y. & Zatorska-Goldstein, A. Wolff potentials and measure data vectorial problems with Orlicz growth. Calc. Var. 62, 64 (2023). https://doi.org/10.1007/s00526-022-02402-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02402-5