We present a metric condition which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition are diagrammatically reducible in the sense of Sieradski and Gersten. In particular, we deduce that the standard presentation of an Artin group is aspherical if and only if it is diagrammatically reducible. We show that, under some extra hypotheses, -groups have quadratic Dehn functions and solvable conjugacy problem. In the spirit of Greendlinger's lemma, we prove that if a presentation P = 〈X| R〉 of group G satisfies conditions , the length of any nontrivial word in the free group generated by X representing the trivial element in G is at least that of the shortest relator. We also introduce a strict metric condition , which implies hyperbolicity.

We prove that perturbing the periodic annulus of the reversible quadratic polynomial differential system , with a ≠ 0 inside the class of all quadratic polynomial differential systems we can obtain at most two limit cycles, including their multiplicities. Since the first integral of the unperturbed system contains an exponential function, the traditional methods cannot be applied, except in Figuerasa, Tucker and Villadelprat (2013, J. Diff. Equ., 254, 3647–3663) a computer-assisted method was used. In this paper, we provide a method for studying the problem. This is also the first purely mathematical proof of the conjecture formulated by Dumortier and Roussarie (2009, Discrete Contin. Dyn. Syst., 2, 723–781) for q ⩽ 2. The method may be used in other problems.

We construct two planar homoeomorphisms f$f$ and g$g$ for which the origin is a globally asymptotically stable fixed point whereas for f \circ g$f \circ g$ and g \circ f$g \circ f$ the origin is a global repeller. Furthermore, the origin remains a global repeller for the iterated function system generated by f$f$ and g$g$ where each of the maps appears with a certain probability. This planar construction is also extended to any dimension >$>$2 and proves for first time the appearance of the dynamical Parrondo's paradox in odd dimensions.

In this work, we consider oriented compact manifolds which possess convex mean curvature boundary, positive scalar curvature and admit a map to \mathbb {D}^{2}\times T^{n}$\mathbb {D}^{2}\times T^{n}$ with non-zero degree, where \mathbb {D}^{2}$\mathbb {D}^{2}$ is a disc and T^{n}$T^{n}$ is an n$n$-dimensional torus. We prove the validity of an inequality involving a mean of the area and the length of the boundary of immersed discs whose boundaries are homotopically non-trivial curves. We also prove a rigidity result for the equality case when the boundary is strongly totally geodesic. This can be viewed as a partial generalization of a result due to Lucas Ambrózio in (2015, J. Geom. Anal., 25, 1001–1017) to higher dimensions.

In this study, we continue our study of the Cauchy problem associated with the Brinkman equations [see (1.1) and (1.2) below] which model fluid flow in certain types of porous media. Here, we will consider the flow in the upper half-space

\mathbb{R}_{+}^{3}=\left\{\left(x,y,z\right) \in\mathbb{R}^{3}\left\vert z\geqslant 0\right.\right\}, $$\mathbb{R}_{+}^{3}=\left\{\left(x,y,z\right) \in\mathbb{R}^{3}\left\vert z\geqslant 0\right.\right\},$$

z=0$z=0$

We consider nonlocal equations of the general form

For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated with a triangle functor from the category on the right to the category on the left. For a morphic enhancement of a triangulated category , there are three explicit ideals of the enhancing category, whose corresponding factor categories are all equivalent to the module category over . Examples related to inflation categories and weighted projective lines are discussed.

We consider the fractional elliptic problem: where B1 is the unit ball in ℝN, N ⩾ 3, s ∈ (0, 1) and p > (N + 2s)/(N − 2s). We prove that this problem has infinitely many solutions with slow decay O(|x|−2s/(p−1)) at infinity. In addition, for each s ∈ (0, 1) there exists Ps > (N + 2s)/(N − 2s), for any (N + 2s)/(N − 2s) < p < Ps, the above problem has a solution with fast decay O(|x|2s−N). This result is the extension of the work by Dávila, del Pino, Musso and Wei (2008, Calc. Var. Partial Differ. Equ. 32, no. 4, 453–480) to the fractional case.

In this paper, we investigate the existence and nonexistence of results for a class of Hamiltonian-Choquard-type elliptic systems. We show the nonexistence of classical nontrivial solutions for the problem

