Savin [‘$\mathcal {C}^{1}$ regularity for infinity harmonic functions in two dimensions’, Arch. Ration. Mech. Anal. 3(176) (2005), 351–361] proved that every planar absolutely minimizing Lipschitz (AML) function is continuously differentiable whenever the ambient space is Euclidean. More recently, Peng et al. [‘Regularity of absolute minimizers for continuous convex Hamiltonians’, J. Differential Equations 274 (2021), 1115–1164] proved that this property remains true for planar AML functions for certain convex Hamiltonians, using some Euclidean techniques. Their result can be applied to AML functions defined in two-dimensional normed spaces with differentiable norm. In this work we develop a purely non-Euclidean technique to obtain the regularity of planar AML functions in two-dimensional normed spaces with differentiable norm.

Given $\beta \in (1,2]$, let $T_{\beta }$ be the $\beta $-transformation on the unit circle $[0,1)$ such that $T_{\beta }(x)=\beta x\pmod 1$. For each $t\in [0,1)$, let $K_{\beta }(t)$ be the survivor set consisting of all $x\in [0,1)$ whose orbit $\{T^{n}_{\beta }(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al [Ergod. Th. & Dynam. Sys. 40(9) (2020) 2482–2514] proved that the Hausdorff dimension function $t\mapsto \dim _{H} K_{\beta }(t)$ is a non-increasing Devil’s staircase. So there exists a critical value $\tau (\beta )$ such that $\dim _{H} K_{\beta }(t)>0$ if and only if $t<\tau (\beta )$. In this paper, we determine the critical value $\tau (\beta )$ for all $\beta \in (1,2]$, answering a question of Kalle et al (2020). For example, we find that for the Komornik–Loreti constant $\beta \approx 1.78723$, we have $\tau (\beta )=(2-\beta )/(\beta -1)$. Furthermore, we show that (i) the function $\tau : \beta \mapsto \tau (\beta )$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau $ has no downward jumps, with $\tau (1+)=0$ and $\tau (2)=1/2$; and (iii) there exists an open set $O\subset (1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau $ is real-analytic, convex, and strictly decreasing on each connected component of O. Consequently, the dimension $\dim _{H} K_{\beta }(t)$ is not jointly continuous in $\beta $ and t. Our strategy to find the critical value $\tau (\beta )$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.

The cusped hyperbolic n-orbifolds of minimal volume are well known for $n\leq 9$. Their fundamental groups are related to the Coxeter n-simplex groups $\Gamma _{n}$. In this work, we prove that $\Gamma _{n}$ has minimal growth rate among all non-cocompact Coxeter groups of finite covolume in $\textrm{Isom}\mathbb H^{n}$. In this way, we extend previous results of Floyd for $n=2$ and of Kellerhals for $n=3$, respectively. Our proof is a generalization of the methods developed together with Kellerhals for the cocompact case.

According to a 2002 theorem by Cardaliaguet and Tahraoui, an isotropic, compact and connected subset of the group $\textrm {GL}^{\!+}(2)$ of invertible $2\times 2$ - - matrices is rank-one convex if and only if it is polyconvex. In a 2005 Journal of Convex Analysis article by Alexander Mielke, it has been conjectured that the equivalence of rank-one convexity and polyconvexity holds for isotropic functions on $\textrm {GL}^{\!+}(2)$ as well, provided their sublevel sets satisfy the corresponding requirements. We negatively answer this conjecture by giving an explicit example of a function $W\colon \textrm {GL}^{\!+}(2)\to \mathbb {R}$ which is not polyconvex, but rank-one convex as well as isotropic with compact and connected sublevel sets.

The main result of the present article is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension $k\leq n$ in sub-Riemannian Heisenberg groups ${\mathbb H}^{n}$. For the purpose of proving such a result, we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: both of these results stem from a new definition (equivalent to the one introduced by B. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher’s theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated constancy theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin’s complex of differential forms, we also provide a convenient basis of Rumin’s spaces. Eventually, we provide some applications of Rademacher’s theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between ${\mathbb H}$-rectifiability and ‘Lipschitz’ ${\mathbb H}$-rectifiability and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.

We give a new approach to characterising and computing the set of global maximisers and minimisers of the functions in the Takagi class and, in particular, of the Takagi–Landsberg functions. The latter form a family of fractal functions $f_\alpha:[0,1]\to{\mathbb R}$ parameterised by $\alpha\in(-2,2)$. We show that $f_\alpha$ has a unique maximiser in $[0,1/2]$ if and only if there does not exist a Littlewood polynomial that has $\alpha$ as a certain type of root, called step root. Our general results lead to explicit and closed-form expressions for the maxima of the Takagi–Landsberg functions with $\alpha\in(-2,1/2]\cup(1,2)$. For $(1/2,1]$, we show that the step roots are dense in that interval. If $\alpha\in (1/2,1]$ is a step root, then the set of maximisers of $f_\alpha$ is an explicitly given perfect set with Hausdorff dimension $1/(n+1)$, where n is the degree of the minimal Littlewood polynomial that has $\alpha$ as its step root. In the same way, we determine explicitly the minima of all Takagi–Landsberg functions. As a corollary, we show that the closure of the set of all real roots of all Littlewood polynomials is equal to $[-2,-1/2]\cup[1/2,2]$.

In this paper, we establish an infinite series expansion of Leray–Trudinger inequality, which is closely related with Hardy inequality and Moser Trudinger inequality. Our result extends early results obtained by Mallick and Tintarev [A. Mallick and C. Tintarev. An improved Leray-Trudinger inequality. Commun. Contemp. Math. 20 (2018), 17501034. OP 21] to the case with many logs. It should be pointed out that our result is about series expansion of Hardy inequality under the case $p=n$, which case is not considered by Gkikas and Psaradakis in [K. T. Gkikas and G. Psaradakis. Optimal non-homogeneous improvements for the series expansion of Hardy's inequality. Commun. Contemp. Math. doi:10.1142/S0219199721500310]. However, we can't obtain the optimal form by our method.

In this paper, we concern with a backward problem for a nonlinear time fractional wave equation in a bounded domain. By applying the properties of Mittag-Leffler functions and the method of eigenvalue expansion, we establish some results about the existence and uniqueness of the mild solutions of the proposed problem based on the compact technique. Due to the ill-posedness of backward problem in the sense of Hadamard, a general filter regularization method is utilized to approximate the solution and further we prove the convergence rate for the regularized solutions.

We determine the distance (up to a multiplicative constant) in the Zygmund class $\Lambda _{\ast }(\mathbb {R}^n)$ to the subspace $\mathrm {J}_{}(\mathbf {bmo})(\mathbb {R}^n).$ The latter space is the image under the Bessel potential $J := (1-\Delta )^{{-1}/2}$ of the space $\mathbf {bmo}(\mathbb {R}^n)$, which is a nonhomogeneous version of the classical $\mathrm {BMO}$. Locally, $\mathrm {J}_{}(\mathbf {bmo})(\mathbb {R}^n)$ consists of functions that together with their first derivatives are in $\mathbf {bmo}(\mathbb {R}^n)$. More generally, we consider the same question when the Zygmund class is replaced by the Hölder space $\Lambda _{s}(\mathbb {R}^n),$ with $0 < s \leq 1$, and the corresponding subspace is $\mathrm {J}_{s}(\mathbf {bmo})(\mathbb {R}^n)$, the image under $(1-\Delta )^{{-s}/2}$ of $\mathbf {bmo}(\mathbb {R}^n).$ One should note here that $\Lambda _{1}(\mathbb {R}^n) = \Lambda _{\ast }(\mathbb {R}^n).$ Such results were known earlier only for $n = s = 1$ with a proof that does not extend to the general case.

Our results are expressed in terms of second differences. As a by-product of our wavelet-based proof, we also obtain the distance from $f \in \Lambda _{s}(\mathbb {R}^n)$ to $\mathrm {J}_{s}(\mathbf {bmo})(\mathbb {R}^n)$ in terms of the wavelet coefficients of $f.$ We additionally establish a third way to express this distance in terms of the size of the hyperbolic gradient of the harmonic extension of f on the upper half-space $\mathbb {R}^{n +1}_+$.

This paper solves the rational noncommutative analogue of Hilbert’s 17th problem: if a noncommutative rational function is positive semidefinite on all tuples of Hermitian matrices in its domain, then it is a sum of Hermitian squares of noncommutative rational functions. This result is a generalisation and culmination of earlier positivity certificates for noncommutative polynomials or rational functions without Hermitian singularities. More generally, a rational Positivstellensatz for free spectrahedra is given: a noncommutative rational function is positive semidefinite or undefined at every matricial solution of a linear matrix inequality $L\succeq 0$ if and only if it belongs to the rational quadratic module generated by L. The essential intermediate step toward this Positivstellensatz for functions with singularities is an extension theorem for invertible evaluations of linear matrix pencils.

In this study, we investigate the intial value problem (IVP) for a time-fractional fourth-order equation with nonlinear source terms. More specifically, we consider the time-fractional biharmonic with exponential nonlinearity and the time-fractional Cahn–Hilliard equation. By using the Fourier transform concept, the generalized formula for the mild solution as well as the smoothing effects of resolvent operators are proved. For the IVP associated with the first one, by using the Orlicz space with the function $\Xi (z)={\textrm {e}}^{|z|^{p}}-1$ and some embeddings between it and the usual Lebesgue spaces, we prove that the solution is a global-in-time solution or it shall blow up in a finite time if the initial value is regular. In the case of singular initial data, the local-in-time/global-in-time existence and uniqueness are derived. Also, the regularity of the mild solution is investigated. For the IVP associated with the second one, some modifications to the generalized formula are made to deal with the nonlinear term. We also establish some important estimates for the derivatives of resolvent operators, they are the basis for using the Picard sequence to prove the local-in-time existence of the solution.

Based on the Gale–Ryser theorem [2, 6], for the existence of suitable $(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.

In this paper we obtain some improved $L^p$-Hardy and $L^p$-Rellich inequalities on bounded domains of Riemannian manifolds. For Cartan–Hadamard manifolds we prove the inequalities with sharp constants and with weights being hyperbolic functions of the Riemannian distance.

Weight criteria for embedding of the weighted Sobolev–Lorentz spaces to the weighted Besov–Lorentz spaces built upon certain mixed norms and iterated rearrangement are investigated. This gives an improvement of some known Sobolev embedding. We achieve the result based on different norm inequalities for the weighted Besov–Lorentz spaces defined in some mixed norms.

We show that if $X$ is an $m$-dimensional definable set in $\mathbb {R}_\text {an}^\text{pow}$, the structure of real subanalytic sets with real power maps added, then for any positive integer $r$ there exists a $C^{r}$-parameterization of $X$ consisting of $cr^{m^{3}}$ maps for some constant $c$. Moreover, these maps are real analytic and this bound is uniform for a definable family.

We show that the sequence of moments of order less than 1 of averages of i.i.d. positive random variables is log-concave. For moments of order at least 1, we conjecture that the sequence is log-convex and show that this holds eventually for integer moments (after neglecting the first $p^2$ terms of the sequence).

The notion of the capacity of a polynomial was introduced by Gurvits around 2005, originally to give drastically simplified proofs of the van der Waerden lower bound for permanents of doubly stochastic matrices and Schrijver’s inequality for perfect matchings of regular bipartite graphs. Since this seminal work, the notion of capacity has been utilised to bound various combinatorial quantities and to give polynomial-time algorithms to approximate such quantities (e.g. the number of bases of a matroid). These types of results are often proven by giving bounds on how much a particular differential operator can change the capacity of a given polynomial. In this paper, we unify the theory surrounding such capacity-preserving operators by giving tight capacity preservation bounds for all nondegenerate real stability preservers. We then use this theory to give a new proof of a recent result of Csikvári, which settled Friedland’s lower matching conjecture.

We determine the asymptotic behavior of the eigenvalues of finite sections of the multiplicative Hilbert matrices.

Given n distinct points$\mathbf {x}_1, \ldots , \mathbf {x}_n$ in$\mathbb {R}^d$, let K denote their convex hull, which we assume to be d-dimensional, and$B = \partial K $ its$(d-1)$-dimensional boundary. We construct an explicit, easily computable one-parameter family of continuous maps$\mathbf {f}_{\varepsilon } \colon \mathbb {S}^{d-1} \to K$ which, for$\varepsilon> 0$, are defined on the$(d-1)$-dimensional sphere, and whose images$\mathbf {f}_{\varepsilon }({\mathbb {S}^{d-1}})$ are codimension$1$ submanifolds contained in the interior of K. Moreover, as the parameter$\varepsilon $ goes to$0^+$, the images$\mathbf {f}_{\varepsilon } ({\mathbb {S}^{d-1}})$ converge, as sets, to the boundary B of the convex hull. We prove this theorem using techniques from convex geometry of (spherical) polytopes and set-valued homology. We further establish an interesting relationship with the Gauss map of the polytope B, appropriately defined. Several computer plots illustrating these results are included.