Division and extension in weighted Bergman - Sobolev spaces (Q2366854)

Soit \(D\) un domaine borné strictement pseudoconvexe dans \(\mathbb{C}^ n\), dont la frontière est l'ensemble des zéros d'une fonction \(\rho\in{\mathcal C}^ \infty\); pour \(p\in[1,\infty[\), \(\delta>0\) et \(k\in\mathbb{N}\), on note \(L^ p_{\delta,k}(D)\) l'espace vectoriel formé des \(f\in L^ 1_{loc}(D)\) dont toutes les dérivées partielles jusqu'à l'ordre \(k\) inclus sont des classes de fonctions \(\in L^ p(D,|\rho|^{\delta-1})\). Soit \(Y\) une variété de codimension \(l\), transversale à la frontière de \(D\), formée des zéros communs à \(l\) fonctions \(u_ j\) holomorphes sur un voisinage de \(\overline D\). Théorème de division: Si la fonction \(f\in L^ p_{\delta,k}(D)\) s'annule sur tout \(Y\cap D\), il existe des \(f_ j\) holomorphes \(\in L^ p_{\delta+p/2,k}(D)\) telles que \(f=\sum^ \ell_{j=1}u_ jf_ j\). Théorème d'extension: Etant donné sur \(Y\cap D\) la fonction \(f_ 0\) holomorphe et les formes \(j\)-linéaires symétriques \(f_ j\), à coefficients holomorphes, pour que \(f_ 0,f_ 1,\dots,f_ m\) soient les restrictions à \(Y\cap D\) d'une fonction holomorphe \(\in L^ p_{\delta,k}(D)\) et de ses dérivées \(1^ e,\dots,m^ e\), il faut et il suffit que, outre les conditions de cohérence évidemment nécessaires, \(f_ 0\in L^ p_{\delta+l,k}(YD)\) et \(f_ j(X_ 1,\dots,X_ j)\in L^ p_{\delta+l+wp,k}(Y\cap D)\), \(j=1,\dots,m\), pour tous champs de vecteurs \(X_ j\in{\mathcal C}^ \infty(D)\), avec les notations \(w=\sum^ j_{\nu=1}w_ \nu,w_ \nu=1/2\) ou 1 selon que \(X_ \nu\rho\) est nul au voisinage de \(\partial D\) ou non.