• Research
• Open Access

# Generalized Sturm-Liouville and Langevin equations via Hadamard fractional derivatives with anti-periodic boundary conditions

Boundary Value Problems20162016:217

https://doi.org/10.1186/s13661-016-0725-1

• Accepted: 28 November 2016
• Published:

## Abstract

In this paper, we introduce a new class of anti-periodic boundary value problems by combining Sturm-Liouville and Langevin fractional differential equations of Hadamard type. Existence and uniqueness results are proved via fixed point theorems. Examples illustrating the obtained results are also presented.

## Keywords

• Sturm-Liouville problem
• Langevin equation
• fractional differential equations
• boundary value problems
• fixed point theorems

• 34A08
• 34B15
• 34B24

## 1 Introduction

The Sturm-Liouville problem has many applications in different areas of science, for example, engineering and mathematics. The classical Sturm-Liouville problem for a linear differential equation of second order is a boundary value problem as the following one:
$$\left \{ \textstyle\begin{array}{l} -\frac{d}{dt} [p(t)\frac{dx}{dt} ]+v(t)x=\lambda r(t)x, \quad t\in[a,b],\\ a_{1} x(a)+a_{2}x'(a)=0,\\ b_{1} x(b)+b_{2} x'(b)=0. \end{array}\displaystyle \right .$$
(1.1)

Recently in  the authors proposed an approach to the fractional version of the Sturm-Liouville problem. They investigated the eigenvalues and eigenfunctions associated to these operators and also theirs properties, with the objective of applying this generalized Sturm-Liouville theory to fractional partial differential equations.

Fractional differential equations have attracted the attention of many researchers working in a variety of disciplines, due to the development and applications of these equations in many fields such as engineering, mathematics, physics, chemistry, etc. For recent developments of the topic, we refer the reader to . However, it has been noticed that most of the work on the topic is concerned with Riemann-Liouville- or Caputo-type fractional differential equations. Besides these fractional derivatives, another kind of fractional derivatives found in the literature is the fractional derivative due to Hadamard, introduced in 1892 , which differs from the aforementioned derivatives in the sense that the kernel of the integral in the definition of Hadamard derivative contains a logarithmic function of arbitrary exponent. A detailed description of the Hadamard fractional derivative and integral can be found in [3, 1519].

The Langevin equation (first formulated by Langevin in 1908) is found to be an effective tool to describe the evolution of physical phenomena in fluctuating environments . For some new developments on the fractional Langevin equation, see, for example, .

In this paper we introduce a new class of boundary value problems by combining Sturm-Liouville and Langevin fractional differential equations. More precisely, we initiate the study of the existence and uniqueness of solutions for the generalized Sturm-Liouville and Langevin fractional differential equations of Hadamard type, with anti-periodic boundary conditions of the form
$$\left \{ \textstyle\begin{array}{l} D^{\beta} ([p(t)D^{\alpha} +r(t)]x(t))=g(t, x(t)),\quad1< t< T,\\ x(1)=-x(T),\quad \quad D^{\alpha}x(1)=-D^{\alpha}x(T), \end{array}\displaystyle \right .$$
(1.2)
where $$D^{\rho}$$ denotes the Caputo-type Hadamard fractional derivative of order ρ, $$\rho\in\{\alpha,\beta\}$$ with $$0<\alpha,\beta< 1$$, $$p\in C([1,T], {\mathbb {R}})$$ with $$\vert p(t)\vert \ge K>0$$, $$r\in C([1,T], {\mathbb {R}})$$, and $$g\in C([1,T]\times\mathbb{R},\mathbb{R})$$.
Note that:
• If $$r(t)\equiv0$$ for all $$t\in[1,T]$$, then the problem (1.2) is reduced to the Sturm-Liouville fractional boundary value problem of Hadamard type of the form
$$\left \{ \textstyle\begin{array}{l} D^{\beta} (p(t)D^{\alpha}x(t))=g(t, x(t)),\quad 1< t< T,\\ x(1)=-x(T),\quad \quad D^{\alpha}x(1)=-D^{\alpha}x(T). \end{array}\displaystyle \right .$$
(1.3)
• If $$p(t)\equiv1$$ and $$r(t)\equiv\lambda$$, $$\lambda\in \mathbb{R}$$, for $$t\in[1,T]$$, then the problem (1.2) is reduced to
$$\left \{ \textstyle\begin{array}{l} D^{\beta} (D^{\alpha}+\lambda)x(t)=g(t, x(t)),\quad1< t< T,\\ x(1)=-x(T),\quad \quad D^{\alpha}x(1)=-D^{\alpha}x(T), \end{array}\displaystyle \right .$$
(1.4)
which is the Langevin fractional boundary value problem.

This paper is organized as follows. In Section 2, some necessary definitions and lemmas that will be used to prove our main result are shown. In Section 3, we prove our main results. By applying the Banach contraction mapping principle an existence and uniqueness result is proved. Moreover, two existence results are established via Leray-Schauder nonlinear alternative and Krasnosleskii’s fixed point theorem. Illustrative examples are presented in Section 4.

## 2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus [2, 3] and present preliminary results needed in our proofs later.

### Definition 2.1

For an at least n-times differentiable function $$f : [1,\infty) \to\mathbb{R}$$, the Caputo-type Hadamard derivative of fractional order α is defined as
$$D^{\alpha}f(t)=\frac{1}{\Gamma(n-\alpha)} \int_{1}^{t} \biggl(\log\frac {t}{s} \biggr)^{n-\alpha-1}\delta^{n} f(s)\frac{ds}{s}, \quad n-1 < \alpha< n, n=[\alpha]+1,$$
where $$\delta=t\frac{d}{dt}$$, $$\log(\cdot)=\log_{e}(\cdot)$$, $$[\alpha]$$ denotes the integer part of the real number α.

### Definition 2.2

The Hadamard fractional integral of order α is defined as
$$I^{\alpha}f(t)=\frac{1}{\Gamma(\alpha)} \int_{1}^{t} \biggl(\log\frac {t}{s} \biggr)^{\alpha-1}f(s)\frac{ds}{s},\quad \alpha>0,$$
provided the integral exists.

### Lemma 2.1



Let $$u \in AC_{\delta}^{n}[a,b]$$ or $$C_{\delta}^{n}[a,b]$$ and $$\alpha\in \mathbb{C}$$, where $$X_{\delta}^{n}[a,b]=\{f:[a,b]\to\mathbb{C} : \delta^{n-1}f(t)\in X[a,b]\}$$. Then we have
$$\bigl(I^{\alpha}D^{\alpha}u\bigr) (t)=u(t)-\sum _{k=0}^{n-1}c_{k}(\log t)^{k},$$
where $$c_{k} \in \mathbb{R}$$, $$k=0,1, 2,\ldots, n-1$$, $$(n=[\alpha]+1)$$.
For the sake of convenience, we set the constants
$$\mu=\frac{p(1)}{p(T)},\qquad\xi=\mu r(T)-r(1)\quad\text{and} \quad \eta= I^{\alpha}\biggl( \frac{1}{p} \biggr) (T).$$
(2.1)
Observe that $$\mu>0$$ and $$\eta\neq0$$. For $$g\in C([1,T]\times \mathbb{R}, \mathbb{R})$$, we use the following notation:
$$I^{\alpha}(g_{x}) (t)=\frac{1}{\Gamma(\alpha)} \int_{1}^{t} \biggl(\log \frac{t}{s} \biggr)^{\alpha-1}g\bigl(s,x(s)\bigr)\frac{ds}{s}.$$

### Lemma 2.2

The problem (1.2) is equivalent to the following fractional integral equation:
\begin{aligned} x(t) =& I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (t) - I^{\alpha}\biggl( \frac{r}{p} x \biggr) (t) \\ &{} + \biggl( \frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) + \frac{\xi}{\mu +1}x(T) \biggr) I^{\alpha}\biggl( \frac{1}{p} \biggr) (t) \\ &{} -\frac{1}{2} \biggl[I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (T) - I^{\alpha}\biggl( \frac{r}{p} x \biggr) (T) \\ &{} + \biggl(\frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) + \frac{\xi}{\mu +1}x(T) \biggr) \eta \biggr], \end{aligned}
(2.2)
where μ, ξ, and η are defined by (2.1).

### Proof

Taking the Hadamard fractional integral of order β to both sides of the problem (1.2) and applying Lemma 2.1, we obtain
$$p(t)D^{\alpha}x(t) + r(t)x(t) = I^{\beta}(g_{x}) (t)+c_{0}, \quad c_{0} \in\mathbb{R},$$
which yields
$$D^{\alpha}x(t) = \frac{I^{\beta}(g_{x})(t) - r(t)x(t)+c_{0}}{p(t)}.$$
(2.3)
The boundary condition $$D^{\alpha}x(1)= - D^{\alpha}x(T)$$ implies
$$c_{0} = \frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) + \frac{\xi}{\mu+1} x(T).$$
Using the Hadamard fractional integral of order α to both sides of (2.3) and applying Lemma 2.1 again, we have
$$x(t) = I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (t) - I^{\alpha}\biggl( \frac{r}{p}x \biggr) (t)+ c_{0} I^{\alpha}\biggl( \frac{1}{p} \biggr) (t) + c_{1},$$
(2.4)
where $$c_{1} \in\mathbb{R}$$. By utilizing the anti-periodic boundary condition $$x(1) = - x(T)$$, it follows that
$$c_{1} = -\frac{1}{2} \biggl[ I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (T) - I^{\alpha}\biggl( \frac{r}{p}x \biggr) (T) + c_{0} I^{\alpha}\biggl( \frac{1}{p} \biggr) (T) \biggr].$$
Substituting the constants $$c_{0}$$ and $$c_{1}$$ into (2.4), we get the fractional integral equation (2.2) as desired.

Conversely, it can easily be shown by direct computation that the integral equation (2.2) satisfies the problem (1.2). This completes the proof. □

## 3 Main results

Let $$\mathcal{C} = C([1,T],\mathbb{R})$$ be the Banach space of all continuous functions from $$[1,T]$$ to $$\mathbb{R}$$ endowed with the norm defined by $$\Vert x\Vert =\sup\{\vert x(t)\vert , t\in[1,T]\}$$. Define an operator $$\mathcal{A}:\mathcal{C}\rightarrow\mathcal{C}$$ by
\begin{aligned} \mathcal{A}x(t) =& I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (t) - I^{\alpha}\biggl( \frac{r}{p} x \biggr) (t) \\ &{}+ \biggl( \frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) + \frac{\xi}{\mu +1}x(T) \biggr) I^{\alpha}\biggl( \frac{1}{p} \biggr) (t) \\ & {}-\frac{1}{2} \biggl[I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (T) - I^{\alpha}\biggl( \frac{r}{p} x \biggr) (T) \\ &{}+ \biggl(\frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) + \frac{\xi}{\mu +1}x(T) \biggr) \eta \biggr]. \end{aligned}
(3.1)
Observe that the problem (1.2) has solutions if and only if the operator $$\mathcal{A}$$ has fixed points.
Define the constants $$p_{*} = \inf_{t \in[1,T]} \vert p(t)\vert$$ and $$r^{*}= \sup_{t \in[1,T]}\vert r(t)\vert$$ and set
\begin{aligned}& \Omega_{1} = \frac{3(\log T)^{\alpha+\beta}}{2p_{*}\Gamma(\alpha +\beta+1)}+\frac{3\mu \vert \eta \vert (\log T)^{\beta}}{2(\mu+1)\Gamma (\beta+1)}, \end{aligned}
(3.2)
\begin{aligned}& \Omega_{2} = \frac{3r^{*}(\log T)^{\alpha}}{2p_{*}\Gamma(\alpha +1)}+\frac{3\vert \xi \vert \vert \eta \vert }{2(\mu+1)} , \end{aligned}
(3.3)
\begin{aligned}& \Omega_{3} = \Omega_{1}L+\Omega_{2}. \end{aligned}
(3.4)

