Group Abstract Group Abstract

Message Boards Message Boards

10
|
35.6K Views
|
142 Replies
|
38 Total Likes
View groups...
Share
Share this post:
GROUPS:

[WSG24] Daily Study Group: Introduction to Complex Analysis

Posted 1 year ago
POSTED BY: Marco Saragnese
142 Replies

Hi there! I hope this message finds everyone well. I have recently completed Proficiency in Complex Analysis Certification. I have happily posted my certificate credentials at LinkedIn, however, since I'm a newbie, I do not have much people around at LinkedIn, who can really understand how interesting of work I've accomplished. Thus, I humbly request my kind fellow members, who took up this course, to kindly check out my Certification post on LinkedIn and show some humble love in the comment section. If you can, I highly appreciate endorsing "Complex Analysis" as one of the skillsets that I posted on LinkedIn as learning outcome of this course. You can access in scroling down below on my LinkedIn profile. Your efforts mean alot to me and it will make my day better. Thanks in advance

Link to the post: https://www.linkedin.com/posts/syed-ramis-hussain-zaidi-272209247_wolfram-complexanalysis-mathematics-activity-7346631892537901056-6pee?utm_source=social_share_send&utm_medium=member_desktop_web&rcm=ACoAAD0TxjYBcRn80gLEaLhVjfYem-vraAkeous

I finally finished all the lessons, quizzes, and final exam. This was a useful and interesting course. I was surprised that no mathematics teacher of mine ever mentioned the story of how complex numbers were first used as a means of dealing with cubic equations.
In question 20 for the final exam, there did not seem to be a zero at z=2. Based on the formula, it appears that there is a pole instead of a zero at z=2.

Attachments:
POSTED BY: Joseph Smith

Hello Joseph,

Thank you for reaching out. I will follow up with you outide this post.

Best,

Christine Owens Wolfram U Project Manager Wolfram U

POSTED BY: Christine Owens

Thanks

POSTED BY: Joseph Smith

You are right... Thank you!

POSTED BY: Marco Saragnese

Thanks for your response! It took me a long time to work through all the lessons but I enjoyed this course.

POSTED BY: Joseph Smith

Hello I recently completed the final exam for the "Daily Cause of Complex Analysis" course, and I successfully passed. However, when I downloaded my Level 1 certificate, I noticed that it appears to have some kind of defect.

I have attached both the certificate and a screenshot of my progress window for you reference . Could you kindly investigate this issue and provide assistance in resolving it?

Thank you for your support.

Attachment

Question About Deforming Contours

POSTED BY: Joseph Smith
POSTED BY: Marco Saragnese
POSTED BY: Joseph Smith

POSTED BY: Joseph Smith
Posted 1 year ago

I completed the exam for "Introduction to Complex Analysis" awhile ago. The download link for the level 1 certification in the online course is active, but it doesn't work. Can this be fixed, or is there an alternative way to get the certificate?

POSTED BY: Mike Melko

FYI, there were questions about the use of stereographic representation. This recent post on Medium about the absence of antimatter in our universe may be of interest to some.

https://medium.com/the-infinite-universe/the-universes-missing-antimatter-may-be-all-around-us-c461c77f83ef

For Lesson 13 Problem 4, I can't see how the path for the horizontal section is rho(t)=1-2t with 1>t>-1 as stated in the solution. The path has a nonzero imaginary component. Isn't the path best described by rho(1)=1+it with t going from1 to -1?

POSTED BY: Joseph Smith

There is a typo in the exercises (thank you!). But I would propose rho(t) = 1+i-2t with 0<t<1. Your proposed path would, instead, be a vertical line.

POSTED BY: Marco Saragnese

Thanks so much for your reply

POSTED BY: Joseph Smith

Thanks so much for your reply

POSTED BY: Joseph Smith

I've written a large Notebook. The output and input cells are interspersed. I'd like to have all the output together in 3 Sections with Section names, say "General Results", "Case A Findings", and "Case B Findings". I'd like the 3 Sections to have Subsections, and the Subsections to have Subsubsections. All the output cells can be either after the end of all the input cells or in a separate Notebook. How can that be coded?

I know how to generate a new Notebook with Sections, etc. For example:

nb = CreateDocument[{ipSection = TextCell["Input Data", "Section"], 

   aSection = TextCell["General Results", "Section"], 

  bSection = TextCell["Case A Findings", "Section"]},

  WindowSelected -> True, 

  WindowTitle -> 
   "Analysis Created on " <> DateString[Today],

  NotebookFileName -> "Analysis_" <> ToString[Today]]

However, I don't know how to "Print" output into the new notebook (nb in the example). For example, if I have an output plot generated using ComplexPlot3D[...], how do I get that into the Notebook nb in a specified section (like bSection)? I found ResourceFunction["PrintAsCellObject"] but I've been unable to use it to do what I just described. I've also looked at Write, etc. and have not been able to develop any code that works. The simplest thing would be to direct all the output to "Print" at the end of all the input in designated Sections and Subsections. Are there some settings in Format > Option Inspector ... that might help?

