# 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 the Japanese mathematician Mikio Sato in 1959.[1] This can be seen as an algebraic geometicazation of analysis.

## 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]

${\displaystyle {\mathcal {H}}^{n}(\mu _{M}({\mathcal {O}}_{X})\otimes {\mathcal {or}}_{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.