We study density and partition properties of polynomial equations in prime variables. We consider equations of the form $a_1h(x_1) + \cdots + a_sh(x_s)=b$, where the ai and b are fixed coefficients and h is an arbitrary integer polynomial of degree d. We establish that the natural necessary conditions for this equation to have a monochromatic non-constant solution with respect to any finite colouring of the prime numbers are also sufficient when the equation has at least $(1+o(1))d^2$ variables. We similarly characterize when such equations admit solutions over any set of primes with positive relative upper density. In both cases, we obtain lower bounds for the number of monochromatic or dense solutions in primes that are of the correct order of magnitude. Our main new ingredient is a uniform lower bound on the cardinality of a prime polynomial Bohr set.

We identify a class of smooth Banach *-algebras that are differential subalgebras of commutative C*-algebras whose openness of multiplication is completely determined by the topological stable rank of the target C*-algebra. We then show that group algebras of Abelian groups of unbounded exponent fail to have uniformly open convolution. Finally, we completely characterize in the complex case (uniform) openness of multiplication in algebras of continuous functions in terms of the covering dimension.

We prove the existence of solutions to the Kuramoto–Sivashinsky equation with low regularity data in function spaces based on the Wiener algebra and in pseudomeasure spaces. In any spatial dimension, we allow the data to have its antiderivative in the Wiener algebra. In one spatial dimension, we also allow data that are in a pseudomeasure space of negative order. In two spatial dimensions, we also allow data that are in a pseudomeasure space one derivative more regular than in the one-dimensional case. In the course of carrying out the existence arguments, we show a parabolic gain of regularity of the solutions as compared to the data. Subsequently, we show that the solutions are in fact analytic at any positive time in the interval of existence.

For a positive integer $n \geq 2$, define tn to be the smallest number such that the additive energy E(A) of any subset $A \subset \{0,1,\cdots,n-1\}^d$ and any d is at most $|A|^{t_n}$. Trivially, we have $t_n \leq 3$ and

\begin{equation*} t_n \geq 3 - \log_n\frac{3n^3}{2n^3+n} \end{equation*}

by considering $A = \{0,1,\cdots,n-1\}^d$. In this note, we investigate the behaviour of tn for large n and obtain the following non-trivial bounds:

\begin{equation*} 3 - (1+o_{n\rightarrow\infty}(1)) \log_n \frac{3\sqrt{3}}{4} \leq t_n \leq 3 - \log_n(1+c), \end{equation*}

where c > 0 is an absolute constant.

In the present article, we study compact complex manifolds admitting a Hermitian metric which is strong Kähler with torsion (SKT) and Calabi–Yau with torsion (CYT) and whose Bismut torsion is parallel. We first obtain a characterization of the universal cover of such manifolds as a product of a Kähler Ricci-flat manifold with a Bismut flat one. Then, using a mapping torus construction, we provide non-Bismut flat examples. The existence of generalized Kähler structures is also investigated.

In this article, we explore the bifurcation problem of limit cycles near the double eight figure loop (compound cycle with a 2-polycycle connecting two homoclinic loops). A general theory is established to find the lower bound of the maximal number of limit cycles (isolated periodic orbits) near the double eight figure loop. The Liénard system, a well-known nonlinear dynamical model, appears in a natural way in physics, chemistry, engineering, and so on, where periodic phenomena play a relevant role. As an application, we investigate an $(n+1)$th-order generalized Liénard system and prove the system has at least $7[\frac{n}{6}]+2[\frac{r}{2}]-[\frac{r}{4}]$ limit cycles near the double eight figure loop for any $n\geq5$ and $r=\rm mod(n,6)$, and their distribution is also gained.

In this article, we study the following Dirichlet problem to the sub-linear Lane–Emden equation

