An exact expression of positive periodic solution for a first-order singular equation

Abstract

The main purpose of this paper is to obtain an exact expression of the positive periodic solution for a first-order differential equation with attractive and repulsive singularities. Moreover, we prove the existence of at least one positive periodic solution for this equation with an indefinite singularity by applications of topological degree theorem, and give the upper and lower bounds of the positive periodic solution.

1 Introduction

A variety of population dynamics and physiological processes can be described by the following singular differential equation:

$$ { } x'(t)+a(t)x(t)=\frac{b(t)}{x^{\rho}(t)} $$

(1.1)

with periodic boundary value condition

$$ x(0)=x(\omega), $$

where $a(t)$ and $b(t)\in C(\mathbb{R},\mathbb{R})$ are ω-periodic functions, ρ and ω are positive constants. According to the literature [1–3], we say that Eq. (1.1) has an attractive singularity if $b(t)<0$, repulsive singularity if $b(t)>0$ and indefinite singularity if $b(t)$ may change sign. Moreover, we say that Eq. (1.1) has a strong singularity if $\rho\geq1$ and a weak singularity if $0<\rho<1$.

As is well known, singular equations have a wide range of applications in many fields, and the existence of positive ω-periodic solutions to singular equations plays a significant role in solving many practical problems. There is a good amount of work on periodic solutions for singular equations (see [4–18] and the references cited therein). In 2003, Agarwal and O’Regan [4] provided some results on positive ω-periodic solutions of Eq. (1.1), where $b(t)>0$ (i.e., repulsive singularity). After that, Chu and Nieto [10] in 2008 proved the existence of positive ω-periodic solutions for equation (1.1) with repulsive singularity and impulses by applications of Leray–Schauder alternative principle. Recently, Wang [15] and Chen et al. [7] discussed the existence of positive ω-periodic solutions for the following singular differential equation:

$$ x'(t)+a_{1}(t)x(t)=\lambda b_{1}(t)f\bigl(x(t)\bigr), $$

(1.2)

where $a_{1}(t)$ and $b_{1}(t)\in C(\mathbb{R},[0,+\infty))$ are ω-periodic functions with $\int^{\omega}_{0}a_{1}(t)\,dt>0$ and $\int^{\omega}_{0}b_{1}(t)\,dt>0$, the nonlinear term f has an attractive singularity or repulsive singularity. Their proofs were based on Krasnoselskii’s fixed point theorem in a cone, the Leray–Schauder degree and the upper and lower solutions method.

It is worth pointing out that the above results are only related to the existence of positive ω-periodic solutions of first-order differential equations with attractive singularity or repulsive singularity, but the exact expression of ω-periodic solutions is not involved.

First, in this paper we give an exact expression of positive ω-periodic solution for Eq. (1.1) with attractive and repulsive singularities.

Theorem 1.1

Assume that condition $\int^{\omega}_{0}a(t)\,dt\cdot b(t)>0$holds. Then Eq. (1.1) has a unique positive ω-periodic solution $x(t)$, which can be written as

$$ x(t)= \biggl(\frac{(\rho+1)\int^{t}_{0}e^{(\rho +1)\int^{s}_{t}a(r)\,dr}b(s)\,ds}{1-e^{-(\rho+1)\int^{\omega}_{0}a(r)\,dr}} +\frac{(\rho+1)\int^{\omega}_{t}e^{(\rho+1)\int ^{s}_{t}a(r)\,dr}b(s)\,ds}{e^{(\rho+1) \int^{\omega}_{0}a(r)\,dr}-1} \biggr)^{\frac{1}{\rho+1}}. $$

Second, from the condition $\int^{\omega}_{0}a(t)\,dt\cdot b(t)>0$, it is easy to verify that the weight term $b(t)$ has a non-changing sign. A natural question is how Eq. (1.1) works on changing sign of $b(t)$ (i.e., indefinite singularity)? We also consider the existence of positive ω-periodic solution for equation (1.1) with an indefinite singularity.

Theorem 1.2

Assume that $\bar{a}:=\frac{1}{\omega}\int^{\omega}_{0}a(t)\,dt>0$and $\bar{b}:=\frac{1}{\omega}\int^{\omega}_{0}b(t)\,dt\geq0$hold. Furthermore, suppose the following conditions are satisfied:

($H_{1}$):

$1-\frac{\|a\|\omega(\rho+1)}{2}>0$, here $\|a\|:=\max_{t\in[0,\omega]}|a(t)|$;