### 3.1 Existence and uniqueness result

In this subsection we give one existence and uniqueness result, by using the Banach contraction mapping principle.

### Theorem 3.1

Assume that:
$$(H_{1})$$

there exists a constant $$L>0$$ such that $$\vert g(t,x)-g(t,y)\vert \leq L\vert x-y\vert$$, for each $$t \in[1,T]$$ and $$x,y \in \mathbb{R}$$.

If
\begin{aligned} \Omega_{3} < 1, \end{aligned}
(3.5)
where $$\Omega_{3}$$ is defined by (3.3), then the problem (1.2) has a unique solution on $$[1,T]$$.

### Proof

To prove that the problem (1.2) has a unique solution, we consider a fixed point problem, $$x = \mathcal {A}x$$, where the operator $$\mathcal{A}$$ is defined as in (3.1). To accomplish our purpose, we apply the Banach contraction mapping principle to show that $$\mathcal{A}$$ has a unique fixed point.

We define $$\sup_{t\in[1, T]}\vert g(t, 0)\vert =M<\infty$$, and choose
$$R\geq\frac{\Omega_{1} M}{1-\Omega_{3}},$$
(3.6)
where $$\Omega_{1}$$ and $$\Omega_{3}$$ are defined by (3.2) and (3.4), respectively. Now, we show that $$\mathcal{A} B_{R}\subset B_{R}$$, where $$B_{R}=\{x \in\mathcal{C} : \Vert x\Vert \leq R\}$$. For any $$x\in B_{R}$$, we have
\begin{aligned} \bigl\vert \mathcal{A}x(t)\bigr\vert \leq& I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta} \bigl(\vert g_{x}\vert \bigr) \biggr) (t) + I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (t) \\ &{}+ \biggl( \frac{\mu}{(\mu+1)} I^{\beta} \bigl(\vert g_{x} \vert \bigr) (T) + \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert \biggr) I^{\alpha} \biggl( \frac{1}{\vert p\vert } \biggr) (t) \\ &{} +\frac{1}{2} \biggl[I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta} \vert g_{x}\vert \biggr) (T) + I^{\alpha} \biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (T) \\ &{}+ \biggl(\frac{\mu}{(\mu+1)} I^{\beta} \bigl(\vert g_{x} \vert \bigr) (T) + \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert \biggr) \vert \eta \vert \biggr] \\ \leq& I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta}\bigl(\vert g_{x}-g_{0}\vert +\vert g_{0} \vert \bigr) \biggr) (T) + I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert }\vert x \vert \biggr) (T) \\ &{}+ \biggl( \frac{\mu}{(\mu+1)} I^{\beta}\bigl(\vert g_{x}-g_{0}\vert +\vert g_{0}\vert \bigr) (T) + \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert \biggr) I^{\alpha}\biggl( \frac {1}{\vert p\vert } \biggr) (T) \\ &{} +\frac{1}{2} I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta}\bigl(\vert g_{x}-g_{0}\vert +\vert g_{0} \vert \bigr) \biggr) (T) + \frac{1}{2} I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert }\vert x\vert \biggr) (T) \\ &{}+ \frac{1}{2} \biggl( \frac{\mu}{(\mu+1)} I^{\beta}\bigl(\vert g_{x}-g_{0}\vert +\vert g_{0}\vert \bigr) (T) + \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert \biggr) \vert \eta \vert \\ \leq& \frac{3}{2} \biggl( \frac{RL+M}{p_{*}} \biggr) \frac{(\log T)^{\alpha+\beta}}{\Gamma(\alpha+ \beta+1)} + \frac{3}{2} \biggl( \frac{Rr^{*}}{p_{*}} \biggr) \frac{(\log T)^{\alpha}}{\Gamma(\alpha+ 1)} \\ &{}+ \frac{3}{2} \biggl( \frac{\mu \vert \eta \vert }{(\mu+1)} \biggr) (RL+M) \frac{(\log T)^{\beta}}{\Gamma(\beta+ 1)}+ \frac{3\vert \xi \vert \vert \eta \vert }{2(\mu+1)} R \\ = & \Omega_{1}M+\Omega_{3}R \leq R. \end{aligned}
This implies that $$\mathcal{A} B_{R}\subset B_{R}$$.
By $$(H_{1})$$, for any $$x,y\in B_{R}$$, we have
\begin{aligned}& \bigl\vert \mathcal{A}x(t)-\mathcal{A}y(t)\bigr\vert \\& \quad \leq \frac{1}{p_{*}} I^{\alpha+\beta}\bigl(\vert g_{x}-g_{y} \vert \bigr) (T)+\frac {r^{*}}{p_{*}}\Vert x-y\Vert I^{\alpha}(1) (T)+ \frac{\vert \eta \vert \mu}{(\mu+1)} I^{\beta }\bigl(\vert g_{x}-g_{y} \vert \bigr) (T) \\& \quad\quad{} + \vert \eta \vert \Vert x-y\Vert \frac{\vert \xi \vert }{(\mu+1)} + \frac{1}{2p_{*}}I^{\alpha +\beta}\bigl(\vert g_{x}-g_{y} \vert \bigr) (T)+ \frac{r^{*}}{2p_{*}}\Vert x-y\Vert I^{\alpha}(1) (T) \\& \quad\quad{} + \frac{\vert \eta \vert \mu}{2(\mu+1)} I^{\beta}\bigl(\vert g_{x}-g_{y} \vert \bigr) (T)+ \frac {\vert \eta \vert \vert \xi \vert }{2(\mu+1)} \Vert x-y\Vert \\& \quad \leq \frac{L\Vert x-y\Vert (\log T)^{\alpha+\beta}}{p_{*} \Gamma(\alpha +\beta+1)} + \frac{r^{*}\Vert x-y\Vert (\log T)^{\alpha}}{p_{*} \Gamma(\alpha +1)} + \frac{\vert \eta \vert \mu}{(\mu+1)} \frac{L\Vert x-y\Vert (\log T)^{\beta}}{ \Gamma(\beta+1)} \\& \quad\quad{} + \frac{\vert \eta \vert \vert \xi \vert }{(\mu+1)} \Vert x-y\Vert + \frac{L\Vert x-y\Vert (\log T)^{\alpha+\beta}}{2p_{*} \Gamma(\alpha+\beta+1)}+ \frac{r^{*}\Vert x-y\Vert (\log T)^{\alpha}}{2p_{*} \Gamma(\alpha+1)} \\& \quad\quad{} + \frac{\vert \eta \vert \mu}{2(\mu+1)} \frac{L\Vert x-y\Vert (\log T)^{\beta}}{\Gamma(\beta+1)}+\frac{\vert \eta \vert \vert \xi \vert }{2(\mu+1)} \Vert x-y\Vert \\& \quad = \Omega_{3}\Vert x-y\Vert . \end{aligned}
As $$\Omega_{3}<1$$, $$\mathcal{A}$$ is a contraction. Therefore, we see from the Banach contraction mapping principle that the operator $$\mathcal{A}$$ has a fixed point which is the unique solution of the boundary value problem (1.2). This completes the proof. □

