Эстәлеккә күсергә

Һанлы ысулдар

Википедия — ирекле энциклопедия мәғлүмәте
Һанлы ысулдар
Өйрәнеү объекты численный алгоритм[d]
ACM коды (2012) 10003715
 Һанлы ысулдар Викимилектә
Вавилон балсыҡ таблицаһы (яҡынса б.э.т. 1800—1600 йылдар), хәҙерге аңлатмалар менән. 2 һанының тамыры дүрт алтмышарлы һандың суммаһы менән яҡынлаштырыла:

Һанлы (иҫәпләү) ысулдар — математик мәсьәләләрҙе һанлы күренештә сығарыу ысулдары[1].

Мәсьәләлә баштағы мәғлүмәтте тә, уның сығарылышын да һан йәки һандар йыйылмаһы рәүешендә күрһәтеү .

Күп кенә һанлы ысулдар математик программалар китапханаһының өлөшө булып торалар[2]. Техник һөнәр инженерҙарын әҙерләү системаһының мөһим өлөшө булып тора.

Һанлы ысулдар менән сығарылыусы төп мәсьәләләр:

  • һыҙыҡлы тигеҙләмәләр системаһын сығарыу;
  • интерполяциялау һәм функцияларҙы яҡынса иҫәпләү;
  • һанлы интеграллау;
  • һыҙыҡлы булмаған тигеҙләмәләр системаһын һанлы сығарыу;
  • ғәҙәти дифференциаль тигеҙләмәләрҙе һанлы сығарыу;
  • айырым сығарылмаларҙа тигеҙләмәләрҙе (математик физика тигеҙләмәләрен) һанлы сығарыу;
  • оптималләштереү мәсьәләләрен сығарыу.

