Hyperfunction
A hyperfunction is a kind of generalized function, and the class of hyperfunctions is characterized as the largest class of localizable generalized functions. According to the three general recipes for constructing generalized functions, hyperfunctions are obtained 1) as ideal limits or boundary values on the real axis of holomorphic functions; 2) as locally finite sums of continuous linear functionals on real-analytic functions; or 3) as formal derivatives of continuous functions by infinite-order differential operators of local type. The theory of hyperfunctions has a prehistory starting with G. Köthe, A. Grothendieck, etc., and also in some physical literature. But the localization together with the accurate setting in the case of several variables was given by M. Sato, who employed cohomology theory.
A hyperfunction of one variable on an open set
is a formal expression of the form
, where
is a function holomorphic on the upper, respectively lower, half-neighbourhood
, for a complex neighbourhood
satisfying
. The expression
is identified with 0 if and only if
agrees on
as a holomorphic function (or, equivalently, as a continuous function, by the Painlevé theorem). If the limits exist in distribution sense, the formula gives the natural imbedding of the space of distributions into that of hyperfunctions. The precise definition of the space
of hyperfunctions on
is:
. (Actually the limit is superfluous.) For
, let
denote the hyperfunction
on
defined by
. In turn,
is called a defining function of
. Examples of typical generalized functions interpreted as hyperfunctions are:
![]() |
(Dirac's delta-function);
![]() |
![]() |
(Heaviside's function);
![]() |
(Cauchy's principal value);
![]() |
(Hadamard's finite part);
![]() |
![]() |
Hyperfunctions of several variables. In the sequel a cone means an open convex cone with vertex at the origin. For two cones
, the notation
means that
is relatively compact in
. A wedge means an open subset of
of the form
, where
is a real open set and
is a cone.
is called the edge of the wedge and
the opening. An infinitesimal wedge (
-wedge) or a tuboid of opening
and edge
(or simply of type
) is a complex open set
such that
and such that for any
the set
contains the part of
contained in some complex neighbourhood of the edge
. The symbol
denotes any one such open set, and
denotes the totality of functions holomorphic on some of them (i.e.
, the limit being taken with respect to all the
-wedges
of type
).
A hyperfunction on an open set
is an equivalence class (in the obvious sense) of formal expressions of the form
![]() |
where .
is called a set of defining functions of
. The totality of hyperfunctions on
is denoted by
. It becomes a
-linear space by the
-linear structure of the defining functions. Linear differential operators with real-analytic coefficients act in the same way via the defining functions. The above boundary value representation corresponds to the case of one variable when
,
.
Hyperfunctions are localizable, i.e. the correspondence satisfies the axioms for a sheaf. It is a flabby sheaf, i.e. any section extends to the whole space. The sheaf of hyperfunctions is defined via the derived sheaf as
, where
is the orientation sheaf of
. Actually
holds, the cohomologies in the other degrees being trivial. By choosing a Stein neighbourhood
, one can represent the relative cohomology by a covering: If
,
,
, then the pair
,
constitutes a relative Stein covering of the pair
, hence by Leray's theorem,
![]() |
![]() |
![]() |
where ,
. In case
this reduces to
. Another representation is given by choosing a set of vectors
such that the half-spaces
defined by them satisfy
, and putting
,
. The
-cocycles are of the form
![]() |
where , and
is given as the quotient space of these by the
-coboundary space. (The symbol
implies that the factor below it is omitted.)
The set is identified with the cohomology group
by extending the following correspondences:
![]() |
where denotes the
-th orthant
and
; or by
![]() |
![]() |
where .
Several practical criteria to determine whether a hyperfunction is zero are collectively known as the edge-of-the-wedge theorem: A hyperfunction with single term is zero if and only if
itself is zero (injectivity of the boundary value operation).
if and only if they stick together to a function in
(an Epstein-type theorem). In case
the result becomes real analytic (a Bogolyubov-type theorem).
if and only if there exist
,
, such that
and
in
,
(a Martineau-type theorem). These are manifestations of the fact that the cohomology classes vanish by covering representations.
A real-analytic function on
is naturally included in
by identifying it with the expression
, for any
. They form a subsheaf. Thus, for a hyperfunction
on
the notion of the singular support of
, denoted by
, is well defined: It is the complement in
of the largest open subset
in which
is real analytic. If
for a closed subset
, then one can choose a boundary value representation such that each
can be continued analytically to
. The edge-of-the-wedge theorem supplies also criteria for determining whether or not a hyperfunction is real analytic in an open (sub)set
.
The definite integral of an
over a bounded domain
is well-defined if
. Indeed, let
be a boundary value representation such that each
may be extended to a neighbourhood of
, or, more generally, to a
-wedge with edge
and with an opening whose projection to the
-space is the whole space. Then
![]() |
where is a suitable deformation of
fixing
and
is the projection of
on the
-plane. This integration commutes with differentiation or integration with respect to the remaining variable
. Cf. Microlocal analysis for further operations.
The totality of hyperfunctions with support in a fixed compact set
becomes a nuclear Fréchet space (cf. also Nuclear space). It is the strong dual of the nuclear (DF)-space
of real-analytic functions defined on
and endowed with the inductive limit topology of
's for
. Namely, hyperfunctions with compact supports are analytic functionals with carrier in the real axis. The duality is given by the definite integral
for
and
. Analytic functionals can be employed to reconstruct the space or the sheaf of hyperfunctions: a)
is "the totality of locally finite sums of analytic functionals with carrier in W" , where rearrangement by decomposition of supports is admitted as an equivalence relation (Martineau's definition); or b) for a bounded
, one has
(Schapira's definition).
The sheaf of Fourier hyperfunctions is defined on the directional compactification
of
, employing instead of
the sheaf
of holomorphic functions of infra-exponential growth, i.e. of growth
for all
. Fourier hyperfunctions on
admit a Fourier transform of Bochner–Carleman type, via decomposition by support or growth order into proper convex cones. They form a nuclear Fréchet space, dual to the nuclear (DF)-space
of functions holomorphic and exponentially decreasing on a strip neighbourhood of the real axis. The latter is invariant under the classical Fourier transform and the Parseval equality holds with this duality.
A real-analytic coordinate transformation of hyperfunctions is defined naturally via transformation of defining functions. Hence hyperfunctions can be defined on real-analytic manifolds. Fourier series are typical examples of hyperfunctions on a manifold: converges as a hyperfunction if and only if
for all
. Resolution by differential forms with hyperfunction coefficients supplies a concrete flabby resolution of the sheaf
or
, and serves to calculate relative cohomology groups.
References
[a1] | M. Sato, "Theory of hyperfunctions" SÛgaku , 10 (1958) pp. 1–27 ((in Japanese)) |
[a2] | M. Sato, "Theory of hyperfunctions I, II" J. Fac. Sci. Univ. Tokyo Sect. 1 , 8 (1959–1960) pp. 139–193; 387–437 |
[a3] | A. Martineau, "Les hyperfonctions de M. Sato" , Sem. Bourbaki (1960) |
[a4] | R. Harvey, "Hyperfunctions and linear partial differential equations" , Stanford Univ. Press (1966) (Thesis) |
[a5] | H. Komatsu, "Sato's hyperfunctions and linear partial differential equations with constant coefficients" Seminar Notes Univ. of Tokyo , 22 (1970) ((in Japanese)) |
[a6] | P. Schapira, "Théorie des hyperfonctions" , Lect. notes in math. , 126 , Springer (1970) |
[a7] | M. Morimoto, "Introduction to Sato hyperfunctions" , Kyôritsu (1976) ((in Japanese)) |
[a8] | M. Kashiwara, T. Kawai, T. Kimura, "Foundation of algebraic analysis" , Princeton Univ. Press (1986) ((translated from the Japanese)) |
[a9] | A. Kaneko, "Introduction to hyperfunctions" , Kluwer (1988) ((translated from the Japanese)) |
Hyperfunction. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hyperfunction&oldid=16339