错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On some determinants involving the tangent function

  • Zhi-Wei Sun

摘要

Let p be an odd prime and let \(a,b\in {\mathbb {Z}}\) a , b Z with \(p\not \mid ab\) p a b . In this paper,we mainly evaluate \(\begin{aligned} T_p^{(\delta )}(a,b,x):=\det \left[ x+\tan \pi \frac{aj^2+bk^2}{p}\right] _{\delta \leqslant j,k\leqslant (p-1)/2}\ \ (\delta =0,1). \end{aligned}\) T p ( δ ) ( a , b , x ) : = det x + tan π a j 2 + b k 2 p δ j , k ( p - 1 ) / 2 ( δ = 0 , 1 ) . For example, in the case \(p\equiv 3\ ({\textrm{mod}}\ 4)\) p 3 ( mod 4 ) , we show that \(T_p^{(1)}(a,b,0)=0\) T p ( 1 ) ( a , b , 0 ) = 0 and \(\begin{aligned} T_p^{(0)}(a,b,x)={\left\{ \begin{array}{ll} 2^{(p-1)/2}p^{(p+1)/4}&{}\text {if}\ (\frac{ab}{p})=1, \\ p^{(p+1)/4}&{}\text {if}\ (\frac{ab}{p})=-1,\end{array}\right. } \end{aligned}\) T p ( 0 ) ( a , b , x ) = 2 ( p - 1 ) / 2 p ( p + 1 ) / 4 if ( ab p ) = 1 , p ( p + 1 ) / 4 if ( ab p ) = - 1 , where \((\frac{\cdot }{p})\) ( · p ) is the Legendre symbol. When \((\frac{-ab}{p})=-1\) ( - a b p ) = - 1 , we also evaluate the determinant \(\det [x+\cot \pi \frac{aj^2+bk^2}{p}]_{1\leqslant j,k\leqslant (p-1)/2}.\) det [ x + cot π a j 2 + b k 2 p ] 1 j , k ( p - 1 ) / 2 . In addition, we pose several conjectures one of which states that for any prime \(p\equiv 3\ ({\textrm{mod}}\ 4)\) p 3 ( mod 4 ) , there is an integer \(x_p\equiv 1\ ({\textrm{mod}}\ p)\) x p 1 ( mod p ) such that \(\begin{aligned}\det \left[ \sec 2\pi \frac{(j-k)^2}{p}\right] _{0\leqslant j,k\leqslant p-1}=-p^{(p+3)/2}x_p^2.\end{aligned}\) det sec 2 π ( j - k ) 2 p 0 j , k p - 1 = - p ( p + 3 ) / 2 x p 2 .