Spektralschar

Spektralschar

In der Mathematik, insbesondere in der Funktionalanalysis ist ein Spektralmaß eine Abbildung, die gewissen Teilmengen einer fest gewählten Menge orthogonale Projektionen eines Hilbertraumes zuordnet. Spektralmaße werden verwendet um Ergebnisse in der Spektraltheorie linearer Operatoren zu formulieren, wie z. B. den Spektralsatz für normale Operatoren. Daneben wird der Begriff, jedoch mit anderer Bedeutung, in der Stochastik verwendet.

Inhaltsverzeichnis

Definition

Es seien (X,\mathcal{A}) ein Messraum, H ein reeller bzw. komplexer Hilbertraum, L(H) der Banachraum der stetigen linearen Operatoren auf H und P(H) die Menge der orthogonalen Projektoren von H.

Definition: Ein Spektralmaß für das Tripel (X,\mathcal{A},H) ist eine Abbildung E\colon\mathcal{A}\rightarrow L(H) mit den folgenden Eigenschaften:

  1. Es gilt E\left(X\right)=I. Dabei ist I\colon H\rightarrow H die Identität auf H.
  2. Für jedes \Omega\in\mathcal{A} ist E(\Omega)\in P(H), d. h. E ist Projektor-wertig.
  3. Für alle x,y\in H ist E_{x,y}\colon\mathcal{A}\rightarrow\mathbb{K} mit E_{x,y}(\Omega)=\langle E(\Omega)x,y\rangle ein komplexes bzw. signiertes Maß auf \mathcal{A}.

Das Quadrupel (X,\mathcal{A},H,E) heißt ein Spektralmaßraum.

Häufig wird die auf diese Weise definierte Abbildung E auch als Zerlegung der Einheit I (engl.: resolution of identity) bezeichnet. Auch ist es üblich von einem Projektor-wertigen Maß (engl.: projection-valued measure, häufig kurz PVM) zu sprechen.

Ist X ein topologischer Raum, \mathcal{O} seine Topologie und \mathcal{B}(X) seine Borelalgebra, so heißt ein Spektralmaß E, dem der Borelsche Messraum (X,\mathcal{B}(X)) zugrundeliegt, ein Borelsches Spektralmaß. Ist speziell X=\mathbb{R} bzw. X=\mathbb{C}, so heißt das Borelsches Spektralmaß ein reelles bzw. komplexes Spektralmaß. Der Träger eines Borelschen Spektralmaßes ist als

\mathrm{supp}(E)=X\setminus\bigcup\{O\in\mathcal{O}\,|\,E(O)=0\}

definiert. Dies ist das Komplement der größten offenen Teilmenge G von X, für die E(G) = 0 ist.

Eigenschaften

Es sei E ein Spektralmaß für das Datum (X,\mathcal{A},H). Dann gelten die folgenden Aussagen:

  • E(\varnothing)=0
  • Modularität: Es gilt E(\Omega_1\cup \Omega_2)+E(\Omega_1\cap \Omega_2)=E(\Omega_1)+E(\Omega_2) für alle \Omega_1,\Omega_2\in\mathcal{A}.
  • Multipikativität: Es gilt E(\Omega_1\cap \Omega_2)=E(\Omega_1)\,E(\Omega_2) für alle \Omega_1,\Omega_2\in\mathcal{A}. Insbesondere kommutieren die Projektoren E1) und E2) miteinander und das Bild von E1) ist senkrecht zum Bild von E2), wenn \Omega_1\cap\Omega_2=\varnothing gilt.

Insbesondere ist jedes Spektralmaß ein endlich additives vektorielles Maß.

Setzt man Ex: = Ex,x für x\in H, so gilt für alle x,y\in H aufgrund der Polarizationsgleichung

E_{x,y}=\frac{1}{4}\sum_{n=0}^3i^n E_{x+i^ny}

im komplexen Fall bzw.

E_{x,y}=\text{Re}\bigg(\frac{1}{4}\sum_{n=0}^3i^n E_{x+i^ny}\bigg)

im reellen Fall. Insbesondere sind die Maße Ex,y bekannt, wenn die Maße Ex bekannt sind, so dass man häufig nur mit diesen arbeitet.

