Estimates of the smoothness of dyadic orthogonal wavelets of Daubechies type

Suppose that ω(φ, ·) is the dyadic modulus of continuity of a compactly supported function φ in L ²(?⁺) satisfying a scaling equation with 2 ⁿ coefficients. Denote by α _φ the supremum for values of α > 0 such that the inequality ω(φ, 2^?j ) ≤ C2 ^?αj holds for all j ∈ ?. For the cases n = 3 and n = 4, we study the scaling functions φ generating multiresolution analyses in L ²(?₊) and the exact values of α _φ are calculated for these functions. It is noted that the smoothness of the dyadic orthogonal wavelet in L ²(?₊) corresponding to the scaling function φ coincides with α _φ .     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Estimates of Freud-Christoffel functions for some weights with the whole real line as support

Upper and lower bounds for generalized Christoffel functions, called Freud-Christoffel functions, are obtained. These have the form λ_n,p(W,j,x) = infPW_Lp(R)/|P^(j)(X)| where the infimum is taken over all polynomials P(x) of degree at most n − 1. The upper and lower bounds for λ_n,p(W,j,x) are obtained for all 0 < p ∞ and J = 0, 1, 2, 3,… for weights W(x) = exp(−Q(x)), where, among other things, Q(x) is bounded in [− A, A], and Q″ is continuous in β(−A, A) for some A > 0. For p = ∞, the lower bounds give a simple proof of local and global Markov-Bernstein inequalities. For p = 2, the results remove some restrictions on Q in Freud's work. The weights considered include W(x) = exp(− ¦x¦^α/2), α > 0, and W(x) = exp(− exp(¦x¦)), > 0.     

Random subgraphs of finite graphs: I. The scaling window under the triangle condition

We study random subgraphs of an arbitrary finite connected transitive graph ?? obtained by independently deleting edges with probability 1 ? p. Let V be the number of vertices in ??, and let Ω be their degree. We define the critical threshold p_c = p_c (??, λ) to be the value of p for which the expected cluster size of a fixed vertex attains the value λV^1/3, where λ is fixed and positive. We show that, for any such model, there is a phase transition at p_c analogous to the phase transition for the random graph, provided that a quantity called the triangle diagram is sufficiently small at the threshold p_c. In particular, we show that the largest cluster inside a scaling window of size |p ? p_c| = Θ(Ω^?1V^?1/3) is of size Θ(V^2/3), while, below this scaling window, it is much smaller, of order O(?^?2 log(V?³)), with ? = Ω(p_c ? p). We also obtain an upper bound O(Ω(p ? p_c)V) for the expected size of the largest cluster above the window. In addition, we define and analyze the percolation probability above the window and show that it is of order Θ(Ω(p ? p_c)). Among the models for which the triangle diagram is small enough to allow us to draw these conclusions are the random graph, the n‐cube and certain Hamming cubes, as well as the spread‐out n‐dimensional torus for n > 6. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

On the Hamilton-Jacobi equation and infimal convolution in the framework of Sobolev-functions

We study the regularity properties of the Hamilton-Jacobi flow equation and infimal convolution in the case where the initial datum function is continuous and lies in a given Sobolev-space W ^1,p (? ⁿ ). We prove that under suitable assumptions it holds for solutions w(x, t) that D _x w(·, t) → Du(·) in L ^p (? ⁿ ) as t → 0. Moreover, we construct examples showing that our results are essentially optimal.     

p-Frames and Shift Invariant Subspaces of Lp

In this article we investigate the frame properties and closedness for the shift invariant space V_p(F) = { ?_i=1^r ?_{j ? \Zd} d_i(j) f_i (·-j):  ( d_i(j) )_{j ? \Zd} ? l^p }, \q 1 ￡ p ￡ ￥ . \displaystyle V_p(\Phi) = \left\{ \sum_{i=1}^r \sum_{j\in \Zd} d_i(j) \phi_i (\cdot-j): \ \left( d_i(j) \right)_{j\in \Zd}\in \ell^p \right\}, \q 1\le p \le \infty~. We derive necessary and sufficient conditions for an indexed family {f_i(·-j): 1 ￡ i ￡ r, j ? \Zd}\{\phi_i(\cdot-j):\ 1\le i\le r, j\in \Zd\} to constitute a pp-frame for V_p(F)V_p(\Phi), and to generate a closed shift invariant subspace of L^pL^p. A function in the L^pL^p-closure of V_p(F)V_p(\Phi) is not necessarily generated by l^p\ell^p coefficients. Hence we often hope that V_p(F)V_p(\Phi) itself is closed, i.e., a Banach space. For p 1 2p\ne 2, this issue is complicated, but we show that under the appropriate conditions on the frame vectors, there is an equivalence between the concept of pp-frames, Banach frames, and the closedness of the space they generate. The relation between a function f ? V_p(F)f \in V_p(\Phi) and the coefficients of its representations is neither obvious, nor unique, in general. For the case of pp-frames, we are in the context of normed linear spaces, but we are still able to give a characterization of pp-frames in terms of the equivalence between the norm of ff and an l^p\ell^p-norm related to its representations. A Banach frame does not have a dual Banach frame in general, however, for the shift invariant spaces V_p(F)V_p(\Phi), dual Banach frames exist and can be constructed.     

