Extension and tangential CRF conditions in quaternionic analysis (Q2210727)

The paper deals with some extension results for the class of quaternionic functions of several quaternionic variables that are regular in the sense of Fueter. After a general introduction on Fueter regularity in one and several variables, the authors define the notion of \textit{domain splitting} for an open domain \(\Omega\subset\mathbb{H}^2\), given by a triple \((S,U^+,U^-)\), where \(S\) is a smooth closed hypersurface of \(\Omega\) and \(U^+\), \(U^-\) are open and such that \(\Omega\setminus S=U^+\cup U^-\) and their boundary is \(S\). A smooth function \(f:S\to\mathbb{H}\) is called a \textit{smooth jump} relative to a domain splitting \((S,U^+,U^-)\) if can be extended by two Fueter regular functions \(F^+\) and \(F^-\) on \(U^+\) and \(U^-\), respectively. Then, the authors introduce the notion of \textit{admissible function} and, after a deep and detailed analysis of this concept, they are able to prove their first main theorem stating the following: given a convex domain \(\Omega\) and a splitting \((S,U^+,U^-)\), then if \(f:S\to\mathbb{H}\) is a smooth admissible function, it is in fact a smooth jump. As applications of this result, the authors prove two extension results. After this neat analysis, the paper continues with a section deepening weak conditions in order to obtain the same mentioned results and with an appendix concerning the octonionic context.