4 views

Uploaded by dora

© All Rights Reserved

- MATH 2930 - Worksheet 13 Solutions
- Math for Quantum Chemistry
- Module 5 Higher
- Papers.xtremepapers.com_MathII_SAT II Subject Tests
- Most Important Questions-1
- Int2_Mathematics 2008 Paper 2
- I.L. Kantor, A.S. Solodovnikov-Hypercomplex Numbers_ an Elementary Introduction to Algebras (1989)
- Linear Algebra Review
- c3.6 Differentiation
- MA1506CHAP2
- Trigonometry
- c3.6 Differentiation
- 2017-02-03 Bug Paths #2
- Assignment 4 Solutions
- Proof of Convergence for a Set of Admissible Functions for the Rayleighritz
- Original Dbms Lab Manualcopy
- Year 11 Sem 2 Exam 1 2008
- math
- 7 Differentiating some Trig Functions.ppt
- Fourier Series Summary

You are on page 1of 13

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

dV .

V

With this established we can state Gauss Theorem.

Theorem 4.21 Gauss Theorem

Physically it states that the flux of the magnetic field through the surface is equal to the total change

contained within the surface. Mathematically, it takes the form,

ZZ

ZZZ

1

1

~

En

d = Q =

dV.

0

0

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

ZZZ

~ B

~ dV = 0.

~ B

~ = 0.

4.4.4

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

We apply Stokes theorem and simply using our favourite lemma:

ZZ

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

For a finite dimensional vector space, Rn , we can find a complete orthogonal (orthonormal) basis

ei such that ei ej 6= 0 if i 6= j and ei ei = 1. These vectors form a basis, but the basis is not

unique.

Any vector ~x in the vector space can be written as a superposition of the basis in terms of

some coefficients ai ,

n

X

~x =

ai ei .

i=1

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

One example of Fourier Series is,

sin

7x

.

L

Definition 5.2 The coefficients an and bn in the Fourier Series are called the Fourier coefficients.

In this example, and others like it, we didnt have to do any work to find the coefficients. As

you can imagine, that is not usually the case. Another example is,

cos2

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

1

0 < x < ,

f (x) =

1 < x < 0.

Solution:

Since f (x) is odd we see that an = 0 for all n. Thats the easy party (or at least can be easy if we

make this observation.

The next set of coefficients must be computed directly, with n = 1, 2, ,

Z

1

bn =

f (x) sin nx dx,

Z

2

=

sin nx dx,

0

2

=

[cos nx]0 ,

n

2

=

[1 cos n] ,

n

0 n is even

=

4

n is odd

n

Therefore, our Fourier series for this step function is,

f (x) =

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

5.1.3

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

i) Cosine series:

Suppose that f is an even function.

Z

Z

1

2

an =

f (x) cos(nx) dx, =

f (x) cos(nx) dx,

0

Z

1

bn =

f (x) sin(nx) dx = 0.

Therefore, our cosine series take the form,

X

1

f (x) = a0 +

an cos nx

2

n=1

This implies that any function f (x) that is define on 0 < x < has a Fourier cosine series, it

does not need to be defined on < x < 0 But, since the series is defined on that interval

it can be thought of as the Fourier series of the even extension of f (x), which we define as

f (x) 0 < x < ,

feven =

f (x) < x < 0.

81

Suppose that f is an odd function.

Z

1

an =

f (x) cos(nx) dx = 0,

Z

Z

1

2

bn =

f (x) sin(nx) dx =

f (x) sin(nx) dx

0

Therefore, our sine series take the form,

f (x) =

bn sin nx

n=1

This implies that any function f (x) that is define on 0 < x < has a Fourier sine series, it

does not need to be defined on < x < 0 It is the Fourier series of the odd extension of

f (x), which we define as,

f (x)

0 < x < ,

fodd =

f (x) < x < 0.

Symmetry about x = 2 . There are other different kinds of symmetry. One is to consider

whether the function is even or odd about the line x = 2 . If we consider f (x) defined on the

interval 0 < x < .

i) f is even about x =

means that

f ( x) = f (x),

for all

x.

means that

f ( x) = f (x),

for all

x.

i) cos 2nx and sin(2n 1)x are even with respect to x = 2 .

ii) cos(2n 1)x and sin 2nx are odd with respect to x = 2 .

We can then simplify the cosine and sine series that are symmetric about x = 2 .

Symmetry about x =

Z

Z

2

4 /2

a2n =

f (x) cos(2nx) dx =

f (x) cos(2nx) dx,

0

0

Z

2

a2n1 =

f (x) cos((2n 1)x) dx = 0.

0

The cosine series reduces to,

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 =

Z

2

b2n =

f (x) sin(2nx) dx = 0,

0

Z

Z

2

4 /2

b2n1 =

f (x) sin((2n 1)x) dx =

f (x) sin((2n 1)x) dx = 0.

0

0

The sine series reduces to,

