Past Partial Differential Equations Seminar

The Alfven waves are fundamental wave phenomena in magnetized plasmas and the dynamics of Alfven waves are governed by the MHD system. In the talk,  we construct and study the long time behavior of (viscous and non-viscous) Alfven waves.

As applications, (1) We provide a rigorous justification for the following dynamical phenomenon observed in many contexts: the solution at the beginning behave like non-dispersive waves and the shape of the solution persists for a very long time (proportional to the Reynolds number); thereafter, the solution will be damped due to the long-time accumulation of the diffusive effects;

(2) We prove the rigidity aspects of the scattering problem for the MHD equations: We prove that the Alfven waves must vanish if their scattering fields vanish at infinities.

There is a striking relationship between Willmore surfaces of revolution and elastic curves in hyperbolic half-space. Here the term elastic curve refer to a critical point of the energy given by the integral of the curvature squared. In the talk we will discuss this relationship and use it to study long-time existence and asymptotic behavior for the L2-gradient flow of the Willmore energy, under the condition that the initial datum is a torus of revolution. As in the case of Willmore flow of spheres, we show that if an initial datum has Willmore energy below 8 \pi then the solution of the Willmore flow converges to the Clifford Torus, possibly rescaled and translated. The energy threshold of 8 \pi turns out to be optimal for such a convergence result. 

The lecture is based on joint work with M. Müller (Univ. Freiburg), R. Schätzle (Univ. Tübingen) and A. Spener (Univ. Ulm).

 Given a solution of the Einstein equations, a fundamental question is whether one can extend the solution or whether the solution is maximal. If the solution is inextendible in a certain regularity class due to the geometry becoming singular, a further question is whether the strength of the singularity is such that it terminates classical time-evolution. The latter question, as will be explained in the talk, is intimately tied to the strong cosmic censorship conjecture in general relativity which states in the language of partial differential equations that global uniqueness holds generically for the initial value problem for the Einstein equations. I will then focus in the talk on recent results showing the locally Lipschitz inextendibility of FLRW models with particle horizons and spherically symmetric weak null singularities. The latter in particular apply to the spherically symmetric spacetimes constructed by Luk and Oh, improving their C^2-formulation of strong cosmic censorship to a locally Lipschitz formulation.

We will discuss recent developments of the theory of a-contraction with shifts to study the stability of discontinuous solutions of systems of equations modeling inviscid compressible flows, like the compressible Euler equation.

In the one dimensional configuration, the Bressan theory shows that small BV solutions are stable under small BV perturbations (together with a technical condition known as bounded variations on space-like curve).

The theory of a-contraction allows to extend the Bressan theory to a weak/BV stability result allowing wild perturbations fulfilling only the so-called strong trace property. Especially, it shows that the technical condition of BV on space-like curve is not needed. (joint work with Sam Krupa and Geng Chen). 

We will show several applications of the theory of a-contraction with shifts on the barotropic Navier-Stokes equation. Together with Moon-Jin Kang and Yi wang, we proved the conjecture of Matsumura (first mentioned in 1986). It consists in proving the time asymptotic stability of composite waves of viscous shocks and rarefactions. 

Together with Moon-Jin Kang, we proved also that inviscid shocks of the Euler equation, are stable among the family of inviscid limits of Navier-Stokes equation (Inventiones 2021). This stability result holds in the class of wild perturbations of inviscid limits, without any regularity restriction (not even strong trace property). This shows that the class of inviscid limits of Navier-Stokes equations is better behaved that the class of weak solutions to the inviscid limit problem.

This is obtained thanks to a stability result at the level of Navier-Stokes, which is uniform with respect to the viscosity, allowing asymptotically infinitely large perturbations (JEMS 2021).

A first multi D result of stability of contact discontinuities without shear, in the class of inviscid limit of Fourier-Navier-Stokes, shows that the same property is true for some situations even in multi D (joint work with Moon-jin Kang and Yi Wang). 

