Past

Attempting to extend the methods of critical point theory (e.g., those of Morse theory and Lusternik-Schnirelman theory) to the study of strong local minimizers of integral functionals of the calculus of variations I will describe how the obstruction method of algebraic topology can be successfully used to tackle the enumeration problem for various homotopy classes of maps in Sobolev spaces and that how this will result in precise lower bounds on the number of such local minimizers in terms of convenient topological invariants of the underlying spaces. I will then move on to dicussing variants as well as applications of the result to some classes of geometric nonlinear PDEs in particular problems in nonlinear elasticity.

In the theory of dislocations one is naturally led to consider energies of “line tension” type concentrated on lines. These lines may have a local vector-valued multiplicity, and the energy may depend on this multiplicity and on the orientation of the line. In the two-dimensional case this problem reduces to the classical problem of energies defined on partitions which arises in the sharp-interface models for phase transitions. 

I will introduce the main results concerning functionals in the calculus of variations that are defined on partitions. Such partitions are nicely characterized as level sets of function with bounded variations with a discrete set of values.  In this setting I will recall the characterization of the lower semicontinuity and the relaxation formula, which gives rise to the notion of BV-ellipticity. The case of dislocations in a three-dimensional crystal requires a formulation in the setting of 1-rectifiable currents with multiplicity in a lattice. In this context I will describe the main results and some examples of interest, in which relaxation is necessary and can be characterized.

The Maxwell equation is an intermediate linear model for

Einstein's equation lying between the scalar wave equation and the

linearised Einstein equation. This talk will present the 5 key

estimates necessary to prove a uniform bound on an energy and a

Morawetz integrated local energy decay estimate for the nonradiating

part.

The major obstacles, relative to the scalar wave equation are: that a

scalar equation must be found for at least one of the components,

since there is no known decay estimate directly at the tensor level;

that the scalar equation has a complex potential; and that there are

stationary solutions and, in the nonzero $a$ Kerr case, it is more

difficult to project away from these stationary solutions.

If time permits, some discussion of a geometric proof using the hidden

symmetries will be given.

This is joint work with L. Andersson and is arXiv:1310.2664.

We will present recent results regarding conservation laws for the wave equation on null hypersurfaces.  We will show that an important example of a null hypersurface admitting such conserved quantities is the event horizon of extremal black holes. We will also show that a global analysis of the wave equation on such backgrounds implies that certain derivatives of solutions to the wave equation asymptotically blow up along the event horizon of such backgrounds. In the second part of the talk we will present a complete characterization of null hypersurfaces admitting conservation laws. For this, we will introduce and study the gluing problem for characteristic initial data and show that the only obstruction to gluing is in fact the existence of such conservation laws.

Joint Work with Philippe G. LeFloch. We consider vacuum
spacetimes with two spatial Killing vectors and with initial data
prescribed on $T^3$. The main results that we will present concern the
future asymptotic behaviour of the so-called polarized solutions. Under
a smallness assumption, we derive a full set of asymptotics for these
solutions. Within this symetry class, the Einstein equations reduce to a
system of wave equations coupled to a system of ordinary differential
equations. The main difficulty, not present in previous study of similar
systems, is that, even in the limit of large times, the two systems do
not directly decouple. We overcome this problem by the introduction of a
new system of ordinary differential equations, whose unknown are
renormalized variables with renormalization depending on the solution of
the non-linear wave equations.

In this talk I will discuss the Cauchy problem for bounded

self-gravitating elastic bodies in Einstein gravity. One of the main

difficulties is caused by the fact that the spacetime curvature must be

discontinuous at the boundary of the body. In order to treat the Cauchy

problem, one must show that the jump in the curvature propagates along

the timelike boundary of the spacetime track of the body. I will discuss

a proof of local well-posedness which takes this behavior into account.

I describe recent unique continuation results for linear wave equations obtained jointly with Spyros Alexakis and Arick Shao. They state, informally speaking, that solutions to the linear wave equation on asymptotically flat spacetimes are completely determined, in a neighbourhood of infinity, from their radiation towards infinity, understood in a suitable sense. We find that the mass of the spacetime plays a decisive role in the analysis.

We consider spacetimes arising from perturbations of the interior of Kerr

black holes. These spacetimes have a null boundary in the future such that

the metric extends continuously beyond. However, the Christoffel symbols

may fail to be square integrable in a neighborhood of any point on the

boundary. This is joint work with M. Dafermos

