Namespaces
Variants
Actions

Bogolyubov theorem

From Encyclopedia of Mathematics
Revision as of 07:17, 13 June 2022 by Liuyao (talk | contribs) (→‎References: remove vec)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Bogolyubov's edge-of-the-wedge theorem is a generalization of the principle of analytic continuation, in particular to the case of several complex variables. It was obtained in 1956 by N.N. Bogolyubov in the justification of the dispersion relations in quantum field theory ([1], Appendix A). The modern formulation is as follows. Let a function $ f(z) $, $ z = (z _ {1}, \dots, z _ {n} ) = x + iy $, be holomorphic in an open set $ T _ \eta ^ {C} = \{ {z } : {| z | < \eta, y \in C } \} $, where $ C $ is an open cone in $ \mathbf R ^ {n} $ with apex at zero such that $ C \cap (-C) \neq \emptyset $, let the open set $ \mathcal O \subset \mathbf R ^ {n} $ be contained in the ball $ | x | < \eta $ and suppose that for any test function $ \phi (x) $ from $ \mathcal D (\mathcal O) $ the limit

$$ \lim\limits _ {\begin{array}{c} y \rightarrow 0 \\ y \in C \end{array} } \int\limits f(x+ iy) \phi (x) dx $$

exists, independent from the way in which $ y \rightarrow 0 $, $ y \in C $; then $ f(z) $ can be analytically continued into the domain $ T _ \eta ^ {C} \cup \widetilde{\mathcal O} $:

$$ \widetilde{\mathcal O} = \ \bigcup _ {\xi \in\mathcal O } \{ z : | z - \xi | < \theta \Delta _ {\mathcal O} ( \xi ) \}, $$

where $ \widetilde{\mathcal O} $ is a complex neighbourhood of the set $ \mathcal O $, $ 0 < \theta < 1 $ is a constant which depends only on the cone $ C $, and $ {\Delta _ {\mathcal O} } ( \xi ) $ is the distance from the point $ \xi $ to the boundary of $ \mathcal O $. Bogolyubov's edge-of-the-wedge theorem also remains valid if $ \eta = \infty $. In such a case, and under certain assumptions regarding the growth of the function $ f(z) $, one obtains the original formulation of Bogolyubov (cf. [1]; the light cone in $ \mathbf R ^ {4} $ plays the role of the cone). There exist various proofs and generalizations of this theorem [2], [5]. In particular, one can mention the generalizations to hyperfunctions [4] and to holomorphic cocycles [3].

Bogolyubov's edge-of-the-wedge theorem is extensively employed in axiomatic quantum field theory, in the theory of partial differential equations and in the theory of boundary values of holomorphic functions (especially of functions of several complex variables). A useful completion of the theorem is the $ C $-convex hull theorem [2]. Let, under the conditions of Bogolyubov's theorem, $ C = C ^ {+} \cup C ^ {-} $, $ C ^ {-} = -C ^ {+} $, where $ C ^ {+} $ is a convex sharp cone; then

$$ B _ {C} (\mathcal O) \subset \ \mathop{\rm Re} H (T _ \eta ^ {C} \cup \widetilde{\mathcal O} ), $$

where $ H (D) $ is the envelope of holomorphy (cf. Holomorphic envelope) of $ D $, $ \mathop{\rm Re} D $ is the real section of the domain $ D $, and $ B _ {C} (\mathcal O) $ is the $ C $-convex hull of the set $ \mathcal O $, i.e. the smallest open set containing $ \mathcal O $ and having the following property: If the points $ x ^ \prime $ and $ x ^ {\prime\prime} $ of $ B _ {C} (\mathcal O) $ can be connected by a $ C $-similar curve that is totally contained in $ B _ {C} (\mathcal O) $, then all $ C $-similar curves homotopic to it are located in $ B _ {C} (\mathcal O) $.

References

[1] N.N. Bogolyubov, D.V. Shirkov, "Introduction to the theory of quantized fields" , Interscience (1959) (Translated from Russian) MR110471 Zbl 0088.21701
[2] V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)
[3] A. Martineau, "Distributions et valeurs au bord des fonctions holomorphes" , Theory of distributions. Proc. internat. summer inst. , Lisbon (1964) pp. 193–326 MR0219754
[4] H. Komatsu (ed.) , Hyperfunctions and pseudodifferential equations. Proc. Conf. Katata, 1971 , Lect. notes in math. , 287 , Springer (1973)
[5] W. Rudin, "Lectures on the edge-of-the-wedge theorem" , Amer. Math. Soc. (1971) MR0310288 Zbl 0214.09001

Comments

Additional generalizations of the edge-of-the-wedge theorem include the case where $ C \cap (-C) = \emptyset $, see [5], and the case where the "edge" of the "wedge" is a totally-real hypersurface in $ \mathbf C ^ {n} $ instead of an open set in $ \{ \mathop{\rm Im} z = 0 \} $ in $ \mathbf C ^ {n} $, see [a1]. For cones $ C = C ^ {+} \cup C ^ {-} $, where $ C ^ {+} $ is convex, a $ C $-similar curve in $ \mathcal O $ is defined as a differentiable curve $ C (t): [0, 1] \rightarrow \mathcal O $ such that $ C ^ { \prime } (t) \in C $.

References

[a1] E. Bedford, "Holomorphic continuation at a totally real edge" Math. Ann. , 230 (1977) pp. 213–225 MR0457776 Zbl 0346.32020

