In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category ℬ, a functorially finite, extension closed subcategory 𝒯 of ℬ is cluster tilting if and only if ℬ /𝒯 is an abelian category.

This paper deals with the analysis of the singularities arising from the solutions of the problem ${-}\,{\rm Curl\ } F=\mu $, where F is a 3 × 3 matrix-valued Lp-function ($1\les p<2$) and μ a 3 × 3 matrix-valued Radon measure concentrated in a closed loop in Ω ⊂ ℝ3, or in a network of such loops (as, for instance, dislocation clusters as observed in single crystals). In particular, we study the topological nature of such dislocation singularities. It is shown that $F=\nabla u$, the absolutely continuous part of the distributional gradient Du of a vector-valued function u of special bounded variation. Furthermore, u can also be seen as a multi-valued field, that is, can be redefined with values in the three-dimensional flat torus 𝕋3 and hence is Sobolev-regular away from the singular loops. We then analyse the graphs of such maps represented as currents in Ω × 𝕋3 and show that their boundaries can be written in term of the measure μ. Readapting some well-known results for Cartesian currents, we recover closure and compactness properties of the class of maps with bounded curl concentrated on dislocation networks. In the spirit of previous work, we finally give some examples of variational problems where such results provide existence of solutions.

Fixing a positive integer r and $0 \les k \les r-1$, define $f^{\langle r,k \rangle }$ for every formal power series f as $ f(x) = f^{\langle r,0 \rangle }(x^r)+xf^{\langle r,1 \rangle }(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle }(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := ( (1+x+\cdots +x^{r-1})^{n} h(x) )^{\langle r,k \rangle }$ has only non-positive zeros for any $r \ges \deg h(x) -k$ and any positive integer n. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension n, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ges n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $( h^{\langle r,r-i \rangle }(x))_{1\les i \les r}$ is interlacing, so is $( U^{n}_{r,r-i}\, h(x) )_{1\les i \les r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for coloured permutations. Besides, we derive a Carlitz identity for refined coloured permutations.

The aim of this paper is to characterize the non-negative functions φ defined on (0,∞) for which the Hausdorff operator

$${\rm {\cal H}}_\varphi f(z) = \int_0^\infty f \left( {\displaystyle{z \over t}} \right)\displaystyle{{\varphi (t)} \over t}{\rm d}t$$

${\rm {\cal H}}_a^p ({\open C}_ + )$

$p\in [1,\infty ]$

Let q be a positive integer and let (an) and (bn) be two given ℂ-valued and q-periodic sequences. First we prove that the linear recurrence in ℂ 0.1

$$x_{n + 2} = a_nx_{n + 1} + b_nx_n,\quad n\in {\open Z}_+ $$

0.2

$$A_n = \left( {\matrix{ 0 & 1 \cr {b_n} & {a_n} \cr } } \right)\quad n\in {\open Z}_+ .$$

0.3

$${x}^{\prime \prime}(t) = a(t){x}^{\prime}(t) + b(t)x(t),\quad t\in {\open R},$$

0.4

$${X}^{\prime}(t) = A(t)X(t),\quad t\in {\open R},\quad X(0) = I_2,$$

0.5

$$A(t) = \left( {\matrix{ 0 & 1 \cr {b(t)} & {a(t)} \cr } } \right),\quad t\in {\open R}.$$

For a smooth manifold N denote by Em(N) the set of smooth isotopy classes of smooth embeddings N → ℝm. A description of the set Em(Sp × Sq) was known only for p = q = 0 or for p = 0, m ≠ q + 2 or for 2m ⩾ 2(p + q) + max{p, q} + 4. (The description was given in terms of homotopy groups of spheres and of Stiefel manifolds.) For m ⩾ 2p + q + 3 we introduce an abelian group structure on Em(Sp × Sq) and describe this group ‘up to an extension problem’. This result has corollaries which, under stronger dimension restrictions, more explicitly describe Em(Sp × Sq). The proof is based on relations between sets Em(N) for different N and m, in particular, on a recent exact sequence of M. Skopenkov.

For a family of elliptic operators with periodically oscillating coefficients, $-{\rm div}(A(\cdot /\varepsilon )\nabla )$ with tiny ε > 0, we comprehensively study the first-order expansions of eigenvalues and eigenfunctions (eigenspaces) for both the Dirichlet and Neumann problems in bounded, smooth and strictly convex domains (or more general domains of finite type). A new first-order correction term is introduced to derive the expansion of eigenfunctions in L2 or $H^1_{\rm loc}$. Our results rely on the recent progress on the homogenization of boundary layer problems.

Let n, $N \in {\open N}$ with $\Omega \subseteq {\open R}^n$ open. Given ${\rm H} \in C^2(\Omega \times {\open R}^N \times {\open R}^{Nn})$, we consider the functional 1

$${\rm E}_\infty (u,{\rm {\cal O}})\, : = \, \mathop {{\rm ess}\,\sup}\limits_{\rm {\cal O}} {\rm H}(\cdot, u,{\rm D}u),\quad u\in W_{{\rm loc}}^{1,\infty} (\Omega, {\open R}^N),\quad {\rm {\cal O}}{\Subset}\Omega.$$

$L^\infty $

2

$$\left\{\matrix{{\rm H}_{P}(\cdot, u, {\rm D}u)\, {\rm D}\left({\rm H}(\cdot, u, {\rm D} u)\right) = \, 0, \hfill \cr {\rm H}(\cdot, u, {\rm D} u) \, [\![{\rm H}_{P}(\cdot, u, {\rm D} u)]\!]^\bot \left({\rm Div}\left({\rm H}_{P}(\cdot, u, {\rm D} u)\right)- {\rm H}_{\eta}(\cdot, u, {\rm D} u)\right) = 0,\hfill}\right.$$

$[\![A]\!]^\bot := {\rm Proj}_{R(A)^\bot }$

${\cal D}$

Let ρ be a monotone quasinorm defined on ${\rm {\frak M}}^ + $, the set of all non-negative measurable functions on [0, ∞). Let T be a monotone quasilinear operator on ${\rm {\frak M}}^ + $. We show that the following inequality restricted on the cone of λ-quasiconcave functions

$$\rho (Tf) \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

$1\les p\les \infty $

$$\left( {\int_0^\infty {{\left( {\int_0^x f u} \right)}^q} w(x){\rm d}x} \right)^{1/q} \les C_1\left( {\int_0^\infty {f^p} v} \right)^{1/p},$$

We consider the equation Δu = Vu in the half-space ${\open R}_ + ^d $, d ⩾ 2 where V has certain periodicity properties. In particular, we show that such equations cannot have non-trivial superexponentially decaying solutions. As an application this leads to a new proof for the absolute continuity of the spectrum of particular periodic Schrödinger operators. The equation Δu = Vu is studied as part of a broader class of elliptic evolution equations.

The Navier-Stokes equations for viscous, incompressible fluids are studied in the three-dimensional periodic domains, with the body force having an asymptotic expansion, when time goes to infinity, in terms of power-decaying functions in a Sobolev-Gevrey space. Any Leray-Hopf weak solution is proved to have an asymptotic expansion of the same type in the same space, which is uniquely determined by the force, and independent of the individual solutions. In case the expansion is convergent, we show that the next asymptotic approximation for the solution must be an exponential decay. Furthermore, the convergence of the expansion and the range of its coefficients, as the force varies are investigated.

The present paper concerns the system ut + [ϕ(u)]x = 0, vt + [ψ(u)v]x = 0 having distributions as initial conditions. Under certain conditions, and supposing ϕ, ψ: ℝ → ℝ functions, we explicitly solve this Cauchy problem within a convenient space of distributions u,v. For this purpose, a consistent extension of the classical solution concept defined in the setting of a distributional product (not constructed by approximation processes) is used. Shock waves, δ-shock waves, and also waves defined by distributions that are not measures are presented explicitly as examples. This study is carried out without assuming classical results about conservation laws. For reader's convenience, a brief survey of the distributional product is also included.

We study an initial-boundary value problem of the three-dimensional Navier-Stokes equations in the exterior of a cylinder $\Pi =\{x=(x_{h}, x_3)\ \vert \vert x_{h} \vert \gt 1\}$, subject to the slip boundary condition. We construct unique global solutions for axisymmetric initial data $u_0\in L^{3}\cap L^{2}(\Pi )$ satisfying the decay condition of the swirl component $ru^{\theta }_{0}\in L^{\infty }(\Pi )$.

In this paper we study constrained variational problems that are principally motivated by nonlinear elasticity theory. We examine, in particular, the relationship between the positivity of the Jacobian det ∇u and the uniqueness and regularity of energy minimizers u that are either twist maps or shear maps. We exhibit explicit twist maps, defined on two-dimensional annuli, that are stationary points of an appropriate energy functional and whose Jacobian vanishes on a set of positive measure in the annulus. Within the class of shear maps we precisely characterize the unique global energy minimizer $u_{\sigma }: \Omega \to {\open R}^2$ in a model, two-dimensional case. We exploit the Jacobian constraint $\det \nabla u_{\sigma} \gt 0$ a.e. to obtain regularity results that apply ‘up to the boundary’ of domains with corners. It is shown that the unique shear map minimizer has the properties that (i) $\det \nabla u_{\sigma }$ is strictly positive on one part of the domain Ω, (ii) $\det \nabla u_{\sigma } = 0$ necessarily holds on the rest of Ω, and (iii) properties (i) and (ii) combine to ensure that $\nabla u_{\sigma }$ is not continuous on the whole domain.

Using pointwise semigroup techniques, we establish sharp rates of decay in space and time of a perturbed reaction diffusion front to its time-asymptotic limit. This recovers results of Sattinger, Henry and others of time-exponential convergence in weighted Lp and Sobolev norms, while capturing the new feature of spatial diffusion at Gaussian rate. Novel features of the argument are a pointwise Green function decomposition reconciling spectral decomposition and short-time Nash-Aronson estimates and an instantaneous tracking scheme similar to that used in the study of stability of viscous shock waves.

Smooth solutions of the incompressible Euler equations are characterized by the property that circulation around material loops is conserved. This is the Kelvin theorem. Likewise, smooth solutions of Navier–Stokes are characterized by a generalized Kelvin's theorem, introduced by Constantin–Iyer (2008). In this note, we introduce a class of stochastic fluid equations, whose smooth solutions are characterized by natural extensions of the Kelvin theorems of their deterministic counterparts, which hold along certain noisy flows. These equations are called the stochastic Euler–Poincaré and stochastic Navier–Stokes–Poincaré equations respectively. The stochastic Euler–Poincaré equations were previously derived from a stochastic variational principle by Holm (2015), which we briefly review. Solutions of these equations do not obey pathwise energy conservation/dissipation in general. In contrast, we also discuss a class of stochastic fluid models, solutions of which possess energy theorems but do not, in general, preserve circulation theorems.

By combining classical techniques together with two novel asymptotic identities derived in recent work by Lenells and one of the authors, we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of Re{u} and Re{v} and for a variety of sets of summation, as well as particular cases of Mordell-Tornheim double sums.

We prove some congruences on sums involving fourth powers of central q-binomial coefficients. As a conclusion, we confirm the following supercongruence observed by Long [Pacific J. Math. 249 (2011), 405–418]:

$$\sum\limits_{k = 0}^{((p^r-1)/(2))} {\displaystyle{{4k + 1} \over {{256}^k}}} \left( \matrix{2k \cr k} \right)^4\equiv p^r\quad \left( {\bmod p^{r + 3}} \right),$$

We use a coarse version of the fundamental group first introduced by Barcelo, Kramer, Laubenbacher and Weaver to show that box spaces of finitely presented groups detect the normal subgroups used to construct the box space, up to isomorphism. As a consequence, we have that two finitely presented groups admit coarsely equivalent box spaces if and only if they are commensurable via normal subgroups. We also provide an example of two filtrations (Ni) and (Mi) of a free group F such that Mi > Ni for all i with [Mi:Ni] uniformly bounded, but with $\squ _{(N_i)}F$ not coarsely equivalent to $\squ _{(M_i)}F$. Finally, we give some applications of the main theorem for rank gradient and the first ℓ2 Betti number, and show that the main theorem can be used to construct infinitely many coarse equivalence classes of box spaces with various properties.

We prove optimal improvements of the Hardy inequality on the hyperbolic space. Here, optimal means that the resulting operator is critical in the sense of Devyver, Fraas, and Pinchover (2014), namely the associated inequality cannot be further improved. Such inequalities arise from more general, optimal ones valid for the operator $ P_{\lambda }:= -\Delta _{{\open H}^{N}} - \lambda $ where 0 ⩽ λ ⩽ λ1(ℍN) and λ1(ℍN) is the bottom of the L2 spectrum of $-\Delta _{{\open H}^{N}} $, a problem that had been studied in Berchio, Ganguly, and Grillo (2017) only for the operator $P_{\lambda _{1}({\open H}^{N})}$. A different, critical and new inequality on ℍN, locally of Hardy type is also shown. Such results have in fact greater generality since they are proved on general Cartan-Hadamard manifolds under curvature assumptions, possibly depending on the point. Existence/nonexistence of extremals for the related Hardy-Poincaré inequalities are also proved using concentration-compactness technique and a Liouville comparison theorem. As applications of our inequalities, we obtain an improved Rellich inequality and we derive a quantitative version of Heisenberg-Pauli-Weyl uncertainty principle for the operator $P_\lambda.$