save old Section 1_6 retired 12_3_13 REVIEWED

Save old Section 1.6 retired today PhL 12.3.13 This is just an archive doc, no need to review. It had the same phase for all components which I decided later to fix up. In fact, various things were changed and I hope improved in the current 12/5 release of this section which is now installed in lines doc. 1.6 Reinterpretation of all equations in terms of complex functions It seemed useful to defer the topics of this section to avoid cluttering up the preceding five sections. The Fourier Transform has already been used in the previous two sections, and here we shall discuss it more formally as a motivating factor in changing our point of view from real to complex functions. The general nature of the Fourier transform of complex monochrome (ejωt) fields sets the stage for the analysis of the round wire in Section 2. (a) Complex Functions Up to this point, we have been regarding the following fields as representing real physical quantities, H(x,t) D(x,t) J(x,t) A(x,t) B(x,t) E(x,t) ρ(x,t) φ(x,t) (1.6.1) The fields and sources exist in the real physical world and are related by equations involving real operators like curl and ∂/∂t. We can represent such an equation as Lx,tf(x,t) = g(x,t) where Lx,t is some real differential operator and f and g are real fields ( g does not mean Green's function here). One can extend f and g such that f and g are either both the real or both the imaginary parts of complex functions F and G. Then the equation Lx,tF(x,t) = G(x,t) represents two distinct physical equations which we can write as Lx,tF(x,t) = G(x,t) => Lx,t[f(x,t) + jf'(x,t)] = [g(x,t) + jg'(x,t)] => Lx,t f(x,t) = g(x,t) F(x,t) = f(x,t) + jf'(x,t) Lx,t f'(x,t) = g'(x,t) G(x,t) = g(x,t) + jg'(x,t) . (1.6.2) It is convenient to regard all the mathematical fields listed above in (1.6.1) as complex fields like F and G. For example, we might write the Maxwell curl E equation (1.1.2) in this manner curl E(x,t) = - ∂B(x,t)/∂t E(x,t) = e(x,t) + j e'(x,t) B(x,t) = b(x,t) + j b'(x,t) . (1.6.3) The single left equation of (1.6.3) then represents these two different physical equations with real fields curl e(x,t) = - ∂b(x,t)/∂t curl e'(x,t) = - ∂b'(x,t)/∂t . (1.6.4) (b) Monochrome time The classic application of this idea is the assumption that some complex field is "monochrome" in its time dependence, meaning for example E(x,t) = ej[ωt+φ(x,ω)] e(x,ω1) = ejωt ejφ(x,ω) e(x,ω1) , (1.6.5) where e(x,ω1) is real. All time dependence is in the ejωt factor and all spatial dependence is in the factor [ejφ(x,ω)e(x,ω1)] -- separation of variables. This monochrome field might be regarded as a probe or driver of some system and the solution function e(x,ω1) and phase φ(x,ω1) might depend parametrically on the probe frequency ω1 as well as on position x, hence their explicit second arguments. For (1.6.5) the corresponding physical field assumption is either of these equations, e(x,t) = Re{ E(x,t)} = cos[ω1t + φ(x,ω1)] e(x,ω1) e'(x,t) = Im{ E(x,t)} = sin[ω1t + φ(x,ω1)] e(x,ω1) . (1.6.6) We stress again that the phase φ(x,ω1) might depend on both x and ω1. We shall see this situation arise in the next section when we consider fields inside a conducting round wire. A good prototype example for the ω1 dependence of phase φ(x,ω1) is a damped harmonic oscillator with resonant frequency ω0 which is driven at frequency ω1. The solution is: x(t) = x(0) sin[ω1t + φ(ω1)] tanφ(ω1) = -(ω1/τ)/(ω02- ω12) Of course the solution function x(t) is not a field over R3, so in this case the phase φ has no x dependence. (c) Why complex fields? The reason for using a complex field like E(x,t) instead of the real field e(x,t) has to do with the Fourier Transform (or the Laplace Transform). This transform is almost always needed to solve a non-trivial problem involving Maxwell's equations, and we saw it in action in Section 1.5. In our somewhat sloppy notation, and with the convention that the (1/2π) goes in the expansion formula along with e+jωt, we write this transform as : E(x,ω) = !Syntax Error, Idt E(x,t) e-jωt projection = transform (1.6.7) E(x,t) = (1/2π)!Syntax Error, Idω E(x,ω) e+jωt . expansion = inverse transform = recovery (1.6.8) Here E(x,t) is the original complex field whose real and imaginary parts are physical fields as in (1.6.3) or (1.6.6), while E(x,ω) is the Fourier Transform of E(x,t). Since E(x,ω) is a completely different complex function from E(x,t), one really should use some notation like E(x,ω) or E^(x,ω), but we trust the reader to make the distinction when the ω argument is present or in the general context of some discussion. As (1.6.7) shows, the dimensional units of the Fourier transform of some quantity have an extra sec factor. For example, since dim[E(x,t)] = volt/m, it follows that dim[E(x,ω)] = volt-sec/m. An obvious property of the Fourier Transform is this: ∂tE(x,t) = (1/2π)!Syntax Error, Idω E(x,ω) ∂t e+jωt = (1/2π)!Syntax Error, Idω [jω E(x,ω)] e+jωt which we can write as ( symbol ↔ means "corresponds to") E(x,t) ↔ E(x,ω) ∂tE(x,t) ↔ jω E(x,ω) (1.6.9) which is just another way to state our rule (1.5.2). In the case of assumed monochrome time dependence of the form (1.6.5) ( reflected in (1.6.6) ) one finds that E(x,t) = ej[ωt+φ(x,ω)] e(x,ω1) (1.6.5) E(x,ω) = !Syntax Error, Idt [ejωt ejφ(x,ω)e(x,ω1)] e-jωt = e(x,ω1) ejφ(x,ω) !Syntax Error, Idt ej(ω-ω)t = e(x,ω1) ejφ(x,ω) 2πδ(ω-ω1) . (1.6.10) It is this simple single-δ-function form that motivates the use of complex fields as carriers of the real physical fields. One can of course Fourier-transform the monochrome physical field directly, but the result is clumsy to deal with. For example, e(x,t) = cos[ω1t + φ1(x,ω1)] e(x,ω1) e(x,ω) = !Syntax Error, Idt { cos[ω1t + φ1(x,ω1)] e(x,ω1) }e-jωt = e(x,ω1) (1/2) !Syntax Error, Idt { ej[ωt+φ(x,ω)] + e-j[ωt+φ(x,ω)] } e-jωt = e(x,ω1) [ejφ(x,ω)πδ(ω-ω1) + e-jφ(x,ω)πδ(ω+ω1) ] . (1.6.11) A directly related benefit of using the complex function approach is the fact that math with exponentials is so much simpler than the corresponding math with trig functions, as for example ej(ωt+φ) e-j(ω't+φ') = ej(ω-ω')t ej(φ-φ') // dependence on t isolated to one factor cos(ωt+φ)cos(ω't+φ') = (1/2) { cos[ (ω-ω')t + (φ-φ')] + cos[ (ω+ω')t + (φ+φ')] } . (1.6.12) Another benefit of using the Fourier transform is its close connection with the Laplace Transform. Comment: Using the real cosine form shown as the first line of (1.6.6) along with the Fourier Cosine Transform is not viable because cos[ω1t + φ(x,ω1)] e(x,ω1) is not an even function of t. (d) Monochrome E and B fields One might seek to solve a system using monochrome fields of the form (1.6.5) for both the electric and magnetic fields. Those forms would be (e and b are real) E(x,t) = ej[ωt+φ(x,ω)] e(x,ω1) B(x,t) = ej[ωt+φ(x,ω)] b(x,ω1) (1.6.13) where we assume the same frequency ω1 for both fields, but allow the fields to have different phase functions φe and φb. In this case (1.6.10) becomes E(x,ω) = e(x,ω1) ejφ(x,ω) 2πδ(ω-ω1) B(x,ω) = b(x,ω1) ejφ(x,ω) 2πδ(ω-ω1) . (1.6.14) Suppose the directions of the E and B fields are e and b. Then (1.6.14) says En(x,ω) = en(x,ω1) ejφ(x,ω) 2πδ(ω-ω1) Bn(x,ω) = bn(x,ω1) ejφ(x,ω) 2πδ(ω-ω1) (1.6.15) and one finds that = ej[φ(x,ω)- φ(x,ω)] . (1.6.16) Since e and b are real, the phase of the ratio En/ Bn is determined by the last factor and will in general be a function of both position x and frequency ω1. Again, this type of result will appear in the round wire analysis of the next section. (e) A Pitfall to Avoid Notice that E(x,t) = e(x,t) + j e'(x,t) => E(x,ω) = !Syntax Error, Idt E(x,t) e-jωt = !Syntax Error, Idt [e(x,t) + j e'(x,t)] e-jωt = e(x,ω) + j e'(x,ω) . (1.6.17) Whereas e(x,t) and e'(x,t) are the real and imaginary parts of E(x,t), the functions e(x,ω) and e'(x,ω) are not the real and imaginary parts of E(x,ω) since in general e(x,ω) and e'(x,ω) are both complex functions. In this document we shall never deal with transforms of the type e(x,ω) or e'(x,ω). (f) Maxwell's Equations in ω space In the Maxwell and related equations which include the ∂t operator, if the fields are expanded onto their Fourier transformed components using (1.6.8), then using the rule (1.6.9) one may instantly write the frequency-domain version of these equations, just as in the example of Section 1.5. For example, curl H(x,ω) = jωD(x,ω) + J(x,ω) (1.6.18) curl E(x,ω) = -jωB(x,ω) (1.6.19) div J(x,ω) = -jω ρ(x,ω) . (1.6.20) Other equations in the Section 1.1 list have the same form but in terms of the frequency-domain functions. For example, J(x,ω) = σ(x) E(x,ω) (1.6.21) where we momentarily allow σ(x) to have spatial dependence but not time dependence.