Sunday Function

Just a quick one today, as I get caught back up from Thanksgiving. We all know and love the very basic quadratic function. Any second-order polynomial will give you a nice little parabola, which of course is ubiquitous in physics. We all know what that looks like. But what if we're willing to square complex numbers instead of just real numbers? Traditionally we denote complex numbers with z instead of x, so our Sunday Function is:

i-d4bb9fe09d6b78eb832985821d8a307f-1.png

Ok, so what happens when we square a complex number? Well, we can write any complex number as (a + bi), where "a" and "b" are real numbers. "a" is the real part and "b" is the imaginary part. Keeping in mind that "i" squared is -1, we can go ahead and square our generic expression for any complex number:

i-88516ca505d84f969b7ab15a965c3fb3-2.png

The first term (a^2 - b^2) is the real part of the number z^2 and 2ab is the imaginary part of z^2. As such we're done if we just want to calculate numerical values. But we would like a bit better of a theoretical understanding as well. First, we see that the real part is zero if and only if a and b are equal. The imaginary part is zero if and only if one or both of a and b are also zero. So positive real numbers are sent to positive real numbers, imaginary numbers are sent to negative real numbers, and negative real numbers are sent to positive real numbers. Complex numbers will do something in between. In fact if we plot the arg(z^2) [Note: If you think of a complex number as a point on the complex plane, arg(z) represents the angle between the real axis and that point.], we'll get this:

i-7b7142f1efa09b47c3b8242f89bcb9f4-graph.png

If you think of the complex plane as a rubber sheet, this suggests that the function f(z) = z^2 both stretches the sheet radially and bends it in a counterclockwise direction. To verify this, we'll need to use the polar representation of complex numbers. That'll be a job for next week.

More like this

When we think of numbers, our intuitive sense is to think of them in terms of quantity: counting, measuring, or comparing quantities. And that's a good intuition for real numbers. But when you start working with more advanced math, you find out that those numbers - the real numbers - are just a…
After the amazing response to my post about zero, I thought I'd do one about something that's fascinated me for a long time: the number *i*, the square root of -1. Where'd this strange thing come from? Is it real (not in the sense of real numbers, but in the sense of representing something *real*…
I'm away on vacation this week, taking my kids to Disney World. Since I'm not likely to have time to write while I'm away, I'm taking the opportunity to re-run an old classic series of posts on numbers, which were first posted in the summer of 2006. These posts are mildly revised. After the…
Many of my SciBlings have been doing posts in which they define basic concepts in various scientific fields. For example, physicist Chad Orzel has done posts on Force and Fields, biologist P. Z. Myers has covered Genes, computer scientist Mark Chu-Carroll offers up wise words on Margin of Error…

Nice! 3-D is notable for its chirality. You graphed a right-handed propeller. Fundamental physical theory demands the universe and its mirror image work equally well. The universe disagrees, and increasing so for weaker interactions.

In complex space you see lots of interesting behavior the sheet cut as it is called that shows up in the plot is one example. I wish that gnuplot and more advanced programs had been around when I studied math in the early 70s. More pictures would have helped then.

Kinda cool ... but what's always puzzled me is the infinite number of densely-packed roots you get when you take a root that's irrational. At a guess - the complex number plane gets twisted into an infinitely long spiral by exponentation.

Paul, as I understand it, that is really related at some level to the failure of irrational powers to give you a well-behaved function. f(z)=z^n for positive integers n is trivially holomorphic while f(z)^-n is mereomorphic with a well behaved pole. Even the badness of f(z)^r where r is rational is reasonably well-behaved. But what you get depends closely on what r you pick. So if you want to think of z^a for an irrational a, you can't think of it as a limit of z^r with r being a sequence of rationals approaching z. So the only way to think of z^a is by using the exponential function. And in fact this gives us some insight to what is really going on. Suppose we want to solve for w^a = z. So we really have exp (a log w) = z. Now, assume we have such a w. Then exp(2inPi + a log w) = z for any n. That is, w' will also be a solution if w' = w * exp (log ((2in Pi) /a)) which makes the density issue more apparent because exp (log ((2in Pi) /a) can get arbitrarily close to 1.

This is a rough sketch. I may have screwed up some of the details but the basic idea can I think be made rigorous.

Hi,I'm Iranian. thx alot for gragh of z^2. that help me alot.