Bogolyubov's theorem on singularities of type $ 1/q ^ {2} $. A theorem in statistical mechanics on the asymptotic behaviour of Green functions (cf. Green function) in the limit of small momenta ($ q \rightarrow 0 $) for Bose and Fermi systems with a gauge-invariant interaction potential. Presented in 1961 by N.N. Bogolyubov [1].

The following inequality is valid for systems of several interacting particles in the case of a degenerate statistical equilibrium state for the two-time temperature commutator Green functions (cf. Green function in statistical mechanics) in the energy representation:

$$ \tag{1 } | \langle \langle a _ {\mathbf q } , a _ {\mathbf q } ^ {+} \rangle \rangle _ {E=0} | \geq \textrm{ const } \cdot {\mathbf q } ^ {-2} , $$

where $ a _ {\mathbf q } , a _ {\mathbf q } ^ {+} $ are the annihilation and creation operators of a particle with momentum $ \mathbf{q} $.

The singularities in the Green functions specified in Bogolyubov's theorem which appear when $ \mathbf q \rightarrow 0 $ correspond to elementary excitations in the physical system under study. Bogolyubov's theorem also predicts the asymptotic behaviour for small momenta of macroscopic properties of the system which are connected with Green functions by familiar theorems.

Thus, according to (1), in the case of superfluid Bose or Fermi systems, the particle density distribution $ \omega ( \mathbf q ) $ tends to infinity as $ \mathbf q \rightarrow 0 $ at a rate which is not slower than $ 1/ {\mathbf q ^ {2} } $. In such a case the degeneracy of the state of statistical equilibrium is due to the conservation law of the total number of particles, i.e. to the invariance of the Hamiltonian of the system with respect to gauge transformations. However, similar singularities appear in the respective Green functions, and hence also in the correlation functions characterizing systems with other kinds of degeneracy caused by certain additional conservation laws, i.e. by the invariance of the Hamiltonian of the system with respect to certain transformations. Bogolyubov's theorem has a number of non-trivial physical consequences, involving problems of long-range ordering in systems of many interacting particles in which a spontaneous symmetry breaking manifests itself in various ways: the Heisenberg model with ferromagnetic, anti-ferromagnetic and ferrimagnetic ordering, systems of superfluid and superconducting types and systems with crystalline ordering.

The appearance of singularities in the Green functions as $ {\mathbf q } \rightarrow 0 $ is connected with the presence of a branch of collective excitations in the energy spectrum of the system that corresponds with spontaneous symmetry breaking under certain restrictions on the interaction potential.

The nature of the energy spectrum of elementary excitations may be studied with the aid of the mass operator inequality constructed for Green functions of type (1). In the case of Bose systems, for a finite temperature $ (\theta \equiv {k _ {B} } T > 0) $, this inequality has the form:

$$ \tag{2 } | \Sigma _ {11} (0, \mathbf q ) - \Sigma _ {12} (0, \mathbf q ) | \leq \textrm{ const } \cdot \mathbf q ^ {2} . $$

If $ \mathbf q = 0 $, formula (2) yields a generalization of the so-called Hugenholtz–Pines formula to finite temperatures. If one assumes that the mass operator is regular in a neighbourhood of the point $ (E = 0, \mathbf{q} = 0) $, then one can use (2) to prove the absence of a gap in the (phonon-type) excitation energy spectrum.

In the case of zero temperatures ( $ \theta = 0 $) inequality (1) establishes a connection between the density of the continuous distribution of the particle momenta and the minimum energy of an excited state.

Relations of type (1) should also be valid in quantum field theory, in which a spontaneous symmetry breaking (at a transition between two ground states) results [4], [5] in an infinite number of particles of zero mass (Goldstone's theorem), which are interpreted as singularities for small momenta in the quantum field Green functions. Bogolyubov's theorem has been applied to a relativistic quantum-field model with a spontaneous symmetry breaking [6].

References

[1] N.N. Bogolyubov, , Selected works , 3 , Kiev (1970) (In Russian) MR1321817 MR1228446 MR1098017 MR1098016 MR0871873 MR0804234 MR0555732 MR0414297 Zbl 0221.01014 Zbl 0226.01021
[2] B.I. Sadovnikov, V.K. Fedyanin, "N.N. Bogoljubov's inequalities in systems of many interacting particles with broken symmetry" Teoret. Mat. Fiz. , 16 : 3 (1973) pp. 368–393 (In Russian) (English abstract) MR0468997 Zbl 0196.37302 Zbl 0113.29802
[3] N.N. Bogolyubov jr., B.I. Sadovnikov, "Some questions in statistical mechanics" , Moscow (1975) (In Russian)
[4] J. Goldstone, "Field theories with "superconductor" solutions" Nuovo Cimento (10) , 19 (1961) pp. 154–164 (Italian abstract) MR0128374 Zbl 0099.23006
[5] J. Goldstone, A. Salam, S. Weinberg, "Broken symmetries" Phys. Rev. (2) , 127 (1962) pp. 965–970 MR0160500 Zbl 0106.20601
[6] A.K. Kazanskii, Teoret. Mat. Fiz. , 22 : 3 (1975) pp. 418–421

A.M. Kurbatov

How to Cite This Entry:
Bogolyubov theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bogolyubov_theorem&oldid=52412
This article was adapted from an original article by V.S. Vladimirov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article