Bochner's tube theorem explained

In mathematics, Bochner's tube theorem (named for Salomon Bochner) shows that every function holomorphic on a tube domain in

C ^{n} can be extended to the convex hull of this domain.

Theorem Let

\omega \subset R ^{n} be a connected open set. Then every function f(z) holomorphic on the tube domain \Omega = \omega + i R ^{n} can be extended to a function holomorphic on the convex hull \operatorname{ch}(\Omega) .

A classic reference is ^[1] (Theorem 9). See also ^{[2] [3]} for other proofs.

Generalizations

The generalized version of this theorem was first proved by Kazlow (1979),^[4] also proved by Boivin and Dwilewicz (1998)^[5] under more less complicated hypothese.

Theorem Let

\omega be a connected submanifold of R ^{n} of class-C ^{2} . Then every continuous CR function on the tube domain \Omega(\omega) can be continuously extended to a CR function on \Omega( ach (\omega)). \left(\Omega(\omega) = \omega + i R ^{n\subsetC} ^{n \left(n\geq} 2 \right), ach (\omega): = \omega\cup Int ch (\omega)\right) . By "Int ch(S)" we will mean the interior taken in the smallest dimensional space which contains "ch(S)".

Notes and References

1. Book: Bochner . S. . Martin . W.T.. Several Complex Variables . Princeton University Press . Princeton mathematical series . 1948 . 978-0-598-34865-4 .
2. Hounie . J. . A Proof of Bochner's Tube Theorem . Proceedings of the American Mathematical Society . American Mathematical Society . 137 . 12 . 2009 . 4203–4207 . 10.1090/S0002-9939-09-10057-6 . 40590656 . free .
3. 2007.04597. Noguchi. Junjiro. A brief proof of Bochner's tube theorem and a generalized tube. 2020. math.CV.
4. 10.1090/S0002-9947-1979-0542875-5. CR functions and tube manifolds. 1979. Kazlow. M.. Transactions of the American Mathematical Society. 255. 153. free.
5. 117646. Extension and Approximation of CR Functions on Tube Manifolds. Boivin. André. Dwilewicz. Roman. Transactions of the American Mathematical Society. 1998. 350. 5. 1945–1956. 10.1090/S0002-9947-98-02019-4. free. .