Namespaces
Variants
Actions

Difference between revisions of "Algebraic analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
a1104901.png
 +
$#A+1 = 39 n = 1
 +
$#C+1 = 39 : ~/encyclopedia/old_files/data/A110/A.1100490 Algebraic analysis
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A phrase initially used by J.P. Lagrange in 1797 in the title of his book [[#References|[a1]]] to indicate that most of the results have been obtained by algebraic operations on analytic quantities. In that general and common sense, this name, adopted also by A.L. Cauchy, was used in the 19th century and in the 20th century (cf. [[#References|[a2]]], [[#References|[a3]]], [[#References|[a5]]]; see also [[Microlocal analysis|Microlocal analysis]]).
 
A phrase initially used by J.P. Lagrange in 1797 in the title of his book [[#References|[a1]]] to indicate that most of the results have been obtained by algebraic operations on analytic quantities. In that general and common sense, this name, adopted also by A.L. Cauchy, was used in the 19th century and in the 20th century (cf. [[#References|[a2]]], [[#References|[a3]]], [[#References|[a5]]]; see also [[Microlocal analysis|Microlocal analysis]]).
  
The main idea of algebraic analysis in its present (1996), more strict, sense derives from the fact that the [[Differential operator|differential operator]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104901.png" /> is right-invertible in several function spaces.
+
The main idea of algebraic analysis in its present (1996), more strict, sense derives from the fact that the [[Differential operator|differential operator]] $  D = {d / {dt } } $
 +
is right-invertible in several function spaces.
  
The foundations of algebraic analysis are as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104903.png" /> be the set of all linear operators (cf. [[Linear operator|Linear operator]]) with domains and ranges in a [[Linear space|linear space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104904.png" /> (in general, without any topology) over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104905.png" /> of scalars of characteristic zero and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104906.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104907.png" /> be the set of all right-invertible operators in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104908.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a1104909.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049010.png" /> be the set of all right inverses for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049011.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049012.png" /> (the identity operator) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049013.png" />. Moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049014.png" />. For all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049017.png" />, i.e. the difference of two primitives is a constant. Let
+
The foundations of algebraic analysis are as follows. Let $  L ( X ) $
 +
be the set of all linear operators (cf. [[Linear operator|Linear operator]]) with domains and ranges in a [[Linear space|linear space]] $  X $(
 +
in general, without any topology) over a field $  \mathbf F $
 +
of scalars of characteristic zero and let $  L _ {0} ( X ) = \{ {A \in L ( X ) } : { { \mathop{\rm dom} } A = X } \} $.  
 +
Let $  R ( X ) $
 +
be the set of all right-invertible operators in $  L ( X ) $
 +
and let $  D \in R ( X ) $.  
 +
Let $  {\mathcal R} _ {D} \subset  L _ {0} ( X ) $
 +
be the set of all right inverses for $  D $,  
 +
i.e. $  DR = I $(
 +
the identity operator) if $  R \in {\mathcal R} _ {D} $.  
 +
Moreover, $  { \mathop{\rm dom} } D = RX \oplus { \mathop{\rm ker} } D $.  
 +
For all $  R,R  ^  \prime  \in {\mathcal R} _ {D} $,  
 +
$  x \in X $,  
 +
$  Rx - R  ^  \prime  x \in { \mathop{\rm ker} } D $,  
 +
i.e. the difference of two primitives is a constant. Let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049018.png" /></td> </tr></table>
+
$$
 +
{\mathcal F} _ {D} = \{ {F \in L _ {0} ( X ) } :  
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049019.png" /></td> </tr></table>
+
$$
 +
\
 +
{} { F  ^ {2} = F,  FX = { \mathop{\rm ker} } D  \textrm{ and  }  \exists R \in {\mathcal R} _ {D} FR = 0 } \} .
 +
$$
  
Any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049020.png" /> is said to be an initial operator for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049021.png" /> (corresponding to an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049022.png" />). One can prove that any projection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049023.png" /> onto <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049024.png" /> is an initial operator for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049025.png" /> corresponding to a right inverse <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049026.png" /> independent of the choice of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049027.png" />. If two right inverses (respectively, initial operators) commute, then they are equal. Thus this theory is essentially non-commutative. An operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049028.png" /> is initial for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049029.png" /> if and only if there is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049030.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049031.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049032.png" />. The last formula yields (by a two-line induction) a [[Taylor formula|Taylor formula]]:
+
Any $  F \in {\mathcal F} _ {D} $
 +
is said to be an initial operator for $  D $(
 +
corresponding to an $  R $).  
 +
One can prove that any projection $  F  ^  \prime  $
 +
onto $  { \mathop{\rm ker} } D $
 +
is an initial operator for $  D $
 +
corresponding to a right inverse $  R = R - F = R $
 +
independent of the choice of an $  R \in {\mathcal R} _ {D} $.  
 +
If two right inverses (respectively, initial operators) commute, then they are equal. Thus this theory is essentially non-commutative. An operator $  F $
 +
is initial for $  D $
 +
if and only if there is an $  R \in {\mathcal R} _ {D} $
 +
such that $  F = I - RD $
 +
on $  { \mathop{\rm dom} } D $.  
 +
The last formula yields (by a two-line induction) a [[Taylor formula|Taylor formula]]:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049033.png" /></td> </tr></table>
+
$$
 +
I = \sum _ {k = 0 } ^ { n }  R  ^ {n} FD  ^ {n} + R  ^ {n} D  ^ {n}  \textrm{ on  }  { \mathop{\rm dom} } D  ^ {n}  ( n \in \mathbf N ) .
 +
$$
  
From these facts one can obtain a [[Calculus|calculus]] and solutions to linear equations (under appropriate assumptions on solving equations). If the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049034.png" /> is algebraically closed (cf. [[Algebraically closed field|Algebraically closed field]]), then solutions of linear equations with scalar coefficients can be calculated by a decomposition of a rational function into vulgar fractions (similarly as in [[Operational calculus|operational calculus]]). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049035.png" /> is a [[Commutative algebra|commutative algebra]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049036.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049037.png" /> satisfies the Leibniz condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049038.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049039.png" />, then the trigonometric identity holds. Some results can be proved also for left-invertible operators, even for operators having either finite nullity or finite deficiency. There is a rich theory of shifts and periodic problems. Recently, logarithms and anti-logarithms have been introduced and studied (even in non-commutative algebras). This means that algebraic analysis is no longer purely linear.
+
From these facts one can obtain a [[Calculus|calculus]] and solutions to linear equations (under appropriate assumptions on solving equations). If the field $  \mathbf F $
 +
is algebraically closed (cf. [[Algebraically closed field|Algebraically closed field]]), then solutions of linear equations with scalar coefficients can be calculated by a decomposition of a rational function into vulgar fractions (similarly as in [[Operational calculus|operational calculus]]). If $  X $
 +
is a [[Commutative algebra|commutative algebra]], $  \mathbf F = \mathbf C $
 +
and $  D $
 +
satisfies the Leibniz condition $  D ( xy ) = xDy + yDx $
 +
for $  x,y \in { \mathop{\rm dom} } D $,  
 +
then the trigonometric identity holds. Some results can be proved also for left-invertible operators, even for operators having either finite nullity or finite deficiency. There is a rich theory of shifts and periodic problems. Recently, logarithms and anti-logarithms have been introduced and studied (even in non-commutative algebras). This means that algebraic analysis is no longer purely linear.
  
 
The main advantages of algebraic analysis are:
 
The main advantages of algebraic analysis are:
Line 21: Line 75:
 
algorithms for solving  "similar"  problems, although these similarities could be rather far each from another and very formal;
 
algorithms for solving  "similar"  problems, although these similarities could be rather far each from another and very formal;
  
several new results even for the classical operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a110/a110490/a11049040.png" /> (which is, indeed, unexpected).
+
several new results even for the classical operator $  {d / {dt } } $(
 +
which is, indeed, unexpected).
  
 
There are several applications to ordinary and partial differential equations with scalar and variable coefficients, functional-differential equations and for discrete analogues of these equations, for instance, for difference equations. There are also some results for non-linear equations.
 
There are several applications to ordinary and partial differential equations with scalar and variable coefficients, functional-differential equations and for discrete analogues of these equations, for instance, for difference equations. There are also some results for non-linear equations.

Revision as of 16:09, 1 April 2020


A phrase initially used by J.P. Lagrange in 1797 in the title of his book [a1] to indicate that most of the results have been obtained by algebraic operations on analytic quantities. In that general and common sense, this name, adopted also by A.L. Cauchy, was used in the 19th century and in the 20th century (cf. [a2], [a3], [a5]; see also Microlocal analysis).

The main idea of algebraic analysis in its present (1996), more strict, sense derives from the fact that the differential operator $ D = {d / {dt } } $ is right-invertible in several function spaces.

The foundations of algebraic analysis are as follows. Let $ L ( X ) $ be the set of all linear operators (cf. Linear operator) with domains and ranges in a linear space $ X $( in general, without any topology) over a field $ \mathbf F $ of scalars of characteristic zero and let $ L _ {0} ( X ) = \{ {A \in L ( X ) } : { { \mathop{\rm dom} } A = X } \} $. Let $ R ( X ) $ be the set of all right-invertible operators in $ L ( X ) $ and let $ D \in R ( X ) $. Let $ {\mathcal R} _ {D} \subset L _ {0} ( X ) $ be the set of all right inverses for $ D $, i.e. $ DR = I $( the identity operator) if $ R \in {\mathcal R} _ {D} $. Moreover, $ { \mathop{\rm dom} } D = RX \oplus { \mathop{\rm ker} } D $. For all $ R,R ^ \prime \in {\mathcal R} _ {D} $, $ x \in X $, $ Rx - R ^ \prime x \in { \mathop{\rm ker} } D $, i.e. the difference of two primitives is a constant. Let

$$ {\mathcal F} _ {D} = \{ {F \in L _ {0} ( X ) } : $$

$$ \ {} { F ^ {2} = F, FX = { \mathop{\rm ker} } D \textrm{ and } \exists R \in {\mathcal R} _ {D} FR = 0 } \} . $$

Any $ F \in {\mathcal F} _ {D} $ is said to be an initial operator for $ D $( corresponding to an $ R $). One can prove that any projection $ F ^ \prime $ onto $ { \mathop{\rm ker} } D $ is an initial operator for $ D $ corresponding to a right inverse $ R = R - F = R $ independent of the choice of an $ R \in {\mathcal R} _ {D} $. If two right inverses (respectively, initial operators) commute, then they are equal. Thus this theory is essentially non-commutative. An operator $ F $ is initial for $ D $ if and only if there is an $ R \in {\mathcal R} _ {D} $ such that $ F = I - RD $ on $ { \mathop{\rm dom} } D $. The last formula yields (by a two-line induction) a Taylor formula:

$$ I = \sum _ {k = 0 } ^ { n } R ^ {n} FD ^ {n} + R ^ {n} D ^ {n} \textrm{ on } { \mathop{\rm dom} } D ^ {n} ( n \in \mathbf N ) . $$

From these facts one can obtain a calculus and solutions to linear equations (under appropriate assumptions on solving equations). If the field $ \mathbf F $ is algebraically closed (cf. Algebraically closed field), then solutions of linear equations with scalar coefficients can be calculated by a decomposition of a rational function into vulgar fractions (similarly as in operational calculus). If $ X $ is a commutative algebra, $ \mathbf F = \mathbf C $ and $ D $ satisfies the Leibniz condition $ D ( xy ) = xDy + yDx $ for $ x,y \in { \mathop{\rm dom} } D $, then the trigonometric identity holds. Some results can be proved also for left-invertible operators, even for operators having either finite nullity or finite deficiency. There is a rich theory of shifts and periodic problems. Recently, logarithms and anti-logarithms have been introduced and studied (even in non-commutative algebras). This means that algebraic analysis is no longer purely linear.

The main advantages of algebraic analysis are:

simplifications of proofs due to an algebraic description of the problems under consideration;

algorithms for solving "similar" problems, although these similarities could be rather far each from another and very formal;

several new results even for the classical operator $ {d / {dt } } $( which is, indeed, unexpected).

There are several applications to ordinary and partial differential equations with scalar and variable coefficients, functional-differential equations and for discrete analogues of these equations, for instance, for difference equations. There are also some results for non-linear equations.

It should be pointed out that in algebraic analysis a notion of convolution of functions is not necessary. Also, there is no need to have a field structure. This, together with the non-commutativity of right inverses and initial operators, shows the essential distinction between algebraic analysis and operational calculus.

References

[a1] J.P. Lagrange, "Théorie des fonctions analytiques contenant les principes du calcul différentiel, dégagés de toute considération d'infiniment petits, d'évanouissans de limites et de fluxions, et réduit à l'analyse algébriques de quantités finies" , Imprimeur-Librairie pour les Mathématiques, Paris (1813) (First edition published in 1797)
[a2] C.G. Fraser, "The calculus as algebraic analysis: some observations on mathematical analysis in the 18 century" Arch. Hist. Exact Sci. , 39 (1989) pp. 317–335
[a3] H.N. Jahnke, "Algebraic analysis in Germany, 1780-1840: some mathematical and philosophical issues" Historia Math. , 20 : 3 (1993) pp. 265–284
[a4] D. Przeworska-Rolewicz, "Algebraic analysis" , PWN & Reidel (1988)
[a5] D. Przeworska-Rolewicz, "Short story of the term "Algebraic Analysis" " , Proc. Intern. Conf. Different Aspects of Differentiability II, Warszawa, September 1995 , Integral Transforms and Special Functions , 4 (1996) (Preprint Inst. Mat. Polish Acad. Sci. No. 565, Jan. 1997 (second ed., revised and complemented))
How to Cite This Entry:
Algebraic analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_analysis&oldid=45058
This article was adapted from an original article by D. Przeworska-Rolewicz (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article