The aim of this paper is to find a broad family of means defined on a subinterval of $I\subset [0,+\infty )$ such that

$$\begin{eqnarray}\mathop{\sum }_{n=1}^{\infty }\mathscr{M}(a_{1},\ldots ,a_{n})<+\infty \quad \text{for all }a\in \ell _{1}(I).\end{eqnarray}$$

$(a_{1},\,a_{2},a_{3}\,,\ldots )\mapsto (a_{1},\,\mathscr{M}(a_{1},a_{2}),\,\mathscr{M}(a_{1},a_{2},a_{3}),\ldots )$

$\ell _{1}(I)$

$f^{-1}(\sum f(a_{i})/n)$

$f:I\rightarrow \mathbb{R}$

$n\in \mathbb{N}$

$a\in I^{n}$

We establish the general form of a geometric comparison principle for n-fold convolutions of certain singular measures in ℝd which holds for arbitrary n and d. This translates into a pointwise inequality between the convolutions of projection measure on the paraboloid and a perturbation thereof, and we use it to establish a new sharp Fourier extension inequality on a general convex perturbation of a parabola. Further applications of the comparison principle to sharp Fourier restriction theory are discussed in the companion paper [3].

In this note, we provide an explicit formula for computing the quasiconvex envelope of any real-valued function W; SL(2) → ℝ with W(RF) = W(FR) = W(F) for all F ∈ SL(2) and all R ∈ SO(2), where SL(2) and SO(2) denote the special linear group and the special orthogonal group, respectively. In order to obtain our result, we combine earlier work by Dacorogna and Koshigoe on the relaxation of certain conformal planar energy functions with a recent result on the equivalence between polyconvexity and rank-one convexity for objective and isotropic energies in planar incompressible nonlinear elasticity.

We present the second-order necessary and sufficient conditions for quasiconvex and pseudoconvex functions in terms of their second-order regular subdifferentials.

For $\unicode[STIX]{x1D6FD}\in (1,2]$ the $\unicode[STIX]{x1D6FD}$-transformation $T_{\unicode[STIX]{x1D6FD}}:[0,1)\rightarrow [0,1)$ is defined by $T_{\unicode[STIX]{x1D6FD}}(x)=\unicode[STIX]{x1D6FD}x\hspace{0.6em}({\rm mod}\hspace{0.2em}1)$. For $t\in [0,1)$ let $K_{\unicode[STIX]{x1D6FD}}(t)$ be the survivor set of $T_{\unicode[STIX]{x1D6FD}}$ with hole $(0,t)$ given by

$$\begin{eqnarray}K_{\unicode[STIX]{x1D6FD}}(t):=\{x\in [0,1):T_{\unicode[STIX]{x1D6FD}}^{n}(x)\not \in (0,t)\text{ for all }n\geq 0\}.\end{eqnarray}$$

$E_{\unicode[STIX]{x1D6FD}}$

$t\in [0,1)$

$t\mapsto K_{\unicode[STIX]{x1D6FD}}(t)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$E_{\unicode[STIX]{x1D6FD}}$

$E_{2}$

$\unicode[STIX]{x1D6FD}\in (1,2)$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$K_{\unicode[STIX]{x1D6FD}}(t)$

$t<\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}$

$\unicode[STIX]{x1D70F}_{\unicode[STIX]{x1D6FD}}\leq 1-(1/\unicode[STIX]{x1D6FD})$

$\unicode[STIX]{x1D6FD}\in (1,2)$

By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb{R}^{d}$ is smooth (${\mathcal{C}}^{\infty }$) if and only if it is arc-smooth, that is, $f\,\circ \,c$ is smooth for every smooth curve $c:\mathbb{R}\rightarrow U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an analogue of Boman’s theorem on fat closed sets with Hölder boundary and on fat closed subanalytic sets with the property that every boundary point has a basis of neighborhoods each of which intersects the interior in a connected set. If $X\subseteq \mathbb{R}^{d}$ is any such set and $f:X\rightarrow \mathbb{R}$ is arc-smooth, then $f$ extends to a smooth function defined on $\mathbb{R}^{d}$. We also get a version of the Bochnak–Siciak theorem on all closed fat subanalytic sets and all closed sets with Hölder boundary: if $f:X\rightarrow \mathbb{R}$ is the restriction of a smooth function on $\mathbb{R}^{d}$ which is real analytic along all real analytic curves in $X$, then $f$ extends to a holomorphic function on a neighborhood of $X$ in $\mathbb{C}^{d}$. Similar results hold for non-quasianalytic Denjoy–Carleman classes (of Roumieu type). We will also discuss sharpness and applications of these results.

In this paper, we prove some reverse discrete inequalities with weights of Muckenhoupt and Gehring types and use them to prove some higher summability theorems on a higher weighted space $l_{w}^{p}({\open N})$ form summability on the weighted space $l_{w}^{q}({\open N})$ when p>q. The proofs are obtained by employing new discrete weighted Hardy's type inequalities and their converses for non-increasing sequences, which, for completeness, we prove in our special setting. To the best of the authors' knowledge, these higher summability results have not been considered before. Some numerical results will be given for illustration.

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.$

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.

