The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.     

Sobolev–Orlicz inequalities,ultracontractivity and spectra of time changed Dirichlet forms

Let be a regular Dirichlet form on L ²(X,m), μ a positive Radon measure charging no sets of zero capacity and Φ an N-function. We prove that the Sobolev-Orlicz inequality(SOI) for every is equivalent to a capacitary-type inequality. Further we show that if is continuously embedded into L ²(X,μ), the latter one implies some integrability condition, which is nothing else but the classical uniform integrability condition if μ is finite. We also prove that a SOI for yields a Nash-type inequality and if further μ = m and Φ is admissible, it yields the ultracontractivity of the corresponding semigroup. After, in the spirit of SOIs, we derive criteria for to be compactly embedded into L ²(μ), provided μ is finite. As an illustration of the theory, we shall relate the compactness of the latter embedding to the discreteness of the spectrum of the time changed Dirichlet form and shall derive lower bounds for its eigenvalues in term of Φ. This work has been supported by the Deutsche Forschungsgemeinschaft.     

Optimal Lp-Lq-estimates for parabolic boundary value problems with inhomogeneous data

In this paper we investigate vector-valued parabolic initial boundary value problems , subject to general boundary conditions in domains G in with compact C ^2m -boundary. The top-order coefficients of are assumed to be continuous. We characterize optimal L ^p -L ^q -regularity for the solution of such problems in terms of the data. We also prove that the normal ellipticity condition on and the Lopatinskii–Shapiro condition on are necessary for these L ^p -L ^q -estimates. As a byproduct of the techniques being introduced we obtain new trace and extension results for Sobolev spaces of mixed order and a characterization of Triebel-Lizorkin spaces by boundary data.      

On the rate of convergence of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> norms in the CLT for poisson and gamma random variables

In the paper, we present upper bounds of L _p norms of order ( X)^-1/2 for all 1 ≤ p ≤ ∞ in the central limit theorem for a standardized random variable (X− X)/ √ X, where a random variable X is distributed by the Poisson distribution with parameter λ > 0 or by the standard gamma distribution Γ(α, 0, 1) with parameter α > 0. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-70/09.     

The Riemann Hypothesis, the Generalized Riemann Hypothesis, and the Cesáro Operator

A result due to Nyman establishes the equivalence of the Riemann hypothesis with the density of a set of functions in L ²[0, 1]. Here a large class of analytic functions is considered, which includes the Riemann zeta function and the Dirichlet L-functions as well as functions not given by a Dirichlet series. For each such function there is an associated integral operator T on L ²[0, 1] such that has no zeros in Re(s) > 1/2 iff the operator T has dense range iff a specified set of functions is dense in L ²[0, 1].      

Remarks on the nef cone on symmetric products of curves

Let C be a very general curve of genus g and let C ⁽²⁾ be its second symmetric product. This paper concerns the problem of describing the convex cone of all numerically effective -divisors classes in the Néron–Severi space . In a recent work, Julius Ross improved the bounds on in the case of genus five. By using his techniques and by studying the gonality of the curves lying on C ⁽²⁾, we give new bounds on the nef cone of C ⁽²⁾ when C is a very general curve of genus 5 ≤ g ≤ 8. This work has been partially supported by (1) PRIN 2007 “Spazi di moduli e teorie di Lie”; (2) Indam (GNSAGA); (3) FAR 2008 (PV) “Varietá algebriche, calcolo algebrico, grafi orientati e topologici”.     

Harmonic operators: the dual perspective