We present a mechanism of shock formation for a class of quasilinear wave equations. The solutions are stable and no symmetry assumption is assumed. The proof is based on the energy estimates and on the study of Lorentzian geometry defined by the solution.

 When given an explicit solution to an evolutionary partial differential equation, it is natural to ask whether the solution is stable, and if yes, what is the mechanism for stability and whether this mechanism survives under perturbations of the equation itself. Many familiar linear equations enjoy some notion of stability for the zero solution: solutions of the heat equation dissipate and decay uniformly and exponentially to zero, solutions of the Schrödinger equations disperse at a polynomial rate in time depending on spatial dimension, while solutions of the wave equation enjoy radiative decay (in the presence of at least two spatial dimensions) also at polynomial rates.

For this set of short course sessions, we will focus on the wave equation and its nonlinear perturbations. As mentioned above, the stability mechanism for the linear wave equation is that of radiative decay. Radiative decay depends on the number of spatial dimensions, and hence so does the stability of the zero solution for nonlinear wave equations. By the mid-1980s it was well understood that the stability mechanism survives generally (for “smooth nonlinearities”) when the spatial dimension is at least four, but for lower dimensions (two and three specifically; in dimension one there is no linear stability mechanism to start with) obstructions can arise when the nonlinearities are “stronger” than can be controlled by radiative decay. This led to the discovery of the null condition as a structural condition on the nonlinearities preventing the aforementioned obstructions. But what happens when the null condition is violated? This development spanning a quarter of a century, from F. John’s qualitative analysis of the spherically symmetric case, though S. Alinhac’s sharp control of the asymptotic lifespan, and culminating in D. Christodoulou’s full description of the null geometry, is the subject of this short course.

(1) We will start by reviewing the radiative decay mechanism for wave equations, and indicate the nonlinear stability results for high spatial dimensions. We then turn our attention to the case of three spatial dimensions: after a quick discussion of the null condition for quasilinear wave equations, we sketch, at the semilinear level, what happens when the null condition fails (in particular the asymptotic approximation of the solution by a Riccati equation).

(2) The semilinear picture is built up using a version of the method of characteristics associated with the standard wave operator. Turning to the quasilinear problem we will hence need to understand the characteristic geometry for a variable coefficient wave operator. This leads us to introduce the optical/acoustical function and its associated null structure equations.

(3) From this modern geometric perspective we next discuss, in some detail, the blow-up results obtained in the mid-1980s by F. John for quasilinear wave equations assuming radial symmetry.

(4) Finally, we indicate the main difficulties in extending the analysis to the non-radially-symmetric case, and how they can be resolved à la the recent tour de force of D. Christodoulou. While some knowledge of Lorentzian geometry and dynamics of wave equations will be helpful, this short course should be accessible to also graduate students with training in partial differential equations.

Imperial College London, United Kingdom E-mail address: @email

École Polytechnique Fédérale de Lausanne, Switzerland E-mail address: @email

Question: Is it a realistic proposition for a mathematician to use his/her skills to make a living from sports betting? The introduction of betting exchanges have fundamentally changed the potential profitability of gambling, and a professional mathematician's arsenal of numerical and theoretical weapons ought to give them a huge natural advantage over most "punters", so what might be realistically possible and what potential risks are involved? This talk will give some idea of the sort of plan that might be required to realise this ambition, and what might be further required to attain the aim of sustainable gambling profitability.

We show that for every $n\ge 2$ there exists a torsion-free one-ended word-hyperbolic group $G$ of rank $n$ admitting generating $n$-tuples $(a_1,\ldots ,a_n)$ and $(b_1,\ldots ,b_n)$ such that the $(2n-1)$-tuples $$(a_1,\ldots ,a_n, \underbrace{1,\ldots ,1}_{n-1 \text{ times}})\hbox{ and }(b_1,\ldots, b_n, \underbrace{1,\ldots ,1}_{n-1 \text{ times}} )$$ are not Nielsen-equivalent in $G$. The group $G$ is produced via a probabilistic construction (joint work with Ilya Kapovich).

TQFTs have received widespread attention in recent years. In mathematics

for example due to Lurie's proof of the cobordism hypothesis. In physics

they are used as toy models to understand structure, especially

boundaries and defects.

I will present a lattice construction of 2d Spin TFT. This mostly

motivated as both a toy model and stepping stone for a mathematical

construction of rational conformal field theories with fermions.

I will first describe a combinatorial model for spin surfaces that

consists of a triangulation and a finte set of extra data. This model is

then used to construct TFT correlators as morphisms in a symmetric

monoidal category, given a Frobenius algebra as input. The result is

shown to be independent of the triangulation used, and one obtains thus

a 2dTFT.

All results and constructions can be generalised to framed surfaces in a

relatively straightforward way.