Äquivalente Definition

Häufig findet man die folgende Charakterisierung von Spektralmaßen in der Literatur als Definition. Eine Abbildung E\colon\mathcal{A}\rightarrow L(H) ist genau dann ein Spektralmaß, wenn

  1. E\left(X\right)=I gilt,
  2. E Projektor-wertig ist und
  3. für jede Folge (\Omega_i)_{i\in\mathbb{N}} von \mathcal{A}-messbaren, paarweise disjunkten Mengen :
    E\bigg(\biguplus_{i\in\mathbb{N}}\Omega_i\bigg)=\sum_{i=1}^{\infty}E(\Omega_i)
    im Sinne der starken Operatortopologie gilt. Diese Eigenschaft wird gelegentlich als punktweise σ-Additivität bezeichnet.

Die Bezeichnung Zerlegung der Einheit für E lässt sich nun wie folgt erklären. Ist (\Omega_i)_{i\in\mathbb{N}} eine abzählbare Zerlegung von X in \mathcal{A}-messbare Mengen, so gilt

\mathrm{id}_H=E(X)=E\bigg(\biguplus_{i\in\mathbb{N}}\Omega_i\bigg)=\sum_{i=1}^{\infty}E(\Omega_i)

bzw.

H=\bigoplus_{i=1}^{\infty} (E(\Omega_i)(H)),

wobei \bigoplus die orthogonale Summe im Sinne von Hilberträumen der Familie \{E(\Omega_i)(H)\,|\,i\in\mathbb{N}\} von abgeschlossenen Unterräumen ist. Dies entspricht der Tatsache, dass die Eigenräume eines normalen Operators des \mathbb{C}^n eine orthogonale Summenzerlegung von \mathbb{C}^n bilden.

Beispiele

  • Es sei A\colon\mathbb{C}^n\rightarrow\mathbb{C}^n ein normaler linearer Operator. Dann ist das Spektrum von A nicht leer und besteht aus den Eigenwerten von A. Die Eigenräume zu den paarweise verschiedenen Eigenwerten von A stehen paarweise senkrecht aufeinander und besitzen \mathbb{C}^n als (innere) direkte Summe. Dies ist äquivalent dazu, dass :
    \mathrm{id}_{\mathbb{C}^n}=\sum_{\lambda\in\sigma(A)}P_{\lambda}
    gilt. Dabei ist Pλ die orthogonale Projektion von \mathbb{C}^n auf den Eigenraum von A zum Eigenwert λ. Aus dieser Darstellung von id_{\mathbb{C}^n} erhält man die folgende "Spektralauflösung" von A:
    A=\sum_{\lambda\in\sigma(A)}\lambda\,P_{\lambda}
    Das Spektralmaß von A ist:
    E(\Omega)=\sum_{\lambda\in\sigma(A)\cap\Omega}P_{\lambda}.
    Ist A ein beliebiger normaler Operator, so kann das Spektrum von A kontinuierlich sein oder sich in einem Punkt häufen und man ersetzt obige Summe durch einen kontinuierlichen Summationsbegriff, nämlich durch ein (Operator-wertiges) Integral.
  • Jeder normaler Operator A eines Hilbertraumes bestimmt ein Spektralmaß. Nach dem Spektralsatz für normale Operatoren ist der Operator A eindeutig durch dieses Spektralmaß beschrieben.
  • Es sei L2[0,1] der Hilbertraum der im Lebesguesche Sinne quadrat-summierbaren Funktionen auf dem Einheitsintervall [0,1] und \mathcal{B}[0,1] die Borelalgebra von [0,1]. Für eine wesentlich beschränkte Funktion f auf [0,1] bezeichne Mf den durch Multiplikation mit f induzierten Operator auf L2[0,1]. Setzt man E(\Omega):=M_{\chi_{\Omega}} für eine Borelmenge Ω des Einheitsintervalls, so wird hierdurch ein Spektralmaß E für das Datum ([0,1],\mathcal{B}([0,1]),L^2[0,1]) definiert. Dieses Spektralmaß ist das Spektralmaß des Multiplikationsoperators Mid.