Иҫәпләү математикаһының бөтә мәсьәләләре түбәндәге эҙмә-эҙлелектә сығарылалар[3]:

  1. Баштағы математик мәсьәлә икенсе мәсьәлә — иҫәпләү алгоритмы менән алмаштырыла. Иҫәпләү алгоритмына: юғары теүәллек, тотороҡлолоҡ һәм экономиялыҡ төп талаптар булып торалар. Дискрет моделгә күскәндә аппроксимация хатаһы, ә иҫәпләүҙәрҙе башҡарғанда — түңәрәкләү хатаһы барлыҡҡа килә, шуға күрә реаль иҫәпләү алгоритмдары өсөн хаталарға һәм иҫәпләү алгоритмы тотороҡлолоғона анализ яһала[2]. Хәҙерге заман фәнендә ғәмәли математика мәсьәләләрен сисеү өсөн өҙлөкһөҙ аргумент функцияларының интеграль һәм дифференциаль тигеҙләмәләр терминдарында математик модель эшләнә. Өҙлөкһөҙ математик моделенән дискретлыға күсеү өҙлөкһөҙ дискретлы аргумент функциялары менән алмаштырып тормошҡа ашырыла. Барлыҡҡа килгән сикле-айырмалы тигеҙләмәләрҙә интеграл һәм сығарылмға ярашлы рәүештә сикле сумма һәм айырмалы сағыштырма рәүешендә күрһәтелә[2]. Килеп сыҡҡан модель алгебраик тигеҙләмәләр системаһы була, уны билдәле бер аныҡлыҡ менән сығарыу өсөн иҫәпләү алгоритмы төҙөлә, был иҫәпләү машиналарында тормошҡа ашырыла[2][4]. Ҙур системаларҙы сығарғанда үҙ ҡиммәттәрҙе һәм матрицалар векторын иҫәпләргә, тигеҙләмәләрҙәге һыҙыҡлы булмаған системаларҙы һыҙыҡлыларға әйләндерергә кәрәк. Ҡайһы бер мәсьәләләр өсөн (Нейрон физикаһының, плазма физикаһының, иҡтисадтың) модель туранан-тура статистик һайланмаларҙа йәки эре объекттарҙа төҙөлә. Бынан тыш, даими булмаған системалар төҙөлә, улар өсөн һанлы ысулдар графтар теорияһы менән бергә алып барыла. Дөрөҫ билдәләнмаған мәсьәләләр айырым класс тәшкил итә[2].
  2. Иҫәпләү алгоритмында баштағы мәсьәләлә булмаған параметры бар;
  3. Был параметрын һайлап, икенсе мәсьәләнең сығарылышының беренсе мәсьәләнең сығарылышына теләһә ниндәй яҡынлығына өлгәшергә мөмкин. Бик күп мөһим мәсьәләләр класы өсөн уларҙы сығарыуҙың төрлө һанлы ысулдары эшләнгән. Һанлы ысулдар дискретлаштырыу ысулдары буйынса проекцион һәм сикле-айырмалы ысулдарға, сығарыу ысулы буйынса — тура һәм итерацион ысулдарға бүленәләр. Сикле айырмалар ысулында функцияның дискретлы нөктәләр күмәклегендә ҡиммәттәрен табыу мәсьәләһе ҡуйыла, ә проекцион ысулда функция элементтарҙың һыҙыҡлы комбинацияһы рәүешендә күрһәтелә. Шуның менән бергә дискретлы функция шулай уҡ полиномдарҙың һыҙыҡлы комбинацияһы итеп ҡаралырға мөмкин. Тура сығарыу ысулдарының тотороҡлолоғо түбән, ә итерацион ысулдар тотороҡлораҡ һәм йыйылыусанлыҡты тиҙерәк тәьмин итәләр[2].
  4. Иҫәпләүҙәрҙә түңәрәкләүҙәр тыуҙырған алгоритмдың теүәл булмаған үтәлеше уның үҙсәнлектәрен һиҙелерлек үҙгәртмәй. Иҫәпләү машинаһы тик дүрт төп арифметик операция башҡарғанын иҫтә тоторға кәрәк[5]. Яуаптың аныҡлығы көтөлгән физик эксперимент аныҡлығынан бер аҙ юғарыраҡ булырға тейеш[6]. Хатаның артыу шарттарын һәм критерийҙарын билдәләгәндә оҙаҡ ваҡыт түңәрәкләү хатаһы иҫәпкә алынмай. Реаль иҫәпләүҙәрҙең теүәллеген гарантиялы баһалау кәрәклеге интервал анализының барлыҡҡа килеүенә килтерә. Оптималь алгоритм — минималь хаталы йәки бирелгән хаталы операцияларҙың минималь һаны булған алгоритм. Шул уҡ ваҡытта параллель иҫәпләү алгоритмдары теорияһы эшләнә[2].

Математик аппарат

[үҙгәртергә | сығанаҡты үҙгәртеү]

Билдәһеҙ дәүмәлде эҙләү мәсьәләһе символик рәүештә күренешендә яҙыла. Иҫәпләү математикаһында -ты табыу өсөн, иҫәпләүҙәр уңайлыраҡ булһын өсөн , дәүмәлдәре, йәки функциялары бирелгән бер йәки бер нисә арауыҡты алмаштырыу ҡулланыла. Барлыҡҡа килгән яңы мәсьәләһенең сығарылышы баштағы мәсьәләнең сығарылышына яҡын булырға тейеш. Мәҫәлән, интегралын иҫәпләгәндә, киҫегендә өҙлөкһөҙ функцияны һәр ваҡыт интегралы еңел билдәләнгән полиномы менән алмаштырырға мөмкин; йәки интегралды сикле суммаһы менән алмаштырырға һәм килеп сыҡҡан мәсьәләне сығарырға мөмкин. Бындай алмаштырыуҙы башҡарыу өсөн, төп арауыҡты яҡшы алмаштырыусы элементтарҙың сикле күмәклеген табырға кәрәк. Һуңғы шарт метрик арауыҡҡа сикләүҙәр ҡуя. Төп сикләү — ϵ {\displaystyle \epsilon } \epsilon -селтәрҙең булыуы, унан арауыҡтың үҙендә компактлы һәм сепарабеллы булыуы килеп сыға. Шуның менән бергә, был сикләү мотлаҡ түгел. Функциональ анализдың хәҙерге ысулдары мәсьәләнең шартына нығыраҡ тап килгән метрик арауыҡтар һайларға мөмкинлек бирә[7].

