Sunday Function

A while back I was driving in my car listening to the radio and was gobsmacked to hear a song (What's My Name? by Rihanna and Drake) in which the singer's rap involved accurately estimating a square root. Unfortunately it was in the context of a rather vulgar play on words ("the square root of sixty-nine is eight-something..."), and in fact the local station is now censoring everything after "square root". But still, mathematics on the pop charts! Who'd have guessed?

So today's function is the square root function, familiar to adults and school children alike:

i-7b7142f1efa09b47c3b8242f89bcb9f4-graph.png

As the kids are told by their teachers, a square root of a given number is the number which when multiplied by itself produces the original number. The square root of 4 is 2, the square root of 100 is 10, the square root of 69 is 8.306623863... and so forth. Clever children notice two problems with this. First, they can't find square roots for everything - negative times negative is positive, and so there's no such thing as the square root of -1. Second, the square roots that we do have are not unique - why can't we say that the square root of 4 is -2, since (-2)*(-2) = 4?

Good teachers and/or their textbooks usually answer the first question by saying that negative numbers simply don't have real-number square roots, though they might mention that in high school we'll just define a number i to be the square root of -1 and explore its many useful and important properties. In a similar way, the second question is usually answered by appeal to definition: "Taking the positive square root is the most intuitive and useful choice, so we define the square root to be the positive one."

That last answer is more subtle. Consider trying to take the square root of a complex number which itself involves i, say, this one:

i-d4bb9fe09d6b78eb832985821d8a307f-1.png

You can take my word for it that the two possible roots are

1.09868 + 0.45509 i
and
-1.09868 - 0.45509 i

One has positive coefficients and one has negative, and you might think you could just so with the same sign convention as for real numbers. But if we want to find something like:

i-88516ca505d84f969b7ab15a965c3fb3-2.png

The possible solutions are

-1.09868 + 0.45509 i
and
1.09868 - 0.45509 i

And there it's not entirely clear which might make more sense to pick. To work on a plan for systematically picking a systematic convention for which root to chose, I propose we start with the number 1. We pick its square root to be 1. Then we head around the complex plane in a counter-clockwise circle. We'd start with a number very close to 1 and pick the root that (through continuity) matches the sqrt(1) = 1 convention we started with. The procedure is pretty simple, let your complex number z = cos(θ) + i*sin(&theta); with θ running between 0 and 2π. I'll graph the real and imaginary parts of the resulting sqrt(z):

Re:
i-ec8d2bc9698de2bf6063e486cb0cc968-g1.png

Im:
i-30ec64ac881f15c96f03db209a447ba5-g2.png

Argh! The value of z at θ = 0 and 2π is the same, z = 1. But from the graphs, the square root is not the same. So if we choose our roots for consistency and continuity, we find that we're still stuck with a discontinuity on either side of the positive real axis. For instance, sqrt(1 + 0.0001i) = 1 + 0.00005 i, but sqrt(1 + 0.0001i) = -1. + 0.00005 i.

And there's no way around it. This is a branch cut in the complex plane. Whatever root convention you pick is going to involve a discontinuity along a cut in the plane (though you have a lot of freedom in selecting where it is). But having picked a definition, you absolutely must stick with it. If you don't, you run into contradictions like this (from Wikipedia):

i-34dd4d90e9067e9ab85543ea2ed710a7-contra.png

The third equality is invalid essentially because -1*-1 lands on the 2π side of the branch cut while 1 is by our definition on the 0π side of the branch.

The square root is far from the only function with a branch cut, and the whole issue is simultaneously one of the tremendous aggravations and subtle beauties of complex analysis. It's worth getting to know in some detail.

Now if we can just get Taylor Swift to write something like "You're The Branch Cut In My Heart" I think we can declare victory...

More like this

All right ladies and gentlemen, take out your calculators. Punch in the number 4. Whack the square root button. What do you get? Unless I am badly mistaken, you're going to get the number 2. As you probably remember, the square of a number is just that number multiplied by itself: 3 squared…
As mentioned in the previous post, the BBC article contains video of Dr. Anderson explaining how his work allows us to evaluate the expression 00. I'll save you the trouble of having to watch it. Here it is: We define the number N=0/0. The number N stands for nullity, and is the new number Dr.…
Many of my fellow SBers have been mocking the recently unveiled Conservapedia. Conservapedia claims to be a reaction to the liberal bias of Wikipedia. Ed, PZ, Afarensis, Tim, John, and Orac have all piled on already. But why should they get to have all the fun? Conservapedia has an extensive…
*(Note: in the original version of this, I made an absolutely **huge** error. One of my faults in discussing topology is scrambling when to use forward functions, and when to use inverse functions. Continuity is dependent on properties defined in terms of the *inverse* of the function; I originally…

Great post but I lost you at "But the real part of the square root is discontinuous about the line Im(z) = 0"

By Anonymous (not verified) on 14 Mar 2011 #permalink

Much of the trouble comes from defining i = sqrt(-1). The proper definition is i^2 = -1, which has two solutions, sqrt(-1) and -sqrt(-1). That Wikipedia contradiction goes wrong already at the second "equality".

By Lassi Hippeläinen (not verified) on 14 Mar 2011 #permalink

@Anonymous: Possibly because I worded it badly - it should probably say "on either side of the positive real axis" or something along those lines. I'll try revising it.

@2: No, that's not a problem. Essentially, it doesn't matter whether we choose i or -i as the "right one". You get (-i)*(-i)=i*i either way.

By Ketil Tveiten (not verified) on 16 Mar 2011 #permalink

complex analysis is only fun until someone loses an i.

mr. Nonsense on stilts

rantsnraves.org/showthread.php?22149

How about the lyrics to As Time Goes By?

[This day and age we're living in
Gives cause for apprehension
With speed and new invention
And things like fourth dimension.

Yet we get a trifle weary
With Mr. Einstein's theory.
So we must get down to earth at times
Relax relieve the tension

And no matter what the progress
Or what may yet be proved
The simple facts of life are such
They cannot be removed.]

You must remember this
A kiss is just a kiss, a sigh is just a sigh.
The fundamental things apply
As time goes by.