- Research
- Open Access
- Published:
Existence of positive solutions for a generalized and fractional ordered Thomas-Fermi theory of neutral atoms
Advances in Difference Equations volume 2015, Article number: 350 (2015)
Abstract
The singular boundary value problem we discuss is as follows:
where \(1<\alpha\leq2\), \(\lambda>0\) is a parameter, \({}^{\mathrm{C}}D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative. We present the existence of positive solutions for a fractional boundary value problem modeled from the Thomas-Fermi equation subjected to Sturm-Liouville boundary conditions.
1 Introduction
The Thomas-Fermi model (see [1–3]), named after Llewellyn Thomas and Enrico Fermi, is a quantum mechanical theory of electronic structure within many-body systems. In 1927, Thomas and Fermi independently conceived this statistical model applying it to approximate the distribution of electrons in an atom. The Thomas-Fermi model leads to the nonlinear second order differential equation
The boundary conditions under discussion include three circumstances as follows:
-
(i)
for the neutral atom with Bohr radius ρ, the boundary conditions are
$$y(0)=1,\qquad \rho y'(\rho)=y(\rho); $$ -
(ii)
for the ionized atom, the boundary conditions are
$$y(0)=1,\qquad y(\rho)=0; $$ -
(iii)
for the isolated neutral atom, the boundary conditions are
$$y(0)=1,\qquad \lim_{x\rightarrow\infty}y(x)=0. $$
As we know fractional calculus has played a more and more significant role in engineering, science technology, economy and other fields (see [4–13]) just owing to the reason that fractional derivatives could not only have the equation much briefer but also lead to a better description that seems closer to reality. Standing on this point, our theory applies to the generalized equation
where we suppose
-
(I)
\(1<\alpha\leq2\), \(\alpha_{i}, \beta_{i}\geq0\), \(i= 1, 2\), \(\lambda>0\), \(\frac{\beta_{1}}{\beta_{1}+\beta_{2}}<\frac{\alpha_{1}}{\alpha_{2}}\leq1\), \(f: [0,1]\times[0, +\infty)\rightarrow(0, +\infty)\) is a given continuous function, \(q: (0,1]\rightarrow(0, +\infty)\) is continuous and \(0<\int_{0}^{1}q(t)\, dt<+\infty\).
In order to get a better understanding of our work, let us retrospect some recent attractive results on the existence of positive solutions for boundary value problems.
Agarwal and O’Regan [14] discussed the two-point boundary value problem
where \(a>0\) is fixed. They presented an upper and lower solution theory for boundary value problems modeled from the Thomas-Fermi equation subjected to boundary conditions related to the neutral atom with Bohr radius.
Zhang [15] considered the existence and multiplicity of positive solutions for the nonlinear fractional differential equation boundary value problem
where \(1<\alpha\leq2\) is a real number, \(D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative, \(f: [0,1]\times(0, +\infty)\rightarrow(0, +\infty)\) is a given continuous function. Their results are based on a fixed point theorem on cones.
Sun and Wen [16] investigated the nonlinear third order ordinary equation
with the boundary conditions
Via using the properties of Green’s function and Guo-Krasnosel’skii’s fixed point theorem, Zhao et al. [17] studied the existence of positive solutions for the following boundary value problem:
Su and Zhang [18] proved an existence result for the problem
where \(1<\alpha\leq2\), \(0<\beta\leq1\), \(a_{i}, b_{i}\geq0\), \(i=1,2\), \(a_{1}b_{1}+a_{1}b_{2}+a_{2}b_{1}>0\), \({}^{\mathrm{C}}D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative and \(f: [0,1]\times(0, +\infty)\rightarrow(0, +\infty)\) is a given continuous function.
Zhai and Xu [19] established the existence and uniqueness of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations for any given parameter:
where \(1<\alpha\leq2\), \(0\leq\xi\leq\eta\leq1\), \(0\leq\mu_{1}\), \(\mu_{2}\leq 1\), \(\lambda>0\) is a parameter, \(f(t, x): [0, 1]\times R^{+}\rightarrow R^{+}\) is continuous and increasing in x for each \(t\in[0, 1]\).
Moreover, there are also many interesting research works on the existence of solutions of boundary value problems, readers can refer to [20–25].
After reading the previous results, it hits on the head that we might turn to problem (1.1). Now let us have a look at the novel contributions of this work. First, we generalize the Thomas-Fermi equation, the second order ordinary differential equation, into a fractional order. Second, f is a function varying along with two variables t and u instead of being constrained by only one variable u. Third, the problem is a singular one, as \(q(t)\) may be singular at \(t=0\). Last but not the least, the existence and multiplicity of the positive solutions depend on a parameter λ.
This paper is organized as follows. In Section 2, we retrospect some preliminaries and lemmas. In Section 3, our results about the existence of positive solutions of problem (1.1) are obtained. The multiplicity of existence of positive solutions for problem (1.1) is debated in Section 4.
2 Preliminaries
For the convenience of the readers, we give some background material from fractional calculus theory to facilitate analysis of boundary value problem (1.1).
Definition 2.1
([4])
The Riemann-Liouville fractional integral of order \(\alpha>0\) of a function \(y:(0,+\infty)\to\mathbb{R}\) is given by
provided the right-hand side is pointwise defined on \((0,+\infty)\).
Definition 2.2
([4])
The Caputo fractional derivative of order \(\alpha>0\) of a continuous function \(y:(0,+\infty)\to\mathbb{R}\) is given by
where n is the smallest integer greater than or equal to α, provided the right-hand side is pointwise defined on \((0,+\infty)\).
Lemma 2.1
([5])
The Caputo derivative of a power function is
given, in particular, \({}^{\mathrm{C}}D_{0^{+}}^{\alpha}t^{\mu}=0\), \(\mu=0,1,\ldots,n-1\), where \({}^{\mathrm{C}}D^{\alpha}_{0^{+}}\) is the Caputo fractional derivative, n is the smallest integer greater than or equal to α.
There are some reduced properties between the Riemann-Liouville type fractional derivative and the Caputo one.
Lemma 2.2
([6])
If \(\alpha=n\) is an integer, the Caputo fractional derivative of order α is the usual derivative of order n. Additionally, the following properties are well known: \(I_{0^{+}}^{\alpha}I_{0^{+}}^{\beta}f(t)= I_{0^{+}}^{\alpha+\beta} f(t)\), \({}^{\mathrm{C}}D_{0^{+}}^{\alpha}I_{0^{+}}^{\alpha}f(t)= f(t)\), \(\alpha>0\), \(f\in C[0,1]\).
From the definition of Caputo derivative and Lemma 2.1, we can obtain the following statement.
Lemma 2.3
([4])
Let \(\alpha>0\). Then the fractional differential equation
has a unique solution
where n is the smallest integer greater than or equal to α.
Lemma 2.4
([4])
Let \(\alpha>0\). Assume that \(u\in C^{n}[0,1]\). Then
for some \(c_{i}\in\mathbb{R}\), \(i=0,1,2,\ldots,n-1\), where n is the smallest integer greater than or equal to α.
With the help of Lemmas 2.1, 2.3 and 2.4, we present the Green’s function for boundary value problem of fractional differential equation.
Lemma 2.5
Let \(h\in C(0,1)\cap L(0,1)\) and \(1<\alpha\leq 2\). Take \(\Delta=\alpha_{2}\beta_{1}-\alpha_{1}\beta_{1}-\alpha_{1}\beta_{2}<0\). Then the fractional differential equation boundary value problem
has a unique solution
where
Proof
We may apply Lemma 2.4 to reduce equation (2.1) to an equivalent integral formula
Then
From \(\alpha_{1}u(0)+\alpha_{2}u'(0)=0\), \(\beta_{1}u(1)+\beta_{2}u'(1)=0\), we have
Therefore, the unique solution of problem (2.1) is
The proof is complete. □
Lemma 2.6
Let \(1<\alpha\leq 2\). Then the following fractional differential equation boundary value problem
has a unique solution
In the following discussion, we denote
Next we present some useful properties of the Green’s function.
Lemma 2.7
The Green’s function \(G(t,s)\) obtained in Lemma 2.5 has these properties as follows:
-
(i)
\(G(t,s)\in C([0,1]\times [0,1))\) and \(G(t,s)>0\) for \(t, s \in(0, 1)\);
-
(ii)
there exists a positive function \(\gamma\in C(0,1)\) such that
$$ \min_{t\in[\frac{1}{4}, \frac{3}{4}]} G(t,s) \geq \gamma(s)M(s), \qquad \max_{t\in[0, 1]} G(t,s) \leq M(s),\quad s \in (0, 1), $$(2.5)where
$$M(s)=-\frac{(\alpha_{1}\beta_{1}+\alpha_{1}\beta_{2})(1-s)^{\alpha-1}}{\Delta \Gamma(\alpha)} -\frac{\alpha_{2}\beta_{2}(1-s)^{\alpha-2}}{\Delta\Gamma(\alpha-1)},\qquad \gamma(s)\geq \frac{1}{4}. $$
Proof
From the expression of \(G(t, s)\), it is clear that \(G(t,s)\in C([0,1]\times[0,1))\) and \(G(t,s)>0\) for \(s, t\in(0, 1)\).
Here we define
Then, obviously, \(g_{1}(t,s)\) is a continuous function for \(t\in [\frac{1}{4}, \frac{3}{4}]\) and \(g_{2}(t,s)\) is decreasing with respect to t. Hence, we have
Thus, we get
Let
From hypothesis (I), we see
Hence the statements in Lemma 2.7 are proved. □
Our main results are typically based on the following fixed point theorem.
Lemma 2.8
([7])
Let B be a Banach space, and let \(K\subset B\) be a cone. Assume that \(\Omega_{1}\), \(\Omega_{2}\) are open and bounded subset of B with \(0\in\Omega_{1}\), \(\bar{\Omega}_{1}\subset\Omega_{2}\), and let \(T:K\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\rightarrow K\) be a completely continuous operator such that
-
(i)
\(\|Tu\|\leq\|u\|\), \(u\in K\cap\partial\Omega_{1}\) and \(\|Tu\|\geq\|u\|\), \(u\in K\cap\partial\Omega_{2}\) or
-
(ii)
\(\|Tu\|\geq\|u\|\), \(u\in K\cap\partial\Omega_{1}\) and \(\|Tu\|\leq\|u\|\), \(u\in K\cap\partial\Omega_{2}\).
Then T has a fixed point in \(K\cap (\bar{\Omega}_{2}\setminus\Omega_{1})\).
3 Existence results
In this section, we establish the existence of positive solutions for problem (1.1) in terms of different values of the parameter λ.
From Lemmas 2.5 and 2.6, we know that proving the existence of positive solutions for fractional differential boundary value problem (1.1) is equivalent to discussing the existence of positive solutions for the problem
then \(u=v+\varphi\) must be the solution of problem (1.1), and vice versa.
Let \(X=C^{1}[0,1]\) with norm \(\|u\|=\max_{t\in[0,1]}|u(t)|\), \(u\in X\). Clearly, X is a Banach space. Take
Then it is easy to see that P is a positive cone in X.
Define an operator \(T: P\rightarrow X\) by
Noting that the possible singular point of q is 0 and M maybe singular only at 1, we are able to show that \(\int_{0}^{1} M(s)q(s)\, ds\) is well defined by hypothesis (I), Lemma 2.7 and the convergence of \(\int_{0}^{1} M(s)\, ds\) and \(\int_{0}^{1}q(s)\, ds\). From this, it is easy to see that the operator T is also well defined.
Denote
Lemma 3.1
Assume that (I) holds. Then the pair of equations (3.1) and (3.2) is equivalent to the nonlinear integral equation
In other words, every solution of (3.1) and (3.2) is also a continuous solution of (3.3) and vice versa.
Proof
Let \(v\in X\) be a solution of (3.1) and (3.2); as the same method of proving Lemma 2.5, we can get that v is a solution of (3.3).
On the other hand, let v be a continuous solution of (3.3) on \([0,1]\). Then define
From Lemmas 2.1 and 2.2, we have
One can verify easily that \(\alpha_{1}v(0)+\alpha_{2}v'(0)=0\), \(\beta_{1}v(1)+\beta_{2}v'(1)=0\). Therefore, v is a continuous solution of (3.1) and (3.2). The proof is completed. □
Lemma 3.1 indicates that the solution of problems (3.1) and (3.2) coincides with the fixed point of the operator T.
Incidentally, we have the following dispensable lemma at hand.
Lemma 3.2
The operator \(T: P\rightarrow P\) is completely continuous.
Proof
Obviously, \(Tv(t)\geq0\). Then first we are going to prove that the operator \(T: P\rightarrow X\) is continuous. Actually, for each \(v_{n}, v\in P\) and \(v_{n}\rightarrow v\), we get
Since f is continuous, for any \(\varepsilon>0\), there exists \(N\in \mathbb{N}\) such that \(\vert f(s, v_{n}(s)+\varphi(s))-f(s, v(s)+\varphi(s))\vert <\varepsilon\), when \(n>N\). Hence,
So it is sufficient to say that T is continuous.
For \(v\in P\), by Lemma 2.7, we have
On the other hand,
Thus, we obtain
therefore, \(T: P\rightarrow P\).
Let \(\Omega\subset P\) be bounded. Then there exists a positive constant \(Q>0\) such that \(\|v\|\leq Q\) for all \(v\in\Omega\). Take \(L=\max_{t\in[0,1],\|v\|\leq Q}|f(t, v(t)+\varphi(t))|+1\). Then, for each \(v\in\Omega\), from Lemma 2.7, we have
Hence, \(T(\Omega)\) is bounded.
Next we are about to prove that for all \(\varepsilon>0\), each \(v\in P\), \(t_{1}, t_{2} \in[0, 1]\), \(t_{1}< t_{2}\), let \(\eta=\min \{\frac{1}{2}, \frac{\varepsilon}{L_{1}} \}\), we have \(|Tv(t_{2})-Tv(t_{1})|<\varepsilon\), when \(t_{2}-t_{1}<\eta\). In fact, for each \(v\in\Omega\), we have
Since we have proved \(\int_{0}^{1}(1-s)^{\alpha-2}q(s)\, ds<\infty\) and \(\int_{0}^{1}q(s)\, ds<\infty\), we can just define
Then \((Tv)'(t)\leq L_{1}\).
Whence,
By the Arzela-Ascoli theorem, the operator \(T: P\rightarrow P\) is completely continuous. The proof is completed. □
For convenience, we give some denotations:
Theorem 3.1
Assume that \((I_{1}f_{\infty})^{-1}=0\) if \(f_{\infty}=\infty\) and \((I_{2}F_{0})^{-1}=\infty\) if \(F_{0}=0\). If \(I_{1}f_{\infty}> I_{2}F_{0}\) holds, then for each
the boundary value problem (1.1) has at least one positive solution.
Proof
Choose \(\varepsilon>0\) sufficiently small such that
By the definition of \(F_{0}\), we see that there exists \(r_{1}>0\) such that
So if \(v\in\partial P\) with \(\|v\|=r_{1}\), then by (3.7) and (3.8), we see
Hence, if we choose \(\Omega_{1}=\{v\in X: \|v\|< r_{1}\}\), then \(\|Tv\|\leq\|v\|\) for \(v\in P\cap\partial\Omega_{1}\).
Let \(r_{2}>0\) be a constant such that
If \(v\in\partial P\) with \(\|v\|=r_{3}=\max\{2r_{1}, r_{2}\}\), then by (3.7) and (3.9) we have
Thus, if we define \(\Omega_{2}=\{v\in X: \|v\|< r_{3}\}\), then \(\|Tv\|\geq\|v\|\) for \(v\in P\cap\partial\Omega_{2}\).
Then, by Lemma 2.8, we find that T has a fixed point \(v\in P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\) with \(r_{1}\leq\|v\|\leq r_{3}\), therefore, v is a positive solution of (3.1) and (3.2), then \(v+\varphi\) is a positive solution of (1.1). The proof is completed. □
Theorem 3.2
Assume that \((I_{1}f_{0})^{-1}=0\) if \(f_{0}=+\infty\) and \((I_{2}F_{\infty})^{-1}=\infty\) if \(F_{\infty}=0\). If \(I_{1}f_{0}> I_{2}F_{\infty}\) holds, then for each
the boundary value problem (1.1) has at least one positive solution.
Proof
Let λ be endowed with (3.10) and \(\varepsilon>0\) be such that
By the definition of \(f_{0}\), we see that there exists \(r_{1}>0\) such that
Hence, if \(v\in\partial P\) with \(\|v\|=r_{1}\), then by the same method used in Theorem 3.1, we get \(\|Tv\|\geq\|v\|\). Furthermore, if we choose \(\Omega_{1}=\{v\in X: \|v\|< r_{1}\}\), then \(\|Tv\|\geq\|v\|\) for \(v\in P\cap\partial\Omega_{1}\). In the next, we choose \(r_{2}>0\) subjected to
We discuss two cases as follows.
Case 1. Assume that f is bounded. Then there exists a certain constant \(L>0\) such that \(f(t, v+\varphi(t)) \leq Lr_{3}\) for \(v\in (0, +\infty)\). We define \(r_{3}=\max\{2r_{1}, r_{2}\}\) and \(v\in\partial P\) with \(\|v\|=r_{3}\), then
Therefore, \(\|Tv\|\leq\|v\|\) for \(v\in\partial P_{r_{3}}=\{v\in P: \|v\|< r_{3}\}\).
Case 2. Assume that f is unbounded. Then there exists some constant \(r_{4}>\max\{2r_{1}, r_{2}\}\) such that \(f(t, v+\varphi(t)) \leq f(t, r_{4}+\varphi(t))\) for \(0< v \leq r_{4}\). Let \(v\in\partial P\) with \(\|v\|=r_{4}\). Then, from (3.11) and (3.13), we have
It is sufficient to show that \(\|Tv\|\leq\|v\|\) for \(v\in\partial P_{r_{3}}=\{v\in P: \|v\|< r_{4}\}\). Then we take \(\Omega_{2}=\{v\in X: \|v\|< r_{5}=: \max\{r_{3}, r_{4}\}\}\), then \(\|Tv\|\leq\|v\|\) for \(v \in P\cap\partial\Omega_{2}\). From Lemma 2.8, operator T has a fixed point \(v\in P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\) with \(r_{1}\leq\|v\| \leq r_{5}\). It is clear enough that v is a positive solution of (3.1) and (3.2), then \(v+\varphi\) is a positive solution of (1.1). The proof is completed. □
Theorem 3.3
Suppose that there exist constants \(r_{2}>r_{1}>0\) for all \(t\in[0,1]\), the following condition holds:
Then the boundary value problem (1.1) has at least one positive solution.
Proof
Choose \(\Omega_{1}=\{v\in X: \|v\|< r_{1}\}\), then for \(v\in P\cap\partial\Omega_{1}\), we have
On the other hand, choose \(\Omega_{2}=\{v\in X: \|v\|< r_{2}\}\), then for \(v\in P\cap\partial\Omega_{2}\), we have
Therefore from Lemma 2.8, operator T has a fixed point \(v\in P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\) with \(r_{1}\leq\|v\| \leq r_{2}\). It is clear enough that v is a positive solution of (3.1) and (3.2), then \(v+\varphi\) is a positive solution of (1.1). The proof is completed. □
Theorem 3.4
Suppose that the following condition holds:
Then the boundary value problem (1.1) has no positive solution.
Proof
Assume to the contrary that \(v+\varphi\) is a positive solution of (1.1), v is a positive solution of (3.1) and (3.2). Then
which comes to a contradiction and completes the proof. □
Theorem 3.5
Suppose that the following condition holds:
Then the boundary value problem (1.1) has no positive solution.
Proof
The proof of Theorem 3.5 is similar to that of Theorem 3.4, therefore omitted. □
Example 3.1
Consider the boundary value problem
Then
By a direct calculation, we get
From Theorem 3.1, we see if
then problem (1.1) has at least one positive solution. From Theorem 3.4, if
we see that problem (1.1) has no positive solution. By Theorem 3.5, if
then we obtain that problem (1.1) has no positive solution.
4 Existence of multiple positive solutions
Here we are about to give some results on the existence of multiple positive solutions. The following two lemmas will be of use to prove our main results.
Lemma 4.1
Assume that there exists a constant \(c>0\) such that \(\max_{0\leq v\leq c}f(t,v+\varphi(t))\leq \frac{c}{\lambda I_{2}}\) for all \(t\in[0,1]\). Then
Proof
If \(v\in P\) with \(\|v\|=c\), then
the proof is complete. □
Lemma 4.2
Assume that there exists a constant \(c>0\) such that \(\min_{\frac {1}{4}c\leq v\leq c}f(t,v+\varphi(t))\geq \frac{c}{\lambda I_{1}}\) for all \(t\in[0,1]\). Then
Proof
If \(v\in P\) with \(\|v\|=c\), then for \(t\in [\frac{1}{4},\frac{3}{4}]\) we have \(v(t)\geq\frac{1}{4}\|v\|\). Therefore, we have
so the proof is complete. □
Theorem 4.1
Assume that there are constants \(0< c_{1}< c_{2}< c_{3}< c_{4}\) such that
-
(i)
\(\max_{0\leq v\leq c_{i}}f(t,v+\varphi(t))\leq \frac{c_{i}}{\lambda I_{2}}\) for all \(t\in[0,1]\), \(i= 1,4\) and
-
(ii)
\(\min_{\frac{1}{4}c_{i}\leq v\leq c_{i}}f(t,v+\varphi(t))\geq \frac{c_{i}}{\lambda I_{1}}\) for all \(t\in[0,1]\), \(i= 2,3\).
Then the boundary value problem (1.1) has at least two positive solutions.
Proof
If
then from Lemmas 4.1 and 4.2, we have
and
Now from Lemma 2.8 we get that T has two fixed points, one in each of two sets \(P\cap(\bar{\Omega}_{4}\setminus\Omega_{3})\) and \(P\cap(\bar{\Omega}_{2}\setminus\Omega_{1})\). This completes the proof. □
In the same way, we can obtain the following result.
Theorem 4.2
Assume that there are constants \(0< c_{1}< c_{2}< c_{3}< c_{4}\) such that
-
(i)
\(\max_{0\leq v\leq c_{i}}f(t,v+\varphi(t))\leq \frac{c_{i}}{\lambda I_{2}}\) for all \(t\in[0,1]\), \(i= 2,3\), and
-
(ii)
\(\min_{\frac{1}{4}c_{i}\leq v\leq c_{i}}f(t,v+\varphi(t))\geq \frac{c_{i}}{\lambda I_{1}}\) for all \(t\in[0,1]\), \(i= 1,4\).
Then the boundary value problem (1.1) has at least two positive solutions.
For an arbitrary positive integer n, we can choose proper constants to meet expectation of f, so that problem (1.1) has at least n positive solutions.
Theorem 4.3
Assume that there are constants \(0< c_{1}< c_{2}< c_{3}<\cdots<c_{2n-1}<c_{2n}\) such that
-
(i)
\(\max_{0\leq v\leq c_{i}}f(t,v+\varphi(t))\leq \frac{c_{i}}{\lambda I_{2}}\) for all \(t\in[0,1]\), \(i= 1,4,\ldots, 4k-3+\frac{3(1+(-1)^{n})}{2}\) and
-
(ii)
\(\min_{\frac{1}{4}c_{i}\leq v\leq c_{i}}f(t,v+\varphi(t))\geq \frac{c_{i}}{\lambda I_{1}}\) for all \(t\in[0,1]\), \(i= 2,3,\ldots, 4k-2+\frac{1+(-1)^{n}}{2}\),
where \(k=1,2,\ldots, [\frac {n+1}{2} ]\). Then the boundary value problem (1.1) has at least n positive solutions.
References
Nagy, Á: Density functional. Theory and application to atoms and molecules. Phys. Rep. 298, 1-79 (1998)
Ourabah, K, Tribeche, M: The nonextensive Thomas-Fermi theory in an n-dimensional space. Physica A 392, 4477-4480 (2013)
Kılıçman, A, Hashimb, I, Kajani, MT, Maleki, M: On the rational second kind Chebyshev pseudospectral method for the solution of the Thomas-Fermi equation over an infinite interval. J. Comput. Appl. Math. 257, 79-85 (2014)
Kilbas, AA, Srivastava, HH, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974)
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, Orlando (1988)
Krishnan, B, Jayakumar, K: On the controllability of fractional dynamical systems. Int. J. Appl. Math. Comput. Sci. 22, 523-531 (2012)
Kaczorek, T: Selected Problems of Fractional Systems Theory. Lecture Notes in Control and Information Sciences, vol. 411. Springer, Berlin (2011)
Machado, JAT: Analysis and design of fractional-order digital control systems. Syst. Anal. Model. Simul. 27, 107-122 (1997)
Mozyrska, D, Pawluszewicz, E: Controllability of h-difference linear control systems with two fractional orders. In: 13th International Carpathian Control Conference (ICCC), pp. 501-506 (2012)
Mozyrska, D, Pawluszewicz, E: Local controllability of nonlinear discrete-time fractional order systems. Bull. Pol. Acad. Sci., Tech. Sci. 61(1), 251-256 (2013)
Sierociuk, D, Nski, AD: Fractional Kalman filter algorithm for the states parameters and order of fractional system estimation. Int. J. Appl. Math. Comput. Sci. 16, 129-140 (2006)
Agarwal, RP, O’Regan, D: An upper and lower solution approach for a generalized Thomas-Fermi theory of neutral atoms. Math. Probl. Eng. 8(2), 135-142 (2002)
Zhang, S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 36 (2006)
Sun, H, Wen, W: On the number of positive solutions for a nonlinear third order boundary value problem. Int. J. Differ. Equ. 1, 165-176 (2006)
Zhao, Y, Sun, S, Han, Z, Zhang, M: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217, 6950-6958 (2011)
Su, X, Zhang, S: Solutions to boundary-value problems for nonlinear differential equations of fractional order. Electron. J. Differ. Equ. 2009, 26 (2009)
Zhai, C, Xu, L: Properties of positive solutions to a class of four-point boundary value problem of Caputo fractional differential equations with a parameter. Commun. Nonlinear Sci. Numer. Simul. 19, 2820-2827 (2014)
Sun, S, Li, Q, Li, Y: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 64, 3310-3320 (2012)
Feng, W, Sun, S, Han, Z, Zhao, Y: Existence of solutions for a singular system of nonlinear fractional differential equations. Comput. Math. Appl. 62, 1370-1378 (2011)
Sun, S, Zhao, Y, Han, Z, Li, Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 17, 4961-4967 (2012)
Zhang, Q, Jiang, D: Upper and lower solutions method and a second order three-point singular boundary value problem. Comput. Math. Appl. 56, 1059-1070 (2008)
Zhao, Y, Sun, S, Han, Z, Li, Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 16, 2086-2097 (2011)
Feng, W, Sun, S, Li, X, Xu, M: Positive solutions to fractional boundary value problems with nonlinear boundary conditions. Bound. Value Probl. 2014, 225 (2014)
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript. This research is supported by the Natural Science Foundation of China (11571202, 61374074), Natural Science Outstanding Youth Foundation of Shandong Province (JQ201119) and supported by Shandong Provincial Natural Science Foundation (ZR2012AM009, ZR2013AL003).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Authors’ contributions
The authors declare that they have no competing interests.
Rights and permissions
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.
About this article
Cite this article
Feng, W., Sun, S. & Sun, Y. Existence of positive solutions for a generalized and fractional ordered Thomas-Fermi theory of neutral atoms. Adv Differ Equ 2015, 350 (2015). https://doi.org/10.1186/s13662-015-0677-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0677-2
MSC
- 34A08
- 34B16
- 34B18
Keywords
- fractional differential equation
- singular boundary value problem
- positive solution
- Thomas-Fermi theory