# Edge-of-the-wedge theorem

Edge-of-the-wedge theorem In mathematics, Bogoliubov's edge-of-the-wedge theorem implies that holomorphic functions on two "wedges" with an "edge" in common are analytic continuations of each other provided they both give the same continuous function on the edge. It is used in quantum field theory to construct the analytic continuation of Wightman functions. The formulation and the first proof of the theorem were presented[1][2] by Nikolay Bogoliubov at the International Conference on Theoretical Physics, Seattle, EUA (Setembro, 1956) and also published in the book Problems in the Theory of Dispersion Relations.[3] Further proofs and generalizations of the theorem were given by R. Jost and H. Lehmann (1957),[4] F. Dyson (1958), H. Epstein (1960), and by other researchers.

Conteúdo 1 The one-dimensional case 1.1 Continuous boundary values 1.2 Distributional boundary values on a circle 1.3 Distributional boundary values on an interval 2 The general case 3 Application to quantum field theory 4 Connection with hyperfunctions 5 Notas 6 Referências 7 Further reading The one-dimensional case Continuous boundary values In one dimension, a simple case of the edge-of-the-wedge theorem can be stated as follows.

Suppose that f is a continuous complex-valued function on the complex plane that is holomorphic on the upper half-plane, and on the lower half-plane. Then it is holomorphic everywhere.

Neste exemplo, the two wedges are the upper half-plane and the lower half plane, and their common edge is the real axis. This result can be proved from Morera's theorem. De fato, a function is holomorphic provided its integral round any contour vanishes; a contour which crosses the real axis can be broken up into contours in the upper and lower half-planes and the integral round these vanishes by hypothesis.[5][6] Distributional boundary values on a circle The more general case is phrased in terms of distributions.[7][8] This is technically simplest in the case where the common boundary is the unit circle {estilo de exibição |z|=1} in the complex plane. In that case holomorphic functions f, g in the regions {estilo de exibição r<|z|<1} and {displaystyle 1<|z|

Se você quiser conhecer outros artigos semelhantes a **Edge-of-the-wedge theorem** você pode visitar a categoria **Axiomatic quantum field theory**.

Deixe uma resposta