Department of Mathematics, Radfan University College, University of Lahej, Lahej, Yemen
2.
Department of Mathematics, College of Science and Humanities in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia
3.
Faculty of Exact and Natural Sciences, School of Physical Sciences and Mathematics, Pontifical Catholic University of Ecuador, Av. 12 de octubre 1076 y Roca, Apartado Postal 17-01-2184, Sede Quito, Ecuador
Received:
03 December 2023
Revised:
22 December 2023
Accepted:
02 January 2024
Published:
24 January 2024
The fractional Bagley-Torvik system (FBTS) is initially created by utilizing fractional calculus to study the demeanor of real materials. It can be described as the dynamics of an inflexible plate dipped in a Newtonian fluid. In the present article, we aim for the first time to discuss the existence and uniqueness (E&U) theories of an unbounded solution for the proposed generalized FBTS involving Riemann-Liouville fractional derivatives in the half-line (0,∞), by using fixed point theorems (FPTs). Moreover, the Hyers-Ulam stability (HUS), Hyers-Ulam-Rassias stability (HURS), and semi-Hyers-Ulam-Rassias stability (sHURS) are proved. Finally, two numerical examples are given for checking the validity of major findings. By investigating unbounded solutions for the FBTS, engineers gain a deeper understanding of the underlying physics, optimize performance, improve system design, and ensure the stability of the motion of real materials in a Newtonian fluid.
Citation: Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez. Efficient results on unbounded solutions of fractional Bagley-Torvik system on the half-line[J]. AIMS Mathematics, 2024, 9(2): 5071-5087. doi: 10.3934/math.2024246
Related Papers:
[1]
Habibu Abdullahi, A. K. Awasthi, Mohammed Yusuf Waziri, Issam A. R. Moghrabi, Abubakar Sani Halilu, Kabiru Ahmed, Sulaiman M. Ibrahim, Yau Balarabe Musa, Elissa M. Nadia .
An improved convex constrained conjugate gradient descent method for nonlinear monotone equations with signal recovery applications. AIMS Mathematics, 2025, 10(4): 7941-7969.
doi: 10.3934/math.2025365
Jia Tang, Yajun Xie .
The generalized conjugate direction method for solving quadratic inverse eigenvalue problems over generalized skew Hamiltonian matrices with a submatrix constraint. AIMS Mathematics, 2020, 5(4): 3664-3681.
doi: 10.3934/math.2020237
[4]
Sani Aji, Poom Kumam, Aliyu Muhammed Awwal, Mahmoud Muhammad Yahaya, Kanokwan Sitthithakerngkiet .
An efficient DY-type spectral conjugate gradient method for system of nonlinear monotone equations with application in signal recovery. AIMS Mathematics, 2021, 6(8): 8078-8106.
doi: 10.3934/math.2021469
[5]
Wan-Chen Zhao, Xin-Hui Shao .
New matrix splitting iteration method for generalized absolute value equations. AIMS Mathematics, 2023, 8(5): 10558-10578.
doi: 10.3934/math.2023536
[6]
Anli Wei, Ying Li, Wenxv Ding, Jianli Zhao .
Three special kinds of least squares solutions for the quaternion generalized Sylvester matrix equation. AIMS Mathematics, 2022, 7(4): 5029-5048.
doi: 10.3934/math.2022280
[7]
Zhensheng Yu, Peixin Li .
An active set quasi-Newton method with projection step for monotone nonlinear equations. AIMS Mathematics, 2021, 6(4): 3606-3623.
doi: 10.3934/math.2021215
[8]
Xuejie Ma, Songhua Wang .
A hybrid approach to conjugate gradient algorithms for nonlinear systems of equations with applications in signal restoration. AIMS Mathematics, 2024, 9(12): 36167-36190.
doi: 10.3934/math.20241717
[9]
Ting Lin, Hong Zhang, Chaofan Xie .
A modulus-based modified multivariate spectral gradient projection method for solving the horizontal linear complementarity problem. AIMS Mathematics, 2025, 10(2): 3251-3268.
doi: 10.3934/math.2025151
[10]
Wen-Ning Sun, Mei Qin .
On maximum residual block Kaczmarz method for solving large consistent linear systems. AIMS Mathematics, 2024, 9(12): 33843-33860.
doi: 10.3934/math.20241614
Abstract
The fractional Bagley-Torvik system (FBTS) is initially created by utilizing fractional calculus to study the demeanor of real materials. It can be described as the dynamics of an inflexible plate dipped in a Newtonian fluid. In the present article, we aim for the first time to discuss the existence and uniqueness (E&U) theories of an unbounded solution for the proposed generalized FBTS involving Riemann-Liouville fractional derivatives in the half-line (0,∞), by using fixed point theorems (FPTs). Moreover, the Hyers-Ulam stability (HUS), Hyers-Ulam-Rassias stability (HURS), and semi-Hyers-Ulam-Rassias stability (sHURS) are proved. Finally, two numerical examples are given for checking the validity of major findings. By investigating unbounded solutions for the FBTS, engineers gain a deeper understanding of the underlying physics, optimize performance, improve system design, and ensure the stability of the motion of real materials in a Newtonian fluid.
1.
Introduction
Quadratic matrix equation has many different forms, such as AX2+BX+C=O arising in quasi-birth-death processes [1,2] and Riccati equation XCX−XE−AX+B=O arising in transport theory [3,4,5,6]. There are also some coupled quadratic matrix equations with two or three variables [7,8]. This article will study the general form of these equations. As can be seen, the linear part of these equations can be expressed in the form ∑3i=1C(l)iXiD(l)i, and the quadratic part of them can be expressed as ∑3i,j=1XiE(l)ijXj. Therefore, we study the following coupled quadratic matrix equation:
∑3i=1C(l)iXiD(l)i+∑3i,j=1XiE(l)ijXj=S(l)(l=1,2),
(1.1)
where all matrices are n×n real matrices. Each equation in (1.1) consists of three linear terms and nine quadratic terms. Besides, Eq (1.1) have three variables and only two equations, so the solution is not unique.
As we know, we always need some special kind of solutions in practical applications, such as symmetric solutions are widely used in control theory [8,9] and reflexive solutions which are also called generalized centro-symmetric solutions are used in information theory, linear estimate theory and numerical analysis [10,11]. Liao, Liu, etc. have studied the problem of different constrained solutions of linear matrix equations [12,13]. In this article, we will design a method to obtain different constrained solutions of a class of quadratic matrix equations.
Many researchers have studied quadratic matrix equations. For example, Bini, Iannazzo and Poloni gave a fast Newton's method for a quadratic matrix equation [4]. Long, Hu and Zhang used an improved Newton's method to solve a quadratic matrix equation [14]. Convergence rate of some iterative methods for quadratic matrix equations arising in transport theory was also described by Guo and Lin [15]. Zhang, Zhu and Liu have studied the constrained solutions of two-variable Riccati matrix equations based on Newton's method and modified conjugate gradient (MCG) method [16,17]. This article will further study the problem of different constrained solutions of coupled quadratic matrix equations with three matrix variables. The algorithm designed in the paper is superior in computing different constrained solutions.
Notation: Rn×n denotes the set of n×n real matrices. The symbols AT and tr(A) represent the transpose and the trace of the matrix A respectively. A⊗B stands for the Kronecker product of matrices A and B, ¯vec(⋅) is an operator that transforms a matrix A into a column vector by vertically stacking the columns of the matrix AT. For example, for the 2×2 matrix
A=[abcd],
the vectorization is ¯vec(A)=[a,b,c,d]T. We define an inner product of two matrices A,B∈Rn×n as [A,B]=tr(ATB), then the norm of a matrix A generated by this inner product is Frobenius norm and denoted by ‖A‖, i.e. ‖A‖=√[A,A].
Let Ω1 be the set of symmetric matrices. P1,P2∈Rn×n are said to be symmetric orthogonal matrices if Pi=PTi and P2i=I(i=1,2). X∈Rn×n is said to be a reflexive matrix with respect to P1 if P1XP1=X. Let Ω5 be the set of reflexive matrices. X∈Rn×n is said to be a symmetric reflexive matrix with respect to P2 if XT=X=P2XP2. Let Ω9 be the set of symmetric reflexive matrices. We call (X1,X2,X3) a constrained matrix in Ω1−5−9 when X1∈Ω1, X2∈Ω5 and X3∈Ω9. Besides, if the symmetric orthogonal matrices P1 and P2 are changed, we will get different constrained matrices in Ω1−5−9.
The paper is organized as follows: First, we use Newton's method to convert the quadratic matrix equations into linear matrix equations. Second, MCG method [10,13,16,18] is applied to solve the derived linear matrix equations. Finally, numerical examples are presented to support the theoretical results of this paper.
2.
Newton's method for solving quadratic matrix equations
As a matter of convenience, we first introduce some notations.
X=[X1X2X3],X(k)=[X(k)1X(k)2X(k)3],X∗=[X∗1X∗2X∗3].
Y, Y(k) and Y∗ are defined in the same way as X, X(k) and X∗ respectively. Then let
where ϕ(l)X(Y): Rn×n→Rn×n is the Fréchet derivative of ψ(l)(X) at X in the direction Y[1].
Lemma 2.1.Finding the solution (X∗1,X∗2,X∗3)∈Ω1−5−9 of (1.1) can be transformed into finding the corrected value (Y1,Y2,Y3)∈Ω1−5−9 of ψ(l)(X+Y)=0(l=1,2). We linearize and solve, to find (Y1,Y2,Y3)∈Ω1−5−9 from the coupled linear matrix equation
ϕ(l)X(Y)=−ψ(l)(X)(l=1,2).
(2.2)
Proof. Supposing that the approximate solution (X1,X2,X3)∈Ω1−5−9 of Eq (1.1) has been obtained. Let X∗i=Xi+Yi(i=1,2,3), then finding (X∗1,X∗2,X∗3)∈Ω1−5−9 of (1.1) is transformed into finding the corrected value (Y1,Y2,Y3)∈Ω1−5−9 from
ψ(l)(X+Y)=O(l=1,2).
(2.3)
The Eq (2.3) is quadratic equations about Yi. As is known, when the norm of Yi is small enough, the quadratic parts ∑3i,j=1YiE(l)ijYj about Yi in (2.1) can be discarded according to Newton's method. In this way, we can get a linear approximation
ψ(l)(X+Y)≈ψ(l)(X)+ϕ(l)X(Y).
Therefore, finding the solution (X∗1,X∗2,X∗3)∈Ω1−5−9 of (1.1) is transformed into finding (Y1,Y2,Y3)∈Ω1−5−9 from ψ(l)(X)+ϕ(l)X(Y)=O(l=1,2), that is, to solve (2.2).
According to [14], Newton's method (algorithm 1) is introduced to find constrained solutions in Ω1−5−9 of (1.1). Let
ψ(X)=[ψ(1)(X)ψ(2)(X)],ϕX(Y)=[ϕ(1)X(Y)ϕ(2)X(Y)].
Algorithm 1: : Newton's method solves the solution X of Eq (1.1)
Step 1. Choose an initial matrix (X(1)1,X(1)2,X(1)3)∈Ω1−5−9 and set k:=1. Step 2. If ψ(X(k))=O, stop, else, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from ϕX(k)(Y(k))=−ψ(X(k)).(2.4) When (2.4) hasn't constrained solutions in Ω1−5−9, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9, such that ‖ϕX(k)(Y(k))+ψ(X(k))‖=min.(2.5) Step 3. Compute X(k+1)=X(k)+Y(k), set k:=k+1 and go to step 2.
The convergent properties about Newton's method can be obtained as follows according to [14] (The proof is similar to Lemma 2.1 in [14]).
Theorem 2.1.Assume that the real matrix X∗ is a simple root of (1.1), i.e. ψ(X∗)=O and ϕX∗(Y) is regular. Then if the starting matrix X(1) is chosen sufficiently close to the solution X∗, the sequence {X(k)} generated by Newton's method converges quadratically to the solution X∗.
3.
MCG method for solving linear matrix equations
In algorithm 1, when X(k) is known, then Y(k) needs to be solved. In this section, MCG method will be used to solve Y(k) from Eq (2.2), that is, to solve Eq (2.4) or Eq (2.5). Consider the general form of Eq (2.2)
∑3i=1∑7j=1A(l)ijYiB(l)ij=F(l)(l=1,2),
(3.1)
where all matrices in Eq (3.1) are n×n real matrices. Let
In order to solve Eq (3.1), the following two questions will be considered.
Problem 3.1.Assume that (3.1) has constrained solutions, find (Y1,Y2,Y3)∈Ω1−5−9 from (3.1).
Problem 3.2.Assume that (3.1) hasn't constrained solutions, find (Y1,Y2,Y3)∈Ω1−5−9, such that
‖h(Y)−F‖=min.
(3.2)
3.1. MCG method for solving problem 1
Based on the MCG method, we establish the following algorithm (algorithm 2) to solve problem 3.1.
Algorithm 2: : MCG method to solve problem 3.1
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=F−h(Y(k))def=[R(1)kR(2)k],˜Rk=p(Rk)def=[˜R(1)k˜R(2)k˜R(3)k],Zk=q(˜Rk). Step 2. If Rk=O, or Rk≠O and Zk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=F−h(Y(k+1))def=[R(1)k+1R(2)k+1],˜Rk+1=p(Rk+1)def=[˜R(1)k+1˜R(2)k+1˜R(3)k+1], βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=q(˜Rk+1)+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.
From algorithm 2, we can easily see (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 for k=1,2,⋯ and have the following convergent properties (The proof is similar to Theorem 2.1 in [10]):
Theorem 3.1.Assume that Eq (3.1) has constrained solutions in Ω1−5−9. Then for an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, a solution of problem 3.1 can be obtained by algorithm 2 within finite number of iterations, which is also a constrained solution in Ω1−5−9 of (3.1).
3.2. MCG method for solving problem 2
Algorithm 2 will break if Ri≠O and Zi=O, which means that Eq (3.1) hasn't constrained solution in Ω1−5−9 according to Theorem 3.1. Therefore, we need to solve problem 3.2, that is, to find constrained least-squares solutions of (3.1).
We replace the problem of finding least-squares solutions in Ω1−5−9 of (3.1) with finding solutions in Ω1−5−9 of equivalent linear matrix equations by the Theorem 3.2, and then an iterative algorithm to find constrained least-squares solutions in Ω1−5−9 of (3.1) is constructed according to algorithm 2.
As a matter of convenience, we introduce some notations:
u and v are functions of Y. Then, according to [16,17], we have the following theorem.
Theorem 3.2.Iterative algorithm for solving problem 3.2 can be replaced by finding constrained solutions in Ω1−5−9 from
g(Y)=Q.
(3.3)
Indeed, (3.3) has constrained solutions in Ω1−5−9.
Proof. When (Y1,Y2,Y3)∈Ω1−5−9, we have Y1=YT1, Y2=P1Y2P1 and Y3=YT3=P2Y3P2. Therefore, solving problem 3.2 is equivalent to solving (Y1,Y2,Y3)∈Ω1−5−9 from
‖[u(Y)v(Y)]−[FF]‖=min.
(3.4)
Now we have to prove that solving the problem (3.4) is equivalent to finding constrained solutions in Ω1−5−9 of (3.3). We let multiply operation prior to Kronecker product operation between matrices. Let
where Tn,n denotes a commutation matrix such that Tn,n¯vec(An×n)=¯vec(AT)[19] and let Tn,n only work on ¯vec. Then applying ¯vec to the following equations:
{u(Y)=F,v(Y)=F,
(3.5)
we can get the equivalent equation: My=f. Besides, MTMy=MTf, the normal equation of My=f, is the vectorization of (3.3). Therefore, the least-squares solution of My=f is also a solution of MTMy=MTf, and the vectorization of the solution of (3.3). So the solution of (3.4) is also a solution of (3.3), and vice versa.
Above all, iterative algorithm for solving problem 3.2 can be replaced by finding constrained solutions in Ω1−5−9 of (3.3).
As we all know, normal equations always have solutions, and the vectorization of Eq (3.3) is a normal equation, so Eq (3.3) also has solutions. Suppose ˜Y=(˜YT1,˜YT2,˜YT3)T (whether ˜Y∈Ω1−5−9 or not) is a solution of (3.3), then g(˜Y)=Q. Let Y∗i=qi(˜Y)(i=1,2,3), then (Y∗1,Y∗2,Y∗3)∈Ω1−5−9 and g(Y∗)=Q. Hence, (3.3) has constrained solutions in Ω1−5−9.
We use the MCG method to find constrained solutions in Ω1−5−9 of (3.3) by algorithm 3, which is also a process to solve the problem 3.2.
Algorithm 3: : MCG method to solve problem 3.2
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=Q−g(Y(k)),˜Rk=g(Rk),Zk=˜Rk. Step 2. If Rk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=Q−g(Y(k+1)),˜Rk+1=g(Rk+1), βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=˜Rk+1+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.
From algorithm 3, we can see that (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 for k=1,2,⋯ and have the following convergent properties (The proof is similar to Theorem 2 in [13]).
Theorem 3.3.For an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, a solution of problem 3.2 can be obtained by algorithm 3 within finite number of iterations, and it is also a constrained least-squares solution in Ω1−5−9 of (3.1).
4.
Numerical experiments
In this section, we design two computation programmes to find constrained solutions of (1.1). Then two numerical examples are given to illustrate the proposed results. All computations are performed using MATLAB. Because of the influence of roundoff errors, we regard a matrix A as zero matrix if ‖A‖≤10−7.
Let n be the order of the matrix Xi, k,k1,k2 be the iteration numbers of algorithm 1, algorithm 2 and algorithm 3 respectively, and t be the computation time (seconds).
Programme 1.
(1) Choose an initial matrix (X(1)1,X(1)2,X(1)3)∈Ω1−5−9 and set k:=1.
(2) If ψ(X(k))=O, stop, else, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from (2.4) using algorithm 2. When algorithm 2 breaks, that is (2.4) hasn't constrained solution in Ω1−5−9, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from (2.5) using algorithm 3.
(3) Compute X(k+1)=X(k)+Y(k), set k:=k+1 and go to step 2.
Programme 2.
(1) Choose an initial matrix (X(1)1,X(1)2,X(1)3)∈Ω1−5−9 and set k:=1.
(2) If ψ(X(k))=O, stop, else, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from (2.5) using algorithm 3. Especially, when (2.4) has constrained solutions in Ω1−5−9, the constrained least-squares solutions in Ω1−5−9 are also its constrained solutions in Ω1−5−9.
(3) Compute X(k+1)=X(k)+Y(k), set k:=k+1 and go to step 2.
Example 4.1.Consider (1.1) with the following parameters:
We can easily see that (1.1) has the constrained solution (X∗1,X∗2,X∗3)∈Ω1−5−9. By applying programmes 1 and 2 with the initial matrix X(1)i=eye(3), Y(1)i=zeros(3)(i=1,2,3), we obtain the constrained solution in Ω1−5−9 of (1.1) as follows:
From the results in Table 1, we see that programme 1 is more effective when the derived linear matrix equations are always have constrained solutions in Ω1−5−9.
Example 4.2.Consider (1.1) with the following parameters:
By applying programmes 1 and 2 with the initial matrix X(1)i=ones(3), Y(1)i=zeros(3)(i=1,2,3), P1 and P2 are identity matrices, we obtain a special constrained solution (now, X1 and X3 are symmetric matrices, X2 is a general matrix) in Ω1−5−9 of (1.1) as follows:
Thus it can be seen that if the constrained solution of Eq (1.1) is not unique, we can get different constrained solutions in Ω1−5−9 when choosing different initial matrices.
5.
Conclusions
In this paper, an iterative algorithm is studied to find different constrained solutions. By using the proposed algorithm, we compute a set of different constrained solution in Ω1−5−9 of multivariate quadratic matrix equations. The provided examples illustrate the effectiveness of the new iterative algorithm.
There are still some results we can obtain by changing the initial matrices X(1)i and Y(1)i, the direction matrix Zk in algorithm 2 and Eq (3.3) in algorithm 3. In this way, we can get other kind of constrained solutions, which are not only interesting but also valuable. It remains to study in our further work.
Acknowledgments
This research was funded by Doctoral Fund Project of Shandong Jianzhu University grant number X18091Z0101.
Conflict of interest
The author declares no conflict of interest.
References
[1]
A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, Elsevier, 2006.
[2]
R. Hilfer, Applications of fractional calculus in physics, World Scientific, 2000.
[3]
A. Ali, K. Shah, T. Abdeljawad, Study of implicit delay fractional differential equations under anti-periodic boundary conditions, Adv. Differ. Equ., 2020 (2020), 139. https://doi.org/10.1186/s13662-020-02597-x doi: 10.1186/s13662-020-02597-x
[4]
J. O. Alzabut, Almost periodic solutions for an impulsive delay Nicholson's blowflies model, J. Comput. Appl. Math., 234 (2010), 233–239. https://doi.org/10.1016/j.cam.2009.12.019 doi: 10.1016/j.cam.2009.12.019
[5]
S. T. M. Thabet, M. B. Dhakne, On nonlinear fractional integro-differential equations with two boundary conditions, Adv. Stud. Contemp. Math., 26 (2016), 513–526.
[6]
M. I. Ayari, S. T. M. Thabet, Qualitative properties and approximate solutions of thermostat fractional dynamics system via a nonsingular kernel operator, Arab J. Math. Sci., 2023. https://doi.org/10.1108/AJMS-06-2022-0147 doi: 10.1108/AJMS-06-2022-0147
[7]
S. T. M. Thabet, M. M. Matar, M. A. Salman, M. E. Samei, M. Vivas-Cortez, I. Kedim, On coupled snap system with integral boundary conditions in the G-Caputo sense, AIMS Mathematics, 8 (2023), 12576–12605. https://doi.org/10.3934/math.2023632 doi: 10.3934/math.2023632
[8]
S. T. M. Thabet, M. Vivas-Cortez, I. Kedim, M. E. Samei, M. I. Ayari, Solvability of a ϱ-Hilfer fractional snap dynamic system on unbounded domains, Fractal Fract., 7 (2023), 607. https://doi.org/10.3390/fractalfract7080607 doi: 10.3390/fractalfract7080607
[9]
P. J. Torvik, R. L. Bagley, On the appearance of the fractional derivative in the behavior of real materials, J. Appl. Mech., 51 (1984), 294–298. https://doi.org/10.1115/1.3167615 doi: 10.1115/1.3167615
[10]
M. I. Syam, A. Alsuwaidi, A. Alneyadi, S. Al Refai, S. Al Khaldi, An implicit hybrid method for solving fractional Bagley-Torvik boundary value problem, Mathematics, 6 (2018), 109. https://doi.org/10.3390/math6070109 doi: 10.3390/math6070109
[11]
V. Saw, S. Kumar, Numerical solution of fraction Bagley-Torvik boundary value problem based on Chebyshev collocation method, Int. J. Appl. Comput. Math., 5 (2019), 68. https://doi.org/10.1007/s40819-019-0653-8 doi: 10.1007/s40819-019-0653-8
[12]
H. M. Srivastava, F. A. Shah, R. Abass, An application of the Gegenbauer Wavelet method for the numerical solution of the fractional Bagley-Torvik equation, Russ. J. Math. Phys., 26 (2019), 77–93. https://doi.org/10.1134/S1061920819010096 doi: 10.1134/S1061920819010096
[13]
H. M. Srivastava, R. M. Jena, S. Chakraverty, S. K. Jena, Dynamic response analysis of fractionally-damped generalized Bagley–Torvik equation subject to external loads, Russ. J. Math. Phys., 27 (2020), 254–268. https://doi.org/10.1134/S1061920820020120 doi: 10.1134/S1061920820020120
[14]
S. Yüzbaşı, M. Karaçayır, A Galerkin-type fractional approach for solutions of Bagley-Torvik equations, Comput. Model. Eng. Sci., 123 (2020), 941–956. https://doi.org/10.32604/cmes.2020.08938 doi: 10.32604/cmes.2020.08938
[15]
M. El-Gamel, M. A. El-Hady, Numerical solution of the Bagley-Torvik equation by Legendre-collocation method, SeMA J., 74 (2017), 371–383. https://doi.org/10.1007/s40324-016-0089-6 doi: 10.1007/s40324-016-0089-6
[16]
A. B. Deshi, G. A. Gudodagi, Numerical solution of Bagley–Torvik, nonlinear and higher order fractional differential equations using Haar wavelet, SeMA J., 79 (2021), 663–675. https://doi.org/10.1007/s40324-021-00264-z doi: 10.1007/s40324-021-00264-z
[17]
A. G. Atta, G. M. Moatimid, Y. H. Youssri, Generalized Fibonacci operational tau algorithm for fractional Bagley-Torvik equation, Prog. Fract. Differ. Appl., 6 (2020), 215–224. http://doi.org/10.18576/pfda/060305 doi: 10.18576/pfda/060305
[18]
Y. H. Youssri, A new operational matrix of Caputo fractional derivatives of Fermat polynomials: An application for solving the Bagley-Torvik equation, Adv. Differ. Equ., 2017 (2017), 73. http://doi.org/10.1186/s13662-017-1123-4 doi: 10.1186/s13662-017-1123-4
[19]
S. Stanek, Two-point boundary value problems for the generalized Bagley-Torvik fractional differential equation, Cent. Eur. J. Math., 11 (2013), 574–593. https://doi.org/10.2478/s11533-012-0141-4 doi: 10.2478/s11533-012-0141-4
[20]
W. Labecca, O. Guimaraes, J. R. C. Piqueira, Analytical solution of general Bagley-Torvik equation, Math. Probl. Eng., 2015 (2015), 591715. https://doi.org/10.1155/2015/591715 doi: 10.1155/2015/591715
[21]
H. Fazli, J. J. Nieto, An investigation of fractional Bagley-Torvik equation, Open Math., 17 (2019), 499–512. https://doi.org/10.1515/math-2019-0040 doi: 10.1515/math-2019-0040
[22]
D. Pang, W. Jiang, J. Du, A. U. K. Niazi, Analytical solution of the generalized Bagley-Torvik equation, Adv. Differ. Equ., 2019 (2019), 207. https://doi.org/10.1186/s13662-019-2082-8 doi: 10.1186/s13662-019-2082-8
[23]
H. Baghani, M. Feckan, J. Farokhi-Ostad, J. Alzabut, New existence and uniqueness result for fractional Bagley-Torvik differential equation, Miskolc Math. Notes, 23 (2022), 537–549. http://doi.org/10.18514/MMN.2022.3702 doi: 10.18514/MMN.2022.3702
[24]
A. A. Zafar, G. Kudra, J. Awrejcewicz, An investigation of fractional Bagley-Torvik equation, Entropy, 22 (2020), 28. https://doi.org/10.3390/e22010028 doi: 10.3390/e22010028
[25]
J. Zhou, S. Zhang, Y. He, Existence and stability of solution for nonlinear differential equations with ψ-Hilfer fractional derivative, Appl. Math. Lett., 121, (2021), 107457. https://doi.org/10.1016/j.aml.2021.107457 doi: 10.1016/j.aml.2021.107457
[26]
Y. Liu, Existence and unboundedness of positive solutions for singular boundary value problems on half-line, Appl. Math. Comput., 144 (2003), 543–556. https://doi.org/10.1016/S0096-3003(02)00431-9 doi: 10.1016/S0096-3003(02)00431-9
[27]
S. T. M. Thabet, I. Kedim, Study of nonlocal multiorder implicit differential equation involving Hilfer fractional derivative on unbounded domains, J. Math., 2023 (2023), 8668325. https://doi.org/10.1155/2023/8668325 doi: 10.1155/2023/8668325
[28]
S. T. M. Thabet, S. Al-Sadi, I. Kedim, A. Sh. Rafeeq, S. Rezapour, Analysis study on multi-order ϱ-Hilfer fractional pantograph implicit differential equation on unbounded domains, AIMS Mathematics, 8 (2023), 18455–18473. https://doi.org/10.3934/math.2023938 doi: 10.3934/math.2023938
[29]
J. B. Diaz, B. Margolis, A fixed point theorem of the alternative, for contractions on a generalized complete metric space, Bull. Amer. Math. Soc., 74 (1968), 305–309.
[30]
Y. Zhou, Basic theory of fractional differential equations, World Scientific, 2014.
[31]
X. Su, S. Zhang, Unbounded solutions to a boundary value problem of fractional order on the halfline, Comput. Math. Appl., 61 (2011), 1079–1087. https://doi.org/10.1016/j.camwa.2010.12.058 doi: 10.1016/j.camwa.2010.12.058
[32]
X. Su, Solutions to boundary value problem of fractional order on unbounded domains in a Banach space, Nonlinear Anal., 74 (2011), 2844–2852. https://doi.org/10.1016/j.na.2011.01.006 doi: 10.1016/j.na.2011.01.006
[33]
L. C˘adariu, L. G˘avruta, P. G˘avruta, Weighted space method for the stability of some nonlinear equations, Appl. Anal. Discr. Math., 6 (2012), 126–139.
[34]
E. C. de Oliveira, J. V. da C. Sousa, Ulam-Hyers-Rassias stability for a class of fractional integro-differential equations, Results Math., 73 (2018), 111. https://doi.org/10.1007/s00025-018-0872-z doi: 10.1007/s00025-018-0872-z
Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez. Efficient results on unbounded solutions of fractional Bagley-Torvik system on the half-line[J]. AIMS Mathematics, 2024, 9(2): 5071-5087. doi: 10.3934/math.2024246
Sabri T. M. Thabet, Imed Kedim, Miguel Vivas-Cortez. Efficient results on unbounded solutions of fractional Bagley-Torvik system on the half-line[J]. AIMS Mathematics, 2024, 9(2): 5071-5087. doi: 10.3934/math.2024246
Algorithm 1: : Newton's method solves the solution X of Eq (1.1)
Step 1. Choose an initial matrix (X(1)1,X(1)2,X(1)3)∈Ω1−5−9 and set k:=1. Step 2. If ψ(X(k))=O, stop, else, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from ϕX(k)(Y(k))=−ψ(X(k)).(2.4) When (2.4) hasn't constrained solutions in Ω1−5−9, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9, such that ‖ϕX(k)(Y(k))+ψ(X(k))‖=min.(2.5) Step 3. Compute X(k+1)=X(k)+Y(k), set k:=k+1 and go to step 2.
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=F−h(Y(k))def=[R(1)kR(2)k],˜Rk=p(Rk)def=[˜R(1)k˜R(2)k˜R(3)k],Zk=q(˜Rk). Step 2. If Rk=O, or Rk≠O and Zk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=F−h(Y(k+1))def=[R(1)k+1R(2)k+1],˜Rk+1=p(Rk+1)def=[˜R(1)k+1˜R(2)k+1˜R(3)k+1], βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=q(˜Rk+1)+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=Q−g(Y(k)),˜Rk=g(Rk),Zk=˜Rk. Step 2. If Rk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=Q−g(Y(k+1)),˜Rk+1=g(Rk+1), βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=˜Rk+1+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.
Algorithm 1: : Newton's method solves the solution X of Eq (1.1)
Step 1. Choose an initial matrix (X(1)1,X(1)2,X(1)3)∈Ω1−5−9 and set k:=1. Step 2. If ψ(X(k))=O, stop, else, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9 from ϕX(k)(Y(k))=−ψ(X(k)).(2.4) When (2.4) hasn't constrained solutions in Ω1−5−9, solve for (Y(k)1,Y(k)2,Y(k)3)∈Ω1−5−9, such that ‖ϕX(k)(Y(k))+ψ(X(k))‖=min.(2.5) Step 3. Compute X(k+1)=X(k)+Y(k), set k:=k+1 and go to step 2.
Algorithm 2: : MCG method to solve problem 3.1
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=F−h(Y(k))def=[R(1)kR(2)k],˜Rk=p(Rk)def=[˜R(1)k˜R(2)k˜R(3)k],Zk=q(˜Rk). Step 2. If Rk=O, or Rk≠O and Zk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=F−h(Y(k+1))def=[R(1)k+1R(2)k+1],˜Rk+1=p(Rk+1)def=[˜R(1)k+1˜R(2)k+1˜R(3)k+1], βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=q(˜Rk+1)+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.
Algorithm 3: : MCG method to solve problem 3.2
Step 1. Choose an arbitrary initial matrix (Y(1)1,Y(1)2,Y(1)3)∈Ω1−5−9, set k:=1 and compute Rk=Q−g(Y(k)),˜Rk=g(Rk),Zk=˜Rk. Step 2. If Rk=O, stop, else, compute αk=‖Rk‖2‖Zk‖2,Y(k+1)=Y(k)+αkZk. Step 3. Compute Rk+1=Q−g(Y(k+1)),˜Rk+1=g(Rk+1), βk+1=‖Rk+1‖2‖Rk‖2,Zk+1=˜Rk+1+βk+1Zk. Step 4. Set k:=k+1 and go to step 2.