On the Containment of the Unit Disc Image by Analytical Functions in the Lemniscate and Nephroid Domains

Abstract

Suppose that A1 is a class of analytic functions f:D={z∈C:|z|<1}→C with normalization f(0)=1. Consider two functions Pl(z)=1+z and ΦNe(z)=1+z−z3/3, which map the boundary of D to a cusp of lemniscate and to a twi-cusped kidney-shaped nephroid curve in the right half plane, respectively. In this article, we aim to construct functions f∈A0 for which (i) f(D)⊂Pl(D)∩ΦNe(D) (ii) f(D)⊂Pl(D), but f(D)⊄ΦNe(D) (iii) f(D)⊂ΦNe(D), but f(D)⊄Pl(D). We validate the results graphically and analytically. To prove the results analytically, we use the concept of subordination. In this process, we establish the connection lemniscate (and nephroid) domain and functions, including gα(z):=1+αz2, |α|≤1, the polynomial gα,β(z):=1+αz+βz3, α,β∈R, as well as Lerch’s transcendent function, Incomplete gamma function, Bessel and Modified Bessel functions, and confluent and generalized hypergeometric functions.