We consider the nonlocal differential equation

\begin{equation*}-A\left(\int_0^1b(1-s)\big(u(s)\big)^{p(s)}\ ds\right)u''(t)=\lambda f\big(t,u(t)\big)\text{, }t\in(0,1),\end{equation*}

which is a one-dimensional Kirchhoff-like equation with a nonlocal convolution coefficient. The novelty of our work involves allowing a variable growth term in the nonlocal coefficient. By relating the variable growth problem to a constant growth problem, we are able to deduce the existence of at least one positive solution to the differential equation when equipped with boundary data. Our methodology relies on topological fixed point theory. Because our results treat both the convex and concave regimes, together with both the variable growth and constant growth regimes, our results provide a unified framework for one-dimensional Kirchhoff-type problems.

The sharpness of various Hardy-type inequalities is well-understood in the reversible Finsler setting; while infinite reversibility implies the failure of these functional inequalities, cf. Kristály et al. [Trans. Am. Math. Soc., 2020]. However, in the remaining case of irreversible manifolds with finite reversibility, there is no evidence on the sharpness of Hardy-type inequalities. In fact, we are not aware of any particular examples where the sharpness persists. In this paper, we present two such examples involving two celebrated inequalities: the classical/weighted Hardy inequality (assuming non-positive flag curvature) and the McKean-type spectral gap estimate (assuming strong negative flag curvature). In both cases, we provide a family of Finsler metric measure manifolds on which these inequalities are sharp. We also establish some sufficient conditions, which guarantee the sharpness of more involved Hardy-type inequalities on these spaces. Our relevant technical tool is a Finslerian extension of the method of Riccati pairs (for proving Hardy inequalities), which also inspires the main ideas of our constructions.

In this paper, we prove the existence of minimizers for the sharp stability constant of Caffarelli–Kohn–Nirenberg inequality near the new curve $b^*_{\mathrm{FS}}(a)$ (which lies above the well-known Felli–Schneider curve $b_{\mathrm{FS}}(a)$), extending the work of Wei and Wu [Math. Z., 2024] to a slightly larger region. Moreover, we provide an upper bound for the Caffarelli–Kohn–Nirenberg inequality with an explicit sharp constant, which may have its own interest.

We provide upper bounds for the Assouad spectrum $\dim_A^\theta(\mathrm{Gr}({\kern2pt}f))$ of the graph of a real-valued Hölder or Sobolev function f defined on an interval $I \subset \mathbb{R}$. We demonstrate via examples that all of our bounds are sharp. In the setting of Hölder graphs, we further provide a geometric algorithm which takes as input the graph of an $\alpha$-Hölder continuous function satisfying a matching lower oscillation condition with exponent $\alpha$ and returns the graph of a new $\alpha$-Hölder continuous function for which the Assouad $\theta$-spectrum realizes the stated upper bound for all $\theta\in (0,1)$. Examples of functions to which this algorithm applies include the continuous nowhere differentiable functions of Weierstrass and Takagi.

Let $(\phi _t)$ be a continuous semigroup of holomorphic functions in the unit disk. We prove that all its orbits are rectifiable and that its forward orbits are Lipschitz curves. Moreover, we find a necessary and sufficient condition in terms of hyperbolic geometry so that a backward orbit is a Lipschitz curve. We further explore the Lipschitz condition for forward orbits lying on the unit circle and then for semigroups of holomorphic functions in general simply connected domains.

Recently, the discrete reversed Hardy–Littlewood–Sobolev inequality with infinite terms was proved. In this article, we study the attainability of its best constant. For this purpose, we introduce a discrete reversed Hardy–Littlewood–Sobolev inequality with finite terms. The constraint of parameters of this inequality is more relaxed than that of parameters of inequality with infinite terms. We here show the limit relations between their best constants and between their extremal sequences. Based on these results, we obtain the attainability of the best constant of the inequality with infinite terms in the noncritical case.

M. Heins demonstrated that any finite Blaschke product defined on the open unit disc, provided it has at least one finite pole, possesses a nonzero residue. In this work, we extend Heins’ result by generalizing the class of functions under consideration. Specifically, we prove that a broader class of rational functions, defined on certain star-shaped domains in the complex plane, also exhibits this nonzero residue property. This class includes, as a special case, the family of finite Blaschke products. Our findings contribute to a better understanding of the analytic behavior of rational functions on more complex domains, opening new avenues for exploration in this area.

We prove a functional version of the additive kinematic formula as an application of the Hadwiger theorem on convex functions together with a Kubota-type formula for mixed Monge–Ampère measures. As an application, we give a new explanation for the equivalence of the representations of functional intrinsic volumes as singular Hessian valuations and as integrals with respect to mixed Monge–Ampère measures. In addition, we obtain a new integral geometric formula for mixed area measures of convex bodies, where integration on $\operatorname {SO}(n-1)\times \operatorname {O}(1)$ is considered.

We enrich the class of power-constructible functions, introduced in [CCRS23], to a class $\mathcal {C}^{\mathcal {M,F}}$ of algebras of functions which contains all complex powers of subanalytic functions and their parametric Mellin and Fourier transforms, and which is stable under parametric integration. By describing a set of generators of a special prepared form, we deduce information on the asymptotics and on the loci of integrability of the functions of $\mathcal {C}^{\mathcal {M,F}}$. We furthermore identify a subclass $\mathcal {C}^{\mathbb {C},\mathcal {F}}$ of $\mathcal {C}^{\mathcal {M,F}}$, which is the smallest class containing all power-constructible functions and stable under parametric Fourier transforms and right-composition with subanalytic maps. This class is also stable under parametric integration, under taking pointwise and $\text {L}^p$-limits and under parametric Fourier-Plancherel transforms. Finally, we give a full asymptotic expansion in the power-logarithmic scale, uniformly in the parameters, for functions in $\mathcal {C}^{\mathbb {C},\mathcal {F}}$.

