Past Applied Analysis and Mechanics Seminar

Two dimensional minimal cones were fully classified by Jean Taylor in the mid

70's.  In joint work with G. David and T. De Pauw we prove that a closed

set which is close to a minimal cone at all scales and at all locations is

locally a bi-Hoelder image of a minimal cone.  This result is analogous to

Reifenberg's disk theorem.  A couple of applications will be discussed.

In this talk we will discuss a theory of divergence-measure fields and related

geometric measures, developed recently, and its applications to some fundamental

issues in mathematical continuum physics and nonlinear conservation laws whose

solutions have very weak regularity, including hyperbolic conservation laws,

degenerate parabolic equations, degenerate elliptic equations, among others.

For atomistic (and related) material models, global minimization

gives the wrong qualitative behaviour; a theory of equilibrium

solutions needs to be defined in different terms. In this talk, a

process based on gradient flow evolutions is presented, to describe

local minimization for simple atomistic models based on the Lennard-

Jones potential. As an application, it is shown that an atomistic

gradient flow evolution converges to a gradient flow of a continuum

energy, as the spacing between the atoms tends to zero. In addition,

the convergence of the resulting equilibria is investigated, in the

case of both elastic deformation and fracture.

A coupled cell system is a collection of interacting dynamical systems.
Coupled cell models assume that the output from each cell is important and that signals from two or more cells can be compared so that patterns of synchrony can emerge. We ask: How much of the qualitative dynamics observed in coupled cells is the product of network architecture and how much depends on the specific equations?

The ideas will be illustrated through a series of examples and theorems. One theorem classifies spatio-temporal symmetries of periodic solutions and a second gives necessary and sufficient conditions for synchrony in terms of network architecture.

/notices/events/abstracts/applied-analysis/tt05/Heywood.pdf

We derive a two-dimensional compressible elasticity model for thin elastic sheets as a Gamma-limit of a fully three-dimensional incompressible theory. The energy density of the reduced problem is obtained in two

steps: first one optimizes locally over out-of-plane deformations, then one passes to the quasiconvex envelope of the resulting energy density. This work extends the results by LeDret and Raoult on smooth and finite-valued energies to the case incompressible materials. The main difficulty in this extension is the construction of a recovery sequence which satisfies the nonlinear constraint of incompressibility pointwise everywhere.

This is joint work with Sergio Conti.

Bacteriophage T4 is a virus that attacks bacteria by a unique mechanism. It

lands on the surface of the bacterium and attaches its baseplate to the cell

wall. Aided by Brownian motion and chemical bonding, its tail fibres stick to

the cell wall, producing a large moment on the baseplate. This triggers an

amazing phase transformation in the tail sheath, of martensitic type, that

causes it to shorten and fatten. The transformation strain is about 50%. With a

thrusting and twisting motion, this transformation drives the stiff inner tail

core through the cell wall of the bacterium. The DNA of the virus then enters

the cell through the hollow tail core, leading to the invasion of the host.

This is a natural machine. As we ponder the possibility of making man-made

machines that can have intimate interactions with natural ones, on the scale of

biochemical processes, it is an interesting prototype. We present a mathematical

theory of the martensitic transformation that occurs in T4 tail sheath.

Following a suggestion of Pauling, we propose a theory of an active protein

sheet with certain local interactions between molecules. The free energy is

found to have a double-well structure. Using the explicit geometry of T4 tail

sheath we introduce constraints to simplify the theory. Configurations

corresponding to the two phases are found and an approximate formula for the

force generated by contraction is given. The predicted behaviour of the sheet is

completely unlike macroscopic sheets. To understand the position of this

bioactuator relative to nonbiological actuators, the forces and energies are

compared with those generated by inorganic actuators, including nonbiological

martensitic transformations. Joint work with Wayne Falk, @email

Wayne Falk and R. D. James, An elasticity theory for self-assembled protein

lattices with application to the martensitic transformation in Bacteriophage T4

tail sheath, preprint.

K. Bhattacharya and R. D. James, The material is the machine, Science 307

(2005), pp. 53-54.

We use the partial differential inclusion method to establish existence of

infinitely many weak solutions to the one-dimensional version of the

Perona-Malek anisotropic diffusion model in the theory of image processing. We

consider the homogeneous Neumann problem as the model requires.

.

An important class of nonlinear parabolic equations is the class of quasi-linear equations, i.e., equations with a leading second-order (in space) linear part (e.g., the Laplacian) and a nonlinear part which depends on the first-order spatial derivatives of the unknown function. This class contains the Navier-Stokes system of fluid dynamics, as well as "viscous" versions (or "regularized") of the Hamilton-Jacobi equation, nonlinear hyperbolic conservation laws and more. The talk will present various recent results concerning existence/uniqueness (and nonexistence/nonuniqueness) of global solutions. In addition, a new class of "Bernstein-type" estimates of derivatives will be presented. These estimates are independent of the viscosity parameter and thus lead to results concerning the "zero-viscosity" limit.

/notices/events/abstracts/applied-analysis/ht05/gudrun.pdf

/notices/events/abstracts/applied-analysis/ht05/pohozaev.shtml

/notices/events/abstracts/applied-analysis/ht05/ogden.shtml

Coherent structures, or defects, are interfaces between wave trains with

possibly different wavenumbers: they are time-periodic in an appropriate

coordinate frame and connect two, possibly different, spatially-periodic

travelling waves. We propose a classification of defects into four

different classes which have all been observed experimentally. The

characteristic distinguishing these classes is the sign of the group

velocities of the wave trains to either side of the defect, measured

relative to the speed of the defect. Using a spatial-dynamics description

in which defects correspond to homoclinic and heteroclinic orbits, we then

relate robustness properties of defects to their spectral stability

properties. If time permits, we will also discuss how defects interact with

