I'm doing a research on matrix integrators and I ran into a problem in one particular case. To finish my proof the last thing remaining is to prove the nonsingularity of a specific matrix Mn:(mij=1ai−aj,1≤i≤n,1≤j≤n,i≠j;mii=cai−b+∑k≠i,1≤k≤n1ai−ak),
where all ai,b are distinct.
To be more clear I provide M2=(ca1−b+1a1−a21a1−a21a2−a1ca2−b+1a2−a1)
M3=(ca1−b+1a1−a2+1a1−a31a1−a21a1−a31a2−a1ca2−b+1a2−a1+1a2−a31a2−a31a3−a11a3−a2ca3−b+1a3−a1+1a3−a2)
For n≤7 I calculated the det(Mn)=c(c+1)...(c+n−1)∏1≤i≤n(ai−b), but I have no idea how to prove this in general case.
I my particular case c∈N, so this formula will prove the nonsingularity of Mn.
Any ideas and tips to prove the formula, or even to prove nonsingularity of Mn in some other way - are very appreciated
Answer
The answer is a development of ideas from the comments of amsmath. The decisive step forward is derivation of the equation (7) below.
Given a set of n pairs of complex numbers
{(x1,y2),(x2,y2),…,(xn,yn)} such that
∀i≠j:xi≠xj,
define its interpolating polynomial as
y(x)=∑iyi∏k≠ix−xkxi−xk.
Differentiating the expression over x and evaluating the result at xi one obtains:
y′i≡y′(xi)=∑j≠i1xi−xj[yi−yj∏k≠(i,j)xi−xkxj−xk].
or
y′i∏k≠ixi−xk=∑j≠i1xi−xj[yi∏k≠ixi−xk+yj∏k≠jxj−xk].
Introducing fi=yi∏k≠ixi−xk, f′i=y′i∏k≠ixi−xk the equation (2a) can be rewritten in matrix notation as:
(∑i≠11x1−xi1x1−x2⋯1x1−xn1x2−x1∑i≠21x2−xi⋯1x2−xn⋮⋮⋱⋮1xn−x11xn−x2⋯∑i≠n1xn−xi)(∑i≠11x1−xif1∑i≠11x1−xif2⋮∑i≠11x1−xifn)=(∑i≠11x1−xif′1∑i≠11x1−xif′2⋮∑i≠11x1−xif′n).
or
Af=f′.
Assume now a special form of the interpolating polynomial:
$$
y_l(x)=(\lambda x+\beta)^l,\quad
\beta,\lambda\in\mathbb C,\,\lambda\ne 0;\; l\in\mathbb Z,\,0\le l
with corresponding f-vector components
fli=(λxi+β)l∏k≠ixi−xk,f′li=λl(λxi+β)l−1∏k≠ixi−xk.
Substituting the vectors fl and f′l into (4) and multiplying both sides of the resulting equation from the left by diagonal matrix D with elements
Dii=λxi+β,
one obtains:
DAfl=λlfl.
From this one concludes that fl are the eigenvectors of the matrix DA with corresponding eigenvalues ϵl=λl. Observe that we have found all n (distinct) eigenvalues of the matrix.
Since the determinant of the matrix DA+Iz is characteristic polynomial of the matrix −DA, one obtains:
det
It remains only to observe that A+D^{-1}z with \lambda=1, \beta=-b, z=c, x_i=a_i is exactly your matrix M.
No comments:
Post a Comment