The Poincare Inequality on Smooth and Bounded Domains in Rd
I.D. Krylov (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Emiel Lorist – Mentor (TU Delft - Analysis)
Y. Van Gennip – Graduation committee member (TU Delft - Mathematical Physics)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
In this thesis we study for which domain types the Poincare inequality holds for all functions having continuous first derivative. We first consider the classical Poincare inequality, which we prove holds for a very large class of open sets in Rd. We then constructively prove that bounded, open, and connected domains in Rd, which also possess a smooth C1-boundary, must satisfy the Poincare-Wirtinger inequality. We do this in six successive steps.
First, we show that an arbitrary open rectangle in Rd must satisfy the inequality.Second, we prove that a C1-diffeomorphism with a sufficient condition, between a set which satisfies the inequality and an open, bounded and connected set implies the open, bounded and connected set also satisfies the Poincare-Wirtinger inequality. Third, we show that there exists such a C1-diffeomorphism between a domain in the class of open rectangles with one face distorted by a C1-function and another domain in the class of arbitrary open rectangles in Rd. Fourth, we show the class of all open rectangles with one face distorted by a C1-function satisfies the Poincare-Wirtinger inequality. Fifth, we show the union of non-disjoint open sets which satisfy the inequality in turn also satisfies the Poincare-Wirtinger inequality. Lastly, we cover the open, bounded and connected domain with a C1-boundary by a collection of rectangles from the classes of open rectangles with one face distorted by a C1-function and arbitrary open rectangles to show that the domain satisfies thePoincare-Wirtinger inequality.
Finally, we extend our function space to the first-order Sobolev space and show that we can directly extend our results to this function space.