The Zahorski theorem is valid in Gevrey classes (Q4344965)

The well-known Zahorski theorem [\textit{Z. Zahorski}, Fundam. Math. 34, 183-245 (1947; Zbl 0033.25504)] asserts that for every partition \(\{\Omega,F,G\}\) of \([0,1]\subset\mathbb{R}\), where \(\Omega\) is an open subset of \([0,1]\), \(F\) is a (Baire) first category \(F_\sigma\)-subset of \([0,1]\) and \(G\) is a \(G_\delta\)-subset of \([0,1]\), there is a real \({\mathcal C}^\infty\)-function \(f\) on \([0,1]\) such that \(\Omega= \Omega_f:=\{x:f\) is analytic in a neighbourhood of \(x\}\), \(F= F_f:=\{x:\rho_f(x)>0\}\), where \(\rho_f(x)\) denotes the radius of convergence of the Taylor series of \(f\) at \(x\), and \(G= G_f:=\{x: \rho_f(x)=0\}\). Zahorski's result has been extended by \textit{J. Siciak} to \(\mathbb{R}^n\) [cf. Zesz. Nauk. Politech. Śl., Ser. Mat.-Fiz. 853(48), 127-146 (1986; Zbl 0777.26020)]. In this paper, the authors give an important specification of the multivariate Zahorski theorem by showing that if \(\{\Omega,F,G\}\) is a partition of \(\mathbb{R}^n\) such that \(\Omega\) is open, \(F\) is \(F_\sigma\) and of the first category, and \(G\) is \(G_\delta\), then, for every \(\gamma>1\), there is a function \(f\) in the Gevrey class \(\Gamma_\gamma\) such that \(\Omega=\Omega_f\), \(F=F_f\) and \(G= G_f\).