Navier–Stokes සාධනයක් හමුවේ ඉංජිනේරුවෙකුගේ ප්‍රශ්න 15ක්
Navier–Stokes සාධනයක් හමුවේ ඉංජිනේරුවෙකුගේ ප්‍රශ්න 15ක්
OpenAI, AI Agents 10,000ක්, ගණිතමය තරංග, බල සමතුලිතතාව සහ භෞතික යථාර්ථය පිළිබඳ ප්‍රශ්නෝත්තර සංවාදයක්
හැඳින්වීම: මම මේ ගණිතමය සාධනය පසුපස මෙතරම් දුර ගියේ ඇයි?
මෑතකදී OpenAI ආයතනය විසින් AI සහාය ඇතිව Navier–Stokes සමීකරණ සම්බන්ධයෙන් ඉදිරිපත් කළ ගණිතමය පර්යේෂණයක් පිළිබඳව කියවන්නට මට අවස්ථාව ලැබුණා.
Navier–Stokes සමීකරණ මට සම්පූර්ණයෙන්ම අලුත් විෂයයක් නොවෙයි. ඉංජිනේරු විද්‍යාවේදී අපි තරලයක චලනය, පීඩනය, දුස්ස්‍රාවිතාව (viscosity), බල සහ ගම්‍යතාව (momentum) අතර සම්බන්ධය අධ්‍යයනය කරනවා. ඒ වගේම මගේ පශ්චාත් උපාධි අධ්‍යයනයේදී ගංගා ප්‍රවාහ ආකෘතිකරණය සහ Saint-Venant සමීකරණ පිළිබඳවත් කටයුතු කර තිබෙනවා.
එහෙත් මේ පර්යේෂණය කියවන්නට පටන්ගත් විට මට දැනුණේ අපි හුරුපුරුදු භෞතික ලෝකය වෙනුවට, විශේෂ ගණිතමය ශ්‍රිත, දෝලන, තරංග සහ ඒවායේ අන්තර්ක්‍රියා පාලනය කරමින් ගොඩනඟන වෙනස්ම ලෝකයකට ඇතුළු වී ඇති බවයි.
මගේ ප්‍රශ්නය වුණේ, මෙවැනි ගණිතමය නිර්මාණයක් තුළ නිව්ටන්ගේ දෙවැනි නියමය කොතැනද ක්‍රියාත්මක වන්නේ යන්නයි.
මේ ප්‍රශ්න ගැන මම ChatGPT සමඟ දිගින් දිගටම සාකච්ඡා කළා. සමහර අවස්ථාවලදී මගේ මුල් විරෝධතා වැරදි බවත් තේරුම් ගත්තා. තවත් අවස්ථාවලදී ගණිතමය වශයෙන් නිවැරදි යමක් භෞතිකව අර්ථවත් වන්නේ කෙසේද යන ප්‍රශ්නය තවදුරටත් විවෘතව පැවතුණා.
මේ ලිපිය ඒ සංවාදය ප්‍රශ්නෝත්තර ආකාරයෙන් නැවත ගොඩනැඟීමක්.
මෙය OpenAI පර්යේෂණයේ වැරදි බව තහවුරු කරන ලිපියක් නොවෙයි. ඒ වගේම එහි සාධනය සම්පූර්ණයෙන්ම තහවුරු කරන ලිපියකුත් නොවෙයි. මෙහි අරමුණ වන්නේ ගණිතමය සාධනයක් ඉංජිනේරු විද්‍යාවේ භෞතික චින්තනය තුළින් කියවීමට උත්සාහ කරන විට මතු වන ප්‍රශ්න සාකච්ඡා කිරීමයි.
ප්‍රශ්නය 01: OpenAI ඇත්තටම විසඳන්නට උත්සාහ කරන්නේ කුමක්ද?
පිළිතුර:
Navier–Stokes සමීකරණ මඟින් තරලයක චලනය විස්තර කරනවා. තරලයක ප්‍රවේගය, පීඩනය සහ දුස්ස්‍රාවිතාව එකිනෙකට සම්බන්ධ වන ආකාරය මේ සමීකරණ තුළ අන්තර්ගතයි.
මෙහි ප්‍රධාන ගණිතමය ගැටලුවක් වන්නේ, ආරම්භයේදී සුමටව පවතින ප්‍රවේග ක්ෂේත්‍රයක් (smooth velocity field), කාලයත් සමඟ සෑම විටම සුමටව පවතීද, නැත්නම් සීමිත කාලයක් තුළ singularity එකක් ඇති විය හැකිද යන්නයි.
Singularity යන්නෙන් අදහස් කරන්නේ තරලයක් අනිවාර්යයෙන්ම භෞතිකව පුපුරා යන බව නොවෙයි. ගණිතමය විසඳුමක යම් ප්‍රමාණයක්, උදාහරණයක් ලෙස ප්‍රවේගයේ උපරිම අගය, සීමාවකින් තොරව වැඩි වීමක් එයින් අදහස් විය හැකියි.
OpenAI පර්යේෂණයේ විශේෂත්වය වන්නේ සුමට බාහිර බලයක් (smooth external forcing) යටතේ, මුලින් නිශ්චල තත්ත්වයක පවතින තරලයක ප්‍රවේගය සීමිත කාලයක් තුළ අසීමිත වන ආකාරයේ ගණිතමය නිර්මාණයක් ඉදිරිපත් කිරීමයි.
මෙය සුමට බාහිර බලයක් ඇතුළත් forced Navier–Stokes ගැටලුවක් බව මතක තබාගත යුතුයි. එය Clay Mathematics Institute හි ප්‍රසිද්ධ, සාමාන්‍යයෙන් බාහිර බලය ශූන්‍ය ලෙස සලකන ගැටලුව සම්පූර්ණයෙන් විසඳූ බවට සමාන ප්‍රකාශයක් නොවෙයි.
ප්‍රශ්නය 02: AI Agents 10,000ක් පමණ යොදාගැනීම ගණිතමය සාධනයක විශ්වසනීයත්වය තහවුරු කරනවාද?
පිළිතුර:
නැහැ.
AI Agents විශාල සංඛ්‍යාවක් යොදාගැනීමෙන් ගණිතමය ගවේෂණයක පරිමාණය වැඩි කළ හැකියි. විවිධ උපකල්පන පරීක්ෂා කිරීම, ගණනය කිරීම් සිදු කිරීම, සාධනයක කොටස් සකස් කිරීම සහ විකල්ප මාර්ග සෙවීම වැනි කාර්යයන් එමඟින් වේගවත් කළ හැකියි.
එහෙත් Agent සංඛ්‍යාව සාධනයක නිවැරදිභාවය මනින ඒකකයක් නොවෙයි.
AI Agents මිලියනයක් යොදාගත්තත්, අවසානයේ ඉදිරිපත් වන ගණිතමය ප්‍රකාශය නිවැරදිද, එහි උපකල්පන පැහැදිලිද, සියලු නිගමන තාර්කිකව අනුගමනය කරනවාද යන්න වෙනම පරීක්ෂා කළ යුතුයි.
මෙහිදී Lean වැනි formal verification පද්ධති පිළිබඳවත් ප්‍රශ්නයක් මතු වෙනවා.
Lean පද්ධතියක් තුළ නිවැරදිව සම්පාදනය වන සාධනයක්, එහි formal ලෙස ලියා ඇති ප්‍රකාශයට සාපේක්ෂව තාර්කිකව පරීක්ෂා කළ හැකියි. නමුත් මුල් ස්වාභාවික භාෂාවේ ප්‍රකාශය formal කිරීමේදී වෙනස් වී තිබුණොත්, Lean මඟින් වෙනස් වූ ප්‍රකාශයක් පමණක් තහවුරු විය හැකියි.
ඒ නිසා ප්‍රශ්න දෙකක් තිබෙනවා.
Formal සාධනය නිවැරදිද?
එය අප මුලින් සාධනය කිරීමට බලාපොරොත්තු වූ ප්‍රකාශයමද?
මේ දෙක එකම ප්‍රශ්නය නොවෙයි.
ප්‍රශ්නය 03: තරලයක චලනය විස්තර කිරීමට මුලින්ම හඳුනාගත් fluid parcel එකක් අවශ්‍ය නැද්ද?
පිළිතුර:
මේක මගේ මුල්ම සහ වැදගත්ම විරෝධතාවලින් එකක්.
ඉංජිනේරු විද්‍යාවේදී අපි සාමාන්‍යයෙන් යම් වස්තුවක් හෝ තරල කොටසක් හඳුනාගෙන, ඒ මත ක්‍රියා කරන බල සලකා, නිව්ටන්ගේ දෙවැනි නියමය යොදාගන්නවා.
නමුත් Continuum Mechanics තුළ තරලයක චලනය ප්‍රවේග ක්ෂේත්‍රයක් (velocity field) ලෙසත් නිරූපණය කළ හැකියි.
එහිදී සෑම කුඩා තරල කොටසක්ම වෙන වෙනම ඇඳීමට අවශ්‍ය නැහැ. ඒ වෙනුවට ඕනෑම ද්‍රව්‍යමය පරිමාවකට අදාළ ගම්‍යතා සමතුලිතතාව ගණිතමය වශයෙන් ප්‍රකාශ කර, පසුව එය ප්‍රාදේශීය අවකල සමීකරණයක් බවට පරිවර්තනය කරනවා.
මෙහි වැදගත් කරුණ වන්නේ තරල කොටස අතුරුදහන් වී නැති බවයි.
එය ගණිතමය ක්ෂේත්‍රයක සෑම ලක්ෂ්‍යයකටම අදාළ වන ආකාරයට සාමාන්‍යකරණය කර තිබෙනවා.
ප්‍රශ්නය 04: පීඩනයට පරිමාවක් ගුණ කිරීම වැරදි නැද්ද?
පිළිතුර:
මම ChatGPT ඉදිරිපත් කළ සමීකරණයකට මේ විරෝධතාව ඉදිරිපත් කළා.
පීඩනය යනු ඒකක වර්ගඵලයකට ක්‍රියා කරන බලයයි. ඒ නිසා පීඩනයක් බලයක් බවට පත් කිරීමට වර්ගඵලයකින් ගුණ කළ යුතුයි.
ඒක නිවැරදියි.
නමුත් Navier–Stokes සමීකරණයේ අඩංගු වන්නේ පීඩනය පමණක් නොව, පීඩන අනුක්‍රමණය (pressure gradient) යි.
පීඩන අනුක්‍රමණයේ ඒකක N/m³ වේ.
ඒ නිසා පීඩන අනුක්‍රමණයක් පරිමාවකින් ගුණ කළ විට බලයක් ලැබෙනවා.
උදාහරණයක් ලෙස කුඩා ඝනකාකාර තරල කොටසක විරුද්ධ මුහුණත් දෙක මත ක්‍රියා කරන පීඩන බල අතර වෙනස ගත් විට, එහි ප්‍රතිඵලය පීඩන අනුක්‍රමණය සහ පරිමාව ඇසුරෙන් ප්‍රකාශ කළ හැකියි.
වඩාත් නිවැරදිව කියනවා නම්, තරල කොටසක පෘෂ්ඨය මත ක්‍රියා කරන පීඩන බලයන්ගේ පෘෂ්ඨීය අනුකලනය (surface integral), Gauss divergence theorem මඟින් පරිමා අනුකලනයක් (volume integral) බවට පරිවර්තනය කළ හැකියි.
මේ අවස්ථාවේදී මගේ මුල් විරෝධතාවේ වැදගත් අඩුවක් මට පැහැදිලි වුණා.
පීඩනය පරිමාවෙන් ගුණ කරනවා නොවෙයි. පීඩන බලයන්ගේ සමස්ත ප්‍රතිඵලය පරිමා අනුකලනයකින් නිරූපණය කරනවා.
එය ඉතා වැදගත් වෙනසක්.
ප්‍රශ්නය 05: එසේ නම් පීඩන බලය, viscous බලය සහ බාහිර බලය එකම දිශාවක ක්‍රියා කළ යුතුද?
පිළිතුර:
නැහැ.
මෙයත් මගේ මුල් අවබෝධයේ තිබූ තවත් වැරදි උපකල්පනයක්.
බල සියල්ලම එකම දිශාවක ක්‍රියා කිරීම අවශ්‍ය නැහැ. අවශ්‍ය වන්නේ ඒවායේ දෛශික එකතුව (vector sum) තරල කොටසේ ගම්‍යතා වෙනස්වීමට සමාන වීමයි.
උදාහරණයක් ලෙස පීඩන බලය ඉහළටත්, viscous බලය පහළටත්, බාහිර බලය තිරස් දිශාවකටත් ක්‍රියා කළ හැකියි.
ඒවායේ ප්‍රතිඵල බලය තරල කොටසේ ත්වරණය තීරණය කරනවා.
පරිමා අනුකලනයක් යොදාගැනීමෙන් බලයන්ගේ දිශා වෙනස්කම් අහෝසි වන්නේ නැහැ. ඒවා දෛශික ලෙසම පවතිනවා.
ඒ නිසා OpenAI නිර්මාණයේදීත් බලයන්ගේ ප්‍රමාණ පමණක් නොව, සෑම අවකාශීය දිශාවකටම අදාළ ගම්‍යතා සමතුලිතතාව සපුරා තිබිය යුතුයි.
ප්‍රශ්නය 06: එහෙත් ප්‍රවේග ක්ෂේත්‍රයක් මුලින්ම නිර්මාණය කර පසුව ඊට ගැළපෙන බලයක් ගණනය කිරීම නිව්ටන්ගේ නියමය භාවිත කිරීමක්ද?
පිළිතුර:
ඔව්, එය නිව්ටන්ගේ නියමයට අනුකූල විය හැකියි. නමුත් මෙහිදී ඉතා වැදගත් ක්‍රමවේද වෙනසක් තිබෙනවා.
සාමාන්‍ය ඉංජිනේරු ගැටලුවකදී අපි බලයන් සහ ආරම්භක කොන්දේසි දැනගෙන චලනය සොයනවා.
එය Forward Problem එකක්.
නමුත් යම් ප්‍රවේග ක්ෂේත්‍රයක් මුලින් නිර්මාණය කර, එය ඇති කිරීමට අවශ්‍ය බලය පසුව සොයනවා නම් එය Inverse Problem එකක්.
උදාහරණයක් ලෙස අවශ්‍ය ප්‍රවේගය සහ පීඩනය කලින් තෝරාගෙන, Navier–Stokes සමීකරණයේ ඉතිරි වන කොටස බාහිර බලය ලෙස අර්ථ දැක්විය හැකියි.
එවිට සමීකරණය තෘප්ත වෙනවා.
නමුත් ඒක පමණක් ප්‍රබල ගණිතමය සාධනයක් නොවෙයි.
එසේ ලබාගත් බාහිර බලය සුමටද, සීමාසහිතද, නියමිත කාල පරාසය තුළ අවශ්‍ය කොන්දේසි සපුරනවාද යන්නත් පෙන්විය යුතුයි.
OpenAI පර්යේෂණයේ ගණිතමය අභියෝගය පිහිටන්නේ මේ සීමා සහිත නිර්මාණය තුළයි.
ප්‍රශ්නය 07: එහෙම නම් Blender වැනි animation software එකකින් vortex එකක් නිර්මාණය කර, එහි චලනයට සමීකරණ සකස් කළොත් එයත් සාධනයක්ද?
පිළිතුර:
මම මේ ප්‍රශ්නය මතු කළේ ගණිතමය නිර්මාණයක සහ භෞතික නිරූපණයක වෙනස පැහැදිලි කරගැනීමටයි.
Animation software එකකින් ලස්සන spiral vortex එකක් නිර්මාණය කළ හැකියි. එහි වේගය, හැඩය සහ කාලයත් සමඟ වෙනස් වන ආකාරය පාලනය කිරීමට ශ්‍රිත යොදාගත හැකියි.
නමුත් එය Navier–Stokes සමීකරණවල විසඳුමක් බව එයින් පමණක් තහවුරු වෙන්නේ නැහැ.
ඒ සඳහා අවම වශයෙන් ප්‍රාදේශීය ගම්‍යතා සමතුලිතතාව, ස්කන්ධ සංරක්ෂණය, ආරම්භක කොන්දේසි සහ බලයන් පිළිබඳ නියමිත සීමා පරීක්ෂා කළ යුතුයි.
Animation එකක් තුළ velocity field එකක් තිබීම සහ එය Navier–Stokes විසඳුමක් වීම දෙකක්.
නමුත් විශේෂිත mathematical construction එකක් වුවත්, සියලු නියමිත කොන්දේසි සපුරන්නේ නම්, එය වලංගු ගණිතමය විසඳුමක් විය හැකියි.
මෙහිදී මගේ මුල් උපමාවටත් සීමාවක් තිබෙන බව පිළිගත යුතුයි.
ප්‍රශ්නය 08: ගණිතමය දෝලන සහ තරංග නිර්මාණය කිරීමෙන් තරලයක සැබෑ vortex එකක් නිර්මාණය වෙනවාද?
පිළිතුර:
අනිවාර්යයෙන්ම නැහැ.
ගණිතමය oscillation එකක් යනු යම් ශ්‍රිතයක් අවකාශය හෝ කාලය අනුව නැවත නැවත වෙනස් වීමක්.
එය භෞතික තරංගයක් ලෙස අර්ථ දැක්විය හැකි අවස්ථා තිබුණත්, සෑම oscillatory function එකක්ම සැබෑ තරලයකට බාහිරව යොදන තරංගයක් ලෙස සැලකිය නොහැකියි.
OpenAI පර්යේෂණයේදී oscillatory corrections භාවිත කරන්නේ ගණිතමය විසඳුමක ඉතිරි වන residual terms පාලනය කිරීමට බව පැහැදිලි වෙනවා.
ඒ කියන්නේ සැබෑ තරලයක vortex එකක් ඇති කර, පසුව වෙනත් තරංගයක් එයට එල්ල කර එහි බලයන් අහෝසි කිරීමක් ලෙස මෙය සරලව විස්තර කළ නොහැකියි.
මෙහිදී oscillation එක ගණිතමය නිර්මාණයේම කොටසක් විය හැකියි.
ප්‍රශ්නය 09: Residual එකක් කියන්නේ මොකක්ද? එය සැබෑ බලයක්ද?
පිළිතුර:
යම් ප්‍රවේග සහ පීඩන ක්ෂේත්‍රයක් Navier–Stokes සමීකරණයට ආදේශ කළ විට, සමීකරණයේ දෙපස හරියටම සමාන නොවන්නේ නම් ඉතිරි වන වෙනස residual එක ලෙස හැඳින්විය හැකියි.
එය තවමත් විසඳී නොමැති ගණිතමය අසමතුලිතතාවක්.
Residual එක බල ඝනත්වයක ඒකකවලින් ප්‍රකාශ කළ හැකි වුණත්, එය අනිවාර්යයෙන්ම සැබෑ ලෝකයේ වෙනම හඳුනාගත හැකි බාහිර බලයක් නොවෙයි.
පර්යේෂකයෙකුට මේ residual එක අඩු කිරීමට හෝ අවලංගු කිරීමට අලුත් velocity correction එකක් හඳුන්වා දිය හැකියි.
එවිට nonlinear terms වෙනස් වෙනවා. Viscous terms වෙනස් වෙනවා. පීඩන ක්ෂේත්‍රයත් නැවත සකස් කිරීමට සිදු විය හැකියි.
මේ ක්‍රියාවලිය සැබෑ තරලයකට අමතර බලයක් යොදනවාට වඩා, සමීකරණය තෘප්ත වන නිවැරදි ගණිතමය ක්ෂේත්‍රයක් ගොඩනැඟීමේ ක්‍රමයක්.
ප්‍රශ්නය 10: Oscillations නිර්මාණය කිරීමට ශක්තිය අවශ්‍ය නැද්ද? ඒ ශක්තිය එන්නේ කොහෙන්ද?
පිළිතුර:
මේ ප්‍රශ්නය මගේ පර්යේෂණයේ තවත් වැදගත් හැරවුම් ලක්ෂ්‍යයක්.
තරලයක ප්‍රවේගයක් තිබෙනවා නම් එයට චාලක ශක්තියක් (kinetic energy) තිබෙනවා.
නමුත් දෝලනයක් පැවතීමට සෑම මොහොතකම අලුත් ශක්තියක් බාහිරින් සැපයිය යුතුම නැහැ. ආරම්භයේ පවතින ශක්තිය, බාහිර බලයන් කරන කාර්යය, තරලයේ විවිධ චලන පරිමාණ අතර ශක්ති හුවමාරුව සහ මායිම් හරහා සිදුවන හුවමාරු යන සියල්ල අදාළ විය හැකියි.
දුස්ස්‍රාවිතාව නිසා ශක්තිය විසිරී යනවා.
එබැවින් දෝලන වර්ධනය වන ආකාරය පැහැදිලි කිරීමට ගම්‍යතා සමතුලිතතාව පමණක් ප්‍රමාණවත් නැහැ. චාලක ශක්ති සමතුලිතතාවත් සලකා බැලිය යුතුයි.
සුදුසු මායිම් කොන්දේසි යටතේ තරලයේ චාලක ශක්තිය වෙනස් වීම, viscous dissipation සහ බාහිර බලයන් විසින් කරන කාර්යය අතර සම්බන්ධතාවක් පවතිනවා.
මගේ ප්‍රශ්නය වුණේ, OpenAI නිර්මාණයේදී මේ දෝලනවල ශක්ති දායකත්වය ගණිතමය වශයෙන් පාලනය කරන්නේ කොහොමද යන්නයි.
මේ ප්‍රශ්නයට සම්පූර්ණ පිළිතුරක් ලබාගැනීමට අදාළ energy estimates සහ forcing estimates පරීක්ෂා කළ යුතුයි.
ප්‍රශ්නය 11: එම ශක්තිය angular momentum එකෙන් හුවමාරු වෙනවාද?
පිළිතුර:
අනිවාර්යයෙන්ම නැහැ.
Angular momentum සහ kinetic energy යනු එකිනෙකට සම්බන්ධ විය හැකි නමුත් වෙනස් භෞතික ප්‍රමාණ දෙකක්.
Vortex එකක කෝණික ගම්‍යතාව තිබිය හැකියි. එහි චලනයට චාලක ශක්තියත් තිබෙනවා.
නමුත් ගණිතමය oscillation එකක් නිර්මාණය කිරීම සඳහා අනිවාර්යයෙන්ම angular momentum එකක් වෙනත් තැනකින් ලබාගත යුතුයි කියා නියමයක් නැහැ.
තරලයක කෝණික ගම්‍යතාව වෙනස් වන්නේ බලයන්ගේ ව්‍යාවර්ත (torques) සහ අදාළ ගම්‍යතා ප්‍රවාහයන්ට අනුවයි.
එබැවින් OpenAI නිර්මාණයේ දෝලනවල ශක්ති හුවමාරුව angular momentum transfer එකක් ලෙස විස්තර කිරීමට නම්, එය සාධනයේ නිශ්චිත සමීකරණවලින් පෙන්විය යුතුයි.
මෙතෙක් සාකච්ඡා කළ තොරතුරු මත එවැනි නිගමනයකට පැමිණිය නොහැකියි.
ප්‍රශ්නය 12: Paper එකේ 62 වැනි පිටුවේ oscillations අතර cross products අහෝසි වන බව කියන්නේ මොකක්ද?
පිළිතුර:
මට විශේෂයෙන්ම අවධානයට ලක් වූ වාක්‍යයක් එහි තිබුණා.
එහි අදහස වන්නේ, ඉතිරි විචල්‍යයන් තුළ එකිනෙකට අතිච්ඡාදනය වන oscillations සඳහා, අමතර සහායක විචල්‍යයන්ගේ (auxiliary variables) පරාසයන් එකිනෙකින් වෙන් කර තබන බවයි.
ඒ නිසා නියමිත evaluation ක්‍රියාවලියෙන් පසුව ඒ oscillations අතර සමහර cross products ශූන්‍ය වන ලෙස නිර්මාණය කළ හැකියි.
සරල උදාහරණයක් ගනිමු.
දෝලන ශ්‍රිත දෙකක් එකිනෙකට අතිච්ඡාදනය නොවන ප්‍රදේශවල පමණක් ශූන්‍ය නොවන අගයන් ගන්නවා නම්, ඒවායේ ගුණිතය ශූන්‍ය විය හැකියි.
නමුත් මෙහිදී වැදගත් වෙනසක් තිබෙනවා.
Cross product එකක් ශූන්‍ය වීම, එම oscillations දෙකේ චාලක ශක්තිය අහෝසි වීමක් නොවෙයි.
එය තෝරාගත් ගණිතමය අන්තර්ක්‍රියාවක් අහෝසි කිරීමක්.
එම පිටුවේම එකම localized oscillation එකේ harmonics තවදුරටත් අන්තර්ක්‍රියා කරන බවත් සඳහන් වෙනවා.
ඒ නිසා සියලු nonlinear interactions අහෝසි වී ඇති බව කියන්න බැහැ.
මෙහි ඉතිරි වන ප්‍රශ්නය වන්නේ auxiliary variables තුළ සිදු කරන මේ වෙන්කිරීම් අවසාන භෞතික අවකාශයේ velocity field එකට පරිවර්තනය වන විට නිවැරදිව පවත්වාගන්නේ කෙසේද යන්නයි.
ප්‍රශ්නය 13: තරලයක radial සහ axial dimensions දෙකම කුඩා වෙමින් ගියොත් incompressibility නියමය උල්ලංඝනය වෙන්නේ නැද්ද?
පිළිතුර:
Flashcards තුළ මට හමු වූ තවත් ප්‍රකාශයක් වූයේ radial length scale සහ axial length scale කාලයත් සමඟ අඩු වන බවයි.
ඒවා singularity එකට ඉතිරි කාලයේ බලයන් ලෙස ප්‍රකාශ කර තිබුණා.
මෙහිදී මගේ ප්‍රශ්නය වුණේ, තරල කොටසක පළලත් උසත් අඩු වෙනවා නම් එහි පරිමාවත් අඩු විය යුතු නොවේද යන්නයි.
නමුත් characteristic length scales යනු අනිවාර්යයෙන්ම එකම material fluid parcel එකක භෞතික මාන නොවෙයි.
ඒවා ප්‍රවේග ක්ෂේත්‍රයක යම් රටාවක් අවකාශය තුළ කේන්ද්‍රගත වන පරිමාණ නිරූපණය කළ හැකියි.
Incompressibility යනු තරලයේ ප්‍රවේග ක්ෂේත්‍රයේ divergence එක ශූන්‍ය වීමයි.
ඒ අනුව ද්‍රව්‍යමය තරල කොටසක පරිමාව සංරක්ෂණය විය යුතුයි.
නමුත් velocity field එකක යම් කේන්ද්‍රගත රටාවක radial සහ axial පරිමාණ අඩුවීම, ඒ තරල කොටසම සියලු දිශාවලින් සම්පීඩනය වන බවට සාක්ෂියක් නොවෙයි.
මේ දෙක වෙන්කරගැනීම ඉතා වැදගත්.
ප්‍රශ්නය 14: Flashcard එකක සඳහන් වූ “Heat Flow” කියන්නේ තරලයට තාපය එකතු කිරීමක්ද?
පිළිතුර:
මෙයත් මට මුලදී ගැටලුවක් වුණා.
Navier–Stokes සමීකරණවල viscous diffusion term එක, ගණිතමය වශයෙන් heat equation එකට සමාන ස්වරූපයක් ගන්නවා.
Heat equation එකෙන් උෂ්ණත්වය අවකාශය තුළ විසිරී යන ආකාරය විස්තර කරනවා.
Viscous diffusion එකෙන් ප්‍රවේග ක්ෂේත්‍රයේ වෙනස්කම් දුස්ස්‍රාවිතාව හේතුවෙන් සුමට වන ආකාරය විස්තර කරනවා.
එම නිසා ගණිතඥයන් “heat flow” යන පදය velocity diffusion සඳහාත් භාවිත කරනවා.
අදාළ flashcard එකේ සඳහන් වන්නේ inner සහ outer profiles සම්බන්ධ කරන විට radial moments කිහිපයක් ගැළපීම සහ outer heat flow එකට බාධාවක් නොවන ලෙස residual stress එක පාලනය කිරීම පිළිබඳවයි.
ඒ නිසා එහි heat flow යන්නෙන් අනිවාර්යයෙන්ම උෂ්ණත්වය හෝ thermal energy transfer එකක් අදහස් කරන්නේ නැහැ.
නමුත් එම විශේෂ නිර්මාණයේදී heat-flow evolution එකට අදාළ සම්පූර්ණ සමීකරණ පරීක්ෂා කිරීම තවදුරටත් අවශ්‍යයි.
ප්‍රශ්නය 15: එහෙම නම් මම මේ සාධනය පිළිබඳව තවමත් සෑහීමකට පත් නොවන්නේ ඇයි?
පිළිතුර:
මෙතැනදී මට මගේම බුද්ධිමය ස්ථානය පිළිබඳව සිතන්නට සිදු වෙනවා.
මම මේ පර්යේෂණය කියවන්නට පටන්ගත්තේ ගණිතමය සාධනයේ වැරදි සොයාගැනීමේ අරමුණින්ම නොවෙයි.
නමුත් මට හුරුපුරුදු ඉංජිනේරු ක්‍රමවේදයට වඩා වෙනස් ආකාරයකින් ප්‍රවේග ක්ෂේත්‍ර, දෝලන, residual stresses සහ forcing functions නිර්මාණය කරන විට ඒවායේ භෞතික අර්ථය පැහැදිලි කරගැනීමේ අවශ්‍යතාවක් ඇති වුණා.
විශේෂයෙන්ම Tristan Buckmaster වැනි ගණිතඥයන් මේ ක්‍රමවේදයේ වැදගත්කම තේරුම් ගන්නා අතර, මට එහි ඇතැම් පියවර තවමත් පැහැදිලි නොවීම මගේ අවධානය තව තවත් ඒ දෙසට යොමු කළා.
මම තවත් ප්‍රශ්නයක් ඇසුවා. තවත් පැහැදිලි කිරීමක් කියෙව්වා. සමහර විරෝධතා ඉවත් වුණා. ඒ වෙනුවට අලුත් ප්‍රශ්න මතු වුණා.
මේ අතර මම සැලසුම් කළ YouTube වීඩියෝව පවා ප්‍රමාද වුණා.
ඒ ප්‍රමාදයට එක් හේතුවක් වන්නේ මට සම්පූර්ණයෙන් නොවැටහෙන දෙයක් පිළිබඳව මහජනතාවට වැරදි පැහැදිලි කිරීමක් ඉදිරිපත් කිරීමට ඇති අකමැත්තයි.
නමුත් තවත් හේතුවක් තිබිය හැකියි.
සමහරවිට මම වීඩියෝව ඉදිරිපත් කිරීමට පෙර සියලු ප්‍රශ්න විසඳාගත යුතු යැයි සිතනවා විය හැකියි.
එහෙත් ගණිතමය පර්යේෂණයක සෑම විස්තරයක්ම අවබෝධ කරගැනීම සහ එහි මූලික ප්‍රශ්න නිවැරදිව ඉදිරිපත් කිරීම එකම දෙයක් නොවෙයි.
මට දැන් වඩාත් වැදගත් වන්නේ, මා තේරුම් ගත් දේ, මා වැරදි ලෙස තේරුම් ගෙන සිටි දේ සහ තවමත් මට නොවැටහෙන දේ පැහැදිලිව වෙන්කර ඉදිරිපත් කිරීමයි.
අවසානය: ගණිතමය සාධනයක් සහ භෞතික ලෝකය අතර ඇති දුර
මේ සාකච්ඡාවෙන් මට පැහැදිලි වූ වැදගත්ම කරුණක් තිබෙනවා.
ගණිතමය නිර්මාණයක් භෞතිකව අපට හුරුපුරුදු ආකාරයෙන් සිදු නොවන නිසා පමණක් එය වැරදි යැයි කියන්න බැහැ.
එසේම ගණිතමය වශයෙන් වලංගු නිර්මාණයක් සැබෑ තරලයක හැසිරීම නිරූපණය කරනවා යැයි ස්වයංක්‍රීයව නිගමනය කරන්නත් බැහැ.
මේ අතර වෙනස් ප්‍රශ්න තුනක් තිබෙනවා.
පළමුව, සාධනයේ තාර්කික සහ ගණිතමය නිවැරදිභාවය.
දෙවනුව, එහි ගණිතමය ක්ෂේත්‍ර Navier–Stokes සමීකරණ සහ අදාළ සංරක්ෂණ නියමයන් සපුරන ආකාරය.
තෙවනුව, එම නිර්මාණය සැබෑ තරලයක භෞතික හැසිරීමට කොතරම් දුරට සම්බන්ධ කළ හැකිද යන්න.
මගේ මුල් විරෝධතාවලින් කිහිපයක් Continuum Mechanics හි පරිමා අනුකලන, pressure gradients සහ දෛශික බල සමතුලිතතාව නැවත විමසීමෙන් නිරාකරණය වුණා.
නමුත් oscillatory corrections, nonlinear stress cancellation, kinetic-energy transfer සහ smooth forcing අතර ඇති සංකීර්ණ සම්බන්ධය තවදුරටත් ගැඹුරින් අධ්‍යයනය කළ යුතුයි.
ඒ නිසා මේ ලිපියෙන් මම OpenAI සාධනය පිළිගන්නවා හෝ ප්‍රතික්ෂේප කරනවා යන අවසාන තීන්දුවක් දෙන්නේ නැහැ.
ඒ වෙනුවට මා ඉදිරිපත් කරන්නේ ඉංජිනේරුවෙකු ලෙස ගණිතමය සාධනයක් කියවන විට මතු වූ ප්‍රශ්න මාලාවක් සහ ඒවාට පිළිතුරු සෙවීමේදී මගේම අවබෝධය වෙනස් වූ ආකාරයයි.
අවසානයේදී මට තවත් ප්‍රශ්නයක් ඉතිරි වෙනවා.
අපට නොවැටහෙන ගණිතමය සාධනයක් හමුවේ අප කළ යුත්තේ එය ප්‍රතික්ෂේප කිරීමද, එහි අධිකාරියට යටත් වීමද, නැත්නම් අපේම අවබෝධයේ සීමා හඳුනාගනිමින් දිගටම ප්‍රශ්න කිරීමද?
මම තෝරාගන්නේ තුන්වැනි මාර්ගයයි.
සටහන: මෙම ලිපිය මා මතු කළ ප්‍රශ්න සහ ChatGPT සමඟ සිදු කළ විමර්ශන සංවාද ඇසුරෙන් AI සහාය ඇතිව සකස් කර ඇත. මෙහි ගණිතමය පැහැදිලි කිරීම් සහ විවේචන ස්වාධීන peer-reviewed technical review එකකට සමාන නොවන අතර, OpenAI පර්යේෂණයේ සියලු සාධන පියවර සම්පූර්ණයෙන් පරීක්ෂා කළ බවක් මෙයින් අදහස් නොවේ.
මූලාශ්‍ර:
OpenAI — On the Navier–Stokes Millennium Prize Problem — නිල නිවේදනය සහ මුල් සාධනයට පිවිසුම.
Zhen Lei සහ Xiao Ren — Self-Similar Solutions — සාධනයේ profile construction කොටස පිළිබඳ ස්වාධීන ගණිතමය විස්තරයක්.
Section 6 — Auxiliary Torus and Oscillatory Supports — 62–73 පිටු පැහැදිලි කරන, තවමත් ස්වාධීනව සමාලෝචනය නොකළ AI සහායක විවරණයක්.
Comments