We analyse local aspects of chaos for nonautonomous periodic dynamical systems in the context of generating autonomous dynamical systems and the possibility of disturbing them.

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},$$

The classical notions of monotonicity and convexity can be characterized via the nonnegativity of the first and the second derivative, respectively. These notions can be extended applying Chebyshev systems. The aim of this note is to characterize generalized monotonicity in terms of differential inequalities, yielding analogous results to the classical derivative tests. Applications in the fields of convexity and differential inequalities are also discussed.

We prove that if p > 1, $w\in A_p^ +$, b ∈ CMO and $C_b^ + $ is the commutator with symbol b of a Calderón–Zygmund convolution singular integral with kernel supported on (−∞, 0), then $C_b^ + $ is compact from Lp(w) into itself.

We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^{\ast }$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^{\ast }$-polynomial is $\unicode[STIX]{x1D6FE}$-positive and real-rooted. This proves Gal’s conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthening due to Nevo and Petersen [On $\unicode[STIX]{x1D6FE}$-vectors satisfying the Kruskal–Katona inequalities. Discrete Comput. Geom.45(3) (2011), 503–521].

Let Q be the open unit square in ℝ2. We prove that in a natural complete metric space of BV homeomorphisms f : Q → Q with f|∂Q = Id, residually many homeomorphisms (in the sense of Baire categories) map a null set onto a set of full measure, and vice versa. Moreover, we observe that for 1 ⩽ p < 2, the family of W1,p homemomorphisms satisfying the above property is of the first category.

In this paper, we study under what boundary conditions the inequality

$${\rm \Vert }\nabla \omega {\rm \Vert }_{L^2(\Omega )}^2 \les C({\rm \Vert }{\rm curl}\omega {\rm \Vert }_{L^2(\Omega )}^2 + {\rm \Vert }{\rm div}\omega {\rm \Vert }_{L^2(\Omega )}^2 + {\rm \Vert }\omega {\rm \Vert }_{L^2(\Omega )}^2 )$$

In this paper, we will use optimal mass transport combining with suitable transforms to study the sharp constants and optimizers for a class of the Gagliardo–Nirenberg and Caffarelli–Kohn–Nirenberg inequalities. Moreover, we will investigate these inequalities with and without the monomial weights $x_{1}^{A_{1}} \cdots x_{N}^{A_{N}}$ on ℝN.

Let Sn,n≥1, be the successive sums of the payoffs in the classical St. Petersburg game. The celebrated Feller weak law states that Sn∕(nlog2n)→ℙ1 as n→∞. In this paper we review some earlier results of ours and extend some of them as we consider an asymmetric St. Petersburg game, in which the distribution of the payoff X is given by ℙ(X=srk-1)=pqk-1,k=1,2,…, where p+q=1 and s,r>0. Two main results are extensions of the Feller weak law and the convergence in distribution theorem of Martin-Löf (1985). Moreover, it is well known that almost-sure convergence fails, though Csörgő and Simons (1996) showed that almost-sure convergence holds for trimmed sums and also for sums trimmed by an arbitrary fixed number of maxima. In view of the discreteness of the distribution we focus on `max-trimmed sums', that is, on the sums trimmed by the random number of observations that are equal to the largest one, and prove limit theorems for simply trimmed sums, for max-trimmed sums, as well as for the `total maximum'. Analogues with respect to the random number of summands equal to the minimum are also obtained and, finally, for joint trimming.

In this paper we analyze the first-order behavior (that is, the right-sided derivative) of the volume of the dilation A⊕tQ as t converges to 0. Here A and Q are subsets of n-dimensional Euclidean space, A has finite perimeter, and Q is finite. If Q consists of two points only, n and n+u, say, this derivative coincides up to a sign with the directional derivative of the covariogram of A in direction u. By known results for the covariogram, this derivative can therefore be expressed by the cosine transform of the surface area measure of A. We extend this result to finite sets Q and use it to determine the derivative of the contact distribution function with finite structuring element of a stationary random set at 0. The proofs are based on an approximation of the indicator function of A by smooth functions of bounded variation.

When two trains travel along the same track in the same direction, it is a common safety requirement that the trains must be separated by at least two signals. This means that there will always be at least one clear section of track between the two trains. If the safe-separation condition is violated, then the driver of the following train must adopt a revised strategy that will enable the train to stop at the next signal if necessary. One simple way to ensure safe separation is to define a prescribed set of latest allowed section exit times for the leading train and a corresponding prescribed set of earliest allowed section entry times for the following train. We will find strategies that minimize the total tractive energy required for both trains to complete their respective journeys within the overall allowed journey times and subject to the additional prescribed section clearance times. We assume that the drivers use a discrete control mechanism and show that the optimal driving strategy for each train is defined by a sequence of approximate speedholding phases at a uniquely defined optimal driving speed on each section and that the sequence of optimal driving speeds is a decreasing sequence for the leading train and an increasing sequence for the following train. We illustrate our results by finding optimal strategies and associated speed profiles for both trains in some elementary but realistic examples.