A generalization of Bochner's extension theorem to rough tubes (Q535607): Difference between revisions

A classical theorem of Bochner states that if \(\Omega\subset\mathbb R^m\) is a domain, then all holomorphic functions defined on the tube \(M=\Omega + i\mathbb R^m\subset\mathbb C^m\) extend holomorphically to the convex hull of \(M\). The theorem was generalized by \textit{M. Kazlow} [Trans. Am. Math. Soc. 255, 153--171 (1979; Zbl 0426.32005)] and \textit{A. Boivin} and \textit{R. Dwilewicz} [Trans. Am. Math. Soc. 350, No. 5, 1945--1956 (1998; Zbl 0903.32005)] to CR-functions in the following sense: let \(X\subset\mathbb R^m\) be a \(\mathcal C^2\) connected submanifold, then every function \(h\) CR on the tube \(M=X+i\mathbb R^m\) extends to a function \(H\) holomorphic in the interior of the convex hull of \(M\). This paper aims to generalize further by removing regularity assumpions on \(X\) (and hence on \(M\)). Let \(X\subset \mathbb R^m\) be a connected set, and \(M=X+i\mathbb R^m\subset \mathbb C^m\). A continuous function \(f\) on \(M\) is said to be a generalizedd \(CR\) function if there is a sequence of entire functions converging uniformly to \(f\) on compacts of \(M\). In this paper, under the assumption that \(X\) is a rectifiably connected set (i.e.\ every two points in \(X\) are connected by an arc of finite lenght), it is proved that all generalized CR functions on the tube \(M=X+i\mathbb R^m\subset \mathbb C^m\) extend to a function \(H\) holomorphic in the interior of the convex hull of \(M\).