Related papers: On the pointwise domination of a function by its m…
The aim of this paper is to show that the discrete maximal function $$\mathcal{M}_{h}f(x)=\sup_{N\in\mathbb{N}}\frac{1}{|\mathbf{N}_{h}\cap[1, N]|}\Big|\sum_{n\in \mathbf{N}_{h}\cap[1, N]}f(x-n)\Big|,\ \ \mbox{for $x\in\mathbb{Z}$},$$ is of…
Let $f$ be a holomorphic, or even meromorphic, function on the unit disc. Plessner's theorem then says that, for almost every boundary point $\zeta $, either (i) $f$ has a finite nontangential limit at $\zeta $, or (ii) the image $f(S)$ of…
We prove a Lusin approximation of functions of bounded variation. If $f$ is a function of bounded variation on an open set $\Omega\subset X$, where $X=(X,d,\mu)$ is a given complete doubling metric measure space supporting a $1$-Poincar\'e…
Rigorous mathematical foundations of density functional theory are revisited, with some use of infinitesimal (nonstandard) methods. A thorough treatment is given of basic properties of internal energy and ground-state energy functionals…
Some properties of $m$-density points and density-degree functions are studied. Moreover the following main results are provided: \vskip2mm \begin{itemize} \item {\it Let $\lambda$ be a continuous differential form of degree $h$ in…
In this paper, we prove first that the iterates of a mean nonexpansive map defined on a weakly compact, convex set converge weakly to a fixed point in the presence of Opial's property and asymptotic regularity at a point. Next, we prove the…
Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…
Here, a natural extension of Sobolev spaces is defined for a Finsler structure $F$ and it is shown that the set of all real $C^{\infty}$ functions with compact support on a forward geodesically complete Finsler manifold $(M, F)$, is dense…
We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL$_0$ (but not in RCA$_0$) of the equivalence of various Lebesgue measure regularity…
In this paper we consider the mass transportation problem in a bounded domain $\Omega$ where a positive mass f + in the interior is sent to the boundary $\partial\Omega$, appearing for instance in some shape optimization problems, and we…
We prove that the smallest minimizer s(f) of a real convex function f is less than or equal to a real point x if and only if the right derivative of f at x is non-negative. Similarly, the largest minimizer t(f) is greater or equal to x if…
We present a measure-theoretic condition for a property to hold ``almost everywhere'' on an infinite-dimensional vector space, with particular emphasis on function spaces such as $C^k$ and $L^p$. Like the concept of ``Lebesgue almost…
We give a local characterization of the class of functions having positive distributional derivative with respect to $\bar{z}$ that are almost everywhere equal to one of finitely many analytic functions and satisfy some mild non-degeneracy…
In this article, we show that a function $f\in M^{s,p}(X),$ $0<s\leq 1,$ $0<p<1,$ where $X$ is a doubling metric measure space, has generalized Lebesgue points outside a set of $\mathcal{H}^h$-Hausdorff measure zero for a suitable gauge…
We introduce a maximal inequality for a local empirical process under strongly mixing data. Local empirical processes are defined as the (local) averages $\frac{1}{nh}\sum_{i=1}^n \mathbf{1}\{x - h \leq X_i \leq x+h\}f(Z_i)$, where $f$…
We obtain sufficient conditions under which the limit of a sequence of functions exhibits a particular dynamical behaviour at a point like expansivity, shadowing, mixing, sensitivity and transitivity. We provide examples to show that the…
We study extremal properties of the function $$ F(x) := \min\{k\|x\|^{1-1/k}\colon k\ge 1\},\ x\in[0,1], $$ where $\|x\|=\min\{x,1-x\}$. In particular, we show that $F$ is the pointwise largest function of the class of all real-valued…
We prove an equivalence result between the validity of a pointwise Hardy inequality in a domain and uniform capacity density of the complement. This result is new even in Euclidean spaces, but our methods apply in general metric spaces as…
We give a necessary and sufficient condition for non-local functionals on vector-valued Lebesgue spaces to be weakly sequentially lower semi-continuous. Here a non-local functional shall have the form of a double integral of a density which…
For a strictly stationary sequence of random variables we derive functional convergence of the joint partial sum and partial maxima process under joint regular variation with index $\alpha \in (0,2)$ and weak dependence conditions. The…