If $$r(t)\equiv0$$ for $$t\in[1,T]$$, then we have $$\xi=0$$ and $$r^{*}=0$$ and we also get the following result.

### Corollary 3.1

Suppose that the condition $$(H_{1})$$ holds. If $$\Omega _{1}L<1$$, where $$\Omega_{1}$$ is defined by (3.2), then the problem (1.3) has a unique solution on $$[1,T]$$.

If $$p(t)\equiv1$$ and $$r(t)\equiv\lambda$$ for $$t\in[1,T]$$ and $$\lambda\in\mathbb{R}$$, then we obtain $$p_{*}=1$$, $$r^{*}=\vert \lambda \vert$$, $$\mu=1$$, $$\xi=0$$, $$\eta= \frac{(\log T)^{\alpha }}{\Gamma(\alpha+1)}$$, and the following corollary.

### Corollary 3.2

Assume that the condition $$(H_{1})$$ is satisfied. If
$$\frac{3}{2} \biggl(\frac{1}{\Gamma(\alpha+\beta+1)}+\frac {1}{2\Gamma(\alpha+1)\Gamma(\beta+1)} \biggr)L(\log T)^{\alpha +\beta}+\frac{3}{2}\vert \lambda \vert \frac{(\log T)^{\alpha}}{\Gamma (\alpha+1)}< 1,$$
then the problem (1.4) has a unique solution on $$[1,T]$$.

