next up previous
Next: Links to other work Up: A discrete Gelfand - Previous: The inverse evolution problem

A second order inverse evolution problem

Let T be as in the preceeding section, and let tex2html_wrap_inline805 be a solution to

  eqnarray248

We consider the inverse problem of recovering the diagonal matrix Q in tex2html_wrap_inline797 from

displaymath937

Again we put tex2html_wrap_inline819 with L from Theorem 2.1. We obtain

eqnarray254

With tex2html_wrap_inline943 the recursion can be written as

  equation259

We claim that for tex2html_wrap_inline827 and tex2html_wrap_inline947

  equation264

where

displaymath949

We prove (5.3) by induction with respect to k. The case k = 0 is obvious. Assume (5.3) to be correct up to some k with tex2html_wrap_inline835 . From (5.2) we get

displaymath959

Since S is tridiagonal, only components 1 through n-k of tex2html_wrap_inline843 enter tex2html_wrap_inline967 for i < n - k. Hence, by the induction hypothesis,

displaymath971

This is (5.3) with k replaced by k+1. Thus (5.3) is established.

We use (5.3) for i = 1 only, yielding for tex2html_wrap_inline979

displaymath981

Introducing the row vectors

displaymath983

we have

displaymath985

and, since S, tex2html_wrap_inline989 commute,

displaymath991

Thus tex2html_wrap_inline993 is the analogue to tex2html_wrap_inline995 with T replaced by tex2html_wrap_inline999 :

eqnarray309

This shows that the matrix tex2html_wrap_inline1001 is upper triangular with diagonal elements

displaymath1003

It follows that the systems

displaymath1005

where tex2html_wrap_inline1007 are uniquely solvable for tex2html_wrap_inline1009 provided that tex2html_wrap_inline619 , tex2html_wrap_inline647 .

Given that tex2html_wrap_inline1015 , we can determine the matrix tex2html_wrap_inline1017 from our data. The matrix tex2html_wrap_inline1019 is upper triangular with diagonal elements

displaymath1021

Thus computing L, U amounts to doing an LU-Decomposition on the matrix Z,

displaymath1031

with the diagonal of U being known. Once L, U are known, Q is computed very much in the same fashion as in the preceding section.



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