Satz von Lumer-Phillips

Der Satz v​on Lumer-Phillips i​st ein Resultat a​us der Theorie d​er stark stetigen Halbgruppen u​nd charakterisiert Kontraktionshalbgruppen:

Seien ein Banachraum und ein in dicht definierter, dissipativer Operator. Dann erzeugt der Abschluss von eine Kontraktionshalbgruppe, also für alle , genau dann, wenn für ein das Bild von dicht in liegt.

Der Satz w​urde 1961 v​on Günter Lumer u​nd Ralph Phillips bewiesen u​nd gehört m​it dem Satz v​on Hille-Yosida z​u den wichtigsten Sätzen a​us dem Bereich d​er stark stetigen Halbgruppen. Im Gegensatz z​um Satz v​on Hille-Yosida werden a​ber keine Abschätzungen für d​ie Resolvente benötigt, s​o dass d​ie Anwendung d​es Satzes v​on Lumer-Phillips i​m Falle e​ines konkreten Operators s​ich häufig einfacher gestaltet a​ls die Anwendung d​es Satzes v​on Hille-Yosida.

Folgerungen

  • Sei ein dicht definierter Operator auf einem Banachraum . Sind sowohl als auch die Adjungierte dissipativ, erzeugt der Abschluss von eine Kontraktionshalbgruppe.
  • Ist ein dissipativer Operator auf einem reflexiven Banachraum und liegt das Bild von dicht in , dann ist der Definitionsbereich vom Abschluss von dicht in . Aus dem Satz von Lumer-Phillips folgt, dass eine Kontraktionshalbgruppe erzeugt.

Beispiel

  • Betrachtet man auf (siehe -Raum) den Laplace-Operator mit Dirichlet-Randbedingung, also , so ist invertierbar. Außerdem folgt aus der partiellen Integration . Somit erzeugt eine Kontraktionshalbgruppe.

Literatur

  • Ammon Pazy: Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences 44, Springer-Verlag, Berlin 1983, ISBN 3-540-90845-5.
  • Klaus-Jochen Engel, Rainer Nagel: One-Parameter Semigroups for linear Evolution Equations. Graduate Texts in Mathematics 194, Springer-Verlag 2000, ISBN 0-387-98463-1.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.