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.

# Analysis of Fluids and Related Topics

For more information on this seminar, please contact Tarek Elgindi, Mihaela Ignatova, Javier Gomez-Serrano, Fabio Pusateri, Vlad Vicol or Peter Constantin.

**Please click on seminar title for complete abstract.**

##### Brief survey of computer assisted proofs for partial differential equations

Rutgers University

##### TBA - Andrej Zlatos

UC San Diego

##### Culmination of the inverse cascade - mean flow and fluctuations

An inverse cascade, energy transfer to progressively larger scales, is a salient feature of two-dimensional turbulence. If the cascade reaches the system scale, it creates a coherent flow expected to have the largest available scale and conform with the symmetries of the domain.

Princeton PCTS

##### TBA - Paolo Luzzatto-Fegiz

UC Santa Barbara

##### TBA - Jon Wilkening (UC Berkeley)

UC Berkeley