Toppforsk@IE: Partial differential equations

Partial differential equations

Toppforsk@IE research group

Activities

Activities

Toppforsk@IE: PDE (drop-down)

An introductory lecture series on Stochastic PDEs and Interval Arithmetic in Computer-Assisted Proofs

An introductory lecture series on Stochastic PDEs and Interval Arithmetic in Computer-Assisted Proofs

Date: December 8-11, 2025

Place: Auditorium H1 (Monday-Wednesday), Auditorium EL2 (Thursday)

Julien Vovelle, UMPA, ENS de Lyon
We give an introduction to stochastic partial differential equations, discussing in particular regularization by noise, invariant measures, and the stochastic compactness method for first and second order conservation laws.

Monday 10:15: Quick introduction to the Wiener process and the stochastic integral
Monday 14:15: Itô formula, regularization by the noise in transport equations
Tuesday 10:15: The stochastic compactness method I
Tuesday 14:15: The stochastic compactness method II. Invariant measures

Javier Gomez-Serrano, Brown University
In this series of lectures I will discuss how computers can be used for discovery, intuition, computation and mathematical proofs, using a broad collection of problems.

Wednesday 10:15: Introduction
Wednesday 14:15: Computer-assisted proofs (I)
Thursday 10:15: Computer-assisted proofs (II)
Thursday 14:15: AI+Math

Background

Background

This Toppforsk@IE research group consists of members from the Department of Mathematical Sciences. The group has three research goals: systems with shocks and singularities, stochastic partial differential equations, and computer-assisted proofs.


Systems with shocks and singularities. We seek solution concepts that allow continuation of solutions beyond sudden changes in the qualitative behaviour. Examples are the development of shocks or wave breaking in water waves, or the transition between finitely and infinitely many particles or agents. The latter appears in so-called mean field games which investigates the transition between continuum models. This direction of investigation bridges the group's current expertise with some new areas where it can be applied. 


Stochastic partial differential equations. This type of differential equations has become a hot topic in recent years as its theoretical development is essential in the common ground between statistics and mathematics. It also plays a major role in disiplines with large data sets such as neuroscience and biologi. The group has started pursuing this direction, and intends to broaden its understanding of the topic.


Computer-assisted proofs. A recently developed new tool in mathematics which has, combinded with analytical theory, given surprising and major break throughs within areas where fine or precise estimates are needed, e. g. in fluid mechanics. The tool is not yet exploited in Norway, and the group believes it can be of great use to the community. 

 

Publications

Publications

  • TBA

Toppforsk@IE: PDE (picture)

Photo © Kai T. Dragland (2025)