Built on Facts

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…

Comments

  1. #1 Anonymous
    March 15, 2011

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

  2. #2 Lassi Hippeläinen
    March 15, 2011

    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”.

  3. #3 Matt Springer
    March 15, 2011

    @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.

  4. #4 Ketil Tveiten
    March 16, 2011

    @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.

  5. #5 rob
    March 16, 2011

    complex analysis is only fun until someone loses an i.

  6. #6 qzl
    March 18, 2011

    “Math and Emotion: the square root of one” by Klangstabil.

    Somewhat daggy industrial anthem (though from a very competent duo).

  7. #7 dmabius
    March 21, 2011

    mr. Nonsense on stilts

    rantsnraves.org/showthread.php?22149

  8. #8 altın çilek
    March 26, 2011

    complex analysis is only fun until someone loses an i.

  9. #9 Kaleberg
    March 28, 2011

    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.

  10. #10 prefabrik
    May 16, 2011

    Tora Bora in particular was a cluster fuck and should simply not have happened.

The site is currently under maintenance and will be back shortly. New comments have been disabled during this time, please check back soon.