On the conditions for the holomorphic extension of smooth CR-functions into a fixed domain (Q1589052)

Sei \(\Omega\subset \mathbb{C}^n\) ein beschränktes Gebiet, \(\Gamma \subset \overline \Omega\) eine Hyperfläche, die den Rand \(S=\partial \Omega\) transversal schneidet. Es geht um holomorphe Fortsetzbarkeit von CR-Funktionen \(f\) auf \(\Gamma\) in einen Teil \(\Omega^+\) von \(\Omega\) hinein. In früheren Arbeiten des ersten Autors (zus. mit Aizenberg) werden hierfür Kriterien geliefert. Aus diesen folgt für \(\Omega=\) Einheitskugel zunächst die Fortsetzbarkeit von \(f\) genau dann, wenn gewisse gewichtete \(\alpha\)-te Ableitungen \((\alpha= (\alpha_1,\dots, \alpha_n))\) des Bochner-Martinelli-Integrals von \(f\) (an der Stelle \(z=0\notin \Gamma\cup \Omega^+\) genommen) mit \(|\alpha |\to \infty\) beschränkt \(\leq 1\) bleiben (Theorem 1). Für \(C^\infty\)-Funktionen \(f\) werden diese Ableitungen dann (per Stokes) in Integrale umgeformt, die nur Ableitungen in \(f\) enthalten (Therem 2) und mit diesen dann abschätzbar sind. Die Beweise bestehen aus elementaren, geschickten Rechnungen.