Related papers: Cartwright-type and Bernstein-type theorems for fu…
Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…
A mid-point theorem is proved in an elementary way for the U type shape of functions that arise out of exponential quadratic functions. These results are inspired from epidemic patterns and growth over a time period. Key words: natural…
This work proposes a unified theory of regularity in one hypercomplex variable: the theory of $T$-regular functions. In the special case of quaternion-valued functions of one quaternionic variable, this unified theory comprises…
Free-minor closed classes [2] and free-planar graphs [3] are considered. Versions of Kuratowski-like theorem for free-planar graphs and Kuratowski theorem for planar graphs are considered.
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
Whitney type examples of maps $f\in C^k(\real^m,\real^n)$ for a maximal possible real $k$, and multidimensional space-filling curves with special properties are constructed.
Using Bernstein polynomial approximations, we prove the central limit theorem for linear spectral statistics of sample covariance matrices, indexed by a set of functions with continuous fourth order derivatives on an open interval including…
We introduce a class of rational functions $A:\,\mathbb C\mathbb P^1\rightarrow \mathbb C\mathbb P^1$ which can be considered as a natural extension of the class of Latt\`es maps and establish basic properties of functions from this class.
Noncommutative Chern-Simons theory can be classically mapped to commutative Chern-Simons theory by the Seiberg-Witten map. We provide evidence that the equivalence persists at the quantum level by computing two and three-point functions of…
A "Bochner-type" integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties…
We develop a dependent type theory that is based purely on inductive and coinductive types, and the corresponding recursion and corecursion principles. This results in a type theory with a small set of rules, while still being fairly…
This paper introduces a simple type system for combinatory logic in which combinators have at most one type, whose polymorphism is revealed by application. The combinatory types exactly describe the structure of their values, which may be…
This article handles in a short manner a few Laplace transform pairs and some extensions to the basic equations are developed. They can be applied to a wide variety of functions in order to find the Laplace transform or its inverse when…
We study Whitney-type estimates for approximation of convex functions in the uniform norm on various convex multivariate domains while paying a particular attention to the dependence of the involved constants on the dimension and the…
We give a criterium of holomorphy for some type formal power series. This gives a stronger form of a Rothstein's type extension theorem for a particular ring of holomorphic functions.
We extend the well-known Katznelson-Tzafriri theorem, originally posed for power-bounded operators, to the case of Ces\`aro bounded operators of any order $\alpha>0.$ For this purpose, we use a functional calculus between a new class of…
We show sufficient and necessary conditions, in terms of some partial differential equations with variable coefficients, for a quaternionic function to admit a continuous derivative in a open set in the sense of C. Schwartz.
Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…
Notions of the orthogonality and convolution orthogonality are explored with the use of the Kontorovich-Lebedev transform and its convolution. New classes of the corresponding orthogonal polynomials and functions are investigated. Integral…
A Vitali-type theorem for vector lattice-valued modulars with respect to filter convergence is proved. Some applications are given to modular convergence theorems for moment operatorsin the vector lattice setting, and also for the Brownian…