Advertisement

Boundary Value Problems

, 2018:43 | Cite as

Existence and multiplicity of positive solutions of a one-dimensional mean curvature equation in Minkowski space

  • Minghe Pei
  • Libo Wang
  • Xuezhe Lv
Open Access
Research
  • 323 Downloads

Abstract

In this paper, we consider a one-dimensional mean curvature equation in Minkowski space and the corresponding one-parameter problem. By using a fixed point theorem of cone expansion and compression of norm type, the existence and multiplicity of positive solutions for the above problems are obtained. Meanwhile, as applications of our results, some examples are given.

Keywords

Mean curvature equations Positive solution Existence Multiplicity Fixed point theorem of cone expansion and compression of norm type 

MSC

35J93 34B16 34B18 

1 Introduction

The problem
$$\operatorname{div}\biggl(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}}\biggr)=H(x,v)\quad \text{in } \Omega $$
arises from the study of prescribed mean curvature of a spacelike graph in the flat Minkowski space
$${L}^{N+1}:=\bigl\{ (x,t):x\in\mathbb{R}^{N},t\in\mathbb{R} \bigr\} $$
endowed with the Lorentzian metric \(\sum_{i=1}^{N}dx_{i}^{2}-dt^{2}\) [1].
Recently, these kinds of problems have been studied by many authors. In [2], Bereanu et al. considered the Dirichlet problem for the mean curvature equation in Minkowski space of the type
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}})+f(|x|,v)=0\quad \text{in } B_{R}, \\ v=0\quad \text{on } \partial B_{R}, \end{cases} $$
where \(B_{R}=\{x\in\mathbb{R}^{N}:|x|< R\}\) and \(f:[0,R]\times[0,\alpha )\rightarrow\mathbb{R}\) is positive on \((0,R]\times(0,\alpha)\). When \(\alpha=R=1\), f is superlinear at 0 and sublinear at 1 with respect to \(\phi(s):=s/\sqrt{1-{s}^{2}}\), the authors obtained the existence of classical positive radial solutions of the problem by using the Leray–Schauder degree arguments. In [3], Bereanu et al. studied the positive radial solutions of the one-parameter problem involving the mean curvature operator in Minkowski space of the type
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}}) +\lambda [\mu (|x|)v^{q} ]=0 \quad \text{in } B_{R}, \\ v=0 \quad \text{on } \partial B_{R}, \end{cases} $$
where \(\lambda>0\) is a parameter, \(q>1\), \(R>0\), \(\mu:[0,+\infty)\to R\) is continuous, positive on \((0,\infty)\). Using upper and lower solutions together with Leray–Schauder degree type arguments, the authors proved that there exists \(\Lambda> 0\) such that the problem has zero, at least one or at least two positive radial solutions according to \(\lambda\in(0,\Lambda)\), \(\lambda=\Lambda\) or \(\lambda>\Lambda\). In [4], Pei and Wang considered the singular Dirichlet problem involving the mean curvature operator in Minkowski space of the form
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}})+f(|x|,v)=0\quad \text{in } B_{1}, \\ v=0 \quad \text{on } \partial B_{1}, \end{cases} $$
and the corresponding one-parameter problem
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}})+\lambda f(|x|,v)=0 \quad \text{in } B_{1}, \\ v=0\quad \text{on } \partial B_{1}, \end{cases} $$
where \(f\in C([0,1]\times[0,1), [0,+\infty))\). They provided sufficient conditions for the existence of triple and arbitrarily many positive solutions to the above problems by Leggett–Williams’ fixed point theorem. In [5], Pei and Wang considered a strongly singular Dirichlet problem involving the mean curvature operator in Minkowski space of the form
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}})+f(|x|,v)=0 \quad \text{in } B_{1}, \\ v=0 \quad \text{on } \partial B_{1}, \end{cases} $$
where \(f(r,u)\) is nonnegative and continuous on \((0,1)\times(0,+\infty )\) and may be singular at \(r=0\) and/or \(r=1\) and strongly singular at \(u=0\). The authors presented sufficient conditions which guarantee the existence of positive solutions to the problem by applying the perturbation technique and nonlinear alternative of Leray–Schauder type. In [6], Dai considered the solvability of the Dirichlet problem with mean curvature operator in the Minkowski space
$$\textstyle\begin{cases} \operatorname{div}(\frac{\nabla v}{\sqrt{1-|\nabla v|^{2}}})+\lambda f(x,v)=0\quad \text{in } \Omega, \\ v=0 \quad \text{on } \partial\Omega, \end{cases} $$
where Ω is a general bounded domain of \(\mathbb{R}^{N}\). By bifurcation and topological methods, the author determined the interval of parameter λ in which the above problem has zero/one/two nontrivial nonnegative solutions according to sublinear/linear/superlinear nonlinearity at zero. We refer the reader to [7, 8, 9, 10, 11, 12, 13, 14, 15] for the N-dimensional mean curvature equation in Minkowski space. In particular, for one-dimensional mean curvature equation with Dirichlet/Neumann/periodic/mixed type boundary conditions in Minkowski space, we refer the reader to [16, 17, 18, 19, 20, 21, 22, 23, 24] and the references therein.
Motivated by above work, in this paper, we will consider the one-dimensional mean curvature equations in Minkowski space of the type
$$ \textstyle\begin{cases} (\frac{u'}{\sqrt{1-u^{\prime 2}}})'+f(r,u)=0,\quad r\in(0,1), \\ u'(0)=0,\qquad u(1)=0, \end{cases} $$
(1.1)
and the corresponding one-parameter problem
$$ \textstyle\begin{cases} (\frac{u'}{\sqrt{1-u^{\prime 2}}})'+\lambda f(r,u)=0 , \quad r\in(0,1), \\ u'(0)=0,\qquad u(1)=0, \end{cases} $$
(1.2)
where \(f\in C([0,1]\times[0,1), [0,+\infty))\). Using a fixed point theorem of cone expansion and compression of norm type, we obtain the existence and multiplicity of positive solutions of the above problems. It is worth to note that, in our work, we do not assume that f is superlinear at 0 and sublinear at 1 with respect to \(\phi(s)\). To the best of our knowledge, this is the first paper using a fixed point theorem of cone expansion and compression of norm type to study the above problem.

The rest of the paper is organized as follows. By means of a fixed point theorem of cone expansion and compression of norm type (see [25]), in Sect. 2 we show the existence and multiplicity of positive solutions of (1.1) and (1.2). In Sect. 3, we give some examples to illustrate our results.

2 Main results

In order to introduce our main theorem, we need some lemmas.

Simple computations lead to the following lemma.

Lemma 2.1

Let\(\phi(s)\)be defined by above. Then\(\phi^{-1}(s)=s/\sqrt{1+{s}^{2}}\)and
$$\phi^{-1}(s_{1})\phi^{-1}(s_{2})\leq \phi^{-1}(s_{1}s_{2}) \leq s_{1}s_{2}, \quad \forall s_{1}, s_{2}\in[0,+\infty). $$

Lemma 2.2

([25])

LetEbe a Banach space and letKbe a cone inE. Assume that\(\Omega_{1}\)and\(\Omega_{2}\)are bounded open subsets ofEsuch that\(0\in\Omega_{1}\subset\overline{\Omega}_{1}\subset\Omega_{2}\), and let\(T:K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\rightarrow K\)be a completely continuous operator such that either
  1. (i)

    \(\|Tx\|\leq\|x\|\)for\(x\in K\cap\partial\Omega_{1}\)and\(\|Tx\|\geq\|x\|\)for\(x\in K\cap\partial\Omega_{2}\), or

     
  2. (ii)

    \(\|Tx\|\geq\|x\|\)for\(x\in K\cap\partial\Omega_{1}\)and\(\|Tx\|\leq\|x\|\)for\(x\in K\cap\partial\Omega_{2}\).

     
ThenThas a fixed point in\(K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\).
Take \(E=C[0,1]\) with the usual supremum norm \(\|\cdot\|\) and the corresponding open ball of center 0 and radius \(\rho>0\) will be denoted by \(B_{\rho}\). Let
$$K=\bigl\{ u\in E: u(r) \text{ is concave and nonincreasing on }[0,1], u(1)=0\bigr\} . $$
Then K is a cone in E and, for all \(u\in K\),
$$ u(r)\geq(1-r)\|u\|\quad \text{on } [0,1]. $$
(2.1)
Now we define a nonlinear operator T on \(K\cap B_{1}\) as follows:
$$(Tu) (r)= \int_{r}^{1}\phi^{-1}\biggl( \int_{0}^{s}f\bigl(\tau,u(\tau)\bigr)\,\mathrm{d}\tau \biggr)\, \mathrm{d}s,\quad u\in K\cap B_{1}. $$
Clearly, \((Tu)(r)\geq0\), \((Tu)''(r)\leq0\) for all \(r\in[0,1]\), \((Tu)'(0)=(Tu)(1)=0\), which implies that \(T(K\cap B_{1})\subset K\). Moreover, it is easy to show by a standard argument that T is compact on \(K\cap\overline{B}_{\rho}\) for all \(\rho\in(0,1)\) (see [2]). In addition, it can easily be verified that u is a positive solution of problem (1.1) if \(u\in K\cap B_{1}\) is a fixed point of the nonlinear operator T.

Now, we state and prove the existence and multiplicity of positive solutions of problem (1.1) and (1.2) by using a fixed point theorem of cone expansion and compression of norm type.

For convenience, we introduce some notations
$$ f_{0}^{J}=\varliminf_{s\rightarrow0^{+}}\min _{r\in J} \frac{f(r,s)}{\phi(s)},\qquad f^{0}= \varlimsup_{s\rightarrow0^{+}}\max_{r\in[0,1]} \frac{f(r,s)}{\phi(s)},\qquad f^{1}=\varlimsup_{s\rightarrow1^{-}}\max_{r\in[0,1]} \frac{f(r,s)}{\phi(s)}, $$
where J be a compact subinterval of \([0,1]\).

Theorem 2.1

Assume that there exists a compact subinterval\(J:=[r_{0},r_{1}]\subset [0,1)\)such that
$$f_{0}^{J}>\frac{\sigma}{1-r_{1}}\quad \textit{and}\quad f^{1}< 1, $$
where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\). Then problem (1.1) has at least one positive solution.

Proof

Take a number L with \(\frac{\sigma}{1-r_{1}}< L< f_{0}^{J}\). Then
$$\lim_{\delta\rightarrow0^{+}}L\frac{\phi((1-r_{1})\delta)}{\phi(\sigma \delta)}=L\frac{1-r_{1}}{\sigma}>1. $$
It follows that there exists \(\delta^{*}\in(0,1)\) with \(\sigma\delta ^{*}<1\) such that
$$L\frac{\phi((1-r_{1})\delta)}{\phi(\sigma\delta)}>1,\quad \forall\delta\in \bigl(0,\delta^{*}\bigr). $$
Since \(f_{0}^{J}>L\), there exists \(\rho\in(0,\delta^{*})\) such that
$$\frac{f(r,s)}{\phi(s)}>L,\quad \forall(r,s)\in J\times(0,\rho]. $$
Therefore, for each \((r,s)\in J\times[(1-r_{1})\rho,\rho]\) we have
$$ f(r,s) > L\phi(s)\geq L\phi\bigl((1-r_{1})\rho\bigr)>\phi(\sigma\rho). $$
(2.2)
Now, let \(\Omega_{1}=\{u\in E: \|u\|<\rho\}\). Then from (2.1), (2.2) and Lemma 2.1, we obtain
$$\begin{aligned} \|Tu\| = & \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{s}f\bigl(\tau,u(\tau)\bigr)\,\mathrm{d}\tau \biggr)\,\mathrm{d}s \\ \geq& \int_{r_{0}}^{r_{1}}\phi^{-1}\biggl( \int_{r_{0}}^{s}f\bigl(\tau,u(\tau)\bigr)\,\mathrm {d} \tau\biggr)\,\mathrm{d}s \\ > & \int_{r_{0}}^{r_{1}}\phi^{-1}\biggl( \int_{r_{0}}^{s}\phi(\sigma\rho)\,\mathrm {d}\tau\biggr) \,\mathrm{d}s \\ \geq& \sigma\rho \int_{r_{0}}^{r_{1}}\phi^{-1}(s-r_{0}) \,\mathrm{d}s \\ = & \sigma\rho \int_{0}^{r_{1}-r_{0}}\phi^{-1}(s)\,\mathrm{d}s \\ = & \rho=\|u\|, \quad \forall u\in K\cap\partial\Omega_{1}. \end{aligned}$$
(2.3)
Next, we prove that there exists \(\varrho\in(\rho,1)\) such that
$$ \|Tu\|< \|u\|, \quad \forall u\in K\cap\partial B_{\varrho}. $$
(2.4)
In fact, from \(f^{1}<1\), there exist \(\alpha\in(f^{1},1)\) and \(\beta\in (0,1)\) such that
$$ f(r,s)\leq M+\alpha\phi(s),\quad \forall(r,s)\in[0,1]\times[0,1), $$
(2.5)
where \(M=\max\{f(r,s):(r,s)\in[0,1]\times[0,\beta]\}\).
Select \(\varrho>0\) with
$$\max\biggl\{ \rho,\phi^{-1}\biggl(\frac{M}{1-\alpha}\biggr)\biggr\} < \varrho< 1. $$
Then from (2.5) we get
$$\begin{aligned} \|Tu\| =& \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{s}f\bigl(\tau,u(\tau)\bigr)\, \mathrm{d} \tau\biggr)\, \mathrm {d}s \\ \leq& \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{s}\bigl(M+\alpha\phi(\varrho)\bigr)\, \mathrm{d}\tau \biggr)\,\mathrm{d}s \\ =& \int_{0}^{1}\phi^{-1}\bigl(\bigl(M+\alpha \phi(\varrho)\bigr)s\bigr)\,\mathrm{d}s \\ < & \phi^{-1}\bigl(M+\alpha\phi(\varrho)\bigr) \\ < & \phi^{-1}\bigl((1-\alpha)\phi(\varrho)+\alpha\phi(\varrho)\bigr) \\ =& \varrho=\|u\|, \quad \forall u\in K\cap\partial B_{\varrho}, \end{aligned}$$
that is, (2.4) holds.
Let \(\Omega_{2}=\{u\in E: \|u\|<\varrho\}\). Then from (2.4) we have
$$ \|Tu\|< \|u\|, \quad \forall u\in K\cap\partial\Omega_{2}. $$
(2.6)
Therefore, from (2.3), (2.6) and Lemma 2.2, the operator T has a fixed point \(u^{*}\in K\cap(\overline{\Omega}_{2}\setminus\Omega_{1})\), which is a positive solution of problem (1.1). This completes the proof of the theorem. □

Corollary 2.1

Assume that there exists a compact subinterval\(J:=[r_{0},r_{1}]\subset (0,1)\)such that
$$\frac{\sigma}{(1-r_{1})f_{0}^{J}}=:\Lambda_{1}< \Lambda_{2}:= \frac{1}{f^{1}}, $$
where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\). Then the one-parameter problem (1.2) has at least one positive solution provided\(\Lambda_{1}<\lambda<\Lambda_{2}\).