A fundamental question in fluid dynamics concerns the formation of discontinuous shock waves from smooth initial data. In previous works, we have established stable generic shock formation for the compressible Euler system, showing that at the first singularity the solution has precisely C^{1/3} Holder regularity, a so-called preshock. The focus of this talk is a complete space-time description of the solution after this initial singularity. We show that three surfaces of discontinuity emerge simultaneously and instantaneously from the preshock: the classical shock discontinuity that propagates by the Rankine–Hugoniot conditions, together with two distinct surfaces in space-time, along which C^{3/2} cusp singularities form.

We study the minimization of functionals of the form $$ u  \mapsto \int_\Omega  f(\nabla u) \, dx $$

with a convex integrand $f$ of linear growth (such as the area integrand), among all functions in the Sobolev space W$^{1,1}$ with prescribed boundary values. Due to insufficient compactness properties of these Dirichlet classes, the existence of solutions does not follow in a standard way by the direct method in the calculus of variations and might in fact fail, as it is well-known already for the non-parametric minimal surface problem. In such cases, the functional is extended suitably to the space BV of functions of bounded variation via relaxation, and for the relaxed functional one can in turn guarantee the existence of minimizers. However, in contrast to the original minimization problem, these BV minimizers might in principle have interior jump discontinuities or not attain the prescribed boundary values.

After a short introduction to the problem I want to focus on the question of regularity of BV minimizers. In past years, Sobolev regularity was established provided that the lack of ellipticity -- which is always inherent for such linear growth integrands -- is mild, while, in general, only some structure results seems to be within reach. In this regard, I will review several results which were obtained in cooperation with Miroslav Bulíček (Prague), Franz Gmeineder (Bonn), Erika Maringová (Vienna), and Thomas Schmidt (Hamburg).

The binormal flow is a model for the dynamics of a vortex filament in a 3-D inviscid incompressible fluid. This flow is also related to the classical continuous Heisenberg model in ferromagnetism and to the 1-D cubic Schrödinger equation. In this lecture I will first talk about the state of the art of the binormal flow conjecture, as well as about mathematical methods and results for the binormal flow. Then I will introduce a class of solutions at the critical level of regularity that generate singularities in finite time and describe some of their properties. These results are joint work with Luis Vega.

One of the main questions in the theory of the linear transport equation is whether uniqueness of solutions to the Cauchy problem holds in the case the given vector field is not smooth. We will show that even for incompressible, Sobolev (thus quite “well-behaved”) vector fields, uniqueness of solutions can drastically fail. This result can be seen as a counterpart to DiPerna and Lions’ well-posedness theorem, and, more generally, it can be interpreted as an instance of the “flexibility vs. rigidity” duality, which is a common feature of PDEs appearing in completely different fields, such as differential geometry and fluid dynamics (joint with G. Sattig and L. Székelyhidi). 

The Yamabe problem asks whether, given a closed Riemannian manifold, one can find a conformal metric of constant scalar curvature (CSC). An affirmative answer was given by Schoen in 1984, following contributions from Yamabe, Trudinger, and Aubin, by establishing the existence of a function that minimizes the so-called Yamabe energy functional; the minimizing function corresponds to the conformal factor of the CSC metric.

We address the quantitative stability of minimizing Yamabe metrics. On any closed Riemannian manifold we show—in a quantitative sense—that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close to a CSC metric. Generically, this closeness is controlled quadratically by the Yamabe energy deficit. However, we construct an example demonstrating that this quadratic estimate is false in the general. This is joint work with Max Engelstein and Luca Spolaor.

For some nonlocal PDEs, its steady states can be seen as critical points of an associated energy functional. Therefore, if one can construct perturbations around a function such that the energy decreases to first order along the perturbation, this function cannot be a steady state. In this talk, I will discuss how this simple variational approach has led to some recent progresses in the following equations, where the key is to carefully construct a suitable perturbation.

I will start with the aggregation-diffusion equation, which is a nonlocal PDE driven by two competing effects: nonlinear diffusion and long-range attraction. We show that all steady states are radially symmetric up to a translation (joint with Carrillo, Hittmeir and Volzone), and give some criteria on the uniqueness/non-uniqueness of steady states within the radial class (joint with Delgadino and Yan).