Nonnegative functions in weighted hardy spaces

Let W be a nonnegative summable function whose logarithm is also summable with respect to the Lebesgue measure on the unit circle. For 0?<?p?<?∞ , H^p (W) denotes a weighted Hardy space on the unit circle. When W?≡?1, H ^p(W) is the usual Hardy space H^p . We are interested in H^p ( W)₊ the set of all nonnegative functions in H^p ( W). If p?≥?1/2, H^p ₊ consists of constant functions. However H^p ( W)₊ contains a nonconstant nonnegative function for some weight W. In this paper, if p?≥?1/2 we determine W and describe H^p ( W)₊ when the linear span of H^p ( W)₊ is of finite dimension. Moreover we show that the linear span of H^p (W)₊ is of infinite dimension for arbitrary weight W when 0?<?p?<?1/2.     

The behaviour of microstructures with small shears of the austenite-martensite interface in martensitic phase transformations

Let W ì \BbbR²\Omega \subset \Bbb{R}^2 denote a bounded domain whose boundary ?W\partial \Omega is Lipschitz and contains a segment G₀\Gamma_0 representing the austenite-twinned martensite interface. We prove inf_{u ? W(W)} ò_W j(?u(x,y))dxdy=0\displaystyle{\inf_{{u\in \cal W}(\Omega)} \int_\Omega \varphi(\nabla u(x,y))dxdy=0}     

On an Approximate Solution of the Dirichlet Problem for the Generalized Laplacian

For an arbitrary differential operator P of order p on an open set X ? R ⁿ, the Laplacian is defined by Δ = P*P. It is an elliptic differential operator of order 2p provided the symbol mapping of P is injective. Let O be a relatively compact domain in X with smooth boundary, and B_j(j = 0…,p — 1) be a Dirichlet system of order p ? 1 on ?O. By {C_j} we denote the Dirichlet system on ?O adjoint for {B_j} with respect to the Green formula for P. The Hardy space H²(O) is defined to consist of all the solutions f of Δf = 0 in O of finite order of growth near the boundary such that the weak boundary values of the expression {B_jf} and {C_j(Pf)} belong to the Lebesgue space L²(?O). Then the Dirichlet problem consists of finding a solution f ? H²(O) with prescribed data {B_jf} on ?O. We develop the classical Fischer-Riesz equations method to derive a solvability condition of the Dirichlet problem as well as an approximate formula for solutions.     

A general framework of compactly supported splines and wavelets

