An elementary proof of the continuity from $L_0^2(\Omega)$ to $H^1_0(\Omega)^n$ of Bogovskii's right inverse of the divergence

R. G. DURÁN

REVISTA DE LA UNIóN MATEMáTICA ARGENTINA

UNION MATEMATICA ARGENTINA

Lugar: Bahia Blanca; Año: 2012

0041-6932

The existence of right inverses of the divergence as an operator from H10 (Ù)n to L20(Ù) is a problem that has been widely studied because of its importance in the analysis of the classic equations of fluid dynamics. When Ù is a bounded domain which is star-shaped withrespect to a ball B, a right inverse given by an integral operator was introduced by Bogovskii,who also proved its continuity using the Calder?Lon-Zygmund theory of singular integrals. In this paper we give an alternative elementary proof of the continuity using the Fouriertransform. As a consequence, we obtain estimates for the constant in the continuity in terms of the ratio between the diameter of Ù and that of B. Moreover, using the relation between theexistence of right inverses of the divergence with the Korn and improved Poincar?Le inequalities, weobtain estimates for the constants in these two inequalities. We also show that one can proceed in the opposite way, that is, the existence of a continuous right inverse of the divergence, as well as estimates for the constant in that continuity, can be obtained from the improved Poincar?e inequality. We give an interesting example of this situation in the case of convex domains. In this paper we give an alternative elementary proof of the continuity using the Fouriertransform. As a consequence, we obtain estimates for the constant in the continuity in terms of the ratio between the diameter of Ù and that of B. Moreover, using the relation between theexistence of right inverses of the divergence with the Korn and improved Poincar?Le inequalities, weobtain estimates for the constants in these two inequalities. We also show that one can proceed in the opposite way, that is, the existence of a continuous right inverse of the divergence, as well as estimates for the constant in that continuity, can be obtained from the improved Poincar?e inequality. We give an interesting example of this situation in the case of convex domains. H10 (Ù)n to L20(Ù) is a problem that has been widely studied because of its importance in the analysis of the classic equations of fluid dynamics. When Ù is a bounded domain which is star-shaped withrespect to a ball B, a right inverse given by an integral operator was introduced by Bogovskii,who also proved its continuity using the Calder?Lon-Zygmund theory of singular integrals. In this paper we give an alternative elementary proof of the continuity using the Fouriertransform. As a consequence, we obtain estimates for the constant in the continuity in terms of the ratio between the diameter of Ù and that of B. Moreover, using the relation between theexistence of right inverses of the divergence with the Korn and improved Poincar?Le inequalities, weobtain estimates for the constants in these two inequalities. We also show that one can proceed in the opposite way, that is, the existence of a continuous right inverse of the divergence, as well as estimates for the constant in that continuity, can be obtained from the improved Poincar?e inequality. We give an interesting example of this situation in the case of convex domains.B. Moreover, using the relation between theexistence of right inverses of the divergence with the Korn and improved Poincar?Le inequalities, weobtain estimates for the constants in these two inequalities. We also show that one can proceed in the opposite way, that is, the existence of a continuous right inverse of the divergence, as well as estimates for the constant in that continuity, can be obtained from the improved Poincar?e inequality. We give an interesting example of this situation in the case of convex domains.