 Research
 Open Access
 Published:
On firstorder periodic boundary value problems and distributional HenstockKurzweil integrals
Boundary Value Problems volume 2014, Article number: 54 (2014)
Abstract
This paper is devoted to the study of existence and dependence of solutions of the firstorder periodic boundary value problems involving the distributional HenstockKurzweil integral. The methods used are mainly the method of upper and lower solutions and a fixed point theorem.
1 Introduction
In this paper we study the existence of extremal solutions of the firstorder periodic boundary value problem (PBVP for short)
where Dx stands for the distributional derivative of $x\in C[0,T]$, $0<T<\mathrm{\infty}$, $h:[0,T]\times C[0,T]\to C[0,T]$ and f is a distribution (generalized function). More precisely, we study the dependence of the extremal solutions of PBVP (1.1) on f and h.
It is known that the notion of a distributional derivative is very general, including, for example, ordinary derivatives and approximate derivatives. The firstorder PBVP of the form
with ordinary derivatives $\frac{dx}{dt}$ and $h:[0,T]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}$ has been studied extensively in recent years; see, for example, [1–4]. In [5], by using the distributional derivative, PBVP (1.2) has been generalized to (1.1) in the case when h is continuous with respect to x. Results about the existence of solutions and the topological structure of the solution set are given. In this paper, we study PBVP (1.1) in the case when h is monotone with respect to x and obtain some extended results.
The outline of this paper is as follows. In Section 2 we define the distributional HenstockKurzweil integral or briefly the ${D}_{\mathit{HK}}$integral. We say that a distribution f is ${D}_{\mathit{HK}}$integrable on $[a,b]\subset \mathbb{R}$ if there is a unique continuous function F on $[a,b]$ with $F(a)=0$ whose distributional derivative is f. From the definition of the ${D}_{\mathit{HK}}$integral, we know that the ${D}_{\mathit{HK}}$integral includes the Riemann, Lebesgue, HenstockKurzweil (briefly HK), and wide Denjoy integrals (for details, see [6–11]). Furthermore, the space of such integrable distributions is a Banach space and has many basic properties; see [5, 12].
In Section 3, by using the ${D}_{\mathit{HK}}$integral and the distributional derivative, we generalize PBVP (1.2) to (1.1). Our main tools are the method of upper and lower solutions and a fixed point theorem. The main result is Theorem 3.1, which extends some corresponding results in [1, 2]. This section also contains an illustration of the results.
2 The distributional HenstockKurzweil integral
In this section, we present the definition and some basic properties of the distributional HenstockKurzweil integral.
Define the space
where the support of a function ϕ is the closure of the set on which ϕ does not vanish, denoted by $supp(\varphi )$. A sequence $\{{\varphi}_{n}\}\subset {C}_{c}^{\mathrm{\infty}}$ converges to $\varphi \in {C}_{c}^{\mathrm{\infty}}$ if there is a compact set K such that all ${\varphi}_{n}$ have supports in K and for every $m\in \mathbb{N}$ the sequence of m th derivatives ${\varphi}_{n}^{(m)}$ converges to ${\varphi}^{(m)}$ uniformly on K. Let ${C}_{c}^{\mathrm{\infty}}$ be endowed with this convergence property and denote it by $\mathcal{D}$. Also, ϕ is called test function if $\varphi \in \mathcal{D}$. Distributions are defined to be continuous linear functionals on $\mathcal{D}$. The space of distributions is denoted by ${\mathcal{D}}^{\prime}$, which is the dual space of $\mathcal{D}$. That is, if $f\in {\mathcal{D}}^{\prime}$ then $f:\mathcal{D}\to \mathbb{R}$ is a linear functional and we write $\u3008f,\varphi \u3009\in \mathbb{R}$ for $\varphi \in \mathcal{D}$.
For all $f\in {\mathcal{D}}^{\prime}$, we recall that the distributional derivative Df of f is a distribution satisfying $\u3008Df,\varphi \u3009=\u3008f,{\varphi}^{\prime}\u3009$, where ϕ is a test function and ${\varphi}^{\prime}$ is the ordinary derivative of ϕ. With this definition, all distributions have derivatives of all orders and each derivative is a distribution.
Let $(a,b)$ be an open interval in ℝ. We define
Of course, $\mathcal{D}(a,b)$ is endowed with the above convergence property. The dual space of $\mathcal{D}(a,b)$ is denoted by ${\mathcal{D}}^{\prime}(a,b)$. In this case, if $a=\mathrm{\infty}$, $b=+\mathrm{\infty}$, then $\mathcal{D}(a,b)=\mathcal{D}$ and ${\mathcal{D}}^{\prime}(a,b)={\mathcal{D}}^{\prime}$.
Define $C[a,b]$ to be the space of continuous functions on $[a,b]$, and
Note that ${B}_{C}$ is a Banach space with the uniform norm ${\parallel F\parallel}_{\mathrm{\infty}}={max}_{[a,b]}F$.
We are now able to present the definition of the ${D}_{\mathit{HK}}$integral.
Definition 2.1 ([[5], Definition 2.1])
A distribution f is distributionally HenstockKurzweil integrable or briefly ${D}_{\mathit{HK}}$integrable on $[a,b]$ if f is the distributional derivative of a continuous function $F\in {B}_{C}$.
The space of ${D}_{\mathit{HK}}$integrable distributions is defined by
With this definition, if $f\in {D}_{\mathit{HK}}$ then, for all $\varphi \in \mathcal{D}(a,b)$,
The second equality holds because F and ϕ are continuous on $(a,b)$ and ${\varphi}^{\prime}$ has compact support in $(a,b)$. The integral in the last equality exists as a Riemann integral for the same reason.
For convenience, we write $({D}_{\mathit{HK}}){\int}_{a}^{b}f=F(b)$, where F is called the primitive of f and ‘$({D}_{\mathit{HK}})\int $’ denotes the ${D}_{\mathit{HK}}$integral. As usual, if $F\in C[a,b]$ and $({D}_{\mathit{HK}}){\int}_{a}^{b}f=F(b)F(a)$, then the function F is a primitive of f. Notice that if $f\in {D}_{\mathit{HK}}$ then f has many primitives in $C[a,b]$, all differing by a constant, but f has exactly one primitive in ${B}_{C}$.
Remark 2.1 Integrals defined in the same way have also been proposed in other papers. For example, Ang et al. [13] defined it in the plane and called it the Gintegral, and Talvila [9] defined the ${A}_{C}$integral on the extended real line. In that case of integration over onedimensional interval, these two integrals coincide.
The following result is known as the fundamental theorem of calculus.
Lemma 2.1 ([[9], Theorem 4])