Theorem 2.2

Assume that
  1. (i)

    \(f^{0}<1\)and\(f^{1}<1\);

     
  2. (ii)
    there exist a compact subinterval\([r_{0},r_{1}]\subset [0,1)\)and\(\rho\in(0,1)\)such that\(\sigma\rho\in(0,1)\)and
    $$f(r,s)>\phi(\sigma\rho), \quad \forall(r,s)\in[r_{0},r_{1}] \times\bigl[(1-r_{1})\rho ,\rho\bigr], $$
    where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\).
     
Then problem (1.1) has at least two positive solutions.

Proof

Since \(f^{0}<1\), there exists \(\rho_{0}\in(0,\rho)\) such that
$$f(r,s)< \phi(s),\quad \forall(r,s)\in[0,1]\times[0,\rho_{0}]. $$
Let \(\Omega_{0}=\{u\in E: \|u\|<\rho_{0}\}\), then, for \(u\in K\cap\partial \Omega_{0}\),
$$\begin{aligned} \|Tu\| =& \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{s}f\bigl(\tau,u(\tau)\bigr)\,\mathrm{d}\tau \biggr)\, \mathrm{d}s \\ < & \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{s}\phi\bigl(u(\tau)\bigr)\,\mathrm{d}\tau \biggr)\,\mathrm {d}s \\ \leq& \int_{0}^{1}\phi^{-1}\biggl( \int_{0}^{1}\phi(\rho_{0})\,\mathrm{d}\tau \biggr)\,\mathrm {d}s \\ =& \rho_{0}=\|u\|. \end{aligned}$$
(2.7)
Let \(\Omega_{1}=\{u\in E: \|u\|<\rho\}\). Then from the proof of Theorem 2.1 we obtain
$$ \|Tu\|>\|u\|, \quad \forall u\in K\cap\partial\Omega_{1}. $$
(2.8)
Notice that \(f^{1}<1\), it follows from the proof of Theorem 2.1 that there exists \(\varrho\in(\rho,1)\) such that
$$ \|Tu\|< \|u\|,\quad \forall u\in K\cap\partial\Omega_{2}, $$
(2.9)
where \(\Omega_{2}=\{u\in E: \|u\|<\varrho\}\). Therefore, it follows from (2.7), (2.8), (2.9) and Lemma 2.2 that the operator T has two fixed points \(u_{1}\in K\cap(\overline{\Omega}_{1}\setminus{\Omega }_{0})\) and \(u_{2}\in K\cap(\overline{\Omega}_{2}\setminus{\Omega}_{1})\), which are two distinct positive solutions of problem (1.1). This completes the proof of the theorem. □

