Loading [MathJax]/jax/output/CommonHTML/jax.js

User Tools

Site Tools


howto:hambasics:sections:test

This is an old revision of the document!


Optional Math of Waves

This is a brief survey of the math required to analyze waves at the first or second year university level. If you did well in grade 12 high school math, you'll probably be able to follow this and learn some new and really cool math.

Real numbers

If (5)2=25 and (5)2=25, what number can you put in the box so that:

2=25

It turns out that there is no real number such that when you multiply it by itself you get a negative number, but could we invent an imaginary one?

Complex Numbers

Let's create an imaginary number called i such that:

i=1i2=1

Even though i is nowhere on the real line (in math, we say that: iR), we can none-the-less perform interesting mathematical operations with it:

  • We can add it to a real number and create a complex number:

(1+i)

  • We can multiply complex numbers together:

(1+i)2=1+2i+i2=1+2i1=2i

  • We can find roots:

z4=16z2={4z=±24z=±2i

A Little Philosophy

If these weird numbers follow all of the algebra rules without inconsistencies, does it mean they exist as much as the real numbers? Aren't complex numbers a mere creation by mad mathematicians? How about mathematics itself: is it discovered or invented?1)

In a certain way, negative numbers are just as weird as complex numbers: after all, we know what 5 cars look like, but what does −5 cars mean? And yet, in certain context (like temperature), we have no problem using negative numbers. Could it be that there are contexts where complex numbers make sense?

The Complex Plane

In the same way that we can represent real numbers by a point on the real number line...2):

... we can also represent a complex number graphically on a complex plane by using the horizontal axis for the real part and the vertical axis for the imaginary part. For example, (1+i) would be represented as a point 45° up the horizontal axis and 2 away from the origin:

Download polar.ggb

You can move the point around to look at other complex numbers on the plane.

To convert between the Cartesian (a,b) and the Polar (rθ) representations, only simple trigonometry and Pythagoras is needed.

a+ibrθ rθa+ib
r2=a2+b2 a=rcosθ
tanθ=ba b=rsinθ

Note that very often, we use radians instead of degrees for the angle. There are a total 360° or 2π radians in a circle. While most people are used to degrees, a radian is actually much easier to picture:

  • Imagine a circle.
  • Now imagine the length from the centre to the circle (along the ——radius“).
  • Take that length and lay it down on the perimeter of the circle.
  • The angle that this length covers is 1 radian (because of the length of the radius on the circle).
  • That's why a circle has 2π (because the circumference is 2πr)

Roots

The complex plane has many useful applications, but one of them allows us to visualize roots of the form zn=w. For example, if we set w=9 and n=2 on the graph below, we'll see that the roots of z2=9 are z=±3.

Download complexroots.ggb

Without using the graph above, what do you expect the solution(s) to z3=8 will be? That is, what number(s), when multiplied by itself three times gives 8?

Now move w=8 and n=3 to have a look at the solutions graphically, you might be surprised by what you find.

Click to display ⇲

Click to hide ⇱

So z=2 was to be expected since 23=8 but it looks like there's two more solutions.

To find them, we first notice that the three solutions are spread out evenly around the circle, that is they are 120° apart. So in polar coordinates, the three solutions are z=20,2120,2240.

We can now convert them to Cartesian:

  • z=20=(2cos(0),2sin(0))=(2,0)=2
  • z=2120=(2cos(120),2sin(120))=(1,3)=1+i3
  • z=2240=(2cos(240),2sin(240))=(1,3)=1i3

Let's check that the second solution works: (1+i3)3=(1+i3)(1+i3)(1+i3)=(1+i3)(12i3+(i2)(3))=(1+i3)(12i3+(1)(3))=(1+i3)(22i3)=2+2i32i3(2)i2(3)=2(2)(1)(3)=2+6=8


The Euler Identity

The Euler identity exposes a deep relationship between trigonometric and exponential functions3):

eiθ=cosθ+isinθ

Let's use two different ways to verify that this mysterious identity is true.