each other.

Marstrand's Theorem is a one of the classic results of Geometric Measure Theory, amongst other things it says that fractal measures do not have density. All methods of proof have used symmetry properties of Euclidean space in an essential way. We will present an elementary history of the subject and state a version of Marstrand's theorem which holds for spaces whose unit ball is a polytope.

While the classification of crystals made up by just one atom per cell is well-known and understood (Bravais lattices), that for more complex structures is not. We present a geometric way classifying these crystals and an arithmetic one, the latter introduced in solid mechanics only recently. The two approaches are then compared. Our main result states that they are actually equivalent; this way a geometric interpretation of the arithmetic criterion in given. These results are useful for the kinematic description of solid-solid phase transitions. Finally we will reformulate the arithmetic point of view in terms of group cohomology, giving an intrinsic view and showing interesting features.

The talk will discuss the variationnal problem on finite

dimensional normed spaces and Finsler manifolds.

We first review different notions of ellipticity (convexity) for

parametric integrands (densities) on normed spaces and compare them with

different minimality properties of affine subspaces. Special attention will

be given to Busemann and Holmes-Thompson k-area. If time permits, we will

then present the first variation formula on Finsler manifolds and exhibit a

class of minimal submanifolds.

Integral currents were introduced by H. Federer and W. H. Fleming in 1960

as a suitable generalization of surfaces in connection with the study of area

minimization problems in Euclidean space. L. Ambrosio and B. Kirchheim have

recently extended the theory of currents to arbitrary metric spaces. The new

theory provides a suitable framework to formulate and study area minimization

and isoperimetric problems in metric spaces.

The aim of the talk is to discuss such problems for Banach spaces and for

spaces with an upper curvature bound in the sense of Alexandrov. We present

some techniques which lead to isoperimetric inequalities, solutions to

Plateau's problem, and to other results such as the equivalence of flat and

weak convergence for integral currents.

We consider semilinear Sturm-Liouville and elliptic problems with jumping

nonlinearities. We show how `half-eigenvalues' can be used to describe the

solvability of such problems and consider the structure of the set of

half-eigenvalues. It will be seen that for Sturm-Liouville problems the

structure of this set can be considerably more complicated for periodic than

for separated boundary conditions, while for elliptic partial differential

operators only partial results are known about the structure in general.

Let gamma be a closed knotted curve in R^3 such that the tubular

neighborhood U_r (gamma) with given radius r>0 does not intersect

itself. The length minimizing curve gamma_0 within a prescribed knot class is

called ideal knot. We use a special representation of curves and tools from

nonsmooth analysis to derive a characterization of ideal knots. Analogous

methods can be used for the treatment of self contact of elastic rods.

I shall give a brief overview of the partial regularity results for minima

of integral functionals and solutions to elliptic systems, concentrating my

attention on possible estimates for the Hausdorff dimension of the singular

sets; I shall also include more general variational objects called almost

minimizers or omega-minima. Open questions will be discussed at the end.

Nonconvex minimisation problems are encountered in many applications such as phase transitions in solids (1) or liquids but also in optimal design tasks (2) or micromagnetism (3). In contrast to rubber-type elastic materials and many other variational problems in continuum mechanics, the minimal energy may be not attained. In the sense of (Sobolev) functions, the non-rank-one convex minimisation problem (M) is ill-posed: As illustrated in the introduction of FERM, the gradients of infimising sequences are enforced to develop finer and finer oscillations called microstructures. Some macroscopic or effective quantities, however, are well-posed and the target of an efficient numerical treatment. The presentation proposes adaptive mesh-refining algorithms for the finite element method for the effective equations (R), i.e. the macroscopic problem obtained from relaxation theory. For some class of convexified model problems, a~priori and a~posteriori error control is available with an reliability-efficiency gap. Nevertheless, convergence of some adaptive finite element schemes is guaranteed. Applications involve model situations for (1), (2), and (3) where the relaxation is provided by a simple convexification.

Recently Friesecke, James and Muller established the following

quantitative version of the rigidity of SO(n) the group of special orthogonal

matrices. Let U be a bounded Lipschitz domain. Then there exists a constant

C(U) such that for any mapping v in the L2-Sobelev space the L^2-distance of

the gradient controlls the distance of v a a single roation.

This interesting inequality is fundamental in several problems concerning

dimension reduction in nonlinear elasticity.

In this talk, we will present a joint work with Muller and Zhong where we

investigate an analagous quantitative estimate where we replace SO(n) by an

arbitrary smooth, compact and SO(n) invariant subset of the conformal

matrices E. The main novelty is that exact solutions to the differential

inclusion Df(x) in E a.e.x in U are not necessarily affine mappings.

Using a technique explored in unpublished work of Ball and Mizel I shall

show that already in 2 and 3 dimensions there are vectorfields which are

singular minimizers of integral functionals whose integrand is strictly

polyconvex and depends on the gradient of the map only. The analysis behind

these results gives rise to an interesting question about the relationship

between the regularity of a polyconvex function and that of its possible

convex representatives. I shall indicate why this question is interesting in

the context of the regularity results above and I shall answer it in certain

cases.

Take any region omega and let function u defined inside omega be the

distance from the boundary, u solves the iconal equation \lt|Du\rt|=1 with

boundary condition zero. Functional u is also conjectured (in some cases

proved) to be the "limiting minimiser" of various functionals that

arise models of blistering and micro magnetics. The precise formulation of

these problems involves the notion of gamma convergence. The Aviles Giga

functional is a natural "second order" generalisation of the Cahn

Hilliard model which was one of the early success of the theory of gamma

convergence. These problems turn out to be surprisingly rich with connections

to a number of areas of pdes. We will survey some of the more elementary

results, describe in detail of one main problems in field and state some

partial results.