Remark 2.1

In Theorem 2.2, the condition \(f^{0}<1\) in (i) can be replaced by the following condition: there exists \(\rho_{0}\in(0,\rho)\) such that
$$f(r,s)< \phi(\rho_{0}), \quad \forall(r,s)\in[0,1]\times[0, \rho_{0}]. $$
The conclusion still holds.

Corollary 2.2

Assume that
  1. (i)
    there exist a compact subinterval\([r_{0},r_{1}]\subset [0,1)\)and\(\rho\in(0,1)\)such that\(\sigma\rho\in(0,1)\)and
    $$f(r,s)>0,\quad \forall(r,s)\in[r_{0},r_{1}]\times \bigl[(1-r_{1})\rho,\rho\bigr]=:D, $$
    where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\);
     
  2. (ii)

    \(\frac{\phi(\sigma\rho)}{\min_{(r,s)\in D}f(r,s)}=:\Lambda_{1}<\Lambda_{2}:= \min\{\frac{1}{f^{0}},\frac{1}{f^{1}}\}\).

     
Then the one-parameter problem (1.2) has at least two positive solutions provided\(\Lambda_{1}< \lambda<\Lambda_{2}\).

Proof

At first, from the assumption (i), we know that \(\min_{(r,s)\in D}f(r,s)>0\), and thus \(\Lambda_{1}\) is a finite number. We now check that all conditions of Theorem 2.2 are satisfied. From the assumption (ii), for \(\lambda<\Lambda_{2}\), we have
$$\lambda f^{i}< \Lambda_{2}f^{i}\leq1,\quad i=0,1. $$
On the other hand, from assumption (ii), for \(\lambda>\Lambda_{1}\), we have
$$\begin{aligned} \lambda f(r,s) > \Lambda_{1}f(r,s) >& \frac{\phi(\sigma\rho)}{\min_{(r,s)\in D}f(r,s)}f(r,s) \\ \geq& \frac{\phi(\sigma\rho)}{\min_{(r,s)\in D}f(r,s)}\min_{(r,s)\in D}f(r,s) \\ = & \phi(\sigma\rho),\quad \forall(r,s)\in D. \end{aligned}$$
Therefore, by Theorem 2.2, the one-parameter problem (1.2) has at least two positive solutions provided \(\Lambda_{1}<\lambda<\Lambda_{2}\). □

