pith. sign in

arxiv: 1505.03625 · v1 · pith:U75NFQSVnew · submitted 2015-05-14 · 🧮 math.GM

Derivative of Map of Banach algebra

classification 🧮 math.GM
keywords partialcircderivativegateauxotimesalgebrabanachorder
0
0 comments X
read the original abstract

Let $A$ be Banach algebra over commutative ring $D$. The map $f:A\rightarrow A\ $ is called differentiable in the Gateaux sense, if $$f(x+a)-f(x)=\partial f(x)\circ a+o(a)$$ where the Gateaux derivative $\partial f(x)$ of map $f$ is linear map of increment $a$ and $o$ is such continuous map that $$ \lim_{a\rightarrow 0}\frac{|o(a)|}{|a|}=0 $$ Assuming that we defined the Gateaux derivative $\partial^{n-1} f(x)$ of order $n-1$, we define $$ \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 $n$ of map $f$. Since the map $f(x)$ has all derivatives, then the map $f(x)$ has Taylor series expansion $$ f(x)=\sum_{n=0}^{\infty}(n!)^{-1}\partial^n f(x_0)\circ(x-x_0)^n $$

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.