Rigorous validation of Radially Symmetric Stationary Solutions of PDEs.

Series: 
CDSNS Colloquium
Monday, May 2, 2016 - 10:00
1 hour (actually 50 minutes)
Location: 
Skiles 005
,  
V.U. Amsterdam
Organizer: 
We shall take a look at computer-aided techniques that can be used to prove the existence of stationary solutions of radially symmetric PDEs. These techniques combine existing numerical methods with functional analytic estimates to provide a computer-assisted proof by means of the so-named 'radii-polynomial' approach.