In mathematics, Malgrange–Zerner theorem (named for Bernard Malgrange and Martin Zerner) shows that a function on allowing holomorphic extension in each variable separately can be extended, under certain conditions, to a function holomorphic in all variables jointly. This theorem can be seen as a generalization of Bochner's tube theorem to functions defined on tube-like domains whose base is not an open set.
Theorem Let
and let convex hull of . Let be a locally bounded function such that and that for any fixed point the function is holomorphic in in the interior of for each . Then the function can be uniquely extended to a function holomorphic in the interior of .
History According to Henry Epstein, this theorem was proved first by Malgrange in 1961 (unpublished), then by Zerner Zerner M. (1961), mimeographed notes of a seminar given in Marseilles (as cited in ), and communicated to him privately. Epstein's lectures contain the first published proof (attributed there to Broz, Epstein and Glaser). The assumption was later relaxed to (see Ref. in ) and finally to .
References