Seminars & Colloquia Calendar
A constructive proof of the Cauchy-Kovalevskaya theorem with applications to validated numerics
Tianhao Zhang, Rutgers University
Location: Hill 425
Date & time: Friday, 18 October 2019 at 12:00PM - 1:00PM
Abstract: In this talk, I will present a constructive proof of the Cauchy-Kovalevskaya theorem for ODEs. The proof is motivated by a validated numerics technique called the radii polynomial approach commonly used for polynomial ODEs. I will introduce the basic aspects of this approach and then show how we extend it to the analytic case and apply it to prove the classical Cauchy-Kovalevskaya theorem.
This is joint work with Shane Kepley.