Algebraic analysis

From Wikipedia, the free encyclopedia
(Redirected from Microfunction)
Jump to navigation Jump to search

Algebraic analysis is an area of mathematics that deals with systems of linear partial differential equations by using sheaf theory and complex analysis to study properties and generalizations of functions such as hyperfunctions and microfunctions. Semantically, algebraic analysis is the application of algebraic operations on analytic quantities. As a research programme, it was started by the Japanese mathematician Mikio Sato in 1959.[1] 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.[citation needed] It[clarification needed] derives its meaning from the fact that the differential operator is right-invertible in several function spaces.

It[clarification needed] helps in the simplification of the proofs[which?] due to an algebraic description of the problem considered.

Microfunction

[edit | edit source]

Let M be a real-analytic manifold of dimension n, and let X be its complexification. The sheaf of microlocal functions on M is given as[2]

n(μM(𝒪X)𝓇M/X)

where

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 functions on X to M.

See also

[edit | edit source]

Citations

[edit | edit source]
  1. ^ Kashiwara & Kawai 2011, pp. 11–17.
  2. ^ Kashiwara & Schapira 1990, Definition 11.5.1.

Sources

[edit | edit source]
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Further reading

[edit | edit source]

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).