On the Fréchet space L p −

This paper contains a study of the structure of the Fréchet space L _p ⁻, 1< p ≤∞, defined as the intersection of L _q [0,1] for q<p, and endowed with the projective topology. The main topics covered are: normable, Schwartz and nuclear subspaces of L _p ⁻; construction of uncomplemented copies of ?₂ inside L _p ⁻ for p<2; construction of Montel non-Schwartz subspaces; the space L _p ⁻ is primary. Received: 30 October 1996 / Revised version: 1 February 1998     

On a question of Brezis and Marcus

Motivated by a question of Brezis and Marcus, we show that the L^p–Hardy inequality involving the distance to the boundary of a convex domain, can be improved by adding an L^q norm q ≥ p, with a constant depending on the interior diameter of Ω.     

Local geometry of L 1 ν L ∞ and L 1+L ∞

Extreme points of the unit sphere S (L ¹+L ^∞ ) of LL ¹+L ^∞ under the classical norm used in the interpolation theory were characterized in [8] and [11], while extreme points of S(L ¹ ∩ L ^∞) under the classical norm were characterized in [7]. In this paper extreme points of the unit sphere of L ¹+L ^∞ and L ¹ ∩ L ^∞ under the “dual” norms are characterized. Moreover, all the extreme points in L ¹ ∩ L ^∞ and L ¹+L ^∞ (under both kinds of norms) are examined if they are exposed, H-points, or strongly exposed. Smooth points in both these spaces for both the norms are also characterized. Finally, it is proved that in general the spaces L ^p +L ^q and L ^p ∩ L ^q are not isometric to Orlicz spaces, provided that 1<p<q<+∞. The paper was written while the first named author was visiting The University of Memphis The third named author is supported by KBN-Grant 2 PO3A 050 09.     

On Hille-Tamarkin operators and Schatten classes

