Transformation theory has long been known to be a mechanism for 
the design of metamaterials. It gives rise to the required properties of the 
material in order to direct waves in the manner desired.  This talk will 
focus on the mathematical theory underpinning the design of acoustic and 
elastodynamic metamaterials based on transformation theory and aspects of 
the experimental confirmation of these designs. In the acoustics context it 
is well-known that the governing equations are transformation invariant and 
therefore a whole range of microstructural options are available for design, 
although designing materials that can harness incoming acoustic energy in 
air is difficult due to the usual sharp impedance contrast between air and 
the metamaterial in question. In the elastodynamic context matters become 
even worse in the sense that the governing equations are not transformation 
invariant and therefore we generally require a whole new class of materials.

In the acoustics context we will describe a new microstructure that consists 
of rigid rods that is (i) closely impedance matched to air and (ii) slows 
down sound in air. This is shown to be useful in a number of configurations 
and in particular it can be employed to half the resonant frequency of the 
standard quarter-wavelength resonator (or alternatively it can half the size 
of the resonator for a specified resonant frequency) [1].

In the elastodynamics context we will show that although the equations are 
not transformation invariant one can employ the theory of waves in 
pre-stressed hyperelastic materials in order to create natural elastodynamic 
metamaterials whose inhomogeneous anisotropic material properties are 
generated naturally by an appropriate pre-stress. In particular it is shown 
that a certain class of hyperelastic materials exhibit this so-called 
“invariance property” permitting the creation of e.g. hyperelastic cloaks 
[2,3] and invariant metamaterials. This has significant consequences for the 
design of e.g. phononic media: it is a well-known and frequently exploited 
fact that pre-stress and large deformation of hyperelastic materials 
modifies the linear elastic wave speed in the deformed medium. In the 
context of periodic materials this renders materials whose dynamic 
properties are “tunable” under pre-stress and in particular this permits 
tunable band gaps in periodic media [4]. However the invariant hyperelastic 
materials described above can be employed in order to design a class of 
phononic media whose band-gaps are invariant to deformation [5]. We also 
describe the concept of an elastodynamic ground cloak created via pre-stress 
[6].

[1] Rowley, W.D., Parnell, W.J., Abrahams, I.D., Voisey, S.R. and Etaix, N. 
(2018) “Deepening subwavelength acoustic resonance via metamaterials with 
universal broadband elliptical microstructure”. Applied Physics Letters 112, 
251902.
[2] Parnell, W.J. (2012) “Nonlinear pre-stress for cloaking from antiplane 
elastic waves”. Proc Roy Soc A 468 (2138) 563-580.
[3] Norris, A.N. and Parnell, W.J. (2012) “Hyperelastic cloaking theory: 
transformation elasticity with pre-stressed solids”. Proc Roy Soc A 468 
(2146) 2881-2903
[4] Bertoldi, K. and Boyce, M.C. (2008)  “Mechanically triggered 
transformations of phononic band gaps in periodic elastomeric structures”. 
Phys Rev B 77, 052105.
[5] Zhang, P. and Parnell, W.J. (2017) “Soft phononic crystals with 
deformation-independent band gaps” Proc Roy Soc A 473, 20160865.
[6] Zhang, P. and Parnell, W.J. (2018) “Hyperelastic antiplane ground 
cloaking” J Acoust Soc America 143 (5)

Small block overlapping, and non-overlapping, Schwarz methods are theoretically highly attractive as multilevel smoothers for a wide variety of problems that are not amenable to point relaxation methods.  Examples include monolithic Vanka smoothers for Stokes, overlapping vertex-patch decompositions for $H(\text{div})$ and  $H(\text{curl})$ problems, along with nearly incompressible elasticity, and augmented Lagrangian schemes.

 While it is possible to manually program these different schemes,  their use in general purpose libraries has been held back by a lack   of generic, composable interfaces. We present a new approach to the   specification and development such additive Schwarz methods in PETSc  that cleanly separates the topological space decomposition from the  discretisation and assembly of the equations. Our preconditioner is  flexible enough to support overlapping and non-overlapping additive  Schwarz methods, and can be used to formulate line, and plane smoothers, Vanka iterations, amongst others. I will illustrate these new features with some examples utilising the Firedrake finite element library, in particular how the design of an approriate computational interface enables these schemes to be used as building blocks inside block preconditioners.