(a)
Let $f\in {D}_{\mathit{HK}}$ and $F(t)=({D}_{\mathit{HK}}){\int}_{a}^{t}f$. Then $F\in {B}_{C}$ and $DF=f$.

(b)
Let $F\in C[a,b]$. Then $({D}_{\mathit{HK}}){\int}_{a}^{t}DF=F(t)F(a)$ for all $t\in [a,b]$.
For $u,v\in C[a,b]$, we say that $u\le v$ if and only if $u(t)\le v(t)$ for all $t\in [a,b]$. Similarly, for $f,g\in {D}_{\mathit{HK}}$, we say that $f\u2aafg$ if and only if
The following lemma will be needed later.
Lemma 2.2 ([[13], Corollary 1])
If ${f}_{1},{f}_{2},{f}_{3}\in {\mathcal{D}}^{\prime}(a,b)$, ${f}_{1}\u2aaf{f}_{2}\u2aaf{f}_{3}$, and if ${f}_{1}$ and ${f}_{3}$ are ${D}_{\mathit{HK}}$integrable, then ${f}_{2}$ is also ${D}_{\mathit{HK}}$integrable.
Let $f\in {D}_{\mathit{HK}}$, $F\in {B}_{C}$ with $DF=f$. Then, under the Alexiewicz norm
${D}_{\mathit{HK}}$ is a Banach space (see [[9], Theorem 2]).
We say that a sequence $\{{f}_{n}\}\subset {D}_{\mathit{HK}}$ converges strongly to $f\in {D}_{\mathit{HK}}$ (or ${f}_{n}\to f$ in ${D}_{\mathit{HK}}$) if $\parallel {f}_{n}f\parallel \to 0$ as $n\to \mathrm{\infty}$. The following two convergence theorems hold.
Lemma 2.3 ([[13], Corollary 4, monotone convergence theorem])
Let ${\{{f}_{n}\}}_{n=0}^{\mathrm{\infty}}$ be a sequence in ${D}_{\mathit{HK}}$ such that ${f}_{0}\u2aaf{f}_{1}\u2aaf\cdots \u2aaf{f}_{n}\u2aaf\cdots $ , and that $A={lim}_{n\to \mathrm{\infty}}({D}_{\mathit{HK}}){\int}_{a}^{b}{f}_{n}$. Then ${f}_{n}\to f$ in ${D}_{\mathit{HK}}$ and $({D}_{\mathit{HK}}){\int}_{a}^{b}f=A$.
Lemma 2.4 ([[13], Corollary 5, dominated convergence theorem])
Let ${\{{f}_{n}\}}_{n=0}^{\mathrm{\infty}}$ be a sequence in ${D}_{\mathit{HK}}$ such that ${f}_{n}\to f$ in ${\mathcal{D}}^{\prime}$. Suppose that there exist ${f}_{},{f}_{+}\in {D}_{\mathit{HK}}$ satisfying ${f}_{}\u2aaf{f}_{n}\u2aaf{f}_{+}$, $\mathrm{\forall}n\in \mathbb{N}$. Then $f\in {D}_{\mathit{HK}}$ and ${lim}_{n\to \mathrm{\infty}}({D}_{\mathit{HK}}){\int}_{a}^{b}{f}_{n}=({D}_{\mathit{HK}}){\int}_{a}^{b}f$.
If $g:[a,b]\to \mathbb{R}$, its variation is $Vg=sup{\sum}_{n}g({t}_{n})g({s}_{n})$, where the supremum is taken over every sequence $\{({t}_{n},{s}_{n})\}$ of disjoint intervals in $[a,b]$. If $Vg<\mathrm{\infty}$ then g is called a function with bounded variation. Denote the set of functions with bounded variation by $\mathcal{BV}$. As it is known that the dual space of ${D}_{\mathit{HK}}$ is $\mathcal{BV}$ (see details in [9]), we have the next result.
Lemma 2.5 ([[9], Definition 6, integration by parts])
Let $f\in {D}_{\mathit{HK}}$ and $g\in \mathcal{BV}$. Define $fg=DH$, where $H(t)=F(t)g(t){\int}_{a}^{t}F\phantom{\rule{0.2em}{0ex}}dg$. Then $fg\in {D}_{\mathit{HK}}$ and
Denote by L the space of Lebesgue integrable functions and by ${\parallel \cdot \parallel}_{L}$ the norm on L.
Definition 2.2 Let $f\in {D}_{\mathit{HK}}$ and $g\in L$. Let $\{{g}_{n}\}\subset \mathcal{BV}$ such that ${\parallel {g}_{n}g\parallel}_{L}\to 0$. Define fg as the unique element in ${D}_{\mathit{HK}}$ such that $\parallel f{g}_{n}fg\parallel \to 0$.
This definition, which is modified from [[10], Definition 5], makes sense since $\mathcal{BV}$ is dense in L. Moreover, the next statement holds.
Lemma 2.6 ([[5], Lemma 2.7])
Let f, g be the distributional derivatives of F, G, respectively, where $F,G\in C[a,b]$. Then
3 Periodic boundary value problems
In this section, we shall study the firstorder periodic boundary value problem
where Dx denotes the distributional derivative of $x\in C[0,T]$, $h:[0,T]\times C[0,T]\to C[0,T]$ and f is a distribution on $[0,T]$. Throughout this section, we denote by ${D}_{\mathit{HK}}$ (respectively, HK, L) the space of ${D}_{\mathit{HK}}$ (respectively, HK, Lebesgue)integrable functions and by ‘$(\ast )\int $’ the ∗integral.
For convenience, let us list the following assumptions on the functions f and h.
(D_{1}) There exist $y,z\in C[0,T]$, ${c}_{y},{c}_{z}\in {D}_{\mathit{HK}}$ such that $y\le z$ and
and there is $p\in \mathit{HK}$ such that $p\ge 0$ on $[0,T]$, $P(T)\ne 0$ holds for the function
and the inequalities
and
are true for $t\in [0,T]$.
(D_{2}) $h(\cdot ,x(\cdot ))$ is Lebesgue integrable for every fixed $x\in [y,z]$, and the distribution f is ${D}_{\mathit{HK}}$integrable on $[0,T]$.
(D_{3}) $h(t,x)+p(t)x$ is nondecreasing in $x\in [y,z]$ for all $t\in [0,T]$.
We recall that $[y,z]:=\{x\in C[0,T]\mid y(t)\le x(t)\le z(t)\text{for all}t\in [0,T]\}$.
Before coming to the main results in this paper, we give a result following from Lemma 2.1, that is, PBVP (1.1) can be converted to an integral equation.
Lemma 3.1 Let f and h satisfy (D_{2}). A function $x:[0,T]\to \mathbb{R}$ is a solution of PBVP (1.1) on $[0,T]$ if and only if the equality
is true for any $\stackrel{\u02c6}{p}\in \mathit{HK}$ such that $\stackrel{\u02c6}{p}\ge 0$ on $[0,T]$ and
Remark 3.1 In view of Lemma 2.5, the result ${e}^{\stackrel{\u02c6}{P}(t)}\in \mathcal{BV}$ on $[0,T]$ implies that ${e}^{\stackrel{\u02c6}{P}(t)}(f(t)+h(s,x(s))+\stackrel{\u02c6}{p}(s)x(s))$ is ${D}_{\mathit{HK}}$integrable on $[0,T]$, because $f(t)+h(s,x(s))+\stackrel{\u02c6}{p}(s)x(s)$ is ${D}_{\mathit{HK}}$integrable on $[0,T]$ for all $x\in [y,z]$.
As a matter of fact, the proof of Lemma 3.1 follows exactly the lines of [[5], Lemma 3.1], so we omit it here.
In what follows we recall a fixed point theorem for increasing mappings, which is an important tool for proving the existence theorem.
Let E be an ordered Banach space, K be a nonempty subset of E. The mapping $\mathcal{A}:K\to E$ is increasing if and only if $\mathcal{A}x\le \mathcal{A}y$, whenever $x,y\in K$ and $x\le y$.
Lemma 3.2 ([[14], Theorem 3.1.3])
Let ${y}_{0},{z}_{0}\in E$ with ${y}_{0}<{z}_{0}$ and $\mathcal{A}:[{y}_{0},{z}_{0}]\to E$ be an increasing mapping satisfying ${y}_{0}\le \mathcal{A}{y}_{0}$, $\mathcal{A}{z}_{0}\le {z}_{0}$. If $\mathcal{A}[{y}_{0},{z}_{0}]$ is relatively compact, then $\mathcal{A}$ has a maximal fixed point ${x}^{\ast}$ and a minimal fixed point ${x}_{\ast}$ in $[{y}_{0},{z}_{0}]$. Moreover,
where ${y}_{n}=\mathcal{A}{y}_{n1}$ and ${z}_{n}=\mathcal{A}{z}_{n1}$ ($n=1,2,3,\dots $),
We are now ready to give the main results.
Theorem 3.1 Let the functions f and h in (1.1) satisfy the assumptions (D_{1})(D_{3}). Then the extremal solutions of PBVP (1.1) exist in the ordering interval $[y,z]$.
Proof Let
where $p(t)$ is given in (D_{1}). Then the hypotheses (D_{1})(D_{3}) imply, for all $x\in [y,z]$, that $g(\cdot ,x(\cdot ))$ is Lebesgue integrable and
Define a mapping $\mathcal{A}$ on $[y,z]$ by
It follows from (3.7) that, for each $x\in [y,z]$,
Let $w=\mathcal{A}yy$. Then, by (D_{1}), (3.5) and (3.8), the inequalities
and
hold. It follows from (3.9) that
Inequalities (3.10) and (3.11) imply, for each $t\in [0,T]$, that
This result implies
In view of (3.11) and (3.12), we then have $w=\mathcal{A}yy\ge 0$, i.e., $y\le \mathcal{A}y$. We can similarly verify that $\mathcal{A}z\le z$.
It follows from (D_{3}) and (3.5) that $g(t,\cdot )$ is nondecreasing on $[y,z]$ for all $t\in [0,T]$. Moreover, $\mathcal{A}x\in C[0,T]$ for each $x\in [y,z]$, whence (3.7) defines a nondecreasing mapping $\mathcal{A}:[y,z]\to [y,z]$.
We now only need to prove that $\mathcal{A}[y,z]$ is relatively compact.
The properties of $\mathcal{A}$ imply that
Since $y,z\in C[0,T]$ are bounded, there exists $N>0$ such that
This implies that $\mathcal{A}[y,z]$ is uniformly bounded.
Let ${t}_{1},{t}_{2}\in [0,T]$. Then, by (3.7), for each $x\in [y,z]$,
Since $p\in \mathit{HK}$ and $p(t)\ge 0$ on $[0,T]$, $P(t)=(\mathit{HK}){\int}_{0}^{t}p(s)\phantom{\rule{0.2em}{0ex}}ds$ is continuous and so it is uniformly continuous on $[0,T]$. Then, for any $\epsilon >0$, there exists $\delta >0$ such that
Moreover, the continuity of ${e}^{P(t)}$ on $[0,T]$ implies that there exists $M>0$ such that
On the other hand, the monotonicity of $g(t,\cdot )$ on $[y,z]$ for all $t\in [0,T]$ and (2.2) implies that
This result, (3.13), (3.14), (3.15) and (3.16) imply that
Since ${e}^{P(t)}(f(t)+g(t,y(t)))$ and ${e}^{P(t)}(f(t)+g(t,z(t)))$ are ${D}_{\mathit{HK}}$integrable on $[0,T]$, the primitives of them are continuous and so they are uniformly continuous on $[0,T]$. Hence, by inequality (3.17), $\mathcal{A}[y,z]$ is equiuniformly continuous on $[0,T]$ for all $x\in [y,z]$. In view of the AscoliArzelà theorem, $\mathcal{A}[y,z]$ is relatively compact. Thus, $\mathcal{A}$ satisfies the hypotheses of Lemma 3.2, whence $\mathcal{A}$ has the minimal fixed point ${x}_{\ast}$ and the maximal fixed point ${x}^{\ast}$. From the definitions of g and $\mathcal{A}$ and Lemma 3.1 it follows that ${x}_{\ast}$ and ${x}^{\ast}$ are also solutions of PBVP (1.1) in $[y,z]$. Moreover, (3.3) and (3.4) hold with ${y}_{0}$, ${z}_{0}$ replaced by y, z.
If x is any solution of PBVP (1.1) in $[y,z]$, then it is, by Lemma 3.1, a fixed point of $\mathcal{A}$, whence ${x}_{\ast}\le x\le {x}^{\ast}$. Thus ${x}_{\ast}$ and ${x}^{\ast}$ are the minimal and maximal solutions of PBVP (1.1) in $[y,z]$, respectively. □
Remark 3.2 Let $p(t)\equiv M$, ${c}_{y}=M{r}_{y}$ and ${c}_{z}=M{r}_{z}$, where M is a positive constant, ${r}_{y}=(y(0)y(T))\frac{{e}^{P(T)}}{{e}^{P(T)}1}\ne 0$ and ${r}_{z}=(z(T)z(0))\frac{{e}^{P(T)}}{{e}^{P(T)}1}\ne 0$. Then (D_{1}) is reduced to
(${\mathrm{D}}_{1}^{\prime}$) There exist $y,z\in C[0,T]$, $y\le z$, such that $Dy\u2aaff+h(\cdot ,y)M{r}_{y}$, $Dz\u2ab0f+h(\cdot ,z)+M{r}_{z}$ on $[0,T]$, $y(0)>y(T)$ and $z(0)<z(T)$.
If ${c}_{y}={c}_{z}=0$ in (D_{1}), then we obtain
(${\mathrm{D}}_{1}^{\u2033}$) There exist $y,z\in C[0,T]$, $y\le z$, such that $Dy\u2aaff+h(\cdot ,y)$ and $Dz\u2ab0f+h(\cdot ,z)$ on $[0,T]$, $y(0)\le y(T)$ and $z(0)\ge z(T)$.
Further, the ${D}_{\mathit{HK}}$integral includes the Lebesgue integral, and the distributional derivative contains the ordinary derivative. Thus, we can see that Theorem 3.1 is a proper generalization of [[2], Theorem 2.1] if $f\equiv 0$ on $[0,T]$.
Corollary 3.1 Given a function g, assume that $g(t,\cdot )$ is nondecreasing on $C[0,T]$ for all $t\in [0,T]$, $g(\cdot ,x(\cdot ))$ is Lebesgue integrable on $[0,T]$ for every fixed $x\in C[0,T]$, and there exist ${g}_{\pm}\in {D}_{\mathit{HK}}$ such that, for all $x\in C[0,T]$,
If $p\in \mathit{HK}$ on $[0,T]$, $p(t)\ge 0$ with $P(t)=(\mathit{HK}){\int}_{0}^{t}p(s)\phantom{\rule{0.2em}{0ex}}ds$ nonzero at $t=T$ and f is a distribution on $[0,T]$, then the PBVP
has the extremal solutions.
Proof Let y be a solution of the PBVP
and z a solution of the PBVP
According to Lemma 3.1, it is easy to see that y, z are unique.
By choosing $h(t,x)=g(t,x)p(t)x$, $t\in [0,T]$, $x\in C[0,T]$, we have that the following two inequalities
hold if y, z are given as above. Thus, the conditions (D_{1})(D_{3}) are satisfied and, by Theorem 3.1, PBVP (3.19) has the extremal solutions ${x}_{\ast}$ and ${x}^{\ast}$ in $[y,z]$. Moreover, if x is any solution of PBVP (3.19), it follows from Lemma 3.1 that for each $t\in [0,T]$,
This result, (3.18), (3.20) and (3.21) imply that each solution of PBVP (3.19) belongs to $[y,z]$, whence ${x}_{\ast}$ and ${x}^{\ast}$ are the minimal and maximal solutions of PBVP (3.19). □
We now give an example to illustrate the main results.
Example 3.1 Consider the PBVP given by
where Dr is the distributional derivative of
Then PBVP (3.22) has extremal solutions.
Proof PBVP (3.22) can be regard as a PBVP of the form (3.19), where
It is easy to see that $0\le p(t)\in \mathit{HK}$ and $(\mathit{HK}){\int}_{0}^{2}p(s)\phantom{\rule{0.2em}{0ex}}ds=2>0$. Choose ${g}_{\pm}(t)=\pm \frac{\pi}{2}$, then ${g}_{\pm}\in {D}_{\mathit{HK}}$ and (3.18) holds. This result and $g(t,\cdot )$ is nondecreasing imply that the hypotheses of Corollary 3.1 are satisfied. The proof is therefore completed. □
It is well known that the function $r(t)$ in (3.23) given by Riemann and proved by Hardy [15] is continuous but pointwise differentiable nowhere on ℝ. Then, by [[5], Example 2.4], the distributional derivative Dr is neither HKintegrable nor Lebesgue integrable. Hence, [[2], Theorem 2.1] is not applicable in this case, which implies that the main results in this paper are more general.
The following result shows the dependence of the extremal solutions of PBVP (1.1) on f and h.
Proposition 3.1 If the hypotheses of Theorem 3.1 hold, then the extremal solutions of PBVP (1.1) in $[y,z]$ are nondecreasing with respect to f and h.
Proof Let f, $\stackrel{\u02c6}{f}$, h and $\stackrel{\u02c6}{h}$ satisfy, for all $x\in C[0,T]$,
Assume that the hypotheses of Theorem 3.1 hold for f, h and $\stackrel{\u02c6}{f}$, $\stackrel{\u02c6}{h}$ with the same fixed functions y, z, ${c}_{y}$, ${c}_{z}$ and p. Let ${x}_{\ast}$ be the minimal solution of PBVP (1.1) in $[y,z]$, ${\stackrel{\u02c6}{x}}_{\ast}$ the minimal solution of the PBVP
in $[y,z]$. Let $\mathcal{A}:[y,z]\to [y,z]$ be defined by (3.7), where g is given by (3.5). By Lemma 3.1, one has
where
It follows from (3.5), (3.24) and (3.27) that for all $x\in [y,z]$,
whence (3.7) and (3.26) imply that $\mathcal{A}{\stackrel{\u02c6}{x}}_{\ast}\le {\stackrel{\u02c6}{x}}_{\ast}$, yet Lemma 3.2 holds with ${y}_{0}=y$, ${z}_{0}={\stackrel{\u02c6}{x}}_{\ast}$. Indeed, by (3.3), ${x}_{\ast}$ is also the minimal fixed point of $\mathcal{A}$ in $[y,{\stackrel{\u02c6}{x}}_{\ast}]$. This and (3.4) imply that ${x}_{\ast}\le {\stackrel{\u02c6}{x}}_{\ast}$.
Similarly, it is easy to verify that ${x}^{\ast}\le {\stackrel{\u02c6}{x}}^{\ast}$, where ${x}^{\ast}$ denotes the maximal solution of PBVP (1.1) in $[y,z]$ and ${\stackrel{\u02c6}{x}}^{\ast}$ is the maximal solution of PBVP (3.25) in $[y,z]$. □
References
 1.
