Rigorous validation of Radially Symmetric Stationary Solutions of PDEs.

CDSNS Colloquium
Monday, May 2, 2016 - 10:00
1 hour (actually 50 minutes)
Skiles 005
V.U. Amsterdam
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.