On local summability of Riesz potentials in the case Reα>0

The rangeI ^α (L _p ) of the Riesz potential operator, defined in the sense of distributions in the casep≥n/α, is shown to consist of regular distributions. Moreover, it is shown thatI ^α (L _p ) ?L _p ^loc (R ⁿ ) for all 1≤p<∞ and 0<α<∞. The distribution space used is that of Lizorkin, which is invariant with respect to the Riesz operator.     

The Exact Value of Normal Structure Coefficients and WCS coefficients in a Class of Orlicz Function Spaces

Let φ be an N-function. Then the normal structure coefficients N and the weakly convergent sequence coefficients WCS of the Orlicz function spaces L ^φ[0, 1] generated by φ and equipped with the Luxemburg and Orlicz norms have the following exact values. (i) If F _φ(t) = t _?(t)/φ(t) is decreasing and 1 < C _φ < 2 (where \(C_\Phi = \lim _{t \to + \infty } t\varphi (t)/\Phi (t)\)), then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1?1/Cφ. (ii) If F _φ(t) is increasing and C _φ > 2, then N(L ^(φ)[0, 1]) = N(L ^φ[0, 1]) = WCS(L ^(φ)[0, 1]) = WCS(L ^φ[0, 1]) = 2^1/Cφ.     

Greedy bases in L p spaces

We consider a weighted L ^p space L ^p (w) with a weight function w. It is known that the Haar system H _p normalized in L ^p is a greedy basis of L ^p , 1 < p < ∞. We study a question of when the Haar system H _p ^w normalized in L ^p (w) is a greedy basis of L ^p (w), 1 < p < ∞. We prove that if w is such that H _p ^w is a Schauder basis of L ^p (w), then H _p ^w is also a greedy basis of L ^p (w), 1 < p < ∞. Moreover, we prove that a subsystem of the Haar system obtained by discarding finitely many elements from it is a Schauder basis in a weighted norm space L ^p (w); then it is a greedy basis.     

Moments of square-integrable functions

This paper is motivated by [2], where we have given necessary and sufficient conditions for a given basis P in the space of polynomials to be orthogonal with respect to the measure ϱdφ for a certain function ϱ ϵ L₂(dφ). Let P = {p_i: i = 0, 1, …}, p₀ = 1. Then the conditions are (1) a multivariate analog of the three-term recurrence relation holds, see Section 4 for details; and (2) {q_i = ∑_{j = 0}^∞ c_ij P_j, i = 0, 1, …} is a φ-orthonormal basis in the space of polynomials for some coefficients c_ij such that ∑_{i = 0}^∞ c_i0² <-∞. This paper provides an algebraic condition (a condition on the coefficients c_i0) such that ϱ satisfies ∥p∥ <B, Bϵ (0, ∞], and has a cone-positivity property. In particular, our results imply that ϱ is nonnegative a.e. if ∑_{i = 0}^∞ c_i0² < ∞ and ∑_{jϵ Sk} c_j0 q_j defines nonnegative polynomials for certain finite sets S₁, S₂, … of integers.     

Fractional Covers for Convolution Products

A non-zero vector-valued sequence u ∈ ?^q(X′) is a cover for a subset M of ?_P(X) if, for some 0 < α ≤ 1, ∥u * h∥ _∞ ≥ α ∥u∥_q ∥h∥_p for all h ∈ M. Covers of ?¹ = ?¹(R) are important in worst case system identification in ?¹ and in the reconstruction of elements in a normed space from corrupted functional values. We investigate the existence of covers for certain naturally occurring subspaces of ?^p(X). We show that there exist finitely supported covers for some subspaces, and obtain lower bounds for their ’lengths’. We also obtain similar results for covers associated with convolution products for spaces of measurable vector-valued functions defined on the positive real axis.     

Interpolation and duality of generalized grand Morrey spaces on quasi-metric measure spaces

Let θ ∈ (0, 1), λ ∈ [0, 1) and p, p ₀, p ₁ ∈ (1,∞] be such that (1 ? θ)/p ₀ + θ/p ₁ = 1/p, and let φ, φ₀, φ₁ be some admissible functions such that φ, φ₀ ^p/p0 and φ₁ ^p/p1 are equivalent. We first prove that, via the ± interpolation method, the interpolation L _φ0 ^p0),λ (X), L _φ1 ^{p1), λ} (X), θ> of two generalized grand Morrey spaces on a quasi-metric measure space X is the generalized grand Morrey space L _φ ^p),λ (X). Then, by using block functions, we also find a predual space of the generalized grand Morrey space. These results are new even for generalized grand Lebesgue spaces.     

Series by Haar system with monotone coefficients

