Eine variationelle Technik, die die Koerzivität einer sesquilinearen oder bilinearen Form wiederherstellt, indem ein invertierbarer beschränkter Operator T eingeführt wird (oft als Vorzeichen- oder Symmetrietransformator), so dass die transformierte Form koerziv wird oder eine Gårding-artige Ungleichung erfüllt und damit Probleme mit vorzeichenwechselnden Koeffizienten oder Transmissionsschnittstellen wohldefiniert werden.

Prinzip

Man finde eine invertierbare beschränkte Abbildung T im Prüf-/Testraum, so dass die bilineare Form a(Tu,u) (oder a(T·,·) passend symmetrisiert) eine Koerzivitätsabschätzung ||u||^2 ≤ C Re a(Tu,u) + kompakte Terme erfüllt; T tauscht Indefinität gegen Koerzivität, während die Äquivalenz der Lösungsräume erhalten bleibt.

Demonstration

Bei einem Maxwell- oder Helmholtz-Transmissionsproblem mit vorzeichenwechselnder Permittivität über eine Schnittstelle konstruiert man T, das Funktionen in Teilgebieten mit ±1 multipliziert oder lokale Isomorphismen anwendet, so dass die T-transformierte sesquilineare Form einen positiv-definiten Realteil hat und eine Fredholm-Formulierung sowie eindeutige Lösbarkeit modulo endlichdimensionalen Kernen liefert.

Fehlanwendung

Die Anwendung eines beliebigen invertierbaren Operators T ohne Sicherstellung der Abbildungseigenschaften oder Adjungierten-Kompatibilität; ein solches T kann Stetigkeit zerstören, Randspuren verändern oder die Entsprechung zwischen Original- und transformiertem Problem aufheben und zu falschen Aussagen über Lösbarkeit führen.

Konsequenz

Existiert ein geeignetes T, so wird das variationelle Problem in der transformierten Form Fredholm/koerziv, was Wohldefiniertheit oder zumindest endlich-dimensionale Defekte liefert, sowie stabile numerische Verfahren und spektrale Informationen für vorzeichenwechselnde oder nicht-koerzive Einstellungen ermöglicht.

Umkehrung

Das Gegenstück ist die klassische Koerzivität ohne Transformation: die bilineare Form ist auf dem ursprünglichen Raum koerziv, sodass kein T notwendig ist. T-Koerzivität verallgemeinert diesen Fall, indem eine Vorbedingungs-Transformation zugelassen wird, wenn direkte Koerzivität fehlt.

Abgrenzung

T-Koerzivität gilt, wenn ein beschränkter invertierbarer T gefunden werden kann, der die Zerlegung des Funktionsraums und Rand-/Interface-Spuren respektiert; sie trifft nicht zu, wenn ein derartiges T nicht existiert (z. B. inkompatible Randbedingungen, unbeschränkter Kontrast oder fehlende geeignete Zerlegung) oder wenn das transformierte Problem weiterhin nicht-Fredholm ist.

Semantische Spannung

Es besteht Spannung zwischen T-Koerzivität und Inf-Sup-(Babuška)-Rahmen: Beide adressieren fehlende Koerzivität, aber T-Koerzivität versucht, durch eine Transformation Koerzivität wiederherzustellen, während Inf-Sup mit Sattelpunktstrukturen arbeitet; beide Ansätze können überlappen, sind jedoch konzeptionell verschieden.

Synthese

T-Koerzivität ist die Methode, durch Einführen einer invertierbaren Transformation T eine indefinite variationelle Form in eine koerzive (oder Fredholm-) Form zu überführen; sie liefert einen prinzipiellen Weg zur Wohldefiniertheit und numerischen Stabilität für Transmissions- und vorzeichenwechselnde Koeffizientenprobleme, wenn direkte Koerzivität fehlt.