Theorem 2.3

Assume that there exists a compact subinterval\(J:=[r_{0},r_{1}]\subset [0,1)\)such that
  1. (i)

    \(f_{0}^{J}=\infty\)and\(f^{1}<1\);

     
  2. (ii)
    there exists\(\rho\in(0,1)\)with\(\sigma\rho\in(0,1)\)such that
    $$f(r,s)>\phi(\sigma\rho), \quad \forall(r,s)\in J\times\bigl[(1-r_{1}) \rho,\rho\bigr], $$
    where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\);
     
  3. (iii)
    there exists \(\rho_{0}\in(0,\rho)\) such that
    $$f(r,s)< \phi(\rho_{0}),\quad \forall(r,s)\in[0,1]\times[0, \rho_{0}]. $$
     
Then problem (1.1) has at least three positive solutions.

Proof

From the assumptions (i), (ii), (iii) and Remark 2.1, the conditions of Theorem 2.2 are all satisfied. Then from the proof of Theorem 2.2, there exist ρ and ϱ with \(0<\rho_{0}<\rho <\varrho<1\) such that
$$\begin{aligned}& \|Tu\|< \|u\|,\quad \forall u\in K\cap\partial B_{\rho_{0}}, \\& \|Tu\|>\|u\|,\quad \forall u\in K\cap\partial B_{\rho}, \end{aligned}$$
and
$$\|Tu\|< \|u\|, \quad \forall u\in K\cap\partial B_{\varrho}, $$
where \(B_{\rho_{0}}=\{u\in E: \|u\|<\rho_{0}\}\), \(B_{\rho}=\{u\in E: \|u\| <\rho\}\), \(B_{\varrho}=\{u\in E: \|u\|<\varrho\}\).
Moreover, from \(f_{0}^{J}=\infty\) and the proof of Theorem 2.1, there exists \(\rho^{*}>0\) with \(\rho^{*}<\rho_{0}\), such that
$$\|Tu\|>\|u\|,\quad \forall u\in K\cap\partial B_{\rho^{*}}, $$
where \(B_{\rho^{*}}=\{u\in E: \|u\|<\rho^{*}\}\). Then from Lemma 2.2, problem (1.1) has three distinct positive solutions \(u_{0}\), \(u_{1}\), \(u_{2}\) with \(u_{0}\in K\cap(\overline{B}_{\rho_{0}}\setminus{B}_{\rho^{*}})\), \(u_{1}\in K\cap(\overline{B}_{\rho}\setminus{B}_{\rho_{0}})\) and \(u_{2}\in K\cap(\overline{B}_{\varrho}\setminus{B}_{\rho})\). □