Һанлы ысулдарҙы ҡулланғанда хаталарҙың бер нисә төрө барлыҡҡа килә. Бер һанды икенсеһенә яҡынайтҡанда түңәрәкләү хатаһы барлыҡҡа килә, аныҡ булмаған башланғыс мәғлүмәт менән бәйле хата бөтөрөп булмаған хата тип атала, бынан тыш, баштағы мәсьәләне яҡынса мәсьәлә менән алмаштырыу менән бәйле ысул хатаһы була. Был осраҡта тулы хата ысул хатаһынан һәм иҫәпләүҙәр хатаһынан тора, икенсе төрлө әйткәндә, тигеҙләмәһе урынына, яуабының аныҡлығы формулаһы буйынса билдәләнгән тигеҙләмәһе сығарыла[8]. Хатаның дәүмәлен асыҡлау өсөн абсолют һәм сағыштырма хата, шулай уҡ сикке абсолют һәм сағыштырма хата төшөнсәләре ҡулланыла, шуның менән бергә хаталар теорияһы төрлө арифметик ғәмәлдәрҙә хаталар дәүмәле үҙгәреүен асыҡлай[9]. Хаталарҙың сикке ҡиммәттәрен билдәләргә мөмкинлек биргән хаталарҙы аныҡ баһалау ысулдары менән бер рәттән, статистик ысулдар ҙа ҡулланыла, улар айырым хаталарға барып етеү мөмкинлеген асыҡларға мөмкинлек бирәләр[10], шулай уҡ физик дәүмәлде бер нисә үлсәү һөҙөмтәһе буйынса уның яҡынса ҡиммәте билдәләнгәндәге, тәжрибәнең бирелгән шарттарынан тайпылыу менән бәйле осраҡлы хаталарҙың математик характеристикалары иҫәпкә алына[11].

Функцияларҙың төп яҡынлашыу ысулдары

[үҙгәртергә | сығанаҡты үҙгәртеү]

Ҡиммәттәре таблицаһы менән бирелгән функцияһының ҡиммәтен аргументтың аралағы ҡиммәттәрендә табыу өсөн, интерполяциялаү төйөндәре тип аталған бирелгән нөктәләрендә ҡиммәттәрен ҡабул иткән, ә ҡалған нөктәләре функцияның билдәләнеү өлкәһенә ингән яҡынайтылған функцияһын төҙөйҙәр. Йышыраҡ яҡынайтылған функция һыҙыҡлы бәйһеҙ системаның тәүге элементы ингән алгебраик күпбыуын күренешендә төҙөлә. Практикала һыҙыҡлы бәйһеҙ системаның элементтары сифатында -тың дәрәжәләре: , тригонометрик функциялар: , күрһәткесле функциялар: [12][12] ҡулланыла.

Был осраҡта интерполяциялаусы функцияны төҙөү өсөн билдәһеҙле тигеҙләмәләр системаһын сығарырға кәрәк була. Системаның табылған матрицаһына билдәле шарттар ҡуйыла: матрицаның рангы -гә тигеҙ, ә һыҙыҡлы бәйһеҙлек шартын гарантиялау өсөн булырға тейеш,  — мәсьәләнең сығарылышы асыҡтан-асыҡ булһын өсөн, матрицаның билдәләүсеһе  — сығарылышы бар һәм берҙән бер булһын өсөн[13]. Лагранждың интерполяцион күпбыуынын төҙөү бындай проблемаларҙы хәл итеүҙең ресурсты күп талап итеүсе һәм киңәйтеү ауыр булған төп ысулы булып тора[14].

