About Jonathan Shock

I'm a lecturer at the University of Cape Town in the department of Mathematics and Applied Mathematics. I teach mathematics both at undergraduate and at honours levels and my research interests lie in the intersection of applied mathematics and many other areas of science, from biology and neuroscience to fundamental particle physics and psychology.

UCT MAM1000 lecture notes part 29 – complex numbers part vii

So, we know how to take the exponential of any complex number now. We do it by converting the exponential into the exponential of the real and imaginary parts separately, and then use the relationship between e^{ia} and the \cos and \sin functions to write everything in terms of functions of real numbers, which we know how to deal with. How about the trigonometric functions applied to complex numbers? Well, we have a pretty good hint already from how we got from the exponential of complex numbers to trigonometric functions of real numbers. In fact we’re just going to give the answer, but you can work it out using Taylor series as well. For a complex number z:

 

\cos z=\frac{e^{iz}+e^{-iz}}{2}

 

\sin z=\frac{e^{iz}-e^{-iz}}{2i}

 

The first thing to check is that this is true when z is a real number. It looks pretty strange at first site, especially the definition of \sin because there’s an i sticking out in the denominator like a sore thumb!…

UCT MAM1000 lecture notes part 28 – complex numbers part vi

So last time we discovered that there was this amazing link between exponentials and trigonometric functions where the bridge between them was precisely complex numbers.

We now know how to take the exponential of any complex number and it is given by the exponential of a real number and a sum of terms which contain trig functions of real numbers:

 

e^{a+ib}=e^a(\cos b+i\sin b)

 

We can see also that now we have a third way to write a complex number. If you have a number in modulus argument form like:

 

r(\cos\theta+i\sin\theta)

 

Then we can also write this as re^{i\theta}. This is an alternative way of writing the modulus argument form.

In this form it also becomes more obvious that moduli multiply and arguments add. If we have two complex numbers:

 

z=|z|e^{i\theta} and w=|w|e^{i\phi} Then:

 

zw=|z||w|e^{i(\theta+\phi)}

 

The fact that we can now take the exponential of any complex number is very powerful. The point is that in order to calculate this function, all we need to be able to do is to take exponentials and trig functions of real numbers, and that we can do.…

Plotting functions of complex numbers: Not examinable

Just to get a bit of a picture of what taking a function of a complex number means, we can play a bit of a game (I use this term in the loosest sense). Normally we think of functions as going from a real number to another real number. \sin(x) takes a real number x and gives you another real number. We can plot this on a graph by plotting a two dimensional set of data which tells you about the value that \sin(x) takes for every x along the real line. We are very used to this idea of a function. However, a function of a complex number is more difficult to visualise.

 

Complex numbers themselves live in 2 dimensions (they have a real part and an imaginary part) and when you apply a function to them, very often the result is another complex number which also lives in a 2 dimensional space.…

By | August 26th, 2015|English, Level: intermediate, Uncategorized|0 Comments

UCT MAM1000 lecture notes part 27 – complex numbers part v

We’re about to make one of the most profound links that we will obtain through complex numbers. This is going to show how complex numbers are a bridge between different areas that you already know about, but never knew had anything to do with one another.

We know about exponential functions and how they have very special properties related to their derivatives. e^x is a function which is practically defined as the function which is equal to its derivative. We also know that exponential functions tell us about growth, and we will see this in more detail when we come on to differential equations.

We know that trigonometric functions are to do with triangles, and circles, and angles and they tend to be periodic. They tell us how things vary in a way where they come back to where they started after some time.

Exponential functions and trigonometric functions couldn’t really look much more different if they tried.…

UCT MAM1000 lecture notes part 26 – complex numbers part iv

OK, so we saw something pretty interesting last time when we multiplied together complex numbers using the modulus argument form.

Remember that for two complex numbers which we will write as z_1=r_1(\cos\theta_1+\sin\theta_1 i) and z_2=r_2(\cos\theta_2+\sin\theta_2 i), where r_i are the moduli, and \theta_i are the arguments of z_i. If we multiply them together then we get:

 

z_1 z_2=r_1 r_2 (\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2))

 

Well, what would happen if the two complex numbers were the same? ie. if we have z=r(\cos\theta+i\sin\theta) and we want z^2?

Well, then clearly:

 

z^2=r^2(\cos 2\theta+i\sin 2\theta).

 

What if we then multiplied this by z one more time:

 

z^3=z^2 z=r^3(\cos (2\theta+\theta)+i\sin(2\theta+\theta))=r^3(\cos 3\theta+i\sin 3\theta)

 

hmm, do we already see a pattern emerging? Let’s say that we have a complex number with modulus 1. Complex numbers of the form:

 

z=\cos\theta+i\sin\theta

 

Are clearly modulus 1. We know that the modulus is the square root of the sum of the squares of the real and imaginary parts of a complex numbers so |z|=\sqrt{\cos^2\theta+\sin^2\theta}=1.

ok, so how about if we have z^n where n is an integer?…

UCT MAM1000 lecture notes part 25 – complex numbers part iii

