The theory of hyperfunctions, created by the Japanese school of Mikio Sato, Masaki Kashiwara et al. is one of the many variants of the theory of generalized functions. Unlike the earlier theory of distributions of Schwarz et alt. it is not based on duals of some spaces of smooth functions but rather on boundary values of holomorphic functions. This allows usage of sheaf theory and includes Schwartz distributions as a special case. For example in Schwarz’s theory apart from measures one has functions with discrete support which are linear combinations of finite derivatives of delta functions. Here one can allow things like the exponential of a differential operator applied to a delta function. So in a sense one has distributions of infinite order.
Hyperfunctions are a very useful tool in the study of D-modules, holonomic systems of differential equations, and especially some aspects of symplectic geometry and harmonic analysis that are part of microlocal analysis, especially algebraic microlocalization.
This page is about hyperfunctions of one variable only, for the multiple variable case see hyperfunction of multiple variables?.
We define hyperfunctions and explain some basic properties.
The theory of hyperfunctions of one variable is considerably easier than the one for multiple variables, for this reason we will split the exposition to handle the one dimensional case first, and then generalize to multiple dimensions: hyperfunction of multiple variables?.
The exposition of the one dimensional theory will try to illuminate the following points:
A basic strategy of the exposition will therefore be to stress both similarities and differences of hyperfunctions and distributions (real analytic and smooth setting).
Hyperfunctions require less technical machinery, at least in one dimension, since they can be defined and studied with basic complex analysis only. That will nevertheless make it possible to give a rigorous definitions of otherwise only formal expressions that are often used by engineers and physicists, like .
Hyperfunctions and their microfunction?s both form flabby sheaves, which is the starting point of a study of singularities of hyperfunctions and the algebraic analysis of systems of differential equations.
Let be an open interval, a complex neighbourhood of is an open set such that . For open let be the sheaf of holomorphic functions on .
The set of hyperfunctions on for a complex neighbourhood of is defined to be the quotient
The set does not depend on the chosen complex neighbourhood , which is a consequence of Mittag-Leffler's theorem? in the one-dimensional case. The definition easily generalizes to open subsets of .
Let and , then a nontrivial hyperfunction can be described by two functions holomorphic on and holomorphic on such that there is no function holomorphic on that restricts to and . In this sense hyperfunctions are “differences” of holomorphic functions on a “boundary” (we did not specify an algebraic object that contains both and , so strictly speaking we cannot subtract them).
In the following we will often write for a hyperfunction , with being a representative of the equivalence class that is in on some complex neighbourhood. If the algebraic expression of and coincides we can further simplify the notation and simply write .
The distribution can be represented by . We can prove that this equality is simply a restatement of Cauchy’s integral formula after we define the concept of integration for a compactly supported hyperfunction below.
The Heaviside function has as a representation:
Here we use the main branch of the logarithm that is defined on the complex plane minus the negative real axis, then takes the value on the upper side of the positive real axis and on the lower side of the positive real axis, while being holomorphic on the negative real axis. This results in
and a singularity in .
Let be open.
The derivative of a hyperfunction is
We immediatly see that the derivative of a hyperfunction is again a hyperfunction and that all hyperfunctions are indefinitly differentiable.
As the derivative of the Heaviside function we obtain:
Note that we can derive this relationship without any resort to dualities of TVS.
(hyperfunctions are a module over analytic functions) Let be the algebra of real analytic functions on , then is a module over .
In fact every real analytic function is naturally an element of represented by or on a complex neighbourhood. Given any hyperfunction we can define the product by which can be shown to be independent of the various choices involved (representation of , complex neighbourhood of , domain of the extension of the domain of ).
(distributions are a subsheaf) There is a linear injection from the space of distributions to the space of hyperfunctions . The sheaf of germs of distributions is therefore a subsheaf of the sheaf of germs of hyperfunctions.
There is no product of hyperfunctions that reduces to the ordinary product for real analytic functions and respects the chain rule of differential calculus, just as in the case of distributions. Nevertheless certain hyperfunctions may be multiplied, more on that later.
First let us note that the naive definition of the product of two hyperfunctions via
is obviously not well defined on equivalence classes.
In general we cannot speak of the value of a hyperfunction at a certain point, much like we cannot speak of the value of a distribution at a certain point. We say that a hyperfunction vanishes on an open subset of if it coincides with the zero hyperfunction, which is of course equivalent to stating that there is a representation of such that the boundary values of and coincide on and therefore define a real analytic function on .
The support of a hyperfunction is the complement of the largest open subset of on which vanishes in the sense described above.
For any compact we will denote by all hyperfunctions whose support is contained in .
Since we defined hyperfunctions for open subsets only, we do not yet know anything about hyperfunctions with support in a compact subset , but the following theorem tells us that there is no difference:
(characterization of compactly supported hyperfunctions) Let be all hyperfunctions with support contained in compact and be any complex neighbourhood of . Then we have the following isomorphism:
Let with and suppose that is a hyperfunction that is analytical in and . Then we can choose a complex neighbourhood of , paths in and in from a to b and a representation of such that we can define the integral
independently of all the arbitrary choices we made, thanks to the holomorphy of the functions on the right side (and Cauchy’s integral formula for holomorphic functions, of course).
Using the definition of an integral of a hyperfunction above, we can easily prove
for all hyperfunctions that are analytic in and . Therefore we just made rigorous sense of the formula
for and the Heaviside function.
Warning: As of this moment this paragraph consists of some handwaving.
A well known structure theorem in the theory of distributions says that every distribution whose support consists of one single point is in fact a finite linear combination of distributional derivatives of the function at .
As an example of a hyperfunction that is not a distribution we therefore have with .
Using the representation of the distribution, we see that
Using this representation, for any real analytic test function we see that the following identity holds, which motivates the use of the as in distribution theory:
Comparing the Laurent series of with the representation of we get
with . Given the structure theorem about distributions cited above, we see that the hyperfunction cannot be a distribution. There is an analog structure theorem for hyperfunctions, however:
(structure of hyperfunctions supported at a single point) Let be a hyperfunction supported at the origin, then has a representation as
where the coefficients satisfy
We include a sketch of the proof of the first statement to illustrate the ease of the use of hyperfunctions.
Let be a hyperfunction supported at the origin, that means that is analytic in a complex neighbourhood of the origin (excluding the origin itself). Therefore has a representation by a Laurent series in a neighbourhood of the origin:
In the representation of we may remove the holomorphic part of the Laurent series. Now we may insert the representation of the hyperfunctions and get
The last sum is understood to converge in the topology of uniform convergence on compact subsets where the summands are holomorph.
We can introduce a canonical topology on the space of hyperfunctions with support in a compact and show that the topological dual is the space of germs of real analytical functions, that is the inductive limit of the spaces of holomorphic functions on a cofinal set of complex neighbourhoods of , and vice versa.
The algebraic statement is known as Köthe’s (duality) theorem.
This will also hint at the fact that we will not be able to introduce a topology on that resembles the situation in the theory of distributions, since its dual space would be something like “the space of compactly supported real analytic functions”.
One striking example of the use of hyperfunctions in the theory of differential equations with real analytic coefficients is this result due to Sato:
Let be open and be a linear, finite order differential operator with real analytic coefficients defined on :
(solvability of differential equations) For every there is a solution of the equation . Every such solution can be extended to an open set iff the coefficients and can be extended to .
Briefly: is surjective on hyperfunctions.
Two related results are:
is a sheaf endomorphismus, both of the sheaf of real analytic functions and of the sheaf of hyperfunctions.
does not enlarge the support of hyperfunctions.
Much information about a given hyperfunction is encoded in the kind of singularities that it has. A first step into the theory of singularities is the following definition:
The singular support sing supp() of a hyperfunction is the complement of the largest open set on which is real analytic.
This definition does not seem particularly useful, since it only pinpoints the singular locus of a hyperfunction, without explaining the differences between various singularities. One question of crucial importance to physics is for example “when can two distributions” be multiplied?
The singular support does not help much: The distribution cannot be squared, while the distribution defined by can. (The latter is a distribution defined as a Cauchy principal value). The singular support of both consists of the origin. But in a certain sense the singularity of the distribution is worse than that of . Going a step further requires the notion of wavefront sets in the smooth setting. Note that the definition of a wavefront set needs the concept of a cutoff function, that is a smooth function with compact support, which cannot be used in the real analytic setting.
A gentle introduction with examples is the booklet
K. Yosida, Operational calculus. A theory of hyperfunctions, Applied Mathematical Sciences, 55. Springer-Verlag, New York, 1984. x+170 pp.
M. Kashiwara, T. Kawai, T. Kimura, “Foundation of algebraic analysis” , Princeton Univ. Press (1986) ((translated from the Japanese))
Mitsuo Morimoto: An introduction to Sato’s hyperfunctions. (ZMATH entry)
A. Eida, S. Pilipović, On the microlocal decomposition of same classes of hyperfunctions, Math. Proc. Camb. Phil. Soc. 125, 455-461 (1999)
It is possible to use hyperfunctions as an introduction to generalized functions for physicists and engineers with a minimal background in complex analysis, see