이 문서의 내용 중 전체 또는 일부는 폴 디랙문서에서 가져왔습니다.</div></div>
목차
[숨기기]1 개요
코시나 푸리에가 일찍이 같은 개념을 서술한 적은 있지만, 폴 디랙이 기호와 정의를 최초로 언급하였다. 수학적으로 엄밀히 말하자면 '함수'는 아니다. '일반화된 함수', '분포', 혹은 함수의 '극한' 정도가 되겠다.
일반적으로 아래와 같이 표현한다. 즉, x=0인 한 점에서만 무한대이고, 나머지에서는 0 이다.
δ(x)={0ifx≠0∞ifx=0 |
또한 음의 무한대 부터 양의 무한대 까지 적분하면 1이 되는 특성이 있다.
∫∞−∞δ(x)dx=1 |
2 동기
다음과 같은 "함수"를 생각해 보자. 임의의 수 a (a>0)에 대해서 |x|≤a
δa(x)={0if|x|>a12aif|x|≤a |
이 함수를 음의 무한대 부터 양의 무한대 까지 적분하면 a 값에 상관 없이 1이 된다.
∫∞−∞δa(x)dx=1 |
이제 a 를 0 으로 보내는 극한을 생각하면 된다.
δ(x)=lima→0δa(x) |
그럼, x=0에서는 무한대이고, 그외에는 0이면서, 적분하면 1이 되는 함수가 만들어진다.
3 정의
다음과 같은 "함수"를 생각해 보자.
δ(x)={0ifx≠0∞ifx=0 |
만약 0∈(a,b)
∫baδ(x)dx=1
즉, x=0인 한 점에서만 무한대여서, 무한대를 포함한 정적분을 하면 그 값이 1이 되는 함수의 극한을 생각해 보는 것이다.
그렇다면 모든 곳에서 잘 정의된 f(x)에 대해, 모든 x에 대해
δ(x−a)f(x)=δ(x−a)f(a)
이 식을 마이너스 무한대에서 무한대까지 적분하면
∫∞−∞f(x)δ(x−a)dx=∫∞−∞f(a)δ(x−a)dx=f(a)
∫∞−∞f(x)δ(x−a)dx=f(a)
이것이 sampling property(어떤 함수 f에 대해서든 x=a에서의 함숫값을 뽑아준다!)라고 부르는 디랙 델타 함수의 엄밀한 수학적 정의이다. 위 동기 단락에 나온 델타 함수는, 이 sampling property를 만족하는 함수를 직관적으로 이해하기 위한 하나의 예시일 뿐이다. 델타 함수는 적분 아래에서만 엄밀히 정의될 수 있으며, 이 sampling property를 만족하는 함수의 극한은 여러 가지를 만들 수 있고(일부 예시), 그 중에는 x가 0이 아닌 곳에서 함수의 값이 0으로 수렴하지 않는 것들도 있다. 물론 점질량의 밀도와 같이 동기 단락에 나온 꼴을 표현하는 데에도 쓸 수 있지만, 역으로 델타 함수라면 무조건 점질량의 밀도처럼 생겼다고 시각화하는 것도 오류인 셈.
4 발산의 기본정리와의 관계
이걸로 벡터미적분학의 기본정리 중 하나인 발산의 기본정리 (The Fundamental Theorem of Divergence)에서 나오는 역설이 해결된다. 이 정리에 (1/r2
- 이동 ↑ 이런 기법을 Approximation to the identity라고 한다.