The algebraA p((0, ∞)) and its multipliers

LetI =xεR: 0≤x≤∞ be the locally compact semigroup with addition as binary operation and the usual interval topology. The purpose of this note is to study the algebraA _p(I) of elements inL ₁(I) whose Gelfand transforms belong toL _p(Î), whereÎ denotes maximal ideal space ofL ₁(I). The multipliers ofA _p(I) have also been identified.     

Bessel sequences as projections of orthogonal systems

We prove generalizations of the Schur and Olevskii theorems on the continuation of systems of functions from an interval I to orthogonal systems on an interval J, I ? J. Only Bessel systems in L ²(I) are projections of orthogonal systems from the wider space L ²(J). This fact allows us to use a certain method for transferring the classical theorems on the almost everywhere convergence of orthogonal series (the Men’shov-Rademacher, Paley-Zygmund, and Garcia theorems) to series in Bessel systems. The projection of a complete orthogonal system from L ²(J) onto L ²)(I) is a tight frame, but not a basis.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

On the divergence of expansions in systems of root functions of the Sturm-Liouville operator with degenerate boundary conditions

We consider the spectral problem generated by the Sturm-Liouville operator with an arbitrary complex-valued potential q(x) ?? L ₁(0, ??) and with degenerate boundary conditions. We show that, under some additional condition, the system of root functions of that operator is not a basis in the space L ₂(0, ??).     

Compactness and invariance properties of evolution operators associated with Kolmogorov operators with unbounded coefficients

In this paper we consider nonautonomous elliptic operators A with nontrivial potential term defined in I×Rd, where I is a right-halfline (possibly I=R). We prove that we can associate an evolution operator (G(t,s)) with A in the space of all bounded and continuous functions on Rd. We also study the compactness properties of the operator G(t,s). Finally, we provide sufficient conditions guaranteeing that each operator G(t,s) preserves the usual Lp-spaces and C₀(Rd).     

Weighted Weierstrass' theorem with first derivatives

We characterize the set of functions which can be approximated by continuous functions with the norm ‖f_‖L^∞(w) for every weight w. This fact allows to determine the closure of the space of polynomials in L^∞(w) for every weight w with compact support. We characterize as well the set of functions which can be approximated by smooth functions with the norm

‖f_‖W1,∞(w₀,w₁):=‖f_‖L^∞(w₀)+‖f^′_‖L^∞(w₁),     

The annihilator of Bergman space

LetD be a bounded plane domain (with some smoothness requirements on its boundary). LetB _p(D), 1≤p<∞, be the Bergmanp-space ofD. In a previous paper we showed that the “natural projection”P, involving the Bergman kernel forD, is a bounded projection fromL _p(D) ontoB _p(D), 1<p<∞. With this we have the decompositionL _p(D)=B _p(D)⊕B _q ^⊥ (D,p ^–1+q ^–=1, 1<p< ∞. Here, we show that the annihilatorB _q ^⊥ (D) is the space of allL _p-complex derivatives of functions belonging to Sobolev space and which vanish on the boundary ofD. This extends a result of Schiffer for the casep=2. We also study certain operators onL _p(D). Especially, we show that , whereI is the identity operator and ? is an operator involving the adjoint of the Bergman kernel. Other relationships relevant toB _q ^⊥ (D) are studied.     

On the basis property of root elements of ordinary differential operators in the space L 2,n (a, b)

We study a spectral problem for a system of linear ordinary differential operators in the vector function space L _2,n (a, b) with parameter-dependent boundary conditions. We prove a theorem stating that the system of root functions of the problem is a basis with parentheses in L _2,n (a, b). Corollaries of the theorem are considered.     

Equivalent boundedness of Marcinkiewicz integrals on non-homogeneous metric measure spaces

Let(X,d,μ)be a metric measure space satisfying the upper doubling condition and the geometrically doubling condition in the sense of Hyto¨nen.We prove that the L p(μ)-boundedness with p∈(1,∞)of the Marcinkiewicz integral is equivalent to either of its boundedness from L1(μ)into L1,∞(μ)or from the atomic Hardy space H1(μ)into L1(μ).Moreover,we show that,if the Marcinkiewicz integral is bounded from H1(μ)into L1(μ),then it is also bounded from L∞(μ)into the space RBLO(μ)(the regularized BLO),which is a proper subset of RBMO(μ)(the regularized BMO)and,conversely,if the Marcinkiewicz integral is bounded from L∞b(μ)(the set of all L∞(μ)functions with bounded support)into the space RBMO(μ),then it is also bounded from the finite atomic Hardy space H1,∞fin(μ)into L1(μ).These results essentially improve the known results even for non-doubling measures.     

A counterexample to Wood's conjecture

We prove that if the one-point compactification of a locally compact, noncompact Hausdorff space L is the topological space called pseudoarc, then C₀(L,C) is almost transitive. We also obtain two necessary conditions on a metrizable locally compact Hausdorff space L for C₀(L) being almost transitive.     

On local equivalence of the majorant of partial sums and Paley function of Franklin series

In this paper we prove that the majorant of partial sums and the Paley function of Franklin series have equivalent norms in the space L _p (I), p > 0, provided that the “peak” intervals of Franklin functions with non-vanishing coefficients lie in I. Examples of series emphasizing that this condition is essential are also given.     

Sobolev spaces on an arbitrary metric measure space: Compactness of embeddings

We formulate a new definition of Sobolev function spaces on a domain of a metric space in which the doubling condition need not hold. The definition is equivalent to the classical definition in the case that the domain lies in a Euclidean space with the standard Lebesgue measure. The boundedness and compactness are examined of the embeddings of these Sobolev classes into L _q and C _α . We state and prove a compactness criterion for the family of functions L _p (U), where U is a subset of a metric space possibly not satisfying the doubling condition.     

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.     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Approximation by rational functions in integral metrics and differentiability in the mean

The paper deals with approximations of a functionf of space L_p[0, 1] by rational functions in the metric of this same space (0n(f, p) of functionf of rational functions of degree no higher than n is evidence of the presence inf of derivatives and differentials of a definite order if differentiation is understood as differentiation in the metric of space L_q[0, 1], with 0相似文献   

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.     

On the convergence of the linear means of Jacobi series at Lebesgue points in the case of half-integer α

We investigate the convergence of the linear means of the Fourier-Jacobi series of functions ?(x) from the weight space L _α,β for x = 1 for the case in which this point is a Lebesgue point for ?. We establish su.cient summability conditions depending on the behavior of the function on the closed interval [?1, 0] and on the properties of the matrix involved in the summation method.     

On a new class of boundary value problems for the Sturm-Liouville operator

We consider the spectral problem generated by the Sturm-Liouville operator with complex-valued potential q(x) ∈ L ₂(0, π) and degenerate boundary conditions. We show that the set of potentials q(x) for which there exist associated functions of arbitrarily high order in the system of root functions is everywhere dense in L ₁(0, π).