Related papers: Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
The work presents the brief exposition of the proof (in ZF) of inaccessible cardinals nonexistence. To this end in view there is used the apparatus of subinaccessible cardinals and its basic tools -- reduced formula spectra and matrices and…
In this work, the q-analogue of Bernoulli inequality is proved. Some other related results are presented.
In this paper, we prove that the inequalities $\alpha [1/3 Q(a,b)+2/3 A(a,b)]+(1-\alpha)Q^{1/3}(a,b)A^{2/3}(a,b)<M(a,b) <\beta [1/3 Q(a,b)+2/3 A(a,b)]+(1-\beta)Q^{1/3}(a,b)A^{2/3}(a,b)$ and $\lambda [1/6 C(a,b)+5/6…
We prove a fractional Hardy-Rellich inequality with an explicit constant in bounded domains of class $C^{1,1}$. The strategy of the proof generalizes an approach pioneered by E. Mitidieri (Mat. Zametki, 2000) by relying on a Pohozaev-type…
Robin's Conjecture is strengthened, deformed, and proved. Nicolas conjecture follows.
We resolve a question of Carrapatoso et al. on Gaussian optimality for the sharp constant in Poincar\'e-Korn inequalities, under a moment constraint. We also prove stability, showing that measures with near-optimal constant are…
We introduce the boundary measure at scale r of a compact subset of the n-dimensional Euclidean space. We show how it can be computed for point clouds and suggest these measures can be used for feature detection. The main contribution of…
In this paper we present new versions of the classical Brunn-Minkowski inequality for different classes of measures and sets. We show that the inequality \[ \mu(\lambda A + (1-\lambda)B)^{1/n} \geq \lambda \mu(A)^{1/n} +…
Motivated by the problem of dealing with incomplete or imprecise acquisition of data in computer vision and computer graphics, we extend results concerning the stability of persistent homology with respect to function perturbations to…
We investigate the relevance of the conformal method by investigating stability issues for the Einstein-Lichnerowicz conformal constraint system in a nonlinear scalar-field setting. We prove the stability of the system with respect to…
In this paper, we give a review of fractal calculus which is an expansion of standard calculus. Fractal calculus is applied for functions which are not differentiable or integrable on totally disconnected fractal sets such as middle-$\mu$…
We study the fractional Hardy inequality on the integers. We prove the optimality of the Hardy weight and hence affirmatively answer the question of sharpness of the constant.
We prove the convergence of a wide class of continued fractions, including generalized continued fractions over quaternions and octonions. Fractional points in these systems are not bounded away from the unit sphere, so that the iteration…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
We prove the neo-classical inequality with the optimal constant, which was conjectured by T. J. Lyons [Rev. Mat. Iberoamericana 14 (1998) 215-310]. For the proof, we introduce the fractional order Taylor's series with residual terms. Their…
We prove some extensions of Andrews inequality.
In this paper, we discuss on the linearized stability of the trivial solution for a class of nonlinear Caputo fractional differential systems of order $\alpha\in(1,2)$. We show that some recent existing results in this direction are wrong.…
We prove an optimal Hardy inequality for the fractional Laplacian on the half-space.
This note concerns an extension of the good-$\lambda$ inequality for fractional integrals, due to B. Muckenhoupt and R. Wheeden. The classical result is refined in two aspects. Firstly, general nonlinear potentials are considered; and…
We offer a mathematical proof of consistency for Peano Arithmetic PA formalizable in PA. This result is compatible with Goedel's Second Incompleteness Theorem since our consistency proof does not rely on the representation of consistency as…