Theorems stating sufficient conditions for the inequivalence of the d-variate Haar wavelet system and another wavelet system in the spaces $L₁\left({ℝ}^d\right)$ and $BV\left({ℝ}^d\right)$ are proved. These results are used to show that the Strömberg wavelet system and the system of continuous Daubechies wavelets with minimal supports are not equivalent to the Haar system in these spaces. A theorem stating that some systems of smooth Daubechies wavelets are not equivalent to the Haar system in $L₁\left({ℝ}^d\right)$ is also shown.

For a wavelet ψ of compact support, we define a square function $S_w$ and a maximal function NΛ. We then obtain the $L_p$ equivalence of these functions for 0 < p < ∞. We show this equivalence by using good-λ inequalities.

The paper deals with local means and wavelet bases in weighted and unweighted function spaces of type $B_{pq}^s$ and $F_{pq}^s$ on ℝⁿ and on ⁿ.

It has been proved recently that the two-direction refinement equation of the form $f\left(x\right)={\sum }_{n\in }{c}_{n,1}f(kx-n)+{\sum }_{n\in \mathbb{Z}}{c}_{n,-1}f(-kx-n)$ can be used in wavelet theory for constructing two-direction wavelets, biorthogonal wavelets, wavelet packages, wavelet frames and others. The two-direction refinement equation generalizes the classical refinement equation $f\left(x\right)={\sum }_{n\in \mathbb{Z}}cₙf(kx-n)$, which has been used in many areas of mathematics with important applications. The following continuous extension of the classical refinement equation $f\left(x\right)={\int }_{ℝ}c\left(y\right)f(kx-y)dy$ has also various interesting...

We construct the Haar wavelets on a local field K of positive characteristic and show that the Haar wavelet system forms an unconditional basis for $L^p\left(K\right)$, 1 < p < ∞. We also prove that this system, normalized in $L^p\left(K\right)$, is a democratic basis of $L^p\left(K\right)$. This also proves that the Haar system is a greedy basis of $L^p\left(K\right)$ for 1 < p < ∞.

The classical criterion for compactness in Banach spaces of functions can be reformulated into a simple tightness condition in the time-frequency domain. This description preserves more explicitly the symmetry between time and frequency than the classical conditions. The result is first stated and proved for $L²\left({ℝ}^d\right)$, and then generalized to coorbit spaces. As special cases, we obtain new characterizations of compactness in Besov-Triebel-Lizorkin, modulation and Bargmann-Fock spaces. ...

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

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.

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

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

It is known that Gabor expansions do not converge unconditionally in $L^p$ and that $L^p$ cannot be characterized in terms of the magnitudes of Gabor coefficients. By using a combination of Littlewood-Paley and Gabor theory, we show that $L^p$ can nevertheless be characterized in terms of Gabor expansions, and that the partial sums of Gabor expansions converge in $L^p$-norm.

We prove that a biorthogonal wavelet basis yields an unconditional basis in all spaces $L^p\left({ℝ}^d\right)$ with 1 < p < ∞, provided the biorthogonal wavelet set functions satisfy weak decay conditions. The biorthogonal wavelet set is associated with an arbitrary dilation matrix in any dimension.

The purpose of multifractal analysis of functions is to determine the Hausdorff dimensions of the sets of points where a function (or a distribution) f has a given pointwise regularity exponent H. This notion has many variants depending on the global hypotheses made on f; if f locally belongs to a Banach space E, then a family of pointwise regularity spaces $C_E^{\alpha }\left(x₀\right)$ are constructed, leading to a notion of pointwise regularity with respect to E; the case $E=L^{\infty }$ corresponds to the usual Hölder regularity,...

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

We show that each general Haar system is permutatively equivalent in $L^p\left([0,1]\right)$, 1 < p < ∞, to a subsequence of the classical (i.e. dyadic) Haar system. As a consequence, each general Haar system is a greedy basis in $L^p\left([0,1]\right)$, 1 < p < ∞. In addition, we give an example of a general Haar system whose tensor products are greedy bases in each $L^p\left({[0,1]}^d\right)$, 1 < p < ∞, d ∈ ℕ. This is in contrast to [11], where it has been shown that the tensor products of the dyadic Haar system are not greedy bases...

We study the leading order behaviour of positive solutions of the equation $-\Delta u+ϵu-{\left|u\right|}^{p-2}u+{\left|u\right|}^{q-2}u=0,x\in {ℝ}^N$, where $N\ge 3$, $q>p>2$ and when $ϵ>0$ is a small parameter. We give a complete characterization of all possible asymptotic regimes as a function of $p$, $q$ and $N$. The behavior of solutions depends sensitively on whether $p$ is less, equal or bigger than the critical Sobolev exponent $2^{*}=\frac{2N}{N-2}$. For $p<2^{*}$ the solution asymptotically coincides with the solution of the equation in which the last term is absent. For $p>2^{*}$ the solution asymptotically...

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

