Extension of holomorphic functions with growth conditions (Q1079997)

On se donne une variété de Stein X et une exhaustion \(\psi\in {\mathcal C}^{\infty}(X)\), strictement p.s.h., \(\psi (X)=[t_ 0,+\infty [;\) pour \(\lambda\) continue: \([t_ 0,+\infty [\to {\mathbb{R}},\) on note \({\mathcal H}(X,\lambda)\) l'espace vectoriel des fonctions h holomorphes sur X pour lesquelles \(\| h\|_{\lambda}=\sup_{X}| h| \exp (- \lambda \circ \psi)<\infty\) et \({}^ u\lambda\) la translatée \((u>0)\) \({}^ u\lambda (t)=\lambda (t+u)\); enfin, pour \(\lambda,\mu \in {\mathcal C}^ 2([t_ 0,+\infty [,{\mathbb{R}}),\) \(\mu \ll \lambda\) signifie \(\mu^{(k)}(t)\leq \lambda^{(k)}(t)\) \(\forall t\in [t_ 0,+\infty [,\) \(k=0,1,2\). Alors, étant donné une sous-variété analytique fermée Y de codimension 1, il existe \(\mu\) convexe croissante \(\in {\mathcal C}^{\infty}([t_ 0,+\infty [)\) telle que, si \(\lambda \in {\mathcal C}^{\infty}([t_ 0,+\infty [)\) et \(\mu \ll^ 1\lambda\), toutes les \(h\in {\mathcal H}(Y,\lambda)\) ont des prolongements \(H\in {\mathcal H}(X,^ 2\lambda +^ 1\mu)\) et \(\| H\|_{^ 2\lambda +^ 1\mu}\leq C(\lambda)\| h\|_{\lambda}\). On précise aussi la relation entre ce résultat et celui de \textit{Y. Nishimura} [J. Math. Kyoto Univ. 20, 635-650 (1980; Zbl 0467.32008)].