## [Poincaré-Ungleichung](/de/node/60619) Definition Eine Ungleichung, die die L2-Norm einer Funktion (nach Subtraktion eines geeigneten Mittelwerts oder bei Randbedingungen) durch eine Konstante mal der L2-Norm ihres Gradienten auf einem Gebiet beschränkt und damit quantifiziert, wie Oszillation durch erste Ableitungen kontrolliert wird. ## Prinzip Prinzip Spektrallücke und Gradientenkontrolle: das kleinste positive Eigenwert des zugehörigen elliptischen Operators bestimmt die scharfe Konstante, sodass Gradienten-Kontrolle Varianz oder Energie von Funktionen modulo Konstanten liefert. ## Demonstration Demonstration Auf einem beschränkten Gebiet mit geeigneten Randbedingungen gilt für jede quadratintegrierbare Funktion f mit Mittelwert null ∫ f² ≤ C ∫ |∇f|², wobei C der Kehrwert des ersten nichtverschwindenden Eigenwerts des Laplace-Operators ist; das bedeutet, dass die Varianz von f unter der gleichmäßigen Maßnahme durch seine Dirichlet-Energie begrenzt ist. ## Fehlanwendung Fehlanwendung Die Ungleichung auf unbeschränkten Gebieten ohne Koerzitivität anzuwenden oder zu versäumen, konstante Modi (Mittelwert oder Randbedingung) zu entfernen, was die Schranke ungültig macht oder C unendlich werden lässt. ## Konsequenz Konsequenz Gibt quantitative Kontrolle der Fluktuationen, liegt exponentielle Konvergenzraten für Wärmehalbgruppen und Vermischung von Markov-Prozessen zugrunde und liefert Koerzivitätsabschätzungen in Variationsproblemen und der PDE-Analyse. ## Umkehrung Umkehrung Die inverse Sicht ist, dass das Fehlen einer Spektrallücke (erstes nichtnull Eigenwert = 0) persistente niederenergetische, großamplitudige Moden erlaubt; daher zeigt das Versagen von Poincaré mangelnde Kontrolle der Varianz durch Gradienten an. ## Abgrenzung Abgrenzung Gilt wenn Gebiet, Maß und Rand-/Mittelwertbedingungen eine positive Spektrallücke sicherstellen; ausgenommen sind Rahmen ohne Koerzitivität, kritische Einbettungsfälle oder Maße mit schweren Rändern, die gewichtete Varianten erfordern. ## Semantische Spannung Semantische Spannung Steht nahe bei Sobolev- und logarithmischen Sobolev-Ungleichungen: Poincaré kontrolliert L2-Fluktuationen durch Gradienten, wohingegen stärkere Ungleichungen höhere Normen kontrollieren oder entropyartige Kontrolle bei stärkeren Annahmen liefern. ## Synthese Synthese Die Poincaré-Ungleichung besagt, dass für Funktionen, die zu Konstanten orthogonal sind, die L2-Größe durch die Gradientenergie mit einer Konstante gesteuert wird, die durch die Spektrallücke bestimmt ist; sie ist ein fundamentales Koerzivitätsinstrument, das Ableitungen mit Varianz verbindet.