காமா சார்பியம்

மெய்யெண் அச்சின் பகுதியில் காமா சார்பியத்தின் மதிப்பு

கணிதத்தில் காமா சார்பியம் அல்லது காமா செயற்கூறு (Gamma function) என்பது தொடர்பெருக்கம் என்னும் கணிதச் சார்பியத்தின் ஒரு நீட்சி ஆகும். அதாவது கீழ்நோக்கி ஓரெண் குறைவான தொடர்பெருக்கம், மெய்யெண்ணாக இருப்பினும் சிக்கலெண்ணாக இருப்பினும். இந்த சார்பியத்தை கிரேக்கப் பெரிய எழுத்தாகிய காமா வார்ப்புரு:Math என்பதால் குறிப்பது வழக்கம். வார்ப்புரு:Math என்பது நேர்ம முழு எண்ணாக இருந்தால்,

$\mathrm{\Gamma }(n)=(n-1)!$

காமா சார்பியம் என்பது நேர்ம எண்ணாக அல்லாத எல்லா சிக்கலெண்களுக்கும் வரையறுக்கப்பட்ட ஒன்று. நேர்ம மெய்யெண் பகுதி கொண்ட சிக்கலெண்களுக்கு, குவிந்தடையும் ஏதேனும் ஓரெல்லையாவது முடிவிலியாக அல்லது அடைவெல்லையாக அமைந்த செவ்வியதல்லாத நுண்தொகையீடு வழியாக வரையறை செய்யப்படும்:

$\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx$

இந்தக் காமா சார்பியம் பல்வேறு நிகழ்தகவு பகிர்வமைப்புகளில் (probability-distribution) காணப்படுகின்றது. பல்வேறு புள்ளியியல் சேர்வியல் துறைகளிலும் காணப்படுகின்றது.

வரையறை

முதன்மையான வரையறை

வார்ப்புரு:Math என்னும் குறியீடு இலெகந்தர்( Legendre) என்பாரால் வழங்கப்பெற்றது வார்ப்புரு:Math என்னும் ஒரு சிக்கெலெண்ணின் மெய்யெண் பகுதி நேர்ம எண்ணாக இருந்தால் (வார்ப்புரு:Math), தொகையீடு

$\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx$

முற்றாகக் குவிந்தடையும் (converges absolutely) ஒன்றாகும்; இது ஆய்லரின் இரண்டாம் வகைத் தொகையீடு என்று அறியப்படுகின்றது (ஆய்லரின் முதல்வகைத் தொகையீடு என்பது பீட்டா சார்பியம் ஆகும்) . பகுதியாக செய்யப்படும் தொகையீட்டு முறைப்படி கீழ்க்கண்டவாறு அறியலாம்:

$\begin{array}{cc}\mathrm{\Gamma }(z+1)& =\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^z{e}^{-x}dx\\ & ={[-x^z{e}^{-x}]}_0^{\mathrm{\infty }}+\underset{0}{\overset{\mathrm{\infty }}{\int }}z{x}^{z-1}{e}^{-x}dx\\ & =\underset{x\to \mathrm{\infty }}{\lim }(-x^z{e}^{-x})-(0e^{-0})+z\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx\end{array}$

$x\to \mathrm{\infty }$ ஆக $-x^z{e}^{-x}\to 0,$

$\begin{array}{cc}\mathrm{\Gamma }(z+1)& =z\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx\\ & =z\mathrm{\Gamma }(z)\end{array}$

$\mathrm{\Gamma }(1)$ என்பதைக் கணக்கிடலாம்:

$\begin{array}{cc}\mathrm{\Gamma }(1)& =\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{1-1}{e}^{-x}dx\\ & ={[-e^{-x}]}_0^{\mathrm{\infty }}\\ & =\underset{x\to \mathrm{\infty }}{\lim }(-e^{-x})-(-e^{-0})\\ & =0-(-1)\\ & =1\end{array}$

$\mathrm{\Gamma }(1)=1$ என்னும் உண்மையையும் $\mathrm{\Gamma }(n+1)=n\mathrm{\Gamma }(n)$ என்பதையும் கருத்தில் கொண்டால்,

$\mathrm{\Gamma }(n)=1\cdot 2\cdot 3\cdots (n-1)=(n-1)!$

என்பது எல்லா $n$ நேர்ம எண்களுக்கும் பொருந்தும். இதனை அடுத்துத்தூண்டல் நிறுவல் (proof by induction) முறை எனக் கொள்ளலாம். முற்றொருமையான $\mathrm{\Gamma }(z)=\frac{\mathrm{\Gamma }(z+1)}{z}$ என்பதைப் பயன்படுத்தி $\mathrm{\Gamma }(z)$ சார்பியத்தை தொகையீட்டு அமைப்பில் சுழியமாகவோ அதற்கும் கீழானதாகவோ இல்லாத $z$ என்னும் எல்லாச் சிக்கலெண்ணுக்கும் பொருந்துமாறு மேரோவுருவ சார்பியமாக நீட்சி பெறச் செய்யலாம்.

