Linear Combinations of Eigenfunctions

Click For Summary

Homework Help Overview

The discussion revolves around the properties of eigenfunctions in quantum mechanics, specifically focusing on linear combinations of eigenfunctions of an operator. The original poster presents a problem involving two eigenfunctions, f(x) and g(x), of an operator Q, both associated with the same eigenvalue q, and seeks to demonstrate that any linear combination of these functions remains an eigenfunction of Q with the same eigenvalue.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss the setup of the problem, with some suggesting that the linearity of the operator Q is crucial to the proof. Others emphasize the need to manipulate the linear combination of the eigenfunctions to show that it satisfies the eigenvalue equation.

Discussion Status

The discussion is active, with participants providing insights into the proof structure and clarifying the assumptions regarding the linearity of the operator. There is an acknowledgment of the original poster's confusion, and several participants offer guidance on how to approach the problem without needing to prove the linearity of Q explicitly.

Contextual Notes

Some participants express uncertainty about the implications of the term "any linear combination" and whether it affects the approach to the proof. Additionally, there are discussions about the normalization of eigenfunctions and the conditions for orthogonality in related problems.

Rahmuss
Messages
222
Reaction score
0

Homework Statement


Suppose that [tex]f(x)[/tex] and [tex]g(x)[/tex] are two eigenfunctions of an operator [tex]Q^{\wedge}[/tex], with the same eigenvalue [tex]q[/tex]. Show that any linear combination of f and g is itself an eigenfunction of [tex]Q^{\wedge}[/tex], with eigenvalue [tex]q[/tex].

Homework Equations


I know that [tex]Q^{\wedge}f(x) = qf(x)[/tex] shows that [tex]f(x)[/tex] is an eigenfunction of [tex]Q^{\wedge}[/tex], with eigenvalue [tex]q[/tex]. (As stated in Intro to QM 2nd Edition by Griffiths).


The Attempt at a Solution


I'm really not sure how to set this up, and that's my main problem. I starting writing:

[tex]h(x) = \sum a_{n} [f_{n}(x) + g_{n}(x)][/tex]

[tex]Q^{\wedge}h(x) = qh(x)[/tex]

Here is about as far as I get because I'm not even sure I'm setting it up correctly, nor am I sure how I would begin to write out [tex]h(x)[/tex] in any kind of usable form for me to work with. I think it's mainly just a problem of setting it up. I can figure out where to lead it and how to do the basic math to manipulate it into what I want (I hope). I just can't figure out how to set it up. Any help would be appreciated.
 
Physics news on Phys.org
f and g are eigenfunctions of Q if Q(f)=q*f and Q(g)=q*g. You are now being asked to show if h=c1*f+c2*g, the Q(h)=q*h. I'm guessing you can assume Q is a linear operator.
 
The key to the proof is the fact that Q is a linear operator, for then Q(f + g) = Q(f) + Q(g). Just play with that, and you'll get your proof.
 
I think you miss the keyword "any linear combination of f and g ",
this means (like what Dick told you)

h=c1f +c2g

and the question ask you to prove that Qh=qh, so just by substituting the h and manipulate it to get qh, then you prove it.
 
Dick, Coco and cks - Thank you all very much. You all seem to agree. So this problem sounds much easier than I first thought. I think they should instead have worded it 'Show that a linear combination of f and g is itself an eigenfunction of Q, with eigenvalue q.' Instead of "any" linear combination. I was thinking of a way to show that it worked with h= c1f + c2g, AND with h = c3f + c4g + c5f + c6g or any kind of random f and g with a coefficient, and I wasn't sure how to set that up.

So, do I need to prove that [tex]Q^{\wedge}[/tex] is linear? If not, then is this all I need?:

Part A
Let [tex]h = f + g[/tex]. Show that [tex]Q^{\wedge}h(x) = qh(x)[/tex]. [tex]Q^{\wedge}h(x) = qh(x)[/tex] --> [tex]Q^{\wedge}[f(x) + g(x)] = q[f(x) + g(x)][/tex].

Part B
Then, as long as [tex]Q^{\wedge}[/tex] is a linear operator, then [tex]Q^{\wedge}f(x) + Q^{\wedge}g(x) = qf(x) + qg(x)[/tex].

Part C
And we know that [tex]Q^{\wedge}f(x) = qf(x)[/tex] and [tex]Q^{\wedge}g(x) = qg(x)[/tex].

Part D
So [tex]Q^{\wedge}[f(x) + g(x)] = g[f(x) + g(x)][/tex] --> [tex]Q^{\wedge}h(x) = qh(x)[/tex].

Does that work? Or do I need to show that [tex]Q^{\wedge}[/tex] is a linear operator? And if so, then how would I do that?
 
