Analysis of Fluids and Related Topics: Brief survey of computer assisted proofs for partial differential equations

Jacek Cyranka, Rutgers University
Mar 30 2017 - 4:30pm
Event type: 
Analysis of Fluids and Related Topics
Fine Hall 322

I will present a brief survey of computer assisted methods of studying partial differential equations that I have worked on. The methods I am going to discuss allow for obtaining proofs of the existence of particular solutions of a certain class of PDEs in a prescribed range of parameters.  I will discuss opportunities  and limitations of the presented approach. In particular most of the presented results have not been obtained using known techniques of 'classical analysis'.  I will focus on two particular examples from my research, namely 1) a proof of the existence of globally attracting solutions for the 1d viscous Burgers equation (with non-autonomous forcing), and 2) recent proof of the heteroclinic connections in the 1d Ohta-Kawasaki (diblock copolymers) model