இந்த நீட்சிபெற்ற பார்வையிலும் வடிவத்திலும்தான் பொதுவாக காமா சார்பியம் என அறியப்படுகின்றது.

மாற்று வரையறைகள்

முடிவிலாப் பெருக்கல் வடிவில் ஆய்லர் தரும் வரையறை

சிக்கலெண் வார்ப்புரு:Math இன் தொடர் பெருக்கமாகிய வார்ப்புரு:Math என்பதற்கு தோராயம் கண்டறிய கீழ்க்காணும் முறை பயன்படும் ஒன்றாகத் தெரிகின்றது. முதலில் பெரிய முழு எண்ணாகிய ஒரு வார்ப்புரு:Math என்பதன் தொடர்பெருக்கமாகிய வார்ப்புரு:Math -ஐக் கணக்கிடலாம். பின்னர் அதனைப் பயன்படுத்தித் தோராயமாக வார்ப்புரு:Math என்பதைக் கணக்கிடலாம், பின்னர் மீளுறும் சமன்பாட்டை வார்ப்புரு:Math முறை பின்னோக்கிப் பயன்படுத்தி, வார்ப்புரு:Math என்பதனைத் தோராயமாகக் கண்டறியலாம். கடைசியாக வார்ப்புரு:Math என்பது முடிவிலியாக சென்றடையும்பொழுது தோராயம் என்பது முழுதும் சரியானதாக ஆகிவிடும்.

குறிப்பாக, ஒரு குறிப்பிட்ட முழுவெண் வார்ப்புரு:Mvar -உக்கு, கீழ்க்காணுமாறு எழுதலாம்.

$\underset{n\to \mathrm{\infty }}{\lim }\frac{n!(n+1{)}^m}{(n+m)!}=1,$

இதே சமன்பாடு அந்த ஏதோவொரு குறிப்பிட்ட வார்ப்புரு:Mvar என்பதை ஏதோவொரு குறிப்பிட்ட சிக்கெலெண் வார்ப்புரு:Mvar -ஆக மாற்றினாலும் பொருந்துவதாகும்.

$\underset{n\to \mathrm{\infty }}{\lim }\frac{n!(n+1{)}^z}{(n+z)!}=1.$

வார்ப்புரு:Math ஆல் இருபக்கத்தையும் பெருக்கினால்,

$\begin{array}{cc}z!& =\underset{n\to \mathrm{\infty }}{\lim }n!\frac{z!}{(n+z)!}(n+1{)}^z\\ & =\underset{n\to \mathrm{\infty }}{\lim }\frac{1\cdots n}{(1+z)\cdots (n+z)}(n+1{)}^z\\ & =\underset{n\to \mathrm{\infty }}{\lim }\frac{1\cdots n}{(1+z)\cdots (n+z)}{[(1+\frac{1}{1})(1+\frac{1}{2})\cdots (1+\frac{1}{n})]}^z\\ & =\prod _{n=1}^{\mathrm{\infty }}\left[\frac{1}{1+\frac{z}{n}}{(1+\frac{1}{n})}^z\right].\end{array}$

இந்த முடிவிலிப் பெருக்க வாய்பாடு எதிர்ம முழுவெண் அல்லாத எல்லா வார்ப்புரு:Mvar சிக்கலெண்களுக்கும் குவியடைவு பெறும். எதிர்ம முழுவெண் இருந்தால் வார்ப்புரு:Math என்னும் மீளுறும் சமன்பாட்டில் பின்னோக்கிச் செல்லும்பொழுது வார்ப்புரு:Math என்பதில் சுழியத்தால் வகுபடும் நிலை வரும்.

சில காமா சார்பிய மதிப்புகள்

காமா சார்பியத்தின் மதிப்புகள் சில:

$\begin{array}{ccccc}\mathrm{\Gamma }(-\frac{3}{2})& =& \frac{4}{3}\sqrt{\pi }& \approx & 2.363271801207\\ \mathrm{\Gamma }(-\frac{1}{2})& =& -2\sqrt{\pi }& \approx & -3.544907701811\\ \mathrm{\Gamma }\left(\frac{1}{2}\right)& =& \sqrt{\pi }& \approx & 1.772453850906\\ \mathrm{\Gamma }(1)& =& 0!& =& 1\\ \mathrm{\Gamma }\left(\frac{3}{2}\right)& =& \frac{1}{2}\sqrt{\pi }& \approx & 0.886226925453\\ \mathrm{\Gamma }(2)& =& 1!& =& 1\\ \mathrm{\Gamma }\left(\frac{5}{2}\right)& =& \frac{3}{4}\sqrt{\pi }& \approx & 1.329340388179\\ \mathrm{\Gamma }(3)& =& 2!& =& 2\\ \mathrm{\Gamma }\left(\frac{7}{2}\right)& =& \frac{15}{8}\sqrt{\pi }& \approx & 3.323350970448\\ \mathrm{\Gamma }(4)& =& 3!& =& 6\end{array}$