%~Mouliné par MaN_auto v.0.28.0 2023-07-31 14:27:48
\documentclass[CRMATH, Unicode, XML]{cedram}

\TopicFR{Analyse et géométrie complexes}
\TopicEN{Complex analysis and geometry}

\usepackage[noadjust]{cite}

\DeclareMathOperator{\Reop}{Re}
\DeclareMathOperator{\Imop}{Im}

%Widebar

\makeatletter
\let\save@mathaccent\mathaccent
\newcommand*\if@single[3]{%
  \setbox0\hbox{${\mathaccent"0362{#1}}^H$}%
  \setbox2\hbox{${\mathaccent"0362{\kern0pt#1}}^H$}%
  \ifdim\ht0=\ht2 #3\else #2\fi
  }
%The bar will be moved to the right by a half of \macc@kerna, which is computed by amsmath:
\newcommand*\rel@kern[1]{\kern#1\dimexpr\macc@kerna}
%If there's a superscript following the bar, then no negative kern may follow the bar;
%an additional {} makes sure that the superscript is high enough in this case:
\newcommand*\widebar[1]{\@ifnextchar^{{\wide@bar{#1}{0}}}{\wide@bar{#1}{1}}}
%Use a separate algorithm for single symbols:
\newcommand*\wide@bar[2]{\if@single{#1}{\wide@bar@{#1}{#2}{1}}{\wide@bar@{#1}{#2}{2}}}
\newcommand*\wide@bar@[3]{%
  \begingroup
  \def\mathaccent##1##2{%
%Enable nesting of accents:
    \let\mathaccent\save@mathaccent
%If there's more than a single symbol, use the first character instead (see below):
    \if#32 \let\macc@nucleus\first@char \fi
%Determine the italic correction:
    \setbox\z@\hbox{$\macc@style{\macc@nucleus}_{}$}%
    \setbox\tw@\hbox{$\macc@style{\macc@nucleus}{}_{}$}%
    \dimen@\wd\tw@
    \advance\dimen@-\wd\z@
%Now \dimen@ is the italic correction of the symbol.
    \divide\dimen@ 3
    \@tempdima\wd\tw@
    \advance\@tempdima-\scriptspace
%Now \@tempdima is the width of the symbol.
    \divide\@tempdima 10
    \advance\dimen@-\@tempdima
%Now \dimen@ = (italic correction / 3) - (Breite / 10)
    \ifdim\dimen@>\z@ \dimen@0pt\fi
%The bar will be shortened in the case \dimen@<0 !
    \rel@kern{0.6}\kern-\dimen@
    \if#31
      \overline{\rel@kern{-0.6}\kern\dimen@\macc@nucleus\rel@kern{0.4}\kern\dimen@}%
      \advance\dimen@0.4\dimexpr\macc@kerna
%Place the combined final kern (-\dimen@) if it is >0 or if a superscript follows:
      \let\final@kern#2%
      \ifdim\dimen@<\z@ \let\final@kern1\fi
      \if\final@kern1 \kern-\dimen@\fi
    \else
      \overline{\rel@kern{-0.6}\kern\dimen@#1}%
    \fi
  }%
  \macc@depth\@ne
  \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar
  \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}%
  \macc@set@skewchar\relax
  \let\mathaccentV\macc@nested@a
%The following initialises \macc@kerna and calls \mathaccent:
  \if#31
    \macc@nested@a\relax111{#1}%
  \else
%If the argument consists of more than one symbol, and if the first token is
%a letter, use that letter for the computations:
    \def\gobble@till@marker##1\endmarker{}%
    \futurelet\first@char\gobble@till@marker#1\endmarker
    \ifcat\noexpand\first@char A\else
      \def\first@char{}%
    \fi
    \macc@nested@a\relax111{\first@char}%
  \fi
  \endgroup
}
\makeatother

\let\oldbar\bar
\renewcommand*{\bar}[1]{\mathchoice{\widebar{#1}}{\widebar{#1}}{\widebar{#1}}{\oldbar{#1}}}

\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\title {On the Enestr\"{o}m--Kakeya theorem for quaternionic polynomials}

\author {\firstname{Abdullah} \lastname{Mir}\IsCorresp}
\address{Department of Mathematics, University of Kashmir, Srinagar, 190006, India}
\email{mabdullah\_mir@uok.edu.in}
\thanks{The first author was supported by the National Board for Higher Mathematics (R.P), Department of Atomic Energy, Government of India (No. 02011/19/2022/R\&D-II/10212).}

\author{\firstname{Abrar} \lastname{Ahmad}}
\address[1]{Department of Mathematics, University of Kashmir, Srinagar, 190006, India}
\email{abrarahmad1100@gmail.com}

\begin{abstract}
In this paper, we present certain results concerning the distribution of zeros of polynomials of a quaternionic variable and with quaternionic coefficients. We obtain ring shaped regions of Enestr\"{o}m--Kakeya type for the zeros of these polynomials and also extend some classical results from the complex to quaternionic setting.
\end{abstract}

\subjclass{30E10, 30G35, 16K20}
%~\keywords{Quaternionic polynomial, Enestr\"{o}m--Kakeya theorem, Zero-sets of a regular function.}

\begin{document}
\maketitle

\section{Introduction}

The task of finding the regions containing all the zeros of a polynomial on using various methods of the geometric function theory is a classical topic in analysis. In addition to having great importance in the geometric function theory, this study is equally important in the application areas such as physical systems. We can see a large body of research concerning the regions, mostly circular or annular, containing all the zeros of a polynomial in terms of the coefficients of the polynomial. One of the most known results about the distribution of zeros of a complex polynomial and is particularly important in the study of the stability of numerical methods for differential equations is the following Enestr\"{o}m--Kakeya theorem~\cite{Ma}.

\begin{theo}\label{1.1}
If $T(z)=\sum_{v=0}^{n} a_v z^v$, is a polynomial of degree $n$ (where $z$ is a complex variable) with real coefficients satisfying
\begin{align*}
a_n\ge a_{n-1}\ge\dots\ge a_1\ge a_0\ge 0,
\end{align*}
then all the zeros of $T(z)$ lie in
\begin{align*}
|z|\le 1.
\end{align*}
\end{theo}

In the literature (for example, see~\cite{Go, Jo}) there exist several extensions of the Enestr\"{o}m--Kakeya theorem. An exhaustive survey on the Enestr\"{o}m--Kakeya theorem and its various generalizations is given in the comprehensive books of Marden~\cite{Ma} and Milovanovi\'{c} et al. \cite{Mi}. In 1967, Joyal, Labelle and Rahman~\cite{Jo} extended Theorem~\ref{1.1} to the polynomials whose coefficients are monotonic but not necessarily non-negative in the form of following result.

\begin{theo}\label{1.2}
If $T(z)=\sum_{v=0}^{n} a_v z^v$, is a polynomial of degree $n$ (where $z$ is a complex variable) with real coefficients satisfying
\begin{align*}
a_n\ge a_{n-1}\ge\dots\ge a_1\ge a_0,
\end{align*}
then all the zeros of $T(z)$ lie in
\begin{align*}
|z|\le \frac{a_n-a_0+|a_0|}{|a_n|}.
\end{align*}
\end{theo}

The extension of Theorem~\ref{1.1} to complex coefficients was established by Govil and Rahman~\cite{Go} in the form of following result.

\begin{theo}\label{1.3}
If $T(z)=\sum_{v=0}^{n} a_v z^v$, is a polynomial of degree $n$ with complex coefficients where $\Reop (a_v)=\alpha_v$, $\Imop (a_v)=\beta_v,$ for $0\le v\le n,$ and satisfying
\begin{align*}
\alpha_n\ge \alpha_{n-1}\ge\dots\ge \alpha_1\ge \alpha_0\ge 0, \alpha_n \ne 0,
\end{align*}
then all the zeros of $T(z)$ lie in
\begin{align*}
|z|\le 1+ \frac{2}{\alpha_n}\sum_{v=0}^{n}|\beta_v|.
\end{align*}
\end{theo}

Various estimates for the location of zeros in terms of coefficients, with emphasis on the distribution of zeros of the algebraic polynomials with restricted coefficients has been intensively studied since the second half of the nineteenth century, and substantial breakthroughs have been achieved. The Enestr\"{o}m--Kakeya theorem and its various generalizations as mentioned above are the classic and significant examples of this kind. Provided such a richness of the complex setting, a natural question is to ask what kind of results in the quaternionic setting can be obtained. The goal of this paper is to present extensions to the quaternionic setting of some classical results of Enestr\"{o}m--Kakeya type as discussed above.


\section{Preliminary knowledge}

In order to introduce the framework in which we will work, let us introduce some preliminaries on quaternions and regular functions of a quaternionic variable which will be useful in the sequel. Quaternions are essentially a generalization of complex numbers to four dimensions (one real and three imaginary parts) and were first studied and developed by Sir Rowan William Hamilton in 1843. This number system of quaternions is denoted by $\mathbb{H}$ in honor of Hamilton. This theory of quaternions is by now very well developed in many different directions, and we refer the reader to~\cite{Su} for the basic features of quaternionic functions. Before we proceed further, we need to introduce some preliminaries on quaternions and quaternionic polynomials. The set of quaternions denoted by $\mathbb{H}$ is a noncommutative division ring. It consists of elements of the form $q=\alpha+\beta i+\gamma j+ \delta k$, $\alpha,\beta,\gamma,\delta \in \mathbb{R}$, where the imaginary units $i,j,k$ satisfy $i^2=j^2=k^2=-1$, $ij=-ji=k$, $jk=-kj=i$, $ki=-ik=j$. Every element $q=\alpha+\beta i+\gamma j+ \delta k \in \mathbb{H}$ is composed by the real part Re$(q)=\alpha$ and the imaginary part Im$(q)=\beta i+\gamma j+ \delta k$. The conjugate of $q$ is denoted by $\bar{q}$ and is defined as $\bar{q}=\alpha-\beta i-\gamma j- \delta k$ and the norm of $q$ is $|q|=\sqrt{q\bar{q}}=\sqrt{\alpha^2+\beta^2 +\gamma^2+ \delta^2}$. The inverse of each non zero element $q$ of $\mathbb{H}$ is given by $q^{-1}=|q|^{-2}\bar{q}$. For $r>0$, we define the ball $B(0,r)=\{q\in \mathbb{H}; |q|<r \}$. By $\mathbb{B}$ we denote the open unit ball in $\mathbb{H}$ centered at the origin, i.e.,
\begin{align*}
\mathbb{B}=\{q=\alpha+\beta i+\gamma j+\delta k \::\: \alpha^2+\beta^2+\gamma^2+\delta^2<1 \},
\end{align*}
and by $\mathbb{S}$ the unit sphere of purely imaginary quaternions, i.e.,
\begin{align*}
\mathbb{S}=\{q=\beta i+\gamma j+\delta k\::\: \beta^2+\gamma^2+\delta^2=1 \}.
\end{align*}
We represent the indeterminate for a quaternionic polynomial as $q$. A quaternionic polynomial $T$ of degree $n$ in the variable $q$, namely a polynomial with coefficients on the right and indeterminate on the left is given by $T(q)=:\sum_{v=0}^{n}q^v a_v$, $a_v \in \mathbb{H}$, $v=0,1,2,\dots,n$. These polynomials satisfy the regularity conditions and their behavior resembles very closely to that of holomorphic functions of a complex variable. In the theory of polynomials of this kind over skew-fields, one defines a different product (we use the symbol $*$ to denote such a product) which guarantees that the product of regular functions is regular. For polynomials, for example, this product is defined as follows:

Two quaternionic polynomials of this kind can be multiplied according to the convolution product (Cauchy multiplication rule): given $T_1(q)=\sum_{i=0}^{n}q^i a_i$, $T_2(q)=\sum_{j=0}^{m}q^j b_j$, we define
\begin{align*}
(T_1*T_2)(q):=\sum_{\stackrel{i=0,1,\dots,n}{j=0,1,\dots,m}}^{}q^{i+j}a_ib_j.
\end{align*}
If $T_1$ has real coefficients, the so called $*$ multiplication coincides with the usual point wise multiplication. Notice that the $*$ product is associative and not, in general, commutative. The absence of commutativity leads to a behavior of polynomials rather unlike their behavior in the real or complex setting.
%For example, a real or complex polynomial of degree $n$ can have at most $n$ (real or complex) zeros counted with multiplicity. In the quaternionic setting, the second degree polynomial $q^2+1$ has an infinite number of zeros, namely; any $q\in \mathbb{S}$.
It is observed that the zeros of the aforementioned polynomial of a quaternionic variable are either isolated or spherical. In the quaternionic setting, for example, the second degree polynomial $q^2 + 1$ vanishes for every $q\in \mathbb{S}$.
These regular functions of a quaternionic variable have been introduced and intensively studied in the past decade, and they have proven to be a fertile topic in analysis, and their rapid development has been largely driven by the applications to operator theory. In the recent study (for example, see~\cite{Co, Ga1, Ga2, Ga3, Ga4, La}), a new theory of regularity for functions, particularly for polynomials of a quaternionic variable was developed, and is extremely useful in replicating many important properties of holomorphic functions. One of the basic properties of holomorphic functions of a complex variable is the discreteness of their zero sets (except when the function vanishes identically). Given a regular function of a quaternionic variable, all its restrictions to complex lines are holomorphic and hence either have a discrete zero set or vanishes identically. In the preliminary steps, the structure of the zero sets of a quaternionic regular function and the factorization property of zeros was described. In this regard, Gentili and Stoppato~\cite{Ga4} (see also~\cite{Ga2}) gave a necessary and sufficient condition for a quaternionic regular function to have a zero at a point in terms of the coefficients of the power series expansion of the function. This extends to quaterniomic power series the theory presented in~\cite{La} for polynomials. The following result which completely describes the zero sets of a regular product of two polynomials in terms of the zero sets of the two factors is from~\cite{La} (see also~\cite{Ga4} and~\cite{Ga2}).

\begin{theo}\label{1.4}
Let $f$ and $g$ be given quaternionic polynomials. Then $(f*g)(q_0)=0$ if and only if $f(q_0)=0$ or $f(q_0)\ne 0$ implies $g\left(f(q_0)^{-1}q_0 f(q_0)\right)=0$.
\end{theo}

Gentili and Struppa~\cite{Ga3} introduced a maximum modulus theorem for regular functions, which includes convergent power series and polynomials in the form of the following result.

\begin{theo}[Maximum Modulus Theorem]\label{1.5}
Let $B=B(0,r)$ be a ball in $\mathbb{H}$ with centre $0$ and radius $r>0,$ and let $f:B\rightarrow \mathbb{H}$ be a regular function. If $|f|$ has a relative maximum at a point $a\in B$, then $f$ is a constant on $B$.
\end{theo}

In \cite{Ga2, Ga3, Ga4} the structure of the zeros of polynomials was used and a proof of the Fundamental Theorem of Algebra was established. We point out that the Fundamental Theorem of Algebra for regular polynomials with coefficients in $\mathbb{H}$ was already proved by Niven (for reference, see~\cite{Ni1, Ni2}), by using different techniques. This led to the complete identification of the zeros of polynomials in terms of their factorization, for reference see~\cite{Se}. Thus it became an interesting perspective to think about the regions containing some or all the zeros of a regular polynomial of quaternionic variable. Very recently, Carney et al. \cite{Ca} extended the Enestr\"{o}m--Kakeya theorem and its various generalizations from complex polynomials to quaternionic polynomials by making use of Theorems~\ref{1.4} and~\ref{1.5}. Firstly, they established the following quaternionic analogue of Theorem~\ref{1.1}.

\begin{theo}\label{1.6}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ (where $q$ is a quaternionic variable) with real coefficients satisfying
\begin{align*}
a_n\ge a_{n-1}\ge\dots\ge a_1\ge a_0\ge 0,
\end{align*}
then all the zeros of $T(q)$ lie in
\begin{align*}
|q|\le 1.
\end{align*}
\end{theo}

In the same paper, Carney et al. \cite{Ca} also established the following quaternionic analogue of Theorem~\ref{1.3} in the form of the following result.

\begin{theo}\label{1.7}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a quaternionic polynomial of degree $n,$ where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n$, satisfying
\begin{align*}
\alpha_n\ge \alpha_{n-1}\ge\dots\ge \alpha_1\ge \alpha_0\ge 0,\quad\alpha_n\ne 0,
\end{align*}
then all the zeros of $T(q)$ lie in
\begin{align*}
|q|\le 1+\frac{2}{\alpha_n}\sum_{v=0}^{n}(|\beta_v| +|\gamma_v| +|\delta_v|).
\end{align*}
\end{theo}

Recently, Tripathi (\cite[Corollary~3.3]{Tr}) established the following generalization of Theorem~\ref{1.6} in the form of the following result.

\begin{theo}\label{1.8}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ (where $q$ is a quaternionic variable) with real coefficients satisfying
\begin{align*}
a_n\ge a_{n-1}\ge\dots\ge a_1\ge a_0,
\end{align*}
then all the zeros of $T(q)$ lie in
\begin{align*}
|q|\le \frac{1}{|a_n|}\left(|a_0|+\sum_{v=1}^{n}|a_{v}-a_{v-1}|\right)=\frac{1}{|a_n|}\left(|a_0|-a_0+a_n\right).
\end{align*}
\end{theo}

In the literature, we could not find much except the above mentioned papers and the results therein, about the distribution of zeros of polynomials with quaternionic variable and quaternionic coefficients. The main purpose of this paper is to extend various results of Enestr\"{o}m--Kakeya type from the complex to quaternionic setting by making use of a recently established maximum modulus theorem (Theorem~\ref{1.5}) and the structure of the zero sets of regular functions (Theorem~\ref{1.4}) of a quaternionic variable. The obtained results also produce various generalizations of Theorems~\ref{1.6}, \ref{1.7} and~\ref{1.8}.


\section{Main results}

In this section, we state our main results. Their proofs are given in the next section. We start with the following generalization of Theorem~\ref{1.6}. As a consequence, it also provides a generalization of Theorem~\ref{1.7}.

\begin{theo}\label{1.9}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a quaternionic polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n,$ satisfying
\begin{align*}
\lambda+\alpha_n\ge \alpha_{n-1}\ge\dots\ge\alpha_1\ge \alpha_0-\mu\ge 0, \alpha_n>0,
\end{align*}
for some non-negative real numbers $\lambda$ and $\mu$, then all the zeros of $T(q)$ lie in
\begin{multline*}
\left|q+\frac{\lambda}{a_n}\right|\le\frac{1}{|a_n|}[\alpha_n+\lambda+2\mu+M_0],\\
\text{where}\quad M_0=\sum_{v=0}^{n}\big[|\beta_v-\beta_{v-1}|+|\gamma_v-\gamma_{v-1}|+|\delta_v-\delta_{v-1}|\big],\quad\beta_{-1}=\gamma_{-1}=\delta_{-1}=0.
\end{multline*}
\end{theo}

Taking $\lambda=(R-1)\alpha_n$, with $R\ge 1$ and $\mu=(1-r)\alpha_0$ with $0<r\le 1$ in the above theorem, we get the following result.

\begin{coro}\label{Cor1}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a quaternionic polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n,$ satisfying
\begin{align*}
R\alpha_n\ge \alpha_{n-1}\ge\dots\ge\alpha_1\ge r\alpha_0>0,
\end{align*}
for some $R\ge 1$ and $0<r\le 1$, then all the zeros of $T(q)$ lie in
\begin{align*}
&\left|q+\frac{(R-1)\alpha_n}{a_n}\right|\le\frac{1}{|a_n|}[R\alpha_n+2(1-r)\alpha_0+M_0],
\end{align*}
where $M_0$ is as defined in Theorem~\ref{1.9}.
\end{coro}

Taking $r=1$ and $\beta_v=\gamma_v=\delta_v=0$, in Corollary~\ref{Cor1}, we get the following generalization of Theorem~\ref{1.6}.

\begin{coro}\label{Cor2}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ (where $q$ is a quaternionic variable), with real coefficients satisfying
\begin{align*}
Ra_n\ge a_{n-1}\ge\dots\ge a_1\ge a_0>0,
\end{align*}
for some $R\ge 1$, then all the zeros of $T(q)$ lie in
\begin{align*}
&\left|q+R-1\right|\le R.
\end{align*}
\end{coro}

\begin{rema}\label{Rem1}
Taking $R=1$ in Corollary~\ref{Cor2}, we get Theorem~\ref{1.6}.
\end{rema}

It is easy to verify that $M_0\le 2 \sum_{v=0}^{n}(|\beta_v|+|\gamma_v|+|\delta_v|)$. Using this and take $\mu=0$ in Theorem~\ref{1.9}, we get the following generalization of Theorem~\ref{1.7}.

\begin{coro}\label{Cor3}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a quaternionic polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n,$ satisfying
\begin{align*}
\lambda+\alpha_n\ge \alpha_{n-1}\ge\dots\ge\alpha_1\ge \alpha_0\ge 0,\quad \alpha_n>0,
\end{align*}
for some $\lambda\ge 0$, then all the zeros of $T(q)$ lie in
\begin{align*}
&\left|q+\frac{\lambda}{a_n}\right|\le 1+\frac{1}{\alpha_n}\left[\lambda +2 \sum_{v=0}^{n}(|\beta_v|+|\gamma_v|+|\delta_v|)\right],
\end{align*}
\end{coro}

\begin{rema}\label{Rem2}
For $\lambda=0$, Corollary~\ref{Cor3} reduces to Theorem~\ref{1.7}.
\end{rema}

By taking $\mu=0$ and assume $\beta_v\ge \beta_{v-1}$, $\gamma_v\ge \gamma_{v-1}$, $\delta_v \ge \delta_{v-1}$ for $v=1,2,3,\dots,n,$ in Theorem~\ref{1.9}, we get the following extension of Theorem~\ref{1.6} to quaternionic coefficients.

\begin{coro}\label{Cor4}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n,$ satisfying
\begin{align*}
\lambda+\alpha_n\ge \alpha_{n-1}\ge\dots\ge\alpha_1\ge \alpha_0&\ge 0,\quad\alpha_n> 0,\\
\beta_n\ge \beta_{n-1}\ge\dots\ge\beta_1\ge \beta_0&\ge 0,\\
\gamma_n\ge \gamma_{n-1}\ge\dots\ge\gamma_1\ge \gamma_0&\ge 0,\\
\delta_n\ge \delta_{n-1}\ge\dots\ge\delta_1\ge \delta_0&\ge 0,
\end{align*}
where $\lambda\ge 0$, then all the zeros of $T(q)$ lie in
\begin{align*}
\left|q+\frac{\lambda}{a_n}\right|\le 2+\frac{\lambda}{|a_n|}.
\end{align*}
\end{coro}

\begin{rema}\label{Rem3}
For $\lambda=0$, Corollary~\ref{Cor4} represents an extension of Theorem~\ref{1.6} to quaternionic coefficients.
\end{rema}

Next, we shall obtain the following more general result giving a ring shaped region containing all the zeros of a quaternionic polynomial with quaternionic coefficients. The interest of this theorem lies in its flexibility. It weakens the hypothesis of Theorem~\ref{1.8} and is applicable to a larger class of polynomials of a quaternionic variable.

\begin{theo}\label{1.10}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_v i +\gamma_v j +\delta_v k$ for $v=0,1,2,\dots,n,$ satisfying
\begin{align*}
\alpha_n\le \alpha_{n-1}\le\dots\le\alpha_{\lambda+1}\le \alpha_{\lambda}\ge\alpha_{\lambda-1}\ge\dots\ge\alpha_1\ge \alpha_0,
\end{align*}
where $0\le \lambda \le n$, then all the zeros of $T(q)$ lie in
\begin{align*}
\min (1,R_1)\le |q|\le \max (1,R_2),
\end{align*}
where
\begin{align*}
R_1&=\frac{|a_0|}{2\alpha_\lambda+|a_n|-\alpha_n-\alpha_0+M_1},\\
R_2&=\frac{2\alpha_\lambda-\alpha_n-\alpha_0+|a_0|+M_1}{|a_n|},\\
\text{and}\quad M_1&=\sum_{v=1}^{n}\big(|\beta_v-\beta_{v-1}|+|\gamma_v-\gamma_{v-1}|+|\delta_v-\delta_{v-1}|\big).
\end{align*}
\end{theo}

If in Theorem~\ref{1.10}, we take $\lambda=n$ and assume $\beta_{v}\ge \beta_{v-1}, \gamma_{v}\ge \gamma_{v-1}, \delta_{v}\ge \delta_{v-1}$ for $v=1,2,\dots,n$, we get the following result.

\begin{coro}\label{Cor5}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_vi+\gamma_vj+\delta_vk$ for $v=0,1,2,\dots,n$, satisfying
\begin{gather*}
\alpha_n\ge \alpha_{n-1}\ge\dots\ge\alpha_1\ge \alpha_0,\\
\beta_n\ge \beta_{n-1}\ge\dots\ge\beta_1\ge \beta_0,\\
\gamma_n\ge \gamma_{n-1}\ge\dots\ge\gamma_1\ge \gamma_0,\\
\delta_n\ge \delta_{n-1}\ge\dots\ge\delta_1\ge \delta_0,
\end{gather*}
then all the zeros of $T(q)$ lie in
\begin{align*}
r_1\le |q|\le r_2,
\end{align*}
where
\begin{align*}
r_1&=\frac{|a_0|}{(\alpha_n+\beta_n+\gamma_n+\delta_n)+|a_n|-(\alpha_0+\beta_0+\gamma_0+\delta_0)},\\[0.5em]
r_2&=\frac{|a_0|-(\alpha_0+\beta_0+\gamma_0+\delta_0)+(\alpha_n+\beta_n+\gamma_n+\delta_n)}{|a_n|}.
\end{align*}
\end{coro}

\begin{rema}\label{Rem4}
The above Corollary~\ref{Cor5} subsumes a result of Carney et al. (\cite[Theorem~9]{Ca}).
\end{rema}

In particular, if all the coefficients $a_v$, $0\le v\le n$, are real, that is, $\beta_v=\gamma_v=\delta_v=0$ for $0\le v\le n$, the above Corollary~\ref{Cor5} gives that all the zeros of $T(q)$ lie in
\begin{align*}
\frac{|a_0|}{a_n+|a_n|-a_0}\le |q|\le \frac{|a_0|-a_0+a_n}{|a_n|},
\end{align*}
which is a refinement of Theorem~\ref{1.8}. It also strengthens another result of Tripathi (\cite[Corollary~3.8]{Tr}). Further, if $a_0>0$, then it implies a refinement to Theorem~\ref{1.6}. By taking $\lambda=0$ and assume $\beta_v\le \beta_{v-1}$, $\gamma_v\le \gamma_{v-1}$, $\delta_v \le \delta_{v-1}$ for $v=1,2,\dots,n,$ in Theorem~\ref{1.10}, we get the following result which is also of interest.

\begin{coro}\label{Cor6}
If $T(q)=\sum_{v=0}^{n}q^v a_v$, is a polynomial of degree $n$ with quaternionic coefficients, where $a_v=\alpha_v+\beta_vi+\gamma_vj+\delta_vk$ for $v=0,1,2,\dots,n$, satisfying
\begin{gather*}
\alpha_0\ge \alpha_1\ge\dots\ge\alpha_n,\\
\beta_0\ge \beta_1\ge\dots\ge\beta_n,\\
\gamma_0\ge \gamma_1\ge\dots\ge\gamma_n,\\
\delta_0\ge \delta_1\ge\dots\ge\delta_n,
\end{gather*}
then all the zeros of $T(q)$ lie in
\begin{align*}
r_3\le |q|\le r_4,
\end{align*}
where
\begin{align*}
r_3&=\frac{|a_0|}{|a_n|+(\alpha_0+\beta_0+\gamma_0+\delta_0)-(\alpha_n+\beta_n+\gamma_n+\delta_n)},\\[0.5em]
r_4&=\frac{|a_0|+(\alpha_0+\beta_0+\gamma_0+\delta_0)-(\alpha_n+\beta_n+\gamma_n+\delta_n)}{|a_n|}.
\end{align*}
\end{coro}


\section{Proofs of the main results}

\begin{proof}[Proof of Theorem~\ref{1.9}]
Consider the polynomial
\begin{align*}
T(q)*(1-q)&=a_0+q(a_1-a_0)+q^2(a_2-a_1)+\dots+q^n(a_n-a_{n-1})-q^{n+1}a_n\\
&=\sum_{v=0}^{n-1}q^v(a_v-a_{v-1})+q^n(\lambda+a_n-a_{n-1})-q^n\lambda-q^{n+1}a_n,\quad(a_{-1}=0)\\
&=f(q)-q^n\lambda-q^{n+1}a_n,\\
&\qquad\text{where~}~f(q)=\sum_{v=0}^{n-1}q^v(a_v-a_{v-1})+q^n(\lambda+a_n-a_{n-1})\\
&=\alpha_0-q\mu +q(\alpha_1+\mu-\alpha_0)+\sum_{v=2}^{n-1}q^v(\alpha_v-\alpha_{v-1})+q^n(\lambda+\alpha_n-\alpha_{n-1})\\
&\qquad+\sum_{v=0}^{n}q^v\bigg\{(\beta_v-\beta_{v-1})i+(\gamma_{v}-\gamma_{v-1})j+(\delta_{v}-\delta_{v-1})k \bigg\},\quad(\beta_{-1}=\gamma_{-1}=\delta_{-1}=0).
\end{align*}
By Theorem~\ref{1.4}, $T(q)*(1-q)=0$ if and only if either $T(q)=0$ or $T(q)\ne 0$ implies $T(q)^{-1}qT(q)-1=0$, that is $T(q)^{-1}qT(q)=1$. Thus, if $T(q)\ne 0$, this implies $q=1$, so the only zeros of $T(q)*(1-q)$ are $q=1$ and the zeros of $T(q)$.

For $|q|=1$, we have
\begin{align*}
|f(q)|&\le |\alpha_0|+|q\mu|+|q(\alpha_1+\mu-\alpha_0)|+\sum_{v=2}^{n-1}\left|q^v(\alpha_v-\alpha_{v-1})\right|+|q^n(\lambda+\alpha_n-\alpha_{n-1})|\\
&\qquad+\sum_{v=0}^{n}\left|q^v\bigg\{(\beta_v-\beta_{v-1})i +(\gamma_v-\gamma_{v-1})j +(\delta_v-\delta_{v-1})k\bigg\}\right|\\
&\le\alpha_0+\mu+\alpha_1+\mu-\alpha_0+\sum_{v=2}^{n-1}(\alpha_v-\alpha_{v-1})+(\lambda+\alpha_n-\alpha_{n-1})+M_0\\
&=\alpha_n+\lambda+2\mu+M_0,\\
&\qquad \text{where }~M_0=\sum_{v=0}^{n}\big[|\beta_v-\beta_{v-1}|+|\gamma_v-\gamma_{v-1}|+|\delta_v-\delta_{v-1}|\big].
\end{align*}
Notice that, we have
\begin{align*}
&\max_{|q|=1}\left|q^n * f\left(\frac{1}{q}\right)\right|=\max_{|q|=1}\left|q^n f\left(\frac{1}{q}\right)\right|=\max_{|q|=1}\left|f\left(\frac{1}{q}\right)\right|=\max_{|q|=1}|f(q)|,
\end{align*}
it is clear that $q^n * f\left(\frac{1}{q}\right)$ has the same bound on $|q|=1$ as $f$, that is
\begin{align*}
\left|q^n * f\left(\frac{1}{q}\right)\right|\le \alpha_n+\lambda+2\mu+M_0\quad\text{for }~|q|=1.
\end{align*}
Since $q^n * f\left(\frac{1}{q}\right)$ is a polynomial and so is regular in $|q|\le 1$, it follows by the Maximum Modulus Theorem (Theorem~\ref{1.5}), that
\begin{align*}
\left|q^n * f\left(\frac{1}{q}\right)\right|= \left|q^n f\left(\frac{1}{q}\right)\right|\le \alpha_n+\lambda+2\mu+M_0\quad\text{for }~|q|\le 1.
\end{align*}
Hence
\begin{align*}
\left|f\left(\frac{1}{q}\right)\right|\le \frac{\alpha_n+\lambda+2\mu+M_0}{|q|^n} \quad\text{for }~|q|\le 1.
\end{align*}
Replacing $q$ by $\frac{1}{q}$, we see that
\begin{align}\label{4.1}
|f(q)|\le (\alpha_n+\lambda+2\mu+M_0)|q|^n\quad\text{for }~|q|\ge 1.
\end{align}
For $|q|\ge 1$, we have
\begin{align*}
|T(q)*(1-q)|&=|f(q)-q^n\lambda-q^{n+1}a_n|\\
&\ge |q^n||qa_n+\lambda|-|f(q)|\\
&\ge |q|^{n}[|qa_n+\lambda|-(\alpha_n+\lambda+2\mu+M_0)]\quad (\text{by~\eqref{4.1}}).
\end{align*}
Hence, if
\begin{align*}
\left|q+\frac{\lambda}{a_n}\right|>\frac{\alpha_n+\lambda+2\mu+M_0}{|a_n|},
\end{align*}
then $|T(q)*(1-q)|>0$, that is $T(q)*(1-q)\ne 0$. Since the only zeros of $T(q)*(1-q)$ are $q=1$ and the zeros of $T(q)$, therefore, $T(q)\ne 0$ for
\begin{align*}
\left|q+\frac{\lambda}{a_n}\right|>\frac{\alpha_n+\lambda+2\mu+M_0}{|a_n|}.
\end{align*}
In other words, all the zeros of $T(q)$ lie in
\begin{align*}
\left|q+\frac{\lambda}{a_n}\right|\le \frac{\alpha_n+\lambda+2\mu+M_0}{|a_n|}.
\end{align*}
This completes the proof of Theorem~\ref{1.9}.
\end{proof}

\begin{proof}[Proof of Corollary~\ref{Cor4}]
By using the given hypothesis, it is easy to see that
\begin{align*}
M_0=\sum_{v=0}^{n}\left[|\beta_v-\beta_{v-1}|+|\gamma_v-\gamma_{v-1}|+|\delta_v-\delta_{v-1}|\right]=\beta_n+\gamma_n+\delta_n.
\end{align*}
Also, since $|a_n|=\sqrt{\alpha_n^2+\beta_n^2+\gamma_n^2+\delta_n^2}$, and by the Cauchy--Schwarz inequality, it follows that
\begin{align*}
\frac{\alpha_n+\beta_n+\gamma_n+\delta_n}{\sqrt{\alpha_n^2+\beta_n^2+\gamma_n^2+\delta_n^2}}\le 2.
\end{align*}
Using $\mu=0$ and the fact that $\alpha_v,\beta_v,\gamma_v,\delta_v\ge 0$, for $v=0,1,\dots,n,$ in Theorem~\ref{1.9}, we get as claimed in Corollary~\ref{Cor4}.
\end{proof}

\begin{proof}[Proof of Theorem~\ref{1.10}]
Consider the polynomial
\begin{align*}
T(q)*(1-q)&=a_0+q(a_1-a_0)+\dots+q^n(a_n-a_{n-1})-q^{n+1}a_n\\
&=\phi(q)-q^{n+1}a_n,\\
&\qquad \text{where}\quad \phi(q)=a_0+q(a_1-a_0)+\dots+q^n(a_n-a_{n-1}).
\end{align*}
By Theorem~\ref{1.4}, $T(q)*(1-q)=0$ if and only if either $T(q)=0$ or $T(q)\ne 0$ implies $T(q)^{-1}qT(q)-1=0$, that is $T(q)^{-1}qT(q)=1$. Thus, if $T(q)\ne 0$, this implies $q=1$, so the only zero of $T(q)*(1-q)$ are $q=1$ and the zeros of $T(q)$. We first note that
\begin{align*}
|a_v-a_{v-1}|&=|(\alpha_v-\alpha_{v-1})+(\beta_v-\beta_{v-1}) i +(\gamma_v-\gamma_{v-1}) j +(\delta_v-\delta_{v-1}) k|\\
&\le |\alpha_v-\alpha_{v-1}|+|\beta_v-\beta_{v-1}| +|\gamma_v-\gamma_{v-1}| +|\delta_v-\delta_{v-1}|.
\end{align*}
For $|q|=1$, we have
\begin{align*}
|\phi(q)|&=\left|a_0+\sum_{v=1}^{n}q^v(a_v-a_{v-1})\right|\\
&\le |a_0|+\sum_{v=1}^{n}|a_v-a_{v-1}|\\
&=|a_0|+\sum_{v=1}^{\lambda}(\alpha_v-\alpha_{v-1})+\sum_{v=\lambda+1}^{n}(\alpha_{v-1}-\alpha_{v})\\
&\qquad+\sum_{v=1}^{n}\left(|\beta_{v}-\beta_{v-1}|+|\gamma_{v}-\gamma_{v-1}|+|\delta_{v}-\delta_{v-1}|\right)\\
&= |a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1\\
&\qquad \text{where~}~M_1=\sum_{v=1}^{n}\left(|\beta_{v}-\beta_{v-1}|+|\gamma_{v}-\gamma_{v-1}|+|\delta_{v}-\delta_{v-1}|\right).
\end{align*}
Notice that, we have
\begin{align*}
&\max_{|q|=1}\left|q^n * \phi\left(\frac{1}{q}\right)\right|=\max_{|q|=1}\left|q^n \phi\left(\frac{1}{q}\right)\right|=\max_{|q|=1}\left|\phi\left(\frac{1}{q}\right)\right|=\max_{|q|=1}|\phi(q)|,
\end{align*}
it is clear that $q^n * \phi\left(\frac{1}{q}\right)$ has the same bound on $|q|=1$ as $\phi$, that is
\begin{align*}
\left|q^n * \phi\left(\frac{1}{q}\right)\right|\le |a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1~\text{ for }~|q|=1.
\end{align*}
Therefore, by the same reasoning as in the proof of Theorem~\ref{1.9}, it follows by the Maximum Modulus Theorem (Theorem~\ref{1.5}), that
\begin{align*}
\left|q^n * \phi\left(\frac{1}{q}\right)\right|= \left|q^n \phi\left(\frac{1}{q}\right)\right|\le |a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1~\text{ for }~|q|\le 1.
\end{align*}
Hence
\begin{align*}
\left|\phi\left(\frac{1}{q}\right)\right|\le \frac{|a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1}{|q|^n}~\text{ for }~|q|\le 1.
\end{align*}
Replacing $q$ by $\frac{1}{q}$, we see that
\begin{align}\label{4.2}
|\phi(q)|\le (|a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1)|q|^n~\text{ for }~|q|\ge 1.
\end{align}
For $|q|\ge 1$, we have
\begin{align*}
|T(q)*(1-q)|&=|\phi(q)-q^{n+1}a_n|\\
&\ge |q|^{n+1}|a_n|-|\phi(q)|\\
&\ge |q|^n\left[|q||a_n|-(|a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1)\right]~(\text{by}~\eqref{4.2}).
\end{align*}
Hence, if $|q|\ge 1$ and
\begin{align*}
|q|>\frac{|a_0|+2\alpha_\lambda-\alpha_0-\alpha_n+M_1}{|a_n|},
\end{align*}
then $|T(q)*(1-q)|>0$, that is $T(q)*(1-q)\ne 0$. Hence all the zeros of $T(q)*(1-q)$ whose norm is greater than or equal to one lie in
\begin{align*}
|q|\le \frac{2\alpha_\lambda-\alpha_n+|a_0|-\alpha_0+M_1}{|a_n|}.
\end{align*}
In other words, all the zeros of $T(q)$ lie in
\begin{align*}
|q|\le \max\left(1,\frac{2\alpha_\lambda-\alpha_n+|a_0|-\alpha_0+M_1}{|a_n|}\right).
\end{align*}
For the inner bound, consider the reciprocal polynomial
\begin{align*}
P(q)&=q^n*T\left(\frac{1}{q}\right)\\
&=q^nT\left(\frac{1}{q}\right)\\
&=q^na_0+q^{n-1}a_1+\dots+qa_{n-1}+a_n,
\end{align*}
and consider
\begin{align*}
P(q)*(1-q)&=a_n+q(a_{n-1}-a_n)+q^2(a_{n-2}-a_{n-1})+\dots+q^n(a_0-a_1)-q^{n+1}a_0\\
&=\psi(q)-q^{n+1}a_0,\\
&\qquad\text{where }~\psi(q)=a_n+\sum_{v=1}^{n}q^{n-v+1}(a_{v-1}-a_v).
\end{align*}
For $|q|=1$, we have
\begin{align*}
|\psi(q)|&\le |a_n|+\sum_{v=1}^{n}|q^{n-v+1}(a_{v-1}-a_v)|\\
&\le |a_n|+\sum_{v=1}^{n}\left(|\alpha_{v-1}-\alpha_v|+|\beta_{v-1}-\beta_v|+|\gamma_{v-1}-\gamma_v|+|\delta_{v-1}-\delta_v| \right)\\
&=|a_n|+2\alpha_\lambda -\alpha_0-\alpha_n+M_1.
\end{align*}
Proceeding as in the first part of this theorem, we get for $|q|\ge 1$,
\begin{align}\label{4.3}
&|\psi(q)|\le (2\alpha_\lambda+|a_n| -\alpha_n-\alpha_0+M_1)|q|^n.
\end{align}
For $|q|\ge 1$, we have
\begin{align*}
|P(q)*(1-q)|&=|\psi(q)-q^{n+1}a_0|\\
&\ge |q|^{n+1}|a_0|-|\psi(q)|\\
&\ge |q|^n\left[|q||a_0|-(2\alpha_\lambda+|a_n| -\alpha_n-\alpha_0+M_1)\right]\quad(\text{by}~\eqref{4.3}).
\end{align*}
Hence, if $|q|\ge 1$ and
\begin{align*}
|q|>\frac{2\alpha_\lambda+|a_n| -\alpha_n-\alpha_0+M_1}{|a_0|},
\end{align*}
then $|P(q)*(1-q)|>0$, that is $P(q)*(1-q)\ne 0$. Hence all the zeros of $P(q)*(1-q)$ where norm is greater than or equal to one lie in
\begin{align*}
|q|\le \frac{2\alpha_\lambda+|a_n|-\alpha_n-\alpha_0+M_1}{|a_0|},
\end{align*}
i.e, all the zeros of $P(q)$ lie in
\begin{align*}
|q|\le \max\left(1,\frac{2\alpha_\lambda+|a_n|-\alpha_n-\alpha_0+M_1}{|a_0|}\right).
\end{align*}
Therefore all the zeros of $T(q)$ lie in
\begin{align*}
|q|\ge \min\left(1,\frac{|a_0|}{2\alpha_\lambda+|a_n|-\alpha_n-\alpha_0+M_1}\right).
\end{align*}
This completes the proof of Theorem~\ref{1.10}.
\end{proof}

\section*{Conclusion}
The regular functions of a quaternionic variable have been introduced and intensively studied since 2006, and they have proven to be a fertile topic in analysis, and their rapid development has been largely driven by the applications to operator theory. We point out that the Fundamental Theorem of Algebra for regular polynomials with coefficients in $\mathbb{H}$ led to the complete identification of the zeros of polynomials in terms of their factorization. Thus it became an interesting perspective to think about the regions containing some or all the zeros of a regular polynomial of quaternionic variable. In the literature, we could not find much about the distribution of zeros of polynomials with quaternionic variable and quaternionic coefficients. Here, we obtain annuli containing all the zeros of a regular polynomial of quaternionic variable when the real and imaginary parts of its coefficients are restricted by virtue of a maximum modulus theorem and the structure of the zero sets for regular functions.


\subsection*{Acknowledgements}

The authors wish to thank the anonymous referee for many useful suggestions which indeed improved the quality of the paper.


\bibliographystyle{crplain}
\bibliography{CRMATH_Mir_20220217}
\end{document}
