Modh Ath-aithris ann a bhith a’ lorg freumhaichean
Ann am matamataig gnìomhaichte, fiosaig, innleadaireachd, agus saidheans coimpiutaireachd, bidh an duilgheadas a thaobh "lorg freumh" ag èirigh gu math tric. Is e freumh luach \(x\) a tha a’ dèanamh gnìomh neoni, is e sin, fuasgladh na co-aontar:
\[
f(x)=0
\]
Chan eil fuasglaidhean aig a h-uile co-aontar a ghabhas cur an cèill ann am foirmlean dùinte, leithid co-aontaran ceàrnagach. Airson mòran chùisean san t-saoghal fhìor - leithid co-aontaran neo-loidhneach iom-fhillte - feumaidh sinn dòighean-obrach àireamhach. Is e aon de na dòighean-obrach as cudromaiche an dòigh ath-aithriseach, modh-obrach a bhios a’ dèanamh sreath de fhuasglaidhean tuairmseach a thig nas fhaisge air an fhreumh tro ath-aithris.
Tha an t-artaigil seo a’ beachdachadh air bun-bheachdan dhòighean ath-aithriseach, na cumhaichean co-chruinneachaidh aca, agus cuid de dhòighean ath-aithriseach a thathas a’ cleachdadh gu cumanta airson freumhaichean a lorg.
-
1. Bun-bheachd Modh Ath-aithris
Bidh an dòigh ath-aithris ag obair le bhith a’ dèanamh tomhas tùsail \(x_0\), agus an uairsin ga leasachadh mean air mhean gus an t-sreath fhaighinn:
\[
x_0, x_1, x_2, puingean, x_n
\]
le dùilean:
\[
x_n gu alpha
\]
far a bheil \(\alpha\) na fhìor fhreumh den cho-aontar \(f(x)=0\).
San fharsaingeachd, bidh an dòigh ath-aithris ag atharrachadh na trioblaid \(f(x)=0\) gu cruth co-ionann:
\[
x = g(x)
\]
An uairsin thèid ath-aithris a dhèanamh:
\[
x_{n+1} = g(x_n)
\]
Ma thig am pròiseas seo còmhla, is e fuasgladh freumhach a’ cho-aontar thùsail a th’ ann am puing stèidhichte \(g(x)\).
-
2. Co-chruinneachadh: Cuin a bhios ath-aithris soirbheachail?
Chan eil a h-uile gnìomh \(g(x)\) a’ toirt a-mach ath-aithrisean seasmhach. Gus an tèid an ath-aithris \(x_{n+1}=g(x_n)\) còmhla ris an fhreumh \(\alpha\), is iad na cumhaichean coitcheann a thathas a’ cleachdadh gu tric:
1. \(g(\alpha)=\alpha\) (is e puing stèidhichte a th’ anns a’ fhreumh)
2. \(|g'(\alpha)| < 1\) (crìonadh ionadail) Is e intuition \(|g'(\alpha)| < 1\): faisg air an fhuasgladh, chan eil an gnìomh \(g\) “ro chas”, agus mar sin bidh gach ath-aithris a’ toirt luach \(x_n\) nas fhaisge, chan ann nas fhaide. Tha buaidh aig a’ chiad thomhas air co-chruinneachadh cuideachd. Faodaidh an dà dhòigh sin soirbheachadh no fàiligeadh a rèir \(x_0\). --- 3. An Dòigh-roinneadh mar Ath-aithris Shìmplidh Ged a thèid a sheòrsachadh air leth gu tric, faodar an dòigh-roinneadh dà fhaicinn mar dhòigh-obrach ath-aithriseach glè chumhachdach. Is iad na cumhaichean: tha an gnìomh \(f(x)\) leantainneach air an eadar-ama \([a,b]\) agus tha atharrachadh soidhne ann: \[ f(a)\cdot f(b) < 0 \] Is e sin, tha freumh eadar \(a\) agus \(b\). An algairim: 1. Obraich a-mach am meadhan-phuing \(c=\frac{a+b}{2}\) 2. Obraich a-mach an fho-eadar-ama a tha fhathast a’ cuairteachadh na freumha (stèidhichte air an atharrachadh soidhne) 3. Dèan a-rithist gus an ruig thu an fulangas Buannachd na dòigh seo: bidh e gu cinnteach a’ tighinn còmhla ma thèid coinneachadh ris an t-suidheachadh atharrachaidh soidhne. An eas-bhuannachd: tha an co-chruinneachadh caran slaodach leis gu bheil an mearachd a’ lùghdachadh timcheall air leth le gach ath-aithris (co-chruinneachadh loidhneach). --- 4. Modh Ath-aithris Puing Stèidhichte Is e seo an cruth ath-aithris as dìriche: \[ x_{n+1} = g(x_n) \] Na ceumannan: 1. Atharraich \(f(x)=0\) gu \(x=g(x)\) 2. Tagh tomhas tùsail \(x_0\) 3. Dèan ath-aithris gus am bi \(|x_{n+1}-x_n|\) no \(|f(x_n)|\) nas lugha na an fulangas Is e a’ bhuannachd sìmplidheachd. Ach, tha an dòigh seo gu math mothachail air taghadh \(g(x)\). Airson an aon cho-aontar, tha iomadh dòigh ann airson \(x=g(x)\) a sgrìobhadh, ach chan eil ach cuid dhiubh a’ tighinn còmhla.
Mar eisimpleir, ma tha sinn airson freumhan f(x)=x^3-2x-5 a lorg, is urrainn dhuinn sgrìobhadh: - x = \sqrt[3]{2x+5}) gus am bi g(x)=\sqrt[3]{2x+5}) An uairsin bidh sinn ag ath-aithris x_{n+1}=\sqrt[3]{2x_n+5}). Tha soirbheachas an ath-aithris an urra ri co-dhiù a tha g'(x)|<1) timcheall air an fhreumh. --- 5. Modh Newton-Raphson: Ath-aithris Luath Stèidhichte air Toraidhean Tha modh Newton-Raphson mar aon de na modhan as mòr-chòrdte leis gu bheil a cho-chruinneachadh mar as trice glè luath. Is e foirmle an ath-aithris: [x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}] Mìneachadh: aig x_n), bidh sinn a’ togail tangent ris a’ ghnìomh f(x)). Tha eadar-ghearradh an tangant leis an x-axis air a chleachdadh mar an ath mheasadh. Buannachdan: - Co-chruinneachadh ceàrnagach (glè luath) ma tha e faisg gu leòr air an fhreumh agus f'(α)₂ 0). Eas-bhuannachdan: - Feumaidh e an t-atharrachadh de f'(x)). - Faodaidh e fàiligeadh ma tha an tomhas tùsail dona, no ma tha f'(x_n) faisg air neoni, a’ dèanamh a’ cheum ath-aithris neo-sheasmhach. Tha an dòigh seo air a chleachdadh gu farsaing ann an leasachadh, modaladh fiosaig, agus coimpiutaireachd innleadaireachd air sgàth cho èifeachdach ‘s a tha e nuair a tha na suidheachaidhean fàbharach. --- 6. Modh an t-Secant: Roghainn eile Newton às aonais Derivatives Ma tha e doirbh toraidhean obrachadh a-mach, tha an dòigh secant a’ tabhann co-rèiteachadh. Is e am prìomh bheachd an t-atharrachadh a thomhas le eadar-dhealachaidhean crìochnaichte: \[ f'(x_n)\approx \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} \] Mar sin is e am foirmle ath-aithris: \[ x_{n+1}=x_n - f(x_n)\,\frac{x_n-x_{n-1}}{f(x_n)-f(x_{n-1})} \] Feumaidh an dòigh seo dà thomhas tòiseachaidh: \(x_0\) agus \(x_1\). Tha an astar co-chruinneachaidh aige san fharsaingeachd nas fheàrr na dà-roinneadh sìmplidh agus puing stèidhichte, ged a tha e mar as trice beagan nas slaodaiche na Newton. Ach, leis nach eil feum air toraidhean, tha an secant gu tric nas practaigeach.
--- 7. Slatan-tomhais Stad Ann an àireamhachadh àireamhach, bu chòir stad a chur air ath-aithris nuair a tha e ceart gu leòr no ma tha amharas ann nach eil e a’ tighinn còmhla. Slatan-tomhais coitcheann: 1. Mearachd eadar-ath-aithris bheag: \[ |x_{n+1}-x_n|<\varepsilon \] 2. Luach gnìomh faisg air neoni: \[ |f(x_n)|<\varepsilon \] 3. Crìoch ath-aithris as àirde gus casg a chur air lùban gun chrìoch: \[ n \le n_{\max} \] Tha roghainn fulangas \(\varepsilon\) an urra ris na feumalachdan: is dòcha gum bi feum aig atharrais innleadaireachd air fulangas teann, agus tha àireamhachadh garbh gu math sgaoilte. --- 8. Coimeas Goirid de Dhòighean Ath-aithris Ann an geàrr-chunntas: - Roinneadh dà-shligheach: as seasmhaiche, gu cinnteach a’ tighinn còmhla (le atharrachadh soidhne), ach slaodach. - Puing stèidhichte: glè shìmplidh, ach chan eil co-chruinneachadh an-còmhnaidh cinnteach. - Newton-Raphson: glè luath, ach feumaidh e toraidhean agus tha e mothachail air tomhasan tùsail. - Earrann: chan eil feum air toraidhean, gu math luath, ach faodaidh e a bhith nas lugha seasmhach na roinneadh dà-shligheach. Ann an cleachdadh, tha an roghainn dòigh-obrach an urra ri nàdar na gnìomh, ruigsinneachd air toraidhean, an fheum air astar, agus seasmhachd. --- Co-dhùnadh Is e dòighean ath-aithriseach cnàimh-droma lorg freumhan àireamhach airson co-aontaran neo-loidhneach. Le bhith a’ togail sreath de thuairmsean a thèid ùrachadh gu h-ath-aithriseach, is urrainn dhuinn faighinn chun fhuasgladh nuair nach eil dòighean anailis rim faighinn. Tha tuigse air co-chruinneachadh, roghainn tomhas tùsail, agus an slatan-tomhais stad deatamach airson ath-aithris gus freumhan ceart agus èifeachdach a thoirt gu buil. Ann an tagraidhean san t-saoghal fhìor, thathas gu tric a’ cleachdadh ro-innleachd còmhla: a’ tòiseachadh le dòigh sheasmhach mar leth-roinneadh gus an eadar-ama freumha a “ghlasadh a-steach”, an uairsin ag atharrachadh gu Newton no secant gus co-chruinneachadh a luathachadh. Bidh seo a’ coileanadh cothromachadh eadar earbsachd agus astar - dà thaobh glè luachmhor ann an coimpiutaireachd àireamhach. --- Ma thogras tu, is urrainn dhomh eisimpleir ceum air cheum (àireamhach) de gin de na dòighean gu h-àrd a chur ris gus an artaigil a dhèanamh nas concrait.
