To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We consider self-propelled rigid bodies interacting through local body-attitude alignment modelled by stochastic differential equations. We derive a hydrodynamic model of this system at large spatio-temporal scales and particle numbers in any dimension $n \geq 3$. This goal was already achieved in dimension $n=3$ or in any dimension $n \geq 3$ for a different system involving jump processes. However, the present work corresponds to huge conceptual and technical gaps compared with earlier ones. The key difficulty is to determine an auxiliary but essential object, the generalised collision invariant. We achieve this aim by using the geometrical structure of the rotation group, namely its maximal torus, Cartan subalgebra and Weyl group as well as other concepts of representation theory and Weyl’s integration formula. The resulting hydrodynamic model appears as a hyperbolic system whose coefficients depend on the generalised collision invariant.
We study Gibbs measures with log-correlated base Gaussian fields on the d-dimensional torus. In the defocusing case, the construction of such Gibbs measures follows from Nelson’s argument. In this paper, we consider the focusing case with a quartic interaction. Using the variational formulation, we prove nonnormalizability of the Gibbs measure. When $d = 2$, our argument provides an alternative proof of the nonnormalizability result for the focusing $\Phi ^4_2$-measure by Brydges and Slade (1996). Furthermore, we provide a precise rate of divergence, where the constant is characterized by the optimal constant for a certain Bernstein’s inequality on $\mathbb R^d$. We also go over the construction of the focusing Gibbs measure with a cubic interaction. In the appendices, we present (a) nonnormalizability of the Gibbs measure for the two-dimensional Zakharov system and (b) the construction of focusing quartic Gibbs measures with smoother base Gaussian measures, showing a critical nature of the log-correlated Gibbs measure with a focusing quartic interaction.
Consensus-based optimisation (CBO) is a versatile multi-particle metaheuristic optimisation method suitable for performing non-convex and non-smooth global optimisations in high dimensions. It has proven effective in various applications while at the same time being amenable to a theoretical convergence analysis. In this paper, we explore a variant of CBO, which incorporates truncated noise in order to enhance the well-behavedness of the statistics of the law of the dynamics. By introducing this additional truncation in the noise term of the CBO dynamics, we achieve that, in contrast to the original version, higher moments of the law of the particle system can be effectively bounded. As a result, our proposed variant exhibits enhanced convergence performance, allowing in particular for wider flexibility in choosing the noise parameter of the method as we confirm experimentally. By analysing the time evolution of the Wasserstein-$2$ distance between the empirical measure of the interacting particle system and the global minimiser of the objective function, we rigorously prove convergence in expectation of the proposed CBO variant requiring only minimal assumptions on the objective function and on the initialisation. Numerical evidences demonstrate the benefit of truncating the noise in CBO.
We prove that the cubic nonlinear Schrödinger equation (both focusing and defocusing) is globally well-posed in $H^s({{\mathbb {R}}})$ for any regularity $s>-\frac 12$. Well-posedness has long been known for $s\geq 0$, see [55], but not previously for any $s<0$. The scaling-critical value $s=-\frac 12$ is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48].
We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg–de Vries equations in $H^s({{\mathbb {R}}})$ for any $s>-\frac 12$. The best regularity achieved previously was $s\geq \tfrac 14$ (see [15, 24, 33, 39]).
To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the nonperturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity.
This article is concerned with the problem of determining an unknown source of non-potential, external time-dependent perturbations of an incompressible fluid from large-scale observations on the flow field. A relaxation-based approach is proposed for accomplishing this, which makes use of a nonlinear property of the equations of motions to asymptotically enslave small scales to large scales. In particular, an algorithm is introduced that systematically produces approximations of the flow field on the unobserved scales in order to generate an approximation to the unknown force; the process is then repeated to generate an improved approximation of the unobserved scales, and so on. A mathematical proof of convergence of this algorithm is established in the context of the two-dimensional Navier–Stokes equations with periodic boundary conditions under the assumption that the force belongs to the observational subspace of phase space; at each stage in the algorithm, it is shown that the model error, represented as the difference between the approximating and true force, asymptotically decreases to zero in a geometric fashion provided that sufficiently many scales are observed and certain parameters of the algorithm are appropriately tuned.
where $b,\, \omega >0$ are constants, $p>2$. Based on variational methods, regularity theory and Schwarz symmetrization, the equivalence of ground state solutions for the above problem with the minimizers for some minimization problems is obtained. In particular, a new scale technique, together with Lagrange multipliers, is delicately employed to overcome some intrinsic difficulties.
Dispersive and Strichartz estimates are obtained for solutions to the wave equation with a Laguerre potential in spatial dimension three. To obtain the desired dispersive estimate, based on the spectral properties of the Schrödinger operator involved, we subsequently prove the dispersive estimate for the corresponding Schrödinger semigroup, obtain a Gaussian-type upper bound, establish Bernstein-type inequalities, and finally pass to the Müller–Seeger’s subordination formula. The desired Strichartz estimates follow by the established dispersive estimate and the standard argument of Keel–Tao.
We formulate haptotaxis models of cancer invasion wherein the infiltrating cancer cells can occupy a spectrum of states in phenotype space, ranging from ‘fully mesenchymal’ to ‘fully epithelial’. The more mesenchymal cells are those that display stronger haptotaxis responses and have greater capacity to modify the extracellular matrix (ECM) through enhanced secretion of matrix-degrading enzymes (MDEs). However, as a trade-off, they have lower proliferative capacity than the more epithelial cells. The framework is multiscale in that we start with an individual-based model that tracks the dynamics of single cells, which is based on a branching random walk over a lattice representing both physical and phenotype space. We formally derive the corresponding continuum model, which takes the form of a coupled system comprising a partial integro-differential equation for the local cell population density function, a partial differential equation for the MDE concentration and an infinite-dimensional ordinary differential equation for the ECM density. Despite the intricacy of the model, we show, through formal asymptotic techniques, that for certain parameter regimes it is possible to carry out a detailed travelling wave analysis and obtain invading fronts with spatial structuring of phenotypes. Precisely, the most mesenchymal cells dominate the leading edge of the invasion wave and the most epithelial (and most proliferative) dominate the rear, representing a bulk tumour population. As such, the model recapitulates similar observations into a front to back structuring of invasion waves into leader-type and follower-type cells, witnessed in an increasing number of experimental studies over recent years.
We generalize the known collision results for a solid in a 3D compressible Newtonian fluid to compressible non-Newtonian ones, and to Newtonian fluids with temperature-depending viscosities.
Opinion dynamics is an important and very active area of research that delves into the complex processes through which individuals form and modify their opinions within a social context. The ability to comprehend and unravel the mechanisms that drive opinion formation is of great significance for predicting a wide range of social phenomena such as political polarisation, the diffusion of misinformation, the formation of public consensus and the emergence of collective behaviours. In this paper, we aim to contribute to that field by introducing a novel mathematical model that specifically accounts for the influence of social media networks on opinion dynamics. With the rise of platforms such as Twitter, Facebook, and Instagram and many others, social networks have become significant arenas where opinions are shared, discussed and potentially altered. To this aim after an analytical construction of our new model and through incorporation of real-life data from Twitter, we calibrate the model parameters to accurately reflect the dynamics that unfold in social media, showing in particular the role played by the so-called influencers in driving individual opinions towards predetermined directions.
The connection between Residual Neural Networks (ResNets) and continuous-time control systems (known as NeurODEs) has led to a mathematical analysis of neural networks, which has provided interesting results of both theoretical and practical significance. However, by construction, NeurODEs have been limited to describing constant-width layers, making them unsuitable for modelling deep learning architectures with layers of variable width. In this paper, we propose a continuous-time Autoencoder, which we call AutoencODE, based on a modification of the controlled field that drives the dynamics. This adaptation enables the extension of the mean-field control framework originally devised for conventional NeurODEs. In this setting, we tackle the case of low Tikhonov regularisation, resulting in potentially non-convex cost landscapes. While the global results obtained for high Tikhonov regularisation may not hold globally, we show that many of them can be recovered in regions where the loss function is locally convex. Inspired by our theoretical findings, we develop a training method tailored to this specific type of Autoencoders with residual connections, and we validate our approach through numerical experiments conducted on various examples.
In this paper, we propose a novel approach that employs kinetic equations to describe the collective dynamics emerging from graph-mediated pairwise interactions in multi-agent systems. We formally show that for large graphs and specific classes of interactions a statistical description of the graph topology, given in terms of the degree distribution embedded in a Boltzmann-type kinetic equation, is sufficient to capture the collective trends of networked interacting systems. This proves the validity of a commonly accepted heuristic assumption in statistically structured graph models, namely that the so-called connectivity of the agents is the only relevant parameter to be retained in a statistical description of the graph topology. Then, we validate our results by testing them numerically against real social network data.
Conventional preytaxis systems assume that prey-tactic velocity is proportional to the prey density gradient. However, many experiments exploring the predator–prey interactions show that it is the predator’s acceleration instead of velocity that is proportional to the prey density gradient in the prey-tactic movement, which we call preytaxis with prey-induced acceleration. Mathematical models of preytaxis with prey-induced acceleration were proposed by Arditi et al. ((2001) Theor. Popul. Biol. 59(3), 207–221) and Sapoukhina et al. ((2003) Am. Nat. 162(1), 61–76) to interpret the spatial heterogeneity of predators and prey observed in experiments. This paper is devoted to exploring the qualitative behaviour of such preytaxis systems with prey-induced acceleration and establishing the global existence of classical solutions with uniform-in-time bounds in all spatial dimensions. Moreover, we prove the global stability of spatially homogeneous prey-only and coexistence steady states with decay rates under certain conditions on system parameters. For the parameters outside the stability regime, we perform linear stability analysis to find the possible patterning regimes and use numerical simulations to demonstrate that spatially inhomogeneous time-periodic patterns will typically arise from the preytaxis system with prey-induced acceleration. Noticing that conventional preytaxis systems are unable to produce spatial patterns, our results imply that the preytaxis with prey-induced acceleration is indeed more appropriate than conventional preytaxis to interpret the spatial heterogeneity resulting from predator–prey interactions.
We consider the discrete Safronov-Dubovskiĭ aggregation equation associated with the physical condition, where particle injection and extraction take place in the dynamical system. In application, this model is used to describe the aggregation of particle-monomers in combination with sedimentation of particle-clusters. More precisely, we prove well-posedness of the considered model for a large class of aggregation kernel with source and efflux coefficients. Furthermore, over a long time period, we prove that the dynamical model attains a unique equilibrium solution with an exponential rate under a suitable condition on the forcing coefficient.
where $q\ge p\ge2$, r > q, $0 \lt \mu \lt N$ and $w,f \in L^1_{\rm loc}(\mathbb{R}^N)$ are two non-negative functions such that $w(x) \le C_1|x|^a$ and $f(x) \ge C_2|x|^b$ for all $|x| \gt R_0$, where $R_0,C_1,C_2 \gt 0$ and $a,b\in\mathbb{R}$. Under some appropriate assumptions on p, q, r, µ, a, b and N, we prove various Liouville-type theorems for weak solutions which are stable or stable outside a compact set of $\mathbb{R}^N$. First, we establish the standard integral estimates via stability property to derive the non-existence results for stable weak solutions. Then, by means of the Pohožaev identity, we deduce the Liouville-type theorem for weak solutions which are stable outside a compact set.
In this paper, we study consensus-based optimisation (CBO), a versatile, flexible and customisable optimisation method suitable for performing nonconvex and nonsmooth global optimisations in high dimensions. CBO is a multi-particle metaheuristic, which is effective in various applications and at the same time amenable to theoretical analysis thanks to its minimalistic design. The underlying dynamics, however, is flexible enough to incorporate different mechanisms widely used in evolutionary computation and machine learning, as we show by analysing a variant of CBO which makes use of memory effects and gradient information. We rigorously prove that this dynamics converges to a global minimiser of the objective function in mean-field law for a vast class of functions under minimal assumptions on the initialisation of the method. The proof in particular reveals how to leverage further, in some applications advantageous, forces in the dynamics without loosing provable global convergence. To demonstrate the benefit of the herein investigated memory effects and gradient information in certain applications, we present numerical evidence for the superiority of this CBO variant in applications such as machine learning and compressed sensing, which en passant widen the scope of applications of CBO.
This paper focuses on the Cauchy problem for a one-dimensional quasilinear hyperbolic–parabolic coupled system with initial data given on a line of parabolicity. The coupled system is derived from the Poiseuille flow of full Ericksen–Leslie model in the theory of nematic liquid crystals, which incorporates the crystal and liquid properties of the materials. The main difficulty comes from the degeneracy of the hyperbolic equation, which makes that the system is not continuously differentiable and then the classical methods for the strictly hyperbolic–parabolic coupled systems are invalid. With a choice of a suitable space for the unknown variable of the parabolic equation, we first solve the degenerate hyperbolic problem in a partial hodograph plane and express the smooth solution in terms of the original variables. Based on the smooth solution of the hyperbolic equation, we then construct an iterative sequence for the unknown variable of the parabolic equation by the fundamental solution of the heat equation. Finally, we verify the uniform convergence of the iterative sequence in the selected function space and establish the local existence and uniqueness of classical solutions to the degenerate coupled problem.
We consider the two-dimensional minimisation problem for $\inf \{ E_a(\varphi ):\varphi \in H^1(\mathbb {R}^2)\ \text {and}\ \|\varphi \|_2^2=1\}$, where the energy functional $ E_a(\varphi )$ is a cubic-quintic Schrödinger functional defined by $E_a(\varphi ):=\tfrac 12\int _{\mathbb {R}^2}|\nabla \varphi |^2\,dx-\tfrac 14a\int _{\mathbb {R}^2}|\varphi |^4\,dx+\tfrac 16a^2\int _{\mathbb {R}^2}|\varphi |^6\,dx$. We study the existence and asymptotic behaviour of the ground state. The ground state $\varphi _{a}$ exists if and only if the $L^2$ mass a satisfies $a>a_*={\lVert Q\rVert }^2_2$, where Q is the unique positive radial solution of $-\Delta u+ u-u^3=0$ in $\mathbb {R}^2$. We show the optimal vanishing rate $\int _{\mathbb {R}^2}|\nabla \varphi _{a}|^2\,dx\sim (a-a_*)$ as $a\searrow a_*$ and obtain the limit profile.
We prove that for nonlinear elastic energies with strong enough energetic control of the outer distortion of admissible deformations, almost everywhere global invertibility as constraint can be obtained in the $\Gamma$-limit of the elastic energy with an added nonlocal self-repulsion term with asymptocially vanishing coefficient. The self-repulsion term considered here formally coincides with a Sobolev–Slobodeckiĭ seminorm of the inverse deformation. Variants near the boundary or on the surface of the domain are also studied.
We consider a parabolic-parabolic chemotaxis system with singular chemotactic sensitivity and source functions, which is originally introduced by Short et al to model the spatio-temporal behaviour of urban criminal activities with the particular value of the chemotactic sensitivity parameter $\chi =2$. The available analytical findings for this urban crime model including $\chi =2$ are restricted either to one-dimensional setting, or to initial data and source functions with appropriate smallness, or to initial data and source functions with some radial symmetry. In the present work, our first result asserts that for any $\chi \gt 0$ the initial-boundary value problem of this urban crime model possesses a global generalised solution in the two-dimensional setting, without imposing any small or radial conditions on initial data and source functions. Our second result presents the asymptotic behaviour of such solution, under some additional assumptions on source functions.