Satz von Minty-Browder

Der Satz von Minty-Browder oder auch Satz von Browder und Minty, englisch Minty-Browder theorem, ist ein mathematischer Lehrsatz der Nichtlinearen Funktionalanalysis. Er geht auf Arbeiten der beiden Mathematiker George Minty und Felix Browder aus den Jahren 1962 und 1963 zurück.

Der Satz behandelt die Frage der Bedingungen, unter denen ein monotoner Operator auf einem separablen reflexiven Banachraum über dem Körper der reellen Zahlen surjektiv ist. Er wird auch als Hauptsatz der Theorie monotoner Operatoren bezeichnet und gilt als nichtlineares Analogon zum Satz von Lax-Milgram. Der Satz findet vielfache Anwendung bei der Lösung nichtlinearer Randwertaufgaben der Variationsrechnung. Der Beweis des Satzes beruht auf dem Fixpunktsatz von Brouwer und der Galerkin-Methode.