i
Technische Universität München Zentrum Mathematik
Contributions to the Theory of Dunkl Operators
Habilitationsschrift
vorgelegt von
Margit Rösler Zusammenfassung
Im Gegensatz zur traditionsreichen Theorie der speziellen Funktionen einer Veränderlichen besteht erst seit jüngerer Zeit zunehmendes Interesse auch an speziellen Funktionen in mehreren Variablen. Eine besonders intensive Entwicklung hat dabei in den letzten Jahren im Ge- biet der speziellen Funktionen zu Wurzelsystemen stattgefunden, mit bedeutenden Beiträgen durch Heckmann und Opdam, Dunkl, Macdonald und Cherednik. Wesentliche Motivation bezieht dieses Gebiet aus der harmonischen Analyse Riemannscher symmetrischer Räume, deren sphärische Funktionen sich als spezielle Funktionen mehrerer Variabler mit gewissen diskreten Parametern schreiben lassen. Für einen Überblick über den aktuellen Stand der Forschung und weitere Literaturangaben verweisen wir auf [He3], [M2], [H-Sc] und [Ki]. Ein zentrales Hilfs- mittel in der Untersuchung spezieller Funktionen zu Wurzelsystemen sind Dunkl-Operatoren und ihre Varianten, die trigonometrischen Dunkl-Operatoren von Heckman und Opdam sowie die eng verwandten Cherednik-Operatoren ([D2], [H-Sc], [Che]). Dunkl-Operatoren sind mit endlichen Spiegelungsgruppen assoziierte, durch Spiegelungsterme modifizierte Differentialope- ratoren. Ihre Bedeutung für das Studium spezieller Funktionen mehrerer Variabler ist eng gekoppelt mit ihrer Interpretation im Kontext gewisser Darstellungen (degenerierter) affiner Hecke-Algebren (siehe [Che], [O2] und [Ki]). Dunkl-Operatoren – in ihrer ursprünglichen Ver- sion – gehen zurück auf C. F. Dunkl, der sie gegen Ende der 80iger Jahre im Rahmen seiner Untersuchungen zu verallgemeinerten sphärischen Harmonischen einführte ([D1-D5]); zur Ab- grenzung von den weiteren Varianten werden diese Operatoren heute auch “rationale” Dunkl- Operatoren genannt. Eine ganz wesentliche Motivation für die Beschäftigung mit Dunkl-Operatoren liegt in ihrer Bedeutung für die Analyse quantenmechanischer Mehrteilchenmodelle vom Calogero- Moser-Sutherland-Typ. Dies sind exakt integrierbare eindimensionale Systeme, die erstmals von Calogero und Sutherland ([Ca], [Su]) studiert wurden und in den letzten Jahren inner- halb der Mathematischen Physik zunehmend an Bedeutung gewonnen haben. Calogero-Moser- Sutherland-Modelle sind unter anderem in der konformen Feldtheorie von Interesse und werden eingesetzt, um Modelle der fraktionalen Statistik zu testen ([Ha], [Hal]). Der Dunkl-Operator- Formalismus liefert explizite Operatorlösungen für eine Vielzahl von Systemen dieses Typs ([L-V], [K1], [BHKV], [B-F3], [U-W]). Die vorliegende Arbeit beschäftigt sich ausschließlich mit den klassischen, rationalen Dunkl-
ii iii
Operatoren; wir werden sie der Einfachheit halber stets “Dunkl-Operatoren” nennen. Das erste Kapitel liefert eine Einführung in die Theorie der Dunkl-Operatoren und der Dunkl-Tranformation. Dabei ist keine inhaltliche Vollständigkeit angestrebt; vielmehr ist Wert darauf gelegt, einen Überblick über die für das Weitere grundlegenden Konzepte zu vermitteln. Verschaffen wir uns nun einen Einstieg in den Gegenstand der Arbeit: Gegeben sei eine endliche N Spiegelungsgruppe G auf dem R mit zugehörigem Wurzelsystem R. Die assoziierten Dunkl- Operatoren sind dann definiert durch
X f(x) − f(σαx) T (k)f(x) := ∂ f(x) + k(α) hα, ξi , ξ ∈ N . ξ ξ hα, xi R α∈R+
Dabei ist R+ ein positives Teilsystem von R und h .,. i ist das euklidische Standard-Skalar- N produkt auf R ; ferner bezeichnet σα die Spiegelung an der zu α orthogonalen Hyperebene und k : R → C eine sogenannte Multiplizitätsfunktion auf R, d.h. eine unter der natürlichen Operation von G invariante Funktion k : R → C. Der Dunkl-Operator Tξ(k) kann insbesondere als eine mittels k parameterisierte Störung des gewöhnlichen partiellen Ableitungsoperators in
Richtung ξ aufgefaßt werden. Ist die Multiplizitätsfunktion k identisch Null, so stimmt Tξ(k) mit der gewöhnlichen Ableitung in Richtung ξ überein. Die Aktion der Dunkl-Operatoren N Tξ(k) auf dem Vektrorraum der Polynomfunktionen auf R ist G-äquivariant und homogen vom Grad −1. Darüberhinaus haben die Dunkl-Operatoren (bei festem k) die bemerkenswerte Eigenschaft daß sie kommutieren:
N Tξ(k) Tη(k) = Tη(k) Tξ(k) für alle ξ, η ∈ R .
In [D4] wurde zunächst für nichtnegative Parameter k die Existenz eines homogenen linearen
Operators Vk auf dem Raum der Polynome bewiesen, welcher die Algebra der Dunkl-Operatoren mit der Algebra der gewöhnlichen Differentialoperatoren vertauscht, d.h.
N Tξ(k)Vk = Vk ∂ξ für alle ξ ∈ R .
Unter der Forderung Vk(1) = 1 ist dieser auch eindeutig. Eine gründliche Analyse in [D-J-O] ergab später, daß ein solcher Vertauschungsoperator tatsächlich für genau diejenigen Multi- plizitätsfunktionen existiert, für welche der gemeinsame Kern der Tξ(k), aufgefaßt als lineare Operatoren auf dem Vektorraum der Polynome in N Variablen, keine “singulären” Polynome außer den Konstanten enthält.
Ein zentraler Teil dieser Arbeit ist dem weiteren Studium des Vertauschungsoperators Vk für nichtnegative Multiplizitätsfunktionen k gewidmet. Obwohl eine explizite Darstellung nur in sehr wenigen speziellen Fällen bekannt ist, äußerte Dunkl in [D4] die Vermutung, daß der
Operator Vk im Fall k ≥ 0 stets positivitätserhaltend auf Polynomen ist und eine Integral- darstellung vom Bochner-Typ auf gewissen Algebren analytischer Funktionen besitzt. Diese Vermutung wird in Kapitel 2 bewiesen. Der Beweis erfordert mehrere Schritte; der zentrale
Teil ist dabei der Nachweis der Positivität von Vk auf Polynomen. Entscheidend hierfür ist eine iv
Reduktion des N -dimensionalen auf ein eindimensionales Problem, welches dann explizit zu lösen ist. Die erforderliche Reduktion wird mittels einer Charakterisierung vom Hille-Yosida- Typ für die Erzeuger positiver Halbgruppen auf Räumen von Polynomen bewerkstelligt. Das
Hauptresultat von Kapitel 2 basiert dann auf einer Fortsetzung des Vertauschungsoperators Vk N auf gewisse Algebren analytischer Funktionen. Es besagt, daß für jedes x ∈ R ein eindeutiges k N Wahrscheinlichkeitsmaß µx auf der Borel-σ-Algebra des R existiert, so daß Vk für analytische Funktionen f einer geeignet großen Klasse, und insbesondere für alle Polynome, die Darstellung Z k Vkf(x) = f(ξ) dµx(ξ) RN besitzt. Dieses Resultat erlaubt allerdings nur sehr begrenzte Aussagen bezüglich spezifischer Eigenschaften der darstellenden Maße, nämlich ihre Träger und gewisse Invarianz-Eigenschaften betreffend. Es ist eine interessante und noch offene Frage, unter welchen Bedingungen an die k Multiplizitätsfunktion k die Maße µx absolut stetig bezüglich des Lebesgue-Maßes sind oder aber diskrete Anteile haben. Eine wichtige Konsequenz unseres Hauptresultats betrifft den verallgemeinerten Exponen- tialkern Ek(z, w) zu G und k, welcher im Rahmen der Dunkl-Theorie die übliche Expo- N N nentialfunktion auf C × C ersetzt. Nach einem Resultat aus [O2] ist dieser Exponen- tialkern als eindeutige Lösung eines simultanen Eigenwert-Problems für die Dunkl-Operatoren N {Tξ(k), ξ ∈ R } charakterisiert; er läßt sich auch schreiben als