We study several techniques which are well known in the case of Besov and Triebel-Lizorkin spaces and extend them to spaces with dominating mixed smoothness. We use the ideas of Triebel to prove three important decomposition theorems. We deal with so-called atomic, subatomic and wavelet decompositions. All these theorems have much in common. Roughly speaking, they say that a function f belongs to some function space (say $S_{p,q}^{r̅}A$) if, and only if, it can be decomposed as $f\left(x\right)={\sum }_{\nu }{\sum }_m{\lambda }_{\nu m}{a}_{\nu m}\left(x\right)$, convergence in S’, with...

Let $\Theta :={\theta }_I^e:e\in E,I\in D$ be a decomposition system for $L₂\left({ℝ}^d\right)$ indexed over D, the set of dyadic cubes in ${ℝ}^d$, and a finite set E, and let $\Theta ̃:=\Theta {̃}_I^e:e\in E,I\in D$ be the corresponding dual functionals. That is, for every $f\in L₂\left({ℝ}^d\right)$, $f={\sum }_{e\in E}{\sum }_{I\in D}⟨f,\Theta {̃}_I^e⟩{\theta }_I^e$. We study sufficient conditions on Θ,Θ̃ so that they constitute a decomposition system for Triebel-Lizorkin and Besov spaces. Moreover, these conditions allow us to characterize the membership of a distribution f in these spaces by the size of the coefficients $⟨f,\Theta {̃}_I^e⟩$, e ∈ E, I ∈ D. Typical examples of such decomposition...

We study embeddings of spaces of Besov-Morrey type, $i{d}_{\Omega }{:}_{p₁,u₁,q₁}^{s₁}\left(\Omega \right){\hookrightarrow }_{p₂,u₂,q₂}^{s₂}\left(\Omega \right)$, where $\Omega \subset {ℝ}^d$ is a bounded domain, and obtain necessary and sufficient conditions for the continuity and compactness of $i{d}_{\Omega }$. This continues our earlier studies relating to the case of ${ℝ}^d$. Moreover, we also characterise embeddings into the scale of $L_p$ spaces or into the space of bounded continuous functions.

