Source author record

Toshiyuki Sugawa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

20works
1topics
4close collaborators

Published work

20 publications

preprint2022arXiv

Conformally invariant complete metrics

For a domain GG in the one-point compactification R‾n=Rn∪{∞}\overline{\mathbb{R}}^n = \mathbb{R}^n \cup \{ \infty\} of Rn,n≥2\mathbb{R}^n, n \ge 2, we characterize the completeness of the modulus metric μGμ_G in terms of a potential-theoretic thickness condition of ∂G ,\partial G\,, Martio's MM-condition. Next, we prove that ∂G\partial G is uniformly perfect if and only if μGμ_G admits a minorant in terms of a Möbius invariant metric. Several applications to quasiconformal maps are given.

preprint2022arXiv

On geometric properties of ratio of two hypergeometric functions

R. Küstner proved in his 2002 paper that the function wa,b,c(z)=w_{a,b,c}(z)= F(a+1,b;c;z)/F(a,b;c;z)F(a+1,b;c;z)/F(a,b;c;z) maps the unit disk ∣z∣<1|z|<1 onto a domain convex in the direction of the imaginary axis under some condition on the real parameters a,b,c.a,b,c. Here F(a,b;c;z)F(a,b;c;z) stands for the Gaussian hypergeometric function. In this paper, we study the order of convexity of wa,b,c.w_{a,b,c}. In particular, we partially solve the problem raised by the afore-mentioned paper by Küstner.

preprint2020arXiv

Teichmüller's theorem in higher dimensions and its applications

For a given ring (domain) in R‾n\overline{\mathbb{R}}^n we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all n≥3 ,n\ge 3\,, the standard definition of uniformly perfect sets in terms of Euclidean metric is equivalent to the boundedness of moduli of separating rings. We also establish separation theorems for a "half" of a ring. As applications of those results, we will prove boundary Hölder continuity of quasiconformal mappings of the ball or the half space in Rn.\mathbb{R}^n.

preprint2016arXiv

A note on successive coefficients of convex functions

In this note, we investigate the supremum and the infimum of the functional ∣an+1∣−∣an∣|a_{n+1}|-|a_{n}| for functions, convex and analytic on the unit disk, of the form f(z)=z+a2z2+a3z3+… .f(z)=z+a_2z^2+a_3z^3+\dots. We also consider the related problem to maximize the functional ∣an+1−an∣|a_{n+1}-a_{n}| for convex functions ff with f"(0)=pf"(0)=p for a prescribed p∈[0,2].p\in[0,2].

preprint2016arXiv

Spirallikeness of shifted hypergeometric functions

In the present paper, we study spirallikenss (including starlikeness) of the shifted hypergeometric function f(z)=z2F1(a,b;c;z)f(z)=z_2F_1(a,b;c;z) with complex parameters a,b,c,a,b,c, where 2F1(a,b;c;z)_2F_1(a,b;c;z) stands for the Gaussian hypergeometric function. First, we observe the asymptotic behaviour of 2F1(a,b;c;z)_2F_1(a,b;c;z) around the point z=1z=1 to obtain necessary conditions for ff to be λλ-spirallike for a given λλ with −π/2<λ<π/2.- π/2< λ<π/2. We next give sufficient conditions for ff to be λλ-spirallike. As special cases, we obtain sufficient conditions of strong starlikeness and examples of spirallike, but not starlike, shifted hypergeometric functions.

preprint2015arXiv

Analytic and geometric properties of open door functions

In this paper, we study analytic and geometric properties of the solution q(z)q(z) to the differential equation q(z)+zq′(z)/q(z)=h(z)q(z)+zq'(z)/q(z)=h(z) with the initial condition q(0)=1q(0)=1 for a given analytic function h(z)h(z) on the unit disk ∣z∣<1|z|<1 in the complex plane with h(0)=1.h(0)=1. In particular, we investigate the possible largest constant c>0c>0 such that the condition ∣ℑ[zf"(z)/f′(z)]∣<c|\Im[zf"(z)/f'(z)]|<c on ∣z∣<1|z|<1 implies starlikeness of an analytic function f(z)f(z) on ∣z∣<1|z|<1 with f(0)=f′(0)−1=0.f(0)=f'(0)-1=0.

preprint2015arXiv

On the second Hankel determinant of concave functions

In the present paper, we will discuss the Hankel determinants H(f)=a2a4−a32H(f) =a_2a_4-a_3^2 of order 2 for normalized concave functions f(z)=z+a2z2+a3z3+…f(z)=z+a_2z^2+a_3z^3+\dots with a pole at p∈(0,1).p\in(0,1). Here, a meromorphic function is called concave if it maps the unit disk conformally onto a domain whose complement is convex. To this end, we will characterize the coefficient body of order 2 for the class of analytic functions φ(z)φ(z) on ∣z∣<1|z|<1 with ∣φ∣<1|φ|<1 and φ(p)=p.φ(p)=p. We believe that this is helpful for other extremal problems concerning a2,a3,a4a_2, a_3, a_4 for normalized concave functions with a pole at p.p.

