Skip to main content

Nontrivial homoclinic solutions for prescribed mean curvature Rayleigh equations

Abstract

In this paper, some sufficient conditions on the existence of \(2k\pi\)-periodic solutions for a kind of prescribed mean curvature Rayleigh equations are given. Then the existence of nontrivial homoclinic solutions for prescribed mean curvature Rayleigh equations is obtained.

Introduction

In this paper, we are concerned with the existence of homoclinic solutions for the following prescribed mean curvature Rayleigh equation:

$$ \biggl(\frac{x'(t)}{\sqrt{1+x^{\prime 2}(t)}} \biggr)'+f \bigl(x'(t)\bigr)+g\bigl(x(t)\bigr)=e(t), $$
(1.1)

where \(f,g,e\in C(\mathbb{R}, \mathbb{R})\) with \(f(0)=0\) and \(g(0)=0\).

A solution \(x(t)\) of (1.1) is named homoclinic (to 0) if \(x(t)\to0\) and \(x'(t)\to0\) as \(|t|\to0\). Furthermore, \(x(t)\) is called a nontrivial homoclinic solution (1.1) if \(x(t)\) is a homoclinic solution of (1.1) and \(x\neq0\).

Various types of prescribed mean equations have been studied widely by some authors in many papers (see [18]) because of their having appeared in some scientific fields, such as differential geometry and physics. Recently, some results on the existence of solutions for prescribed mean equations were obtained (see [912] and references cited therein). Feng in [10] discussed a delay prescribed mean curvature Liénard equation of the form

$$ \biggl(\frac{x'(t)}{\sqrt{1+x^{\prime2}(t)}} \biggr)'+f\bigl(x(t) \bigr)x'(t)+g\bigl(t,x\bigl(t-\tau (t)\bigr)\bigr)=e(t), $$
(1.2)

estimated a priori bounds by eliminating the nonlinear term \((\frac{x'(t)}{\sqrt{1+x^{\prime2}(t)}} )'\) and established sufficient conditions on the existence of periodic solutions for (1.2) by using Mawhin’s continuation theorem. The main difficulty overcome by Feng in [10] lies in the nonlinear term \((\frac {x'(t)}{\sqrt{1+x^{\prime2}(t)}} )'\), the existence of which obstructs the usual method of finding a priori bounds. He transformed (1.2) into the following equivalent system:

$$ \left \{ \begin{array}{@{}l} x_{1}'(t)=\psi(x_{2}(t))=\frac{x_{2}(t)}{\sqrt{1-x_{2}^{2}(t)}},\\ x_{2}'(t)=-f(x_{1}(t))\psi(x_{2}(t))-g(t,x_{1}(t))+e(t), \end{array} \right . $$
(1.3)

and used Mawhin’s continuation theorem to prove the existence result. From then on, similar approaches were used by Li and Wang [13] and Li et al. [14]. Clearly, \(|x_{2}|< c<1\) (c is a constant) is necessarily satisfied when Mawhin’s continuation theorem is applied to the system (1.3). But, as pointed out by Liang and Lu in [15], the proof of \(|x_{2}|< c<1\) was not done in [10, 13, 14]. To do it, Li and Wang in [16] gave a complementary proof.

In [15], Liang and Lu investigated the following prescribed mean curvature Duffing equation:

$$ \biggl(\frac{x'(t)}{\sqrt{1+x^{\prime2}(t)}} \biggr)'+cx'(t)+f \bigl(x(t)\bigr)=p(t), $$
(1.4)

where \(f\in C^{1}(\mathbb{R},\mathbb{R})\), \(c>0\). Assume

(A1):

there exist constants \(m_{0}>0\), \(\alpha>1\) such that \(xf(x)\leqslant-m_{0}|x|^{\alpha}\) and \(f'(x)<0\), \(\forall x\in\mathbb{R}\),

and
(A2):

\(p\in C(\mathbb{R},\mathbb{R})\) is a bounded function with \(p(t)\neq0\) and

$$ B:=\max \biggl\{ \biggl(\int_{\mathbb{R}}\bigl|p(t)\bigr|^{2}\,dt \biggr)^{\frac{1}{2}}, \biggl(\int_{\mathbb{R}}\bigl|p(t)\bigr|^{\beta}\,dt \biggr)^{\frac{1}{\beta}} \biggr\} +\sup_{t\in \mathbb{R}}|p(t)|< +\infty, $$

where \(\frac{1}{\alpha}+\frac{1}{\beta}=1\).

If (A1), (A2), and condition

$$ B^{\frac{\alpha}{2\alpha-2}}+TBm_{0}^{\frac{1}{2\alpha-2}}< \sqrt {2T}m_{0}^{\frac{1}{2\alpha-2}} $$
(1.5)

hold, they obtained the existence of homoclinic solutions for (1.4). For the method of obtaining homoclinic solution, we also see the papers [1720]. It is not difficult to see that the condition (1.5) is complex and strong. In this paper, we will consider more general equation (1.1) and obtain the existence of homoclinic solutions under the more simple and reasonable conditions. To find a homoclinic solution for (1.1), we seek a limit of a certain sequence of \(2kT\)-periodic solutions \(x_{k}(t)\) for the following equations:

$$ \biggl(\frac{x'(t)}{\sqrt{1+x^{\prime2}(t)}} \biggr)'+f \bigl(x'(t)\bigr)+g\bigl(x(t)\bigr)=e_{k}(t), $$
(1.6)

where \(k\in\mathbb{N}\), \(e_{k}:\mathbb{R}\to\mathbb{R}\) is a \(2kT\)-periodic function (\(T>0\) is a constant) defined by

$$ e_{k}(t)=\left \{ \begin{array}{@{}l@{\quad}l} e(t), & t\in[-kT,kT-\varepsilon_{0}),\\ e(kT-\varepsilon_{0})+\frac{e(-kT)-e(kT-\varepsilon_{0})}{\varepsilon _{0}}(t-kT+\varepsilon_{0}), & t\in[kT-\varepsilon_{0},kT], \end{array} \right . $$
(1.7)

\(\varepsilon_{0}\in(0,T)\) is a constant independent of k.

Preliminaries

Let X and Y be real Banach spaces and \(L:X\supset \operatorname{Dom} L\rightarrow Y\) be a linear operator. L is said to be a Fredholm operator with index zero provided that

  1. (i)

    ImL is closed subset of Y,

  2. (ii)

    \(\operatorname{dim}\ker L=\operatorname{codim} \operatorname{Im} L <+\infty\).

Set \(X=\ker L\oplus X_{1}\), \(Y=\operatorname{Im} L\oplus Y_{1}\). Let \(P:X\rightarrow \ker L\) and \(Q:Y\rightarrow Y_{1}\) be the nature projections. It is easy to see that \(\ker L\cap(\operatorname{Dom} L\cap X_{1})={0}\). Thus the restriction \(L_{P}:=L|_{\operatorname{Dom} L\cap X_{1}}\) is invertible. We denote by K the inverse of \(L_{P}\).

Let Ω be an open bounded subset of X with \(\operatorname{Dom} L\cap\Omega\neq \phi\). A map \(N:\overline{\Omega}\rightarrow Y\) is said to be L-compact in \(\overline{\Omega}\) if \(QN:\overline{\Omega}\rightarrow Y\) and \(K(I-Q)N:\overline{\Omega}\rightarrow X\) are compact.

The following lemma due to Mawhin (see [21]) is a fundamental tool to prove the existence of \(2kT\)-periodic solutions for (1.6).

Lemma 2.1

Let L be a Fredholm operator of index zero and Let N be L-compact on \(\overline{\Omega}\). If the following conditions hold.

(h1):

\(Lx\neq\lambda Nx\), \(\forall (x,\lambda)\in [(D(L)\setminus\ker L)\cap\partial\Omega]\times(0,1)\);

(h2):

\(Nx \notin \operatorname{Im}L\), \(\forall x\in\ker L\cap\partial\Omega\);

(h3):

\(\deg(JQN|_{\ker L},\Omega\cap\ker L,0)\neq0\), where \(J : \operatorname{Im}Q\rightarrow\ker L\) is an isomorphism.

Then \(Lx=Nx\) has at least one solution in \(D(L)\cap\overline{\Omega}\).

The following lemma is a special case of Lemma 2.1 in [22].

Lemma 2.2

If \(x:\mathbb{R}\to\mathbb{R}\) is continuously differentiable on , \(a>0\), then the following inequality holds:

$$ \bigl|x(t)\bigr|\leqslant(2a)^{-\frac{1}{2}} \biggl(\int_{t-a}^{t+a}\bigl|x(s)\bigr|^{2}\,ds \biggr)^{\frac{1}{2}} +a(2a)^{-\frac{1}{p}} \biggl(\int_{t-a}^{t+a}\bigl|x'(s)\bigr|^{2}\,ds \biggr)^{\frac{1}{2}}. $$
(2.1)

Lemma 2.3

[22]

Let \(x_{k}\in C_{2kT}^{2}\) be \(2kT\)-periodic function for each \(k\in \mathbb{N}\) with

$$ \|x_{k}\|_{\infty}\leqslant A_{0}, \qquad \bigl\| x'_{k}\bigr\| _{\infty}\leqslant A_{1}, \qquad \bigl\| x''_{k}\bigr\| _{\infty}\leqslant A_{2}, $$

where \(A_{0}\), \(A_{1}\), and \(A_{2}\) are constants independent of \(k\in\mathbb {N}\). Then there exists a function \(x_{0}\in C^{1}(\mathbb{R},\mathbb{R})\) such that for each interval \([c,d]\subset\mathbb{R}\), there is a subsequence \(\{x_{k_{j}}\}\) of \(\{x_{k}\}_{k\in\mathbb{N}}\) with \(x'_{k_{j}}(t)\to x'_{0}(t)\) uniformly on \([c,d]\).

In order to apply Mawhin’s continuation theorem to study the existence of \(2kT\)-periodic solution of (1.6), we rewrite (1.6) as

$$ \left \{ \begin{array}{@{}l} x'(t)=\frac{y(t)}{\sqrt{1-y^{2}(t)}},\\ y'(t)=-f(\frac{y(t)}{\sqrt{1-y^{2}(t)}})-g(x(t))+e_{k}(t). \end{array} \right . $$
(2.2)

Obviously, if \(z(t)=(x(t),y(t))^{\top}\) is a \(2kT\)-periodic solution of (2.2), then \(x(t)\) must be a \(2kT\)-periodic solution of (1.6). Hence, the problem of finding a \(2kT\)-periodic solution of (1.6) reduces to finding one of (2.2).

Now, we set

$$ X_{k}=Y_{k}= \bigl\{ z:z(t)=\bigl(x(t),y(t) \bigr)^{\top}\in C\bigl(\mathbb{R}^{1},\mathbb {R}^{2} \bigr), z(t)=z(t+2kT) \bigr\} , $$

with the norm \(\|z\|=\max \{\|x\|_{\infty},\|y\|_{\infty} \}\), where

$$ \|x\|_{\infty}=\max_{t\in[0,2kT]}\bigl|x(t)\bigr|, \qquad \|y \|_{\infty}=\max_{t\in [0,2kT]}\bigl|y(t)\bigr|. $$

Clearly, \(X_{k}\) and \(Y_{k}\) are Banach spaces. Meanwhile, let

$$ L:X_{k}\supset \operatorname{Dom} L\rightarrow Y_{k}, \qquad Lz=z'=\bigl(x'(t),y'(t) \bigr)^{\top}, $$

where

$$ \operatorname{Dom} L= \bigl\{ z:z=\bigl(x(t),y(t)\bigr)^{\top}\in C^{1}\bigl(\mathbb{R},\mathbb {R}^{2}\bigr),z(t)=z(t+2kT) \bigr\} . $$

Define a nonlinear operator \(N:X_{k}\rightarrow Y_{k}\) by

$$ Nz= \begin{pmatrix} \frac{y(t)}{\sqrt{1-y^{2}(t)}}\\ -f(\frac{y(t)}{\sqrt{1-y^{2}(t)}})-g(x(t))+e(t) \end{pmatrix}. $$

Then the system (2.2) can be written to \(Lz=Nz\).

It is easy to see that \(\ker L=\mathbb{R}^{2}\) and \(\operatorname{Im} L= \{u\in Y_{k}:\int_{-kT}^{kT} u(s)\,ds=0 \}\). So L is a Fredholm operator with index zero.

Let \(P:X_{k}\rightarrow\ker L\) and \(Q:Y_{k}\rightarrow \operatorname{Im} Q\) be defined by

$$ Pz=\frac{1}{2kT}\int_{-kT}^{kT} z(s)\,ds,\qquad Qu=\frac{1}{2kT}\int_{-kT}^{kT} u(s)\,ds, $$

and denote by K the inverse of \(L|_{\ker P\cap \operatorname{Dom} L}\). Then, \(\ker L=\operatorname{Im} Q=\mathbb{R}^{2}\) and

$$ Ku(t)=\int_{-kT}^{kT} G(t,s)u(s)\,ds, $$
(2.3)

where

$$ G(t,s)=\left \{ \begin{array}{@{}l@{\quad}l} \frac{s}{2kT}, & -kT\leqslant s< t\leqslant kT,\\ \frac{s-kT}{2kT}, & -kT\leqslant t\leqslant s\leqslant kT. \end{array} \right . $$

It follows from (2.3) that N is L-compact on \(\overline{\Omega }\), where Ω is an open, bounded subset of \(X_{k}\).

Main result

For the sake of convenience, we give the following fundamental assumptions.

(H1):

There exist α and β with \(\beta>\alpha>0\) such that \(\forall x\in\mathbb{R}\),

$$ \alpha x^{2}\leqslant xf(x)\leqslant\beta x^{2}. $$
(H2):

There exists \(\gamma>0\) such that

$$ xg(x)\leqslant-\gamma x^{2}. $$
(H3):

\(e(t)\) is bounded on and

$$ 0< d:=\max \biggl\{ \biggl(\int_{-\infty}^{+\infty}e^{2}(t)\,dt \biggr)^{\frac {1}{2}},\sup_{t\in\mathbb{R}}\bigl|e(t)\bigr| \biggr\} <+\infty. $$
Obviously, the conditions (H1), (H2), and (H3) are simplistic and reasonable.

Theorem 3.1

Let (H1), (H2), and (H3) hold. Then for each \(k\in\mathbb {N}\), (1.6) has at least one \(2kT\)-periodic solution.

Proof

We consider the auxiliary system of the system (2.2),

$$ \left \{ \begin{array}{@{}l} x'(t)=\lambda\frac{y(t)}{\sqrt{1-y^{2}(t)}}=\lambda\psi(y(t)),\\ y'(t)=-\lambda f(\psi(y(t)))-\lambda g(x(t))+\lambda e_{k}(t), \end{array} \right . $$
(3.1)

where \(\lambda\in(0,1]\) is a parameter. Firstly, we will prove that the set of all possible \(2kT\)-periodic solutions of the system (3.1) is bounded.

Obviously, the system (3.1) is equivalent to the following equation:

$$ \biggl(\frac{\frac{1}{\lambda}x'(t)}{\sqrt{1+\frac{1}{\lambda ^{2}}x^{\prime2}(t)}} \biggr)'+\lambda f\biggl( \frac{1}{\lambda}x'(t)\biggr)+\lambda g\bigl(x(t)\bigr)=\lambda e_{k}(t). $$
(3.2)

Multiplying (3.2) by \(x'\) and integrating from \(-kT\) to kT, we have

$$ \lambda\int_{-kT}^{kT}f\biggl( \frac{1}{\lambda}x'(t)\biggr)x'(t)\,dt +\lambda\int _{-kT}^{kT}g\bigl(x(t)\bigr)x'(t)\,dt= \lambda\int_{-kT}^{kT}e_{k}(t)x'(t)\,dt. $$
(3.3)

By (H1), we obtain

$$\begin{aligned} \biggl\vert \lambda\int_{-kT}^{kT}f \biggl(\frac{1}{\lambda}x'(t)\biggr)x'(t)\,dt\biggr\vert &\geqslant\lambda^{2}\int_{-kT}^{kT}f \biggl(\frac{1}{\lambda}x'(t)\biggr)\frac {x'(t)}{\lambda}\,dt \\ &\geqslant\alpha\int_{-kT}^{kT}\bigl\vert x'(t)\bigr\vert ^{2}\,dt. \end{aligned}$$
(3.4)

By (1.7), we get

$$\begin{aligned} \int_{-kT}^{kT}\bigl\vert e_{k}(t)\bigr\vert ^{2}\,dt={}& \int_{-kT}^{kT-\varepsilon _{0}} \bigl\vert e(t)\bigr\vert ^{2}\,dt+ \int_{kT-\varepsilon_{0}}^{kT} \biggl|e(kT-\varepsilon_{0}) \\ &{} +\frac{e(-kT)-e(kT-\varepsilon_{0})}{\varepsilon_{0}}\cdot (t-kT+\varepsilon_{0}) \biggr|^{2}\,dt \\ \leqslant{}&\int_{-kT}^{kT-\varepsilon_{0}}\bigl\vert e(t)\bigr\vert ^{2}\,dt+\int_{kT-\varepsilon_{0}}^{kT}\max \bigl\{ \bigl|e(kT-\varepsilon_{0}) \bigr|^{2}, \bigl|e(-kT) \bigr|^{2} \bigr\} \,dt \\ \leqslant{}&\int_{-\infty}^{+\infty} \bigl|e(t) \bigr|^{2}\,dt+\int_{kT-\varepsilon_{0}}^{kT}d^{2}\,dt \\ \leqslant{}& d^{2}(1+\varepsilon_{0}). \end{aligned}$$
(3.5)

Noticing that \(\int_{-kT}^{kT}g(x(t))x'(t)\,dt=0\), we have from (3.3), (3.4), and (3.5)

$$\begin{aligned} \alpha\int_{-kT}^{kT}\bigl\vert x'(t)\bigr\vert ^{2}\,dt&\leqslant\biggl\vert \lambda \int_{-kT}^{kT}f\biggl(\frac{1}{\lambda}x'(t) \biggr)x'(t)\,dt\biggr\vert \\ &\leqslant\lambda \biggl(\biggl\vert \int_{-kT}^{kT}g \bigl(x(t)\bigr)x'(t)\,dt\biggr\vert +\biggl\vert \int _{-kT}^{kT}e_{k}(t)x'(t)\,dt \biggr\vert \biggr) \\ &\leqslant\lambda \biggl(\int_{-kT}^{kT}e_{k}^{2}(t)\,dt \biggr)^{\frac {1}{2}}\cdot \biggl(\int_{-kT}^{kT} \bigl|x'(t) \bigr|^{2}\,dt \biggr)^{\frac {1}{2}} \\ &\leqslant\lambda d\sqrt{1+\varepsilon_{0}}\cdot \biggl(\int _{-kT}^{kT} \bigl|x'(t) \bigr|^{2}\,dt \biggr)^{\frac{1}{2}}, \end{aligned}$$

i.e.,

$$ \biggl(\int_{-kT}^{kT} \bigl|x'(t) \bigr|^{2}\,dt \biggr)^{\frac{1}{2}}\leqslant \frac{\lambda d}{\alpha}\sqrt{1+\varepsilon_{0}}. $$
(3.6)

Hence, there exists a positive constant \(D_{1}\) independent of k and λ such that

$$ \bigl\| x'\bigr\| _{2}\leqslant D_{1}. $$
(3.7)

Multiplying (3.2) by x and integrating from \(-kT\) to kT, we obtain

$$\begin{aligned} &\int_{-kT}^{kT} \biggl( \frac{\frac{1}{\lambda}x'(t)}{\sqrt{1+\frac {1}{\lambda^{2}}x^{\prime2}(t)}} \biggr)'x(t)\,dt+\lambda\int_{-kT}^{kT} f\biggl(\frac {1}{\lambda}x'(t)\biggr)x(t)\,dt+\lambda\int _{-kT}^{kT}g\bigl(x(t)\bigr)x(t)\,dt \\ &\quad=\lambda\int_{-kT}^{kT}e_{k}(t)x(t)\,dt. \end{aligned}$$
(3.8)

Since \(x'(t)=\lambda\frac{y(t)}{\sqrt{1-y^{2}(t)}}\), we get \(y(t)=\frac {\frac{1}{\lambda}x'(t)}{\sqrt{1+\frac{1}{\lambda^{2}}x^{\prime2}(t)}}\). Then

$$\begin{aligned} \int_{-kT}^{kT} \biggl( \frac{\frac{1}{\lambda}x'(t)}{\sqrt{1+\frac {1}{\lambda^{2}}x^{\prime2}(t)}} \biggr)'x(t)\,dt&= \int_{-kT}^{kT} y'(t)x(t)\,dt \\ &=-\int_{-kT}^{kT} y(t)x'(t)\,dt \\ &=-\lambda\int_{-kT}^{kT}\frac{y^{2}(t)}{\sqrt{1-y^{2}(t)}}\,dt. \end{aligned}$$
(3.9)

It follows from (3.8) and (3.9) that

$$ -\int_{-kT}^{kT}g\bigl(x(t) \bigr)x(t)\,dt\leqslant-\int_{-kT}^{kT} f\biggl( \frac {1}{\lambda}x'(t)\biggr)x(t)\,dt+ \int_{-kT}^{kT}e_{k}(t)x(t)\,dt. $$
(3.10)

By (H2), we have

$$ \int_{-kT}^{kT}g\bigl(x(t) \bigr)x(t)\,dt\leqslant-\int_{-kT}^{kT}\gamma x^{2}(t)\,dt=-\gamma\|x\|_{2}^{2}. $$
(3.11)

By (H1) and (3.6), we obtain

$$\begin{aligned} -\int_{-kT}^{kT} f\biggl( \frac{1}{\lambda}x'(t)\biggr)x(t)\,dt&\leqslant\beta\int _{-kT}^{kT} \biggl|\frac{1}{\lambda}x'(t)\biggr|\bigl|x(t)\bigr|\,dt \\ &\leqslant\beta \biggl(\int_{-kT}^{kT} \biggl| \frac{1}{\lambda}x'(t)\biggr|^{2}\,dt \biggr)^{\frac{1}{2}}\cdot \biggl(\int_{-kT}^{kT} \bigl|x(t)\bigr|^{2}\,dt \biggr)^{\frac {1}{2}} \\ &\leqslant\frac{\beta}{\lambda}\cdot\bigl\| x'\bigr\| _{2}\cdot\|x \|_{2} \\ &\leqslant\frac{\beta d}{\alpha}\sqrt{1+\varepsilon_{0}}\|x \|_{2}. \end{aligned}$$
(3.12)

By (3.5), we get

$$\begin{aligned} \int_{-kT}^{kT} e_{k}(t)x(t)\,dt& \leqslant \biggl(\int_{-kT}^{kT} e_{k}^{2}(t)\,dt \biggr)^{\frac{1}{2}}\cdot \biggl(\int_{-kT}^{kT} \bigl|x(t)\bigr|^{2}\,dt \biggr)^{\frac{1}{2}} \\ &\leqslant d\sqrt{1+\varepsilon_{0}}\|x\|_{2}. \end{aligned}$$
(3.13)

Then we get from (3.10), (3.11), (3.12), and (3.13)

$$ \gamma\|x\|_{2}^{2}\leqslant\frac{\beta d}{\alpha}\sqrt{1+ \varepsilon_{0}}\| x\|_{2}+d\sqrt{1+\varepsilon_{0}} \|x\|_{2}, $$

i.e.,

$$ \|x\|_{2}\leqslant\frac{\alpha+\beta}{\alpha\gamma} d\sqrt{1+\varepsilon_{0}}. $$

Therefore, there exists a positive constant \(D_{2}\) independent of k and λ such that

$$ \|x\|_{2}\leqslant D_{2}. $$
(3.14)

Thus, by using Lemma 2.2, we have

$$\begin{aligned} \bigl|x(t)\bigr|&\leqslant(2T)^{-\frac{1}{2}} \biggl(\int_{t-T}^{t+T}\bigl|x(s)\bigr|^{2} \biggr)^{\frac{1}{2}}+ T(2T)^{-\frac{1}{2}} \biggl(\int_{t-T}^{t+T}\bigl|x'(s)\bigr|^{2} \biggr)^{\frac{1}{2}} \\ &\leqslant(2T)^{-\frac{1}{2}} \biggl(\int_{t-kT}^{t+kT}\bigl|x(s)\bigr|^{2} \biggr)^{\frac{1}{2}}+ T(2T)^{-\frac{1}{2}} \biggl(\int_{t-kT}^{t+kT}\bigl|x'(s)\bigr|^{2} \biggr)^{\frac{1}{2}} \\ &=(2T)^{-\frac{1}{2}} \biggl(\int_{-kT}^{kT}\bigl|x(s)\bigr|^{2} \biggr)^{\frac{1}{2}}+ T(2T)^{-\frac{1}{2}} \biggl(\int_{-kT}^{kT}\bigl|x'(s)\bigr|^{2} \biggr)^{\frac{1}{2}} \\ &\leqslant(2T)^{-\frac{1}{2}}D_{2}+T(2T)^{-\frac{1}{2}}D_{1}. \end{aligned}$$

Hence, there exists a positive constant \(M_{1}\) independent of k and λ such that

$$ \|x\|_{\infty}\leqslant M_{1}. $$

In what follows, we prove that there exists a constant \(\varepsilon_{1}\) with \(0<\varepsilon_{1}\ll1\) such that

$$ \bigl|y(t)\bigr|< 1-\varepsilon_{1}, \quad\forall t\in \mathbb{R}. $$
(3.15)

Since \(\|x\|_{\infty}\leqslant M_{1}\) and g is continuous, there exists \(M_{2}>0\) such that

$$ -M_{2}< -g\bigl(x(t)\bigr)+e_{k}(t)<M_{2}, \quad \forall t\in\mathbb{R}. $$

By (H1), we get

$$ f(x)\geqslant\alpha x, \quad \forall x>0. $$

Now we prove by contradiction that

$$ y(t)\leqslant\frac{M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}, \quad \forall t\in\mathbb{R}. $$

Assume that there exist \(t_{2}^{*}>t_{1}^{*}\) such that

$$ y\bigl(t_{1}^{*}\bigr)=\frac{M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}, \qquad y\bigl(t_{2}^{*} \bigr)>\frac {M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}} $$

and

$$ y(t)>\frac{M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}, \quad \forall t\in\bigl(t_{1}^{*},t_{2}^{*} \bigr). $$

Noticing that \(\lambda\in(0,1]\), we have \(\forall t\in(t_{1}^{*},t_{2}^{*})\),

$$ y'(t)=\lambda \bigl(-f \bigl(\psi\bigl(y(t)\bigr) \bigr)- g\bigl(x(t)\bigr)+e_{k}(t) \bigr)< 0, $$

which is a contradiction. By (H1), we get

$$ f(x)\leqslant\alpha x, \quad \forall x< 0. $$

By using a similar argument, we can prove that

$$ y(t)\geqslant-\frac{M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}, \quad \forall t\in\mathbb{R}. $$

Thus

$$ -\frac{M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}\leqslant y(t)\leqslant\frac {M_{2}}{\sqrt{M_{2}^{2}+\alpha^{2}}}, \quad \forall t\in \mathbb{R}. $$

Therefore, (3.15) holds.

Putting

$$ \Omega= \bigl\{ \bigl(x(t),y(t)\bigr)\in C\bigl(\mathbb{R}^{1}, \mathbb{R}^{2}\bigr):\|x\|_{\infty }< M_{1}+1,\|y \|_{\infty}<1-\varepsilon_{1} \bigr\} , $$

we can give a standard argument on Ω by using Lemma 2.1 (also see [13] or [14]) and find that the system (2.2) has at least one \(2kT\)-periodic solution. Equivalently, (1.6) has at least one \(2kT\)-periodic solution. □

Theorem 3.2

Let (H1), (H2), and (H3) hold. Then (1.1) has at least one nontrivial homoclinic solution.

Proof

If \((x_{k}(t), y_{k}(t))\) is a solution of (1.6), then

$$ \biggl(\frac{x'_{k}(t)}{\sqrt{1+(x'_{k}(t))^{2}}} \biggr)'+f \bigl(x'_{k}(t)\bigr)+g\bigl(x_{k}(t) \bigr)=e_{k}(t). $$
(3.16)

From Theorem 3.1, we have

$$ \|x_{k}\|_{\infty}< M_{1}+1, \qquad \|y_{k}\|_{\infty}<1-\varepsilon_{1}, $$
(3.17)

where \(y_{k}(t)=\frac{x'_{k}(t)}{\sqrt{1+(x'_{k}(t))^{2}}}\). Equation (3.16) is equivalent to

$$ \left \{ \begin{array}{@{}l} x'_{k}(t)=\frac{y_{k}(t)}{\sqrt{1-y_{k}^{2}(t)}},\\ y'_{k}(t)=-f(\frac{y_{k}(t)}{\sqrt{1-y_{k}^{2}(t)}})-g(x_{k}(t))+e_{k}(t). \end{array} \right . $$

Since f, g, \(e_{k}\) are continuous, we have \(y_{k}(t)\) is continuous differentiable on . Moreover, it follows that \(x'_{k}(t)\) is also continuous differentiable on . Hence,

$$ x''_{k}(t)= \frac{y'_{k}(t)}{ (1-y_{k}^{2}(t) )^{\frac{3}{2}}}. $$
(3.18)

Since f, g, \(e_{k}\) are continuous, we find from (3.17) that there exists a positive constant \(M_{3}\) independent of k such that

$$ \bigl\| y'_{k}\bigr\| _{\infty}< M_{3}. $$

Hence, by (3.18), there exists a positive constant \(M_{4}\) independent of k such that

$$ \bigl\| x''_{k}\bigr\| _{\infty}< M_{4}. $$

By using Lemma 2.3, we find that there is a function \(x_{0}\in C^{1}(\mathbb {R}, \mathbb{R})\) such that, for each interval \([a,b]\subset\mathbb {R}\), there is a subsequence \(\{x_{k_{j}}(t)\}\) of \(x_{k}(t)\) with \(x'_{k_{j}}(t)\to x'_{0}(t)\) uniformly on \([a,b]\). In what follows, we will show that \(x_{0}(t)\) is just a homoclinic solution of (1.1).

For all \(a,b\in\mathbb{R}\) with \(a< b\), there exist a positive integer \(j_{0}\) and a positive real number \(\varepsilon_{2}\) such that, for \(j>j_{0}\), \([a-\varepsilon_{2},b+\varepsilon_{2}]\subset[-k_{j}T, k_{j}T-\varepsilon_{0}]\). Then for \(j>j_{0}\),

$$\biggl(\frac{x'_{k_{j}}(t)}{\sqrt{1+(x'_{k_{j}}(t))^{2}}} \biggr)'+f \bigl(x'_{k_{j}}(t)\bigr)+g\bigl(x_{k_{j}}(t) \bigr)=e(t). $$
(3.19)

Since \(x'_{k_{j}}(t)\to x'_{0}(t)\) uniformly on \([a,b]\), we have

$$ -f\bigl(x'_{k_{j}}(t)\bigr)-g\bigl(x_{k_{j}}(t) \bigr)+e(t)\to-f\bigl(x'_{0}(t)\bigr)-g \bigl(x_{0}(t)\bigr)+e(t), \quad \mbox{uniformly on } [a,b]. $$

Since \(\frac{x'_{k_{j}}(t)}{\sqrt{1+(x'_{k_{j}}(t))^{2}}}\to\frac {x'_{0}(t)}{\sqrt{1+(x'_{0}(t))^{2}}}\) uniformly on \([a,b]\) and \(\frac {x'_{k_{j}}(t)}{\sqrt{1+(x'_{k_{j}}(t))^{2}}}=y_{k_{j}}(t)\) is continuous differentiable for \(t\in[a,b]\), we get

$$ \biggl(\frac{x'_{k_{j}}(t)}{\sqrt{1+(x'_{k_{j}}(t))^{2}}} \biggr)'\to \biggl(\frac {x'_{0}(t)}{\sqrt{1+(x'_{0}(t))^{2}}} \biggr)', \quad \mbox{uniformly on } [a,b]. $$

Hence, we obtain

$$ \biggl(\frac{x'_{0}(t)}{\sqrt{1+(x'_{0}(t))^{2}}} \biggr)'+f \bigl(x'_{0}(t)\bigr)+g\bigl(x_{0}(t) \bigr)=e(t), \quad t\in [a,b]. $$
(3.20)

Noticing that a, b are two arbitrary constants with \(a< b\), we find that \(x_{0}:\mathbb{R}\to\mathbb{R}\) is a solution of (1.1).

In the following, we prove that \(x_{0}(t)\to0\) and \(x'_{0}(t)\to0\) as \(|t|\to+\infty\). Firstly, we prove \(x_{0}(t)\to0\) as \(|t|\to+\infty\). Let i be a positive integer with \(i< k_{j}\), then

$$\begin{aligned} \int_{-iT}^{iT} \bigl(\bigl|x_{0}(t)\bigr|^{2}+\bigl|x'_{0}(t)\bigr|^{2} \bigr)\,dt &=\lim_{j\to+\infty }\int_{-iT}^{iT} \bigl(\bigl|x_{k_{j}}(t)\bigr|^{2}+\bigl|x'_{k_{j}}(t)\bigr|^{2} \bigr)\,dt \\ &\leqslant\lim_{j\to+\infty}\int_{-k_{j}T}^{k_{j}T} \bigl(\bigl|x_{k_{j}}(t)\bigr|^{2}+\bigl|x'_{k_{j}}(t)\bigr|^{2} \bigr)\,dt \\ & \leqslant D_{1}^{2}+D_{2}^{2}. \end{aligned}$$

Let \(i\to+\infty\), then

$$ \int_{-\infty}^{\infty} \bigl(\bigl|x_{0}(t)\bigr|^{2}+\bigl|x'_{0}(t)\bigr|^{2} \bigr)\,dt =\lim_{j\to +\infty}\int_{-iT}^{iT} \bigl(\bigl|x_{0}(t)\bigr|^{2}+\bigl|x'_{0}(t)\bigr|^{2} \bigr)\,dt\leqslant D_{1}^{2}+D_{2}^{2}, $$

which implies

$$ \lim_{r\to+\infty}\int_{|t|\geqslant r} \bigl(\bigl|x_{0}(t)\bigr|^{2}+\bigl|x'_{0}(t)\bigr|^{2} \bigr)\,dt=0. $$

Using Lemma 2.2, we have

$$\begin{aligned} \bigl|x_{0}(t)\bigr|&\leqslant(2T)^{-\frac{1}{2}} \biggl(\int _{t-T}^{t+T}\bigl|x_{0}(s)\bigr|^{2}\,dt \biggr)^{\frac{1}{2}}+ T(2T)^{-\frac{1}{2}} \biggl(\int_{t-T}^{t+T}\bigl|x'_{0}(s)\bigr|^{2}\,dt \biggr)^{\frac{1}{2}} \\ &\leqslant2 \bigl((2T)^{-\frac{1}{2}}+T(2T)^{-\frac{1}{2}} \bigr) \biggl(\int _{t-kT}^{t+kT}\bigl(\bigl|x_{0}(s)\bigr|^{2}+\bigl|x'_{0}(s)\bigr|^{2} \bigr)\,dt \biggr)^{\frac{1}{2}} \\ &\to0, \quad\mbox{as } |t|\to+\infty. \end{aligned}$$

Finally, we prove that

$$ x'_{0}(t)\to0 \quad\mbox{as } |t|\to+ \infty. $$
(3.21)

From (3.17), we get

$$ \bigl|x_{0}(t)\bigr|\leqslant M_{1}+1, \qquad \bigl|x'_{0}(t)\bigr| \leqslant\frac{1-\varepsilon _{1}}{\sqrt{2\varepsilon_{1}-\varepsilon_{1}^{2}}}, \quad \mbox{for } t\in \mathbb{R}. $$

Then we have

$$ \biggl| \biggl(\frac{x'_{0}(t)}{\sqrt{1+(x'_{0}(t))^{2}}} \biggr)' \biggr|\leqslant \bigl|f \bigl(x'_{0}(t)\bigr)\bigr|+\bigl|g\bigl(x_{0}(t) \bigr)\bigr|+|e(t)|\leqslant M_{5}, $$

where \(M_{5}\) is a positive constant.

If (3.21) does not hold, then there exists a sequence \(t_{k}\) satisfying

$$ |t_{1}|< |t_{2}|<|t_{3}|<\cdots \quad \mbox{with } |t_{k+1}|-|t_{k}|>1, k=1,2,\ldots $$

and \(\varepsilon_{2}\in(0,\frac{1}{4})\) such that

$$ \bigl|x'_{0}(t_{k})\bigr|\geqslant\frac{2\varepsilon_{2}}{\sqrt{1-(2\varepsilon _{2})^{2}}}, \quad k=1,2,\ldots. $$

Hence we have, for \(t\in[t_{k},t_{k}+\frac{\varepsilon_{2}}{1+M_{5}}]\),

$$\begin{aligned} \bigl|x'_{0}(t)\bigr|&\geqslant\biggl|\frac{x'_{0}(t)}{\sqrt{1+(x'_{0}(t))^{2}}}\biggr| \\ &= \biggl|\frac{x'_{0}(t_{k})}{\sqrt{1+(x'_{0}(t_{k}))^{2}}}+ \int_{t_{k}}^{t} \biggl( \frac{x'_{0}(s)}{\sqrt{1+(x'_{0}(s))^{2}}} \biggr)'\,ds \biggr| \\ &\geqslant \biggl|\frac{x'_{0}(t_{k})}{\sqrt{1+(x'_{0}(t_{k}))^{2}}} \biggr|- \int_{t_{k}}^{t} \biggl| \biggl(\frac{x'_{0}(s)}{\sqrt{1+(x'_{0}(s))^{2}}} \biggr)' \biggr|\,ds \\ &\geqslant2\varepsilon_{2}-\frac{M_{5}}{1+M_{5}}\cdot \varepsilon_{2} \\ &>\varepsilon_{2}. \end{aligned}$$

Therefore,

$$ \int_{-\infty}^{+\infty}\bigl|x'_{0}(t)\bigr|^{2}\,dt \geqslant\sum_{k=1}^{\infty} \int _{t_{k}}^{t_{k}+\frac{\varepsilon_{2}}{1+M_{5}}} \bigl|x'_{0}(t)\bigr|^{2}\,dt= \infty, $$

which is a contradiction. Then (3.21) holds.

By (H3), we have \(e\neq0\). Thus it follows from \(f(0)=0\) and \(g(0)=0\) that \(x_{0}\) is nontrivial. □

An example

In this section, we shall construct an example to show the applications of Theorem 3.2.

Example 4.1

Let \(f(x)=\frac{x^{3}+x}{\sqrt{1+x^{4}}}\), \(g(x)=-\frac{x^{5}+x}{\sqrt {1+x^{8}}}\). The prescribed mean curvature Rayleigh equation

$$ \biggl(\frac{x'}{\sqrt{1+x^{\prime2}}} \biggr)'+f \bigl(x'(t)\bigr)+g\bigl(x(t)\bigr)=\exp\bigl\{ -t^{2}\bigr\} $$
(4.1)

has at least one nontrivial homoclinic solution.

Proof

Obviously, one has

$$ \frac{1}{\sqrt{2}}\cdot x^{2}\leqslant xf(x)\leqslant2x^{2} $$

and

$$ xg(x)\leqslant-\frac{1}{\sqrt{2}}\cdot x^{2}. $$

Then (H1) and (H2) hold. Since

$$ d=\max \biggl\{ \biggl(\int_{-\infty}^{+\infty}\bigl(\exp \bigl\{ -t^{2}\bigr\} \bigr)^{2}\,dt \biggr)^{\frac{1}{2}}, \sup _{t\in\mathbb{R}}\,\exp\bigl\{ -t^{2}\bigr\} \biggr\} =\sqrt [4]{ \frac{\pi}{2}}, $$

(H3) holds. Therefore, (4.1) has at least one nontrivial homoclinic solution. □

References

  1. 1.

    Bergner, M: On the Dirichlet problem for the prescribed mean curvature equation over general domains. Differ. Geom. Appl. 27, 335-343 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  2. 2.

    Rey, O: Heat flow for the equation of surfaces with prescribed mean curvature. Math. Ann. 297, 123-146 (1991)

    Article  MathSciNet  Google Scholar 

  3. 3.

    Benevieri, P, do Ó, J, Medeiros, E: Periodic solutions for nonlinear systems with mean curvature-like operators. Nonlinear Anal. 65, 1462-1475 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  4. 4.

    Benevieri, P, do Ó, J, Medeiros, E: Periodic solutions for nonlinear equations with mean curvature-like operators. Appl. Math. Lett. 20, 484-492 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  5. 5.

    Li, W, Liu, Z: Exact number of solutions of a prescribed mean curvature equation. J. Math. Anal. Appl. 367(2), 486-498 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  6. 6.

    Pan, H: One-dimensional prescribed mean curvature equation with exponential nonlinearity. Nonlinear Anal. 70, 999-1010 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  7. 7.

    Pan, H, Xing, R: Time maps and exact multiplicity results for one-dimensional prescribed mean curvature equations. II. Nonlinear Anal. TMA 74(11), 3751-3768 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  8. 8.

    Amster, P, Mariani, MC: The prescribed mean curvature equation for nonparametric surfaces. Nonlinear Anal. 53(4), 1069-1077 (2003)

    Article  MathSciNet  Google Scholar 

  9. 9.

    Bonheure, D, Habets, P, Obersnel, F, Omari, P: Classical and non-classical solutions of a prescribed curvature equation. J. Differ. Equ. 243, 208-237 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  10. 10.

    Feng, M: Periodic solutions for prescribed mean curvature Liénard equation with a deviating argument. Nonlinear Anal., Real World Appl. 13, 1216-1223 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  11. 11.

    Ma, R, Jiang, L: Existence of positive solutions of one-dimensional prescribed mean curvature equation. Math. Probl. Eng. 2014, Article ID 610926 (2014)

    MathSciNet  Google Scholar 

  12. 12.

    Lu, S, Lu, M: Periodic solutions for a prescribed mean curvature equation with multiple delays. J. Appl. Math. 2014, Article ID 909252 (2014)

    Google Scholar 

  13. 13.

    Li, J, Wang, Z: Periodic solutions for prescribed mean curvature Rayleigh equation with a deviating argument. Adv. Differ. Equ. 2013, Article ID 88 (2013)

    Article  Google Scholar 

  14. 14.

    Li, J, Luo, J, Cai, Y: Existence and uniqueness of anti-periodic solutions for prescribed mean curvature Rayleigh equations. Bound. Value Probl. 2012, Article ID 109 (2012)

    Article  Google Scholar 

  15. 15.

    Liang, Z, Lu, S: Homoclinic solutions for a kind of prescribed mean curvature Duffing-type equation. Adv. Differ. Equ. 2013, Article ID 279 (2013)

    Google Scholar 

  16. 16.

    Li, J, Wang, Z: Erratum: Existence and uniqueness of anti-periodic solutions for prescribed mean curvature Rayleigh equations. Bound. Value Probl. 2014, Article ID 204 (2014)

    Article  Google Scholar 

  17. 17.

    Lu, S: Homoclinic solutions for a class of second order neutral functional differential system. Acta Math. Sci. 33B(5), 1361-1374 (2013)

    Article  Google Scholar 

  18. 18.

    Lu, S: Homoclinic solutions for a class of second-order p-Laplacian differential system with delay. Nonlinear Anal., Real World Appl. 12(1), 780-788 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  19. 19.

    Lu, S: Existence of homoclinic solutions for a class of neutral functional differential equations. Acta Math. Sin. 28, 1261-1274 (2012)

    Article  MATH  Google Scholar 

  20. 20.

    Lu, S: Homoclinic solutions for a second-order p-Laplacian functional differential system with local condition. Adv. Differ. Equ. 2014, Article ID 244 (2014)

    Article  Google Scholar 

  21. 21.

    Gaines, R, Mawhin, J: Coincidence Degree and Nonlinear Differential Equations. Lecture Notes in Mathematics, vol. 568. Springer, Berlin (1977)

    MATH  Google Scholar 

  22. 22.

    Tang, X, Xiao, L: Homoclinic solutions for ordinary p-Laplacian systems with a coercive potential. Nonlinear Anal. TMA 71, 1124-1322 (2009)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Jin Li.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors have equally contributed in obtaining new results in this article and also read and approved the final manuscript.

Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zheng, M., Li, J. Nontrivial homoclinic solutions for prescribed mean curvature Rayleigh equations. Adv Differ Equ 2015, 77 (2015). https://doi.org/10.1186/s13662-015-0417-7

Download citation

Keywords

  • prescribed mean curvature Rayleigh equation
  • homoclinic solution
  • Mawhin’s continuation theorem