Gibt es Ergebnisse zur Regularität der verallgemeinerten Eigenfunktionen, die in spektralen Darstellungen unbeschränkter Differentialoperatoren verwendet werden?

Ich verwende die "direkte integrale" Version des Spektralsatzes, wie sie zB in Hall angegeben ist . Es besagt, dass eine diagonale Darstellung für einen unbeschränkten Operator auf dem Hilbert-Raum L 2 ( R N ) kann als "direktes Integral" konstruiert werden, oder

H A ^ = σ ( A ^ ) D μ ( A ) H A .

Zustände im Hilbert-Raum werden als quadratintegrierbare "Abschnitte" oder als Funktionen von gebildet A mit Werten in den Hilbert-Räumen H A . Seit der H A Räume sind keine echten Unterräume, Vektoren in ihnen sind nicht wirklich drin H , also "verallgemeinerte Eigenvektoren". Sie können als Funktion auf einer dichten Teilmenge des Hilbert-Raums definiert werden

v H A : ψ ( A ' ) ( ψ ( A ) , v ) C ,

das kann dann natürlich wieder auf funktional erweitert werden L 2 ( R N ) . Ich bin mir ziemlich sicher, dass die Ergebnisse dieses Kapitels verwendet werden können, um zu demonstrieren, dass if A ^ ist in der Algebra erzeugt durch X ^ Und P ^ dann sind diese Funktionale notwendigerweise temperierte Verteilungen.

Nun das Konkrete A ^ Ich interessiere mich für einen Differentialoperator L 2 ( R 3 1 ) . (Insbesondere ist es der „Klein-Gordon-ähnliche“ Operator, der für Spin-Halbteilchen in einem angelegten elektromagnetischen Feld verwendet wird und durch Quadrieren des Dirac-Operators gebildet wird.) Was ich wirklich gerne tun könnte, ist angesichts dessen A ^ ein Differentialoperator ist, verwenden Sie einige Ergebnisse über PDEs auf diesen verallgemeinerten Eigenvektoren.

Dies erfordert jedoch einige Vorstellungen über die Regelmäßigkeit der verallgemeinerten Eigenfunktionen, die ich einfach nicht finden konnte. Mein Problem ist, dass der Betreiber A ^ Ich verwende hyperbolisch zweiter Ordnung, und daher gibt es für mich nicht viele gute Ergebnisse zur Regularität in der PDE-Mathematikliteratur. Dies scheint an der bloßen Tatsache zu liegen, dass ψ gehorcht der Differentialgleichung ( A ^ A ) ψ = 0 aus einem ähnlichen Grund nicht ausreicht, um irgendeine Art von Regelmäßigkeit durchzusetzen δ ( X C T ) ist eine Lösung der Wellengleichung. Ich denke, dass ich daher eine Regularität brauche, die durch die Verwendung der Lösung der Differentialgleichung als verallgemeinerte Eigenfunktion oder als Basiszustand in der direkten integralen Spektraldarstellung erzwungen wird.

Mir ist klar, dass dies ein bisschen weit hergeholt sein könnte, aber ich habe tagelang darum gekämpft, ein solches Ergebnis zu finden, und es wäre äußerst nützlich für mich. Kennt jemand Literatur, die sich mit dieser Frage der Regularität der Basis von Spektraldarstellungen von Differentialoperatoren beschäftigt?

Tatsächlich gibt es eine für die Maßtheorie angepasste Version der Mengenlehre, bei der alle linearen Operatoren beschränkt sind; das könnte das Leben viel einfacher machen...
Kleiner Kommentar zum Beitrag (v2): Bitte denken Sie daran, Autor, Titel etc. des Links explizit zu nennen, damit der Link im Falle einer Linkfäule rekonstruiert werden kann.

Antworten (1)

Dies ist kein direktes Ergebnis über die Regelmäßigkeit verallgemeinerter Eigenfunktionen, aber es hängt indirekt zusammen:

Ein Traummodell (zur Analyse) ist ein Modell von ZF+DC und wo jede Teilmenge der Realen ist

  1. Lesbegue: Ist eine Vereinigung einer Borel-Menge und einer Nullmenge
  2. Perfekt: Es ist die Vereinigung einer perfekten Menge und einer zählbaren Menge
  3. Baire: Es ist die Vereinigung einer offenen und einer mageren Menge.

Um es auf den Punkt zu bringen: Es stellt sich heraus, dass im Traummodell jede totale lineare Abbildung in Banachräumen beschränkt ist! Außerdem sind zwei beliebige Normen topologisch äquivalent. Diese letztere Eigenschaft gilt in endlichen Dimensionen in der gewöhnlichen Analyse, aber die Traumanalyse macht sie wahr für unendliche Dimensionen. Dies vertreibt eines der Probleme, das die unendliche dimensionale Analyse plagt: die Überfülle ungleicher Normen auf unendlichen dimensionalen Räumen.

(Beachten Sie, dass eine Menge in einem topologischen Raum perfekt ist, wenn sie abgeschlossen ist und keine isolierten Punkte hat. Bemerkenswerterweise wird jedem dieser Axiome durch die Wahl widersprochen. Daher sehen wir, dass es in der Mathematik (und in der Physik) Leben ohne Wahl gibt (aber wir haben DC - abhängige Wahl).Darüber hinaus hat Solavay gezeigt, dass ein Traummodell konsistent ist, wenn ein unzugänglicher Kardinal mit ZF konsistent ist. Für kategorientheoretische Zwecke nehmen wir oft bereits die Existenz eines unzugänglichen Kardinals an, dies ist mit anderen Worten das so -genannt Grothendieck-Universum-Hypothese).