Fomba famerenana amin'ny fitadiavana faka
Ao amin'ny matematika ampiharina, fizika, injeniera ary siansa informatika, matetika mipoitra ny olana amin'ny "fitadiavana faka". Ny faka dia ny sandan'ny \(x\) izay mahatonga ny asa ho aotra, izany hoe ny vahaolana amin'ny fampitoviana:
\[
f(x)=0
\]
Tsy ny fampitoviana rehetra no manana vahaolana azo aseho amin'ny endrika mihidy, toy ny fampitoviana kuadratika. Ho an'ny tranga tena izy maro—toy ny fampitoviana tsy mitongilana sarotra—dia mila fomba fiasa nomerika isika. Ny iray amin'ireo fomba fiasa manan-danja indrindra dia ny fomba iterative, fomba fiasa izay mamokatra andiana vahaolana tombanana izay manakaiky kokoa ny faka amin'ny alàlan'ny iteration.
Ity lahatsoratra ity dia miresaka momba ireo foto-kevitra fototra momba ny fomba famerenana, ny fepetran'ny fihaonan'izy ireo, ary ny fomba famerenana sasany ampiasaina matetika amin'ny fitadiavana faka.
-
1. Hevitra fototra momba ny fomba famerenana
Ny fomba iteration dia miasa amin'ny fanaovana vinavina voalohany \(x_0\), avy eo manatsara izany tsikelikely mba hahazoana ny filaharana:
\[
x_0, x_1, x_2, \dots, x_n
\]
miaraka amin'ny fanantenana:
\[
x_n \to \alpha
\]
izay \(\alpha\) no tena fotony amin'ny fampitoviana \(f(x)=0\).
Amin'ny ankapobeny, ny fomba iteration dia manova ny olana \(f(x)=0\) ho endrika mitovy:
\[
x = g(x)
\]
Avy eo dia atao ny famerenana:
\[
x_{n+1} = g(x_n)
\]
Raha mifanindry ity dingana ity, dia vahaolana fototry ny fampitoviana tany am-boalohany ny teboka raikitra amin'ny \(g(x)\).
-
2. Fihaonana: Rahoviana no mahomby ny famerenana?
Tsy ny asa rehetra \(g(x)\) no mamokatra iterasiona marin-toerana. Mba hahafahan'ny iterasiona \(x_{n+1}=g(x_n)\) mihaona amin'ny fakany \(\alpha\), ireto fepetra ankapobeny ampiasaina matetika ireto:
1. \(g(\alpha)=\alpha\) (ny faka dia teboka raikitra)
2. \(|g'(\alpha)| < 1\) (fihenan-toerana) Ny fahatsapana ny \(|g'(\alpha)| < 1\) dia: eo akaikin'ny vahaolana, ny asa \(g\) dia "tsy dia mideza loatra", ka ny iteration tsirairay dia mampanakaiky kokoa ny sandan'ny \(x_n\) fa tsy mampanakaiky kokoa. Ny vinavina voalohany koa dia misy fiantraikany amin'ny convergence. Ireo fomba roa ireo dia mety hahomby na tsy hahomby arakaraka ny \(x_0\). --- 3. Ny fomba Bisection ho toy ny iteration tsotra Na dia matetika sokajiana misaraka aza, ny fomba bisection dia azo jerena ho fomba iterative mahery vaika. Ireto avy ny fepetra: ny asa \(f(x)\) dia mitohy eo amin'ny elanelam-potoana \([a,b]\) ary misy fiovan'ny famantarana: \[ f(a)\cdot f(b) < 0 \] Izany hoe, misy faka eo anelanelan'ny \(a\) sy \(b\). Ny algorithm: 1. Kajy ny teboka afovoany \(c=\frac{a+b}{2}\) 2. Farito ny elanelana kely izay mbola manodidina ny faka (mifototra amin'ny fiovan'ny famantarana) 3. Avereno mandra-pahatongan'ny fandeferana Ny tombony amin'ity fomba ity: azo antoka fa hihaona izy raha tratra ny fepetra fiovan'ny famantarana. Ny fatiantoka: somary miadana ny fihaonana satria mihena antsasany eo ho eo ny hadisoana isaky ny iteration (convergence linear). --- 4. Fomba Iteration Fixed-Point Ity no endrika iteration mivantana indrindra: \[ x_{n+1} = g(x_n) \] Ireo dingana: 1. Ovay ho \(x=g(x)\) ny \(f(x)=0\) 2. Misafidiana vinavina voalohany \(x_0\) 3. Avereno mandra-pahatongan'ny \(|x_{n+1}-x_n|\) na \(|f(x_n)|\) ho kely kokoa noho ny fandeferana Ny tombony dia ny fahatsorana. Na izany aza, ity fomba ity dia tena saro-pady amin'ny fisafidianana ny \(g(x)\). Ho an'io fampitoviana io ihany, misy fomba maro hanoratana ny \(x=g(x)\), saingy ny sasany amin'izy ireo ihany no mifanindry.
Ohatra, raha te-hahita ny fakany amin'ny \(f(x)=x^3-2x-5\ isika, dia afaka manoratra hoe: - \(x = \sqrt[3]{2x+5}\) ka \(g(x)=\sqrt[3]{2x+5}\) Dia averimberintsika \(x_{n+1}=\sqrt[3]{2x_n+5}\). Ny fahombiazan'ny iteration dia miankina amin'ny hoe manodidina ny fakany ve ny \(|g'(x)|<1\) sa tsia. --- 5. Fomba Newton-Raphson: Iteration Mifototra amin'ny Derivative Haingana Ny fomba Newton-Raphson dia iray amin'ireo fomba malaza indrindra satria matetika haingana dia haingana ny convergence-ny. Ny raikipohy iteration dia: \[ x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)} \] Fandikana: amin'ny \(x_n\), dia manorina tangent amin'ny function \(f(x)\ isika. Ny fihaonan'ny tangent amin'ny axe \(x\) no ampiasaina ho tombana manaraka. Tombony: - Fifandonana quadratic (haingana be) raha akaiky ny fakany sy ny \(f'(\alpha)\neq 0\). Fatiantoka: - Mitaky ny derivative an'ny \(f'(x)\). - Mety tsy hahomby raha ratsy ny vinavina voalohany, na raha akaiky ny aotra ny \(f'(x_n)\), ka mahatonga ny dingana iteration tsy ho marin-toerana. Ity fomba ity dia ampiasaina betsaka amin'ny optimization, ny modely fizika, ary ny informatika injeniera noho ny fahombiazany rehefa tsara ny toe-javatra. --- 6. Fomba Secant: Safidy hafa an'i Newton tsy misy Derivatives Raha sarotra kajy ny derivatives, ny fomba secant dia manolotra marimaritra iraisana. Ny hevitra fototra dia ny manakaiky ny derivative miaraka amin'ny fahasamihafana voafetra: \[ f'(x_n)\approx \frac{f(x_n)-f(x_{n-1})}{x_n-x_{n-1}} \] Ka ny raikipohy iteration dia: \[ x_{n+1}=x_n - f(x_n)\,\frac{x_n-x_{n-1}}{f(x_n)-f(x_{n-1})} \] Ity fomba ity dia mitaky vinavina voalohany roa: \(x_0\) sy \(x_1\). Ny hafainganam-pandehan'ny convergence dia amin'ny ankapobeny tsara kokoa noho ny bisection tsotra sy ny fixed-point, na dia matetika miadana kokoa noho ny Newton aza. Na izany aza, satria tsy mitaky derivatives izy, dia matetika azo ampiharina kokoa ny secant.
--- 7. Fepetra Fijanonana Amin'ny kajy nomerika, tokony hajanona ny iteration rehefa marina tsara na raha ahiahiana ho tsy miangona. Fepetra ankapobeny: 1. Hadisoana kely eo anelanelan'ny iteration: \[ |x_{n+1}-x_n|<\varepsilon \] 2. Sanda fiasana akaikin'ny aotra: \[ |f(x_n)|<\varepsilon \] 3. Fetra iteration ambony indrindra mba hisorohana ny fihodinana tsy misy fiafarana: \[ n \le n_{\max} \] Miankina amin'ny filàna ny safidin'ny fandeferana \(\varepsilon\): mety mitaky fandeferana tery ny simulation injeniera, raha toa kosa ka malalaka ny kajy. --- 8. Fampitahana fohy ny fomba iteration. Raha fintinina: - Bisection: marin-toerana indrindra, miangona tokoa (raha miova ny famantarana), fa miadana. - Fixed-point: tena tsotra, saingy tsy azo antoka foana ny convergence. - Newton-Raphson: tena haingana, fa mitaky derivatives ary mora tohina amin'ny vinavina voalohany. - Secant: tsy ilaina ny derivatives, somary haingana, fa mety ho tsy dia marin-toerana loatra noho ny bisection. Amin'ny fampiharana, ny fisafidianana fomba fiasa dia miankina amin'ny toetran'ny asa, ny fisian'ny derivatives, ny filàna hafainganam-pandeha ary ny fahamarinan-toerana. --- Famaranana Ny fomba miverimberina no fototry ny fitadiavana faka nomerika ho an'ny fampitoviana tsy mitongilana. Amin'ny alàlan'ny fananganana andiana tombana nohavaozina miverimberina, dia afaka manatona ny vahaolana isika rehefa tsy misy ny fomba famakafakana. Ny fahatakarana ny convergence, ny fisafidianana ny vinavina voalohany, ary ny fepetra fijanonana dia tena ilaina amin'ny iteration mba hamokarana faka marina sy mahomby. Amin'ny fampiharana tena izy, matetika ampiasaina ny paikady mitambatra: manomboka amin'ny fomba marin-toerana toy ny bisection mba "hanidy" ny elanelam-pototra, avy eo mifindra amin'ny Newton na secant mba hanafainganana ny convergence. Izany dia mahatratra fifandanjana eo amin'ny fahatokisana sy ny hafainganam-pandeha - lafiny roa tena sarobidy amin'ny kajy nomerika. --- Raha tianao, dia afaka manampy ohatra tsikelikely (isa) amin'ny iray amin'ireo fomba etsy ambony aho mba hahatonga ny lahatsoratra ho mivaingana kokoa.
