Jump to content

Lists of integrals

This is a fully translated article. Click here for more information.
From DawoumWiki, the free Mathematics self-learning

적분화(Integration)적분 미적분학(integral calculus)에서 기본 연산입니다. 미분화(differentiation)는 복잡한 함수의 도함수는 그것의 더 간단한 성분 함수(function)를 미분함으로써 구할 수 있는 쉬운 규칙을 가지지만, 적분화는 그렇지 않으므로, 알려진 적분의 테이블이 종종 유용합니다. 이 기사는 가장 공통적인 역도함수(antiderivative)의 일부를 나열합니다.

Historical development of integrals

적분 (Integraltafeln)과 적분 미적분의 기법의 목록의 편집은 1810년 독일 수학자 마이어 허쉬(Meier Hirsch, 일명 Meyer Hirsch)에 의해 출판되었습니다. 이들 테이블은 1823년에 영국에서 다시 출판되었습니다. 보다 광범위한 테이블은 1858년에 네덜란드 수학자 다비트 비렌스 드 한(David Bierens de Haan)에 의해 그의 Tables d'intégrales définies에 대해 편찬되었으며, 추정 1864년에 Supplément aux tables d'intégrales définies에 의해 보충되었습니다. 새로운 판이 1867년에 제목 Nouvelles tables d'intégrales définies 아래에서 출판되었습니다. 주로 기본 함수의 적분을 포함하는 이들 테이블은 20세기 중반까지 계속 사용되었습니다. 그들은 그런-다음 그라슈튼과 라이자이크(Gradshteyn and Ryzhik)의 훨씬 더 광범위한 테이블로 대체되었습니다. 그라슈튼과 라이자이크에서, 다비트 비렌스 드 한의 책에서 나온 적분은 BI로 표시됩니다.

