next up previous
Next: A second order inverse Up: A discrete Gelfand - Previous: The inverse eigenvalue problem

The inverse evolution problem

Now let tex2html_wrap_inline797 with tex2html_wrap_inline577 known and Q a diagonal matrix whose entries we denote by tex2html_wrap_inline803 . Let tex2html_wrap_inline805 be a solution to

  equation181

with tex2html_wrap_inline807 the first unit vector. We consider the inverse problem of recovering Q from

displaymath811

Again we make use of the transmutation L from Theorem 2.1. Multiplying (4.1) with E L we obtain from (2.1)

displaymath817

Thus the vectors tex2html_wrap_inline819 satisfy

  equation188

i.e. tex2html_wrap_inline821 in components tex2html_wrap_inline823 . Since tex2html_wrap_inline577 is tridiagonal we can show that for tex2html_wrap_inline827

  equation193

We use induction with respect to k. The case k = 0 is obvious. Assume that (4.3) is correct for some k with tex2html_wrap_inline835 . From (4.2) we get

displaymath837

For the evaluation of tex2html_wrap_inline839 , we need only the first n-k components of tex2html_wrap_inline843 since tex2html_wrap_inline577 is tridiagonal. Thus, by the induction hypothesis,

displaymath847

This is (4.3) for k+1. Hence (4.3) is established.

Since the first row of L is tex2html_wrap_inline853 we also have

displaymath855

This combines with (4.3) to yield, for tex2html_wrap_inline857 ,

displaymath859

Introducing the row vector

displaymath861

we have

  equation208

and

  equation212

With the (n,n)-matrices

displaymath865

(4.4) simply reads

displaymath867

Note that tex2html_wrap_inline869 is upper triangular with diagonal elements

displaymath871

Thus tex2html_wrap_inline869 is invertible provided that tex2html_wrap_inline619 , tex2html_wrap_inline877 . Hence

displaymath879

which determines Z by the data.

The relations tex2html_wrap_inline819 can be written as

displaymath885

We finally obtain

displaymath887

Since T is tridiagonal and tex2html_wrap_inline891 , U is upper triangular, its diagonal entries being

displaymath895

Thus L, U can be determined simply by doing an L U-decomposition on the matrix tex2html_wrap_inline903 , with the diagonal of U being known.

Once L, U are known there is a variety of ways to find Q. For instance we can compute tex2html_wrap_inline913 from tex2html_wrap_inline915 and

displaymath917

which is (4.4) for tex2html_wrap_inline919 . Then,

displaymath921

from which tex2html_wrap_inline923 can be computed recursively since tex2html_wrap_inline925 , tex2html_wrap_inline927 . This solves the inverse evolution problem.


next up previous
Next: A second order inverse Up: A discrete Gelfand - Previous: The inverse eigenvalue problem

Frank Wuebbeling
Fri Oct 9 14:01:16 MET DST 1998