The Derivatives

If we separate this identity into two functions and take their derivatives, we notice that: f(θ)=eiθ & g(θ)=cosθ+isinθf(θ)=ieiθ & g(θ)=sinθ+icosθf(θ)=if(θ) & g(θ)=ig(θ)

We know that there's only one functions h(x) that satisfies the differential equation h(x)=ah(x), and it is h(x)=Aeax What Euler discovered is that when a=i , there's a second function that also satisfies the same differential equation! These two functions must therefore be one and the same.

Taylor

Another method to verify the Euler identity is to use Taylor series:

ex=1+x+x22!+x33!+x44!+x55!+sinx=xx33!+x55!cosx=1x22!+x44!

  1. Replace x with iθ in the Taylor series of ex
  2. Replace x with θ in the Taylor series for sinx and cosx
  3. Add the Taylor series of cosθ and isinθ together and you'll get the Taylor series for eiθ

Euler Identity and Polar-Cartesian Representations

In the previous section, we saw that a complex number z=a+ib could be represented as a point (a,b) on the complex plane, which could also be viewed in polar coordinates as rθ. We saw that to convert between the Cartesian (a,b) and the Polar (rθ) representations, only simple trigonometry and Pythagoras is needed:

a+ibrθ rθa+ib
r2=a2+b2 a=rcosθ
tanθ=ba b=rsinθ

This means that:

z=a+ib=rcosθ+irsinθ=r(cosθ+isinθ)=reiθ

This offers another interpretation of the Euler identity as the algebraic conversion between Cartesian and Polar coordinates:

Cartesian Polar
Graphical (a,b) (rθ)
Algebraic z=a+ib z=reiθ

This now allows us to simplify a lot of difficult mathematics. For example let's look at the root problem z3=8. Since the number 8 on the complex plane is the point (8,0), in polar coordinates, it can be any of the following: 80,82π,84π, This is because we can go around the circle as many times as we want and return to the same point. Since we expect three roots, let's use the first three polar representations of 8:

