Namespaces
Variants
Actions

Difference between revisions of "Hyperfunction"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
h0484201.png
 +
$#A+1 = 179 n = 0
 +
$#C+1 = 179 : ~/encyclopedia/old_files/data/H048/H.0408420 Hyperfunction
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A hyperfunction is a kind of [[Generalized function|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|cohomology]] theory.
 
A hyperfunction is a kind of [[Generalized function|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|cohomology]] theory.
  
A hyperfunction of one variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484201.png" /> on an open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484202.png" /> is a formal expression of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484203.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484204.png" /> is a function holomorphic on the upper, respectively lower, half-neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484205.png" />, for a complex neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484206.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484207.png" />. The expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484208.png" /> is identified with 0 if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h0484209.png" /> agrees on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842010.png" /> as a holomorphic function (or, equivalently, as a continuous function, by the [[Painlevé theorem|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842011.png" /> of hyperfunctions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842012.png" /> is: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842013.png" />. (Actually the limit is superfluous.) For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842014.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842015.png" /> denote the hyperfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842016.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842017.png" /> defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842018.png" />. In turn, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842019.png" /> is called a defining function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842020.png" />. Examples of typical generalized functions interpreted as hyperfunctions are:
+
A hyperfunction of one variable $  f ( x) $
 +
on an open set $  \Omega \subset  \mathbf R $
 +
is a formal expression of the form $  F _ {+} ( x + i0) - F _ {-} ( x - i0) $,  
 +
where $  F _  \pm  ( z) $
 +
is a function holomorphic on the upper, respectively lower, half-neighbourhood $  U _  \pm  = U \cap \{ {z } : {\pm  \mathop{\rm Im}  z > 0 } \} $,  
 +
for a complex neighbourhood $  U \supset \Omega $
 +
satisfying $  U \cap \mathbf R = \Omega $.  
 +
The expression $  f ( x) $
 +
is identified with 0 if and only if $  F _  \pm  ( z) $
 +
agrees on $  \Omega $
 +
as a holomorphic function (or, equivalently, as a continuous function, by the [[Painlevé theorem|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 $  {\mathcal B} ( \Omega ) $
 +
of hyperfunctions on $  \Omega $
 +
is: $  {\mathcal B} ( \Omega ) = \lim\limits _ {\rightarrow  U \supset \Omega }  {\mathcal O} ( U \setminus  \Omega )/ {\mathcal O} ( \Omega ) $.  
 +
(Actually the limit is superfluous.) For $  F ( z) \in {\mathcal O} ( U \setminus  \Omega ) $,  
 +
let $  [ F] $
 +
denote the hyperfunction $  f $
 +
on $  \Omega $
 +
defined by $  F $.  
 +
In turn, $  F $
 +
is called a defining function of $  f $.  
 +
Examples of typical generalized functions interpreted as hyperfunctions are:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842021.png" /></td> </tr></table>
+
$$
 +
\delta ( x)  = \
 +
\left [ -
 +
{
 +
\frac{1}{2 \pi i }
 +
}
 +
{
 +
\frac{1}{z}
 +
}
 +
\right ]  = -
 +
{
 +
\frac{1}{2 \pi i }
 +
}
 +
\left (
 +
{
 +
\frac{1}{x + i0 }
 +
} -
 +
{
 +
\frac{1}{x - i0 }
 +
}
 +
\right )
 +
$$
  
 
(Dirac's delta-function);
 
(Dirac's delta-function);
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842022.png" /></td> </tr></table>
+
$$
 +
Y ( x)  = \
 +
\left [ -
 +
{
 +
\frac{1}{2 \pi i }
 +
} \
 +
\mathop{\rm log} (- z)
 +
\right ] =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842023.png" /></td> </tr></table>
+
$$
 +
= \
 +
- {
 +
\frac{1}{2 \pi i }
 +
} (  \mathop{\rm log} (- x - i0) -  \mathop{\rm log} (- x + i0))
 +
$$
  
 
(Heaviside's function);
 
(Heaviside's function);
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842024.png" /></td> </tr></table>
+
$$
 +
\textrm{ p }.v.
 +
{
 +
\frac{1}{x}
 +
= {
 +
\frac{1}{2}
 +
}
 +
\left (
 +
{
 +
\frac{1}{x + i0 }
 +
} +
 +
{
 +
\frac{1}{x - i0 }
 +
}
 +
\right )
 +
$$
  
 
(Cauchy's principal value);
 
(Cauchy's principal value);
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842025.png" /></td> </tr></table>
+
$$
 +
\textrm{ p }.f. \
 +
x  ^ {-} m  = {
 +
\frac{1}{2}
 +
}
 +
\left (
 +
{
 +
\frac{1}{( x + i0)  ^ {m} }
 +
} +
 +
{
 +
\frac{1}{( x - i0)  ^ {m} }
 +
}
 +
\right )
 +
$$
  
 
(Hadamard's finite part);
 
(Hadamard's finite part);
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842026.png" /></td> </tr></table>
+
$$
 +
x _  \pm  ^  \lambda  = \
 +
\left [
 +
 
 +
\frac{\mps ( \mps z)  ^  \lambda  }{2i  \sin  \pi \lambda }
 +
 
 +
\right ]  = \pm
 +
 
 +
\frac{( \mps x - i0)  ^  \lambda  - ( \mps x + i0)  ^  \lambda  }{2i  \sin  \pi \lambda }
 +
\ \
 +
\textrm{ for }  \lambda \notin \mathbf Z ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842027.png" /></td> </tr></table>
+
$$
 +
x _  \pm  ^ {m}  = \left [ \mps {
 +
\frac{1}{2 \pi i }
 +
}
 +
( \pm  z)  ^ {m}  \mathop{\rm ln} ( \mps z) \right ] \  \textrm{ for }  \lambda = m \in \mathbf Z .
 +
$$
  
Hyperfunctions of several variables. In the sequel a cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842028.png" /> means an open [[Convex cone|convex cone]] with vertex at the origin. For two cones <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842029.png" />, the notation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842030.png" /> means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842031.png" /> is relatively compact in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842032.png" />. A wedge means an open subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842033.png" /> of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842034.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842035.png" /> is a real open set and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842036.png" /> is a cone. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842037.png" /> is called the edge of the wedge and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842038.png" /> the opening. An infinitesimal wedge (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842040.png" />-wedge) or a tuboid of opening <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842041.png" /> and edge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842042.png" /> (or simply of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842044.png" />) is a complex open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842045.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842046.png" /> and such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842047.png" /> the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842048.png" /> contains the part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842049.png" /> contained in some complex neighbourhood of the edge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842050.png" />. The symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842051.png" /> denotes any one such open set, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842052.png" /> denotes the totality of functions holomorphic on some of them (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842053.png" />, the limit being taken with respect to all the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842054.png" />-wedges <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842055.png" /> of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842056.png" />).
+
Hyperfunctions of several variables. In the sequel a cone $  \Gamma \subset  \mathbf R  ^ {n} $
 +
means an open [[Convex cone|convex cone]] with vertex at the origin. For two cones $  \Delta , \Gamma $,  
 +
the notation $  \Delta \subset  \subset  \Gamma $
 +
means that $  \Delta \cap S ^ {n - 1 } $
 +
is relatively compact in $  \Gamma \cap S ^ {n - 1 } $.  
 +
A wedge means an open subset of $  \mathbf C  ^ {n} $
 +
of the form $  \Omega + i \Gamma $,  
 +
where $  \Omega \subset  \mathbf R  ^ {n} $
 +
is a real open set and $  \Gamma \subset  \mathbf R  ^ {n} $
 +
is a cone. $  \Omega $
 +
is called the edge of the wedge and $  \Gamma $
 +
the opening. An infinitesimal wedge ( 0 $-
 +
wedge) or a tuboid of opening $  \Gamma $
 +
and edge $  \Omega $(
 +
or simply of type $  \Omega + i \Gamma $)  
 +
is a complex open set $  U $
 +
such that $  U \subset  \Omega + i \Gamma $
 +
and such that for any $  \Delta \subset  \subset  \Gamma $
 +
the set $  U $
 +
contains the part of $  \Omega + i \Delta $
 +
contained in some complex neighbourhood of the edge $  \Omega $.  
 +
The symbol $  \Omega + i \Gamma 0 $
 +
denotes any one such open set, and $  {\mathcal O} ( \Omega + i \Gamma 0) $
 +
denotes the totality of functions holomorphic on some of them (i.e. $  {\mathcal O} ( \Omega + i \Gamma 0) = \lim\limits _ {\rightarrow U }  {\mathcal O} ( U) $,  
 +
the limit being taken with respect to all the 0 $-
 +
wedges $  U $
 +
of type $  \Omega + i \Gamma $).
  
A hyperfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842057.png" /> on an open set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842058.png" /> is an equivalence class (in the obvious sense) of formal expressions of the form
+
A hyperfunction $  f ( x) $
 +
on an open set $  \Omega \subset  \mathbf R  ^ {n} $
 +
is an equivalence class (in the obvious sense) of formal expressions of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842059.png" /></td> </tr></table>
+
$$
 +
\sum _ {j = 1 } ^ { N }
 +
F _ {j} ( x + i \Gamma _ {j} 0),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842060.png" />. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842061.png" /> is called a set of defining functions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842062.png" />. The totality of hyperfunctions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842063.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842064.png" />. It becomes a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842065.png" />-linear space by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842066.png" />-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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842067.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842068.png" />.
+
where $  F _ {j} ( z) \in {\mathcal O} ( \Omega + i \Gamma _ {j} 0) $.  
 +
$  \{ F _ {j} ( z) \} $
 +
is called a set of defining functions of $  f ( x) $.  
 +
The totality of hyperfunctions on $  \Omega $
 +
is denoted by $  {\mathcal B} ( \Omega ) $.  
 +
It becomes a $  \mathbf C $-
 +
linear space by the $  \mathbf C $-
 +
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 $  \Gamma _ {1} = \mathbf R _ {+} $,  
 +
$  \Gamma _ {2} = \mathbf R _ {-} $.
  
Hyperfunctions are localizable, i.e. the correspondence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842069.png" /> satisfies the axioms for a [[Sheaf|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842070.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842071.png" /> is the orientation sheaf of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842072.png" />. Actually <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842073.png" /> holds, the cohomologies in the other degrees being trivial. By choosing a Stein neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842074.png" />, one can represent the relative cohomology by a covering: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842075.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842076.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842077.png" />, then the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842078.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842079.png" /> constitutes a relative Stein covering of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842080.png" />, hence by Leray's theorem,
+
Hyperfunctions are localizable, i.e. the correspondence $  \Omega \mapsto {\mathcal B} ( \Omega ) $
 +
satisfies the axioms for a [[Sheaf|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 $  {\mathcal B} = {\mathcal H} _ {\mathbf R  ^ {n}  }  ^ {n} ( {\mathcal O} ) \otimes \omega $,  
 +
where $  \omega $
 +
is the orientation sheaf of $  \mathbf R  ^ {n} $.  
 +
Actually $  {\mathcal B} ( \Omega ) \cong H _  \Omega  ^ {n} ( \mathbf C  ^ {n} , {\mathcal O} ) $
 +
holds, the cohomologies in the other degrees being trivial. By choosing a Stein neighbourhood $  U \supset \Omega $,  
 +
one can represent the relative cohomology by a covering: If $  U \cap \mathbf R  ^ {n} = \Omega $,
 +
$  U _ {j} = \{ {z \in U } : { \mathop{\rm Im}  z _ {j} \neq 0 } \} $,  
 +
$  j = 1 \dots n $,  
 +
then the pair $  {\mathcal U} = \{ U, U _ {1} \dots U _ {n} \} $,  
 +
$  {\mathcal U}  ^  \prime  = \{ U _ {1} \dots U _ {n} \} $
 +
constitutes a relative Stein covering of the pair $  ( U, U \setminus  \Omega ) $,  
 +
hence by Leray's theorem,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842081.png" /></td> </tr></table>
+
$$
 +
H _  \Omega  ^ {n}
 +
( \mathbf C  ^ {n} , {\mathcal O} ) =
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842082.png" /></td> </tr></table>
+
$$
 +
= \
 +
{C  ^ {n} ( {\mathcal U}  \mathop{\rm mod}  {\mathcal U}  ^  \prime  , {\mathcal O} ) } / {\delta
 +
C ^ {n - 1 } ( {\mathcal U}  \mathop{\rm mod}  {\mathcal U}  ^  \prime  , {\mathcal O} ) }  \cong
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842083.png" /></td> </tr></table>
+
$$
 +
\cong  { {\mathcal O} ( U \srp \Omega ) } /
 +
{\sum _ {j = 1 } ^ { n }  } {\mathcal O} ( U \srp _ {j} \Omega ),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842084.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842085.png" />. In case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842086.png" /> this reduces to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842087.png" />. Another representation is given by choosing a set of vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842088.png" /> such that the half-spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842089.png" /> defined by them satisfy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842090.png" />, and putting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842091.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842092.png" />. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842093.png" />-cocycles are of the form
+
where $  U \srp \Omega = \{ {z \in U } : { \mathop{\rm Im}  z _ {k} \neq 0\spg  \textrm{ for  all  }  k } \} $,
 +
$  U \srp _ {j} \Omega = \{ {z \in U } : { \mathop{\rm Im}  z _ {k} \neq 0 \textrm{ for  all  }  k \neq j } \} $.  
 +
In case $  n = 1 $
 +
this reduces to $  H _  \Omega  ^ {1} ( \mathbf C  ^ {n} , {\mathcal O} ) = {\mathcal O} ( U \setminus  \Omega )/ {\mathcal O} ( U) $.  
 +
Another representation is given by choosing a set of vectors $  \eta  ^ {0} , \eta  ^ {1} \dots \eta  ^ {n} \in \mathbf R  ^ {n} $
 +
such that the half-spaces $  E ^ {\eta  ^ {j} } = \{ {y \in \mathbf R  ^ {n} } : {\langle  y, \eta  ^ {j} > \rangle 0 } \} $
 +
defined by them satisfy $  \cup _ {j = 0 }  ^ {n} E ^ {\eta  ^ {j} } = \mathbf R  ^ {n} \setminus  \{ 0 \} $,  
 +
and putting $  U _ {j} = ( \Omega + iE ^ {\eta  ^ {j} } ) \cap U $,  
 +
$  j = 0 \dots n $.  
 +
The $  n $-
 +
cocycles are of the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842094.png" /></td> </tr></table>
+
$$
 +
\sum _ {j = 0 } ^ { n }
 +
F _ {j} ( z)
 +
U \wedge U _ {0} \wedge \dots \wedge \widehat{U}  _ {j} \wedge \dots \wedge U _ {n} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842095.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842096.png" /> is given as the quotient space of these by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842097.png" />-coboundary space. (The symbol <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842098.png" /> implies that the factor below it is omitted.)
+
where $  F _ {j} ( z) \in {\mathcal O} ( U _ {0} \cap \dots \cap \widehat{U}  _ {j} \cap \dots \cap U _ {n} ) $,  
 +
and $  H _  \Omega  ^ {n} ( \mathbf C  ^ {n} , {\mathcal O} ) $
 +
is given as the quotient space of these by the $  n $-
 +
coboundary space. (The symbol $  \widehat{ {}}  $
 +
implies that the factor below it is omitted.)
  
The set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h04842099.png" /> is identified with the cohomology group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420100.png" /> by extending the following correspondences:
+
The set $  {\mathcal B} ( \Omega ) $
 +
is identified with the cohomology group $  H _  \Omega  ^ {n} ( \mathbf C  ^ {n} , {\mathcal O} ) $
 +
by extending the following correspondences:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420101.png" /></td> </tr></table>
+
$$
 +
{\mathcal O} ( U \srp \Omega )  \ni \
 +
F ( z)  \mapsto \
 +
[ F ( z)]  = \
 +
\sum _  \sigma  (  \mathop{\rm sgn}  \sigma )
 +
F ( x + i \Gamma _  \sigma  0)  \in \
 +
{\mathcal B} ( \Omega ),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420102.png" /> denotes the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420103.png" />-th orthant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420104.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420105.png" />; or by
+
where $  \Gamma _  \sigma  $
 +
denotes the $  \sigma $-
 +
th orthant $  \{ {y \in \mathbf R  ^ {n} } : {\sigma _ {j} y _ {j} > 0,  j = 1 \dots n } \} $
 +
and $  \mathop{\rm sgn}  \sigma = \sigma _ {1} \dots \sigma _ {n} $;  
 +
or by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420106.png" /></td> </tr></table>
+
$$
 +
\sum _ {j = 0 } ^ { n }
 +
F _ {j} ( z)
 +
U \wedge U _ {0} \wedge \dots \wedge \widehat{U}  _ {j} \wedge \dots \wedge
 +
U _ {n\ } \mapsto
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420107.png" /></td> </tr></table>
+
$$
 +
\mapsto \
 +
\sum _ {j = 0 } ^ { n }  (- 1)  ^ {j} F _ {j} ( x + i \Gamma _ {j} 0),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420108.png" />.
+
where $  \Gamma _ {j} = E ^ {\eta  ^ {0} } \cap \dots \cap \widehat{E}  {} ^ {\eta  ^ {j} } \cap \dots \cap E ^ {\eta  ^ {n} } $.
  
Several practical criteria to determine whether a hyperfunction is zero are collectively known as the edge-of-the-wedge theorem: A hyperfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420109.png" /> with single term is zero if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420110.png" /> itself is zero (injectivity of the boundary value operation). <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420111.png" /> if and only if they stick together to a function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420112.png" /> (an Epstein-type theorem). In case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420113.png" /> the result becomes real analytic (a Bogolyubov-type theorem). <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420114.png" /> if and only if there exist <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420115.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420116.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420117.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420118.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420119.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420120.png" /> (a Martineau-type theorem). These are manifestations of the fact that the cohomology classes vanish by covering representations.
+
Several practical criteria to determine whether a hyperfunction is zero are collectively known as the edge-of-the-wedge theorem: A hyperfunction $  F ( x + i \Gamma 0) $
 +
with single term is zero if and only if $  F ( z) $
 +
itself is zero (injectivity of the boundary value operation). $  F _ {1} ( x + i \Gamma _ {1} 0) = F _ {2} ( x + i \Gamma _ {2} 0) $
 +
if and only if they stick together to a function in $  {\mathcal O} ( \Omega + i ( \Gamma _ {1} + \Gamma _ {2} ) 0) $(
 +
an Epstein-type theorem). In case $  \Gamma _ {2} = - \Gamma _ {1} $
 +
the result becomes real analytic (a Bogolyubov-type theorem). $  \sum _ {j = 1 }  ^ {N} F _ {j} ( x + i \Gamma _ {j} 0) = 0 $
 +
if and only if there exist $  G _ {jk} ( z) \in {\mathcal O} ( \Omega + i ( \Gamma _ {j} + \Gamma _ {k} ) 0) $,
 +
$  j, k = 1 \dots N $,  
 +
such that $  G _ {jk} ( z) = - G _ {kj} ( z) $
 +
and $  F _ {j} ( z) = \sum _ {k = 1 }  ^ {N} G _ {jk} ( z) $
 +
in $  {\mathcal O} ( \Omega + i \Gamma _ {j} 0) $,  
 +
$  j = 1 \dots N $(
 +
a Martineau-type theorem). These are manifestations of the fact that the cohomology classes vanish by covering representations.
  
A real-analytic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420121.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420122.png" /> is naturally included in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420123.png" /> by identifying it with the expression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420124.png" />, for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420125.png" />. They form a subsheaf. Thus, for a hyperfunction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420126.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420127.png" /> the notion of the singular support of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420128.png" />, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420129.png" />, is well defined: It is the complement in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420130.png" /> of the largest open subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420131.png" /> in which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420132.png" /> is real analytic. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420133.png" /> for a closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420134.png" />, then one can choose a boundary value representation such that each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420135.png" /> can be continued analytically to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420136.png" />. The edge-of-the-wedge theorem supplies also criteria for determining whether or not a hyperfunction is real analytic in an open (sub)set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420137.png" />.
+
A real-analytic function $  \phi \in {\mathcal A} ( \Omega ) $
 +
on $  \Omega $
 +
is naturally included in $  {\mathcal B} ( \Omega ) $
 +
by identifying it with the expression $  \phi ( x + i \Gamma 0) $,  
 +
for any $  \Gamma $.  
 +
They form a subsheaf. Thus, for a hyperfunction $  f $
 +
on $  \Omega $
 +
the notion of the singular support of $  f $,  
 +
denoted by $  \sing  \supp  f $,  
 +
is well defined: It is the complement in $  \Omega $
 +
of the largest open subset $  \Omega  ^  \prime  \subset  \Omega $
 +
in which $  f ( x) $
 +
is real analytic. If $  \sing  \supp  f \subset  K $
 +
for a closed subset $  K \subset  \Omega $,  
 +
then one can choose a boundary value representation such that each $  F _ {j} ( z) $
 +
can be continued analytically to $  \Omega \setminus  K $.  
 +
The edge-of-the-wedge theorem supplies also criteria for determining whether or not a hyperfunction is real analytic in an open (sub)set $  \Omega $.
  
The definite integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420138.png" /> of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420139.png" /> over a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420140.png" /> is well-defined if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420141.png" />. Indeed, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420142.png" /> be a boundary value representation such that each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420143.png" /> may be extended to a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420144.png" />, or, more generally, to a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420145.png" />-wedge with edge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420146.png" /> and with an opening whose projection to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420147.png" />-space is the whole space. Then
+
The definite integral $  \int _ {D} f ( x, t)  dx $
 +
of an $  f \in {\mathcal B} ( \Omega \times T) $
 +
over a bounded domain $  D $
 +
is well-defined if $  \sing  \supp  f \cap \partial  D \times T = \emptyset $.  
 +
Indeed, let $  f ( x, t) - \sum F _ {j} (( x, t) + i \Gamma _ {j} 0) $
 +
be a boundary value representation such that each $  F _ {j} ( z, \tau ) $
 +
may be extended to a neighbourhood of $  \partial  D \times T $,  
 +
or, more generally, to a 0 $-
 +
wedge with edge $  \partial  D \times T $
 +
and with an opening whose projection to the $  x $-
 +
space is the whole space. Then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420148.png" /></td> </tr></table>
+
$$
 +
\int\limits _ { D } f ( x, t)  dx  = \
 +
\sum _ { j }
 +
\left [
 +
\int\limits _ {D _ {j} }
 +
F _ {j} ( z, \tau )  dz
 +
\right ] _ {\tau \mapsto t + i \Delta _ {j}  0 } ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420149.png" /> is a suitable deformation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420150.png" /> fixing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420151.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420152.png" /> is the projection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420153.png" /> on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420154.png" />-plane. This integration commutes with differentiation or integration with respect to the remaining variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420155.png" />. Cf. [[Microlocal analysis|Microlocal analysis]] for further operations.
+
where $  D _ {j} $
 +
is a suitable deformation of $  D $
 +
fixing $  \partial  D $
 +
and $  \Delta _ {j} $
 +
is the projection of $  \Gamma _ {j} $
 +
on the $  t $-
 +
plane. This integration commutes with differentiation or integration with respect to the remaining variable $  t $.  
 +
Cf. [[Microlocal analysis|Microlocal analysis]] for further operations.
  
The totality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420156.png" /> of hyperfunctions with support in a fixed compact set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420157.png" /> becomes a nuclear [[Fréchet space|Fréchet space]] (cf. also [[Nuclear space|Nuclear space]]). It is the strong dual of the nuclear (DF)-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420158.png" /> of real-analytic functions defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420159.png" /> and endowed with the inductive limit topology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420160.png" />'s for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420161.png" />. Namely, hyperfunctions with compact supports are analytic functionals with carrier in the real axis. The duality is given by the definite integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420162.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420163.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420164.png" />. Analytic functionals can be employed to reconstruct the space or the sheaf of hyperfunctions: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420165.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420166.png" />, one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420167.png" /> (Schapira's definition).
+
The totality $  {\mathcal B} [ K] $
 +
of hyperfunctions with support in a fixed compact set $  K $
 +
becomes a nuclear [[Fréchet space|Fréchet space]] (cf. also [[Nuclear space|Nuclear space]]). It is the strong dual of the nuclear (DF)-space $  {\mathcal A} ( K) $
 +
of real-analytic functions defined on $  K $
 +
and endowed with the inductive limit topology of $  {\mathcal O} ( U) $'
 +
s for $  U \supset K $.  
 +
Namely, hyperfunctions with compact supports are analytic functionals with carrier in the real axis. The duality is given by the definite integral $  \langle  f, \phi \rangle = \int _ {\mathbf R  ^ {n}  } f ( x) \phi ( x)  dx $
 +
for $  f \in {\mathcal B} [ K] $
 +
and $  \phi \in {\mathcal A} ( K) $.  
 +
Analytic functionals can be employed to reconstruct the space or the sheaf of hyperfunctions: a) $  {\mathcal B} ( \Omega ) $
 +
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 $  \Omega $,  
 +
one has $  {\mathcal B} ( \Omega ) = {\mathcal B} [ \overline \Omega \; ]/ {\mathcal B} [ \partial  \Omega ] $(
 +
Schapira's definition).
  
The sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420168.png" /> of Fourier hyperfunctions is defined on the directional compactification <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420169.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420170.png" />, employing instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420171.png" /> the sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420172.png" /> of holomorphic functions of infra-exponential growth, i.e. of growth <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420173.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420174.png" />. Fourier hyperfunctions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420175.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420176.png" /> of functions holomorphic and exponentially decreasing on a strip neighbourhood of the real axis. The latter is invariant under the classical [[Fourier transform|Fourier transform]] and the [[Parseval equality|Parseval equality]] holds with this duality.
+
The sheaf $  {\mathcal Z} $
 +
of Fourier hyperfunctions is defined on the directional compactification $  \mathbf D  ^ {n} = \mathbf R  ^ {n} \cup S _  \infty  ^ {n - 1 } $
 +
of $  \mathbf R  ^ {n} $,  
 +
employing instead of $  {\mathcal O} $
 +
the sheaf $  {\mathcal O}  tilde $
 +
of holomorphic functions of infra-exponential growth, i.e. of growth $  O ( e ^ {\epsilon |  \mathop{\rm Re}  z | } ) $
 +
for all $  \epsilon > 0 $.  
 +
Fourier hyperfunctions on $  \mathbf D  ^ {n} $
 +
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 $  {\mathcal P} _ {*} $
 +
of functions holomorphic and exponentially decreasing on a strip neighbourhood of the real axis. The latter is invariant under the classical [[Fourier transform|Fourier transform]] and the [[Parseval equality|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: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420177.png" /> converges as a hyperfunction if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420178.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420179.png" />. Resolution by differential forms with hyperfunction coefficients supplies a concrete flabby resolution of the sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420180.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h048/h048420/h048420181.png" />, and serves to calculate relative cohomology groups.
+
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: $  \sum _ {\alpha \in \mathbf Z  ^ {n}  } a _  \alpha  e ^ {i \alpha \cdot x } $
 +
converges as a hyperfunction if and only if $  a _  \alpha  = O ( e ^ {\epsilon  | \alpha | } ) $
 +
for all $  \epsilon > 0 $.  
 +
Resolution by differential forms with hyperfunction coefficients supplies a concrete flabby resolution of the sheaf $  \mathbf C $
 +
or $  {\mathcal O} $,  
 +
and serves to calculate relative cohomology groups.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Sato,  "Theory of hyperfunctions"  ''SÛgaku'' , '''10'''  (1958)  pp. 1–27  ((in Japanese))</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Sato,  "Theory of hyperfunctions I, II"  ''J. Fac. Sci. Univ. Tokyo Sect. 1'' , '''8'''  (1959–1960)  pp. 139–193; 387–437</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A. Martineau,  "Les hyperfonctions de M. Sato" , ''Sem. Bourbaki''  (1960)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Harvey,  "Hyperfunctions and linear partial differential equations" , Stanford Univ. Press  (1966)  (Thesis)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Komatsu,  "Sato's hyperfunctions and linear partial differential equations with constant coefficients"  ''Seminar Notes Univ. of Tokyo'' , '''22'''  (1970)  ((in Japanese))</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P. Schapira,  "Théorie des hyperfonctions" , ''Lect. notes in math.'' , '''126''' , Springer  (1970)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  M. Morimoto,  "Introduction to Sato hyperfunctions" , Kyôritsu  (1976)  ((in Japanese))</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  M. Kashiwara,  T. Kawai,  T. Kimura,  "Foundation of algebraic analysis" , Princeton Univ. Press  (1986)  ((translated from the Japanese))</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A. Kaneko,  "Introduction to hyperfunctions" , Kluwer  (1988)  ((translated from the Japanese))</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Sato,  "Theory of hyperfunctions"  ''SÛgaku'' , '''10'''  (1958)  pp. 1–27  ((in Japanese))</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Sato,  "Theory of hyperfunctions I, II"  ''J. Fac. Sci. Univ. Tokyo Sect. 1'' , '''8'''  (1959–1960)  pp. 139–193; 387–437</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A. Martineau,  "Les hyperfonctions de M. Sato" , ''Sem. Bourbaki''  (1960)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  R. Harvey,  "Hyperfunctions and linear partial differential equations" , Stanford Univ. Press  (1966)  (Thesis)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  H. Komatsu,  "Sato's hyperfunctions and linear partial differential equations with constant coefficients"  ''Seminar Notes Univ. of Tokyo'' , '''22'''  (1970)  ((in Japanese))</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P. Schapira,  "Théorie des hyperfonctions" , ''Lect. notes in math.'' , '''126''' , Springer  (1970)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  M. Morimoto,  "Introduction to Sato hyperfunctions" , Kyôritsu  (1976)  ((in Japanese))</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  M. Kashiwara,  T. Kawai,  T. Kimura,  "Foundation of algebraic analysis" , Princeton Univ. Press  (1986)  ((translated from the Japanese))</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A. Kaneko,  "Introduction to hyperfunctions" , Kluwer  (1988)  ((translated from the Japanese))</TD></TR></table>

Revision as of 22:11, 5 June 2020


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 $ f ( x) $ on an open set $ \Omega \subset \mathbf R $ is a formal expression of the form $ F _ {+} ( x + i0) - F _ {-} ( x - i0) $, where $ F _ \pm ( z) $ is a function holomorphic on the upper, respectively lower, half-neighbourhood $ U _ \pm = U \cap \{ {z } : {\pm \mathop{\rm Im} z > 0 } \} $, for a complex neighbourhood $ U \supset \Omega $ satisfying $ U \cap \mathbf R = \Omega $. The expression $ f ( x) $ is identified with 0 if and only if $ F _ \pm ( z) $ agrees on $ \Omega $ 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 $ {\mathcal B} ( \Omega ) $ of hyperfunctions on $ \Omega $ is: $ {\mathcal B} ( \Omega ) = \lim\limits _ {\rightarrow U \supset \Omega } {\mathcal O} ( U \setminus \Omega )/ {\mathcal O} ( \Omega ) $. (Actually the limit is superfluous.) For $ F ( z) \in {\mathcal O} ( U \setminus \Omega ) $, let $ [ F] $ denote the hyperfunction $ f $ on $ \Omega $ defined by $ F $. In turn, $ F $ is called a defining function of $ f $. Examples of typical generalized functions interpreted as hyperfunctions are:

$$ \delta ( x) = \ \left [ - { \frac{1}{2 \pi i } } { \frac{1}{z} } \right ] = - { \frac{1}{2 \pi i } } \left ( { \frac{1}{x + i0 } } - { \frac{1}{x - i0 } } \right ) $$

(Dirac's delta-function);

$$ Y ( x) = \ \left [ - { \frac{1}{2 \pi i } } \ \mathop{\rm log} (- z) \right ] = $$

$$ = \ - { \frac{1}{2 \pi i } } ( \mathop{\rm log} (- x - i0) - \mathop{\rm log} (- x + i0)) $$

(Heaviside's function);

$$ \textrm{ p }.v. { \frac{1}{x} } = { \frac{1}{2} } \left ( { \frac{1}{x + i0 } } + { \frac{1}{x - i0 } } \right ) $$

(Cauchy's principal value);

$$ \textrm{ p }.f. \ x ^ {-} m = { \frac{1}{2} } \left ( { \frac{1}{( x + i0) ^ {m} } } + { \frac{1}{( x - i0) ^ {m} } } \right ) $$

(Hadamard's finite part);

$$ x _ \pm ^ \lambda = \ \left [ \frac{\mps ( \mps z) ^ \lambda }{2i \sin \pi \lambda } \right ] = \pm \frac{( \mps x - i0) ^ \lambda - ( \mps x + i0) ^ \lambda }{2i \sin \pi \lambda } \ \ \textrm{ for } \lambda \notin \mathbf Z , $$

$$ x _ \pm ^ {m} = \left [ \mps { \frac{1}{2 \pi i } } ( \pm z) ^ {m} \mathop{\rm ln} ( \mps z) \right ] \ \textrm{ for } \lambda = m \in \mathbf Z . $$

Hyperfunctions of several variables. In the sequel a cone $ \Gamma \subset \mathbf R ^ {n} $ means an open convex cone with vertex at the origin. For two cones $ \Delta , \Gamma $, the notation $ \Delta \subset \subset \Gamma $ means that $ \Delta \cap S ^ {n - 1 } $ is relatively compact in $ \Gamma \cap S ^ {n - 1 } $. A wedge means an open subset of $ \mathbf C ^ {n} $ of the form $ \Omega + i \Gamma $, where $ \Omega \subset \mathbf R ^ {n} $ is a real open set and $ \Gamma \subset \mathbf R ^ {n} $ is a cone. $ \Omega $ is called the edge of the wedge and $ \Gamma $ the opening. An infinitesimal wedge ( $ 0 $- wedge) or a tuboid of opening $ \Gamma $ and edge $ \Omega $( or simply of type $ \Omega + i \Gamma $) is a complex open set $ U $ such that $ U \subset \Omega + i \Gamma $ and such that for any $ \Delta \subset \subset \Gamma $ the set $ U $ contains the part of $ \Omega + i \Delta $ contained in some complex neighbourhood of the edge $ \Omega $. The symbol $ \Omega + i \Gamma 0 $ denotes any one such open set, and $ {\mathcal O} ( \Omega + i \Gamma 0) $ denotes the totality of functions holomorphic on some of them (i.e. $ {\mathcal O} ( \Omega + i \Gamma 0) = \lim\limits _ {\rightarrow U } {\mathcal O} ( U) $, the limit being taken with respect to all the $ 0 $- wedges $ U $ of type $ \Omega + i \Gamma $).

A hyperfunction $ f ( x) $ on an open set $ \Omega \subset \mathbf R ^ {n} $ is an equivalence class (in the obvious sense) of formal expressions of the form

$$ \sum _ {j = 1 } ^ { N } F _ {j} ( x + i \Gamma _ {j} 0), $$

where $ F _ {j} ( z) \in {\mathcal O} ( \Omega + i \Gamma _ {j} 0) $. $ \{ F _ {j} ( z) \} $ is called a set of defining functions of $ f ( x) $. The totality of hyperfunctions on $ \Omega $ is denoted by $ {\mathcal B} ( \Omega ) $. It becomes a $ \mathbf C $- linear space by the $ \mathbf C $- 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 $ \Gamma _ {1} = \mathbf R _ {+} $, $ \Gamma _ {2} = \mathbf R _ {-} $.

Hyperfunctions are localizable, i.e. the correspondence $ \Omega \mapsto {\mathcal B} ( \Omega ) $ 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 $ {\mathcal B} = {\mathcal H} _ {\mathbf R ^ {n} } ^ {n} ( {\mathcal O} ) \otimes \omega $, where $ \omega $ is the orientation sheaf of $ \mathbf R ^ {n} $. Actually $ {\mathcal B} ( \Omega ) \cong H _ \Omega ^ {n} ( \mathbf C ^ {n} , {\mathcal O} ) $ holds, the cohomologies in the other degrees being trivial. By choosing a Stein neighbourhood $ U \supset \Omega $, one can represent the relative cohomology by a covering: If $ U \cap \mathbf R ^ {n} = \Omega $, $ U _ {j} = \{ {z \in U } : { \mathop{\rm Im} z _ {j} \neq 0 } \} $, $ j = 1 \dots n $, then the pair $ {\mathcal U} = \{ U, U _ {1} \dots U _ {n} \} $, $ {\mathcal U} ^ \prime = \{ U _ {1} \dots U _ {n} \} $ constitutes a relative Stein covering of the pair $ ( U, U \setminus \Omega ) $, hence by Leray's theorem,

$$ H _ \Omega ^ {n} ( \mathbf C ^ {n} , {\mathcal O} ) = $$

$$ = \ {C ^ {n} ( {\mathcal U} \mathop{\rm mod} {\mathcal U} ^ \prime , {\mathcal O} ) } / {\delta C ^ {n - 1 } ( {\mathcal U} \mathop{\rm mod} {\mathcal U} ^ \prime , {\mathcal O} ) } \cong $$

$$ \cong { {\mathcal O} ( U \srp \Omega ) } / {\sum _ {j = 1 } ^ { n } } {\mathcal O} ( U \srp _ {j} \Omega ), $$

where $ U \srp \Omega = \{ {z \in U } : { \mathop{\rm Im} z _ {k} \neq 0\spg \textrm{ for all } k } \} $, $ U \srp _ {j} \Omega = \{ {z \in U } : { \mathop{\rm Im} z _ {k} \neq 0 \textrm{ for all } k \neq j } \} $. In case $ n = 1 $ this reduces to $ H _ \Omega ^ {1} ( \mathbf C ^ {n} , {\mathcal O} ) = {\mathcal O} ( U \setminus \Omega )/ {\mathcal O} ( U) $. Another representation is given by choosing a set of vectors $ \eta ^ {0} , \eta ^ {1} \dots \eta ^ {n} \in \mathbf R ^ {n} $ such that the half-spaces $ E ^ {\eta ^ {j} } = \{ {y \in \mathbf R ^ {n} } : {\langle y, \eta ^ {j} > \rangle 0 } \} $ defined by them satisfy $ \cup _ {j = 0 } ^ {n} E ^ {\eta ^ {j} } = \mathbf R ^ {n} \setminus \{ 0 \} $, and putting $ U _ {j} = ( \Omega + iE ^ {\eta ^ {j} } ) \cap U $, $ j = 0 \dots n $. The $ n $- cocycles are of the form

$$ \sum _ {j = 0 } ^ { n } F _ {j} ( z) U \wedge U _ {0} \wedge \dots \wedge \widehat{U} _ {j} \wedge \dots \wedge U _ {n} , $$

where $ F _ {j} ( z) \in {\mathcal O} ( U _ {0} \cap \dots \cap \widehat{U} _ {j} \cap \dots \cap U _ {n} ) $, and $ H _ \Omega ^ {n} ( \mathbf C ^ {n} , {\mathcal O} ) $ is given as the quotient space of these by the $ n $- coboundary space. (The symbol $ \widehat{ {}} $ implies that the factor below it is omitted.)

The set $ {\mathcal B} ( \Omega ) $ is identified with the cohomology group $ H _ \Omega ^ {n} ( \mathbf C ^ {n} , {\mathcal O} ) $ by extending the following correspondences:

$$ {\mathcal O} ( U \srp \Omega ) \ni \ F ( z) \mapsto \ [ F ( z)] = \ \sum _ \sigma ( \mathop{\rm sgn} \sigma ) F ( x + i \Gamma _ \sigma 0) \in \ {\mathcal B} ( \Omega ), $$

where $ \Gamma _ \sigma $ denotes the $ \sigma $- th orthant $ \{ {y \in \mathbf R ^ {n} } : {\sigma _ {j} y _ {j} > 0, j = 1 \dots n } \} $ and $ \mathop{\rm sgn} \sigma = \sigma _ {1} \dots \sigma _ {n} $; or by

$$ \sum _ {j = 0 } ^ { n } F _ {j} ( z) U \wedge U _ {0} \wedge \dots \wedge \widehat{U} _ {j} \wedge \dots \wedge U _ {n\ } \mapsto $$

$$ \mapsto \ \sum _ {j = 0 } ^ { n } (- 1) ^ {j} F _ {j} ( x + i \Gamma _ {j} 0), $$

where $ \Gamma _ {j} = E ^ {\eta ^ {0} } \cap \dots \cap \widehat{E} {} ^ {\eta ^ {j} } \cap \dots \cap E ^ {\eta ^ {n} } $.

Several practical criteria to determine whether a hyperfunction is zero are collectively known as the edge-of-the-wedge theorem: A hyperfunction $ F ( x + i \Gamma 0) $ with single term is zero if and only if $ F ( z) $ itself is zero (injectivity of the boundary value operation). $ F _ {1} ( x + i \Gamma _ {1} 0) = F _ {2} ( x + i \Gamma _ {2} 0) $ if and only if they stick together to a function in $ {\mathcal O} ( \Omega + i ( \Gamma _ {1} + \Gamma _ {2} ) 0) $( an Epstein-type theorem). In case $ \Gamma _ {2} = - \Gamma _ {1} $ the result becomes real analytic (a Bogolyubov-type theorem). $ \sum _ {j = 1 } ^ {N} F _ {j} ( x + i \Gamma _ {j} 0) = 0 $ if and only if there exist $ G _ {jk} ( z) \in {\mathcal O} ( \Omega + i ( \Gamma _ {j} + \Gamma _ {k} ) 0) $, $ j, k = 1 \dots N $, such that $ G _ {jk} ( z) = - G _ {kj} ( z) $ and $ F _ {j} ( z) = \sum _ {k = 1 } ^ {N} G _ {jk} ( z) $ in $ {\mathcal O} ( \Omega + i \Gamma _ {j} 0) $, $ j = 1 \dots N $( a Martineau-type theorem). These are manifestations of the fact that the cohomology classes vanish by covering representations.

A real-analytic function $ \phi \in {\mathcal A} ( \Omega ) $ on $ \Omega $ is naturally included in $ {\mathcal B} ( \Omega ) $ by identifying it with the expression $ \phi ( x + i \Gamma 0) $, for any $ \Gamma $. They form a subsheaf. Thus, for a hyperfunction $ f $ on $ \Omega $ the notion of the singular support of $ f $, denoted by $ \sing \supp f $, is well defined: It is the complement in $ \Omega $ of the largest open subset $ \Omega ^ \prime \subset \Omega $ in which $ f ( x) $ is real analytic. If $ \sing \supp f \subset K $ for a closed subset $ K \subset \Omega $, then one can choose a boundary value representation such that each $ F _ {j} ( z) $ can be continued analytically to $ \Omega \setminus K $. The edge-of-the-wedge theorem supplies also criteria for determining whether or not a hyperfunction is real analytic in an open (sub)set $ \Omega $.

The definite integral $ \int _ {D} f ( x, t) dx $ of an $ f \in {\mathcal B} ( \Omega \times T) $ over a bounded domain $ D $ is well-defined if $ \sing \supp f \cap \partial D \times T = \emptyset $. Indeed, let $ f ( x, t) - \sum F _ {j} (( x, t) + i \Gamma _ {j} 0) $ be a boundary value representation such that each $ F _ {j} ( z, \tau ) $ may be extended to a neighbourhood of $ \partial D \times T $, or, more generally, to a $ 0 $- wedge with edge $ \partial D \times T $ and with an opening whose projection to the $ x $- space is the whole space. Then

$$ \int\limits _ { D } f ( x, t) dx = \ \sum _ { j } \left [ \int\limits _ {D _ {j} } F _ {j} ( z, \tau ) dz \right ] _ {\tau \mapsto t + i \Delta _ {j} 0 } , $$

where $ D _ {j} $ is a suitable deformation of $ D $ fixing $ \partial D $ and $ \Delta _ {j} $ is the projection of $ \Gamma _ {j} $ on the $ t $- plane. This integration commutes with differentiation or integration with respect to the remaining variable $ t $. Cf. Microlocal analysis for further operations.

The totality $ {\mathcal B} [ K] $ of hyperfunctions with support in a fixed compact set $ K $ becomes a nuclear Fréchet space (cf. also Nuclear space). It is the strong dual of the nuclear (DF)-space $ {\mathcal A} ( K) $ of real-analytic functions defined on $ K $ and endowed with the inductive limit topology of $ {\mathcal O} ( U) $' s for $ U \supset K $. Namely, hyperfunctions with compact supports are analytic functionals with carrier in the real axis. The duality is given by the definite integral $ \langle f, \phi \rangle = \int _ {\mathbf R ^ {n} } f ( x) \phi ( x) dx $ for $ f \in {\mathcal B} [ K] $ and $ \phi \in {\mathcal A} ( K) $. Analytic functionals can be employed to reconstruct the space or the sheaf of hyperfunctions: a) $ {\mathcal B} ( \Omega ) $ 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 $ \Omega $, one has $ {\mathcal B} ( \Omega ) = {\mathcal B} [ \overline \Omega \; ]/ {\mathcal B} [ \partial \Omega ] $( Schapira's definition).

The sheaf $ {\mathcal Z} $ of Fourier hyperfunctions is defined on the directional compactification $ \mathbf D ^ {n} = \mathbf R ^ {n} \cup S _ \infty ^ {n - 1 } $ of $ \mathbf R ^ {n} $, employing instead of $ {\mathcal O} $ the sheaf $ {\mathcal O} tilde $ of holomorphic functions of infra-exponential growth, i.e. of growth $ O ( e ^ {\epsilon | \mathop{\rm Re} z | } ) $ for all $ \epsilon > 0 $. Fourier hyperfunctions on $ \mathbf D ^ {n} $ 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 $ {\mathcal P} _ {*} $ 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: $ \sum _ {\alpha \in \mathbf Z ^ {n} } a _ \alpha e ^ {i \alpha \cdot x } $ converges as a hyperfunction if and only if $ a _ \alpha = O ( e ^ {\epsilon | \alpha | } ) $ for all $ \epsilon > 0 $. Resolution by differential forms with hyperfunction coefficients supplies a concrete flabby resolution of the sheaf $ \mathbf C $ or $ {\mathcal O} $, 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))
How to Cite This Entry:
Hyperfunction. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hyperfunction&oldid=16339
This article was adapted from an original article by A. Kaneko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article