Complex numbers - need confirmation

[Mentallic]

Homework Statement

Given $$P(z)=4z^3-2z+1$$ where $$z=cost+isint$$, find the maximum and minimum modulus on the argand diagram for the graph as t moves from 0 to $2\pi$.
I want to check if my solution is valid, and if there is an easier approach to it because I do somewhat answer the question, but I skip all the nitty-gritty arithmetic at the end since it's too overwhelming for me to solve by hand.

The Attempt at a Solution

Substituting z(t) into P(z) gives:

$$P(z)=4cos(3t)-2cost+1+i(4sin(3t)-1)$$

$$P(z)=16cos^3t-14cost+1+isint.(10-16sin^2t)$$

$$|z|=\left(\left(4cos(3t)-2cost+1\right)^2+\left(4sin(3t)-2sint\right)^2\right)^{\frac{1}{2}}$$ --- (1)

$$\frac{d|z|}{dt}=\frac{1}{2}\left(\left(4cos(3t)-2cost+1\right)^2+\left(4sin(3t)-2sint\right)^2\right)^{\frac{-1}{2}}$$
$$\left(2\left(4cos(3t)-2cost+1\right)\left(-12sin^3t+2sint\right)+2\left(4sin(3t)-2sint\right)\left(12cos(3t)-2cost\right)=0$$We're only interested in the numerator to equal zero, therefore,

$$\left(4cos(3t)-2cost+1\right)\left(-12sin^3t+2sint\right)+\left(4sin(3t)-2sint\right)\left(12cos(3t)-2cost\right)=0$$

Expanding and simplifying, which has nice cancelling and so makes this seemingly difficult task into something much easier.

Expanded: $$-48cos(3t)sin(3t)+8sintcos(3t)+24costsin(3t)-4costsint-12sin(3t)+2sint=0$$

Simplified: $$=-12sin(3t)+16sin(2t)+2sint$$ --- (2)

By De'Moivres Theorem: $$sin(3t)=-4sin^3t+3sint; sin(2t)=2sintcost$$

From (2), converting into trig powers: $$=48sin^3t-36sint+32costsint+2sint$$

$$2sint\left(24cos^2t-16cost-7\right)=0$$

Hence, $$sint=0, t=2k\pi$$, $$k \in Z$$

and, $$24cos^2t-16cost-7=0$$

$$cost=\frac{4\pm \sqrt{58}}{12}$$

Finding out the answer graphically (because it's easier on me),

$$t=cos^{-1}\left(\frac{4-\sqrt{58}}{12}\right)$$

Hence, by graphically means again,

min |z| occurs when $$t=\pi(2k+1)$$

max |z| occurs when $$t=(-1)^k\left(cos^{-1}\left(\frac{4-\sqrt{58}}{12}\right)-\frac{\pi}{2}\right)+\frac{\pi}{2}(2k+1)$$

Now, substituting t into (1) to find min |z|, we get |z|=1

However, for max |z| the arithmetic is too tricky.

$$cost=\frac{4-\sqrt{58}}{12}$$; $$sint=\frac{\sqrt{70+8\sqrt{58}}}{12}$$

Therefore, $$|z|^2=\left(16\left(\frac{4-\sqrt{58}}{12}\right)^3-14\left(\frac{4-\sqrt{58}}{12}\right)+1\right)^2+\left(\frac{70+8\sqrt{58}}{144}\right)\left(10-\frac{70+8\sqrt{58}}{9}\right)^2$$

I don't want to expand these trinomials, make an arithmetic error in the process early on, then finally after all the
sweat and tears find the answer is incorrect.
There must be an easier way!

 

[Jmf]

Yikes, that's some scary algebra :)

I had a go, and the first simplification is to write:

$$z = e^{jt}$$

then P becomes:

$$P(z) = 4\angle{3t} - 2\angle{t} + 1$$

(where I'm using the angle notation instead of e to the power of)

Now this is where I go totally anti-mathematical and lose all pretense of rigor (I'm an engineer, really, not a mathematician):

If we imagine drawing P(z) as a sum of vectors in the complex plane, we have the sum of a vector magnitude 1 with angle 0 (measured anticlockwise from positive real axis), a vector magnitude 2 with angle $$t + \pi$$ (in radians, and plus pi thanks to the minus sign in P), and a vector magnitude 4 with angle 3t.

Intuitively, adding the vectors 'tip-to-tail', we can see that the minimum modulus will be 1, which is when the vectors of magnitude 1 and 2 are pointing the opposite direction to that of magnitude 4. This happens for $$t = \pi$$.

Irritatingly, there isn't a value of t for which all three will align in the same direction, which would give the maximum modulus. So perhaps we're stuck with an analytical method to find that. I'll give it some more thought.

 

[Mentallic]

Anti-mathematical? Blasphemy!

And I'm going to have to give some thought about what you did to find the minimum modulus, seems interesting but hard for me to understand with my choppy vector skills.

Thanks for the input by the way!

 

[Jmf]

You're welcome :)

Actually, I've an interesting geometrical way of thinking about the maximum modulus problem, though it doesn't really help us get any more than a vague idea of where the solution should lie:

P(z) is just a polynomial, so we can factorise it into the form:

$$P(z) = (z-\alpha_1)(z-\alpha_2)(z-\alpha_3)$$

Where $$\alpha_n$$ are just the roots of P(z) = 0. In this case these are (roughly anyway, the exact solution for them is not very nice, which is why this problem leads to such horrid working out):

$$\alpha_1 = 0.442323 + j0.294871$$
$$\alpha_2 = 0.442323 - j0.294871$$
$$\alpha_3 = - 0.884646 + j0$$

Notice that the first two are complex conjugates, and the third is real. Recall that the modulus of a product is the product of the moduli, and our modulus of P(z) becomes:

$$|P(z)|=|z-\alpha_1||z-\alpha_2||z-\alpha_3|$$

Each of these product terms is, in the complex plane, the distance between our value of z and the root (a value of alpha). So in maximising the modulus we are looking for the point in the complex plane where the product of these three distances is a maximum. Remember that z is constrained to lie on the unit circle by $$z = cos(t) + jsin(t)$$, and draw yourself a picture:

I've attached a horrible mspaint sketch of what I mean. :) What the problem is, in this context, is looking for the point on the unit circle (which I've done in blue[/color]) where the product of the distances a b and c is a maximum (as labelled on my sketch in green[/color]. The roots (alphas) are in red[/color]). By inspection this should happen somewhere around the point which I have those three lines running to.

Note also that by symmetry, once we've found this point, it's complex conjugate will also be a point for which the magnitude is a maximum. So we can see that we are looking for two solutions, one (by inspection) somewhere near $$t = \frac{2\pi}{3}$$ and another near $$t = \frac{4\pi}{3}$$ (such that the two corresponding values of z are conjugates).

Don't worry if I make no sense, by the way, that's just my way of thinking of the problem. I don't much like algebra. ;-)

If nothing else, this should at least serve as a way of telling you if your solution above is correct. If you like, you could draw P(z) as a sum of vectors on an argand diagram for t = 2pi/3 and check that it's modulus is quite big.