In this paper, we establish a new version of one-dimensional discrete improved Hardy’s inequality with shifts by introducing a shifting discrete Dirichlet’s Laplacian. We prove that the general discrete Hardy’s inequality as well as its variants in some special cases admit improvements. Further, it is proved that two-variable discrete $p$-Hardy inequality can also be improved via improved discrete $p$-Hardy inequality in one dimension. The result is also extended to the multivariable cases.

We use a special tiling for the hyperbolic d-space $\mathbb {H}^d$ for $d=2,3,4$ to construct an (almost) explicit isomorphism between the Lipschitz-free space $\mathcal {F}(\mathbb {H}^d)$ and $\mathcal {F}(P)\oplus \mathcal {F}(\mathcal {N})$, where P is a polytope in $\mathbb {R}^d$ and $\mathcal {N}$ a net in $\mathbb {H}^d$ coming from the tiling. This implies that the spaces $\mathcal {F}(\mathbb {H}^d)$ and $\mathcal {F}(\mathbb {R}^d)\oplus \mathcal {F}(\mathcal {M})$ are isomorphic for every net $\mathcal {M}$ in $\mathbb {H}^d$. In particular, we obtain that, for $d=2,3,4$, $\mathcal {F}(\mathbb {H}^d)$ has a Schauder basis. Moreover, using a similar method, we also give an explicit isomorphism between $\mathrm {Lip}(\mathbb {H}^d)$ and $\mathrm {Lip}(\mathbb {R}^d)$.

For $r\in(0,1)$, let $\mu \left( r\right) $ be the modulus of the plane Grötzsch ring $\mathbb{B}^2\setminus[0,r]$, where $\mathbb{B}^2$ is the unit disk. In this paper, we prove that

\begin{equation*}\mu \left( r\right) =\ln \frac{4}{r}-\sum_{n=1}^{\infty }\frac{\theta _{n}}{2n}r^{2n},\end{equation*}

with $\theta _{n}\in \left( 0,1\right)$. Employing this series expansion, we obtain several absolutely monotonic and (logarithmically) completely monotonic functions involving $\mu \left( r\right) $, which yields some new results and extend certain known ones. Moreover, we give an affirmative answer to the conjecture proposed by Alzer and Richards in H. Alzer and K. Richards, On the modulus of the Grötzsch ring, J. Math. Anal. Appl. 432(1): (2015), 134–141, DOI 10.1016/j.jmaa.2015.06.057. As applications, several new sharp bounds and functional inequalities for $\mu \left( r\right) $ are established.

We study Toeplitz operators on the space of all real analytic functions on the real line and the space of all holomorphic functions on finitely connected domains in the complex plane. In both cases, we show that the space of all Toeplitz operators is isomorphic, when equipped with the topology of uniform convergence on bounded sets, with the symbol algebra. This is surprising in view of our previous results, since we showed that the symbol map is not continuous in this topology on the algebra generated by all Toeplitz operators. We also show that in the case of the Fréchet space of all holomorphic functions on a finitely connected domain in the complex plane, the commutator ideal is dense in the algebra generated by all Toeplitz operators in the topology of uniform convergence on bounded sets.

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$

We address the problem of optimal transport with a quadratic cost functional and a constraint on the flux through a constriction along the path. The constriction, conceptually represented by a toll station, limits the flow rate across. We provide a precise formulation which, in addition, is amenable to generalization in higher dimensions. We work out in detail the case of transport in one dimension by proving existence and uniqueness of solution. Under suitable regularity assumptions, we give an explicit construction of the transport plan. Generalization of flux constraints to higher dimensions and possible extensions of the theory are discussed.

We resolve some questions posed by Handelman in 1996 concerning log convex $L^1$ functions. In particular, we give a negative answer to a question he posed concerning the integrability of $h^2(x)/h(2x)$ when h is $L^1$ and log convex and $h(n)^{1/n}\rightarrow 1$.

In this paper, we consider the question of smoothness of slowly varying functions satisfying the modern definition that, in the last two decades, gained prevalence in the applications concerning function spaces and interpolation. We show that every slowly varying function of this type is equivalent to a slowly varying function that has continuous classical derivatives of all orders.

Let $[a_1(x),a_2(x),a_3(x),\ldots ]$ be the continued fraction expansion of an irrational number $x\in [0,1)$. We are concerned with the asymptotic behaviour of the product of consecutive partial quotients of x. We prove that, for Lebesgue almost all $x\in [0,1)$,

$$ \begin{align*} \liminf_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n} = 0\quad \text{and}\quad \limsup_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n}=1. \end{align*} $$

We also study the Baire category and the Hausdorff dimension of the set of points for which the above liminf and limsup have other different values and similarly analyse the weighted product of consecutive partial quotients.

Following the seminal paper by Bourgain, Brezis, and Mironescu, we focus on the asymptotic behaviour of some nonlocal functionals that, for each $u\in L^2(\mathbb {R}^N)$, are defined as the double integrals of weighted, squared difference quotients of $u$. Given a family of weights $\{\rho _{\varepsilon} \}$, $\varepsilon \in (0,\,1)$, we devise sufficient and necessary conditions on $\{\rho _{\varepsilon} \}$ for the associated nonlocal functionals to converge as $\varepsilon \to 0$ to a variant of the Dirichlet integral. Finally, some comparison between our result and the existing literature is provided.