Integration bezüglich eines Spektralmaßes

Es sei \left(X,A,H,E\right) ein Spektralmaßraum. Mithilfe der zu E assoziierten komplexen Maße Ex,y kann man für gewisse \mathcal{A}-messbaren Funktion f\colon X\rightarrow\mathbb{C} einen (in der Regel unbeschränkten) linearen Operator

\int_X f\,dE

des Hilbertraumes H erklären. Dieser Operator wird als Spektralintegral von f und der Prozess, durch den er aus f entsteht, als Integration von f bzgl. des Spektralmaßes E bezeichnet.

Spektralmaß eines normalen Operators

Es seien H ein Hilbertraum, A\in L(H) ein normaler Operator mit Spektrum \sigma\left(A\right). Dann erklärt man wie folgt ein Spektralmaß E\colon\mathcal{B}(\sigma(A))\rightarrow L(H) auf der Borelalgebra \mathcal{B}(\sigma(A)) von \sigma\left(A\right). Es sei \pi_A\colon\mathcal{M}_{\infty}(\sigma(A))\rightarrow L(H) der Funktionalkalkül der beschränkten Borelfunktionen von A. Da πA ein Morphismus von C * -Algebren ist, ist für jede Borelmenge Ω des Spektrums von A durch E\left(\Omega\right):=\pi_A(\chi_{\Omega}) eine orthogonale Projektion von H gegeben. Man kann zeigen, dass E\colon\mathcal{B}(\sigma(A))\rightarrow L(H) ein Spektralmaß ist, das Spektralmaß des normalen Operators A. Der Spektralsatz für normale Operatoren besagt nun, dass

A=\int_{\sigma(A)}\lambda\,dE(\lambda)=\int_{\sigma(A)}id_{\sigma(A)}\,dE

gilt. Dabei steht auf der rechten Seite dieser Gleichung das Spektralintegral der beschränkten Borelfunktion id_{\sigma\left(A\right)} bzgl. des Spektralmaßes E.

Spektralmaß versus Spektralschar

Definition: Eine Familie \{E_{\lambda}\,|\,\lambda\in\mathbb{\R}\} von orthogonalen Projektoren E_{\lambda}\colon H\rightarrow H heißt eine Spektralfamilie oder Spektralschar, wenn die folgenden Bedingungen erfüllt sind:

  • \lim_{\lambda\rightarrow -\infty}E_{\lambda}=0.
  • \lim_{\lambda\rightarrow +\infty}E_{\lambda}=id_H.
  • Die Familie E ist rechtsseitig stetig, in dem Sinne dass \lim_{\lambda\rightarrow \mu+}E_{\lambda}=E_{\mu} gilt.
  • Die Familie E ist monoton wachsend: Gilt \lambda\leq\mu, so gilt E_{\lambda}\leq E_{\mu}. Diese Bedingung ist äquivalent zu der folgenden Bedingung: Für alle \lambda,\mu\in\mathbb{R} gilt EλEμ = EμEλ = Emin{λ,μ}.

Dabei sind alle auftretenden Limiten im Sinne der starken Operatortopologie, also punktweise zu betrachten.

Der Begriff der Spektralfamilie ging historisch dem Begriff des Spektralmaßes voraus und wurde von John von Neumann unter der Bezeichnung Zerlegung der Einheit eingeführt. Der Zusammenhang zwischen beiden Begriffen ist wie folgt gegeben: Zu jedem reellen Spektralmaß E gehört genau eine Spektralschar \{E_{\lambda}\,|\,\lambda\in\mathbb{\R}\} und umgekehrt. Dabei bestimmen sich das Spektralmaß E und die Spektralschar \{E_{\lambda}\,|\,\lambda\in\mathbb{\R}\} gegenseitig durch die Beziehung

E_{\lambda}=E((-\infty,\lambda])\quad,\quad\lambda\in\mathbb{R}.

Der Träger der Spektralschar \{E_{\lambda}\,|\,\lambda\in\mathbb{\R}\} ist die Menge

