The main result shows that a small perturbation of a univalent function is again a univalent function, hence a univalent function has a neighbourhood consisting entirely of univalent functions. For the particular choice of a linear function in the hypothesis of the main theorem, we obtain a corollary which is equivalent to the classical Noshiro–Warschawski–Wolff univalence criterion. We also pr...

Let p and q be analytic functions in the unit disc E = {z : |z| < 1}, with p(0) = q(0) = 1. Assume that α and δ are real numbers such that 0 < δ ≤ 1, α+ δ ≥ 0. Let β and γ be complex numbers with β 6= 0. In the present paper, we investigate the differential subordination (p(z)) [ p (z) + zp′(z) βp(z) + γ ]δ ≺ (q(z)) [ q(z) + zq′(z) βq(z) + γ ]δ , z ∈ E, and as applications, find several suffici...

We propose an approach to study static properties of metabolic networks with genetic regulation. We base our results on differential inequalities which are constraints on the values of the partial derivatives of the reaction rate functions. The approach uses an iterative elimination method for the steady state equations involving algebraic modules that satisfy the Gale-Nikaido global univalence...

We present a model of type theory with dependent product, sum, and identity, in cubical sets. We describe a universe and explain how to transform an equivalence between two types into an equality. We also explain how to model propositional truncation and the circle. While not expressed internally in type theory, the model is expressed in a constructive metalogic. Thus it is a step towards a com...