POSTED BY: Gerald Dorfman

I just finished Quiz 3, and I found no answer was correct. The final two problems are binary answers, so I changed my answers to both, but they were still graded as wrong. I believe there was an error in the grading. Please take a look at the attached screenshots.

Attachment

Attachment

POSTED BY: Charles Glover
POSTED BY: Murray Wolinsky

I have not heard from anyone from Wolfram U about this issue. In my Quiz 3, all answers are still being graded wrong. Please see the original post. Answers to questions 4 & 5 are binary (Yes, No). NO MATTER what is chosen for the answer, it is graded as wrong.

POSTED BY: Charles Glover

In the solution to Chapter 9 Exercise 5 it is stated "The function is a conformal transformation at all points where it is analytic and where f'(z)!=0. " What does the notation f'(z)! mean?

I don't see how the quotient rule is being applied here to get the derivative of (z^2-1)/((3+z)(z-2i)).

Can anyone suggest what I am missing? screen shot of solution .

POSTED BY: Joseph Smith

In the c programming language (perhaps others) != means "not equal."

So "where f'(z) != 0" means "where f'(z) is not equal to 0."

POSTED BY: Murray Wolinsky

Thanks! Makes sense in context.

POSTED BY: Joseph Smith

Thanks

POSTED BY: Joseph Smith

The code in the D[] operator omits the (z+3) factor in the denominator of the function in the question. The solution is correct, if they meant the function (z^2-1)/(z-2i).

POSTED BY: Michael Rogers

The latest Veritasium video You're Probably Wrong About Rainbows dropped this morning. In his video, Derek Muller shines a laser of various frequencies on a glass sphere. He uses the laser to demonstrate the critical angle of the water droplets -- approximately 48 degrees (4π/15 radians). Aha! I immediately noticed the similarity of his angle-varying physical experiment to an abstract Riemann Sphere.

At ~9:45 in the video, Derek models the particles in the sphere as masses with springs. The excitation of those masses stores energy in those springs -- pushing the phase of the light (he calls it a "phase kick"). The influence of the light waves on the medium is highly dependent on its frequency. I'm familiar with alterations of the phase in capacitors and inductors, but I'd never contemplated its application to refraction. I have long advocated for an impedance model to understand the dynamics of musculoskeletal movement -- "rigid body dynamics is flat earth thinking about our posture and movement". This is a shining example of the role that energy storage and release plays in everything.

My brain is screaming, "What about Rayleigh Scattering!!!"; I'll save that exploration for another day.

I highly recommend the video. The kicker at the end about CTR Wilson's Nobel Prize is a great example of scientific curiosity going off on a remarkable tangent.

POSTED BY: Phil Earnhardt

You might enjoy "The origin of the refractive index," Chapter 31 of Volume 1 of the Feynman Lectures on Physics. You can find it online. It seems Derek Muller is following Feynman's treatment.

Note also that Rayleigh scattering is treated in the following chapter.

Feynman's lectures are amazing. I find this part of his work especially so.

POSTED BY: Murray Wolinsky

Hi;

A good amount of the material presented in this webinar involves calculating information about poles and the number of zeros (or zero crossings); however (even after completing the webinar), I don’t believe that I have a good understanding of the importance of these values and what to do with them - the why. I can understand that knowing about the poles and number of zeros in a function gives a better understanding of the function, but I am not sure why that is important and how it is used in the end. My best guess is that these areas are problem areas in the function and need to be somehow removed or worked around to allow calculus to be performed on the function.

Furthermore, I am not sure that I know exactly what a pole is. Using Mathematica’s function ComplexPlot3D they appear to be 3 dimensional objects but aren’t we working in a 2 dimensional plane with complex numbers – its confusion.

Additionally, the “number of zeros” calculation appears to be an extension of Calculus’s critical points, and they didn’t present a problem in non-complex calculus.

In any event, any information you could give that would give me a better understanding of why poles and number of zeros are important and how they are used would be greatly appreciated. I have some new tools but are not sure how to use them or what they mean.

Thanks,

Mitch Sandlin

POSTED BY: Mitchell Sandlin

Hi Mitchell,

Here are some connections. Connections to other fields may require some background for a full understanding, such as a course in the field. First a definition:

Def: $f(z)$ has a pole of integer order $k>0$ at $c$ if $(z-c)^kf(z)$ is holomorphic at $c$ but is not holomorphic for smaller powers $k$. Example: The following has poles of orders $1,2,3$ at $z=10,20,30$ respectively: $$f(z)={(z-40)^4 \over (z-10)(z-20)^2(z-30)^3} \,.$$

