스라소니 머릿속에는

Dirac Delta Function

8 min read

Dirac Delta Function

Symbol Definitions

SymbolMeaning
3차원 디랙 델타 함수
위와 동일, 3차원임을 강조
벡터장
원점으로부터의 거리
반경방향 단위 벡터
Test function (충분히 매끄럽고 빠르게 감소)
분포 와 test function 의 쌍대 작용

Overview

디랙 델타 함수는 고전적인 의미의 “함수”가 아니다. 이고 을 동시에 만족하는 함수는 르베그 측도론 의미에서 존재하지 않는다. 그러나 분포(distribution) 혹은 일반화 함수(generalized function) 의 틀 안에서는 엄밀하게 정의된다.

핵심 교훈: 미분 연산의 결과가 0으로 보이더라도, 그것이 진짜 0인지는 발산 정리 같은 전역적 검증을 통해서만 확인할 수 있다.

Case Study 1: 쿨롱 전기장의 발산 — 왜 직접 계산이 틀리는가

문제 설정

단위구 위에서 벡터장

의 면적분 를 구하고, 의 진짜 의미를 규명한다.

이 벡터장은 점전하 주변의 전기장(정확히는 )과 같은 구조다.

Step 1: 면적분 직접 계산

단위구 위에서 , 바깥 법선 이므로:

Step 2: 구면 좌표계로 발산 직접 계산

구면 좌표계에서 이므로:

여기서 문제가 생긴다. 만약 everywhere라면, 발산 정리에 의해:

이어야 하는데, Step 1에서 를 얻었다. 모순!

결론: 이 에서는 맞지만, 원점에서 델타 함수적 기여가 숨어 있다.

Step 3: 분포론적 엄밀한 증명

임의의 test function 에 대해 분포 의 작용을 정의한다:

적분 영역을 과 으로 분리하고 극한을 취한다:

영역에서 부분적분 (발산 정리 적용):

두 번째 항은 에서 이므로 0. 첫 번째 항에 발산 정리를 적용하면 경계면 위의 면적분이 나온다. 구에서 안쪽 법선 이므로:

에서 는 으로 수렴하고, 구면의 넓이는 이므로:

따라서 식 (3)에 대입하면:

이는 정확히 의 작용과 같다. 따라서:

Step 4: 벡터 포텐셜 존재 불가 증명

만약 가 존재하여 이면:

항등식에 의해 항상 성립해야 한다. 그러나 식 (9)에서 . 모순. 따라서 벡터 포텐셜 는 존재하지 않는다.

Key Points

  • 디랙 델타는 고전적 함수가 아니다. 에서 발산이 0으로 계산되더라도, 원점의 특이점이 전역적 성질을 바꾼다.
  • 발산 정리는 국소적 발산과 전역적 플럭스를 연결한다. 두 값이 일치하지 않으면, 그 불일치의 원인이 “보이지 않는” 소스임을 폭로한다.
  • 분포론(Distribution theory) 은 이런 이상한 함수들을 test function과의 쌍대 작용으로 엄밀하게 정의한다.
  • 물리적 의미: 는 점전하의 전기장이고, 는 점전하가 원점에 있다는 사실을 수학적으로 표현한다. 가우스 법칙 에서 에 해당.

Questions & Insights

  • 왜 미분을 직접 계산하면 0이 나오는가? → 구면 좌표계의 발산 공식 자체가 에서 정의되지 않기 때문. 미분 연산은 국소적이어서 원점의 특이점을 “보지 못한다.”
  • 분포론의 핵심 아이디어: 함수 자체가 아니라 함수가 적분에서 어떻게 작용하는가로 정의한다.
  • 극한에서 이 정확히 상쇄되는 것이 핵심. 이는 3차원 공간의 구면 넓이가 에 비례하기 때문.

References

  • Griffiths, Introduction to Electrodynamics, §1.5
  • 전자기학 수업 문제 (2026-03-04)

Notes from Claude

이 사례가 특별한 이유는 수학적 모순을 통해 새로운 개념을 발견하는 과정을 보여주기 때문이다. “발산을 계산했더니 0인데 면적분은 ?” — 이 불일치가 디랙 델타 함수의 존재를 강제한다.

분포론은 이런 물리적 직관을 수학적으로 정당화한다. Test function 와의 쌍대 작용을 통해 을 정의하면, 극한에서 라는 정확한 상쇄가 일어난다.

앞으로 이 노트에 디랙 델타의 다른 면모들 — 1차원 정의, 푸리에 변환 표현, 그린 함수와의 관계 등 — 을 추가해나갈 예정.

그래프 뷰