A generalization of Bochner's extension theorem to rough tubes (Q535607)

From MaRDI portal





scientific article; zbMATH DE number 5887821
Language Label Description Also known as
default for all languages
No label defined
    English
    A generalization of Bochner's extension theorem to rough tubes
    scientific article; zbMATH DE number 5887821

      Statements

      A generalization of Bochner's extension theorem to rough tubes (English)
      0 references
      0 references
      0 references
      13 May 2011
      0 references
      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\).
      0 references
      Bochner's tube theorem
      0 references
      extension of CR functions
      0 references

      Identifiers