Uniform Regularity in a Wedge and Regularity of Traces of CR Functions

We discuss in Sect. 1 the property of regularity at the boundary of separately holomorphic functions along families of discs and apply, in Sect. 2, to two situations. First, let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{W}$\end{document} be a wedge of ℂn with Cω, generic edge ℰ: a holomorphic function f on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{W}$\end{document} has always a generalized (hyperfunction) boundary value bv(f) on ℰ, and this coincides with the collection of the boundary values along the discs which have Cω transversal intersection with ℰ. Thus Sect. 1 can be applied and yields the uniform continuity at ℰ of f when bv(f) is (separately) continuous. When \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{W}$\end{document} is only smooth, an additional property, the temperateness of f at ℰ, characterizes the existence of boundary value bv(f) as a distribution on ℰ. If bv(f) is continuous, this operation is consistent with taking limits along discs (Theorem 2.8). By Sect. 1, this yields again the uniform continuity at ℰ of tempered holomorphic functions with continuous bv. This is the theorem by Rosay (Trans. Am. Math. Soc. 297(1):63–72, 1986), in whose original proof the method of “slicing” by discs is not used.