For an arbitrary innnite-dimensional Banach space X, we construct examples of strongly-measurable X-valued Pettis integrable functions whose indefinite Pettis integrals are nowhere weakly diierentiable; thus, for these functions the Lebesgue Diierentiation Theorem fails rather spectacularly. We also relate the degree of nondiierentiability of the indeenite Pettis integral to the cotype of X, fr...

Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theories. Reported higher-order-logic formalizations of the Lebesgue integral either do not include, or have a limited support for the Borel algebra, which is the canonical sigma algebra used on any metric space over which the Lebesgue integral is defined. In this repo...

• Rn has a natural measure space structure; namely, Lebesgue measure m on the Borel σalgebra. The most important property of Lebesgue measure is that it is invariant under translation. This leads to nice interactions between differentiation and integration, such as integration by parts, and it gives nice functional-analytic properties to differentiation operators: for instance, the Laplacian ∆ ...

We present new results regarding Lebesgue-type inequalities for the Weak Chebyshev Greedy Algorithm (WCGA) in uniformly smooth Banach spaces. improve earlier bounds [19] dictionaries satisfying a property introduced here. apply these to derive optimal two natural examples of sequence In particular, optimality is obtained case multivariate Haar system L p with 1 < ? 2 , under Littlewood-Paley no...

We present some resolvent estimates of elliptic differential and finite-element operators in pairs of function spaces, for which the first space in a pair is endowed with stronger norm. In this work we deal with estimates in (Lebesgue, Lebesgue), (Hölder, Lebesgue), and (Hölder, Hölder) pairs of norms. In particular, our results are useful for the stability and error analysis of semidiscrete an...

Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on crucial trilinear smoothing inequality developed herein, and bounds an anisotropic twisted paraproduct. also leads to corresponding maximal function quantitative nonlinear Roth-type theorem concerning patterns in Euclidean plane.

In this paper, we introduce the p-adic Hardy type operator and obtain its sharp bound on the p-adic Lebesgue product spaces. Meanwhile, an analogous result is computed for the p-adic Lebesgue product spaces with power weights. In addition, we characterize a sufficient and necessary condition which ensures that the weighted p-adic Hardy type operator is bounded on the p-adic Lebesgue product spa...

Let V be a finite dimensional real vector space. Let V alsm(V ) be the space of translation invariant smooth valuations on convex compact subsets of V . Let Dens(V ) be the space of Lebesgue measures on V . The goal of the article is to construct and study an isomorphism FV : V alsm(V )−̃→V alsm(V ∗)⊗Dens(V ) such that FV commutes with the natural action of the full linear group on both spaces, ...

Let Hp denote the Lebesgue space Lp for p > 1 and the Hardy space Hp for p ≤ 1. For 0 < p, q, r < ∞, we study Hp × Hq → Hr mapping properties of bilinear operators given by finite sums of products of Calderón–Zygmund operators on stratified homogeneous Lie groups. When r ≤ 1, we show that such mapping properties hold when a number of moments of the operator vanish. This hypothesis is natural an...