ಗ್ಯಾಮ ಉತ್ಪನ್ನ ಎನ್ನುವುದು ಅನಂತ ಅನುಕಲ

ಎಂಬುದರ ಹೆಸರು.[೧][೨][೩] ಆಯ್ಲರನ ದ್ವಿತೀಯ ಅನುಕಲ ಎಂಬ ಹೆಸರು ಕೂಡ ಉಂಟು. z ನ ಎಲ್ಲ ಧನ ನೈಜ ಬೆಲೆಗಳಿಗೆ (positive real numbers) ಇದು ಅಭಿಸರಿಸುತ್ತದೆ.
ಮುಖ್ಯ ಗುಣಗಳು
ಇದರ ಮುಖ್ಯ ಗುಣಗಳಲ್ಲಿ ಕೆಲವು:
1. 
2. 
3. 
z=n ಎಂಬ ಒಂದು ಧನ ಪೂರ್ಣಾಂಕವಾದಾಗ (positive integer)
ಹೀಗಾಗಿ ಗ್ಯಾಮ ಉತ್ಪನ್ನವನ್ನು ಹಲವಾರು ಸಂದರ್ಭಗಳಲ್ಲಿ ಕ್ರಮಗುಣಿತ ಉತ್ಪನ್ನ (ಫ್ಯಾಕ್ಟೋರಿಯಲ್ ಫಂಕ್ಷನ್) ಎಂಬುದಾಗಿ ಸಹ ಕರೆಯುವುದುಂಟು.
ಗ್ಯಾಮ ಉತ್ಪನ್ನದ ಆವಶ್ಯಕತೆ
ಸ್ವಾಭಾವಿಕ ಸಂಖ್ಯೆಗಳ ಅಥವಾ ಧನ ಪೂರ್ಣಾಂಕಗಳ ಕ್ರಮಗುಣಿತದ (ಕಂಟಿನ್ಯೂಡ್ ಪ್ರೋಡಕ್ಟ್) ಭಾವನೆಯನ್ನು ಸಾರ್ವತ್ರೀಕರಿಸುವ ಸಂದರ್ಭದಲ್ಲಿ ಗ್ಯಾಮ ಉತ್ಪನ್ನದ ಆವಶ್ಯಕತೆ ಕಂಡುಬಂದಿತು. ಇದು ಹೇಗೆ ಎನ್ನುವುದನ್ನು ಮುಂದೆ ವಿಶದೀಕರಿಸಿದೆ.

ಎಂಬ ಅನುಕಲವನ್ನು ಗಮನಿಸೋಣ. ಇಲ್ಲಿ ಒಂದು ಅನುಕಲನ ಪರಿಮಿತಿ ಅನಂತ. ಆದ್ದರಿಂದ ಇದು ಒಂದು ಅನುಚಿತ ಅನುಕಲ (ಇಂಪ್ರಾಪರ್ ಇಂಟೆಗ್ರಲ್). z = n ಎಂಬ ಧನ ಪೂರ್ಣಾಂಕವಾದಾಗ ಈ ಅನುಚಿತ ಅನುಕಲದ ಬೆಲೆ n! ಆಗುತ್ತದೆ ಎನ್ನುವುದನ್ನು ವಾಸ್ತವಿಕ ಅನುಕಲನದಿಂದ ತಿಳಿಯಬಹುದು. z ಧನ ಪೂರ್ಣಾಂಕವಲ್ಲದೆ ಬೇರೆ ಒಂದು ನೈಜಸಂಖ್ಯೆಯಾದಾಗ, ಕ್ರಮಗುಣಿತವಾದ n! (ಅಂದರೆ z!) ಅರ್ಥರಹಿತವಾಗುವುದು. ಎಲ್ಲ ನೈಜಸಂಖ್ಯೆಗಳಿಗೂ ಈ ಕ್ರಮಗುಣಿತದ ಭಾವನೆಯನ್ನು ಸಾರ್ವತ್ರೀಕರಣ ಮಾಡುವ ಬಗೆ ಹೇಗೆ?
(n ಒಂದು ಧನ ಪೂರ್ಣಾಂಕ)
ಮೇಲಿನ ಸಮೀಕರಣದಲ್ಲಿ n ನ ಸ್ಥಾನದಲ್ಲಿ z ಎಂಬ ನೈಜಸಂಖ್ಯೆಯನ್ನು ಆದೇಶಿಸಿ z ಯಾವ ನೈಜಸಂಖ್ಯೆಯೇ ಆಗಿರಲಿ z! ಎಂಬ ಕ್ರಮಗುಣಿತಕ್ಕೆ