So we saw last time that we can take a complex number and put it in a 2 dimensional plane called the complex plane, where its horizontal distance from the origin is given by its real part, and the vertical distance from the origin is given by its imaginary part. We can thus think of the real and imaginary parts as the Cartesian coordinates of that point.

It turns out that there is another way to represent a complex number, but rather than using the real and imaginary parts to specify it, we will use two other pieces of information.

If I tell you that a complex number is a distance |z| away from the origin in the complex plane, then this leaves you with a whole circle of possibilities. All the points on the circle of radius |z| about the origin are the same distance from the origin. But if I also give you an angle subtended between the x-axis and the line joining the complex number and the origin, read anti-clockwise from the x-axis, this will completely pin down the point in the complex plane.…

UCT MAM1000 notes part 24 – complex numbers part ii

So, last time we discovered that numbers are maybe not quite as real as we thought that they were, and that we can have numbers which don’t obviously correspond to something in the real world (though we’ll discover later that they are a way to jump between islands of reality).

In the resources on Vula you will find some great notes on complex numbers, so I want this to be an additional resource, and not an alternative. This means that sometimes we will look at things from a slightly different perspective than in the resource book.

Let’s start off discussing a bit more about the complex plane.

When you learnt about integers, one of the first things that you learnt to do was to put them in order. 3 came after 2 and 7 came after 6. You could put them all in a line. When you learnt about the negative numbers, it was quite clear that this line which had previously started with zero simply went backwards in the other direction, and you could count backwards to whatever large negative integer you wanted.…

Hamilton and the extension of complex numbers to higher dimensions

Hamiltonian, the Quarternions and the Octonians

We’ve just extended the number system we can deal with by saying that we are perfectly at liberty (with certain important qualifications) to take the square root of a negative number and it gives you a multiple of i. We will see in the following sections that this is incredibly useful for being able to extend our mathematical machinery to new domains. In fact, this extension of the number system we are dealing with is not at all unique. The idea of irrational numbers was for a very long time believed not to be true. The possibility that you could have a number which was not a fraction seemed absurd. In fact even more basic than that, the idea of 0 as an important concept was not conceived for a long time in the history of mathematics. Zero was introduced by Indian mathematicians in the 9th century AD and the idea of irrational numbers was only dreamt up by the Greeks in around the 5th century BC.…

By | August 20th, 2015|Uncategorized|0 Comments

On constants of integration in our polynomial approximations and Ramanujan’s remarkable formula

You might have noticed something slightly strange happening when we made our approximation for \pi using the Maclaurin polynomial for \arctan x. We were slightly sneaky in that we performed a definite integral, but we didn’t seem to have any constant of integration.

The sneaky line was this one:

 

\arctan x\approx\int \sum_{i=0}^n(-1)^i x^{2i} dx= x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\frac{x^9}{9}+...=\sum_{i=0}^n \frac{(-1)^{i}x^{2i+1}}{2i+1}

 

Where we have written the \arctan x function as an integral and not written the constant of integration.

The point is that we should really be saying:

 

\int \frac{1}{1+x^2}dx=\arctan x+c

 

and so there should be a constant in the expression on the left. Then, when we perform the integration we are left with another constant (let’s call the original one above c_1 and the second one c_2. So what we really should have written was:

 

\arctan x+c_1\approx\int \sum_{i=0}^n(-1)^i x^{2i} dx= x-\frac{x^3}{3}+\frac{x^5}{5}-\frac{x^7}{7}+\frac{x^9}{9}+...+c_2=\sum_{i=0}^n \frac{(-1)^{i}x^{2i+1}}{2i+1}+c_2

 

Then we can write:

 

\arctan x\approx\sum_{i=0}^n \frac{(-1)^{i}x^{2i+1}}{2i+1}+c_2-c_1

 

We can then fix our constants of integration by knowing that \arctan 0=0 and thus c_2=c_1 and thus we don’t actually have any constants to worry about.…

By | August 19th, 2015|Uncategorized|0 Comments

Job advert: Resident Researcher in Mathematical Finance – AIMS South Africa Research Centre

Resident Researcher in Mathematical Finance – AIMS South Africa Research Centre

The African Institute for Mathematical Sciences (AIMS) is an innovative, pan-African centre of excellence for post-graduate education, research and outreach which has achieved global recognition since opening its first centre in South Africa in 2003. AIMS centres offer a number of educational programs including a one-year taught Master’s program and postgraduate research. Each AIMS centre provides an intensive and broad education to over 50 African students each year and prepares them for leadership careers in academia, governance and industry. The AIMS educational program relies on top international lectures who teach in a  live-in learning environment.

Complementing the postgraduate academic programme at AIMS South Africa, located in Muizenberg, is the Research Centre whose mission is to conduct and foster outstanding research and learning in the mathematical sciences, thus contributing to the next generation of pan-African leaders in many spheres and the advancement of African science and academia within a multicultural environment.…

By | August 19th, 2015|Advertising, English, Job advert|0 Comments