No need to show that Q is a linear operator. To show that, you would need to know what Q is. It is assumed in the quesiton.
 
Also, part b) (which also has to do with linear combinations of eigenfunctions) is now giving me problems.

Homework Statement


Check that [tex]f(x) = exp(x)[/tex] and [tex]g(x) = exp(-x)[/tex] are eigenfunctions of the operator [tex]\frac{d^{2}}{dx^{2}}[/tex], with the same eigenvalue. Construct two linear conbimations of [tex]f[/tex] and [tex]g[/tex] that are orthogonal eigenfunctions on the interval [tex](-1, 1)[/tex].

Homework Equations


[tex]Q^{\wedge}f(x) = qf(x)[/tex] (not given; but I use it when maybe I shouldn't).

The Attempt at a Solution


For the first part of the problem I've done:

[tex]\frac{d^{2}}{dx^{2}}exp(x) = \lambda exp(x)[/tex] and [tex]\frac{d^{2}}{dx^{2}}exp(-x) = \lambda exp(-x)[/tex]

--> [tex]exp(x) = \lambda exp(x)[/tex] and [tex]exp(-x) = \lambda exp(-x)[/tex]

Which only happens when [tex]\lambda = 1[/tex].

For the second part of the problem I'm thinking of something like [tex]h_1 = f_{n} + g_{m}[/tex] and [tex]h_2 = f_{x} + g_{y}[/tex] where [tex]n\neq m[/tex] and [tex]x\neq y[/tex]; but then I'm not sure what they mean about the interval [tex](-1, 1)[/tex].

Any thoughts?
 
The first part is fine. Let Q = d/dx^2 , and find that indeed, Q is a linear operator. The second part needs you to find two orthogonal eigenfunctions:

Orthogonality =>

[tex]\int_{-1}^{+1} [h_1(x)*h_2(x)] dx = 0[/tex]

where h_1 and h_2 are two functions that are linear combinations of f(x) and g(x).

The most general way to do this (IMO) is to start by defining two new functions, h_1 and h_2, as general linear combinations of f and g (i.e. use a, b, c, and d as coefficients.). Then proceed in the integration, and determine what coefficients you require such that the integral is zero.
 
Last edited:
Coto - Oh, ok, so again I mis-understood what was meant. The math usually isn't too big of a deal (although I sometimes have to look up info), it's really just understanding what in the world they're talking about. So here is my attempt:

Part A
Let [tex]h_{n} = Af + Bg[/tex] and [tex]h_{m} = Cf + Dg[/tex] where [tex]n \neq m[/tex] for orthogonality.

Part B
[tex]\int^{1}_{-1}h_{n}^{*} h_{m} dx = 0[/tex] --> [tex]\int^{1}_{-1}(Af + Bg)^{*} (Cf + Dg) dx = 0[/tex]

Part C
[tex]\int^{1}_{-1}Af^{*} Cf dx + \int^{1}_{-1}Bg^{*} Dg dx = 0[/tex] --> [tex]AC \int^{1}_{-1}f^{*} f dx + BD \int^{1}_{-1}g^{*} g dx = 0[/tex]

Part D
[tex]\int^{1}_{-1}f^{*} f dx = 1[/tex] and [tex]\int^{1}_{-1}g^{*} g dx = 1[/tex]

Part E
[tex]AC + BD = 0[/tex] Let [tex]AC = E[/tex] and [tex]BD = F[/tex] --> [tex]E = -F[/tex].
Which shows at least that the (new) coefficients are equal and opposite. Is that kind of what we're looking for?
 
Last edited:
  • #10
You have proved it right. but [tex]\int_{-1}^1 f*f dx[/tex] isn't 1 because it's not normalized yet.
 
  • #11
Just to add some light to your first part.

You can do it in a general way.

[tex]\frac{d^2\phi}{dx^2} = -k^2\phi[/tex]

with -k^2 as the eigenvalues.

[tex]\phi = Aexp(ikx) +Bexp(-ikx)[/tex]

by substituting k=i , you get the two eigenfunctions.

and -(i)^2 = 1 show that they have the same eigenvalues.
 
  • #12
cks - Oh, ok, right. So it should actually be:

[tex]AC \int ^{1}_{-1}f^{*} f dx = 1[/tex] and [tex]BD \int ^{1}_{-1}g^{*} g dx = 1[/tex].

Is that right? Wait, if so, then we end up with [tex]1 + 1 = 0[/tex]? I guess I'm really confused on this topic then. I'm not sure what's going on.
 
  • #13
From your first part, you have already shown that f=exp(x) and g=exp(-x)

[tex]\int_{-1}^1 f*f dx = \int_{-1}^1 exp(2x) dx = \frac{1}{2}[exp(2)-exp(-2)][/tex]

Similarly for

[tex]\int_{-1}^1 g*g dx=-\frac{1}{2}[exp(-2)-exp(2)][/tex]

Substitute to your derived equation

[tex]AC \int^{1}_{-1}f^{*} f dx + BD \int^{1}_{-1}g^{*} g dx +AD\int fg dx +BC\int gf dx= 0[/tex]

[tex]\frac{1}{2}(AC+BD)exp(2)-\frac{1}{2}(AC+BD)exp(-2) + 2(AD+BC)=0[/tex]

[tex](AC+BD)\frac{exp(2)-exp(-2)}{2} +2(AD+BC)=0[/tex]

EDIT: I MADE A MISTAKE AND IT'S CORRECTED NOW. [tex]\int fg dx[/tex] is not zero.
 
Last edited:
  • #14
I'm afraid I might make some mistakes. if other users see my mistakes, please correct me also.


I'm here to share what I know, I'm not here to teach.
 
  • #15
Why you say [tex]\int^{1}_{-1}f^{*} f dx = 1[/tex] and [tex]BD \int ^{1}_{-1}g^{*} g dx = 1[/tex]

are equal to one.?
 
  • #16
The normalized eigenfunction of f is not exp(x) but

[tex]\frac{exp(x)}{[\frac{1}{2}[exp(2)-exp(-2)]]^{1/2}}[/tex]

so if you integrate the square of the above function, then it's equal to one.
 
Last edited:
  • #17
The problem lies with your initial equations.

[tex]\int_{-1}^{+1} [(Af(x) + Bg(x))*(Cf(x) + Dg(x))] dx[/tex]

is what you're starting with. Now separating this out, you've assumed that f(x) and g(x) are orthogonal, so you've automatically set these integrals to zero, but this is not the case at all, in fact f*g = 1, and the integral of that between -1 and 1 is 2, not zero.

Start by solving the entire equation, plug in your f(x) and g(x), solve the integrals, and come up with a system of equations for your constants. Essentially you'll end up with 2 equations for 4 constants, however you'll notice that you only require one solution of the problem, i.e. any set of 4 constants that make the above integral zero will do. In the end you'll find that A = -B, and C=D are one such solution, and so using this, we find that:
h1(x) = A(f - g) and h2(x) = C(f + g)
are orthogonal on the interval -1 and 1.

EDIT: Also with what cks is saying. f*f, g*g are not normalized, nor are you seeking to normalize them.
 
Last edited:
  • #18
cks - I guess I was treating the first part (defing f and g) as separate from the second part (constructing two functions). The reason I set the integrals to 1 was because it seemed as if you were saying I needed to normalize them and to normalize them I set the integral WITH the coefficients this time, equal to 1. I guess that's not what you were trying to convey.

Coto - You're right. I was setting [tex]f g = 0 = g f[/tex]. My mistake. I take back what I said about knowing how to do math. :D Here is what I have so far:

[tex]\int^{1}_{-1} (Af + Bg)^{*} (Cf + Dg) dx = 0[/tex]

[tex]\int^{1}_{-1} AC(f^{*}f) + BC(g^{*}f) + AD(f^{*}g) + BD(g^{*}g) dx = 0[/tex]

[tex]AC\int^{1}_{-1} (f^{*}f) + BC\int^{1}_{-1} (g^{*}f) + AD\int^{1}_{-1} (f^{*}g) + BD\int^{1}_{-1} (g^{*}g) dx = 0[/tex]

[tex]BC\int^{1}_{-1} (g^{*}f) dx = 2BC[/tex] and [tex]AD\int^{1}_{-1} (f^{*}g) dx = 2AD[/tex]

[tex]\frac{AC}{2}\exp ^{2x}|^{1}_{-1} + \frac{-BD}{2}\exp ^{-2x}|^{1}_{-1} + 2BC + 2AD = 0[/tex]

[tex](AC + BD)(\frac{e^{2} - e^{-2}}{2}) + 2BC + 2AD = 0[/tex]

So now, which two equations should I have? Do you mean with the [tex]h_{m} = (Af + Bg)[/tex] and [tex]h_{n} = (Cf + Dg)[/tex]?
 
  • #19
Rahmuss, you have to do some of this problem alone, so you're on your own from here on out. You pretty much have the solution, just think about the problem. It is quite literally trivial from here to get your 2 equations that govern the coefficents (Grade 9 math?).
 
  • #20
Coto - I failed grade 9 math. :( JK. Ok, I'll try and get it from here. My homework is due tomorrow, so I'll be done then one way or another. :D

Thanks again for the help to you and everyone else.
 

Similar threads

Replies
46
Views
3K
Replies
6
Views
2K
Replies
7
Views
3K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
0
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
4
Views
3K
Replies
1
Views
2K
Replies
8
Views
2K