I will also discuss the 2D Euler equation, where we aim to understand under what condition must a stationary/uniformly-rotating solution be radially symmetric. Using a variational approach, we settle some open questions on the radial symmetry of rotating patches, and also show that any smooth stationary solution with compactly supported and nonnegative vorticity must be radial (joint with Gómez-Serrano, Park and Shi).

 In this talk I will discuss possible extensions of the euclidean quantitative isoperimetric inequality to compact Riemannian manifolds. 
This is joint work with O. Chodosh (Stanford) and M. Engelstein (University of Minnesota).

We propose a modulated free energy which combines of the method previously developed by the speaker together with the modulated energy introduced by S. Serfaty. This modulated free energy may be understood as introducing appropriate weights in the relative entropy  to cancel the more singular terms involving the divergence of the flow. This modulated free energy allows to treat singular interactions of gradient-flow type and allows potentials with large smooth part, small attractive singular part and large repulsive singular part. As an example, a full rigorous derivation (with quantitative estimates) of some chemotaxis models, such as Patlak-Keller-Segel system in the subcritical regimes, is obtained.

Hardt-Simon proved that every area-minimizing hypercone $C$ having only an isolated singularity fits into a foliation of $R^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $C$. We prove that if a minimal hypersurface $M$ in the unit ball $B_1 \subset R^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the Simons' cone), then $M \cap B_{1/2}$ is a $C^{1,\alpha}$ perturbation of either the cone itself, or some leaf of its associated foliation. In particular, we show that singularities modeled on these cones determine the local structure not only of $M$, but of any nearby minimal surface. Our result also implies the Bernstein-type result of Simon-Solomon, which characterizes area-minimizing hypersurfaces in $R^{n+1}$ asymptotic to a quadratic cone as either the cone itself, or some leaf of the foliation.  This is joint work with Luca Spolaor.

Unlike the classical Cauchy problem in general relativity, which has been well-understood since the pioneering work of Y. Choquet-Bruhat (1952), the initial boundary value problem for the Einstein equations still lacks a comprehensive treatment. In particular, there is no geometric description of the boundary data yet known, which makes the problem well-posed for general timelike boundaries. Various gauge-dependent results have been established. Timelike boundaries naturally arise in the study of massive bodies, numerics, AdS spacetimes. I will give an overview of the problem and then present recent joint work with Jacques Smulevici that treates the special case of a totally geodesic boundary.

In the talk, we will discuss the connection between quantitative hypoelliptic PDE methods and the long-time dynamics of stochastic differential equations (SDEs). In a recent joint work with Alex Blumenthal and Sam Punshon-Smith, we put forward a new method for obtaining quantitative lower bounds on the top Lyapunov exponent of stochastic differential equations (SDEs). Our method combines (i) an (apparently new) identity connecting the top Lyapunov exponent to a degenerate Fisher information-like functional of the stationary density of the Markov process tracking tangent directions with (ii) a  quantitative version of Hörmander's hypoelliptic regularity theory in an L1 framework which estimates this (degenerate) Fisher information from below by a W^{s,1} Sobolev norm using the associated Kolmogorov equation for the stationary density. As an initial application, we prove the positivity of the top Lyapunov exponent for a class of weakly-dissipative, weakly forced SDE and we prove that this class includes the classical Lorenz 96 model in any dimension greater than 6, provided the additive stochastic driving is applied to any consecutive pair of modes. This is the first mathematically rigorous proof of chaos (in the sense of positive Lyapunov exponents) for Lorenz 96 and, more recently, for finite dimensional truncations of the shell models GOY and SABRA (stochastically driven or otherwise), despite the overwhelming numerical evidence. If time permits, I will also discuss joint work with Kyle Liss, in which we obtain sharp, quantitative estimates on the spectral gap of the Markov semigroups. In both of these works, obtaining various kinds of quantitative hypoelliptic regularity estimates that are uniform in certain parameters plays a pivotal role.  

In the first part of this lecture, I will discuss the proof of convergence of the Lorentz process, in the Boltzmann-Grad limit, to a random process governed by a generalised linear Boltzmann equation. This will hold for general scatterer configurations, including certain types of quasicrystals, and include the previously known cases of periodic and Poisson random scatterer configurations. The second part of the lecture will focus on quantum transport in the periodic Lorentz gas in a combined short-wavelength/Boltzmann-Grad limit, and I will report on some partial progress in this challenging problem. Based on joint work with Andreas Strombergsson (part I) and Jory Griffin (part II).

