For r > 0 let r {z ∈ : |z| < r}. Let 1 . Let the functions f and F be analytic in the unit disc . A function f is called subordinate to F, written f ≺ F, if F is univalent in , f 0 F 0 and f ⊂ F . Let D be a domain in 2 and ψ : 2 ⊃ D → be an analytic function, and let p be a function analytic in with p z , zp′ z ∈ D, z ∈ and h be a function analytic and univalent in . The function p is said to ...

Let f and F be members of . The function f is said to be subordinate to F, or F is said to be superordinate to f , if there exists a function w analytic in U, with w(0)= 0 and |w(z)| < 1, and such that f (z)= F(w(z)). In such a case, we write f ≺ F or f (z)≺ F(z). If the function F is univalent in U, then f ≺ F if and only if f (0)= F(0) and f (U)⊂ F(U) (cf. [1, 2]). Let φ : C2 → C and let h be...

Complex-valued harmonic functions that are univalent and sense-preserving in the open unit disk can be written in the form f = h+ g, where h and g are analytic in the open unit disk. The functions h and g are called the analytic and coanalytic parts of f , respectively. In this paper, we construct certain planar harmonic maps either by varying the coanalytic parts of harmonic functions that are...

It has been shown that univalent circle packings lling in the complex plane C are unique up to similarities of C. Here we prove that bounded degree branched circle packings properly covering C are uniquely determined, up to similarities of C, by their branch sets. In particular, when branch sets of the packings considered are empty we obtain the earlier result. We also establish a circle packin...

Brennan’s conjecture in univalent function theory states that if τ is any analytic univalent transform of the open unit disk D onto a simply connected domain G and −1/3 < p < 1, then 1/(τ ′)p belongs to the Hilbert Bergman space of all analytic square integrable functions with respect to the area measure. We introduce a class of analytic function spaces La(μp) on G and prove that Brennan’s conj...

Abstract -A complex-valued functions that are univalent and sense preserving in the unit disk U can be written in the form ( ) ( ) ( ) f z h z g z   , where U(z) and g(z) are analytic in. We will introduced the operator D which defined by convolution involving the polylogarithms functions. Using this operator, we introduce the class HP(,, n) by generalized derivative operator of harmonic un...

We give a concise presentation of the Univalent Foundations of mathematics underlining the main ideas (section 1), followed by a discussion of the large-scale UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations, and the challenges one faces in designing such a library (section 2). This leads us to a general discussion about the links between architectur...