The General Case
A wedge is a product of a cone with some set.
Let C be an open cone in the real vector space Rn, with vertex at the origin. Let E be an open subset of Rn, called the edge. Write W for the wedge in the complex vector space Cn, and write W' for the opposite wedge . Then the two wedges W and W' meet at the edge E, where we identify E with the product of E with the tip of the cone.
- Suppose that f is a continuous function on the union that is holomorphic on both the wedges W and W' . Then the edge-of-the-wedge theorem says that f is also holomorphic on E (or more precisely, it can be extended to a holomorphic function on a neighborhood of E).
The conditions for the theorem to be true can be weakened. It is not necessary to assume that f is defined on the whole of the wedges: it is enough to assume that it is defined near the edge. It is also not necessary to assume that f is defined or continuous on the edge: it is sufficient to assume that the functions defined on either of the wedges have the same distributional boundary values on the edge.
Read more about this topic: Edge-of-the-wedge Theorem
Famous quotes containing the words general and/or case:
“All the critics who could not make their reputations by discovering you are hoping to make them by predicting hopefully your approaching impotence, failure and general drying up of natural juices. Not a one will wish you luck or hope that you will keep on writing unless you have political affiliations in which case these will rally around and speak of you and Homer, Balzac, Zola and Link Steffens.”
—Ernest Hemingway (1899–1961)
“Consumer wants can have bizarre, frivolous, or even immoral origins, and an admirable case can still be made for a society that seeks to satisfy them. But the case cannot stand if it is the process of satisfying wants that creates the wants.”
—John Kenneth Galbraith (b. 1908)