\begin{cases} -\Delta u + u= ( I_{\alpha} \ast |v|^{p} )v^{p-1} \text{ in } \mathbb{R}^{N},\\ -\Delta v + v= ( I_{\beta} \ast |u|^{q} )u^{q-1} \text{ in } \mathbb{R}^{N}, \\ u(x),v(x) \rightarrow 0 \text{ when } |x|\rightarrow \infty, \end{cases} $$\begin{cases} -\Delta u + u= ( I_{\alpha} \ast |v|^{p} )v^{p-1} \text{ in } \mathbb{R}^{N},\\ -\Delta v + v= ( I_{\beta} \ast |u|^{q} )u^{q-1} \text{ in } \mathbb{R}^{N}, \\ u(x),v(x) \rightarrow 0 \text{ when } |x|\rightarrow \infty, \end{cases}$$

(N+\alpha )/p + (N+\beta )/q \leq 2(N-2)$(N+\alpha )/p + (N+\beta )/q \leq 2(N-2)$

N\geq 3$N\geq 3$

(N+\alpha )/p + (N+\beta )/q \geq 2N$(N+\alpha )/p + (N+\beta )/q \geq 2N$

N=2$N=2$

I_{\alpha }$I_{\alpha }$

I_{\beta }$I_{\beta }$

\begin{cases} -\Delta u + u= (I_{\alpha} \ast |v|^{\frac{\alpha}{2}+1})|v|^{\frac{\alpha}{2}-1}v + g(v) \hbox{ in } \mathbb{R}^{2},\\ - \Delta v + v= (I_{\beta} \ast |u|^{\frac{\beta}{2}+1})|u|^{\frac{\beta}{2}-1}u + f(u), \hbox{ in } \mathbb{R}^{2},\\ u,v \in H^{1}(\mathbb{R}^{2}), \end{cases} $$\begin{cases} -\Delta u + u= (I_{\alpha} \ast |v|^{\frac{\alpha}{2}+1})|v|^{\frac{\alpha}{2}-1}v + g(v) \hbox{ in } \mathbb{R}^{2},\\ - \Delta v + v= (I_{\beta} \ast |u|^{\frac{\beta}{2}+1})|u|^{\frac{\beta}{2}-1}u + f(u), \hbox{ in } \mathbb{R}^{2},\\ u,v \in H^{1}(\mathbb{R}^{2}), \end{cases}$$

\alpha ,\,\beta \in (0,\,2)$\alpha ,\,\beta \in (0,\,2)$

f,\,g$f,\,g$

This paper is concerned with the existence of solutions for a class of elliptic equations on the unit ball with zero Dirichlet boundary condition. The nonlinearity is supercritical in the sense of Trudinger–Moser. Using a suitable approximating scheme we obtain the existence of at least one positive solution.

This paper is concerned with the global regularity problem on the micropolar Rayleigh-Bénard problem with only velocity dissipation in \mathbb {R}^{d}$\mathbb {R}^{d}$ with d=2\ or\ 3$d=2\ or\ 3$. By fully exploiting the special structure of the system, introducing two combined quantities and using the technique of Littlewood-Paley decomposition, we establish the global regularity of solutions to this system in \mathbb {R}^{2}$\mathbb {R}^{2}$. Moreover, we obtain the global regularity for fractional hyperviscosity case in \mathbb {R}^{3}$\mathbb {R}^{3}$ by employing various techniques including energy methods, the regularization of generalized heat operators on the Fourier frequency localized functions and logarithmic Sobolev interpolation inequalities.

We consider a system of reaction–diffusion equations including chemotaxis terms and coming out of the modelling of multiple sclerosis. The global existence of strong solutions to this system in any dimension is proved, and it is also shown that the solution is bounded uniformly in time. Finally, a nonlinear stability result is obtained when the chemotaxis term is not too big. We also perform numerical simulations to show the appearance of Turing patterns when the chemotaxis term is large.

In this paper, we study the existence and concentration behaviour of multi-peak standing waves for a singularly perturbed Davey–Stewartson system, which arises in the theory of shallow water waves. For this purpose, we first give a sharp threshold of the existence of ground-state solutions to the related limiting problem. Next, combining the penalization method and the regularity theory of elliptic equations, we construct a family of positive solutions concentrating around any prescribed finite set of local minima, possibly degenerate, of the potential. A feature of this analysis is that we do not need any uniqueness or non-degeneracy conditions for the limiting equation. To the best of our knowledge, this paper is the first study dealing with the study of concentrating solutions for Davey–Stewartson systems. We emphasize that with respect to the classical Schrödinger equation, the presence of a singular integral operator in the Davey–Stewartson system forces the implementation of new ideas to obtain the existence of multi-peak solutions.

