For the class of self-similar measures in $\mathbb{R}^{d}$ with overlaps that are essentially of finite type, we set up a framework for deriving a closed formula for the $L^{q}$-spectrum of the measure for $q\geq 0$. This framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the $L^{q}$-spectrum have only been obtained earlier for measures satisfying Strichartz’s second-order identities. We illustrate how to use our results to prove the differentiability of the $L^{q}$-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

It is known that the space of boundedly finite integer-valued measures on a complete separable metric space becomes a complete separable metric space when endowed with the weak-hash metric. It is also known that convergence under this topology can be characterised in a way that is similar to the weak convergence of totally finite measures. However, the original proofs of these two fundamental results assume that a certain term is monotonic, which is not the case as we show by a counterexample. We clarify these original proofs by addressing the parts that rely on this assumption and finding alternative arguments.

Bilinear fractal interpolation surfaces were introduced by Ruan and Xu in 2015. In this paper, we present the formula for their box dimension under certain constraint conditions.

Let $\unicode[STIX]{x1D707}$ be the projection on $[0,1]$ of a Gibbs measure on $\unicode[STIX]{x1D6F4}=\{0,1\}^{\mathbb{N}}$ (or more generally a Gibbs capacity) associated with a Hölder potential. The thermodynamic and multifractal properties of $\unicode[STIX]{x1D707}$ are well known to be linked via the multifractal formalism. We study the impact of a random sampling procedure on this structure. More precisely, let $\{{I_{w}\}}_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ stand for the collection of dyadic subintervals of $[0,1]$ naturally indexed by the finite dyadic words. Fix $\unicode[STIX]{x1D702}\in (0,1)$, and a sequence $(p_{w})_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ of independent Bernoulli variables of parameters $2^{-|w|(1-\unicode[STIX]{x1D702})}$. We consider the (very sparse) remaining values $\widetilde{\unicode[STIX]{x1D707}}=\{\unicode[STIX]{x1D707}(I_{w}):w\in \unicode[STIX]{x1D6F4}^{\ast },p_{w}=1\}$. We study the geometric and statistical information associated with $\widetilde{\unicode[STIX]{x1D707}}$, and the relation between $\widetilde{\unicode[STIX]{x1D707}}$ and $\unicode[STIX]{x1D707}$. To do so, we construct a random capacity $\mathsf{M}_{\unicode[STIX]{x1D707}}$ from $\widetilde{\unicode[STIX]{x1D707}}$. This new object fulfills the multifractal formalism, and its free energy is closely related to that of $\unicode[STIX]{x1D707}$. Moreover, the free energy of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ generically exhibits one first order and one second order phase transition, while that of $\unicode[STIX]{x1D707}$ is analytic. The geometry of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ is deeply related to the combination of approximation by dyadic numbers with geometric properties of Gibbs measures. The possibility to reconstruct $\unicode[STIX]{x1D707}$ from $\widetilde{\unicode[STIX]{x1D707}}$ by using the almost multiplicativity of $\unicode[STIX]{x1D707}$ and concatenation of words is discussed as well.

Given a positive, decreasing sequence a, whose sum is L, we consider all the closed subsets of [0, L] such that the lengths of their complementary open intervals are in one-to-one correspondence with the sequence a. The aim of this paper is to investigate the possible values that Assouad-type dimensions can attain for this class of sets. In many cases, the set of attainable values is a closed interval whose endpoints we determine.

In this paper we establish a general form of the mass transference principle for systems of linear forms conjectured in 2009. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine–Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the homogeneous and inhomogeneous settings as well as allowing transference under any additional constraints on approximating integer points. In particular, we establish Hausdorff measure counterparts of some Khintchine–Groshev type theorems with primitivity constraints recently proved by Dani, Laurent and Nogueira.

We explore the problem of finding the Hausdorff dimension of the set of points that recur to shrinking targets on a self-affine fractal. To be exact, we study the dimension of a certain related symbolic recurrence set. In many cases, this set is equivalent to the recurring set on the fractal.

