[ticalc.org 펌] Gamma & Zeta function +more. 감마 제타 함수 외
원본 출처
https://www.ticalc.org/archives/files/fileinfo/415/41529.html
Gamma ver 1.3. by Mauritz Blomqvist (for the Nspire CAS)
This small package does contain implementations of some various special functions like the Gamma function and the Reimann Zeta function.
Some of the functions will return exact values in special cases.
The algorithms are based on information from the Gnu C Scientific library, from NUMERICAL RECIPES, The Art of Scientific Computing, Third Edition, from http://mathworld.wolfram.com/, from various documents mentioned in the files and from own ideas and algorithms.
This version is greatly extended from the version 1.1. In that version I also forgot to set some variables to LibPriv, which meant that some functions did not work outside this library. The basic difference between this version and version 1.2 is the addition of functions related to the Riemann Zeta function.
A suggestion is that you place this in a map under MyLib. Do not forget to update the library access.
Please report errors or comments to me at MauritzTortoise…telia.com where …=@.
설명 번역 :
✦ Mauritz Blomqvist의 감마 버전 1.3 (현재 CAS 및 비 CAS 버전 제공)
이 작은 패키지에는 감마 함수, 리만 제타 함수 및 관련 함수와 같은 다양한 특수 함수의 구현이 포함되어 있습니다. 대부분의 함수에 대해 복소수 인수를 처리할 수 있습니다.
gamma.tns 파일은 CAS용이고 gammanc.tns는 비 CAS용입니다. CAS 버전은 gamma(7/2)와 같은 일부 특수한 경우에 정확한 값을 반환합니다.
함수 소개 번역
✦ Gamma and related functions
gamma(z)
이 작은 패키지는 감마 함수 계산을 위한 란초스 근사(Lanczos approximation) 구현을 포함합니다. 실수 및 복소수 입력 모두에 대해 상당히 정확한 값을 반환합니다.
수식은 다음과 같습니다:
Γ(z)=gamma(z)≡∫(t^(z-1)*e^(-t),t,0,∞)
실수부와 허수부 모두 평균 0, 표준편차 30인 정규분포를 따르는 1000개의 숫자로 테스트한 결과, 상대 오차는 대부분 실수부와 허수부 모두에서 1E-10 이하 수준이었습니다. 가장 큰 상대 오차는 약 4E-8이었습니다.
이 함수는 양의 정수와 ½의 배수에 대해 정확한 값을 반환합니다.
gamma(3.5) 3.323350970447
gamma(((7)/(2))) ((15*√(π))/(8))
gamma(3.) 2.
gamma(3) 2
gamma(((−7)/(2))) ((16*√(π))/(105))
gamma(1+2i) 0.15190400267+0.019804880162*i
gamma(30) 8841761993739701954543616000000
gamma(30.) 8.84176199374E30
------
lngamma(z)
감마의 자연로그입니다. 감마 함수에 큰 인수가 필요할 때 사용할 수 있습니다.
아래 답변은 최소 유효 숫자의 한 단위 내에서 정확합니다.
lngamma(10000) 82099.7174964
일반 감마 함수는 이처럼 큰 입력을 처리할 수 없습니다.
ln(gamma(10000)) ln(9999!)
lngamma(20) ln(5773625)+2*ln(145152)
------
digamma(z)
감마의 로그 미분입니다. 즉, (d/dz)(lngamma(z))입니다.
digamma(1) −0.577215664901
이것은 -γ(오일러-마스케로니 상수)입니다.
-γ −0.577215664902
------
dergamma(z)
감마의 미분입니다.
dergamma(10) 817115.979521
------
doublefactorial(n)
이중 계승(double factorial)입니다. n!!=n*(n-2)*....
doublefactorial(8) 384
doublefactorial(7) 105
------
lowerigamma(a,z)
하 불완전 감마 함수(lower incomplete gamma)를 계산합니다:
γ(a,z)≡∫(t^(a-1)*e^(-t),t,0,z).
------
upperigamma(a,z)
상부 불완전 감마 함수(upper incomplete gamma)를 계산합니다:
Γ(a,z)≡∫(t^(a-1)*e^(-t),t,z,∞).
upperigamma(3,2) 10*e^(−2)
lowerigamma(3,2)+upperigamma(3,2) 2.
upperigamma(10,((3)/(2)))
((832670037*e^(((−3)/(2))))/(512))
------
p(a,z)
정규화된 하부 불완전 감마 함수(regularized incomplete lower gamma)를 계산합니다.
((γ(a,z))/(Γ(a))).
------
q(a,z)
정규화된 상부 불완전 감마 함수(regularized incomplete upper gamma)를 계산합니다.
((Γ(a,z))/(Γ(a))).
------
invp(pr,a)
p의 역함수입니다.
invp(p(2.2,3.4),2.2) 3.4
------
erf(z)
오차 함수(error function)입니다. 불완전 감마 함수를 기반으로 하며, 내장된 normCdf 함수를 기반으로 하는 것보다 정확도가 더 높습니다.
erf(1.3) 0.934007944941
2*normCdf(−∞,1.3*√(2),0,1)-1 0.934008064885
첫 번째 결과는 올바르게 반올림된 답, 즉 12개의 유효 숫자를 반환합니다. 마지막 결과는 6개의 유효 숫자만 반환합니다.
------
errfc(z)
여오차 함수(complementary error function)입니다.
------
inverf(x)
오차 함수의 역함수입니다.
erf(inverf(0.5)) 0.5
------
beta(x,y)
베타 함수입니다.
------
gammaintegrand(z,t)
감마 함수의 정의에 사용되는 피적분 함수입니다.
gammaintegrand(z,t) t^(z-1)*e^(−t)
------
m(a,b,z)
쿠머(Kummer)의 합류 초기하 함수(confluent hypergeometric function)입니다.
이는 γ(a,x)=((z^(a)*e^(−z)*m(1,a+1,z))/(a)) 관계식을 통해 아래 불완전 감마 함수를 계산하는 다른 방법을 제공합니다.
이것은 lowerigammam(a,z)으로 구현되어 있습니다.
이것은 또한 복소수 인수에 대한 불완전 감마를 계산하는 데 사용될 수 있습니다.
lowerigammam(2,3+2i ) 0.992332417697+0.222522474629*i
lowerigamma와 upperigamma에서 인수가 복소수일 때 사용됩니다.
✦ 몇 가지 관련 확률 함수
먼저 감마 분포와 관련된 몇 가지 함수입니다.
gammapdf(x,k,θ)
: 감마 확률 밀도 함수(Gamma Probability Density Function)
gammacdf(x,k,θ)
: 감마 누적 분포 함수(Gamma Cumulative Distribution Function)
invgammacdf(pr,k,θ)
: 역 감마 누적 분포 함수(Inverse Gamma Cumulative Distribution Function)
------
ncdf(x,μ,σ)
NormCdf(−∞,x,μ,σ)와 동일하지만, 정확도가 더 높습니다 (그리고 더 느립니다).
오차 함수 erf(z)를 사용하여 계산되며, 이는 다시 불완전 감마 함수를 사용합니다.
일반적인 입력값에 대해 내장 함수는 약 8개의 유효 숫자를 제공하는 반면, 이 함수는 기본적으로 최소 유효 숫자의 몇 부분에 해당하는 오차만을 가집니다.
------
invn(x,μ,σ)
InvNorm(x,μ,σ)와 동일하지만, 정확도가 더 높습니다 (그리고 더 느립니다).
✦ 리만 제타 함수 및 관련 함수
zeta(s)
이 함수는 리만 제타 함수를 계산하며, 보와인(Borwein) 알고리즘을 기반으로 합니다.
정수에 대해 다음 식이 성립합니다.
ζ(s)=∑(((1)/(k^(s))),k,1,∞)
그리고 s=1에서의 극점(pole)을 제외한 전체 복소 평면으로 확장하면 다음과 같습니다.
ζ(s)=((1)/(Γ(s)))*∫(((t^(s-1))/(e^(t)-1)),t,0,∞)
실제로 이 수식으로 계산할 수도 있지만, 매우 느리고 정확도도 매우 낮을 것입니다.
------
zetazero(t)
이 함수는 추측값 t 근방의 임계선(critical line) 상에서 근(root)을 찾으려고 시도합니다.
이것이 첫 번째 근입니다:
zetazero(14) 14.1347251417
zeta(0.5+14.1347251417*i) 4.E−12-3.E−11*i
즉, 0에 매우 가깝습니다.
------
rszeta(s)
이 함수 또한 리만 제타 함수를 계산하지만, 정확도는 낮지만 더 빠르며, 주로 임계대(critical strip)에서 사용하기 위한 것입니다. 리만-지겔(Riemann-Siegel) 공식을 사용합니다.
------
eta(s)
디리클레 에타 함수(Dirichlet Eta function) 또는 교대 제타 함수(alternate zeta function)입니다.
ε(s)=∑((((−1)^(k-1))/(k^(s))),k,1,∞)
------
sterl2(n,k)
제2종 스털링 수(Sterling numbers of the second kind)입니다. n개의 원소를 가진 집합을 k개의 비어있지 않은 집합으로 분할하는 방법의 수입니다.
------
bernoulli(n)
이 함수는 제2종 스털링 수를 사용하여 다소 비효율적인 방식으로 n번째 베르누이 수를 계산합니다.
------
harm(z)
이 함수는 조화 합(harmonic sum)을 반환합니다. 100 미만의 양의 정수에 대해서는 정확한 답을 반환합니다. 다른 값에 대해서는 디감마(digamma) 함수를 사용하여 매우 정확한 근사값을 계산합니다.
이 패키지에는 다음 함수도 포함되어 있습니다:
sgn(x)
내장된 부호 함수(signum function)와 달리, 이 함수의 sgn(0)은 0을 반환합니다.
fib(z)
피보나치 수열의 수를 반환합니다. 이 함수는 복소수 영역으로 확장되었습니다.
sterling(x)
계승(factorial)에 대한 스털링 근사(Sterling approximation)입니다.
오일러-감마 상수
γ=0.57721566490153

