Strictly pseudoconvex domains and smoothly varying peak functions (Q2633343): Difference between revisions

A boundary point \(\zeta\) of a bounded domain \(G \subset \mathbb C^n\) is called a peak point with respect to \(\mathcal O(\overline{G})\), the family of all holomorphic functions in a neighborhood of \( \overline{G}\), if there exists a peak function \(f\) at \(\zeta\), i.e., an \(f \in\mathcal O(\overline{G})\) with \(f(\zeta) =1\) and such that \(f(\overline{G} \setminus{\zeta}) \subset D := \{z \in \mathbb C : |z| < 1\}.\) Let \(\rho : D \times\mathbb C^n \to\mathbb R\) be a plurisubharmonic function of class \(C^k\), \(k \in\mathbb N\), \(k \ge 2\). Assume that for any \(t \in D\) the truncated function \(\rho|_{\{t\}\times\mathbb C^n}\) is strictly plurisubharmonic and globally defining for bounded strictly pseudoconvex domain \(G_t := \{w \in \mathbb C^n : \rho(t, w) < 0\}\). The main result of this article: Theorem 1.2. Let \(\rho\) and \((G_t)_{t\in D}\) be as above. Then for any \(t \in D\) there exist a domain \(\widehat{G_t}\) containing \(\overline{G}_t\), a neighbourhood \(W_t \) of \(\partial G_t\), and functions \(h_t(\cdot; \zeta) \in\mathcal O(\widehat{G_t})\), \(\zeta \in W_t\), such that for \(\zeta \in \partial G_t \) we have \(h_t(\zeta; \zeta) =1\) and \(|h_t(\cdot; \zeta)| < 1\) on \( \overline{G_t}\setminus \{\zeta\}\), i.e., \(h_t(\cdot; \zeta)\) is a peak function for \(G_t\) at \(\zeta.\) Moreover, the family \((h_t(\cdot; \zeta))_{t\in D,\zeta \in \partial G_t}\) varies in a \(C^{k-2}\)-smooth way (in the sense that for a fixed triple \(t_0 \in D,\) \(z_0 \in \widehat{G_{t_0}}\) and \(\zeta_0 \in W_{t_0},\) in some \((4n +2)\)-dimensional real Euclidean neighbourhood of that triple the mapping \((s, w, \xi) \to h_s(w; \xi)\) is well defined and all of its real partial derivatives exist and are continuous up to order \(k - 2\)).