Thu, 04 Jun 2015

12:00 - 13:00
L6

Higher gradient integrability for σ -harmonic maps in dimension two

Mariapia Palombaro
(University of Sussex)
Abstract

I will present some recent results concerning the higher gradient integrability of

σ-harmonic functions u with discontinuous coefficients σ, i.e. weak solutions of

div(σ∇u) = 0. When σ is assumed to be symmetric, then the optimal integrability

exponent of the gradient field is known thanks to the work of Astala and Leonetti

& Nesi. I will discuss the case when only the ellipticity is fixed and σ is otherwise

unconstrained and show that the optimal exponent is attained on the class of

two-phase conductivities σ: Ω⊂R27→ {σ1,σ2} ⊂M2×2. The optimal exponent

is established, in the strongest possible way of the existence of so-called

exact solutions, via the exhibition of optimal microgeometries.

(Joint work with V. Nesi and M. Ponsiglione.)

Thu, 28 May 2015

12:00 - 13:00
L6

Can we compute everything?

Jonathan Ben-Artzi
(Imperial College)
Abstract
It is often desirable to solve mathematical problems as a limit of simpler problems. However, are such techniques always guaranteed to work? For instance, the problem of finding roots of polynomials of degree higher than three starting from some initial guess and then iterating was only solved in the 1980s (Newton's method isn't guaranteed to converge): Doyle and McMullen showed that this is only possible if one allows for multiple independent limits to be taken, not just one. They called such structures "towers of algorithms". In this talk I will apply this idea to other problems (such as computational quantum mechanics, inverse problems, spectral analysis), show that towers of algorithms are a necessary tool, and introduce the Solvability Complexity Index. An important consequence is that solutions to some problems can never be obtained as a limit of finite dimensional approximations (and hence can never be solved numerically). If time permits, I will mention connections with analogous notions in logic and theoretical computer science.
 

Joint work with Anders Hansen (Cambridge), Olavi Nevalinna (Aalto) and Markus Seidel (Zwickau).             

 
Thu, 21 May 2015

12:00 - 13:00
L6

Fluids at a high Reynolds number

Toan Nguyen
(Penn State University)
Abstract

I will present two recent results concerning the stability of boundary layer asymptotic expansions of solutions of Navier-Stokes with small viscosity. First, we show that the linearization around an arbitrary stationary shear flow admits an unstable eigenfunction with small wave number, when viscosity is sufficiently small. In boundary-layer variables, this yields an exponentially growing sublayer near the boundary and hence instability of the asymptotic expansions, within an arbitrarily small time, in the inviscid limit. On the other hand, we show that the Prandtl asymptotic expansions hold for certain steady flows. Our proof involves delicate construction of approximate solutions (linearized Euler and Prandtl layers) and an introduction of a new positivity estimate for steady Navier-Stokes. This in particular establishes the inviscid limit of steady flows with prescribed boundary data up to order of square root of small viscosity. This is a joint work with Emmanuel Grenier and Yan Guo.

Thu, 14 May 2015

12:00 - 13:00
L6

On quantitative compactness estimates for hyperbolic conservation laws and Hamilton-Jacobi equations

Fabio Ancona
(University of Padova)
Abstract
Inspired by a question posed by Lax, in recent years it has received  

an increasing attention the study of quantitative compactness  

estimates for the solution operator $S_t$, $t>0$ that associates to  

every given initial data $u_0$ the corresponding solution $S_t u_0$ of  

a conservation law or of a first order Hamilton-Jacobi equation.



Estimates of this type play a central roles in various areas of  

information theory and statistics as well as of ergodic and learning  

theory. In the present setting, this concept could provide a measure  

of the order of ``resolution'' of a numerical method for the  

corresponding equation.



In this talk we shall first review the results obtained in  

collaboration with O. Glass and K.T. Nguyen, concerning the  

compactness estimates for solutions to conservation laws. Next, we  

shall turn to the  analysis of the Hamilton-Jacobi equation pursued in  

collaboration with P. Cannarsa and K.T.~Nguyen.

Thu, 07 May 2015

12:00 - 13:00
L5

Approximate current-vortex sheets near the onset of instability

Paolo Secchi
(University of Brescia)
Abstract

In this talk I present a recent result about the free-boundary problem for 2D current-vortex sheets in ideal incompressible magneto-hydrodynamics near the transition point between the linearized stability and instability. In order to study the dynamics of the discontinuity near the onset of the instability, Hunter and Thoo have introduced an asymptotic quadratically nonlinear integro-differential equation for the amplitude of small perturbations of the planar discontinuity. We study such amplitude equation and prove its nonlinear well-posedness under a stability condition given in terms of a longitudinal strain of the fluid along the discontinuity. This is a joint work with A.Morando and P.Trebeschi.

Thu, 30 Apr 2015

12:00 - 13:00
L6

Construction of a macroscopic model of phase-transformation for the modeling of superelastic Shape Memory Alloys

Kim Pham
(Paris)
Abstract
Shape Memory Alloys (SMA) e.g. NiTi display a superelastic behavior at high temperature. Initially in a stable austenite phase, SMA can transform into an oriented martensite phase under an applied mechanical loading. After an unloading, the material recovers its initial stress-free state with no residual strain. Such loading cycle leads to an hysteresis loop in the stress-strain diagram that highlights the dissipated energy for having transformed the material. 
In a rate-independent context, we first show how a material stability criterion allows to construct a local one-dimensional phase transformation model. Such models relies on a unique scalar internal variable related to the martensite volume fraction. Evolution problem at the structural scale is then formulated in a variational way by means of two physical principles: a stability criterion based on the local minima of the total energy and an energy balance condition. We show how such framework allows to handle softening behavior and its compatibility with a regularization based on gradient of the internal variable.
We then extend such model to a more general three dimensional case by introducing a tensorial internal variable. We derive the evolution laws from the stability criterion and energy balance condition. Second order conditions are presented. Illustrations of the features of such model are shown on different examples. 
 
Wed, 11 Mar 2015

11:00 - 12:30
N3.12

Expansion, Random Walks and Sieving in SL_2(F_p[t])

Henry Bradford
(Oxford)
Abstract

Expansion, Random Walks and Sieving in $SL_2 (\mathbb{F}_p[t])$

 

We pose the question of how to characterize "generic" elements of finitely generated groups. We set the scene by discussing recent results for linear groups in characteristic zero. To conclude we describe some new work in positive characteristic.

Thu, 12 Mar 2015
11:00
C5

'Model-completeness for Henselian valued fields with finite ramification'

Jamshid Derakhshan
(Oxford)
Abstract

 This is joint work with Angus Macintyre. We prove a general model-completeness theorem for Henselian valued fields
stating that a Henselian valued field of characteristic zero with value group a Z-group and with finite ramification is model-complete in the language of rings provided that its residue field is model-complete. We apply this to extensions of p-adic fields showing that any finite or infinite extension of p-adics with finite ramification is model-complete in the language of rings.

Thu, 28 May 2015

16:00 - 17:00
L5

Cubic hypersurfaces over global fields

Pankaj Vishe
(University of York)
Abstract

 Let $X$ be a smooth cubic hypersurface of dimension $m$ defined over a global field $K$. A conjecture of Colliot-Thelene(02) states that $X$ satisfies the Hasse Principle and Weak approximation as long as $m\geq 3$. We use a global version of Hardy-Littlewood circle method along with the theory of global $L$-functions to establish this for $m\geq 6$, in the case $K=\mathbb{F}_q(t)$, where $\text{char}(\mathbb{F}_{q})> 3$.

Subscribe to