English

Derivative of Map of Banach algebra

General Mathematics 2015-05-15 v1

Abstract

Let AA be Banach algebra over commutative ring DD. The map f:AA f:A\rightarrow A\ is called differentiable in the Gateaux sense, if f(x+a)f(x)=f(x)a+o(a)f(x+a)-f(x)=\partial f(x)\circ a+o(a) where the Gateaux derivative f(x)\partial f(x) of map ff is linear map of increment aa and oo is such continuous map that lima0o(a)a=0 \lim_{a\rightarrow 0}\frac{|o(a)|}{|a|}=0 Assuming that we defined the Gateaux derivative n1f(x)\partial^{n-1} f(x) of order n1n-1, we define nf(x)(a1...an)=(n1f(x)(a1...an1))an \partial^n f(x)\circ(a_1\otimes...\otimes a_n) =\partial(\partial^{n-1} f(x)\circ(a_1\otimes...\otimes a_{n-1}))\circ a_n the Gateaux derivative of order nn of map ff. Since the map f(x)f(x) has all derivatives, then the map f(x)f(x) has Taylor series expansion f(x)=n=0(n!)1nf(x0)(xx0)n f(x)=\sum_{n=0}^{\infty}(n!)^{-1}\partial^n f(x_0)\circ(x-x_0)^n

Keywords

Cite

@article{arxiv.1505.03625,
  title  = {Derivative of Map of Banach algebra},
  author = {Aleks Kleyn},
  journal= {arXiv preprint arXiv:1505.03625},
  year   = {2015}
}

Comments

English text - 27 pages; Russian text - 27 pages