14.2: Definición y propiedades de la función Gamma
- Page ID
- 109925
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)La función Gamma se define por la fórmula integral
\[\Gamma (z) = \int_{0}^{\infty} t^{z - 1} e^{-t} \ dt\]
La integral converge absolutamente para\(\text{Re} (z) > 0\).
- \(\Gamma (z)\)se define y es analítico en la región\(\text{Re} (z) > 0\).
- \(\Gamma (n + 1) = n!\), para entero\(n \ge 0\).
- \(\Gamma (z + 1) = z \Gamma (z)\)(ecuación de función)
Esta propiedad y Propiedad 2 caracterizan la función factorial. Así,\(\Gamma (z)\) generaliza\(n!\) a números complejos\(z\). Algunos autores escribirán\(\Gamma (z + 1) = z!\). - \(\Gamma (z)\)puede continuarse analíticamente siendo meromórfico en todo el plano con polos simples a 0, −1, −2... Los residuos son
\[\text{Res} (\Gamma, -m) = \dfrac{(-1)^m}{m!}\] - \(\Gamma (z) = [ze^{\gamma z} \prod_{1}^{\infty} (1 + \dfrac{z}{n}) e^{-z/n}]^{-1}\), donde\(\gamma\) es constante de Euler
\[\gamma = \lim_{n \to \infty} 1 + \dfrac{1}{2} + \dfrac{1}{3} + \cdot\cdot\cdot \dfrac{1}{n} - \log (n) \approx 0.577\]
Esta propiedad utiliza un producto infinito. Desafortunadamente no tendremos tiempo, pero los productos infinitos representan todo un tema por su cuenta. Tenga en cuenta que el producto infinito hace que las posiciones de los polos sean\(\Gamma\) claras. - \(\Gamma (z) \Gamma (1 - z) = \dfrac{\pi}{\sin (\pi z)}\)
Con Property 5 esto da una fórmula de producto para\(\sin (\pi z)\). - \(\Gamma (z + 1) \approx \sqrt{2\pi} z^{z + 1/2} e^{-z}\)para\(|z|\) grandes,\(\text{Re} (z) > 0\).
En particular,\(n! \approx \sqrt{2 \pi} n^{n + 1/2} e^{-n}\). (Fórmula de Stirling) - \(2^{2z - 1} \Gamma (z) \Gamma (z + 1/2) = \sqrt{\pi} \Gamma (2z)\)(Fórmula de duplicación de Legendre)
Estas son solo algunas de las muchas propiedades de\(\Gamma (z)\). Como suele ser el caso, podríamos haber optado por definir\(\Gamma (z)\) en términos de algunas de sus propiedades y derivar la Ecuación 14.3.1 como teorema.
Demostraremos (algunas de) estas propiedades a continuación.
Utilice las propiedades de\(\Gamma\) para mostrar eso\(\Gamma (1/2) = \sqrt{\pi}\) y\(\Gamma (3/2) = \sqrt{\pi}/2\).
Solución
De Inmueble 2 tenemos\(\Gamma (1) = 0! = 1\). La fórmula de duplicación de Legendre con\(z = 1/2\) luego muestra
\[2^0 \Gamma \left(\dfrac{1}{2}\right) \Gamma (1) = \sqrt{\pi} \Gamma (1) \Rightarrow \Gamma \left(\dfrac{1}{2}\right) = \sqrt{\pi}. \nonumber\]
Ahora, usando la ecuación funcional Propiedad 3 obtenemos
\[\Gamma \left(\dfrac{3}{2}\right) = \Gamma \left(\dfrac{1}{2} + 1\right) = \dfrac{1}{2} \Gamma \left(\dfrac{1}{2}\right) = \dfrac{\sqrt{\pi}}{2}. \nonumber\]