- Research
- Open access
- Published:
Existence and multiplicity of solutions for the Cauchy problem of a fractional Lorentz force equation
Boundary Value Problems volume 2023, Article number: 104 (2023)
Abstract
This paper aims to deal with the Cauchy problem of a fractional Lorentz force equation. By the methods of reducing and topological degree in cone, the existence and multiplicity of solutions to the problem were obtained, which extend and enrich some previous results.
1 Introduction
In this paper, we consider the Cauchy problem of a fractional Lorentz force equation as follows:
where \(|\cdot |\) is the usual Euclidean norm in \(\mathbb{R}^{3}\), \({}_{0} D_{t}^{\beta}\) and \({}_{0} D_{t}^{\alpha}\) are the left Riemann–Liouville fractional derivatives with orders \(\alpha,\beta \in (0,1]\), ⊗ is the vector product, 0 represents the zero vector, \(E,B\in C([0,T]\times \mathbb{R}^{3};\mathbb{R}^{3})\) stand for the electric and magnetic fields, respectively. Let ϕ stand for a relativistic acceleration operator defined by
\(\mathcal{B}(\delta )\) means the open ball of center 0 and radius δ.
In recent years, the qualitative theoretical analysis of the following relativistic oscillator equation has attracted the attention of many scholars, which comes from the classical theory of relativity (see [1–3]):
where F means the restoring force, \(m_{0}\) stands for the particle’s rest mass, and c represents the speed of light in a vacuum. Since the relativistic acceleration operator is a singular operator, it brings many difficulties during the course of analysis. For example, Bereanu, Jebelean, and Mawhin [4] considered the existence and multiplicity of radial solutions to the following Neumann boundary problem by critical-point theory in Minkowski space:
where \(0\leq R_{1}< R_{2}, \mathcal{A}=\{x\in \mathbb{R}^{N}:R_{1}\leq |x| \leq R_{2}\}\), \(g:[R_{1},R_{2}]\times \mathbb{R}\to \mathbb{R}\) is continuous. Mawhin [5] made a further study on the multiplicity of radial solutions of a Neumann boundary condition with periodic nonlinearity by Hamiltonian techniques. Moreover, Coelho et al. [6] employed the reducing method that converts the singular problem to an equivalent nonsingular problem to investigate some Dirichlet boundary value problems with parameters and obtained the existence and multiplicity of solutions by variational methods. Furthemore, Jebelean, Mawhin, and Şerban [7] considered the multiplicity of periodic solutions to the N-dimensional relativistic pendulum equation with periodic nonlinearity by a geometric method in critical-point theory. For more papers, we refer the reader to [8–11] and references therein.
Recently, the famous Lorentz force equation has attracted the attention of many scholars, which is an important equation in the field of mathematical physics and can be used to describe the effect of an electromagnetic field on the trajectory of a slowly accelerated charged particle in \(\mathbb{R}^{3}\). One of the important questions is the existence of periodic motion to charged particles. From different perspectives, by different functional methods, Bereanu and Mawhin [12] and Arcoya, Bereanu, and Torres [13] established sufficient conditions for the existence of circular motion when the electric field is nonsingular. For the singular case like a Coulomb electric potential or the magnetic dipole, Garzón and Torres [14] gave a positive answer by the topological degree method.
Inspired by the above literature, an interesting question naturally arises in the mind. Can we consider the existence and multiplicity of solutions to a fractional Lorentz force equation? It should be mentioned that compared to the above paper, fractional derivatives lack some basic properties such as monotonicity, convexity–concavity, and so on. This brings many difficulties such as the estimation of inequality and prior bounds. Moreover, as far as we know, there are few papers investigating the existence and multiplicity of solutions to a fractional Lorentz force equation. Furthermore, if \(\alpha =\beta =1\), the operator \({}_{0} D_{t}^{\beta}(\phi ({}_{0} D_{t}^{\alpha}u(t)))\) reduces to \((\phi (u'))'\), so the fractional-order model is more general than the integer-order model. Based on the above reasons, the Cauchy problem of a fractional Lorentz force equation was considered. By the methods of reducing and topological degree in cone, the existence and multiplicity of solutions to the problem (1.1) were obtained. Also, for the topics on initial value problems or boundary value problems of fractional differential models, one can refer to [15–17] and references therein.
The rest of this paper is organized as follows. To begin with, the basic space, the definitions and properties of left Riemann–Liouville fractional integrals and derivatives, and some necessary lemmas are given in Sect. 2. Moreover, based on the methods of reducing and topological degree in cone, the existence and multiplicity of solutions to the problem (1.1) are proved in Sect. 3.
2 Preliminaries
Let c represent a vector and \(\mathbb{R}_{+}=[0,+\infty )\). Setting \(C:=C([0,T],\mathbb{R}^{3})\) with the norm \(\| u \|_{\infty}=\max_{t\in [0,T]}|u(t)|\), define
whose norm is \(\| u \|=\max \{\| u \|_{\infty},\| {}_{0} D_{t}^{\alpha }u \|_{ \infty}\}\).
Definition 2.1
Let u be a function defined on \([0, T]\).
\((i)\) The left Riemann–Liouville fractional integral of order \(\alpha >0\) for a function u is defined by
provided the right-hand side is pointwise defined on \([0, T]\), where \(\Gamma (\alpha )\) is the standard gamma function.
\((ii)\) If \(\alpha =n, n \in \mathbb{N}\), it reduces to the usual definitions
Definition 2.2
Let u be a function defined on \([0, T]\).
\((i)\) The left Riemann–Liouville fractional derivatives of order \(\alpha >0\) for a function u is defined by
where \(n-1 \leq \alpha < n\) and \(n \in \mathbb{N_{+}}\).
\((ii)\) If \(\alpha =n-1, n \in \mathbb{N_{+}}\), it reduces to the usual definition
Lemma 2.3
([17])
Assume that \(u\in C(0,T)\cap L^{1}(0,T)\) with a fractional derivative of order \(\alpha >0\) that belongs to \(C(0,T)\cap L^{1}(0,T)\). Then,
for some \(c_{i}\in \mathbb{R},i=1,2,\dots,N\), where \(N=[\alpha ]+1\).
Define \(P_{c} = \{ {x \in P| \Vert x \Vert \le c} \}\), where P is a cone of Banach space E and c is a positive constant.
Lemma 2.4
([18])
Let P be a cone of Banach space E and \(\Phi:P_{c}\to P_{c}\) be a completely continuous map. There exists a nonnegative continuous concave functional θ such that \(\theta (x)\leq \|x\|\) for \(x\in P\) and numbers \(0 < a < b < d \le c\) satisfying the following conditions:
\((i)\) \(\{ {x \in P(\theta,b,d)|\theta (x) > b} \} \ne \emptyset \) and \(\theta (\Phi x) > b\) for \(x \in P(\theta,b,d)\), where \(P(\theta,b,d) = \{ {x \in P| \theta (x)\geq b \textit{ and } \Vert x \Vert \le d} \}\);
\((ii)\) \(\Vert {\Phi x} \Vert < a\) for \(x\in P_{a}\);
\((iii)\) \(\theta (\Phi x) > b\) for \(x \in P(\theta,b,c)\) with \(\Vert {\Phi x} \Vert > d\).
Then, Φ has at least three fixed points \(x_{1},x_{2},x_{3} \) in \(P_{c}\).
In order to obtain a priori bounds, the following assumption is presented:
-
(H1)
There exist functions \(\lambda _{i}\in C([0,T],\mathbb{R}_{+}),i=1,2,3,4\) such that for \(t\in [0,T],u\in \mathbb{R}\)
$$\begin{aligned} &\bigl\vert E(t,u) \bigr\vert \leq \lambda _{1}(t)+\lambda _{2}(t) \vert u \vert ^{\mu},\quad \mu \in (0,1],\\ &\bigl\vert B(t,u) \bigr\vert \leq \lambda _{3}(t)+\lambda _{4}(t) \vert u \vert ^{\nu},\quad \nu \in (0,1], \end{aligned}$$
where \(\|\lambda _{2}\|_{\infty}+\|\lambda _{4}\|_{\infty}< \frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{\sqrt{3} T^{\alpha +\beta}}\).
If \(u(t)\) is a solution of (1.1), by applying the operator \({}_{0} I_{t}^{\beta}\) on both sides of the equation, we have
which together with \({}_{0} D_{t}^{\alpha}u(0)=\mathbf{0}\) imply that \(\mathbf{c}_{1}=\mathbf{0}\) and
which together with \(u(0)=\mathbf{0}\) yield that \(c_{2}=\mathbf{0}\) and
Since \(|{}_{0} D_{t}^{\alpha}u(t)|<1\), it follows that
which together with \(\|\lambda _{2}\|_{\infty}+\|\lambda _{4}\|_{\infty}< \frac{\Gamma (\alpha +1)\Gamma (\beta +1)}{\sqrt{3} T^{\alpha +\beta}}\) imply that there exists a positive constant \(r>1\) such that \(|u(t)|< r\). Thus, the solutions of (1.1) must belong to \(\mathcal{B}(r)\).
Let \(\Lambda:=\phi ^{-1}(\bar{\mathcal{B}}(\omega ))\subset \mathcal{B}(1)\), where \(\omega =\frac{\sqrt{3}T^{\beta}}{\Gamma (\beta +1)}(\|\lambda _{1}\|_{ \infty}+\|\lambda _{3}\|_{\infty}+\|\lambda _{2}\|_{\infty}r^{\mu}+\| \lambda _{4}\|_{\infty}r^{\nu})\). Moreover, choose \(\sigma \in (0,1)\) such that
Denote \(\psi:\mathbb{R}^{3}\to \mathbb{R}^{3}\):
Let \(\overline{U}=\{u\in C | \|u\|_{\infty}\leq r\}\). By the method of [7], we can obtain the following lemma.
Lemma 2.5
A function \(u\in C^{\alpha}\cap \overline{U}\) is a solution of problem (1.1) if and only if it is a solution of the following system:
Proof
On the one hand, if \(u\in C^{\alpha}\cap \overline{U}\) is a solution of problem (1.1), by \({}_{0} D_{t}^{\alpha}u(0)=\mathbf{0}\), we can obtain that
which together with \(|{}_{0} D_{t}^{\alpha}u(t)|<1\) yield that
Thus, for any \(t\in [0,T]\), \({}_{0} D_{t}^{\alpha}u(t)\in \Lambda \) and \(|{}_{0} D_{t}^{\alpha}u(t)|\leq \sigma \), which implies that \(\phi ({}_{0} D_{t}^{\alpha}u(t))=\psi ({}_{0} D_{t}^{\alpha}u(t))\).
On the other hand, if \(u\in C^{\alpha}\cap \overline{U}\) is a solution of problem (2.2), we just need to show that \(|{}_{0} D_{t}^{\alpha}u(t)|\leq \sigma \) for any \(t\in [0,T]\). If not, we assume that there exists a \(t_{*}\in [0,T]\) such that \(|{}_{0} D_{t}^{\alpha}u(t_{*})|> \sigma \). Since
which together with \({}_{0} D_{t}^{\alpha}u(0)=\mathbf{0}\) yield that \(\mathbf{c}_{3}=\mathbf{0}\) and
which contradicts the definition of σ. Thus, the proof is complete. □
3 Main results
3.1 Existence
Define the operator \(\Phi: C^{\alpha}\to C^{\alpha}\) by
where
Letting
Thus, a function \(u\in \Pi \) is a solution of the problem (1.1). Define
where \(\rho =\max \{\sigma,\frac{\sigma T^{\alpha}}{\Gamma (\alpha +1)}\}\). It follows that Ω̅ is a nonempty, convex, closed set. Moreover, if \(\frac{\sigma T^{\alpha}}{\Gamma (\alpha +1)}<1\), we have \(\overline{\Omega}\subset C^{\alpha}\cap \overline{U}\).
Remark 3.1
If \(T^{\alpha}\leq {\Gamma (\alpha +1)}\), it follows that \(\rho =\sigma \).
Lemma 3.2
Assuming that the condition (H1) is satisfied, \(\Phi: \overline{\Omega}\to \overline{\Omega}\) is completely continuous, provided that \(\frac{\sigma T^{\alpha}}{\Gamma (\alpha +1)}<1\).
Proof
It is not difficult to obtain that Φ is continuous by the continuity of E and B. Based on (H1), for \((t,u)\in [0,1]\times \overline{\Omega}\), we have
which together with \(\omega \leq \frac{\sigma}{\sqrt{1-\sigma ^{2}}}\) yield that
and
Thus, we have \(\|\Phi u\|\leq \rho \), which implies \(\Phi: \overline{\Omega}\to \overline{\Omega}\) is uniformly bounded. For simplicity, let \(f(t)=E(t,u(t))+{}_{0} D_{t}^{\alpha}u(t)\otimes B(t,u(t))\). Hence, \(\forall t_{1}, t_{2}\in [0,1]\), assuming that \(t_{1}\leq t_{2}\), for any \(u\in \overline{\Omega}\), it follows that
which implies that
Moreover, we have
Similarly, we can obtain
which yields that
Thus, Φ is equicontinuous on Ω̅. By the Arzelà –Ascoli theorem, it follows that \(\Phi: \overline{\Omega}\to \overline{\Omega}\) is completely continuous. □
Based on Lemma 3.2, we can obtain the following theorem immediately by Schauder’s fixed-point theorem.
Theorem 3.3
If the assumption (H1) is satisfied, there exists a fixed point \(u\in \overline{\Omega}\) such that \(\Phi u=u\), provided that \(T^{\alpha}\leq {\Gamma (\alpha +1)}\).
Remark 3.4
By Theorem 3.3, we known that the fixed point \(u\in \overline{\Omega}\subset \Pi \), which tells us that the problem (1.1) has at least one solution on Ω̅.
3.2 Multiplicity
For any \(u,v\in C^{\alpha}\), \(u\geq v\) means \(u_{i}\geq v_{i}\), where \(u_{i}\) and \(v_{i}\) are components of u and v, respectively, \(i=1,2,3\). Let P be a cone of \(C^{\alpha}\), where \(P=\{u\in C^{\alpha}| u(t)\geq \mathbf{0}\}\). Define a nonnegative continuous functional θ on P by
where \((\frac{\sqrt{3}}{3})^{\frac{1}{\alpha}}T<\tau <T\), \(\Phi _{i} u\) stand for the component of Φu, \(i=1,2,3\). Since, for any \(u,v\in C^{\alpha}\) and \(s\in [0,1]\), we have
which implies that the functional θ is concave. Choose \(0< a< b< d\leq c\leq \sigma <1\) satisfying
where
Moreover, it follows that
In order to study the positive solution of the initial value problem in the cone, the following assumptions are naturally required.
-
(H2)
\(E(t,u),B(t,u):[0,T]\times \mathbb{R}_{+}^{3}\to \mathbb{R}_{+}^{3} \text{ are continuous and } {}_{0} D_{t}^{\alpha}u\otimes B(t,u) \geq \mathbf{0}\).
-
(H3)
\(E_{i}(t,u)>\Delta b\) for \((t,u)\in [0,T]\times [0,d]\), \(i=1,2,3\),
where \(E_{i}(t,u)\) stand for the component of \(E(t,u)\),
Lemma 3.5
Assuming that the conditions (H1) and (H2) are satisfied, \(\Phi: P_{c}\to P_{c}\) is completely continuous, provided that \(T^{\alpha}\leq {\Gamma (\alpha +1)}\).
Proof
To begin with, by (H2), we can obtain that \(\Phi u\geq \mathbf{0}\) for any \(u\in P_{c}\) and Φ is continuous. Moreover, for any \(u\in P_{c}\), in the same way as Lemma 3.2, one can obtain
and
because of \(\omega _{3}\leq \frac{c}{\sqrt{1-c^{2}}}\). Thus, \(\Phi: P_{c}\to P_{c}\) is uniformly bounded. Similarly, we can also obtain that Φ is equicontinuous on \(P_{c}\). In view of the Arzelà –Ascoli theorem, it follows that \(\Phi: P_{c}\to P_{c}\) is completely continuous. □
Theorem 3.6
Assuming that the conditions (H1), (H2), and (H3) are satisfied, if \(d=c\), there exist at least three fixed points \(u_{1},u_{2},u_{3} \) in \(P_{c}\) meeting \(\Phi u=u\), provided that \(T^{\alpha}=\Gamma (\alpha +1)\).
Proof
By Lemma 3.5, we know that \(\Phi: P_{c}\to P_{c}\) is completely continuous. From (H1), in the same way as Lemma 3.2, it follows that \(\|\Phi u\|< a\) for \(u\in P_{a}\), which yields that the condition \((ii)\) of Lemma 2.4 is satisfied. Letting
we have \(\|u_{0}\|_{\infty}=\frac{{b + d}}{2}\leq d\). Moreover, since \(0<\alpha \leq 1\), one can obtain that for any \(i\in \{1,2,3\}\),
which yields that \(\|{}_{0} D_{t}^{\alpha }u_{0}\|_{\infty}\leq \frac{b+d}{2}\leq d\). Thus, \(\|u_{0}\|\leq d\). Since \((\frac{\sqrt{3}}{3})^{\frac{1}{\alpha}}T<\tau <T\), we have
Hence,
Thus, by (H2) and (H3), for \((t,u)\in [0,T]\times [0,d]\), one has
Thus, the condition \((i)\) of Lemma 2.4 holds. If \(d=c\), the condition \((i)\) implies \((iii)\) in Lemma 2.4. Then, there exist at least three fixed points \(u_{1},u_{2},u_{3} \in P_{c}\) meeting \(\Phi u=u\). □
Remark 3.7
By Theorem 3.6, it follows that the fixed points \(u_{1},u_{2},u_{3} \in P_{c}\subset \Pi \), which yields that the problem (1.1) has at least three solutions on \(P_{c}\).
Availability of data and materials
Not applicable.
References
Bartnik, R., Simon, L.: Spacelike hypersurfaces with prescribed boundary values and mean curvature. Commun. Math. Phys. 87, 131–152 (1982)
Hutten, E.H.: Relativistic (non-linear) oscillator. Nature 205, 892 (1965)
Mitchell, T.P., Pope, D.L.: On the relativistic damped oscillator. J. Soc. Ind. Appl. Math. 10, 49–61 (1962)
Bereanu, C., Jebelean, P., Mawhin, J.: Variational methods for nonlinear perturbations of singular φ-Laplacian. Rend. Lincei Mat. Appl. 22, 89–111 (2011)
Mawhin, J.: Multiplicity of solutions of variational systems involving ϕ-Laplacians with singular ϕ and periodic nonlinearities. Discrete Contin. Dyn. Syst., Ser. A 32, 4015–4026 (2012)
Coelho, I., Corsato, C., Obersnel, F., Omari, P.: Positive solutions of the Dirichlet problem for the one-dimensional Minkowski-curvature equation. Adv. Nonlinear Stud. 12, 621–638 (2012)
Jebelean, P., Mawhin, J., Şerban, C.: Multiple periodic solutions for perturbed relativistic pendulum systems. Proc. Am. Math. Soc. 143, 3029–3039 (2015)
Arcoya, D., Sportelli, C.: Relativistic equations with singular potentials. Z. Angew. Math. Phys. 74, 91 (2023)
Shen, T.: Multiplicity of positive solutions to Hadamard-type fractional relativistic oscillator equation with p-Laplacian operator. Fractal Fract. 7, 427 (2023)
Alves, C., Torres Ledesma, C.: Multiplicity of solution for some classes of prescribed mean curvature equation with Dirichlet boundary condition. J. Geom. Anal. 32, 262 (2022)
Torres Ledesma, C.: Multiplicity of solutions for some classes of prescribed mean curvature equations with local conditions. Mediterr. J. Math. 20, 215 (2023)
Bereanu, C., Mawhin, J.: Boundary value problems for some nonlinear systems with singular ϕ-laplacian. J. Fixed Point Theory Appl. 4(1), 57–75 (2008)
Arcoya, D., Bereanu, C., Torres, P.J.: Critical point theory for the Lorentz force equation. Arch. Ration. Mech. Anal. 232(3), 1685–1724 (2019)
Garzón, M., Torres, P.J.: Periodic solutions for the Lorentz force equation with singular potentials. Nonlinear Anal., Real World Appl. 56, 103162 (2020)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier B.V, Netherlands (2006)
Podlubny, I.: Fractional Differential Equation. Academic Press, San Diego (1999)
Bai, Z.B., Lü, H.S.: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311(2), 495–505 (2005)
Leggett, R.W., Williams, L.R.: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28, 673–688 (1979)
Acknowledgements
The authors really appreciate the reviewers’ valuable comments, which helped improve the former version of this paper.
Funding
X. Shen is supported by the National Natural Science Foundation of China (No. 12101532) and the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (No. 21KJB110020). T. Shen is supported by the Fundamental Research Funds for the Central Universities (No. 2019QNA05).
Author information
Authors and Affiliations
Contributions
X. Shen edited the original draft and checked the validation; T. Ye checked the validation and conducted analysis; T. Shen wrote the main manuscript text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shen, X., Ye, T. & Shen, T. Existence and multiplicity of solutions for the Cauchy problem of a fractional Lorentz force equation. Bound Value Probl 2023, 104 (2023). https://doi.org/10.1186/s13661-023-01793-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01793-4