### 3.2 Existence results

Now we give an existence result via Leray-Schauder nonlinear alternative.

### Theorem 3.2

Nonlinear alternative for single valued maps 

Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and $$0\in U$$. Suppose that $$\mathcal{A}:\bar{U}\to C$$ is a continuous, compact (that is, $$\mathcal{A}(\bar{U})$$ is a relatively compact subset of C) map. Then either
1. (i)

$$\mathcal{A}$$ has a fixed point in Ū, or

2. (ii)

there is a $$x\in\partial U$$ (the boundary of U in C) and $$\lambda\in(0,1)$$ with $$x = \lambda \mathcal{A}(x)$$.

### Theorem 3.3

Assume that:
$$(H_{2})$$
there exist a continuous nondecreasing function $$\psi: [0,\infty) \to(0,\infty)$$ and a function $$\varphi\in C([1,T],\mathbb{R}^{+})$$ such that
$$\bigl\vert g(t,x)\bigr\vert \le\varphi(t)\psi\bigl(\vert x\vert \bigr)\quad \textit{for each } (t,x) \in[1,T] \times\mathbb{R};$$
(3.7)
$$(H_{3})$$
there exists a constant $$M>0$$ such that
$$\frac{(1-\Omega_{2})M}{\Vert \varphi \Vert \psi(M)\Omega_{1} }> 1,\quad\Omega_{2}< 1,$$
(3.8)
where $$\Omega_{1}$$, $$\Omega_{2}$$ are defined by (3.2) and (3.3), respectively.
Then the boundary value problem (1.2) has at least one solution on $$[1,T]$$.

### Proof