TBA

For a given vector field $h$ on a manifold $M$ and an initial point $x \in M$, let $t \mapsto \exp th(x)$ denote the solution to the Cauchy problem $y' = h(y)$, $y(0) = x$. Given two vector fields $f$, $g$, the flows $\exp(tf)$, $\exp(tg)$ in general are not commutative. That is, it may happen that, for some initial point $x$,

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) ≠ x,$$

for small times $t ≠ 0$.

         As is well-known, the Lie bracket $[f,g] := Dg \cdot f - Df \cdot g$ measures the local non-commutativity of the flows. Indeed, one has (on any coordinate chart)

$$\exp(-tg) \circ \exp(-tf) \circ \exp(tg) \circ \exp(tf) (x) - x = t^2 [f,g](x) + o(t^2)$$

         The non-commutativity of vector fields lies at the basis of many nonlinear issues, like propagation of maxima for solutions of degenerate elliptic PDEs, controllability sufficient conditions in Nonlinear Control Theory, and higher order necessary conditions for optimal controls. The fundamental results concerning commutativity (e.g. Rashevski-Chow's Theorem, also known as Hörmander's full rank condition, or Frobenius Theorem) assume that the vector fields are smooth enough for the involved iterated Lie brackets to be well defined and continuous: for instance, if the bracket $[f,[g,h]]$ is to be used, one posits $g,h \in C^2$ and $f \in C^{1..}$.

         We propose a notion of (set-valued) Lie bracket (see [1]-[3]), through which we are able to extend some of the mentioned fundamental results to families of vector fields whose iterated brackets are just measurable and defined almost everywhere.

References.

[1]  Rampazzo, F. and Sussmann, H., Set-valued differentials and a nonsmooth version of Chow’s Theorem (2001), Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida, 2001 (IEEE Publications, New York), pp. 2613-2618.

[2] Rampazzo F.  and Sussmann, H.J., Commutators of flow maps of nonsmooth vector fields (2007), Journal of Differential Equations, 232, pp. 134-175.

[3] Feleqi, E. and Rampazzo, F., Iterated Lie brackets for nonsmooth vector fields (2017), Nonlinear Differential Equations and Applications NoDEA, 24-6.

The classical Minkowski problem consists in finding a convex polyhedron from data consisting of normals to their faces and their surface areas. In the smooth case, the corresponding problem for convex bodies is to find the convex body given the Gauss curvature of its boundary, as a function of the unit normal. The proof consists of three parts: existence, uniqueness and regularity. 

