Das lineare Filterproblem in separablen Hilberträumen (PDF)

Inhaltsangabe:Inhaltsangabe:
Einleitung:
Zum Verständnis dieser Diplomarbeit sind gute Kenntnisse der Wahrscheinlichkeitstheorie und Integrationstheorie sowie Grundkenntnisse in Funktionalanalysis hilfreich.
Im Mittelpunkt meiner Diplomarbeit stehen zwei Themenbereiche, die ich nun kurz vorstellen möchte. Die Kapitel 1-6 geben eine umfangreiche Einführung in die Theorie der stochastischen Integration in Hilberträumen, wobei ich in Kapitel 1-3 zunächst grundlegende Begriffe wie z.B. Stoppzeit, Martingal oder bedingte Erwartung behandle. Daran schliesst sich die eigentliche Einführung in die stochastische Integration in Hilberträumen an, wobei das Buch von M. MÉTIVIER und J. PELLAUMAIL die Basis für den von mir gewählten Zugang bildet. In Kapitel 4 werden dabei neben den grundlegenden Definitionen die Eigenschaften stochastischer Integrale und Integralprozesse sowie Konvergenzsätze für Folgen stochastischer Integralprozesse behandelt. In Kapitel 5 definiere ich die quadratischen und tensor-quadratischen Variationsprozesse und erarbeite wichtige Aussagen über diese Prozesse ¿ dies dient zur Vorbereitung von Kapitel 6, das mit der Ito-Formel für stochastische Prozesse in Hilberträumen und einigen Korollaren hieraus die von mir gegebene Einführung in die Theorie der stochastischen Integration abschliesst.
Die umfangreiche Behandlung der Theorie der stochastischen Integration ist als Unterbau für die Kapitel 7-9 erforderlich, die das lineare Filterproblem in separablen Hilberträumen behandeln. Hierbei handelt es sich um einen Gegenstand der stochastischen Kontrolltheorie. In der deterministischen Kontrolltheorie interessieren wir uns allgemein für lineare differentielle dynamische Systeme, d. h. für mathematische Modelle eines Teils der Realität, an dessen zeitlicher Veränderung wir interessiert sind ¿ die Bezeichnung ¿linear differentiell¿ drückt hierbei aus, dass nur solche Systeme betrachtet werden sollen, die sich durch lineare Differentialgleichungen beschreiben lassen. Wenn t (Formel im Original vorhanden) der Zeitparameter, x(t) der Systemzustand, u(t) die Eingangsgrösse und y(t) die Ausgangsgrösse zum Zeitpunkt t ist (x, u, y haben Werte in Vektorräumen), so hat ein solches System z. B. die Gestalt (im Originaltext befinden sich hier Formeln und eine Grafik).
Der Systemzustand zum Zeitpunkt t ist dabei eine Grösse, die sämtliche Informationen über die Vorgeschichte des Systems enthält, die für die weitere zeitliche Entwicklung des Systems [...]