Lakshmikantham V, Leela S: Existence and monotone method for periodic solutions of firstorder differential equations. J. Math. Anal. Appl. 1983, 91(1):237243. 10.1016/0022247X(83)901026
 2.
Lakshmikantham V, Leela S: Remarks on first and second order periodic boundary value problems. Nonlinear Anal. 1984, 8(3):281287. 10.1016/0362546X(84)900506
 3.
Bereanu C, Mawhin J: Existence and multiplicity results for periodic solutions of nonlinear difference equations. J. Differ. Equ. Appl. 2006, 12(7):677695. 10.1080/10236190600654689
 4.
Bereanu C, Mawhin J: Periodic solutions of first order nonlinear difference equations. Rend. Semin. Mat. (Torino) 2007, 65(1):1733.
 5.
Liu W, Ye GJ, Wang Y, Zhou XY: On periodic solutions for first order differential equations involving the distributional HenstockKurzweil integral. Bull. Aust. Math. Soc. 2012, 86: 327338. 10.1017/S0004972711003455
 6.
Lee PY: Lanzhou Lecture on Henstock Integration. World Scientific, Singapore; 1989.
 7.
Chew TS, Lee PY: The topology of the space of Denjoy integrable functions. Bull. Aust. Math. Soc. 1990, 42(3):517524. 10.1017/S0004972700028689
 8.
