Super determinant

Algebra Level 4

A sequence of functions ( f n ) (f_n) is defined by f 1 ( x ) = 1 f_1(x)=1 for any real number x x , and f n + 1 ( x ) = x f n ( x 1 ) f_{n+1}(x)=x*f_n(x-1) for any natural number n 1 n\geq 1 and any real number x x . Let us defined the matrix A ( x ) A(x) as ( f i ( x + j 1 ) ) 1 i 2018 , 1 j 2018 . (f_i(x+j-1))_{1\leq i \leq 2018, 1\leq j \leq 2018}. Find the number of real zeros of the equation d ( x ) = 0 , d(x)=0, where d ( x ) d(x) represents the determinant of A ( x ) A(x) .


The answer is 0.

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

Arturo Presa
Oct 28, 2018

It can be proved that d ( x ) d(x) is a constant function, such that its constant value is always different from 0. Therefore the number of real zeros is zero.

To prove that d ( x ) d(x) is a constant function, we can prove a more general result. We can prove that for any set of polynomials f 1 , f 2 , . . . f n f_1, f_2, ...f_n , such that the degree of f k f_k is equal to k 1 k-1 , for all k k in the set { 1 , 2 , . . . , n } , \{1,2, ..., n\}, the determinant D ( x ) D(x) of the matrix ( f i ( x + j 1 ) ) 1 i n , 1 j n (f_i(x+j-1))_{1\leq i \leq n,\:1\leq j \leq n} is always constant. To prove it, we just have to prove that D ( x ) = 0 D'(x)=0 . This can be done in the following way. First, we need to notice that the derivative of D ( x ) D(x) will be a sum of n n determinants, where the determinant number k k in the sum is the determinant of the matrix that is obtained replacing in the original matrix the k k th- row by f k ( x ) , f k ( x + 1 ) , . . . f k ( x + n 1 ) . f'_k(x), f'_k(x+1), ...f'_k(x+n-1). Since the degree of f k ( x ) f'_k(x) is k 2 , k-2, and { f 1 , f 2 , f 3 , . . . , f k 1 } \{f_1, f_2, f_3,..., f_{k-1}\} is a base of the vector space of all polynomials of degree k 2 , k-2, then there are certain real numbers c 1 , c 2 , . . . , c k 1 , c_1, c_2, ..., c_{k-1}, such that f k ( x ) = i = 1 k 1 c i f i ( x ) . f'_k(x)=\sum_{i=1}^{k-1}{c_i f_i(x)}. Then f k ( x + j 1 ) = i = 1 k 1 c i f i ( x + j 1 ) , f'_k(x+j-1)=\sum_{i=1}^{k-1}{c_i f_i(x+j-1)}, for all j j such that 1 j n 1\leq j \leq n . This implies that the k k -th row of this determinant is a linear combination of the previous k 1 k-1 rows and that is why that determinant is zero. Since this can be proved for any of the determinant of the sum, then D ( x ) = 0 D'(x)=0 for all x . x. In a similar way, it can be proved that d ( x ) d(x) is constant, and you can find its value evaluating at a particular value of x x . For example, evaluating at x = 0 x=0 . When we do this, we obtain a triangular determinant whose entries below the main diagonal are all zeros and whose entries corresponding to the main diagonal are 0 ! , 1 ! , 2 ! , . . . , ( n 1 ) ! 0!, 1!, 2!, ..., (n-1)! , where n = 2018. n=2018. So, the constant value of d ( x ) d(x) is 0 ! 1 ! 2 ! . . . ( 2017 ) ! , 0!* 1!* 2!* ...* (2017)!, which is different from zero.

I believe this is a Vandermonde determinant, which comes out to be the product of all ( x + q ) ( x + p ) (x+q)-(x+p) for 0 p < q 2017 0\leq p <q \leq 2017 , a positive constant.

Otto Bretscher - 2 years, 7 months ago

Log in to reply

I agree with you Otto. I was telling you before that I used a different approach: to prove that the derivative of the d ( x ) d(x) is equal to zero for any value of x , x, and the value of the determinant can be found evaluating at convenient value of x x .

Arturo Presa - 2 years, 7 months ago

Log in to reply

A very charming and enlightening problem; thank you for sharing!

Otto Bretscher - 2 years, 7 months ago

Log in to reply

@Otto Bretscher Thank you!

Arturo Presa - 2 years, 7 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...