Corollary 2.3

Assume that there exists a compact subinterval\(J:=[r_{0},r_{1}]\subset [0,1)\)such that
  1. (i)

    \(f_{0}^{J}=\infty\);

     
  2. (ii)
    there exists\(\rho\in(0,1)\)with\(\sigma\rho\in(0,1)\)such that
    $$f(r,s)>0,\quad \forall(r,s)\in J\times\bigl[(1-r_{1})\rho,\rho \bigr]=:D_{\rho}, $$
    where\(\sigma=\frac{1}{(r_{1}-r_{0})^{2}}(\sqrt{1+(r_{1}-r_{0})^{2}}+1)\);
     
  3. (iii)
    there exists\(\rho^{*}\in(0,\rho)\)such that
    $$\frac{\phi(\sigma\rho)}{\min_{(r,s)\in D_{\rho}}f(r,s)} =:\Lambda_{1}< \Lambda_{2}:=\min\biggl\{ \frac{1}{f^{1}},\frac{\phi(\rho^{*})}{\max_{(r,s)\in D_{\rho^{*}}}f(r,s)}\biggr\} , $$
    where\(D_{\rho^{*}}:= [0,1]\times[0,\rho^{*}]\).
     
Then the one-parameter problem (1.2) has at least three positive solutions provided\(\Lambda_{1}<\lambda<\Lambda_{2}\).

