Compact operators which factor through subspaces of lp

Let 1 ≤ p ≤ ∞. A subset K of a Banach space X is said to be relatively p ‐compact if there is an 〈x_n 〉 ∈ l^s _p (X) such that for every k ∈ K there is an 〈α_n 〉 ∈ l_{p ′} such that k = σ^∞_n=1 α_n x_n . A linear operator T: X → Y is said to be p ‐compact if T (Ball (X)) is relatively p ‐compact in Y. The set of all p ‐compact operators K_p (X, Y) from X to Y is a Banach space with a suitable factorization norm κ_p and (K_p , κ_p ) is a Banach operator ideal. In this paper we investigate the dual operator ideal (K^d _p , κ^d _p ). It is shown that κ^d _p (T) = π_p (T) for all T ∈ B (X, Y) if either X or Y is finite‐dimensional. As a consequence it is proved that the adjoint ideal of K^d _p is I_{p ′}, the ideal of p ′‐integral operators. Further, a composition/decomposition theorem K^d _p = Π_p K is proved which also yields that (Π^min _p )^inj = K^d _p . Finally, we discuss the density of finite rank operators in K^d _p and give some examples for different values of p in this respect. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Atomic decompositions of function spaces with Muckenhoupt weights,and some relation to fractal analysis

This paper deals with atomic decompositions in spaces of type B^s_p,q (?ⁿ , w), F^s_p,q (?ⁿ , w), 0 < p < ∞, 0 < q ≤ ∞, s ∈ ?, where the weight function w belongs to some Muckenhoupt class A_r. In particular, we consider the weight function w^Γ_κ (x) = dist(x, Γ)^κ, where Γ is some d ‐set, 0 < d < n, and κ > –(n – d). (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Function spaces of varying smoothness I

This paper deals with function spaces of varying smoothness. It is a modified version of corresponding parts of [8]. Corresponding spaces of positive smoothness s (x) will be considered in part II. We define the spaces B_p (?ⁿ ), where the function ??: x ? s (x) is negative and determines the smoothness pointwise. First we prove basic properties and then we use different wavelet decompositions to get information about the local smoothness behavior. The main results are characterizations of the spaces B_p (?ⁿ ) by weighted sequence space norms of the wavelet coefficients. These assertions are used to prove an interesting connection to the so‐called two‐microlocal spaces C^{s,s ′} (x⁰). (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Herz spaces and restricted summability of Fourier transforms and Fourier series

A general summability method, the so-called θ-summability is considered for multi-dimensional Fourier transforms and Fourier series. A new inequality for the Hardy-Littlewood maximal function is verified. It is proved that if the Fourier transform of θ is in a Herz space, then the restricted maximal operator of the θ-means of a distribution is of weak type (1,1), provided that the supremum in the maximal operator is taken over a cone-like set. From this it follows that over a cone-like set a.e. for all f∈L₁(Rd). Moreover, converges to f(x) over a cone-like set at each Lebesgue point of f∈L₁(Rd) if and only if the Fourier transform of θ is in a suitable Herz space. These theorems are extended to Wiener amalgam spaces as well. The Riesz and Weierstrass summations are investigated as special cases of the θ-summation.     

Fourier multipliers on power‐weighted Hardy spaces

Using Herz spaces, we obtain a sufficient condition for a bounded measurable function on ?ⁿ to be a Fourier multiplier on H^p_α (?ⁿ ) for 0 < p < 1 and –n < α ≤ 0. Our result is sharp in a certain sense and generalizes a recent result obtained by Baernstein and Sawyer. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Multipliers of classes of cauchy transforms

The analytic map g on the unit disk D is said to induce a multiplication operator L from the Banach space X to the Banach space Y if L(f)=f·g∈Y for all f∈X. For z ∈ D and α>0 the families of weighted Cauchy transforms F_α are defined by ?(z) = ∫_T K_x ^α (z)dμ(x) where μ(x) is complex Borel measures, x belongs to the unit circle T and the kernel K_x (z) = (1- xz)^?1. In this article we will explore the relationship between the compactness of the multiplication operator L acting on F ₁ and the complex Borel measures μ(x). We also give an estimate for the essential norm of L     

Weyl quantization of Lebesgue spaces

We study boundedness and compactness properties for the Weyl quantization with symbols in L^q (?^2d ) acting on L^p (?^d ). This is shown to be equivalent, in suitable Banach space setting, to that of the Wigner transform. We give a short proof by interpolation of Lieb's sufficient conditions for the boundedness of the Wigner transform, proving furthermore that these conditions are also necessary. This yields a complete characterization of boundedness for Weyl operators in L^p setting; compactness follows by approximation. We extend these results defining two scales of spaces, namely L_*^q (?^2d ) and L_?^q (R^2d ), respectively smaller and larger than the L^q (?^2d ),and showing that the Weyl correspondence is bounded on L_*^q (R^2d ) (and yields compact operators), whereas it is not on L_?^q (R^2d ). We conclude with a remark on weak‐type L^p boundedness (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Embedding vector‐valued Besov spaces into spaces of γ ‐radonifying operators

It is shown that a Banach space E has type p if and only for some (all) d ≥ 1 the Besov space B^{(1/p – 1/2)d} _p,p (?^d ; E) embeds into the space γ (L²(?^d ), E) of γ ‐radonifying operators L²(?^d ) → E. A similar result characterizing cotype q is obtained. These results may be viewed as E ‐valued extensions of the classical Sobolev embedding theorems. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Σ1-definable Functions Provably Total in I ∏

We prove the following theorem: Let φ(x) be a formula in the language of the theory PA^? of discretely ordered commutative rings with unit of the form ?yφ′(x,y) with φ′ and let ∈ Δ₀ and let fφ: ? → ? such that f_φ(x) = y iff φ′(x,y) & (?z < y) φ′(x,z). If I ∏ ∈(?x ≥ 0), φ then there exists a natural number K such that I ∏ ? ?y?x(x > y ? ?φ(x) < x^K). Here I ∏₁^? denotes the theory PA^? plus the scheme of induction for formulas φ(x) of the form ?yφ′(x,y) (with φ′) with φ′ ∈ Δ₀.     

Marcinkiewicz-summability of multi-dimensional Fourier transforms and Fourier series

A generalization of Marcinkiewicz-summability of multi-dimensional Fourier transforms and Fourier series is investigated with the help of a continuous function θ. Under some weak conditions on θ we show that the maximal operator of the Marcinkiewicz-θ-means of a tempered distribution is bounded from Hp(Xd) to Lp(Xd) for all d/(d+α)<p?∞ and, consequently, is of weak type (1,1), where 0<α?1 is depending only on θ and X=R or X=T. As a consequence we obtain a generalization of a summability result due to Marcinkiewicz and Zhizhiashvili for d-dimensional Fourier transforms and Fourier series, more exactly, the Marcinkiewicz-θ-means of a function f∈L₁(Xd) converge a.e. to f. Moreover, we prove that the Marcinkiewicz-θ-means are uniformly bounded on the spaces Hp(Xd) and so they converge in norm (d/(d+α)<p<∞). Similar results are shown for conjugate functions. Some special cases of the Marcinkiewicz-θ-summation are considered, such as the Fejér, Cesàro, Weierstrass, Picar, Bessel, de La Vallée-Poussin, Rogosinski and Riesz summations.     

Spherical Maximal Operators on Radial Functions

Let A_tf(x) denote the mean of f over a sphere of radius t and center x. We prove sharp estimates for the maximal function M_E f(X) = sup_t∈_E |Atf(x)| where E is a fixed set in IR⁺ and f is a radial function ∈ L^p(IR^d). Let P_d = d/(d?1) (the critical exponent for Stein's maximal function). For the cases (i) p < p_d, d ? 2, and (ii) p = p_d, d ? 3, and for p ? q ? ∞ we prove necessary and sufficient conditions on E for M_E to map radial functions in L^p to the Lorentz space L^P,q.     

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)     

Boundedness in nonlinear oscillations

In this paper, the boundedness of all solutions of the nonlinear differential equation (φ_p(x′))′ + αφ_p(x⁺) – βφ_p(x^–) + f(x) = e(t) is studied, where φ_p(u) = |u|^p–2 u, p ≥ 2, α, β are positive constants such that = 2w^–1 with w ∈ ?⁺\?, f is a bounded C⁵ function, e(t) ∈ C⁶ is 2π_p‐periodic, x⁺ = max{x, 0}, x^– = max{–x, 0}. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Taylor Coefficients of Entire Functions Integrable against Exponential Weights

In this paper we shall analyze the Taylor coefficients of entire functions integrable against where dσ stands for the Lebesgue measure on the plane and p ∈ ℕ, as well as the Taylor coefficients of entire functions in some weighted sup–norm spaces.     

On extensions of some Flugede–Putnam type theorems involving (p,k)‐quasihyponormal,spectral, and dominant operators

A Hilbert space operator S is called (p, k)‐quasihyponormal if S *^k ((S *S)^p – (SS *)^p )S^k ≥ 0 for an integer k ≥ 1 and 0 < p ≤ 1. In the present note, we consider (p, k)‐quasihyponormal operator S ∈ B (H) such that SX = XT for some X ∈ B (K,H) and prove the Fuglede–Putnam type theorems when the adjoint of T ∈ B (K) is either (p, k)‐quasihyponormal or dominant or a spectral operator (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nonstationary Stokes system in weighted Sobolev spaces

We consider an initial‐boundary value problem for nonstationary Stokes system in a bounded domain Omega??³ with slip boundary conditions. We assume that Ω is crossed by an axis L. Let us introduce the following weighted Sobolev spaces with finite norms: and where ?(x) = dist{x, L}. We proved the result. Given the external force f∈L_{2, ?µ}(Ω^T), initial velocity v₀∈H(Ω), µ∈?₊\? there exist velocity v∈H(Ω^T) and the pressure p, ?p∈L_{2, ?µ}(Ω^T) and a constant c, independent of v, p, f, such that As we consider the Stokes system in weighted Sobolev spaces the following two things must be used:

• 1. the slip boundary condition and
• 2. the Helmholtz–Weyl decomposition.

Copyright © 2010 John Wiley & Sons, Ltd.     

Characterising the Accuracy of Multivariable Refinable Functions via the Symbol Function

Suppose that f(x) = (f ₁(x),...,f _r (x)) ^T , x∈R ^d is a vector-valued function satisfying the refinement equation f(x) = ∑_Λ c _κ f(2x−κ) with finite set Λ of Z ^d and some r×r matricex c _κ. The requirements for f to have accuracy p are given in terms of the symbol function m(ξ). Supported by NSFC     

Riemann summability of multi-dimensional trigonometric-fourier series

The d-dimensional classical Hardy spaces H_p(T ^d) are introduced and it is shown that the maximal operator of the Riemann sums of a distribution is bounded from H_p(T ^d) to L_p(T ²) (d/(d+1)<p≤∞) and is of weak type (1,1) provided that the supremum in the maximal operator is taken over a positive cone. The same is proved for the conjugate Riemann sums. As a consequence we obtain that every function f∈L₁(T ^d) is a. e. Riemann summable to f, provided again that the limit is taken over a positive cone. This research was partly supported by the Hungarian Scientific Research Funds (OTKA) No F019633.     

A Characterization of Hardy Spaces Associated with Certain Schrödinger Operators

Let {K _t } _t>0 be the semigroup of linear operators generated by a Schrödinger operator ?L = Δ ? V (x) on ? ^d , d ≥ 3, where V (x) ≥ 0 satisfies Δ ^?1 V ∈ L ^∞. We say that an L ¹-function f belongs to the Hardy space \({H^{1}_{L}}\) if the maximal function ? _L f (x) = sup _t>0 |K _t f (x)| belongs to L ¹ (? ^d ). We prove that the operator (?Δ)^1/2 L ^?1/2 is an isomorphism of the space \({H^{1}_{L}}\) with the classical Hardy space H ¹(? ^d ) whose inverse is L ^1/2(?Δ)^?1/2. As a corollary we obtain that the space \({H^{1}_{L}}\) is characterized by the Riesz transforms \(R_{j}=\frac {\partial }{\partial x_{j}}L^{-1\slash 2}\) .