Lee TY: A full descriptive definition of the HenstockKurzweil integral in the Euclidean space. Proc. Lond. Math. Soc. 2003, 87(3):677700. 10.1112/S0024611503014163
 9.
Talvila E: The distributional Denjoy integral. Real Anal. Exch. 2008, 33(1):5182.
 10.
Talvila E: Convolutions with the continuous primitive integral. Abstr. Appl. Anal. 2009., 2009: Article ID 307404 10.1155/2009/307404
 11.
Schwabik Š, Ye GJ: Topics in Banach Space Integration. World Scientific, Singapore; 2005.
 12.
Lu YP, Ye GJ, Liu W, Wang Y: Existence of solutions of the wave equation involving the distributional HenstockKurzweil integral. Differ. Integral Equ. 2011, 24(1112):10631071.
 13.
Ang DD, Schmitt K, Vy LK: A multidimensional analogue of the DenjoyPerronHenstockKurzweil integral. Bull. Belg. Math. Soc. Simon Stevin 1997, 4: 355371.
 14.
Guo DJ, Cho YJ, Zhu J: Partial Ordering Methods in Nonlinear Problems. Nova Science Publishers, New York; 2004.
 15.
Hardy GH: Weierstrass’s nondifferentiable function. Trans. Am. Math. Soc. 1916, 17(3):301325.
Acknowledgements
The authors would like to express their heartfelt appreciations to the expert referees for their helpful comments and suggestions.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
WL wrote the first draft and TA and GY corrected and improved the final version. All authors read and approved the final draft.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 periodic boundary value problem
 distributional HenstockKurzweil integral
 distributional derivative
 extremal solutions
 upper and lower solutions
 fixed point