{"id":6995,"date":"2020-03-11T11:03:07","date_gmt":"2020-03-11T15:03:07","guid":{"rendered":"https:\/\/blogs.mathworks.com\/community\/?p=6995"},"modified":"2020-03-12T11:53:55","modified_gmt":"2020-03-12T15:53:55","slug":"square-root-real-estate","status":"publish","type":"post","link":"https:\/\/blogs.mathworks.com\/community\/2020\/03\/11\/square-root-real-estate\/","title":{"rendered":"Visualizing Square Roots with Elias Wegert"},"content":{"rendered":"

Quick, what’s the square root of -1? Okay, I know. That’s an easy one. But how about the square root of i? If it’s been a while since you took complex analysis, you might have to scratch your head a little bit. Fortunately, MATLAB can just tell us. <\/p>\n

i = sqrt(-1)\r\n<\/pre>\n
i = 0.0000 + 1.0000i\r\n<\/pre>\n
z = sqrt(i)\r\n<\/pre>\n
z = 0.7071 + 0.7071i\r\n<\/pre>\n
Naturally, this is just one of two square roots. The negative value of this will do just as well.<\/p>\n
[z -z].^2\r\n<\/pre>\n
ans = 1×2 complex<\/em>\r\n\r\n   0.0000 + 1.0000i   0.0000 + 1.0000i\r\n\r\n<\/pre>\n
But we’ll stick to just one of the two square roots for now. If we look at what’s happening on the complex plane, what is the relationship between i and its square root? <\/p>\n
plot([i z],'o-'<\/span>,'LineWidth'<\/span>,2)\r\ndrawUnitCircle\r\n<\/pre>\n
\"\"<\/p>\n
We can see that it’s moved along the unit circle to a point halfway between 0 + 1i and 1 + 0i.<\/p>\n
This suggests a pattern. Let’s add in some intermediate values. What happens if we look at a whole range of powers of i from 1 to 0.5? <\/p>\n
pow = linspace(1,0.5,50);\r\nz = i;\r\nplot(z.^pow,'LineWidth'<\/span>,2)\r\nhold on<\/span>\r\nplot([i sqrt(i)],'o'<\/span>,'LineWidth'<\/span>,2,'Color'<\/span>,[0 0.4470 0.741])\r\ndrawUnitCircle\r\nhold off<\/span>\r\n<\/pre>\n
\"\"<\/p>\n
Now we see that the point i^n moves along the unit circle for n between 1 and 0.5.<\/p>\n
Let’s look at a bunch of random points.<\/p>\n
pow = linspace(1,0.5,50);\r\nfor<\/span> n = 1:50\r\n    z = randn + i*randn;\r\n    plot(z.^pow)\r\n    hold on<\/span>\r\nend<\/span>\r\nhold off<\/span>\r\ndrawUnitCircle\r\n<\/pre>\n
\"\"<\/p>\n
If we consider the points in polar coordinates, such that<\/p>\n
\"square_roots_eq01\"<\/p>\n
then in every curve the angle theta is being divided by two and the radius r is going to sqrt(r), just as Abraham de Moivre tells us.<\/a><\/p>\n
\"square_roots_eq03\"<\/p>\n
This is all just a setup for a magnificent File Exchange contribution from Elias Wegert<\/a>. Because the question we now face is this: how can we visualize, in a single plot, what the square root function is doing to the entire complex plane? This is a subtle question with many possible answers. Elias’s code, Phase Plots of Complex Functions<\/a>, gives us multiple ways to do it. <\/p>\n
Here’s one example. If you color the complex plane like this<\/p>\n
z = zdomain(-2-2i,2+2i);\r\nPhasePlot(z,z,'w'<\/span>);\r\n<\/pre>\n
\"square_roots_04\"<\/p>\n
then this is what it looks like after you take the square root.<\/p>\n
PhasePlot(z,sqrt(z),'w'<\/span>);\r\n<\/pre>\n
\"square_roots_05\"<\/p>\n
What just happened? Animations can be helpful here. <\/p>\n
Here is the transformation from z to f(z). The unit circle is superimposed.<\/p>\n
\"square_roots_06\"<\/p>\n
You can see there is a sort of “folding together” going on. Here is the exact same thing shown with a different visualization coloring. <\/p>\n
\"square_roots_07\"<\/p>\n
Which visualization is the best? That’s for you to decide. Elias lets you choose from a selection of 21!<\/p>\n
Once you’ve built up an appetite with simple functions like square root, no doubt you’ll want to sample stronger fare.<\/p>\n
Stand back and keep your fingers away from the complex plane or you might get hurt. Here is <\/p>\n
\"square_roots_eq04\"<\/p>\n
z = zdomain(-2-2i,2+2i);\r\nw = (z.^2 - 1).*(z + 2-1i).^2 .\/ (z.^2 + 2-2i);\r\nPhasePlot(z,w,'c'<\/span>);\r\n<\/pre>\n
\"square_roots_08\"<\/p>\n
Yowza! By now, you may be ready to download one of Elias’s Complex Beauties calendars<\/a>. Go look at them. You won’t be disappointed! I particularly like the Ginzburg-Landau equation for September 2017 (which has a nice chebfun<\/a> tie-in). <\/p>\n
Finally, we should note that MATLAB ships with its own function for visualizing complex roots. Here it is with our own cplxroot function. By representing the real component of the answer as height in the z axis, this visualization lets us represent multi-valued results, like  <\/p>\n
\"square_roots_eq05\"<\/p>\n
      . <\/p>\n
\"square_roots_09\"<\/p>\n","protected":false},"excerpt":{"rendered":"
<\/div>\n
Quick, what’s the square root of -1? Okay, I know. That’s an easy one. But how about the square root of i? If it’s been a while since you took complex analysis, you might have to… read more >><\/a><\/p>\n","protected":false},"author":69,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"_links":{"self":[{"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/posts\/6995"}],"collection":[{"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/users\/69"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/comments?post=6995"}],"version-history":[{"count":12,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/posts\/6995\/revisions"}],"predecessor-version":[{"id":7071,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/posts\/6995\/revisions\/7071"}],"wp:attachment":[{"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/media?parent=6995"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/categories?post=6995"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.mathworks.com\/community\/wp-json\/wp\/v2\/tags?post=6995"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}