Усули такрорӣ дар ёфтани решаҳо
Дар математикаи амалӣ, физика, муҳандисӣ ва илми компютерӣ, масъалаи "ёфтани реша" хеле зуд-зуд ба миён меояд. Реша қимати \(x\) аст, ки функсияро сифр мекунад, яъне ҳалли муодилаи зеринро:
\[
f(x)=0
\]
На ҳама муодилаҳо ҳалҳое доранд, ки онҳоро бо формулаҳои шакли пӯшида, ба монанди муодилаҳои квадратӣ, ифода кардан мумкин аст. Барои бисёр ҳолатҳои воқеӣ - ба монанди муодилаҳои мураккаби ғайрихаттӣ - ба мо равишҳои рақамӣ лозиманд. Яке аз муҳимтарин равишҳо усули такрорӣ мебошад, ки тартибест, ки як қатор ҳалҳои тақрибиро ба вуҷуд меорад, ки тавассути такрор ба реша наздиктар мешаванд.
Дар ин мақола мафҳумҳои асосии усулҳои такрорӣ, шароити ҳамгироии онҳо ва баъзе усулҳои такрории маъмулан истифодашаванда барои ёфтани решаҳо баррасӣ мешаванд.
-
1. Идеяи асосии усули такрорӣ
Усули такрорӣ бо роҳи тахмини ибтидоӣ \(x_0\) ва сипас тадриҷан такмил додани он барои ба даст овардани пайдарпайӣ кор мекунад:
\[
x_0, x_1, x_2, \dots, x_n
\]
бо интизориҳо:
\[
x_n \to \alpha
\]
ки дар он \(\alpha\) решаи ҳақиқии муодилаи \(f(x)=0\) аст.
Умуман, усули такрорӣ масъалаи \(f(x)=0\)-ро ба шакли эквивалентӣ табдил медиҳад:
\[
x = g(x)
\]
Сипас, такроран иҷро карда мешавад:
\[
x_{n+1} = g(x_n)
\]
Агар ин раванд ҷамъ шавад, пас нуқтаи собити \(g(x)\) ҳалли решаи муодилаи аслӣ аст.
-
2. Конвергенсия: Итератсия кай муваффақ мешавад?
На ҳама функсияҳои \(g(x)\) такрорҳои устуворро ба вуҷуд меоранд. Барои он ки такрори \(x_{n+1}=g(x_n)\) ба решаи \(\alpha\) наздик шавад, шартҳои умумии аксар вақт истифодашаванда инҳоянд:
1. \(g(\alpha)=\alpha\) (реша нуқтаи муқаррар аст)
2. \(|g'(\alpha)| < 1\) (кашишхӯрии маҳаллӣ)
Интуисияи \(|g'(\alpha)| < 1\) чунин аст: дар наздикии ҳал, функсияи \(g\) "хеле нишеб нест", аз ин рӯ ҳар як такрор арзиши \(x_n\)-ро наздиктар мекунад, на дуртар.
Конвергенсия инчунин аз тахмини ибтидоӣ таъсир мегирад. Ҳамон ду усул вобаста ба \(x_0\) метавонанд муваффақ ё ноком шаванд.
-
3. Усули биссекция ҳамчун такрори оддӣ
Гарчанде ки усули биссекция аксар вақт алоҳида тасниф карда мешавад, онро метавон ҳамчун усули хеле пуриқтидори такрорӣ дид. Шартҳо инҳоянд: функсияи \(f(x)\) дар фосилаи \([a,b]\) пайваста аст ва тағйири аломат ба амал меояд:
\[
f(a)\cdot f(b) < 0
\]
Яъне, байни \(a\) ва \(b\ реша вуҷуд дорад. Алгоритм чунин аст:
1. Нуқтаи миёнаи \(c=\frac{a+b}{2}\)-ро ҳисоб кунед.
2. Фосилаи зерфосилаеро муайян кунед, ки решаро ҳанӯз ҳам дар қавс нигоҳ медорад (бар асоси тағйироти аломат)
3. То расидан ба таҳаммулпазирӣ такрор кунед
Бартарии ин усул дар он аст, ки дар сурати риоя шудани шарти тағйирёбии аломат, ҳамгироии он кафолат дода мешавад. Камбудии он дар он аст, ки ҳамгироӣ нисбатан суст аст, зеро хатогӣ бо ҳар як такрорӣ тақрибан нисф кам мешавад (ҳамгироии хаттӣ).
-
4. Усули такрори нуқтаи собит
Ин шакли мустақимтарини такрор аст:
\[
x_{n+1} = g(x_n)
\]
Қадамҳо:
1. \(f(x)=0\)-ро ба \(x=g(x)\) иваз кунед.
2. Тахмини ибтидоиро интихоб кунед \(x_0\)
3. То он даме, ки \(|x_{n+1}-x_n|\) ё \(|f(x_n)|\) аз таҳаммулпазирӣ хурдтар бошад, такрор кунед.
Бартарии он соддагии он аст. Аммо, ин усул ба интихоби \(g(x))\) хеле ҳассос аст. Барои як муодила, роҳҳои зиёди навиштани \(x=g(x))\ мавҷуданд, аммо танҳо баъзеи онҳо якҷоя мешаванд.
Масалан, агар мо хоҳем решаҳои \(f(x)=x^3-2x-5\)-ро ёбем, мо метавонем чунин нависем:
– \(x = \sqrt[3]{2x+5}\) ба тавре ки \(g(x)=\sqrt[3]{2x+5}\)
Сипас такрори \(x_{n+1}=\sqrt[3]{2x_n+5}\)-ро иҷро кунед. Муваффақияти такрор аз он вобаста аст, ки оё \(|g'(x)|<1\) дар атрофи реша ҷойгир аст ё не.
-
5. Усули Нютон-Рафсон: Итератсияи зуд дар асоси ҳосила
Усули Нютон-Рафсон яке аз маъмултарин усулҳо мебошад, зеро ҳамгироии он одатан хеле зуд аст. Формулаи такрорӣ чунин аст:
\[
x_{n+1} = x_n – \frac{f(x_n)}{f'(x_n)}
\]
Шарҳ: дар \(x_n\), мо ба функсияи \(f(x)\ тангенс месозем. Нуқтаи буриши тангенс бо меҳвари \(x\) ҳамчун баҳодиҳии навбатӣ истифода мешавад.
Бартарӣ:
– Ҳамгироии квадратӣ (хеле зуд) агар он ба реша ва \(f'(\alpha)\neq 0\) ба қадри кофӣ наздик бошад.
Камбудӣ:
– Ҳосилаи \(f'(x)\)-ро талаб мекунад.
– Агар тахмини ибтидоӣ бад бошад, ё агар \(f'(x_n)\) ба сифр наздик бошад, метавонад ноком шавад, ки ин қадами такрорӣ ноустувор мегардад.
Ин усул ба таври васеъ дар оптимизатсия, моделсозии физикӣ ва ҳисоббарории муҳандисӣ истифода мешавад, зеро он ҳангоми шароити мусоид самаранок аст.
-
6. Усули секантӣ: Алтернативаи Нютон бе ҳосилаҳо
Агар ҳисоб кардани ҳосилаҳо душвор бошад, усули секанс созишро пешниҳод мекунад. Идеяи асосӣ ин аст, ки ҳосиларо бо фарқиятҳои ниҳоӣ тақриб кунед:
\[
f'(x_n)\approx \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}}
\]
Пас, формулаи такрорӣ чунин аст:
\[
x_{n+1}=x_n – f(x_n)\,\frac{x_n-x_{n-1}}{f(x_n)-f(x_{n-1})}
\]
Ин усул ду тахмини ибтидоиро талаб мекунад: \(x_0\) ва \(x_1\). Суръати ҳамгироии он одатан нисбат ба биссекти оддӣ ва нуқтаи собит беҳтар аст, гарчанде ки одатан нисбат ба Нютон каме сусттар аст. Аммо, азбаски он ҳосилаҳоро талаб намекунад, секанс аксар вақт амалӣтар аст.
-
7. Меъёрҳои қатъкунӣ
Дар ҳисобкунии рақамӣ, такрор бояд вақте қатъ карда шавад, ки он ба қадри кофӣ дақиқ бошад ё дар сурати гумонбар шудан ба ҷамъшавии он қатъ гардад. Меъёрҳои умумӣ:
1. Хатои хурди байниитератсия:
\[
|x_{n+1}-x_n|<\varepsilon
\]
2. Қимати функсия ба сифр наздик мешавад:
\[
|f(x_n)|<\varepsilon
\]
3. Ҳадди ниҳоии такрор барои пешгирӣ аз ҳалқаҳои беохир:
\[
n \le n_{\max}
\]
Интихоби таҳаммулпазирӣ (varepsilon) аз талабот вобаста аст: симулятсияҳои муҳандисӣ метавонанд таҳаммулпазирии қатъиро талаб кунанд, дар ҳоле ки ҳисобҳои тақрибӣ хеле озоданд.
-
8. Муқоисаи мухтасари усулҳои такрорӣ
Дар ҷамъбаст:
– Бисексия: аз ҳама устувортар, бешубҳа ҳамҷояшаванда (ба шарте ки аломат тағйир ёбад), аммо суст.
– Нуқтаи собит: хеле содда, аммо ҳамгироӣ ҳамеша кафолат дода намешавад.
– Нютон-Рафсон: хеле зуд, аммо ба ҳосилаҳо ниёз дорад ва ба тахминҳои аввалия ҳассос аст.
– Секант: ҳосила лозим нест, хеле зуд, аммо нисбат ба бисексия камтар устувор буда метавонад.
Дар амал, интихоби усул аз хусусияти функсия, мавҷудияти ҳосилаҳо, ниёз ба суръат ва устуворӣ вобаста аст.
-
Хулоса
Усулҳои такрорӣ асоси ёфтани решаҳои рақамӣ барои муодилаҳои ғайрихаттӣ мебошанд. Бо сохтани як силсила тақрибҳои такрорӣ навшуда, мо метавонем ба ҳалли масъалаҳо вақте ки усулҳои таҳлилӣ дастрас нестанд, муроҷиат кунем. Фаҳмидани ҳамгироӣ, интихоби ибтидоии тахмин ва меъёрҳои қатъкунӣ барои тавлиди решаҳои дуруст ва самараноки такрорӣ муҳим аст.
Дар барномаҳои воқеӣ, аксар вақт стратегияи муттаҳид истифода мешавад: бо усули устувор ба монанди биссекция барои "маҳкам кардани" фосилаи реша оғоз карда, сипас барои суръат бахшидан ба конвергенсия ба Нютон ё секанс гузаштан. Бо ин роҳ, мо ба тавозуни байни эътимоднокӣ ва суръат ноил мешавем - ду ҷанбаи хеле арзишманд дар ҳисобкунии рақамӣ.
-
Агар хоҳед, ман метавонам мисолҳои ҳисобкунии қадам ба қадам (рақамӣ)-ро барои ҳар яке аз усулҳои дар боло зикршуда илова кунам, то мақоларо мушаххастар гардонам.
