Related papers: Fatou's Lemma for Weakly Converging Measures under…
In this paper we derive an integral (with respect to time) representation of the relative entropy (or Kullback-Leibler Divergence) between measures mu and P on the space of continuous functions from time 0 to T. The underlying measure P is…
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 give conditions ensuring that the Julia set and the escaping set of an entire function of completely regular growth have positive Lebesgue measure. The essential hypotheses are that the indicator is positive except perhaps at isolated…
On the sets of $2\pi$-periodic functions $f$, which are defined with a help of $(\psi, \beta)$-integrals of the functions $\varphi$ from $L_{1}$, we establish Lebesgue-type inequalities, in which the uniform norms of deviations of Fourier…
We investigate the statement that the Lebesgue measure defined on all subsets of the Cantor space exists. As base system we take $\mathsf{ACA}_0^\omega + (\mu)$. The system $\mathsf{ACA}_0^\omega$ is the higher order extension of Friedman's…
The main aim of the paper is to present a general version of the Fourier Tauberian theorem for monotone functions. This result, together with Berezin's inequality, allows us to obtain a refined version the Li-Yau estimate for the counting…
The aim of this paper is to prove the existence of common fixed points for a pair of weakly compatible selfmaps satisfying weakly contractive condition and property (E. A). In this context, first we modify Beg and Abbas theorem (\cite{Beg},…
Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…
We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.
This paper establishes new common fixed point theorems for weakly compatible mappings in metric spaces, relaxing traditional requirements such as continuity, compatibility, and reciprocal continuity. We present a unified framework for three…
We define $\lambda(r)$-convergence, which is a generalization of nontangential convergence in the unit disc. We prove Fatou-type theorems on almost everywhere nontangential convergence of Poisson-Stiltjes integrals for general kernels…
The weak lower semicontinuity of the functional $$ F(u)=\int_{\Omega}f(x,u,\nabla u)\, dx$$ is a classical topic that was studied thoroughly. It was shown that if the function $f$ is continuous and convex in the last variable, the…
We define a new class of positive and Lebesgue measurable functions in terms of their asymptotic behavior, which includes the class of regularly varying functions. We also characterize it by transformations, corresponding to generalized…
Inequalities, asymptotics and, for some specific cases, asymptotical expansions were obtained for generalized Mathieu's series. A connection between inequalities for Mathieu's series and positive definite and completely monotonic functions.
The main aim of this article is to give an exposition of weak convergence, Prohorov theorem and Prohorov spaces. In this context we study the relationship between Levy distance $\ell(F, G)$ between two distribution functions $F$ and $G$ and…
Disjointly strictly singular inclusions between variable Lebesgue spaces $L^{p(\cdot)}(\mu)$ on finite measure are characterized. Suitable criteria in terms of the (bounded or unbounded) exponents are given. It is proved the equivalence of…
A permutation sequence $(\sigma_n)_{n \in \mathbb{N}}$ is said to be convergent if, for every fixed permutation $\tau$, the density of occurrences of $\tau$ in the elements of the sequence converges. We prove that such a convergent sequence…
A new notion of typicality for arbitrary probability measures on standard Borel spaces is proposed, which encompasses the classical notions of weak and strong typicality as special cases. Useful lemmas about strong typical sets, including…
We introduce a new extragradient iterative process, motivated and inspired by [S. H. Khan, A Picard-Mann Hybrid Iterative Process, Fixed Point Theory and Applications, doi:10.1186/1687-1812-2013-69], for finding a common element of the set…
The phenomenon of superconvergence is proved for all freely infinitely divisible distributions. Precisely, suppose that the partial sums of a sequence of free identically distributed, infinitesimal random variables converge in distribution…