C2

Jacob Bernoulli is known for his studies of the curves, infinitesimal math- ematics and statistics. However, before being a professor in mathematics, he taught experimental physics at the University of Basel. This explains his high interest in solving physical problems with newly developed Leibnizian calculus. In his scientific notebook, Meditationes, there are more than thirty notes about various mechanical problems for solving of which Bernoulli has applied Leibnizian calculus and has advanced this method along the way. A discussion with a craftsman brought Bernoulli’s attention to the problem of the strength of a beam early in his career and occupied his mind until his death. The craftsman’s narration based on his experience highlighted the flaws in Galilean-Leibnizian theory of the strength of a beam. This was the starting point of Bernoulli’s quest to mathematically find the profile of a bent beam (the Elastica Problem) and the physical laws governing it. He started a challenge to encourage other mathematicians of the time to study the problem, providing a hint hidden in an anagram. Although he published his solution of the Elastica Problem in 1694, that was not the end of the quest for him. Studying his unpublished notes in Meditationes reveals that over the last decade of his life, Bernoulli has reconsidered the problem. In my project, I demonstrate that he has found remarkable concepts such as mean tensile stress, and the notion of local stress-strain relation, etc.

It is known that every continuum X is a weakly confluent image of a continuum Y which is hereditarily indecomposable and of covering dimension one.  We use the ultracoproduct construction to gain information about the number of composants of Y.  For example, in ZFC, we can ensure that this number is arbitrarily large.  And if we assume the GCH, we can arrange for Y to have as many composants at it has points.

Abstract:   Let $f$ be a continuous surjection from the compact metric space $X$ to itself. 

We say that the dynamical system $(X,f)$ has shadowing if for every $\epsilon>0$ there is a $\delta>0$ such that every $\delta$-pseudo orbit is $\epsilon$-shadowed.  Here a sequence $(x_n)$ is a $\delta$-pseudo orbit provided the distance from $f(x_n)$ to $x_{n+1}$ is less than $\delta$ and $(x_n)$ is $\epsilon$-shadowed if there is a point $z$ such that the distance from $x_n$ to $f^n(z)$ is less than $\epsilon$.  

If $f$ is a homeomorphism, $(X,f)$ is said to be expansive if there is some $c>0$, such that if the distance from $f^n(x)$ and $f^n(y)$ is less than $c$ for all $n\in \mathbb Z$, then $x=y$.

In his proof that a homeomorphism that is expansive and has shadowing is stable, Walters shows that in an expansive system with shadowing, a pseudo orbit is shadowed by exactly one point.  It turns out that the converse is also true: if the system has unique shadowing (in the above sense), then it is expansive.

In this talk, which is joint work with Joel Mitchell and Joe Thomas, we explore this notion of unique shadowing.

Abstract:  It is a central question in the theory of infinite relational structures as to which structures carry analogues of Ramsey’s Theorem.  This question, of interest for several decades, has gained recent momentum as it was brought into focus by Kechris, Pestov, and Todorcevic, when they proved a deep correspondence between Ramsey theory and topological dynamics.  

In this talk, we provide background on the Ramsey theory of the Rado graph, solved by Sauer.  A longstanding open question was whether Henson graphs, the k-clique-free analogues of the Rado graph, have similar features.  We present the speaker’s recent work solving the Ramsey theory of the Henson graphs.  The techniques developed open new lines of investigation for other relational structures with forbidden configurations.  As a byproduct of these methods, we may obtain Ramsey properties for Borel colorings on copies of the Rado graph, with respect to a certain topology.

Abstract:  It is a central question in the theory of infinite relational structures as to which structures carry analogues of Ramsey’s Theorem.  This question, of interest for several decades, has gained recent momentum as it was brought into focus by Kechris, Pestov, and Todorcevic, when they proved a deep correspondence between Ramsey theory and topological dynamics.  

In this talk, we provide background on the Ramsey theory of the Rado graph, solved by Sauer.  A longstanding open question was whether Henson graphs, the k-clique-free analogues of the Rado graph, have similar features.  We present the speaker’s recent work solving the Ramsey theory of the Henson graphs.  The techniques developed open new lines of investigation for other relational structures with forbidden configurations.  As a byproduct of these methods, we may obtain Ramsey properties for Borel colorings on copies of the Rado graph, with respect to a certain topology.

Energy transfers from small-scale turbulence and waves to large-scale flows are ubiquituous in oceans, atmospheres, planetary cores and stars.

Therefore, turbulence and waves have a direct effect on the large-scale organization of geophysical and astrophysical fluids and can affect their long-term dynamics.