댓글2
-
세상의모든계산기
500! 의 십진수 근사값 확인

500! = 1.22013682599111006870123878542304692625357434280319284219241358838 × 10^(1134) (참값, 울프람 알파)
세상의모든계산기 님의 최근 댓글
- claude AI는 l-c*r^2 을 1-c*r^2 으로 잘못 읽고 표시하고 있습니다. - TI-nspire CAS 계산기에 l-c*r^2 ≥0 을 조건에 추가해 계산해 보아도 결과는 바뀌지 않습니다. 2026 07.20 ⚠️ 경고가 바로 두 번째 방법이 "성공"한 이유와 정확히 연결되어 있습니다. 경고의 의미 "Domain of the result might be larger than the domain of the input"는 CAS가 절댓값(모듈러스)을 계산하는 과정에서 원래 식보다 정의역이 더 넓은 형태로 단순화했다는 뜻입니다. 구체적으로 이 계산은 내부적으로 대략 이런 과정을 거칩니다. $$\left|\frac{er}{e\cdot r}\right| = \sqrt{\left(\frac{er}{e\cdot r}\right)\cdot\overline{\left(\frac{er}{e\cdot r}\right)}}$$ 즉 원래 식(복소수)과 그 켤레복소수를 곱해서 실수부·허수부 제곱합을 만들고, 거기에 다시 제곱근을 씌우는 과정입니다. 이 과정에서 √(x²) → x 또는 √a·√b → √(ab) 같은 규칙들이 쓰이는데, 이런 규칙들은 x가 실수이고 0 이상일 때만 엄밀하게 성립합니다. CAS는 이 조건들을 일일이 다 추적하지 않고 넘어가면서, 원래는 (e≠0, r+l·ω·i ≠ 0 등) 복소수 특유의 좁은 정의역을 가진 식을, r, l, ω가 어떤 실수여도(부호 무관하게) 정의되는 1/√(r²+l²·ω²)라는 더 넓은 정의역의 식으로 바꿔버린 것입니다. CAS는 이 손실을 감지하고 경고를 띄운 것입니다. 이게 왜 조건 대입 성공과 연결되는가 정리하면, 이 경고는 사실상 이런 뜻입니다. "나는 이 결과를 만들면서 원래 식이 가지고 있던 정의역 제약 정보(부호 조건, i 관련 조건 등)를 이미 버렸다." 바로 이 "정의역 정보를 버린" 상태가 이후 con_1 대입을 매끄럽게 만드는 원인입니다. 첫 번째 시도에서는 i가 살아있는 원래 식에 조건을 대입했기 때문에, CAS가 √(1-c·r²)이 실수인지(정의역 조건: 1-c·r² ≥ 0) 계속 추적하려고 했고, 그 정보가 con에 없어서 더 이상 정리를 못 하고 멈췄습니다. 두 번째 시도에서는 절댓값 계산 단계에서 이미 그런 세밀한 정의역 추적을 CAS 스스로 포기(단순화)했기 때문에, 이후 ω에 무리식을 대입해도 "이게 실수가 맞나?" 하는 검증 절차 없이 그냥 대수적으로 치환·정리해 버립니다. 그래서 깔끔하게 √c/√l이 나온 겁니다. 한 줄 요약 절댓값 계산 시 뜬 "정의역이 넓어졌을 수 있다"는 경고는, CAS가 그 순간에 원래 식의 엄밀한 조건(정의역)을 놓쳤다는 신호이고, 바로 그 "조건을 놓친 상태"이기 때문에 뒤에 이어지는 조건식 대입이 막힘없이 진행된 것입니다. 다만 그 대가로, 결과인 1/√(r²+l²·ω²)이나 최종 √c/√l이 원래 회로 조건(i≠0이 되는 경계, 분모가 0이 되는 경우 등)에서는 엄밀히 성립하지 않을 수 있다는 점은 감안하셔야 합니다. 실제 물리적으로는 r, l, c > 0이고 결과도 물리적으로 타당한 형태라 문제없어 보이지만, 수학적 엄밀성 측면에서는 "정의역이 넓어진 근사적 결과"라는 꼬리표가 붙어있는 셈입니다. 2026 07.20 Claude AI 답변 TI-Nspire CAS의 | (such that / 조건대입) 연산자는 대입 시점의 수식 형태를 그대로 두고 기호만 치환하는 연산입니다. 대입 후에 처음부터 다시 "실수부/허수부 분리, 유리화" 같은 재간소화를 자동으로 수행하지 않습니다. 이 차이가 지금 보신 결과 차이의 핵심입니다. 첫 번째 경우 (|er/(e·r)| | con_1 and con → 실패) 이 시점의 식은 아직 r + l·ω·i 형태의 복소수 그대로입니다 (i가 살아있음). 여기에 con_1: ω = √(1-c·r²)/(√c·l)을 대입하면, 분모 안에 i · √(1-c·r²) 라는 항이 새로 생깁니다. 문제는 CAS가 √(1-c·r²)이 실수인지(즉 1-c·r² ≥ 0인지) 판단할 근거가 없다는 겁니다. 저장해 두신 con 조건은 c>0, l>0, r>0뿐이고, 1-c·r²≥0이라는 조건은 포함되어 있지 않습니다. 그래서 CAS는 i와 이 무리식을 더 정리(유리화, 실수부·허수부 재결합)하지 못하고 있는 그대로 남겨둡니다. 결과에 여전히 i가 보이는 이유입니다. 두 번째 경우 (결과값 1/√(r²+l²·ω²)에 대입 → 성공) |er/(e·r)| (절댓값/모듈러스) 연산은 그 자체로 이미 "복소수 → 실수" 변환을 완료한 결과입니다. 즉 1/√(r²+l²·ω²)에는 더 이상 i가 없고, 순수하게 r, l, ω로만 이루어진 실수식입니다. 이 식에 ω = con_1을 대입하는 것은 그냥 실수 대수식에 실수 대입하는 것이므로, i와 무리식이 뒤엉키는 문제 자체가 발생하지 않습니다. 그래서 바로 깔끔하게 √c/√l로 정리됩니다. 정리하면 절댓값(모듈러스) 계산은 "이 값들이 실수다"라는 가정을 이미 내부적으로 써서 i를 제거하는 연산입니다. 그 연산을 조건 대입 이전에 해두면, 이후 대입은 단순 실수 대입이라 문제없이 정리됩니다. 반대로 i가 남아있는 식에 무리식을 포함한 조건을 먼저 대입하면, 그 무리식의 실수성/부호에 대한 가정이 없어서 CAS가 i를 소거하는 재간소화를 못 하고 멈춰버립니다. 실용적 팁: 복소식에 조건을 대입해야 할 때는 가능하면 절댓값·실수화(유리화) 등을 먼저 끝내서 i를 없앤 뒤 조건을 대입하거나, 대입 후 결과에 다시 simplify/expand/combine 같은 명령을 한 번 더 걸어주면 (필요한 도메인 조건과 함께) 정리가 되는 경우가 많습니다. 2026 07.19 저도 어림잡아 추측할 뿐이지 정확한 이유를 알지는 못합니다. 질문하신 사진을 그대로 (Gemini 3.5 Flash / ChatGPT / Claude Sonnet 5) AI에 넣어 보니 claude AI 가 제일 합리적인 답변을 주어서 이를 붙여 넣습니다. 2026 07.19 아 그렇네요. 감사합니다. ^^ 2026 04.28