Algebraic analysis is an area of
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
that deals with systems of
linear partial differential equations by using
sheaf theory
In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the d ...
and
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
to study properties and generalizations of
functions such as
hyperfunctions and microfunctions. Semantically, it is the application of algebraic operations on analytic quantities. As a research programme, it was started by the Japanese mathematician
Mikio Sato in 1959. This can be seen as an algebraic geometrization of analysis. According to Schapira, parts of Sato's work can be regarded as a manifestation of Grothendieck's style of mathematics within the realm of classical analysis. It derives its meaning from the fact that the differential operator is right-invertible in several function spaces.
It helps in the simplification of the proofs due to an algebraic description of the problem considered.
Microfunction
Let ''M'' be a
real-
analytic manifold In mathematics, an analytic manifold, also known as a C^\omega manifold, is a differentiable manifold with analytic transition maps. The term usually refers to real analytic manifolds, although complex manifolds are also analytic. In algebraic geo ...
of
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
''n'', and let ''X'' be its complexification. The sheaf of microlocal functions on ''M'' is given as
:
where
*
denotes the
microlocalization functor,
*
is the
relative orientation sheaf.
A microfunction can be used to define a Sato's
hyperfunction. By definition, the sheaf of
Sato's hyperfunctions on ''M'' is the restriction of the sheaf of microfunctions to ''M'', in parallel to the fact the sheaf of
real-analytic functions on ''M'' is the restriction of the sheaf of
holomorphic function
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex de ...
s on ''X'' to ''M''.
See also
*
Hyperfunction
*
D-module
*
Microlocal analysis
*
Generalized function
*
Edge-of-the-wedge theorem
*
FBI transform
*
Localization of a ring
Localization or localisation may refer to:
Biology
* Localization of function, locating psychological functions in the brain or nervous system; see Linguistic intelligence
* Localization of sensation, ability to tell what part of the body is aff ...
*
Vanishing cycle
*
Gauss–Manin connection
*
Differential algebra
*
Perverse sheaf
*
Mikio Sato
*
Masaki Kashiwara
*
Lars Hörmander
Citations
Sources
*
*
Further reading
Masaki Kashiwara and Algebraic Analysis
Foundations of algebraic analysis book review
Complex analysis
Fourier analysis
Generalized functions
Partial differential equations
Sheaf theory
{{mathanalysis-stub