z3=8={8e0i8e2πi8e4πi

z={(8e0i)13=813e03=2(8e2πi)13=813e2π3i=2(cos2π3+isin2π3)=2(12+i32)=1+i3(8e4πi)13=813e4π3i=2(cos4π3+isin4π3)=2(12i32)=1i3

If we had used more than 3 numbers, the roots would have started repeating. If we had used less than 3, we would have missed some answers in the same way that there are two answers to z2=9 (namely z=±3).

Cartesian vs Polar

Which is the best representation: Cartesian, z=a+ib, or Polar, z=reiθ. As you might expect, it depends on what you're trying to do... For example, let's take:

z1=1+i=2e(iπ4)andz2=1+i=2e(i3π4)

Imagine having to add, subtract, multiply, divide or divide these together. Or raise them to a power, or take a root of them. Which of the two representations do you think would be easiest to use for each operation?

Click to display ⇲

Click to hide ⇱

Operation Cartesian Polar
Addition Easiest: z1+z2=(1+i)+(1+i)=2i I don't know how to do it. z1±z2=2e(iπ4)±2e(i3π4)=??
Subtraction Easiest: z1z2=(1+i)(1+i)=2
Multiplication Moderate: z1z2=(1+i)(1+i) =(1)(1)+(1)(i)+(i)(1)+(i)(i) =1+ii1=2 Easiest: z1z2=2e(iπ4)2e(i3π4) =22e(iπ4+i3π4) =2eiπ=2
Division Tedious: z1z2=(1+i)(1+i)=(1+i)(1i)(1+i)(1i) ==2i2=i Easiest: z1z2=2e(iπ4)2e(i3π4)=e(iπ4i3π4) =e(iπ2)=i
Exponentiation The bigger the exponent, the more tedious: z1001=(1+i)100= Easy no matter how big the exponent: z1001=(2e(iπ4))100 =250e25πi=250e12(2πi)eπi =250(1)(1)=250
Roots I don't know if it's even possible: 3z2=31+i (1+i)(13)=?? As easy as exponentiation: 3z2=(2e(i3π4))(13) =62e(iπ4)=1+i32


The lesson here is that since the polar representation uses exponents, and exponents turn multiplication into addition4), the polar representation is easiest for multiplication, division, exponentiation, and roots. It's essentially why the dB scale is so useful.

Important Algebraic Results

  • Use the Euler identity to get the following two useful results:

cosθ=eiθ+eiθ2 & sinθ=eiθeiθ2i

Click to display ⇲

Click to hide ⇱

  • Modify the Euler identity to see what happens when the angle is (θ)

eiθ=cosθ+isinθei(θ)=cos(θ)+isin(θ)eiθ=cosθisinθ

  • Add the original Euler identity to the new one for (θ) and simplify:

eiθ=cosθ+isinθ+eiθ_=cosθisinθ_eiθ+eiθ=2cosθcosθ=eiθ+eiθ2

  • To get the second equation, take the original Euler identity and subtract the new one for (θ) from it and simplify:

eiθ=cosθ+isinθeiθ_=cosθisinθ_eiθeiθ=2isinθsinθ=eiθeiθ2i


  • Use the Euler identity to show that:

cos(θ+ϕ)=cosθcosϕ+sinθsinϕsin(θ+ϕ)=cosθsinϕ+sinθcosϕ

Click to display ⇲

Click to hide ⇱

  • Multiply the Euler identities for θ and ϕ and simplify.

eiθ=cosθ+isinθ×eiϕ_=cosϕ+isinϕ_eiθeiϕ=(cosθ+isinθ)(cosϕ+isinϕ)eiθ+iϕ=(cosθ)(cosϕ)+(cosθ)(isinϕ)+(isinθ)(cosϕ)+(isinθ)(isinϕ)ei(θ+ϕ)=cosθcosϕ+icosθsinϕ+isinθcosϕ+i2sinθsinϕei(θ+ϕ)=cosθcosϕ+i(cosθsinϕ+sinθcosϕ)sinθsinϕei(θ+ϕ)=(cosθcosϕsinθsinϕ)+i(cosθsinϕ+sinθcosϕ)

But the Euler identity for angle (θ+ϕ) is: ei(θ+ϕ)=cos(θ+ϕ)+isin(θ+ϕ)

So comparing the real and imaginary parts, we can conclude that: cos(θ+ϕ)=cosθcosϕsinθsinϕsin(θ+ϕ)=cosθsinϕ+sinθcosϕ


  • Use the two earlier results to show that:

sin(θ+Δθ)+sin(θΔθ)=2cosΔθsinθ

Click to display ⇲

Click to hide ⇱

  • Use the last result for sin(θ+ϕ) but replace ϕ with Δθ

sin(θ+Δθ)=cosθsinΔθ+sinθcosΔθ

Similarily, sin(θΔθ)=cosθsin(Δθ)+sinθcos(Δθ)sin(θΔθ)=cosθsinΔθ+sinθcosΔθ

Adding both of these together, we get: sin(θ+Δθ)+sin(θΔθ)=cosθsinΔθ+sinθcosΔθcosθsinΔθ+sinθcosΔθ=2sinθcosΔθ=2cosΔθsinθ


This last result is the basis behind why modulating the amplitude of a carrier produces side bands.

1)
Whether math is discovered or invented is a famous philosophical problem. If you think it's invented: does that mean that 2 + 2 didn't equal 4 until someone invented that? If you think it's discovered, what about computer programs? At the root, all computing is basically just math.
2)
Number line picture from Wikipedia: Number line
3)
Note, to obtain the most beautiful equation in the world, set θ=π in the Euler identity:
eiπ=cos(π)+isin(π)=1+0i=1 eiπ=1 which is amazingly beautiful because it relates e=2.71828..., i=1, π=3.14159..., and 1 in the most surprising and elegant way.
4)
xaxb=xa+b
howto/hambasics/sections/test.1609733299.txt.gz · Last modified: by va7fi