Let 𝔽q be the finite field of q elements. An analogue of the regular continued fraction expansion for an element α in the field of formal Laurent series over 𝔽q is given uniquely by

$$\alpha = A_0(\alpha ) + \displaystyle{1 \over {A_1(\alpha ) + \displaystyle{1 \over {A_2(\alpha ) + \ddots }}}},$$

$(A_{n}(\alpha))_{n=0}^{\infty}$

$$\vert A_1(\alpha ) \ldots A_N(\alpha )\vert ^{1/N} = q^{q/(q - 1)} + o(N^{ - 1/2}(\log N)^{3/2 + {\rm \epsilon }})$$

We define fractal interpolation on unbounded domains for a certain class of topological spaces and construct local fractal functions. In addition, we derive some properties of these local fractal functions, consider their tensor products, and give conditions for local fractal functions on unbounded domains to be elements of Bochner–Lebesgue spaces.

Let $\unicode[STIX]{x1D703}$ be an irrational number and $\unicode[STIX]{x1D711}:\mathbb{N}\rightarrow \mathbb{R}^{+}$ be a monotone decreasing function tending to zero. Let

$$\begin{eqnarray}E_{\unicode[STIX]{x1D711}}(\unicode[STIX]{x1D703})=\{y\in \mathbb{R}:\Vert n\unicode[STIX]{x1D703}-y\Vert <\unicode[STIX]{x1D711}(n),\text{for infinitely many }n\in \mathbb{N}\},\end{eqnarray}$$

$\unicode[STIX]{x1D711}(n)$

$E_{\unicode[STIX]{x1D711}}(\unicode[STIX]{x1D703})$

$\unicode[STIX]{x1D711}$

$\unicode[STIX]{x1D703}$

In this paper we provide a unified approach, based on methods of descriptive set theory, for proving some classical selection theorems. Among them is the zero-dimensional Michael selection theorem, the Kuratowski–Ryll-Nardzewski selection theorem, as well as a known selection theorem for hyperspaces.

The purpose of this paper twofold. Firstly, we establish $\unicode[STIX]{x1D6F1}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness and $\unicode[STIX]{x1D6F4}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness of several different classes of multifractal decomposition sets of arbitrary Borel measures (satisfying a mild non-degeneracy condition and two mild “smoothness” conditions). Secondly, we apply these results to study the $\unicode[STIX]{x1D6F1}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness and $\unicode[STIX]{x1D6F4}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness of several multifractal decomposition sets of self-similar measures (satisfying a mild separation condition). For example, a corollary of our results shows if $\unicode[STIX]{x1D707}$ is a self-similar measure satisfying the strong separation condition and $\unicode[STIX]{x1D707}$ is not equal to the normalized Hausdorff measure on its support, then the classical multifractal decomposition sets of $\unicode[STIX]{x1D707}$ defined by

$$\begin{eqnarray}\bigg\{x\in \mathbb{R}^{d}\,\bigg|\,\lim _{r{\searrow}0}\frac{\log \unicode[STIX]{x1D707}(B(x,r))}{\log r}=\unicode[STIX]{x1D6FC}\bigg\}\end{eqnarray}$$

$\unicode[STIX]{x1D6F1}_{3}^{0}$

In the paper, we provide an effective criterion for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous.

Based on the abstract version of the Smital property, we introduce an operator $DS$. We use it to characterise the class of semitopological abelian groups, for which addition is a quasicontinuous operation.

In this paper, we investigate the two-dimensional shrinking target problem in beta-dynamical systems. Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\rightarrow \unicode[STIX]{x1D6FD}x\;\text{mod}\;1$. Let $\unicode[STIX]{x1D6F9}_{i}$ ($i=1,2$) be two positive functions on $\mathbb{N}$ such that $\unicode[STIX]{x1D6F9}_{i}\rightarrow 0$ when $n\rightarrow \infty$. We determine the Lebesgue measure and Hausdorff dimension for the $\limsup$ set