\overline{\{\lambda\in\mathbb{R}\,|\,E_{\lambda}\neq 0, E_{\lambda}\neq I\}} . Mithilfe

einer Spektralschar, deren Träger kompakt ist, kann man in Anlehnung an das Stieltjes-Integrals für eine stetige Funktionen f\colon\mathbb{R}\rightarrow\mathbb{R} einen, als

\int_{-\infty}^{+\infty}f(\lambda)\,dE_{\lambda}

notierten, Operator definieren. Dieser ist eindeutig dadurch bestimmt, dass er die Beziehung

\langle\bigg(\int_{-\infty}^{+\infty}f(\lambda)\,dE_{\lambda}\bigg)x,y\rangle=\int_{-\infty}^{+\infty}f(\lambda)\,d\langle E_{\lambda}x,y\rangle\quad,\quad x,y\in H

erfüllt, wobei nun rechter Hand ein herkömmliches Stieltjes-Integral steht. Es gilt dann

\int_{-\infty}^{+\infty}f(\lambda)\,dE_{\lambda}=\int_{\mathbb{R}}f(\lambda)\,dE(\lambda),

wenn E das zu \{E_{\lambda}\,|\,\lambda\in\mathbb{\R}\} gehörige Spektralmaß bezeichnet.

Spektralmaß eines beschränkten selbstadjungierten Operators

Die Spektralschar eines beschränkten selbstadjungierten Operators hat kompakten Träger in [m,M], wobei

m=\inf_{||x||=1}\langle Ax,x\rangle

bzw.

M=\sup_{||x||=1}\langle Ax,x\rangle

sei.

Eλ wird manchmal als Spektralprojektion bezeichnet. Man stellt sich das Bild dieser orthogonalen Projektion als eine Art verallgemeinerter Eigenwertraum vor.

Spektralmaß unbeschränkter selbstadjungierter Operatoren (Quantenmechanik)

Die messbaren Größen der Quantenmechanik entsprechen (fast ausschließlich unbeschränkten) selbstadjungierten Hilbertraum-Operatoren („Observablen“, -> Mathematische Struktur der Quantenmechanik), und zwar mit einer Spektralzerlegung in drei Teile, im Einklang mit den obigen Aussagen:

  1. Der erste Anteil ist das Punktspektrum (das Spektrum ist abzählbar; die Physiker bezeichnen es irreführenderweise als „diskret“). Hier hat man es mit Summen zu tun.
  2. Der zweite Anteil ist das absolut-kontinuierliche Spektum (das Spektrum ist kontinuierlich-überabzählbar; die Physiker nennen es einfach „kontinuierlich“). An die Stelle von Summen treten hier gewöhnliche Integrale.
  3. Sehr selten kommt ein singulär-kontinuierlicher Spektralanteil hinzu (das Spektrum ist eine Cantormenge). Hier muss man mit Stieltjes-Integralen arbeiten (erzeugt durch nicht-differenzierbare monoton-wachsende Funktionen).

Alle Observablen zeigen eine solche Aufteilung und besitzen übliche Spektralmaße und übliche Spektralprojektionen. Die oben genannte Kompaktizität des Spektrums gilt aber nicht.

Die Aufteilung in drei Teile ergibt insgesamt, bei Gewichtung mit den Quadraten aus den Beiträgen der Eigenfunktionen bzw. der verallgemeinerten Eigenfunktionen, genau den Wert 1, im Einklang mit der Wahrscheinlichkeitsinterpretation der Quantenmechanik.

Im (eher seltenen) Fall eines reinen Punktspektrums, der von den Physikern der Einfachheit halber als Normalfall angenommen wird, entsprechen die Spektraleigenschaften dem Postulat von der Vollständigkeit der Eigenfunktionen (Entwicklungssatz). Im Falle eines zusätzlichen absolut-kontinuierlichen Spektralanteils arbeiten die Physiker, wie erwähnt, mit sog. verallgemeinerten Eigenfunktionen und Wellenpaketen (der Zusammenhang mit dem Spektralmaß ergibt sich aus der Distributionstheorie über sog. Gelfandsche Raumtripel). Ein singulär-kontinuierlicher Spektralanteil wird gewöhnlich überhaupt nicht diskutiert, außer z. B. in Kristallen mit speziellen „inkommensurablen“ Magnetfeldern. Näheres in einschlägigen Lehrbüchern der Quantenmechanik und der Maßtheorie reeller Funktionen.