모든 닫힌-형식 표현(closed-form expression)이 닫힌-형식 역도함수를 갖는 것은 아닙니다; 이 연구는 1830년대와 1840년대에 조제프 리우빌(Joseph Liouville)에 의해 처음 개발되었던 미분 갈루아 이론(differential Galois theory)의 주제를 형성하며, 어떤 표현이 닫힌 형식 역도함수를 가지는지를 분류하는 루이빌의 정리(Liouville's theorem)로 이어집니다. 닫힌 형식 역도함수없이 함수의 간단한 예제는 ex2이며, 그것의 역도함수는 (상수까지) 오차 함수(error function)입니다.

1968년 이래로 전형적으로 컴퓨터 대수 시스템(computer algebra system)을 사용하여 기본 함수(elementary function)의 관점에서 표현될 수 있는 부정 적분을 결정하기 위한 리시 알고리듬(Risch algorithm)이 있습니다. 기본 함수를 사용하여 표현될 수 없는 적분은 마이어 G-함수(Meijer G-function)와 같은 일반적인 함수를 사용하여 기호적으로 조작될 수 있습니다.

Lists of integrals

보다 자세한 것은 적분의 목록에 대해 다음 페이지에서 찾을 수 있습니다:

그라슈튼(Gradshteyn), 라이자이크(Ryzhik), 제라니모스(Geronimus), 체이틀린(Tseytlin), 제프리(Jeffrey), 즈릴링아(Zwillinger), 모이(Moll)의 (GR) Table of Integrals, Series, and Products는 더 큰 결과의 모음을 포함합니다. 훨씬 더 큰, 여러-권 테이블은 프루드니카프(Prudnikov), 브라이치코프(Brychkov), 및 마리체프(Marichev)에 의한 Integrals and Series입니다 (여기서 1–3 권은 적분 및 일련의 기본(elementary)특수 함수(special functions)를 나열하고, 4–5 권은 라플라스 변환(Laplace transform)의 테이블입니다). 더 간결한 모음은 예를 들어 브라이치코프(Brychkov), 마리체프(Marichev), 프루드니카프(Prudnikov)의 Tables of Indefinite Integrals, 또는 즈릴링아의 CRC Standard Mathematical Tables and Formulae, 또는 브론슈테인 및 세멘디아예프(Bronshtein and Semendyayev)Guide Book to Mathematics, Handbook of Mathematics 또는 Users' Guide to Mathematics 및 기타 수학 핸드북의 장에서 찾아질 수 있습니다.

다른 유용한 자료는 아브라모위츠와 스티건(Abramowitz and Stegun)베이트맨 원고 프로젝트(Bateman Manuscript Project)를 포함합니다. 연구 둘 다는 특정 적분에 관한 많은 항등식을 포함하며, 별도의 테이블로 수집되는 대신에 가장 관련성 높은 주제로 구성되어 있습니다. 베이트맨 원고의 두 권은 오직 적분 변환과 관련됩니다.

필요에 따라 적분과 적분의 테이블을 가지는 여러 웹 사이트가 있습니다. 월프럼 알파(Wolfram Alpha)는 결과와, 일부 더 간단한 표현에 대해, 역시 적분화의 중간 단계를 보여줄 수 있습니다. 월프럼 리서치(Wolfram Research)는 또 다른 온라인 서비스, 월프럼 매스메티카 온라인 적분기(Wolfram Mathematica Online Integrator)를 역시 운영합니다.

Integrals of simple functions

C임의의 적분화의 상수(arbitrary constant of integration)에 대해 사용되며 만약 어떤 점에서 적분의 값에 대한 어떤 것이 알려져 있으면 오직 결정될 수 있습니다. 따라서, 각 함수는 무한한 숫자의 역도함수(antiderivative)를 가집니다.

이들 공식은 도함수의 테이블(table of derivatives)에서 또 다른 형식 주장을 오직 말합니다.

Integrals with a singularity

역도함수가 정의되지 않거나 일부 점 (특이점)에서 정의되지 않는 것을 만족하는 적분되려는 함수에서 특이점(singularity)이 있을 때, C는 특이점의 양쪽 변에서 같아져야 할 필요는 없습니다. 아래의 형식은 통상적으로 C의 값에서 특이점 주위의 코시 주요 값(Cauchy principal value)을 가정하지만 이것은 일반적으로 필요하지는 않습니다. 예를 들어 다음에서,

0에서 특이점이 있으고 역도함수(antiderivative)가 그곳에서 무한대가 됩니다. 만약 위의 적분이 −1과 1 사이의 명확한 적분을 계산하기 위해 사용되려면, 우리는 잘못된 답 0을 얻을 것입니다. 이것은 어쨌든 특이점 주위의 적분의 코시 주요 값입니다. 만약 적분화가 복소 평면에서 행해지면, 결과는 원점 주위의 경로에 따라 달라지며, 이 경우에서 특이점은 원점 위의 경로를 사용할 때 −iπ와 원점 아래의 경로에 대해 iπ를 기여합니다. 실수 직선 위의 함수는 다음에서 처럼 원점의 양쪽 변에서 완전히 다른 C의 값을 사용할 수 있습니다:

Rational functions

더 많은 적분: List of integrals of rational functions

다음 함수는 a ≤ −1에 대해 0에서 비-적분가능 특이점을 가집니다:

(카바리에리의 구적법 공식(Cavalieri's quadrature formula))
보다 일반적으로,[1]

Exponential functions

더 많은 적분: List of integrals of exponential functions

Logarithms

더 많은 적분: List of integrals of logarithmic functions

Trigonometric functions

더 많은 적분: List of integrals of trigonometric functions
(시컨트 함수의 적분(Integral of the secant function)을 참조하십시오. 이 결과는 17세기에 잘-알려진 추측이었습니다.)
(시컨트 세제곱의 적분(integral of secant cubed)을 참조하십시오.)

Inverse trigonometric functions

더 많은 적분: List of integrals of inverse trigonometric functions

Hyperbolic functions

더 많은 적분: List of integrals of hyperbolic functions

Inverse hyperbolic functions

더 많은 적분: List of integrals of inverse hyperbolic functions

Products of functions proportional to their second derivatives

Absolute-value functions

f를 그것이 정의된 각 구간 위에 많아야 하나의 근을 갖는 함수로 놓고, f의 각 근에서 영인 f의 역도함수 g로 놓으면 (그러한 역도함수가 존재하는 것과 f의 조건이 만족되는 것은 필요충분 조건입니다),

여기서 sgn(x)부호 함수(sign function)이며, 이것은 x가 각각 음수, 영 또는 양수일 때, 값 −1, 0, 1을 취합니다. 이것은 다음 공식을 제공합니다 (여기서 a ≠ 0):

어떤 정수 n에 대해, 일 때,

어떤 정수 n에 대해, 일 때,

어떤 정수 n에 대해, 일 때,

어떤 정수 n에 대해, 일 때,

.

만약 함수 ff의 영들에서 값 영을 취하는 임의의 연속 역도함수를 가지지 않으면 (이것이 사인과 코사인 함수에 대해 경우입니다), sgn(f(x)) ∫ f(x) dxf가 영은 아니지만, f(x) = 0 점에서 불연속일 수 있는 모든 각 구간(interval) 위에 f의 역도함수입니다. 연속 역도함를 가지는 것에 대해, 우리는 따라서 잘 선택된 단계 함수(step function)를 더해야 합니다. 만약 우리가 사인과 코사인의 절댓값이 주기 π를 갖는 주기적이라는 사실을 역시 사용하면, 우리는 다음을 얻습니다:

[citation needed]
[citation needed]

Special functions

Ci, Si: Trigonometric integrals, Ei: Exponential integral, li: Logarithmic integral function, erf: Error function

Definite integrals lacking closed-form antiderivatives

그의 역도함수가 닫힌 형식(closed form)에서 표현될 수 없는 일부 함수가 있습니다. 어쨌든, 일부 공통 구간에 걸쳐 이들 함수 중 일부의 명확한 적분의 값은 계산될 수 있습니다. 몇 가지 유용한 적분이 아래에 제공됩니다.

(역시 감마 함수(Gamma function)를 참조하십시오)
a > 0에 대해 (가우스 적분(Gaussian integral))
a > 0에 대해
a > 0에 대해, n은 양의 정수이고 !!는 두-배 팩토리얼(double factorial)입니다.
a > 0일 때
a > 0에 대해, n = 0, 1, 2, ....
(역시 베르누이 숫자(Bernoulli number)를 참조하십시오)
(싱크 함수(sinc function)디리클레 적분(Dirichlet integral)을 참조하십시오)
(만약 n이 양의 정수이고 !!는 두-배 팩토리얼(double factorial)입니다).
(β ≠ 0m, n ≥ 0과 함께 α, β, m, n 정수에 대해, 역시 이항 계수(Binomial coefficient)를 참조하십시오)
(실수 α, β, 비-음의 정수 n, 및 홀수 양의 정수 m에 대해; 왜냐하면 피적분은 홀수 함수(odd)입니다)
(β ≠ 0m, n ≥ 0와 함께, 정수 α, β, m, n에 대해, 역시 이항 계수(Binomial coefficient)를 참조하십시오)
(β ≠ 0m, n ≥ 0와 함께, 정수 α, β, m, n에 대해, 역시 이항 계수(Binomial coefficient)를 참조하십시오)
(여기서 exp[u]지수 함수(exponential function) eu, 및 a > 0입니다)
(여기서 감마 함수(Gamma function)입니다)
(Re(α) > 0Re(β) > 0에 대해, 베타 함수(Beta function)를 참조하십시오)
(여기서 I0(x)는 첫 번째 종류의 수정된 베셀 함수(Bessel function)입니다)
(ν > 0에 대해, 이것은 스튜던트의 t-분포(Student's t-distribution)확률 밀도 함수(probability density function)와 관련됩니다)

만약 함수 f가 구간 [a,b] 위에 경계진 변화(bounded variation)를 가지면, 소진의 방법(method of exhaustion)은 적분에 대해 공식을 제공합니다:

"이학년의 꿈(sophomore's dream)":

이것은 요한 베르누이(Johann Bernoulli)에 귀속됩니다.

See also

References

  1. ^ "Reader Survey: log|x| + C", Tom Leinster, The n-category Café, March 19, 2012

Further reading

External links

Tables of integrals

Derivations

Online service

Open source programs