arXiv subjects

Asha Sebastian

Publications and source records attributed to Asha Sebastian.

5 recordsLinked to original sources

arXiv2026

Geometric Function Atlas: certified computing for geometric function theory in Python

We describe geometric-function-atlas, our open-source Python package for the sharp extremal problems of geometric function theory. We organise it around a catalogue of thirty-nine Ma--Minda starlike generators. From this catalogue we compute exact Taylor coefficients, closed-form Fekete--Szeg\H{o} constants, exact coefficients of the Ma--Minda extremal function, and admissibility screens. Our verifier answers membership questions for normalised polynomials at three levels of evidence: a floating-point grid screen, an exact sufficient condition decided in rational arithmetic, and a certified interval enclosure at the worst screened point. Every answer names the level at which we obtained it. We ship a checksummed artifact snapshot with three hundred and six coefficient certificates and seven hundred and two directed inclusion radii. Eight reviewed radius lanes carry certificates whose proof chains we replay symbolically, and we re-execute every coefficient certificate through our exact Schur-parameter machinery on request. We emit all results through one versioned envelope that records the method, the evidence status, the assumptions, and the artifact identifiers. Two optional laboratories apply the same discipline to cryptographic S-box metrics and to image-quality metrics. We present our design, state as propositions what each tier establishes, follow one radius lane from screen to replayed certificate, report measured timings, and place our package among symbolic-algebra, rigorous-numerics, and mathematical-database software. We release geometric-function-atlas under the MIT licence on the Python Package Index and at https://github.com/Prasanna28Devadiga/geometric-function-atlas.

cs.MS↗

arXiv2026

The Geometric Function Atlas: A Software System for Radius and Coefficient Problems

Let $\D=\{z\in\C:|z|<1\}$, and let $\mathcal A$ be the class of analytic functions normalized by $f(0)=0$ and $f'(0)=1$. For an admissible Ma--Minda generator $\varphi$, write $\Sstar{\varphi}=\{f\in\mathcal A:zf'(z)/f(z)\prec\varphi(z)\}$. Given two generators $\varphi_1$ and $\varphi_2$, we study the largest $R\in(0,1]$ for which $f(rz)/r\in\Sstar{\varphi_2}$ whenever $f\in\Sstar{\varphi_1}$ and $0<r\le R$. We present the Geometric Function Atlas, a software system that records these directed radius problems and coefficient problems by their exact generators, parameter domains, normalizations, and sharpness statements. This representation identifies the same class across alternative names and transliterations while keeping the two directions of an inclusion problem distinct. The coefficient engine recovers all 216 Fekete--Szeg\H{o} values predicted by the general Ma--Minda formula across 36 registered classes. The directed-radius atlas contains 702 ordered comparisons; omitting direction merges unequal constants in 253 of the 262 class-pair families represented in both directions. Using boundary contact, analytic majorants, and explicit Ma--Minda extremals, we prove nineteen exact sharp inclusion radii. In particular, the sine-to-modified-sigmoid radius is $\arcsin((e-1)/(e+1))$, improving the published sufficient radius $\operatorname{arsinh}((e-1)/(e+1))$ by 7.45\%. For the crescent and exponential classes, the reciprocal sharp radii are $\sin1$ and $\log(1+\sqrt2)$; the latter corrects a published constant. The Python package, exact certificates, and registry records accompany the paper.

math.CV↗

arXiv2022

Criteria for Starlikeness Using Schwarzian Derivatives

For a normalised analytic function f defined on the open unit disk in the complex plane, we determine several sufficient conditions for starlikeness in terms of the quotients Q_{ST}:=zf'(z)/f(z), Q_{CV}:=1+zf"(z)/f'(z) and the Schwarzian derivative Q_{SD}:=z^2((f"(z)/f'(z))'-(f"(z)/f'(z))^2/2)$. These conditions were obtained by using the admissibility criteria of starlikeness in the theory of second order differential subordination.

math.CV↗

arXiv2020

Starlikeness of Certain Non-Univalent Functions

We consider three classes of functions defined using the class $\mathcal{P}$ of all analytic functions $p(z)=1+cz+\dotsb$ on the open unit disk having positive real part and study several radius problems for these classes. The first class consists of all normalized analytic functions $f$ with $f/g\in\mathcal{P}$ and $g/(zp)\in\mathcal{P}$ for some normalized analytic function $g$ and $p\in \mathcal{P}$. The second class is defined by replacing the condition $f/g\in\mathcal{P}$ by $|(f/g)-1|<1$ while the other class consists of normalized analytic functions $f$ with $f/(zp)\in\mathcal{P}$ for some $p\in \mathcal{P}$. We have determined radii so that the functions in these classes to belong to various subclasses of starlike functions. These subclasses includes the classes of starlike functions of order $\alpha$, parabolic starlike functions, as well as the classes of starlike functions associated with lemniscate of Bernoulli, reverse lemniscate, sine function, a rational function, cardioid, lune, nephroid and modified sigmoid function.

math.CV↗

arXiv2020

Radius of Starlikeness of Certain Analytic Functions

This paper studies analytic functions $f$ defined on the open unit disk of the complex plane for which $f/g$ and $(1+z)g/z$ are both functions with positive real part for some analytic function $g$. We determine radius constants of these functions to belong to classes of strong starlike functions, starlike functions of order $\alpha$, parabolic starlike functions, as well as to the classes of starlike functions associated with lemniscate of Bernoulli, cardioid, lune, reverse lemniscate, sine function, exponential function and a particular rational function. The results obtained are sharp.

math.CV↗