The study of harmonic functions on a locally compact group G has recently been transferred to a “non-commutative” setting in two different directions: Chu and Lau replaced the algebra L ^∞(G) by the group von Neumann algebra VN(G) and the convolution action of a probability measure μ on L ^∞(G) by the canonical action of a positive definite function σ on VN(G); on the other hand, Jaworski and the first author replaced L ^∞(G) by to which the convolution action by μ can be extended in a natural way. We establish a link between both approaches. The action of σ on VN(G) can be extended to . We study the corresponding space of “σ-harmonic operators”, i.e., fixed points in under the action of σ. We show, under mild conditions on either σ or G, that is in fact a von Neumann subalgebra of . Our investigation of relies, in particular, on a notion of support for an arbitrary operator in that extends Eymard’s definition for elements of VN(G). Finally, we present an approach to via ideals in , where denotes the trace class operators on L ²(G), but equipped with a product different from composition, as it was pioneered for harmonic functions by Willis. M. Neufang was supported by NSERC and the Mathematisches Forschungsinstitut Oberwolfach. V. Runde was supported by NSERC and the Mathematisches Forschungsinstitut Oberwolfach.     

Bivariate Function Spaces and the Embedding of Their Marginal Spaces

For a probability space we denote the marginal measures of , defined on Σ and Λ respectively, by and . If ρ is a function norm defined on marginal function norms ρ₁ and ρ₂ are defined on and . We find conditions which guarantee L_{ρ 1} + L_{ρ 2} to be embedded in L_ρ as a closed subspace. The problem is encountered in Statistics when estimating a bivariate distribution with known marginals. We find a condition which, applied to the binormal distribution in L², improves some known conditions.     

On the Limit Set of Discrete Subgroups of PU(2,1)

Let G be a discrete subgroup of PU(2,1); G acts on preserving the unit ball , equipped with the Bergman metric. Let be the limit set of G in the sense of Chen–Greenberg, and let be the limit set of the G-action on in the sense of Kulkarni. We prove that L(G) = Λ(G) ∩ S ³ and Λ(G) is the union of all complex projective lines in which are tangent to S ³ at a point in L(G).     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Invariants of finite aspherical CW-complexes

Let X be a finite aspherical CW-complex whose fundamental group π ₁(X) possesses a subnormal series with a non-trivial elementary amenable group G ₀. We investigate the L ²-invariants of the universal covering of such a CW-complex X. The main result is the proof of the vanishing of the L ²-torsion under the condition that π ₁(X) has semi-integral determinant. We further show that the Novikov–Shubin invariants are positive.     

Necessary and Sufficient Conditions for the Solvability of the L p Dirichlet Problem on Lipschitz Domains

We study the homogeneous elliptic systems of order $2\ellWe study the homogeneous elliptic systems of order with real constant coefficients on Lipschitz domains in, . For any fixed p > 2, we show that a reverse H?lder condition with exponent p is necessary and sufficient for the solvability of the Dirichlet problem with boundary data in L ^p . We also obtain a simple sufficient condition. As a consequence, we establish the solvability of the L ^p Dirichlet problem for and . The range of p is known to be sharp if and . For the polyharmonic equation, the sharp range of p is also found in the case n = 6, 7 if , and if .Research supported in part by the NSF.     

Optimal Domains and Integral Representations of Convolution Operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">G</Emphasis>)

Given , a compact abelian group G and a function , we identify the maximal (i.e. optimal) domain of the convolution operator (as an operator from L^p(G) to itself). This is the largest Banach function space (with order continuous norm) into which L^p(G) is embedded and to which has a continuous extension, still with values in L^p(G). Of course, the optimal domain depends on p and g. Whereas is compact, this is not always so for the extension of to its optimal domain. Several characterizations of precisely when this is the case are presented.     

Compactness of Bochner representable operators on Orlicz spaces

We study compactness properties of linear operators from an Orlicz space L^Φ provided with a natural mixed topology to a Banach space (X, || · ||_X). We derive that every Bochner representable operator is -compact. In particular, it is shown that every Bochner representable operator is (τ(L^∞, L¹), || · ||_X)-compact.      

Lower Bounds for n-Term Approximations of Plane Convex Sets and Related Topics

In this paper, we establish lower bounds for n-term approximations in the metric of L ²⁽I ² ) of characteristic functions of plane convex subsets of the square I ² with respect to arbitrary orthogonal systems. It is shown that, as n, these bounds cannot decrease more rapidly than .     

