Abstract:In the paper I considered definition and structure of linear mapping of Banach algebra over commutative ring. Based on this definition I explore derivative of continuous mapping.
What problem does this paper attempt to address?
This paper mainly discusses the problems of Gâteaux derivatives and integrals defined on Banach algebras. Specifically, the author attempts to solve the following core problems:
1. **Definition and Properties of Linear Mappings**: The paper first discusses the definition and properties of linear mappings on algebras. In particular, in algebras over commutative rings, how to define and understand these linear mappings. This part of the content lays the foundation for more complex concepts that follow.
2. **Definition of Gâteaux Derivatives**: The author introduces the concept of Gâteaux derivatives, which is a kind of weak derivative defined in algebras. For a mapping \( f: A \to A \), if there exists a linear mapping \( \partial f(x) \) such that:
\[
f(x + a) - f(x) = \partial f(x) \circ a + o(a)
\]
where \( o(a) \) is a continuous mapping satisfying:
\[
\lim_{a \to 0} \frac{|o(a)|}{|a|} = 0
\]
then \( \partial f(x) \) is called the Gâteaux derivative of \( f \) at the point \( x \).
3. **Higher - order Gâteaux Derivatives**: The paper further explores the definition of higher - order Gâteaux derivatives. Suppose the \( n - 1 \) - order Gâteaux derivative \( \partial^{n - 1}f(x) \) has been defined, then the \( n \) - order Gâteaux derivative \( \partial^n f(x) \) is defined as:
\[
\partial^n f(x) \circ (a_1 \otimes \ldots \otimes a_n) = \partial (\partial^{n - 1}f(x) \circ (a_1 \otimes \ldots \otimes a_{n - 1})) \circ a_n
\]
4. **Taylor Series Expansion**: The author studies the Taylor series expansion of the function \( f(x) \), in the form of:
\[
f(x) = \sum_{n = 0}^{\infty} \frac{1}{n!} \partial^n f(x_0) \circ (x - x_0)^n
\]
5. **Solutions of Differential Equations**: The paper also explores the solutions of certain specific differential equations. For example, consider the differential equation:
\[
\partial (y) \circ h = hx^2 + xhx + x^2h
\]
with the initial condition \( y(0) = 0 \), and its solution is \( y = x^3 \).
6. **Properties of the Exponential Function**: The paper discusses the properties of the exponential function \( e^x \), in particular its Taylor series expansion:
\[
e^x = \sum_{n = 0}^{\infty} \frac{1}{n!} x^n
\]
7. **Derivatives in Non - commutative Algebras**: Finally, the author discusses the special properties of derivatives in non - commutative algebras, for example:
\[
e^{a + b} = e^a e^b \quad \text{if and only if} \quad ab = ba
\]
In general, this paper aims to explore the differential and integral theories of functions in Banach algebras by introducing the concepts of Gâteaux derivatives and integrals, as well as the applications of these theories in solving specific differential equations and studying function properties.