すいません　ある種の偏微分方程式に必ず解がある　というようなことを証明した女性の数学者の名前を教えていただけませんか？

以前三体問題について悩んでいたときにそれを聞いて安心した覚えがあります。

よろしくお願いします。