Related papers: A Remark on Lebesgue Criterion

We study the behaviour of a transcendental entire map $ f\colon \mathbb{C}\to\mathbb{C} $ on an unbounded invariant Fatou component $ U $, assuming that infinity is accessible from $ U $. It is well-known that $ U $ is simply connected.…

Integration at a point is a new kind of integration derived from integration over an interval in infinitesimal and infinity domains which are spaces larger than the reals. Consider a continuous monotonic divergent function that is…

We use the compactness theorem of continuous logic to give a new proof that $L^r([0,1]; \mathbb{R})$ isometrically embeds into $L^p([0,1]; \mathbb{R})$ whenever $1 \leq p \leq r \leq 2$. We will also give a proof for the complex case. This…

A charge space $(X,\mathcal{A},\mu)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $\mathcal{A}$ and a finitely additive measure $\mu$, also known as a charge. Key properties a real-valued…

Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…

We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…

We show that properties of pairs of finite, positive and regular Borel measures on the complex unit circle such as domination, absolute continuity and singularity can be completely described in terms of containment and intersection of their…

In this note, we consider a class of composition operators on Lebesgue spaces with variable exponents over metric measure spaces. Taking advantage of the compatibility between the metric-measurable structure and the regularity properties of…

In this short paper, I recall the history of dealing with the lack of compactness of a sequence in the case of an unbounded domain and prove the vanishing Lions-type result for a sequence of Lebesgue-measurable functions. This lemma…

In the context of the correspondence between real functions on the unit circle and inner analytic functions within the open unit disk, that was presented in previous papers, we show that the constructions used to establish that…

We establish that for every function $u \in L^1_\mathrm{loc}(\Omega)$ whose distributional Laplacian $\Delta u$ is a signed Borel measure in an open set $\Omega$ in $\mathbb{R}^{N}$, the distributional gradient $\nabla u$ is differentiable…

A classical theorem of Menshov states that every measurable function can redefined on a set of arbitrarily small Lebesgue measure, so that the resulting function has uniformly convergent Fourier series. We prove that the same is true if we…

In the theory of time scales, given $\mathbb{T}$ a time scale with at least two distinct elements, an integration theory is developed using ideas already well known as Riemann sums. Another, more daring, approach is to treat an integration…

We study how small is the set of critical values of the distance function from a compact (resp. closed) set in the plane or in a connected complete two-dimensional Riemannian manifold. We show that for a compact set, the set of critical…

We prove the statement in the title using the connectedness of the interval in real line.

The result is established for a Jordan measurable region with rectifiable boundary. The integrand F for the new plane integral to be used is a function of axis-parallel rectangles, finitely additive on non-overlapping ones, hence…

The classic Fatou lemma states that the lower limit of a sequence of integrals of functions is greater or equal than the integral of the lower limit. It is known that Fatou's lemma for a sequence of weakly converging measures states a…

The main contribution of this paper is that every convex function with non-empty relative algebraic interior of its domain is Lipschitz and subdifferentiable in some algebraic sense without any additional topological constraints. The…

Without using the $L^2$ extension theorem, we provide a new proof of the equality part in Suita's conjecture, which states that for any open Riemann surface admitting a Green's function, the Bergman kernel and the logarithmic capacity…

The concept of uniform distribution in $[0,1]$ is extended for a certain strictly separated maximal (in the sense of cardinality) family $(\lambda_t)_{t \in [0,1]}$ of invariant extensions of the linear Lebesgue measure $\lambda$ in…