Register to reply 
Wrong proof in textbook of optics? 
Share this thread: 
#1
Feb1013, 07:22 PM

P: 94

In textbook on optics by Pedrotti (and I think Fowles does the same) on page 493 it is said that:
kr=k_{r}r=k_{t}r from which follows (kk_{r})r=(kk_{t})r=(k_{r}k_{t})r=0, where k, k_{r} and k_{t} are wave vectors of incident, reflected and transmitted wave. Than Pedrotti concludes that k_{r} and k_{t} must lie in a plane determined by k and r. Must they? Take, for example this: k=(1,0,1), r=(1,0,0), k_{r}=(1,5,3), k_{t}=(1,2,1). If we put this vectors in the equation above, we will get 0, but k_{r} and k_{t} don't lie in the plane determined by k and r, which is y=0 plane. So I conclude that Pedrotti is wrong. Am I right or wrong to conclude that? If wrong, why? 


#2
Feb1013, 09:01 PM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,482

I think you may have missed part of the proof out though... merely showing that three vectors have the same extent against a fourth vector does not show that they are all coplanar. All you have to do is rotate one of the first three about the fourth to see this. 


#3
Feb1013, 09:18 PM

P: 94

Well, I think Pedrotti takes only the equations I have written in his argument (Introduction to Optics, third edition, page 493). And what does that mean three vectors to have the same extent against fourth vector? How rotation helps in proving coplanarity? 


#4
Feb1113, 12:13 AM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,482

Wrong proof in textbook of optics?
This sort of setup is normally used when you want to invoke the principle of least time. 


#5
Feb1113, 09:24 AM

P: 94




#6
Feb1113, 09:43 AM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,482

From that  what is the first relation in post #1 telling you? 


#7
Feb1113, 11:16 AM

P: 94

The first relation is telling me that projection of k on r are equal in magnitude.
Yes, from laws of reflection and transmission it follows they are coplanar, but now I want (and Pedrotti wants) to prove that. It is something should be proved. I don't know what r should be in order other vectors to lie in the plane defined by k and r, but it is irrelevant, since origin can be always taken arbitrary. 


#8
Feb1113, 02:25 PM

P: 94

I checked "Principles of Optics" by Born, who says that all wave vectors lie in the plane specified by incident wave vector and vector normal to the boundary, not the position vector. After some consideration I found this true. So, proof by Pedrotti is incorrect.



#9
Feb1113, 02:41 PM

Mentor
P: 11,630

I'm looking at a copy of Pedrotti right now.
We're talking about plane waves here, so ##\vec k##, ##\vec k_r## and ##\vec k_t## must each be the same everywhere on the interface surface (the xy plane in Pedrotti's Figure 231). Equations (236) and (237) have to be true not only for ##\vec r = (1,0,0)## which fits Figure 23.1, but also for ##\vec r = (0,1,0)## and ##\vec r = (1,1,0)## and indeed for any ##\vec r## that has z = 0. I haven't thought through the logic, but I suspect this is the "missing link" in Pedrotti's argument. 


#10
Feb1113, 02:47 PM

P: 94




#11
Feb1113, 02:58 PM

Mentor
P: 11,630

I think it's possible to make the origin completely general, at the cost of introducing another vector. 


#12
Feb1113, 03:04 PM

P: 94

Even if r lies on the boundary, what if k has also y component? Than the argument again will not be correct.



#13
Feb1113, 03:14 PM

P: 94

Pedrotti says that the plane of incidence is xz plane. With this constraints, his conclusion is right, yes. But this is not the most general case. In the most general case his conclusion is wrong.



#14
Feb1113, 10:35 PM

Homework
Sci Advisor
HW Helper
Thanks
P: 12,482

It may be interesting to see if the "error" is in the 2nd ed. Usually, when something looks like it is missing in the math, it is implied somewhere in the text ... maybe by context. I'm not looking at it  maybe jtbell can see what it could be? If you feel confident this is a genuine problem with the text, you could try writing the publisher about it (after checking to see if there is a 4th edition). 


#15
Feb1213, 02:49 PM

Mentor
P: 11,630

I think that derivation actually is somewhat "fishy." I remember having similar problems with other derivations in Pedrotti when I taught optics from it. In this case, I see the fundamental problem as this:
At each point on the boundary, the phases of the three waves (incident, reflected and transmitted) must be equal. That phase is different at different points on the boundary. Considering only the incident and transmitted wave for simplicity, the basic condition is that ##\phi = \phi_t## at a given location ##\vec r##. This does not mean that we can say (as Pedrotti does) that (at t = 0) ##\vec k \cdot \vec r = \vec k_t \cdot \vec r##. Each wave has, in general, an initial phase, i.e. the phase at the origin (##\vec r = 0##) at t = 0. So we have instead, ##\vec k \cdot \vec r + \phi_0 = \vec k_t \cdot \vec r + \phi_{0t}##. Not only is the initial phase different for the two waves, it also depends on the origin of your coordinate system, which is where ##\vec r## starts. If you move the origin, the phase of a wave (##\phi = \vec k \cdot \vec r + \phi_0##) at a given point on the boundary doesn't change, but ##\vec r## changes, so ##\phi_0## must also change in order to keep ##\phi## constant. 


#16
Feb1313, 12:55 PM

P: 94

I sent a mail to one of the authors of the book. He was thankful and said that he would add this to his list of needed corrections.
As I said, Born (in his book "Principles of Optics") has different thoughts about the question in which plane the wave vectors must lie. It can be that both are correct. 


#17
Feb1313, 09:00 PM

Mentor
P: 11,630

$$(\vec k  \vec k_t) \cdot \vec r = \phi_{0t}  \phi_0$$ Note the right side is a constant, for a given choice of origin. Hecht reminded me that in general, if ##\vec a \cdot \vec r = b## where ##\vec a## is a constant vector and b is a constant scalar, then the allowed values of ##\vec r## define a plane normal (perpendicular) to ##\vec a##. In our case, this plane is the reflection/refraction boundary. Therefore, the equation above tells us that ##\vec k  \vec k_t## is normal to the boundary. The three vectors ##\vec k##, ##\vec k_t## and ##\vec k  \vec k_t## form a vectoraddition triangle, therefore they lie in the same plane, namely the plane of incidence, which is defined by ##\vec k## and the normal to the boundary. We can make the same argument for ##\vec k## and ##\vec k_r##. Therefore all three vectors ##\vec k##, ##\vec k_t## and ##\vec k_r## lie in the same plane. Pedrotti chooses the origin of ##\vec r## to lie in the boundary plane, which makes ##\phi_{0t}  \phi_0 = 0## in the equation above. This is a special case of Hecht's more general argument. In fact, Hecht goes on to assume this for simplicity in his further derivation of Fresnel's equations for reflection and refraction. 


Register to reply 
Related Discussions  
Recommended Semiconductor Optics Textbook  Science & Math Textbooks  0  
Textbook answer is wrong?  Introductory Physics Homework  7  
I think the answer in my textbook may be wrong...  Introductory Physics Homework  0  
Undergrad textbook for optics  Science & Math Textbooks  1  
Is the textbook wrong or am I?  Introductory Physics Homework  5 