We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$...

Given a topological space $X$, let $𝒰X$ and ${\eta }_X:X\to 𝒰X$ denote, respectively, the Salbany compactification of $X$ and the compactification map called the Salbany map of $X$. For every continuous function $f:X\to Y$, there is a continuous function $𝒰f:𝒰X\to 𝒰Y$, called the Salbany lift of $f$, satisfying $\left(𝒰f\right)\circ {\eta }_X={\eta }_Y\circ f$. If a continuous function $f:X\to Y$ has a stably compact codomain $Y$, then there is a Salbany extension $F:𝒰X\to Y$ of $f$, not necessarily unique, such that $F\circ {\eta }_X=f$. In this paper, we give a condition on a space such that its Salbany map is open. In...

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

The class of $H^{\left(N\right)}$-sets forms an important subclass of the class of sets of uniqueness for trigonometric series. We investigate the size of this class which is reflected by the family of measures (called polar) annihilating all sets from the class. The main aim of this paper is to answer in the negative a question stated by Lyons, whether the polars of the classes of $H^{\left(N\right)}$-sets are the same for all N ∈ ℕ. To prove our result we also present a new description of $H^{\left(N\right)}$-sets.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2n}$ such that $C\left(K_{2n}\right)$ has no uncountable (semi)biorthogonal sequence ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2n}$, but has biorthogonal systems ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{\alpha }$, $Y_{\alpha }$ and $Z_{\alpha }$ such that (i) $f{X}_{\alpha },f{Y}_{\alpha },f{Z}_{\alpha }=\omega ₀$, where f is either trdef or ₀-trsur, (ii) $A\left(\alpha \right)-trind{X}_{\alpha }=\infty$ and $M\left(\alpha \right)-trind{X}_{\alpha }=-1$, (iii) $A\left(\alpha \right)-trind{Y}_{\alpha }=-1$ and $M\left(\alpha \right)-trind{Y}_{\alpha }=\infty$, and (iv) $A\left(\alpha \right)-trind{Z}_{\alpha }=M\left(\alpha \right)-trind{Z}_{\alpha }=\infty$ and $A(\alpha +1)\cap M(\alpha +1)-trind{Z}_{\alpha }=-1$. We also show that there exists no separable metrizable space $W_{\alpha }$ with $A\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$, $M\left(\alpha \right)-trind{W}_{\alpha }\ne \infty$ and $A\left(\alpha \right)\cap M\left(\alpha \right)-trind{W}_{\alpha }=\infty$, where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

For $n=2m\ge 4$, let $\Omega \in {ℝ}^n$ be a bounded smooth domain and $𝒩\subset {ℝ}^L$ a compact smooth Riemannian manifold without boundary. Suppose that $\left\{u_k\right\}\in W^{m,2}(\Omega ,𝒩)$ is a sequence of weak solutions in the critical dimension to the perturbed $m$-polyharmonic maps $$\frac{\mathrm{d}}{\mathrm{d}t}{|}_{t=0}{E}_m\left(\Pi (u+t\xi )\right)=0$$ with ${\Phi }_k\to 0$ in ${\left(W^{m,2}(\Omega ,𝒩)\right)}^{*}$ and $u_k\rightharpoonup u$ weakly in $W^{m,2}(\Omega ,𝒩)$. Then $u$ is an $m$-polyharmonic map. In particular, the space of $m$-polyharmonic maps is sequentially compact for the weak-$W^{m,2}$ topology.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Given d ≥ 2 consider the family of polynomials $P_c\left(z\right)=z^d+c$ for c ∈ ℂ. Denote by $J_c$ the Julia set of $P_c$ and let ${ℳ}_d=c|J_{c}isconnected$ be the connectedness locus; for d = 2 it is called the Mandelbrot set. We study semihyperbolic parameters $c₀\in \partial {ℳ}_d$: those for which the critical point 0 is not recurrent by $P_{c₀}$ and without parabolic cycles. The Hausdorff dimension of $J_c$, denoted by $HD\left(J_c\right)$, does not depend continuously on c at such $c₀\in \partial {ℳ}_d$; on the other hand the function $c\mapsto HD\left(J_c\right)$ is analytic in $ℂ-{ℳ}_d$. Our first result asserts that there is still some...

By $F_n\left(X\right)$, $n\ge 1$, we denote the $n$-th symmetric product of a metric space $(X,d)$ as the space of the non-empty finite subsets of $X$ with at most $n$ elements endowed with the Hausdorff metric $d_H$. In this paper we shall describe that every isometry from the $n$-th symmetric product $F_n\left(X\right)$ into itself is induced by some isometry from $X$ into itself, where $X$ is either the Euclidean space or the sphere with the usual metrics. Moreover, we study the $n$-th symmetric product of the Euclidean space up to bi-Lipschitz equivalence...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...