Proof

Similar to the proof of Corollary 2.2, it is easy to check that, for \(\Lambda_{1}<\lambda<\Lambda_{2}\), \(\lambda f(t,s)\) satisfies all conditions of Theorem 2.3. Then the conclusion hold. □

3 Examples

In this section, we give some examples to demonstrate the applications of the our results.

Example 3.1

Consider the following one-dimensional mean curvature equations in Minkowski space of the type
$$ \textstyle\begin{cases} (\frac{u'}{\sqrt{1-u^{\prime 2}}})'+(r-\frac{1}{2})^{2}\frac{u^{p}}{(1-u^{2})^{q}}=0,\quad r\in(0,1), \\ u'(0)=0, \qquad u(1)=0, \end{cases} $$
(3.1)
where \(0< p<1\) and \(q<1/2\) are constants.

Let \(f(r,s)=(r-\frac{1}{2})^{2}s^{p}/(1-s^{2})^{q}\) on \([0,1]\times[0,1)\). Take \(J=[\frac{3}{4},1]\), it is easy to see that \(f_{0}^{J}=\infty\) and \(f^{1}=0\). By Theorem 2.1, the problem (3.1) has at least one positive solution. We note that Theorem 1 of [2] cannot guarantee this conclusion since \(f(\frac{1}{2},s)=0\), \(\forall s\in[0,1)\).

Example 3.2

Consider the following one-parameter problem:
$$ \textstyle\begin{cases} (\frac{u'}{\sqrt{1-u^{\prime 2}}})'+\lambda|r-\frac{37}{48}|^{p}u^{q}=0,\quad r\in (0,1), \\ u'(0)=0,\qquad u(1)=0, \end{cases} $$
(3.2)
where \(\lambda>0\) be a parameter, \(p\geq0\), \(q>1\) are constants.
Let \(f(r,s)=|r-\frac{37}{48}|^{p}s^{q}\) on \([0,1]\times[0,1)\). It is easy to see that \(f^{0}=f^{1}=0\). Choose \(\rho=1/12\), \(r_{0}=1/4\) and \(r_{1}=3/4\). Then \(\sigma\rho=(2+\sqrt{5})/6\in(0,1)\),
$$\phi(\sigma\rho)=\frac{\sigma\rho}{\sqrt{1-(\sigma\rho)^{2}}} =\frac{2+\sqrt{5}}{\sqrt{27-4\sqrt{5}}} $$
and
$$\min_{(r,s)\in D}f(r,s)= \min_{(r,s)\in D} \biggl\vert r-\frac{37}{48} \biggr\vert ^{p}s^{q}= \frac{1}{48^{p+q}}, $$
where \(D=[\frac{1}{4},\frac{3}{4}]\times[\frac{1}{48}, \frac{1}{12}]\). Thus from Corollary 2.2, the one-parameter problem (3.2) has at least two positive solutions provided
$$\lambda>\Lambda_{1}:=48^{p+q}\frac{2+\sqrt{5}}{\sqrt{27-4\sqrt{5}}}. $$

Example 3.3

Consider the following one-parameter problem:
$$ \textstyle\begin{cases} (\frac{u'}{\sqrt{1-u^{\prime 2}}})'+\lambda g(u)=0, \quad r\in(0,1), \\ u'(0)=0,\qquad u(1)=0, \end{cases} $$
(3.3)
where \(\lambda>0\) is a parameter and
$$g(s)= \textstyle\begin{cases} \frac{1}{10}\sqrt{s}, & s\in[0,\frac{1}{96}], \\ \frac{2}{5}(360-\sqrt{6})(s-\frac{1}{48})+\frac{3}{2}, & s\in[\frac {1}{96},\frac{1}{48}], \\ 3456s^{2}, & s\in[\frac{1}{48},\frac{1}{12}], \\ {-}\frac{276}{5}(s-\frac{1}{2})+1, & s\in[\frac{1}{12},\frac{1}{2}], \\ \frac{1}{2}\sqrt[4]{\frac{12}{1-s^{2}}}, & s\in[\frac{1}{2},1). \end{cases} $$
We choose \(\rho=1/12\), \(r_{0}=1/4\), \(r_{1}=3/4\) and \(\rho^{*}=1/96\). It is easy to check that the conditions for Corollary 2.3 are all satisfied, where
$$\Lambda_{1}=\frac{2(2+\sqrt{5})}{3\sqrt{27-4\sqrt{5}}}< 1,\qquad \Lambda_{2}= \frac {40\sqrt{6}}{\sqrt{9215}}>1. $$
Hence from Corollary 2.3, problem (3.3) has at least three positive solutions when \(\lambda\in(\Lambda_{1},\Lambda_{2})\).

Notes

Acknowledgements

The authors thank the referee for valuable suggestions, which led to improvement of the original manuscript.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Funding

This work was supported by the Education Department of JiLin Province ([2016]45).

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Bartnik, R., Simon, L.: Spacelike hypersurfaces with prescribed boundary values and mean curvature. Commun. Math. Phys. 87, 131–152. 1982–83 Google Scholar
  2. 2.
    Bereanu, C., Jebelean, P., Torres, P.J.: Positive radial solutions for Dirichlet problems with mean curvature operators in Minkowski space. J. Funct. Anal. 264, 270–287 (2013) MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bereanu, C., Jebelean, P., Torres, P.J.: Multiple positive radial solutions for a Dirichlet problem involving the mean curvature operator in Minkowski space. J. Funct. Anal. 265, 644–659 (2013) MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Pei, M., Wang, L.: Multiplicity of positive radial solutions of a singular mean curvature equations in Minkowski space. Appl. Math. Lett. 60, 50–55 (2016) MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Pei, M., Wang, L.: Positive radial solutions of a mean curvature equation in Minkowski space with strong singularity. Proc. Am. Math. Soc. 145, 4423–4430 (2017) MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Dai, G.: Bifurcation and nonnegative solutions for problem with mean curvature operator on general domain. Indiana Univ. Math. J. (in press). http://www.iumj.indiana.edu/IUMJ/Preprints/7546.pdf
  7. 7.
    Bereanu, C., Jebelean, P., Mawhin, J.: Radial solutions for some nonlinear problems involving mean curvature operators in Euclidean and Minkowski spaces. Proc. Am. Math. Soc. 137, 161–169 (2009) MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Bereanu, C., Jebelean, P., Mawhin, J.: Multiple solutions for Neumann and periodic problems with singular ϕ-Laplacian. J. Funct. Anal. 261, 3226–3246 (2011) MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Bereanu, C., Jebelean, P., Mawhin, J.: The Dirichlet problem with mean curvature operator in Minkowski space—a variational approach. Adv. Nonlinear Stud. 14, 315–326 (2014) MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Coelho, I., Corsato, C., Rivetti, S.: Positive radial solutions of the Dirichlet problem for the Minkowski-curvature equation in a ball. Topol. Methods Nonlinear Anal. 44, 23–39 (2014) MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Corsato, C., Obersnel, F., Omari, P., Rivetti, S.: Positive solutions of the Dirichlet problem for the prescribed mean curvature equation in Minkowski space. J. Math. Anal. Appl. 405, 227–239 (2013) MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Dai, G.: Bifurcation and positive solutions for problem with mean curvature operator in Minkowski space. Calc. Var. Partial Differ. Equ. 55, 72 (2016) MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Dai, G.: Global bifurcation for problem with mean curvature operator on general domain. Nonlinear Differ. Equ. Appl. 24, 30 (2017) MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Dai, G., Wang, J.: Nodal solutions to problem with mean curvature operator in Minkowski space. Differ. Integral Equ. 30, 463–480 (2017) MathSciNetzbMATHGoogle Scholar
  15. 15.
    Kusahara, T., Usami, H.: A barrier method for quasilinear ordinary differential equations of the curvature type. Czechoslov. Math. J. 50, 185–196 (2000) MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Bereanu, C., Jebelean, P., Mawhin, J.: Non-homogeneous boundary value problems for ordinary and partial differential equations involving singular ϕ-Laplacians. Mat. Contemp. 36, 51–65 (2009) MathSciNetzbMATHGoogle Scholar
  17. 17.
    Bereanu, C., Jebelean, P., Mawhin, J.: Periodic solutions of pendulum-like perturbations of singular and bounded ϕ-Laplacians. J. Dyn. Differ. Equ. 22, 463–471 (2010) MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Bereanu, C., Mawhin, J.: Existence and multiplicity results for some nonlinear problems with singular ϕ-Laplacian. J. Differ. Equ. 243, 536–557 (2007) MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Bereanu, C., Mawhin, J.: Multiple periodic solutions of ordinary differential equations with bounded nonlinearities and ϕ-Laplacian. Nonlinear Differ. Equ. Appl. 15, 159–168 (2008) MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Bereanu, C., Mawhin, J.: Nonhomogeneous boundary value problems for some nonlinear equations with singular ϕ-Laplacian. J. Math. Anal. Appl. 352, 218–233 (2009) MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Brezis, H., Mawhin, J.: Periodic solutions of the forced relativistic pendulum. Differ. Integral Equ. 23, 801–810 (2010) MathSciNetzbMATHGoogle Scholar
  22. 22.
    Herlea, D.-R., Precup, R.: Existence, localization and multiplicity of positive solutions to ϕ-Laplace equations and systems. Taiwan. J. Math. 20, 77–89 (2016) MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Mawhin, J.: Periodic solutions of the forced pendulum: classical vs relativistic. Matematiche 65, 97–107 (2010) MathSciNetzbMATHGoogle Scholar
  24. 24.
    Torres, P.: Nondegeneracy of the periodically forced Liénard differential equation with ϕ-Laplacian. Commun. Contemp. Math. 13, 283–292 (2011) MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988) zbMATHGoogle Scholar

Copyright information

© The Author(s) 2018

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.School of Mathematics and StatisticsBeihua UniversityJiLin CityP.R. China

Personalised recommendations