preprint2012arXiv

Univalence criteria and analogs of the John constant

Let p(z)=zf′(z)/f(z)p(z)=zf'(z)/f(z) for a function f(z)f(z) analytic on the unit disk ∣z∣<1|z|<1 in the complex plane and normalized by f(0)=0,f′(0)=1.f(0)=0, f'(0)=1. We will provide lower and upper bounds for the best constants δ0δ_0 and δ1δ_1 such that the conditions e−δ0/2<∣p(z)∣<eδ0/2e^{-δ_0/2}<|p(z)|<e^{δ_0/2} and ∣p(w)/p(z)∣<eδ1|p(w)/p(z)|<e^{δ_1} for ∣z∣,∣w∣<1|z|,|w|<1 respectively imply univalence of ff on the unit disk.

preprint2012arXiv

Variability regions of close-to-convex functions

M. Biernacki gave concrete forms of the variability regions of z/f(z)z/f(z) and zf′(z)/f(z)zf'(z)/f(z) of close-to-convex functions ff for a fixed zz with ∣z∣<1|z|<1 in 1936. The forms are, however, not necessarily convenient to determine the shape of the full variability region of zf′(z)/f(z)zf'(z)/f(z) over all close-to-convex functions ff and all points zz with ∣z∣<1.|z|<1. We will propose a couple of other forms of the variability regions and see that the full variability region of zf′(z)/f(z)zf'(z)/f(z) is indeed the complex plane minus the origin. We also apply them to study the variability regions of log⁡[z/f(z)]\log[z/f(z)] and log⁡[zf′(z)/f(z)].\log[zf'(z)/f(z)].

preprint2011arXiv

On power deformations of univalent functions

For an analytic function f(z)f(z) on the unit disk ∣z∣<1|z|<1 with f(0)=f′(0)−1=0f(0)=f'(0)-1=0 and f(z)≠0,0<∣z∣<1,f(z)\ne0, 0<|z|<1, we consider the power deformation fc(z)=z(f(z)/z)cf_c(z)=z(f(z)/z)^c for a complex number c.c. We determine those values cc for which the operator f↦fcf\mapsto f_c maps a specified class of univalent functions into the class of univalent functions. A little surprisingly, we will see that the set is described by the variability region of the quantity zf′(z)/f(z), ∣z∣<1,zf'(z)/f(z),~|z|<1, for the class in most cases which we consider in the present paper. As an unexpected by-product, we show boundedness of strongly spirallike functions.

preprint2011arXiv

On univalence of the power deformation z(f(z)/z)cz(f(z)/z)^c

In this note, we mainly concern the set UfU_f of c∈Cc\in\mathbb{C} such that the power deformation z(f(z)/z)cz(f(z)/z)^c is univalent in the unit disk ∣z∣<1|z|<1 for a given analytic univalent function f(z)=z+a2z2+⋯f(z)=z+a_2z^2+\cdots in the unit disk. We will show that UfU_f is a compact, polynomially convex subset of the complex plane $\C$ unless ff is the identity function. In particular, the interior of UfU_f is simply connected. This fact enables us to apply various versions of the λλ-lemma for the holomorphic family z(f(z)/z)cz(f(z)/z)^c of injections parametrized over the interior of Uf.U_f. We also give necessary or sufficient conditions for UfU_f to contain 00 or 11 as an interior point.

preprint2011arXiv

Quasiconformal extension of strongly spirallike functions

We show that a strongly λλ-spirallike function of order αα can be extended to a sin⁡(πα/2)\sin(πα/2)-quasiconformal automorphism of the complex plane for −π/2<λ<π/2-π/2<λ<π/2 and 0<α<10<α<1 with ∣λ∣<πα/2.|λ|<πα/2. In order to prove it, we provide several geometric characterizations of a strongly λλ-spirallike domain of order α.α. We also give a concrete form of the mapping function of the standard strongly λλ-spirallike domain Uλ,αU_{λ,α} of order α.α. A key tool of the present study is the notion of λλ-argument, which was developed by Y. C. Kim and the author.

preprint2010arXiv

Correspondence between spirallike functions and starlike functions

Let λλ be a real number with −π/2<λ<π/2.-π/2<λ<π/2. In order to study λλ-spirallike functions, it is natural to measure the angle according to λλ-spirals. Thus we are led to the notion of λλ-argument. This fits well the classical correspondence between λλ-spirallike functions and starlike functions. Using this idea, we extend deep results of Pommerenke and Sheil-Small on starlike functions to spirallike functions. As an application, we solved a problem given by Hansen in 1971.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.