This is joint work with Patrick Farrell and Florian Wechsung (Oxford), and Matt Knepley (Buffalo).

Classical methods for X-ray computed tomography (CT) are based on the assumption that the X-ray source intensity is known. In practice, however, the intensity is measured and hence uncertain. Under normal circumstances, when the exposure time is sufficiently high, this kind of uncertainty typically has a negligible effect on the reconstruction quality. However, in time- or dose-limited applications such as dynamic CT, this uncertainty may cause severe and systematic artifacts known as ring artifacts.
By modeling the measurement process and by taking uncertainties into account, it is possible to derive a convex reconstruction model that leads to improved reconstructions when the signal-to-noise ratio is low. We discuss some computational challenges associated with the model and illustrate its merits with some numerical examples based on simulated and real data.

When a liquid drop is deposited over a solid surface whose temperature is sufficiently above the boiling point of the liquid, the drop does not experience nucleate boiling but rather levitates over a thin layer of its own vapor. This is known as the Leidenfrost effect. Whilst highly undesirable in certain cooling applications, because of a drastic decrease of the energy transferred between the solid and the evaporating liquid due to poor heat conductivity of the vapor, this effect can be of great interest in many other processes profiting from this absence of contact with the surface that considerably reduces the friction and confers an extreme mobility on the drop. During this presentation, I hope to provide a good vision of some of the knowledge on this subject through some recent studies that we have done. First, I will present a simple fitting-parameter-free theory of the Leidenfrost effect, successfully validated with experiments, covering the full range of stable shapes, i.e., from small quasi-spherical droplets to larger puddles floating on a pocketlike vapor film. Then, I will discuss the end of life of these drops that appear either to explode or to take-off. Finally, I will show that the Leidenfrost effect can also be observed over hot baths of non-volatile liquids. The understanding of the latter situation, compare to the classical Leidenfrost effect on solid substrate, provides new insights on the phenomenon, whether it concerns levitation or its threshold.

We discuss the key role that bespoke linear algebra plays in modelling PDEs with random coefficients using stochastic Galerkin approximation methods. As a specific example, we consider nearly incompressible linear elasticity problems with an uncertain spatially varying Young's modulus. The uncertainty is modelled with a finite set of parameters with prescribed probability distribution.  We introduce a novel three-field mixed variational formulation of the PDE model and and  assess the stability with respect to a weighted norm. The main focus will be  the efficient solution of the associated high-dimensional indefinite linear system of equations. Eigenvalue bounds for the preconditioned system can be  established and shown to be independent of the discretisation parameters and the Poisson ratio.  We also  discuss an associated a posteriori error estimation strategy and assess proxies for the error reduction associated with selected enrichments of the approximation spaces.  We will show by example that these proxies enable the design of efficient  adaptive solution algorithms that terminate when the estimated error falls below a user-prescribed tolerance.

This is joint work with Arbaz Khan and Catherine Powell

Just like optimization needs derivatives, shape optimization needs shape derivatives. Their definition and computation is a classical subject, at least concerning first order shape derivatives. Second derivatives have been studied as well, but some aspects of their theory still remains a bit mysterious for practitioners. As a result, most algorithms for shape optimization are first order methods.

To understand this situation better and in a general way, we consider first and second order shape sensitivities of integrals on smooth submanifolds using a variant of shape differentiation. Instead of computing the second derivative as the derivative of the first derivative, we choose a one-parameter family of perturbations  and compute first and second derivatives with respect to that parameter. The result is a  quadratic form in terms of a perturbation vector field that yields a second order quadratic model of the perturbed functional, which can be used as the basis of a second order shape optimization algorithm. We discuss the structure of this derivative, derive domain expressions and Hadamard forms in a general geometric framework, and give a detailed geometric interpretation of the arising terms.

Finally, we use our results to construct a second order SQP-algorithm for shape optimization that exhibits indeed local fast convergence.

Analytic continuation is ill-posed, but becomes merely ill-conditioned (though with an infinite condition number) if it is known that the function in question is bounded in a given region of the complex plane.
This classical, seemingly theoretical subject has many connections with numerical practice.  One argument indicates that if one tracks an analytic function from z=1 around a branch point at z=0 and back to z=1 again by a Weierstrass chain of disks, the number of accurate digits is divided by about exp(2 pi e) ~= 26,000,000.