تابع گاما

تابع گاما در امتداد محور حقیقی

تابع گاما در صفحه مختلط

تابع گاما الگو:به انگلیسی در علم ریاضیات، یک تعمیم پرکاربرد برای تابع فاکتوریل به اعداد مختلط است. نماد تابع گاما $\mathrm{\Gamma }$ می‌باشد، که این نماد حرف بزرگ گاما در الفبای یونانی است. تابع گاما برای همه اعداد مختلط، غیر از اعداد صحیح غیر مثبت، تعریف شده‌است. برای هر عدد صحیح مثبت $n$ رابطه زیر برقرار است: الگو:وسط‌چین $\mathrm{\Gamma }(n)=(n-1)!.$ الگو:پایان وسط‌چین دانیال برنولی برای اعداد مختلط با قسمت حقیقی مثبت، رابطه زیر را برای تابع گامای این اعداد به دست آورد، این عبارت یک انتگرال ناسره همگرا می‌باشد: الگو:وسط‌چین $\mathrm{\Gamma }(z)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{z-1}{e}^{-x}dx,\mathrm{\Re }(z)>0.$ الگو:پایان وسط‌چین تابع گاما به صورت امتداد تحلیلی این تابع انتگرالی به یک تابع مرومورفیک تعریف شده‌است (این تابع یک تابع تمام‌ریخت (هولومورفیک) در صفحه مختلط، بجز در اعداد صحیح غیر مثبت ، که در آنها تابع قطب ساده دارد، می‌باشد).

تابع گاما مقدار صفر ندارد، یعنی تابع گامای معکوس $1/\mathrm{\Gamma }$ یک تابع کامل است. در واقع، تابع گاما متناظر با تبدیل ملین برای تابع نمایی منفی است: الگو:وسط‌چین $\mathrm{\Gamma }(z)=\{ℳe^{-x}\}(z).$ الگو:پایان وسط‌چین تعمیم‌های دیگری نیز برای تابع فاکتوریل وجود دارد، اما تابع گاما مردمی‌ترین و مفیدترین تعمیم می‌باشد. این تابع یکی از مولفه‌های مهم در توابع مختلف توزیع احتمال است؛ و از این رو تابع گاما، قابل استفاده در احتمال و آمار و همچنین ترکیبیات می‌باشد.

در ضمن برای هر عدد طبیعی z داریم: الگو:وسط‌چین

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

الگو:پایان وسط‌چین همچنین می‌توان ثابت کرد که: الگو:وسط‌چین

$\mathrm{\Gamma }(z+1)=z.\mathrm{\Gamma }(z)=z.(z-1)!$

الگو:پایان وسط‌چین این تابع در بسیاری از تابع‌های توزیع احتمال ظاهر می‌شود و در زمینه‌های مختلفی از جمله آمار و احتمال کاربرد دارد.

تعریف

تعریف اصلی

نمایش این تابع با $\mathrm{\Gamma }(t)$ کاری از لژاندر است. اگر بخش حقیقی عدد مختلط $t$ مثبت باشد، در آن‌صورت انتگرال زیر: الگو:وسط‌چین $\mathrm{\Gamma }(t)=\underset{0}{\overset{\mathrm{\infty }}{\int }}{x}^{t-1}{e}^{-x},dx$ الگو:پایان وسط‌چین مطلقاً همگرا است. به این انتگرال، انتگرال اویلر نوع دوم نیز گفته می‌شود. انتگرال اویلر نوع اول، به نام تابع بتا شناخته می‌شود. با انتگرال‌گیری جزءبه‌جزء می‌توان رابطهٔ بازگشتی زیر را به دست آورد: الگو:وسط‌چین $\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$ به ازای $n$های حقیقی و مثبت، از رابطهٔ بالا نتیجه می‌شود: الگو:وسط‌چین $\mathrm{\Gamma }(n)=(n-1)!$ الگو:پایان وسط‌چین

دیگر تعریف‌ها

دو ضرب نامتناهی زیر را که به ترتیب لئونارد اویلر و وایرشتراس به‌دست آورده‌اند، تعریف‌های دیگری برای تابع گاما هستند: الگو:وسط‌چین $\mathrm{\Gamma }(t)=\underset{n\to \mathrm{\infty }}{\lim }\frac{n!n^t}{t(t+1)\cdots (t+n)}=\frac{1}{t}\prod _{n=1}^{\mathrm{\infty }}\frac{{(1+\frac{1}{n})}^t}{1+\frac{t}{n}}$ الگو:پایان وسط‌چین الگو:وسط‌چین $\mathrm{\Gamma }(t)=\underset{n\to \mathrm{\infty }}{\lim }\frac{n!n^t}{t(t+1)\cdots (t+n)}=\frac{1}{t}\prod _{n=1}^{\mathrm{\infty }}\frac{{(1+\frac{1}{n})}^t}{1+\frac{t}{n}}$ الگو:پایان وسط‌چین که در آن $\gamma \approx 0.577216$ ثابت اویلر-ماسکرونی نامیده می‌شود.

خواص

• وقتی $z$به سمت بینهایت میل می‌کند تابع گاما را می‌توان با تقریب استرلینگ به شکل پایین محاسبه کرد، در این معادله $\sim$ به این معنی است که حاصل تقسیم سمت چپ و راست به عدد یک میل می‌کند:
  • $z\to \mathrm{\infty }\Rightarrow \mathrm{\Gamma }(z+1)\sim \sqrt{2\pi z}{\left(\frac{z}{e}\right)}^z$
• خاصیت پایین برای اعداد مختلط به کار می‌رود:
  • $\overline{\mathrm{\Gamma }(z)}=\mathrm{\Gamma }(\bar{z})\Rightarrow \mathrm{\Gamma }(z)\mathrm{\Gamma }(\bar{z})\in ℝ$
  • به‌طور خاص اگر $z=a+bi$ باشد آنگاه:

    $|\mathrm{\Gamma }(a+bi){|}^2=|\mathrm{\Gamma }(a){|}^2\prod _{k=0}^{\mathrm{\infty }}\frac{1}{1+\frac{b^2}{(a+k{)}^2}}$

    $|\mathrm{\Gamma }(bi){|}^2=\frac{\pi }{b\sinh (\pi b)}$

    $|\mathrm{\Gamma }(\frac{1}{2}+bi){|}^2=\frac{\pi }{\cosh (\pi b)}$

• خاصیت انعکاس اویلری:
  • $\mathrm{\Gamma }(1-z)\mathrm{\Gamma }(z)=\frac{\pi }{\sin (\pi z)},z\in ̸\mathbb{Z}$

جستارهای وابسته

• تابع گامای ناکامل
• فاکتوریل
• انتگرال بارنس

نگارخانه

• 
• 
• 

پانویس

• Eric W. Weisstein, Gamma function at مث‌ورلد.