Let the operator $$\mathcal{A}$$ be defined as in (3.1). Now, we are going to prove that the operator $$\mathcal{A}$$ maps bounded sets (balls) into bounded sets in $$C([1,T], \mathbb{R})$$. For $$\rho>0$$, we define a bounded ball $$B_{\rho}= \{x \in C([1,T], \mathbb{R}): \Vert x\Vert \le\rho \}$$. Then, for $$t\in[1,T]$$, we have
\begin{aligned} \bigl\vert (\mathcal{A}x) (t)\bigr\vert \leq& I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta} \bigl(\vert g_{x}\vert \bigr) \biggr) (t) + I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (t)+ \biggl( \frac {\mu}{(\mu+1)} I^{\beta} \bigl(\vert g_{x} \vert \bigr) (T) \\ &{} + \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert \biggr) I^{\alpha} \biggl( \frac {1}{\vert p\vert } \biggr) (t)+\frac{1}{2} \biggl[I^{\alpha}\biggl( \frac {1}{\vert p\vert }I^{\beta} \vert g_{x}\vert \biggr) (T) \\ &{} + I^{\alpha} \biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (T) + \biggl(\frac{\mu}{(\mu+1)} I^{\beta} \bigl(\vert g_{x}\vert \bigr) (T) + \frac{\vert \xi \vert }{(\mu +1)}\bigl\vert x(T)\bigr\vert \biggr) \vert \eta \vert \biggr] \\ \leq& \frac{\Vert \varphi \Vert \psi(\vert x\vert )}{p_{*}}I^{\alpha+\beta}(1) (T) + \frac{\rho r^{*}}{p_{*}}I^{\alpha}(1) (T) + \frac{\vert \eta \vert \mu \Vert \varphi \Vert \psi(\vert x\vert )}{(\mu+1)}I^{\beta}(1) (T) \\ &{}+\frac{\vert \eta \vert \vert \xi \vert \rho}{(\mu+1)} +\frac{\Vert \varphi \Vert \psi(\vert x\vert )}{2p_{*}}I^{\alpha+\beta}(1) (T)+ \frac {\rho r^{*}}{2p_{*}}I^{\alpha}(1) (T) \\ &{}+\frac{\vert \eta \vert \mu \Vert \varphi \Vert \psi(\vert x\vert )}{2(\mu+1)}I^{\beta}(1) (T) + \frac{\vert \eta \vert \vert \xi \vert \rho}{2(\mu+1)} \\ \leq& \Vert \varphi \Vert \psi(\rho)\Omega_{1}+\rho \Omega_{2}, \end{aligned}
$$\Vert \mathcal{A}x\Vert \le \Vert \varphi \Vert \psi(\rho) \Omega_{1}+\rho\Omega_{2}.$$
(3.9)
Next we will show that the operator $$\mathcal{A}$$ maps bounded sets into equicontinuous sets of $$C([0,T], \mathbb{R})$$ . Let $$\tau_{1}, \tau_{2} \in[1,T]$$ such that $$\tau_{1}< \tau_{2}$$ and $$x \in B_{\rho}$$. Then we have
\begin{aligned}& \bigl\vert (\mathcal{A}x) (\tau_{2})-(\mathcal{A}x) ( \tau_{1})\bigr\vert \\& \quad \le \frac{\Vert \varphi \Vert \psi(\rho)}{p_{*}\Gamma(\alpha +\beta)} \biggl[ \int_{1}^{\tau_{2}} \biggl(\log\frac{\tau_{2}}{s} \biggr)^{\alpha+\beta-1}\frac{ds}{s} - \int_{1}^{\tau_{1}} \biggl(\log\frac{\tau_{1}}{s} \biggr)^{\alpha+\beta -1}\frac{ds}{s} \biggr] \\& \quad\quad{} +\frac{\rho r^{*}}{p_{*}\Gamma(\alpha)} \biggl[ \int _{1}^{\tau_{2}} \biggl(\log\frac{\tau_{2}}{s} \biggr)^{\alpha-1}\frac{ds}{s} - \int_{1}^{\tau_{1}} \biggl(\log\frac{\tau_{1}}{s} \biggr)^{\alpha -1}\frac{ds}{s} \biggr] \\& \quad\quad{} + \biggl(\frac{\mu \Vert \varphi \Vert \psi(\rho)(\log T)^{\beta}}{(\mu+1)\Gamma(\beta+1)}+\frac{\rho \vert \xi \vert }{(\mu +1)} \biggr)\cdot\frac{1}{p_{*}\Gamma(\alpha)} \\& \quad\quad{} \times \biggl[ \int_{1}^{\tau_{2}} \biggl(\log\frac{\tau_{2}}{s} \biggr)^{\alpha-1}\frac{ds}{s} - \int_{1}^{\tau_{1}} \biggl(\log\frac{\tau_{1}}{s} \biggr)^{\alpha -1}\frac{ds}{s} \biggr] \\& \quad = \frac{\Vert \varphi \Vert \psi(\rho)}{p_{*}\Gamma(\alpha +\beta+1)}\bigl\vert (\log\tau_{2} )^{\alpha+\beta}- ( \log\tau_{1} )^{\alpha+\beta}\bigr\vert +\frac{\rho r^{*}}{p_{*}\Gamma(\alpha+1)}\bigl\vert (\log\tau_{2} )^{\alpha }- (\log\tau_{1} )^{\alpha}\bigr\vert \\& \quad\quad{} + \biggl(\frac{\mu \Vert \varphi \Vert \psi(\rho)(\log T)^{\beta}}{(\mu+1)\Gamma(\beta+1)}+\frac{\rho \vert \xi \vert }{(\mu +1)} \biggr)\cdot\frac{1}{p_{*}\Gamma(\alpha+1)} \cdot\bigl\vert (\log\tau_{2} )^{\alpha}- (\log \tau_{1} )^{\alpha }\bigr\vert . \end{aligned}
As $$\tau_{1}\rightarrow\tau_{2}$$, the right-hand side of the above inequality tends to zero independently of $$x\in B_{\rho}$$. Therefore by the Arzelá-Ascoli theorem the operator $$\mathcal{A}: C([0,T], \mathbb{R}) \to C([0,T], \mathbb{R})$$ is completely continuous.

