The PDE formulation of Mean Field Games (MFG) is described by nonlinear systems in which a Hamilton—Jacobi—Bellman (HJB) equation and a Kolmogorov—Fokker—Planck (KFP) equation are coupled. The advective term of the KFP equation involves a partial derivative of the Hamiltonian that is often assumed to be continuous. However, in many cases of practical interest, the underlying optimal control problem of the MFG may give rise to bang-bang controls, which typically lead to nondifferentiable Hamiltonians. In this talk we present results on the analysis and numerical approximation of second-order MFG systems for the general case of convex, Lipschitz, but possibly nondifferentiable Hamiltonians.
In particular, we propose a generalization of the MFG system as a Partial Differential Inclusion (PDI) based on interpreting the partial derivative of the Hamiltonian in terms of subdifferentials of convex functions.

We present theorems that guarantee the existence of unique weak solutions to MFG PDIs under a monotonicity condition similar to one that has been considered previously by Lasry & Lions. Moreover, we introduce a monotone finite element discretization of the weak formulation of MFG PDIs and prove the strong convergence of the approximations to the value function in the H¹-norm and the strong convergence of the approximations to the density function in L^q-norms. We conclude the talk with some numerical experiments involving non-smooth solutions. 

This is joint work with my supervisor Iain Smears. 

Classically, topological vector bundles are classified by homotopy classes of maps into infinite Grassmannians. This allows us to study topological vector bundles using obstruction theory: we can detect whether a vector bundle has a trivial subbundle by means of cohomological invariants. In the context of algebraic geometry, one can ask whether algebraic vector bundles over smooth affine varieties can be classified in a similar way. Recent advances in motivic homotopy theory give a positive answer, at least over an algebraically closed base field. Moreover, the behaviour of vector bundles over general base fields has surprising connections with the theory of quadratic forms.

The proximal Galerkin finite element method is a high-order, nonlinear numerical method that preserves the geometric and algebraic structure of bound constraints in infinitedimensional function spaces. In this talk, we will introduce the proximal Galerkin method and apply it to solve free-boundary problems, enforce discrete maximum principles, and develop scalable, mesh-independent algorithms for optimal design. The proximal Galerkin framework is a natural consequence of the latent variable proximal point (LVPP) method, which is an stable and robust alternative to the interior point method that will also be introduced in this talk.

In particular, LVPP is a low-iteration complexity, infinite-dimensional optimization algorithm that may be viewed as having an adaptive barrier function that is updated with a new informative prior at each (outer loop) optimization iteration. One of the main benefits of this algorithm is witnessed when analyzing the classical obstacle problem. Therein, we find that the original variational inequality can be replaced by a sequence of semilinear partial differential equations (PDEs) that are readily discretized and solved with, e.g., high-order finite elements. Throughout the talk, we will arrive at several unexpected contributions that may be of independent interest. These include (1) a semilinear PDE we refer to as the entropic Poisson equation; (2) an algebraic/geometric connection between high-order positivity-preserving discretizations and an infinite-dimensional Lie group; and (3) a gradient-based, bound-preserving algorithm for two-field density-based topology optimization.

The complete latent variable proximal Galerkin methodology combines ideas from nonlinear programming, functional analysis, tropical algebra, and differential geometry and can potentially lead to new synergies among these areas as well as within variational and numerical analysis. This talk is based on [1].

Keywords: pointwise bound constraints, bound-preserving discretization, entropy regularization, proximal point

Mathematics Subject Classifications (2010): 49M37, 65K15, 65N30

References  [1] B. Keith, T.M. Surowiec. Proximal Galerkin: A structure-preserving finite element method for pointwise bound constraints arXiv preprint arXiv:2307.12444 2023.

Brown University Email address: @email

Simula Research Laboratory Email address: @email

We introduce a sparse and very high order hp-finite element method for the weak form of the Helmholtz equation.  The domain may be a disk, an annulus, or a cylinder. The cells of the mesh are an innermost disk (omitted if the domain is an annulus) and concentric annuli.

We demonstrate the effectiveness of this method on PDEs with radial direction discontinuities in the coefficients and data. The discretization matrix is always symmetric and positive-definite in the positive-definite Helmholtz regime. Moreover, the Fourier modes decouple, reducing a two-dimensional PDE solve to a series of one-dimensional solves that may be computed in parallel, scaling with linear complexity. In the positive-definite case, we utilize the ADI method of Fortunato and Townsend to apply the method to a 3D cylinder with a quasi-optimal complexity solve.

I will talk about the coarse geometry of lattices in real semisimple Lie groups. One great result from the 1990s is the quasi-isometric rigidity of these lattices: any group that is quasi-isometric to such a lattice must be, up to some minor adjustments, isomorphic to lattice in the same Lie group. I present a partial generalization of this result to the setting of Sublinear Bilipschitz Equivalences (SBE): these are maps that generalize quasi-isometries in some 'sublinear' fashion.