Intriguing Determinant

Geometry Level 5

Let A n = ( a i j ) A_n=(a_{ij}) be the n × n n\times n matrix with a i i = 2 cos ( π 180 ) a_{ii}=2\cos\left(\dfrac\pi{180}\right) , a i j = 1 a_{ij}=1 if i j = 1 |i-j|=1 and a i j = 0 a_{ij}=0 otherwise, for all n n . Find the maximal value of det ( A n ) \det(A_n) , for all positive integers n n .

Does not exist csc ( 1 ) \csc(1^\circ) e 4 e^4 cot ( 1 ) \cot(1^\circ) 4 ! 4! π 4 \pi^4

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Mar 11, 2016

"Intriguing" = "Chebyshev", it seems!

If B n ( λ ) B_n(\lambda) is the determinant of the n × n n\times n tridiagonal matrix whose elements are λ \lambda down the main diagonal, 1 1 down the adjacent diagonals, and 0 0 elsewhere, so that in this question we have d e t A n = B n ( 2 cos π 180 ) \mathrm{det}\,A_n \,=\, B_n\big(2\cos\tfrac{\pi}{180}\big) then standard determinant work tells us that B n + 1 ( λ ) = λ B n ( λ ) B n 1 ( λ ) , n 2 . B_{n+1}(\lambda) \; = \; \lambda B_n(\lambda) - B_{n-1}(\lambda) \;, \qquad n \ge 2 \;. This formula holds for all n 1 n \ge 1 if we put B 0 ( λ ) = 1 B_0(\lambda) = 1 and B 1 ( λ ) = λ B_1(\lambda) = \lambda .

When λ = 2 cos θ \lambda = 2\cos\theta we deduce that B n ( λ ) = B n ( 2 cos θ ) = sin ( n + 1 ) θ sin θ , n 0 , B_n(\lambda) \; = \; B_n\big(2\cos\theta\big) \; = \; \frac{\sin(n+1)\theta}{\sin\theta} \;, \qquad n \ge 0 \;, so that B n ( λ ) = U n ( cos θ ) B_n(\lambda) = U_n(\cos\theta) can be written in terms of the Chebyshev polynomials of the second kind. Thus d e t A n = B n ( 2 cos π 180 ) = sin ( n + 1 ) π 180 sin π 180 , n 0 , \mathrm{det}\,A_n \; = \; B_n\big(2\cos\tfrac{\pi}{180}\big) \; = \; \frac{\sin \tfrac{(n+1)\pi}{180}}{\sin \tfrac{\pi}{180}} \;, \qquad n \ge 0 \;, and so the maximum value of d e t A n \mathrm{det}\,A_n is c o s e c π 180 = c o s e c 1 \mathrm{cosec}\,\tfrac{\pi}{180} \,=\, \boxed{\mathrm{cosec}\,1^\circ} .

Yes, exactly (+1)... see formulas 19 and 22 here

"Intriguing" was supposed to be a lame pun on "trig", but you are right, I'm intrigued by Chebyshev. (For one thing, he had a very cool first name, Пафну́тий) ;)

Otto Bretscher - 5 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...