f (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

f (x) =

n=1

example 5.13 (course notes example 5.5) Find the Fourier sine series of

f (x) =

,

4

0 < x < .

0 < x < ,

4

fodd =

4 < x < 0.

83

bn =

=

=

=

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

f (x) =

Solution:

5.1.4

,

4

0 < x < .

.

4

ei = cos + i sin .

This shows that cos and sin are really just parts of the complex exponential. Since our Fourier

series is a sum of cosines and sines then we should be able to rewrite the sum in terms of an

exponential. One advantage is that it makes things more compact. One disadvantage is that we

have to deal with complex variables. But its good for us and a skill well worth learning so we

proceed.

84

Definition 5.15 The complex Fourier series of a -periodic function f (x) can be written as,

f (t) =

cn ein0 t ,

n=

.

1

cn =

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

- MATH 2930 - Worksheet 13 SolutionsUploaded byBrimwoodboy
- Math for Quantum ChemistryUploaded bySimone Fioccola
- Module 5 HigherUploaded byJemilea 'Poeticz' Wisdom
- Papers.xtremepapers.com_MathII_SAT II Subject TestsUploaded byarshad_bah
- Most Important Questions-1Uploaded bybabaisbac
- Int2_Mathematics 2008 Paper 2Uploaded byMaisie Ingram
- I.L. Kantor, A.S. Solodovnikov-Hypercomplex Numbers_ an Elementary Introduction to Algebras (1989)Uploaded byFidelis Castro
- Linear Algebra ReviewUploaded by12345asdf12345
- c3.6 DifferentiationUploaded byMasha Iwqedwe
- MA1506CHAP2Uploaded byLi Cheuk Kwan Jeremy
- TrigonometryUploaded byour_kita
- c3.6 DifferentiationUploaded byfarhaliza
- 2017-02-03 Bug Paths #2Uploaded bysamjshah
- Assignment 4 SolutionsUploaded bySam Kumagai
- Proof of Convergence for a Set of Admissible Functions for the RayleighritzUploaded byRahul Kamilla
- Original Dbms Lab ManualcopyUploaded bysaiteja1234
- Year 11 Sem 2 Exam 1 2008Uploaded bySophia Duong
- mathUploaded bysaeed Ahmed
- 7 Differentiating some Trig Functions.pptUploaded bybruce almighty
- Fourier Series SummaryUploaded byBhargav Reddy
- Vector SpacesUploaded byakaukab
- Assign-1Uploaded bykapilkumar18
- Add Matk 2 Midyear f 52007Uploaded byTrac Marc
- Linear Algebra Review-Penn State UnivUploaded bycooldoubtless
- Ex 9 3 Fsc Part1 Ver3Uploaded bysameer khan
- FactorialUploaded byMatthew Vizcaino
- Lecture 02Uploaded byPrakhar Tiwari
- 2011 CBSE 11th Math Question Paper 1Uploaded byDiya Disha
- DSPUploaded bySuvadeep Banerjee
- Maths FormulaUploaded byNethra Sasikumar

- w9&10.pdfUploaded bydora
- samle-midterm.pdfUploaded bydora
- all lecture.pdfUploaded bydora
- final_sample.pdfUploaded bydora
- a10solUploaded bydora
- a09solUploaded bydora
- a03sol.pdfUploaded bydora
- a01sol.pdfUploaded bydora
- a11.pdfUploaded bydora
- a10.pdfUploaded bydora
- a09.pdfUploaded bydora
- a07.pdfUploaded bydora
- a08.pdfUploaded bydora
- a06Uploaded bydora
- a01Uploaded bydora
- a10-soln.pdfUploaded bydora
- a9-sol.pdfUploaded bydora
- A9.pdfUploaded bydora
- a8-sol.pdfUploaded bydora
- a7-sol.pdfUploaded bydora
- a6-sol.pdfUploaded bydora
- a5-sol.pdfUploaded bydora

- Failure AnalysisUploaded byzamspacekl
- 1611.10182Uploaded byPuok Wui Ng
- CF-2014-24Uploaded byAmmar Ajmal
- Jackson 2 25 Homework SolutionUploaded byneblinaria
- Selariu Super-Mathematics FunctionsUploaded byAnonymous 0U9j6BLllB
- Stargate PhysicsUploaded bykevinjohnson256
- Transformasi LaplaceUploaded byIqbal Achmadi
- C2 Chapter 08Uploaded byYue Ying
- 3D Geometry Tutorials - David EberlyUploaded byMarkusMayer
- trigonometric ratios.pptUploaded byUsman Zafar
- RPT ADD MT F5 2013 (1)Uploaded bytheuniquecollection
- Mathematics tUploaded byPh'ng Jiun Yan
- 4_7 INVERSE TRIG FNS.pdfUploaded bymiloradf7751
- f03_sp(1)Uploaded bykkonthenet
- Fourier Series and SpectraUploaded byHarshit Goyal
- A Course in Analysis - Volume I_ Introductory Calculus, Analysis of Functions of One Real VariableUploaded byEPDSN
- Dynamics and Control of Ball and Beam SystemUploaded byEditor IJRITCC
- 92794096 Free Fanuc Macro B Programming ManualUploaded byDeysi Cardenas
- Practice ProblemsUploaded bygo_gators
- C3 CH6 SolutionsUploaded byGia Khanh
- TRIGOMETRY (1)Uploaded byMuhammad Khairul
- Geometric Reference Systems in GeodesyUploaded byhammoudeh13
- Electrical Engineering CourseUploaded byAdriana Stefania Scarlet
- SURVEY REPORT.docxUploaded byAnkur
- ANTON_ HOWARD a. Vol1 - - - Testes Suplementares Com Resposta IUploaded bylexoing7402
- DesignandDevelopmentofanIntelligentRoverforMarsExplorationUpdated - CopyUploaded byjubaer ahmed
- fx-50F_PLUS_EN.pdfUploaded bygoogley71
- EM1_LECTURE_2_GVUploaded byVinayaga Murthy G
- Building MathematicsUploaded byApam Benjamin
- _01_ GT 113 Glass Engg. Mat-IUploaded byRicardo Veloz