In mathematics, a Rota–Baxter algebra is an associative algebra, together with a particular linear map R {\displaystyle R} which satisfies the Rota–Baxter identity. It appeared first in the work of the American mathematician Glen E. Baxter in the realm of probability theory. Baxter's work was further explored from different angles by Gian-Carlo Rota, Pierre Cartier, and Frederic V. Atkinson, among others. Baxter’s derivation of this identity that later bore his name emanated from some of the fundamental results of the famous probabilist Frank Spitzer in random walk theory. In the 1980s, the Rota-Baxter operator of weight 0 in the context of Lie algebras was rediscovered as the operator form of the classical Yang–Baxter equation, named after the well-known physicists Chen-Ning Yang and Rodney Baxter. The study of Rota–Baxter algebras experienced a renaissance this century, beginning with several developments, in the algebraic approach to renormalization of perturbative quantum field theory, dendriform algebras, associative analogue of the classical Yang–Baxter equation and mixable shuffle product constructions.
Definition and first properties Let k {\displaystyle k} be a commutative ring and let λ {\displaystyle \lambda } be given. A linear operator R {\displaystyle R} on a k {\displaystyle k} -algebra A {\displaystyle A} is called a Rota–Baxter operator of weight λ {\displaystyle \lambda } if it satisfies the Rota–Baxter relation of weight λ {\displaystyle \lambda } :
R ( x ) R ( y ) = R ( R ( x ) y ) + R ( x R ( y ) ) + λ R ( x y ) {\displaystyle R(x)R(y)=R(R(x)y)+R(xR(y))+\lambda R(xy)}
for all x , y ∈ A {\displaystyle x,y\in A} . Then the pair ( A , R ) {\displaystyle (A,R)} or simply A {\displaystyle A} is called a Rota–Baxter algebra of weight λ {\displaystyle \lambda } . In some literature, θ = − λ {\displaystyle \theta =-\lambda } is used in which case the above equation becomes
R ( x ) R ( y ) + θ R ( x y ) = R ( R ( x ) y ) + R ( x R ( y ) ) , {\displaystyle R(x)R(y)+\theta R(xy)=R(R(x)y)+R(xR(y)),}
called the Rota-Baxter equation of weight θ {\displaystyle \theta } . The terms Baxter operator algebra and Baxter algebra are also used. Let R {\displaystyle R} be a Rota–Baxter of weight λ {\displaystyle \lambda } . Then − λ I d − R {\displaystyle -\lambda Id-R} is also a Rota–Baxter operator of weight λ {\displaystyle \lambda } . Further, for μ {\displaystyle \mu } in k {\displaystyle k} , μ R {\displaystyle \mu R} is a Rota-Baxter operator of weight μ λ {\displaystyle \mu \lambda } .
Examples Integration by parts Integration by parts is an example of a Rota–Baxter algebra of weight 0. Let C ( R ) {\displaystyle C(\mathbb {R} )} be the algebra of continuous functions on the set of reals R {\displaystyle \mathbb {R} } . Define the linear map I : C ( R ) → C ( R ) {\displaystyle I\colon C(\mathbb {R} )\to C(\mathbb {R} )} via integration:
I ( f ) ( x ) = ∫ 0 x f ( t ) d t . {\displaystyle I(f)(x)=\int _{0}^{x}f(t)dt.}
for a continuous function f ∈ C ( R ) {\displaystyle f\in C(\mathbb {R} )} and x ∈ R {\displaystyle x\in \mathbb {R} } . For f , g ∈ C ( R ) {\displaystyle f,g\in C(\mathbb {R} )} , let G = I ( g ) {\displaystyle G=I(g)} and F = I ( f ) {\displaystyle F=I(f)} . Then the formula for integration by parts can be written as
… excerpt ends here. Continue reading the full article.
