Related papers: Cartwright-type and Bernstein-type theorems for fu…
Recently a new type of central limit theorem for belief functions was given in Epstein et al. [9]. In this paper, we generalize the central limit theorem in Epstein et al. [9] to accommodate general bounded random variables. These results…
In this paper, we investigate set-valued maps of strongly and approximately Jensen convex and Jensen concave type. We present counterparts of the Bernstein--Doetsch Theorem with Tabor type error terms.
Wick's theorem, known for yielding normal ordered from time-ordered bosonic fields may be generalized for a simple relationship between any two orderings that we define over canonical variables, in a broader sense than before. In this broad…
In this paper we study the following type of functions $f: \mathcal{Q}_{\mathbb{R}_{3}} \to \mathbb{R}_{3}$, where $ \mathcal{Q}_{\mathbb{R}_3}$ is the quadratic cone of the algebra $\mathbb{R}_{3}$. From the fact that it is possible to…
Pure type systems arise as a generalisation of simply typed lambda calculus. The contemporary development of mathematics has renewed the interest in type theories, as they are not just the object of mere historical research, but have an…
We obtain smoothing estimates for certain nonlinear convolution operators on prime fields, leading to quantitative nonlinear Roth type theorems. Compared with the usual linear setting (i.e. arithmetic progressions), the nonlinear nature of…
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
We give a common matroidal generalisation of `A Cantor-Bernstein theorem for paths in graphs' by Diestel and Thomassen and `A Cantor-Bernstein-type theorem for spanning trees in infinite graphs' by ourselves.
This research aimed to introduce the concept of harmonically m-concave set-valued functions, which is obtained from the combination of two definitions: harmonically m-concave functions and set-valued functions. In this work some properties…
Taylor expansions of analytic functions are considered with respect to two points. Cauchy-type formulas are given for coefficients and remainders in the expansions, and the regions of convergence are indicated. It is explained how these…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We characterize of the $q$-Bernstein functions in terms of $q$-Laplace transform. Moreover, we present several results of $q$-completely monotonic, $q$-log completely monotonic and $q$-Bernstein functions.
We use the Baernstein star-function to investigate several questions about the integral means of the convolution of two analytic functions in the unit disc. The theory of univalent functions plays a basic role in our work.
Our goal in this work is to present some mean value type theorems that are not studied in classic calculus and analysis courses. They are simple theorems yet with large applicability in mathematical analysis (for example, in the study of…
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…
We obtain a Bernstein theorem for special Lagrangian graphs in n-dimensional complex space for arbitrary n only assuming bounded slope, but no quantitative restriction.
For every $q\in(0,1)$ and $0\le \alpha<1$ we define a class of analytic functions, the so-called $q$-starlike functions of order $\alpha$, on the open unit disk. We study this class of functions and explore some inclusion properties with…
We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.
We develop potential theory including a Bernstein-Walsh type estimate for functions of the form $p(z)q(f(z))$ where $p,q$ are polynomials and $f$ is holomorphic. Such functions arise in the study of certain ensembles of probability measures…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…