请输入您要查询的字词:

 

单词 KantorovitchsTheorem
释义

Kantorovitch’s theorem


Let 𝐚0 be a point in n,U an open neighborhood of𝐚0 in n and 𝐟:Un adifferentiable mapping, with its derivativePlanetmathPlanetmath [𝐃𝐟(𝐚0)]invertible. Define

𝐡0=-[𝐃𝐟(𝐚0)]-1𝐟(𝐚0),𝐚1=𝐚0+𝐡0,U0={𝐱||𝐱-𝐚1||𝐡0|}.

If U0U and the derivative [𝐃𝐟(𝐱)] satisfies thehttp://planetmath.org/node/765Lipschitz conditionMathworldPlanetmath

|[𝐃𝐟(𝐮1)]-[𝐃𝐟(𝐮2)]|M|𝐮1-𝐮2|

for all points 𝐮1,𝐮2U0, and if the inequalityMathworldPlanetmath

|𝐟(𝐚𝟎)||[𝐃𝐟(𝐚𝟎)]-1|2M12

is satisfied, the equation 𝐟(𝐱)=𝟎 has a uniquesolution in U0, and Newton’s method with initial guess 𝐚0converges to it. If we replace with <, then it can be shownthat Newton’s method http://planetmath.org/node/793superconverges! If you want aneven stronger version, one can replace || with the norm||||.

Logic behind the theorem:

Let’s look at the useful part of the theorem:

|𝐟(𝐚𝟎)||[𝐃𝐟(𝐚𝟎)]-1|2M12.

It is a productPlanetmathPlanetmath of three distinct properties of your function suchthat the product is less than or equal to a certain number, orbound. If we call the product R, then it says that 𝐚0 mustbe within a ball of radius R. It also says that the solution𝐱 is within this same ball. How was this ball defined?

The first term, |𝐟(𝐚𝟎)|, is a measure of how far thefunction is from the domain; in the Cartesian plane, it would be howfar the function is from the x-axis. Of course, if we’re solving for𝐟(𝐱)=𝟎, we want this value to be small, because itmeans we’re closer to the axis. However a function can be annoyinglyclose to the axis, and yet just happily curve away from the axis. Thuswe need more.

The second term, |[𝐃𝐟(𝐚𝟎)]-1|2 is a little moredifficult. This is obviously a measure of how fast the function ischanging with respect to the domain (x-axis in the plane). The largerthe derivative, the faster it’s approaching wherever it’s going(hopefully the axis). Thus, we take the inversePlanetmathPlanetmathPlanetmath of it, since we wantthis product to be less than a number. Why it’s squared though,is because it is the denominator where a product of two terms of likeunits is the numerator. Thus to conserve units with the numerator, itis multiplied by itself. Combined with the first term, this also seemsto be enough, but what if the derivative changes sharply, but itchanges the wrong way?

The third term is the Lipschitz ratio M. This measures sharp changesin the first derivativeMathworldPlanetmath, so we can be sure that if this is small, thatthe function won’t try to curve away from our goal on us too sharply.

By the way, the number 12 is unitless, so all the units onthe left side cancel. Checking units is essential in applications,such as physics and engineering, where Newton’s method is used.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:19:00