Sonar systems are frequently used to classify objects at a distance by using the structure of the echoes of acoustic waves as a proxy for the object’s shape and composition. Traditional synthetic aperture processing is highly effective in solving classification problems when the conditions are favourable but relies on accurate knowledge of the sensor’s trajectory relative to the object being measured. This article provides several new theoretical tools that decouple object classification performance from trajectory estimation in synthetic aperture sonar processing. The key insight is that decoupling the trajectory from classification-relevant information involves factoring a function into the composition of two functions. The article presents several new general topological invariants for smooth functions based on their factorisations over function composition. These invariants specialise to the case when a sonar platform trajectory is deformed by a non-small perturbation. The mathematical results exhibited in this article apply well beyond sonar classification problems. This article is written in a way that supports full mathematical generality.

The one-dimensional transient solidification of a binary alloy undergoing shrinkage is well-known as an invaluable benchmark for the testing of numerical codes that model macrosegregation. Here, recent work that considered the small-time behaviour of this problem is extended until complete solidification, thereby determining the solute profile across the entire solidified domain. The small-time solution is used as the initial condition for the numerical integration of a problem having three moving boundaries. Of particular significance is the so-called inverse segregation that is observed at the start of solidification, and the extreme segregation that is observed at the end; in the case of the example presented, which is for the often-cited Al–Cu system, the macrosegregation is found to be positive or negative, depending on whether Scheil’s equation or the lever rule is assumed at the microscale, respectively. The relevance of these results for the modelling of steady-state continuous casting processes – in particular, the phenomenon of centreline segregation – is also discussed.

Understanding the generation of mechanical stress in drying, particle-laden films is important for a wide range of industrial processes. One way to study these stresses is through the cantilever experiment, whereby a thin film is deposited onto the surface of a thin plate that is clamped at one end to a wall. The stresses that are generated in the film during drying are transmitted to the plate and drive bending. Mathematical modelling enables the film stress to be inferred from measurements of the plate deflection. The aim of this paper is to present simplified models of the cantilever experiment that have been derived from the time-dependent equations of continuum mechanics using asymptotic methods. The film is described using nonlinear poroelasticity and the plate using nonlinear elasticity. In contrast to Stoney-like formulae, the simplified models account for films with non-uniform thickness and stress. The film model reduces to a single differential equation that can be solved independently of the plate equations. The plate model reduces to an extended form of the Föppl-von Kármán (FvK) equations that accounts for gradients in the longitudinal traction acting on the plate surface. Consistent boundary conditions for the FvK equations are derived by resolving the Saint-Venant boundary layers at the free edges of the plate. The asymptotically reduced models are in excellent agreement with finite element solutions of the full governing equations. As the Péclet number increases, the time evolution of the plate deflection changes from $t$ to $t^{1/2}$, in agreement with experiments.

The time-global unique classical positive solutions to the reaction–diffusion equations for prey–predator models with dormancy of predators are constructed. The feature appears on the nonlinear terms of Holling type $\rm I\!I$ functional response. The crucial step is to establish time-local positive classical solutions by using a new approximation associated with time-evolution operators. Although the system does not equip usual comparison principle for solutions to partial differential equation, a priori bounds are derived by enclosing and renormalising arguments of solutions to the corresponding ordinary differential equations. Furthermore, time-global existence, invariant regions and asymptotic behaviours of solutions follow from such a priori bounds.

Motivated by applications in data science, we study partial differential equations on graphs. By a classical fixed-point argument, we show existence and uniqueness of solutions to a class of nonlocal continuity equations on graphs. We consider general interpolation functions, which give rise to a variety of different dynamics, for example, the nonlocal interaction dynamics coming from a solution-dependent velocity field. Our analysis reveals structural differences with the more standard Euclidean space, as some analogous properties rely on the interpolation chosen.

Two-scale models pose a promising approach in simulating reactive flow and transport in evolving porous media. Classically, homogenised flow and transport equations are solved on the macroscopic scale, while effective parameters are obtained from auxiliary cell problems on possibly evolving reference geometries (micro-scale). Despite their perspective success in rendering lab/field-scale simulations computationally feasible, analytic results regarding the arising two-scale bilaterally coupled system often restrict to simplified models. In this paper, we first derive smooth dependence results concerning the partial coupling from the underlying geometry to macroscopic quantities. Therefore, alterations of the representative fluid domain are described by smooth paths of diffeomorphisms. Exploiting the gained regularity of the effective space- and time-dependent macroscopic coefficients, we present local-in-time existence results for strong solutions to the partially coupled micro–macro system using fixed-point arguments. What is more, we extend our results to the bilaterally coupled diffusive transport model including a level-set description of the evolving geometry.

Stability is among the most important concepts in dynamical systems. Local stability is well-studied, whereas determining the ‘global stability’ of a nonlinear system is very challenging. Over the last few decades, many different ideas have been developed to address this issue, primarily driven by concrete applications. In particular, several disciplines suggested a web of concepts under the headline ‘resilience’. Unfortunately, there are many different variants and explanations of resilience, and often, the definitions are left relatively vague, sometimes even deliberately. Yet, to allow for a structural development of a mathematical theory of resilience that can be used across different areas, one has to ensure precise starting definitions and provide a mathematical comparison of different resilience measures. In this work, we provide a systematic review of the most relevant indicators of resilience in the context of continuous dynamical systems, grouped according to their mathematical features. The indicators are also generalised to be applicable to any attractor. These steps are important to ensure a more reliable, quantitatively comparable and reproducible study of resilience in dynamical systems. Furthermore, we also develop a new concept of resilience against certain nonautonomous perturbations to demonstrate how one can naturally extend our framework. All the indicators are finally compared via the analysis of a classic scalar model from population dynamics to show that direct quantitative application-based comparisons are an immediate consequence of a detailed mathematical analysis.