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:
(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
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.
|[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. A. Kaneko (originator), Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hyperfunction&oldid=16339