In this talk I will discuss recent direct numerical simulation (DNS) results of two upscale energy transfer mechanisms that emerge from the dynamics of a fluid that is self-organized in a turbulent layer next to a stably-stratified one. This self-organization in an adjacent "two-layer" turbulent-stratified system is ubiquituous in nature and is representative of e.g. Earth's troposphere-stratosphere system, the oceans' surface mixed layer-thermocline system, and stars' convective-radiative interiors. The first set of DNS results will demonstrate how turbulent motions can generate internal waves, which then force a slowly-reversing large-scale flow, akin to Earth's Quasi-Biennial Oscillation (QBO). The second set of DNS results will show how the stratified layer regulates the emergence of large-scale vortices (LSV) in the turbulent layer under rapid rotation in the regime known as geostrophic turbulence. I will demonstrate why it is important to resolve both the turbulence and the waves, as otherwise the natural variability of the QBO is lost and LSV cannot form. I will discuss future works and highlight how the results may guide the implementation of upscale energy transfers in global earth system models.

Partially molten materials resist shearing and compaction. This resistance

is described by a fourth-rank effective viscosity tensor. When the tensor

is isotropic, two scalars determine the resistance: an effective shear and

an effective bulk viscosity. In this seminar, calculations are presented of

the effective viscosity tensor during diffusion creep for a 3D tessellation of

tetrakaidecahedrons (truncated octahedrons). The geometry of the melt is

determined by assuming textural equilibrium.  Two parameters

control the effect of melt on the viscosity tensor: the porosity and the

dihedral angle. Calculations for both Nabarro-Herring (volume diffusion)

and Coble (surface diffusion) creep are presented. For Nabarro-Herring

creep the bulk viscosity becomes singular as the porosity vanishes. This

singularity is logarithmic, a weaker singularity than typically assumed in

geodynamic models. The presence of a small amount of melt (0.1% porosity)

causes the effective shear viscosity to approximately halve. For Coble creep,

previous modelling work has argued that a very small amount of melt may

lead to a substantial, factor of 5, drop in the shear viscosity. Here, a

much smaller, factor of 1.4, drop is obtained.

Ice streams are fast flowing regions of ice that generally slide over a layer of unconsolidated, water-saturated subglacial sediment known as till.  A striking feature that has been observed geophysically is that subglacial till has been found to accumulate distinctively into sedimentary wedges at the grounding zones (regions where ice sheets begin to detach from the bedrock to form freely floating ice shelves) of both past and present-day ice sheets. These grounding-zone wedges have important implications for ice-sheet stability against grounding zone retreat in response to rising sea levels, and their origins have remained a long-standing question. Using a combination of mathematical modelling, a series of laboratory experiments, field data and numerical simulations, we develop a fluid-mechanical model that explains the mechanism of the formation of these sedimentary wedges in terms of the loading and unloading of deformable till in three dynamical regimes. We also undertake a series of analogue laboratory experiments, which reveal that a similar wedge of underlying fluid accumulates spontaneously in experimental grounding zones, we formulate local conditions relating wedge slopes in each of the scenarios and compare them to available geophysical radargram data at the well lubricated, fast-flowing Whillans Ice Stream.

Many scientists, and in particular mathematicians, report difficulty in understanding thermodynamics. So why is thermodynamics so difficult? To attempt an answer, we begin by looking at the components in an exposition of a scientific theory. These include a mathematical core, a motivation for the choice of variables and equations, some historical remarks, some examples and a discussion of how variables, parameters, and functions (such as equations of state) can be inferred from experiments. There are other components too, such as an account of how a theory relates to other theories in the subject.

It will be suggested that theories of thermodynamics are hard to understand because (i) many expositions appear to argue from the particular to the general (ii) there are several different thermodynamic theories that have no obvious logical or mathematical equivalence (iii) each theory really is subtle and requires intense study (iv) in most expositions different theories are mixed up, and the different components of a scientific exposition are also mixed up. So, by presenting one theory at a time, and by making clear which component is being discussed, we might reduce the difficulty in understanding any individual thermodynamic theory. The key is perhaps separation of the mathematical core from the physical motivation. It is also useful to realise that a motivation is not generally the same as a proof, and that no theory is actually true.

By way of illustration we will attempt expositions of two of the simplest thermodynamic theories – reversible and then irreversible thermodynamics of homogeneous materials – where the mathematical core and the motivation are discussed separately. In conclusion we’ll relate these two simple theories to other, foundational and generalised, thermodynamic theories.