A number $c$ is a pole of order $k$ of $f(z)$ if it is a zero of multiplicity $k$ of $1/f(z)$. If we express the example above as a product, zeros and poles are distinguished by the sign of the exponent; otherwise, they are algebraically similar: $$f(z)={(z-40)^4 (z-10)^{-1}(z-20)^{-2}(z-30)^{-3}} \,.$$

Generalized mathematical significance (hope this isn't too abstract): Suppose we have a continuous object, such as a function $f_a(z)$ that varies continuously with one parameter/coefficient (or more) represented by $a$. And suppose there is a discrete quantity that is calculated from $f_a(z)$, such as the number of zeros or number of poles. Finally suppose that the discrete quantity can be proved to vary continuously with $a$. Then the discrete quantity is an invariant of $f_a(z)$. That is, it's constant.

Contrariwise, if the discrete quantity changes (is discontinuous), something interesting is probably happening with the functions $f_a(z)$ at the value for $a$ at which there is a discontinuity.

For instance, a meromorphic function on the Riemann sphere has a finite number of zeros and the same number of zeros ( $Z$) as poles ( $P$) counted with multiplicity and including poles/zeros at infinity. Thus $Z-P=0$. It is constant. You cannot change the number of zeros of $f_a(z)$ without also changing the number of poles in the same way (assuming $f_a(z)$ is meromorphic for all $a$). Example: $f_a(z)=z^2+a$ has two zeros because it has a pole of order $2$ at infinity (and vice versa).

More examples:

I suppose it's clear that solving equations has many applications, and the number of solutions has implications for the problem in which the equation arises. A solution to $f(z)=c$ is a zero of $g(z)=f(c)-c$.

I suppose it's also clear from the complex analysis course that the poles themselves are important in integration. Perhaps the number of them is not so significant, but it might sometimes be helpful to know how many there are.

An application: I suppose periodicity has been an important topic in mathematical physics and therefore in mathematics since humans noticed things like days, months, and years recur periodically. A periodic function has infinitely solutions to $f(z)=c$ if it has one. If $f(z)$ has infinitely many zeros, then it must have an essential singularity on the Riemann sphere (examples: $e^z$, $\sin z$, $\sin(1/z)$). Periodic functions must have this feature.

In control theory, the zeros and poles of the transfer function determine the behavior of a linear system. See MIT notes (read $2{du\over dt} + u$ for the RHS of the example at the top of page 2) or CalTech notes (read $e^{st}$ in the RHS of the equation between (6.6) and (6.7) on page 142).

POSTED BY: Michael Rogers

Hi Michael;

Thanks so much for the information you provided. I find it useful to get my hands a little dirty and work with the mathematics, which I did with the information you provided - see attached notebook. In the notebook, I have questions about the plotting of the function that you provided along with using the Limit[] function to determine the order of the function. Additionally, I included all my calculations, so if you find anything that I am doing incorrectly or not understanding, please let me know.

I certainly appreciate your help.

Thanks,

Mitch Sandlin

Attachments:
POSTED BY: Mitchell Sandlin

I ask for an explanation.

I successfully plotted 5 points on the complex function f[z]=Sqrt[(z+1)(z-1)], with Show[ComplexPlot3D, Graphics3D].

If I use the same procedure and plot the point p1=(1, 1, Abs[g[z1]] ), with z1=1+I, on the function g[z]=Log[z] the program does not work. Why? I attach my notebook.

Attachments:
POSTED BY: LORIS LORI

u is Labeled[Legended[Graphics3D[...],...],...]
v is Graphics3D[...]

Show[] can combine legended graphics and non-legended graphics. It doesn't seem to be programmed to combine labeled graphics.

My feeling is that this is plausibly a bug. If Show[] isn't supposed to handle labeled graphics, then it should say so. If it is supposed to handle them, then it failed. Further, the Rule[] error does not come from a user-specified rule, but from Mathematica. It suggests it has not been programmed carefully enough.

I'm not sure of the best workaround, but either of these is fairly simple:

u /. p_Graphics3D :> Show[p, v]

u /. p_Legended :> Show[p, v]
POSTED BY: Michael Rogers

A thousand thanks. I wouldn't have solved it without your help.

POSTED BY: LORIS LORI

In Example 24.1 the problem is solved using the function ContourIntegrate[], but also states that the problem can be solved using the function ResidueSum[]. However, the two functions give two different answers, and I don't understand why. No doubt, it is something that I am doing incorrectly, but I am not seeing it, so would someone please explain what I am doing incorrectly - See Attached Notebook.

Thanks,

Mitch Sandlin

Attachments:
POSTED BY: Mitchell Sandlin

You integrate on the boundary (Circle[]) and sum the residues in the interior (Disk[]):

ResidueSum[{z(z - 1)/((z - 2) (z - 3)), {Re[z], Im[z]} \[Element] 
   Disk[{0, 0}, 5/2]}, z]

By the Residue Theorem, you need to multiply the residue sum by $2 \pi i$ to get the value of the integral.

POSTED BY: Michael Rogers

Hi Michael; Thanks so much, your modification worked great. However, I do not understand why Circle[] did not work and Disk[] did. Can you tell me why Disk[] worked and Circle[] didn't? Also, I noted that in your modification, you defined the imaginary and real parts of "z" separately before executing Disk[], which also appears to be necessary.

Thanks,

Mitch Sandlin

POSTED BY: Mitchell Sandlin
POSTED BY: Michael Rogers
Posted 1 year ago

In the exercises for lesson 23 on calculating Residues, the solutions for Exercises 3 and 4 are done for double poles, but in both cases the poles appear to be single poles, as verified with FunctionPole.

POSTED BY: Donald Durack

This calculus class included complex analysis introduced us to numerous formulas and theories. Are there any comprehensive collections of all the formulas and theorems related to calculus? It can be challenging to remember everything, so having a resource that compiles them all would be incredibly helpful.

POSTED BY: Taiboo Song

Please emphasize what formula to remember and what formula to derive will be better to understand the calculus.

POSTED BY: Taiboo Song
POSTED BY: Marco Saragnese

in Lesson 21, Example 21.3. Laurent series of f(z)=e^(1/z) around z=0 is reported Sum z^(-n)/n! for n from 0 to infinitive. in Lesson 23, Example 23.2. Laurent series of f(z)=e^(1/z) around z=0 is reported Sum n! z^(-n) for n from 0 to infinitive. I think there is an error in example 23.2

POSTED BY: LORIS LORI

You are right, thank you. I'll have it fixed...

POSTED BY: Marco Saragnese
POSTED BY: Matthew Mawson

Question on notation in Section 12. Should the equation read the contour integral over C1 equals the contour integral over C2 (it says it equals the contour integral over negative C2)? I believe that C2 is defined as being in the clockwise direction, so the negative sign will naturally arise when the integral is done in the counterclockwise direction.

enter image description here

POSTED BY: Michael O'Connor
POSTED BY: Marco Saragnese
POSTED BY: Michael O'Connor

Thank you....

POSTED BY: Marco Saragnese

Are branch cuts in a unique location? In Lesson 5 exercise 3 we are asked to "describe the branch cuts" of the function Sqrt[(e^2+1)]. Given the definition from Wolfram Mathworld "A branch cut is a curve (with ends possibly open, closed, or half-open) in the complex plane across which an analytic multivalued function is discontinuous. For convenience, branch cuts are often taken as lines or line segments." The solution states: enter image description here

I can see from the figure that there are discontinuities for any line parallel to the Im axis for x>0. Is the branch cut where these discontinuities start or can the branch cut be anywhere x>0?

POSTED BY: Joseph Smith

The discontinuities are in half-lines parallel to the real axis, not the imaginary axis. And they are not for any half-lines, only for half-lines departing at points with coordinates (x,y) = (0, (2k+1)*pi ), which are the branch points of the function. At each branch point, a branch cut starts: the branch cuts here are half-lines in the direction of increasing real coordinate.

POSTED BY: Marco Saragnese
POSTED BY: Michael O'Connor

You are right... thanks again... I'll get it fixed

POSTED BY: Marco Saragnese

In Example 5.3, shouldn't the text read: "In other words, the branch cut corresponds to either z purely imaginary or to z real between -1 and 1."

enter image description here

POSTED BY: Michael O'Connor
POSTED BY: Marco Saragnese
POSTED BY: Michael O'Connor

You are right, I'll get it fixed

POSTED BY: Marco Saragnese
Posted 1 year ago

If f(z)=2+2z+ Sum(z^n), where n = 2,3, ..., Infinity, the output of SeriesCoefficient[f[z],{z,0,n}] is:

1 n>1

2 n==0||n==1

0 True

What does "0 True" mean?

POSTED BY: Updating Name
POSTED BY: Marco Saragnese

I've worked the quiz problems and they all make sense to me, except for one.The answer I get for Quiz 8, Problem 5 is present among the offered choices, but it's marked wrong by the grader.

I just tried the other three choices and found the one the grader likes, but I don't understand why.

Anyone else experience this -- or know why the answer marked correct is correct? I can get the answer it marks correct if I integrate over only half the unit circle.

As I said, the answers to all the other quiz problems make sense to me.

POSTED BY: Murray Wolinsky

You are right, I'll have it fixed. Thank you

POSTED BY: Marco Saragnese

Hello,

I have some questions about quizzes 8 and 9, specifically problems 5 and 2. For problem 5, I selected option C, and for problem 2, I chose option B. I cross-checked my answers using mathematical references and other reliable sources, which confirm that my answers are correct. However, the official answer key lists different alternatives. Could you please clarify if there might be any errors in the answer key?

Thank you for your assistance.

Best regards, Ricardo

POSTED BY: Marco Saragnese
POSTED BY: Mitchell Sandlin

If you can post a specific example I'll look at it. Otherwise, I would suggest following the steps in example 18.1 in the course materials and see if that helps.

POSTED BY: Marco Saragnese
POSTED BY: Paul Tikotin

I am reading the book. The legend for chapter 3 Fig.9 in the book says “Fig. 9 Vector Plot of z2+1=z2”. This puzzled me, so I checked notebook 3, and it says “Fig. 9 Vector Plot of f(z)=z2”, which I think is correct.

Thank you. I'll have it fixed.

POSTED BY: Marco Saragnese

The same mistake is in Fig. 10.

Hi;

Is there a straight-Forward method of producing a Stereographic Projection of a complex number? The examples given in our discussion materials seems extremely convoluted with several complex plots joined together with possibly some primitives added in.

Thanks,

Mitch Sandlin

POSTED BY: Mitchell Sandlin
POSTED BY: Phil Earnhardt
POSTED BY: Phil Earnhardt

Nice!

Even better (?) is the package pointed to in the reference.

BUT - it needs a package complexVisualize.m which I can't find. So I cannot do anything but look at the pretty pictures.

My knowledge of Mathematica is not up to the task of downloading and using packages...yet.

POSTED BY: Paul Tikotin
POSTED BY: Michael Rogers

In the Bonus Material we encounter the following figure: ![enter image description here][1]

Shouldn't the Riemann Sphere sit on the complex plane and only touch it at point {0,0}? If I am reading the figure correctly, it suggests the Riemann Sphere is bisected by the complex plane, which I believe is incorrect.

POSTED BY: Michael O'Connor

Hi Michael,

In my Complex Analysis textbook (Bak & Newman), the Riemann Sphere has unit diameter and sits above the complex plane tangent at $z=0$ (the origin), just as you say. It has the nice property that the equator maps to the unit circle.

In my code, I used a sphere with a unit radius, since this seemed to be quite common in a google search. I thought maybe things had changed since I took the course. The equator in this model is nothing special, though.

I have seen before the Riemann Sphere presented as the standard unit sphere (unit radius centered at the origin) so that the complex plane cuts it in two. This model seems less common to me. It does have the property that the equator is the unit circle.

All three models are effectively equivalent: Any proof or explanation based on one can be translated to another, changing projection formulas if necessary. In all three, the south pole corresponds to $z=0$ and the north pole to $z=\infty$, which is convenient.

Because of this, it seems more a matter of convention than correctness to me. I personally prefer the tangent-sphere models to the sphere centered at the origin. (And I like the unit diameter one better than the unit radius one, but I went with the peer-pressure of google in my previous reply.) Possibly the one centered at the origin is easier to deal with pedagogically.

POSTED BY: Michael Rogers
Posted 1 year ago
POSTED BY: Tingting Zhao

Hi Tingting,

The only problem is if the "north pole" $N$, the point that you connect with $z$, lies in the complex plane. If it's not in the complex plane, then the line through $N$ and $z$ intersects the sphere in another point $P(z)$, which we may define as the projection of $z$ onto the sphere.

If the sphere is tangent to the complex plane at $N$, then all lines through $N$ and $z$ are tangent to the sphere at $N$. The projection is undefined. (Or all numbers $z$ are projected onto $N$, which is pretty useless.)

POSTED BY: Michael Rogers
Posted 1 year ago

I suppose if we choose to use lines instead of rays for projection then after the sphere moved below the complex plane the projection will be an inverse image of the one from above?

POSTED BY: Tingting Zhao
POSTED BY: Michael Rogers
POSTED BY: Phil Earnhardt

Thank you, This is nice and will, I hope, give me some basis for experimentation. I would like to define my own shapes on the sphere and see the mapping not the plane.

POSTED BY: Paul Tikotin
Posted 1 year ago

In Lesson 13, in the proof of Cauchy's Theorem, I think there is a sign error in the first (left) integrand. I think partial of u with respect to y (du/dy) should have a negative sign in accordance with Green's Theorem. Then, the Cauchy-Riemann equations yield that the first integrand is 0. Is that the case?

POSTED BY: Updating Name

You are correct, I'll have it fixed. Thank you!

POSTED BY: Marco Saragnese

The same problem comes up in the following figure 10

Lesson 9 states "for the limit of a complex function to exist, it must exist no matter the direction by which it is approached." Is a necessary and sufficient condition for this that the limit exists and is the same for all approaches along straight lines? Is it possible for the limit to exist and be the same for all approaches along straight lines but for that not to be the case when approaching along some curve that is not a straight line?

POSTED BY: Gerald Dorfman

I don't think that the existence of the limit along all straight lines is sufficient for the existence of the complex limit. After all, it is not so in two-variable calculus. I will try to look for an explicit counterexample.

POSTED BY: Marco Saragnese
POSTED BY: Michael Rogers
Attachments:
POSTED BY: Gerald Dorfman

Michael, I've written some code that enhances the ComplexPlot3D display of the function

f[z_] := ((z + Conjugate[z])^2 (z - 
      Conjugate[z]))/((z - Conjugate[z])^2 - (z + Conjugate[z])^4)

The code is in the attached Notebook, file ComplexLimitCounterExample_16nov24.nb .

From the plots, it appears that the values of function f have only two arguments (angles with the real axis) and that they are determined by whether Im[z} is positive or negative. I have not analyzed f to confirm this. Am I correct? Do you see a simple analysis to determine this?

BTW, "Calculus Volume II" by Tom M. Apostol, Copyright 1962 by Blaisdell Publishing Company has on page 70 a simple real-valued function of two real variables that is not continuous at 0 even though approaching 0 along either axis has limit 0. However, when approaching 0 along the line x = y, its limit is 1/2. Here is the function:
f(x,y) = x*y / (x^2 + y^2) if (x,y) != (0,0) and f(0,0) = 0.

Attachments:
POSTED BY: Gerald Dorfman

Michael, I took a look at the function f(z)=(z−z∗)(z∗+z)^2 / ( (z−z∗)^2 − (z∗+z)^4 ). I assume that you intend z* to denote the complex conjugate of z. f(z) is a real valued function because ( z - z* ) = 2 * Im(z) and ( z* + z ) = 2 * Re(z). For that reason, I don't understand why i (the square root of -1) appears in the value of the function f along either the straight line ( f((a+ib)t) ) or the parabola ( f(ta+ibt^2) ).

On a side note, if a real valued function of a complex variable has a derivative at any point, that derivative must be zero. So, if it has a derivative everywhere in an open set (region), the function must be a constant. To see that, if we approach a complex point z0 along a vertical line, then the derivative is the limit as h approaches 0 of ( f(a + i h) - f(a) ) / ( i h ). The numerator is real and the denominator is complex but f is real. So the derivative must be zero. A slightly more detailed description of this is provided on page 23 of "Complex Analysis" second edition by Lars V. Ahlfors, copyright McGraw-Hill, 1966.

POSTED BY: Gerald Dorfman
POSTED BY: Marco Saragnese

Marco, My mistake. Thanks for the correction.

POSTED BY: Gerald Dorfman

Hi Gerald,

For some reason, I wasn't notified of your replies. Since Study Group threads get long, I didn't happen to see them until today. Nice notebooks, btw. You asked:

From the plots, it appears that the values of function f have only two arguments (angles with the real axis) and that they are determined by whether Im[z} is positive or negative. I have not analyzed f to confirm this. Am I correct? Do you see a simple analysis to determine this?

I think the following shows it:

ClearAll[f]
f[z_] := ((z + Conjugate[z])^2 (z - 
      Conjugate[z]))/((z - Conjugate[z])^2 - (z + Conjugate[z])^4)

ComplexExpand[f[z], z, TargetFunctions -> {Re, Im}] // Simplify

(*  -(2 I Im[z] Re[z]^2)/(Im[z]^2 + 4 Re[z]^4)  *)

Note the squares on Re[z] and Im[z] except for the factor of Im[z] in the numerator. The argument of f[z] is the same as the argument of -I Im[z], which is -Pi/2 when Im[z] > 0 and Pi/2 when Im[z] < 0.

In a different reply, you remarked:

On a side note, if a real valued function of a complex variable has a derivative at any point, that derivative must be zero.

Right. It was this sort of thing I had in mind when I prefaced my example with, "If we are considering arbitrary functions of a complex variable $z$..." [emphasis added]. The function f[z] is not complex-differentiable.

POSTED BY: Michael Rogers

Hi Michael, Thanks for the simple and clear analysis that shows that the only 2 arguments of f(z) are Pi/2 and -Pi/2, where

f[z_] := ((z + Conjugate[z])^2 (z - 
      Conjugate[z]))/((z - Conjugate[z])^2 - (z + Conjugate[z])^4)

I had not seen previously the Option TargetFunctions that you used to quickly resolve my question in the instruction

ComplexExpand[f[z], z, TargetFunctions -> {Re, Im}] // Simplify
POSTED BY: Gerald Dorfman

What can you say about physical analogues to Residue Theory -- how it applies to physics, electromagnetism, etc.? I found myself completely disconnected to what a "residue" means -- how a number of singularities has physical significance. What is the significance of the orthogonality of harmonics? As a professor, how to you create the engagement/pertinence of these abstract concepts, @Michael? I can search and ask the AIs, but I wanted to know what you and @Marco can say personally. Thank you.

POSTED BY: Phil Earnhardt
Posted 1 year ago

I think Phil's question might have got posted in the wrong spot and missed, but nice I'm interested in the answer too, I thought I would add this reply to try to re-highlight it

POSTED BY: Graham Gyatt
POSTED BY: Michael Rogers

Notebook attached.

Attachments:
POSTED BY: Joseph Smith
POSTED BY: Marco Saragnese

Thanks so much for your response!

POSTED BY: Joseph Smith
POSTED BY: Gerald Dorfman

In that code, Labeled applies to the whole Row object,

(Row[...]) // Labeled[#, "......"]&

Consider the difference between:

Row[{a, b, c}] // Labeled[#, "mylabel"] &

and

Map[Labeled[#, "mylabel"] &, Row[{a, b, c}], {2}]

Hope this helps

POSTED BY: Marco Saragnese

I think I see the answer to my question. The Postfix code is just a function; no Map (/@) is specified.

POSTED BY: Gerald Dorfman

Marco, Thanks. Our replies crossed. I came to the same conclusion as indicated in your reply.

POSTED BY: Gerald Dorfman

[]

For figure 2 lesson 3, is the caption correct?

POSTED BY: Joseph Smith

You are right, I'll have the caption fixed.

POSTED BY: Marco Saragnese

Trying to catch up here. Surely this is a simple question. When plotting Re[z] and Im[z], shouldn't these plots be confined to either the {z, Re[z]} or the {z,Im[z]} planes? I don't see why these plots appear to be surfaces in 3 dimensions.

Thanks!

Attachments:
POSTED BY: Joseph Smith

The idea behind that plot is to look at the function f(z)=z^2 as a complex function of the complex variable z. The horizontal plane is the z plane, so if you write z = x + I * y, the x axis corresponds to Re[z] and the y axis to Im[z]. Remember that Re[f(z)]=Re[z^2] is real-valued. So, it will be a surface in the plot, constructed as follows: the height of the surface at coordinates (x,y) is Re[(x+I*y)^2]. Don't confuse the meaning of z (a complex number) with the vertical axis of the plot. For example, try calculating the height of the yellow curve at the point (1,2) which corresponds to z=(1+2* I) . It will be Re[(1+2* I)^2] = -3.

POSTED BY: Marco Saragnese

I am wondering about the history of complex numbers, Girolamo and Rafel, in 16C. How did they find the need, and what profession both were in? Did mathematician careers exist in 16C?

POSTED BY: Taiboo Song
POSTED BY: Marco Saragnese

Thxs, Marco.

I am wondering how you got into complex number analysis. What trigger made you enter this field?

POSTED BY: Taiboo Song

I studied physics at the university and complex analysis was a required course.

POSTED BY: Marco Saragnese

In the European tradition of philosophy, Plato famously asked (demanded?) a knowledge of mathematics from his students. At that time, I think, mathematics was considered as part of Logic which was an essential component of philosophy.

The Pythagorean School (much earlier than Plato) also took mathematics very seriously, but the school looks quasi religious by today's (western) standards.

POSTED BY: Paul Tikotin

Although I have encountered and used complex numbers over the decades, I never understood what motivated their introduction until your first lecture. Thanks.

POSTED BY: Joseph Smith

Can you comment on the significance or the application of the Riemann sphere concept? Why should it matter how lines or circles in the complex plane map to the sphere?

POSTED BY: Joseph Smith
POSTED BY: Marco Saragnese

Wow. That needs to find itself into some SciFi story about space travel. Love it. Thanks.

POSTED BY: Carl Hahn

I was also going to recommend Penrose's book; it's a good read!!

POSTED BY: Charles Glover

Hi Joseph,

The Riemann sphere is a way to understand the role of infinity in complex analysis. To understand functions of a complex variable is a mathematical application, but it is important and the one for which the Riemann sphere was invented. To fully understand it, one needs to know some (differential) topology, which I will not attempt to explain. I will state some facts and hope they will be intelligible enough that they will be motivating. The upshot is this: The Riemann sphere is a really good, accurate model for understanding analytic, complex-valued functions. Every point on a sphere looks the same by symmetry. Via the Riemann sphere we can define limits, derivatives etc. at infinity and treat infinity just like any other complex number.

Every nonconstant rational function $R(z)=P(z)/Q(z)$, with $P$ and $Q$ polynomials, maps every point on the Riemann sphere to another point on the sphere; and further, every point is the value of $R(z)$ for at least one point $z$.

  • $R(z)=1/z$ maps $0$ to $R(0)=\infty$ and $\infty$ to $R(\infty)=0$.
  • ${1 + 2z^2 \over 12 - 3 z^2}$ maps both $\pm2$ to $R(\pm2)=\infty$ and $\infty$ to $R(\infty)=-2/3$.

To get to another part of your question, it turns out that the only differentiable symmetries (a.k.a. "diffeomorphisms" in differential topology) of the Riemann sphere as a model of complex analysis are fractional linear transformations, a.k.a Möbius transformations: $$z \mapsto {az+b \over cz + d}$$ Fractional linear transformations map circles and lines in the complex plane to circles and lines. Circles and lines in the complex plane correspond to circles on the Riemann sphere, and so the Riemann sphere gives a unified look to them. It's not incorrect to think of a line as a circle with an infinite radius in this context.

Symmetries play an important role in understanding how things are related. For instance, $1/(z-2)$ is just the function $1/z$ translated over two units. What one knows about $1/z$ corresponds to the same facts about $1/(z-2)$ translated over. Likewise, knowledge about $1/z$ corresponds to the same facts about $(1+i)/z$, but with function values scaled by $1+i$. Fractional linear transformations, then, are the ways that one can translate facts about the derivatives etc. of a given function $f(z)$ to other functions. If $f(z)$ and $g(z)$ are related by such symmetries, then they are essentially the same function, with locations and values connected by the symmetries.

A particular class of functions that is important in this context is the class of functions that can be represented by power series. You should get to that later in the course.

You will also see other ways that infinity is important in this course (poles, residues, to name two). Going beyond the course, in topology I learned why the first type of integral below is easy and taught in first-year calculus and why the second has books written about them: $$(1)\ \int {dx \over \sqrt{\text{quadratic polynomial}}} \qquad (2)\ \int{dx \over \sqrt{\text{cubic polynomial}}}$$

The characterization of fractional linear transformations in terms of lines and circles makes even more geometric (and visual) the projection connecting the Riemann sphere and the complex-number plane. That possibility of visualization also makes WL/Mathematica a particularly good tool to use to explore complex analysis.

POSTED BY: Michael Rogers
Posted 1 year ago

Hi Michael, What references (texts) would you recommend for studying the topics "(differential) topology" and integrals of the form (2) that you referred to?

POSTED BY: Gerald Oberg
POSTED BY: Michael Rogers
POSTED BY: Joseph Smith
POSTED BY: Marco Saragnese
Posted 1 year ago

Lesson 2 The Complex Plane

There might be an error in the proof for the formulas of the stereographic projection: "... And because the triangles (0,z,N) and (z',z,Overscript[z, ^]) are similar, then |z'|/|z|=1/(1-Z)...."

correct: |z|/|z'|=1/(1-Z) <--- This formula was used for the rest of the proof. The formulas itself are valid.

POSTED BY: Ulf Schmidt

You are correct, thank you!

POSTED BY: Marco Saragnese
Posted 1 year ago

Attached is an updated list of the References provided, with a link to the publisher’s page first and then a link to the corresponding Amazon page.

Attachments:
POSTED BY: Gerald Oberg

Thxs, Gerald for the updated references. Do any books cover aerospace applications that use complex numbers?

POSTED BY: Taiboo Song

This is not a specific answer to your question...but

The Schaum's Outline text gives some physical examples relating to fluid flow in the chapter on Conformal Transformations.

POSTED BY: Paul Tikotin

So, I asked this question during the lecture and Marco did not have an answer for it. I had never heard of the stereographic projection of complex numbers. I was wondering if anybody knows of a practical application for it. It seemed to me that it might be used in modulation/coding theory or maybe image recognition problems but I'm just shooting in the dark. Anybody know?

POSTED BY: Carl Hahn
Posted 1 year ago

I think maybe complex vectors on a unit sphere?

POSTED BY: Tingting Zhao

This method is used to produce a map from a sphere to a cartesian plane. Say for example to show a flat map of the spherical Earth.

POSTED BY: Paul Warburton

I tried to describe the only application I know of in a reply to Joseph Smith, above.

POSTED BY: Marco Saragnese
Posted 1 year ago

Oooo, bro set x = s + t so that he can cancel the imaginary numbers in certain conditions. Noice!

POSTED BY: Tingting Zhao
Posted 1 year ago

I find the projection of the Reimann sphere is extremely distorted. I prefer that both sides of the sphere be projected on the inner disk separately so that the two projections have symmetry.

POSTED BY: Tingting Zhao

Please look at the 3rd question in Quiz 1. The question asks whether a given point is stereographically projected into the lower or the upper hemisphere of the Riemann sphere. In fact, the magnitude of the point is exactly 1, so that the given point lies on the equator. But that's not an available answer.

So, what's the right response?

POSTED BY: Murray Wolinsky
Posted 1 year ago

Yes, I have the same answer as you.

POSTED BY: Tingting Zhao

yeah, I noticed that too. I picked North since the equator was not available. It said it was the wrong answer.

POSTED BY: Carl Hahn

You are right, I'll have the exercise fixed. Thanks

POSTED BY: Marco Saragnese
Posted 1 year ago
POSTED BY: Henry Ward

Marco has worked hard to create this superb introduction to complex analysis which is one of the most beautiful and useful branches of mathematics.

I strongly recommend this study group to everyone!

POSTED BY: Devendra Kapadia
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard