The current manuscript focuses on the solution and analysis of space and time fractional coupled Schrödinger system that belongs to a class of evolution equations. These systems encounter in different fields related to plasma waves, optics, and quantum physics. The fractional He-Laplace approach is proposed for the series form solutions of fractional systems. This approach contains hybrid of Laplace transform and homotopy perturbation along with Caputo fractional derivative. The current study provide new results on time and space fractional coupled Schrödinger systems which are not captured in existing literature. Reliability of proposed algorithm in both time and space fractional scenarios is observed through residual error concept throughout fractional domains. The effect of fractional parameters on wave profiles are analyzed numerically and graphically as 2D and 3D illustrations. Analysis reveals that proposed algorithm is suitable for non-linear time-space fractional systems encountering in different fields of sciences.
Citation: Mubashir Qayyum, Efaza Ahmad, Hijaz Ahmad, Bandar Almohsen. New solutions of time-space fractional coupled Schrödinger systems[J]. AIMS Mathematics, 2023, 8(11): 27033-27051. doi: 10.3934/math.20231383
[1] | Saif Ur Rehman, Arjamand Bano, Hassen Aydi, Choonkil Park . An approach of Banach algebra in fuzzy metric spaces with an application. AIMS Mathematics, 2022, 7(5): 9493-9507. doi: 10.3934/math.2022527 |
[2] | Ehsan Movahednia, Choonkil Park, Dong Yun Shin . Approximation of involution in multi-Banach algebras: Fixed point technique. AIMS Mathematics, 2021, 6(6): 5851-5868. doi: 10.3934/math.2021346 |
[3] | Berna Arslan . On generalized biderivations of Banach algebras. AIMS Mathematics, 2024, 9(12): 36259-36272. doi: 10.3934/math.20241720 |
[4] | Narjes Alabkary . Hyper-instability of Banach algebras. AIMS Mathematics, 2024, 9(6): 14012-14025. doi: 10.3934/math.2024681 |
[5] | Shakir Ali, Ali Yahya Hummdi, Mohammed Ayedh, Naira Noor Rafiquee . Linear generalized derivations on Banach ∗-algebras. AIMS Mathematics, 2024, 9(10): 27497-27511. doi: 10.3934/math.20241335 |
[6] | Ateq Alsaadi, Manochehr Kazemi, Mohamed M. A. Metwali . On generalization of Petryshyn's fixed point theorem and its application to the product of n-nonlinear integral equations. AIMS Mathematics, 2023, 8(12): 30562-30573. doi: 10.3934/math.20231562 |
[7] | Safoura Rezaei Aderyani, Reza Saadati, Donal O'Regan, Fehaid Salem Alshammari . Multi-super-stability of antiderivations in Banach algebras. AIMS Mathematics, 2022, 7(11): 20143-20163. doi: 10.3934/math.20221102 |
[8] | Abu Zaid Ansari, Suad Alrehaili, Faiza Shujat . An extension of Herstein's theorem on Banach algebra. AIMS Mathematics, 2024, 9(2): 4109-4117. doi: 10.3934/math.2024201 |
[9] | Tae Hun Kim, Ha Nuel Ju, Hong Nyeong Kim, Seong Yoon Jo, Choonkil Park . Bihomomorphisms and biderivations in Lie Banach algebras. AIMS Mathematics, 2020, 5(3): 2196-2210. doi: 10.3934/math.2020145 |
[10] | Shaoyuan Xu, Yan Han, Suzana Aleksić, Stojan Radenović . Fixed point results for nonlinear contractions of Perov type in abstract metric spaces with applications. AIMS Mathematics, 2022, 7(8): 14895-14921. doi: 10.3934/math.2022817 |
The current manuscript focuses on the solution and analysis of space and time fractional coupled Schrödinger system that belongs to a class of evolution equations. These systems encounter in different fields related to plasma waves, optics, and quantum physics. The fractional He-Laplace approach is proposed for the series form solutions of fractional systems. This approach contains hybrid of Laplace transform and homotopy perturbation along with Caputo fractional derivative. The current study provide new results on time and space fractional coupled Schrödinger systems which are not captured in existing literature. Reliability of proposed algorithm in both time and space fractional scenarios is observed through residual error concept throughout fractional domains. The effect of fractional parameters on wave profiles are analyzed numerically and graphically as 2D and 3D illustrations. Analysis reveals that proposed algorithm is suitable for non-linear time-space fractional systems encountering in different fields of sciences.
This research has been motivated by the work's of Ali-Khan[2] and Khan[9]. All over this paper unless otherwise stated, A denotes a Banach algebra with the center Z(A), M be a closed linear subspace of A and Int(Z(A)), the interior of Z(A). For any a,b∈A, the symbol [a, b] will denote the commutator, ab−ba and a∘b represents the anticommutator, ab+ba. An algebra A is said to be prime if for any a,b∈A, aAb=(0) implies a=0orb=0 and A is semiprime if for any a∈A, aAa=(0) implies a=0. A linear mapping D:A⟶A is called a derivation if D(ab)=D(a)b+aD(b) holds for all a,b∈A. In particular, D defined by D(a)=[λ,a] for all a∈A is a derivation, called an inner derivation induced by an element λ∈A. Let R be an associative ring and an additive subgroup U of R is known to be a Lie ideal of R if [u,a]∈U, for all u∈U and a∈R. Let M be a subspace of A, the linear operator P:A⟶A is said to be a projection of A on M if P(a)∈M for all a∈A and P(a)=a for all a∈M. Let M and N be two subspaces of the Banach algebra A such that M⊕alN is an algebraic direct sum of A, we provide the two subspaces M and N with the induced topology of A and M×N by the product topology. We say that M⊕tN is a topological direct sum of A, if the mapping ψ:M×N⟶A, defined by ψ(a,b)=a+b is a homeomorphism, and we say that M is complemented in A and N is its topological complement. In this case, there is a unique continuous projection P from A to M. Moreover, Sobezyk [12], established that if A is separable and M is a subspace of A isomorphic to C0 (the subspace of sequences in C which converge to 0), then M is complemented in A. In view of [11], every infinite-dimensional Banach space that is not isomorphic to a Hilbert space contains a closed uncomplemented subspace (see also [6] for details).
Many results in literature concerning commutativity of a prime and semiprime Banach algebra are proved, for example, in the year 1990, Yood [15] showed that if G is a nonvoid open subset of a Banach algebra A, for each a,b∈G, if positive integers m=m(a,b) and n=n(a,b) exist such that [am,bn]=0. Then there is a positive integer r so that ar∈Z(A) for all a∈A. In addition if A has no nonzero nilpotent ideal, it is sufficient to have [am,bn]∈Z(A) and a,b∈G, with m,n as above. Then A is commutative. Yood [13] also proved that if A is a Banach algebra and G1, G2 are two non-empty open subsets of A such that for each a∈G1 and b∈G2, there is an integer n=n(a,b)>1 where either (ab)n=anbn or (ab)n=bnan, then A is commutative (see [4,7,8] for recent works). Motivated by Yood's work, Ali and Khan [2] established the commutativity of Banach algebra via derivations. Moreover, they proved that if A is a unital prime Banach algebra and has a nonzero continuous linear derivation d:A→A such that either d((ab)n)−anbn or d((ab)n)−bnan is in the center of A for an integer n=n(a,b)>1, then A is commutative (see, also [1,3,9,10] for recent works).
In this paper, we will continue the study of the problems on Banach algebras involving projections instead of derivations. The key aim of this work is to discuss the commutativity of prime Banach algebras via its projections. Precisely, we prove that if a prime Banach algebra A admits a nonzero continuous projection P from A to Z(A) such that P(an)=an for all a∈G, the non-empty open subset of A and n∈N, then A is commutative and P is the identity map on A. Furthermore, apart from proving some other interesting results, we discuss some applications of our study.
We recall some well known results which will be helpful in order to prove our results. We begin with the following:
Lemma 2.1. [5] Let A be a real or complex Banach algebra and p(t)=∑nk=0bktk a polynomial in the real variable t with coefficients in A. If for an infinite set of real values of t, p(t)∈M, where M is a closed linear subspace of A, then every bk lies in M.
Lemma 2.2. [14,Theorem 2] Suppose that there are non-empty open subsets G1,G2 of A (where A denotes a Banach algebra over the complex field with center Z) such that for each x∈G1 and y∈G2 there are positive integers n=n(x,y), m=m(x,y) depending on x and y, n>1,m>1, such that either [xn,ym]∈Z or xn⋅ym∈Z. Then A is commutative if A is semiprime.
These lemmas will come handy while proving our results. We shall be proving the following results:
Theorem 2.3. Let n>1 be a fixed integer. Next, let A be a real or complex semiprime Banach algebra and G be a nonvoid open subset of A. If A admits a continuous projection P whose image lies in Z(A) such that
P(an)=anforalla∈G, |
then P is the identity mapping on A and A is commutative.
Theorem 2.4. Let n>1 be a fixed integer. Next, let A be a real or complex prime Banach algebra and G1, G2 be two nonvoid open subsets of A admitting a continuous projection P whose image lies in Z(A). If for all a∈G1, there exists b∈G2 such that
P(an)=bn, |
then P is the identity mapping on A and A is commutative.
In [2,14], it was observed that the authors used simple multiplication and Lie product. Motivated by this, in our next result we will be using the two symbols "T" and "∗" representing either the Lie product "[., .]", or the Jordan product "∘", or the simple multiplication "⋅" of the algebras.
Theorem 2.5. Let n,m>1 be fixed integers. Next, let A be a real or complex prime Banach algebra and G1, G2 be two nonvoid open subsets of A. If A admits a continuous projection P whose image lies in Z(A) such that
P(anTbm)=an∗bmforall(a,b)∈G1×G2, |
then P is the identity mapping on A and A is commutative.
The next theorem provides the necessary and sufficient condition for the commutativity of a real or complex normed algebras.
Theorem 2.6. The normed algebra A over C or R is commutative if and only if the interior of its center is non-empty.
In order to prove the above mentioned theorems, we need the following auxiliary result. This result will help to bridge the gap between a complemented subspace and that of a projection map.
Proposition 2.7. Let A be a Banach space and M be a closed subspace of A. M is complemented if there is a continuous projection P of A on M, and its complement is (I−P)(A), where I is the identity mapping on A.
Proof. For any a∈A, we can write a=P(a)+(a−P(a)), since P(a)∈M and a−P(a)∈(I−P)(A), we observe that A=M+(I−P)(A). Now, we will show that M∩(I−P)(A)={0}. Let a∈M∩(I−P)(A). Then a∈(I−P)(A), and hence there is a x∈A such that a=(I−P)(x)=x−P(x). Since a∈M and P(x)∈M, we conclude that x∈M and P(x)=x, so we obtain a=0. Therefore, M⊕al(I−P)(A) is an algebraic direct sum of the Banach space A. It remains for us to show that (I−P)(A) is closed in A. For this, consider a sequence (bn)n∈N⊂(I−P)(A) that converges to b∈A as n→∞. Since M⊕al(I−P)(A) is an algebraic direct sum of A, then there is c1∈M and c2∈(I−P)(A) such that b=c1+c2. Thus, we obtain
P(b)=c1. | (2.1) |
On the other hand, we have P(bn)=0 for all n∈N, as P is a continuous linear operator then P(limbn)=0. This implies
c1=P(b)=0. | (2.2) |
In view of (2.1) and (2.2), we obtain b=c2∈(I−P)(A), and hence we conclude that (I−P)(A) is a closed subspace. Consequently, M⊕t(I−P)(A) is a topological direct sum of the Banach space A. This proves the proposition.
Proof of Theorem 2.3. Let A be a semiprime Banach algebra and P be a continuous projection satisfying
P(an)=anforalla∈G, | (3.1) |
for a fixed n∈N. Then, clearly P is not zero. Thus, Z(A) forms a closed subspace of A and P is a continuous projection onto Z(A), and hence in view of Proposition 1, we conclude that Z(A) is complemented in A and a topological direct sum of A, that is,
A=Z(A)⊕t(I−P)(A). | (3.2) |
Now, let a0∈G and a∈A, then a0+ka∈G for any sufficiently small real k, so P((a0+ka)n)−(a0+ka)n=0. We can write
(a0+ka)n=A0+A1k+A2k2+⋯+Ankn. |
We take p(k)=P((a0+ka)n)−(a0+ka)n, since P is a linear operator, we can write
p(k)=(P(A0)−A0)+(P(A1)−A1)k+(P(A2)−A2)k2+⋯+(P(An)−An)kn. |
The coefficient of kn in the above polynomial is P(An)−An. Since An=an, then this coefficient becomes P(an)−an. Using the Lemma 2.1, we obtain P(an)−an=0 and thus P(an)=an for all a∈A. Since P(a)∈Z(A) for all a∈A, we conclude that an∈Z(A) for all a∈A. This implies anbn∈Z(A) for all (a,b)∈A×A. Hence the required result follows from the Lemma 2.2, i.e., A is commutative. From Eq (3.2), we obtain (I−P)(A)=0 and hence P=I, which completes the proof of theorem.
As an immediate consequence of Theorem 2.3, we have the following results.
Corollary 3.1. Let n>1 be a fixed integer. Next, let A be a real or complex prime Banach algebra and G be a nonvoid open subset of A. If A admits a continuous projection P whose image lies in Z(A) such that
P(an)=anforalla∈G, |
then P is the identity mapping on A and A is commutative.
Corollary 3.2. Let J be a part dense in a prime Banach algebra A. If A admits a continuous projection P whose image lies in Z(A) and there is an n∈N such that
P(an)=anforalla∈J, |
then A is commutative and P=I, the identity mapping on A.
Proof. Let a∈A, there exists a sequence (ak)k∈N in J converging to a. Since (ak)k∈N⊂J, so for each k∈N
P((ak)n)−(ak)n=0. |
By the continuity of P, we conclude that P(an)−an=0. Consequently, there exists n∈N such that
P(an)−an=0foralla∈A. |
Application of Theorem 2.3, yields the required result.
Proof of Theorem 2.4. Let us consider two sets,
Gn={(a,b)∈A×A|P(an)≠bn}andHn={(a,b)∈A×A|P(an)=bn}, |
for some n∈N. Observe that (∩Gn)∩(G1×G2)=∅. Indeed, if there exists a∈G1 and b∈G2 such that (a,b)∈Gn for all n∈N, then P(an)≠bn for all n∈N, which is absurd by the hypothesis of the theorem.
Now we claim that each Gn is open in A×A. We show that Hn, the complement of Gn, is closed. Consider a sequence (aj,bj)j∈N⊂Hn converging to (a,b)∈A×A. Since (aj,bj)j∈N⊂Hn, so
P((aj)n)=(bj)nforallj∈N. |
As P is continuous, we deduce that P(an)=bn. Therefore, (a,b)∈Hn, making Hn closed and Gn open. By Baire category theorem, we imply that the intersection of all Gn's is dense if each Gn is dense, contradicting the fact that (∩Gn)∩(G1×G2)=∅. Hence there exists p∈N such that Gp is not dense in A and a nonvoid open subset G×G′ in Hp, such that
P(ap)=bpforall(a,b)∈G×G′. |
Now, let (a0,b0)∈G×G′ and (a,b)∈A×A. Then a0+ka∈G and b0+kb∈G′ for any sufficiently small real k, making P((a0+ka)p)−(b0+kb)p=0. We have,
(a0+ka)p=Ap,0(a0,a)+Ap−1,1(a0,a)k+Ap−2,2(a0,a)k2+⋯+A0,p(a0,a)kp, |
and
(b0+kb)p=Bp,0(b0,b)+Bp−1,1(b0,b)k+Bp−2,2(b0,b)k2+⋯+B0,p(b0,b)kp. |
We put p(k)=P((a0+ka)p)−(b0+kb)p, since P is a projection, we can write p(k)=P(Ap,0(a0,a))−Bp,0(b0,b)+P(Ap−1,1(a0,a))−Bp−1,1(b0,b)k +P(Ap−2,2(a0,a))−Bp−2,2(b0,b)k2+⋯+P(A0,p(a0,a))−B0,p(b0,b)kp. The coefficient of kp in the above polynomial is just P(ap)−bp, according to the Lemma 2.1, we obtain P(ap)−bp=0 and hence, P(ap)=bp for all (a,b)∈A×A. In particular, for a=b we have P(ap)=ap for all a∈A. In view of Theorem 2.3, we conclude A is commutative and P is the identity mapping of A.
Proof of Theorem 2.5. We know that Z(A) forms a closed subspace of A and P is a given continuous projection onto Z(A), by Proposition 2.7, Z(A) is complemented in A. That is,
A=Z(A)⊕t(I−P)(A), | (3.3) |
a topological direct sum of Z(A) and its complement. For any pair n,m∈N, we define two sets:
Gn,m={(a,b)∈A×A|P(anTbm)≠an∗bm} |
and
Hn,m={(a,b)∈A×A|P(anTbm)=an∗bm}. |
We observe that (∩Gn,m)∩(G1×G2)=∅. If not, there exists some (a,b)∈G1×G2 such that (a,b)∈Gn,m for all n,m∈N, then P(anTbm)≠an∗bm for all n,m∈N which contradicts the hypothesis of the theorem.
Now we claim that each Gn,m is open in A×A. We show that Hn,m, the complement of Gn,m, is closed. For this, consider a sequence ((aj,bj))j∈N⊂Hn,m converging to (a,b)∈A×A. Since ((aj,bj))j∈N⊂Hn,m, we have
P((aj)nT(bj)m)=(aj)n∗(bj)mforallj∈N. |
We conclude that P(anTbm)=an∗bm, as P is continuous. Therefore, (a,b)∈Hn,m and Hn,m is closed (i.e., Gn,m is open). If every Gn,m is dense, we know that their intersection is also dense (by Baire category theorem), which contradicts with (∩Gn,m)∩(G1×G2)=∅. Hence there exists p,q∈N such that Gp,q is not dense and a nonvoid open subset G×G′ in Hp,q, such that
P(apTbq)=ap∗bqforall(a,b)∈G×G′. |
Since P(a)∈Z(A) for all a∈A, we conclude that ap∗bq∈Z(A) for all (a,b)∈G×G′, hence the result follows from the Lemma 2.2.
The following are the immediate consequences of Theorem 2.5.
Remark 3.3. Let n,m>1 be fixed integers. Next, let A be a real or complex prime Banach algebra and G1, G2 be two nonvoid open subsets of A. If A admits a continuous projection P whose image lies in Z(A) such that
P([an,bm])=[an,bm]forall(a,b)∈G1×G2, |
then P is the identity mapping on A and A is commutative.
Remark 3.4. Let n,m>1 be fixed integers. Next, let A be a real or complex prime Banach algebra and G1, G2 be two nonvoid open subsets of A. If A admits a continuous projection P whose image lies in Z(A) such that
P(an⋅bm)=[an,bm]forall(a,b)∈G1×G2, |
then P is the identity mapping on A and A is commutative.
Remark 3.5. Let n,m>1 be fixed integers. Next, let A be a real or complex prime Banach algebra and G1, G2 be two nonvoid open subsets of A. If A admits a continuous projection P whose image lies in Z(A) such that
P([an,bm])=an∘bmforall(a,b)∈G1×G2, |
then P is the identity mapping on A and A is commutative.
Proof of Theorem 2.6. Suppose A is commutative, then A=Z(A) and hence the interior of Z(A) is the interior of A itself, A being open implies Int(Z((A))=Int(A)=A≠0.
Now, we prove the other way round. If Int(Z(A))≠∅, then there exists 0≠a∈Int(Z(A)). Let c∈A, we have a+kc∈Int(Z(A)) for any sufficiently small nonzero real k, therefore, we have
[a+kc,b]=0forallb∈A, |
that is,
[a,b]+k[c,b]=0forallb∈A. |
Since,
[a,b]=0forallb∈A, |
we obtain
k[c,b]=0forallb∈A. |
This implies that
[c,b]=0forallb∈A. |
Hence, A is commutative. This completes the proof.
Corollary 3.6. If Z(A) contains an isolated point of A, then A is commutative.
Proof. Let x be an isolated point of A contained in Z(A). We have {x}⊂Z(A). This gives Int({x})⊂Int(Z(A)). Since x is an isolated point of A, the singleton set {x} is open in A, that is, Int({x})={x}. That is, Int(Z(A))≠∅. Hence, A is commutative by Theorem 2.6.
In particular, we get the following result.
Corollary 3.7. Let A be a normed algebra over R or C. If 0 is an isolated point in A, then A is commutative.
Example 3.8. Let R be the field of real numbers. Next, let us consider
A={(a11a12a21a22)|aij∈R,1≤i,j≤2}. |
Clearly, A is a real prime Banach algebra under the norm defined by ||A||1=maxj(∑2i=1|aij|) for all A=(aij)1≤i,j≤2∈A.
Consider the sets, S1={(s00s)|s>0} and S2={(s00s)|s∈R∗}. Clealy, S1 and S1 are not open in A. Take E1=(1001), E2=(0010), E3=(0100) and E4=(0001), we observe that the family O={E1,E2,E3,E4} is a basis of A and Z(A)=span(E1), so we can write A=Z(A)⊕tspan(E2,E3,E4). The mapping P defined from A to Z(A) by P(M)=a1E1 for all M=∑4i=0aiEi∈A is a continuous projection of A on Z(A). For all A=(a00a)∈S1, B=(b00b)∈S2 and for all n,m∈N, it is easy to see that
An=(an00an)andBm=(bm00bm). |
Moreover, we compute
AnBm=(anbm00anbm),An∘Bm=(2anbm002anbm)and[An,Bm]=(0000). |
This implies that
AnBm=anbmE1;An∘Bm=2anbmE1;[An,Bm]=0E1. |
Thus, we have
(1) P(An∘Bm)=An∘Bm
(2) P(AnBm)=AnBm
(3) P([An,Bm])=[An,Bm]
(4) P(An)=An.
One might think that the projection map P=I, but this is not true as P(E3)=0A≠E3. So the conditions of G1 and G2 to be open in Theorem 2.5 is indispensable.
Our next example shows that we cannot replace R or C in Theorem 2.5 by the finite field F3=Z/3Z≅Z3.
Example 3.9. Let A={(a11a12a21a22)|aij∈Z3}. It is easy to check that A forms a prime Banach algebra under the norm, ||A||∞=maxi(∑2j=1|aij|) for all A=(aij)1≤i,j≤2∈A, where |.| on Z3 is defined as,
|ˉ0|=0,|ˉ1|=1and|ˉ2|=2. |
Next, let G={(s00s)|s∈Z3} be an open set in A. Consider A∈G, the open ball B(A,1)={Y∈Asuchthat||A−Y||∞<1}={A}⊂G, so G is a nonvoid open subset of A. Take, E1=(1001), E2=(0010), E3=(0100) and E4=(0001), observe that the family O={E1,E2,E3,E4} forms a basis of A and Z(A)=span(E1), so we can write A=Z(A)⊕tspan(E2,E3,E4). The mapping P defined from A to Z(A) by P(M)=a1E1 for all M=∑4i=0aiEi∈A is a nonzero continuous projection of A on Z(A). For all A=(a00a), B=(b00b)∈G and for all n,m∈N, we have
An=(an00an)andBm=(bm00bm). |
Thus, we obtain
AnBm=(anbm00anbm),An∘Bm=(2anbm002anbm)and[An,Bm]=(0000). |
So we can write,
AnBm=anbmE1;An∘Bm=2anbmE1;[An,Bm]=0E1. |
Thus, it is easy to see that
(1) P(An∘Bm)=An∘Bm
(2) P(AnBm)=AnBm
(3) P([An,Bm])=[An,Bm]
(4) P(An)=An.
Observe that P≠I as P(E2)=0A≠E2. Hence we conclude that R or C cannot be replaced by the field F3 in case of Theorem 2.5.
In this section, we will discuss an application of Theorem 2.5.
Let C be the field of complex numbers. Next, let us consider
A={(a11a12a21a22)|aij∈C,1≤i,j≤2}. |
Clearly, A is prime algebra over C under the norm defined by ||A||1=maxj(∑2i=1|aij|) for all A=(aij)1≤i,j≤2∈A. Consider the sets, G1={(eit00e−it)|t∈R} and G2={(e−it00eit)|t∈R}. Clearly, G1 and G2 are open in A. Take E1=(1001), E2=(0010), E3=(0100) and E4=(0001), we observe that the family O={E1,E2,E3,E4} is a basis of A and Z(A)=span(E1), so we can write A=Z(A)⊕tspan(E2,E3,E4). The mapping P defined from A to Z(A) by P(M)=a1E1 for all M=∑4i=0aiEi∈A is a continuous projection of A on Z(A). For all A=(eia00e−ia)∈G1, B=(e−ib00eib)∈G2 and for all n,m∈N, it is easy to see that
An=(eina00e−ina)andBm=(e−imb00eimb). |
Moreover, we compute
[An,Bm]=(0000). |
This implies that
[An,Bm]=0E1. |
Thus, we have P([An,Bm])=[An,Bm]. Observe that P(E3)=0A≠E3. Hence, it follows from Theorem 2.5, that A is not a Banach algebra under the defined norm.
Several papers in the literature evidence how the behaviour of some linear mappings is closely connected to the structure of the Banach algebras (cf. [1,2,3] and [9,10]). In our main results (Theorems 2.3 and 2.5), we investigate the structure of prime Banach algebras equipped with a continuous projections. Nevertheless, there are various interesting open problems related to our work. In this final section, we will propose a direction for future further research. In view of [2] and Theorems 2.3 and 2.4, the following problems remain unanswered.
Problem 5.1. Let A be a real or complex prime Banach algebra and P:A⟶Z(A) be a nonzero continuous projection. Suppose that there is an open subset G of A such that P(an)−an∈Z(A) for each a∈G and an integer n>1. Then, what we can say about the structure of A and P?
Problem 5.2. Let A be a real or complex prime Banach algebra and P:A⟶Z(A) be a nonzero continuous projection. Suppose that there are open subsets G1,G2 of A such that P(an)−bn∈Z(A) for each (a,b)∈G and an integer n=n(a,b)>1. Then, what we can say about the structure of A and P?
Problem 5.3. Let A be a real or complex prime Banach algebra and P:A⟶Z(A) be a nonzero continuous projection. Suppose that there are open subsets G1, G2 of A such that P((ab)n)−anbn∈Z(A) for each a∈G1 and b∈G2 and an integer n=n(x,y)>1. Then, what we can say about the structure of A and P?
Problem 5.4. Let A be a commutative Banach algebra such that it admits a continuous projection P from A to Z(A) satisfying P(a)n=an for all a∈G, where G is a non-empty open subset of A. Then, what we can say about the structure of A and P?
In this paper, we discussed new criteria to study the commutativity of Banach algebras. Particularly, we described the commutativity of prime Banach algebras over the field of real and complex via its projections. In this direction, Yood [13,14] established the commutativity of Banach algebras using the polynomial identities. Similarly, taking this idea forward [2,3,10] were able to accomplished the commutativity of Banach algebras via derivations. It would be interesting to discuss the commutativity of Banach algebras involving more general functional identities via projections (see Open Problems 1–4).
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors are very thankful to the anonymous referees for their valuable comments and suggestions which have improved the manuscript immensely.
Moreover, the authors extend their appreciation to Princess Nourah Bint Abdulrahman University(PNU), Riyadh, Saudi Arabia for funding this research under Researchers Supporting Project Number(PNURSP2023R231).
The authors declare no conflict of interest.
[1] |
S. Nadeem, W. Fuzhang, F. M. Alharbi, F. Sajid, N. Abbas, A. S. El-Shafay, et al., Numerical computations for Buongiorno nano fluid model on the boundary layer flow of viscoelastic fluid towards a nonlinear stretching sheet, Alex. Eng. J., 61 (2022), 1769–1778. https://doi.org/10.1016/j.aej.2021.11.013 doi: 10.1016/j.aej.2021.11.013
![]() |
[2] |
M. Qayyum, S. Afzal, E. Ahmad, M. B. Riaz, Fractional modeling and analysis of unsteady squeezing flow of Casson nanofluid via extended He-Laplace algorithm in Liouville-Caputo sense, Alex. Eng. J., 73 (2023), 579–591. https://doi.org/10.1016/j.aej.2023.05.010 doi: 10.1016/j.aej.2023.05.010
![]() |
[3] |
A. E. Aboanber, A. A. Nahla, A. M. El-Mhlawy, O. Maher, An efficient exponential representation for solving the two-energy group point telegraph kinetics model, Ann. Nucl. Energy, 166 (2022), 108698. https://doi.org/10.1016/j.anucene.2021.108698 doi: 10.1016/j.anucene.2021.108698
![]() |
[4] |
C. Villa, A. Gerisch, M. A. J. Chaplain, A novel nonlocal partial differential equation model of endothelial progenitor cell cluster formation during the early stages of vasculogenesis, J. Theor. Biol., 534 (2022), 110963. https://doi.org/10.1016/j.jtbi.2021.110963 doi: 10.1016/j.jtbi.2021.110963
![]() |
[5] |
I. Ahmad, H. Ahmad, P. Thounthong, Y. Chu, C. Cesarano, Solution of multi-term time-fractional PDE models arising in mathematical biology and physics by local meshless method, Symmetry, 12 (2020), 1195. https://doi.org/10.1016/j.heliyon.2023.e16522 doi: 10.1016/j.heliyon.2023.e16522
![]() |
[6] |
O. D. Adeyemo, C. M. Khalique, Lie group classification of generalized variable coefficient Korteweg-de Vries equation with dual power-law nonlinearities with linear damping and dispersion in quantum field theory, Symmetry, 14 (2022), 83. https://doi.org/10.3390/sym14010083 doi: 10.3390/sym14010083
![]() |
[7] |
S. Afzal, M. Qayyum, M. B. Riaz, A. Wojciechowski, Modeling and simulation of blood flow under the influence of radioactive materials having slip with MHD and nonlinear mixed convection, Alex. Eng. J., 69 (2023), 9–24. https://doi.org/10.1016/j.aej.2023.01.013 doi: 10.1016/j.aej.2023.01.013
![]() |
[8] |
L. Guo, H. Wu, T. Zhou, Normalizing field flows: Solving forward and inverse stochastic differential equations using physics-informed flow models, J. Comput. Phys., 461 (2022), 111202. https://doi.org/10.1016/j.jcp.2022.111202 doi: 10.1016/j.jcp.2022.111202
![]() |
[9] |
S. P. Joseph, New traveling wave exact solutions to the coupled Klein-Gordon system of equations, PDE Appl. Math., 5 (2022), 100208. https://doi.org/10.1016/j.padiff.2021.100208 doi: 10.1016/j.padiff.2021.100208
![]() |
[10] |
M. Farman, A. Akgül, S. Askar, T. Botmart, A. Ahmad, H. Ahmad, Modeling and analysis of fractional order Zika model, AIMS Math., 7 (2022), 3912–3938. https://doi.org/10.3934/math.2022216 doi: 10.3934/math.2022216
![]() |
[11] | J. Liouville, Mémoire sur quelques questions de géométrie et de mécanique, et sur un nouveau genre de calcul pour résoudre ces questions, J. Éc. Polytech. Math., 1832. |
[12] | K. S. Miller, B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations, Hoboken: Wiley, 1993. |
[13] | B. Riemann, Versuch einer allgemeinen auffassung der integration und differentiation, Gesammelte Werke, 62 (1876), 1876. |
[14] | M. Caputo, Elasticita e Dissipazione, Bologna: Zanichelli, 1969. |
[15] | H. Ahmad, N. Alam, M. Omri, New computational results for a prototype of an excitable system, Results Phys., 28 (2021). https://doi.org/10.1016/j.rinp.2021.104666 |
[16] |
M. Qayyum, E. Ahmad, S. Afzal, T. Sajid, W. Jamshed, A. Musa, et al., Fractional analysis of unsteady squeezing flow of casson fluid via homotopy perturbation method, Sci. Rep., 12 (2022), 18406. https://doi.org/10.1038/s41598-022-23239-0 doi: 10.1038/s41598-022-23239-0
![]() |
[17] |
K. S. Nisar, K. Logeswari, V. Vijayaraj, H. M. Baskonus, C. Ravichandran, Fractional order modeling the gemini virus in capsicum annuum with optimal control, Fractal Fract., 6 (2022), 61. https://doi.org/10.3390/fractalfract6020061 doi: 10.3390/fractalfract6020061
![]() |
[18] |
A. Yusuf, S. Qureshi, U. T. Mustapha, S. S. Musa, T. A. Sulaiman, Fractional modeling for improving scholastic performance of students with optimal control, Int. J. Appl. Comput. Math., 8 (2022), 37. https://doi.org/10.1007/s40819-021-01177-1 doi: 10.1007/s40819-021-01177-1
![]() |
[19] |
H. Hassani, J. A. Tenreiro Machado, Z. Avazzadeh, E. Naraghirad, S. Mehrabi, Optimal solution of the fractional-order smoking model and its public health implications, Nonlinear Dynam., 108 (2022), 2815–2831. https://doi.org/10.1007/s11071-022-07343-4 doi: 10.1007/s11071-022-07343-4
![]() |
[20] |
M. Qayyum, E. Ahmad, S. T. Saeed, H. Ahmad, S. Askar, Homotopy perturbation method-based soliton solutions of the time-fractional (2+1)-dimensional wu-zhang system describing long dispersive gravity water waves in the ocean, Front. Phys., 11 (2023), 1178154. https://doi.org/10.3389/fphy.2023.1178154 doi: 10.3389/fphy.2023.1178154
![]() |
[21] |
C. Wang, X. Zhou, X. Shi, Y. Jin, Variable fractional order sliding mode control for seismic vibration suppression of uncertain building structure, J. Vib. Eng. Tech., 10 (2021), 299–312. https://doi.org/10.1007/s42417-021-00377-9 doi: 10.1007/s42417-021-00377-9
![]() |
[22] |
I. M. Batiha, S. A. Njadat, R. M. Batyha, A. Zraiqat, A. Dababneh, S. Momani, Design fractional-order PID controllers for single-joint robot arm model, Int. J. Adv. Soft Comput. Appl., 14 (2022), 97–114. https://doi.org/10.15849/ijasca.220720.07 doi: 10.15849/ijasca.220720.07
![]() |
[23] |
M. H. Derakhshan, Existence, uniqueness, Ulam-Hyers stability and numerical simulation of solutions for variable order fractional differential equations in fluid mechanics, J. Appl. Math. Comput., 68 (2021), 403–429. https://doi.org/10.1007/s12190-021-01537-6 doi: 10.1007/s12190-021-01537-6
![]() |
[24] |
A. Cardone, D. Conte, R. D'Ambrosio, B. Paternoster, Multivalue collocation methods for ordinary and fractional differential equations, Mathematics, 10 (2022), 185. https://doi.org/10.3390/math10020185 doi: 10.3390/math10020185
![]() |
[25] |
N. A. Shah, A. Wakif, E. R. El-Zahar, T. Thumma, S. J. Yook, Heat transfers thermodynamic activity of a second-grade ternary nanofluid flow over a vertical plate with Atangana-Baleanu time-fractional integral, Alex. Eng. J., 61 (2022), 10045–10053. https://doi.org/10.1016/j.aej.2022.03.048 doi: 10.1016/j.aej.2022.03.048
![]() |
[26] |
N. P. Dong, H. V. Long, N. L. Giang, The fuzzy fractional SIQR model of computer virus propagation in wireless sensor network using Caputo Atangana–Baleanu derivatives, Fuzzy Sets Syst., 429 (2022), 28–59. https://doi.org/10.1016/j.fss.2021.04.012 doi: 10.1016/j.fss.2021.04.012
![]() |
[27] |
A. Din, F. M. Khan, Z. U. Khan, A. Yusuf, T. Munir, The mathematical study of climate change model under nonlocal fractional derivative, PDE Appl. Math., 5 (2022), 100204. https://doi.org/10.1016/j.padiff.2021.100204 doi: 10.1016/j.padiff.2021.100204
![]() |
[28] |
Y. Gurefe, Y. Pandir, T. Akturk, Analysis of exact solutions of a mathematical model by new function method, Cumhuriyet Sci. J., 43 (2022), 703–707. https://doi.org/10.17776/csj.1083033 doi: 10.17776/csj.1083033
![]() |
[29] |
M. R. Ahamed Fahim, P. R. Kundu, M. E. Islam, M. A. Akbar, M. S. Osman, Wave profile analysis of a couple of (3+1)-dimensional nonlinear evolution equations by sine-Gordon expansion approach, J. Ocean Eng. Sci., 7 (2022), 272–279. https://doi.org/10.1016/j.joes.2021.08.009 doi: 10.1016/j.joes.2021.08.009
![]() |
[30] |
B. Ghanbari, Employing Hirota's bilinear form to find novel lump waves solutions to an important nonlinear model in fluid mechanics, Results Phys., 29 (2021), 104689. https://doi.org/10.1016/j.rinp.2021.104689 doi: 10.1016/j.rinp.2021.104689
![]() |
[31] | W. Razzaq, A. Zafar, H. M. Ahmed, W. B. Rabie, Construction solitons for fractional nonlinear Schrodinger equation with β-time derivative by the new sub-equation method, J. Ocean Eng. Sci., in press, 2022. https://doi.org/10.1016/j.joes.2022.06.013 |
[32] |
G. Akram, M. Sadaf, S. Arshed, F. Sameen, Bright, dark, kink, singular and periodic soliton solutions of Lakshmanan-Porsezian-Daniel model by generalized projective riccati equations method, Optik, 241 (2021), 167051. https://doi.org/10.1016/j.ijleo.2021.167051 doi: 10.1016/j.ijleo.2021.167051
![]() |
[33] |
S. Liao, Homotopy analysis method: A new analytical technique for nonlinear problems, Commun. Nonlinear Sci. Numer. Simul., 2 (1997), 95–100. https://doi.org/10.1016/s1007-5704(97)90047-2 doi: 10.1016/s1007-5704(97)90047-2
![]() |
[34] |
S. Afzal, M. Qayyum, G. Chambashi, Heat and mass transfer with entropy optimization in hybrid nanofluid using heat source and velocity slip: a hamilton–crosser approach, Sci. Rep., 13 (2023), 12392. https://doi.org/10.1038/s41598-023-39176-5 doi: 10.1038/s41598-023-39176-5
![]() |
[35] |
T. Hayat, K. Muhammad, S. Momani, Melting heat and viscous dissipation in flow of hybrid nanomaterial: a numerical study via finite difference method, J. Therm. Anal. Calorime., 147 (2021), 6393–6401. https://doi.org/10.1007/s10973-021-10944-7 doi: 10.1007/s10973-021-10944-7
![]() |
[36] |
H. Ahmad, M. N. Khan, I. Ahmad, M. Omri, M. F. Alotaibi, A meshless method for numerical solutions of linear and nonlinear time-fractional Black-Scholes models, AIMS Math., 8 (2023), 19677–19698. https://doi.org/10.3934/math.20231003 doi: 10.3934/math.20231003
![]() |
[37] |
J. H. He, Homotopy perturbation technique, Comput. Meth. Appl. Mech. Eng., 178 (1999), 257–262. https://doi.org/10.1016/s0045-7825(99)00018-3 doi: 10.1016/s0045-7825(99)00018-3
![]() |
[38] |
R. Amin, K. Shah, H. Ahmad, A. H. Ganie, A. Abdel-Aty, T. Botmart, Haar wavelet method for solution of variable order linear fractional integro-differential equations, AIMS Math., 7 (2022), 5431–5443. https://doi.org/10.3934/math.2022301 doi: 10.3934/math.2022301
![]() |
[39] |
G. Singh, I. Singh, New laplace variational iterative technique to solve twodimensional Schr¨odinger equation, Mater. Today Proc., 62 (2022), 3995–4000. https://doi.org/10.1016/j.matpr.2022.04.585 doi: 10.1016/j.matpr.2022.04.585
![]() |
[40] |
M. Croci, G. R. de Souza, Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations, J. Comput. Phys., 464 (2022), 111349. https://doi.org/10.1016/j.jcp.2022.111349 doi: 10.1016/j.jcp.2022.111349
![]() |
[41] |
M. Aslam, M. Farman, H. Ahmad, T. N. Gia, A. Ahmad, S. Askar, Fractal fractional derivative on chemistry kinetics hires problem, AIMS Math., 7 (2022), 1155–1184. https://doi.org/10.3934/math.2022068 doi: 10.3934/math.2022068
![]() |
[42] |
J. H. He, M. L. Jiao, K. A. Gepreel, Y. Khan, Homotopy perturbation method for strongly nonlinear oscillators, Math. Comput. Simul., 204 (2023), 243–258. https://doi.org/10.1016/j.matcom.2022.08.005 doi: 10.1016/j.matcom.2022.08.005
![]() |
[43] |
M. Qayyum, E. Ahmad, M. B. Riaz, J. Awrejcewicz, Improved soliton solutions of generalized fifth order time-fractional KdV models: Laplace transform with homotopy perturbation algorithm, Universe, 8 (2022), 563. https://doi.org/10.3390/universe8110563 doi: 10.3390/universe8110563
![]() |
[44] | Y. Pandir, T. A¨gir, Genisletilmis deneme denklemi yöntemi ile k¨ubik lineer olmayan Schrödinger denkleminin yeni tam ccöz¨umleri, Afyon Kocatepe Uni. J. Sci. Eng., 20 (2020), 582–588. |
[45] |
K. J. Wang, G. D. Wang, Variational theory and new abundant solutions to the (1+2)-dimensional chiral nonlinear Schrödinger equation in optics, Phys. Letters A, 412 (2021), 127588. https://doi.org/10.1016/j.physleta.2021.127588 doi: 10.1016/j.physleta.2021.127588
![]() |
[46] |
M. Al-Smadi, O. A. Arqub, S. Momani, Numerical computations of coupled fractional resonant Schrödinger equations arising in quantum mechanics under conformable fractional derivative sense, Phys. Scripta, 95 (2020), 075218. https://doi.org/10.1088/1402-4896/ab96e0 doi: 10.1088/1402-4896/ab96e0
![]() |
[47] |
S. F. Tian, X. F. Wang, T. T. Zhang, W. H. Qiu, Stability analysis, solitary wave and explicit power series solutions of a (2 + 1)-dimensional nonlinear Schrödinger equation in a multicomponent plasma, Int. J. Numer. Meth. Heat Fluid Flow, 31 (2021), 1732–1748. https://doi.org/10.1108/hff-08-2020-0517 doi: 10.1108/hff-08-2020-0517
![]() |
[48] |
D. F. Li, J. L. Wang, J. W. Zhang, Unconditionally convergent l1-galerkin FEMs for nonlinear time-fractional Schrödinger equations, SIAM J. Sci. Comput., 39 (2017), A3067–A3088. https://doi.org/10.1137/16m1105700 doi: 10.1137/16m1105700
![]() |
[49] |
W. Q. Yuan, C. J. Zhang, D. F. Li, Linearized fast time-stepping schemes for time–space fractional Schrödinger equations, Phys. D Nonlinear Phenomena, 454 (2023), 133865. https://doi.org/10.1016/j.physd.2023.133865 doi: 10.1016/j.physd.2023.133865
![]() |
[50] |
K. Hosseini, E. Hincal, S. Salahshour, M. Mirzazadeh, K. Dehingia, B. J. Nath, On the dynamics of soliton waves in a generalized nonlinear Schrödinger equation, Optik, 272 (2023), 170215. https://doi.org/10.1016/j.ijleo.2022.170215 doi: 10.1016/j.ijleo.2022.170215
![]() |
[51] |
N. A. Kudryashov, Method for finding optical solitons of generalized nonlinear Schrödinger equations, Optik, 261 (2022), 169163. https://doi.org/10.1016/j.ijleo.2022.169163 doi: 10.1016/j.ijleo.2022.169163
![]() |
[52] |
W. Q. Yuan, D. F. Li, C. J. Zhang, Linearized transformed l1 galerkin FEMs with unconditional convergence for nonlinear time fractional Schrödinger equations, Numer. Math. Theory Meth. Appl., 16 (2023), 348–369. https://doi.org/10.4208/nmtma.oa-2022-0087 doi: 10.4208/nmtma.oa-2022-0087
![]() |
[53] |
T. Y. Han, Z. Li, X. Zhang, Bifurcation and new exact traveling wave solutions to time-space coupled fractional nonlinear Schrödinger equation, Phys. Letters A, 395 (2021), 127217. https://doi.org/10.1016/j.physleta.2021.127217 doi: 10.1016/j.physleta.2021.127217
![]() |
[54] |
P. F. Dai, Q. B. Wu, An efficient block Gauss-Seidel iteration method for the space fractional coupled nonlinear Schrödinger equations, Appl. Math. Letters, 117 (2021), 107116. https://doi.org/10.1016/j.aml.2021.107116 doi: 10.1016/j.aml.2021.107116
![]() |
[55] |
K. S. Nisar, S. Ahmad, A. Ullah, K. Shah, H. Alrabaiah, M. Arfan, Mathematical analysis of SIRD model of COVID-19 with Caputo fractional derivative based on real data, Results Phys., 21 (2021), 103772. https://doi.org/10.1016/j.rinp.2020.103772 doi: 10.1016/j.rinp.2020.103772
![]() |
[56] |
T. Bakkyaraj, Lie symmetry analysis of system of nonlinear fractional partial differential equations with Caputo fractional derivative, Eur. Phys. J. Plus, 135 (2020), 126. https://doi.org/10.1140/epjp/s13360-020-00170-9 doi: 10.1140/epjp/s13360-020-00170-9
![]() |
[57] |
N. H. Tuan, H. Mohammadi, S. Rezapour, A mathematical model for COVID-19 transmission by using the Caputo fractional derivative, Chaos Solitons Fract., 140 (2020), 110107. https://doi.org/10.1016/j.chaos.2020.110107 doi: 10.1016/j.chaos.2020.110107
![]() |