-
The second moment of the size of the $2$-class group of monogenized cubic fields
Authors:
Manjul Bhargava,
Arul Shankar,
Ashvin Swaminathan
Abstract:
We prove that when totally real (resp., complex) monogenized cubic number fields are ordered by height, the second moment of the size of the $2$-class group is at most $3$ (resp., at most $6$). In the totally real case, we further prove that the second moment of the size of the narrow $2$-class group is at most $9$. This result gives further evidence in support of the general observation, first ma…
▽ More
We prove that when totally real (resp., complex) monogenized cubic number fields are ordered by height, the second moment of the size of the $2$-class group is at most $3$ (resp., at most $6$). In the totally real case, we further prove that the second moment of the size of the narrow $2$-class group is at most $9$. This result gives further evidence in support of the general observation, first made in work of Bhargava--Hanke--Shankar and recently formalized into a set of heuristics in work of Siad--Venkatesh, that monogenicity has an altering effect on class group distributions. All of the upper bounds we obtain are tight, conditional on tail estimates.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Integral representation and functional inequalities involving generalized polylogarithm
Authors:
Deepshikha Mishra,
A. Swaminathan
Abstract:
The purpose of this manuscript is to derive two distinct integral representations of the generalized polylogarithm using two different techniques. The first approach involves the Dirichlet series and its Laplace representation, which leads to a single integral representation. The second approach utilizes the Hadamard convolution, resulting in a double integral representation. As a consequence, an…
▽ More
The purpose of this manuscript is to derive two distinct integral representations of the generalized polylogarithm using two different techniques. The first approach involves the Dirichlet series and its Laplace representation, which leads to a single integral representation. The second approach utilizes the Hadamard convolution, resulting in a double integral representation. As a consequence, an integral representation of the Lerch transcendent function is obtained. Furthermore, we establish properties such as complete monotonicity, Turan inequality, convexity, and bounds of the generalized polylogarithm. Finally, we provide an alternative proof of an existing integral representation of the generalized polylogarithm using the Hadamard convolution.
△ Less
Submitted 20 January, 2025; v1 submitted 11 December, 2024;
originally announced December 2024.
-
Universality theorems for zeros of random real polynomials with fixed coefficients
Authors:
Matthew C. King,
Ashvin Swaminathan
Abstract:
Consider a monic polynomial of degree $n$ whose subleading coefficients are independent, identically distributed, nondegenerate random variables having zero mean, unit variance, and finite moments of all orders, and let $m \geq 0$ be a fixed integer. We prove that such a random monic polynomial has exactly $m$ real zeros with probability $n^{-3/4+o(1)}$ as $n\to \infty$ through integers of the sam…
▽ More
Consider a monic polynomial of degree $n$ whose subleading coefficients are independent, identically distributed, nondegenerate random variables having zero mean, unit variance, and finite moments of all orders, and let $m \geq 0$ be a fixed integer. We prove that such a random monic polynomial has exactly $m$ real zeros with probability $n^{-3/4+o(1)}$ as $n\to \infty$ through integers of the same parity as $m$. More generally, we determine conditions under which a similar asymptotic formula describes the corresponding probability for families of random real polynomials with multiple fixed coefficients. Our work extends well-known universality results of Dembo, Poonen, Shao, and Zeitouni, who considered the family of real polynomials with all coefficients random.
As a number-theoretic consequence of these results, we deduce that an algebraic integer $α$ of degree $n$ has exactly $m$ real Galois conjugates with probability $n^{-3/4+o(1)}$, when such $α$ are ordered by the heights of their minimal polynomials.
△ Less
Submitted 11 September, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Stability of the Toda equations related to a perturbed $R_i$ type recurrence relation
Authors:
Vinay Shukla,
A. Swaminathan
Abstract:
In this manuscript, a modified $R_I$ type recurrence relation is considered whose recurrence coefficients are perturbed by addition or multiplication of a constant. The perturbed system of recurrence coefficients is represented by Toda lattice equations, which are derived. These equations are then represented in a matrix form. With the help of this matrix representation, a known Lax pair is recove…
▽ More
In this manuscript, a modified $R_I$ type recurrence relation is considered whose recurrence coefficients are perturbed by addition or multiplication of a constant. The perturbed system of recurrence coefficients is represented by Toda lattice equations, which are derived. These equations are then represented in a matrix form. With the help of this matrix representation, a known Lax pair is recovered. Inferences about the stability of resulting perturbed system of Toda equations are drawn based on numerical experiments.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Orthogonality of quasi-nature spectral polynomials of Jacobi and Laguerre type
Authors:
Vikash Kumar,
A. Swaminathan
Abstract:
In this work, the explicit expressions of coefficients involved in quasi Christoffel polynomials of order one and quasi-Geronimus polynomials of order one are determined for Jacobi polynomials. These coefficients are responsible for establishing the orthogonality of quasi-spectral polynomials of Jacobi polynomials. Additionally, the orthogonality of quasi-Christoffel Laguerre polynomials of order…
▽ More
In this work, the explicit expressions of coefficients involved in quasi Christoffel polynomials of order one and quasi-Geronimus polynomials of order one are determined for Jacobi polynomials. These coefficients are responsible for establishing the orthogonality of quasi-spectral polynomials of Jacobi polynomials. Additionally, the orthogonality of quasi-Christoffel Laguerre polynomials of order one is derived. In the process of achieving orthogonality, in both cases, one zero is located on the boundary of the support of the measure. This allows us to derive the chain sequence and minimal parameter sequence at the point lying at the end point of the support of the measure.
Furthermore, the interlacing properties among the zeros of quasi-spectral orthogonal Jacobi polynomials and Jacobi polynomials are illustrated. Finally, we define the quasi-Christoffel polynomials of order one on the unit circle and analyze the location of their zeros for specific examples, as well as propose the problem in the general setup.
△ Less
Submitted 23 December, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
A positive proportion of monic odd-degree hyperelliptic curves of genus $g \geq 4$ have no unexpected quadratic points
Authors:
Jef Laga,
Ashvin A. Swaminathan
Abstract:
Let $\mathcal{F}_g$ be the family of monic odd-degree hyperelliptic curves of genus $g$ over $\mathbb{Q}$. Poonen and Stoll have shown that for every $g \geq 3$, a positive proportion of curves in $\mathcal{F}_g$ have no rational points except the point at infinity. In this note, we prove the analogue for quadratic points: for each $g\geq 4$, a positive proportion of curves in $\mathcal{F}_g$ have…
▽ More
Let $\mathcal{F}_g$ be the family of monic odd-degree hyperelliptic curves of genus $g$ over $\mathbb{Q}$. Poonen and Stoll have shown that for every $g \geq 3$, a positive proportion of curves in $\mathcal{F}_g$ have no rational points except the point at infinity. In this note, we prove the analogue for quadratic points: for each $g\geq 4$, a positive proportion of curves in $\mathcal{F}_g$ have no points defined over quadratic extensions except those that arise by pulling back rational points from $\mathbb{P}^1$.
△ Less
Submitted 21 August, 2024; v1 submitted 15 May, 2024;
originally announced May 2024.
-
Recovering orthogonality from quasi-nature of Spectral transformations
Authors:
Vikash Kumar,
Francisco Marcellán,
A. Swaminathan
Abstract:
In this contribution, quasi-orthogonality of polynomials generated by Geronimus and Uvarov transformations is analyzed. An attempt is made to discuss the recovery of the source orthogonal polynomial from the quasi-Geronimus and quasi-Uvarov polynomials of order one. Moreover, the discussion on the difference equation satisfied by quasi-Geronimus and quasi-Uvarov polynomials is presented. Furthermo…
▽ More
In this contribution, quasi-orthogonality of polynomials generated by Geronimus and Uvarov transformations is analyzed. An attempt is made to discuss the recovery of the source orthogonal polynomial from the quasi-Geronimus and quasi-Uvarov polynomials of order one. Moreover, the discussion on the difference equation satisfied by quasi-Geronimus and quasi-Uvarov polynomials is presented. Furthermore, the orthogonality of quasi-Geronimus and quasi-Uvarov polynomials is achieved through the reduction of the degree of coefficients in the difference equation. During this procedure, alternative representations of the parameters responsible for achieving orthogonality are derived. One of these representations involves the Stieltjes transform of the measure. Finally, the recurrence coefficients ensuring the existence of a measure that makes the quasi-Geronimus Laguerre polynomial of order one an orthogonal polynomial are calculated.
△ Less
Submitted 17 May, 2024; v1 submitted 6 March, 2024;
originally announced March 2024.
-
Orthogonality of a new family of $q$-Sobolev type polynomials
Authors:
Neha,
A. Swaminathan
Abstract:
In this work, we introduce and construct specific $q$-polynomials that are desired from the well-established families of $q$-orthogonal polynomials, namely little $q$-Jacobi polynomials and $q$-Laguerre polynomials, respectively. We examine these newly constructed $q$-polynomials and observe that they possess integral representations of little $q$-Jacobi polynomials and $q$-Laguerre polynomials. T…
▽ More
In this work, we introduce and construct specific $q$-polynomials that are desired from the well-established families of $q$-orthogonal polynomials, namely little $q$-Jacobi polynomials and $q$-Laguerre polynomials, respectively. We examine these newly constructed $q$-polynomials and observe that they possess integral representations of little $q$-Jacobi polynomials and $q$-Laguerre polynomials. These polynomials solve a third-order $q$-difference equation and display an unconventional four-term recurrence relation. This unique recurrence relation makes us categorize them as $q$-Sobolev-type orthogonal polynomials. This motivation leads to defining the general Sobolev-type orthogonality for $q$-polynomials. Special cases of these polynomials are also explored and discussed. Furthermore, we delve into the behavior of these $q$-orthogonal polynomials of Sobolev type as the parameters approach $1$. We also examine their zeros and interlacing properties.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Inequalities involving a measure of Marcellán class and zeros of corresponding orthogonal polynomials
Authors:
Vikash Kumar,
A. Swaminathan
Abstract:
Let $\tildeΦ_n$ be a quasi-orthogonal polynomial of order 1 on the unit circle, obtained from an orthogonal polynomial $Φ_n$ with measure $μ$, which is in the Marcellán class, if there exist another measure $\tildeμ$ such that $\tildeΦ_n$ is a monic orthogonal polynomial. This article aims to investigate various properties related to the Marcellán class. At first, we study the behaviour of the zer…
▽ More
Let $\tildeΦ_n$ be a quasi-orthogonal polynomial of order 1 on the unit circle, obtained from an orthogonal polynomial $Φ_n$ with measure $μ$, which is in the Marcellán class, if there exist another measure $\tildeμ$ such that $\tildeΦ_n$ is a monic orthogonal polynomial. This article aims to investigate various properties related to the Marcellán class. At first, we study the behaviour of the zeros between $Φ_n$ and $\tildeΦ_n$. Along with numerical examples, we analyze the zeros of $Φ_n$, its POPUC and the linear combination of the POPUC. Further, comparison of the norm inequalities among $Φ_n$ and $\tildeΦ_n$ are obtained by involving their measures. This leads to the study of the Lubinsky type inequality between the measures $μ$ and $\tildeμ$, without using the ordering relation between $μ$ and $\tildeμ$. Additionally, similar type of inequalities for the kernel type polynomials related to $μ$ and $\tildeμ$ are obtained.
△ Less
Submitted 10 June, 2024; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Generalized co-polynomials of $R_{II}$ type and associated quadrature rules
Authors:
Vinay Shukla,
A. Swaminathan
Abstract:
When the co-recursion and co-dilation in the recurrence relation of certain sequences of orthogonal polynomials are not at the same level, the behaviour of the modified orthogonal polynomials is expected to have different properties compared to the situation of the same level of perturbation. This manuscript attempts to derive structural relations between the perturbed and original $R_{II}$ type o…
▽ More
When the co-recursion and co-dilation in the recurrence relation of certain sequences of orthogonal polynomials are not at the same level, the behaviour of the modified orthogonal polynomials is expected to have different properties compared to the situation of the same level of perturbation. This manuscript attempts to derive structural relations between the perturbed and original $R_{II}$ type orthogonal polynomials. The classical result is improved using a transfer matrix approach. It turns out that the $R_{II}$ fraction with perturbation is the rational spectral transformation of the unperturbed one. The derived notions are used to deduce some consequences for the polynomials orthogonal on the real line. A natural question that arises while dealing with perturbations at different levels, i.e., which perturbation, co-recursion or co-dilation, needs to be performed first, is answered.
△ Less
Submitted 12 May, 2024; v1 submitted 24 April, 2023;
originally announced April 2023.
-
Counting integral points on symmetric varieties with applications to arithmetic statistics
Authors:
Arul Shankar,
Artane Siad,
Ashvin A. Swaminathan
Abstract:
In this article, we combine Bhargava's geometry-of-numbers methods with the dynamical point-counting methods of Eskin--McMullen and Benoist--Oh to develop a new technique for counting integral points on symmetric varieties lying within fundamental domains for coregular representations. As applications, we study the distribution of the $2$-torsion subgroup of the class group in thin families of cub…
▽ More
In this article, we combine Bhargava's geometry-of-numbers methods with the dynamical point-counting methods of Eskin--McMullen and Benoist--Oh to develop a new technique for counting integral points on symmetric varieties lying within fundamental domains for coregular representations. As applications, we study the distribution of the $2$-torsion subgroup of the class group in thin families of cubic number fields, as well as the distribution of the $2$-Selmer groups in thin families of elliptic curves over $\mathbb{Q}$. For example, our results suggest that the existence of a generator of the ring of integers with small norm has an increasing effect on the average size of the $2$-torsion subgroup of the class group, relative to the Cohen--Lenstra predictions.
△ Less
Submitted 10 April, 2025; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Recovering orthogonality from Quasi-type Kernel Polynomials using specific spectral transformations
Authors:
Vikash Kumar,
A. Swaminathan
Abstract:
In this work, the concept of quasi-type Kernel polynomials with respect to a moment functional is introduced. Difference equation satisfied by these polynomials along with the criterion for orthogonality conditions are discussed. The process of recovering orthogonality for the linear combination of a quasi-type kernel polynomial with another orthogonal polynomial, which is identified by involving…
▽ More
In this work, the concept of quasi-type Kernel polynomials with respect to a moment functional is introduced. Difference equation satisfied by these polynomials along with the criterion for orthogonality conditions are discussed. The process of recovering orthogonality for the linear combination of a quasi-type kernel polynomial with another orthogonal polynomial, which is identified by involving linear spectral transformation, is provided. This process involves an expression of ratio of iterated kernel polynomials. This lead to considering the limiting case of ratio of kernel polynomials involving continued fractions. Special cases of such ratios in terms of certain continued fractions are exhibited.
△ Less
Submitted 29 January, 2023; v1 submitted 19 November, 2022;
originally announced November 2022.
-
The mean number of $2$-torsion elements in the class groups of cubic orders
Authors:
Ashvin Swaminathan
Abstract:
We determine the mean number of 2-torsion elements in class groups of cubic orders, when such orders are enumerated by discriminant. Specifically, we prove that when isomorphism classes of totally real (resp., complex) cubic orders are enumerated by discriminant, the average $2$-torsion in the class group is $1 + \frac{1}{4} \times \frac{ζ(2)}{ζ(4)}$ (resp.,…
▽ More
We determine the mean number of 2-torsion elements in class groups of cubic orders, when such orders are enumerated by discriminant. Specifically, we prove that when isomorphism classes of totally real (resp., complex) cubic orders are enumerated by discriminant, the average $2$-torsion in the class group is $1 + \frac{1}{4} \times \frac{ζ(2)}{ζ(4)}$ (resp., $1 + \frac{1}{2} \times \frac{ζ(2)}{ζ(4)}$). In particular, we find that the average $2$-torsion in the class group increases when one ranges over all orders in cubic fields instead of restricting to the subfamily of rings of integers of cubic fields, where the average $2$-torsion in the class group was first determined in work of Bhargava to be $\frac{5}{4}$ (resp., $\frac{3}{2}$).
By work of Bhargava--Varma, proving this result amounts to obtaining an asymptotic count of the number of "reducible" $\operatorname{SL}_3(\mathbb{Z})$-orbits on the space $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^3$ of $3 \times 3$ symmetric integer matrices having bounded invariants and satisfying local conditions. In this paper, we resolve the generalization of this orbit-counting problem where the dimension $3$ is replaced by any fixed odd integer $N \geq 3$. More precisely, we determine asymptotic formulas for the number of reducible $\operatorname{SL}_N(\mathbb{Z})$-orbits on $\mathbb{Z}^2 \otimes_{\mathbb{Z}} \operatorname{Sym}^2 \mathbb{Z}^N$ satisfying general infinite sets of congruence conditions.
△ Less
Submitted 30 August, 2024; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Spectral properties related to generalized complementary Romanovski-Routh polynomials
Authors:
Vinay Shukla,
A. Swaminathan
Abstract:
Complementary Romanovski-Routh polynomials play an important role in extracting specific properties of orthogonal polynomials. In this work, a generalized form of the Complementary Romanovski-Routh polynomials (GCRR) that has the Gaussian hypergeometric representation and satisfies a particular type of recurrence called $R_{II}$ type three term recurrence relation involving two arbitrary parameter…
▽ More
Complementary Romanovski-Routh polynomials play an important role in extracting specific properties of orthogonal polynomials. In this work, a generalized form of the Complementary Romanovski-Routh polynomials (GCRR) that has the Gaussian hypergeometric representation and satisfies a particular type of recurrence called $R_{II}$ type three term recurrence relation involving two arbitrary parameters is considered. Self perturbation of GCRR polynomials leading to extracting two different types of $R_{II}$ type orthogonal polynomials are identified. Spectral properties of these resultant polynomials in terms of tri-diagonal linear pencil were analyzed. The LU decomposition of these pencil matrices provided interesting properties involving biorthogonality. Interlacing properties between the zeros of the polynomials in the discussion are established.
△ Less
Submitted 7 September, 2022;
originally announced September 2022.
-
Chain sequences and Zeros of a perturbed $R_{II}$ type recurrence relation
Authors:
Vinay Shukla,
A. Swaminathan
Abstract:
In this manuscript, new algebraic and analytic aspects of the orthogonal polynomials satisfying $R_{II}$ type recurrence relation given by \begin{align*} \mathcal{P}_{n+1}(x) = (x-c_n)\mathcal{P}_n(x)-λ_n (x-a_n)(x-b_n)\mathcal{P}_{n-1}(x), \quad n \geq 0, \end{align*} where $λ_n$ is a positive chain sequence and $a_n$, $b_n$, $c_n$ are sequences of real or complex numbers with…
▽ More
In this manuscript, new algebraic and analytic aspects of the orthogonal polynomials satisfying $R_{II}$ type recurrence relation given by \begin{align*} \mathcal{P}_{n+1}(x) = (x-c_n)\mathcal{P}_n(x)-λ_n (x-a_n)(x-b_n)\mathcal{P}_{n-1}(x), \quad n \geq 0, \end{align*} where $λ_n$ is a positive chain sequence and $a_n$, $b_n$, $c_n$ are sequences of real or complex numbers with $\mathcal{P}_{-1}(x) = 0$ and $\mathcal{P}_0(x) = 1$ are investigated when the recurrence coefficients are perturbed. Specifically, representation of new perturbed polynomials (co-polynomials of $R_{II}$ type) in terms of original ones with the interlacing and monotonicity properties of zeros are given. For finite perturbations, a transfer matrix approach is used to obtain new structural relations. Effect of co-dilation in the corresponding chain sequences and their consequences onto the unit circle are analysed. A particular perturbation in the corresponding chain sequence called complementary chain sequences and its effect on the corresponding Verblunsky coefficients is also studied.
△ Less
Submitted 23 January, 2022;
originally announced January 2022.
-
Spectral transformation associated with a perturbed $R_I$ type recurrence relation
Authors:
Vinay Shukla,
A. Swaminathan
Abstract:
In this work, orthogonal polynomials satisfying $R_I$ type recurrence relation %$\mathcal{P}_{n+1}(z) = (z-c_n)\mathcal{P}_n(z)-λ_n (z-a_n)\mathcal{P}_{n-1}(z),$ with $\mathcal{P}_{-1}(z) = 0$ and $\mathcal{P}_0(z) = 1$ are analyzed when the recurrence coefficients are modified. The structural relationship between the perturbed and the unperturbed polynomials along with the spectral properties and…
▽ More
In this work, orthogonal polynomials satisfying $R_I$ type recurrence relation %$\mathcal{P}_{n+1}(z) = (z-c_n)\mathcal{P}_n(z)-λ_n (z-a_n)\mathcal{P}_{n-1}(z),$ with $\mathcal{P}_{-1}(z) = 0$ and $\mathcal{P}_0(z) = 1$ are analyzed when the recurrence coefficients are modified. The structural relationship between the perturbed and the unperturbed polynomials along with the spectral properties and spectral transformation of continued fraction are investigated. It is demonstrated that the transfer matrix method is computationally more efficient than the classical method for obtaining perturbed $R_I$ polynomials. Further, an interesting consequence of co-dilation on the Carathéodary function is presented. Finally, the study of co-recursion and co-dilation in connection to the unit circle is carried out with the help of an illustration. The interlacing and monotonicity of zeros between L-Jacobi polynomials and their perturbed forms are demonstrated.
△ Less
Submitted 19 May, 2024; v1 submitted 14 January, 2022;
originally announced January 2022.
-
Geometry-of-numbers methods in the cusp
Authors:
Arul Shankar,
Artane Siad,
Ashvin Swaminathan,
Ila Varma
Abstract:
In this article, we develop new methods for counting integral orbits having bounded invariants that lie inside the cusps of fundamental domains for coregular representations. We illustrate these methods for a representation of cardinal interest in number theory, namely that of the split orthogonal group acting on the space of quadratic forms.
In this article, we develop new methods for counting integral orbits having bounded invariants that lie inside the cusps of fundamental domains for coregular representations. We illustrate these methods for a representation of cardinal interest in number theory, namely that of the split orthogonal group acting on the space of quadratic forms.
△ Less
Submitted 3 September, 2024; v1 submitted 18 October, 2021;
originally announced October 2021.
-
The second moment of the size of the $2$-Selmer group of elliptic curves
Authors:
Manjul Bhargava,
Arul Shankar,
Ashvin Swaminathan
Abstract:
In this paper, we prove that when elliptic curves over $\mathbb{Q}$ are ordered by height, the second moment of the size of the $2$-Selmer group is at most $15$. This confirms a conjecture of Poonen and Rains.
In this paper, we prove that when elliptic curves over $\mathbb{Q}$ are ordered by height, the second moment of the size of the $2$-Selmer group is at most $15$. This confirms a conjecture of Poonen and Rains.
△ Less
Submitted 18 October, 2021;
originally announced October 2021.
-
Hermite equivalence of polynomials
Authors:
Manjul Bhargava,
Jan-Hendrik Evertse,
Kálmán Győry,
László Remete,
Ashvin A. Swaminathan
Abstract:
In this paper, we resurrect a long-forgotten notion of equivalence for univariate polynomials with integral coefficients introduced by Hermite in the 1850s. We show that the Hermite equivalence class of a polynomial has a very natural interpretation in terms of the invariant ring and invariant ideal associated with the polynomial. We apply this interpretation to shed light on the relationship betw…
▽ More
In this paper, we resurrect a long-forgotten notion of equivalence for univariate polynomials with integral coefficients introduced by Hermite in the 1850s. We show that the Hermite equivalence class of a polynomial has a very natural interpretation in terms of the invariant ring and invariant ideal associated with the polynomial. We apply this interpretation to shed light on the relationship between Hermite equivalence and more familiar notions of polynomial equivalence, such as ${\rm GL}_2(\mathbb{Z})$- and $\mathbb{Z}$-equivalence. Specifically, we prove that ${\rm GL}_2(\mathbb{Z})$-equivalent polynomials are Hermite equivalent and, for polynomials of degree $2$ or $3$, the converse is also true. On the other hand, for every $n\geq 4$, we give infinite collections of examples of polynomials $f,g\in \mathbb{Z}[X]$ of degree $n$ that are Hermite equivalent but not ${\rm GL}_2(\mathbb{Z})$-equivalent.
△ Less
Submitted 14 September, 2022; v1 submitted 7 September, 2021;
originally announced September 2021.
-
Sufficiency for Nephroid Starlikeness using Hypergeometric Functions
Authors:
A. Swaminathan,
Lateef Ahmad Wani
Abstract:
Let $\mathcal{A}$ consists of analytic functions $f:\mathbb{D}\to\mathbb{C}$ satisfying $f(0)=f'(0)-1=0$. Let $\mathcal{S}^*_{Ne}$ be the recently introduced Ma-Minda type functions family associated with the $2$-cusped kidney-shaped {\it nephroid} curve $\left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0$ given by \begin{align*}
\mathcal{S}^*_{Ne}:=
\left\{f\in\mathcal{A}:\frac{zf'(z)}{…
▽ More
Let $\mathcal{A}$ consists of analytic functions $f:\mathbb{D}\to\mathbb{C}$ satisfying $f(0)=f'(0)-1=0$. Let $\mathcal{S}^*_{Ne}$ be the recently introduced Ma-Minda type functions family associated with the $2$-cusped kidney-shaped {\it nephroid} curve $\left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0$ given by \begin{align*}
\mathcal{S}^*_{Ne}:=
\left\{f\in\mathcal{A}:\frac{zf'(z)}{f(z)}\prec\varphi_{\scriptscriptstyle {Ne}}(z)=1+z-z^3/3\right\}. \end{align*} In this paper, we adopt a novel technique that uses the geometric properties of {\it hypergeometric functions} to determine sharp estimates on $β$ so that each of the differential subordinations \begin{align*}
p(z)+βzp'(z)\prec
\begin{cases}
\sqrt{1+z};
1+z;
e^z;
\end{cases} \end{align*} imply $p(z)\prec\varphi_{\scriptscriptstyle{Ne}}(z)$, where $p(z)$ is analytic satisfying $p(0)=1$. As applications, we establish conditions that are sufficient to deduce that $f\in\mathcal{A}$ is a member of $\mathcal{S}^*_{Ne}$.
△ Less
Submitted 17 April, 2021; v1 submitted 10 April, 2021;
originally announced April 2021.
-
A new parametrization for ideal classes in rings defined by binary forms, and applications
Authors:
Ashvin Swaminathan
Abstract:
We give a parametrization of square roots of the ideal class of the inverse different of rings defined by binary forms in terms of the orbits of a coregular representation. This parametrization, which can be construed as a new integral model of a ``higher composition law'' discovered by Bhargava and generalized by Wood, was the missing ingredient needed to solve a range of previously intractable o…
▽ More
We give a parametrization of square roots of the ideal class of the inverse different of rings defined by binary forms in terms of the orbits of a coregular representation. This parametrization, which can be construed as a new integral model of a ``higher composition law'' discovered by Bhargava and generalized by Wood, was the missing ingredient needed to solve a range of previously intractable open problems concerning distributions of class groups, Selmer groups, and related objects. For instance, in this paper, we apply the parametrization to bound the average size of the $2$-class group in families of number fields defined by binary $n$-ic forms, where $n \geq 3$ is an arbitrary integer, odd or even; in the paper [41], we applied it to prove that most integral odd-degree binary forms fail to primitively represent a square; and in the paper [11], joint with Bhargava and Shankar, we applied it to bound the second moment of the size of the $2$-Selmer group of elliptic curves.
△ Less
Submitted 30 August, 2024; v1 submitted 27 November, 2020;
originally announced November 2020.
-
Radius Problems For Functions Associated with a Nephroid Domai
Authors:
Lateef Ahmad Wani,
A. Swaminathan
Abstract:
Let $\mathcal{S}^*_{Ne}$ be the collection of all analytic functions $f(z)$ defined on the open unit disk $\mathbb{D}$ and satisfying the normalizations $f(0)=f'(0)-1=0$ such that the quantity $zf'(z)/f(z)$ assumes values from the range of the function $\varphi_{\scriptscriptstyle{Ne}}(z):=1+z-z^3/3\,,z\in\mathbb{D}$, which is the interior of the nephroid given by \begin{align*} \left((u-1)^2+v^2-…
▽ More
Let $\mathcal{S}^*_{Ne}$ be the collection of all analytic functions $f(z)$ defined on the open unit disk $\mathbb{D}$ and satisfying the normalizations $f(0)=f'(0)-1=0$ such that the quantity $zf'(z)/f(z)$ assumes values from the range of the function $\varphi_{\scriptscriptstyle{Ne}}(z):=1+z-z^3/3\,,z\in\mathbb{D}$, which is the interior of the nephroid given by \begin{align*} \left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0. \end{align*} In this work, we find sharp $\mathcal{S}^*_{Ne}$-radii for several geometrically defined function classes introduced in the recent past. In particular, $\mathcal{S}^*_{Ne}$-radius for the starlike class $\mathcal{S}^*$ is found to be $1/4$. Moreover, radii problems related to the families defined in terms of ratio of functions are also discussed. Sharpness of certain radii estimates are illustrated graphically.
△ Less
Submitted 20 March, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Differential Subordinations for Starlike Functions Associated With A Nephroid Domain
Authors:
Lateef Ahmad Wani,
A. Swaminathan
Abstract:
Let $\mathcal{A}$ be the set of all analytic functions $f$ defined in the open unit disk $\mathbb{D}$ and satisfying $f(0)=f'(0)-1=0$. In this paper, we consider the function $\varphi_{\scriptscriptstyle {Ne}}(z):=1+z-z^3/3$, which maps the unit circle $\{z:|z|=1\}$ onto a $2$-cusped curve called nephroid given by $\left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0$, and the function class…
▽ More
Let $\mathcal{A}$ be the set of all analytic functions $f$ defined in the open unit disk $\mathbb{D}$ and satisfying $f(0)=f'(0)-1=0$. In this paper, we consider the function $\varphi_{\scriptscriptstyle {Ne}}(z):=1+z-z^3/3$, which maps the unit circle $\{z:|z|=1\}$ onto a $2$-cusped curve called nephroid given by $\left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0$, and the function class $\mathcal{S}^*_{Ne}$ defined as \begin{align*} \mathcal{S}^*_{Ne}:=\left\{f\in\mathcal{A}:\frac{zf'(z)}{f(z)}\prec\varphi_{\scriptscriptstyle {Ne}}(z)\right\}, \end{align*} where $\prec$ denotes subordination. We obtain sharp estimates on $β\in\mathbb{R}$ so that the first-order differential subordination \begin{align*} 1+β\frac{zp'(z)}{p^j(z)}\prec\mathcal{P}(z), \quad j=0,1,2 \end{align*} implies $p\prec\varphi_{\scriptscriptstyle{Ne}}$, where $\mathcal{P}(z)$ is certain Carathéodory function with nice geometrical properties and $p(z)$ is analytic satisfying $p(0)=1$. Moreover, we use properties of Gaussian hypergeometric function in order to get the subordination $p\prec\varphi_{\scriptscriptstyle{Ne}}$ whenever $p(z)+βzp'(z)\prec\sqrt{1+z}$ or $1+z$. As applications, we establish sufficient conditions for $f\in\mathcal{A}$ to be in the class $\mathcal{S}^*_{Ne}$.
△ Less
Submitted 5 September, 2020; v1 submitted 13 December, 2019;
originally announced December 2019.
-
Starlike And Convex Functions Associated with A Nephroid domain having Cusps On The Real Axis
Authors:
Lateef Ahmad Wani,
A. Swaminathan
Abstract:
In this paper, we show that the Carathéodory function $\varphi_{\scriptscriptstyle {Ne}}(z)=1+z-z^3/3$ maps the open unit disk $\mathbb{D}$ onto the interior of the nephroid, a $2$-cusped kidney-shaped curve, \begin{align*} \left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0, \end{align*} and introduce new Ma-Minda type function classes $\mathcal{S}^*_{Ne}$ and $\mathcal{C}_{Ne}$ associated w…
▽ More
In this paper, we show that the Carathéodory function $\varphi_{\scriptscriptstyle {Ne}}(z)=1+z-z^3/3$ maps the open unit disk $\mathbb{D}$ onto the interior of the nephroid, a $2$-cusped kidney-shaped curve, \begin{align*} \left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0, \end{align*} and introduce new Ma-Minda type function classes $\mathcal{S}^*_{Ne}$ and $\mathcal{C}_{Ne}$ associated with it. Apart from studying the characteristic properties of the region bounded by this nephroid, the structural formulas, extremal functions, growth and distortion results, inclusion results, coefficient bounds and Fekete-Szegö problems are discussed for the classes $\mathcal{S}^*_{Ne}$ and $\mathcal{C}_{Ne}$. Moreover, for $β\in\mathbb{R}$ and some analytic function $p(z)$ satisfying $p(0)=1$, we prove certain subordination implications of the first order differential subordination $1+β\frac{zp'(z)}{p^j(z)}\prec\varphi_{\scriptscriptstyle {Ne}}(z),\,j=0,1,2,$ and obtain sufficient conditions for some geometrically defined function classes available in the literature.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Most Odd-Degree Binary Forms Fail to Primitively Represent a Square
Authors:
Ashvin Swaminathan
Abstract:
Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ``Faltings plus epsilon'' implies that the degree-$N$ \emph{superelliptic equation} $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr{F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient…
▽ More
Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ``Faltings plus epsilon'' implies that the degree-$N$ \emph{superelliptic equation} $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr{F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb{Z} \smallsetminus \pm\mathbb{Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr{F}_N(f_0)$, more than $74.9\%$ are insoluble, and more than $71.8\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer--Manin obstruction. We further show that these proportions rise to at least $99.9\%$ and $96.7\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ``Faltings plus epsilon'' for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb{Q}$ have no rational points.
△ Less
Submitted 30 August, 2024; v1 submitted 27 October, 2019;
originally announced October 2019.
-
Sufficient Conditions and Radius Problems for a starlike Class Involving a Differential Inequality
Authors:
Lateef Ahmad Wani,
A. Swaminathan
Abstract:
Let $\mathcal{A}_n$ be the class of analytic functions $f(z)$ of the form $f(z)=z+\sum_{k=n+1}^\infty a_kz^k,n\in\mathbb{N}$ and let \begin{align*} Ω_n:=\left\{f\in\mathcal{A}_n:\left|zf'(z)-f(z)\right|<\frac{1}{2},\; z\in\mathbb{D}\right\}. \end{align*} We make use of differential subordination technique to obtain sufficient conditions for the class $Ω_n$, and then employ these conditions to cons…
▽ More
Let $\mathcal{A}_n$ be the class of analytic functions $f(z)$ of the form $f(z)=z+\sum_{k=n+1}^\infty a_kz^k,n\in\mathbb{N}$ and let \begin{align*} Ω_n:=\left\{f\in\mathcal{A}_n:\left|zf'(z)-f(z)\right|<\frac{1}{2},\; z\in\mathbb{D}\right\}. \end{align*} We make use of differential subordination technique to obtain sufficient conditions for the class $Ω_n$, and then employ these conditions to construct functions which involve double integrals and members of $Ω_n$. We also consider a subclass $\widehatΩ_n\subsetΩ_n$ and obtain subordination results for members of $\widehatΩ_n$ besides a necessary and sufficient condition. Writing $Ω_1=Ω$, we obtain inclusion properties of $Ω$ with respect to functions defined on certain parabolic regions and as a consequence, establish a relation connecting the parabolic starlike class $\mathcal{S}_p$ and the uniformly starlike $UST$. Various radius problems for the class $Ω$ are considered and the sharpness of the radii estimates is obtained analytically besides graphical illustrations.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
On the EKL-Degree of a Weyl Cover
Authors:
Joseph Knight,
Ashvin Swaminathan,
Dennis Tseng
Abstract:
More than four decades ago, Eisenbud, Khimšiašvili, and Levine introduced an analogue in the algebro-geometric setting of the notion of local degree from differential topology. Their notion of degree, which we call the EKL-degree, can be thought of as a refinement of the usual notion of local degree in algebraic geometry that works over non-algebraically closed base fields, taking values in the Gr…
▽ More
More than four decades ago, Eisenbud, Khimšiašvili, and Levine introduced an analogue in the algebro-geometric setting of the notion of local degree from differential topology. Their notion of degree, which we call the EKL-degree, can be thought of as a refinement of the usual notion of local degree in algebraic geometry that works over non-algebraically closed base fields, taking values in the Grothendieck-Witt ring. In this note, we compute the EKL-degree at the origin of certain finite covers $f\colon \mathbb{A}^n\to \mathbb{A}^n$ induced by quotients under actions of Weyl groups. We use knowledge of the cohomology ring of partial flag varieties as a key input in our proofs, and our computations give interesting explicit examples in the field of $\mathbb{A}^1$-enumerative geometry.
△ Less
Submitted 13 September, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
On a conjecture for trigonometric sums by S. Koumandos and S. Ruscheweyh
Authors:
Priyanka Sangal,
A. Swaminathan
Abstract:
S. Koumandos and S. Ruscheweyh posed the following conjecture: For $ρ\in(0,1]$ and $0<μ\leqμ^{\ast}(ρ)$, the partial sum $s_n^μ(z)=\displaystyle\sum_{k=0}^n \frac{(μ)_k}{k!}z^k$, $0<μ\leq1$, $|z|<1$, satisfies %
\begin{align*} (1-z)^ρs_n^μ(z) \prec \left(\frac{1+z}{1-z}\right)^ρ, \qquad n\in \mathbb{N}, \end{align*} where $μ^{\ast}(ρ)$ is the unique solution of \begin{align*} \int_0^{(ρ+1)π} \sin(…
▽ More
S. Koumandos and S. Ruscheweyh posed the following conjecture: For $ρ\in(0,1]$ and $0<μ\leqμ^{\ast}(ρ)$, the partial sum $s_n^μ(z)=\displaystyle\sum_{k=0}^n \frac{(μ)_k}{k!}z^k$, $0<μ\leq1$, $|z|<1$, satisfies %
\begin{align*} (1-z)^ρs_n^μ(z) \prec \left(\frac{1+z}{1-z}\right)^ρ, \qquad n\in \mathbb{N}, \end{align*} where $μ^{\ast}(ρ)$ is the unique solution of \begin{align*} \int_0^{(ρ+1)π} \sin(t-ρπ)t^{μ-1}dt=0. \end{align*} This conjecture is already settled for $ρ=\frac{1}{2}$, $\frac{1}{4}$, $\frac{3}{4}$ and $ρ=1$. In this work, we validate this conjecture for an open neighbourhood of $ρ=\frac{1}{3}$ and in a weaker form for $ρ=\frac{2}{3}$. The particular value of the conjecture leads to several consequences related to starlike functions.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Biorthogonality and para-orthogonality of $R_I$ polynomials
Authors:
Kiran Kumar Behera,
A. Swaminathan
Abstract:
In this paper, a sequence of linear combination of $R_{I}$ type polynomials such that the terms in this sequence have a common zero is constructed. A biorthogonality relation arising from such a sequence is discussed. Besides a sequence of para-orthogonal polynomials by removing the common zero using suitable conditions is obtained. Finally, a case of hypergeometric functions is studied to illustr…
▽ More
In this paper, a sequence of linear combination of $R_{I}$ type polynomials such that the terms in this sequence have a common zero is constructed. A biorthogonality relation arising from such a sequence is discussed. Besides a sequence of para-orthogonal polynomials by removing the common zero using suitable conditions is obtained. Finally, a case of hypergeometric functions is studied to illustrate the results obtained.
△ Less
Submitted 13 February, 2018; v1 submitted 17 January, 2018;
originally announced January 2018.
-
Biorthogonal rational functions of $R_{II}$ type
Authors:
Kiran Kumar Behera,
A. Swaminathan
Abstract:
In this work, a sequence of orthonormal rational functions that is also biorthogonal to another sequence of rational functions arising from recurrence relations of $R_{II}$ type is constructed. The biorthogonality is proved by a procedure which we call Zhedanov method. A particular case of a sequence of orthonormal rational functions having denominators of special form is considered to motivate th…
▽ More
In this work, a sequence of orthonormal rational functions that is also biorthogonal to another sequence of rational functions arising from recurrence relations of $R_{II}$ type is constructed. The biorthogonality is proved by a procedure which we call Zhedanov method. A particular case of a sequence of orthonormal rational functions having denominators of special form is considered to motivate the general case. The particular case provides a Christoffel type transformation of the generalized eigenvalue problem with a reformulation different from the existing literature.
△ Less
Submitted 8 May, 2018; v1 submitted 2 December, 2017;
originally announced December 2017.
-
Geometric properties of Cesaro averaging operators
Authors:
Priyanka Sangal,
A. Swaminathan
Abstract:
In this paper, using positivity of trigonometric cosine and sine sums whose coefficients are generalization of Vietoris numbers, we find the conditions on the coefficient $\{a_k\}$ to characterize the geometric properties of the corresponding analytic function $f(z)=z+\displaystyle\sum_{k=2}^{\infty} a_kz^k$ in the unit disc $\mathbb{D}$. As an application we also find geometric properties of a ge…
▽ More
In this paper, using positivity of trigonometric cosine and sine sums whose coefficients are generalization of Vietoris numbers, we find the conditions on the coefficient $\{a_k\}$ to characterize the geometric properties of the corresponding analytic function $f(z)=z+\displaystyle\sum_{k=2}^{\infty} a_kz^k$ in the unit disc $\mathbb{D}$. As an application we also find geometric properties of a generalized Cesàro type polynomials.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Hyperelliptic Curves with Maximal Galois Action on the Torsion Points of their Jacobians
Authors:
Aaron Landesman,
Ashvin Swaminathan,
James Tao,
Yujie Xu
Abstract:
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyp…
▽ More
In this article, we show that in each of four standard families of hyperelliptic curves, there is a density-$1$ subset of members with the property that their Jacobians have adelic Galois representation with image as large as possible. This result constitutes an explicit application of a general theorem on arbitrary rational families of abelian varieties to the case of families of Jacobians of hyperelliptic curves. Furthermore, we provide explicit examples of hyperelliptic curves of genus $2$ and $3$ over $\mathbb Q$ whose Jacobians have such maximal adelic Galois representations.
△ Less
Submitted 11 June, 2022; v1 submitted 24 May, 2017;
originally announced May 2017.
-
Inflectionary Invariants for Isolated Complete Intersection Curve Singularities
Authors:
Anand Patel,
Ashvin Swaminathan
Abstract:
We investigate the role played by curve singularity germs in the enumeration of inflection points in families of curves acquiring singular members. Let $N \geq 2$, and consider an isolated complete intersection curve singularity germ $f \colon (\mathbb{C}^N,0) \to (\mathbb{C}^{N-1},0)$. We introduce a numerical function $m \mapsto \operatorname{AD}_{(2)}^m(f)$ that arises as an error term when cou…
▽ More
We investigate the role played by curve singularity germs in the enumeration of inflection points in families of curves acquiring singular members. Let $N \geq 2$, and consider an isolated complete intersection curve singularity germ $f \colon (\mathbb{C}^N,0) \to (\mathbb{C}^{N-1},0)$. We introduce a numerical function $m \mapsto \operatorname{AD}_{(2)}^m(f)$ that arises as an error term when counting $m^{\mathrm{th}}$-order weight-$2$ inflection points with ramification sequence $(0, \dots, 0, 2)$ in a $1$-parameter family of curves acquiring the singularity $f = 0$, and we compute $\operatorname{AD}_{(2)}^m(f)$ for various $(f,m)$. Particularly, for a node defined by $f \colon (x,y) \mapsto xy$, we prove that $\operatorname{AD}_{(2)}^m(xy) = {{m+1} \choose 4},$ and we deduce as a corollary that $\operatorname{AD}_{(2)}^m(f) \geq (\operatorname{mult}_0 Δ_f) \cdot {{m+1} \choose 4}$ for any $f$, where $\operatorname{mult}_0 Δ_f$ is the multiplicity of the discriminant $Δ_f$ at the origin in the deformation space. Furthermore, we show that the function $m \mapsto \operatorname{AD}_{(2)}^m(f) -(\operatorname{mult}_0 Δ_f) \cdot {{m+1} \choose 4}$ is an analytic invariant measuring how much the singularity "counts as" an inflection point. We obtain similar results for weight-$2$ inflection points with ramification sequence $(0, \dots, 0, 1,1)$ and for weight-$1$ inflection points, and we apply our results to solve various related enumerative problems.
△ Less
Submitted 30 March, 2020; v1 submitted 24 May, 2017;
originally announced May 2017.
-
On generalized Cesàro stable functions
Authors:
Priyanka Sangal,
A. Swaminathan
Abstract:
The notion of Cesàro stable function is generalized by introducing Cesàro mean of type $(b-1;c)$ which give rise to a new concept of generalized Cesàro stable function. As an application of generalized Cesàro stable functions we also prove for a convex function of order $λ\in[1/2,1)$, its Cesàro mean of type $(b-1;c)$ is close-to-convex of order $λ$. Further two conjectures are also posed in the d…
▽ More
The notion of Cesàro stable function is generalized by introducing Cesàro mean of type $(b-1;c)$ which give rise to a new concept of generalized Cesàro stable function. As an application of generalized Cesàro stable functions we also prove for a convex function of order $λ\in[1/2,1)$, its Cesàro mean of type $(b-1;c)$ is close-to-convex of order $λ$. Further two conjectures are also posed in the direction of generalized Cesàro stable function. Some particular cases of these conjectures are also discussed.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Vietoris type theorem related to positivity of trigonometric polynomials
Authors:
Priyanka Sangal,
A. Swaminathan
Abstract:
In this work, a Vietoris type theorem for the positivity of sine and cosine sum for a particular sequence of real numbers is provided. In this connection, the positivity of a particular type of sine sum involving ratio of some parameters is given, which is new in the literature. Various new results that follow from the Vietoris type theorem include improved estimates for the location of the zeros…
▽ More
In this work, a Vietoris type theorem for the positivity of sine and cosine sum for a particular sequence of real numbers is provided. In this connection, the positivity of a particular type of sine sum involving ratio of some parameters is given, which is new in the literature. Various new results that follow from the Vietoris type theorem include improved estimates for the location of the zeros of a class of trigonometric polynomials and new positive sums for orthogonal polynomials. An open problem is also provided for the partial sums of the generalized polylogarithm.
△ Less
Submitted 26 February, 2020; v1 submitted 6 May, 2017;
originally announced May 2017.
-
Orthogonal Polynomials related to g-fractions with missing terms
Authors:
Kiran Kumar Behera,
A. Swaminathan
Abstract:
The purpose of the present paper is to investigate some structural and qualitative aspects of two different perturbations of the parameters of $g$-fractions. In this context the concept of \emph{gap} $g$-fractions is introduced. While tail sequences of a continued fraction play a significant role in the first perturbation, Schur fractions are used in the second perturbation of the $g$-parameters t…
▽ More
The purpose of the present paper is to investigate some structural and qualitative aspects of two different perturbations of the parameters of $g$-fractions. In this context the concept of \emph{gap} $g$-fractions is introduced. While tail sequences of a continued fraction play a significant role in the first perturbation, Schur fractions are used in the second perturbation of the $g$-parameters that are considered. Illustrations are provided using Gaussian hypergeometric functions. Using a particular gap $g$-fraction, some members of the class of Pick functions are also identified.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Orthogonal polynomials on the real line corresponding to a perturbed chain sequence
Authors:
Kiran Kumar Behera,
A. Swaminathan
Abstract:
In recent years, chain sequences and their perturbations have played a significant role in characterising the orthogonal polynomials both on the real line as well as on the unit circle. In this note, a particular disturbance of the chain sequence related to orthogonal polynomials having their true interval of orthogonality as a subset of $[0,\infty)$ is studied leading to an important consequence…
▽ More
In recent years, chain sequences and their perturbations have played a significant role in characterising the orthogonal polynomials both on the real line as well as on the unit circle. In this note, a particular disturbance of the chain sequence related to orthogonal polynomials having their true interval of orthogonality as a subset of $[0,\infty)$ is studied leading to an important consequence related to the kernel polynomials. Such perturbations are shown to be related to transformations of symmetric measures. An illustration using the generalized Laguerre polynomials is also provided.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Surjectivity of Galois Representations in Rational Families of Abelian Varieties
Authors:
Aaron Landesman,
Ashvin Swaminathan,
James Tao,
Yujie Xu
Abstract:
In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic cur…
▽ More
In this article, we show that for any non-isotrivial family of abelian varieties over a rational base with big monodromy, those members that have adelic Galois representation with image as large as possible form a density-$1$ subset. Our results can be applied to a number of interesting families of abelian varieties, such as rational families dominating the moduli of Jacobians of hyperelliptic curves, trigonal curves, or plane curves. As a consequence, we prove that for any dimension $g \geq 3$, there are infinitely many abelian varieties over $\mathbb Q$ with adelic Galois representation having image equal to all of $\operatorname{GSp}_{2g}(\widehat{\mathbb Z})$.
△ Less
Submitted 14 June, 2022; v1 submitted 18 August, 2016;
originally announced August 2016.
-
Lifting Subgroups of Symplectic Groups over $\mathbb{Z} / \ell \mathbb{Z}$
Authors:
Aaron Landesman,
Ashvin Swaminathan,
James Tao,
Yujie Xu
Abstract:
For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The r…
▽ More
For a positive integer $g$, let $\mathrm{Sp}_{2g}(R)$ denote the group of $2g \times 2g$ symplectic matrices over a ring $R$. Assume $g \ge 2$. For a prime number $\ell$, we give a self-contained proof that any closed subgroup of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ which surjects onto $\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$ must in fact equal all of $\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$. The result and the method of proof are both motivated by group-theoretic considerations that arise in the study of Galois representations associated to abelian varieties.
△ Less
Submitted 25 March, 2017; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups
Authors:
Noam D. Elkies,
Ashvin Swaminathan
Abstract:
Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying perm…
▽ More
Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying permutation of $G$ if and only if $G/Ω_2(G)$ has the same cardinality as $G$, where $Ω_2(G)$ denotes the subgroup of all elements in $G$ whose order divides $2$. In the case when $G$ is finite, however, only partial results have been obtained thus far. Hegarty has conjectured that an AP-destroying permutation of $G$ exists if $G = \mathbb{Z}/n\mathbb{Z}$ for all $n \neq 2,3,5,7$, and together with Martinsson, he has proven the conjecture for all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$ is a prime and $k$ is a positive integer, then there is an AP-destroying permutation of the elementary $p$-group $(\mathbb{Z}/p\mathbb{Z})^k$ if and only if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.
△ Less
Submitted 16 January, 2017; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Orthogonal Polynomials Associated with Complementary Chain Sequences
Authors:
Kiran Kumar Behera,
A. Sriranga,
A. Swaminathan
Abstract:
Using the minimal parameter sequence of a given chain sequence, we introduce the concept of complementary chain sequences, which we view as perturbations of chain sequences. Using the relation between these complementary chain sequences and the corresponding Verblunsky coefficients, the para-orthogonal polynomials and the associated Szegö polynomials are analyzed. Two illustrations, one involving…
▽ More
Using the minimal parameter sequence of a given chain sequence, we introduce the concept of complementary chain sequences, which we view as perturbations of chain sequences. Using the relation between these complementary chain sequences and the corresponding Verblunsky coefficients, the para-orthogonal polynomials and the associated Szegö polynomials are analyzed. Two illustrations, one involving Gaussian hypergeometric functions and the other involving Carathéodory functions are also provided. A connection between these two illustrations by means of complementary chain sequences is also observed.
△ Less
Submitted 27 July, 2016; v1 submitted 26 January, 2016;
originally announced January 2016.
-
Pick Functions Related to the Multiple Gamma Functions of order $n$
Authors:
Sourav Das,
A. Swaminathan
Abstract:
Let $G_n$ be the Barnes multiple Gamma function of order $n$ and the function $f_n(z)$ be defined as \begin{align*} f_n(z)=\dfrac{\log G_n(z+1)}{z^n\Log z},\quad z\in \mathbb{C}\setminus (-\infty,0]. \end{align*} In this work, a conjecture to find the Stieltjes representation is proposed such that $f_n(z)$ is a Pick function. The conjecture is established for the particular case $n=3$ by examining…
▽ More
Let $G_n$ be the Barnes multiple Gamma function of order $n$ and the function $f_n(z)$ be defined as \begin{align*} f_n(z)=\dfrac{\log G_n(z+1)}{z^n\Log z},\quad z\in \mathbb{C}\setminus (-\infty,0]. \end{align*} In this work, a conjecture to find the Stieltjes representation is proposed such that $f_n(z)$ is a Pick function. The conjecture is established for the particular case $n=3$ by examining the properties of $f_3(z)$.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
Elliptic Curve Variants of the Least Quadratic Nonresidue Problem and Linnik's Theorem
Authors:
Evan Chen,
Peter S. Park,
Ashvin Swaminathan
Abstract:
Let $E_1$ and $E_2$ be $\overline{\mathbb{Q}}$-nonisogenous, semistable elliptic curves over $\mathbb{Q}$, having respective conductors $N_{E_1}$ and $N_{E_2}$ and both without complex multiplication. For each prime $p$, denote by $a_{E_i}(p) := p+1-\#E_i(\mathbb{F}_p)$ the trace of Frobenius. Under the assumption of the Generalized Riemann Hypothesis (GRH) for the convolved symmetric power $L$-fu…
▽ More
Let $E_1$ and $E_2$ be $\overline{\mathbb{Q}}$-nonisogenous, semistable elliptic curves over $\mathbb{Q}$, having respective conductors $N_{E_1}$ and $N_{E_2}$ and both without complex multiplication. For each prime $p$, denote by $a_{E_i}(p) := p+1-\#E_i(\mathbb{F}_p)$ the trace of Frobenius. Under the assumption of the Generalized Riemann Hypothesis (GRH) for the convolved symmetric power $L$-functions $L(s, \mathrm{Sym}^i E_1\otimes\mathrm{Sym}^j E_2)$ where $i,j\in\{0,1,2\}$, we prove an explicit result that can be stated succinctly as follows: there exists a prime $p\nmid N_{E_1}N_{E_2}$ such that $a_{E_1}(p)a_{E_2}(p)<0$ and
\[ p < \big( (32+o(1))\cdot \log N_{E_1} N_{E_2}\big)^2. \] This improves and makes explicit a result of Bucur and Kedlaya.
Now, if $I\subset[-1,1]$ is a subinterval with Sato-Tate measure $μ$ and if the symmetric power $L$-functions $L(s, \mathrm{Sym}^k E_1)$ are functorial and satisfy GRH for all $k \le 8/μ$, we employ similar techniques to prove an explicit result that can be stated succinctly as follows: there exists a prime $p\nmid N_{E_1}$ such that $a_{E_1}(p)/(2\sqrt{p})\in I$ and
\[ p < \left((21+o(1)) \cdot μ^{-2}\log (N_{E_1}/μ)\right)^2. \]
△ Less
Submitted 26 January, 2016; v1 submitted 25 July, 2015;
originally announced July 2015.
-
On Logarithmically Benford Sequences
Authors:
Evan Chen,
Peter S. Park,
Ashvin Swaminathan
Abstract:
Let $\mathcal{I} \subset \mathbb{N}$ be an infinite subset, and let $\{a_i\}_{i \in \mathcal{I}}$ be a sequence of nonzero real numbers indexed by $\mathcal{I}$ such that there exist positive constants $m, C_1$ for which $|a_i| \leq C_1 \cdot i^m$ for all $i \in \mathcal{I}$. Furthermore, let $c_i \in [-1,1]$ be defined by $c_i = \frac{a_i}{C_1 \cdot i^m}$ for each $i \in \mathcal{I}$, and suppose…
▽ More
Let $\mathcal{I} \subset \mathbb{N}$ be an infinite subset, and let $\{a_i\}_{i \in \mathcal{I}}$ be a sequence of nonzero real numbers indexed by $\mathcal{I}$ such that there exist positive constants $m, C_1$ for which $|a_i| \leq C_1 \cdot i^m$ for all $i \in \mathcal{I}$. Furthermore, let $c_i \in [-1,1]$ be defined by $c_i = \frac{a_i}{C_1 \cdot i^m}$ for each $i \in \mathcal{I}$, and suppose the $c_i$'s are equidistributed in $[-1,1]$ with respect to a continuous, symmetric probability measure $μ$. In this paper, we show that if $\mathcal{I} \subset \mathbb{N}$ is not too sparse, then the sequence $\{a_i\}_{i \in \mathcal{I}}$ fails to obey Benford's Law with respect to arithmetic density in any sufficiently large base, and in fact in any base when $μ([0,t])$ is a strictly convex function of $t \in (0,1)$. Nonetheless, we also provide conditions on the density of $\mathcal{I} \subset \mathbb{N}$ under which the sequence $\{a_i\}_{i \in \mathcal{I}}$ satisfies Benford's Law with respect to logarithmic density in every base.
As an application, we apply our general result to study Benford's Law-type behavior in the leading digits of Frobenius traces of newforms of positive, even weight. Our methods of proof build on the work of Jameson, Thorner, and Ye, who studied the particular case of newforms without complex multiplication.
△ Less
Submitted 25 December, 2015; v1 submitted 9 July, 2015;
originally announced July 2015.
-
Linnik's Theorem for Sato-Tate Laws on Elliptic Curves with Complex Multiplication
Authors:
Evan Chen,
Peter S. Park,
Ashvin Swaminathan
Abstract:
Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$. In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies \[ p \ll \left(\frac{N_E}{β- α…
▽ More
Let $E/\mathbb{Q}$ be an elliptic curve with complex multiplication (CM), and for each prime $p$ of good reduction, let $a_E(p) = p + 1 - \#E(\mathbb{F}_p)$ denote the trace of Frobenius. By the Hasse bound, $a_E(p) = 2\sqrt{p} \cos θ_p$ for a unique $θ_p \in [0, π]$. In this paper, we prove that the least prime $p$ such that $θ_p \in [α, β] \subset [0, π]$ satisfies \[ p \ll \left(\frac{N_E}{β- α}\right)^A, \] where $N_E$ is the conductor of $E$ and the implied constant and exponent $A > 2$ are absolute and effectively computable. Our result is an analogue for CM elliptic curves of Linnik's Theorem for arithmetic progressions, which states that the least prime $p \equiv a \pmod q$ for $(a,q)=1$ satisfies $p \ll q^L$ for an absolute constant $L > 0$.
△ Less
Submitted 14 October, 2015; v1 submitted 30 June, 2015;
originally announced June 2015.
-
Inclusion properties of Generalized Integral Transform using Duality Techniques
Authors:
Satwanti Devi,
A. Swaminathan
Abstract:
Let $\mathcal{W}_β^δ(α,γ)$ be the class of normalized analytic functions $f$ defined in the region $|z|<1$ and satisfying
\begin{align*} {\rm Re\,} e^{iφ}\left(\dfrac{}{}(1\!-\!α\!+\!2γ)\!\left({f}/{z}\right)^δ+\left(α\!-\!3γ+γ\left[\dfrac{}{}\left(1-{1}/δ\right)\left({zf'}/{f}\right)+ {1}/δ\left(1+{zf"}/{f'}\right)\right]\right)\right.\\ \left.\dfrac{}{}\left({f}/{z}\right)^δ\!\left({zf'}/{f}\r…
▽ More
Let $\mathcal{W}_β^δ(α,γ)$ be the class of normalized analytic functions $f$ defined in the region $|z|<1$ and satisfying
\begin{align*} {\rm Re\,} e^{iφ}\left(\dfrac{}{}(1\!-\!α\!+\!2γ)\!\left({f}/{z}\right)^δ+\left(α\!-\!3γ+γ\left[\dfrac{}{}\left(1-{1}/δ\right)\left({zf'}/{f}\right)+ {1}/δ\left(1+{zf"}/{f'}\right)\right]\right)\right.\\ \left.\dfrac{}{}\left({f}/{z}\right)^δ\!\left({zf'}/{f}\right)-β\right)>0, \end{align*} with the conditions $α\geq 0$, $β<1$, $γ\geq 0$, $δ>0$ and $φ\in\mathbb{R}$. For a non-negative and real-valued integrable function $λ(t)$ with $\int_0^1λ(t) dt=1$, the generalized non-linear integral transform is defined as \begin{align*} V_λ^δ(f)(z)= \left(\int_0^1 λ(t) \left({f(tz)}/{t}\right)^δdt\right)^{1/δ}. \end{align*} The main aim of the present work is to find conditions on the related parameters such that $V_λ^δ(f)(z)\in\mathcal{W}_{β_1}^{δ_1}(α_1,γ_1)$, whenever $f\in\mathcal{W}_{β_2}^{δ_2}(α_2,γ_2)$. Further, several interesting applications for specific choices of $λ(t)$ are discussed.
△ Less
Submitted 28 November, 2014;
originally announced November 2014.
-
Convexity of the Generalized Integral Transform and Duality Techniques
Authors:
Satwanti Devi,
A. Swaminathan
Abstract:
Let $\mathcal{W}_β^δ(α,γ)$ be the class of normalized analytic functions $f$ defined in the domain $|z|<1$ satisfying \begin{align*} {\rm Re\,} e^{iφ}\left(\dfrac{}{}(1\!-\!α\!+\!2γ)\!\left({f}/{z}\right)^δ+\left(α\!-\!3γ+γ\left[\dfrac{}{}\left(1-{1}/δ\right)\left({zf'}/{f}\right)+ {1}/δ\left(1+{zf''}/{f'}\right)\right]\right)\right.\\ \left.\dfrac{}{}\left({f}/{z}\right)^δ\!\left({zf'}/{f}\right)…
▽ More
Let $\mathcal{W}_β^δ(α,γ)$ be the class of normalized analytic functions $f$ defined in the domain $|z|<1$ satisfying \begin{align*} {\rm Re\,} e^{iφ}\left(\dfrac{}{}(1\!-\!α\!+\!2γ)\!\left({f}/{z}\right)^δ+\left(α\!-\!3γ+γ\left[\dfrac{}{}\left(1-{1}/δ\right)\left({zf'}/{f}\right)+ {1}/δ\left(1+{zf''}/{f'}\right)\right]\right)\right.\\ \left.\dfrac{}{}\left({f}/{z}\right)^δ\!\left({zf'}/{f}\right)-β\right)>0, \end{align*} with the conditions $α\geq 0$, $β<1$, $γ\geq 0$, $δ>0$ and $φ\in\mathbb{R}$. Moreover, for $0<δ\leq\frac{1}{(1-ζ)}$, $0\leqζ<1$, the class $\mathcal{C}_δ(ζ)$ be the subclass of normalized analytic functions such that \begin{align*} {\rm Re}{\,}\left(1/δ\left(1+zf''/f'\right)+(1-1/δ)\left({zf'}/{f}\right)\right)>ζ,\quad |z|<1. \end{align*} In the present work, the sufficient conditions on $λ(t)$ are investigated, so that the generalized integral transform \begin{align*} V_λ^δ(f)(z)= \left(\int_0^1 λ(t) \left({f(tz)}/{t}\right)^δdt\right)^{1/δ},\quad |z|<1, \end{align*} carries the functions from $\mathcal{W}_β^δ(α,γ)$ into $\mathcal{C}_δ(ζ)$. Several interesting applications are provided for special choices of $λ(t)$.
△ Less
Submitted 21 November, 2014;
originally announced November 2014.
-
Starlikeness of the generalized integral transform using duality techniques
Authors:
Satwanti Devi,
A. Swaminathan
Abstract:
For $α\geq 0$, $δ>0$, $β<1$ and $γ\geq 0$, the class $\mathcal{W}_β^δ(α,γ)$ consist of analytic and normalized functions $f$ along with the condition \begin{align*} {\rm Re\,} e^{iφ}(\dfrac{}{}(1\!-\!α\!+\!2γ)\!({f}/{z})^δ+(α\!-\!3γ\!+\!γ[\dfrac{}{}(1-{1}/δ)({zf'}/{f})+ {1}/δ(1+{zf''}/{f'})]).\\ .\dfrac{}{}({f}/{z})^δ\!({zf'}/{f})-β)>0, \end{align*} where $φ\in\mathbb{R}$ and $|z|<1$, is taken int…
▽ More
For $α\geq 0$, $δ>0$, $β<1$ and $γ\geq 0$, the class $\mathcal{W}_β^δ(α,γ)$ consist of analytic and normalized functions $f$ along with the condition \begin{align*} {\rm Re\,} e^{iφ}(\dfrac{}{}(1\!-\!α\!+\!2γ)\!({f}/{z})^δ+(α\!-\!3γ\!+\!γ[\dfrac{}{}(1-{1}/δ)({zf'}/{f})+ {1}/δ(1+{zf''}/{f'})]).\\ .\dfrac{}{}({f}/{z})^δ\!({zf'}/{f})-β)>0, \end{align*} where $φ\in\mathbb{R}$ and $|z|<1$, is taken into consideration. The class $\mathcal{S}^\ast_s(ζ)$ be the subclass of the univalent functions, defined by the analytic characterization ${\rm Re}{\,}({zf'}/{f})>ζ$, for $0\leq ζ< 1$, $0<δ\leq\frac{1}{(1-ζ)}$ and $|z|<1$. The admissible and sufficient conditions on $λ(t)$ are examined, so that the generalized and non-linear integral transforms \begin{align*} V_λ^δ(f)(z)= (\int_0^1 λ(t) ({f(tz)}/{t})^δdt)^{1/δ}, \end{align*} maps the function from $\mathcal{W}_β^δ(α,γ)$ into $\mathcal{S}^\ast_s(ζ)$. Moreover, several interesting applications for specific choices of $λ(t)$ are discussed, that are related to some well-known integral operators.
△ Less
Submitted 19 November, 2014;
originally announced November 2014.
-
On Arboreal Galois Representations of Rational Functions
Authors:
Ashvin Swaminathan
Abstract:
The action of the absolute Galois group $\text{Gal}(K^{\text{ksep}}/K)$ of a global field $K$ on a tree $T(φ, α)$ of iterated preimages of $α\in \mathbb{P}^1(K)$ under $φ\in K(x)$ with $\text{deg}(φ) \geq 2$ induces a homomorphism $ρ: \text{Gal}(K^{\text{ksep}}/K) \to \text{Aut}(T(φ, α))$, which is called an arboreal Galois representation. In this paper, we address a number of questions posed by J…
▽ More
The action of the absolute Galois group $\text{Gal}(K^{\text{ksep}}/K)$ of a global field $K$ on a tree $T(φ, α)$ of iterated preimages of $α\in \mathbb{P}^1(K)$ under $φ\in K(x)$ with $\text{deg}(φ) \geq 2$ induces a homomorphism $ρ: \text{Gal}(K^{\text{ksep}}/K) \to \text{Aut}(T(φ, α))$, which is called an arboreal Galois representation. In this paper, we address a number of questions posed by Jones and Manes about the size of the group $G(φ,α) := \text{im} ρ= \underset{\leftarrow n}\lim\text{Gal}(K(φ^{-n}(α))/K)$. Specifically, we consider two cases for the pair $(φ, α)$: (1) $φ$ is such that the sequence $\{a_n\}$ defined by $a_0 = α$ and $a_n = φ(a_{n-1})$ is periodic, and (2) $φ$ commutes with a nontrivial Mobius transformation that fixes $α$.
In the first case, we resolve a question posed by Jones about the size of $G(φ, α)$, and taking $K = \mathbb{Q}$, we describe the Galois groups of iterates of polynomials $φ\in \mathbb{Z}[x]$ that have the form $φ(x) = x^2 + kx$ or $φ(x) = x^2 - (k+1)x + k$. When $K = \mathbb{Q}$ and $φ\in \mathbb{Z}[x]$, arboreal Galois representations are a useful tool for studying the arithmetic dynamics of $φ$. In the case of $φ(x) = x^2 + kx$ for $k \in \mathbb{Z}$, we employ a result of Jones regarding the size of the group $G(ψ, 0)$, where $ψ(x) = x^2 - kx + k$, to obtain a zero-density result for primes dividing terms of the sequence $\{a_n\}$ defined by $a_0 \in \mathbb{Z}$ and $a_n = φ(a_{n-1})$.
In the second case, we resolve a conjecture of Jones about the size of a certain subgroup $C(φ, α) \subset \text{Aut}(T(φ, α))$ that contains $G(φ, α)$, and we present progress toward the proof of a conjecture of Jones and Manes concerning the size of $G(φ, α)$ as a subgroup of $C(φ, α)$.
△ Less
Submitted 4 June, 2015; v1 submitted 25 July, 2014;
originally announced July 2014.
-
Order of Starlikeness and Convexity of certain integral transforms using duality techniques
Authors:
Satwanti Devi,
A. Swaminathan
Abstract:
For $α\geq 0$, $β<1$ and $γ\geq 0$, the class $\mathcal{W}_β(α,γ)$ satisfies the condition \begin{align*} {\rm Re\,} \left( e^{iφ}\left((1-α+2γ)f/z+(α-2γ)f'+ γzf''-β\right)\frac{}{}\right)>0, \quad φ\in {\mathbb{R}},{\,}z\in {\mathbb{D}}; \end{align*} is taken into consideration. The Pascu class of $ξ$-convex functions of order $σ$ $(M(σ,{\,}ξ))$, having analytic characterization \begin{align*} {\…
▽ More
For $α\geq 0$, $β<1$ and $γ\geq 0$, the class $\mathcal{W}_β(α,γ)$ satisfies the condition \begin{align*} {\rm Re\,} \left( e^{iφ}\left((1-α+2γ)f/z+(α-2γ)f'+ γzf''-β\right)\frac{}{}\right)>0, \quad φ\in {\mathbb{R}},{\,}z\in {\mathbb{D}}; \end{align*} is taken into consideration. The Pascu class of $ξ$-convex functions of order $σ$ $(M(σ,{\,}ξ))$, having analytic characterization \begin{align*} {\rm Re\,}\frac{ξz(zf'(z))'+(1-ξ)zf'(z)}{ξzf'(z)+(1-ξ)f(z)}>σ,\quad 0\leq σ< 1,\quad z\in {\mathbb{D}}, \end{align*} unifies starlike and convex functions class of order $σ$.The admissible and sufficient conditions on $λ(t)$ are investigated so that the integral transforms \begin{align*} V_λ(f)(z)= \int_0^1 λ(t) \frac{f(tz)}{t} dt, \end{align*} maps the function from $\mathcal{W}_β(α,γ)$ into $M(σ,{\,}ξ)$. Further several interesting applications, for specific choice of $λ(t)$ are discussed which are related to the classical integral transform.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
