Topics

The set of topics comprises an integrated and coherent presentation that starts with ill-posedness and regularization, develops mathematical and computational tools for sensitivity analysis and deterministic inversion for problems governed by differential equations via nonlinear least squares optimization, and elaborates a framework for formulation and solution of Bayesian inverse problems, building on several of the deterministic tools.

Morning lectures will be followed by hands-on afternoon lab sessions, where students will employ the methods presented in the lectures using state-of-the-art software and explore issues more deeply.

The summer school will culminate with presentations of projects the students have worked on in small teams during the latter part of the second week.

Morning lectures

  1. Introduction to inverse problems, ill-posedness, regularization
  2. Numerical optimization methods
  3. Variational calculus, first and second-order sensitivity
  4. Adjoint methods and PDE-constrained optimization
  5. Bayesian statistical framework
  6. Linear-Gaussian Bayesian inverse problems
  7. MCMC for general nonlinear Bayesian inverse problems
  8. Advanced topics in Bayesian computation I: Infinite-dimensional Bayesian inversion
  9. Advanced topics in Bayesian computation II: Sequential inference, optimal experimental design

Afternoon hands-on lab sessions

  1. Getting started with Python (installation, Docker)
  2. Introduction to FEniCS (weak forms, solving PDEs via FEniCS)
  3. Variational calculus problems via hiPPYlib
  4. Solving inverse problems via hIPPYlib
  5. Simple examples in Bayesian computation and Monte Carlo methods
  6. Linear Bayesian inversion via MUQ–hIPPYlib
  7. MCMC methods via MUQ–hIPPYlib
  8. Project work
  9. Project work

antarctica

Left: Satellite observations of surface ice flow velocity used to solve Antarctic ice sheet inverse problem, along with a model of ice flow as a non-Newtonian fluid. Right: Inferred basal friction parameter field (warm colors imply low resistance to sliding at base of ice sheet)