Ursprung

Stichworte


Siehe auch

Literatur

  • John B. Conway: A Course in Functional Analysis, Springer-Verlag, 1990, 2. Auflage.
  • Paul R. Halmos: Introduction to Hilbert space and the theory of spectral multiplicity, Chelsea Publishing Company, 1951, 1. Auflage.
  • Harro Heuser: Funktionalanalysis. Theorie und Anwendung., B. G. Teubner-Verlag, Wiesbaden 2006, 4. Auflage, ISBN 3835100262.
  • Josef M. Jauch: Foundations of quantum mechanics, Addison-Wesley, 1968, unbekannte Auflage.
  • Reinhold Meise und Dietmar Vogt: Einführung in die Funktionalanalysis, Vieweg-Verlag, Wiesbaden, 1992, ISBN 3-528-07262-8.
  • John von Neumann: Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren in Math. Ann. (102), 1929, S. 49-131
  • Eduard Prugovečki: Quantum Mechanics in Hilbert Space, Dover Publications, 2006, 2. Auflage, ISBN 0486453278.
  • Dirk Werner: Funktionalanalysis, Springer-Verlag, 2005, 5. Auflage.
  • U. Krey, A.Owen: Basic Theoretical Physics - A Concise Overview, especially part III. Springer, 2007, ISBN 978-3-540-36804-5

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Spektralmaß — In der Mathematik, insbesondere in der Funktionalanalysis ist ein Spektralmaß eine Abbildung, die gewissen Teilmengen einer fest gewählten Menge orthogonale Projektionen eines Hilbertraumes zuordnet. Spektralmaße werden verwendet, um Ergebnisse… …   Deutsch Wikipedia

  • Zerlegung der Eins — In der Mathematik gibt es oft Situationen, in welchen zwischen einer lokalen und einer globalen Perspektive unterschieden werden muss, aber zwischen beiden hin und hergewechselt werden soll. Zum Beispiel: Um in der Analysis das Flächenintegral zu …   Deutsch Wikipedia

  • Adjungierte Abbildung — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Beschränkter Borel-Funktionalkalkül — Der beschränkte Borel Funktionalkalkül ist ein Hilfsmittel zur Untersuchung von von Neumann Algebren. Dieser Funktionalkalkül ist eine Erweiterung des aus der Theorie der C* Algebren bekannten stetigen Funktionalkalküls auf beschränkte Borel… …   Deutsch Wikipedia

  • Dualer Operator — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Franz Rellich — (Foto vom Mathematischen Forschungsinstitut Oberwolfach) Franz Rellich (* 14. September 1906 in Tramin; † 25. September 1955 in Göttingen) war ein deutscher Mathematiker mit Südtiroler Wurzeln. Er leistete wichtige Beiträge im Rahmen der… …   Deutsch Wikipedia

  • Mathematische Struktur der Quantenmechanik — Dieser Artikel stellt die mathematische Struktur der Quantenmechanik dar, um den Hauptartikel Quantenmechanik von den Formeln zu entlasten und einen besseren Lesefluss zu ermöglichen. Inhaltsverzeichnis 1 Formulierung durch von Neumann 1.1… …   Deutsch Wikipedia

  • Rellich — Franz Rellich (* 14. September 1906 in Tramin; † 25. September 1955 in Göttingen) war ein deutscher Mathematiker mit Südtiroler Wurzeln. Er leistete wichtige Beiträge im Rahmen der Mathematischen Physik, insbesondere für die Grundlagen der… …   Deutsch Wikipedia

  • Selbstadjungiert — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

  • Symmetrischer Operator — In der Funktionalanalysis kann zu jedem dicht definierten linearen Operator T ein adjungierter Operator (manchmal auch dualer Operator) T definiert werden. Lineare Operatoren können zwischen zwei Vektorräumen mit gemeinsamem Grundkörper K ( oder… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”