A generalization of Forelli's theorem (Q1945152): Difference between revisions

The aim of this paper is to generalize the now classical theorem by \textit{F. Forelli} [Math. Scand. 41 (1977), 358--364 (1978; Zbl 0373.31006)] stating that a function that is smooth at zero (meaning that for any \(k\) one can find a polynomial \(p_k\) such that the difference with the function is \(o(|z|^k)\)) and holomorphic in every direction through zero is in fact holomorphic as a function of several variables. There has been a generalization of this theorem by \textit{E. M. Chirka} [Tr. Mat. Inst. Steklova 253 (2006), Kompleks. Anal. i Prilozh., 232--240; translation in Proc. Steklov Inst. Math. 2006, no. 2 (253), 212--220] and another by \textit{K.-T. Kim} et al. [J. Geom. Anal. 19, No. 3, 655--666 (2009; Zbl 1172.32009)]. In this paper the following generalization is given: Let \(h\) be a local \(\mathcal C^{1}\) radial foliation by holomorphic discs (the definition of this notion is given in the paper) of a domain in \(\mathbb C^{n}\). Now given a function that is \(\mathcal C^{1}\) on the domain and smooth at some point (in the sense given above) then it is enough that the function is holomorphic along leaves of the foliation to conclude that it is holomorphic in some neighborhood of this point. The relation with the aforementioned generalizations is explained by the authors as follows. This result is weaker than Chirka's result in dimension \(2\), however, contrary to it, the proof works in any dimension and is more straightforward. Some nice corollaries to this result are also provided.