Ανισότητα Πουανκαρέ

Στα μαθηματικά, η ανισότητα Πουανκαρέ είναι αποτέλεσμα της θεωρίας των χώρων Σομπόλεφ και πήρε το όνομα της από τον Γάλλο μαθηματικό Ανρί Πουανκαρέ. Η ανισότητα επιτρέπει σε κάποιον να δώσει φραγή σε μία συνάρτηση χρησιμοποιώντας φραγή στις παραγώγους της και την γεωμετρία της περιοχής ορισμού της. Οι εν λόγω φραγές έχουν μεγάλη σημασία στις σύγχρονες, άμεσες μεθόδους του λογισμού των μεταβολών. Ένα πολύ στενά συνδεδεμένο αποτέλεσμα είναι η ανισότητα Friedrichs.

## Δήλωση της ανισότητας

### Η κλασική ανισότητα Πουανκαρέ
Έστω *p*, τέτοιο ώστε 1 ≤ *p* 01,*p*(Ω) των αΐχνωτων συναρτήσεων (ή συναρτήσεων μηδενικού ίχνους),

 u \|_{L^{p} (\Omega)} \leq C \| \nabla u \|_{L^{p} (\Omega)}.

### Ανισότητα Πουανκαρέ–Γουίρτινγκερ
Έστω ότι 1&nbsp;≤&nbsp;*p*&nbsp;*n* με ένα όριο Λίπσιτς (δηλαδή, Ω είναι Λίπσιτς χώρος). Τότε υπάρχει μια σταθερά *C*, που εξαρτάται μόνο από τα Ω και *p,* έτσι ώστε για κάθε συνάρτηση *u* στον συναρτησιακό χώρο Σομπόλεφ *W*1,*p*(Ω),

\| u - u_{\Omega} \|_{L^{p} (\Omega)} \leq C \| \nabla u \|_{L^{p} (\Omega)},
όπου

u_{\Omega} = \frac{1} \int_{\Omega} u(y) \, \mathrm{d} y

είναι η μέση τιμή του *u* πάνω στο Ω, με |Ω| να είναι το μέτρο Λεμπέκ, του χώρου Ω.

### Γενικεύσεις
Υπάρχουν γενικεύσεις της ανισότητα Πουανκαρέ σε άλλους συναρτησιακούς χώρους Σομπόλεφ. Για παράδειγμα, το ακόλουθο (που λαμβάνεται από Garroni & Müller (2005) ) είναι μια ανισότητα Πουανκαρέ για τον συναρτησιακό χώρο Σομπόλεφ *H*1/2(**T**2), δηλαδή ο συναρτησιακός χώρος των συναρτήσεων *u* στον συναρτησιακό χώρο ''L''<sup>2</sup> του μοναδιαίου τόρου **T**2 με μετασχηματισμού Φουριέ û ικανοποιεί το

 [u]_{H^{1/2} (\mathbf{T}^{2})}^2 = \sum_{k \in \mathbf{Z}^2} | k | \left | \hat{u} (k) \right |^2 

υπάρχει σταθερά *C* τέτοια ώστε, για κάθε συνάρτηση *u* ∈ *H*1/2(**T**2) με συνάρτηση *u* ταυτοτικά μηδενική σε ένα ανοιχτό σύνολο *E* ⊆ **T**2

\int_{\mathbf{T}^{2}} | u(x) |^{2} \, \mathrm{d} x \leq C \left( 1 + \frac1{\mathrm{cap} (E \times \{ 0 \})} \right) [ u ]_{H^{1/2} (\mathbf{T}^{2})}^{2},

όπου cap(*E*&nbsp;&times;&nbsp;{0}) την αρμονική χωρητικότητα της *E*&nbsp;&times;&nbsp;{0} όταν θεωρηθεί ως ένα υποσύνολο του **R**3.

## Η σταθερά του Πουανκαρέ
Η βέλτιστη σταθερά *C* στην ανισότητα Πουανκαρέ είναι μερικές φορές γνωστή ως σταθερά του Πουανκαρέ για τον χώρο Ω. Ο προσδιορισμός της σταθεράς Πουανκαρέ είναι, σε γενικές γραμμές, μία πολύ δύσκολη διαδικασία που εξαρτάται από την τιμή του p και τη γεωμετρία του χώρου Ω. Όμως, σε ορισμένες ειδικές περιπτώσεις είναι εύκολος. Για παράδειγμα, αν Ω είναι ένας οριοθετημένος κυρτός Λίπσιτς χώρος με διάμετρο *d*, τότε η συνεχής Πουανκαρέ είναι το πολύ *d*/2 για *p*&nbsp;=&nbsp;1, *d*/π για *p*&nbsp;=&nbsp;2 (; ), και αυτή είναι η καλύτερη δυνατή εκτίμηση για τη συνεχή Πουανκαρέ όσον αφορά τη διάμετρο και μόνο. Για τις ομαλές συναρτήσεις, αυτό μπορεί να θεωρηθεί ως μια εφαρμογή της ισοπεριμετρικής ανισότητας σε επίπεδο συνόλων των συναρτήσεων. Σε μια διάσταση, αυτή είναι η ανισότητα Γουίρτινγερ για συναρτήσεις.

Ωστόσο, σε ορισμένες ειδικές περιπτώσεις η σταθερά *C* μπορεί να προσδιοριστεί συγκεκριμένα. Για παράδειγμα, για *p*&nbsp;=&nbsp;2,είναι γνωστό ότι πάνω από το χώρο του ορθογώνιου ισοσκελούς τριγώνου *C*&nbsp;=&nbsp;1/π (     d=\sqrt{2}). (Βλέπε, για παράδειγμα, .)

Επιπρόσθετα, για ένα ομαλό, φραγμένο χωρίο Ω, μιας και ο λόγος Rayleigh για τον τελεστή του Λαπλάς στον χώρο ελαχιστοποιείται από ιδιοσυνάρτηση που αντιστοιχεί στην ελάχιστη ιδιοτιμή λ1 της (αρνητικής) Λαπλασιανής, είναι απλή συνέπεια ότι για κάθε     u\in W^{1,2}_0(\Omega),

    \|u\|_{L^2}^2\leq \lambda_1^{-1} \left \|\nabla u\right \|_{L^2}^2

και επιπρόσθετα, ότι η σταθερά λ1 είναι βέλτιστη.

## Παραπομπές
* 
* 
* 
* 
*

## Δείτε επίσης
* Ανρί Πουανκαρέ

Κατηγορία:Μαθηματικές συναρτήσεις
Κατηγορία:Ανισότητες