The result will follow from the Leray-Schauder nonlinear alternative (Theorem 3.2) once we have proved the boundedness of the set of the solutions to the equations $$x=\nu\mathcal{A} x$$ for $$\nu\in(0,1)$$.

Let x be a solution of the operator equation $$x=\mathcal{A}x$$. Then, for $$t\in[1,T]$$, by directly computation, we have
$$\bigl\vert x(t)\bigr\vert \le \Vert \varphi \Vert \psi\bigl(\Vert x \Vert \bigr)\Omega_{1}+\Vert x\Vert \Omega_{2},$$
(3.10)
which yields
$$\frac{(1-\Omega_{2})\Vert x\Vert }{\Vert \varphi \Vert \psi(\Vert x\Vert )\Omega_{1}}\leq1,$$
where the constants $$\Omega_{1}$$ and $$\Omega_{2}$$ are defined by (3.2) and (3.3), respectively. From $$(H_{3})$$, there exists a positive constant M such that $$\Vert x\Vert \ne M$$. Let us set
\begin{aligned} U=\bigl\{ x\in C\bigl([1, T], \mathbb{R}\bigr) : \Vert x\Vert < M\bigr\} . \end{aligned}
We observe that the operator $$\mathcal{A}:\overline{U}\rightarrow C([1, T], \mathbb{R})$$ is continuous and completely continuous. From the choice of U, there is no $$x\in\partial U$$ such that $$x=\nu \mathcal{A}x$$ for some $$\nu\in(0,1)$$. Consequently, by the nonlinear alternative of Leray-Schauder type (Theorem 3.2), we see that the operator $$\mathcal{A}$$ has a fixed point $$x\in\overline{U}$$ which is a solution of the problem (1.2). The proof is completed. □

### Corollary 3.3

Suppose that the condition $$(H_{2})$$ is satisfied. If there exists a positive constant M such that
$$\frac{M}{\Vert \varphi \Vert \psi(M)\Omega_{1}}> 1,$$
(3.11)
then the problem (1.3) has at least one solution on $$[1,T]$$.

### Corollary 3.4

Assume that the condition $$(H_{2})$$ is fulfilled. If there exists a positive constant M such that
$$\frac{ (1-\frac{3}{2}\vert \lambda \vert \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)} )M}{ \frac{3}{2}\Vert \varphi \Vert \psi(M) (\frac{1}{\Gamma(\alpha+\beta+1)}+\frac {1}{2\Gamma(\alpha+1)\Gamma(\beta+1)} )(\log T)^{\alpha +\beta}}>1,$$
(3.12)
with
$$\frac{3}{2}\vert \lambda \vert \frac{(\log T)^{\alpha}}{ \Gamma(\alpha+1)}< 1,$$
(3.13)
then the problem (1.4) has at least one solution on $$[1,T]$$.

Our last existence result is based on Krasnoselskii’s fixed point theorem.

### Theorem 3.4

Krasnoselskii’s fixed point theorem 

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be operators such that
1. (a)

$$Ax+By \in M$$ where $$x,y \in M$$;

2. (b)

A is compact and continuous;

3. (c)

B is a contraction mapping.

Then there exists $$z \in M$$ such that $$z = Az+Bz$$.

### Theorem 3.5

Let $$g : [1,T]\times\mathbb{R} \rightarrow\mathbb{R}$$ be a continuous function satisfying $$(H_{1})$$ in Theorem  3.1. In addition, assume that:
$$(H_{4})$$

$$\vert g(t,x)\vert \leq\omega(t)$$, $$\forall(t,x) \in [1,T]\times\mathbb{R}$$, and $$\omega\in C([1,T],\mathbb{R}^{+})$$.

If
$$L\Omega_{1} < 1 \quad\textit{and}\quad\Omega_{2}< 1,$$
(3.14)
where $$\Omega_{1}$$ and $$\Omega_{2}$$ are defined by (3.2) and (3.3), respectively, then the boundary value problem (1.2) has at least one solution on $$[1,T]$$.

### Proof

