Integrability Properties of Functions with a Given Behavior of Distribution Functions and Some Applications

Abstract

We establish that if the distribution function of a measurable function v defined on a bounded domain Ω in ℝn (n ≥ 2) satisfies, for sufficiently large k, the estimate meas {|v| > k} ≤ k−αϕ(k)/ψ(k), where α > 0, ϕ: [1,+∞) → ℝ is a nonnegative nonincreasing measurable function such that the integral of the function s → ϕ(s)/s over [1,+∞) is finite, and ψ: [0,+∞) → ℝ is a positive continuous function with some additional properties, then |v|αψ(|v|) ∈ L1(Ω). In so doing, the function ψ can be either bounded or unbounded. We give corollaries of the corresponding theorems for some specific ratios of the functions ϕ and ψ. In particular, we consider the case where the distribution function of a measurable function v satisfies, for sufficiently large k, the estimate meas {|v| > k} ≤ Ck−α(ln k)−β with C, α > 0 and β ≥ 0. In this case, we strengthen our previous result for β > 1 and, on the whole, we show how the integrability properties of the function v differ depending on which interval, [0, 1] or (1,+∞), contains β. We also consider the case where the distribution function of a measurable function v satisfies, for sufficiently large k, the estimate meas {|v| > k} ≤ Ck−α(ln ln k)−β with C, α > 0 and β ≥ 0. We give examples showing the accuracy of the obtained results in the corresponding scales of classes close to Lα(Ω). Finally, we give applications of these results to entropy and weak solutions of the Dirichlet problem for second-order nonlinear elliptic equations with right-hand side in some classes close to L1(Ω) and defined by the logarithmic function or its double composition.