- Research
- Open Access
Positive doubly periodic solutions of telegraph equations with delays
- Yongxiang Li1Email author and
- Huanhuan Zhang
Received: 20 November 2014
Accepted: 29 May 2015
Published: 13 June 2015
Abstract
This paper deals with the existence of positive doubly periodic solutions for the nonlinear telegraph equation with delays \(\mathcal{L}u=f( t, x, u(t-\tau_{1}, x),\ldots,u(t-\tau_{n}, x) )\), \((t, x)\in\mathbb{R}^{2}\), where \(\mathcal{L}u:=u_{tt}-u_{xx}+c u_{t}+a(t, x) u \) is a linear telegraph operator acting on function \(u: \mathbb{R}^{2}\to \mathbb{R}\), \(c>0\) is a constant, \(a\in C(\mathbb{R}^{2}, (0, \infty))\) is 2π-periodic in t and x, \(f\in C(\mathbb{R}^{2}\times[0, \infty)^{n}, [0, \infty))\) is 2π-periodic in t and x, and \(\tau_{1}, \ldots, \tau_{n}\in[0, \infty)\) are constants. Some existence results of positive doubly 2π-periodic weak solutions are obtained under that \(f(t, x, \eta_{1}, \ldots, \eta_{n})\) satisfies some superlinear or sublinear growth conditions on \(\eta_{1}, \ldots, \eta_{n}\). The discussion is based on the fixed point index theory in cones.
Keywords
- telegraph equation with delays
- doubly periodic solution
- cone
- fixed point index of cone mapping
MSC
- 35B15
- 47H10
1 Introduction and main results
In this paper we are concerned with the existence of solutions for the nonlinear telegraph equation with time delays with doubly periodic boundary condition where is a linear telegraph operator acting on function \(u: \mathbb{R}^{2}\to \mathbb{R}\), \(c>0\) is a constant, \(a\in C(\mathbb{R}^{2}, (0, \infty))\) is 2π-periodic in t and x, \(f\in C(\mathbb{R}^{2}\times[0, \infty)^{n}, [0, \infty))\) is 2π-periodic in t and x, and \(\tau_{1}, \ldots, \tau_{n}\in[0, \infty)\) are constants.
$$ \mathcal{L}u=f\bigl( t, x, u(t-\tau_{1}, x),\ldots,u(t- \tau_{n}, x) \bigr), \quad (t, x)\in\mathbb{R}^{2} $$
(1.1)
$$ u(t+2\pi, x)=u(t, x+2\pi)=u(t, x),\quad (t, x)\in\mathbb{R}^{2}, $$
(1.2)
$$ \mathcal{L}u:=u_{tt}-u_{xx}+c u_{t}+a(t, x) u $$
(1.3)
As is well known, the telegraph equation describes a great deal of physical systems. For instance, the propagation of electromagnetic waves in an electrically conducting medium, the motion of a string or membrane with external damping, the motion of a viscoelastic fluid under the Maxwell body theory, the damped wave equation in a thermally conducting medium, etc. (see [1, 2]). In these models, the existence of time periodic solutions is an important problem which has attracted many authors’ attention and concern, see [3–16] and the references therein. All of these works are on the telegraph equations without time delays. It has been widely argued and accepted [17, 18] that for various reasons, time delay should be taken into consideration in modeling. Obviously, the telegraph equation with time delay has more actual significance. For instance, in the control propagation of electromagnetic wave signals, the signal intensity \(u(t, x)\) is subjected to a telegraph equation with time delay, in which the time delay expresses that the control act has delays. The purpose of this paper is to discuss existence of positive doubly periodic solutions for the nonlinear telegraph equation (1.1) with time delays.
Let \(\mathbb{T}^{2}\) be the torus defined by Doubly 2π-periodic functions will be identified to functions defined on \(\mathbb{T}^{2}\). We use the following notations: to denote the spaces of doubly periodic functions with the indicated degree of regularity. \(\mathcal{D}'(\mathbb{T}^{2})\) denotes the space of distributions on \(\mathbb{T}^{2}\).
$$ \mathbb{T}^{2}=(\mathbb{R}/2\pi\mathbb{Z})\times(\mathbb{R}/2\pi \mathbb{Z}). $$
(1.4)
$$L^{p}\bigl(\mathbb{T}^{2}\bigr),\qquad C\bigl( \mathbb{T}^{2}\bigr),\qquad C^{\alpha}\bigl(\mathbb{T}^{2} \bigr),\qquad \mathcal{D}\bigl(\mathbb{T}^{2}\bigr)=C^{\infty}\bigl(\mathbb{T}^{2}\bigr),\qquad \ldots $$
We define a doubly periodic solution of Equation (1.1) as a function \(u\in L^{1}(\mathbb{T}^{2})\) that satisfies Equation (1.1) in the distribution sense, that is, with \(f(t, x, u(t-\tau_{1}, x),\ldots,u(t-\tau_{n}, x))\in L^{1}(\mathbb{T}^{2})\).
$$\begin{aligned}& \int_{\mathbb{T}^{2}} u \bigl(\phi_{tt}- \phi_{xx}-c \phi_{t}+a(t, x) \phi\bigr) \,\mathrm{d}t\, \mathrm{d}x \\& \quad =\int_{\mathbb{T}^{2}} f\bigl(t, x,u(t-\tau_{1}, x), \ldots,u(t-\tau_{n}, x)\bigr) \phi\,\mathrm{d}t\,\mathrm{d}x,\quad \forall\phi\in\mathcal{D}\bigl(\mathbb{T}^{2}\bigr), \end{aligned}$$
(1.5)
We assume the following conditions throughout this paper: By assumption (H1), \(0<\underline{a}\le\overline{a}\le\frac {c^{2}}{4}\). Our main results are as follows.
- (H1)
\(a\in C(\mathbb{T}^{2})\) and \(0< a(t, x)\le\frac{c^{2}}{4}\) for \((t, x)\in\mathbb{R}^{2}\);
- (H2)
\(f\in C(\mathbb{T}^{2}\times[0, \infty)^{n}, [0, \infty))\),
$$ \underline{a}=\min_{(t, x)\in\mathbb{T}^{2}} a(t, x),\qquad \overline {a}=\max _{(t, x)\in\mathbb{T}^{2}}a(t, x). $$
(1.6)
Theorem 1.1
Assume that (H1) and (H2) hold. If
f
satisfies the following conditions:
- (F1)there exist positive constants \(c_{1}, \ldots, c_{n}\) satisfying \(c_{1}+\cdots+c_{n}<\underline{a}\) and \(\delta>0\) such thatfor \((t, x)\in\mathbb{R}^{2}\) and \(\eta_{1},\ldots,\eta_{n}\in[0, \delta]\);$$f(t, x, \eta_{1}, \ldots,\eta_{n})\le c_{1} \eta_{1}+\cdots+c_{n} \eta_{n} $$
- (F2)there exist positive constants \(d_{1}, \ldots, d_{n}\) satisfying \(d_{1}+\cdots+d_{n}>\overline{a}\) and \(H>0\) such thatfor \((t, x)\in\mathbb{R}^{2}\) and \(\eta_{1},\ldots,\eta_{n}\ge H\),$$f(t, x, \eta_{1}, \ldots,\eta_{n})\ge d_{1} \eta_{1}+\cdots+d_{n} \eta_{n} $$
Theorem 1.2
Assume that (H1) and (H2) hold. If
f
satisfies the following conditions:
- (F3)there exist positive constants \(d_{1}, \ldots, d_{n}\) satisfying \(d_{1}+\cdots+d_{n}>\overline{a}\) and \(\delta>0\) such thatfor \((t, x)\in\mathbb{R}^{2}\) and \(\eta_{1},\ldots,\eta_{n}\in[0, \delta]\);$$f(t, x, \eta_{1}, \ldots,\eta_{n})\ge d_{1} \eta_{1}+\cdots+d_{n} \eta_{n} $$
- (F4)there exist positive constants \(c_{1}, \ldots, c_{n}\) satisfying \(c_{1}+\cdots+c_{n}<\underline{a}\) and \(H>0\) such thatfor \((t, x)\in\mathbb{R}^{2}\) and \(\eta_{1},\ldots,\eta_{n}\ge H\),$$f(t, x, \eta_{1}, \ldots,\eta_{n})\le c_{1} \eta_{1}+\cdots+c_{n} \eta_{n} $$
In Theorem 1.1, conditions (F1) and (F2) allow the nonlinearity \(f(t, x, \eta_{1},\ldots,\eta_{n})\) to be superlinear growth on \(\eta_{1},\ldots,\eta_{n}\). For instance, satisfies (F1) and (F2), where \(a_{1},\ldots,a_{n}\in C(\mathbb{T}^{2}, [0, \infty))\).
$$f(t, x, \eta_{1},\ldots,\eta_{n})=a_{1}(t, x) \eta_{1}^{2}+\cdots+a_{n}(t, x) \eta_{n}^{2} $$
In Theorem 1.2, conditions (F3) and (F4) allow the nonlinearity \(f(t, x, \eta_{1},\ldots,\eta_{n})\) to be sublinear growth on \(\eta_{1},\ldots,\eta_{n}\). For instance, satisfies (F3) and (F4), where \(b_{1},\ldots,b_{n}\in C(\mathbb{T}^{2}, [0, \infty))\).
$$f(t, x, \eta_{1},\ldots,\eta_{n})=b_{1}(t, x) \sqrt{|\eta_{1}|}+\cdots +b_{n}(t, x)\sqrt{| \eta_{n}|} $$
Conditions (F1) and (F2) in Theorem 1.1 and conditions (F3) and (F4) in Theorem 1.2 are optimal for the existence of positive double periodic solutions of Equation (1.1). This fact can been shown from the telegraph equation with linear time delays where \(c_{1}, \ldots, c_{n}\) are positive constants, \(h\in C(\mathbb{T}^{2}, (0,\infty))\) is a positive doubly periodic function. If \(c_{1}, \ldots, c_{n}\) satisfy Equation (1.7) has no positive doubly 2π-periodic solutions. In fact, if Equation (1.7) has a positive doubly 2π-periodic solution u, by definition (1.5) of doubly periodic solution, choosing \(\phi\equiv1\) and using the periodicity of \(u(t, x)\), noticing that we can obtain that \(\int_{\mathbb{T}^{2}} h(t, x) \, \mathrm{d} t\, \mathrm{d} x=0\), which contradicts the positivity of \(h(t, x)\). Hence, Equation (1.7) has no positive doubly periodic solution. For \(a(t)\equiv\frac{c^{2}}{4}\) and \(f(t, x, \eta_{1},\ldots,\eta_{n})=c_{1} \eta_{1}+\cdots+c_{n} \eta_{n}+h(t, x)\), if condition (1.8) holds, conditions (F1) and (F2) in Theorem 1.1 and conditions (F3) and (F4) in Theorem 1.2 are not satisfied. From this we see that the conditions in Theorems 1.1 and 1.2 are optimal.
$$ u_{tt}-u_{xx}+c u_{t}+\frac{c^{2}}{4} u=c_{1} u(t-\tau_{1},x)+\cdots+c_{n} u(t- \tau_{n},x)+h(t, x), $$
(1.7)
$$ c_{1}+c_{2}+\cdots+c_{n}=\frac{c^{2}}{4}, $$
(1.8)
$$ \int_{\mathbb{T}^{2}}u(t-\tau_{k}, x)\, \mathrm{d} t \, \mathrm{d} x=\int_{\mathbb{T}^{2}}u(t, x)\, \mathrm{d} t\, \mathrm{d} x, \quad k=1, 2,\ldots,n, $$
(1.9)
The proofs of Theorems 1.1 and 1.2 are based on the fixed point index theory in cones, which will be given in Section 3. Some preliminaries to discuss Equation (1.1) are presented in Section 2.
2 Preliminaries
Let \(c>0\) be a constant and \(a\in C(\mathbb{T}^{2})\) satisfy (H1). We consider the doubly periodic problem of the linear telegraph equation where \(h\in L^{1}(\mathbb{T}^{2})\). A solution of (2.1) is a function \(u\in L^{1}(\mathbb{T}^{2})\) satisfying For the special case where \(a(t,x)\equiv\frac{c^{2}}{4}\), namely for the doubly periodic problem of the linear telegraph equation the existence-uniqueness and regularity of solution have been discussed by Ortega and Robles-Perez in [15]. They obtained the Green function \(G\in L^{\infty}(\mathbb{T}^{2})\) of Equation (2.3) and proved that Equation (2.3) has a unique solution \(u\in C(\mathbb{T}^{2})\) which can be represented by the convolution product See Equation (5.10) in [15]. The expression of the Green function \(G(t, s)\) is given as follows.
$$ u_{tt}-u_{xx}+c u_{t}+a(t, x) u=h(t, x),\quad \mbox{in }\mathcal {D}'\bigl(\mathbb{T}^{2} \bigr), $$
(2.1)
$$ \int_{\mathbb{T}^{2}} u \bigl(\phi_{tt}-\phi_{xx}+c \phi_{t}+a(t, x) \phi\bigr) \,\mathrm{d}t\,\mathrm{d}x =\int _{\mathbb{T}^{2}} h \phi\,\mathrm{d}t\,\mathrm{d}x ,\quad \forall\phi\in \mathcal{D}\bigl(\mathbb{T}^{2}\bigr). $$
(2.2)
$$ u_{tt}-u_{xx}+c u_{t}+\frac{c^{2}}{4} u=h(t, x),\quad \mbox{in }\mathcal {D}'\bigl(\mathbb{T}^{2} \bigr), $$
(2.3)
$$ u(t, x)=\int_{\mathbb{T}^{2}}G(t-s, x-y) h(s, y) \,\mathrm{d}s\, \mathrm{d}y. $$
(2.4)
Let \(\mathcal{D}=\mathbb{R}^{2}\setminus\mathcal{C}\), where \(\mathcal {C}\) is the family of lines Let \(\mathcal{D}_{ij}\) denote the connected component of \(\mathcal {D}\) with center at \((i\pi, j\pi)\), where \(i+j\) is an old number. By periodicity, the value of G on \(\mathcal {D}_{10}\) and \(\mathcal{D}_{01}\) completely determines the value of G on the whole set \(\mathcal{D}\). In \(\mathcal {D}_{10}\) and \(\mathcal{D}_{01}\), \(G(t, x)\) is explicitly given by where See Lemma 5.2 in [15]. From (2.5), we have
$$x\pm t=2k\pi,\quad k\in\mathbb{Z}. $$
$$ G(t, x)=\left \{ \textstyle\begin{array}{l@{\quad}l} \gamma_{10} e^{-c t/2},& (t, x)\in\mathcal{D}_{10}, \\ \gamma_{01} e^{-c t/2},& (t, x)\in\mathcal{D}_{01}, \end{array}\displaystyle \right . $$
(2.5)
$$\gamma_{10}=\frac{1}{2}\frac{1+e^{-c\pi}}{(1-e^{-c\pi})^{2}} ,\qquad \gamma_{01}=\frac{e^{-c\pi}}{(1-e^{-c\pi})^{2}} . $$
$$ \begin{aligned} &\underline{G}:=\operatorname{ess} \inf G(t, x)= \frac{e^{-3c\pi /2}}{(1-e^{-c\pi})^{2}} , \\ &\overline{G}:=\operatorname{ess} \sup G(t, x)=\frac{1+e^{-c\pi }}{2(1-e^{-c\pi})^{2}} . \end{aligned} $$
(2.6)
For Equation (2.1), in [13] the present author using the above result and a perturbation method of positive operator has built the following existence-uniqueness and positive estimate result.
Lemma 2.1
(Lemma 2 in [13])
Assume that (H1) holds. For every
\(h\in L^{1}(\mathbb{T}^{2})\), Equation (3.1) has a unique solution
\(u:=Ph\in C(\mathbb{T}^{2})\). Moreover, \(P: L^{1}(\mathbb{T}^{2})\to C(\mathbb{T}^{2})\)
is a linear bounded operator with the following properties:
- (1)
The restriction of P on \(C(\mathbb{T}^{2})\), \(P: C(\mathbb {T}^{2})\to C(\mathbb{T}^{2})\) is a completely continuous operator.
- (2)If \(h(t, x)\ge0\), a.e. \((t, x)\in\mathbb{T}^{2}\), Ph has the positivity estimate$$ \underline{G} \|h\|_{1}\le(Ph) (t, x)\le\frac{\overline{G}}{ \underline{G} \|a\|_{1}} \|h \|_{1},\quad \forall(t, x)\in\mathbb{T}^{2}. $$(2.7)
Let E denote the Banach space \(C(\mathbb{T}^{2})\). We simply denote the norm in E by \(\|\cdot\|\), and in \(L^{p}(\mathbb{T}^{2})\) by \(\| \cdot\|_{p}\). Notice that E is an ordered Banach space with cone We define a mapping \(A: K_{0}\to E\) by By Lemma 2.1 and assumption (H2), \(A: K_{0}\to E\) is completely continuous, and the doubly periodic solution of Equation (1.1) is equivalent to the fixed point of A. We will find the non-zero fixed point of A by the fixed point index theory in cones. For this we choose a sub-cone of \(K_{0}\) by where is a positive constant as in [13].
$$ K_{0}=\bigl\{ u\in E \mid u(t, x)\ge0, \forall(t, x)\in \mathbb{T}^{2}\bigr\} . $$
(2.8)
$$ A u=P\bigl( f\bigl(t, x, u(t-\tau_{1}, x),\ldots,u(t- \tau_{n}, x)\bigr) \bigr),\quad \forall u\in K_{0}. $$
(2.9)
$$ K=\bigl\{ u\in E \mid u(t, x)\ge\sigma\|u\|, \forall(t, x)\in \mathbb{T}^{2}\bigr\} , $$
(2.10)
$$ \sigma=\frac{ \underline{G}^{2} \|a\|_{1}}{\overline{G}} =\frac{2e^{-3c\pi}\|a\|_{1}}{(1-e^{-c\pi})^{2}(1+e^{-c\pi})} \in(0, 1) $$
(2.11)
Lemma 2.2
\(A(K_{0})\subset K \), and \(A: K\to K\) is completely continuous.
Proof
Let \(u\in K_{0} \). Set \(h(t, x)=f( t, x, u(t-\tau_{1}, x),\ldots,u(t-\tau_{n}, x) )\) for every \((t, x)\in\mathbb{T}^{2}\), then \(h\in E\) and \(Au=Ph\). From the latter inequality of (2.7) it follows that Using this and the former inequality of (2.7), we have This means that \(A u\in K\). Thus \(A(K_{0})\subset K \). The complete continuity of \(A: K\to K\) is obvious. □
$$ \|Au\|=\|Ph\|\le\frac{\overline{G}}{ \underline{G} \|a\|_{1}} \|h\|_{1} . $$
(2.12)
$$\begin{aligned} (Au) (t, x) =& (Ph) (t, x)\ge\underline{G} \|h\|_{1} \\ \ge& \frac{ \underline{G}^{2} \|a\|_{1}}{\overline{G}} \|A u\|=\sigma \|A u\| ,\quad (t, x)\in \mathbb{T}^{2}. \end{aligned}$$
By Lemma 2.2, the positive doubly periodic solution of Equation (1.1) is equivalent to the nontrivial fixed point of A. We will find the nontrivial fixed point of A by using the fixed point index theory in cone K.
We recall some concepts and conclusions on the fixed point index in [19, 20]. Let E be a Banach space and \(K\subset E\) be a closed convex cone in E. Assume Ω is a bounded open subset of E with boundary ∂Ω, and \(K\cap\Omega \neq\emptyset\). Let \(A:K\cap\overline{\Omega}\to K\) be a completely continuous mapping. If \(Au\neq u\) for any \(u\in K\cap\partial\Omega\), then the fixed point index \(i (A, K\cap\Omega, K)\) has definition. One important fact is that if \(i (A, K\cap\Omega, K)\neq 0\), then A has a fixed point in \(K\cap\Omega\), see Theorem 2.3.2 in [20]. The following two lemmas in [20] are needed in our argument.
Lemma 2.3
(Lemma 2.3.1 in [20])
Let Ω be a bounded open subset of E with \(\theta\in\Omega \), and \(A: K\cap\overline{\Omega}\to K\) be a completely continuous mapping. If \(\lambda Au\neq u\) for every \(u\in K\cap\partial\Omega\) and \(0<\lambda\le1\), then \(i (A, K\cap\Omega, K)=1\).
Lemma 2.4
(Corollary 2.3.1 in [20])
Let Ω be a bounded open subset of E and \(A:K\cap\overline {\Omega}\to K\) be a completely continuous mapping. If there exists \(e\in K\setminus \{\theta\}\) such that \(u-Au\ne\mu e\) for every \(u\in K\cap\partial \Omega\) and \(\mu\ge0\), then \(i (A, K\cap\Omega, K)=0\).
In the next section, we will use Lemma 2.3 and Lemma 2.4 to prove Theorem 1.1 and Theorem 1.2.
3 Proofs of main results
Proof of Theorem 1.1
Choose the working space \(E=C(\mathbb{T}^{2})\). Let \(K\subset C(\mathbb{T}^{2})\) be the closed convex cone in \(C(\mathbb{T}^{2})\) defined by (2.10) and \(A:K\to K\) be the completely continuous operator defined by (2.9). Then the positive doubly periodic solution of Equation (1.1) is equivalent to the nontrivial fixed point of A. Let \(0< r< R<+\infty\) and set We show that the operator A has a fixed point in \(K\cap(\Omega _{2}\setminus \overline{\Omega}_{1})\) when r is small enough and R large enough.
$$ \Omega_{1}=\bigl\{ u\in E \mid \Vert u\Vert < r\bigr\} ,\qquad \Omega_{2}=\bigl\{ u\in E \mid \Vert u\Vert < R\bigr\} . $$
(3.1)
Let \(r\in(0, \delta)\), where δ is the positive constant in condition (F1). We prove that A satisfies the condition of Lemma 2.3 in \(K\cap\partial\Omega_{1}\), namely \(\lambda Au\neq u\) for every \(u\in K\cap\partial\Omega_{1}\) and \(0<\lambda\leq1\). In fact, if there exist \(u_{0}\in K\cap\partial\Omega_{1}\) and \(0<\lambda_{0}\le1\) such that \(\lambda_{0} Au_{0}=u_{0} \), since \(u_{0}=P(\lambda_{0} f(t, x, u_{0}(t-\tau_{1}, x),\ldots,u_{0}(t-\tau_{n},x)))\), by Lemma 2.1 and the definition of P, \(u_{0}\in C(\mathbb{T}^{2})\) satisfies the differential equation By definition of the solution in the distribution sense, Equation (3.2) means that \(u_{0}\) satisfies Choosing \(\phi(t,x)\equiv1\in\mathcal{D}(\mathbb{T}^{2})\), we obtain that Since \(u_{0}\in K\cap\partial\Omega_{1}\), by the definitions of K and \(\Omega_{1}\), we have Hence from condition (F1) it follows that for every \(t, x\in\mathbb{R}\). By this inequality and (3.3), using the periodicity of \(u_{0}\) and (1.9), we have Consequently, we obtain that By the definition of cone K, \(\int_{\mathbb{T}^{2}}u_{0}(t,x) \, \mathrm{d}t\,\mathrm{d}x \ge\sigma\|u_{0}\|\cdot4\pi^{2}> 0\). From (3.5) it follows that \(\underline{a}\le c_{1}+\cdots+c_{n}\), which contradicts the assumption in condition (F1). Hence A satisfies the condition of Lemma 2.3 in \(K\cap{\partial\Omega}_{1}\). By Lemma 2.3 we have
$$ \mathcal{L} u_{0}(t,x)=\lambda_{0} f\bigl(t, x, u_{0}(t-\tau_{1}, x),\ldots ,u_{0}(t- \tau_{n},x)\bigr), \quad \mbox{in }\mathcal{D}'\bigl( \mathbb{T}^{2}\bigr). $$
(3.2)
$$\begin{aligned}& \int_{\mathbb{T}^{2}}u_{0}(t,x) \mathcal{L}\phi(t,x) \, \mathrm{d}t\, \mathrm{d}x \\& \quad =\int_{\mathbb{T}^{2}}\lambda_{0} f\bigl(t, x, u_{0}(t-\tau_{1}, x),\ldots ,u_{0}(t- \tau_{n},x)\bigr) \phi(t,x) \,\mathrm{d}t\,\mathrm{d}x,\quad \forall\phi\in \mathcal{D}\bigl(\mathbb{T}^{2}\bigr). \end{aligned}$$
$$ \int_{\mathbb{T}^{2}} a(t, x) u_{0}(t,x)\,\mathrm{d}t\, \mathrm {d}x=\lambda_{0}\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{0}(t-\tau_{1}, x),\ldots ,u_{0}(t- \tau_{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x. $$
(3.3)
$$ 0 \le u_{0}(t-\tau_{k},x)\le\|u_{0}\|=r< \delta, \quad t, x\in\mathbb{R}, k=1, \ldots, n. $$
(3.4)
$$f\bigl(t,x,u_{0}(t-\tau_{1},x),\ldots,u_{0}(t- \tau_{n},x)\bigr)\le c_{1}u_{0}(t-\tau _{1},x)+\cdots+c_{n} u_{0}(t-\tau_{n},x) $$
$$\begin{aligned} \int_{\mathbb{T}^{2}} a(t, x) u_{0}(t,x)\,\mathrm{d}t\, \mathrm{d}x =&\lambda_{0}\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{0}(t-\tau_{1}, x),\ldots ,u_{0}(t- \tau_{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x \\ \le& \int_{\mathbb{T}^{2}} f\bigl(t, x, u_{0}(t- \tau_{1}, x),\ldots ,u_{0}(t-\tau_{n},x)\bigr)\, \mathrm{d}t\,\mathrm{d}x \\ \le& \int_{\mathbb{T}^{2}}\bigl(c_{1}u_{0}(t- \tau_{1},x)+\cdots+c_{n} u_{0}(t-\tau _{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x \\ =& (c_{1}+\cdots+c_{n})\int_{\mathbb{T}^{2}}u_{0}(t,x) \,\mathrm{d}t\, \mathrm{d}x. \end{aligned}$$
$$\begin{aligned} \underline{a}\int_{\mathbb{T}^{2}}u_{0}(t,x) \, \mathrm{d}t\,\mathrm {d}x & \le \int_{\mathbb{T}^{2}} a(t, x) u_{0}(t,x) \,\mathrm{d}t\, \mathrm{d}x \\ & \le (c_{1}+\cdots+c_{n})\int_{\mathbb{T}^{2}}u_{0}(t,x) \,\mathrm {d}t\,\mathrm{d}x. \end{aligned}$$
(3.5)
$$ i (A, K\cap{\Omega}_{1}, K)=1. $$
(3.6)
On the other hand, choose \(R>\max \{H/\sigma, \delta \}\), where H is the positive constant in condition (F2), and let \(e(t,x)\equiv1\). Clearly, \(e\in K\setminus\{\theta\}\). We show that A satisfies the condition of Lemma 2.4 in \(K\cap\partial\Omega_{2}\), namely \(u-Au\ne\mu e \) for every \(u\in K\cap\partial\Omega_{2}\) and \(\mu\ge0\). In fact, if there exist \(u_{1}\in K\cap\partial\Omega_{2}\) and \(\mu _{1}\ge0\) such that \(u_{1}-Au_{1}=\mu_{1} e\), since \(u_{1}-\mu_{1} e=Au_{1}=P(f(t, x, u_{1}(t-\tau_{1}, x),\ldots,u_{1}(t-\tau_{n},x)))\), by the definition of P and Lemma 2.1, \(u_{1}-\mu_{1} e \in C(\mathbb{T}^{2})\) satisfies the differential equation In the definition of the solution of Equation (3.7) in the distribution sense, choosing \(\phi(t,x)\equiv1\in\mathcal{D}(\mathbb{T}^{2})\), we have Since \(u_{1}\in K\cap\partial\Omega_{2}\), by the definition of K, we have From this and condition (F2), it follows that for every \(t, x\in\mathbb{R}\). By this inequality and (3.8), using the periodicity of \(u_{1}(t,x)\) and (1.9), we have Hence, we get that Since \(\int_{\mathbb{T}^{2}} u_{1}(t,x)\,\mathrm{d}t\,\mathrm {d}x\ge\sigma\|u_{1}\|\cdot4\pi^{2}> 0\), from this inequality it follows that \(\overline{a}\ge d_{1}+\cdots+d_{n}\), which contradicts the assumption in condition (F2). This means that A satisfies the condition of Lemma 2.4 in \(K\cap \partial\Omega_{2}\). By Lemma 2.4,
$$ \mathcal{L} (u_{1}-\mu_{1} e)=f\bigl(t,x,u_{1}(t- \tau_{1}),\ldots,u_{1}(t-\tau _{n})\bigr),\quad \mbox{in }\mathcal{D}'\bigl(\mathbb{T}^{2}\bigr). $$
(3.7)
$$ \int_{\mathbb{T}^{2}} a(t, x) \bigl(u_{1}(t,x)- \mu_{1}\bigr)\,\mathrm{d}t\, \mathrm{d}x=\int_{\mathbb{T}^{2}} f \bigl(t, x, u_{1}(t-\tau_{1}, x),\ldots ,u_{1}(t- \tau_{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x. $$
(3.8)
$$ u_{1}(t-\tau_{k},x)\ge\sigma\|u_{1}\|=\sigma R>H, \quad t, x\in\mathbb{R}, k=1,\ldots,n . $$
(3.9)
$$f\bigl(t, x, u_{1}(t-\tau_{1}),\ldots, u_{1}(t- \tau_{n})\bigr)\ge d_{1} u_{1}(t-\tau_{1}, x)+\cdots+d_{n}u_{n}(t-\tau_{n}, x) $$
$$\begin{aligned} \int_{\mathbb{T}^{2}} a(t, x) u_{1}(t,x)\,\mathrm{d}t\, \mathrm{d}x \ge& \int_{\mathbb{T}^{2}} a(t, x) \bigl(u_{1}(t,x)- \mu_{1}\bigr)\,\mathrm{d}t\, \mathrm{d}x \\ \ge& \int_{\mathbb{T}^{2}} f\bigl(t, x, u_{1}(t- \tau_{1}, x),\ldots ,u_{1}(t-\tau_{n},x)\bigr)\, \mathrm{d}t\,\mathrm{d}x \\ \ge& \int_{\mathbb{T}^{2}}\bigl(d_{1} u_{1}(t- \tau_{1},x)+\cdots+ d_{n} u_{1}(t- \tau_{n},x)\bigr) \,\mathrm{d}t\,\mathrm{d}x \\ =& (d_{1}+\cdots+d_{n})\int_{\mathbb{T}^{2}} u_{1}(t,x) \,\mathrm{d}t\, \mathrm{d}x. \end{aligned}$$
$$\begin{aligned} \overline{a}\int_{\mathbb{T}^{2}} u_{1}(t,x) \, \mathrm{d}t\,\mathrm {d}x & \ge \int_{\mathbb{T}^{2}} a(t,x) u_{1}(t,x ) \,\mathrm{d}t\, \mathrm{d}x \\ & \ge (d_{1}+\cdots+d_{n})\int_{\mathbb{T}^{2}}u_{1}(t,x) \,\mathrm {d}t\,\mathrm{d}x. \end{aligned}$$
(3.10)
$$ i (A, K\cap{\Omega}_{2}, K)=0. $$
(3.11)
Now, using the additivity of fixed point index in cone K, by (3.6) and (3.11) we have that Hence, A has a fixed-point in \(K\cap({\Omega}_{2}\setminus\overline {\Omega}_{1})\), which is a positive doubly periodic solution of Equation (1.1). □
$$i \bigl(A, K\cap(\Omega_{2}\setminus\overline{\Omega}_{1}), K\bigr)= i (A, K\cap{\Omega}_{2}, K)-i (A, K\cap{\Omega}_{1}, K)=-1. $$
Proof of Theorem 1.2
Let \(\Omega_{1}, \Omega_{2}\subset C(\mathbb {T}^{2})\) be defined by (3.1). We prove that the operator A defined by (2.9) has a fixed point in \(K\cap(\Omega_{2}\setminus \overline{\Omega}_{1})\) when r is small enough and R large enough.
Let \(r\in(0, \delta)\), where δ is the positive constant in condition (F3), and choose \(e(t,x)\equiv1\). We prove that A satisfies the condition of Lemma 2.4 in \(K\cap\partial\Omega_{1}\), namely \(u-Au\ne\mu e\) for every \(u\in K\cap\partial\Omega_{1}\) and \(\mu\ge0\). In fact, if there exist \(u_{0}\in K\cap\partial\Omega_{1}\) and \(\mu _{0}\ge0\) such that \(u_{0}-Au_{0}=\mu_{0} e\), since \(u_{0}-\mu_{0} e=Au_{0}=P(f(t, x, u_{0}(t-\tau_{1}, x),\ldots,u_{0}(t-\tau _{n},x)))\), by the definition of P and Lemma 2.1, \(u_{0}-\mu_{0} e\in C(\mathbb{T}^{2})\) satisfies the differential equation In the definition of the solution of Equation (3.12) in the distribution sense, choosing \(\phi(t,x)\equiv1\in\mathcal {D}(\mathbb{T}^{2})\), we get that Since \(u_{0}\in K\cap\partial\Omega_{1}\), by the definitions of K and \(\Omega_{1}\), \(u_{0}\) satisfies (3.4). From (3.4) and condition (F3) we see that for every \(t, x\in\mathbb{R}\). By this inequality and (3.13), we have From this it follows that Since \(\int_{\mathbb{T}^{2}} u_{0}(t,x) \,\mathrm{d}t\,\mathrm {d}x\ge\sigma\|u_{0}\|\cdot4\pi^{2}> 0\), from inequality (3.14) it follows that \(\overline{a}\ge d_{1}+\cdots+d_{n}\), which contradicts the assumption in (F3). Hence A satisfies the condition of Lemma 2.4 in \(K\cap\partial\Omega_{1}\). By Lemma 2.4 we have
$$ \mathcal{L} (u_{0}-\mu_{0} e)=f\bigl(t,x,u_{0}(t- \tau_{1}),\ldots,u_{0}(t-\tau _{n})\bigr),\quad \mbox{in }\mathcal{D}'\bigl(\mathbb{T}^{2}\bigr). $$
(3.12)
$$ \int_{\mathbb{T}^{2}} a(t, x) \bigl(u_{0}(t,x)- \mu_{0}\bigr)\,\mathrm{d}t\, \mathrm{d}x=\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{0}(t-\tau_{1}, x),\ldots ,u_{0}(t-\tau_{n},x)\bigr)\,\mathrm{d}t\, \mathrm{d}x. $$
(3.13)
$$f\bigl(t,x, u_{0}(t-\tau_{1},x),\ldots,u_{0}(t- \tau_{n},x)\bigr)\ge d_{1} u_{0}(t-\tau _{1},x)+\cdots+d_{n}u_{0}(t-\tau_{n},x) $$
$$\begin{aligned} \int_{\mathbb{T}^{2}} a(t, x) u_{0}(t,x)\,\mathrm{d}t\, \mathrm{d}x \ge& \int_{\mathbb{T}^{2}} a(t, x) \bigl(u_{0}(t,x)- \mu_{0}\bigr)\,\mathrm{d}t\, \mathrm{d}x \\ \ge& \int_{\mathbb{T}^{2}} f\bigl(t, x, u_{0}(t- \tau_{1}, x),\ldots ,u_{0}(t-\tau_{n},x)\bigr)\, \mathrm{d}t\,\mathrm{d}x \\ \ge& \int_{\mathbb{T}^{2}}\bigl(d_{1} u_{0}(t- \tau_{1},x)+\cdots+ d_{n} u_{0}(t- \tau_{n},x)\bigr) \,\mathrm{d}t\,\mathrm{d}x \\ =& (d_{1}+\cdots+d_{n})\int_{\mathbb{T}^{2}} u_{0}(t,x) \,\mathrm{d}t\, \mathrm{d}x. \end{aligned}$$
$$\begin{aligned} \begin{aligned}[b] \overline{a}\int_{\mathbb{T}^{2}} u_{0}(t,x) \, \mathrm{d}t\,\mathrm {d}x & \ge \int_{\mathbb{T}^{2}} a(t,x) u_{0}(t,x ) \,\mathrm{d}t\, \mathrm{d}x \\ & \ge (d_{1}+\cdots+d_{n})\int_{\mathbb{T}^{2}}u_{0}(t,x) \,\mathrm {d}t\,\mathrm{d}x. \end{aligned} \end{aligned}$$
(3.14)
$$ i (A, K\cap{\Omega}_{1}, K)=0. $$
(3.15)
Choosing \(R>\max \{H/\sigma, \delta \}\), we show that A satisfies the condition of Lemma 2.3 in \(K\cap\partial\Omega_{2}\), namely \(\lambda Au\ne u\) for every \(u\in K\cap\partial\Omega_{2}\) and \(0<\lambda\le1\). In fact, if there exist \(u_{1}\in K\cap\partial\Omega_{2}\) and \(0<\lambda_{1}\le1\) such that \(\lambda_{1} Au_{1}=u_{1}\), since \(u_{1}=P(\lambda_{1} f(t, x, u_{1}(t-\tau_{1}, x),\ldots,u_{1}(t-\tau _{n},x)))\), by the definition of P and Lemma 2.1, \(u_{1}\in C(\mathbb{T}^{2})\) satisfies the differential equation In the definition of the solution of Equation (3.16) in the distribution sense, choosing \(\phi(t,x)\equiv1\in\mathcal {D}(\mathbb{T}^{2})\), we have Since \(u_{1}\in K\cap\partial\Omega_{2}\), by the definition of K, \(u_{1}\) satisfies (3.9). From (3.9) and condition (F4) it follows that for every \(t, x\in\mathbb{R}\). By this inequality and (3.17), we have This means that Since \(\int_{\mathbb{T}^{2}} u_{1}(t,x) \,\mathrm{d}t\,\mathrm {d}x\ge\sigma\|u_{0}\|\cdot4\pi^{2}> 0\), from inequality (3.18) it follows that \(\underline{a}\le c_{1}+\cdots+c_{n}\), which contradicts the assumption in condition (F4). Hence A satisfies the condition of Lemma 2.3 in \(K\cap{\partial \Omega}_{1}\). By Lemma 2.3 we have
$$ \mathcal{L} u_{1} (t,x)=\lambda_{1} f\bigl(t, x, u_{1}(t-\tau_{1}, x),\ldots ,u_{1}(t- \tau_{n},x)\bigr),\quad \mbox{in }\mathcal{D}'\bigl( \mathbb{T}^{2}\bigr). $$
(3.16)
$$ \int_{\mathbb{T}^{2}} a(t, x) u_{1}(t,x)\,\mathrm{d}t\,\mathrm {d}x=\lambda_{1}\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{1}(t-\tau_{1}, x),\ldots ,u_{1}(t- \tau_{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x. $$
(3.17)
$$f\bigl(t,x,u_{1}(t-\tau_{1},x),\ldots,u_{1}(t- \tau_{n},x)\bigr)\le c_{1} u_{1}(t-\tau _{1},x)+\cdots+c_{n}u_{1}(t-\tau_{n},x) $$
$$\begin{aligned} \int_{\mathbb{T}^{2}} a(t, x) u_{1}(t,x)\,\mathrm{d}t\, \mathrm{d}x =&\lambda_{1}\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{1}(t-\tau_{1}, x),\ldots, u_{1}(t- \tau_{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x \\ \le&\int_{\mathbb{T}^{2}} f\bigl(t, x, u_{1}(t- \tau_{1}, x),\ldots, u_{1}(t-\tau_{n},x)\bigr)\, \mathrm{d}t\,\mathrm{d}x \\ \le& \int_{\mathbb{T}^{2}}\bigl(c_{1}u_{1}(t- \tau_{1},x)+\cdots+c_{n} u_{1}(t-\tau _{n},x)\bigr)\,\mathrm{d}t\,\mathrm{d}x \\ =& (c_{1}+\cdots+c_{n})\int_{\mathbb{T}^{2}}u_{1}(t,x) \,\mathrm{d}t\, \mathrm{d}x. \end{aligned}$$
$$\begin{aligned} \underline{a}\int_{\mathbb{T}^{2}} u_{1}(t,x) \, \mathrm{d}t\,\mathrm {d}x & \le \int_{\mathbb{T}^{2}} a(t,x) u_{1}(t,x ) \,\mathrm{d}t\, \mathrm{d}x \\ & \le (c_{1}+\cdots+c_{n})\int_{\mathbb{T}^{2}}u_{1}(t,x) \,\mathrm {d}t\,\mathrm{d}x. \end{aligned}$$
(3.18)
$$ i (A, K\cap{\Omega}_{2}, K)=1. $$
(3.19)
Now, from (3.15) and (3.19) it follows that Hence A has a fixed point in \(K\cap({\Omega}_{2}\setminus\overline {\Omega}_{1})\), which is a positive doubly periodic solution of Equation (1.1). □
$$i \bigl(A, K\cap(\Omega_{2}\setminus\overline{\Omega}_{1}), K\bigr)= i (A, K\cap{\Omega}_{2}, K)-i (A, K\cap{\Omega}_{1}, K)=1. $$
Example 3.1
Consider the existence of doubly 2π-periodic solution of the following telegraph equation with time delay: where \(b_{i}\in C(\mathbb{T}^{2})\) and \(b_{i}(t,x)>0\) for \((t,x)\in\mathbb {T}^{2}\), \(i=1, 2\). Corresponding to the general equation (1.1), We easily see that assumptions (H1) and (H2) hold. From (3.21) we can directly verify that f satisfies conditions (F1) and (F2). By Theorem 1.1, Equation (3.20) has at least one positive doubly 2π-periodic weak solution (in the distribution sense).
$$ u_{tt}-u_{xx}+2 u_{t}+ u=b_{1}(t,x) u^{2}(t,x)+b_{2}(t,x) u^{2}(t-\pi,x), $$
(3.20)
$$\begin{aligned}& c=2,\qquad a(t,x)\equiv1,\qquad n=2,\qquad \tau_{1}=0, \qquad \tau_{2}=\pi, \\& f(t,x,\eta_{1},\eta_{2})=b_{1}(t,x) \eta_{1}^{2}+b_{2}(t,x) \eta_{2}^{2}. \end{aligned}$$
(3.21)
Example 3.2
Consider the following nonlinear telegraph equation with time delays Corresponding to Equation (1.1), For these, we can directly verify that the conditions of Theorem 1.2 are satisfied. By Theorem 1.2, Equation (3.22) has a positive doubly 2π-periodic weak solution (in the distribution sense).
$$ u_{tt}-u_{xx}+4 u_{t}+\bigl(2+\sin(t+x)\bigr) u=u^{2/3}(t-\pi/2,x)+u^{1/3}(t-\pi ,x). $$
(3.22)
$$\begin{aligned}& c=4,\qquad a(t,x)=2+\sin(t+x),\qquad n=2,\qquad \tau_{1}=\pi/2, \qquad \tau_{2}=\pi, \\& f(t, x, \eta_{1}, \eta_{2})=\eta_{1}^{2/3}+\eta_{2}^{1/3}. \end{aligned}$$
Declarations
Acknowledgements
This research was supported by NNSF of China (11261053) and NSF of Gansu Province (1208RJZA129).
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’ Affiliations
(1)
Department of Mathematics, Northwest Normal University, Lanzhou, People’s Republic of China
References
- Barbu, V: Nonlinear boundary value problems for a class of hyperbolic systems. Rev. Roum. Math. Pures Appl. 22, 155-168 (1977) MATHMathSciNetGoogle Scholar
- Roussy, G, Pearcy, JA: Foundations and Industrial Applications of Microwaves and Radio Frequency Fields. Wiley, New York (1995) Google Scholar
- Arias, M: Nonselfadjoint boundary value problems at resonance with nonlinearities which may grow linearly. Nonlinear Anal. 15, 155-163 (1990) MATHMathSciNetView ArticleGoogle Scholar
- Bereanu, C: Periodic solutions of the nonlinear telegraph equations with bounded nonlinearities. J. Math. Anal. Appl. 343, 758-762 (2008) MATHMathSciNetView ArticleGoogle Scholar
- Bereanu, C: An Ambrosetti-Prodi-type result for periodic solutions of the telegraph equation. Proc. R. Soc. Edinb., Sect. A 138, 719-724 (2008) MATHMathSciNetView ArticleGoogle Scholar
- Birnir, B, Grauer, R: An explicit description of the global attractor of the damped and driven sine-Gordon equation. Commun. Math. Phys. 162, 539-590 (1994) MATHMathSciNetView ArticleGoogle Scholar
- Fucik, S, Mawhin, J: Generated periodic solution of nonlinear telegraph equation. Nonlinear Anal. 2, 609-617 (1978) MATHMathSciNetView ArticleGoogle Scholar
- Grossinho, MR, Nkashama, MN: Periodic solutions of parabolic and telegraph equations with asymmetric nonlinearities. Nonlinear Anal. 33, 187-210 (1998) MATHMathSciNetView ArticleGoogle Scholar
- Hirano, N, Kim, WS: Periodic-Dirichlet boundary value problem for semilinear dissipative hyperbolic equations. J. Math. Anal. Appl. 148, 371-377 (1990) MATHMathSciNetView ArticleGoogle Scholar
- Kim, WS: Boundary value problem for nonlinear telegraph equations with superlinear growth. Nonlinear Anal. 12, 1371-1376 (1988) MATHMathSciNetView ArticleGoogle Scholar
- Kim, WS: Double-periodic boundary value problem for nonlinear dissipative hyperbolic equations. J. Math. Anal. Appl. 145, 1-16 (1990) MATHMathSciNetView ArticleGoogle Scholar
- Kim, WS: Multiple doubly periodic solutions of semilinear dissipative hyperbolic equations. J. Math. Anal. Appl. 197, 735-748 (1996) MATHMathSciNetView ArticleGoogle Scholar
- Li, Y: Positive doubly periodic solutions of nonlinear telegraph equations. Nonlinear Anal. 55, 245-254 (2003) MATHMathSciNetView ArticleGoogle Scholar
- Li, Y: Maximum principles and the method of upper and lower solutions for time-periodic problems of the telegraph equations. J. Math. Anal. Appl. 327, 997-1009 (2007) MATHMathSciNetView ArticleGoogle Scholar
- Ortega, R, Robles-Perez, AM: A maximum principle for periodic solutions of the telegraph equations. J. Math. Anal. Appl. 221, 625-651 (1998) MATHMathSciNetView ArticleGoogle Scholar
- Ortega, R, Robles-Perez, AM: A duality theorem for periodic solutions of a class of second order evolution equations. J. Differ. Equ. 172, 409-444 (2001) MATHMathSciNetView ArticleGoogle Scholar
- Hale, JK, Verduyn Lunel, SM: Introduction to Functional Differential Equations. Springer, New York (1993) MATHView ArticleGoogle Scholar
- Wu, JH: Theory and Applications of Partial Functional Differential Equations. Springer, New York (1996) MATHView ArticleGoogle Scholar
- Deimling, K: Nonlinear Functional Analysis. Springer, New York (1985) MATHView ArticleGoogle Scholar
- Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988) MATHGoogle Scholar
Copyright
© Li and Zhang 2015
