假设 h ( z ) {\displaystyle h(z)} 在包含圆盘 { | z | ≤ R } {\displaystyle \{|z|\leq R\}} 的区域上是解析的,并且当 | z | = R {\displaystyle |z|=R} 时, | h ( z ) | < R {\displaystyle |h(z)|<R} 。方程 h ( z ) = z {\displaystyle h(z)=z} 在圆盘 { | z | ≤ R } {\displaystyle \{|z|\leq R\}} 中有多少解?证明你的答案。
我们知道 | h ( z ) | = | h ( z ) − z + z | < R {\displaystyle |h(z)|=|h(z)-z+z|<R} 当 | z | = R {\displaystyle |z|=R} 。类似地,由于 | h ( z ) − z | ≥ 0 {\displaystyle |h(z)-z|\geq 0} ,则 | h ( z ) − z | + | z | ≥ R {\displaystyle |h(z)-z|+|z|\geq R} 当 | z | = R {\displaystyle |z|=R} 。这得到 | h ( z ) − z + z | < R ≤ | h ( z ) − z | + | z | {\displaystyle |h(z)-z+z|<R\leq |h(z)-z|+|z|} 当 z = R {\displaystyle z=R} .
根据罗歇定理,由于两个函数都是全纯函数(即没有极点),则 h ( z ) − z {\displaystyle h(z)-z} 在域 | z | < R {\displaystyle |z|<R} 上的零点数量与 z {\displaystyle z} 的零点数量相同。由于 z {\displaystyle z} 只有一个零点(即 0),因此 h ( z ) = z {\displaystyle h(z)=z} 在开圆盘 | z | < R {\displaystyle |z|<R} 内只有一个解。
观察到对于任何 | z | = R {\displaystyle |z|=R} , h ( z ) ≠ z {\displaystyle h(z)\neq z} ,因为这将意味着对于边界上的某个 z {\displaystyle z} , | h ( z ) | = R {\displaystyle |h(z)|=R} ,这与假设矛盾。
因此, h ( z ) = z {\displaystyle h(z)=z} 在开圆盘 | z | ≤ R {\displaystyle |z|\leq R} 内只有一个解。