Solving Non-Homogeneous Linear Systems with Eigenvector Expansions

In summary, the conversation discusses the analogy between decomposing a matrix into its eigenvector basis and a function into its eigenfunction basis. The completeness property of the eigenfunctions is also mentioned, along with the spectral theorem of linear algebra and the solution for the eigenvector expansion of a non-homogeneous linear system. The conversation also mentions the Green's function analog and its relation to SL operators.
  • #1
I<3NickTesla
12
0
In the picture attached I understand everything up to 1.12. I wrote "think of it like a matrix" at the time and that made sense but now I don't really get it. There's obviously an analogy between decomposing a matrix into its eigenvector basis and a function into its eigenfunction basis but I'm not really seeing it.Thanks.
 

Attachments

  • whatwhatwhat.jpg
    whatwhatwhat.jpg
    41.9 KB · Views: 474
Physics news on Phys.org
  • #2
Of course, there is an analogy: a matrix can be thought of as a linear map from a finite dimensional vector space to an other one. A linear operator is "the same", in the sense, that it is a map from an (infinite) vector space to an other one.

But this is not, what you need know. What you use in 1.12 is the so called completeness property of the eigenfunctions:

[tex]
\sum f(x) f(x')=\delta(x-x')
[/tex]
 
  • #3
Let [itex]A[/itex] be an [itex]N\times N[/itex] Hermitian matrix - that is [itex]A=A^\dagger[/itex]. Here [itex]\dagger[/itex] means conjugate transpose if [itex]A[/itex] is complex, and simply means transpose if A is real. By the spectral theorem of linear algebra, [itex]A[/itex] has a complete set of orthonormal eigenvectors, each of which satisfy [itex]A v_n = \lambda_n v_n[/itex]. The orthonormal means [itex](v_m, v_n) = \delta_{m,n}[/itex] where [itex](x, y)[/itex] is the inner product of two vectors x and y, and [itex]\delta_{m,n}[/itex] is one if m=n and zero otherwise. Since there are N orthornormal eigenvectors, they must span our N dimensional space, so any vector can be represented as a sum of the eigenvectors.

Now, consider
[tex]
A x = b
[/tex]
where we know [itex]b[/itex] but not [itex]x[/itex]. The idea is to expand both [itex]b[/itex] and [itex]x[/itex] in the eigenvectors,
[tex]
\begin{eqnarray}
x & = & \sum_{n=1}^N x_n v_n \\
b & = & \sum_{n=1}^N b_n v_n
\end{eqnarray}
[/tex]
From orthonormality, we can find the [itex]b_n[/itex] (these are just numbers)
[tex]
b_n = (v_n,b).
[/tex]
We can then solve for the [itex]x_n[/itex] as follows. We start with Ax=b, but substituting the series
[tex]
A \sum_{n=1}^N x_n v_n = \sum_{n=1}^N (v_n,b) v_n.
[/tex]
The left hand side is then,
[tex]
\begin{eqnarray}
A \sum_{n=1}^N x_n v_n & = & \sum_{n=1}^N x_n A v_n \\
& = & \sum_{n=1}^N x_n \lambda_n v_n
\end{eqnarray}
[/tex]
Ax=b can therefore be written,
[tex]
\sum_{n=1}^N x_n \lambda_n v_n = \sum_{n=1}^N (v_n,b) v_n
[/tex]
Take inner product with [itex]v_m[/itex] yields
[tex]
x_m \lambda_m = (v_m,b)
[/tex]
so
[tex]
x_m = \frac{(v_m,b)}{\lambda_m}.
[/tex]
The solution is therefore
[tex]
x = \sum_{n=1}^N \frac{v_n (v_n,b)}{\lambda_n}.
[/tex]
This is the eigenvector expansion solution of the non-homogeneous linear system. It is analogous to the eigenvector expansion solution to the non-homogeneous SL problem (note the SL operator is Hermitian).

We almost have the Green's function analog, too. Note that the normal inner product is [itex](x,y)=x^\dagger y[/itex], so we can write,
[tex]
\begin{eqnarray}
x & = & \sum_{n=1}^N \frac{v_n v_n^\dagger b}{\lambda_n} \\
& = & \left( \sum_{n=1}^N \frac{v_n v_n^\dagger }{\lambda_n} \right) b.
\end{eqnarray}
[/tex]
The final quantity in parentheses is a matrix that is analogous to green's functions for SL.

hope this helps!
 
  • #4
jasonRF said:
Let [itex]A[/itex] be an [itex]N\times N[/itex] Hermitian matrix - that is [itex]A=A^\dagger[/itex]. Here [itex]\dagger[/itex] means conjugate transpose if [itex]A[/itex] is complex, and simply means transpose if A is real. By the spectral theorem of linear algebra, [itex]A[/itex] has a complete set of orthonormal eigenvectors, each of which satisfy [itex]A v_n = \lambda_n v_n[/itex]. The orthonormal means [itex](v_m, v_n) = \delta_{m,n}[/itex] where [itex](x, y)[/itex] is the inner product of two vectors x and y, and [itex]\delta_{m,n}[/itex] is one if m=n and zero otherwise. Since there are N orthornormal eigenvectors, they must span our N dimensional space, so any vector can be represented as a sum of the eigenvectors.

Now, consider
[tex]
A x = b
[/tex]
where we know [itex]b[/itex] but not [itex]x[/itex]. The idea is to expand both [itex]b[/itex] and [itex]x[/itex] in the eigenvectors,
[tex]
\begin{eqnarray}
x & = & \sum_{n=1}^N x_n v_n \\
b & = & \sum_{n=1}^N b_n v_n
\end{eqnarray}
[/tex]
From orthonormality, we can find the [itex]b_n[/itex] (these are just numbers)
[tex]
b_n = (v_n,b).
[/tex]
We can then solve for the [itex]x_n[/itex] as follows. We start with Ax=b, but substituting the series
[tex]
A \sum_{n=1}^N x_n v_n = \sum_{n=1}^N (v_n,b) v_n.
[/tex]
The left hand side is then,
[tex]
\begin{eqnarray}
A \sum_{n=1}^N x_n v_n & = & \sum_{n=1}^N x_n A v_n \\
& = & \sum_{n=1}^N x_n \lambda_n v_n
\end{eqnarray}
[/tex]
Ax=b can therefore be written,
[tex]
\sum_{n=1}^N x_n \lambda_n v_n = \sum_{n=1}^N (v_n,b) v_n
[/tex]
Take inner product with [itex]v_m[/itex] yields
[tex]
x_m \lambda_m = (v_m,b)
[/tex]
so
[tex]
x_m = \frac{(v_m,b)}{\lambda_m}.
[/tex]
The solution is therefore
[tex]
x = \sum_{n=1}^N \frac{v_n (v_n,b)}{\lambda_n}.
[/tex]
This is the eigenvector expansion solution of the non-homogeneous linear system. It is analogous to the eigenvector expansion solution to the non-homogeneous SL problem (note the SL operator is Hermitian).

We almost have the Green's function analog, too. Note that the normal inner product is [itex](x,y)=x^\dagger y[/itex], so we can write,
[tex]
\begin{eqnarray}
x & = & \sum_{n=1}^N \frac{v_n v_n^\dagger b}{\lambda_n} \\
& = & \left( \sum_{n=1}^N \frac{v_n v_n^\dagger }{\lambda_n} \right) b.
\end{eqnarray}
[/tex]
The final quantity in parentheses is a matrix that is analogous to green's functions for SL.

hope this helps!

That helped, thanks
 

Similar threads

Back
Top