## On sufficient conditions for the total positivity and for the multiple positivity of matrices.

### November 27, 2006

Abstract
The following theorem is proved.
Theorem. Suppose $M=\left({a}_{i,j}\right)$  be a $k×k$  matrix with positive entries and ${a}_{i,j}{a}_{i+1,j+1}>4{cos}^{2}\frac{\pi }{k+1}{a}_{i,j+1}{a}_{i+1,j}\left(1\le i\le k-1,1\le j\le k-1\right).$  Then $detM>0.$  The constant $4{cos}^{2}\frac{\pi }{k+1}$  in this Theorem is sharp. A few other results concerning totally positive and multiply positive matrices are obtained.
Keywords: Multiply positive matrix; Totally positive matrix; Strictly totally positive matrix; Toeplitz matrix; Hankel matrix; Pólya frequency sequence.
2000 Mathematics Subject Classification 15A48, 15A57, 15A15.

1 Introduction and statement of results.

This paper is inspired by the interesting work [5in which some useful and easily verified conditions of strict total positivity of a matrix are obtained. We recall that a matrix $A$  is said to be $k$  -times positive, if all minors of $A$  of order not greater than $k$  are non-negative. A matrix $A$  is said to be multiply positive if it is $k$  -times positive for some $k\in \mathbf{N}.$  A matrix $A$  is said to be totally positive, if all minors of $A$  are non-negative. For more information about these notions and their applications we refer the reader to [3and [12. According to [12we will denote the class of all $k$  -times positive matrices by $T{P}_{k}$  and the class of all totally positive matrices by $TP.$  By $STP$  we will denote the class of matrices with all minors being strictly positive and by $ST{P}_{k}$  the class of matrices with all minors of order not greater than $k$  being strictly positive.
In [5the following theorem was proved Theorem A. Denote by $\stackrel{~}{c}$  the unique real root of ${x}^{3}-5{x}^{2}+4x-1=0$  ( $\stackrel{~}{c}\approx 4.0796$  ). Let $M=\left({a}_{i,j}\right)$  be an $n×n$  matrix with the property that (a) ${a}_{i,j}>0\left(1\le i,j\le n\right)$  and (b) ${a}_{i,j}{a}_{i+1,j+1}\ge \stackrel{~}{c}{a}_{i,j+1}{a}_{i+1,j}\left(1\le i,j\le n-1\right).$  Then $M$  is strictly totally positive.
Note that the verification of total positivity is, in general, a very difficult problem. Surely, it is not difficult to calculate the determinant of a given matrix with numerical entries. But if the order of a matrix or the entries of a matrix depend on some parameters then the testing of multiple positivity is complicated.
Theorem A provides a convenient sufficient condition for total positivity of a matrix.
For $c\ge 1$  we will denote by $T{P}_{2}\left(c\right)$  the class of all matrices $M=\left({a}_{i,j}\right)$  with positive entries which satisfy the condition
 $\begin{array}{c}{a}_{i,j}{a}_{i+1,j+1}\ge c{a}_{i,j+1}{a}_{i+1,j}\text{for all}i,j.\end{array}$ (1)
For $c\ge 1$  we will denote by $ST{P}_{2}\left(c\right)$  the class of all matrices $M=\left({a}_{i,j}\right)$  with positive entries which satisfy the condition
 $\begin{array}{c}{a}_{i,j}{a}_{i+1,j+1}>c{a}_{i,j+1}{a}_{i+1,j}\text{for all}i,j.\end{array}$ (2)
It is easy to verify that $ST{P}_{2}=ST{P}_{2}\left(1\right).$  Theorem A states that $T{P}_{2}\left(\stackrel{~}{c}\right)\subset STP.$  Denote by ${c}_{k}:=4{cos}^{2}\frac{\pi }{k+1},k=2,3,4,\dots .$  The main result of this paper is the following:
Theorem 1. Suppose $M=\left({a}_{i,j}\right)$  be a $k×k$  matrix with positive entries.
(i) if $M\in T{P}_{2}\left({c}_{k}\right)$  then $detM\ge 0$  ; (ii) if $M\in ST{P}_{2}\left({c}_{k}\right)$  then $detM>0$  .
In the proof of Theorem 1 we will show that if $M\in T{P}_{2}\left(c\right)$  then every submatrix of $M$  belongs to $T{P}_{2}\left(c\right).$  Therefore the following theorem is the simple consequence of Theorem 1.
Theorem 2. For every $c\ge {c}_{k}$  we have (i) if $M\in T{P}_{2}\left(c\right)$  then $M\in T{P}_{k}$  ; (ii) if $M\in ST{P}_{2}\left(c\right)$  then $M\in ST{P}_{k}$  .
The following fact is a simple consequence of this theorem.
Theorem 3. For every $c\ge 4$  we have if $M\in T{P}_{2}\left(c\right)$  then $M\in STP.$  The following statement demonstrates that the constants in Theorems 1 and 3 are unimprovable not only in the class of matrices with positive entries but in the classes of Toeplitz matrices and of Hankel matrices. We recall that a matrix $M$  is a Toeplitz matrix if it is of the form $M=\left({a}_{j-i}\right)$  and a matrix $M$  is a Hankel matrix if it is of the form $M=\left({a}_{j+i}\right).$  Theorem 4.
(i) For every $1\le c<{c}_{k}$  there exists a $k×k$  Toeplitz matrix $M\in T{P}_{2}\left(c\right)$  with $detM<0;$  (ii) for every $1\le c<{c}_{k}$  there exists a $k×k$  Hankel matrix $M\in T{P}_{2}\left(c\right)$  with $detM<0.$  A simple consequence of Theorem 4 is the following fact Corollary of Theorem 4.
(i) For every $1\le c<4$  there exists a Toeplitz matrix $M\in T{P}_{2}\left(c\right)$  but $M/\in TP;$  (ii) for every $1\le c<4$  there exists a Hankel matrix $M\in T{P}_{2}\left(c\right)$  but $M/\in TP.$  The following theorem shows that Theorem 1 remains valid for some special classes of matrices with nonnegative elements.
Theorem 5. Let $M=\left({a}_{i,j}\right)$  be a $k×k$  matrix. Suppose that $\exists s,l\in \mathbf{Z}:-\left(k-1\right)\le s  such that ${a}_{i,j}>0$  for $s\le j-i\le l$  and ${a}_{i,j}=0$  for $j-i  or $j-i>l$  . If ${a}_{i,j}{a}_{i+1,j+1}\ge {c}_{k}{a}_{i,j+1}{a}_{i+1,j}\left(1\le i  then $detM\ge 0.$  We will show how to prove Theorem 5 in the section ”Proof of Theorem 4”.
A variation of Theorem 3 for the class of Toeplitz matrices was proved by J. I. Hutchinson in [11. To formulate his result we need some notions.
The class of $m$  -times positive sequences consists of the sequences $\left\{{a}_{k}{\right\}}_{k=0}^{\infty }$  such that all minors of the infinite matrix
 $\begin{array}{c}‖\begin{array}{ccccc}{a}_{0}& {a}_{1}& {a}_{2}& {a}_{3}& ...\\ 0& {a}_{0}& {a}_{1}& {a}_{2}& ...\\ 0& 0& {a}_{0}& {a}_{1}& ...\\ 0& 0& 0& {a}_{0}& ...\\ ...& ...& ...& ...& ...\end{array}‖\end{array}$ (3)
of order not greater than $m$  are non-negative. The class of $m$  -times positive sequences is denoted by $P{F}_{m}.$  A sequence is called a multiply positive sequence if it is $m$  -times positive for some $m\in \mathbf{N}.$  A sequence $\left\{{a}_{k}{\right\}}_{k=0}^{\infty }$  such that all minors of the infinite matrix ( 3 ) are nonnegative is called a totally positive sequence.
The class of totally positive sequences is denoted by $P{F}_{\infty }.$  The corresponding classes of generating functions $f\left(z\right)={\sum }_{k=0}^{\infty }{a}_{k}{z}^{k}$  are also denoted by $P{F}_{m}$  and $P{F}_{\infty }$  .
The multiply positive sequences (also called Pólya frequency sequences) were introduced by Fekete in 1912 see [7in connection with the problem of exact calculation of the number of positive zeros of a real polynomial.
The class $P{F}_{\infty }$  was completely described by Aissen, Schoenberg, Whitney and Edrei in [1(see also [12,p.412):
Theorem ASWE. A function $f\in P{F}_{\infty }$  iff $f\left(z\right)=C{z}^{n}{{e}^{\gamma z}}^{\infty }{\prod }_{k=1}\left(1+{\alpha }_{k}z\right)/\left(1-{\beta }_{k}z\right),$  where $C\ge 0,n\in \mathbf{Z},\gamma \ge 0,{\alpha }_{k}\ge 0,{\beta }_{k}\ge 0,\sum \left({\alpha }_{k}+{\beta }_{k}\right)<\infty .$  By Theorem ASWE a polynomial $p\left(z\right)={\sum }_{k=0}^{n}{a}_{k}{z}^{k},{a}_{k}\ge 0,$  has only real zeros if and only if the sequence $\left({a}_{0},{a}_{1},\dots ,{a}_{n},0,0,\dots \right)\in P{F}_{\infty }.$  In 1926, Hutchinson [11,p.327extended the work of Petrovitch [15and Hardy [9or [10,pp.95-100and proved the following theorem.
Theorem B. Let $f\left(z\right)={\sum }_{k=0}^{\infty }{a}_{k}{z}^{k}$  , ${a}_{k}>0,\forall k.$  Inequality
 $\begin{array}{c}{a}_{n}^{2}\ge 4{a}_{n-1}{a}_{n+1},\forall n\ge 1\end{array}$ (4)
holds if and only if the following two properties hold:
(i) The zeros of f(x) are all real, simple and negative and (ii) the zeros of any polynomial ${\sum }_{k=m}^{n}{a}_{k}{z}^{k}$  , formed by taking any number of consecutive terms of $f\left(x\right)$  , are all real and non-positive.
It is easy to see that ( 4 ) implies ${a}_{n}\le \frac{{a}_{1}}{{4}^{n\left(n-1\right)/2}}{\left(\frac{{a}_{1}}{{a}_{0}}\right)}^{n-1},n\ge 2,$  that is $f$  is an entire function of the order $0.$  So by the Hadamard theorem (see, for example, [14,p.24) $f\left(z\right)=C{{z}^{n}}^{\infty }{\prod }_{k=1}\left(1+{\alpha }_{k}z\right),$  where $C\ge 0,n\in \mathbf{N}\cup \left\{0\right\},{\alpha }_{k}\ge 0,\sum \left({\alpha }_{k}\right)<\infty .$  Using ASWE Theorem we obtain from Theorem B that
 $\begin{array}{c}{a}_{n}^{2}\ge 4{a}_{n-1}{a}_{n+1},\forall n\ge 1⇒\left\{{a}_{n}{\right\}}_{n=0}^{\infty }\in P{F}_{\infty }.\end{array}$ (5)
In [13it was proved that the constant $4$  in ( 5 ) is sharp.
Thus, Theorem B provides a simple sufficient condition for deducing when a sequence is a totally positive sequence. Theorem 5 provides the following simple sufficient condition of multiple positivity for a sequence.
Corollary of Theorem 5. Let $\left\{{a}_{n}{\right\}}_{n=0}^{\infty }$  be a sequence of nonnegative numbers.
Then ${a}_{n}^{2}\ge {c}_{m}{a}_{n-1}{a}_{n+1},\forall n\ge 1⇒\left\{{a}_{n}{\right\}}_{n=0}^{\infty }\in P{F}_{m}.$  Our results are applicable also to the moment problem. Recall that a sequence of positive numbers $\left\{{s}_{k}{\right\}}_{k=0}^{\infty }$  is said to be the moment sequence of a nondecreasing function $F:\mathbf{R}\to \mathbf{R}$  if ${s}_{k}={\int }_{-\infty }^{\infty }{t}^{k}dF\left(t\right).$  A sequence of positive numbers is called a Hamburger moment sequence if it is a moment sequence of a function $F$  having infinitely many points of growth. The following famous theorem gives the description of Hamburger moment sequences.
Theorem C. ([8, see also [2,chapt.2) A sequence of positive numbers $\left\{{s}_{k}{\right\}}_{k=0}^{\infty }$  is a Hamburger moment sequence if and only if
 $\begin{array}{c}det\left(\begin{array}{cccc}{s}_{0}& {s}_{1}& ...& {s}_{k}\\ {s}_{1}& {s}_{2}& ...& {s}_{k+1}\\ \mathit{.}\mathit{.}\mathit{.}& \mathit{.}\mathit{.}\mathit{.}& ...& \mathit{.}\mathit{.}\mathit{.}\\ {s}_{k}& {s}_{k+1}& ...& {s}_{2k}\\ \end{array}\right)>0,k=0,1,2,\dots .\end{array}$ (6)
The following statement is proved in [4.
Theorem D. Let $d$  be the positive solution of ${\sum }_{n=1}^{\infty }{d}^{-{n}^{2}}=1/4$  $\left(d\approx 4.06\right).$  Then any positive sequence $\left\{{s}_{k}{\right\}}_{k=0}^{\infty }$  satisfying ${s}_{n-1}{s}_{n+1}\ge d{s}_{n}^{2}n=0,1,2,\dots$  is a Hamburger moment sequence.
Theorem 3 implies the following statement.
Corollary of Theorem 3. Any positive sequence $\left\{{s}_{k}{\right\}}_{k=0}^{\infty }$  satisfying ${s}_{n-1}{s}_{n+1}\ge 4{s}_{n}^{2}n=0,1,2,\dots$  is a Hamburger moment sequence.
The constant $4$  in the Corollary above cannot be improved.

2 Proof of Theorem 1.

We need the following sequence of functions:
 $\begin{array}{c}{F}_{m}\left(c\right)={\sum }_{j=0}^{⌊m/2⌋}\left(\genfrac{}{}{0}{}{m-j}{j}\right)\left(-1{\right)}^{j}\frac{1}{{c}^{j}},m=0,1,2,\dots ,c\ge 1,\end{array}$ (7)
where by $⌊x⌋$  we denote the integral part of $x.$  The following lemma provides some properties for this sequence of functions.
Lemma 1.
(i) The following identities hold
 $\begin{array}{c}\begin{array}{cc}& {F}_{0}\left(c\right)={F}_{1}\left(c\right)=1\\ & {F}_{m}\left(c\right)={F}_{m-1}\left(c\right)-\frac{1}{c}{F}_{m-2}\left(c\right),m=2,3,4,\dots .\end{array}\end{array}$ (8)
(ii) For $c=4{cos}^{2}\phi$  we have
 $\begin{array}{c}{F}_{m}\left(c\right)=\frac{sin\left(m+1\right)\phi }{{c}^{m/2}sin\phi }.\end{array}$ (9)
(iii) For ${c}_{k}=4{cos}^{2}\frac{\pi }{k+1}$  we have
 $\begin{array}{c}{F}_{j-1}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{2}}{F}_{j-2}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{j}}\ge {F}_{j}\left({c}_{k}\right),k\ge 3,j=2,3,\dots ,k-1.\end{array}$ (10)
Proof of Lemma 1. Formula ( 8 ) follows directly from ( 7 ). Formula ( 9 ) is a simple consequence of the well-known trigonometric identity (see, for example, [16,p.696) $\frac{sin\left(m+1\right)\phi }{sin\phi }={\sum }_{j=0}^{⌊m/2⌋}\left(\genfrac{}{}{0}{}{m-j}{j}\right)\left(-1{\right)}^{j}\left(2cos\phi {\right)}^{m-2j}.$  Using the identity $4{cos}^{2}\phi -1=\frac{sin\left(3\phi \right)}{sin\phi }$  we have ${F}_{j-1}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{2}}{F}_{j-2}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{j}}-{F}_{j}\left({c}_{k}\right)=\left(\frac{1}{{c}_{k}}-\frac{1}{{c}_{k}^{2}}\right){F}_{j-2}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{j}}$  $=\frac{1}{{c}_{k}^{\left(j+2\right)/2}}\left(\frac{sin\left(3\frac{\pi }{k+1}\right)}{sin\frac{\pi }{k+1}}\cdot \frac{sin\left(\left(j-1\right)\frac{\pi }{k+1}\right)}{sin\frac{\pi }{k+1}}-\frac{1}{\left(2cos\frac{\pi }{k+1}{\right)}^{j-2}}\right)\ge$  $\frac{1}{{c}_{k}^{\left(j+2\right)/2}}\left(\frac{sin\left(3\frac{\pi }{k+1}\right)}{sin\frac{\pi }{k+1}}\cdot \frac{sin\left(\left(j-1\right)\frac{\pi }{k+1}\right)}{sin\frac{\pi }{k+1}}-1\right)\ge 0,$  for $k\ge 3$  and $j=2,3,\dots ,k-1.$  Inequality ( 10 ) is proved.
Lemma 1 is proved. $\square$  The following Lemma was proved in [5.
Lemma A. Let $M=\left({a}_{i,j}\right),1\le i\le m,1\le j\le n$  and $M\in T{P}_{2}\left(c\right),c\ge 1.$  Then ${a}_{i,j}{a}_{k,l}\ge {c}^{\left(l-j\right)\left(k-i\right)}{a}_{i,l}{a}_{k,j},\text{for all}i  A simple consequence of Lemma A is the fact that if $M\in T{P}_{2}\left(c\right)$  then any submatrix of $M$  also belongs to $T{P}_{2}\left(c\right).$  Analogously if $M\in ST{P}_{2}\left(c\right)$  then any submatrix of $M$  also belongs to $ST{P}_{2}\left(c\right).$  For a matrix $M=\left({a}_{i,j}\right)$  we will denote by $M\left({}_{{j}_{1},{j}_{2},\dots ,{j}_{k}}^{{i}_{1},{i}_{2},\dots ,{i}_{k}}\right)$  the following submatrix of $M$  $M\left({}_{{j}_{1},{j}_{2},\dots ,{j}_{k}}^{{i}_{1},{i}_{2},\dots ,{i}_{k}}\right)=\left(\begin{array}{cccc}{a}_{{i}_{1},{j}_{1}}& {a}_{{i}_{1},{j}_{2}}& ...& {a}_{{i}_{1},{j}_{k}}\\ {a}_{{i}_{2},{j}_{1}}& {a}_{{i}_{2},{j}_{2}}& ...& {a}_{{i}_{2},{j}_{k}}\\ ...& ...& \cdot \cdot \cdot & ...\\ {a}_{{i}_{k},{j}_{1}}& {a}_{{i}_{k},{j}_{2}}& ...& {a}_{{i}_{k},{j}_{k}}\\ \end{array}\right)$  We now prove the following claim (which consists of three parts) by induction on $n.$  Let $M=\left({a}_{i,j}\right)$  be an $n×n$  matrix and $M\in T{P}_{2}\left(c\right),$  where $c\ge 4{cos}^{2}\frac{\pi }{n+1}.$  Then the following inequalities hold:
 $\begin{array}{c}detM\ge 0.\end{array}$ (11)
 $\begin{array}{c}detM\ge {a}_{1,1}detM\left({}_{2,3,\dots ,n}^{2,3,\dots ,n}\right)-{a}_{1,2}{a}_{2,1}detM\left({}_{3,4,\dots ,n}^{3,4,\dots ,n}\right).\end{array}$ (12)
 $\begin{array}{c}detM\le {a}_{1,1}detM\left({}_{2,3,\dots ,n}^{2,3,\dots ,n}\right).\end{array}$ (13)
Since $M\in T{P}_{2}\left(c\right)$  then hypothesis ( 11 ), ( 12 ), ( 13 ) are true for $n=2.$  The proof below is based on the following lemma.
Lemma 2. Let ${c}_{0}\ge 1,$  $M=\left({a}_{i,j}\right)\in T{P}_{2}\left({c}_{0}\right)$  be an $n×n$  matrix satisfying the following conditions (i) $\forall i=2,3,\dots ,ndetM\left({}_{i,i+1,\dots ,n}^{i,i+1,\dots ,n}\right)\ge 0;$  (ii) $\forall i=1,2,\dots ,n-2$  $detM\left({}_{i,i+1,\dots ,n}^{i,i+1,\dots ,n}\right)\ge {a}_{i,i}detM\left({}_{i+1,i+2,\dots ,n}^{i+1,i+2,\dots ,n}\right)-{a}_{i,i+1}{a}_{i+1,i}detM\left({}_{i+2,i+3,\dots ,n}^{i+2,i+3,\dots ,n}\right).$  Then for all $c,1\le c\le {c}_{0}$  the following inequalities are valid:
 $\begin{array}{ccc}& detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)\ge {a}_{m+1,m+1}\left(detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)-& \end{array}$ (14)
 $\begin{array}{ccc}& \frac{1}{c}{a}_{m+2,m+2}detM\left({}_{m+3,m+4,\dots ,n}^{m+3,m+4,\dots ,n}\right)\right),m=0,1,\dots ,n-3.& \end{array}$
 $\begin{array}{ccc}& detM\ge {a}_{1,1}{a}_{2,2}\cdots {a}_{m,m}\left({F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-& \end{array}$ (15)
 $\begin{array}{ccc}& \frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\right),m=1,2,\dots ,n-2.& \end{array}$
 $\begin{array}{ccc}& {F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\ge & \end{array}$ (16)
 $\begin{array}{ccc}& {a}_{m+1,m+1}\left({F}_{m+1}\left(c\right)detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)-\frac{1}{c}{F}_{m}\left(c\right){a}_{m+2,m+2}detM\left({}_{m+3,m+4,\dots ,n}^{m+3,m+4,\dots ,n}\right)\right),& \end{array}$
 $\begin{array}{ccc}& m=1,2,\dots ,n-3.& \end{array}$
 $\begin{array}{ccc}& {F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\ge & \end{array}$ (17)
 $\begin{array}{ccc}& {a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n,n}{F}_{n}\left(c\right),m=1,2,\dots ,n-2.& \end{array}$
Proof of Lemma 2. First we prove ( 14 ). Since $M\in T{P}_{2}\left(c\right)$  and by (ii) we have $detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)\ge {a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)-$  ${a}_{m+1,m+2}{a}_{m+2,m+1}detM\left({}_{m+3,m+4,\dots ,n}^{m+3,m+4,\dots ,n}\right)\ge {a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)$  $-\frac{1}{c}{a}_{m+1,m+1}{a}_{m+2,m+2}detM\left({}_{m+3,m+4,\dots ,n}^{m+3,m+4,\dots ,n}\right),m=0,1,\dots ,n-3.$  Inequality ( 14 ) is proved.
Let us prove ( 16 ). Multiplying ( 14 ) by ${F}_{m}\left(c\right)$  we have ${F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\ge$  ${a}_{m+1,m+1}\left(\left({F}_{m}\left(c\right)-\frac{1}{c}{F}_{m-1}\left(c\right)\right)detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)-$  $\frac{1}{c}{F}_{m}\left(c\right){a}_{m+2,m+2}detM\left({}_{m+3,m+4,\dots ,n}^{m+3,m+4,\dots ,n}\right)\right),m=1,2,\dots ,n-3,$  and, using ( 8 )we obtain ( 16 ). To prove ( 17 ) we apply ( 16 ) $\left(n-2-m\right)$  times. We derive ${F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\ge$  ${a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n-2,n-2}\left({F}_{n-2}\left(c\right)detM\left({}_{n-1,n}^{n-1,n}\right)-\frac{1}{c}{F}_{n-3}\left(c\right){a}_{n-1,n-1}{a}_{n,n}\right).$  Since $M\in T{P}_{2}\left({c}_{0}\right)$  the following inequality holds for all $c,1\le c\le {c}_{0},$
 $\begin{array}{c}detM\left({}_{n-1,n}^{n-1,n}\right)\ge \left(1-\frac{1}{c}\right){a}_{n-1,n-1}{a}_{n,n},\end{array}$ (18)
so by ( 8 ) we obtain ${F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)\ge$  ${a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n,n}\left(\left({F}_{n-2}\left(c\right)-\frac{1}{c}{F}_{n-3}\left(c\right)\right)-\frac{1}{c}{F}_{n-2}\left(c\right)\right)=$  ${a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n,n}\left({F}_{n-1}\left(c\right)-\frac{1}{c}{F}_{n-2}\left(c\right)\right)=$  ${a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n,n}{F}_{n}\left(c\right).$  Inequality ( 17 ) is proved.
By ( 8 ) we rewrite inequality ( 14 ) for $m=0$  in the following form:
$detM\ge {a}_{1,1}\left({F}_{1}\left(c\right)detM\left({}_{2,3,\dots ,n}^{2,3,\dots ,n}\right)-\frac{1}{c}{F}_{0}\left(c\right){a}_{2,2}detM\left({}_{3,4,\dots ,n}^{3,4,\dots ,n}\right)\right).$  To prove ( 15 ) we apply ( 16 ) $\left(m-1\right)$  times.
Lemma 2 is proved. $\square$  Remark. If a matrix $M$  satisfies the conditions of Lemma 2 and, moreover, ${a}_{n-1,n-1}{a}_{n,n}>{c}_{0}{a}_{n-1,n}{a}_{n,n-1},$  then inequality ( 18 ) is strict, hence ( 17 ) is strict, i.e.
 $\begin{array}{ccc}& {F}_{m}\left(c\right)detM\left({}_{m+1,m+2,\dots ,n}^{m+1,m+2,\dots ,n}\right)-\frac{1}{c}{F}_{m-1}\left(c\right){a}_{m+1,m+1}detM\left({}_{m+2,m+3,\dots ,n}^{m+2,m+3,\dots ,n}\right)>& \end{array}$ (19)
 $\begin{array}{ccc}& {a}_{m+1,m+1}{a}_{m+2,m+2}\cdots {a}_{n,n}{F}_{n}\left(c\right),m=1,2,\dots ,n-2.& \end{array}$
In particular, for all matrices $M\in STP\left({c}_{0}\right)$  inequality ( 19 ) is valid for all $c,1\le c\le {c}_{0}.$  Assume that conditions ( 11 ), ( 12 ) and ( 13 ) hold for all matrices of sizes smaller than $k.$  Let us prove these conditions for $n=k.$  Lemma 3. Let $M=\left({a}_{i,j}\right)$  be a $k×k$  matrix, $M\in T{P}_{2}\left(c\right)$  , $c\ge {c}_{k}:=4{cos}^{2}\frac{\pi }{k+1}.$  For all $j=2,3,\dots ,k-1$  the following inequality holds.
${a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,j+1}detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)\ge 0.$  Proof of Lemma 3. Since $m\in T{P}_{2}\left(c\right),$  $M\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\in T{P}_{2}\left(c\right)$  and $M\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)\in T{P}_{2}\left(c\right).$  Since $4{cos}^{2}\frac{\pi }{n+1}\le 4{cos}^{2}\frac{\pi }{k+1}$  for $n=2,3,\dots ,k-1$  we can apply the induction hypothesis to the matrices $M\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right),M\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)$  and to all their square submatrices. We apply inequality ( 13 ) $j$  times and obtain $detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)\le {a}_{2,1}{a}_{3,2}\cdots {a}_{j+1,j}detM\left({}_{j+2,j+3,\dots ,k}^{j+2,j+3,\dots ,k}\right).$  From Lemma A and from the fact ${a}_{1,j+1}{a}_{j+1,j}\le \frac{1}{{c}_{k}^{j}}{a}_{1,j}{a}_{j+1,j+1}$  now we conclude
 $\begin{array}{c}{a}_{1,j+1}detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)\le \frac{1}{{c}_{k}^{j}}{a}_{1,j}{a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}detM\left({}_{j+2,j+3,\dots ,k}^{j+2,j+3,\dots ,k}\right).\end{array}$ (20)
By the induction hypothesis the matrix $M\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)$  satisfies the assumptions of Lemma 2. Applying to this matrix ( 15 ) with $m=j-2$  we obtain $detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\ge {a}_{2,1}{a}_{3,2}\cdots {a}_{j-1,j-2}\left({F}_{j-2}\left({c}_{k}\right)detM\left({}_{j-1,j+1,j+2\dots ,k}^{j,j+1,j+2\dots ,k}\right)$  $-\frac{1}{{c}_{k}}{F}_{j-3}\left({c}_{k}\right){a}_{j,j-1}detM\left({}_{j+1,j+2,\dots ,k}^{j+1,j+2,\dots ,k}\right)\right).$  Applying ( 12 ) to the matrix $M\left({}_{j-1,j+1,j+2\dots ,k}^{j,j+1,j+2\dots ,k}\right)$  and plugging the result into the last formula we have $detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\ge {a}_{2,1}{a}_{3,2}\cdots {a}_{j-1,j-2}\left({a}_{j,j-1}\left({F}_{j-2}\left({c}_{k}\right)-$  $\frac{1}{{c}_{k}}{F}_{j-3}\left({c}_{k}\right)\right)detM\left({}_{j+1,j+2\dots ,k}^{j+1,j+2\dots ,k}\right)-{a}_{j,j+1}{a}_{j+1,j-1}{F}_{j-2}\left({c}_{k}\right)detM\left({}_{j+2,j+3,\dots ,k}^{j+2,j+3,\dots ,k}\right)\right),$  whence, by Lemma A and ( 8 ) we obtain $detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\ge {a}_{2,1}{a}_{3,2}\cdots {a}_{j-1,j-2}{a}_{j,j-1}\left({F}_{j-1}\left({c}_{k}\right)detM\left({}_{j+1,j+2\dots ,k}^{j+1,j+2\dots ,k}\right)-$  $\frac{1}{{c}_{k}^{2}}{a}_{j+1,j+1}{F}_{j-2}\left({c}_{k}\right)detM\left({}_{j+2,j+3,\dots ,k}^{j+2,j+3,\dots ,k}\right)\right).$  Further applying ( 14 ) to the matrix $M\left({}_{j+1,j+2\dots ,k}^{j+1,j+2\dots ,k}\right)$  we have
 $\begin{array}{ccc}& detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\ge {a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}\left(detM\left({}_{j+2,j+3\dots ,k}^{j+2,j+3\dots ,k}\right)& \end{array}$ (21)
 $\begin{array}{ccc}& \left({F}_{j-1}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{2}}{F}_{j-2}\left({c}_{k}\right)\right)-\frac{1}{{c}_{k}}{a}_{j+2,j+2}{F}_{j-1}\left({c}_{k}\right)detM\left({}_{j+3,j+4,\dots ,k}^{j+3,j+4,\dots ,k}\right)\right).& \end{array}$
By ( 20 ) and ( 21 ) we derive
 $\begin{array}{ccc}& {a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,j+1}detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)& \end{array}$ (22)
 $\begin{array}{ccc}& \ge {a}_{1,j}{a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}\left(\left({F}_{j-1}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{2}}{F}_{j-2}\left({c}_{k}\right)-\frac{1}{{c}_{k}^{j}}\right)& \end{array}$
 $\begin{array}{ccc}& detM\left({}_{j+2,j+3\dots ,k}^{j+2,j+3\dots ,k}\right)-\frac{1}{{c}_{k}}{a}_{j+2,j+2}{F}_{j-1}\left({c}_{k}\right)detM\left({}_{j+3,j+4,\dots ,k}^{j+3,j+4,\dots ,k}\right)\right).& \end{array}$
It follows from ( 22 ),( 10 ) and ( 17 ) that ${a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,j+1}detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)\ge$  ${a}_{1,j}{a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}\left({F}_{j}\left({c}_{k}\right)detM\left({}_{j+2,j+3\dots ,k}^{j+2,j+3\dots ,k}\right)-$  $\frac{1}{{c}_{k}}{a}_{j+2,j+2}{F}_{j-1}\left({c}_{k}\right)detM\left({}_{j+3,j+4,\dots ,k}^{j+3,j+4,\dots ,k}\right)\right)\ge$  ${a}_{1,j}{a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}{a}_{j+2,j+2}\cdots {a}_{k,k}{F}_{k-1}\left({c}_{k}\right).$  Hence by Lemma 1 and ( 9 ) with $m=k-1$  we conclude that ${a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,j+1}detM\left({}_{1,2,\dots ,j,j+2,\dots ,k}^{2,3,\dots ,k}\right)$  $\ge {a}_{1,j}{a}_{2,1}{a}_{3,2}\cdots {a}_{j,j-1}{a}_{j+1,j+1}{a}_{j+2,j+2}\cdots {a}_{k,k}\frac{sin\left(k\frac{\pi }{k+1}\right)}{{c}_{k}^{\left(k-1\right)/2}sin\frac{\pi }{k+1}}\ge 0.$  Lemma 3 is proved. $\square$  Now we will prove ( 12 ). Using Lemma 3 we have $detM\left({}_{1,2,\dots ,k}^{1,2,\dots ,k}\right)={\sum }_{j=1}^{k}\left(-1{\right)}^{j+1}{a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)$  $\ge {a}_{1,1}detM\left({}_{2,3\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,2}detM\left({}_{1,3,4,\dots ,k}^{2,3,\dots ,k}\right).$  We apply the induction hypothesis ( 13 ) to the matrix $M\left({}_{1,3,4,\dots ,k}^{2,3,\dots ,k}\right).$  We have $detM\left({}_{1,2,\dots ,k}^{1,2,\dots ,k}\right)\ge {a}_{1,1}detM\left({}_{2,3\dots ,k}^{2,3,\dots ,k}\right)-{a}_{1,2}{a}_{2,1}detM\left({}_{3,4,\dots ,k}^{3,4,\dots ,k}\right).$  The inequality ( 12 ) is proved.
By Lemma 3 $detM\left({}_{1,2,\dots ,k}^{1,2,\dots ,k}\right)={\sum }_{j=1}^{k}\left(-1{\right)}^{j+1}{a}_{1,j}detM\left({}_{1,2,\dots ,j-1,j+1,\dots ,k}^{2,3,\dots ,k}\right)\le {a}_{1,1}detM\left({}_{2,3\dots ,k}^{2,3,\dots ,k}\right).$  The inequality ( 13 ) is proved.
To prove ( 11 ) we note that by ( 12 ) and induction hypothesis the matrix $M$  satisfies the assumptions of Lemma 2. It follows from ( 15 ), ( 17 ) and Lemma 1 that $detM\ge {a}_{1,1}{a}_{2,2}\cdots {a}_{k,k}{F}_{k}\left({c}_{k}\right)={a}_{1,1}{a}_{2,2}\cdots {a}_{k,k}\frac{sin\pi }{{c}_{k}^{k/2}sin\frac{\pi }{k+1}}=0.$  Hence the statement (i) in Theorem 1 is proved.
Now we will prove the statement (ii) in Theorem 4. If $M\in ST{P}_{k}\left({c}_{k}\right)$  then by ( 19 ) we can rewrite the last inequality in the following form $detM>{a}_{1,1}{a}_{2,2}\cdots {a}_{k,k}{F}_{k}\left({c}_{k}\right)={a}_{1,1}{a}_{2,2}\cdots {a}_{k,k}\frac{sin\pi }{{c}_{k}^{k/2}sin\frac{\pi }{k+1}}=0.$  Hence the statement (ii) in Theorem 1 is proved, which completes the proof of Theorem 1. $\square$  In fact, we have proved a slightly stronger theorem, which may be of independent interest.
Theorem 6. Suppose $c\ge 4{cos}^{2}\frac{\pi }{k+1}.$  Let $M=\left({a}_{i,j}\right)\in T{P}_{2}\left(c\right)$  be a $k×k$  matrix. Then $detM\ge {a}_{1,1}{a}_{2,2}\cdots {a}_{k,k}{F}_{k}\left(c\right).$

3 Proof of Theorem 4.

Note that $T{P}_{2}\left({c}_{1}\right)\subset T{P}_{2}\left({c}_{2}\right)$  for ${c}_{1}\ge {c}_{2}$  . Thus it is sufficient to prove Theorem 4 with $c\in \left({c}_{k}-\varepsilon ,{c}_{k}\right)$  for $\varepsilon >0$  being small enough.
Consider the following $n×n$  symmetrical Toeplitz matrix.
 $\begin{array}{c}{M}_{n}\left(\phi \right):=‖\begin{array}{ccccccc}2cos\phi & 1& 0& 0& ...& 0& 0\\ 1& 2cos\phi & 1& 0& ...& 0& 0\\ 0& 1& 2cos\phi & 1& 0& ...& 0\\ ...& ...& ...& ...& ...& ...& ...\\ 0& 0& ...& 0& 1& 2cos\phi & 1\\ 0& 0& 0& ...& 0& 1& 2cos\phi \\ \end{array}‖,\end{array}$ (23)
where $0\le \phi <\pi /2.$  Obviously, ${M}_{n}\left(\phi \right)\in T{P}_{2}\left(4{cos}^{2}\phi \right).$  The matrix ${M}_{n}\left(\phi \right)$  satisfies the following recursion relation $det{M}_{n}\left(\phi \right)=2cos\phi det{M}_{n-1}\left(\phi \right)-det{M}_{n-2}\left(\phi \right)$  and ${M}_{1}\left(\phi \right)=2cos\phi ,{M}_{2}\left(\phi \right)=4{cos}^{2}\phi -1.$  It is easy to verify that $det{M}_{n}\left(\phi \right)=\frac{sin\left(n+1\right)\phi }{sin\phi }.$  So for all $\phi \in \left(\frac{\pi }{n+1},\frac{2\pi }{n+1}\right)$  we have $det{M}_{n}\left(\phi \right)<0.$  For $\phi \in \left(\frac{\pi }{n+1},\frac{2\pi }{n+1}\right)$  consider the following $n×n$  symmetrical Toeplitz matrix
 $\begin{array}{ccc}& {T}_{n}\left(\phi ,{\varepsilon }_{1},\dots ,{\varepsilon }_{n-2}\right):=& \end{array}$ (24)
 $\begin{array}{ccc}& ‖\begin{array}{ccccccc}2cos\phi & 1& {\varepsilon }_{1}& {\varepsilon }_{2}& ...& {\varepsilon }_{n-3}& {\varepsilon }_{n-2}\\ 1& 2cos\phi & 1& {\varepsilon }_{1}& ...& {\varepsilon }_{n-4}& {\varepsilon }_{n-3}\\ {\varepsilon }_{1}& 1& 2cos\phi & 1& {\varepsilon }_{1}& ...& {\varepsilon }_{n-4}\\ ...& ...& ...& ...& ...& ...& ...\\ {\varepsilon }_{n-3}& {\varepsilon }_{n-4}& ...& {\varepsilon }_{1}& 1& 2cos\phi & 1\\ {\varepsilon }_{n-2}& {\varepsilon }_{n-3}& {\varepsilon }_{n-4}& ...& {\varepsilon }_{1}& 1& 2cos\phi \\ \end{array}‖,& \end{array}$
where ${\varepsilon }_{1}>{\varepsilon }_{2}>\cdots >{\varepsilon }_{n-2}>0$  and ${\varepsilon }_{1}$  is chosen to satisfy the inequality $1\ge 4{cos}^{2}\phi \cdot 2cos\phi \cdot {\varepsilon }_{1},$  then ${\varepsilon }_{2}$  is chosen to satisfy the inequality ${\varepsilon }_{1}^{2}\ge 4{cos}^{2}\phi \cdot {\varepsilon }_{2},$  then ${\varepsilon }_{3}$  is chosen to satisfy the inequality ${\varepsilon }_{2}^{2}\ge 4{cos}^{2}\phi \cdot {\varepsilon }_{1}\cdot {\varepsilon }_{3},\dots$  and then ${\varepsilon }_{n-2}$  is chosen to satisfy the inequality ${\varepsilon }_{n-3}^{2}\ge 4{cos}^{2}\phi \cdot {\varepsilon }_{n-4}\cdot {\varepsilon }_{n-2}.$  Under these conditions we have ${T}_{n}\left(\phi ,{\varepsilon }_{1},\dots ,{\varepsilon }_{n-2}\right)\in T{P}_{2}\left(4{cos}^{2}\phi \right).$  Since ${T}_{n}\left(\phi ,0,0,\dots ,0\right)={M}_{n}\left(\phi \right)$  we obtain $det{T}_{n}\left(\phi ,0,0,\dots ,0\right)<0$  for $\phi \in \left(\frac{\pi }{n+1},\frac{2\pi }{n+1}\right).$  Therefore we have $det{T}_{n}\left(\phi ,{\varepsilon }_{1},\dots ,{\varepsilon }_{n-2}\right)<0$  for $\phi \in \left(\frac{\pi }{n+1},\frac{2\pi }{n+1}\right)$  if ${\varepsilon }_{1}$  is small enough.
Thus, for every $c\in \left(4{cos}^{2}\frac{2\pi }{n+1},{c}_{n}\right)$  the statement (i) of Theorem 4 is proved.
Since $T{P}_{2}\left({c}_{1}\right)\subset T{P}_{2}\left({c}_{2}\right)$  for ${c}_{1}\ge {c}_{2}$  the statement (i) of Theorem 4 follows.
We use the same method to obtain the proof of Theorem 5.
To prove the statement (ii) we consider the following Hankel matrix ${D}_{n}\left(p,q\right)$  with $p\ge 1,q\ge 1.$
 $\begin{array}{c}{D}_{n}\left(p,q\right):=\left({p}^{⌊\left(i+j-2\right)/2⌋⌊\left(i+j-1\right)/2⌋}{q}^{⌊\left(i+j-3\right)/2⌋⌊\left(i+j-2\right)/2⌋},1\le i,j\le n,\end{array}$ (25)
or,
 $\begin{array}{c}{D}_{n}\left(p,q\right)=‖\begin{array}{ccccccc}1& 1& p& {p}^{2}q& ...& *& *\\ 1& p& {p}^{2}q& {p}^{4}{q}^{2}& ...& *& *\\ p& {p}^{2}q& {p}^{4}{q}^{2}& {p}^{6}{q}^{4}& ...& *& *\\ ...& ...& ...& ...& ...& ...& ...\\ *& *& *& *& ...& {p}^{\left(n-2{\right)}^{2}}{q}^{\left(n-2\right)\left(n-3\right)}& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}\\ *& *& *& *& ...& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}& {p}^{\left(n-1{\right)}^{2}}{q}^{\left(n-1\right)\left(n-2\right)}\\ \end{array}‖,\end{array}$ (26)
By direct calculation we obtain ${D}_{n}\left(p,q\right)\in T{P}_{2}\left(min\left(p,q\right)\right).$  Lemma 4. For all $n\ge 3$  we have
 $\begin{array}{c}det{D}_{n}\left(p,q\right)={p}^{{\beta }_{n}}{q}^{{\alpha }_{n}}{F}_{n}\left(p\right)+{Q}_{{\alpha }_{n}-1}\left(p,q\right),\end{array}$ (27)
where ${\alpha }_{n}=\frac{n\left(n-1\right)\left(n-2\right)}{3},{\beta }_{n}=\frac{n\left(n-1\right)\left(2n-1\right)}{6}$  and ${Q}_{{\alpha }_{n}-1}\left(p,q\right)$  is a polynomial in $p,q$  such that ${deg}_{q}{Q}_{{\alpha }_{n}-1}\left(p,q\right)\le {\alpha }_{n}-1.$  (Here and further by ${deg}_{q}Q\left(p,q\right)$  we will denote the degree of $Q\left(p,q\right)$  with respect to $q.$  ) Proof. We will prove this lemma by induction in $n.$  For $n=3$  the statement is true as can be verified directly. The expansion of $det{D}_{n}\left(p,q\right)$  along column $n$  gives
 $\begin{array}{ccc}& det{D}_{n}\left(p,q\right)={R}_{{\alpha }_{n}-1}\left(p,q\right)+& \end{array}$ (28)
 $\begin{array}{ccc}& det‖\begin{array}{ccccccc}1& 1& p& {p}^{2}q& ...& *& 0\\ 1& p& {p}^{2}q& {p}^{4}{q}^{2}& ...& *& 0\\ p& {p}^{2}q& {p}^{4}{q}^{2}& {p}^{6}{q}^{4}& ...& *& 0\\ ...& ...& ...& ...& ...& ...& ...\\ *& *& *& *& ...& *& 0\\ *& *& *& *& ...& {p}^{\left(n-2{\right)}^{2}}{q}^{\left(n-2\right)\left(n-3\right)}& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}\\ *& *& *& *& ...& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}& {p}^{\left(n-1{\right)}^{2}}{q}^{\left(n-1\right)\left(n-2\right)}\\ \end{array}‖,& \end{array}$
where ${R}_{{\alpha }_{n}-1}\left(p,q\right)$  is a polynomial in $p,q$  and ${deg}_{q}{R}_{{\alpha }_{n}-1}\left(p,q\right)\le {\alpha }_{n}-1.$  The expansion of the determinant on the right-hand side of the last equation along row $n$  gives
 $\begin{array}{ccc}& det{D}_{n}\left(p,q\right)={S}_{{\alpha }_{n}-1}\left(p,q\right)+& \end{array}$ (29)
 $\begin{array}{ccc}& det‖\begin{array}{ccccccc}1& 1& p& {p}^{2}q& ...& *& 0\\ 1& p& {p}^{2}q& {p}^{4}{q}^{2}& ...& *& 0\\ p& {p}^{2}q& {p}^{4}{q}^{2}& {p}^{6}{q}^{4}& ...& *& 0\\ ...& ...& ...& ...& ...& ...& ...\\ *& *& *& *& ...& *& 0\\ *& *& *& *& ...& {p}^{\left(n-2{\right)}^{2}}{q}^{\left(n-2\right)\left(n-3\right)}& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}\\ 0& 0& 0& ...& 0& {p}^{\left(n-1\right)\left(n-2\right)}{q}^{\left(n-2{\right)}^{2}}& {p}^{\left(n-1{\right)}^{2}}{q}^{\left(n-1\right)\left(n-2\right)}\\ \end{array}‖,& \end{array}$
where ${S}_{{\alpha }_{n}-1}\left(p,q\right)$  is a polynomial in $p,q$  and ${deg}_{q}{S}_{{\alpha }_{n}-1}\left(p,q\right)\le {\alpha }_{n}-1.$  The last equation provides the following recursion relation ${D}_{n}\left(p,q\right)={p}^{\left(n-1{\right)}^{2}}{q}^{\left(n-1\right)\left(n-2\right)}{D}_{n-1}\left(p,q\right)-{p}^{2\left(n-1\right)\left(n-2\right)}{q}^{2\left(n-2{\right)}^{2}}{D}_{n-2}\left(p,q\right)+{T}_{{\alpha }_{n}-1}\left(p,q\right),$  where ${T}_{{\alpha }_{n}-1}\left(p,q\right)$  is a polynomial in $p,q$  and ${deg}_{q}{T}_{{\alpha }_{n}-1}\left(p,q\right)\le {\alpha }_{n}-1.$  Using the induction hypothesis and formula ( 8 ) we obtain the statement of Lemma 4.
Lemma 4 is proved. $\square$  Note that ${p}^{⌊n/2⌋}{F}_{n}\left(p\right)$  is a polynomial in $p$  of degree $⌊n/2⌋.$  By ( 9 ) it has the following $⌊n/2⌋$  roots:
$4{cos}^{2}\frac{\pi }{n+1},4{cos}^{2}\frac{2\pi }{n+1},\dots ,4{cos}^{2}\frac{⌊n/2⌋\pi }{n+1}.$  Obviously, $4{cos}^{2}\frac{\pi }{n+1}$  is the largest root of this polynomial. Hence for $p\in \left(4{cos}^{2}\frac{2\pi }{n+1},4{cos}^{2}\frac{\pi }{n+1}\right)$  we have ${F}_{n}\left(p\right)<0.$  Let us fix an arbitrary ${p}_{0}\in \left(4{cos}^{2}\frac{2\pi }{n+1},4{cos}^{2}\frac{\pi }{n+1}\right).$  Since $det{D}_{n}\left({p}_{0},q\right)={q}^{{\alpha }_{n}}\left({p}_{0}^{{\beta }_{n}}{F}_{n}\left({p}_{0}\right)+{q}^{-{\alpha }_{n}}{Q}_{{\alpha }_{n}-1}\left({p}_{0},q\right)\right),$  where ${Q}_{{\alpha }_{n}-1}\left({p}_{0},q\right)$  is a polynomial in $q$  and $deg{Q}_{{\alpha }_{n}-1}\left({p}_{0},q\right)\le {\alpha }_{n}-1,$  for $q$  being large enough (and $q>{p}_{0}$  ) we obtain ${D}_{n}\left({p}_{0},q\right)\in T{P}_{2}\left({p}_{0}\right)$  but $det{D}_{n}\left({p}_{0},q\right)<0.$  Thus, for every $p\in \left(4{cos}^{2}\frac{2\pi }{n+1},{c}_{n}\right)$  the statement (ii) of Theorem 4 is proved.
Since $T{P}_{2}\left({c}_{1}\right)\subset T{P}_{2}\left({c}_{2}\right)$  for ${c}_{1}\ge {c}_{2}$  the statement (ii) of Theorem 4 follows.
Theorem 4 is proved. $\square$  Remark. This is a revised version of the paper originally submitted to the journal ”Linear Algebra and its Applications” in summer of 2004. Recently in the paper [6the authors formulated a conjecture which coincides with the statement proved in our Theorem 1.
ACKNOWLEDGEMENT. The authors are deeply grateful to Professor V.M. Kadets for valuable suggestions.
References

1. M. Aissen, A. Edrei, I.J. Schoenberg, A. Whitney, On the Generating Functions of Totally Positive Sequences, J. Anal. Math. 2 (1952), 93–109.
2. N. I. Akhiezer, The classical moment problem and some related questions in analysis, Translated by N. Kemmer, Hafner Publishing Co., New York, 1965.
3. T.Ando, Totally Positive Matrices, Linear Algebra Appl. 90 (1987), 165–219.
4. T.M. Bisgaard and Z. Sasvari, On the positive definiteness of certain functions, Math. Machr. 186 (1997), 81-99.
5. T. Craven and G. Csordas, A sufficient condition for strict total positivity of a matrix, Linear and Multilinear Algebra 45 (1998), 19–34.
6. D.K.Dimitrov, J.M.Pena, Almost strict total positivity and a class of Hurwitz polynomials, Journal of Approximation Theory 132 (2005), 212–223.
7. M. Fekete, G. Pólya, Über ein Problem von Laguerre, Rend. Circ. Mat. Palermo 34 (1912), 89–120.
8. H. Hamburger, Über eine Erweiterung des Stieltjesschen Momentenproblems Math. Ann.81 (1920); 82 (1921).
9. G. H. Hardy, On the zeros of a class of integral functions, Messenger of Math. 34 (1904), 97–101.
10. G. H. Hardy, Collected Papers of G. H. Hardy, vol. IV, Oxford Clarendon Press 1969.
11. J. I. Hutchinson, On a remarkable class of entire functions, Trans. Amer. Math. Soc. 25 (1923), 325–332.
12. S. Karlin, Total Positivity, Vol. I, Stanford University Press, California 1968.
13. O.M.Katkova, T.Lobova, A.M.Vishnyakova, On power series having sections with only real zeros, Computation Methods and Functional Theory, 3, No 2, (2003), 425–441.
14. B. Ja. Levin, Distribution of Zeros of Entire Functions, Transl. Math. Mono., 5, Amer. Math. Soc., Providence, RI, 1964; revised ed. 1980.
15. Petrovitch, Une classe remarquable de séries entiéres, Atti del IV Congresso Internationale dei Matematici, Rome, (Ser. 1) 2 (1908), 36–43.
16. D. Zwillinger, (Ed.), CRC standard Mathematical Tables and Formulae, Boca Raton, Fl:CRC Press, (1995)