\begin{equation*}\left\{\begin{array}{ll}-\Delta u=u^{p},\quad u(x)\geq0,\quad x\in\mathbb{R}^n_+, \\u(x)\equiv0,\quad x\in\partial\mathbb{R}^n_+,\end{array}\right.\end{equation*}

where $n\geq3$, $0 \lt p\leq1$. By establishing an equivalent integral equation, we give a lower bound of the Kelvin transformation $\bar{u}$. Then, by constructing a new comparison function, we apply the maximum principle based on comparisons and the method of moving planes to obtain that u only depends on xn. Based on this, we prove the non-existence of non-negative solutions.

We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions oft-presented in the previous work. Most notably, the target function space need not be disjointly superadditive nor equipped with a norm. Instead, a property that is far more often at our disposal is exploited—namely the absolute continuity of the target quasinorm.

We use this new method to prove that limiting Sobolev embeddings into spaces of Brezis–Wainger type are so-called maximally noncompact, i.e. their ball measure of noncompactness is the worst possible.

We study the topological structure of the space $\mathcal{X}$ of isomorphism classes of metric measure spaces equipped with the box or concentration topologies. We consider the scale-change action of the multiplicative group ${\mathbb{R}}_+$ of positive real numbers on $\mathcal{X}$, which has a one-point metric measure space, say $*$, as only one fixed-point. We prove that the ${\mathbb{R}}_+$-action on $\mathcal{X}_* := \mathcal{X} \setminus \{*\}$ admits the structure of non-trivial and locally trivial principal ${\mathbb{R}}_+$-bundle over the quotient space. Our bundle ${\mathbb{R}}_+ \to \mathcal{X}_* \to \mathcal{X}_*/{\mathbb{R}}_+$ is a curious example of a non-trivial principal fibre bundle with contractible fibre. A similar statement is obtained for the pyramidal compactification of $\mathcal{X}$, where we completely determine the structure of the fixed-point set of the ${\mathbb{R}}_+$-action on the compactification.

We introduce the concept of ‘irrational paths’ for a given subshift and useit to characterize all minimal left ideals in the associated unital subshift algebra. Consequently, we characterize the socle as the sum of the ideals generated by irrational paths. Proceeding, we construct a graph such that the Leavitt path algebra of this graph is graded isomorphic to the socle. This realization allows us to show that the graded structure of the socle serves as an invariant for the conjugacy of Ott–Tomforde–Willis subshifts and for the isometric conjugacy of subshifts constructed with the product topology. Additionally, we establish that the socle of the unital subshift algebra is contained in the socle of the corresponding unital subshift C*-algebra.

We are interested in the two-dimensional four-constant Riemann problem to the isentropic compressible Euler equations. In terms of the self-similar variables, the governing system is of nonlinear mixed-type and the solution configuration typically contains transonic and small-scale structures. We construct a supersonic-sonic patch along a pseudo-streamline from the supersonic part to a sonic point. This kind of patch appears frequently in the two-dimensional Riemann problem and is a building block for constructing a global solution. To overcome the difficulty caused by the sonic degeneracy, we apply the characteristic decomposition technique to handle the problem in a partial hodograph plane. We establish a regular supersonic solution for the original problem by showing the global one-to-one property of the partial hodograph transformation. The uniform regularity of the solution and the regularity of an associated sonic curve are also discussed.

The structure of groups in which every element has prime power order (CP-groups) is extensively studied. We first investigate the properties of group $G$ such that each element of $G\setminus N$ has prime power order. It is proved that $N$ is solvable or every non-solvable chief factor $H/K$ of $G$ satisfying $H\leq N$ is isomorphic to $PSL_2(3^f)$ with $f$ a 2-power. This partially answers the question proposed by Lewis in 2023, asking whether $G\cong M_{10}$? Furthermore, we prove that if each element $x\in G\backslash N$ has prime power order and ${\bf C}_G(x)$ is maximal in $G$, then $N$ is solvable. Relying on this, we give the structure of group $G$ with normal subgroup $N$ such that ${\bf C}_G(x)$ is maximal in $G$ for any element $x\in G\setminus N$. Finally, we investigate the structure of a normal subgroup $N$ when the centralizer ${\bf C}_G(x)$ is maximal in $G$ for any element $x\in N\setminus {\bf Z}(N)$, which is a generalization of results of Zhao, Chen, and Guo in 2020, investigating a special case that $N=G$ for our main result. We also provide a new proof for Zhao, Chen, and Guo's results above.

In loving memory of my beloved miniature dachshund Maddie (16 March 2002 – 16 March 2020). We consider nonlocal differential equations with convolution coefficients of the form

\[{-}M\Big(\big(a*(g\circ |u|)\big)(1)\Big)u''(t)=\lambda f\big(t,u(t)\big),\quad t\in(0,1), \]

$g$

$M$

$M$

$f$

The Choquard equation is a partial differential equation that has gained significant interest and attention in recent decades. It is a nonlinear equation that combines elements of both the Laplace and Schrödinger operators, and it arises frequently in the study of numerous physical phenomena, from condensed matter physics to nonlinear optics.

In particular, the steady states of the Choquard equation were thoroughly investigated using a variational functional acting on the wave functions.

In this article, we introduce a dual formulation for the variational functional in terms of the potential induced by the wave function, and use it to explore the existence of steady states of a multi-state version the Choquard equation in critical and sub-critical cases.

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure quotients and pure extensions, as well as providing a way to show the existence of approximations. One key ingredient is a new characterization of phantom maps. We then introduce an axiomatic form of Auslander–Gruson–Jensen duality, from which we define dual definable categories, and show that these coincide with symmetric coproduct closed duality pairs. This framework is ubiquitous, encompassing both algebraic triangulated categories and stable homotopy theories. Accordingly, we provide many applications in both settings, with a particular emphasis on silting theory and stratified tensor-triangulated categories.

In this paper, we consider the following PDE-ODE system modelling cancer invasion with slow diffusion and ECM remodelling,

\[ \begin{cases} u_t=\Delta u^m-\chi\nabla\cdot(u\nabla v)-\xi\nabla\cdot(u\nabla\omega)+\mu u(1-u-\omega), \\ v_t=\Delta v+u-v, \\ \omega_t={-}v\omega+\eta \omega(1-u-\omega). \end{cases} \]

$\eta =0$

$\eta >0$

$\eta =0$

$\eta >0$

Let $m,\,r\in {\mathbb {Z}}$ and $\omega \in {\mathbb {R}}$ satisfy $0\leqslant r\leqslant m$ and $\omega \geqslant 1$. Our main result is a generalized continued fraction for an expression involving the partial binomial sum $s_m(r) = \sum _{i=0}^r\binom{m}{i}$. We apply this to create new upper and lower bounds for $s_m(r)$ and thus for $g_{\omega,m}(r)=\omega ^{-r}s_m(r)$. We also bound an integer $r_0 \in \{0,\,1,\,\ldots,\,m\}$ such that $g_{\omega,m}(0)<\cdots < g_{\omega,m}(r_0-1)\leqslant g_{\omega,m}(r_0)$ and $g_{\omega,m}(r_0)>\cdots >g_{\omega,m}(m)$. For real $\omega \geqslant \sqrt 3$ we prove that $r_0\in \{\lfloor \frac {m+2}{\omega +1}\rfloor,\,\lfloor \frac {m+2}{\omega +1}\rfloor +1\}$, and also $r_0 =\lfloor \frac {m+2}{\omega +1}\rfloor$ for $\omega \in \{3,\,4,\,\ldots \}$ or $\omega =2$ and $3\nmid m$.

We exhibit a new approach to the proofs of the existence of a large family of almost isometric ideals in nonseparable Banach spaces and existence of a large family of almost isometric local retracts in metric spaces. Our approach also implies the existence of a large family of nontrivial projections on every dual of a nonseparable Banach space. We prove three possible formulations of our results are equivalent. Some applications are mentioned which witness the usefulness of our novel approach.

In this paper, we give necessary and sufficient conditions for the rigidity of the perimeter inequality under Schwarz symmetrization. The term rigidity refers to the situation in which the equality cases are only obtained by translations of the symmetric set. In particular, we prove that the sufficient conditions for rigidity provided in M. Barchiesi, F. Cagnetti and N. Fusco [Stability of the Steiner symmetrization of convex sets. J. Eur. Math. Soc. 15 (2013), 1245-1278.] are also necessary.