Edge-of-the-wedge Theorem - Connection With Hyperfunctions

Connection With Hyperfunctions

The edge-of-the-wedge theorem has a natural interpretation in the language of hyperfunctions. A hyperfunction is roughly a sum of boundary values of holomorphic functions, and can also be thought of as something like a "distribution of infinite order". The analytic wave front set of a hyperfunction at each point is a cone in the cotangent space of that point, and can be thought of as describing the directions in which the singularity at that point is moving.

In the edge-of-the-wedge theorem, we have a distribution (or hyperfunction) f on the edge, given as the boundary values of two holomorphic functions on the two wedges. If a hyperfunction is the boundary value of a holomorphic function on a wedge, then its analytic wave front set lies in the dual of the corresponding cone. So the analytic wave front set of f lies in the duals of two opposite cones. But the intersection of these duals is empty, so the analytic wave front set of f is empty, which implies that f is analytic. This is the edge-of-the-wedge theorem.

In the theory of hyperfunctions there is an extension of the edge-of-the-wedge theorem to the case when there are several wedges instead of two, called Martineau's edge-of-the-wedge theorem. See the book by Hörmander for details.