Усули такрорӣ дар ёфтани решаҳо
Дар математикаи амалӣ, физика, муҳандисӣ ва илми компютерӣ, масъалаи "ёфтани реша" хеле зуд-зуд ба миён меояд. Реша қимати \(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. Муқоисаи мухтасари усулҳои такрорӣ Хулоса: - Бисексия: аз ҳама устувортар, бешубҳа ҷамъ мешавад (бо тағйири аломат), аммо суст. - Нуқтаи собит: хеле содда, аммо ҷамъшавӣ ҳамеша кафолат дода намешавад. - Нютон-Рафсон: хеле зуд, аммо ба ҳосилаҳо ниёз дорад ва ба тахминҳои аввалия ҳассос аст. - Секант: ҳосилаҳо лозим нестанд, нисбатан зуд, аммо метавонад нисбат ба бисексия камтар устувор бошад. Дар амал, интихоби усул аз хусусияти функсия, мавҷудияти ҳосилаҳо, ниёз ба суръат ва устуворӣ вобаста аст. --- Хулоса Усулҳои такрорӣ пояи ёфтани решаҳои рақамӣ барои муодилаҳои ғайрихаттӣ мебошанд. Бо сохтани як силсилаи тақрибҳои такрорӣ навшуда, мо метавонем ба ҳалли масъала вақте ки усулҳои таҳлилӣ дастрас нестанд, муроҷиат кунем. Дарки ҳамгироӣ, интихоби тахмини ибтидоӣ ва меъёри қатъкунӣ барои тавлиди решаҳои дуруст ва самараноки такрорӣ муҳиманд. Дар барномаҳои воқеӣ, аксар вақт стратегияи муттаҳид истифода мешавад: бо усули устувор ба монанди бисексия оғоз карда, фосилаи решаро "маҳкам кунед", сипас ба Нютон ё секант гузаштан барои суръат бахшидан ба ҳамгироӣ. Ин ба мувозинат байни эътимоднокӣ ва суръат ноил мегардад - ду ҷанбаи хеле арзишманд дар ҳисобкунии рақамӣ. --- Агар шумо хоҳед, ман метавонам як мисоли қадам ба қадам (рақамӣ)-и ҳама гуна усулҳои дар боло зикршударо илова кунам, то мақоларо мушаххастар гардонам.