We decompose the operator $$\mathcal{A}$$ defined in (3.1), into two operators $$\mathcal{A}_{1}$$ and $$\mathcal {A}_{2}$$ on $$B_{\varrho} = \{x \in\mathcal{C}:\Vert x\Vert \leq\varrho\}$$ by
\begin{aligned}& \begin{aligned} \mathcal{A}_{1} x(t) &= - I^{\alpha}\biggl( \frac{r}{p} x \biggr) (t)+ \frac{\xi}{\mu+1}x(T)I^{\alpha}\biggl( \frac{1}{p} \biggr) (t)+\frac{1}{2}I^{\alpha}\biggl( \frac{r}{p} x \biggr) (T) \\ &\quad {}- \frac{\eta\xi}{2(\mu+1)}x(T), \end{aligned} \\ & \begin{aligned} \mathcal{A}_{2} x(t) &= I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (t)+\frac{-\mu}{\mu+1} I^{\beta}(g_{x}) (T) I^{\alpha}\biggl( \frac {1}{p} \biggr) (t) -\frac{1}{2} I^{\alpha}\biggl( \frac{1}{p}I^{\beta}g_{x} \biggr) (T) \\ &\quad{} + \frac{\eta\mu}{2(\mu+1)} I^{\beta}(g_{x}) (T), \end{aligned} \end{aligned}
with ϱ satisfying
$$\varrho\geq\frac{\Vert \omega \Vert \Omega_{1}}{1-\Omega_{2}},$$
(3.15)
and $$\Vert \omega \Vert = \sup_{t\in[1,T]} \vert \omega(t)\vert$$. Note that the ball $$B_{\varrho}$$ is a closed, bounded, and convex subset of the Banach space $$\mathcal{C}$$.
To prove that $$\mathcal{A}_{1} x + \mathcal{A}_{2} y \in B_{\varrho}$$, we let $$x,y \in B_{\varrho}$$. Then we get
\begin{aligned}& \bigl\vert \mathcal{A}_{1} x(t)+\mathcal{A}_{2} y(t) \bigr\vert \\ & \quad \leq I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (t)+ \frac{\vert \xi \vert }{(\mu+1)}\bigl\vert x(T)\bigr\vert I^{\alpha}\biggl( \frac{1}{\vert p\vert } \biggr) (t)+\frac {1}{2}I^{\alpha}\biggl( \frac{\vert r\vert }{\vert p\vert } \vert x\vert \biggr) (T) \\& \quad\quad{} + \frac{\vert \eta \vert \vert \xi \vert }{2(\mu+1)}\bigl\vert x(T)\bigr\vert +I^{\alpha}\biggl( \frac {1}{\vert p\vert }I^{\beta}\bigl(\vert g_{y}\vert \bigr) \biggr) (t)+\frac{\mu}{(\mu+1)} I^{\beta}\bigl(\vert g_{y} \vert \bigr) (T) I^{\alpha}\biggl( \frac{1}{\vert p\vert } \biggr) (t) \\& \quad\quad{} + \frac{1}{2} I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta}\bigl(\vert g_{y}\vert \bigr) \biggr) (T)+\frac{\vert \eta \vert \mu}{2(\mu+1)} I^{\beta}\bigl(\vert g_{y}\vert \bigr) (T) \\& \quad \leq \varrho\Omega_{2}+\Vert \omega \Vert \Omega_{1} \leq \varrho. \end{aligned}
It follows that $$\mathcal{A}_{1} x + \mathcal{A}_{2} y \in B_{\varrho}$$. Thus condition (a) of Theorem 3.4 is satisfied. To prove that $$\mathcal{A}_{2}$$ is a contraction mapping, for $$x,y\in B_{\varrho}$$, we have
\begin{aligned} \bigl\vert \mathcal{A}_{2} x(t) - \mathcal{A}_{2} y(t) \bigr\vert \leq& I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta}\bigl(\vert g_{x}-g_{y}\vert \bigr) \biggr) (t)+ \frac{\mu}{(\mu+1)} I^{\beta}\bigl(\vert g_{x}-g_{y} \vert \bigr) (T) I^{\alpha}\biggl( \frac{1}{\vert p\vert } \biggr) (t) \\ &{}+ \frac{1}{2} I^{\alpha}\biggl( \frac{1}{\vert p\vert }I^{\beta}\bigl(\vert g_{x}-g_{y}\vert \bigr) \biggr) (T)+ \frac{\vert \eta \vert \mu}{2(\mu+1)} I^{\beta}\bigl(\vert g_{x}-g_{y} \vert \bigr) (T) \\ \leq& L\Omega_{1}\Vert x-y\Vert , \end{aligned}
which is a contraction, since $$L\Omega_{1}<1$$. Therefore, the condition (c) of Theorem 3.4 is fulfilled.
By using the continuity of the function g, we deduce that the operator $$\mathcal{A}_{1}$$ is continuous. For $$x \in B_{\varrho}$$, it follows that
$$\Vert \mathcal{A}_{1} x\Vert \leq\varrho\Omega_{2},$$
which implies that the operator $$\mathcal{A}_{1}$$ is uniformly bounded on $$B_{\varrho}$$. Now we are going to prove that $$\mathcal{A}_{1}$$ is equicontinuous. For $$\tau_{1}, \tau_{2}\in[1,T]$$ such that $$\tau_{1} <\tau_{2}$$ and for $$x\in B_{\varrho}$$, we have
\begin{aligned}& \bigl\vert \mathcal{A}_{1} x(\tau_{2})- \mathcal{A}_{1} x(\tau_{1})\bigr\vert \\& \quad \leq \frac{\varrho r^{*}}{p_{*}\Gamma(\alpha+1)}\bigl\vert (\log \tau_{2} )^{\alpha}- (\log\tau_{1} )^{\alpha}\bigr\vert + \frac{\varrho \vert \xi \vert }{p_{*}(\mu+1)\Gamma(\alpha+1)}\bigl\vert (\log \tau_{2} )^{\alpha}- (\log\tau_{1} )^{\alpha}\bigr\vert , \end{aligned}
which is independent of x and tends to zero as $$\tau_{1} \rightarrow \tau_{2}$$. Hence $$\mathcal{A}_{1}$$ is equicontinuous. Therefore $$\mathcal {A}_{1}$$ is relatively compact on $$B_{\varrho}$$, and by Arzelá-Ascoli theorem, $$\mathcal{A}_{1}$$ is compact on $$B_{\varrho}$$. Thus the condition (b) of Theorem 3.4 is fulfilled. Therefore all conditions of Theorem 3.4 are satisfied, and consequently, the problem (1.2) has at least one solution on $$[1,T]$$. This completes the proof. □

### Corollary 3.5

Suppose that the conditions $$(H_{1})$$ and $$(H_{4})$$ are satisfied. If $$\Omega_{1}L<1$$, where $$\Omega_{1}$$ is defined by (3.2), then the problem (1.3) has at least one solution on $$[1,T]$$.

### Corollary 3.6

