Professional Documents
Culture Documents
4.4
Maxwells Equations
In this subsection we derive Maxwells equations using the theorems of vector calculus.
4.4.1
Gauss Law
The electrostatic force field at ~x0 due to a charge Q at position ~xQ is,
~ x0 ) = Q ~x0 ~xQ .
E(~
40 k~x0 ~xQ k2
Note that 0 is the permittivity of free space. Building on this formula we can determine the
electrostatic force field at ~x0 due to a cluster of point charges of strength Qi each at position ~xi is
simply a sum of the previous formula:
~ x0 ) =
E(~
n
1 X
~x0 ~xi
Qi
.
40 i=1 k~x0 ~xi k2
By the same token, the electrostatic force field at ~x0 due to a continuous charge (~x) in a volume
V is the following integral
ZZZ
1
~x0 ~xi
~ x0 ) =
E(~
dV.
(~x)
40
k~x0 ~xi k2
V
~ x), is parallel to the direction of the current and has a
The current density vector field, J(~
magnitude of current/unit area. Using the relation J~ = ~u the total current through the surface
is,
ZZ
ZZ
~u n
d.
J~ n
d =
I=
RRR
V
As true as this might be it is hard to determine the force given the charge because this is a global relation.
To get a local, or differential, relation, we rewrite the LHS using the divergence theorem, combine the two
integrals and use our lemma,
ZZZ
ZZZ
1
~ E
~ dV =
dV,
0
V
V
ZZZ
1
~ E
~ dV = 0,
0
V
~ E
~ = .
0
This is what we call Maxwells First Equation.
73
4.4.2
Faradays Law
~ around a simple closed curve equals the negaPhysically, this states that the circulation of E
tive of the rate of change of the magnetic flux through the surface bounded by .
Mathematically, this can be written using a line integral and a surface integral and then simplified using Stokes theorem:
I
ZZ
d
~
~ n
E d~x =
B
d,
dt
ZZ
ZZ
~
B
~
~
n
d,
En
d =
t
#
ZZ "
~
B
~ E
~+
n
d = 0,
~
~ E
~ = B .
t
This is Maxwells second law.
4.4.3
Physically, there are no magnetic monopoles because wherever you have a North there must be
a corresponding South. This can be demonstrated when you take a magnet and break it and
youll find that each piece has a corresponding North and South.
This can be restated to say that the net flux of a magnetic field through any surface is zero.
Mathematically, this is easily stated as,
ZZ
~ n
B
d = 0.
V
Amp`eres Law
Physically, it states that the circulation of the magnetic field around a simple closed curve
equals the rate of change of the electric flux through a surface plus the total current through
said surface.
Mathematically, this can be written as,
I
ZZ
ZZ
d
~
~
B d~x = 0 0
En
d + 0
J~ n
d.
dt
74
ZZ
~
E
~ B
~ n
d 0 0
n
d 0
J~ n
d = 0,
t
#
Z Z "
~
E
~ B
~ 0 0
0 J~ n
d = 0,
~
~
~ B
~ = 0 0 E + 0 J.
t
ZZ
75
November 5, 2014
We can determine the coefficients using the dot product to project onto each basis vector,
!
n
X
~x ej =
ai ei ej = aj ej ej .
i=1
~x ej
.
ej ej
aj =
5.1
Fourier Series
The set of functions f (x) : R R form an infinite dimensional vector space. As with finite
dimensional vector spaces, we can find a complete orthogonal (orthonormal) basis for this space,
which is also not unique.
One set of basis functions are {xm } for m = 0, 1, 2, 3, . If we express f (x) as a superposition
we get a Taylor series,
X
am xm .
f (x) =
m=0
However, these basis functions are not orthogonal and that makes things a bit harder.
Instead, we will consider f (x) defined on a finite interval say [, ] then a set of basis functions can be formed using trigonometric functions,
{cos nx, sin nx} ,
n = 0, 1, 2, .
Note that sin 0 = 0 which does not contribute anything and therefore does not need to be included. Also, cos 0 = 1, is just the constant function.
We will see soon that it is possible to express many functions as,
f (x) =
n=0
Or we could pull out the constant term and neglect the zero term to get
X
1
f (x) = a0 +
(an cos nx + bn sin nx) .
2
n=1
76
Note that in these two equations a0 is defined differently. The course notes use the second equation and so will we.
Why do we have the factor of 12 in front of a0 ? Believe it or not but it is to make our lives
easier, eventually.
Definition 5.1 A Fourier Series of a function f (x) is a series of the form,
X
1
f (x) = a0 +
(an cos nx + bn sin nx) .
2
n=1
7x
.
L
x
1 1
2x
= + cos ,
L
2 2
L
where we rewrite it as a Fourier Series using a double angle formula. All the coefficients are zero
except a0 = 1 and a2 = 12 .
A third example is,
x
sin4 .
L
This is not written in our standard form but we can use a double angle formula twice if we
wanted to. This works for certain cases but we need to find an approach that works for all
functions. We do this by defining an inner product, the analogue of the dot product, but for
functions.
5.1.1
Definition 5.3 The inner product of two functions f (x), g(x) on the interval [, ] is,
Z
hf, gi =
f (x)g(x) dx.
Definition 5.4 We say that two functions f (x), g(x) are orthogonal on the interval [, ] if,
Z
hf, gi =
f (x)g(x) dx = 0.
77
Definition 5.5 The norm of a function f (x) on the interval [, ] can be defined in terms of the inner
product,
Z
f 2 (x) dx.
kf k = hf, f i =
To find our coefficients we can use the inner product to project onto each function. This can
be done using the following identities that are easy enough to verify,
Z
0 m 6= 0
hcos mx, cos nxi =
cos mx cos nx dx =
L m=n=0
2L m = n = 0,
Z
hcos mx, sin nxi =
cos mx sin nx dx = 0,
Z
0 m 6= 0
sin mx sin nx dx =
hsin mx, sin nxi =
L m = n = 0.
If we say that the orthogonal basis is denoted with en (x) for m = 0, 1, 2, then our series
representation of f (x) is,
X
an en (x).
f (x) =
n=0
As in linear algebra, to find the coefficients an we must project on to each basis vector. This is
done using the inner product,
X
an en , em i,
hf (x), em i = h
n=0
an hen , em i,
n=0
= am hem , em i,
after using the orthogonality. Therefore, the m-th coefficient is,
am =
hf, em i
.
hem , em i
This is the general form but this must be done for each basis vector.
For the Fourier basis mentioned above, using the orthogonality we find,
hf, 21 i
a0 = 1 1 ,
h2, 2i
R
f (x) 21 dx
= R 1 1 ,
dx
2
Z 2
1
=
f (x) dx.
78
hf, cos(mx)i
,
hcos2 (mx)i
R
f (x) cos(mx) dx
R
=
,
cos2 (mx) dx
Z
1
=
f (x) cos(mx) dx.
am =
hf, sin(mx)i
,
hsin2 (mx)i
R
f (x) sin(mx) dx
R
=
,
sin2 (mx) dx
Z
1
f (x) sin(mx) dx.
=
bm =
November 7, 2014
5.1.2
4 X sin(2n 1)x
.
n=1 (2n 1)
Here we consider how the series converges to the function in question. First we need some
definitions.
79
Definition 5.7 A function f : [a, b] R is piecewise continuous (or C 1 ) means that there is a partition,
a = x0 < x1 < x2 < < xn = b,
such that f is continuous (or C 1 ) on each closed interval xi1 x xi for all i.
Definition 5.8 Given a function f : [, ] R, a period 2 extension of f , denoted by fp , is a function
of period 2 such that fn (x) = f (x) on < x < .
Theorem 5.9 Pointwise Convergence
If fp has period 2 and is piecewise-C 1 the the Fourier Series of fp converges point wise (i.e. for each x)
and
i) If fp is continuous at x, then the sum is fp (x)
ii) If fp is not continuous at x, then the sum is 12 [fp (x+ ) + fp (x )]
Note that we use x+ to denote the limit from the right and x to be the limit from the left.
Lecture 31: AMATH 231-F14-001
example 5.10 A Fourier Sine series (odd extension) of f (x) = 21 ( x) on 0 < x < is
X
sin nx
n=1
Sketch the graph of the period 2 function to which the series converges.
example 5.11 In the previous example if we set x = /2 then we obtain
X sin n
1
2
( ) =
,
2
2
n
n=1
X (1)n1
1 1 1
=
= 1 + + .
4
2n 1
3 5 7
n=1
Sketch the graph of the period 2 function to which the series converges.
Gibbs Phenomenon:
Our convergence theorem tells us that when we add all of the terms in the Fourier basis we will
recover the function we expanded. Practical constraints dictate that we cannot find all of the
terms and sum them up. That is why we can only sum up a finite number of basis functions.
When summing up the Fourier series for a continuous function the series converges nicely.
However, when summing the series for a continuously function oscillations tend to arise near
the point of discontinuity. The amplitude and wavelength of these wiggles tend to get smaller
and smaller with the number of terms but they will always persist. This is Gibbs Phenomenon.
80
Symmetry Properties
We have already noted that knowing that a function is odd or even can simplify our calculations
since we know that cos and sin are even and odd, respectively.
Properties:
i) f is even means that f (x) = f (x) for all x.
ii) f is odd means that f (x) = f (x) for all x.
iii) The product of two even or two odd functions is even.
iv) The product of an even and an odd function is odd.
v) If f is even then
Z
f (x) dx = 2
f (x) dx.
0
f (x) dx = 0.
a
X
1
f (x) = a0 +
an cos nx
2
n=1
81
bn sin nx
n=1
means that
f ( x) = f (x),
for all
x.
means that
f ( x) = f (x),
for all
x.
X
1
f (x) = a0 +
a2n cos 2nx.
2
n=1
82
ii) If f ( x) = f (x) on 0 < x < then our cosine series further simplifies
Z
2
a2n =
f (x) cos(2nx) dx = 0,
0
Z
Z
2
4 /2
a2n1 =
f (x) cos((2n 1)x) dx =
f (x) cos((2n 1)x) dx
0
0
The cosine series reduces to,
f (x) =
n=1
Symmetry about x =
n=1
ii) If f ( x) = f (x) on 0 < x < then our sine series further simplifies
b2n
b2n1
Z
Z
2
4 /2
=
f (x) sin(2nx) dx =
f (x) sin(2nx) dx,
0
0
Z
2
=
f (x) sin((2n 1)x) dx = 0.
0
n=1
example 5.13 (course notes example 5.5) Find the Fourier sine series of
f (x) =
,
4
0 < x < .
83
Z
1
fodd (x) sin(nx) dx,
Z
2
fodd (x) sin(nx) dx,
0
Z
2
sin(nx) dx,
0 4
Z
1
sin(nx) dx.
2 0
Now since the constant function is even about x = /2 we recognize that b2n = 0 since sin(2nd)
is antisymmetric. The other coefficients are easily determined,
Z
1
sin((2n 1)x) dx,
b2n1 =
2 0
Z /2
sin((2n 1)x) dx,
=
0
1
[cos((2n 1)x)]/2
0 ,
2n 1
h
1
i
=
1 cos((2n 1) ) ,
2n 1
2
1
=
.
2n 1
=
X
sin(2n 1)x
n=1
2n 1
5.1.4
,
4
0 < x < .
.
4
84
Definition 5.15 The complex Fourier series of a -periodic function f (x) can be written as,
f (t) =
cn ein0 t ,
n=
f (t)ein0 t dt,
and satisfy the relation cn = cn . Note that the overbear denotes complex conjugation This relation is
what is required for the result of the infinite sum to be real.
85