Артабанғы аҙым булып функцияның күрше төйөндәрҙәге ҡиммәттәре айырмаһының был төйөндәр араһындағы алыҫлыҡҡа бүлендектәре базаһында -сы тәртиптәге бүленгән айырма төшөнсәһе индереү тора, ул үҙенең билдәләмәһе буйынса күп кенә файҙалы үҙсәнлектәргә эйә, атап әйткәндә дәрәжәһендәге күпбыуындан тәртибендәге бүленгән айырманың дәрәжәһе -ға тигеҙ, йәғни тәртибендәге айырма даими, ә юғарыраҡ тәртиптәге айырмалар -гә тигеҙ[15]. Бүленгән айырмалар Лагранждың интерполяцион күпбыуынын иҫәпләү өсөн уңайлыраҡ күренештә яҙырға мөмкинлек бирәләр. Яңы формула Ньютондың интерполяцион күпбыуыны тип атала[16], тигеҙ аралыҡтар осрағында формула күпкә ябайлаша[17]. Бүленгән айырмалар ҡулланып Гаустың, Стирлингтың, Бесселдең, Эвереттың интерполяцион формулалары төҙөлә[18]. Дөйөм осраҡта бүленгән айырмалар тәүҙә тәртибе үҫә барған һайын кәмейҙәр, ә аҙаҡ яңынан үҫә башлайҙар, икенсе төрлө әйткәндә, иҫәпләүҙәрҙә юғары тәртиптәге бүленгән айырмалар ҡулланыуҙың мәғәнәһе юҡ[19]. Шуның менән бергә интерполяцион процестың йыйылыусанлыҡ мәсьәләһе тыуа, уны хәл итеү өсөн математик анализдың төрлө ысулдары йәлеп ителә[20].

у=2х³-2х²+3х-1 функцияһы өсөн бүленгән айырмалар

Практик мәсьәләләрҙе хәл иткәндә бирелгән функцияның ҡиммәтен күп тапҡыр иҫәпләргә кәрәк була, ғөмүмән, ул ресурсты күп талап иткән операция булып тора. Иң яҡшы тигеҙ яҡынлашыу функцияһын табыу кәрәклеге килеп тыуа[21]. Һыҙыҡлы нормалаштырылған арауыҡта функцияны яҡынсалау өсөн бөтә мөмкин булған һыҙыҡлы комбинацияларҙың үлсәмендәге аҫарауығын төҙөйҙәр, уның өсөн норма билдәле һәм уның теүәл түбәнге сиге бар. Был сиккә өлгәшелгән элемент иң яҡшы яҡынлашыу элементы, йәки проекция тип атала[22]. Аҫарауыҡта һәр саҡ иң яҡшы яҡынлашыу элементы бар икәнен иҫбатлап була[23], ә арауыҡ ҡәтғи нормалаштырылған булһа ундай элемент берҙән бер була[24]. Нормаһы булған өҙлөкһөҙ функциялар арауығында шулай уҡ иң яҡшы яҡынлашыу элементы бар[25], ләкин дөйөмләштерелгән күпбыуындың киҫектә -дан артығыраҡ булмаған төрлө нулдәре булыу уның берҙән бер булыуының шарты булып тора (Чебышёв күпбыуындары)[26].

Файл:Многочлены Чебышёва U.gif
Чебышёв күпбыуындары

Функциялар теорияһын дәрәжәле функциялар системаһына ҡулланып була, сөнки ул теләһә ниндәй киҫектә Чебышёв системаһы булып тора[27]. Вейерштрасс теоремаһына ярашлы, аҫарауыҡтың үлсәме () арта барғанда, проекция һәм бирелгән функция араһындағы айырма нулгә яҡыная[28]. Был яҡынлашыу тәртибе функцияның структура үҙсәнлектәренә бәйле, уны Бернштейн күпбыуыны ярҙамында билдәләп була[29]. Тригонометрик функциялар системаһы шулай уҡ киҫегендә Чебышёв системаһы үҙсәнлектәренә эйә, уның өсөн шулай уҡ проекция һәм бирелгән функция араһындағы алыҫлыҡ нулгә яҡыная[30].