We prove a new upper bound on the second moment of Maass form symmetric square L-functions defined over Gaussian integers. Combining this estimate with the recent result of Balog–Biro–Cherubini–Laaksonen, we improve the error term in the prime geodesic theorem for the Picard manifold.

We study a new family of sign-changing solutions to the stationary nonlinear Schrödinger equation

-\Delta v +q v =|v|^{p-2} v, \qquad \text{in}\,{ {\mathbb{R}^{3}},} $$-\Delta v +q v =|v|^{p-2} v, \qquad \text{in}\,{ {\mathbb{R}^{3}},}$$

2 < p < \infty$2 < p < \infty$

q \ge 0$q \ge 0$

By means of a counter-example, we show that the Reilly theorem for the upper bound of the first non-trivial eigenvalue of the Laplace operator of a compact submanifold of Euclidean space (Reilly, 1977, Comment. Mat. Helvetici, 52, 525–533) does not work for a (codimension ⩾2) compact spacelike submanifold of Lorentz–Minkowski spacetime. In the search of an alternative result, it should be noted that the original technique in (Reilly, 1977, Comment. Mat. Helvetici, 52, 525–533) is not applicable for a compact spacelike submanifold of Lorentz–Minkowski spacetime. In this paper, a new technique, based on an integral formula on a compact spacelike section of the light cone in Lorentz–Minkowski spacetime is developed. The technique is genuine in our setting, that is, it cannot be extended to another semi-Euclidean spaces of higher index. As a consequence, a family of upper bounds for the first eigenvalue of the Laplace operator of a compact spacelike submanifold of Lorentz–Minkowski spacetime is obtained. The equality for one of these inequalities is geometrically characterized. Indeed, the eigenvalue achieves one of these upper bounds if and only if the compact spacelike submanifold lies minimally in a hypersphere of certain spacelike hyperplane. On the way, the Reilly original result is reproved if a compact submanifold of a Euclidean space is naturally seen as a compact spacelike submanifold of Lorentz–Minkowski spacetime through a spacelike hyperplane.

Based on the Gale–Ryser theorem [2, 6], for the existence of suitable (0,1)$(0,1)$-matrices for different partitions of a natural number, we revisit the classical result of Lorentz [4] regarding the characterization of a plane measurable set, in terms of its cross-sections, and extend it to general measure spaces.

We present self-contained proofs of the stability of the constants in the volume doubling property and the Poincaré and Sobolev inequalities for Riemannian approximations in Carnot groups. We use an explicit Riemannian approximation based on the Lie algebra structure that is suited for studying nonlinear subelliptic partial differential equations. Our approach is independent of the results obtained in [11].

Let X be a 4-dimensional toric orbifold. If H^{3}(X)$H^{3}(X)$ has a non-trivial odd primary torsion, then we show that X is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.

In this paper, by the moving spheres method, Caffarelli-Silvestre extension formula and blow-up analysis, we study the local behaviour of nonnegative solutions to fractional elliptic equations

\begin{align*} (-\Delta)^{\alpha} u =f(u),~~ x\in \Omega\backslash \Gamma, \end{align*} $$\begin{align*} (-\Delta)^{\alpha} u =f(u),~~ x\in \Omega\backslash \Gamma, \end{align*}$$

0<\alpha <1$0<\alpha <1$

\Omega = \mathbb {R}^{N}$\Omega = \mathbb {R}^{N}$

\Omega$\Omega$

\Gamma$\Gamma$

\Omega$\Omega$

f(t)$f(t)$

t\in [0,\,\infty )$t\in [0,\,\infty )$

f(t)/t^{({N+2\alpha })/({N-2\alpha })}$f(t)/t^{({N+2\alpha })/({N-2\alpha })}$

t$t$

t$t$

t>0$t>0$

\begin{align*} f(u(x))/ u(x)\leq C d(x,\Gamma)^{{-}2\alpha}. \end{align*} $$\begin{align*} f(u(x))/ u(x)\leq C d(x,\Gamma)^{{-}2\alpha}. \end{align*}$$

\Gamma =\{0\}$\Gamma =\{0\}$