Abstract
In this paper we consider quasilinear elliptic equations driven by the variable exponent double phase operator with superlinear right-hand sides. Under very general assumptions on the nonlinearity, we prove a multiplicity result for such problems whereby we show the existence of a positive solution, a negative one and a solution with changing sign. The sign-changing solution is obtained via the Nehari manifold approach and, in addition, we can also give information on its nodal domains.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subseteq \mathbb {R}^N\), \(N \ge 2\) be a bounded domain with Lipschitz boundary \(\partial \Omega \). In this paper we study the following variable exponent double phase problem with homogeneous Dirichlet boundary condition
where we assume
-
(H1)
\(p,q \in C(\overline{\Omega })\) such that \(1<p(x)<N\), \(p(x)<q(x) \le q_+ < p^*_-\), where \(q_+ = \max _{x\in \overline{\Omega }} q(x)\), \(p^*_- = \min _{x \in \overline{\Omega }} p^*(x)\) and \(p^*(x) = Np(x) / (N - p(x))\) for all \(x \in \overline{\Omega }\), \(0\le \mu (\cdot ) \in L^{\infty }(\Omega )\) and \(p(\cdot )\) satisfies a monotonicity condition, that is, there exists a vector \(l \in \mathbb {R}^N {\setminus } \{ 0 \}\) such that for all \(x \in \Omega \) the function
$$\begin{aligned} g_x (t) = p(x + tl) \quad \text { with } t \in I_x = \{ t \in \mathbb {R}: x + tl \in \Omega \} \end{aligned}$$is monotone.
Furthermore, the nonlinearity \(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) is \((q_+-1)\)-superlinear near infinity and \((p( \cdot )-1)\)-superlinear near zero with respect to the second variable, see the precise conditions in (H\(_{\textrm{f}}\)).
The differential operator in (1.1) is the so-called double phase operator with variable exponents and is given by
on an appropriate Musielak-Orlicz Sobolev space \(W^{1,{\mathcal {H}}}(\Omega )\). Special cases of this operator occur when \(\inf _{\overline{\Omega }} \mu >0\) (the weighted \((q(\cdot ),p(\cdot ))\)-Laplacian) or when \(\mu \equiv 0\) (the \(p(\cdot )\)-Laplace differential operator), which have been studied in the literature before. The energy functional \(I:W^{1, \mathcal {H}}_0(\Omega )\rightarrow \mathbb {R}\) related to the variable exponent double phase operator is given by
where the integrand \(H(x,\xi )=\frac{1}{p(x)}|\xi |^{p(x)}+\frac{\mu (x)}{q(x)}|\xi |^{q(x)}\) for all \((x,\xi ) \in \Omega \times \mathbb {R}^N\), according to the nomenclature originally by Marcellini (see his papers [35, 36]), has unbalanced growth, that is,
for a. a. \(x\in \Omega \) and for all \(\xi \in \mathbb {R}^N\) with \(b_1,b_2>0\).
The most notorious property of the functional I is the nonuniform ellipticity depending on whether we are at the set where the weight function is zero, that is, on the set \(\{x\in \Omega \,:\, \mu (x)=0\}\). Indeed, the integrand of I exhibits ellipticity in the gradient of order q(x) on the points x where \(\mu (x)\ge \varepsilon > 0\) for any fixed \(\varepsilon > 0\) and of order p(x) on the points x where \(\mu (x)\) vanishes. So the integrand H switches between two different phases of elliptic behaviours. This is the reason why it is called double phase.
Zhikov [51] was the first who studied functionals whose integrands change their ellipticity according to a point in order to provide models for strongly anisotropic materials. Functionals like I above, both with constant and variable exponents, have been studied by several authors with respect to regularity of local minimizers. We refer to the works of Baroni et al. [4,5,6], Colombo and Mingione [11, 12] and the recent results for nonuniformly elliptic variational problems and nonautonomous functionals of Beck and Mingione [7, 8], De Filippis and Mingione [14], Hästö and Ok [27].
Double phase differential operators and their corresponding energy functionals given above appear in physical models. For example, in the elasticity theory, the modulating coefficient \(\mu (\cdot )\) dictates the geometry of composites made of two different materials with distinct power hardening exponents \(q(\cdot )\) and \(p(\cdot )\), see Zhikov [53]. But also in other mathematical applications such kind of functional plays an important role, for example, in the study of duality theory and of the Lavrentiev gap phenomenon, see Papageorgiou et al. [40], Ragusa and Tachikawa [44] and Zhikov [52, 53].
Existence results for double phase problems with constant exponents have been shown by several authors within the last decade. The corresponding eigenvalue problem of the double phase operator with Dirichlet boundary condition has been studied by Colasuonno and Squassina [10] who proved the existence and properties of related variational eigenvalues. Perera and Squassina [42] showed the existence of a solution by applying Morse theory where they used a cohomological local splitting to get an estimate of the critical groups at zero. Multiplicity results including sign-changing solutions have been obtained by Gasiński et al. [22], Liu and Dai [33] and Gasiński and Winkert [25] via the Nehari manifold treatment due to the lack of regularity results for such problems. We also mention the works of Biagi et al. [9], Farkas-Winkert [20], Fiscella [21], Gasiński and Winkert [23, 24], Ge and Pucci [26], Stegliński [45] and Zeng et al. [49].
So far, there are only few results involving the variable exponent double phase operator given above. We refer to the recent results of Aberqi et al. [1] for existence results in complete manifolds, Albalawi et al. [2] for convection problems with (\(p(\cdot ), q(\cdot )\))-Laplace type problems, Bahrouni et al. [3] for double phase problems of Baouendi-Grushin type operator, Crespo et al. [13] for double phase convection problems, Ho and Winkert [30] for Kirchhoff problems, Kim et al. [31] for concave-convex-type double-phase problems, Leonardi and Papageorgiou [32] for concave-convex problems, Zeng et al. [50] for multivalued problems and Vetro and Winkert [47] for multiplicity results under very general growth conditions, see also the references therein. It is also worth mentioning the very recent contribution by Ho and Winkert [29] in which they provide an optimal embedding among a certain family of functions and a result about boundedness of the solutions.
The objective of this work is to prove multiplicity results for problem (1.1), where the right-hand side term (possibly nonlinear) is supposed to have a (\(q_+ -1\))-superlinear growth at \(\pm \infty \). The treatment is inspired by the paper by Gasiński and Winkert [25] on the constant exponents case, and it is interesting to see which are the requirements on the variable exponents to be able to generalize the results. Due to the lack of regularity results for problem (1.1), several tools which are usually applied in the theory of multiplicity results based on the regularity results of Lieberman [34] and Pucci and Serrin [43], cannot be used in our treatment. Instead we will make use of the mountain pass theorem together with the so-called Nehari manifold, whose definition is motivated by the works of Nehari [37, 38]. Further explanations about this method can be found in Sect. 5.
We also point out that we do not need to suppose conditions like
as it was used in the Nehari manifold treatments of Gasiński and Papageorgiou [22], Liu and Dai [33], Gasiński and Winkert [25] in the constant exponent case. This is due to the fact that the existence of the equivalent norm \(\Vert \nabla \cdot \Vert _{\mathcal {H}}\) in \(W^{1, \mathcal {H}}(\Omega )\) can be proved without supposing (1.2), see the paper of Crespo et al. [13, Proposition 2.19].
The structure of the paper is the following. In Sect. 2 we recall already known properties of the variable exponent spaces \(L^{p(\cdot )}(\Omega )\) and of the Musielak-Orlicz Sobolev space \(W^{1, \mathcal {H}}(\Omega )\) compatible with the variable exponents double phase operator, among other technical tools that will be used later. In Sect. 3 we prove a priori bounds for weak solutions for a class of problems more general than (1.1) exploiting the very recent result by Ho and Winkert [29, Theorem 4.2]. In Sect. 4 we introduce the assumptions on the right-hand side f that will be used during the rest of the paper and we prove the existence of a positive and a negative weak solution via the mountain pass theorem applied to functionals truncated at zero. After this, in Sect. 5 we prove the existence of another solution, which turns out to be sign-changing, by solving a minimization problem on a modified version of the Nehari manifold and with the help of the quantitative deformation lemma. Finally, in Sect. 6, we provide further information on the nodal domains of the sign-changing solution.
2 Preliminaries
In this section we will present the main properties of the Musielak-Orlicz spaces \(L^{{\mathcal {H}}}(\Omega )\), \(W^{1, \mathcal {H}}(\Omega )\) and \(W^{1, \mathcal {H}}_0(\Omega )\), together with other relevant results. We denote by \(L^{r}(\Omega )\) and \(L^r(\Omega ;\mathbb {R}^N)\) the usual Lebesgue spaces endowed with the norm \(\Vert \cdot \Vert _r\) for \(1\le r \le \infty \) and by \(W^{1,r}(\Omega )\) and \(W^{1,r}_0(\Omega )\) we identify the corresponding Sobolev spaces equipped with the norms \(\Vert \cdot \Vert _{1,r}\) and \(\Vert \cdot \Vert _{1,r,0}\), respectively, for \(1 \le r<\infty \).
First, we present the relevant properties for the variable exponent Lebesgue and Sobolev spaces. For any \(r\in C(\overline{\Omega })\) we define
and we also introduce the space
Let \(r \in C_+(\overline{\Omega })\) and let \(M(\Omega )\) be the set of all measurable functions \(u:\Omega \rightarrow \mathbb {R}\). We denote by \(L^{r(\cdot )}(\Omega )\) the Lebesgue space with variable exponent, that is
whose modular is given by
and which is endowed with its corresponding Luxemburg norm
The properties of these spaces have been extensively studied in the literature, see for example the book by Diening-Harjulehto-Hästö-R\(\mathring{\text {u}}\)žička [16]. The space \(L^{r(\cdot )}(\Omega )\) endowed with \(\Vert \cdot \Vert _{r(\cdot )}\) is a separable and reflexive Banach space. The conjugate variable exponent to r is defined by \(r' \in C_+(\overline{\Omega })\) such that
It holds that \(L^{r(\cdot )}(\Omega )^*=L^{r'(\cdot )}(\Omega )\) and a weaker version of the Hölder’s inequality holds, given by
see Diening-Harjulehto-Hästö-R\(\mathring{\text {u}}\)žička [16, Lemma 3.2.20].
Furthermore, if \(r_1, r_2\in C_+(\overline{\Omega })\) and \(r_1(x) \le r_2(x)\) for all \(x\in \overline{\Omega }\), then we have the continuous embedding
see Diening et al. [16, Theorem 3.3.1]
Similarly, one can define the variable exponents spaces with weights: given any \(\omega \in L^{1}(\Omega )\), \(\omega \ge 0\), we define the modular
accordingly, we define the space
endowed with the corresponding Luxemburg norm
The corresponding variable exponent Sobolev spaces can be defined analogously to the usual way using the variable exponent Lebesgue spaces. A nice introduction to them can be also found in the book by Diening et al. [16]. For \(r \in C_+(\overline{\Omega })\) the variable exponent Sobolev space \(W^{1,r(\cdot )}(\Omega )\) is defined by
and it is equipped with the norm
where \(\Vert \nabla u\Vert _{r(\cdot )}= \Vert \,|\nabla u|\,\Vert _{r(\cdot )}\). Moreover, we define
The spaces \(W^{1,r(\cdot )}(\Omega )\) and \(W^{1,r(\cdot )}_0(\Omega )\) are both separable and reflexive Banach spaces, in fact they both possess an equivalent, uniformly convex norm.
A Poincaré inequality of the norms holds in the space \(W^{1,r(\cdot )}_0(\Omega )\). One way to see this is the paper by Fan et al. [17, Theorem 1.3], together with the standard way to derive the Poincaré inequality from the compact embedding, see for example the paper by Crespo et al. [13, Proposition 2.18 (ii)].
Proposition 2.1
Let \(p \in C_+(\overline{\Omega })\), then there exists \(c_0>0\) such that
Thus, we can define the equivalent norm on \(W^{1,r(\cdot )}_0(\Omega )\)
Alternatively, assuming an additional monotonicity condition on p, we also have a Poincaré inequality for the modular, see the paper by Fan et al. [18, Theorem 3.3].
Proposition 2.2
Let \(p \in C_+(\overline{\Omega })\) be such that there exists a vector \(l \in \mathbb {R}^N {\setminus } \{ 0 \}\) with the property that for all \(x \in \Omega \) the function
is monotone (either increasing or decreasing). Then there exits a constant \(C>0\) such that
where \(\varrho _{p(\cdot )} (\nabla u) = \varrho _{p(\cdot )} ( | \nabla u | )\).
Moreover, we denote by \(C^{0, \frac{1}{|\log t|}}(\overline{\Omega })\) the set of all functions \(h:\overline{\Omega }\rightarrow \mathbb {R}\) that are log-Hölder continuous, that is, there exists \(C>0\) such that
For \(r \in C_+(\overline{\Omega })\) we introduce the critical Sobolev variable exponents \(r^*\) and \(r_*\) defined by
and
where \(\ell _1, \ell _2 \in C(\overline{\Omega })\) are arbitrary functions that satisfy \(r(x)<\ell _1(x)\) and \(r(x)<\ell _2(x)\) for all \(x \in \overline{\Omega }\).
We also have Sobolev-type embeddings for the variable exponent Sobolev spaces. The following can be found in Crespo et al. [13, Propositions 2.1 and 2.2] or Ho et al. [28, Proposition 2.4 and 2.5].
Proposition 2.3
Let \(r\in C^{0, \frac{1}{|\log t|}}(\overline{\Omega }) \cap C_+(\overline{\Omega })\) and let \(s\in C(\overline{\Omega })\) be such that \(1\le s(x)\le r^*(x)\) for all \(x\in \overline{\Omega }\). Then, we have the continuous embedding
If \(r\in C_+(\overline{\Omega })\), \(s\in C(\overline{\Omega })\) and \(1\le s(x)< r^*(x)\) for all \(x\in {\overline{\Omega }}\), then this embedding is compact.
Proposition 2.4
Suppose that \(r\in C_+(\overline{\Omega })\cap W^{1,\gamma }(\Omega )\) for some \(\gamma >N\). Let \(s\in C(\overline{\Omega })\) be such that \(1\le s(x)\le r_*(x)\) for all \(x\in \overline{\Omega }\). Then, we have the continuous embedding
If \(r\in C_+(\overline{\Omega })\), \(s\in C(\overline{\Omega })\) and \(1\le s(x)< r_*(x)\) for all \(x\in {\overline{\Omega }}\), then the embedding is compact.
Finally, we recall the relation between the norm and the related modular function, the result is from the paper of Fan and Zhao [19, Theorems 1.2 and 1.3].
Proposition 2.5
Let \(r\in C_+(\overline{\Omega })\) and \(u\in L^{r(\cdot )}(\Omega )\).
-
(i)
If \(u\ne 0\), then \(\Vert u\Vert _{r(\cdot )}=\lambda \) if and only if \(\varrho _{r(\cdot )}\left( \frac{u}{\lambda }\right) =1\);
-
(ii)
\(\Vert u\Vert _{r(\cdot )}<1\) (resp. \(=1\), \(>1\)) if and only if \(\varrho _{r(\cdot )}(u)<1\) (resp. \(=1\), \(>1\));
-
(iii)
if \(\Vert u\Vert _{r(\cdot )}<1\), then \(\Vert u\Vert _{r(\cdot )}^{r_+} \le \varrho _{r(\cdot )}(u) \le \Vert u\Vert _{r(\cdot )}^{r_-}\);
-
(iv)
if \(\Vert u\Vert _{r(\cdot )}>1\), then \(\Vert u\Vert _{r(\cdot )}^{r_-} \le \varrho _{r(\cdot )}(u) \le \Vert u\Vert _{r(\cdot )}^{r_+}\);
-
(v)
\(\Vert u\Vert _{r(\cdot )} \rightarrow 0\) if and only if \(\varrho _{r(\cdot )}(u)\rightarrow 0\);
-
(vi)
\(\Vert u\Vert _{r(\cdot )}\rightarrow +\infty \) if and only if \(\varrho _{r(\cdot )}(u)\rightarrow +\infty \).
Now we introduce the definition and main properties of the Musielak-Orlicz functional space that we will use to study our equations. For the proofs and the rest of the details we refer to the paper of Crespo et al. [13, Section 2]. To this end, let \({\mathcal {H}} :\Omega \times [0,\infty ) \rightarrow [0,\infty )\) be defined as
where we take similar (but weaker) assumptions as in (H1), i.e., we suppose the following:
-
(H2)
\(p,q\in C_+(\overline{\Omega })\) such that \(1<p(x)<N\) and \(p(x)< q(x) < p^*(x)\) for all \(x\in \overline{\Omega }\), and \(0 \le \mu (\cdot ) \in L^{\infty }(\Omega )\).
It is known that \( {\mathcal {H}}\) is a locally integrable, generalized N-function which satisfies the \(\Delta _2\)-condition, that is,
and also that
The corresponding modular of \({\mathcal {H}}\) is given by
its corresponding Musielak-Orlicz space \(L^{{\mathcal {H}}}(\Omega )\) is
and it is endowed with the norm
This norm is uniformly convex and the space \(L^{{\mathcal {H}}}(\Omega )\) is separable and reflexive and satisfies the Radon-Riesz property with respect to the modular \(\rho _{{\mathcal {H}}}\). It has the following relations with the modular and embeddings, see the paper by Crespo et al. [13, Proposition 2.13].
Proposition 2.6
Under hypothesis (H2), the following statements hold.
-
(i)
If \(u\ne 0\), then \(\Vert u\Vert _{{\mathcal {H}}}=\lambda \) if and only if \( \rho _{{\mathcal {H}}}(\frac{u}{\lambda })=1\);
-
(ii)
\(\Vert u\Vert _{{\mathcal {H}}}<1\) (resp. \(>1\), \(=1\)) if and only if \( \rho _{{\mathcal {H}}}(u)<1\) (resp. \(>1\), \(=1\));
-
(iii)
if \(\Vert u\Vert _{{\mathcal {H}}}<1\), then \(\Vert u\Vert _{{\mathcal {H}}}^{q_+}\leqslant \rho _{{\mathcal {H}}}(u)\leqslant \Vert u\Vert _{{\mathcal {H}}}^{p_-}\);
-
(iv)
if \(\Vert u\Vert _{{\mathcal {H}}}>1\), then \(\Vert u\Vert _{{\mathcal {H}}}^{p_-}\leqslant \rho _{{\mathcal {H}}}(u)\leqslant \Vert u\Vert _{{\mathcal {H}}}^{q_+}\);
-
(v)
\(\Vert u\Vert _{{\mathcal {H}}}\rightarrow 0\) if and only if \( \rho _{{\mathcal {H}}}(u)\rightarrow 0\);
-
(vi)
\(\Vert u\Vert _{{\mathcal {H}}}\rightarrow +\infty \) if and only if \( \rho _{{\mathcal {H}}}(u)\rightarrow +\infty \);
-
(vii)
\(L^{q(\cdot )}(\Omega ) \hookrightarrow L^{{\mathcal {H}}}(\Omega ) \hookrightarrow L^{p(\cdot )}(\Omega ) \cap L^{q(\cdot )}_\mu (\Omega )\),
where \(L^{q(\cdot )}_\mu (\Omega )\) is the seminormed space with exponent \(q(\cdot )\) and weight \(\mu \).
In the usual way we can also introduce the corresponding Sobolev spaces
equipped with the norm
where as above \(\Vert \nabla u\Vert _{\mathcal {H}}=\Vert \, |\nabla u| \,\Vert _{\mathcal {H}}\). These spaces are also separable and reflexive, they have an equivalent, uniformly convex norm given by the Luxemburg norm \(\Vert \cdot \Vert _{{\hat{\rho }}_{\mathcal {H}}}\) induced by the modular
and they also satisfy the Radon-Riesz property with respect to this modular. Furthermore, \(\Vert \cdot \Vert _{{\hat{\rho }}_{\mathcal {H}}}\) and \({\hat{\rho }}_{\mathcal {H}}\) satisfy the same relations (i)-(vi) as \(\rho _{{\mathcal {H}}}\) and \(\Vert \cdot \Vert _{{\mathcal {H}}}\). Combining the embeddings of variable exponent Lebesgue spaces and \(L^{{\mathcal {H}}}(\Omega )\) we have the following Sobolev-type embeddings, see the paper by Crespo et al. [13, Proposition 2.16].
Proposition 2.7
Under hypothesis (H2), the following embeddings hold.
-
(i)
\(L^{{\mathcal {H}}}(\Omega ) \hookrightarrow L^{r(\cdot )}(\Omega )\), \(W^{1, \mathcal {H}}(\Omega )\hookrightarrow W^{1,r(\cdot )}(\Omega )\) and \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow W^{1,r(\cdot )}_0(\Omega )\) are continuous for all \(r \in C(\overline{\Omega })\) with \(1 \leqslant r(x) \leqslant p(x)\) for all \(x \in \overline{\Omega }\);
-
(ii)
If \(p \in C_+(\overline{\Omega }) \cap C^{0, \frac{1}{|\log t|}}(\overline{\Omega })\), then \(W^{1,{\mathcal {H}}}(\Omega ) \hookrightarrow L^{r(\cdot )}(\Omega )\) and \(W^{1,{\mathcal {H}}}_0(\Omega ) \hookrightarrow L^{r(\cdot )}(\Omega )\) are continuous for \(r \in C(\overline{\Omega })\) with \( 1 \le r(x) \le p^*(x)\) for all \(x\in \overline{\Omega }\);
-
(iii)
\(W^{1,{\mathcal {H}}}(\Omega ) \hookrightarrow L^{r(\cdot )}(\Omega )\) and \(W^{1,{\mathcal {H}}}_0(\Omega ) \hookrightarrow L^{r(\cdot )}(\Omega )\) are compact for \(r \in C(\overline{\Omega }) \) with \( 1 \le r(x) < p^*(x)\) for all \(x\in \overline{\Omega }\);
-
(iv)
if \(p \in C_+(\overline{\Omega }) \cap W^{1,\gamma }(\Omega )\) for some \(\gamma >N\), then \(W^{1,{\mathcal {H}}}(\Omega ) \hookrightarrow L^{r(\cdot )}(\partial \Omega )\) and \(W^{1,{\mathcal {H}}}_0(\Omega ) \hookrightarrow L^{r(\cdot )}(\partial \Omega )\) are continuous for \(r \in C(\overline{\Omega })\) with \( 1 \le r(x) \le p_*(x)\) for all \(x\in \overline{\Omega }\);
-
(v)
\(W^{1,{\mathcal {H}}}(\Omega ) \hookrightarrow L^{r(\cdot )}(\partial \Omega )\) and \(W^{1,{\mathcal {H}}}_0(\Omega ) \hookrightarrow L^{r(\cdot )}(\partial \Omega )\) are compact for \(r \in C(\overline{\Omega }) \) with \( 1 \le r(x) < p_*(x)\) for all \(x\in \overline{\Omega }\);
-
(vi)
\(W^{1,{\mathcal {H}}}(\Omega ) \hookrightarrow L^{{\mathcal {H}}}(\Omega )\) is compact.
For \(s \in \mathbb {R}\) let \(s^+ = \max \{ s, 0 \}\) and \(s^- = \max \{ -s, 0 \}\), hence \(s = s^+ - s^-\) and \(|s| = s^+ + s^-\). It holds that \(W^{1,{\mathcal {H}}}(\Omega )\) and \(W^{1,{\mathcal {H}}}_0(\Omega )\) are closed under truncations, maxima and minima, see the paper by Crespo et al. [13, Proposition 2.17].
Proposition 2.8
Under hypothesis (H2), the following statements hold.
-
(i)
If \(u \in W^{1, \mathcal {H}}(\Omega )\), then \(u^\pm \in W^{1, \mathcal {H}}(\Omega )\).
-
(ii)
If \(u \in W^{1, \mathcal {H}}_0(\Omega )\), then \(u^\pm \in W^{1, \mathcal {H}}_0(\Omega )\).
On the other hand, in \(W^{1,{\mathcal {H}}}_0(\Omega )\) we have a Poincaré inequality, see the paper by Crespo et al. [13, Proposition 2.18].
Proposition 2.9
Let (H2) be satisfied. Then there exists a constant \(C>0\) such that
This allows us to define the equivalent norm
which is also uniformly convex and satisfies the Radon-Riesz property with respect to \(\rho _{{\mathcal {H}}} ( \nabla \cdot )\), see the paper by Crespo et al. [13, Proposition 2.19].
Lastly, we discuss the properties of the double phase operator defined in the aforementioned space. Let \(A:W^{1, \mathcal {H}}_0(\Omega )\rightarrow W^{1, \mathcal {H}}_0(\Omega )^*\) be the nonlinear mapping defined by
with \(\langle \,\cdot ,\,\cdot \,\rangle _{{\mathcal {H}}}\) being the duality pairing between \(W^{1, \mathcal {H}}_0(\Omega )\) and its dual space \(W^{1, \mathcal {H}}_0(\Omega )^*\). The properties of the operator \(A:W^{1, \mathcal {H}}_0(\Omega )\rightarrow W^{1, \mathcal {H}}_0(\Omega )^*\) are summarized in the next proposition, which can be found in the paper by Crespo et al. [13, Proposition 2.18].
Proposition 2.10
Under hypothesis (H2), the operator A is bounded (that is, it maps bounded sets into bounded sets), continuous, strictly monotone (hence maximal monotone), of type \(({{\,\textrm{S}\,}}_+)\), coercive and a homeomorphism.
The last two ingredients of the preliminaries of this paper are the mountain pass theorem and the quantitative deformation lemma. Let X be a Banach space, we say that a functional \(\varphi : X \rightarrow \mathbb {R}\) satisfies the Cerami condition or C-condition if for every sequence \(\{u_n\}_{n \in \mathbb {N}} \subseteq X\) such that \(\{ \varphi (u_n) \}_{n \in \mathbb {N}} \subseteqq \mathbb {R}\) is bounded and it also satisfies
then it contains a strongly convergent subsequence. Furthermore, we say that it satisfies the Cerami condition at the level \(c \in \mathbb {R}\) or the C\(_c\)-condition if it holds for all the sequences such that \(\varphi (u_n) \rightarrow c\) as \(n \rightarrow \infty \) instead of for all the bounded sequences. The proof of the following mountain pass theorem can be found in the book by Papageorgiou et al. [39, Theorem 5.4.6].
Theorem 2.11
(Mountain pass theorem). Let X be a Banach space, and let \(\varphi \in C^1(X)\). We assume that \(\varphi \) satisfies the following properties:
-
There exist \(u_0, u_1 \in X\) with \(\Vert u_1 - u_0 \Vert> \delta > 0\), such that
$$\begin{aligned} \max \{\varphi (u_0), \varphi (u_1)\}&\le \inf \{\varphi (u) : \Vert u - u_0 \Vert = \delta \} = m_\delta ; \end{aligned}$$ -
\(\varphi \) satisfies the C\(_c\)-condition, where
$$\begin{aligned} c = \inf _{ \gamma \in \Gamma } \max _{ 0 \le t \le 1} \varphi (\gamma (t)) \text { with } \Gamma&= \{\gamma \in C([0, 1], X) : \gamma (0) = u_0, \gamma (1) = u_1\}. \end{aligned}$$
Then \(c \ge m_\delta \) and c is a critical value of \(\varphi \). Moreover, if \(c = m_\delta \), then there exists \(u \in \partial B_\delta (u_0)\) such that \(\varphi '(u) = 0\).
Finally, we present here the quantitative deformation lemma. The following version and its proof can be found in the book by Willem [48, Lemma 2.3].
Lemma 2.12
(Quantitative deformation lemma). Let X be a Banach space, \(\varphi \in C^1(X;\mathbb {R})\), \(\emptyset \ne S \subseteq X\), \(c \in \mathbb {R}\), \(\varepsilon ,\delta > 0\) such that for all \(u \in \varphi ^{-1}([c - 2\varepsilon , c + 2\varepsilon ]) \cap S_{2 \delta }\) it holds that \(\Vert \varphi '(u) \Vert _* \ge 8\varepsilon / \delta \), where \(S_{r} = \{ u \in X: d(u,S) = \inf _{u_0 \in S} \Vert u - u_0 \Vert < r \}\) for any \(r > 0\). Then there exists \(\eta \in C([0, 1] \times X; X)\) such that
-
(i)
\(\eta (t, u) = u\), if \(t = 0\) or if \(u \notin \varphi ^{-1}([c - 2\varepsilon , c + 2\varepsilon ]) \cap S_{2 \delta }\),
-
(ii)
\(\varphi ( \eta ( 1, u ) ) \le c - \varepsilon \) for all \(u \in \varphi ^{-1} ( ( - \infty , c + \varepsilon ] ) \cap S \),
-
(iii)
\(\eta (t, \cdot )\) is an homeomorphism of X for all \(t \in [0,1]\),
-
(iv)
\(\Vert \eta (t, u) - u \Vert \le \delta \) for all \(u \in X\) and \(t \in [0,1]\),
-
(v)
\(\varphi ( \eta ( \cdot , u))\) is decreasing for all \(u \in X\),
-
(vi)
\(\varphi (\eta (t, u)) < c\) for all \(u \in \varphi ^{-1} ( ( - \infty , c] ) \cap S_\delta \) and \(t \in (0, 1]\).
3 Boundedness of solutions
In this section we are going to prove that weak solutions of generalized double phase type problems are bounded. This class is much more general than in (1.1), for example, the operator is not restricted to be the variable exponent double phase operator and the right-hand side can depend on the gradient, what is usually called convection term. We assume the following.
-
(H3)
Let \({\mathcal {A}} :\Omega \times \mathbb {R}\times \mathbb {R}^N \rightarrow \mathbb {R}^N\) and \({\mathcal {B}} :\Omega \times \mathbb {R}\times \mathbb {R}^N \rightarrow \mathbb {R}\) be Carathéodory functions, i.e. \((t,\xi ) \mapsto {\mathcal {A}}(x,t,\xi )\) is continuous for almost all \(x \in \Omega \) and \(x \mapsto {\mathcal {A}}(x,t,\xi )\) is measurable for all \((t,\xi ) \in \mathbb {R}\times \mathbb {R}^N\); and analogous conditions for \({\mathcal {B}}\). Assume that there exist constants \(\alpha _1, \alpha _2, \alpha _3, \beta > 0\) and \(r \in C_+(\overline{\Omega })\) with \(p(x)< r(x) < p^*(x)\) for all \(x \in \overline{\Omega }\) such that
$$\begin{aligned} \left| {{\mathcal {A}}(x,t,\xi )}\right|&\le \alpha _1 \left[ \left| {t}\right| ^{\frac{r(x)}{p'(x)}} + \left| {\xi }\right| ^{p(x)-1} + \mu (x) \left| {\xi }\right| ^{q(x)-1} + 1 \right] , \\ {\mathcal {A}}(x,t,\xi ) \cdot \xi&\ge \alpha _2 \left[ \left| {\xi }\right| ^{p(x)} + \mu (x) \left| {\xi }\right| ^{q(x)} \right] - \alpha _3 \left[ \left| {t}\right| ^{r(x)} + 1 \right] , \\ \left| {{\mathcal {B}}(x,t,\xi )}\right|&\le \beta \left[ \left| {\xi }\right| ^{\frac{p(x)}{r'(x)}} + \left| {t}\right| ^{r(x) - 1} + 1 \right] , \end{aligned}$$for a. a. \(x \in \Omega \) and for all \((t,\xi ) \in \mathbb {R}\times \mathbb {R}^N\).
We consider the problem
and we say that \(u \in W^{1, \mathcal {H}}_0(\Omega )\) is a weak solution of (3.1) if for all \(v \in W^{1, \mathcal {H}}_0(\Omega )\) it holds that
Based on the very recent result of Ho and Winkert [29, Theorem 4.2] we can prove the following result about boundedness of weak solutions of (3.1).
Theorem 3.1
Let hypotheses (H2) and (H3) be satisfied and let \(u \in W^{1, \mathcal {H}}_0(\Omega )\) be a weak solution of problem (3.1). Then, \(u \in L^{\infty }(\Omega )\) and there exist \(C, \tau _1, \tau _2 >0\) independent of u such that
Proof
For the proof of this result we follow very closely the proof of [29, Theorem 4.2] with the following changes.
First, take
instead of the definitions given there. Then the Step 1 works exactly the same except for (4.9), which does not hold now.
Later, take
skip the \(\psi _\star \) parts and then use the embedding
instead of the ones in the original proof. As a result, one can choose
which is why we do not need (4.9) now unlike in the original proof. The rest of Step 2 is identical. Step 3 is exactly the same without any changes. \(\square \)
Remark 3.2
Note that our boundedness result holds true with the weaker assumptions on the exponents given in (H2) instead of the much stronger assumptions needed in [29, Theorem 4.2]. This is because in our simpler setting, we can use the embedding (3.2) instead of the stronger and sharper embeddings they use there (see (4.18) and (4.19)) and for which they need the mentioned stronger assumptions on the exponents.
4 Constant sign solutions
In the present section we are going to prove the existence of constant sign solutions of (1.1) by applying the mountain pass theorem to appropriately truncated energy functionals. For this purpose, we assume some of the following hypotheses on the right-hand side function f. We include extra assumptions that will not be used in this section, but in future ones for ulterior purposes.
- (H\(_{\textrm{f}}\)):
-
Let \(f :\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) and \(F(x,t) = \int _{0}^{t} f(x,s) {{\,\mathrm{d\textit{s}}\,}}\).
- (f\(_{1}\)):
-
The function f is Carathéodory, i.e. \(t \mapsto f(x,t)\) is continuous for almost all \(x \in \Omega \) and \(x \mapsto f(x,t)\) is measurable for all \(t \in \mathbb {R}\).
- (f\(_{2}\)):
-
There exists \(r \in C_+(\overline{\Omega })\) with \(r_+ < p^*_-\) and \(C>0\) such that
$$\begin{aligned} \left| {f(x,t)}\right| \le C \left( 1 + \left| {t}\right| ^{r(x)-1} \right) \quad \text {for a.}\,\text {a.}\, x \in \Omega \text { and for all } t \in \mathbb {R}. \end{aligned}$$ - (f\(_{3}\)):
-
$$\begin{aligned} \lim \limits _{s \rightarrow \pm \infty } \frac{F(x,s)}{\left| {s}\right| ^{q_+}} = + \infty \quad \text {uniformly for a.}\,\text {a.}\, x \in \Omega . \end{aligned}$$
- (f\(_{4}\)):
-
$$\begin{aligned} \lim \limits _{s \rightarrow 0} \frac{F(x,s)}{\left| {s}\right| ^{p(x)}} = 0 \quad \text {uniformly for a.}\,\text {a.}\, x \in \Omega . \end{aligned}$$
- (f\(_{5}\)):
-
There exists \(l, {\widetilde{l}} \in C_+(\overline{\Omega })\) such that \(\min \{l_-, {\widetilde{l}}_- \} \in \left( (r_+ - p_-) \frac{N}{p_-}, r_+ \right) \) and \(K > 0\) with
$$\begin{aligned} 0< K \le \liminf _{s \rightarrow + \infty } \frac{f(x,s)s - q_+ F(x,s)}{\left| {s}\right| ^{l(x)}} \quad \text {uniformly for a.}\,\text {a.}\, x \in \Omega , \\ 0 < K \le \liminf _{s \rightarrow - \infty } \frac{f(x,s)s - q_+ F(x,s)}{\left| {s}\right| ^{{\widetilde{l}}(x)}} \quad \text {uniformly for a.}\,\text {a.}\, x \in \Omega . \end{aligned}$$ - (f\(_{6}\)):
-
The function \(t \mapsto f(x,t)/\left| {t}\right| ^{q_+-1}\) is increasing in \((- \infty , 0)\) and in \((0, + \infty )\) for a. a. \(x \in \Omega \),
- (f\(_{7}\)):
-
\(f(x,t)t - q_+F(x,t) \ge 0\) for all \(t \in \mathbb {R}\) and a. a. \(x \in \Omega \).
Remark 4.1
Note that (f\(_{\textrm{3}}\)) and (f\(_{\textrm{4}}\)) are weaker than the corresponding assumptions using f instead of F. Also note that in (f\(_{\textrm{3}}\)) using as exponent \(q_+\) is stronger than using q(x) as exponent, and this is stronger that using \(q_-\) as exponent. The analogous statement holds for (f\(_{\textrm{4}}\)).
Remark 4.2
The condition on \(l_-\) of (f\(_{\textrm{5}}\)) is always well defined since
Note that this is the precise condition that is needed for the interpolation argument in the Claim of Proposition 4.8. Other works using similar techniques usually only impose that the exponent l is upper bounded by \(p_-^*\) (or the corresponding growth exponent of the operator in that work), but a sharper bound with \(r_+\) is actually needed. On the other hand, the advantage of the variable exponent setting is that this sharper upper bound is only needed for \(l_-\) and not for the whole exponent l. Furthermore, one can choose different exponents l and \({\widetilde{l}}\) for going to \(\pm \infty \).
Example 4.3
Consider the function
where \(r_1, r_2, a \in C(\overline{\Omega })\), \(q_+ \le a(x)\) and \(q_+ \le r_1(x), r_2(x) < p^*_-\) for all \(x \in \overline{\Omega }\), and they satisfy
Then f satisfies all the assumptions above. For (f\(_{\textrm{2}}\)) take \(r(x) = \max \{ r_1(x), r_2(x) \} + \varepsilon \) for all \(x \in \overline{\Omega }\), with \(\varepsilon > 0\) small enough so that \(r_+ < p_-^*\) and
For (f\(_{\textrm{5}}\)), take \({\widetilde{l}}(x) = r_1(x)\), \(l(x) = r_2(x)\) for all \(x \in \overline{\Omega }\). This is the reason for the assumption on \((r_1)_\pm \) and \((r_2)_\pm \). Observe that if we take \(r_1 = r_2 = r\) constant, the condition is equivalent to \(r < p^*_-\), hence redundant in that case.
The following properties follow from these assumptions.
Lemma 4.4
Let \(f :\Omega \times \mathbb {R}\rightarrow \mathbb {R}\), the following implications hold.
-
(i)
If f fulfills (f\(_{\textrm{1}}\)) and (f\(_{\textrm{4}}\)), then \(f(x,0) = 0\) for a. a. \(x \in \Omega \).
-
(ii)
If f fulfills (f\(_{\textrm{2}}\)) and (f\(_{\textrm{3}}\)), then \(q_+ < r_-\).Footnote 1
-
(iii)
If f fulfills (f\(_{\textrm{2}}\)) and (f\(_{\textrm{3}}\)), then there exist some \(M>0\) such that
$$\begin{aligned} F(x,t) > - M \quad \text {for a.}\,\text {a.}\, x \in \Omega \text { and for all } t \in \mathbb {R}. \end{aligned}$$ -
(iv)
If f fulfills (f\(_{\textrm{2}}\)) and (f\(_{\textrm{4}}\)), then for each \(\varepsilon > 0\) there exists \(C_\varepsilon > 0\) such that
$$\begin{aligned} \left| {F(x,t)}\right| \le \frac{\varepsilon }{p(x)} \left| {t}\right| ^{p(x)} + C_\varepsilon \left| {t}\right| ^{r(x)} \quad \text {for a.}\,\text {a.}\, x \in \Omega \text { and for all } t \in \mathbb {R}. \end{aligned}$$ -
(v)
If f fulfills (f\(_{\textrm{2}}\)) and (f\(_{\textrm{3}}\)), then for each \(\varepsilon > 0\) there exists \(C_\varepsilon > 0\) such that
$$\begin{aligned} F(x,t) \ge \frac{\varepsilon }{q_+} \left| {t}\right| ^{q_+} - C_\varepsilon \quad \text {for a.}\,\text {a.}\, x \in \Omega \text { and for all } t \in \mathbb {R}. \end{aligned}$$ -
(vi)
If f fulfills (f\(_{\textrm{1}}\)) and (f\(_{\textrm{2}}\)), then the functional \(I_f :W^{1, \mathcal {H}}_0(\Omega )\rightarrow \mathbb {R}\) given by
$$\begin{aligned} I_f(u) = \int \limits _{\Omega }F(x,u) {{\,\mathrm{d\textit{x}}\,}}\end{aligned}$$and its derivative \(I_f ' :W^{1, \mathcal {H}}_0(\Omega )\rightarrow W^{1, \mathcal {H}}_0(\Omega )^*\), given by
$$\begin{aligned} \left\langle I_f ' (u), v \right\rangle = \int \limits _{\Omega }f(x,u) v {{\,\mathrm{d\textit{x}}\,}}, \end{aligned}$$are strongly continuous, i.e. \(u_n \rightharpoonup u\) in \(W^{1, \mathcal {H}}_0(\Omega )\) implies \(I_f(u_n) \rightarrow I_f(u)\) in \(\mathbb {R}\) and \(I_f '(u_n) \rightarrow I_f ' (u)\) in \(W^{1, \mathcal {H}}_0(\Omega )^*\).
We provide no proof since these statements are either elementary or widely known.
We say that \(u \in W^{1, \mathcal {H}}_0(\Omega )\) is a weak solution of (1.1) if for all \(v \in W^{1, \mathcal {H}}_0(\Omega )\) it holds that
Another way to consider these weak solutions is to see them as critical points of the energy functional \(\varphi :W^{1, \mathcal {H}}_0(\Omega )\rightarrow \mathbb {R}\) associated to the problem (1.1), which is defined by
In order to look at constant sign solutions, we truncate the functional by zero from above and below respectively, producing the functionals
where \(F_\pm (x,u) = \int _0^u f(x, \pm s ^\pm ) {{\,\mathrm{d\textit{s}}\,}}\). Note that by Lemma 4.4 (i), this is equivalent to
The plan for the rest of the section is to verify the assumptions of the mountain pass theorem (Theorem 2.11). We start by checking the so-called “mountain pass geometry”.
Proposition 4.5
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)) and (f\(_{\textrm{4}}\)). Then there exist constants \(C_1,C_2,C_3 >0\) such that
Proof
Here only the case for \(\varphi \) will be shown. For the other two cases note in the first inequality that \(\varrho _{p(\cdot )} ( \pm u^\pm ) \le \varrho _{p(\cdot )} ( u )\) and \(\varrho _{r(\cdot )} ( \pm u^\pm ) \le \varrho _{r(\cdot )} ( u )\) and the rest of the proof is identical.
Let \(u \in W^{1, \mathcal {H}}_0(\Omega )\). By Lemma 4.4 (iv), Poincaré inequality for the modular in \(W_0^{1,p(\cdot )} (\Omega )\) with constant \(C_{p(\cdot )}\), see Proposition 2.2, the embedding of \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow L^{r(\cdot )}(\Omega )\) with constant \(C_{\mathcal {H}}\), see Proposition 2.7 (iii), and Proposition 2.5 (iii) and (iv), it follows
By picking \(0< \varepsilon < \frac{p_-(q_+-p_+)}{C_{p(\cdot )} q_+ p_+}\) and \(C_3 = 1/C_{{\mathcal {H}}}\), and by applying Proposition 2.6 (iii) and (iv) the result follows with
\(\square \)
The next result follows directly from Proposition 4.5.
Proposition 4.6
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)) with \(q_+<r_-\) and (f\(_{\textrm{4}}\)). Then there exist \(\delta >0\) such that
Moreover, there exists \(\delta ' > 0 \) such that \(\varphi (u) > 0\) for \(0< \left\| u\right\| _{1,{\mathcal {H}},0} < \delta '\).
Proposition 4.7
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)) and (f\(_{\textrm{3}}\)). Let \(0 \ne u \in W^{1, \mathcal {H}}_0(\Omega )\), then \(\varphi (tu) \xrightarrow {t \rightarrow \pm \infty } - \infty \). Furthermore, if \(u \ge 0\) a. e. in \(\Omega \), \(\varphi _\pm (tu) \xrightarrow {t \rightarrow \pm \infty } - \infty \).
Proof
First we prove the assertion for \(\varphi \). Fix \(0 \ne u \in W^{1, \mathcal {H}}_0(\Omega )\), \(\left| {t}\right| \ge 1\) and \(\varepsilon \ge 1\), by Lemma 4.4 (v) we can derive (note that \( \left\| u\right\| _{q_+} < \infty \) by the embedding \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow L^{q_+}(\Omega )\) from Proposition 2.7 (iii) and Lemma 4.4 (ii))
Choosing \( \varepsilon \) big enough such that the second term is negative it follows that \(\varphi (tu) \xrightarrow {t \rightarrow \pm \infty } - \infty \).
For the cases for \(\varphi _\pm \) one only has to note that if \(u \ge 0\) a. e. in \(\Omega \), \(\varphi _\pm (tu) = \varphi (tu)\) for \(\pm t > 0\). \(\square \)
Finally, in order to apply the mountain pass theorem, it is only left to see that the necessary compactness condition is satisfied.
Proposition 4.8
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)) and (f\(_{\textrm{5}}\)). Then the functionals \(\varphi _\pm \) satisfy the (C)-condition.
Proof
We write the proof for \(\varphi _+\), the case for \(\varphi _-\) is very similar.
Let \(\{u_n\}_{n \in \mathbb {N}} \subseteq W^{1, \mathcal {H}}_0(\Omega )\) be a sequence such that
In the following, recall that for \(v \in W^{1, \mathcal {H}}_0(\Omega )\), there holds that \(v^+ \in W^{1, \mathcal {H}}_0(\Omega )\) by Proposition 2.8. By (4.2), for all \(v \in W^{1, \mathcal {H}}_0(\Omega )\) and for a sequence \(\varepsilon _n \rightarrow 0\) as \(n \rightarrow \infty \) it holds
So for the case \(v = - u_n ^- \in W^{1, \mathcal {H}}_0(\Omega )\), as the supports of \( u_n^+\) and \(- u_n^-\) do not overlap, it follows
hence by Proposition 2.6 (v)
Claim: The sequence \(\{ u_n ^+ \}_{n\in \mathbb {N}} \subseteq W^{1, \mathcal {H}}_0(\Omega )\) is bounded.
First, from (4.1) and (4.4) it follows
and choosing \(v = u_n^+ \in W^{1, \mathcal {H}}_0(\Omega )\) in (4.3) gives
Combining these two equations yields
Now, without loss of generality, assume that \(l_- \le {\widetilde{l}}_-\). By (f\(_{\textrm{5}}\)), there exist \({\tilde{K}}, K_0 > 0\) such that
which together with the previous equation results in
By (f\(_{\textrm{2}}\)) and (f\(_{\textrm{5}}\)) we know that \(l_-< r_+ < p^*_-\), hence there exists \(t \in (0,1)\) such that
The interpolation inequality (see, for example, Papageorgiou and Winkert [41, Proposition 2.3.17]) and (4.5) yield
We may assume that \(\left\| u_n^+\right\| _{1,{\mathcal {H}},0} \ge 1\) for all \(n \in \mathbb {N}\). Testing again in (4.3) with \(v=u^+_n\) together with Proposition 2.6 (iv) and (f\(_{\textrm{2}}\)) one has
and by (4.6) and the embedding \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow W^{1,p_-}_0(\Omega ) \hookrightarrow L^{p^*_-}(\Omega )\), which is given by Proposition 2.7 (i) and classical Sobolev embeddings, we get
Hence \(\left\| u^+_n\right\| ^{p_-}_{1,{\mathcal {H}},0} \) must be bounded as by (f\(_{\textrm{5}}\)) it holds
This finishes the proof of the Claim.
From (4.4) and the Claim we know that \(\{u_n\}_{n \in \mathbb {N}}\) is bounded in \(W^{1, \mathcal {H}}_0(\Omega )\), therefore there exists \(u \in W^{1, \mathcal {H}}_0(\Omega )\) and a subsequence \(\{u_{n_k}\}_{k \in \mathbb {N}}\) such that
Furthermore, by testing (4.3) with \(v = u_{n_k} - u \in W^{1, \mathcal {H}}_0(\Omega )\), as \(\left\| u_{n_k} - u\right\| _{1,{\mathcal {H}},0} \le \left\| u_{n_k}\right\| _{1,{\mathcal {H}},0} + \left\| u\right\| _{1,{\mathcal {H}},0}\) is upper bounded uniformly in k, it follows
and by the strong continuity of Lemma 4.4 (vi) (note that \(f_+ (x,s) = f(x,s^+)\) still satisfies (f\(_{\textrm{1}}\)) and (f\(_{\textrm{2}}\)))
In conclusion we obtain
The (S\(_+\))-property of the double phase operator A from Proposition 2.10 implies that
\(\square \)
Now we are finally in the position to apply the mountain pass theorem.
Theorem 4.9
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{5}}\)). Then there exist nontrivial weak solutions of problem (1.1) \(u_0,v_0 \in W^{1, \mathcal {H}}_0(\Omega )\cap L^{\infty }(\Omega ) \) such that \(u_0 \ge 0\) and \(v_0 \le 0\) a. e. in \(\Omega \).
Proof
We can apply Theorem 2.11 to the truncated energy functionals \(\varphi _\pm \) because of Propositions 4.6, 4.7 and 4.8. Then we know that there exist \(u_0,v_0 \in W^{1, \mathcal {H}}_0(\Omega )\) such that \(\varphi _+'(u_0) = 0 = \varphi _-'(v_0)\) and
This shows \(u_0 \ne 0 \ne v_0\).
Finally, observe that if we test \(\varphi _+'(u_0) = 0\) with \(-u_0^-\) we obtain \(\rho _{{\mathcal {H}}} (- \nabla u_0^-) = 0\), which by Proposition 2.6 (i) and Proposition 2.9 implies that \(-u_0^- = 0\) a. e. in \(\Omega \), so \(u_0 = u_0^+ \ge 0\) a. e. in \(\Omega \). With an analogous argument, \(v_0 \le 0\) a. e. in \(\Omega \). The boundedness of the solutions follows from Theorem 3.1. \(\square \)
5 Sign-changing solution
In this section we will prove the existence of a solution with non-trivial positive and negative part on top of the two solutions from the previous section. This will be carried out by using the so-called Nehari manifold and we base our arguments on the ideas of the paper by Gasiński and Winkert [25]. For a broader description of the Nehari manifold method, check the book chapter by Szulkin and Weth [46].
First, note that the Nehari manifold of \(\varphi \) is the set
As the weak solutions of (1.1) are exactly the critical points of \(\varphi \), \({\mathcal {N}}\) still contains all the weak solutions of (1.1) except for possibly \(u=0\). Also note that this set might not be in general a manifold (and this will not be important in the present work), but in any case the usual name in the literature is Nehari manifold.
As we want to deal with sign-changing solutions, we will be actually more interested in the set
First, it is necessary to prove some interesting properties of \({\mathcal {N}}\) that will be useful later.
Proposition 5.1
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{6}}\)). Then for any \(u \in W^{1, \mathcal {H}}_0(\Omega )\setminus \{0\}\) there exists a unique \(t_u > 0\) such that \(t_u u \in {\mathcal {N}}\). Furthermore, \(\varphi (t_u u) > 0\), \(\frac{d}{dt} \varphi (tu) > 0\) for \(0< t < t_u\), \(\frac{d}{dt} \varphi (tu) = 0\) for \(t = t_u\), \(\frac{d}{dt} \varphi (tu) < 0\) for \(t > t_u\), and therefore \(\varphi (tu) < \varphi (t_u u)\) for all \(0 < t \ne t_u\).
Proof
Fix \(u \in W^{1, \mathcal {H}}_0(\Omega )\setminus \{0\}\) and let \(k_u :[0, \infty ) \rightarrow \mathbb {R}\) be defined by \(k_u(t) = \varphi (tu)\). From the composition of functions, \(k_u\) is \(C^1\) in \((0,\infty )\) and continuous in \([0,\infty )\). By Propositions 4.6 and 4.7 one gets that there exist \(K, \delta > 0\) such that
and clearly \(k_u(0) = 0\). By this and the extreme value theorem, there exists \(0 < t_u \le K\) such that
In particular, \(t_u\) is a local maximum in the interior of \([0,\infty )\), hence a critical point of \(k_u\) and by the chain rule we have
Thus, \(t_u u \in {\mathcal {N}}\).
It is now left to see the uniqueness of \(t_u\), the sign of the derivatives and that it is a strict maximum. First note that (f\(_{\textrm{6}}\)) for \(t > 0\) implies (as functions only depending on t)
The equation \(k_u'(t) = 0\) with \(t>0\) is a necessary condition for \(tu \in {\mathcal {N}}\). Multiplying this condition by \(1/t^{q_+ - 1}\) one gets
where, by the comment above and \(p(x) < q(x) \le q_+\) for all \(x \in \overline{\Omega }\), the integrand is strictly decreasing in the set \(\{ \nabla u \ne 0\}\) and at least decreasing outside. Hence the integral is strictly decreasing as a function of t, so there can be at most a single value for which the equation holds, i.e. there is at most a single value \(t_u \in (0, \infty )\) such that \(k_u'(t_u) = 0\). As a consequence there can be at most a single value \(t_u \in (0, \infty )\) such that \(t_u u \in {\mathcal {N}}\). On the other hand, \(k_u'(t)\) is non-vanishing with constant sign in \((0,t_u)\) and in \((t_u,\infty )\), which by (5.1) must be positive and negative, respectively. Thus \(t_u\) is a strict maximum of \(k_u\). \(\square \)
Another reason to restrict ourselves to \({\mathcal {N}}\) is that the restriction of our energy functional \(\varphi \) has better properties.
Proposition 5.2
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{6}}\)). Then the functional \(\varphi _{|_{\mathcal {N}}}\) is sequentially coercive, in the sense that for any sequence \(\{u_n\}_{n \in \mathbb {N}} \subseteq {\mathcal {N}}\) such that \(\left\| u_n\right\| _{1,{\mathcal {H}},0} \xrightarrow {n \rightarrow \infty } + \infty \) it follows that \(\varphi (u_n) \xrightarrow {n \rightarrow \infty } + \infty \).
Proof
Let \(\{u_n\}_{n \in \mathbb {N}} \subseteq {\mathcal {N}}\) be a sequence such that \(\left\| u_n\right\| _{1,{\mathcal {H}},0} \xrightarrow {n \rightarrow \infty } + \infty \) and let \(y_n = \frac{u_n}{\left\| u_n\right\| _{1,{\mathcal {H}},0}}\) for all \(n \in \mathbb {N}\). Then, by the compact embedding \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow L^{r}(\Omega )\) of Proposition 2.7 (iii), there exist a subsequence \(\{y_{n_k}\}_{k \in \mathbb {N}}\) and \(y \in W^{1, \mathcal {H}}_0(\Omega )\) such that
Claim: \(y = 0\)
Assume that \(y \ne 0\). By Proposition 2.6 (iv) and for \(k \ge k_0\) such that \(\left\| u_{n_k}\right\| _{1,{\mathcal {H}},0} \ge 1\) we obtain
Therefore, dividing by \(\left\| u_{n_k}\right\| _{1,{\mathcal {H}},0}^{q_+}\), one gets
where this limit follows from (f\(_{\textrm{3}}\)), because
and also by Fatou’s Lemma and Lemma 4.4 (iii), taking \(\Omega _0 = \{ x \in \Omega : y(x) = 0 \}\) in
However, by Proposition 5.1 we know that \(\varphi (u_n) > 0\) for all \(n \in \mathbb {N}\), so the limit above yields a contradiction. This finishes the proof of the Claim.
Now fix any \(t > 1\). As \(u_{n_k} \in {\mathcal {N}}\), Proposition 2.6 (iv) and Proposition 5.1 yield for all \(k \in \mathbb {N}\)
Furthermore, as \(t y_{n_k} \rightharpoonup 0\), by the strong continuity of the F term (see Lemma 4.4 (vi)) there exists \(k_0 \in \mathbb {N}\) such that for \(k \ge k_0\)
As the choice of \(t>1\) was arbitrary, \(\varphi (u_{n_k}) \xrightarrow {k \rightarrow \infty } + \infty \). The subsequence principle yields the result for the whole sequence, i.e. \(\varphi (u_n) \xrightarrow {n \rightarrow \infty } + \infty \). \(\square \)
Now we will make use of the properties proved in the previous results to obtain the existence of a minimizer of our energy functional \(\varphi \) restricted to \({\mathcal {N}}_0\).
Proposition 5.3
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{6}}\)). Then
Proof
Let \(u \in {\mathcal {N}}\), by Propositions 4.6 and 5.1 it follows
Hence
Also, as for each \(u \in {\mathcal {N}}_0\) it holds that \(u^+, - u ^- \in {\mathcal {N}}\), it follows that
Therefore
\(\square \)
Proposition 5.4
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{6}}\)). Then there exists \(w_0 \in {\mathcal {N}}_0\) such that \(\varphi (w_0) = \inf _{u \in {\mathcal {N}}_0} \varphi (u)\).
Proof
We will proceed by the direct method of calculus of variations. Let \(\{u_n\}_{n \in \mathbb {N}} \subseteq {\mathcal {N}}_0\) be a minimizing sequence, that is,
In the following, recall that for \(v \in W^{1, \mathcal {H}}_0(\Omega )\), we have \(v^\pm \in W^{1, \mathcal {H}}_0(\Omega )\) by Proposition 2.8. As \(\varphi (u_n) = \varphi (u_n^+) \mathop {+} \varphi (-u_n^-)\) for all \(n \in \mathbb {N}\), by Proposition 5.1 it holds that \(\varphi (\pm u_n^\pm ) > 0\) for all \(n \in \mathbb {N}\), and by the coercivity of Proposition 5.2 it follows that \(\{\pm u_n ^\pm \}_{n \in \mathbb {N}}\) are both bounded sequences in \({\mathcal {N}}\). By the compact embedding \(W^{1, \mathcal {H}}_0(\Omega )\hookrightarrow L^{r}(\Omega )\) of Proposition 2.7 (iii), there exist subsequences \(\{\pm u_{n_k} ^\pm \}_{k \in \mathbb {N}}\) and \(u_\pm \in W^{1, \mathcal {H}}_0(\Omega )\) such that
Assume that \(u_\pm = 0\). Then, as \(\pm u_{n_k} ^\pm \in {\mathcal {N}}\), we get
and by the strong continuity of the f term (see Lemma 4.4 (vi)), it follows that \(\rho _{{\mathcal {H}}}( \pm \nabla u_{n_k} ^\pm )\) \(\rightarrow 0\). From Proposition 2.6 (v) we derive that \(\pm u_{n_k} ^\pm \rightarrow 0\) in \(W^{1, \mathcal {H}}_0(\Omega )\), so
which is a contradiction. Hence \(u_+ \ne 0 \ne u_-\).
By Proposition 5.1, there exist \(t_\pm > 0\) such that \(t_\pm u_\pm \in {\mathcal {N}}\). Take \(w_0 = t_+ u_+ + t_- u_-\), by (5.2) it holds that \(\pm (w_0)^\pm = t_\pm u_\pm \) and hence \(w_0 \in {\mathcal {N}}_0\).
Finally, observe that \(\varphi \) is sequentially weakly lower semicontinuous because the mapping \(I :W^{1, \mathcal {H}}_0(\Omega )\rightarrow \mathbb {R}\) given by
is sequentially weakly lower semicontinuous (note that each addend is convex and continuous, hence each of them is sequentially weakly lower semicontinuous)
and the F term is strongly continuous by Lemma 4.4 (vi). As a consequence, together with Proposition 5.1, this gives
Hence, \(\varphi (w_0) = \inf _{u \in {\mathcal {N}}_0} \varphi (u)\). \(\square \)
Finally, the minimizer obtained in Proposition 5.4 turns out to be a critical point of \(\varphi \) as well and so it is a weak solution of problem (1.1).
Proposition 5.5
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)) and (f\(_{\textrm{6}}\)). Let \(w_0 \in {\mathcal {N}}_0\) such that \(\varphi (w_0) = \inf _{u \in {\mathcal {N}}_0} \varphi (u)\). Then \(w_0\) is a critical point of \(\varphi \).
Proof
First, two key observations for the proof.
-
(a)
By Proposition 5.1, for any \((s,t) \in [0,\infty )^2 {\setminus } \{(1,1)\}\)
$$\begin{aligned} \varphi (s w_0^+ - t w_0^-) = \varphi (s w_0^+) + \varphi (- t w_0^-) < \varphi (w_0^+) + \varphi (- w_0^-) = \varphi (w_0) = \inf _{u \in {\mathcal {N}}_0} \varphi (u). \end{aligned}$$ -
(b)
For any \(v \in W^{1, \mathcal {H}}_0(\Omega )\), as \(w_0^+ \ne 0 \ne w_0^-\)
$$\begin{aligned} \left\| w_0 - v \right\| _{1,{\mathcal {H}},0} \ge C_{{\mathcal {H}}}^{-1} \left\| w_0 - v\right\| _{p_-} \ge {\left\{ \begin{array}{ll} C_{{\mathcal {H}}}^{-1} \left\| w_0^- \right\| _{p_-}, &{} \text { if } \quad v^- = 0, \\ C_{{\mathcal {H}}}^{-1} \left\| w_0^+ \right\| _{p_-}, &{} \text { if } \quad v^+ = 0, \end{array}\right. } \end{aligned}$$where \(C_{\mathcal {H}}>0\) is the constant of the embedding \(W^{1,{\mathcal {H}}}_0(\Omega ) \hookrightarrow L^{p_-}(\Omega )\). Hence, if for
$$\begin{aligned} 0< \delta _0 < \min \left\{ C_{{\mathcal {H}}}^{-1} \left\| w_0^+\right\| _{p_-}, C_{{\mathcal {H}}}^{-1} \left\| w_0^- \right\| _{p_-} \right\} , \end{aligned}$$we have \(\left\| w_0 - v \right\| _{1,{\mathcal {H}},0} < \delta _0\), it follows that \(v^+ \ne 0 \ne v^-\).
The proof consists of arguing by contradiction using the deformation lemma (see Lemma 2.12). Assume that \(\varphi '(w_0) \ne 0\). Then there exist \(\alpha , \delta _1 > 0\) such that
Let
Consider again the mapping from (a) defined on \([0,\infty )^2 \rightarrow W^{1, \mathcal {H}}_0(\Omega )\) and given by \((s,t) \mapsto s w_0^+ - t w_0^-\), which is continuous. Hence given \(\delta > 0\), there exists \(1> \gamma > 0\) such that
Let
By (a) it follows that
With the notation of the quantitative deformation lemma (Lemma 2.12), let
From (5.3) it follows that
so all the assumptions of the lemma are fulfilled. Furthermore
Altogether, by the quantitative deformation lemma there exists a mapping \(\eta \in C ([0,1] \times W^{1, \mathcal {H}}_0(\Omega ), W^{1, \mathcal {H}}_0(\Omega ))\) such that
-
(i)
\(\eta (t, u) = u\), if \(t = 0\) or if \(u \notin \varphi ^{-1}([c - 2\varepsilon , c + 2\varepsilon ]) \cap S_{2 \delta }\),
-
(ii)
\(\varphi ( \eta ( 1, u ) ) \le c - \varepsilon \) for all \(u \in \varphi ^{-1} ( ( - \infty , c + \varepsilon ] ) \cap S \),
-
(iii)
\(\eta (t, \cdot )\) is an homeomorphism of \(W^{1, \mathcal {H}}_0(\Omega )\) for all \(t \in [0,1]\),
-
(iv)
\(\left\| \eta (t, u) - u\right\| \le \delta \) for all \(u \in W^{1, \mathcal {H}}_0(\Omega )\) and \(t \in [0,1]\),
-
(v)
\(\varphi ( \eta ( \cdot , u))\) is decreasing for all \(u \in W^{1, \mathcal {H}}_0(\Omega )\),
-
(vi)
\(\varphi (\eta (t, u)) < c\) for all \(u \in \varphi ^{-1} ( ( - \infty , c] ) \cap S_\delta \) and \(t \in (0, 1]\).
We define now \(h :[0,\infty )^2 \rightarrow W^{1, \mathcal {H}}_0(\Omega )\) given by \(h(s,t) = \eta ( 1, s w_0^+ - t w_0^-)\), which has the following properties:
-
(vii)
\(h \in C \left( [0,\infty )^2, W^{1, \mathcal {H}}_0(\Omega )\right) \),
-
(viii)
\(\varphi ( h(s,t) ) \le c - \varepsilon \) for all \((s,t) \in D\), by (ii), (a) and (5.4),
-
(ix)
\(h(s,t) = s w_0^+ - t w_0^-\) for all \((s,t) \in \partial D\), by (i) and (5.5),
-
(x)
\(h(D) \subseteq S_\delta = B(w_0, 2 \delta )\), by (iv) and (5.4).
Consider the mappings \(H_0,H_1 :(0,\infty )^2 \rightarrow \mathbb {R}^2\) defined by
As \(\varphi \) is a \(C^1\) functional and by (vii) both are continuous functions. By Proposition 5.1 we have
Let us denote by \(\deg (g,A,y)\) the Brouwer degree over \(A \subseteq \mathbb {R}^n\) open and bounded of the function \(g \in C(A,\mathbb {R}^N)\) at the value \(y \in \mathbb {R}^N \setminus g(\partial A)\). By its Cartesian product property (see Dinca and Mawhin [15, Lemma 7.1.1 and Theorem 7.1.1]) and the one-dimensional case over intervals (in the same book [15, Proposition 1.2.3]) we have
By (ix) we have \({H_0} _{|_{\partial D}} = {H_1} _{|_{\partial D}}\), so by the dependence on the boundary values of the Brouwer degree (see again the book by Dinca and Mawhin [15, Corollary 1.2.7]), it follows
which by the solution property of the Brouwer degree (in the same book [15, Corollary 1.2.5]) implies that there exists \((s_0, t_0) \in D\) such that \(H_1 (s_0, t_0) = (0,0)\), i.e.
Furthermore, by (x)
and then (b) yields
Altogether, we have that \(h(s_0, t_0) \in {\mathcal {N}}_0\), which by (viii) fulfills \(\varphi (h(s_0, t_0)) < c - \varepsilon \). This is a contradiction with \(c = \inf _{u \in {\mathcal {N}}_0} \varphi (u)\) and the proof is complete. \(\square \)
Now we can combine Theorems 3.1, 4.9 and Propositions 5.4, 5.5 to get the following result.
Theorem 5.6
Let (H1) be satisfied and f fulfill (f\(_{\textrm{1}}\)), (f\(_{\textrm{2}}\)), (f\(_{\textrm{3}}\)), (f\(_{\textrm{4}}\)), (f\(_{\textrm{5}}\)) and (f\(_{\textrm{6}}\)). Then there exist nontrivial weak solutions of problem (1.1) \(u_0,v_0,w_0 \in W^{1, \mathcal {H}}_0(\Omega )\cap L^{\infty }(\Omega )\) such that \(u_0 \ge 0\), \(v_0 \le 0\) and \(w_0\) has changing sign.
6 Nodal domains
It is possible to derive further properties of the sign-changing solution obtained in the previous section. We will deal here with the number of nodal domains, that is, the number of maximal regions where it does not change sign. The usual definition of nodal domains for \(u \in C(\Omega ,\mathbb {R})\) are the connected components of \(\Omega {\setminus } Z\), where the set \(Z = \{ x \in \Omega \,:\, u(x) = 0 \}\) is called the nodal set of u. However, since we do not know whether our solutions are continuous, this is not helpful. Thus we propose the following, alternative definition.
Let \(u \in W^{1, \mathcal {H}}_0(\Omega )\) and A be a Borelian subset of \(\Omega \) with \(|A| > 0\). We say A is a nodal domain of u if
-
(i)
\(u \ge 0\) a. e. on A or \(u \le 0\) a. e. on A;
-
(ii)
\(0 \ne u 1_A \in W^{1, \mathcal {H}}_0(\Omega )\);
-
(iii)
A is minimal w.r.t. (i) and (ii), i.e., if \(B \subseteq A\) with B being a Borelian subset of \(\Omega \), \(|B| > 0\) and B satisfies (i) and (ii), then \(|A \setminus B| = 0\).
Remark 6.1
-
(a)
The reason to assume (ii) in the previous definition is that we want to rule out vanishing sets and sets such that the weak derivative of \(u 1_A\) does not exist.
-
(b)
The relation in general between the usual definition and this one is unknown for the authors.
In order to prove the extra properties of our sign-changing solution we also need the assumption (f\(_{\textrm{7}}\)).
Proposition 6.2
Let (H1) be satisfied and f fulfill (H\(_{\textrm{f}}\)). Then, any minimizer of \(\varphi _{|_{{\mathcal {N}}_0}}\) (which by Proposition 5.5 is also a sign-changing weak solution of (1.1)) has exactly two nodal domains.
Proof
We fix any representative of \(w_0\) denoted by \(\widetilde{w_0}\) and set \(\Omega _\pm = \{ x \in \Omega : \pm \widetilde{w_0} (x) > 0 \}\). Both, \(\Omega _+\) and \(\Omega _-\), satisfy conditions (i) and (ii) in the definition above because \(w_0 1_{\Omega _\pm } = \pm \widetilde{w_0} ^\pm \) a. e. in \(\Omega \).
It remains to show that they are minimal. The proof follows arguing by contradiction. Without loss of generality, assume that there exist Borelian subsets \(A_1, A_2\) of \(\Omega \) such that they are disjoint, of positive measure, with \(\Omega _- = A_1 {\dot{\cup }} A_2\) and \(A_1\) satisfies (i) and (ii) in the definition above. As a consequence, \(A_2\) also satisfies (i) and (ii) because \(w_0 1_{A_2} = w_0 1_{\Omega _-} - w_0 1_{A_1} \in W^{1, \mathcal {H}}_0(\Omega )\) and \(w_0 1_{A_2} = \widetilde{w_0} 1_{A_2} < 0\) a. e. in \(A_2\). Hence we have
and
where \(\Omega _0 = \{ x \in \Omega : \widetilde{w_0} (x) = 0 \}\).
Take \(u = 1_{\Omega _+} w_0 + 1_{A_1} w_0\) and \(v = 1_{A_2} w_0\) and note that \(u ^+= 1_{\Omega _+} w_0\) and \(- u ^- = 1_{A_1} w_0\). As \(\varphi '(w_0) = 0\) and as the supports of \(u^+, - u^-\) and v are disjoint, it holds
thus \(u^+ \in {\mathcal {N}}\). Analogously, \(- u^- \in {\mathcal {N}}\) and hence \(u \in {\mathcal {N}}_0\). With the same argument it also holds that \(\langle \varphi '(v), v \rangle = 0\).
Finally, by these properties and condition (f\(_{\textrm{7}}\)), we get
which is a contradiction because \(p_+ < q_+\) and \(v \ne 0\). This finishes the proof. \(\square \)
Finally, combining Theorem 5.6 and Proposition 6.2, we have the following result.
Theorem 6.3
Let (H1) be satisfied and f fulfill (H\(_{\textrm{f}}\)). Then there exist nontrivial weak solutions of problem (1.1) \(u_0,v_0,w_0 \in W^{1, \mathcal {H}}_0(\Omega )\cap L^{\infty }(\Omega )\) such that
Data availability
data sharing is not applicable to this article as no new data were created or analyzed in this study.
Notes
Remember that by assumption \(q_+<p^*_-\) for all \(x \in \overline{\Omega }\), thus such \(r \in C_+(\overline{\Omega })\) satisfying \(q_+<r(x)<p^*_-\) for all \(x \in \overline{\Omega }\) can always exist.
References
Aberqi, A., Bennouna, J., Benslimane, O., Ragusa, M.A.: Existence results for double phase problem in Sobolev-Orlicz spaces with variable exponents in complete manifold. Mediterr. J. Math. 19(4), 158 (2022)
Albalawi, K.S., Alharthi, N.H., Vetro, F.: Gradient and parameter dependent Dirichlet (p(x), q(x))-Laplace type problem. Mathematics 10(8), 1336 (2022)
Bahrouni, A., Rădulescu, V.D., Winkert, P.: Double phase problems with variable growth and convection for the Baouendi-Grushin operator. Z. Angew. Math. Phys. 71(6), 183 (2020)
Baroni, P., Colombo, M., Mingione, G.: Harnack inequalities for double phase functionals. Nonlinear Anal. 121, 206–222 (2015)
Baroni, P., Colombo, M., Mingione, G.: Non-autonomous functionals, borderline cases and related function classes. St. Petersburg Math. J. 27, 347–379 (2016)
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57(2), 48 (2018)
Beck, L., Mingione, G.: Lipschitz bounds and nonuniform ellipticity. Comm. Pure Appl. Math. 73(5), 944–1034 (2020)
Beck, L., Mingione, G.: Optimal Lipschitz criteria and local estimates for non-uniformly elliptic problems, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 30(2), 223–236 (2019)
Biagi, S., Esposito, F., Vecchi, E.: Symmetry and monotonicity of singular solutions of double phase problems. J. Differ. Equ. 280, 435–463 (2021)
Colasuonno, F., Squassina, M.: Eigenvalues for double phase variational integrals. Ann. Mat. Pura Appl. 195(6), 1917–1959 (2016)
Colombo, M., Mingione, G.: Bounded minimisers of double phase variational integrals. Arch. Ration. Mech. Anal. 218(1), 219–273 (2015)
Colombo, M., Mingione, G.: Regularity for double phase variational problems. Arch. Ration. Mech. Anal. 215(2), 443–496 (2015)
Crespo-Blanco, Á., Gasiński, L., Harjulehto, P., Winkert, P.: A new class of double phase variable exponent problems: existence and uniqueness. J. Differ. Equ. 323, 182–228 (2022)
De Filippis, C., Mingione, G.: Lipschitz bounds and nonautonomous integrals. Arch. Ration. Mech. Anal. 242, 973–1057 (2021)
Dinca, G., Mawhin, J.: “Brouwer Degree”, Birkhäuser Basel, (2021)
Diening, L., Harjulehto, P., Hästö, P., R\(\mathring{\text{u}}\)žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Heidelberg (2011)
Fan, X., Shen, J., Zhao, D.: Sobolev embedding theorems for spaces \(W^{k, p(x)}(\Omega )\). J. Math. Anal. Appl. 262(2), 749–760 (2001)
Fan, X., Zhang, Q., Zhao, D.: Eigenvalues of \(p(x)\)-Laplacian Dirichlet problem. J. Math. Anal. Appl. 302(2), 306–317 (2005)
Fan, X., Zhao, D.: On the spaces \(L^{p(x)}(\Omega )\) and \(W^{m, p(x)}(\Omega )\). J. Math. Anal. Appl. 263(2), 424–446 (2001)
Farkas, C., Winkert, P.: An existence result for singular Finsler double phase problems. J. Differ. Equ. 286, 455–473 (2021)
Fiscella, A.: A double phase problem involving Hardy potentials. Appl. Math. Optim. 85(3), 45 (2022)
Gasiński, L., Papageorgiou, N.S.: Constant sign and nodal solutions for superlinear double phase problems. Adv. Calc. Var. 14(4), 613–626 (2021)
Gasiński, L., Winkert, P.: Constant sign solutions for double phase problems with superlinear nonlinearity. Nonlinear Anal. 195, 111739 (2020)
Gasiński, L., Winkert, P.: Existence and uniqueness results for double phase problems with convection term. J. Differ. Equ. 268(8), 4183–4193 (2020)
Gasiński, L., Winkert, P.: Sign changing solution for a double phase problem with nonlinear boundary condition via the Nehari manifold. J. Differ. Equ. 274, 1037–1066 (2021)
Ge, B., Pucci, P.: Quasilinear double phase problems in the whole space via perturbation methods. Adv. Differ. Equ. 27(1–2), 1–30 (2022)
Hästö, P., Ok, J.: Maximal regularity for local minimizers of non-autonomous functionals. J. Eur. Math. Soc. 24(4), 1285–1334 (2022)
Ho, K., Kim, Y.-H., Winkert, P., Zhang, C.: The boundedness and Hölder continuity of weak solutions to elliptic equations involving variable exponents and critical growth. J. Differ. Equ. 313, 503–532 (2022)
Ho, K., Winkert, P.: New embedding results for double phase problems with variable exponents and a priori bounds for corresponding generalized double phase problems, preprint, arXiv:2208.00504, (2022)
Ho, K., Winkert, P.: Infinitely many solutions to Kirchhoff double phase problems with variable exponents. Appl. Math. Lett. 145, 108783 (2023)
Kim, I.H., Kim, Y.-H., Oh, M.W., Zeng, S.: Existence and multiplicity of solutions to concave-convex-type double-phase problems with variable exponent. Nonlinear Anal. Real World Appl. 67, 103627 (2022)
Leonardi, S., Papageorgiou, N.S.: Anisotropic Dirichlet double phase problems with competing nonlinearities. Rev. Mat. Complut. 36(2), 469–490 (2023)
Liu, W., Dai, G.: Existence and multiplicity results for double phase problem. J. Differ. Equ. 265(9), 4311–4334 (2018)
Lieberman, G.M.: The natural generalization of the natural conditions of Ladyzhenskaya and Ural\(^{\prime }\) tseva for elliptic equations. Comm. Partial Differ. Equ. 16(2–3), 311–361 (1991)
Marcellini, P.: Regularity of minimizers of integrals of the calculus of variations with nonstandard growth conditions. Arch. Rational Mech. Anal. 105(3), 267–284 (1989)
Marcellini, P.: Regularity and existence of solutions of elliptic equations with \(p, q\)-growth conditions. J. Differ. Equ. 90(1), 1–30 (1991)
Nehari, Z.: On a class of nonlinear second-order differential equations. Trans. Am. Math. Soc. 95, 101–123 (1960)
Nehari, Z.: Characteristic values associated with a class of non-linear second-order differential equations. Acta Math. 105, 141–175 (1961)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Nonlinear Analysis-Theory and Methods. Springer, Cham (2019)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Double-phase problems and a discontinuity property of the spectrum. Proc. Am. Math. Soc. 147(7), 2899–2910 (2019)
Papageorgiou, N.S., Winkert, P.: Applied Nonlinear Functional Analysis: An Introduction. De Gruyter, Berlin (2018)
Perera, K., Squassina, M.: Existence results for double-phase problems via Morse theory. Commun. Contemp. Math. 20(2), 1750023 (2018)
Pucci, P., Serrin, J.: The Maximum Principle. Birkhäuser Verlag, Basel (2007)
Ragusa, M.A., Tachikawa, A.: Regularity for minimizers for functionals of double phase with variable exponents. Adv. Nonlinear Anal. 9(1), 710–728 (2020)
Stegliński, R.: Infinitely many solutions for double phase problem with unbounded potential in \({\mathbb{R} }^{N}\). Nonlinear Anal. 214, 112580 (2022)
Szulkin, A., Weth, T.: The method of Nehari manifold, in: “Handbook of Nonconvex Analysis and Applications”, Int. Press, Somerville, MA, pp.597-632 (2010)
Vetro, F., Winkert, P.: Constant sign solutions for double phase problems with variable exponents. Appl. Math. Lett. 135, 108404 (2023)
Willem, M.: “Minimax Theorems”, Birkhäuser, (1996)
Zeng, S., Bai, Y., Gasiński, L., Winkert, P.: Existence results for double phase implicit obstacle problems involving multivalued operators. Calc. Var. Partial Differ. Equ. 59(5), 176 (2020)
Zeng, S., Rădulescu, V.D., Winkert, P.: Double phase obstacle problems with variable exponent. Adv. Differ. Equ. 27(9–10), 611–645 (2022)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR Ser. Mat. 50(4), 675–710 (1986)
Zhikov, V.V.: On Lavrentiev’s phenomenon. Russ. J. Math. Phys. 3(2), 249–269 (1995)
Zhikov, V.V.: On variational problems and nonlinear elliptic equations with nonstandard growth conditions. J. Math. Sci. 173(5), 463–570 (2011)
Acknowledgements
The authors wish to thank the knowledgeable reviewer for her/his very careful reading of the manuscript and very helpful suggestions in order to improve the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL. Ángel Crespo-Blanco was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—The Berlin Mathematics Research Center MATH+ and the Berlin Mathematical School (BMS) (EXC-2046/1, project ID: 390685689).
Author information
Authors and Affiliations
Contributions
ÁCB and PW wrote the main manuscript. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
none.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Crespo-Blanco, Á., Winkert, P. Nehari manifold approach for superlinear double phase problems with variable exponents. Annali di Matematica 203, 605–634 (2024). https://doi.org/10.1007/s10231-023-01375-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-023-01375-2
Keywords
- Double phase operator with variable exponent
- Existence of solutions
- Multiple solutions
- Mountain pass theorem
- Nehari manifold