We determine the smallest Schatten class containing all integral operators with kernels inL _p(L_{p', q})^symm, where 2 <p∞ and 1≦q≦∞. In particular, we give a negative answer to a problem posed by Arazy, Fisher, Janson and Peetre in [1]. Supported in part by DGICYT (SAB-90-0033).     

Discrete Calderón’s Identity,Atomic Decomposition and Boundedness Criterion of Operators on Multiparameter Hardy Spaces

In this paper we establish a discrete Calderón’s identity which converges in both L ^q (ℝ ^n+m ) (1<q<∞) and Hardy space H ^p (ℝ ⁿ ×ℝ ^m ) (0<p≤1). Based on this identity, we derive a new atomic decomposition into (p,q)-atoms (1<q<∞) on H ^p (ℝ ⁿ ×ℝ ^m ) for 0<p≤1. As an application, we prove that an operator T, which is bounded on L ^q (ℝ ^n+m ) for some 1<q<∞, is bounded from H ^p (ℝ ⁿ ×ℝ ^m ) to L ^p (ℝ ^n+m ) if and only if T is bounded uniformly on all (p,q)-product atoms in L ^p (ℝ ^n+m ). The similar result from H ^p (ℝ ⁿ ×ℝ ^m ) to H ^p (ℝ ⁿ ×ℝ ^m ) is also obtained.     

On the bestm-term trigonometric and orthogonal trigonometric approximations of functions from the classesL Ψ β,ρ

We obtain estimates exact in order for the best trigonometric and orthogonal trigonometric approximations of the classesL _Ψ^β,ρ of functions of one variable in the spaceL _q in the case 2<p <q < ∞.     

The Cauchy problem for nonhomogeneous Navier-Stokes equations inL q([0,T);L p)

In this paper the Cauchy problem for a class of nonhomogeneous Navier-Stokes equations in the infinite cylinderS _T =ℝⁿ x [0,T) is considered. We construct a unique local solution inL ^q([0,T);L ^p (ℝ ⁿ )) for a class of nonhomogeneous Navier-Stokes equations provided that initial data are inL ^r (ℝ ⁿ ), wherer>1 is an exponent determined by the structure of nonlinear terms andp,q are such that 2/q=n(1/r−1/p). Meanwhile under suitable conditions we also obtain thatu(t)≠L ^q([0,∞];L ^p (ℝ ⁿ )) provided that initial data are sufficiently small. This work is supported by the National Natural Sciences Foundation of China and the Foundation of LNM Laboratory of Institute of Mechanics of the Chinese Academy of Sciences.     

Approximative characteristics of the isotropic classes of periodic functions of many variables

Exact-order estimates are obtained for the best orthogonal trigonometric approximations of the Besov (B _p,θ ^r ) and Nukol’skii (H _p ^r ) classes of periodic functions of many variables in the metric of L _q , 1 ≤ p, q ≤ ∞. We also establish the orders of the best approximations of functions from the same classes in the spaces L ₁ and L _∞ by trigonometric polynomials with the corresponding spectrum.     

Weighted Boundedness for a Class of Rough Multilinear Operators

In this paper we give the (L ^p (ω ^p ), L ^q (ω ^q )) boundedness for a class of multilinear operators, which is simular to the higher-order commutator for the rough fractional integral. In our results the kernel function is merely assumed on a size condition. Received August 21, 2000, Accepted October 24, 2000     

On a Hardy Type General Weighted Inequality in Spaces L p(·)

A Hardy type two-weighted inequality is investigated for the multidimensional Hardy operator in the norms of generalized Lebesgue spaces L ^p(·). Equivalent necessary and sufficient conditions are found for the ${L^{p(\cdot)} \longrightarrow L^{q(\cdot)}}A Hardy type two-weighted inequality is investigated for the multidimensional Hardy operator in the norms of generalized Lebesgue spaces L ^p(·). Equivalent necessary and sufficient conditions are found for the L^p(·) ? L^q(·){L^{p(\cdot)} \longrightarrow L^{q(\cdot)}} boundedness of the Hardy operator when exponents q(0) < p(0), q(∞) < p(∞). It is proved that the condition for such an inequality to hold coincides with the condition for the validity of two-weighted Hardy inequalities with constant exponents if we require of the exponents to be regular near zero and at infinity.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

On an inclusion between operator ideals

Let 1 ⩽ q < p < ∞ and 1/r:= 1/p max(q/2, 1). We prove that L _r,p ^(c), the ideal of operators of Gel’fand type l _r,p , is contained in the ideal Π _p,q of (p, q)-absolutely summing operators. For q > 2 this generalizes a result of G. Bennett given for operators on a Hilbert space.     

Weighted Inequalities for the Generalized Maximal Operator in Martingale Spaces

The generalized maximal operator M in martingale spaces is considered. For 1 < p ≤ q < ∞, the authors give a necessary and sufficient condition on the pair ([^(m)]\hat \mu , v) for M to be a bounded operator from martingale space L ^p (v) into L ^q ([^(m)]\hat \mu ) or weak-L ^q ([^(m)]\hat \mu ), where [^(m)]\hat \mu is a measure on Ω × ℕ and v a weight on Ω. Moreover, the similar inequalities for usual maximal operator are discussed.     

A bilinear estimate for biharmonic functions in Lipschitz domains

We show that a bilinear estimate for biharmonic functions in a Lipschitz domain Ω is equivalent to the solvability of the Dirichlet problem for the biharmonic equation in Ω. As a result, we prove that for any given bounded Lipschitz domain Ω in _boxclose^d{\mathbb{R}^{d}} and 1 < q < ∞, the solvability of the L ^q Dirichlet problem for Δ ² u = 0 in Ω with boundary data in WA ^1,q (∂Ω) is equivalent to that of the L ^p regularity problem for Δ ² u = 0 in Ω with boundary data in WA ^2,p (∂Ω), where \frac1p + \frac1q=1{\frac{1}{p} + \frac{1}{q}=1}. This duality relation, together with known results on the Dirichlet problem, allows us to solve the L ^p regularity problem for d ≥ 4 and p in certain ranges.     

Extension theorems for paraboloids in the finite field setting

In this paper we study the L ^p ? L ^r boundedness of the extension operators associated with paraboloids in ${{\mathbb F}_{q}^{d}}In this paper we study the L ^p − L ^r boundedness of the extension operators associated with paraboloids in \mathbb F_q^d{{\mathbb F}_{q}^{d}} , where \mathbbF_q{\mathbb{F}_{q}} is a finite field of q elements. In even dimensions d ≥ 4, we estimate the number of additive quadruples in the subset E of the paraboloids, that is the number of quadruples (x,y,z,w) ? E⁴{(x,y,z,w) \in E^4} with x + y = z+w. As a result, in higher even dimensions, we obtain the sharp range of exponents p for which the extension operator is bounded, independently of q, from L ^p to L ⁴ in the case when −1 is a square number in \mathbbF_q{\mathbb{F}_{q}} . Using the sharp L ^p −L ⁴ result, we improve upon the range of exponents r, for which the L ² − L ^r estimate holds, obtained by Mockenhaupt and Tao (Duke Math 121:35–74, 2004) in even dimensions d ≥ 4. In addition, assuming that −1 is not a square number in \mathbbF_q{\mathbb{F}_{q}}, we extend their work done in three dimension to specific odd dimensions d ≥ 7. The discrete Fourier analytic machinery and Gauss sum estimates make an important role in the proof.     

Recovery of band limited functions via cardinal splines

The main result of this paper asserts that if a function f is in the class B_π,p, 1 <p < ∞; that is, those p-integrable functions whose Fourier transforms are supported in the interval [ - π, π], then f and its derivatives f^(j) j = 1, 2, …, can be recovered from its sampling sequence{f(k)} via the cardinal interpolating spline of degree m in the metric ofL _q(ℝ)), 1 <p=q < ∞, or 11 <p=q < ⩽ ∞.     

On the order of relative approximation of classes of differentiable periodic functions by splines

In the case where n → ∞, we obtain order equalities for the best L _q -approximations of the classes W _p ^r , 1 ≤ q ≤ p ≤ 2, of differentiable periodical functions by splines from these classes.     

Optimal query error of quantum approximation on some Sobolev classes

We study the approximation of the imbedding of functions from anisotropic and general-ized Sobolev classes into Lq([0,1]d) space in the quantum model of computation. Based on the quantum algorithms for approximation of finite imbedding from LpN to LNq , we develop quantum algorithms for approximating the imbedding from anisotropic Sobolev classes B(Wpr ([0,1]d)) to Lq([0,1]d) space for all 1 q,p ∞ and prove their optimality. Our results show that for p < q the quantum model of computation can bring a speedup roughly up to a squaring of the rate in the classical deterministic and randomized settings.     

Free discontinuity problems with unbounded data: The two dimensional case

We prove the existence of a minimizing pair for the functionalG defined for every closed setK ⊂R ² and for every functionu ∈C ¹(ω/K) by where ω is an open set inR ², λ, μ>0,q≥1,g ∈L ^q (ω) ∩L ^p (ω) withp>2q andH ¹ is the 1-dimensional Hausdorff measure.     

The H?lder-Poincaré duality for L q,p -cohomology

We prove the following version of Poincaré duality for reduced L _q,p -cohomology: For any 1 < q, p < ∞, the L _q,p -cohomology of a Riemannian manifold is in duality with the interior L _p',q'-cohomology for 1/p + 1/p′ = 1/q + 1/q′ = 1.