Күрһәтелгән иң яҡшы яҡынлашыу күпбыуыны булыуға ҡарамаҫтан, уны аныҡ төҙөү ысулы юҡ. Уның урынына иң яҡшы тигеҙ яҡынлашыу күпбыуынын яҡынса төҙөүҙең бер нисә ысулы ҡулланыла[31].

Квадратик урта яҡынлашыу

[үҙгәртергә | сығанаҡты үҙгәртеү]

Күп осраҡтарҙа тигеҙ яҡынлашыу талабы артыҡ, функцияларҙың «интеграль» яҡынлығы етерлек була, бынан тыш яҡынса функцияларҙың эксперименттан алынған ҡиммәттәре үҙҙәрендә осраҡлы хата йөрөтәләр, ә яҡынайтыусы һәм яҡынайыусы функцияларҙың тап килеүен талап итеү, әгәр һуңғыһының хаталары булһа, маҡсатҡа ярашһыҙ. Квадратик урта яҡынлашыу ысулы яҡынлыҡ үлсәме итеп түбәндәге дәүмәлде ҡабул итә

был квадраты менән интегралланыусанлыҡ талабын ғына һаҡлап, интеграл аҫты функцияһын интерполяциялауҙан һәм өҙлөкһөҙ булыуын талап итеүҙән баш тартырға мөмкинлек бирә[32].

Юғары дәрәжәләге алгебраик тигеҙләмәләрҙе һәм трансцендент тигеҙләмәләрҙе сығарыу

[үҙгәртергә | сығанаҡты үҙгәртеү]

Һул яғында ысын йәки комплекслы аргумент функцияһы торған алгебраик тигеҙләмәһенең сығарылышы комплекслы яҫылыҡта ята[33]. Уны билдәләү өсөн беренсе сиратта һәр тамырҙы етерлек бәләкәй өлкәнең эсенә алырға, йәғни уны айырырға кәрәк, бының өсөн йыш ҡына график ысул ҡулланыла[34]. Ысын тамырҙар өсөн шулай уҡ дөйөмләштерелгән Декарт ҡағиҙәһе, Штурм теоремаһы[35], Фурье ысулы[36] ҡулланыла. Квадрат тамыр ысулы, йәки Лобачевский ысулы[37] киң ҡулланыу таба. Төп формулировкаһында ул бер-береһенән алыҫта торған ысын тамырҙарға ҡулланышлы[38], ләкин комплекслы тамырҙары[39], ысын тигеҙ йәки яҡын торған ысын тамырҙары өсөн дә[40] дөйөмләштерелгән формулировкаһы бар.

