- Research
- Open Access
- Published:
Existence of radial solutions for a \(p(x)\)-Laplacian Dirichlet problem
Advances in Difference Equations volume 2021, Article number: 215 (2021)
Abstract
In this paper, using variational methods, we prove the existence of at least one positive radial solution for the generalized \(p(x)\)-Laplacian problem
with Dirichlet boundary condition in the unit ball in \(\mathbb{R}^{N}\) (for \(N \geq 3\)), where a, b, R are radial functions.
1 Introduction
The study of differential equations and variational problems with nonstandard \(p(x)\)-growth conditions (or nonstandard \((p,q)\)-growth conditions) is an attractive topic and has been the object of considerable attention in recent years (see [1]). The reasons for such an interest are as follows: 1) Physically, it relies on the fact that they model phenomena arising from various fields such as the motion of electrorheological fluids, which are characterized by their ability to drastically change their mechanical properties under the influence of an exterior electromagnetic field, the thermo-convective flows of non-Newtonian fluids, and the image processing; 2) Mathematically, it relies on the fact that the standard mathematical techniques are not adequate to study these problems and they need new techniques. This may be the central development of mathematical ideas in active areas of pure mathematics, which have had a decisive interaction with PDEs (such as [2–14]).
The aim of this paper is to prove the existence of at least one positive radial solution belonging to the space \(W_{0}^{1,p(\cdot )} (B) \cap L^{q(\cdot )}_{a} (B) \cap L^{r(\cdot )}_{b}(B)\) for the problem
where \(\Delta _{p(x)}:= div (|\nabla |^{p(x)-2}\nabla )\), B is the unit ball centered at the origin in \(\mathbb{R}^{N}\), \(N \geq 3\), \(p,q,r\in C_{+}(B)\), R is a positive radial function (introduced in Theorem 1.1), and finally
where \(\theta , \xi \in L^{\infty }(0,1)\) are such that θ is a positive nonconstant radially nondecreasing function, and ξ is a nonnegative radially nonincreasing function. The statement of the main result of this paper is as follows.
Theorem 1.1
Let B be the unit ball centered at the origin in \(\mathbb{R}^{N}\), \(N \geq 3\), and let \(p, q, r \in C_{+}(B)\) be such that \(p^{+}, r^{+}< q^{-}\), \(r(x)< q(x)\) a.e. in B, and \(p(x)< q(x)< p^{*}(x)\) a.e. in B, where \(p^{*}(x)\) is the Sobolev conjugate of \(p(x)\). Assume that \(a, b \in L^{\infty }(B)\) are nonconstant radial functions as in (2). The \(p(x)\)-Laplacian Dirichlet problem (1) admits at least one radial increasing solution in \(V=W_{0}^{1,p(\cdot )} (B) \cap L^{q(\cdot )}_{a} (B) \cap L^{r( \cdot )}_{b}(B)\) if one of the following conditions is true for a radial function \(R:B\rightarrow [0,+\infty )\):
-
(i)
\(R(x)=\alpha \), where \(\alpha \geq 0\) is a real constant.
-
(ii)
\(R \in L^{\infty } (B)\) and \(\mu > 0\), where \(\mu ={\inf_{u\in W_{0}^{1,p(\cdot )} (B) \backslash \{0\}}} \frac{\int _{B}|\nabla u|^{p(x)}\,d\xi }{\int _{B}|u|^{p(x)}\,dx}\).
Before verifying our approach, we prepare some preliminaries. From now on we assume that B is the unit ball centered at the origin in \(\mathbb{R}^{N}\), \(N\geq 3\), and we set
where \(p \in C_{+}(\bar{B}) =\{g\in C(\bar{B}): g^{-}>1\}\). The generalized Lebesgue space \(L^{p(\cdot )}(B)\) is the collection of all measurable functions u on B such that \(\int _{B} |u(x)|^{p(x)}\,dx < +\infty \) with the norm
For any \(u\in L^{p(\cdot )}(B)\) and \(v \in L^{p' (\cdot )}(B)\), where \(L^{p' (\cdot )}(B)\) is the conjugate space of \(L^{p (\cdot )}(B)\), we have the Hölder-type inequality
The following proposition is well known in Lebesgue spaces with variational exponent (e.g., see [15, Proposition 2.7]).
Proposition 1.2
For any \(u\in L^{p(x)}(B)\), we have
if \(|u|_{p(x)}\geq 1\) and
if \(|u|_{p(x)}< 1\).
Normally, the Sobolev space associated with \(L^{p(\cdot )}(B)\) is defined as follows:
endowed with the norm
where \(\nabla u=(\frac{\partial u}{\partial x_{1}}(x), \ldots , \frac{\partial u}{\partial x_{N}}(x))\) is the gradient of u at \(x=(x_{1}, \ldots ,x_{n})\) and, as usual, \(|\nabla u|= ( \sum_{i=1}^{N} |\frac{\partial u}{\partial x_{i}}|^{2} )^{\frac{1}{2}}\). We set \(W_{0}^{1,p(\cdot )}(B)= \overline{(C_{0}^{\infty }(B), \|\cdot \|_{p(\cdot )})}\). We know that the spaces \(L^{p(\cdot )}(B)\), \(W^{1,p(\cdot )}(B)\) and \(W_{0}^{1,p(\cdot )}(B)\) are reflexive, uniformly convex, and separable Banach spaces.
The following theorem is [16, Theorem 2.8].
Theorem 1.3
Let Ω be a bounded smooth set in \(\mathbb{R}^{N}\), and let \(p, q \in C_{+}(\bar{ \Omega })\). Then
if and only if \(p(x) \leq q(x)\) for a.e. \(x \in \Omega \).
As a consequence of Theorem 1.3, we have
if \(p(x) \leq q(x) \) for a.e. \(x \in \Omega \).
The following proposition is proved in [17] (also, see [18, Theorem 8.2.4]).
Proposition 1.4
Let Ω be a bounded smooth set in \(\mathbb{R}^{N}\), and let \(p, q\in C_{+}(\bar{\Omega })\). Then
-
(i)
If \(q(x)< p^{*}(x)\) for any \(x\in \bar{\Omega }\), then the embedding \(W^{1,p(x)}(\Omega )\hookrightarrow L^{q(x)}(\Omega )\) is compact and continuous, where
$$ p^{*}(x)= \textstyle\begin{cases} \frac{Np(x)}{N-p(x)}, & p(x) < N, \\ +\infty , & p(x)\geq N. \end{cases} $$ -
(ii)
There is a constant \(C>0\) such that
$$ \vert u \vert _{p(x)}\leq C \vert \nabla u \vert _{p(x)} \quad \textit{for all } u\in W_{0}^{1,p(x)}( \Omega ). $$
Remark 1.5
By part \((ii)\) of Proposition 1.4 we can see that \(\|u\|_{*}=|\nabla u|_{p(x)}\) and \(\|u\|_{p(x)}\) are equivalent norms on \(W_{0}^{1,p(x)}(B)\).
Lemma 1.6
Let \(R:B\rightarrow [0,+\infty )\) satisfy one of the conditions of Theorem 1.1, and define
Then there exists a constant \(M>0\) such that
for all \(u\in W_{0}^{1,p(\cdot )}(B)\), where
Proof
First, suppose that \(\|u\|_{*}=|\nabla u|_{p(\cdot )}\geq 1\), \(|u|_{p(\cdot )}\geq 1\). By Proposition 1.2 we have
So, according to the Poincaré inequality (Proposition 1.4, part (ii)),
Now suppose that \(\|u\|_{*}=|\nabla u|_{p(\cdot )}\geq 1\), \(|u|_{p(\cdot )}<1\). Then we have
Since \(|u|_{p(\cdot )}^{p^{-}}\leq C_{1} \|u\|_{*}^{p^{-}}\leq C_{1}\|u\|_{*}^{p^{+}}\), this implies that
Now assume that \(\|u\|_{*}=|\nabla u|_{p(\cdot )}<1\), \(|u|_{p(\cdot )}\geq 1\). Then by Proposition 1.2
By the Poincaré inequality we have
Finally, assume that \(\|u\|_{*}=|\nabla u|_{p(\cdot )}<1\), \(|u|_{p(\cdot )}<1\). Then
As before, \(|u|_{p(\cdot )}^{p^{-}}\leq C \|u\|_{*}^{p^{-}}\), and thus
By inequalities (7)–(10) and the definitions of p̌ and p̂ in (6) we get inequality (5). □
Now we recall some notations and results to be used further. For radial functions \(a, b \in L^{\infty }(B)\) given by (2), we consider the spaces
with the norms \(|u|_{a,q(\cdot )}= \inf \{\lambda >0:\int _{B} a(x)| \frac{u(x)}{\lambda }|^{q(x)}\,dx\leq 1\}\). Similarly,
with the norms \(|u|_{b,r(\cdot )}= \inf \{\lambda >0:\int _{B} b(x)| \frac{u(x)}{\lambda }|^{r(x)}\,dx\leq 1\}\).
Definition 1.7
(Subdifferential)
Let V be a real Banach space, and let \(V^{*}\) be its topological dual with pairing between V and \(V^{*}\) denoted by \(\langle \cdot ,\cdot \rangle \). Let \(\Psi : V \rightarrow (-\infty ,+\infty ] \) be a proper convex function, and let \(2^{V^{*}}\) be the set of all subsets of \(V^{*}\). The subdifferential \(\partial \Psi : V \rightarrow 2^{V^{*}}\) of Ψ is defined as the following set-valued operator:
for \(u\in Dom(\Psi )=\{ v\in V;\Psi (v)<\infty \}\), and \(\partial \Psi (u) = \emptyset \) if \(u\notin Dom(\Psi )\).
Note that if Ψ is Gâteaux differentiable at u with its derivative denoted by \(D \Psi (u) \), then \(\partial \Psi (u) \) is a singleton. In this case, \(\partial \Psi (u)=\{D\Psi (u)\}\).
Lemma 1.8
([19, Theorem 1.5.3])
Let V be a reflexive Banach space, and let \(I: V\rightarrow \mathbb{R}\) be a continuous convex functional. Then I is weakly lower semicontinuous.
The following is the Weierstrass theorem (see [19, Theorem 1.5.6.]).
Theorem 1.9
Let V be a reflexive Banach space, and let \(I: V\rightarrow \mathbb{R}\) be a weakly lower semicontinuous coercive functional. Then I has a global minimum point.
Now we state the definition of a critical point of the functional.
Definition 1.10
(Critical point)
Let V be a real Banach space, let \(\Phi \in C^{1} (V, \mathbb{R}) \), and let \(\Psi : V \rightarrow ( -\infty , +\infty ]\) be a proper (i.e., Dom \(\Psi \ne \emptyset \)), convex, and lower semicontinuous function. Let \(K\subset V\) be a weakly convex closed set. Define the function \(\Psi _{K} :V\rightarrow (-\infty , +\infty ]\) by
Consider the functional
We say that \(u \in V\) is a critical point of \(I_{K}\) if \(D \Phi (u) \in \partial \Psi _{K} (u) \) or, equivalently, it satisfies in the inequality
Note that a global minimum point is a critical point.
Definition 1.11
(PS compactness condition)
We say that \(I_{K}\) (12) satisfies the Palais–Smale (PS) compactness condition if for any sequence \(\{ u_{n} \}\) such that
-
\(I_{K}(u_{n}) \rightarrow c \in \mathbb{R}\) and
-
\(\langle D \Phi (u_{n}), u_{n}-v \rangle +\Psi _{K} (v) - \Psi _{K} (u_{n}) \geq -\epsilon _{n} \| v-u_{n}\|\)
for all \(v\in V\) as \(\epsilon _{n} \rightarrow 0 \), then \(\{u_{n}\}\) possesses a convergent subsequence.
The following mountain pass geometry (MPG) theorem was proved in [20].
Theorem 1.12
Suppose that \(I_{K}: V \rightarrow (-\infty , + \infty ]\) is of the form (12) and satisfies the PS compactness condition and the following conditions are satisfied:
-
(i)
\(I_{K}(0)=0\),
-
(ii)
there exists \(e \in V\) such that \(I_{K}(e) \leq 0\),
-
(iii)
there exists a positive constant ρ such that \(I_{K}(u) > 0\) if \(\|u\|= \rho \).
Then \(I_{K}\) has a critical value \(c \leq \rho \) characterized by
where \(\Gamma =\{ g \in C([0,1],V): g(0)=0 , g(1)=e\}\).
The next theorem is a fact in [21, Problem 127, p. 81].
Theorem 1.13
Let \(\{u_{n}\}\) be a sequence of nondecreasing (continuous or discontinuous) real functions on \([c,d]\) that converges pointwise to a continuous function \(u: [c,d] \rightarrow \mathbb{R}\). Then the convergence is uniform.
Proof
Let \(u:=\lim_{n\rightarrow \infty }u_{n}\), and let \(\varepsilon >0\). We have to show that for n large enough,
Since u is assumed to be continuous, it is uniformly continuous on the compact interval \([c,d]\). So there is a subdivision \(c=x_{0}< x_{1}<\cdots <x_{k}=d\) of \([c,d]\) such that the oscillation of u on each interval \([x_{i}, x_{i+1}]\) is less than \(\frac{\varepsilon }{2}\). Since \(u_{n}(x_{i})\rightarrow u(x_{i})\) as \(n\rightarrow \infty \) for \(i=0, \ldots , k\), there is M such that if \(n\geq M\), then
Let us check that \(|u_{n}(x)-u(x)|\leq \varepsilon \) for every \(n\geq M\) and all \(x\in [c,d]\). Fix \(n\geq M\) and take any \(x\in [c,d]\). We can choose i such that \(x\in [x_{i}, x_{i+1}]\). Since the functions \(u_{n}\) are nondecreasing, we have
Since \(|u_{n}(x_{i})-u(x_{i})|\) and \(|u_{n}(x_{i+1})-u(x_{i+1})|\) are not greater than \(\frac{\varepsilon }{2}\), it follows that
Moreover, since the oscillation of u on \([x_{i}, x_{i+1}]\) is less than \(\frac{\varepsilon }{2}\) and since \(x\in [x_{i}, x_{i+1}]\), we also have \(u(x_{i})\geq u(x)-\frac{\varepsilon }{2}\) and \(u(x_{i+1})\leq u(x)+\frac{\varepsilon }{2}\). Altogether, this gives
which concludes the proof. □
2 \(p(x)\)-Laplacian equation
Here we recall the variational principle established in [22].
Definition 2.1
(Pointwise invariance condition)
Let V, Ψ, Φ, K be defined as in Definition 1.10. We say that the triple \((\Psi , \Phi , K)\) satisfies the pointwise invariance condition at a point \(u\in V\) if there exist a convex Gâteaux differentiable function \(G: V\rightarrow \mathbb{R}\) and a point \(v\in K\) such that
Theorem 2.2
Let V be a reflexive Banach space, and let K be a weakly closed convex subset of V. Let \(\Psi :V \rightarrow (-\infty ,+\infty ] \) be a convex lower semicontinuous function that is Gâteaux differentiable on K, and let \(\Phi \in C^{1}(V, \mathbb{R})\). Assume that the following two conditions hold:
-
(i)
The functional \(I_{K} :V \rightarrow (-\infty ,+\infty ] \) defined by \(I_{K} (w)=\Psi _{K} (w)- \Phi (w)\), where \(\Psi _{K}\) is defined in (11), has a critical point \(u \in V\) as in Definition 1.10,
-
(ii)
the triple \((\Psi _{K}, \Phi , K)\) satisfies the pointwise invariance condition at the point u.
Then \(u \in K\) is a solution of the equation
To apply Theorem 2.2, consider the reflexive Banach space
endowed with the norm
where
Definition 2.3
(Weak solution)
Let \(p,q,r\in C_{+}(B)\), \(a, b\in L^{\infty }(B)\), and R be given as in Theorem 1.1, and let V be the space as in (14). We say that \(u\in V\) is a (weak) solution of problem (1) if u is increasing and satisfies the Dirichlet boundary conditions and also if the following equality is true for all \(w\in V\):
To prove the claim, we consider the Euler–Lagrange energy functional corresponding to problem (1)
over the convex closed set
Concerning Theorem 2.2, we define \(\psi ,\varphi :V\rightarrow \mathbb{R}\) by
and
Notice that ψ is a proper, convex, and lower semicontinuous and \(D\varphi (u)= a(x)|u|^{q-2}u\). Therefore φ is a \(C^{1}\)- function on the space V. Let us introduce the functional \(I_{K}:V\rightarrow (-\infty ,+\infty ]\) defined by
where \(\psi _{K}\) is as in (11). Note that \(I_{K}=I=\psi -\varphi \) on K. We prove Theorem 1.1 in two steps.
Step 1. We show that \(I_{K}=\psi _{K} - \varphi \) has a critical point in K. For this reason, we use the MPG theorem (Theorem 1.12), in which we will need the following lemma.
Lemma 2.4
There exists \(C>0\) such that
Proof
Using the Hölder inequality and Remark 1.5, we get
□
Lemma 2.5
Let the functional \(I_{K}: V \rightarrow \mathbb{R}\) be defined by (19). Then \(I_{K}\) satisfies the PS compactness condition in K.
Proof
Suppose that \(\{u_{n}\}\) is a sequence in K such that \(I_{K} (u_{n}) \rightarrow c\in \mathbb{R}\), \(\epsilon _{n} \rightarrow 0\), and
for all \(v\in V\). We show that \(\{ u_{n}\}\) has a convergent subsequence in V. First, notice that \(u_{n} \in Dom(\psi )\). Then
Thus, for large values of n, we have
Furthermore,
Now consider the function \(g(s)= s^{r^{+}}-q^{-}(s-1)-1\) on the interval \((1, +\infty )\). Set \(s^{*}=(\frac{q^{-}}{r^{+}})^{\frac{1}{r^{+}-1}}\). Obviously, \(g(s) < 0\) for all \(s\in (1,s^{*})\). We choose such a number s. So we have \(s> 1\) and \(s^{r^{+}} -1 < q^{-} (s-1) \). Setting \(v=su_{n}\) in (20), we can see that
Therefore
Take \(\alpha > 0\) such that
Multiplying (24) by α and summing it up with (21), we get
where ϱ is defined as in (4). Then
So by Lemma (2.4) there exists \(C^{\prime }> 0\) such that
Therefore \(\{u_{n}\}\) is a bounded sequence in the reflexive space \(W_{0,rad}^{1,p(\cdot )}(B)\). The standard results in Sobolev space imply that there exists \(\bar{u} \in W_{0,rad}^{1,p(\cdot )}(B)\) such that, up to subsequences, for \(s\in C_{+}(B)\),
-
\(u_{n} \rightharpoonup \bar{u}\) in \(W_{0,rad}^{1,p(\cdot )}(B)\);
-
\(u_{n} \rightarrow \bar{u}\) in \(L^{s(\cdot )}(B)\), \(s(x)< p^{*}(x)\) a.e.;
-
\(u_{n}(x) \rightarrow \bar{u}(x)\) a.e. in B;
-
there exist \(w_{s} \in L^{s(\cdot )} (B) \) such that \(|u_{n}(x)| \leq w_{s}(x)\) a.e. in B and for all \(n \in \mathbb{N} \) where \(s(x) < p^{*}(x)\).
Also, notice that every \(u_{n}\) is radial, so ū is radial, too. Moreover, \(\bar{u} \in K\). Therefore \(\bar{u} \in Dom (\psi )\). Now in (20) replace v with ū:
where ϱ is defined as in (4). On the one hand, we have
and \(u_{n}\rightarrow \bar{u}\) in \(L^{r(x)}(B)\). On the other hand, \(\{u_{n}\} \subset K\), and so \(\{|\bar{u}-u_{n}|\}\), as \(\{u_{n}\}\) is a sequence consisting of nondecreasing functions that converges to the continuous zero function. Now thanks to Theorem 1.13, the right-hand side of the latter inequality goes to zero. Therefore, passing to limits, we have
Claim: There exists a positive constant C such that \(\varrho ({u_{n}}-\bar{u})\leq C\varrho ({\bar{u}})\), and then \(\{\varrho ({u_{n}}-\bar{u})\}\) is a bounded sequence.
Firstly, assume that \(|\nabla u_{n}|\leq |\nabla \bar{u}|\), so that \(|\nabla u_{n}-\nabla \bar{u}|\leq 2|\nabla \bar{u}|\). Then
If \(|\nabla u_{n}|\geq |\nabla \bar{u}|\) and thus \(|\nabla u_{n}-\nabla \bar{u}|\leq 2|\nabla u_{n}|\), then by inequality (25)
Now assume that \(|u_{n}|\leq |\bar{u}|\). The by the inequality \(|u_{n}-\bar{u}|\leq |u_{n}|+\bar{u}|\leq 2|\bar{u}|\) we have
Ultimately, if \(| u_{n}|\geq |\bar{u}|\) and thus \(|u_{n}-\bar{u}|\leq 2| u_{n}|\), then from inequality (25) we have
Therefore \(\varrho (u_{n}-\bar{u})\leq C \varrho (\bar{u})\), where \(C=c+c'|R|_{\infty }\), and thus our claim is proved. In fact, we have \(u_{n},\bar{u} \in W_{0,rad}^{1,p(\cdot )}(B)\) and \(u_{n}(x) \rightarrow \bar{u}(x)\) a.e. in B, so \(\nabla u_{n}(x) \rightarrow \nabla \bar{u}(x)\) a.e. in B. Thus
But according to Lemma 1.6, we have \({\|u_{n}-\bar{u}\|_{*}}^{\check{p}}\leq \varrho (u_{n}-\bar{u})\), and thus \(\|u_{n}-\bar{u}\|_{*}\rightarrow 0\). As a result,
and thus \(u_{n} \rightarrow \bar{u} \) strongly in V, as desired. □
Lemma 2.6
Let \(V=W_{0,rad}^{1,p(\cdot )}(B) \cap L_{a}^{q(\cdot ) }(B)\cap L_{b}^{r( \cdot )} (B)\) and consider the functional \(I: V \rightarrow \mathbb{R}\) defined by
where ψ and φ are as in (17) and (18), respectively. Then I has a nontrivial critical point in K.
Proof
We show that I satisfies the conditions of the MPG theorem. It is clear that \(I(0)=0\). Take \(e \in K\). Then it follows that
Now let \(p^{+} , r^{+}< q^{-}\). Then for t large enough, \(I(te)\) is negative.
Condition (iii) of the MPG theorem is satisfied. Let \(u \in Dom(\psi )\) with \(\|u\|_{V}=\rho >0\). Notice that by Lemma 2.4, for \(u\in K\), we have
Also,
where C is the same as in Proposition 1.4(ii), and
where
provided that \(\rho >0\) is small enough as \(\check{p}=p^{+}< q^{-}=\tilde{q}\) and \(C_{1}\), \(C_{2}\), \(C_{3}\), \(C_{4}\) are positive constants. If \(u \notin Dom(\psi )\), then clearly \(I(u)>0\). □
Step 2. We show that the triple \((\psi _{K}, \varphi , K)\) satisfies the pointwise invariance condition at u when \(G=0\). To show this statement, we need following lemma.
Lemma 2.7
Let \(p \in C_{+}(\bar{B)}\), and let \(p^{\prime }(x)=\frac{p(x)}{p(x)-1}\) be the conjugate exponent of \(p(x)\). Let radial function \(R:\mathbb{R}\rightarrow [0,+\infty )\) satisfy in one of the following conditions:
-
(i)
\(R(x)=\alpha \), where \(\alpha >0\) is a real constant.
-
(ii)
\(R \in L^{\infty } (B)\) and \(\mu > 0\), where \(\mu ={\inf_{u\in W_{0}^{1,p(\cdot )} (B) \backslash \{0\}}} \frac{\int _{B}|\nabla u|^{p(x)}\,d\xi }{\int _{B}|u|^{p(x)}\,dx}\).
Let \(f:B\rightarrow \mathbb{R}\) be a continuous function. Suppose there exist \(\alpha ,\beta > 0\) such that for any \(u\in L^{p(x)}(B)\),
and
Then for every \(h\in L^{p^{\prime }(\cdot )}(B)\), the problem
admits at least one weak solution.
Proof
First, notice that by integration respect to u we can see that there exist \(\alpha _{1}, \beta _{1} > 0\) such that
for all \(u:B \rightarrow \mathbb{R}\) and \(F(u(x))\leq 0\) for all \(u\in L^{p(x)}(B) \), where \(F(t)=\int _{0}^{t} f(s )\,ds\). Now consider the following energy functional corresponding to problem (28) on \(W^{1,p(\cdot )}_{0} (B) \):
By the Hölder inequality, Remark 1.5, and Lemma 1.6 we have
Since \(p\in C(\bar{B})\), J is coercive and clearly weakly lower semicontinuous on \(W_{0}^{1,p(\cdot )}(B)\). So by the Weierstrass theorem (Theorem 1.9) J has a global minimum point, which means that problem (28) admits at least one solution. □
Lemma 2.8
Let \(u \in Dom (\psi ) \). Then there exists \(v \in Dom (\psi ) \) such that
Proof
Let \(u \in Dom (\psi ) \), so that \(0 \leq u \in K \). For \(f(v(x))= -b(x)(v(x))^{r(x)-1}\), we can see that
so by Lemma 2.7 this problem admits at least one solution if \(h(x)=a(x) u(x)^{q(x)-1}\) belongs to \(L^{p^{\prime }(x)}(B)\). However, we have
Since \(p\in C_{+}(B)\) and \(p(x)< q(x)\), we have \(p^{\prime }(x) (q(x)-1) =\frac{p(x)}{p(x)-1}(q(x)-1)>1\) and also \(a \in L^{\infty }(B)\). The result is achieved. □
Availability of data and materials
Data sharing not is applicable to this paper as no datasets were generated or analyzed during the current study.
References
Rǎdulescu, V.D., Repoveš, D.D.: Partial Differential Equations with Variable Exponents, Variational Methods and Qualitative Analysis. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton (2015)
Arora, R., Giacomoni, J., Warnault, G.: A Picone identity for variable exponent operators and applications. Adv. Nonlinear Anal. 9(1), 327–360 (2020)
Cowan, C., Razani, A.: Singular solutions of a p-Laplace equation involving the gradient. J. Differ. Equ. 269, 3914–3942 (2020). https://doi.org/10.1016/j.jde.2020.03.017
Cowan, C., Razani, A.: Singular solutions of a Lane–Emden system. Discrete Contin. Dyn. Syst. 41(2), 621–656 (2021). https://doi.org/10.3934/dcds.2020291
Makvand Chaharlang, M., Ragusa, M.A., Razani, A.: A sequence of radially symmetric weak solutions for some nonlocal elliptic problem in \({R}^{n}\). Mediterr. J. Math. 17(2), 1–12 (2020)
Ragusa, M.A., Tachikawa, A.: Regularity for minimizers for functionals of double phase with variable exponents. Adv. Nonlinear Anal. 9, 710–728 (2020). https://doi.org/10.1515/anona-2020-0022
Ragusa, M.A., Razani, A.: Weak solutions for a system of quasilinear elliptic equations. Contrib. Math. 1, 11–16 (2020)
Razani, A.: Subsonic detonation waves in porous media. Phys. Scr. 94, 085209 (2019). https://doi.org/10.1088/1402-4896/ab029b
Safari, F., Razani, A.: Existence of positive radial solutions for Neumann problem on the Heisenberg group. Bound. Value Probl. 2020, 88 (2020). https://doi.org/10.1186/s13661-020-01386-5
Sarafi, F., Razani, A.: Nonlinear nonhomogeneous Neumann problem on the Heisenberg group. Appl. Anal. (2020). https://doi.org/10.1080/00036811.2020.1807013
Safari, F., Razani, A.: Existence of radial solutions of the Kohn–Laplacian problem. Complex Var. Elliptic Equ. (2020). https://doi.org/10.1080/17476933.2020.1818733
Safari, F., Razani, A.: Positive weak solutions of a generalized supercritical Neumann problem. Iran. J. Sci. Technol. Trans. A, Sci. 44(6), 1891–1898 (2020). https://doi.org/10.1007/s40995-020-00996-z
Shi, X., Rǎdulescu, V.D., Repoveš, D.D., Zhang, Q.: Multiple solutions of double phase variational problems with variable exponent. Adv. Calc. Var. 13(4), 384–401 (2020)
Zhang, Q., Rǎdulescu, V.D.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures Appl. 118(9), 159–203 (2018)
Karagiorgos, Y., Yannakaris, N.: A Neumann problem involving the \(p(x)\)-Laplacian with \(p=\infty \) in a subdomain. Adv. Calc. Var. 9(1), 65–76 (2016)
Kováčik, O., Rákosnik, J.: On spaces \(l^{p(x)}\) and \(w^{k,p(x)}\). Czechoslov. Math. J. 41(4), 592–618 (1991)
Fan, X.L., Zhao, D.: On the generalized Orlicz–Sobolev space \(w^{k,p(x)}(\omega )\). Gansu Jiaoyu Xueyuan Xuebao. Shehui Kexue Ban 12(1), 1–6 (1998)
Diening, L., Harjulehto, P., Hästö, P., Råužička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics. Springer, Heidelberg (2011)
Badiale, M., Serra, E.: Semilinear Elliptic Equations for Beginners, Existence Results via the Variational Approach. Springer, Cham (2010)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973). https://doi.org/10.1016/0022-1236(73)90051-7
Pólya, G., Szegö, G.: Problems and Theorems in Analysis I: Series. Integral Calculus. Theory of Functions. Springer, Berlin (1978)
Moameni, A., Salimi, L.: Existence results for supercritical Neumann problem with a convex-concave non-linearity. Ann. Mat. Pura Appl. 198, 1165–1184 (2019). https://doi.org/10.1007/s10231-018-0813-1
Acknowledgements
The authors thank the anonymous reviewers for their careful reading of the manuscript and their insightful comments and suggestions.
Funding
This paper has been supported by the RUDN University Strategic Academic Leadership Program and Dipartimento di Matematica e Informatica – Universitá degli Studi di Catania. The first author is partially supported by I.N.D.A.M - P.R.I.N. 2019.
Author information
Authors and Affiliations
Contributions
All authors discussed the results and implications and commented on the manuscript at all stages. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Ragusa, M.A., Razani, A. & Safari, F. Existence of radial solutions for a \(p(x)\)-Laplacian Dirichlet problem. Adv Differ Equ 2021, 215 (2021). https://doi.org/10.1186/s13662-021-03369-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03369-x
MSC
- 35J15
- 58E30
Keywords
- Radial solution
- \(p(x)\)-Laplacian
- Dirichlet boundary condition
- Variational principle