ಎಂಬ ವ್ಯಾಖ್ಯೆಯನ್ನು ನೀಡುವುದೇನೋ ಸಹಜವಾದ ಕ್ರಮವೇ ಆಗಿದೆ. ಇದರ ಬದಲು

ಆದ್ದರಿಂದ ಮೇಲಿನ ಸಮೀಕರಣದಲ್ಲಿ n ನ ಬದಲು z ಅನ್ನು ಆದೇಶಿಸಿ ಇದರ ಬೆಲೆಯನ್ನು (z - 1)! ಎಂದು ಸೂಚಿಸುವ ಬದಲು Γ(z) (ಗ್ಯಾಮ z) ಎಂದು ಸೂಚಿಸುತ್ತೇವೆ.

ಇಲ್ಲಿ z ಒಂದು ನೈಜಸಂಖ್ಯೆ.
ಯಾವ ಬೆಲೆಗಳಿಗೆ ಉತ್ಪನ್ನದ ಅಸ್ತಿತ್ವವಿರುವುದು
z ನ ಯಾವ ಯಾವ ಬೆಲೆಗಳಿಗೆ ಈ ಅನುಚಿತ ಅನುಕಲ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವುದು ಎಂಬುದನ್ನು ಈಗ ನಿರ್ಧರಿಸಬೇಕಾಗಿದೆ.
(z - 1) < 0 ಮತ್ತು t → 0 ಆದಾಗ tz-1 → 0 ಆಗುವುದರಿಂದ e-t tz-1 ಉತ್ಪನ್ನಕ್ಕೆ t = 0 ಎಂಬುದೂ ಒಂದು ಅನಂತವಿಚ್ಛಿನ್ನತಾ ಬಿಂದು.
..............(1)
ಇಲ್ಲಿ 

(1) ರಲ್ಲಿರುವ ಎರಡು ಪರಿಮಿತಿಗಳೂ ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದಾಗ

