|
(14) 通过组合(13)和(14),我们立即发现P(π+h) =我- 诊断(d)(π+h)>-1.我- 诊断(d)∏>p(π)。此外,我们可以证明我- 诊断(d)(π+h)>-1.我- 诊断(d)∏>=我- h类我- 诊断(d)∏>-1图(d)>-1直接由我- 诊断(d)(π+h)>-1.我- 诊断(d)∏>我- h类我- 诊断(d)∏>-1图(d)>=我- 诊断(d)(π+h)>-1.我- 诊断(d)∏>- h诊断(d)>=我- 诊断(d)(π+h)>-1.我- 诊断(d)(π+h)>= 一、 因此,对于任何h∈ (-h类**, h类**), 我们发现P(π+h) =我- h类我- 诊断(d)∏>-1图(d)>-1p(π),即(8)。现在让我们考虑邻域h中尺寸h的扰动:=h类∈ R|h |<分钟(h**,ρ我- 诊断(d)∏>-1图(d)>).我们将使用矩阵逆的以下性质(参见(Meyer 2000,第126页)):如果X,Y∈ Rn×nso该X-1存在和限制→∞(十)-1Y)k=0,然后(X+Y)-1=∞Xk=0-十、-1年kX公司-我们取X=I- 诊断(d)∏>和Y=-h诊断(d)>. 自ρ起h类我- 诊断(d)∏>-1图(d)>=|h |ρ我- 诊断(d)∏>-1图(d)>< 1假设| h |<ρ我-诊断(d)∏>-1图(d)>,我们有Limk→∞hh小时我- 诊断(d)∏>-1图(d)>ik=0,使用光谱半径的特性(请参见(Meyer 2000,第617页))。因此,通过将这个结果与(13)结合,我们得到了p(π+h) =我- 诊断(d)(π+h)>-1.诊断(d)x+我- 诊断(d)\'\'p=∞Xk=0h类我- 诊断(d)∏>-1图(d)>k我- 诊断(d)∏>-1.诊断(d)x+我- 诊断(d)\'\'p=∞Xk=0h类我- 诊断(d)∏>-1图(d)>kp(π)=∞Xk=0hkk!D(k)p(π)。上述倒数第二个等式直接来自(14)。最后一个等式直接来自上述K阶方向导数的定义。因此,我们已经证明了fullTaylor展开式在H上是精确的 (-h类**, h类**).最后,因为我们已经证明(8)对于任何h都是精确的∈ (-h类**, h类**) 和-h类我- 诊断(d)∏>-1图(d)>对于至少一个元素h是单数的∈-ρ((I-诊断(d)∏>)-1图(d)>),ρ((I-诊断(d)∏>)-1图(d)>)通过构造,必须遵循h**≤ρ((I-诊断(d)∏>)-1图(d)>).
|