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.
In this article, we study the effect of the Hardy potential on existence, uniqueness, and optimal summability of solutions of the mixed local–nonlocal elliptic problem
\begin{equation*}-\Delta u + (-\Delta)^s u - \gamma \frac{u}{|x|^2}=f \,\text{in } \Omega, \ u=0 \,\text{in } {\mathbb R}^n \setminus \Omega,\end{equation*}
where Ω is a bounded domain in ${\mathbb R}^n$ containing the origin and γ > 0. In particular, we will discuss the existence, non-existence, and uniqueness of solutions in terms of the summability of f and of the value of the parameter γ.
Quorum sensing governs bacterial communication, playing a crucial role in regulating population behaviour. We propose a mathematical model that uncovers chaotic dynamics within quorum sensing networks, highlighting challenges to predictability. The model explores interactions between autoinducers and two bacterial subtypes, revealing oscillatory dynamics in both a constant autoinducer submodel and the full three-component model. In the latter case, we find that the complicated dynamics can be explained by the presence of homoclinic Shilnikov bifurcations. We employ a combination of normal-form analysis and numerical continuation methods to analyse the system.
We study the planar FitzHugh–Nagumo system with an attracting periodic orbit that surrounds a repelling focus equilibrium. When the associated oscillation of the system is perturbed, in a given direction and with a given amplitude, there will generally be a change in phase of the perturbed oscillation with respect to the unperturbed one. This is recorded by the phase transition curve (PTC), which relates the old phase (along the periodic orbit) to the new phase (after perturbation). We take a geometric point of view and consider the phase-resetting surface comprising all PTCs as a function of the perturbation amplitude. This surface has a singularity when the perturbation maps a point on the periodic orbit exactly onto the repelling focus, which is the only point that does not return to stable oscillation. We also consider the PTC as a function of the direction of the perturbation and present how the corresponding phase-resetting surface changes with increasing perturbation amplitude. In this way, we provide a complete geometric interpretation of how the PTC changes for any perturbation direction. Unlike other examples discussed in the literature so far, the FitzHugh–Nagumo system is a generic example and, hence, representative for planar vector fields.
Using a perturbation result established by Galatolo and Lucena [Spectral gap and quantitative statistical stability for systems with contracting fibers and Lorenz-like maps. Discrete Contin. Dyn. Syst.40(3) (2020), 1309–1360], we obtain quantitative estimates on the continuity of the invariant densities and entropies of the physical measures for some families of piecewise expanding maps. We apply these results to a family of two-dimensional tent maps.
For a finite group G, let $\operatorname { {AD}}(G)$ denote the Fourier norm of the antidiagonal in $G\times G$. The author showed recently in [‘An explicit minorant for the amenability constant of the Fourier algebra’, Int. Math. Res. Not. IMRN2023 (2023), 19390–19430] that $\operatorname { {AD}}(G)$ coincides with the amenability constant of the Fourier algebra of G and is equal to the normalized sum of the cubes of the character degrees of G. Motivated by a gap result for amenability constants from Johnson [‘Non-amenability of the Fourier algebra of a compact group’, J. Lond. Math. Soc. (2)50 (1994), 361–374], we determine exactly which numbers in the interval $[1,2]$ arise as values of $\operatorname { {AD}}(G)$. As a by-product, we show that the set of values of $\operatorname { {AD}}(G)$ does not contain all its limit points. Some other calculations or bounds for $\operatorname { {AD}}(G)$ are given for familiar classes of finite groups. We also indicate a connection between $\operatorname { {AD}}(G)$ and the commuting probability of G, and use this to show that every finite group G satisfying $\operatorname { {AD}}(G)< {61}/{15}$ must be solvable; here, the value ${61}/{15}$ is the best possible.
We address the inverse problem for holomorphic germs of a mapping of the complex line near a fixed point which is tangent to the identity. We provide a preferred parabolic map $\Delta $ realizing a given Birkhoff–Écalle–Voronin modulus $\psi $ and prove its uniqueness in the functional class we introduce. The germ is the time-$1$ map of a Gevrey formal vector field admitting meromorphic sums on a pair of infinite sectors covering the Riemann sphere. For that reason, the analytic continuation of $\Delta $ is a multivalued map admitting finitely many branch points with finite monodromy. In particular, $\Delta $ is holomorphic and injective on an open slit sphere containing $0$ (the initial fixed point) and $\infty $, where the companion parabolic point is situated under the involution ${-1}/{\mathrm {Id}}$. One finds that the Birkhoff–Écalle–Voronin modulus of the parabolic germ at $\infty $ is the inverse $\psi ^{\circ -1}$ of that at $0$.
Macroscopically, a Darcian unsaturated moisture flow in the top soil is usually represented by an one-dimensional volume scale of evaporation from a static water table. On the microscale, simple pore-level models posit bundles of small-radius capillary tubes of a constant circular cross-section, fully occupied by mobile water moving in the Hagen–Poiseuille (HP) regime, while large-diameter pores are occupied by stagnant air. In our paper, cross-sections of cylindrical pores are polygonal. Steady, laminar, fully developed two-dimensional flows of Newtonian water in prismatic conduits, driven by a constant pressure gradient along a pore gradient, are more complex than the HP formula; this is based on the fact that the pores are only partially occupied by water and immobile air. The Poisson equation in a circular tetragon, with no-slip or mixed (no-shear-stress) boundary conditions on the two adjacent pore walls and two menisci, is solved by the methods of complex analysis. The velocity distribution is obtained via the Keldysh–Sedov type of singular integrals, and the flow rate is evaluated for several sets of meniscus radii by integrating the velocity over the corresponding tetragons.
We study quotients of mapping class groups of punctured spheres by suitable large powers of Dehn twists, showing an analogue of Ivanov’s theorem for the automorphisms of the corresponding quotients of curve graphs. Then we use this result to prove quasi-isometric rigidity of these quotients, answering a question of Behrstock, Hagen, Martin, and Sisto in the case of punctured spheres. Finally, we show that the automorphism groups of our quotients of mapping class groups are “small”, as are their abstract commensurators. This is again an analogue of a theorem of Ivanov about the automorphism group of the mapping class group.
In the process, we develop techniques to extract combinatorial data from a quasi-isometry of a hierarchically hyperbolic space, and use them to give a different proof of a result of Bowditch about quasi-isometric rigidity of pants graphs of punctured spheres.
An area-preserving homeomorphism isotopic to the identity is said to have rational rotation direction if its rotation vector is a real multiple of a rational class. We give a short proof that any area-preserving homeomorphism of a compact surface of genus at least two, which is isotopic to the identity and has rational rotation direction, is either the identity or has periodic points of unbounded minimal period. This answers a question of Ginzburg and Seyfaddini and can be regarded as a Conley conjecture-type result for symplectic homeomorphisms of surfaces beyond the Hamiltonian case. We also discuss several variations, such as maps preserving arbitrary Borel probability measures with full support, maps that are not isotopic to the identity and maps on lower genus surfaces. The proofs of the main results combine topological arguments with periodic Floer homology.
Minimizing an adversarial surrogate risk is a common technique for learning robust classifiers. Prior work showed that convex surrogate losses are not statistically consistent in the adversarial context – or in other words, a minimizing sequence of the adversarial surrogate risk will not necessarily minimize the adversarial classification error. We connect the consistency of adversarial surrogate losses to properties of minimizers to the adversarial classification risk, known as adversarial Bayes classifiers. Specifically, under reasonable distributional assumptions, a convex surrogate loss is statistically consistent for adversarial learning iff the adversarial Bayes classifier satisfies a certain notion of uniqueness.
We show that the group $ \langle a,b,c,t \,:\, a^t=b,b^t=c,c^t=ca^{-1} \rangle$ is profinitely rigid amongst free-by-cyclic groups, providing the first example of a hyperbolic free-by-cyclic group with this property.
Using a recent result of Bowden, Hensel and Webb, we prove the existence of a homeomorphism with positive stable commutator length in the group of homeomorphisms of the Klein bottle which are isotopic to the identity.
In this paper, we prove the non-existence of Codazzi and totally umbilical hypersurfaces, especially totally geodesic hypersurfaces, in the $4$-dimensional model space $\mathrm {Sol}_1^4$.
We consider a pair of identical theta neurons in the active regime, each coupled to the other via a delayed Dirac delta function. The network can support periodic solutions and we concentrate on solutions for which the neurons are half a period out of phase with one another, and also solutions for which the neurons are perfectly synchronous. The dynamics are analytically solvable, so we can derive explicit expressions for the existence and stability of both types of solutions. We find two branches of solutions, connected by symmetry-broken solutions which arise when the period of a solution as a function of delay is at a maximum or a minimum.
We study the descriptive complexity of sets of points defined by restricting the statistical behaviour of their orbits in dynamical systems on Polish spaces. Particular examples of such sets are the sets of generic points of invariant Borel probability measures, but we also consider much more general sets (for example, $\alpha $-Birkhoff regular sets and the irregular set appearing in the multifractal analysis of ergodic averages of a continuous real-valued function). We show that many of these sets are Borel in general, and all these are Borel when we assume that our space is compact. We provide examples of these sets being non-Borel, properly placed at the first level of the projective hierarchy (they are complete analytic or co-analytic). This proves that the compactness assumption is, in some cases, necessary to obtain Borelness. When these sets are Borel, we measure their descriptive complexity using the Borel hierarchy. We show that the sets of interest are located at most at the third level of the hierarchy. We also use a modified version of the specification property to show that these sets are properly located at the third level of the hierarchy for many dynamical systems. To demonstrate that the specification property is a sufficient, but not necessary, condition for maximal descriptive complexity of a set of generic points, we provide an example of a compact minimal system with an invariant measure whose set of generic points is $\boldsymbol {\Pi }^0_3$-complete.
In this paper, we derive simple analytical bounds for solutions of $x - \ln x = y -\ln y$, and use them for estimating trajectories following Lotka–Volterra-type integrals. We show how our results give estimates for the Lambert W function as well as for trajectories of general predator–prey systems, including, for example, Rosenzweig–MacArthur equations.