We prove the existence of entropy solutions to unilateral problems associated to equations of the type $Au-div\left(\varphi \left(u\right)\right)=\mu \in L¹\left(\Omega \right)+W^{-1,p^{\text{'}}\left(·\right)}\left(\Omega \right)$, where A is a Leray-Lions operator acting from $W{₀}^{1,p\left(·\right)}\left(\Omega \right)$ into its dual $W^{-1,p\left(·\right)}\left(\Omega \right)$ and $\varphi \in C⁰(ℝ,{ℝ}^N)$.

We study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis $\left(e_k\right)$ is said to be subsequentially minimal if for every normalized block basis $\left(x_k\right)$ of $\left(e_k\right)$, there is a further block basis $\left(y_k\right)$ of $\left(x_k\right)$ such that $\left(y_k\right)$ is equivalent to a subsequence of $\left(e_k\right)$. Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal, and connections with Bourgain’s ℓ¹-index are established. It is also shown that a large class of...

In [9], the author considers a sequence of invertible maps $T_i:S¹\to S¹$ which exchange the positions of adjacent intervals on the unit circle, and defines as Aₙ the image of the set 0 ≤ x ≤ 1/2 under the action of Tₙ ∘ ... ∘ T₁, (1) Aₙ = (Tₙ ∘ ... ∘ T₁)x₁ ≤ 1/2. Then, if Aₙ is mixed up to scale h, it is proved that (2) ${\sum }_{i=1}^n(Tot.Var.(T_i-I)+Tot.Var.(T_i^{-1}-I))\ge Clog1/h$. We prove that (1) holds for general quasi incompressible invertible BV maps on ℝ, and that this estimate implies that the map Tₙ ∘ ... ∘ T₁ belongs to the Besov space $B^{0,1,1}$, and its...

The properties of topological dynamical systems $(X,T)$ which are disjoint from all minimal systems of zero entropy, ${ℳ}_0$, are investigated. Unlike the measurable case, it is known that topological $K$-systems make up a proper subset of the systems which are disjoint from ${ℳ}_0$. We show that $(X,T)$ has an invariant measure with full support, and if in addition $(X,T)$ is transitive, then $(X,T)$ is weakly mixing. A transitive diagonal system with only one minimal point is constructed. As a consequence, there exists...

The results of the first part concern the existence of higher order ℓ₁ spreading models in asymptotic ℓ₁ Banach spaces. We sketch the proof of the fact that the mixed Tsirelson space T[(ₙ,θₙ)ₙ], ${\theta }_{n+m}\ge \theta ₙ\theta ₘ$ and $li{m}_n\theta {ₙ}^{1/n}=1$, admits an $\ell {₁}^{\omega }$ spreading model in every block subspace. We also prove that if X is a Banach space with a basis, with the property that there exists a sequence (θₙ)ₙ ⊂ (0,1) with $li{m}_n\theta {ₙ}^{1/n}=1$, such that, for every n ∈ ℕ, $\left|\right|{\sum }_{k=1}^m{x}_k\left|\right|\ge \theta ₙ{\sum }_{k=1}^m\left|\right|x_k\left|\right|$ for every ₙ-admissible block sequence ${\left(x_k\right)}_{k=1}^m$ of vectors in X, then there exists c...

We consider the subspace of L²(ℝ) spanned by the integer shifts of one function ψ, and formulate a condition on the family ${\psi (·-n)}_{n=-\infty }^{\infty }$, which is equivalent to the weight function ${\sum }_{n=-\infty }^{\infty }\left|\psi ̂(·+n)\right|²$ being > 0 a.e.

To each set of knots $t_i=i/2n$ for i = 0,...,2ν and $t_i=(i-\nu )/n$ for i = 2ν + 1,..., n + ν, with 1 ≤ ν ≤ n, there corresponds the space ${}_{\nu ,n}$ of all piecewise linear and continuous functions on I = [0,1] with knots $t_i$ and the orthogonal projection $P_{\nu ,n}$ of L²(I) onto ${}_{\nu ,n}$. The main result is $li{m}_{(n-\nu )\wedge \nu \to \infty }\left|\right|P_{\nu ,n}\left|\right|₁=su{p}_{\nu ,n:1\le \nu \le n}\left|\right|P_{\nu ,n}\left|\right|₁=2+(2-\surd 3)²$. This shows that the Lebesgue constant for the Franklin orthogonal system is 2 + (2-√3)².

Abstract We develop an almost orthogonal wavelet-type expansion in ℝ² which is adapted to polar coordinates. We start by defining a product Fourier-Hankel transform f̂ and proving a sampling formula for f such that f̂ is compactly supported. For general f, the sampling formula and a partition of unity lead to an identity of the form $f={\sum }_{\mu ,k,m}⟨f,{\phi }_{\mu km}⟩{\psi }_{\mu km}$, in which each function ${\phi }_{\mu km}$ and ${\psi }_{\mu km}$ is concentrated near a certain annular sector, has compactly supported product Fourier-Hankel transform, and is smooth...

In the following text for a discrete finite nonempty set $K$ and a self-map $\varphi :X\to X$ we investigate interaction between different entropies of generalized shift ${\sigma }_{\varphi }:K^X\to K^X$, ${\left(x_{\alpha }\right)}_{\alpha \in X}\mapsto {\left(x_{\varphi \left(\alpha \right)}\right)}_{\alpha \in X}$ and cellularities of some Alexandroff topologies on $X$.

The asymptotic behaviour of ε-entropy of classes of Lipschitz functions in $L^p{(}^d)$ is obtained. Moreover, the asymptotics of ε-entropy of classes of Lipschitz functions in $L^p\left({ℝ}^d\right)$ whose tail function decreases as $O\left({\lambda }^{-\gamma }\right)$ is obtained. In case p = 1 the relation between the ε-entropy of a given class of probability densities on ${ℝ}^d$ and the minimax risk for that class is discussed.

The estimate ${∥D^{k-1}u∥}_{L^{n/(n-1)}}\le {∥A\left(D\right)u∥}_{L^1}$ is shown to hold if and only if $A\left(D\right)$ is elliptic and canceling. Here $A\left(D\right)$ is a homogeneous linear differential operator $A\left(D\right)$ of order $k$ on ${ℝ}^n$ from a vector space $V$ to a vector space $E$. The operator $A\left(D\right)$ is defined to be canceling if ${\bigcap }_{\xi \in {ℝ}^n\setminus \left\{0\right\}}A\left(\xi \right)\left[V\right]=\left\{0\right\}$. This result implies in particular the classical Gagliardo–Nirenberg–Sobolev inequality, the Korn–Sobolev inequality and Hodge–Sobolev estimates for differential forms due to J. Bourgain and H. Brezis. In the proof, the class of cocanceling homogeneous...

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

We investigate the existence of higher order ℓ¹-spreading models in subspaces of mixed Tsirelson spaces. For instance, we show that the following conditions are equivalent for the mixed Tsirelson space $X=T\left[{(\theta ₙ,ₙ)}_{n=1}^{\infty }\right]$: (1) Every block subspace of X contains an $\ell ¹{-}_{\omega }$-spreading model, (2) The Bourgain ℓ¹-index $I_b\left(Y\right)=I\left(Y\right)>{\omega }^{\omega }$ for any block subspace Y of X, (3) $limₘlimsupₙ{\theta }_{m+n}/\theta ₙ>0$ and every block subspace Y of X contains a block sequence equivalent to a subsequence of the unit vector basis of X. Moreover, if one (and hence all) of these...

The distributional $k$-dimensional Jacobian of a map $u$ in the Sobolev space $W^{1,k-1}$ which takes values in the sphere $S^{k-1}$ can be viewed as the boundary of a rectifiable current of codimension $k$ carried by (part of) the singularity of $u$ which is topologically relevant. The main purpose of this paper is to investigate the range of the Jacobian operator; in particular, we show that any boundary $M$ of codimension $k$ can be realized as Jacobian of a Sobolev map valued in $S^{k-1}$. In case $M$ is polyhedral, the...

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

Let ${\left(F_n\right)}_{n\in \mathbb{N}}$ be a sequence of non-decreasing functions from $[0,+\infty )$ into $[0,+\infty )$. Under some suitable hypotheses of ${\left(F_n\right)}_{n\in \mathbb{N}}$, we will prove that if $g\in L^p\left({ℝ}^N\right)$, $1<p<+\infty$, satisfies ${lim\; inf}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy<+\infty$, then $g\in W^{1,p}\left({ℝ}^N\right)$ and moreover ${lim}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy=K_{N,p}{\int }_{{ℝ}^N}{\left|\nabla g\left(x\right)\right|}^{p}dx$, where $K_{N,p}$ is a positive constant depending only on $N$ and $p$. This extends some results in J. Bourgain and H-M. Nguyen [A new characterization of Sobolev spaces, C. R. Acad Sci. Paris, Ser. 343 (2006) 75-80] and H-M. Nguyen [Some new characterizations of Sobolev spaces, J. Funct. Anal. 237 (2006) 689-720]. We also present some...

Let d > 0 and θ ∈ (0,1]. We consider homogeneous type spaces, ${(X,\varrho ,\mu )}_{d,\theta }$, which are variants of the well known homogeneous type spaces in the sense of Coifman and Weiss. We introduce fractional integrals and derivatives, and prove that the Besov spaces $B_{pq}^s\left(X\right)$ and Triebel-Lizorkin spaces $F_{pq}^s\left(X\right)$ have the lifting properties for |s| < θ. Moreover, we give explicit representations for the inverses of these fractional integrals and derivatives. By using these representations, we prove that the fractional...

How low can the joint entropy of $n$ $d$-wise independent (for $d\ge 2$) discrete random variables be, subject to given constraints on the individual distributions (say, no value may be taken by a variable with probability greater than $p$, for $p<1$)? This question has been posed and partially answered in a recent work of Babai [Entropy versus pairwise independence (preliminary version), http://people.cs.uchicago.edu/ laci/papers/13augEntropy.pdf, 2013]. In this paper we improve some...

We give new characterizations of the analytic Besov spaces $B_p$ on the unit ball $𝔹$ of ${ℂ}^n$ in terms of oscillations and integral means over some Euclidian balls contained in $𝔹$.

Let $f$ be a dominant rational map of ${\mathbb{P}}^k$ such that there exists $s\&lt;k$ with ${\lambda }_s\left(f\right)\&gt;{\lambda }_l\left(f\right)$ for all $l$. Under mild hypotheses, we show that, for $A$ outside a pluripolar set of $\mathrm{Aut}\left({\mathbb{P}}^k\right)$, the map $f\circ A$ admits a hyperbolic measure of maximal entropy $log{\lambda }_s\left(f\right)$ with explicit bounds on the Lyapunov exponents. In particular, the result is true for polynomial maps hence for the homogeneous extension of $f$ to ${\mathbb{P}}^{k+1}$. This provides many examples where non uniform hyperbolic dynamics is established. One of the key tools is to approximate...