Алгебраик тигеҙләмәләрҙе сығарыуҙың итерацион ысулдары стационар һәм стационар булмаған ысулдарға бүленәләр. Стационар ысул ваҡытында функцияға тамырҙары шул уҡ булған, итерация номерына бәйле булмаған икенсе функция ярашлы ҡуйыла[41]. Стационар булмаған ысул ваҡытында функция итерация номерына бәйле булырға мөмкин. Иң ябай стационар итерацион ысулдарға киҫеүселәр ысулы (йәки һыҙыҡлы интерполяциялау ысулы) һәм тейеүселәр ысулы (йәки Ньютон ысулы) инә, улар ярашлы рәүештә беренсе һәм икенсе тәртиптәге ысулдар булып торалар. Бер-бер артлы яҡынлашыуҙары тамырҙың төрлө яҡтарында ятҡан был ысулдарҙың комбинацияһы тиҙерәк йыйылыусанлыҡҡа өлгәшеү мөмкинлеген бирә[42]. Кире функцияның Тейлор формулаһы буйынса тарҡалыуына нигеҙләнгән Чебышев ысулы бик тиҙ йыйылыусанлыҡҡа эйә булған юғары тәртиптәге ысулдар төҙөү мөмкинлеген бирә.[43]. Шулай уҡ Кёниг теоремаһына[44], һәм Эйткен ысулына[45] нигеҙләнгән ысулдар бар. Итерацион ысулдарҙың йыйылыусанлығын иҫбатлау өсөн ҡыҫҡартылған сағылыштар принцибы ҡулланыла[46].

  1. Муха В. С. Вычислительные методы и компьютерная алгебра: учеб.-метод. пособие. — 2-е изд., испр. и доп. — Минск: БГУИР, 2010. — 148 с.: ил, ISBN 978-985-488-522-3, УДК 519.6 (075.8), ББК 22.19я73, М92
  2. 2,0 2,1 2,2 2,3 2,4 2,5 2,6 Энциклопедия кибернетики / Глушков В. М., Амосов Н. М., Артеменко И. А.. — Киев, 1974. — Т. 2. — С. 530—532.
  3. Дьяченко В. Ф. Основные понятия вычислительной математики. — М., Наука, 1972. — Тираж 45000 экз. — С. 10
  4. Калиткин, 1978, с. 3
  5. Березин, Жидков, т.1, 1962, с. 33
  6. Калиткин, 1978, с. 2
  7. Березин, Жидков, т.1, 1962, с. 13—16
  8. Березин, Жидков, т.1, 1962, с. 57—58
  9. Березин, Жидков, т.1, 1962, с. 53
  10. Березин, Жидков, т.1, 1962, с. 63
  11. Березин, Жидков, т.1, 1962, с. 65
  12. 12,0 12,1 Березин, Жидков, т.1, 1962, с. 77—79
  13. Березин, Жидков, т.1, 1962, с. 79—80
  14. Березин, Жидков, т.1, 1962, с. 84—87
  15. Березин, Жидков, т.1, 1962, с. 102—106
  16. Березин, Жидков, т.1, 1962, с. 106—109
  17. Березин, Жидков, т.1, 1962, с. 112
  18. Березин, Жидков, т.1, 1962, с. 125—135
  19. Березин, Жидков, т.1, 1962, с. 111—112
  20. Березин, Жидков, т.1, 1962, с. 149—150
  21. Березин, Жидков, т.1, 1962, с. 331—333
  22. Березин, Жидков, т.1, 1962, с. 333—334
  23. Березин, Жидков, т.1, 1962, с. 334—336
  24. Березин, Жидков, т.1, 1962, с. 336—337
  25. Березин, Жидков, т.1, 1962, с. 337
  26. Березин, Жидков, т.1, 1962, с. 337—342
  27. Березин, Жидков, т.1, 1962, с. 347—348
  28. Березин, Жидков, т.1, 1962, с. 349—352
  29. Березин, Жидков, т.1, 1962, с. 352—355
  30. Березин, Жидков, т.1, 1962, с. 355—357
  31. Березин, Жидков, т.1, 1962, с. 364—365
  32. Березин, Жидков, т.1, 1962, с. 386—387
  33. Березин, Жидков, т.2, 1959, с. 76
  34. Березин, Жидков, т.2, 1959, с. 76—79
  35. Березин, Жидков, т.2, 1959, с. 83—88
  36. Березин, Жидков, т.2, 1959, с. 88—94
  37. Березин, Жидков, т.2, 1959, с. 103
  38. Березин, Жидков, т.2, 1959, с. 103—107
  39. Березин, Жидков, т.2, 1959, с. 107—114
  40. Березин, Жидков, т.2, 1959, с. 115
  41. Березин, Жидков, т.2, 1959, с. 128—129
  42. Березин, Жидков, т.2, 1959, с. 135—140
  43. Березин, Жидков, т.2, 1959, с. 140—143
  44. Березин, Жидков, т.2, 1959, с. 143—146
  45. Березин, Жидков, т.2, 1959, с. 146—148
  46. Березин, Жидков, т.2, 1959, с. 129—134


Ҡалып:Разделы математики