Finite elements approximation of second order linear elliptic equations in divergence form with right-hand side in L 1

In this paper we consider, in dimension d≥ 2, the standard finite elements approximation of the second order linear elliptic equation in divergence form with coefficients in L ^∞(Ω) which generalizes Laplace’s equation. We assume that the family of triangulations is regular and that it satisfies an hypothesis close to the classical hypothesis which implies the discrete maximum principle. When the right-hand side belongs to L ¹(Ω), we prove that the unique solution of the discrete problem converges in (for every q with ) to the unique renormalized solution of the problem. We obtain a weaker result when the right-hand side is a bounded Radon measure. In the case where the dimension is d = 2 or d = 3 and where the coefficients are smooth, we give an error estimate in when the right-hand side belongs to L ^r (Ω) for some r > 1.     

Toeplitz operators related to strongly singular Calderón-Zygmund operators

In this paper, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and Lipschitz function b ε (ℝⁿ) is discussed from L ^p(ℝⁿ) to L ^q(ℝⁿ), , and from L ^p(ℝⁿ) to Triebel-Lizorkin space . We also obtain the boundedness of generalized Toeplitz operator Θ _α0 ^b from L ^p(ℝⁿ) to L ^q(ℝⁿ), . All the above results include the corresponding boundedness of commutators. Moreover, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and BMO function b is discussed on L ^p(ℝⁿ), 1 < p < ∞.     

On the\bar \partial equation in weightedL 2 norms in ℂ1equation in weightedL 2 norms in ℂ1

For a large class of subharmonicφ, the equation is studied in . Pointwise upper bounds are derived for the distribution kernels of the canonical solution operator and of the orthogonal projection onto the space of entire functions inH. Existence theorems inL ^p norms are derived as a corollary. A class of counterexamples, related to the failure of to be analytic-hypoelliptic on certain CR manifolds, is discussed. Communicated by Steven Krantz     

Remarks on the <Emphasis Type="Italic">k</Emphasis>-error linear complexity of <Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>-periodic sequences

Recently the first author presented exact formulas for the number of 2 ⁿ -periodic binary sequences with given 1-error linear complexity, and an exact formula for the expected 1-error linear complexity and upper and lower bounds for the expected k-error linear complexity, k ≥ 2, of a random 2 ⁿ -periodic binary sequence. A crucial role for the analysis played the Chan–Games algorithm. We use a more sophisticated generalization of the Chan–Games algorithm by Ding et al. to obtain exact formulas for the counting function and the expected value for the 1-error linear complexity for p ⁿ -periodic sequences over prime. Additionally we discuss the calculation of lower and upper bounds on the k-error linear complexity of p ⁿ -periodic sequences over .      

Analysis of degenerate elliptic operators of Grušin type

We analyse degenerate, second-order, elliptic operators H in divergence form on L ₂(R ⁿ  × R ^m ). We assume the coefficients are real symmetric and a ₁ H _δ  ≥ H ≥ a ₂ H _δ for some a ₁, a ₂ > 0 where

A priori bounds and a Liouville theorem on a half-space for higher-order elliptic Dirichlet problems

We consider the 2m-th order elliptic boundary value problem Lu = f (x, u) on a bounded smooth domain with Dirichlet boundary conditions on ∂Ω. The operator L is a uniformly elliptic operator of order 2m given by . For the nonlinearity we assume that , where are positive functions and q > 1 if N ≤ 2m, if N > 2m. We prove a priori bounds, i.e, we show that for every solution u, where C > 0 is a constant. The solutions are allowed to be sign-changing. The proof is done by a blow-up argument which relies on the following new Liouville-type theorem on a half-space: if u is a classical, bounded, non-negative solution of ( − Δ) ^m u  =  u ^q in with Dirichlet boundary conditions on and q > 1 if N ≤ 2m, if N > 2m then .