Skip to main content
added 215 characters in body
Source Link
Fedor Petrov
  • 108.8k
  • 9
  • 264
  • 459

For $P(x)=(1-x)f(x)=(x^{n+1}+1)-2x^n$ you may apply a version of Rouché's theorem or argument principle:

choose a very small arc $a1b$ of the unit circle so that 1 is its midpoint, and consider a circle $\gamma$ centered in 1 passing through $a$ and $b$. Denote by $\gamma_1$ and $\gamma_2$ two arcs of $\gamma$ between $a$is above the real line, and $b$ below. Since 1 is a simple root of $P$, $h(z):=P(z)/z^n$ makes one full rotation aroundis a diffeomorphism of a neighborhood of 1 and neighborhood of 0 when $z$ goes along $\gamma$. When $z$ goes along a large arc $ab$ of the unit circle, $h(x)=P(x)/x^n=-2+(x+1/x^n)$ stays in the left half-plane and goes from $h(a)$ to $h(b)$. Thus, if we add eitherLet $h(\gamma_1)$ or$\gamma_0$ be an $h(\gamma_2)$ to this path, we get a closed contour$h$-preimage of the forma segment $h(\Gamma)$ with 0 full rotations around 0$[h(b),h(a)]$ between $h(b)$ and $h(a)$, whereit is a small curve near 1 joining $b$ and $a$. Let $\Gamma$ isbe a union of the large arc $ab$ of the unit circle and either $\gamma_1$ or$\gamma_0$. It is a simple contour: for $\gamma_2$$z$ on the unit circle which is close to 1 but, say, higher then $a$, the directions of $h(z)-h(a),h(a)-h(b)$ are almost the same, so $h(z)$ can not belong to $[h(b),h(a)]$, and for $z$ which is far from 1 the value $h(z)$ is well away from 0, so again $h(z)\notin [h(b),h(a)]$. ThusThen, by the argument principle, $x^n$ and $x^nh(x)=P(x)$ have equally many roots inside $\Gamma$. Therefore $P$ has $n$ roots inside $\Gamma$, and $f$ has either $n-1$ or $n$ roots inside the unit circle (it depends on whether 1 is inside $\Gamma$ or not). That's what you need.

For $P(x)=(1-x)f(x)=(x^{n+1}+1)-2x^n$ you may apply a version of Rouché's theorem or argument principle:

choose a small arc $a1b$ of the unit circle so that 1 is its midpoint, and consider a circle $\gamma$ centered in 1 passing through $a$ and $b$. Denote by $\gamma_1$ and $\gamma_2$ two arcs of $\gamma$ between $a$ and $b$. Since 1 is a simple root of $P$, $h(z):=P(z)/z^n$ makes one full rotation around 0 when $z$ goes along $\gamma$. When $z$ goes along a large arc $ab$ of the unit circle, $h(x)=P(x)/x^n=-2+(x+1/x^n)$ stays in the left half-plane and goes from $h(a)$ to $h(b)$. Thus, if we add either $h(\gamma_1)$ or $h(\gamma_2)$ to this path, we get a closed contour of the form $h(\Gamma)$ with 0 full rotations around 0, where $\Gamma$ is a union of arc $ab$ of the unit circle and either $\gamma_1$ or $\gamma_2$. Thus, by the argument principle, $x^n$ and $x^nh(x)=P(x)$ have equally many roots inside $\Gamma$. Therefore $P$ has $n$ roots inside $\Gamma$, and $f$ has either $n-1$ or $n$ roots inside the unit circle. That's what you need.

For $P(x)=(1-x)f(x)=(x^{n+1}+1)-2x^n$ you may apply a version of Rouché's theorem or argument principle:

choose a very small arc $a1b$ of the unit circle so that $a$ is above the real line, and $b$ below. Since 1 is a simple root of $P$, $h(z):=P(z)/z^n$ is a diffeomorphism of a neighborhood of 1 and neighborhood of 0. When $z$ goes along a large arc $ab$ of the unit circle, $h(x)=P(x)/x^n=-2+(x+1/x^n)$ stays in the left half-plane and goes from $h(a)$ to $h(b)$. Let $\gamma_0$ be an $h$-preimage of a segment $[h(b),h(a)]$ between $h(b)$ and $h(a)$, it is a small curve near 1 joining $b$ and $a$. Let $\Gamma$ be a union of the large arc $ab$ of the unit circle and $\gamma_0$. It is a simple contour: for $z$ on the unit circle which is close to 1 but, say, higher then $a$, the directions of $h(z)-h(a),h(a)-h(b)$ are almost the same, so $h(z)$ can not belong to $[h(b),h(a)]$, and for $z$ which is far from 1 the value $h(z)$ is well away from 0, so again $h(z)\notin [h(b),h(a)]$. Then, by the argument principle, $x^n$ and $x^nh(x)=P(x)$ have equally many roots inside $\Gamma$. Therefore $P$ has $n$ roots inside $\Gamma$, and $f$ has either $n-1$ or $n$ roots inside the unit circle (it depends on whether 1 is inside $\Gamma$ or not). That's what you need.

Source Link
Fedor Petrov
  • 108.8k
  • 9
  • 264
  • 459

For $P(x)=(1-x)f(x)=(x^{n+1}+1)-2x^n$ you may apply a version of Rouché's theorem or argument principle:

choose a small arc $a1b$ of the unit circle so that 1 is its midpoint, and consider a circle $\gamma$ centered in 1 passing through $a$ and $b$. Denote by $\gamma_1$ and $\gamma_2$ two arcs of $\gamma$ between $a$ and $b$. Since 1 is a simple root of $P$, $h(z):=P(z)/z^n$ makes one full rotation around 0 when $z$ goes along $\gamma$. When $z$ goes along a large arc $ab$ of the unit circle, $h(x)=P(x)/x^n=-2+(x+1/x^n)$ stays in the left half-plane and goes from $h(a)$ to $h(b)$. Thus, if we add either $h(\gamma_1)$ or $h(\gamma_2)$ to this path, we get a closed contour of the form $h(\Gamma)$ with 0 full rotations around 0, where $\Gamma$ is a union of arc $ab$ of the unit circle and either $\gamma_1$ or $\gamma_2$. Thus, by the argument principle, $x^n$ and $x^nh(x)=P(x)$ have equally many roots inside $\Gamma$. Therefore $P$ has $n$ roots inside $\Gamma$, and $f$ has either $n-1$ or $n$ roots inside the unit circle. That's what you need.