In this talk, we study a Minkowski problem for certain measure, called p-capacitary surface area measure, associated to a compact convex set $E$ with nonempty interior and its $p-$harmonic capacitary function (solution to the p-Laplace equation in the complement of $E$).  If $\mu_p$ denotes this measure, then the Minkowski problem we consider in this setting is that; for a given finite Borel positive measure $\mu$ on $\mathbb{S}^{n-1}$, find necessary and sufficient conditions for which there exists a convex body $E$ with $\mu_p =\mu$. We will discuss the existence, uniqueness, and regularity of this problem which have deep connections with the Brunn-Minkowski inequality for p-capacity and Monge-Amp{\`e}re equation.

The parabolic Allen-Cahn equations is the gradient flow of phase transition energy and can be viewed as a diffused version of mean curvature flows of hypersurfaces. It has been known by the works of Ilmanen and Tonegawa that the energy densities of the Allen-Cahn flows converges to mean curvature flows in the sense of varifold and the limit varifold is integer rectifiable. It is not known in general whether the transition layers have higher regularity of convergence yet. In this talk, I will report on a joint work with Huy Nguyen that under the low entropy condition, the convergence of transition layers can be upgraded to C^{2,\alpha} sense. This is motivated by the work of Wang-Wei and Chodosh-Mantoulidis in elliptic case that under the condition of stability, one can upgrade the regularity of convergence.

I will present a $\Gamma$-convergence for degenerate integral functionals related to homogenisation problems  in the Heisenberg group. In our  case, both the rescaling and the notion of invariance or periodicity are chosen in a way motivated by the geometry of the Heisenberg group. Without using special geometric features, these functionals would be neither coercive nor periodic, so classic results do not apply.  All the results apply to the more general case of Carnot groups. Joint with Nicolas Dirr, Paola Mannucci and Claudio Marchi.

I will talk about my work arxiv:1911.05038. We prove the local-in-time well-posedness for the solution of the compressible Euler equations in $3$-D, for the Cauchy data of the velocity, density and vorticity $(v,\varrho, \omega) \in H^s\times H^s\times H^{s'}$, $2<s'<s$. The result extends the sharp result of Smith-Tataru and Wang, established in the irrotational case, i.e $ \omega=0$, which is known to be optimal for $s>2$. At the opposite extreme, in the incompressible case, i.e. with a constant density, the result is known to hold for $ \omega\in H^s$, $s>3/2$ and fails for $s\le 3/2$, see the work of Bourgain-Li. It is thus natural to conjecture that the optimal result should be $(v,\varrho, \omega) \in H^s\times H^s\times H^{s'}$, $s>2, \, s'>\frac{3}{2}$. We view our work here as an important step in proving the conjecture. The main difficulty in establishing sharp well-posedness results for general compressible Euler flow is due to the highly nontrivial interaction between the sound waves, governed by quasilinear wave equations, and vorticity which is transported by the flow. To overcome this difficulty, we separate the dispersive part of sound wave from the transported part, and gain regularity significantly by exploiting the nonlinear structure of the system and the geometric structures of the acoustic spacetime.
 

The Kruzkhov's semi-group of a scalar conservation law extends as a semi-group over $L^1$, thanks to its contraction property. M. Crandall raised in 1972 the question of whether its trajectories can be distributional, entropy solutions, or if they are only "abstract" solutions. We solve this question in the case of the multi-dimensional Burgers equation, which is a paradigm for non-degenerate conservation laws. Our answer is the consequence of dispersive estimates. We first establish $L^p$-decay rate by applying the recently discovered phenomenon of Compensated Integrability. The $L^\infty$-decay follows from a De Giorgi-style argument. This is a collaboration with Luis Sivestre (University of Chicago).

Nonlocal minimal surfaces are hypersurfaces of Euclidean space that minimize the fractional perimeter, a geometric functional introduced in 2010 by Caffarelli, Roquejoffre, and Savin in connection with phase transition problems displaying long-range interactions.

In this talk, I will introduce these objects, describe the most important progresses made so far in their analysis, and discuss the most challenging open questions.

I will then focus on the particular case of nonlocal minimal graphs and present some recent results obtained on their regularity and classification in collaboration with X. Cabre, A. Farina, and L. Lombardini.

 The Steklov eigenvalue problem is an eigenvalue problem whose spectral parameters appear in the boundary condition. On a Riemannian surface with smooth boundary, Steklov eigenvalues have a very sharp asymptotic expansion. Also, a number of interesting sharp bounds for the $k$th Steklov eigenvalues have been known. We extend these results on orbisurfaces and discuss how the structure of orbifold singularities comes into play. This is joint work with Arias-Marco, Dryden, Gordon, Ray and Stanhope.

I will explain what the Willmore Morse Index of unbranched Willmore spheres in Euclidean three-space is and how to compute it. It turns out that several geometric properties at the ends of complete minimal surfaces with embedded planar ends are related to the mentioned Morse index.
One consequence of that computation is that all unbranched Willmore spheres are unstable (except for the round sphere). This talk is based on work with Jonas Hirsch.

 

The AO-model describes crystalline solids in the presence of defects like dislocation lines. We demonstrate that the model supports low-energy structures like grains and determine for simple geometries the grain boundary energy density. At small misorientation angles we recover the well-known Read-Shockley law. Due to the atomistic nature of the model it is possible to consider the the Boltzmann-Gibbs distribution at non-zero temperature. Using ideas by Froehlich and Spencer we prove rigorously the presence of long-range order if the temperature is sufficiently small.
 

We investigate properties of minimisers of a variational model describing the shape of charged liquid droplets. Roughly speaking, the shape of a charged liquid droplet is determined by the competition between an ”aggerating” term, due to surface tension forces, and to a ”disaggergating” term due to the repulsive effect between charged particles.

In my talk I want to present our ”first” analysis of the so called Deby-Hückel-type free energy. In particular we show that minimisers satisfy a partial regularity result, a first step of understanding the further properties of a minimiser. The presented results are joint work with Guido De Philippis and Giulia Vescovo.

The Gibbons-Hawking ansatz is a powerful method for constructing a large family of hyperkaehler 4-manifolds (which are thus Ricci-flat), which appears in a variety of contexts in mathematics and theoretical physics. I will describe work in progress to understand the theory of minimal surfaces and mean curvature flow in these 4-manifolds. In particular, I will explain a proof of a version of the Thomas-Yau Conjecture in Lagrangian mean curvature flow in this setting. This is joint work with G. Oliveira.

The translation method for constructing quasiconvex lower bound of a given function in the calculus of variations and the notion of compensated convex transforms for tightly approximate functions in Euclidean spaces will be briefly reviewed. By applying the upper compensated convex transform to the finite maximum function we will construct computable quasiconvex functions with finitely many point wells contained in a subspace with rank-one matrices. The complexity for evaluating the constructed quasiconvex functions is O(k log k) with k the number of wells involved. If time allows, some new applications of compensated convexity will be briefly discussed.

In the seminar I will present a recent work joint with  S. Suhr (Bochum) giving an optimal transport formulation of the full Einstein equations of general relativity, linking the (Ricci) curvature of a space-time with the cosmological constant and the energy-momentum tensor. Such an optimal transport formulation is in terms of convexity/concavity properties of the Shannon-Bolzmann entropy along curves of probability measures extremizing suitable optimal transport costs. The result gives a new connection between general relativity and  optimal transport; moreover it gives a mathematical reinforcement of the strong link between general relativity and thermodynamics/information theory that emerged in the physics literature of the last years.

Localization technique permits to reduce full dimensional problems to possibly easier lower dimensional ones. During the last years a new approach to localization has been obtained using the powerful tools of optimal transport. Following this approach, we obtain quantitative versions of two relevant geometric inequalities  in comparison geometry as Levy-Gromov isoperimetric inequality (joint with F. Maggi and A. Mondino) and the spectral gap inequality (joint with A. Mondino and D. Semola). Both results are also valid in the more general setting of metric measure spaces verifying the so-called curvature dimension condition.

We will talk about our recent results on the uniqueness of regular reflection solutions for the potential flow equation in a natural class of self-similar solutions. The approach is based on a nonlinear version of method of continuity. An important property of solutions for the proof of uniqueness is the convexity of the free boundary.

The stabilization of thermo-mechanical systems is a classical problem in thermodynamics and well

understood in a context of gases. The objective of this talk is to indicate the role of null-Lagrangians and

certain transport/stretching identities in stabilizing thermomechanical systems associated with general

thermoelastic free energies. This allows to prove various convergence results among thermomechan-

ical theories, and suggests a variational scheme for the approximation of the equations of adiabatic

thermoelasticity.

In this talk, I will talk about the existence of global weak solutions for the compressible Navier-Stokes equations, in particular, the viscosity coefficients depend on the density. Our main contribution is to further develop renormalized techniques so that the Mellet-Vasseur type inequality is not necessary for the compactness.  This provides existence of global solutions in time, for the barotropic compressible Navier-Stokes equations, for any $\gamma>1$, in three dimensional space, with large initial data, possibly vanishing on the vacuum. This is a joint work with D. Bresch, A. Vasseur.

After discussing the need for implicit constitutive relations to describe the response of both solids and fluids, I will discuss applications wherein such implicit constitutive relations can be gainfully exploited. It will be shown that such implicit relations can explain phenomena that have hitherto defied adequate explanation such as fracture and the movement of cracks in solids, the response of biological matter, and provide a new way to look at numerous non-linear phenomena exhibited by fluids. They provide a totally new and innovative way to look at the problem of Turbulence. It also turns out that classical Cauchy and Green elasticity are a small subset of the more general theory of elastic bodies defined by implicit constitutive equations. 

In this talk, I will present our recent progress collaborated with Prof. Gui-Qiang G. Chen and Prof. Paolo Secchi on two kinds of characteristic discontinuities: relativistic vortex sheets in three-dimensional Minkowski spacetime and multi-dimensional thermoelastic contact discontinuities.
 

Black holes are predicted by Einstein's theory of general relativity, and now we have ample observational evidence for their existence. However theoretically there are many unanswered questions about how black holes come into being. In this talk, with tools from hyperbolic PDE, quasilinear elliptic equations and geometric analysis, we will prove that, through a nonlinear focusing effect, initially low-amplitude and diffused gravitational waves can give birth to a trapped (black hole) region in our universe. This result extends the 2008 Christodoulou’s monumental work and it also proves a conjecture of Ashtekar on black-hole thermodynamics

In this talk we discuss the Type I blow up and the related problems in the 3D Euler equations. We say a solution $v$ to the Euler equations satisfies Type I condition at possible blow up time $T_*$ if $\lim\sup_{t\nearrow T_*} (T_*-t) \|\nabla v(t)\|_{L^\infty} <+\infty$. The scenario of Type I blow up is a natural generalization of the self-similar(or discretely self-similar) blow up. We present some recent progresses of our study regarding this. We first localize previous result that ``small Type I blow up'' is absent. After that we show that the atomic concentration of energy is excluded under the Type I condition. This result, in particular, solves the problem of removing discretely self-similar blow up in the energy conserving scale, since one point energy concentration is necessarily accompanied with such blow up. We also localize the Beale-Kato-Majda type blow up criterion. Using similar local blow up criterion for the 2D Boussinesq equations, we can show that Type I and some of Type II blow up in a region off the axis can be excluded in the axisymmetric Euler equations. These are joint works with J. Wolf.

In joint work with Peter Topping we introduce pyramid Ricci flows, defined throughout uniform regions of spacetime that are not simply parabolic cylinders, and enjoying curvature estimates that are not required to remain spatially constant throughout the domain of definition. This weakened notion of Ricci flow may be run in situations ill-suited to the classical theory. As an application of pyramid Ricci flows, we obtain global regularity results for three-dimensional Ricci limit spaces (extending results of Miles Simon and Peter Topping) and for higher dimensional PIC1 limit spaces (extending not only the results of Richard Bamler, Esther Cabezas-Rivas and Burkhard Wilking, but also the subsequent refinements by Yi Lai).
 

"We study the hydrodynamic limit for the isothermal dynamics of an anharmonic chain under hyperbolic space-time scaling under varying tension. The temperature is kept constant by a contact with a heat bath, realised via a stochastic momentum-preserving noise added to the dynamics. The noise is designed to be large at the microscopic level, but vanishing in the macroscopic scale. Boundary conditions are also considered: one end of the chain is kept fixed, while a time-varying tension is applied to the other end. We show that the volume stretch and momentum converge to a weak solution of the isothermal Euler equations in Lagrangian coordinates with boundary conditions."

For measuring families of curves, or, more generally, of measures, $M_p$-modulus is traditionally used. More recent studies use so-called plans on measures. In their fundamental paper Ambrosio, Di Marino and Savare proved that these two approaches are in some sense equivalent within $1<p<\infty$. We consider the limiting case $p=1$ and show that the $AM$-modulus can be obtained alternatively by the plan approach. On the way, we demonstrate unexpected behavior of the $AM$-modulus in comparison with usual capacities.

This is a joint work with Vendula Honzlov\'a Exnerov\'a, Ond\v{r}ej F.K. Kalenda and Olli Martio. Partially supported by the grant GA\,\v{C}R P201/18-07996S of the Czech Science Foundation.

I'll talk about smooth solutions of Euler equations with compactly supported velocities, and applications to other equations.

This work is devoted to the study of the following boundary value problem for compressible Navier-Stokes equations\begin{align*}&\begin{aligned}[b] \partial_t(\varrho \mathbf{u})+\text{div}(\varrho \mathbf u\otimes\mathbf u) &+\nabla p(\rho)\\&= \text{div} \mathbb S(\mathbf u)+\varrho\, \mathbf f\quad\text{ in }\Omega\times (0,T),\end{aligned} \\[6pt]&\partial_t\varrho+\text{div}(\varrho \mathbf u)=0\quad\text{ in }\Omega\times (0,T), \\[6pt]&\begin{aligned}[c] &\mathbf u=0\quad\text{ on }\partial \Omega\times( 0,T), \\ &\mathbf u(x,0)=\mathbf u_0(x)\quad\text{ in } \Omega,\\&\varrho(x,0)= \varrho_0(x) \quad\text{ in } \Omega, \end{aligned}\end{align*} where $\Omega$ is a bounded domain in $\mathbb R^d$, $d=2,3$, $\varrho_0>0$, $\mathbf u_0$, $\mathbf f$ are given functions, $p(\varrho)=\varrho^\gamma$, $\mathbb S(\mathbf u)=\mu(\nabla\mathbf{u}+\nabla\mathbf{u}^\top)+\lambda \text{div } \mathbf{u}$, $\mu, \lambda$ are positive constants. We consider the endpoint cases $\gamma=3/2$, $d=3$ and $\gamma=1$, $d=2$, when the energy estimate does not guarantee the integrability of the kinetic energy density with an exponent greater than 1, which leads to the so-called concentration problem. In order to cope with this difficulty we develop new approach to the problem. Our method is based on the estimates of the Newton potential of $p(\varrho)$. We prove that the kinetic energy density in 3-dimensional problem with $\gamma=3/2$ is bounded in $L\log L^\alpha$ Orlitz space and obtain new estimates for the pressure function. In the case $d=2$ and $\gamma=1$ we prove the existence of the weak solution to the problem. We also discuss the structure of concentrations for rotationally-symmetric and stationary solutions.

Let $\Omega\subseteq\mathbb{R}^2$ be a domain and let $f\in W^{1,1}(\Omega,\mathbb{R}^2)$ be a homeomorphism (between $\Omega$ and $f(\Omega)$). Then there exists a sequence of smooth diffeomorphisms $f_k$ converging to $f$ in $W^{1,1}(\Omega,\mathbb{R}^2)$ and uniformly. This is a joint result with A. Pratelli.
 

The hypoelliptic Laplacian is a family of operators indexed by $b \in \mathbf{R}^*_+$, acting on the total space of the tangent bundle of a Riemannian manifold, that interpolates between the ordinary Laplacian as $b \to 0$ and the generator of the geodesic flow as $b \to +\infty$. These operators are not elliptic, they are not self-adjoint, they are hypoelliptic. One can think of the total space of the tangent bundle as the phase space of classical mechanics; so that the hypoelliptic Laplacian produces an interpolation between the geodesic flow and its quantisation. There is a dynamical counterpart, which is a natural interpolation between classical Brownian motion and the geodesic flow.

The hypoelliptic deformation preserves subtle invariants of the Laplacian. In the case of locally symmetric spaces (which are defined via Lie groups), the deformation is essentially isospectral, and leads to geometric formulas for orbital integrals, a key ingredient in Selberg's trace formula.

In a first part of the talk, I will describe the geometric construction of the hypoelliptic Laplacian in the context of de Rham theory. In a second part, I will explain applications to the trace formula.

 I will give a short survey on classical inequalities for Laplace eigenvalues, tell about related history and questions. I will then discuss the so-called Korevaar method, and new results generalising to higher eigenvalues a number of classical inequalities known for the first Laplace eigenvalue only. 

Ginzburg–Landau type functionals provide a relaxation scheme to construct harmonic maps in the presence of topological obstructions. They arise in superconductivity models, in liquid crystal models (Landau–de Gennes functional) and in the generation of cross-fields in meshing. For a general compact manifold target space we describe the asymptotic number, type and location of singularities that arise in minimizers. We cover in particular the case where the fundamental group of the vacuum manifold in nonabelian and hence the singularities cannot be characterized univocally as elements of the fundamental group. The results unify the existing theory and cover new situations and problems.

This is a joint work with Antonin Monteil and Rémy Rodiac (UCLouvain, Louvain- la-Neuve, Belgium)