Assume that the conditions $$(H_{1})$$ and $$(H_{4})$$ are fulfilled. If
$$\frac{3}{2} \biggl(\frac{1}{\Gamma(\alpha+\beta+1)}+\frac {1}{2\Gamma(\alpha+1)\Gamma(\beta+1)} \biggr)L(\log T)^{\alpha +\beta}< 1 \quad \textit{and} \quad \frac{3}{2}\vert \lambda \vert \frac{(\log T)^{\alpha}}{\Gamma(\alpha+1)}< 1,$$
then the problem (1.4) has at least one solution on $$[1,T]$$.

## 4 Examples

In this section, we present some examples to illustrate our results.

### Example 4.1

Consider the following generalized Sturm-Liouville and Langevin equations via Hadamard fractional derivatives with anti-periodic boundary conditions:
$$\left \{ \textstyle\begin{array}{l} D^{2/3} ( [ (t^{3/2}+5 )D^{1/2} + (t^{1/2}+1 ) ]x(t) ) = g(t,x(t)),\quad t\in [1,2],\\ x(1) = -x(2),\quad \quad D^{1/2}x(1)=-D^{1/2}x(2). \end{array}\displaystyle \right .$$
(4.1)

Here $$\alpha=1/2$$, $$\beta=2/3$$, $$p(t)=t^{3/2}+5$$, $$r(t)=t^{1/2}+1$$, and $$T=2$$. From the given information, we find that $$\mu =0.7664374855$$, $$\vert \xi \vert =0.149656228$$, $$\eta=0.1334073445$$, $$p_{*}=6$$, $$r^{*}=2.414213562$$, $$\Omega_{1}=0.2259466330$$, and $$\Omega_{2}=0.5839543729$$.

(i) Let $$g:[1,2]\times\mathbb{R}\to\mathbb{R}$$ with
$$g(t,x)=\frac{3}{4} \biggl(\frac{x^{2}+\vert x\vert }{\vert x\vert +1} \biggr) \cos^{2}\pi t+\frac{1}{2}.$$
(4.2)
Then we have $$\vert g(t,x) - g(t,y)\vert \leq(3/2)\vert x-y\vert$$ and $$(H_{1})$$ is satisfied with $$L =3/2$$. Thus $$\Omega_{3}= 0.9228743224 <1$$. Hence, by Theorem 3.1, the problem (4.1) with (4.2) has a unique solution on $$[1,2]$$.
(ii) Let now $$g:[1,2]\times\mathbb{R}\to\mathbb{R}$$ with
$$g(t,x)=4 \biggl(\frac{\vert x\vert }{\vert x\vert +1} \biggr)\cos^{2}\pi t+ \frac{3}{2}.$$
(4.3)
From (4.3), we have $$\vert g(t,x) - g(t,y)\vert \leq4\vert x-y\vert$$ with $$L =4$$ and $$\vert g(t,x)\vert \leq4 \cos^{2}\pi t+3/2$$ for all $$(t,x)\in[1,T]\times \mathbb{R}$$, and thus $$(H_{1})$$ and $$(H_{4})$$ are satisfied. Therefore, we have
$$L\Omega_{1}=0.9037865320< 1\quad\text{and} \quad\Omega_{2}=0.5839543729.$$
Thus all assumptions of Theorem 3.5 are satisfied, and consequently the problem (4.1) with g given by (4.3) has at least one solution on $$[1,2]$$.

### Remark 4.1

Theorem 3.1 cannot be applied to the problem (4.1) with g given by (4.3) since $$\Omega_{3}=1.487740905>1$$.

### Example 4.2

Consider the following generalized Sturm-Liouville and Langevin equations via Hadamard fractional derivatives with anti-periodic boundary conditions:
$$\left \{ \textstyle\begin{array}{l} D^{3/4} ( [p(t)D^{2/3} + r(t) ]x(t) ) = \frac{1}{t^{2}+5} (\frac {x^{2}(t)}{4(1+\vert x(t)\vert )}+\frac{3}{8} ),\quad t\in[1,e],\\ x(1) = -x(e),\quad\quad D^{2/3}x(1)=-D^{2/3}x(e). \end{array}\displaystyle \right .$$
(4.4)

Here $$\alpha=2/3$$, $$\beta=3/4$$, $$T=e$$, and $$g(t,x)=(1/(t^{2}+5))((x^{2}/(4(1+\vert x\vert )))+(3/8))$$. Since $$\vert g(t,x)\vert \leq (1/(t^{2}+5))((\vert x\vert /4)+(3/8))$$, we set $$\varphi(t)=1/(t^{2}+5)$$ and $$\psi (\vert x\vert )=(1/4)\vert x\vert +(3/8)$$.

(i) The Sturm-Liouville case. Let
$$r(t)\equiv0 \quad\text{and}\quad p(t)=2\sqrt{t}+3.$$
(4.5)
We can find that $$\mu=0.7939731035$$, $$\xi=0$$, $$\eta=0.1942851753$$, and $$\Omega_{1}=0.3792202416$$. Therefore, there exists a constant $$M>0.02408177749$$ satisfying inequality (3.11). Thus, by Corollary 3.3, the problem (4.4) with (4.5) has at least one solution on $$[1,e]$$.
(ii) The Langevin case. For $$t\in[1,e]$$, let
$$r(t)\equiv\frac{2}{7} \quad\text{and}\quad p(t)\equiv1.$$
(4.6)
Then there exists a positive constant $$M>0.2995449526$$, which satisfies the inequality (3.12). Therefore, by Corollary 3.4, the problem (4.4) with (4.6) has at least one solution on $$[1,e]$$.

## Declarations

### Acknowledgements

This research was funded by Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Thailand. Contract no. 5942108.

## Authors’ Affiliations

(1)
Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, 10800, Thailand
(2)
Department of Mathematics, University of Ioannina, Ioannina, 451 10, Greece
(3)
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah, 21589, Saudi Arabia

## References 