Das lineare Filterproblem in separablen Hilberträumen - Mit einer Einführung in die stochastische Integration einschließlich Behandlung der Ito-Formel

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 schließt 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 abschließt. 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, daß 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öße und y(t) die Ausgangsgröße 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öße, die sämtliche Informationen über die Vorgeschichte des Systems enthält, die für die weitere zeitliche Entwicklung des Systems [...]