$$\begin{eqnarray}W(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}_{1},\unicode[STIX]{x1D6F9}_{2})=\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-x_{0}|<\unicode[STIX]{x1D6F9}_{1}(n),|T_{\unicode[STIX]{x1D6FD}}^{n}y-y_{0}|<\unicode[STIX]{x1D6F9}_{2}(n)\text{ for infinitely many }n\in \mathbb{N}\}\end{eqnarray}$$

$x_{0},y_{0}\in [0,1]$

In this paper, we characterize Borel $\unicode[STIX]{x1D70E}$-fields of the set of all fuzzy numbers endowed with different metrics. The main result is that the Borel $\unicode[STIX]{x1D70E}$-fields with respect to all known separable metrics are identical. This Borel field is the Borel $\unicode[STIX]{x1D70E}$-field making all level cut functions of fuzzy mappings from any measurable space to the fuzzy number space measurable with respect to the Hausdorff metric on the cut sets. The relation between the Borel $\unicode[STIX]{x1D70E}$-field with respect to the supremum metric $d_{\infty }$ is also demonstrated. We prove that the Borel field is induced by a separable and complete metric. A global characterization of measurability of fuzzy-valued functions is given via the main result. Applications to fuzzy-valued integrals are given, and an approximation method is presented for integrals of fuzzy-valued functions. Finally, an example is given to illustrate the applications of these results in economics. This example shows that the results in this paper are basic to the theory of fuzzy-valued functions, such as the fuzzy version of Lebesgue-like integrals of fuzzy-valued functions, and are useful in applied fields.

For every $q\in (0,1)$, we obtain the Herglotz representation theorem and discuss the Bieberbach problem for the class of $q$-convex functions of order $\unicode[STIX]{x1D6FC}$ with $0\leq \unicode[STIX]{x1D6FC}<1$. In addition, we consider the Fekete–Szegö problem and the Hankel determinant problem for the class of $q$-starlike functions, leading to two conjectures for the class of $q$-starlike functions of order $\unicode[STIX]{x1D6FC}$ with $0\leq \unicode[STIX]{x1D6FC}<1$.

For a prescribed set of lacunary data with equally spaced knot sequence in the unit interval, we show the existence of a family of fractal splines satisfying for v = 0, 1, … ,N and suitable boundary conditions. To this end, the unique quintic spline introduced by A. Meir and A. Sharma [SIAM J. Numer. Anal. 10(3) 1973, pp. 433-442] is generalized by using fractal functions with variable scaling parameters. The presence of scaling parameters that add extra “degrees of freedom”, self-referentiality of the interpolant, and “fractality” of the third derivative of the interpolant are additional features in the fractal version, which may be advantageous in applications. If the lacunary data is generated from a function Φ satisfying certain smoothness condition, then for suitable choices of scaling factors, the corresponding fractal spline satisfies , as the number of partition points increases.

Through appropriate choices of elements in the underlying iterated function system, the methodology of fractal interpolation enables us to associate a family of continuous self-referential functions with a prescribed real-valued continuous function on a real compact interval. This procedure elicits what is referred to as an α-fractal operator on , the space of all real-valued continuous functions defined on a compact interval I. With an eye towards connecting fractal functions with other branches of mathematics, in this paper we continue to investigate the fractal operator in more general spaces such as the space of all bounded functions and the Lebesgue space , and in some standard spaces of smooth functions such as the space of k-times continuously differentiable functions, Hölder spaces and Sobolev spaces . Using properties of the α-fractal operator, the existence of Schauder bases consisting of self-referential functions for these function spaces is established.

We study a representation for the inverse transform of the generalised Fourier–Feynman transform on the function space $C_{a,b}[0,T]$ which is induced by a generalised Brownian motion process. To do this, we define a transform via the concept of the convolution product of functionals on $C_{a,b}[0,T]$. We establish that the composition of these transforms acts like an inverse generalised Fourier–Feynman transform and that the transforms are vector space automorphisms of a vector space ${\mathcal{E}}(C_{a,b}[0,T])$. The vector space ${\mathcal{E}}(C_{a,b}[0,T])$ consists of exponential-type functionals on $C_{a,b}[0,T]$.