Estimations limites pour la solution canonique de l'équation \({\bar \partial}u=f\). (Limit estimates for the canonical solution of the equation \({\bar \partial}u=f)\) (Q1114081)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Estimations limites pour la solution canonique de l'équation \({\bar \partial}u=f\). (Limit estimates for the canonical solution of the equation \({\bar \partial}u=f)\)
scientific article

    Statements

    Estimations limites pour la solution canonique de l'équation \({\bar \partial}u=f\). (Limit estimates for the canonical solution of the equation \({\bar \partial}u=f)\) (English)
    0 references
    0 references
    0 references
    1990
    0 references
    Soit D un domaine strictement pseudo-convexe borné de \(C^ n\), à frontière lisse, de fonction d'exhaustion r. On note B le projecteur de Bergman associé à D. Rappelons que pour toute (0,1)-forme f \({\bar \partial}\)-fermée dans D telle que \(| f| +(-r)^{-1/2}| {\bar \partial}r\wedge f|\) soit une mesure bornée dans D, l'équation \({\bar \partial}_ bu=f\) f admet une solution appartenant à \(L^ 1(\partial D).\) Le but de l'article est la preuve de l'estimation a priori suivante: \[ (*)\quad \exists C>0,\quad \forall u\in C^ 1(\bar D),\quad \| u- Bu\|_{L^ 1(\partial D)}\leq C\| | {\bar \partial}u| +(- r)^{-1/2}| {\bar \partial}r\wedge {\bar \partial}u| \|_{L^ 1(D)}. \] Afin de montrer (*), nous donnons un développement asymptotique de la restriction à ker \({\bar \partial}\) de l'opérateur \({\bar \partial}^*N\), où \({\bar \partial}^*\) est l'adjoint hilbertien de l'opérateur \({\bar \partial}: L^ 2(D)\mapsto L^ 2_{(0,1)}(D),\) et N l'opérateur de \({\bar \partial}\)-Neumann. Plus précisément, nous montrons l'existence d'opérateurs intégraux explicites P, \(\Delta\), \(T_ j\), \(j\in N\), tels que: \[ \forall f\in C^ 1_{(0,1)}(\bar D)\cap \ker {\bar \partial},\quad \forall k\in {\mathbb{N}},\quad k\geq 2:\quad {\bar \partial}^*Nf=Pf+\sum^{k}_{j=1}T_ jT_ 0f+B\Delta^ kT_ 0f. \] Les opérateurs \(\Delta\), \(T_ j\), \(j\in {\mathbb{N}}\) sont régularisants, \((\Delta,T_ j,j\geq 1\) (resp. \(T_ 0)\) sont par exemple continus de \(L^{\infty}(D)\) (resp. \(L^{\infty}_{0,1}(D))\) dans l'espace de Lipschitz \(\Lambda^{1/2}(D))\); l'opérateur P est donné par un noyau \(\psi\) K avec un poids \(\psi\) fonction de la distance au bord de D; ce poids est essentiel pour obtenir l'estimation (*).
    0 references
    0 references
    0 references
    0 references
    0 references
    strictly pseudo convex domain
    0 references
    Bugman projector
    0 references
    a priori estimate
    0 references
    integral operator
    0 references
    existence
    0 references
    kernel
    0 references