For a function $f\in L_{loc}^p\left(ℝⁿ\right)$ the notion of p-mean variation of order 1, ${₁}^p(f,ℝⁿ)$ is defined. It generalizes the concept of F. Riesz variation of functions on the real line ℝ¹ to ℝⁿ, n > 1. The characterisation of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$ in terms of ${₁}^p(f,ℝⁿ)$ is directly related to the characterisation of $W^{1,p}\left(ℝⁿ\right)$ by Lipschitz type pointwise inequalities of Bojarski, Hajłasz and Strzelecki and to the Bourgain-Brezis-Mironescu approach.

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

Our main purpose is to establish the existence of a positive solution of the system ⎧$-{∆}_{p\left(x\right)}u=F(x,u,v)$, x ∈ Ω, ⎨$-{∆}_{q\left(x\right)}v=H(x,u,v)$, x ∈ Ω, ⎩u = v = 0, x ∈ ∂Ω, where $\Omega \subset {ℝ}^N$ is a bounded domain with C² boundary, $F(x,u,v)={\lambda }^{p\left(x\right)}[g\left(x\right)a\left(u\right)+f\left(v\right)]$, $H(x,u,v)={\lambda }^{q(x})[g\left(x\right)b\left(v\right)+h\left(u\right)]$, λ > 0 is a parameter, p(x),q(x) are functions which satisfy some conditions, and $-{∆}_{p\left(x\right)}u=-{div\left(\right|\nabla u|}^{p\left(x\right)-2}\nabla u)$ is called the p(x)-Laplacian. We give existence results and consider the asymptotic behavior of solutions near the boundary. We do not assume any symmetry conditions on the system.

We consider the asymptotic behavior of some classes of sequences defined by a recurrent formula. The main result is the following: Let f: (0,∞)² → (0,∞) be a continuous function such that (a) 0 < f(x,y) < px + (1-p)y for some p ∈ (0,1) and for all x,y ∈ (0,α), where α > 0; (b) $f(x,y)=px+(1-p)y-{\sum }_{s=m}^{\infty }s(x,y)$ uniformly in a neighborhood of the origin, where m > 1, ${}_s(x,y)={\sum }_{i=0}^s{a}_{i,s}{x}^{s-i}{y}^i$; (c) $ₘ(1,1)={\sum }_{i=0}^m{a}_{i,m}>0$. Let x₀,x₁ ∈ (0,α) and $x_{n+1}=f(xₙ,x_{n-1})$, n ∈ ℕ. Then the sequence (xₙ) satisfies the following asymptotic formula: $xₙ\sim {((2-p)/\left((m-1){\sum }_{i=0}^m{a}_{i,m}\right))}^{1/(m-1)}1/\sqrt[m-1]{n}$.

This paper deals with Besov spaces of logarithmic smoothness $B_{p,r}^{0,b}$ formed by periodic functions. We study embeddings of $B_{p,r}^{0,b}$ into Lorentz-Zygmund spaces $L_{p,q}{\left(logL\right)}_{\beta }$. Our techniques rely on the approximation structure of $B_{p,r}^{0,b}$, Nikol’skiĭ type inequalities, extrapolation properties of $L_{p,q}{\left(logL\right)}_{\beta }$ and interpolation.

We consider the semilinear Lane–Emden problem $$ where $p>1$ and $\Omega$ is a smooth bounded domain of ${ℝ}^2$. The aim of the paper is to analyze the asymptotic behavior of sign changing solutions of ${(}_p)$, as $p\to +\infty$. Among other results we show, under some symmetry assumptions on $\Omega$, that the positive and negative parts of a family of symmetric solutions concentrate at the same point, as $p\to +\infty$, and the limit profile looks like a tower of two bubbles given by a superposition of a regular and a singular solution of...

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

Given a compact manifold $N^n$, an integer $k\in {\mathbb{N}}_{*}$ and an exponent $1\le p<\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k,p}(Q^m;N^n)$ when the homotopy group ${\pi }_{\lfloor kp\rfloor }\left(N^n\right)$ of order $\lfloor kp\rfloor$ is trivial. We also prove density of maps that are smooth except for a set of dimension $m-\lfloor kp\rfloor -1$, without any restriction on the homotopy group of $N^n$.

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

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

In this paper we deal with the problem of asymptotic integration of nonlinear differential equations with $p-$Laplacian, where $1<p<2$. We prove sufficient conditions under which all solutions of an equation from this class are converging to a linear function as $t\to \infty$.

We collect and extend results on the limit of ${\sigma }^{1-k}{(1-\sigma )}^k{\left|v\right|}_{l+\sigma ,p,\Omega }^p$ as σ → 0⁺ or σ → 1¯, where Ω is ℝⁿ or a smooth bounded domain, k ∈ 0,1, l ∈ ℕ, p ∈ [1,∞), and ${\left|·\right|}_{l+\sigma ,p,\Omega }$ is the intrinsic seminorm of order l+σ in the Sobolev space $W^{l+\sigma ,p}\left(\Omega \right)$. In general, the above limit is equal to $c{\left[v\right]}^p$, where c and [·] are, respectively, a constant and a seminorm that we explicitly provide. The particular case p = 2 for Ω = ℝⁿ is also examined and the results are then proved by using the Fourier transform.