Related papers: Uniform Fatou's Lemma

The Shapley-Folkman theorem shows that Minkowski averages of uniformly bounded sets tend to be convex when the number of terms in the sum becomes much larger than the ambient dimension. In optimization, Aubin and Ekeland [1976] show that…

Let u be a subharmonic function in D={|z|<1}. There exist an absolute constant C and an analytic function f in D such that \int_D |u(z)-log|f(z)|| dm(z)<C where m denotes the plane Lebesgue measure. We also consider uniform approximation.

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 establish a general criterion for the validity of inequalities of the following form: A certain convex combination of the values of a convex function at n points and of its value at a weighted mean of these n points is always greater or…

We prove the Quantitative Fatou Theorem for Lipschitz domains on complete Riemannian manifolds. This requires extending the $\varepsilon$-approximation lemma to the manifold setting. Our studies apply to harmonic functions, as well as to a…

In the paper we investigate automatic Fatou property of law-invariant risk measures on a rearrangement-invariant function space $\mathcal{X}$ other than $L^\infty$. The main result is the following characterization: Every real-valued,…

Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of…

We study the $\Gamma$-convergence of the functionals $F_n(u):= || f(\cdot,u(\cdot),Du(\cdot))||_{p_n(\cdot)}$ and $\mathcal{F}_n(u):= \int_{\Omega} \frac{1}{p_n(x)} f^{p_n(x)}(x,u(x),Du(x))dx$ defined on $X\in \{L^1(\Omega,\mathbb{R}^d),…

The Riemann Hypothesis has been of central interest to mathematicians for a long time and many unsuccessful attempts have been made to either prove or disprove it. Since the Riemann zeta function is defined as a sum of the infinite number…

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

The uniform continuity theorem (UCT) states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive mathematics, UCT is stronger than the decidable fan theorem (DFT); however, Loeb…

The logical foundations of Bell's inequality are reexamined. We argue that the form of the reality condition that underpins Bell's inequality comes from the requirement of solving the quantum measurement problem. Hence any violation of…

Fano's inequality is one of the most elementary, ubiquitous, and important tools in information theory. Using majorization theory, Fano's inequality is generalized to a broad class of information measures, which contains those of Shannon…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

Let $X_1,\ldots,X_n$ be an i.i.d. sample from symmetric stable distribution with stability parameter $\alpha$ and scale parameter $\gamma$. Let $\varphi_n$ be the empirical characteristic function. We prove an uniform large deviation…

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…

Uniform measures are the functionals on the space of bounded uniformly continuous functions that are continuous on every bounded uniformly equicontinuous set. This paper describes the role of uniform measures in the study of convolution on…

In the author's PhD thesis (2019) universal envelopes were introduced as a tool for studying the continuously obtainable information on discontinuous functions. To any function $f \colon X \to Y$ between $\operatorname{qcb}_0$-spaces one…

Let $u\not\equiv -\infty$ be a subharmonic function on the complex plane $\mathbb C$. In 2016, we obtained a result on the existence of an entire function $f\neq 0$ satisfying the estimate $\log|f|\leq {\sf B}_u$ on $\mathbb C$, where…

Let $f(x)=x^TAx+2a^Tx+c$ and $h(x)=x^TBx+2b^Tx+d$ be two quadratic functions having symmetric matrices $A$ and $B$. The S-lemma with equality asks when the unsolvability of the system $f(x)<0, h(x)=0$ implies the existence of a real number…