Abstract
We show that viscosity solutions to the normalized p(x)-Laplace equation coincide with distributional weak solutions to the strong p(x)-Laplace equation when p is Lipschitz and \(\inf p>1\). This yields \(\smash {C^{1,\alpha }}\) regularity for the viscosity solutions of the normalized p(x)-Laplace equation. As an additional application, we prove a Radó-type removability theorem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study viscosity solutions to the normalized p(x)-Laplace equation which is defined by
where
There has been recent interest in normalized equations, see e.g. [5, 9, 15]. We are partly motivated by the connection to stochastic tug-of-war games [23, 24] as the case of space dependent probabilities leads to (1.1) [3].
The objective of this work is to show that viscosity solutions to (1.1) coincide with solutions in the distributional weak sense, when the equation is rewritten in an appropriate divergence formulation. One approach to this kind of equivalence results [10, 13] is based on the uniqueness of solutions. However, it seems difficult to use uniqueness in our case because the uniqueness of solutions is an open problem for the Eq. (1.1) as pointed out in [14]. The equation (1.1) is in non-divergence form. In order to find the appropriate weak formulation, we note that for \(\smash {u\in C^{2}(\Omega )}\) with non-vanishing gradient it holds that
Thus the weak formulation of (1.1) should be the strong p(x)-Laplace equation
Our main result, Theorem 5.9, is that viscosity solutions to (1.1) coincide with weak solutions to (1.2) when the function p is Lipschitz with \(\inf p>1\). With these assumptions weak solutions to (1.2) in a domain are locally \(\smash {C^{1,\alpha }}\) continuous [25]. Thus our equivalence result yields local \(\smash {C^{1,\alpha }}\) regularity also for viscosity solutions to (1.1). As an application, we prove a Radó-type removability theorem for the strong p(x)-Laplacian. The theorem follows from the equivalence result since in the definition of a viscosity solution we may ignore the test functions whose gradient vanishes. The equivalence result also implies that the equation (1.2) is homogeneous: if u is a solution, so is \(\lambda u\). This is not completely obvious and was established in [1].
That viscosity solutions to (1.1) are weak solutions to (1.2) is proven by applying the method of [11]. The idea is to approximate a viscosity solution through a sequence of inf-convolutions, show that the inf-convolutions are essentially weak supersolutions, and then pass to the limit.
First, in Lemma 5.3 we show that the inf-convolution \(\smash {u_{\varepsilon }}\) of a viscosity supersolution u to (1.1) is still, in essence, a viscosity supersolution up to some error. This fact is a key part of our proof. If there was no x-dependence in (1.1), it would be straightforward to see that the inf-convolution of a viscosity supersolution is still a viscosity supersolution. This is because a test function that touches the inf-convolution from below also touches the original function from below at a nearby point once we add some constant to it. From this it would follow that the inf-convolution is a supersolution to the original equation. However, the Eq. (1.1) has x-dependence caused by p(x). Thus the inf-convolution no longer satisfies the original equation.
In Lemma 5.5 we use the standard mollification on \(\smash {u_{\varepsilon }}\) and p to deduce from Lemma 5.3 that \(\smash {u_{\varepsilon }}\) is “almost” a weak solution to \(\smash {-\Delta _{p(x)}^{S}u_{\varepsilon }\ge 0}\). Applying Caccioppoli type estimates and vector inequalities we are then able to deduce that the sequence of inf-convolutions converges to the viscosity supersolution in \(\smash {W_{loc}^{1,p(\cdot )}(\Omega )}\) as \(\varepsilon \rightarrow 0\). This allows us to pass to the limit and conclude that the function u satisfies \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\) in the weak sense.
Due to the variable exponent, the operator \(\smash {\Delta _{p(x)}^{S}}\) can be singular in some subsets and degenerate in others. Therefore we apply different arguments in the cases \(p(x)<2\) and \(p(x)\ge 2\), and finally need to be able to combine them.
The equivalence of weak and viscosity solutions to the usual p-Laplace equation was first proven by Juutinen, Lindqvist and Manfredi [13]. Later Julin and Juutinen [11] presented a more direct way to show that viscosity solutions to \(\smash {-\Delta _{p}u=f}\) are also weak solutions. This proof was adapted in [4] to show that viscosity solutions to \(\smash {-\Delta _{p}^{N}u=f}\) coincide with weak solutions to \(\smash {-\Delta _{p}u}=\smash {\left| Du\right| ^{p-2}f}\) when \(p\ge 2\). Similar arguments were also used in [20] to study the equivalence of solutions to \(\smash {-\Delta _{p}u=f(x,u,Du)}\). The variable exponent case was explored in [14] where the equivalence of weak and viscosity solutions was proven for the p(x)-Laplace equation using techniques of [13].
As mentioned, the Eq. (1.1) appears in stochastic tug-of-war games. Let us illustrate this in the case where \(p>2\) is a constant by considering the following two-player, zero-sum game from [21]. A step size \(\varepsilon >0\) is fixed and a token is placed at \(x_{0}\) in a domain \(\Omega \). The players toss a biased coin that is heads with the probability \(\smash {\alpha =\frac{p-2}{p+N}}\) and tails with the probability \(\beta =1-\alpha \). If the outcome is heads, the following tug-of-war step is played: a fair coin is tossed and the winning player is allowed to move the token to any position \(\smash {x_{1}\in B_{\varepsilon }(x_{0})}\). If the outcome is tails, the token moves to a random position in \(\smash {x_{1}\in B_{\varepsilon }(x_{0})}\). Once the token exits the domain, the game ends and player I pays player II according to the final location of the token. When the players optimize over their strategies, we obtain a value of the game. Then, as the step-size approaches zero, the value function converges uniformly to a viscosity solution of \(-\Delta _{p}^{N}u=0\) in \(\Omega \). This result can be extended to the general case \(1<p(x)<\infty \), see [3, 23].
The Eq. (1.2) was introduced by Adamowicz and Hästö [1] in connection with mappings of finite distortion. Unlike the standard p(x)-Laplace equation, the Eq. (1.2) is homogeneous and its solutions satisfy a classical Harnack inequality [2]. The Eq. (1.2) has been further studied for example in [22, 25, 26].
The paper is organized as follows: in Sect. 2 we recall the variable exponent Lebesgue and Sobolev spaces. Section 3 contains the rigorous definitions of solutions to equations (1.1) and (1.2). In Sect. 4 we show that weak solutions of (1.2) are viscosity solutions to (1.1) and the converse statement is proven in Sect. 5. Finally, in Sect. 6 we formulate and prove a Radó-type removability theorem for weak solutions of (1.2).
2 Variable exponent lebesgue and sobolev spaces
We briefly recall basic facts about these spaces. For general reference see e.g. [7]. Let \(\smash {\Omega \subset \mathbb {R}^{N}}\) be an open and bounded set and let \(p:\Omega \rightarrow (1,\infty \)) be a measurable function. We denote
The variable exponent Lebesgue space \(\smash {L^{p(\cdot )}(\Omega )}\) is defined as the set of measurable functions \(u:\Omega \rightarrow \mathbb {R}\) for which the \(p(\cdot )\)-modular
is finite. It is a Banach space equipped with the Luxemburg norm
Given that \(p_{\max }<\infty \) or \(\smash {\varrho _{p(\cdot )}(u)>0}\), the norm and the modular satisfy the inequality (see [7, p75])
A version of Hölder’s inequality holds [7, p81]: if \(\smash {u\in L^{p(\cdot )}(\Omega )}\) and \(\smash {v\in L^{p^{\prime }(\cdot )}(\Omega )}\), where \(\smash {\frac{1}{p(x)}+\frac{1}{p^{\prime }(x)}=1}\) for a.e. \(x\in \Omega \), then
As a consequence of the Hölder’s inequality we have that
for all \(u\in L^{p(\cdot )}(\Omega )\) if \(q(x)\le p(x)\) for a.e. \(x\in \Omega \).
If \(1<p_{\min }\le p_{\max }<\infty \), then \(\smash {L^{p(\cdot )}(\Omega )}\) is reflexive and the dual of \(\smash {L^{p(\cdot )}(\Omega )}\) is \(\smash {L^{p^{\prime }(\cdot )}(\Omega )}\).
The variable exponent Sobolev space \(\smash {W^{1,p(\cdot )}(\Omega )}\) is the set of functions in \(u\in L^{p(\cdot )}(\Omega )\) for which the weak gradient Du belongs in \(L^{p(\cdot )}(\Omega )\). It is a Banach space equipped with the norm
The space \(W_{0}^{1,p}(\Omega )\) is the closure of compactly supported Sobolev functions in the space \(W^{1,p(\cdot )}(\Omega )\). A function belongs to the the local Lebesgue space \(L_{loc}^{p(\cdot )}(\Omega )\) if it belongs to \(L^{p(\cdot )}(\Omega ^{\prime })\) for all \(\Omega ^{\prime }\Subset \Omega \). The space \(W_{loc}^{1,p(\cdot )}(\Omega )\) is defined analogically.
3 The strong and normalized p(x)-Laplace equations
In this section, we define weak solutions to the strong p(x)-Laplace equation and viscosity solutions to the normalized p(x)-Laplace equation.
From now on we assume that p is Lipschitz continuous and \(p_{\min }>1\).
Definition 3.1
A function \(u\in W_{loc}^{1,p(\cdot )}(\Omega )\) is a weak supersolution to \(-\Delta _{p(x)}^{S}u\ge 0\) in \(\Omega \) if
for all non-negative \(\smash {\varphi \in W^{1,p(\cdot )}(\Omega )}\) with compact support. We say that u is a weak subsolution to \(\smash {-\Delta _{p(x)}^{S}u\le 0}\) if \(-u\) is a supersolution and that u is a weak solution to \(\smash {-\Delta _{p(x)}^{S}u=0}\) if u is both supersolution and subsolution.
Lemma 3.2
It is enough to consider \(\smash {C_{0}^{\infty }(\Omega )}\) test functions in the previous definition.
Proof
Assume that \(\smash {\varphi \in W^{1,p(\cdot )}(\Omega )}\) has a compact support in an open set \(\Omega ^{\prime }\Subset \Omega \). Since p is log-Hölder continuous and bounded as a Lipschitz function, there is a sequence of functions \(\smash {\varphi _{j}\in C_{0}^{\infty }(\Omega ^{\prime })}\) such that \(\smash {\varphi _{j}\rightarrow \varphi }\) in \(\smash {W^{1,p(\cdot )}(\Omega ^{\prime })}\) (see [7, p347]). We set \(\smash {\psi _{j}:=\varphi -\varphi _{j}}\). Then it is enough to show that
as \(j\rightarrow \infty \). The first integral convergences to zero by Hölder’s inequality so we focus on the second integral. We may assume that \(N>1\). We set \(\smash {q(x):=\frac{p(x)}{p(x)-1+\frac{1}{N}}}\). Using the inequality \(\smash {a^{s}\log a\le Na^{s+\frac{1}{N}}+\frac{1}{s}}\) for \(a,s>0\) we get
We take \(r\in (1,N)\) such that \(q^{\prime +}\le r^{*}:=\frac{Nr}{N-r}\). Then we have \(q^{\prime }(x)=\frac{Np(x)}{N-1}\le \min (p^{*}(x),r^{*})\), where \(p^{*}(x):=\frac{Np(x)}{N-p(x)}\). Therefore
Since \(\psi _{j}\in W_{0}^{1,\min (p(\cdot ),r)}(\Omega ^{\prime })\), we have by a variable exponent version of the Sobolev inequality (see e.g. [7, p265])
These estimates imply the claim since \(\left\| \psi _{j}\right\| _{W^{1,p}(\Omega ^{\prime })}\rightarrow 0\) as \(j\rightarrow \infty \).\(\square \)
In order to define viscosity solutions to \(-\Delta _{p(x)}^{N}u=0\), we set
for all \((x,\eta ,X)\in \Omega \times \left( \mathbb {R}^{N}\setminus \left\{ 0\right\} \right) \times S^{N}\) where \(S^{N}\) is the set of symmetric \(N\times N\) matrices. We also recall the concept of semi-jets. The subjet of a function \(u:\Omega \rightarrow \mathbb {R}\) at x is defined by setting \((\eta ,X)\in J^{2,-}u(x)\) if
The closure of a subjet is defined by setting \(\smash {(\eta ,X)\in \overline{J}^{2,-}u(x)}\) if there is a sequence \(\smash {(\eta _{i},X_{i})\in J^{2,-}u(x_{i})}\) such that \((x_{i},\eta _{i},X_{i})\rightarrow (x,\eta ,X)\). The superjet \(\smash {J^{2,+}u(x)}\) and its closure \(\smash {\overline{J}^{2,+}u(x)}\) are defined in the same manner except that the inequality (3.1) is reversed.
Definition 3.3
A lower semicontinuous function \(u:\Omega \rightarrow \mathbb {R}\) is a viscosity supersolution to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\) in \(\Omega \) if, whenever \(\smash {(\eta ,X)\in J^{2,-}u(x)}\) with \(x\in \Omega \) and \(\eta \not =0\), then
A function u is a viscosity subsolution to \(-\Delta _{p(x)}^{N}u\le 0\) if \(-u\) is a viscosity supersolution, and a viscosity solution to \(\smash {-\Delta _{p(x)}^{N}u=0}\) if it is both viscosity super- and subsolution.
Remark
Observe that in the previous definition we require nothing in the case \((0,X)\in J^{2,-}u(x)\).
Viscosity solutions may be equivalently defined using the jet-closures or test functions. The next proposition follows easily from the proof of Proposition 2.6 in [18].
Proposition 3.4
Let \(u:\Omega \rightarrow \mathbb {R}\) be lower semicontinuous. Then the following conditions are equivalent.
-
(i)
The function u is a viscosity supersolution to \(-\Delta _{p(x)}^{N}u\ge 0\) in \(\Omega \).
-
(ii)
Whenever \(\smash {(\eta ,X)\in \overline{J}^{2,-}u(x)}\) with \(x\in \Omega \), \(\eta \not =0\), we have \(F(x,\eta ,X)\ge 0\).
-
(iii)
Whenever \(\varphi \in C^{2}(\Omega )\) is such that \(\varphi (x)=u(x)\), \(D\varphi (x)\not =0\) and \(\varphi (y)<u(y)\) for all \(y\not =x\), it holds \(F(x,D\varphi (x),D^{2}\varphi (x))\ge 0\).
When \(\varphi \) is as in the third condition above, we say that \(\varphi \) touches u from below at x.
4 Weak solutions are viscosity solutions
We show that if u is a weak solution to \(\smash {-\Delta _{p(x)}^{S}u=0}\), then it is a viscosity solution to \(-\Delta _{p(x)}^{N}u=0\).
Juutinen, Lukkari and Parviainen [14] showed that weak solutions to the standard p(x)-Laplace equation are also viscosity solutions. This was accomplished with the help of the comparison principle. For if u is a weak supersolution to \(\smash {-\Delta _{p(x)}u\ge 0}\) that is not a viscosity supersolution, then there is a test function \(\varphi \in C^{2}\) touching u from below at x so that \(\smash {-\Delta _{p(x)}\varphi <0}\) in some ball B(x). Lifting \(\varphi \) slightly produces a new function \(\smash {\tilde{\varphi }}\) still satisfying \(\smash {-\Delta _{p(x)}\tilde{\varphi }<0}\) in B(x) and \(\smash {\tilde{\varphi }\le u}\) in \(\partial B(x)\). Comparison principle now implies that \(\tilde{\varphi }\le u\) in B(x) which is a contradiction since \(\tilde{\varphi }(x)>\varphi (x)=u(x)\).
Our difficulty is that, to the best of our knowledge, the comparison principle is an open problem for the strong p(x)-Laplacian. Our strategy is therefore to consider a ball so small that the gradient of the test function does not vanish. Then the comparison principle holds and we arrive at a contradiction.
Theorem 4.1
If \(u\in W_{loc}^{1,p(\cdot )}(\Omega )\) is a weak solution to \(-\Delta _{p(x)}^{S}u=0\), then it is a viscosity solution to \(\smash {-\Delta _{p(x)}^{N}u=0}\) in \(\Omega \).
Proof
Zhang and Zhou [25] showed that weak solutions of \(\smash {-\Delta _{p(x)}^{S}u=0}\) are in \(C^{1}(\Omega )\). Therefore it suffices to show that if \(u\in C^{1}(\Omega )\) is a weak supersolution to \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\), then it is also a viscosity supersolution to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\). Assume on the contrary that there is \(\varphi \in C^{2}({{\Omega })}\) touching u from below at \(x_{0}\in \Omega \), \(D\varphi (x_{0})\not =0\) and
Then by continuity there is \(r>0\) such that in \(B_{r}(x_{0})\) it holds
Since \(Du(x_{0})=D\varphi (x_{0})\not =0\), we may also assume that there is \(m>0\) such that
and
Let \(\smash {l:=\min _{x\in \partial B_{r}(x_{0})}\left( u-\varphi \right) >0}\) and set \(\psi (x):=\max \left( \varphi (x)+l-u(x),0\right) .\) Then \(\psi \in W_{0}^{1,2}(B_{r}(x_{0}))\) so there are \(\psi _{j}\in C_{0}^{\infty }(B_{r}(x_{0}))\) such that \(\psi _{j}\rightarrow \psi \) in \(W^{1,2}(B_{r}(x_{0}))\). Let \(\smash {p_{j}}\) be the standard mollification of p. Multiplying (4.1) by \(\psi \) and integrating over \(\smash {B_{r}(x_{0})}\) yields
where the last equality holds because \(\smash {\psi _{j}\rightarrow \psi }\) in \(\smash {W^{1,2}(B_{r}(x_{0}))}\) and \(\smash {p_{j}\rightarrow p}\) uniformly in \(B_{r}(x_{0})\). Calculating the divergence of \(\left| D\varphi \right| ^{p_{j}(x)-2}D\varphi \) and integrating by parts we get
By the convergence of \(\psi _{j}\) and \(p_{j}\), it follows from (4.4) and (4.5) that
Since u is a weak supersolution to \(\smash {\Delta _{p(x)}^{S}u=0}\) and \(\psi \in W^{1,p(\cdot )}(\Omega )\) has a compact support in \(\Omega \), we have
Denoting \(A:=\left\{ x\in B_{r}(x_{0}):\psi (x)>0\right\} \) and combining (4.6) and (4.7) we arrive at
where the last inequality follows from (4.2) and (4.3). Since
for any two vectors \(a,b\in \mathbb {R}^{N}\) when \(p(x)>1\), it follows from (4.8) that \(\left| A\right| =0\). But this is impossible since \(\varphi (x_{0})=u(x_{0})\) and \(l>0\). \(\square \)
5 Viscosity solutions are weak solutions
We show that if u is a viscosity supersolution to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\), then it is a weak supersolution to \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\). The same statement for subsolutions then follows by analogy.
We recall the usual partial ordering for symmetric \(N\times N\) matrices by setting \(X\le Y\) if \(\left\langle X\xi ,\xi \right\rangle \le \left\langle Y\xi ,\xi \right\rangle \) for all \(\smash {\xi \in \mathbb {R}^{N}}\). For a matrix X we also set \(\left\| X\right\| :=\max \left\{ \left| \lambda \right| :\lambda \text { is an eigenvalue of }X\right\} \) and for vectors \(\smash {\xi ,\eta \in \mathbb {R}^{N}}\) we use the notation \(\xi \otimes \eta :=\xi \eta ^{\prime }\), i.e. \(\xi \otimes \eta \) is an \(N\times N\) matrix whose \(\left( i,j\right) \) entry is \(\xi _{i}\eta _{j}\).
Definition 5.1
Let \(q\ge 2\) and \(\varepsilon >0\). The inf-convolution of a bounded function \(u\in C(\Omega )\) is defined by
The inf-convolution is well known to provide good approximations of viscosity supersolutions and often one only needs to consider it for \(q=2\) (see e.g. [6]). However, as the authors in [11] observed, considering large enough q essentially cancels the singularity in the usual p-Laplace operator when \(1<p<2\). In similar fashion it also cancels the singularity of the operator \(\smash {\Delta _{p(x)}^{S}}\). This is due to the property (v) in the next lemma. We also list some other properties of the inf-convolution.
Lemma 5.2
Let \(u\in C(\Omega )\) be a bounded function. Then the inf-convolution \(u_{\varepsilon }\) as defined in (5.1) has the following properties.
-
(i)
We have \(u_{\varepsilon }\le u\) in \(\Omega \) and \(u_{\varepsilon }\rightarrow u\) locally uniformly in \(\Omega \) as \(\varepsilon \rightarrow 0\).
-
(ii)
There exists \(r(\varepsilon )>0\) such that
$$\begin{aligned} u_{\varepsilon }(x)=\inf _{y\in B_{r(\varepsilon )}(x)\cap \Omega }\left\{ u(y)+\frac{1}{q\varepsilon ^{q-1}}\left| x-y\right| ^{q}\right\} \end{aligned}$$and \(r(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\). In fact we can choose \(r(\varepsilon )=\left( q\varepsilon ^{q-1}\mathrm {osc}_{\Omega } u\right) ^{\frac{1}{q}}\).
-
(iii)
The function \(u_{\varepsilon }\) is semi-concave in \(\Omega _{r(\varepsilon )}\), that is, the function \(x\mapsto u_{\varepsilon }(x)-\frac{q-1}{2\varepsilon ^{q-1}}r(\varepsilon )^{q-2}\left| x\right| ^{2}\) is concave.
-
(iv)
If \(x\in \Omega _{r(\varepsilon )}:=\left\{ x\in \Omega :\mathrm {dist}(x,\partial \Omega )>r(\varepsilon )\right\} \), then there exists a point \(x_{\varepsilon }\in B_{r(\varepsilon )}(x)\) such that \(u_{\varepsilon }(x)=u(x_{\varepsilon })+\frac{1}{q\varepsilon ^{q-1}}\left| x-x_{\varepsilon }\right| ^{q}\).
-
(v)
If \((\eta ,X)\in J^{2,-}u_{\varepsilon }(x)\) with \(x\in \Omega _{r(\varepsilon )}\), then \(\eta =\frac{\left( x-x_{\varepsilon }\right) }{\varepsilon ^{q-1}}\left| x_{\varepsilon }-x\right| ^{q-2}\) and \(X\le \frac{q-1}{\varepsilon }\left| \eta \right| ^{\frac{q-2}{q-1}}I\), where \(x_{\varepsilon }\) is as in (iv).
These properties are well known, see appendix of [11] and also [17] where more general “flat inf-convolution” is considered. Regardless, we give a proof of (v) based on [16, p53] due to its critical role in the proof of Lemma 5.5.
Proof of property (v) in Lemma 5.2
Let \((\eta ,X)\in J^{2,-}u_{\varepsilon }(x)\). Then there is a function \(\varphi \in C^{2}(\mathbb {R}^{N})\) such that it touches \(u_{\varepsilon }\) from below at x and \(D\varphi (x)=\eta \), \(D^{2}\varphi (x)=X\). Therefore for all \(y,z\in \Omega \) we have
Choosing \(y=x_{\varepsilon }\), we obtain
Since \(\varphi (x)=u_{\varepsilon }(x)=u(x_{\varepsilon })+\frac{\left| x_{\varepsilon }-x\right| ^{q}}{q\varepsilon ^{q-1}}\), the above inequality means that the function
has a maximum at x. Thus \(\eta =D\psi (x)=\frac{\left( x-x_{\varepsilon }\right) }{\varepsilon ^{q-1}}\left| x_{\varepsilon }-x\right| ^{q-2}\) and
\(\square \)
We will show that the inf-convolution provides approximations of viscosity supersolutions to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\). If there was no x-dependence in the equation, it would be straightforward to show that the inf-convolution of a supersolution is still a supersolution. However, the equation \(-\Delta _{p(x)}^{N}u\ge 0\) has x-dependence caused by p(x). Regardless, in [10, Thm 3] it is shown that with some assumptions on G, the inf-convolution \(u_{\varepsilon }\) of a viscosity supersolution to \(G(x,u,Du,D^{2}u)\ge 0\) is still a viscosity supersolution to \(G(x,u_{\varepsilon },Du_{\varepsilon },D^{2}u_{\varepsilon })\ge E(\varepsilon )\), where \(E(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\).
We prove a modified version of this theorem for the solutions of \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\). The important modification is the term \(\smash {\left| \eta \right| ^{\min (p(x)-2,0)}}\) in (5.2) as it cancels a singular gradient term that appears due to the error term in the proof of Lemma 5.5, see (5.14). Another difference is that we consider inf-convolution with the exponent \(q\ge 2\).
Lemma 5.3
Assume that u is a uniformly continuous viscosity supersolution to \(-\Delta _{p(x)}^{N}u\ge 0\) in \(\Omega \). Then, whenever \((\eta ,X)\in J^{2,-}u_{\varepsilon }(x)\), \(\eta \not =0\) and \(x\in \Omega _{r(\varepsilon )}\), it holds
where \(E(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\). The error function E depends only on p, q and the modulus of continuity of u.
Proof
Fix \(x\in \Omega _{r(\varepsilon )}\) and \((\eta ,X)\in J^{2,-}u_{\varepsilon }(x)\), \(\eta \not =0\). Then by Lemma 5.2 there is \(x_{\varepsilon }\in B_{r(\varepsilon )}(x)\) such that
and \(\eta =\frac{\left( x-x_{\varepsilon }\right) }{\varepsilon ^{q-1}}\left| x_{\varepsilon }-x\right| ^{q-2}\). There exists a function \(\varphi \in C^{2}(\mathbb {R}^{N})\) such that it touches \(u_{\varepsilon }\) from below at x and \(D\varphi (x)=\eta \), \(D^{2}\varphi (x)=X\). By the definition of inf-convolution
Since by (5.3) we have \(u(x_{\varepsilon })=\varphi (x)-\frac{\left| x_{\varepsilon }-x\right| ^{q}}{q\varepsilon ^{q-1}},\) it follows from (5.4) that the expression \(u(y)-\varphi (z)+\frac{\left| y-z\right| ^{q}}{q\varepsilon ^{q-1}}\) reaches its minimum at \((y,z)=(x_{\varepsilon },x)\). Thus
We denote \(\Phi (y,z):=\frac{1}{q\varepsilon ^{q-1}}\left| y-z\right| ^{q}\) and invoke the Theorem of sums (see [6]). There exist \(Y,Z\in S^{N}\) such that
and
where
with \(M=\frac{1}{\varepsilon ^{q-1}}\left| x_{\varepsilon }-x\right| ^{q-4} \left( \left( q-2\right) \left( x_{\varepsilon }-x\right) \otimes \left( x_{\varepsilon }-x\right) + \left| x_{\varepsilon }-x\right| ^{2}I\right) \) and
The above implies \(Y\le Z\le -D^{2}\varphi (x)=-X\). Multiplying (5.5) by the \(\mathbb {R}^{2N}\) vector \((\frac{\eta }{\left| \eta \right| }\sqrt{p(x_{\varepsilon })-1}, \frac{\eta }{\left| \eta \right| }\sqrt{p(x)-1})\) from both sides yields
where \(\varLambda =\sqrt{p(x)-1}-\sqrt{p(x_{\varepsilon })-1}\). We have
where we used (5.6) and the fact that \(Y\le Z\) implies
We have the estimate
Since p is Lipschitz continuous and \(p_{\min }>1\), we have also
Combining these with (5.7) we get (we may assume that \(r(\varepsilon )<1\))
Moreover, by uniform continuity of u there is a modulus of continuity \(\omega \) such that \(\omega (t)\rightarrow 0\) as \(t\rightarrow 0\) and \(\left| u(y)-u(z)\right| \le \omega (\left| y-z\right| )\) for all \(y,z\in \Omega \). Hence by (5.3)
We now consider the situations \(p(x)\le 2\) and \(p(x)>2\) separately.
If \(p(x)\le 2\), we multiply (5.8) by \(\left| \eta \right| ^{p(x)-2}\) and estimate using (5.9). We get
where the last inequality is true when \(\varepsilon <1\) is so small that \(\omega (r(\varepsilon ))<1\). This proves (5.2) when \(p(x)\le 2\).
If \(p(x)>2\), we estimate (5.8) directly using (5.9). We get
which proves (5.2) when \(p(x)>2\). \(\square \)
Next we will use the previous lemma to show that inf-convolution of a viscosity supersolution to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\) in \(\Omega \) is a weak supersolution to \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\) in \(\smash {\Omega _{r(\varepsilon )}}\) up to some error term. Before proceeding we make some remarks about the point-wise differentiability of inf-convolution.
Remark 5.4
It follows from semi-concavity that the inf-convolution \(u_{\varepsilon }\) is locally Lipschitz in \(\smash {\Omega _{r(\varepsilon )}}\) (see [8, p267]). Therefore it belongs in \(\smash {W_{loc}^{1,\infty }(\Omega _{r(\varepsilon )})}\), is differentiable almost everywhere in \(\smash {\Omega _{r(\varepsilon )}}\), and its derivative agrees with its Sobolev derivative almost everywhere in \(\smash {\Omega _{r(\varepsilon )}}\) (see [8, p155 and p265]).
By Lemma 5.2 the function \(\phi (x):=u_{\varepsilon }(x)-C(q,\varepsilon ,u)\left| x\right| ^{2}\) is concave in \(\Omega _{r(\varepsilon )}\). Thus Alexandrov’s theorem implies that \(u_{\varepsilon }\) is twice differentiable almost everywhere in \(\Omega _{r(\varepsilon )}\). Furthermore, the proof of Alexandrov’s theorem in [8, p273] establishes that if \(\phi _{j}\) is the standard mollification of \(\phi \), then \(\smash {D^{2}\phi _{j}\rightarrow D^{2}\phi }\) almost everywhere in \(\Omega _{r(\varepsilon )}\).
Lemma 5.5
Assume that u is a uniformly continuous viscosity supersolution to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\) in \(\Omega \). Let \(q>2\) be so large that \(\smash {p_{\min }-2+\frac{q-2}{q-1}\ge 0}\) and let \(u_{\varepsilon }\) be the inf-convolution of u as defined in (5.1). Then
for all non-negative \(\varphi \in W^{1,p(\cdot )}(\Omega _{r(\varepsilon )})\) with compact support, where \(E(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\) and \(s(x)=\max (p(x)-2,0)\).
Proof
It is enough to consider \(\varphi \in C_{0}^{\infty }(\Omega _{r(\varepsilon )})\). This can be proven as Lemma 3.2, but since \(\smash {u_{\varepsilon }\in W_{loc}^{1,\infty }(\Omega _{r(\varepsilon )})}\), the proof is even simpler.
(Step 1) We show that \(\smash {u_{\varepsilon }}\) satisfies the auxiliary inequality (5.11) for all \(0<\delta <1\). As mentioned in Remark 5.4, the function \(\smash {\phi (x):=u_{\varepsilon }(x)-C(q,\varepsilon ,u)\left| x\right| ^{2}}\) is concave in \(\Omega _{r(\varepsilon )}\) and therefore we can approximate it by smooth concave functions \(\smash {\phi _{j}}\) so that \(\smash {\left( \phi _{j},D\phi _{j},D^{2}\phi _{j}\right) \rightarrow \left( \phi ,D\phi ,D^{2}\phi \right) }\) almost everywhere in \(\Omega _{r(\varepsilon )}\). We define
and denote by \(p_{j}\) the standard mollification of p. Since \(u_{\varepsilon ,j}\) and \(p_{j}\) are smooth, we calculate
We let \(j\rightarrow \infty \) in (5.10) and intend to use Fatou’s lemma at the LHS and the Dominated convergence theorem at the RHS. This results in the auxiliary inequality
where \(D^{2}u_{\varepsilon }\) is the Hessian of \(u_{\varepsilon }\) in the Alexandrov’s sense. We still need to check that the assumptions of the Dominated convergence theorem and Fatou’s lemma hold. By Lipschitz continuity of \(u_{\varepsilon }\) and p there is \(M\ge 1\) such that
This justifies our use of the Dominated convergence theorem. In order to justify our use of Fatou’s lemma, we notice first that by concavity of \(\phi _{j}\) we have \(D^{2}u_{\varepsilon ,j}\le C(q,\varepsilon ,u)I\). Thus the integrand at the LHS of (5.10) is clearly bounded from below by a constant independent of j if \(Du_{\varepsilon ,j}=0\). If \(Du_{\varepsilon ,j}\not =0\), we have
where the first inequality follows like estimate (5.7) since \(p_{j}\ge p_{\min }>1\).
(Step 2) We let \(\delta \rightarrow 0\) in the auxiliary inequality (5.11). The RHS becomes
by the Lebesgue’s dominated convergence theorem. We intend to apply Fatou’s lemma on the LHS. We have \(\smash {\left( Du_{\varepsilon }(x),D^{2}u_{\varepsilon }(x)\right) \in J^{2,-}u_{\varepsilon }(x)}\) for almost every \(x\in \Omega _{r(\varepsilon )}\). Therefore by Lemma 5.3 it holds that
and by the property (v) in Lemma 5.2 we have
Observe that since \(q>2\), the condition (5.13) implies that the Hessian \(D^{2}u_{\varepsilon }\) is negative semi-definite in the set where the gradient \(Du_{\varepsilon }\) vanishes. Using this fact, Fatou’s lemma and (5.12) we get
and thus we arrive at the desired inequality. Our use of Fatou’s lemma is justified since if \(Du_{\varepsilon }\not =0\) and \(p(x)\le 2\), we have by (5.13)
where the last inequality follows from \(p_{\min }-2+\frac{q-2}{q-1}\ge 0\). If \(Du_{\varepsilon }\not =0\) and \(p(x)>2\), we have
In the next two lemmas we use Caccioppoli type estimates and algebraic inequalities to show that the sequence of inf-convolutions converges to the viscosity supersolution in \(\smash {W_{loc}^{1,p(\cdot )}(\Omega )}\).
Lemma 5.6
Under the assumptions of Lemma 5.5, the function u belongs in \(\smash {W_{loc}^{1,p(\cdot )}(\Omega )}\) and for any \(\Omega ^{\prime }\Subset \Omega \) we have \(Du_{\varepsilon }\rightarrow Du\) weakly in \(\smash {L^{p(\cdot )}(\Omega ^{\prime })}\) for some subsequence.
Proof
Take a cut-off function \(\xi \in C_{0}^{\infty }(\Omega ^{\prime })\) such that \(0\le \xi \le 1\) in \(\Omega \) and \(\xi \equiv 1\) in \(\Omega ^{\prime }\). Then assume that \(\varepsilon \) is so small that \(\mathrm {supp} \xi =:K\subset \Omega {}_{r(\varepsilon )}\). We define a test function \(\smash {\varphi :=(L-u_{\varepsilon })\xi ^{p_{\max }}}\) where \(\smash {L:=\sup _{\varepsilon ,x\in \Omega ^{\prime }}\left| u_{\varepsilon }(x)\right| }\) is finite since \(u_{\varepsilon }\rightarrow u\) locally uniformly. We have
and therefore by Lemma 5.5
We estimate these integrals using Young’s inequality. The first integral is estimated by the facts \(\frac{p(x)\left( p_{\max }-1\right) }{p(x)-1}\ge p_{\max }\) and \(\xi \le 1\) as follows
To estimate \(I_{2}\), we also use the inequality \(a^{s}\left| \log a\right| \le a^{s+\frac{1}{2}}+\frac{1}{s}\text { for }a>0\text { and }s>0\),
The last integral is estimated by the two alternatives in \(\max (p(x)-2,0)\) as follows (we may assume that \(\left| E(\varepsilon )\right| \le 1\))
Taking small \(\delta \) we conclude that \(Du_{\varepsilon }\) is bounded in \(L^{p(\cdot )}(\Omega ^{\prime })\) with respect to \(\varepsilon \). Since \(L^{p(\cdot )}(\Omega ^{\prime })\) is a reflexive Banach space [7, p76 and p89], it follows that there is a function \(Du\in L^{p(\cdot )}(\Omega ^{\prime })\) such that \(Du_{\varepsilon }\rightarrow Du\) weakly in \(L^{p(\cdot )}(\Omega ^{\prime })\) for some subsequence. Consequently \(\smash {u\in W^{1,p(\cdot )}(\Omega ^{\prime })}\) with Du as its weak derivative. \(\square \)
Lemma 5.7
Under the assumptions of Lemma 5.5, for any \(\Omega ^{\prime }\Subset \Omega \) we have \(Du_{\varepsilon }\rightarrow Du\) in \(L^{p(\cdot )}(\Omega ^{\prime })\) for some subsequence.
Proof
Take a cut-off function \(\xi \in C_{0}^{\infty }(\Omega )\) such that \(\xi \equiv 1\) in \(\Omega ^{\prime }\) and define a test function \(\varphi :=(u-u_{\varepsilon })\xi \). Then assume that \(\varepsilon \) is so small that \(\mathrm {supp} \xi =:K\subset \Omega _{r(\varepsilon )}\). Since \(\varphi \in W^{1,p(\cdot )}(\Omega _{r(\varepsilon )})\) with compact support it follows from Lemma 5.5 that
According to Lemma 5.6 we have \(u_{\varepsilon }\rightarrow u\) locally uniformly and \(Du_{\varepsilon }\rightarrow Du\) weakly in \(L^{p(\cdot )}(K)\) for a subsequence. Thus by passing to a subsequence we may assume that the right hand side of (5.15) converges to zero. The claim now follows from the inequalities (see e.g. [19, Chapter 12])
for \(a,b\in \mathbb {R}^{N}\). Indeed, we immediately get that \(\int _{\Omega ^{\prime }\cap \left\{ p(x)\ge 2\right\} }\left| Du-Du_{\varepsilon }\right| ^{p(x)}\,dx\rightarrow 0\). To deal with the set \(\left\{ p(x)<2\right\} \), we first apply the above algebraic inequality and then estimate using Hölder’s inequality, the modular inequality (2.1) and the definition of the \(\left\| \cdot \right\| _{L^{p(\cdot )}}\)-norm. We get
where \(s\in \left\{ \frac{p_{\max }}{2},\frac{p_{\min }}{2}\right\} \). The last integral is bounded since the sequence \(Du_{\varepsilon }\) is bounded in \(L^{p(\cdot )}(\Omega ^{\prime })\) by its weak convergence. The RHS therefore converges to zero by (5.15). \(\square \)
Next, we use the previous convergence result to pass to the limit in the inequality of Lemma 5.5 and conclude that viscosity supersolutions to \(\smash {-\Delta _{p(x)}^{N}u\ge 0}\) are weak supersolutions to \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\).
Theorem 5.8
If \(u\in C(\Omega )\) is a viscosity supersolution to \(-\Delta _{p(x)}^{N}u\ge 0\) in \(\Omega \), then u is a weak supersolution to \(-\Delta _{p(x)}^{S}u\ge 0\) in \(\Omega \).
Proof
It is clear from the definition of weak supersolutions to \(\smash {-\Delta _{p(x)}^{S}u\ge 0}\) that we can without loss of generality assume that u is uniformly continuous in \(\Omega \) by restricting to a smaller domain. Fix a non-negative test function \(\smash {\varphi \in C_{0}^{\infty }(\Omega )}\) and take an open \(\smash {\Omega ^{\prime }\Subset \Omega }\) such that \(\smash {\mathrm {supp} \varphi \subset \Omega ^{\prime }}\). Let q and \(u_{\varepsilon }\) be as in Lemma 5.5 and assume that \(\varepsilon \) is so small that \(\Omega ^{\prime }\subset \Omega _{r(\varepsilon )}\). Then the claim follows from Lemma 5.5 if we show that
and
as well as
By Lemma 5.7 we have that \(u_{\varepsilon }\rightarrow u\) in \(W^{1,p(\cdot )}(\Omega ^{\prime })\).
Claim Equation (5.16) follows from the inequalities (see e.g. [19, Chapter 12])
for \(a,b\in \mathbb {R}^{N}\). Indeed, when \(\varepsilon \) is so small that \(\int _{\Omega ^{\prime }}\left| Du_{\varepsilon }-Du\right| ^{p(x)}\,dx<1\) we have by Hölder’s inequality and the modular inequality
Claim Equation (5.18) holds since \(\int _{\Omega ^{\prime }}\left| Du_{\varepsilon }\right| ^{p(x)}\,dx\) is bounded and \(E(\varepsilon )\rightarrow 0\).
Claim Equation (5.17) follows if we show that
To this end, fix \(0<\epsilon <1\). The mapping \((a,x)\mapsto \left| a\right| ^{p(x)-2}\log \left( \left| a\right| \right) a\) is uniformly continuous in bounded sets of \(\smash {\mathbb {R}^{N}\times \Omega ^{\prime }}\). Hence there exists \(\delta =\delta (\epsilon )<\epsilon \) such that whenever \(\smash {x\in \Omega ^{\prime }}\) and \(\smash {a,b\in \overline{B}(0,3)}\) satisfy \(\left| a-b\right| <\delta \), it holds
If \(\left| a\right| ,\left| b\right| \ge 1\) and \(\left| a-b\right| <\delta \), then we use (5.19) to get the estimate
We denote
The strong convergence of \(Du_{\varepsilon }\) to Du in \(L^{p(\cdot )}(\Omega ^{\prime })\) implies that \(Du_{\varepsilon }\rightarrow Du\) in measure in \(\Omega ^{\prime }\) (see [7, Lemma 3.2.10]). Thus there is \(\varepsilon _{0}=\varepsilon _{0}(\delta )\) such that for all \(\varepsilon <\varepsilon _{0}\) it holds \(\left| F_{\varepsilon }\right| \le \delta \). Using the inequality \(\smash {a^{s}\left| \log a\right| \le a^{s+\frac{1}{2}}+\frac{1}{s}}\) for \(a,s>0\), we get for all \(\varepsilon <\varepsilon _{0}\)
If \(x\in \Omega ^{\prime }\setminus F_{\varepsilon }\), then either \(\left| Du_{\varepsilon }\right| ,\left| Du\right| \le 3\) or \(\left| Du_{\varepsilon }\right| ,\left| Du\right| \ge 1\). Hence by (5.21) and (5.22) we have
Combining (5.24) and (5.23) proves (5.20) since \(\epsilon \) was arbitrary. \(\square \)
Merging Theorems 4.1 and 5.8 yields the following equivalence result.
Theorem 5.9
A function u is a viscosity solution to \(\smash {-\Delta _{p(x)}^{N}u=0}\) in \(\Omega \) if and only if it is a weak solution to \(\smash {-\Delta _{p(x)}^{S}u=0}\) in \(\Omega \).
Since the weak solutions to the strong p(x)-Laplace equation are locally \(C^{1,\alpha }\) continuous [25], our equivalence result yields local \(\smash {C^{1,\alpha }}\) regularity also for viscosity solutions of the normalized p(x)-Laplace equation.
Corollary 5.10
If u is a viscosity solution to \(\smash {-\Delta _{p(x)}^{N}u=0}\) in a bounded domain \(\Omega \), then \(\smash {u\in C^{1,\alpha }(\Omega )}\) with \(\alpha \in (0,1)\).
6 An application: a Radó-type removability theorem
The classical theorem of Radó says that if a continuous complex-valued function f defined on a domain \(\Omega \subset \mathbb {C}\) is holomorphic in \(\Omega \setminus \left\{ f=0\right\} \), then it is holomorphic in the whole \(\Omega \). Similar results have been proven for solutions of partial differential equations. We prove a Radó-type removability theorem for the strong p(x)-Laplace equation. It is worth pointing out that it could be difficult to show this kind of result without appealing to viscosity solutions whereas it is straightforward to do so with the help of the equivalence result. The theorem follows by observing that weak solutions to \(\smash {\Delta _{p(x)}^{S}u=0}\) coincide with viscosity solutions of an equation that satisfies the assumptions of a Radó-type removability theorem in [12].
Recall that we ignore the test functions whose gradient vanishes at the point of touching in the Definition 3.3 of viscosity solutions to \(\smash {-\Delta _{p(x)}^{N}u=0}\). Sometimes this kind of solutions are called feeble viscosity solutions (e.g. [12, 17]). We will observe that these feeble viscosity solutions to \(\smash {-\Delta _{p(x)}^{N}u=0}\) are exactly the usual viscosity solutions to
where \(A(x,Du):=\left| Du\right| ^{2}I+\left( p(x)-2\right) Du\otimes Du\). To be precise, we define the viscosity solutions to (6.1).
Definition 6.1
A lower semicontinuous function u is a viscosity supersolution to (6.1) in \(\Omega \) if, whenever \((\eta ,X)\in J^{2,-}u(x)\) with \(x\in \Omega \), then
A function u is a viscosity subsolution to (6.1) if \(-u\) is a supersolution, and a viscosity solution if it is both viscosity super- and subsolution.
Lemma 6.2
A function u is a viscosity solution to \(\smash {-\Delta _{p(x)}^{N}u=0}\) if and only if it is a viscosity solution to (6.1).
Proof
It is enough to consider supersolutions. Take \((\eta ,X)\in J^{2,-}u(x)\) with \(x\in \Omega \). If \(\eta =0\), then the conditions for both definitions are satisfied, so we may assume that \(\eta \not =0\). Then we have
if and only if
where
Hence the definitions are equivalent. \(\square \)
Theorem 6.3
(A Radó-type removability theorem) Let \(u\in C^{1}(\Omega )\) be a weak solution to \(\smash {-\Delta _{p(x)}^{S}u=0}\) in \(\Omega \setminus \left\{ u=0\right\} \). Then u is a weak solution to \(\smash {-\Delta _{p(x)}^{S}u=0}\) in the whole \(\Omega \).
Proof
By Lemma 6.2 and our equivalence result weak solutions to \(\smash {-\Delta _{p(x)}^{S}u=0}\) coincide with viscosity solutions to (6.1). Therefore it suffices to show that if u is a viscosity solution to (6.1) in \(\Omega \setminus \left\{ u=0\right\} \), it is a viscosity solution to (6.1) in the whole \(\Omega \). This on the other hand follows from [12, Theorem 2.2]. The matrix A satisfies the assumptions of the theorem as it is symmetric, has continuous entries and \(A(x,0,0)=0\) for all \(x\in \Omega \). It is also positive semi-definite since for all \(\xi \in \mathbb {R}^{N}\) we have
\(\square \)
References
Adamowicz, T., Hästö, P.: Mappings of finite distortion and PDE with nonstandard growth. Int. Math. Res. Not. IMRN 10, 1940–1965 (2010)
Adamowicz, T., Hästö, P.: Harnack’s inequality and the strong \(p(\cdot )\)-Laplacian. J. Differ. Equ. 250, 1631–1649 (2011)
Arroyo, Á., Heino, J., Parviainen, M.: Tug-of-war games with varying probabilities and the normalized \(p(x)\)-Laplacian. Commun. Pure Appl. Anal. 16(3), 915–944 (2017)
Attouchi, A., Parviainen, M., Ruosteenoja, E.: \({C}^{1,\alpha }\) regularity for the normalized \(p\)-Poisson problem. J. Math. Pures Appl. 108(4), 553–591 (2017)
Banerjee, A., Garofalo, N.: Modica type gradient estimates for an inhomogeneus variant of the normalized \(p\)-Laplacian evolution. Nonlinear Anal. 121, 458–468 (2015)
Crandall, M.G., Ishii, H., Lions, P.-L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27(1), 1–67 (1992)
Diening, L., Harjulehto, P., Hästö, P., Růžička, M.: Lebesgue and Sobolev Spaces with Variable Exponents, volume 2017 of Lecture Notes in Mathematics. Springer, Berlin (2011)
Evans, L.C., Gariepy, R.F.: Measure Theory and Fine Properties of Functions. CRC Press, Boca Raton (2015). revised edition
Imbert, C., Jin, T., Silvestre, L.: Hölder gradient estimates for a class of singular or degenerate parabolic equations. Adv. Nonlinear Anal. https://doi.org/10.1515/anona-2016-0197
Ishii, H.: On the equivalence of two notions of weak solutions, viscosity solutions and distribution solutions. Funkcialaj Ekvacioj 38, 101–120 (1995)
Julin, V., Juutinen, P.: A new proof for the equivalence of weak and viscosity solutions for the \(p\)-Laplace equation. Comm. Partial Differ. Equ. 37(5), 934–946 (2012)
Juutinen, P., Lindqvist, P.: Removability of a level set for solutions of quasilinear equations. Comm. Partial Differ. Equ. 30, 305–321 (2005)
Juutinen, P., Lindqvist, P., Manfredi, J.J.: On the equivalence of viscosity solutions and weak solutions for a quasi-linear equation. SIAM J. Math. Anal. 33(3), 699–717 (2001)
Juutinen, P., Lukkari, T., Parviainen, M.: Equivalence of viscosity and weak solutions for the \(p(x)\)-Laplacian. Ann. Inst. H. Poincaré Anal. Non Linéaire 27(6), 1471–1487 (2010)
Jin, T., Silvestre, L.: Hölder gradient estimates for parabolic homogeneous \(p\)-Laplacian equations. J. Math. Pures Appl. 108(3), 63–87 (2017)
Katzourakis, N.: An Introduction to Viscosity Solutions for Fully Nonlinear PDE with Applications to Calculus of Variations in \(L^{\infty }\). Springer, Berlin (2015)
Katzourakis, N.: Nonsmooth convex functionals and feeble viscosity solutions of singular Euler–Lagrange equations. Calc. Var. 54(1), 275–298 (2015)
Koike, S.: A Beginner’s Guide to the Theory of Viscosity Solutions, vol 13, MJS Memoirs. The Mathematical Society of Japan, Tokyo (2012)
Lindqvist, P.: Notes on the \(p\)-Laplace equation, (2nd edn.). Univ. Jyväskylä, Report 161 (2017)
Medina, M., Ochoa, P.: On viscosity and weak solutions for non-homogeneous \(p\)-Laplace equations. Adv. Nonlinear Anal. https://doi.org/10.1515/anona-2017-0005
Manfredi, J.J., Parviainen, M., Rossi, J.D.: On the definition and properties of \(p\)-harmonous functions. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11(2), 215–241 (2012)
Pérez-Llanos, M.: A homogenization process for the strong \(p(x)\)-Laplacian. Nonlinear Anal. 76, 105–114 (2013)
Peres, Y., Sheffield, S.: Tug-of-war with noise: a game-theoretic view of the \(p\)-Laplacian. Duke Math. J. 145(1), 91–120 (2008)
Peres, Y., Schramm, O., Sheffield, S., Wilson, D.B.: Tug-of-war and the infinity Laplacian. J. Am. Math. Soc. 22(1), 167–210 (2009)
Zhang, C., Zhou, S.: Hölder regularity for the gradients of solutions of the strong \(p(x)\)-Laplacian. J. Math. Anal. Appl. 389(2), 1066–1077 (2012)
Zhang, C., Zhang, X., Zhou, S.: Gradient estimates for the strong \(p(x)\)-Laplace equation. Discrete Contin. Dyn. Syst. 37(7), 4109–4129 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Rights and permissions
About this article
Cite this article
Siltakoski, J. Equivalence of viscosity and weak solutions for the normalized p(x)-Laplacian. Calc. Var. 57, 95 (2018). https://doi.org/10.1007/s00526-018-1375-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-018-1375-1