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: 449
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
 

What is an eigenfunction expansion?

An eigenfunction expansion is a mathematical technique used to represent a function as a linear combination of eigenfunctions of a certain operator. This is often used in physics and engineering to solve differential equations and other problems involving functions.

What are eigenfunctions?

Eigenfunctions are special types of functions that do not change when acted upon by a certain operator. In other words, when an operator is applied to an eigenfunction, the resulting function is simply a scaled version of the original eigenfunction.

How are eigenfunction expansions used in solving problems?

Eigenfunction expansions are used to simplify complex problems by breaking down a function into simpler, easier-to-manipulate components. This allows for the use of known solutions to the simpler components to find a solution to the original problem.

What are some examples of problems that can be solved using eigenfunction expansions?

Eigenfunction expansions are commonly used in solving problems involving waves, such as those in acoustics, electromagnetics, and quantum mechanics. They are also useful in solving problems involving heat transfer and diffusion.

What are the limitations of eigenfunction expansions?

One limitation of eigenfunction expansions is that they can only be used for linear problems, where the function being solved for is directly proportional to its inputs. They also require knowledge of the eigenfunctions and eigenvalues of the operator, which may not always be readily available.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
531
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
  • Linear and Abstract Algebra
Replies
9
Views
210
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Special and General Relativity
2
Replies
35
Views
3K
  • Precalculus Mathematics Homework Help
Replies
1
Views
542
  • Differential Equations
Replies
7
Views
2K
  • Differential Equations
Replies
3
Views
2K
  • MATLAB, Maple, Mathematica, LaTeX
Replies
6
Views
2K
Back
Top