Let {V_k} be a nested sequence of closed subspaces that constitute a multiresolution analysis of L²( ). We characterize the family Φ = {φ} where each φ generates this multiresolution analysis such that the two-scale relation of φ is governed by a finite sequence. In particular, we identify the ε Φ that has minimum support. We also characterize the collection Ψ of functions η such that each η generates the orthogonal complementary subspaces W_k of V_k, . In particular, the minimally supported ψ ε Ψ is determined. Hence, the “B-spline” and “B-wavelet” pair (, ψ) provides the most economical and computational efficient “spline” representations and “wavelet” decompositions of L² functions from the “spline” spaces V_k and “wavelet” spaces W_k, k . A very general duality principle, which yields the dual bases of both {(·−j):j and {η(·−j):j } for any η ε Ψ by essentially interchanging the pair of two-scale sequences with the pair of decomposition sequences, is also established. For many filtering applications, it is very important to select a multiresolution for which both and ψ have linear phases. Hence, “non-symmetric” and ψ, such as the compactly supported orthogonal ones introduced by Daubechies, are sometimes undesirable for these applications. Conditions on linear-phase φ and ψ are established in this paper. In particular, even-order polynomial B-splines and B-wavelets φ_m and ψ_m have linear phases, but the odd-order B-wavelet only has generalized linear phases.     

Spaces of functions of fractional smoothness on an irregular domain

On an irregular domain G ⊂ ℝ ⁿ of a certain type, we introduce spaces of functions of fractional smoothness s > 0. We prove embedding theorems relating these spaces to the Sobolev spaces W _p ^m (G) and Lebesgue spaces L _p (G).     

General Wentzell Boundary Conditions and Analytic Semigroups on W 1, p (0, 1)

We are concerned with the analyticity of the (C ₀) semigroups generated by the realizations of the Laplacian Δu:=u″ in the spaces C[0, 1] and W ^{1, p} (0, 1) with the general Wentzell boundary conditions Δu(j)+β ^ju″(j)+γ _ju(j)=0 for j=0,1. Here 1<p<∞ and β _j , γ _j are arbitrary complex numbers for j=0,1.     

Spectral Approximation and Index for Convolution Type Operators on Cones on L^{p}(\mathbb {R}^2)

We consider an algebra of operator sequences containing, among others, the approximation sequences to convolution type operators on cones acting on L^p(\mathbb R²)L^{p}(\mathbb {R}^2), with 1 < p < ∞. To each operator sequence (A_n) we associate a family of operators W_x(A_n) ? L(L^p(\mathbb R²))W_{x}(A_{n}) \in \mathcal {L}(L^{p}(\mathbb {R}^2)) parametrized by x in some index set. When all W_x(A_n) are Fredholm, the so-called approximation numbers of A_n have the α-splitting property with α being the sum of the kernel dimensions of W_x(A_n). Moreover, the sum of the indices of W_x(A_n) is zero. We also show that the index of some composed convolution-like operators is zero. Results on the convergence of the e\epsilon-pseudospectrum, norms of inverses and condition numbers are also obtained.     

Orlicz-Hardy spaces and their duals

We establish the theory of Orlicz-Hardy spaces generated by a wide class of functions.The class will be wider than the class of all the N-functions.In particular,we consider the non-smooth atomic decomposition.The relation between Orlicz-Hardy spaces and their duals is also studied.As an application,duality of Hardy spaces with variable exponents is revisited.This work is different from earlier works about Orlicz-Hardy spaces H(Rn)in that the class of admissible functions is largely widened.We can deal with,for example,(r)≡(rp1(log(e+1/r))q1,0r 6 1,rp2(log(e+r))q2,r1,with p1,p2∈(0,∞)and q1,q2∈(.∞,∞),where we shall establish the boundedness of the Riesz transforms on H(Rn).In particular,is neither convex nor concave when 0p11p2∞,0p21p1∞or p1=p2=1 and q1,q20.If(r)≡r(log(e+r))q,then H(Rn)=H(logH)q(Rn).We shall also establish the boundedness of the fractional integral operators I of order∈(0,∞).For example,I is shown to be bounded from H(logH)1./n(Rn)to Ln/(n.)(log L)(Rn)for 0n.     

Commutators of the fractional maximal function on variable exponent Lebesgue spaces

Let \({M_\beta }\) be the fractional maximal function. The commutator generated by \({M_\beta }\) and a suitable function b is defined by \([{M_\beta },b]f = {M_\beta }(bf) - b{M_\beta }(f)\) . Denote by P(? ⁿ ) the set of all measurable functions p(·): ? ⁿ → [1,∞) such that $1 < p_ - : = \mathop {es\sin fp(x)}\limits_{x \in \mathbb{R}^n } andp_ + : = \mathop {es\operatorname{s} \sup p(x) < \infty }\limits_{x \in \mathbb{R}^n } ,$ and by B(? ⁿ ) the set of all p(·) ∈ P(? ⁿ ) such that the Hardy-Littlewood maximal function M is bounded on L ^p(·)(? ⁿ ). In this paper, the authors give some characterizations of b for which \([{M_\beta },b]\) is bounded from L ^p(·)(? ⁿ ) into L ^q(·)(? ⁿ ), when p(·) ∈ P(? ⁿ ), 0 < β < n/p ₊ and 1/q(·) = 1/p(·) ? β/n with q(·)(n ? β)/n ∈ B(? ⁿ ).     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

Равносходимость разложений в кратный ряд и интеграл фурье, «прямоугольные частичные суммы» которых рассматриваются по некоторой подпоследовательности

In this paper we investigate the problem of the equiconvergence on T ^N = [-π, π) ^N of the expansions in multiple trigonometric series and Fourier integral of functions f ∈ L _p (T ^N ) and g ∈ L _p (? ^N ), where p > 1, N ≥ 3, g(x) = f(x) on T ^N , in the case when the “rectangular partial sums” of the indicated expansions, i.e.,– _n (x; f) and J _α(x; g), respectively, have indices n ∈ ? ^N and α ∈ ? ^N (n _j = [α _j ], j = 1,...,N, [t] is the integer part of t ∈ ?¹), in those certain components are the elements of “lacunary sequences”.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Interpolation of operators of weak type (ϕ, ϕ)

Considering the measurable and nonnegative functions ? on the half-axis [0, ∞) such that ?(0) = 0 and ?(t) → ∞ as t → ∞, we study the operators of weak type (?, ?) that map the classes of ?-Lebesgue integrable functions to the space of Lebesgue measurable real functions on ?ⁿ. We prove interpolation theorems for the subadditive operators of weak type (?₀, ?₀) bounded in L _∞(?ⁿ) and subadditive operators of weak types (?₀, ?₀) and (?₁, ?₁) in L _?(? ⁿ ) under some assumptions on the nonnegative and increasing functions ?(x) on [0, ∞). We also obtain some interpolation theorems for the linear operators of weak type (?₀, ?₀) bounded from L _∞(?ⁿ) to BMO(? ⁿ). For the restrictions of these operators to the set of characteristic functions of Lebesgue measurable sets, we establish some estimates for rearrangements of moduli of their values; deriving a consequence, we obtain a theorem on the boundedness of operators in rearrangement-invariant spaces.