ಈ ಅನುಚಿತ ಅನುಕಲ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವುದು.
(a) t > 0 ಆದಾಗ
ಆಗುವುದರಿಂದ
![{\displaystyle I_{1}=\int \limits _{\epsilon }^{1}e^{-t}t^{z-1}\ dt>\int \limits _{\epsilon }^{1}1.t^{z-1}\ dt=\int \limits _{\epsilon }^{1}t^{z-1}\ dt=\left[{\frac {t^{z}}{z}}\right]_{\epsilon }^{1}={\frac {1}{z}}-{\frac {\epsilon ^{z}}{z}}<{\frac {1}{z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8dcd4b59b6fc543b1fcf160bd934084a9467ac5)
ಆದ್ದರಿಂದ I1 ರ ಉಚ್ಚ ಪರಿಬಂಧ 1/z ಆಗಿರುವುದು. ಅಲ್ಲದೆ z ನ್ನು ಸ್ಥಿರವಾಗಿಟ್ಟು ε ನ್ನು ಕ್ರಮೇಣ ಶೂನ್ಯದತ್ತ ಸಾಗುವಂತೆ ಮಾಡಿದರೆ
ನ ಬೆಲೆ ಏಕತಾನವಾಗಿ ವರ್ಧಿಸುವುದರಿಂದಲೂ I1 < 1/z ಆಗುವುದರಿಂದಲೂ

ಅಸ್ತಿತ್ವದಲ್ಲಿರುವುದು.
(b) t > 0 ಆದಾಗ

ಈ ಶ್ರೇಣಿಯಲ್ಲಿರುವ ಪ್ರತಿಯೊಂದು ಪದವೂ ಒಂದು ಧನಸಂಖ್ಯೆ. ಆದ್ದರಿಂದ
ಅಥವಾ 
ಅಂದರೆ 

ಅಥವಾ 
ಇಲ್ಲಿ n > z+1
z ನ್ನು ಸ್ಥಿರವಾಗಿರಿಸಿ δ ದ ಬೆಲೆಗಳನ್ನು ಅನಂತದತ್ತ ಸಾಗುವಂತೆ ಮಾಡಿದಾಗ 1 - 1/δn-z ನ ಬೆಲೆ ಏಕತಾನವಾಗಿ ವರ್ಧಿಸುತ್ತದೆ. ಆದ್ದರಿಂದ I2 ರ ಬೆಲೆಯೂ ಏಕತಾನವಾಗಿ ವರ್ಧಿಸುವುದು ಮತ್ತು ಇದರ ಒಂದು ಉಚ್ಚ ಪರಿಬಂಧ
ಆಗುವುದು.
ಆದ ಕಾರಣ
ಪರಿಮಿತಿ ಕೂಡ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವುದು. ಆದ್ದರಿಂದ

ಎಂಬ ಅನುಚಿತ ಅನುಕಲ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವುದು.
ಈಗ
ಆಗಿರುವುದರಿಂದ
ಈಗ
ಎಂಬ ಈ ಅನುಕಲವನ್ನು ಭಾಗಶಃ ಅನುಕಲಿಸಿದರೆ
![{\displaystyle \int \limits _{\epsilon }^{\delta }e^{-t}t^{z}\ dt=\left[-e^{-t}t^{z}\right]_{\epsilon }^{\delta }+z\int \limits _{\epsilon }^{\delta }e^{-t}t^{z-1}\ dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bf6092b393c6301d72b6d878d9a89296e8c55ab)
![{\displaystyle \left[{\frac {\epsilon ^{z}}{e^{\epsilon }}}-{\frac {\delta ^{z}}{e^{\delta }}}\right]+z\int \limits _{\epsilon }^{\delta }e^{-t}t^{z-1}\ dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da78090b452ac788318d3759b6d43f3df2656554)
ಹಿಂದಿನಂತೆ
ಮತ್ತು
ಮತ್ತು 
ಆದ್ದರಿಂದ
ಆದಾಗ ಪರಿಮಿತಿಯನ್ನು ತೆಗೆದುಕೊಂಡರೆ

ಆದ್ದರಿಂದ
............ (2)
ಇದು Γ(z) ಉತ್ಪನ್ನದ ಅತಿ ಮುಖ್ಯವಾದ ಲಕ್ಷಣ. ಕ್ರಮಗುಣಿತದ ಭಾವನೆಯ ಸಾರ್ವತ್ರೀಕರಣದಿಂದ ಉದ್ಭವಿಸಿದ ಈ Γ(z) ಉತ್ಪನ್ನಕ್ಕೆ ಕ್ರಮಗುಣಿತಗಳ ಪ್ರಮುಖ ಲಕ್ಷಣವಾಗಿ n! = n X (n - 1)! ಎಂಬ ಲಕ್ಷಣಕ್ಕೆ ಹೋಲುವ Γ(z + 1) = zΓ(z) ಎಂಬ ಲಕ್ಷಣವಿದೆ.
ಈಗ Γ(z) ನ ಬೆಲೆ 0 < x ≤ 1 ಅಂತರದಲ್ಲಿ ತಿಳಿದಿದ್ದರೆ (2) ರ ಸಹಾಯದಿಂದ 1 < x ≤ 2 ಅಂತರದಲ್ಲಿ Γ(z) ನ ಬೆಲೆಗಳನ್ನು ಪಡೆಯಬಹುದು. ಇದರಿಂದ 2 < x ≤ 3 ಅಂತರದಲ್ಲಿ ಇದರ ಬೆಲೆಯನ್ನು ಪಡೆಯಬಹುದು. ಹೀಗೆಯೇ z ನ ಎಲ್ಲ ನೈಜದ ಮೌಲ್ಯಗಳಿಗೂ Γ(z) ನ ಬೆಲೆಗಳನ್ನು ಕಂಡುಹಿಡಿಯುವುದು ಸಾಧ್ಯ.
(2)ರ ಸಹಾಯದಿಂದ
Γ(z + n) = (z+n-1) Γ(z+n-1)
= (z+n -1) (z+n - 2) Γ(z+n - 2)
= ...............
= (z+n -1) (z+n - 2) ... ... (z+1) zΓ(z) .............. (3)
(3) ನೆಯ ಸಮೀಕರಣ n ಎಂಬ ಪ್ರತಿಯೊಂದು ಧನ ಪೂರ್ಣಾಂಕಕ್ಕೂ ನಿಜ.
z ಋಣ ನೈಜಸಂಖ್ಯೆಯಾದಾಗಿನ ವ್ಯಾಖ್ಯೆ
ಇಲ್ಲಿಯವರೆಗೆ z ಧನ ನೈಜಸಂಖ್ಯೆಯಾದಾಗ ಮಾತ್ರ Γ(z) ಉತ್ಪನ್ನಕ್ಕೆ ವ್ಯಾಖ್ಯೆಯನ್ನು ಮಾಡಿದಂತಾಯಿತು. ಋಣ ನೈಜಸಂಖ್ಯೆಗಳಿಗೆ ಸಂಬಂಧಿಸಿದಂತೆಯೂ Γ(z) ನ ವ್ಯಾಖ್ಯೆಯನ್ನು ಈಗ ನಾವು ವಿಸ್ತರಿಸಬಹುದು.
-n < z < -n + 1 (ಇಲ್ಲಿ n ಒಂದು ಧನ ಪೂರ್ಣಾಂಕ) ಆದಾಗ Γ(z) ಉತ್ಪನ್ನದ ವ್ಯಾಖ್ಯೆಯನ್ನು ಹೀಗೆ ಮಾಡುತ್ತೇವೆ:
............... (4)
ಈ ವ್ಯಾಖ್ಯೆಗೆ ಆಧಾರ (3) ನೆಯ ಸಮೀಕರಣ ಎಂಬುದನ್ನು ಗಮನಿಸಬೇಕು.
Γ(n) < z < -n + 1
ಆದಾಗ 0 < z + n < 1 ಆಗುವುದು. ಆದ್ದರಿಂದ Γ(z + n) ಉತ್ಪನ್ನಕ್ಕೆ ನಾವು ಆಗಲೇ ವ್ಯಾಖ್ಯೆ ಮಾಡಿದ್ದೇವೆ. ಹೀಗಾಗಿ (4) ನೆಯ ಸಮೀಕರಣದಲ್ಲಿ ಮಾಡಿರುವ Γ(n) ನ ವ್ಯಾಖ್ಯೆ ಸರಿಯಾಗಿಯೇ ಇದೆ.
ಆದರೆ (4) ರ ಪ್ರಕಾರ z = 0 ಆದಾಗ, ಅಥವಾ z ಒಂದು ಋಣ ಪೂರ್ಣಾಂಕವಾದಾಗ (4) ರ ಬಲಭಾಗದಲ್ಲಿ ಛೇದ ಶೂನ್ಯವಾಗುವುದರಿಂದ z ನ ಈ ಬೆಲೆಗಳಿಗೆ Γ(z) ವ್ಯಾಖ್ಯಿತವಾಗಿಲ್ಲ.
ಅದ್ದರಿಂದ
ಎಂಬುದನ್ನು ಗಮನಿಸಬೇಕು.
Γ(z) ನ ಕೆಲವು ಮುಖ್ಯವಾದ ಲಕ್ಷಣಗಳು:
1. 
2. 
ಇಲ್ಲಿ ![{\displaystyle C=\lim _{n\to \infty }\left[1+{\frac {1}{2}}+{\frac {1}{3}}+\cdots +{\frac {1}{n}}-\log n\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eccb0f18617ebb8a37ccea50e749f35fbe2795b5)
C ಗೆ ಆಯ್ಲರನ ಸ್ಥಿರಾಂಕ ಎಂದು ಹೆಸರು.[೪]
3. Γ(z) ಗೆ ಆಯ್ಲರನ ದ್ವಿತೀಯ ಅನುಕಲ ಎಂಬ ಹೆಸರಿರುವುದನ್ನು ಹಿಂದೆ ಹೇಳಿದೆ. ಆತನ ಹೆಸರಿನ ಪ್ರಥಮ ಅನುಕಲಕ್ಕೆ ಬೀಟ ಉತ್ಪನ್ನ ಎಂದು ಹೆಸರು. ಅದರ ನಿರೂಪಣೆ ಹೀಗಿದೆ:

ಈಗ ಇವೆರಡು ಅನುಕಲಗಳ ಪರಸ್ಪರ ಸಂಬಂಧ ಹೀಗಿದೆ.[೫]

ಇಲ್ಲಿ
ಆಗಿದ್ದರೆ ಆಗ
![{\displaystyle \mathrm {B} ({\frac {1}{2}},{\frac {1}{2}})={\frac {\left[\Gamma ({\frac {1}{2}}\right]^{2}}{\Gamma (1)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0868ff6cc6200d40cd20bc233d1cb6e642bec6c3)
ಆದರೆ
ಎಂದು ತೋರಿಸಬಹುದು.
ಅಲ್ಲದೇ Γ(1) = 1 ಆಗಿದೆ.
ಆಗುವುದು.
ಈಗ Γ(z + 1) = z Γ(z) ಸಮೀಕರಣದ ಸಹಾಯದಿಂದ n ಒಂದು ಧನ ಪೂರ್ಣಾಂಕವಾದಾಗಲೆಲ್ಲ Γ(n + 1/2) ದ ಬೆಲೆಯನ್ನು ಕಂಡುಹಿಡಿಯಬಹುದು.
4. z ನ ಅತಿ ದೊಡ್ಡ ಬೆಲೆಗಳಿಗೆ ಸರಿಹೊಂದುವ ಸಮೀಕರಣಗಳು:
...................................(1)
ಇಲ್ಲಿ
..............................(2)
ಮತ್ತು
......................................(3)
....................................(4)
ಇಲ್ಲಿ p ಒಂದು ಧನ ಪೂರ್ಣಾಂಕ. p = 2 ಆದಾಗ ಈ ಫಲಿತಾಂಶ ತಾಳುವ ರೂಪ
................................(5)
(1), (2), (3)ಗಳು z ನ ಅತಿ ದೊಡ್ಡ ಬೆಲೆಗಳಿಗೆ Γ(z) ನಡೆದುಕೊಳ್ಳುವ ರೀತಿಯನ್ನು ವಿವರಿಸುತ್ತವೆ. ಇವುಗಳಿಗೆ ಸ್ಟರ್ಲಿಂಗನ ಸೂತ್ರಗಳು ಎಂದು ಹೆಸರು. p(z) ನ ಸರಿಸುಮಾರು ಬೆಲೆಯನ್ನು ಉಪಯೋಗಿಸಿದರೆ, z ಹೆಚ್ಚಿದಂತೆಲ್ಲ Γ(z) ನ ಬೆಲೆಗಳು ಯಥಾರ್ಥ ಬೆಲೆಗೆ ಹೆಚ್ಚು ಹೆಚ್ಚು ಸಾಮೀಪ್ಯದಲ್ಲಿರುವುವು. (4)ಕ್ಕೆ ಗೌಸನ ಸೂತ್ರ (ಆತ ಆವಿಷ್ಕರಿಸಿದುದರಿಂದ) ಎಂದು ಹೆಸರು. ಇದರಲ್ಲಿ p = 2 ಆದಾಗ ಬರುವ (5)ಕ್ಕೆ ಲಝಾಂಡರನ ಸಂಬಂಧ ಎಂದು ಹೆಸರು.[೬]
5. Γ(z) ಮತ್ತು sin z ಗಳಿಗಿರುವ ಸಂಬಂಧ:

ಇದರಲ್ಲಿ z = 1/2 ಆದೇಶಿಸಿದರೆ [Γ(1/2)]2 = π ಅಥವಾ
ದೊರೆಯುತ್ತದೆ. ಈ ಸಮೀಕರಣದ ಸಹಾಯದಿಂದ sinc ಉತ್ಪನ್ನದ ಅನಂತ ಗುಣಲಬ್ಧವನ್ನು ಪಡೆಯಬಹುದು.
