WikiDer > Сандық әдіс

Бұл мақалада жалпы тізімі бар сілтемелер, бірақ бұл негізінен тексерілмеген болып қалады, өйткені ол сәйкесінше жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Қыркүйек 2016) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жылы сандық талдау, а сандық әдіс - сандық есептерді шешуге арналған математикалық құрал. Бағдарламалау тілінде сәйкес конвергенцияны тексере отырып, сандық әдісті жүзеге асыру сандық алгоритм деп аталады

Математикалық анықтама

Келіңіздер ${ displaystyle F (x, y) = 0}$ болуы а жақсы қойылған мәселе, яғни ${ displaystyle F: X times Y rightarrow mathbb {R}}$ Бұл нақты немесе күрделі кіріс деректер жиынтығының айқасқан өнімінде анықталған функционалдық қатынас ${ displaystyle X}$ және мәліметтер жиынтығы ${ displaystyle Y}$, бар а жергілікті еріндер функциясы ${ displaystyle g: X rightarrow Y}$ деп аталады шешуші, ол әр түбірге арналған қасиетке ие ${ displaystyle (x, y)}$ туралы ${ displaystyle F}$, ${ displaystyle y = g (x)}$. Біз анықтаймыз сандық әдіс жуықтау үшін ${ displaystyle F (x, y) = 0}$, жүйелі мәселелер

${ displaystyle left {M_ {n} right } _ {n in mathbb {N}} = сол {F_ {n} (x_ {n}, y_ {n}) = 0 оң } _ {n in mathbb {N}},}$

бірге ${ displaystyle F_ {n}: X_ {n} рет Y_ {n} rightarrow mathbb {R}}$, ${ displaystyle x_ {n} in X_ {n}}$ және ${ displaystyle y_ {n} in Y_ {n}}$ әрқайсысы үшін ${ displaystyle n in mathbb {N}}$. Әдістің проблемалары жақсы қойылудың қажеті жоқ. Егер олар болса, әдіс айтады тұрақты немесе жақсы қойылған.^[1]

Жүйелілік

Сандық әдістің тиімді жуықтауы үшін қажетті жағдайлар ${ displaystyle F (x, y) = 0}$ солай ма? ${ displaystyle x_ {n} rightarrow x}$ және сол ${ displaystyle F_ {n}}$ сияқты әрекет етеді ${ displaystyle F}$ қашан ${ displaystyle n rightarrow infty}$. Сонымен, сандық әдіс деп аталады тұрақты егер және тек функциялар тізбегі болса ғана ${ displaystyle left {F_ {n} right } _ {n in mathbb {N}}}$ нүктелік бағытта жақындайды ${ displaystyle F}$ түсірілім алаңында ${ displaystyle S}$ оның шешімдері:

${ displaystyle lim F_ {n} (x, y + t) = F (x, y, t) = 0, quad quad forall (x, y, t) in S.}$

Қашан ${ displaystyle F_ {n} = F, forall n in mathbb {N}}$ қосулы ${ displaystyle S}$ әдісі айтылады қатаң сәйкес келеді.^[1]

Конвергенция

Белгілеу ${ displaystyle ell _ {n}}$ тізбегі рұқсат етілген толқулар туралы ${ displaystyle x in X}$ кейбір сандық әдіс үшін ${ displaystyle M}$ (яғни ${ displaystyle x + ell _ {n} in X_ {n} for all n in mathbb {N}}$) және ${ displaystyle y_ {n} (x + ell _ {n}) in Y_ {n}}$ осындай мән ${ displaystyle F_ {n} (x + ell _ {n}, y_ {n} (x + ell _ {n})) = 0}$. Мәселе шешудің мағыналы құралы болу үшін әдіс қанағаттандыратын шарт ${ displaystyle F (x, y) = 0}$ болып табылады конвергенция:

${ displaystyle { begin {aligned} & forall varepsilon> 0, бар n_ {0} ( varepsilon)> 0, бар delta _ { varepsilon, n_ {0}} { text { }} & forall n> n_ {0}, forall ell _ {n}: | ell _ {n} | < delta _ { varepsilon, n_ {0}} Rightarrow | y_ {n} (x + ell _ {n}) - y | leq varepsilon. end {aligned}}}$

-Ның нүктелік жақындасуын оңай дәлелдеуге болады ${ displaystyle {y_ {n} } _ {n in mathbb {N}}}$ дейін ${ displaystyle y}$ функцияның байланысты әдісінің конвергенциясын білдіреді.^[1]

Әдебиеттер тізімі