关于使用辐角原理定位多项式零点的技术咨询

Hey James, let's walk through how to use the argument principle (and its handy corollary, Rouché's Theorem) to locate the zeros of your polynomial ( p(z) = z^9 - 8z^2 + 5 ). I get that wrapping your head around argument changes can feel confusing at first, so we'll break it down into concrete, manageable steps.

First, a quick recap of the argument principle: For a simple closed curve ( C ), if ( p(z) ) is analytic inside ( C ) and has no zeros or poles on ( C ), the number of zeros inside ( C ) is equal to ( \frac{1}{2\pi} \times ) the total change in the argument of ( p(z) ) as we traverse ( C ) once counterclockwise. Rouché's Theorem often makes this easier by letting us compare the magnitudes of the polynomial's terms on ( C ), instead of calculating the argument change directly.

Step 1: Zeros inside the unit circle ( |z| = 1 ) #

On the unit circle, ( |z| = 1 ), let's compare the magnitudes of the terms:

• ( |z^9| = 1^9 = 1 )
• ( |-8z^2 + 5| \geq \left| |8z^2| - |5| \right| = |8 - 5| = 3 ) (using the reverse triangle inequality)

Since ( |-8z^2 + 5| > |z^9| ) everywhere on ( |z|=1 ), Rouché's Theorem tells us ( p(z) = (-8z^2 + 5) + z^9 ) has the same number of zeros inside ( |z|<1 ) as ( -8z^2 + 5 ). Solving ( -8z^2 + 5 = 0 ) gives ( z = \pm \sqrt{\frac{5}{8}} ), both of which are inside the unit circle (since ( \sqrt{\frac{5}{8}} < 1 )). That means 2 zeros lie inside ( |z| < 1 ).

To verify this with the argument principle directly: As we traverse ( |z|=1 ), ( p(z) ) behaves almost exactly like ( -8z^2 +5 ). The function ( -8z^2 +5 = 5 - 8e^{i2\theta} ) (where ( z = e^{i\theta} )) traces a circle centered at (5,0) with radius 8, twice (since ( \theta ) goes from 0 to ( 2\pi ), ( 2\theta ) goes from 0 to ( 4\pi )). This circle encloses the origin, so the total argument change is ( 4\pi ). Dividing by ( 2\pi ) gives 2 zeros—matches our Rouché's result.

Step 2: Zeros inside the circle ( |z| = 2 ) #

Now let's check a larger circle where the leading term dominates. On ( |z|=2 ):

• ( |z^9| = 2^9 = 512 )
• ( |-8z^2 +5| \leq |8z^2| + |5| = 8*(2^2) +5 = 37 )

Here, ( |z^9| ) is way larger than the rest of the terms. Rouché's Theorem says ( p(z) = z^9 + (-8z^2 +5) ) has the same number of zeros inside ( |z|<2 ) as ( z^9 ), which has 9 zeros (all at the origin, with multiplicity 9). So all 9 zeros lie inside ( |z| < 2 ).

Using the argument principle here: As we go around ( |z|=2 ), ( p(z) \approx z^9 ), so the argument changes by ( 9*2\pi = 18\pi ). Dividing by ( 2\pi ) gives 9 zeros—perfect, that lines up.

Step 3: Narrowing down further (optional) #

If you want to find zeros in specific regions (like the right half-plane, upper half-plane, etc.), you can use a semicircular contour (e.g., the real axis from -R to R plus the upper semicircle of radius R). For each contour, you'd analyze the argument change on each segment of the curve.

For example, to check the right half-plane, you'd use the contour consisting of the imaginary axis from -iR to iR plus the right semicircle of radius R. You'd then compare terms on each part of the contour to see how the argument changes.

Try testing these contours if you need to pinpoint zeros more precisely—just let me know if you hit a snag on any step!

备注：内容来源于stack exchange，提问作者James R.