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
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
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
0 references
0 references
0 references