Let χ = {χ _n } _n=0 ^∞ be the Haar system normalized in L ²(0, 1) and M = {M _s } _s=1 ^∞ be an arbitrary, increasing sequence of nonnegative integers. For any subsystem of χ of the form {φ _k } = χS = {χ _n } _n∈S , where S = S(M) = {n _k } _k=1 ^∞ = {n ∈ V[p]: p ∈ M}, V[0] = {1, 2} and V[p] = {2 ^p + 1, 2 ^p + 2, …, 2 ^p+1} for p = 1, 2, … a series of the form Σ _i=1 ^∞ a _i φ _i with a _i ↘ 0 is constructed, that is universal with respect to partial series in all classes L ^r (0, 1), r ∈ (0, 1), in the sense of a.e. convergence and in the metric ofL ^r (0, 1). The constructed series is universal in the class of all measurable, finite functions on [0, 1] in the sense of a.e. convergence. It is proved that there exists a series by Haar system with decreasing coefficients, which has the following property: for any ? > 0 there exists a measurable function µ(x), x ∈ [0, 1], such that 0 ≤ µ(x) ≤ 1 and |{x ∈ [0, 1], µ(x) ≠ = 1}| < ?, and the series is universal in the weighted space L _µ[0, 1] with respect to subseries, in the sense of convergence in the norm of L _µ[0, 1].     

Some Estimates for the Norm of the Bergman Projection on Besov Spaces

In this paper we obtain an estimate of the norm of the Bergman projection from L ^p (D, dλ) onto the Besov space B _p , 1 < p < + ∞. The result is asymptotically sharp when p → + ∞. Further for the case P : L ¹(D, dλ) → B ₁, we consider some weak type inequalities with the corresponding spaces.     

On Jodeit’s multiplier extension theorems

Let Δ(x) = max {1 - ¦x¦, 0} for all x ∈ ?, and let ξ_[0,1) be the characteristic function of the interval 0 ≤x < 1. Two seminal theorems of M. Jodeit assert that A and ξ_[0,1) act as summability kernels convertingp-multipliers for Fourier series to multipliers forL ^P (?). The summability process corresponding to Δ extendsL ^P (T)-multipliers from ? to ? by linearity over the intervals [n, n + 1],n ∈ ?, when 1 ≤p < ∞, while the summability process corresponding to ξ_[0,1) extends L^P(T)-multipliers by constancy on the intervals [n, n + 1),n ∈ ?, when 1 <p < ∞. We describe how both these results have the following complete generalization: for 1 ≤p < ∞, an arbitrary compactly supported multiplier forL ^P (?) will act as a summability kernel forL ^P (T)-multipliers, transferring maximal estimates from L^P(T) to L^P(?). In particular, specialization of this maximal theorem to Jodeit’s summability kernel ξ_{[0, 1)} provides a quick structural way to recover the fact that the maximal partial sum operator on L^P(?), 1 <p < ∞, inherits strong type (p,p)-boundedness from the Carleson-Hunt Theorem for Fourier series. Another result of Jodeit treats summability kernels lacking compact support, and we show that this aspect of multiplier theory sets up a lively interplay with entire functions of exponential type and sampling methods for band limited distributions.     

Nikol’skii’s inequality for different metrics and properties of the sequence of norms of the Fourier sums of a function in the Lorentz space

Let (X, Y) be a pair of normed spaces such that X ? Y ? L ₁[0, 1] ⁿ and {e _k } _k be an expanding sequence of finite sets in ? ⁿ with respect to a scalar or vector parameter k, k ∈ ? or k ∈ ? ⁿ . The properties of the sequence of norms $\{ \left\| {S_{e_k } (f)} \right\|x\} _k $ of the Fourier sums of a fixed function f ∈ Y are studied. As the spaces X and Y, the Lebesgue spaces L _p [0, 1], the Lorentz spaces L _p,q [0, 1], L _p,q [0, 1] ⁿ , and the anisotropic Lorentz spaces L _p,q*[0, 1] ⁿ are considered. In the one-dimensional case, the sequence {e _k } _k consists of segments, and in the multidimensional case, it is a sequence of hyperbolic crosses or parallelepipeds in ? ⁿ . For trigonometric polynomials with the spectrum given by step hyperbolic crosses and parallelepipeds, various types of inequalities for different metrics in the Lorentz spaces L _p,q [0, 1] ⁿ and L _p,q*[0, 1] ⁿ are obtained.     

La fonction maximale de Hardy–Littlewood sur une classe d'espaces métriques mesurables

In this Note, we study the behavior of the Hardy–Littlewood maximal function M on cusp manifolds in terms of the growth of the volume of the base space. In particular, we prove that for all 1<p₀<+∞ fixed, there exists such a manifold on which M is bounded on L^p for p>p₀ but not for 1?p<p₀. To cite this article: H.-Q. Li, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Bases of rearrangement invariant spaces

