Related papers: Representation of maxitive measures: an overview
Viscosity solutions are suitable notions in the study of nonlinear PDEs justified by estimates established via the maximum principle or the comparison principle. Here we prove that the isoperimetric profile functions of Riemannian manifolds…
We characterize the positive radial continuous and rotation invariant valuations $V$ defined on the star bodies of $\mathbb R^n$ as the applications on star bodies which admit an integral representation with respect to the Lebesgue measure.…
We develop a version of the Kurzweil--Stieltjes integral on compact lines and establish its fundamental properties. For sufficiently regular integrators, we obtain convergence theorems and show that the presented integration process…
In this paper we introduce the notion of an idempotent system. This linear algebraic object is motivated by the structure of an association scheme. We focus on a family of idempotent systems, said to be symmetric. A symmetric idempotent…
We obtain a sharp Nagy type inequality in a metric space $(X,\rho)$ with measure $\mu$ that estimates the uniform norm of a function using its $\|\cdot\|_{H^\omega}$ -- norm determined by a modulus of continuity $\omega$, and a seminorm…
In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…
We prove that a Radon measure $\mu$ on $\mathbb{R}^n$ can be written as $\mu=\sum_{i=0}^n\mu_i$, where each of the $\mu_i$ is an $i$-dimensional rectifiable measure if and only if for every Lipschitz function $f:\mathbb{R}^n\to\mathbb{R}$…
This article studies an integral representation of functionals of linear growth on metric measure spaces with a doubling measure and a Poincar\'e inequality. Such a functional is defined through relaxation, and it defines a Radon measure on…
We remark a variant of the existence part of the fundamental theorem of calculus, which, together with the Lebesgue differentiation theorem, constitute a new proof that every Riemann-integrable function on a compact interval having limit…
We study the isoperimetric problem for the radially symmetric measures. Applying the spherical symmetrization procedure and variational arguments we reduce this problem to a one-dimensional ODE of the second order. Solving numerically this…
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
This paper considers various integrals where the integrand includes the log gamma function (or its derivative, the digamma function) multiplied by a trigonometric or hyperbolic function. Some apparently new integrals and series are…
This paper investigates the dynamics of the iterated sum-of-divisors function $\sigma_k(m)$ and its behaviour modulo $m$, motivated by classical questions on perfect and multiperfect numbers and by the congruences $\sigma_k(m) \equiv 0…
We reformulate Mesiar's hypothesis [Possibility measures, integration and fuzzy possibility measures, Fuzzy Sets and Systems 92 (1997) 191-196], which as such was shown to be untrue by Murofushi [Two-valued possibility measures induced by…
In the present paper we show that the functor of idempotent probability measures satisfies all of conditions with an additional claim of uniform metrizability of functors.
The class of substitutions of some primitive components is introduced. A bilateral subshift arising from a substitution of some primitive components is decomposed into pairwise disjoint, locally compact, shift-invariant sets, on each of…
Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively…
We introduce a class of monotone $\sigma$-complete effect algebras, called representable, which are $\sigma$-homomorphic images of a class of monotone $\sigma$-complete effect algebras of functions taking values in the interval $[0,1]$ and…
We will show that if $\sM$ is a factor, then for any pair $\f, \p\in\sMdsup$ of normal positive linear functionals on $\sM$, the inequality: $$ \lrnorm{\f}\leq \lrnorm{\p} $$ is equivalent to the fact that there exist a countable family…
This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…