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...

We prove some optimal estimates of Hölder-logarithmic type in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$, where $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is either the open unit disk $𝔻$ or the annular domain $G_s$, $0<s<1$ of the complex space $ℂ$. More precisely, we study the behavior on the interior of $G$ of any function $f$ belonging to the unit ball of the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$ from its behavior on any open connected subset $I$ of the boundary $\partial G$ of $G$ with respect to the $L^1$-norm. Our results can be viewed as an improvement and generalization of...

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$.

We first show that the Gaussian integral means of $f:ℂ\to ℂ$ (with respect to the area measure ${\mathrm{e}}^{-{\alpha \left|z\right|}^2}\mathrm{d}A\left(z\right)$) is a convex function of $r$ on $(0,\infty )$ when $\alpha \le 0$. We then prove that the weighted integral means $A_{\alpha ,\beta }(f,r)$ and $L_{\alpha ,\beta }(f,r)$ of the mixed area and the mixed length of $f\left(r𝔻\right)$ and $\partial f\left(r𝔻\right)$, respectively, also have the property of convexity in the case of $\alpha \le 0$. Finally, we show with examples that the range $\alpha \le 0$ is the best possible.

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 main purpose of this article is to give a generalization of the logarithmic-type estimate in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$; $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is the open unit disk or the annulus of the complex space $ℂ$.

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 investigate the recovery of $k$-sparse signals using the ${\ell }_1$-${\ell }_2$ minimization model with prior support set information. The prior support set information, which is believed to contain the indices of nonzero signal elements, significantly enhances the performance of compressive recovery by improving accuracy, efficiency, reducing complexity, expanding applicability, and enhancing robustness. We assume $k$-sparse signals $𝐱$ with the prior support $T$ which is composed of $g$ true indices and $b$ wrong...

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$.