Namespaces
Variants
Actions

Difference between revisions of "Fourier hyperfunction"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (MR/ZBL numbers added)
Line 21: Line 21:
 
<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/f/f120/f120110/f12011020.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
 
<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/f/f120/f120110/f12011020.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
  
Here, each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011021.png" /> is a convex open cone with vertex at the origin and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011022.png" /> is holomorphic on the wedge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011023.png" /> satisfying the infra-exponential estimate "for all e&gt;0, Fjz= OeeRez" locally uniformly in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011024.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011025.png" /> denotes its abstract limit to the real axis. The duality with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011026.png" /> is represented by the integral
+
Here, each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011021.png" /> is a convex open cone with vertex at the origin and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011022.png" /> is holomorphic on the wedge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011023.png" /> satisfying the infra-exponential estimate "for all e&gt;0, Fjz= OeeRez" locally uniformly in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011024.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011025.png" /> denotes its abstract limit to the real axis. The duality with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f12011026.png" /> is represented by the integral
  
 
<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/f/f120/f120110/f12011027.png" /></td> </tr></table>
 
<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/f/f120/f120110/f12011027.png" /></td> </tr></table>
Line 80: Line 80:
 
which is meaningful for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110138.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110139.png" /> can serve as a test function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110140.png" />. Thus, the Fourier transform of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110141.png" /> can be calculated as the sum of the boundary values of these from respective wedges. In practical calculations one does not have to replace the defining functions to realize <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110142.png" />. For example, the Fourier transform of the Poisson distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110143.png" /> can be calculated by means of its natural defining function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110144.png" /> by a suitable choice of the integral path corresponding to the decomposition of the support to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110145.png" />, giving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110146.png" />.
 
which is meaningful for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110138.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110139.png" /> can serve as a test function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110140.png" />. Thus, the Fourier transform of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110141.png" /> can be calculated as the sum of the boundary values of these from respective wedges. In practical calculations one does not have to replace the defining functions to realize <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110142.png" />. For example, the Fourier transform of the Poisson distribution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110143.png" /> can be calculated by means of its natural defining function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110144.png" /> by a suitable choice of the integral path corresponding to the decomposition of the support to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110145.png" />, giving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110146.png" />.
  
The following generalization of Paley–Wiener type holds: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110147.png" /> be a convex compact subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110148.png" />. (Here, "convex" means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110149.png" /> is convex in the usual sense and that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110150.png" /> generates a convex cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110151.png" />, called the asymptotic cone of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110152.png" />.) Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110153.png" /> if and only if there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110154.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110155.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110156.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110157.png" /> uniformly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110158.png" />, and such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110159.png" />.
+
The following generalization of Paley–Wiener type holds: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110147.png" /> be a convex compact subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110148.png" />. (Here, "convex" means that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110149.png" /> is convex in the usual sense and that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110150.png" /> generates a convex cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110151.png" />, called the asymptotic cone of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110152.png" />.) Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110153.png" /> if and only if there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110154.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110155.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110156.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110157.png" /> uniformly on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110158.png" />, and such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110159.png" />.
  
 
==Microlocalization.==
 
==Microlocalization.==
Line 104: Line 104:
 
<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/f/f120/f120110/f120110195.png" /></td> </tr></table>
 
<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/f/f120/f120110/f120110195.png" /></td> </tr></table>
  
The sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110196.png" /> of holomorphic functions of infra-exponential growth for this modified topology is defined in an obvious manner. The sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110197.png" /> of modified Fourier hyperfunctions is defined from the former by the same procedure as in the standard situation. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110198.png" /> of global modified Fourier hyperfunctions is the dual of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110199.png" /> of exponentially decreasing holomorphic functions defined on a "conical" complex neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110200.png" /> of the real axis. This modified version can be used to distinguish the analytic singular support of (Fourier) hyperfunctions: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110201.png" /> be a convex compact subset with asymptotic cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110202.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110203.png" /> is a section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110204.png" /> outside <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110205.png" /> if and only if there is a representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110206.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110207.png" /> as follows: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110208.png" /> and for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110209.png" />, one can find a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110210.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110211.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110212.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110213.png" /> is of infra-exponential growth in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110214.png" /> locally uniformly as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110215.png" />. This generalizes a similar result of L. Ehrenpreis for usual <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110216.png" /> singular supports.
+
The sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110196.png" /> of holomorphic functions of infra-exponential growth for this modified topology is defined in an obvious manner. The sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110197.png" /> of modified Fourier hyperfunctions is defined from the former by the same procedure as in the standard situation. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110198.png" /> of global modified Fourier hyperfunctions is the dual of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110199.png" /> of exponentially decreasing holomorphic functions defined on a "conical" complex neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110200.png" /> of the real axis. This modified version can be used to distinguish the analytic singular support of (Fourier) hyperfunctions: Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110201.png" /> be a convex compact subset with asymptotic cone <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110202.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110203.png" /> is a section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110204.png" /> outside <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110205.png" /> if and only if there is a representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110206.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110207.png" /> as follows: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110208.png" /> and for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110209.png" />, one can find a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110210.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110211.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110212.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110213.png" /> is of infra-exponential growth in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110214.png" /> locally uniformly as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110215.png" />. This generalizes a similar result of L. Ehrenpreis for usual <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110216.png" /> singular supports.
  
 
The profitability of the idea of a modified Fourier hyperfunction was discovered by M. Sato and T. Kawai in their joint researches (see [[#References|[a2]]]). Its foundation was developed in [[#References|[a4]]] in detail. Further generalizations have made by several people (see e.g. [[#References|[a8]]], [[#References|[a9]]]).
 
The profitability of the idea of a modified Fourier hyperfunction was discovered by M. Sato and T. Kawai in their joint researches (see [[#References|[a2]]]). Its foundation was developed in [[#References|[a4]]] in detail. Further generalizations have made by several people (see e.g. [[#References|[a8]]], [[#References|[a9]]]).
  
 
===Fourier ultra-hyperfunctions.===
 
===Fourier ultra-hyperfunctions.===
Functions of exponential growth cannot be canonically considered as Fourier hyperfunctions. The theory of Fourier ultra-hyperfunctions enables one to treat them naturally: The fundamental space of test functions in this theory is defined on a neighbourhood of a convex tube of base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110217.png" />, and has decay of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110218.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110219.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110220.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110221.png" /> are two convex compact sets. The Fourier transform maps this space isomorphically onto a similar space, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110222.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110223.png" /> replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110224.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110225.png" />. The elements of the dual space of this space are called Fourier ultra-hyperfunctions. They can also be given via the relative cohomology group of the corresponding sheaf of holomorphic functions with suitable growth. Thus, in short, the growth of the defining functions is allowed to be of a fixed exponential type, but as compensation for that, its "supports" as analytic functionals bulk to a tube, and no local theory is available [[#References|[a3]]]. This theory is useful for identifying special kinds of entire functions of exponential type.
+
Functions of exponential growth cannot be canonically considered as Fourier hyperfunctions. The theory of Fourier ultra-hyperfunctions enables one to treat them naturally: The fundamental space of test functions in this theory is defined on a neighbourhood of a convex tube of base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110217.png" />, and has decay of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110218.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110219.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110220.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110221.png" /> are two convex compact sets. The Fourier transform maps this space isomorphically onto a similar space, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110222.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110223.png" /> replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110224.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110225.png" />. The elements of the dual space of this space are called Fourier ultra-hyperfunctions. They can also be given via the relative cohomology group of the corresponding sheaf of holomorphic functions with suitable growth. Thus, in short, the growth of the defining functions is allowed to be of a fixed exponential type, but as compensation for that, its "supports" as analytic functionals bulk to a tube, and no local theory is available [[#References|[a3]]]. This theory is useful for identifying special kinds of entire functions of exponential type.
  
 
===Fourier hyperfunctions on manifolds.===
 
===Fourier hyperfunctions on manifolds.===
Line 118: Line 118:
  
 
====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"> T. Kawai,   "On the theory of Fourier hyperfunctions and its applications to partial differential equations with constant coefficients" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''17''' (1970) pp. 467–517</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> Y.S. Park,   M. Morimoto,   "Fourier ultra hyperfunctions in the Euclidean <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110229.png" />-space" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''20''' (1973) pp. 121–127</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> Y. Saburi,   "Fundamental properties of modified Fourier hyperfunctions" ''Tokyo J. Math.'' , '''4''' (1985) pp. 231–273</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> A. Kaneko,   "On the global existence of real analytic solutions of linear partial differential equations on unbounded domain" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''32''' (1985) pp. 319–372</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A. Kaneko,   "On the flabbiness of the sheaf of Fourier hyperfunctions" ''Sci. Pap. Coll. Gen. Educ. Univ. Tokyo'' , '''36''' (1986) pp. 1–14</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> A. Kaneko,   "Introduction to hyperfunctions" , Kluwer Acad. Publ. (1988)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> S. Nagamachi,   "The theory of vector valued Fourier hyperfunctions of mixed type I" ''Publ. RIMS Kyoto Univ.'' , '''17''' (1981) pp. 25–63</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> Y. Ito,   "Fourier hyperfunctions of general type" ''J. Math. Kyoto Univ.'' , '''38''' (1988) pp. 213–265</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> M. Morimoto,   "Analytic functionals on the Lie sphere" ''Tokyo J. Math.'' , '''3''' (1980) pp. 1–35</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> T. Oshima,   Y. Saburi,   M. Wakayama,   "Paley Wiener theorems on a symmetric space and its applications" ''Diff. Geom. Appl.'' , '''1''' (1991) pp. 247–278</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> H. Komatsu,   "Multipliers for Laplace hyperfunctions: A justification of Heaviside rules" ''Proc. Steklov Inst. Math.'' , '''203''' (1994) pp. 271–279</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> T. Takiguchi,   A. Kaneko,   "Radon transform of hyperfunctions and support theorem" ''Hokkaido Math. J.'' , '''24''' (1995) pp. 63–103</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> B. Ziemian,   "The Mellin transformation and multidimensional generalized Taylor expansions of singular functions" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''36''' (1989) pp. 263–295</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> Z. Szmydt,   B. Ziemian,   "Laplace distributions and hyperfunctions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110230.png" />" ''J. Math. Sci. Univ. Tokyo'' , '''5''' (1998) pp. 41–74</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) {{MR|0478241}} {{MR|0132392}} {{MR|0114124}} {{ZBL|0097.31404}} {{ZBL|0087.31402}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> T. Kawai, "On the theory of Fourier hyperfunctions and its applications to partial differential equations with constant coefficients" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''17''' (1970) pp. 467–517 {{MR|0298200}} {{ZBL|0212.46101}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> Y.S. Park, M. Morimoto, "Fourier ultra hyperfunctions in the Euclidean <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110229.png" />-space" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''20''' (1973) pp. 121–127 {{MR|324399}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> Y. Saburi, "Fundamental properties of modified Fourier hyperfunctions" ''Tokyo J. Math.'' , '''4''' (1985) pp. 231–273 {{MR|0800088}} {{ZBL|0597.46038}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> A. Kaneko, "On the global existence of real analytic solutions of linear partial differential equations on unbounded domain" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''32''' (1985) pp. 319–372 {{MR|0802895}} {{ZBL|0583.35013}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> A. Kaneko, "On the flabbiness of the sheaf of Fourier hyperfunctions" ''Sci. Pap. Coll. Gen. Educ. Univ. Tokyo'' , '''36''' (1986) pp. 1–14</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> A. Kaneko, "Introduction to hyperfunctions" , Kluwer Acad. Publ. (1988) {{MR|1026013}} {{ZBL|0687.46027}} </TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> S. Nagamachi, "The theory of vector valued Fourier hyperfunctions of mixed type I" ''Publ. RIMS Kyoto Univ.'' , '''17''' (1981) pp. 25–63 {{MR|0613934}} {{ZBL|0487.46024}} </TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> Y. Ito, "Fourier hyperfunctions of general type" ''J. Math. Kyoto Univ.'' , '''38''' (1988) pp. 213–265 {{MR|0953176}} {{ZBL|0711.46035}} </TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> M. Morimoto, "Analytic functionals on the Lie sphere" ''Tokyo J. Math.'' , '''3''' (1980) pp. 1–35 {{MR|0584545}} {{ZBL|0454.46032}} </TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> T. Oshima, Y. Saburi, M. Wakayama, "Paley Wiener theorems on a symmetric space and its applications" ''Diff. Geom. Appl.'' , '''1''' (1991) pp. 247–278</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top"> H. Komatsu, "Multipliers for Laplace hyperfunctions: A justification of Heaviside rules" ''Proc. Steklov Inst. Math.'' , '''203''' (1994) pp. 271–279 {{MR|1382614}} {{ZBL|0897.46024}} </TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top"> T. Takiguchi, A. Kaneko, "Radon transform of hyperfunctions and support theorem" ''Hokkaido Math. J.'' , '''24''' (1995) pp. 63–103 {{MR|1319031}} {{ZBL|0828.46040}} </TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top"> B. Ziemian, "The Mellin transformation and multidimensional generalized Taylor expansions of singular functions" ''J. Fac. Sci. Univ. Tokyo Sec. 1A'' , '''36''' (1989) pp. 263–295 {{MR|1015000}} {{ZBL|0713.46025}} </TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top"> Z. Szmydt, B. Ziemian, "Laplace distributions and hyperfunctions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120110/f120110230.png" />" ''J. Math. Sci. Univ. Tokyo'' , '''5''' (1998) pp. 41–74 {{MR|1617071}} {{ZBL|0917.46038}} </TD></TR></table>

Revision as of 16:57, 15 April 2012

The theory of Fourier hyperfunctions is a variant or generalization of the theory of Fourier transforms to wider classes of (generalized) functions than the usual ones (cf. also Fourier transform). The keyword of this theory is infra-exponential growth, that is, growth less than any exponential type. Fourier transforms of functions of infra-exponential growth were considered by L. Carleman. A general theory of Fourier hyperfunctions was proposed by M. Sato at the same time as his theory of hyperfunctions, in which the transformed objects can be interpreted naturally (cf. also Hyperfunction).

Sato gave a justification for the one-variable case in [a1]. A foundation for the general -dimensional case was given by T. Kawai [a2], with an application to the theory of linear partial differential equations with constant coefficients. Since then, various extensions of the theory have been proposed.

As is usual in Fourier theory, generalization can proceed along three lines: as the dual, as the generalized limit, or as the derivative of the classical Fourier transform.

Duality theory.

Let be the fundamental space of test functions that can be analytically continued to a strip and that satisfy in this strip the estimate

(a1)

This is the inductive limit of the space defined by a fixed as above, endowed with the norm

The same limit space is obtained if is replaced by the Hilbert space of holomorphic functions such that is integrable on . Hence, becomes a well-behaved space of type (DFS) (cf. also Generalized functions, space of), even nuclear (cf. also Nuclear space), and one can consider the dual space of , which is called the space of Fourier hyperfunctions. is of type FS and nuclear. The classical Fourier transform is easily seen to not only preserve the space , but also to act on it as a topological isomorphism. Thus, one can define the Fourier transform on by duality; it also gives an isomorphism. Since there is a continuous injection with dense range , the same is true for . In this way a generalization of the Fourier transform is obtained that is wider than the Schwartz theory of tempered distributions.

Boundary value representation.

Fourier hyperfunctions can be obtained as ideal limits of holomorphic functions with a certain growth restriction. Similarly to the boundary value representation of ordinary hyperfunctions by defining holomorphic functions (cf. also Hyperfunction), a Fourier hyperfunction admits the following representation:

(a2)

Here, each is a convex open cone with vertex at the origin and is holomorphic on the wedge satisfying the infra-exponential estimate "for all e>0, Fjz= OeeRez" locally uniformly in , where denotes its abstract limit to the real axis. The duality with is represented by the integral

where is a path in the intersection of with the domain of definition of . The value of the integral does not depend on the choice of . For the validity of all these it suffices that each is defined only on the part of the corresponding wedge lying in a strip neighbourhood of the real axis where is defined.

The kernel function of the Fourier transform is not a test function itself, but if is restricted to some convex open cone , then is exponentially decreasing in on , where

denotes the dual cone of . Thus, if each is exponentially decreasing when , then is exponentially decreasing everywhere in when is in and small enough. Thus, the Fourier transform can be calculated as the abstract limit of the function

(a3)

For the general case one uses a partition of unity such that each is exponentially decreasing when is outside a convex cone , and one sets

where each is calculated by (a3) with replaced by and by . If the partition is made of orthants with , then one can take as the partition function .

Localization.

There are many possibilities to extend the Fourier transform by means of duality, based on various fundamental spaces of test functions stable under the Fourier transform. If one chooses a fundamental space smaller than , one obtain a wider extension thereof. The most significant feature of Fourier hyperfunctions among such is localizability. Namely, one can define a sheaf on the directional compactification such that the above-introduced space of Fourier hyperfunctions agrees with the global section space . In this sense, infra-exponential growth is the best possible choice. The sheaf of Fourier hyperfunctions is constructed from the sheaf of germs of holomorphic functions with infra-exponential growth in the real direction as its th derived sheaf: . The sheaf is considered as living on , the growth condition describing the stalks at the points at infinity. Thus, when restricted to the finite points, reduces to and to the sheaf of usual hyperfunctions. Thanks to fundamental cohomology vanishing theorems for the sheaf similar to those for , the space of Fourier hyperfunctions on an open set can be represented by the global cohomology group , and this in turn can be represented by the covering cohomology: Choosing to be -Stein, i.e. cohomologically trivial for (cf. also Stein manifold), one obtains, e.g.,

where

This can be interpreted as the local boundary value representation

where

A more sophisticated choice of an -Stein covering of justifies a local boundary value representation of the form (a2) which is valid on , just as in the case of ordinary hyperfunctions.

The sheaf can be constructed also via duality, as in Martineau's theory for ordinary hyperfunctions: For each compact subset , one denotes by the space of such that there is a neighbourhood of in such that is holomorphic in and is exponentially decreasing at infinity.

Notice that the decay condition is meaningful only at points at infinity of . Then its dual gives the space of Fourier hyperfunctions supported by . General sections of Fourier hyperfunctions can be represented as obvious equivalence classes of locally finite sums of these. can be expressed by the relative cohomology group . This is an extension of Martineau–Harvey duality in the theory of ordinary hyperfunctions. The case corresponds to that for global Fourier hyperfunctions, given at the beginning.

Contrary to the general feeling, Schwartz tempered distributions can be localized in a similar way: One can consider a sheaf on of tempered distributions defined via duality in the same way as above. The notion of localization of with respect to the directional coordinates is useful. The global sections of on give the usual space of tempered distributions, whereas its global sections on lead to the usual space of distributions (cf. also Nuclear space). In this case the importance of the compactification is not clear, because , hence information on suffices to determine a tempered distribution, as is usually done.

In the case of Fourier hyperfunctions, however, this relation is more complicated: There is a canonical surjection . The surjectivity is a part of the flabbiness of the sheaf , which can be established analogously to the case of (cf. also Flabby sheaf). As usual, the extension is not unique. Especially, there are Fourier hyperfunctions supported at the points at infinity. The concrete Morimoto–Yoshino example of a Fourier hyperfunction with one point support at in one variable is given as the boundary value of the function defined by the integral

where is a simple path starting and ending at and passing through the region where is decreasing, say .

As a consequence of localizability, one can consider the support of Fourier hyperfunctions. Furthermore, by the flabbiness of the sheaf , one can decompose the support of a given Fourier hyperfunction according to any covering by closed subsets of . In particular, given a decomposition of by closed convex cones with vertex at the origin, or, more generally, by closed subsets which are asymptotically such, one can decompose accordingly, in such a way that . Then the Fourier transform of each can be calculated as the inner product

which is meaningful for , where can serve as a test function in . Thus, the Fourier transform of can be calculated as the sum of the boundary values of these from respective wedges. In practical calculations one does not have to replace the defining functions to realize . For example, the Fourier transform of the Poisson distribution can be calculated by means of its natural defining function by a suitable choice of the integral path corresponding to the decomposition of the support to , giving .

The following generalization of Paley–Wiener type holds: Let be a convex compact subset of . (Here, "convex" means that is convex in the usual sense and that generates a convex cone , called the asymptotic cone of .) Then if and only if there exists a such that for any and , uniformly on , and such that .

Microlocalization.

Just as in the case of ordinary hyperfunctions, one can consider microlocal regularity for Fourier hyperfunctions: is said to be micro-analytic at if it admits a local boundary value representation (a2) that is valid in a neighbourhood of such that the half-space meets all of . This is equivalent to saying that in a neighbourhood of , can be written as the sum , where comes from a local section of and is a global Fourier hyperfunction whose Fourier transform is zero (exponentially decreasing) on a conic neighbourhood of the direction . The set of points where is not micro-analytic is called the singular spectrum or the analytic wavefront set of , and is denoted by or . This notion includes not only that of directional analyticity, but also the directional growth property of . For example, if is analytic on a strip neighbourhood of the real axis but not of infra-exponential growth, then may contain .

One can introduce the sheaf of Fourier microfunctions representing the microlocal singularities of the Fourier hyperfunctions. This sheaf is flabby, and consequently one can decompose the singular spectrum of Fourier hyperfunctions according to any closed covering [a6].

This notion may be effectively employed for certain problems in global analysis on unbounded domains [a5].

Relation to other (generalized) functions.

In addition to the space of tempered distributions , the space of Fourier hyperfunctions contains the space of ultra-distributions of Gevrey index and of growth order as a subspace invariant under the Fourier transform. Hyperfunctions with compact supports can be canonically considered as Fourier hyperfunctions. General hyperfunctions can be considered as Fourier hyperfunctions after extension to , but the extension is not unique and the ambiguity of extension influences the result of the Fourier transform in an essential manner. A measurable function of infra-exponential growth (in the sense of the essential supremum) can be canonically considered as a Fourier hyperfunction. Conversely, any Fourier hyperfunction can be represented as the derivative of such a function by a local operator , that is, an infinite-order differential operator whose symbol is an entire function of order and of minimal type.

Extensions.

Modified Fourier hyperfunctions.

There are many choices for the compactification of or , and one can consider corresponding versions of Fourier hyperfunctions. The most important one is defined on the real axis in the full directional compactification of , and is called the space of modified Fourier hyperfunctions. While the typical shape of a complex fundamental neighbourhood of a real point at infinity in the space of standard Fourier hyperfunctions has the form

the shape in for a modified Fourier hyperfunction is

The sheaf of holomorphic functions of infra-exponential growth for this modified topology is defined in an obvious manner. The sheaf of modified Fourier hyperfunctions is defined from the former by the same procedure as in the standard situation. The space of global modified Fourier hyperfunctions is the dual of the space of exponentially decreasing holomorphic functions defined on a "conical" complex neighbourhood of the real axis. This modified version can be used to distinguish the analytic singular support of (Fourier) hyperfunctions: Let be a convex compact subset with asymptotic cone . Then is a section of outside if and only if there is a representation by as follows: For any and for any , one can find a such that is holomorphic in and is of infra-exponential growth in locally uniformly as . This generalizes a similar result of L. Ehrenpreis for usual singular supports.

The profitability of the idea of a modified Fourier hyperfunction was discovered by M. Sato and T. Kawai in their joint researches (see [a2]). Its foundation was developed in [a4] in detail. Further generalizations have made by several people (see e.g. [a8], [a9]).

Fourier ultra-hyperfunctions.

Functions of exponential growth cannot be canonically considered as Fourier hyperfunctions. The theory of Fourier ultra-hyperfunctions enables one to treat them naturally: The fundamental space of test functions in this theory is defined on a neighbourhood of a convex tube of base , and has decay of for some , where and are two convex compact sets. The Fourier transform maps this space isomorphically onto a similar space, with and replaced by and . The elements of the dual space of this space are called Fourier ultra-hyperfunctions. They can also be given via the relative cohomology group of the corresponding sheaf of holomorphic functions with suitable growth. Thus, in short, the growth of the defining functions is allowed to be of a fixed exponential type, but as compensation for that, its "supports" as analytic functionals bulk to a tube, and no local theory is available [a3]. This theory is useful for identifying special kinds of entire functions of exponential type.

Fourier hyperfunctions on manifolds.

On a real-analytic open manifold one can introduce the sheaf of Fourier hyperfunctions, extending the usual sheaf of hyperfunctions, whose base is the compactification of . The suitable growth condition, which is not necessarily infra-exponential, is determined from the boundary geometry of . This is effectively used to study the spectral properties of elliptic operators or the boundary behaviour of the manifold itself [a10], [a11].

Analogues for other types of integral transforms.

Similar ideas can be employed to generalize the Mellin transform, the Radon transform and other integral transforms (see, e.g., [a12], [a13], [a14], [a15]).

References

[a1] M. Sato, "Theory of hyperfunctions" SÛgaku , 10 (1958) pp. 1–27 (In Japanese) MR0478241 MR0132392 MR0114124 Zbl 0097.31404 Zbl 0087.31402
[a2] T. Kawai, "On the theory of Fourier hyperfunctions and its applications to partial differential equations with constant coefficients" J. Fac. Sci. Univ. Tokyo Sec. 1A , 17 (1970) pp. 467–517 MR0298200 Zbl 0212.46101
[a3] Y.S. Park, M. Morimoto, "Fourier ultra hyperfunctions in the Euclidean -space" J. Fac. Sci. Univ. Tokyo Sec. 1A , 20 (1973) pp. 121–127 MR324399
[a4] Y. Saburi, "Fundamental properties of modified Fourier hyperfunctions" Tokyo J. Math. , 4 (1985) pp. 231–273 MR0800088 Zbl 0597.46038
[a5] A. Kaneko, "On the global existence of real analytic solutions of linear partial differential equations on unbounded domain" J. Fac. Sci. Univ. Tokyo Sec. 1A , 32 (1985) pp. 319–372 MR0802895 Zbl 0583.35013
[a6] A. Kaneko, "On the flabbiness of the sheaf of Fourier hyperfunctions" Sci. Pap. Coll. Gen. Educ. Univ. Tokyo , 36 (1986) pp. 1–14
[a7] A. Kaneko, "Introduction to hyperfunctions" , Kluwer Acad. Publ. (1988) MR1026013 Zbl 0687.46027
[a8] S. Nagamachi, "The theory of vector valued Fourier hyperfunctions of mixed type I" Publ. RIMS Kyoto Univ. , 17 (1981) pp. 25–63 MR0613934 Zbl 0487.46024
[a9] Y. Ito, "Fourier hyperfunctions of general type" J. Math. Kyoto Univ. , 38 (1988) pp. 213–265 MR0953176 Zbl 0711.46035
[a10] M. Morimoto, "Analytic functionals on the Lie sphere" Tokyo J. Math. , 3 (1980) pp. 1–35 MR0584545 Zbl 0454.46032
[a11] T. Oshima, Y. Saburi, M. Wakayama, "Paley Wiener theorems on a symmetric space and its applications" Diff. Geom. Appl. , 1 (1991) pp. 247–278
[a12] H. Komatsu, "Multipliers for Laplace hyperfunctions: A justification of Heaviside rules" Proc. Steklov Inst. Math. , 203 (1994) pp. 271–279 MR1382614 Zbl 0897.46024
[a13] T. Takiguchi, A. Kaneko, "Radon transform of hyperfunctions and support theorem" Hokkaido Math. J. , 24 (1995) pp. 63–103 MR1319031 Zbl 0828.46040
[a14] B. Ziemian, "The Mellin transformation and multidimensional generalized Taylor expansions of singular functions" J. Fac. Sci. Univ. Tokyo Sec. 1A , 36 (1989) pp. 263–295 MR1015000 Zbl 0713.46025
[a15] Z. Szmydt, B. Ziemian, "Laplace distributions and hyperfunctions on " J. Math. Sci. Univ. Tokyo , 5 (1998) pp. 41–74 MR1617071 Zbl 0917.46038
How to Cite This Entry:
Fourier hyperfunction. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fourier_hyperfunction&oldid=15571
This article was adapted from an original article by Akira Kaneko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article