Algebraic analysis

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. As a research programme, it was started by Mikio Sato in 1959.[1]

Microfunction

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]

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

gollark: Yes. However, having a language which actually ALLOWS YOU TO WRITE THAT as a generalized thing would be better without compromising elegance with weird special cases like Go also does.
gollark: Parallel iterators would make that code clearer, actually simpler (not Go-"simpler") and less error-prone.
gollark: I don't think the way Go encourages you to write code is very good.
gollark: I had a bug because I didn't put in the `src := source` line and something something closure. I probably could have accidentally messed up the waitgroup.
gollark: Or, well, is moderately complex but can be abstracted.

See also

References

  1. Kashiwara, Masaki; Kawai, Takahiro (2011). "Professor Mikio Sato and Microlocal Analysis". Publications of the Research Institute for Mathematical Sciences. 47 (1): 11–17. doi:10.2977/PRIMS/29 via EMS-PH.
  2. Kashiwara–Schapira, Definition 11.5.1.
  • Kashiwara, Masaki; Schapira, Pierre (1990). Sheaves on Manifolds. Berlin: Springer-Verlag. ISBN 3-540-51861-4.

Further reading

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.