($H_{2}$):

$\frac{\bar{b}}{\overline{a_{+}}}-\frac{\omega(\rho+1)(\|a\| \overline{b_{+}}+\|b\|\bar{a})}{\bar{a}(2-\|a\|\omega(\rho+1))}>0$, here $a_{+}(t):=\max\{0,a(t)\}$.

Then Eq. (1.1) has at least one positive ω-periodic solution $x(t)$with

$$ x(t)\in \biggl[ \biggl(\frac{\bar{b}}{\overline {a_{+}}}-\frac{\omega(\rho+1) ( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar{a}(2- \Vert a \Vert \omega(\rho +1))} \biggr)^{\frac{1}{\rho+1}}, \biggl(\frac{\overline{b_{+}}}{\bar{a}}+\frac{\omega(\rho+1) ( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar{a}(2- \Vert a \Vert \omega(\rho +1))} \biggr)^{\frac{1}{\rho+1}} \biggr]. $$

2 Proof of Theorem 1.1

In this section, an exact expression of solution for Eq. (1.1) with periodic boundary value condition is given.

First, we change the variable $x=u^{\alpha}$, where $\alpha=\frac {1}{\rho+1}$ and $0<\alpha<1$. Then Eq. (1.1) is converted into the following form:

$$ u'(t)+\frac{a(t)}{\alpha}u(t)= \frac{b(t)}{\alpha}, $$

(2.1)

with periodic boundary value condition

$$ u(0)=u(\omega). $$

Proof of Theorem 1.1

Applying method of variation of constant, solution of Eq. (2.1) can be written as the following form:

$$ u(t)=C(t)e^{-\int^{t}_{0}\frac{a(r)}{\alpha}\,dr}, $$

(2.2)

where $C(t)\in C(\mathbb{R},\mathbb{R})$. Substituting Eq. (2.2) into Eq. (2.1), we arrive at

$$ C'(t)=\frac{b(t)}{\alpha}e^{\int^{t}_{0}\frac{a(r)}{\alpha}\,dr}. $$

Integrating the above equation over the interval $[0,t]$, here $t\in[0,\omega]$, we get

$$ C(t)=C(0)+ \int^{t}_{0}\frac{b(s)}{\alpha}e^{\int^{s}_{0}\frac {a(r)}{\alpha}\,dr}\,ds. $$

(2.3)

Furthermore, we give

$$ C(\omega)=C(0)+ \int^{\omega}_{0}\frac{b(s)}{\alpha}e^{\int ^{s}_{0}\frac{a(r)}{\alpha}\,dr}\,ds. $$

(2.4)

Since $u(0)=u(\omega)$, we obtain

$$ C(0)=C(\omega)e^{-\int^{\omega}_{0}\frac{a(r)}{\alpha}\,dr}. $$

(2.5)

Combining Eqs. (2.4) and (2.5), we have

$$ C(0)=\frac{\int^{\omega}_{0}\frac{b(s)}{\alpha}e^{\int^{s}_{0}\frac {a(r)}{\alpha}\,dr}\,ds}{e^{\int^{\omega}_{0}\frac{a(r)}{\alpha}\,dr}-1}. $$

Then we get

$$ C(t)=\frac{\int^{\omega}_{0}\frac{b(s)}{\alpha}e^{\int^{s}_{0}\frac {a(r)}{\alpha}\,dr}\,ds}{e^{\int^{\omega}_{0}\frac{a(r)}{\alpha}\,dr}-1} + \int^{t}_{0}\frac{b(s)}{\alpha}e^{\int^{s}_{0}\frac{a(r)}{\alpha}\,dr}\,ds. $$

Therefore, the solution of Eq. (2.1) is

$$ \begin{aligned} u(t)&= \biggl(\frac{\int^{\omega}_{0}\frac{b(s)}{\alpha}e^{\int ^{s}_{0}\frac{a(r)}{\alpha}\,dr}\,ds}{e^{\int^{\omega}_{0}\frac {a(r)}{\alpha}\,dr}-1} + \int^{t}_{0}\frac{b(s)}{\alpha}e^{\int^{s}_{0}\frac{a(r)}{\alpha }\,dr}\,ds \biggr)e^{-\int^{t}_{0}\frac{a(r)}{\alpha}\,dr} \\ &= \int^{t}_{0}\frac{e^{\int^{s}_{t}\frac{a(r)}{\alpha }\,dr}}{1-e^{-\int^{\omega}_{0}\frac{a(r)}{\alpha}\,dr}} \frac {b(s)}{\alpha}\,ds + \int^{\omega}_{t}\frac{e^{\int^{s}_{t}\frac{a(r)}{\alpha }\,dr}}{e^{\int^{\omega}_{0}\frac{a(r)}{\alpha}\,dr}-1} \frac {b(s)}{\alpha}\,ds. \end{aligned} $$

Because $x(t)=u^{\alpha}(t)$ and $\alpha=\frac{1}{\rho+1}$, the solution of Eq. (1.1) is

$$ x(t)= \biggl(\frac{(\rho+1)\int^{t}_{0}e^{(\rho+1)\int ^{s}_{t}a(r)\,dr}b(s)\,ds}{1-e^{-(\rho+1)\int^{\omega}_{0}a(r)\,dr}} +\frac{(\rho+1)\int^{\omega}_{t}e^{(\rho+1)\int ^{s}_{t}a(r)\,dr}b(s)\,ds}{e^{(\rho+1)\int^{\omega}_{0}a(r)\,dr}-1} \biggr)^{\frac{1}{\rho+1}}. $$

(2.6)

From the condition $\int^{\omega}_{0}a(t)\,dt\cdot b(t)>0$, it is easy to see that $x(t)$ is positive for all $t\in\mathbb{R}$. The proof is completed. □

Example 2.1

Consider the following first-order singular differential equation:

$$ x'(t)+(\sin t+1)x(t)=\frac{e^{3\cos t}}{x^{2}(t)}. $$

(2.7)

Comparing Eq. (2.7) with Eq. (1.1), we see that $a(t)=\sin t+1$, $b(t)=e^{3\cos t}$, $\rho=2$, $\omega=2\pi$. Furthermore, the condition

$$ \int^{\omega}_{0}a(t)\,dt\cdot b(t)= \int^{\pi }_{0}(\sin t+1)\,dt\cdot e^{3\cos t}=2\pi e^{3\cos t}>0 $$

is satisfied. Using Eq. (2.6), we calculate the solution of Eq. (2.7) to be

$$ x(t)=e^{\cos t}, $$

(2.8)

and $x(t)$ is 2π-periodic. Substituting Eq. (2.8) into Eq. (2.7), we conclude that $e^{\cos t}$ is a solution of Eq. (2.7).

3 Proof of Theorem 1.2

For convenience, we recall the topological degree theorem by Mawhin [19].

Lemma 3.1

(see [19, Theorem 2.4])

Let X, Z be real normed spaces and $L: D(L)\subset X\rightarrow Z$a linear Fredholm map of index zero. Assume that $\Omega\subset X$is an open bounded set and $N: \overline{\Omega}\rightarrow Z$is an L-compact mapping. Furthermore, assume that the following conditions are satisfied:

• (i) $Lx+\lambda Nx\neq0$, for each $(x,\lambda)\in [(D(L)\setminus\ker L)\cap\partial\Omega]\times(0,1)$;

• (ii) $Nx\notin\operatorname{Im} L$, for each $x\in\ker L\cap \partial\Omega$;

• (iii) $D_{0}(QN\mid_{\ker L},\Omega\cap\ker L)\neq0$, where $Q: Z\rightarrow Z$is a continuous projector such that $\ker Q=\operatorname{Im} L$and $D_{0}$is the Brouwer degree.

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

Proof of Theorem 1.2

Define $X:=\{x\in C(\mathbb{R}, \mathbb{R}), x(t+\omega)\equiv x(t), \forall t\in\mathbb{R}\}$ endowed with the $C^{1}$-norm, $Z=L^{1}([0,\omega], \mathbb{R})$ with the $L^{1}$-norm. Let $D(L)$ = {$x\in X: x'$ is absolutely continuous on $\mathbb{R}$}, we define operators $L: D(L)\rightarrow Z$ and $N: Z\rightarrow Z$ by

$$ (Lx) (t)=x'(t),\qquad (Nx) (t)=a(t)x(t)-\frac{b(t)}{x^{\rho}(t)}. $$

Form this, Eq. (1.1) can be converted to $Lx+Nx=0$. Define projectors $P: X\rightarrow X$ and $Q: Z\rightarrow Z$ by

$$ Px=\frac{1}{\omega} \int^{\omega}_{0}x(s)\,ds,\qquad Qz=\frac{1}{\omega} \int ^{\omega}_{0}z(s)\,ds. $$

(3.1)

As literature [20, Theorem 1.1], it is easy to verify that L is a Fredholm linear mapping with zero index and for any open bounded set $\Omega\subset X$, N is L-compact on Ω̅.

Consider the following homotopy family of Eq. (1.1):

$$ x'(t)+\lambda a(t)x(t)=\lambda \frac{b(t)}{x^{\rho}(t)},\quad \lambda\in(0,1], $$

(3.2)

which can be expressed as the abstract equation $Lx+\lambda Nx=0$.

Multiplying both sides of Eq. (3.2) with $x^{\rho}(t)$ and integrating over the interval $[0,\omega]$, we get

$$ \int^{\omega}_{0}a(t)x^{\rho+1}(t)\,dt= \int^{\omega}_{0}b(t)\,dt=\bar {b}\omega, $$

which yields

$$ \int^{\omega}_{0}a_{+}(t)x^{\rho+1}(t)\,dt \geq\bar {b}\omega. $$

Thus, there exists a point $\eta\in[0,\omega]$ such that

$$ x^{\rho+1}(\eta)\overline{a_{+}}\omega\geq\bar {b}\omega. $$

Since $\bar{b}\geq0$, we obtain

$$ x(\eta)\geq \biggl(\frac{\bar{b}}{\overline{a_{+}}} \biggr)^{\frac {1}{\rho+1}}. $$

(3.3)

Meanwhile, Eq. (3.2) together with the fact of $x(t)>0$ gives

$$ \frac{x'(t)}{x(t)}+\lambda a(t)=\lambda\frac {b(t)}{x^{\rho+1}(t)}. $$

Integrating the above equation over the interval $[0,\omega]$, we get

$$ \bar{a}\omega= \int^{\omega}_{0}a(t)\,dt= \int^{\omega}_{0}\frac {b(t)}{x^{\rho+1}(t)}\,dt, $$

which yields

$$ \bar{a}\omega\leq \int^{\omega}_{0}\frac {b_{+}(t)}{x^{\rho+1}(t)}\,dt. $$

Thus, there exists a point $\xi\in[0,\omega]$ such that

$$ \bar{a}\omega\leq\frac{\overline{b_{+}}\omega }{x^{\rho+1}(\xi)}. $$

Since $\bar{a}>0$, we arrive at

$$ x(\xi)\leq \biggl(\frac{\overline{b_{+}}}{\bar{a}} \biggr)^{\frac {1}{\rho+1}}. $$

(3.4)

Let $x=u^{\alpha}$, where $\alpha=\frac{1}{\rho+1}$, Eqs. (3.2), (3.3) and (3.4) can be turned into

$$\begin{aligned}& u'(t)+\lambda\frac{a(t)}{\alpha}u(t)=\lambda \frac{b(t)}{\alpha}, \end{aligned}$$

(3.5)

$$\begin{aligned}& u(\eta)=x^{\rho+1}(\eta)\geq\frac{\bar{b}}{\overline{a_{+}}}, \end{aligned}$$

(3.6)

$$\begin{aligned}& u(\xi)=x^{\rho+1}(\xi)\leq\frac{\overline{b_{+}}}{\bar{a}}. \end{aligned}$$

(3.7)

It follows from Eqs. (3.6) and (3.7) that

$$ \begin{aligned} u(t)&=\frac{1}{2} \bigl(u(t)+u(t-\omega)\bigr) \\ &=\frac{1}{2} \biggl(u(\eta)+ \int_{\eta}^{t}u'(s)\,ds+u(\eta)- \int ^{\eta}_{t-\omega}u'(s)\,ds \biggr) \\ &\geq u(\eta)-\frac{1}{2} \biggl( \int^{\eta}_{t-\omega} \bigl\vert u'(s) \bigr\vert \,ds+ \int _{\eta}^{t} \bigl\vert u'(s) \bigr\vert \,ds \biggr) \\ &\geq\frac{\bar{b}}{\overline{a_{+}}}-\frac{1}{2} \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert \,dt. \end{aligned} $$

(3.8)

Similarly, we deduce

$$ \begin{aligned} u(t)&=u(\xi)+\frac{1}{2} \biggl( \int_{\xi}^{t}u'(s)\,ds- \int^{\xi }_{t-\omega}u'(s)\,ds \biggr) \\ &\leq u(\xi)+\frac{1}{2} \biggl( \int_{\xi}^{t} \bigl\vert u'(s) \bigr\vert \,ds+ \int^{\xi }_{t-\omega} \bigl\vert u'(s) \bigr\vert \,ds \biggr) \\ &\leq \frac{\overline{b_{+}}}{\bar{a}}+\frac{1}{2} \int_{0}^{\omega} \bigl\vert u'(t) \bigr\vert \,dt. \end{aligned} $$

(3.9)

Multiplying both sides of Eq. (3.5) with $u'(t)$ and integrating it over the interval $[0,\omega]$, we get

$$ \begin{aligned} \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert ^{2}\,dt&=-\lambda \int^{\omega}_{0}\frac {a(t)}{\alpha}u(t)u'(t)\,dt+ \lambda \int^{\omega}_{0}\frac {b(t)}{\alpha}u'(t)\,dt \\ &\leq\frac{ \Vert a \Vert }{\alpha} \int^{\omega}_{0} \bigl\vert u(t) \bigr\vert \bigl\vert u'(t) \bigr\vert \,dt+\frac{ \Vert b \Vert }{\alpha} \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert \,dt. \end{aligned} $$

From Eq. (3.9) and the Hölder inequality, the above equation implies

$$ \begin{aligned} \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert ^{2}\,dt&\leq \biggl(\frac{\overline{b_{+}}}{\bar {a}}+ \frac{1}{2} \int_{0}^{\omega} \bigl\vert u'(t) \bigr\vert \,dt \biggr)\frac{ \Vert a \Vert }{\alpha } \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert \,dt+\frac{ \Vert b \Vert }{\alpha} \int^{\omega }_{0} \bigl\vert u'(t) \bigr\vert \,dt \\ &=\frac{ \Vert a \Vert }{2\alpha} \biggl( \int_{0}^{\omega} \bigl\vert u'(t) \bigr\vert \,dt \biggr)^{2}+ \biggl(\frac{ \Vert a \Vert \overline{b_{+}}}{\alpha\bar{a}}+ \frac{ \Vert b \Vert }{\alpha} \biggr) \int_{0}^{\omega} \bigl\vert u'(t) \bigr\vert \,dt \\ &\leq\frac{ \Vert a \Vert \omega}{2\alpha} \int_{0}^{\omega } \bigl\vert u'(t) \bigr\vert ^{2}\,dt+ \biggl(\frac{ \Vert a \Vert \overline{b_{+}}}{\alpha\bar{a}}+ \frac { \Vert b \Vert }{\alpha} \biggr)\omega^{\frac{1}{2}} \biggl( \int_{0}^{\omega } \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}}. \end{aligned} $$

It follows from condition ($H_{1}$) and the above inequality that

$$ \biggl( \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac{1}{2}}\leq\frac { (\frac{ \Vert a \Vert \overline{b_{+}}}{\alpha\bar{a}}+\frac{ \Vert b \Vert }{\alpha } )\omega^{\frac{1}{2}}}{1-\frac{ \Vert a \Vert \omega}{2\alpha}}= \frac {2\omega^{\frac{1}{2}}( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar {a}(2\alpha- \Vert a \Vert \omega)}. $$

(3.10)

Using Eqs. (3.8), (3.9) and (3.10), we obtain

$$ u(t)\geq\frac{\bar{b}}{\overline{a_{+}}}-\frac{\omega^{\frac {1}{2}}}{2} \biggl( \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac {1}{2}}\geq\frac{\bar{b}}{\overline{a_{+}}}- \frac{\omega( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar{a}(2\alpha- \Vert a \Vert \omega)}>0 $$

since condition ($H_{2}$). Moreover,

$$ u(t)\leq\frac{\overline{b_{+}}}{\bar{a}}+\frac{\omega^{\frac {1}{2}}}{2} \biggl( \int^{\omega}_{0} \bigl\vert u'(t) \bigr\vert ^{2}\,dt \biggr)^{\frac {1}{2}}\leq\frac{\overline{b_{+}}}{\bar{a}}+ \frac{\omega( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar{a}(2\alpha- \Vert a \Vert \omega)}. $$

Therefore, we obtain

$$ x(t)=u^{\frac{1}{\rho+1}}(t)\geq \biggl(\frac{\bar{b}}{\overline {a_{+}}}- \frac{\omega(\rho+1)( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar {a})}{\bar{a}(2- \Vert a \Vert \omega(\rho+1))} \biggr)^{\frac{1}{\rho+1}}:=M_{1}>0 $$

(3.11)

and

$$ x(t)=u^{\frac{1}{\rho+1}}(t)\leq \biggl(\frac{\overline{b_{+}}}{\bar {a}}+ \frac{\omega(\rho+1)( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar {a}(2- \Vert a \Vert \omega(\rho+1))} \biggr)^{\frac{1}{\rho+1}}:=M_{2}. $$

(3.12)

Define

$$ \Omega_{1}:=\bigl\{ x\in X: E_{1}< x(t)< E_{2}, \forall t\in\mathbb{R}\bigr\} , $$

where $0< E_{1}< M_{1}$, $E_{2}>M_{2}$. Then conditions (i) and (ii) of Lemma 3.1 are verified. For a constant $x\in\ker L$, $x>0$, we have

$$ QNx=\frac{1}{\omega} \int^{\omega}_{0} \biggl(a(t)x(t)- \frac{b(t)}{x^{\rho}(t)} \biggr)\,dt. $$

It follows from Eqs. (3.3), (3.4), (3.11) and (3.12) that

$$ \int^{\omega}_{0} \biggl(a(t)E_{1}- \frac {b(t)}{E_{1}^{\rho}} \biggr)\,dt\cdot \int^{\omega}_{0} \biggl(a(t)E_{2}- \frac{b(t)}{E_{2}^{\rho}} \biggr)\,dt< 0. $$

Therefore, we obtain

$$ D_{0}(QN\mid_{\ker L}, \Omega_{1}\cap\ker L)=1. $$

Thus condition (iii) of Lemma 3.1 holds. Therefore, $Lx+Nx=0$ has at least one solution in $\overline{\Omega}_{1}$, which means Eq. (1.1) has at least one positive ω-periodic solution $x(t)$ with

$$ x(t)\in \biggl[ \biggl(\frac{\bar{b}}{\overline {a_{+}}}-\frac{\omega(\rho+1)( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar {a})}{\bar{a}(2- \Vert a \Vert \omega(\rho+1))} \biggr)^{\frac{1}{\rho+1}}, \biggl(\frac{\overline{b_{+}}}{\bar{a}}+\frac{\omega(\rho+1)( \Vert a \Vert \overline{b_{+}}+ \Vert b \Vert \bar{a})}{\bar{a}(2- \Vert a \Vert \omega(\rho+1))} \biggr)^{\frac{1}{\rho+1}} \biggr]. $$

 □

Example 3.1

Consider the following first-order differential equation with an indefinite singularity:

$$ x'(t)+ \biggl(\frac{1}{16}\cos(16t)+ \frac{1}{32} \biggr)x(t)=\frac{\frac {1}{32}\sin(16t)+\frac{\sqrt{3}}{64}}{x^{3}(t)}. $$

(3.13)

Comparing Eq. (3.13) with Eq. (1.1), we see that $a(t)=\frac{1}{16}\cos(16t)+\frac{1}{32}$, $b(t)=\frac{1}{32}\sin (16t)+\frac{\sqrt{3}}{64}$, $\rho=3$, $\omega=\frac{\pi}{8}$. By calculating, we get

$$\begin{aligned}& \Vert a \Vert =\frac{3}{32},\qquad \bar{a}=\frac{1}{32},\qquad \overline {a_{+}}=\frac{6\sqrt{3}+\pi}{96\pi}, \\& \Vert b \Vert = \frac{2+\sqrt{3}}{64},\qquad \bar {b}=\frac{\sqrt{3}}{64},\qquad \overline{b_{+}}= \frac{3+\sqrt{3}\pi}{96\pi}. \end{aligned}$$

It can be verified that conditions ($H_{1}$) and ($H_{2}$) are satisfied. Using Theorem 1.2, we see that Eq. (3.13) has at least one positive $\frac{\pi}{8}$-periodic solution $x(t)$ with

$$ x(t)\in \biggl[ \biggl(\frac{3\sqrt{3}\pi}{2(6\sqrt {3}+\pi)}-\frac{6+2\pi+3\sqrt{3}\pi}{2(128-3\pi)} \biggr)^{\frac {1}{4}}, \biggl(\frac{3+\sqrt{3}\pi}{3\pi}+\frac{6+2\pi+3\sqrt{3}\pi }{2(128-3\pi)} \biggr)^{\frac{1}{4}} \biggr]. $$

4 Conclusions

In this paper, applying method of variation of constant, we obtain an exact expression of positive periodic solution for equation (1.1) with attractive and repulsive type. After that, we prove the existence of at least one positive periodic solution for Eq. (1.1) with an indefinite singularity by applications of topological degree theorem, and give the upper and lower bound of the positive periodic solution.