மூலங்களைக் கண்டறிவதில் மீள்செயல் முறை
பயன்பாட்டுக் கணிதம், இயற்பியல், பொறியியல் மற்றும் கணினி அறிவியல் ஆகியவற்றில், "மூலம் காணுதல்" என்ற சிக்கல் மிக அடிக்கடி எழுகிறது. மூலம் என்பது ஒரு சார்பை பூஜ்ஜியமாக்கும் \(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. மறுசெய்கை முறைகளின் ஒரு சுருக்கமான ஒப்பீடு சுருக்கமாக: - இருசமப் பிரிவு: மிகவும் நிலையானது, நிச்சயமாக ஒருங்கும் (குறியீடு மாற்றம் இருந்தால்), ஆனால் மெதுவானது. - நிலைப்புள்ளி: மிகவும் எளிமையானது, ஆனால் ஒருங்குதல் எப்போதும் உத்தரவாதமளிக்கப்படுவதில்லை. - நியூட்டன்-ராப்சன்: மிகவும் வேகமானது, ஆனால் வகைக்கெழுக்கள் தேவை மற்றும் ஆரம்ப யூகங்களுக்கு உணர்திறன் கொண்டது. - சீக்கண்ட்: வகைக்கெழுக்கள் தேவையில்லை, ஓரளவு வேகமானது, ஆனால் இருசமப்பிரிப்பு முறையை விட நிலைத்தன்மை குறைவாக இருக்கலாம். நடைமுறையில், முறையின் தேர்வு சார்பின் தன்மை, வகைக்கெழுக்களின் கிடைக்கும் தன்மை, வேகத்தின் தேவை மற்றும் நிலைத்தன்மை ஆகியவற்றைப் பொறுத்தது. --- முடிவுரை நேரியல் அல்லாத சமன்பாடுகளுக்கான எண்முறை மூலங்களைக் கண்டறிவதில், மீள்செயல்முறை முறைகளே முதுகெலும்பாகும். மீள்செயல்முறை மூலம் புதுப்பிக்கப்படும் தோராயங்களின் வரிசையை உருவாக்குவதன் மூலம், பகுப்பாய்வு முறைகள் கிடைக்காதபோது நாம் தீர்வை அணுக முடியும். சரியான மற்றும் திறமையான மூலங்களை உருவாக்க, மீள்செயல்முறைக்கு ஒருங்கல் தன்மையைப் புரிந்துகொள்வது, ஆரம்ப யூகத்தின் தேர்வு மற்றும் நிறுத்தும் அளவுகோல் ஆகியவை முக்கியமானவை. நிஜ உலகப் பயன்பாடுகளில், ஒரு ஒருங்கிணைந்த உத்தி பெரும்பாலும் பயன்படுத்தப்படுகிறது: மூல இடைவெளியை "நிலைநிறுத்த" இருசமப்பிரிப்பு போன்ற ஒரு நிலையான முறையுடன் தொடங்கி, பின்னர் ஒருங்கல் தன்மையை வேகப்படுத்த நியூட்டன் அல்லது சீக்கண்ட் முறைக்கு மாறுவது. இது நம்பகத்தன்மை மற்றும் வேகம் ஆகியவற்றுக்கு இடையே ஒரு சமநிலையை அடைகிறது—இவை எண்முறை கணக்கீட்டில் மிகவும் மதிப்புமிக்க இரண்டு அம்சங்களாகும். --- நீங்கள் விரும்பினால், இந்தக் கட்டுரையை மேலும் உறுதியானதாக மாற்ற, மேலே உள்ள முறைகளில் ஏதேனும் ஒன்றின் படிப்படியான (எண்முறை) உதாரணத்தை நான் சேர்க்க முடியும்.