We prove that if E is a rearrangement-invariant space, then a boundedly complete basis exists in E, if and only if one of the following conditions holds: 1) E is maximal and E ≠ L ₁[0, 1]; 2) a certain (any) orthonormal system of functions from L _∞[0, 1], possessing the properties of the Schauder basis for the space of continuous on [0, 1] functions with the norm L _∞, represents a boundedly complete basis in E. As a corollary, we state the following assertion: Any (certain) orthonormal system of functions from L _∞[0, 1], possessing the properties of the Schauder basis for the space of continuous on [0, 1] functions with the norm L _∞, represents a spanning basis in a separable rearrangement-invariant space E, if and only if the adjoint space E* is separable. We prove that in any separable rearrangement-invariant space E the Haar system either forms an unconditional basis, or a strongly conditional one. The Haar system represents a strongly conditional basis in a separable rearrangement-invariant space, if and only if at least one of the Boyd indices of this space is trivial.     

On complementability of subspaces in symmetric spaces with the Kruglov property

We show that, for a broad class of symmetric spaces on [0, 1], the complementability of the subspace generated by independent functions f _k (k = 1, 2,…) is equivalent to the complementability of the subspace generated by the disjoint translates $\bar f_k (t) = f_k (t - k + 1)\chi _{[k - 1,k]} (t)$ of these functions in some symmetric space Z _X ² on the semiaxis [0,∞). Moreover, if Σ _k=1 ^∞ m(supp f _k ) ? 1, then Z _X ² can be replaced by X itself. This result is new even in the case of L _p -spaces. A series of consequences is obtained; in particular, for the class of symmetric spaces, a result similar to a well-known theorem of Dor and Starbird on the complementability in L _p [0, 1] (1 ? p < ∞) of the subspace [f _k ] generated by independent functions provided that it is isomorphic to the space l _p is obtained.     

On compactness of the difference of composition operators

Let φ and ψ be analytic self-maps of the unit disc, and denote by C_φ and C_ψ the induced composition operators. The compactness and weak compactness of the difference T=C_φ−C_ψ are studied on H^p spaces of the unit disc and L^p spaces of the unit circle. It is shown that the compactness of T on H^p is independent of p∈[1,∞). The compactness of T on L¹ and M (the space of complex measures) is characterized, and examples of φ and ψ are constructed such that T is compact on H¹ but non-compact on L¹. Other given results deal with L^∞, weakly compact counterparts of the previous results, and a conjecture of J.E. Shapiro.     

Pointwise estimates for the fundamental solutions of a class of singular parabolic problems

We deal with the Cauchy problem associated to a class of quasilinear singular parabolic equations with L ^∞ coefficients whose prototypes are the p-Laplacian (2N/(N + 1) < p < 2) and the porous medium equation (((N ? 2)/N)₊ < m < 1). We prove existence of and sharp pointwise estimates from above and from below for the fundamental solutions. Our results can be extended to general non-negative L ¹ initial data.     

Some properties of the injective tensor product of L[0,1] and a Banach space

Let X be a (real or complex) Banach space and 1<p,p′<∞ such that 1/p+1/p′=1. Then , the injective tensor product of L^p[0,1] and X, has the Radon-Nikodym property (resp. the analytic Radon-Nikodym property, the near Radon-Nikodym property, contains no copy of c₀, is weakly sequentially complete) if and only if X has the same property and each continuous linear operator from L^p′[0,1] to X is compact.     

The Presentation Problem of the Conjugate Cone of the Hardy Space Hp (0 < p ≤ 1)

The Hardy space Hpis not locally convex if 0 < p < 1, even though its conjugate space(Hp) separates the points of Hp. But then it is locally p-convex, and its conjugate cone(Hp) p is large enough to separate the points of Hp. In this case, the conjugate cone can be used to replace its conjugate space to set up the duality theory in the p-convex analysis. This paper deals with the representation problem of the conjugate cone(Hp) p of Hpfor 0 < p ≤ 1, and obtains the subrepresentation theorem(Hp) p L∞(T, C p).     

Biharmonic problem in exterior domains

We study here a biharmonic equation in an exterior domain of $\text{R}{}^{\mathrm{n}}$. We give in L^p theory, with 1<p<∞ existence, uniqueness and regularity results. To cite this article: C. Amrouche, M. Fontes, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Approximation from shift-invariant spaces

We give sufficient conditions on a single function ? so that the principal shift-invariant space generated by ? provides a prescribed order of approximation inL _p (R ^d ), 1<p<∞, and inH _p (R ^d ), 0<p≤1. In particular, our conditions are given in terms of $\hat \varphi$ and are satisfied even when ? does not decay quickly at infinity.