{{위키데이터 속성 추적}}
{{포털|수학}}

'''델타 함수'''(δ distribution), 또는 '''디랙 델타 함수'''({{llang|en|Dirac delta function}})는 수학자 [[시메옹 드니 푸아송]](1815)와 [[오귀스탱 루이 코시]](1816)가 [[푸리에 적분 정리]]를 연구하면서 처음 고안하였다. 푸아송이 정의한 델타 함수는 다음과 같다:

<math>\delta(x-a):=\frac{1}{2\pi} \int_{-\infty}^\infty \cos(px-p\alpha)dp</math>

이후 이론 물리학자 [[폴 디랙]]이 양자역학에서 자주 사용하여 유명해졌다. δ(x)와 같이 표기하며, [[크로네커 델타]]의 연속함수화로도 볼 수 있다. 이 함수는 무한대를 값으로 가지기 때문에 실 함수나 복소 함수같은 일반적인 함수는 아니다. 현대에 디랙 델타는 [[측도]] 또는 [[함수 공간]]에서 정의된 [[선형 변환|선형 범함수]]로 정립되었다. 신호 처리 분야에서는 '''임펄스 함수'''라고 부른다. 이 함수는 다음과 같은 성질로 특징 지어 진다.

: <math>\delta(x) = \begin{cases} \infty, & x = 0 \\ 0, & x \ne 0 \end{cases} </math>
: <math>\int_{-\infty}^\infty \delta(x) \, dx= 1</math>

== 개요 ==
디랙 델타의 [[함수의 그래프|그래프]]는 보통 x축 전체와 양의 y축을 따라간다고 생각된다<ref>{{서적 인용|url={{google books |plainurl=y |id=blZYGDREpk8C|page=174}}|제목=Methods for Phase Diagram Determination|성=Zhao|이름=Ji-Cheng|날짜=2011-05-05|출판사=Elsevier|언어=en|isbn=978-0-08-054996-5}}</ref>{{참고 쪽|174}} 디랙 델타는 길고 좁은 스파이크 모양의 함수가 필요한 상황에 대표적인 함수로 쓰인다. [[푸리에 변환]] 같은 [[적분 변환]]을 다룰 때 함수에서 한 점만 골라내고 싶을 때나, [[이산 확률 분포]]의 [[확률 밀도 함수]]를 구할 때 쓰인다. 수학 외적인 응용에서 예를 들면 [[점입자|점전하]], [[점입자|점질량]] 또는 [[전자]] 등으로 인한 물리적 현상을 수학적으로 표현하는데 쓰인다. 일상과 가까운 내용을 이용하여 설명하기 위해, 당구공들이 충돌하는 상황을 역학적으로 보자. 이 때 당구공들은  아주 짧은 시간 동안 접촉한다. 이 때 가해지는 힘은 디랙 델타로 표현 할 수 있다. 이러면 더 간단한 방정식을 써서 풀 수 있게 될 뿐만 아니라, 원자 수준의 자세한 탄성 에너지를 고려 할 필요 없이 답을 얻을 수 있다.

조금 더 구체적으로 설명 하겠다. 당구공이 정지해 있다고 가정하자. 시각 <math>t=0</math>에 다른 공에 맞아 [[운동량]] <math>P</math> <math>\text{kg m s}^{-1}</math>을 얻는다. 운동량의 교환은 실제로 즉각적이지 않고 분자 및 원자 수준에서 탄성 과정에 의해 전달되지만, 실용적 목적을 위해, 에너지가 사실상 순간적으로 전달되는 것으로 보는 것이 편리하다. 그러므로 [[힘 (물리)|힘]]은 <math>P\,\delta(t)</math>이다. (여기서 <math>\delta(t)</math>의 단위는 <math>\mathrm{s}^{-1}</math>이다.)

이 상황을 더 엄밀하게 모델링하기 위해, 대신 힘이 작은 시간 간격 <math>\Delta t = [0,T]</math>에 걸쳐 균일하게 분포된다고 가정하자. 즉,

: <math>F_{\Delta t}(t) = \begin{cases} P/\Delta t& 0<t\leq T, \\ 0 &\text{otherwise}. \end{cases}</math>

그런 다음 적분에 의해 언제든지 시각 ''t''에서 모멘텀<math>p(t)</math>을 찾을 수 있다:

: <math>p(t) = \int_0^t F_{\Delta t}(\tau)\,\mathrm d\tau = \begin{cases} P & t \ge T\\ P\,t/\Delta t & 0 \le t \le T\\ 0&\text{otherwise.}\end{cases}</math>

이제, 모멘텀의 순간적인 전달의 모델 상황은 극한을 <math>\Delta t\to 0</math>과 같이 취해야 한다. 이 극한으로 0을 제외한 모든 곳에서 <math>p(t)</math>의 값을 얻는다:

: <math>p(t)=\begin{cases}P & t > 0\\ 0 & t < 0.\end{cases}</math>

여기서 함수들 <math>F_{\Delta t}</math>은 모멘텀의 즉각적인 전달 아이디어에 대한 유용한 근사로 생각된다.

델타 함수를 사용하면 이러한 근사치의 이상적인 극한을 구성할 수 있다. 불행히도 함수의 실제 극한 ([[점별 수렴]]의 의미에서) <math display="inline">\lim_{\Delta t\to 0}F_{\Delta t}</math>은 한 점을 제외한 모든 곳에서 0이지만 그 한 점에서 무한대이다. 디랙 델타를 적절하게 의미있게 하려면 대신 다음 성질을 주장해야 한다: 모든 <math>\Delta t>0</math>에 대해

: <math>\int_{-\infty}^\infty F_{\Delta t}(t)\,\mathrm{d} t = P</math>

가 극한에서 성립해야 한다. 따라서 방정식 <math display="inline">F(t)=P\,\delta(t)=\lim_{\Delta t\to 0}F_{\Delta t}(t)</math>에서, ''극한은 항상 적분 외부에서'' 취해진 것으로 이해된다.

응용 수학에서 델타 함수는 종종 [[수열|함수열]]의 일종의 극한([[약한 위상|약한 극한]])으로 조작되며 각 원소는 원점에 큰 스파이크가 있다. 예를 들어, 분산이 0으로 수렴하는 원점을 중심으로 하는 [[정규 분포|가우스 분포]]함수들의 열이 있다.

디랙 델타는 최소한 영역과 범위가 [[실수]]인 일반적인 함수는 아니다. 예를 들어, <math>f(x)=\delta(x)</math>와 {{수학|1=''g''(''x'') = 0}}는 <math>x=0</math>을 제외하고 모든 곳에서 동일하지만 적분이 다르다. [[르베그 적분|르베그 적분론]]에 따르면, {{수학 변수|f}} 와 {{수학 변수|g}}가 [[거의 어디서나|거의 모든 곳에서]] {{수학|1=''f'' = ''g''}} 인 함수들 이라면 {{수학 변수|g}}가 적분이 가능하고  {{수학 변수|f}} 와 {{수학 변수|g}}의 적분이 동일한 경우에만 {{수학 변수|f}}도 적분 가능하다. 디랙 델타 함수를 엄밀하게 정의 하려면 [[측도|측도론]] 또는 [[분포 (해석학)|분포]] 이론이 필요하다.

== 역사 ==
[[조제프 푸리에]]는 그의 논문 ''Théorie analytique de la chaleur''에서 현재 [[푸리에 적분 정리]]라고 불리는 것을 다음과 같은 형식으로 제시했다.

: <math>f(x)=\frac{1}{2\pi}\int_{-\infty}^\infty\ \ d\alpha \, f(\alpha) \ \int_{-\infty}^\infty dp\ \cos (px-p\alpha)\, </math>

이것은 다음과 같은 형태로 <math>\delta</math> 함수를 도입하는 것과 같다:<ref name="Kawai">{{서적 인용|제목=Microlocal Analysis and Complex Fourier Analysis|성=Komatsu|이름=Hikosaburo|연도=2002|편집자-성=[[Takahiro Kawai]]|편집자2-성=Keiko Fujita|출판사=World Scientific|쪽=[{{google books |plainurl=y |id=8GwKzEemrIcC|page=200}}]|장=Fourier's hyperfunctions and Heaviside's pseudodifferential operators|isbn=978-981-238-161-3}}</ref>

: <math>\delta(x-\alpha)=\frac{1}{2\pi} \int_{-\infty}^\infty dp\ \cos (px-p\alpha) \ . </math>

나중에 [[오귀스탱 루이 코시|오귀스탱 코시]]는 지수 함수를 사용하여 이 정리를 표현했다.<ref name="Myint-U">{{서적 인용|url={{google books |plainurl=y |id=Zbz5_UvERIIC}}|제목=Linear Partial Differential Equations for Scientists And Engineers|성=Myint-U.|이름=Tyn|성2=Debnath|이름2=Lokenath|저자링크2=Lokenath Debnath|연도=2007|판=4th|출판사=Springer|쪽=[{{google books |plainurl=y |id=Zbz5_UvERIIC|page=4}}]|isbn=978-0-8176-4393-5}}</ref><ref name="Debnath">{{서적 인용|url={{google books |plainurl=y |id=WbZcqdvCEfwC}}|제목=Integral Transforms And Their Applications|성=Debnath|이름=Lokenath|성2=Bhatta|이름2=Dambaru|연도=2007|판=2nd|출판사=[[CRC Press]]|쪽=[{{google books |plainurl=y |id=WbZcqdvCEfwC|page=2}}]|isbn=978-1-58488-575-7}}</ref>

: <math>f(x)=\frac{1}{2\pi} \int_{-\infty} ^ \infty \ e^{ipx}\left(\int_{-\infty}^\infty e^{-ip\alpha }f(\alpha)\,d \alpha \right) \,dp. </math>

코시는 일부 상황에서 적분 ''순서''가 이 결과에서 중요하다고 지적했다([[푸비니 정리]]와 대조적이다).<ref name="Grattan-Guinness">{{서적 인용|url={{google books |plainurl=y |id=_GgioErrbW8C}}|제목=Convolutions in French Mathematics, 1800–1840: From the Calculus and Mechanics to Mathematical Analysis and Mathematical Physics, Volume 2|성=Grattan-Guinness|이름=Ivor|저자링크=Ivor Grattan-Guinness|연도=2009|출판사=Birkhäuser|쪽=[{{google books |plainurl=y |id=_GgioErrbW8C|page=653}} 653]|isbn=978-3-7643-2238-0}}</ref><ref name="Cauchy">
See, for example, {{서적 인용|url=https://gallica.bnf.fr/ark:/12148/bpt6k90181x|제목=Oeuvres complètes d'Augustin Cauchy. Série 1, tome 1 / publiées sous la direction scientifique de l'Académie des sciences et sous les auspices de M. le ministre de l'Instruction publique...|성=Cauchy|이름=Augustin-Louis (1789-1857) Auteur du texte|날짜=1882–1974|언어=EN|장=Des intégrales doubles qui se présentent sous une forme indéterminèe}}</ref>

[[분포 (해석학)|분포 이론]]을 사용하여 엄밀히 증명된 것처럼, 코시 등식은 푸리에의 원래 공식과 유사하도록 재배열 될 수 있으며 <math>\delta</math> 함수를 다음과 같이 드러낸다:

: <math>\begin{align}
f(x)&=\frac{1}{2\pi} \int_{-\infty}^\infty e^{ipx}\left(\int_{-\infty}^\infty e^{-ip\alpha }f(\alpha)\,d \alpha \right) \,dp \\[4pt]
&=\frac{1}{2\pi} \int_{-\infty}^\infty \left(\int_{-\infty}^\infty e^{ipx} e^{-ip\alpha } \,dp \right)f(\alpha)\,d \alpha =\int_{-\infty}^\infty \delta (x-\alpha) f(\alpha) \,d \alpha,
\end{align}</math>

여기서 <math>\delta</math> 함수는 다음과 같이 표현된다.

: <math>\delta(x-\alpha)=\frac{1}{2\pi} \int_{-\infty}^\infty e^{ip(x-\alpha)}\,dp \ . </math>

지수 형식에 대한 엄밀한 해석과 그 적용에 필요한 함수 <math>f</math>에 대한 다양한 제한은 수세기에 걸쳐 확장되었다. 고전적 방식의 문제점은 다음과 같이 설명된다.<ref name="Mitrović">{{서적 인용|url={{google books |plainurl=y |id=Od5BxTEN0VsC}}|제목=Fundamentals of Applied Functional Analysis: Distributions, Sobolev Spaces|성=Mitrović|이름=Dragiša|성2=Žubrinić|이름2=Darko|연도=1998|출판사=CRC Press|쪽=[{{google books |plainurl=y |id=Od5BxTEN0VsC|page=62}} 62]|isbn=978-0-582-24694-2}}</ref>

: 고전적인 푸리에 변환의 가장 큰 단점은 효과적으로 계산할 수 있는 함수들의 범위가 다소 좁다는 것이다. 즉, 이들 함수는 푸리에 적분의 존재를 보장하기 위해 무한대 근처에서 [[급격히 감소|충분히 빠르게 0으로 감소하는]] 것이 필요하다. 예를 들어, 다항식과 같은 간단한 함수의 푸리에 변환은 고전적인 의미에서 존재하지 않는다. 고전적인 푸리에 변환을 분포로 확장하면서 변환할 수 있는 함수의 종류가 상당히 확대되었고 이로 인해 많은 장애물이 제거되었다.

추가적 발전에는 "Plancherel의 선구적인 ''L''<sup>2</sup>-이론(1910)으로 시작하여 [[노버트 위너|위너]] 와 [[잘로몬 보흐너|보흐너]]의 작업(약 1930)으로 계속되고 [[로랑 슈바르츠]]의 [[분포 (해석학)|분포]] 이론(1945)으로의 융합으로 절정에 달하는 푸리에 적분의 일반화가 포함된다.&nbsp;..."<ref name="Kracht">{{서적 인용|제목=Topics in Mathematical Analysis: A Volume Dedicated to the Memory of A.L. Cauchy|성=Kracht|이름=Manfred|성2=Kreyszig|이름2=Erwin|저자링크2=Erwin Kreyszig|연도=1989|편집자-성=Themistocles M. Rassias|출판사=World Scientific|쪽={{google books |plainurl=y |id=xIsPrSiDlZIC|page=553 }} 553]|장=On singular integral operators and generalizations|isbn=978-9971-5-0666-7}}</ref>

무한히 큰 단위 충격 델타 함수(코시 분포의 무한소 버전)에 대한 [[무한소]] 공식은 [[오귀스탱 루이 코시]]의 1827년 텍스트에 명시적으로 나타난다.{{Sfn|Laugwitz|1989}} [[시메옹 드니 푸아송]]은 훗날에 [[구스타프 키르히호프]]가 했던 것처럼 파동 전파 연구와 관련하여 이 문제를 고려했다. 키르히호프와 [[헤르만 폰 헬름홀츠]]는 단위 충격를 [[정규 분포]]의 극한으로 도입했으며, 이는 [[제1대 켈빈 남작 윌리엄 톰슨|켈빈]]의 점 열원 개념과도 일치한다. 19세기 말에 [[올리버 헤비사이드]]는 형식 [[푸리에 급수]]를 사용하여 단위 충격을 다루었다.<ref>A more complete historical account can be found in {{괄호 없는 하버드 인용|van der Pol|Bremmer|1987|loc=§V.4}}.</ref> 이와 같은 디랙 델타 함수는 [[폴 디랙]]이 1927년 논문 ''The Physical Interpretation of the Quantum Dynamics''<ref>{{저널 인용|제목=The physical interpretation of the quantum dynamics|저널=Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character|성=Dirac|이름=P. A. M.|날짜=January 1927|권=113|호=765|쪽=621–641|언어=en|bibcode=1927RSPSA.113..621D|doi=10.1098/rspa.1927.0012|issn=0950-1207}}</ref> 에서 소개했으며 그의 교과서 ''The Principles of Quantum Mechanics''에서 사용했다.{{Sfn|Dirac|1930}} 그는 그것을 불연속 [[크로네커 델타]]의 연속 아날로그로 사용했기 때문에 "델타 함수"라고 불렀다.

== 정의 ==
=== 순진한 정의 ===
디랙 델타는 무한대 값을 가진 원점을 제외하고 모든 곳에서 0인 실직선 상의 함수로 대략적으로 생각될 수 있다.

: <math>\delta(x) \simeq \begin{cases} +\infty, & x = 0 \\ 0, & x \ne 0 \end{cases}</math>

또한 다음을 만족하도록 제한된다.

: <math>\int_{-\infty}^\infty \delta(x) \, \mathrm dx = 1.</math>{{Sfn|Gelfand|Shilov|1966–1968}}

그러나 이것은 [[휴리스틱 이론|휴리스틱]]에 불과하다. 디랙 델타는 전통적인 의미의 함수가 아니다.{{Sfn|Dirac|1930}} 디랙 델타 함수는 [[분포 (해석학)|분포]] 또는 [[측도]]로 엄격하게 정의될 수 있다.

=== 측도론적 정의 ===
디랙 델타 함수의 개념을 엄격하게 정의하는 한 가지 방법은 [[측도]]의 일종으로 정의하는 것이다. 측도는 집합에 길이, 넓이, 부피, ''<math>n </math>''차원 부피 등을 일반화한 집합의 "크기"를 정하는 함수이다. 대략 어떤 성질을 만족하는 "측도 가능 집합"들을 정의하고 측도 가능 집합들에 음이 아닌 실수 또는 무한대 값을 부여한다. 즉, 그 집합의 "크기"을 정하는 방법이다. 실수 직선 <math>\R</math>의 측도 가능 집합 <math>A\subset\R</math>에 대해

<math>\delta(A)= \begin{cases} 1, & \text{if }0\in A \\ 0, & \text{if }0\notin A \end{cases}</math>

인 측도를 정의하고 이를 디랙 측도라고 한다.<ref name="Rudin 1966 loc=§1.20">{{괄호 없는 하버드 인용|Rudin|1966|loc=§1.20}}</ref> [[르베그 적분]]은 이 정의에 필요한 해석학을 제공한다. 측도 <math>\delta</math>에 대한 르베그 적분은 모든 콤팩트 지지 연속 함수 <math>f</math>에 대해 다음을 충족한다.

: <math>\int_{-\infty}^\infty f(x) \, \delta(\mathrm dx) = f(0)</math>

측도 <math>\delta</math>는 [[르베그 측도]]에 대해 [[절대 연속 측도|절대 연속적]]이지 않으며, [[특이 측도]]이다. 결과적으로 델타 측도에는 (르베그 측도과 관련하여)[[라돈-니코딤 정리|라돈-니코딤 도함수]]이 없다. 즉,

: <math>\int_{-\infty}^\infty f(x)\, \delta(x)\, \mathrm dx = f(0)</math>

이 성립하는 함수가 없다.{{Sfn|Hewitt|Stromberg|1963}} 결과적으로 후자의 표기법은 편리한 [[기호의 남용|표기법 남용]]이며 표준([[리만 적분|리만]] 또는 [[르베그 적분|르베그]]) 적분법이 아니다.

<math>\R</math>에 대한 [[확률 측도]]로서 델타 측도는 [[단위 계단 함수]]인 [[누적 분포 함수]]를 특징으로 한다.<ref>{{괄호 없는 하버드 인용|Driggers|2003|p=2321}} See also {{괄호 없는 하버드 인용|Bracewell|1986|loc=Chapter 5}} for a different interpretation. Other conventions for the assigning the value of the Heaviside function at zero exist, and some of these are not consistent with what follows.</ref>

: <math>H(x) = 
\begin{cases}
1 & \text{if } x\ge 0\\
0 & \text{if } x < 0.
\end{cases}</math>

이는 <math>H(x)</math>가 측도 <math>\delta</math>에 대한 누적 [[지시 함수|지표 함수]] {{수학|'''1'''<sub>(−∞, ''x'']</sub>}} 의 적분임을 의미한다.

: <math>H(x) = \int_{\mathbf{R}}\mathbf{1}_{(-\infty,x]}(t)\,\delta(\mathrm dt) = \delta(-\infty,x],</math>

후자는 이 구간의 측도 <math>\delta((-\infty, x])</math>이다. 따라서 특히 연속 함수에 대한 델타 함수의 적분은 리만-스틸체스 적분으로 적절하게 이해될 수 있다. {{Sfn|Hewitt|Stromberg|1963}}

: <math>\int_{-\infty}^\infty f(x)\,\delta(\mathrm dx) = \int_{-\infty}^\infty f(x) \,\mathrm dH(x).</math>

<math>\delta</math>의 모든 고차 [[모멘트 (수학)|모멘트]]는 0이다. 특히 [[특성함수 (확률론)|특성 함수]]와 [[모멘트 생성 함수]]는 모두 1과 같다.

=== 분포론적 정의 ===
[[분포 (해석학)|분포론]]에서 일반화된 함수는 그 자체로 함수가 아니라 다른 함수에 대해 "적분"될 때 다른 함수에 미치는 영향에 대해서만 규정된다. {{Sfn|Hazewinkel|2011}} 이에 따라 델타 함수를 적절하게 정의하려면 충분히 "좋은" '''시험 함수''' ''<math>\varphi</math>''에 대해 델타 함수의 "적분"이 무엇인지 말하는 것으로 충분하다. 시험 함수는 [[범프 함수]]라고도 한다. 델타 함수가 이미 측도값으로 이해된 경우 해당 측도값에 대한 시험 함수의 르베그 적분이 필요한 적분을 제공한다.

시험 함수의 일반적인 공간은 '''<math>\R</math>'''의 모든 [[매끄러운 함수]]로 구성되며 필요한 만큼 많은 도함수를 지지하는 [[지지집합|콤팩트 지지]]가 있다. 분포로서 디랙 델타는 시험 함수의 공간에서 선형 함수이며{{Sfn|Strichartz|1994}} 모든 시험 함수 ''<math>\varphi</math>''에 대해 {{NumBlk|:|<math>\delta[\varphi] = \varphi(0)</math>|{{EquationRef|1}}}}로 정의된다.

''<math>\delta</math>''가 적절한 분포가 되려면 시험 함수 공간에서 적절한 위상에서 연속적이어야 한다. 일반적으로 분포를 정의하기 위한 시험 함수 공간의 선형 함수 ''<math>S</math>''의 경우, 모든 양의 정수 ''<math>N</math>''에 대해 모든 시험 함수 ''<math>\varphi</math>''에 대해 다음과 같은 정수 ''<math>M_N</math>''과 상수 ''<math>C_N</math>''이 있는 것이 필요하고 충분한다. 하나는 부등식이 있다.{{Sfn|Hörmander|1983}}

: <math>\left|S[\varphi]\right| \le C_N \sum_{k=0}^{M_N}\sup_{x\in [-N,N]} \left|\varphi^{(k)}(x)\right|</math>

여기서 ''<math>\sup</math>''는 [[상한과 하한|상한]]을 나타낸다. ''<math>\delta</math>'' 분포를 사용하면 모든 ''<math>N</math>''에 대해 ''<math>M_N=0</math>''인 부등식(''<math>C_N=1</math>''이 있다. 따라서 ''<math>\delta</math>는'' 차수가 0인 분포이다. 또한 콤팩트 지지가 포함된 분포이다([[지지집합|지지]]는 {0}임).

델타 분포는 여러 동등한 방법으로 정의할 수도 있다. 예를 들어, 델타 분포는 [[단위 계단 함수|헤비사이드 계단 함수]]의 [[분포 (해석학)|분포 도함수]]이다. 이는 모든 시험 함수 ''<math>\varphi</math>''에 대해

: <math>\delta[\varphi] = -\int_{-\infty}^\infty \varphi'(x)\,H(x)\,\mathrm dx.</math>

직관적으로 [[부분 적분]]이 허용된다면 후자의 적분은 다음과 같이 단순화되어야 한다.

: <math>\int_{-\infty}^\infty \varphi(x)\,H'(x)\,\mathrm dx = \int_{-\infty}^\infty \varphi(x)\,\delta(x)\,\mathrm dx,</math>

그리고 실제로 [[스틸체스 적분]]에 대해 부분에 의한 적분의 형태가 허용되며, 이 경우 하나는 다음을 갖는다.

: <math>-\int_{-\infty}^\infty \varphi'(x)\,H(x)\, \mathrm dx = \int_{-\infty}^\infty \varphi(x)\,\mathrm dH(x).</math>

측도론의 맥락에서 디랙 측도는 적분에 의한 분포를 발생시킨다. 반대로 방정식 ({{EquationNote|1}})은 리츠 표현 정리에 의해 어떤 [[라돈 측도]]에 관한 ''<math>\varphi</math>''의 르베그 적분으로 표현될 수 있는 모든 콤팩트 지지 연속 함수 ''<math>\varphi</math>''의 공간에 대한 [[다니엘 적분]]을 정의한다.

=== 고차원 일반화 ===
델타 함수는 ''<math>n</math>''차원 [[유클리드 공간]] ''<math>\R^n</math>''에서 모든 콤팩트 지지 연속 함수 ''<math>f</math>''에 대해 다음과 같은 측도로 정의할 수 있다''.''

: <math>\int_{\mathbf{R}^n} f(\mathbf{x})\,\delta(\mathrm d\mathbf{x}) = f(\mathbf{0})</math>

측도로서 ''<math>n</math>'' 차원 델타 함수는 각 변수들의 개별적 1차원 델타 함수들의 곱 측도이다. 따라서,  ''<math>\mathbf x=(x_1,x_2,\dots,x_n)</math>''이라 할 때,{{Sfn|Bracewell|1986}}{{NumBlk|:|<math>\delta(\mathbf{x}) = \delta(x_1)\,\delta(x_2)\cdots\delta(x_n).</math>|{{EquationRef|2}}}}델타 함수는 1차원에서 위와 같이 정확하게 분포의 의미로 정의될 수도 있다.{{Sfn|Hörmander|1983}} 그러나, ({{EquationNote|2}})가 공학적 맥락에서 널리 사용됨에도 불구하고 분포의 곱은 매우 좁은 조건에서만 정의될 수 있기 때문에 주의해서 다뤄야 한다. {{Sfn|Strichartz|1994}} {{Sfn|Hörmander|1983}}

측도의 개념은 실수 집합 뿐만 아니라 임의의 집합에서 정의된다.{{Sfn|Rudin|1966}} 즉, 디랙 측도도 실수 집합이 아닌 집합에서도 정의 된다. ''<math>X</math>''가 집합이고, ''<math>x_0\in X</math>''가 특정된 점이고, ''<math>\Sigma</math>''가 ''<math>X</math>''의 부분 집합들이 이루는 [[시그마 대수]]라면, 집합 ''<math>A\in\Sigma</math>''에 대해 정의된 디랙 측도는 다음과 같다.

: <math>\delta_{x_0}(A)=\begin{cases}
1 &\text{if }x_0\in A\\
0 &\text{if }x_0\notin A
\end{cases}</math>

델타 함수의 또 다른 일반적인 일반화는 미분 가능한 다양체에 대한 일반화이다. 미분 다양체는 미분 구조를 가지고 있어서 분포로서의 대부분의 성질을 이용할 수 있다. 점 ''<math>x_0\in M</math>''에 중심을 둔 다양체 ''<math>M</math>''의 델타 함수는 ''<math>M</math>''에서 정의된 모든 콤팩트 지지 매끄러운 실수 값 함수 ''φ''에 대해 다음 분포로 정의된다:{{NumBlk|:|<math>\delta_{x_0}[\varphi] = \varphi(x_0)</math>|{{EquationRef|3}}}}이 구성{{Sfn|Dieudonné|1972}}의 특수한 경우는 ''<math>M</math>''이 유클리드 공간 ''<math>\R^n</math>''에서 [[열린집합]]인 경우이다.

[[국소 콤팩트 공간|국소 콤팩트 하우스도르프 공간]] ''<math>X</math>''에서 점 ''x''에 집중된 디랙 델타 측도값은 콤팩트하게 지지되는 연속 함수 ''φ'' 의 다니엘 적분({{EquationNote|3}})과 관련된 [[라돈 측도]]이다.<ref>{{서적 인용|url={{google books |plainurl=y |id=X_BKmVphIcsC&q }}|제목=Geometric Integration Theory|성=Krantz|이름=Steven G.|성2=Parks|이름2=Harold R.|날짜=2008-12-15|출판사=Springer Science & Business Media|언어=en|isbn=978-0-8176-4679-0}}</ref> 이 수준의 일반화에서는 미적분 자체가 더 이상 가능하지 않지만 추상 해석학의 다양한 방법을 사용할 수 있다. 예를 들어, 사상 <math>x_0\mapsto \delta_{x_0}</math>은 모호한 위상을 갖춘 ''<math>X</math>''의 유한한 라돈 측도 공간에 ''<math>X</math>''를 연속적으로 매장하는 것이다. 또한, 이 매장에서 ''<math>X</math>'' 상의 [[볼록 껍질]]은 ''<math>X</math>''의 확률 측도 공간에서 [[조밀 집합|조밀]]하다.{{Sfn|Federer|1969}}

== 근사 표현 ==
[[파일:Dirac function approximation.gif|right|frame|정규 분포의 극한을 이용한 디랙 델타 함수의 근사 표현<br /><math>\delta_a(x) = \frac{1}{a \sqrt{\pi}} \mathrm{e}^{-x^2/a^2}</math> {{nowrap|1=as <math>a \rightarrow 0</math>.}}]]

델타 함수는 다음과 같이 다양한 근사 표현을 갖는다.<ref>{{웹 인용 |url=http://www.math.osu.edu/~gerlach.1/math/BVtypset/node28.html# |제목=''The Dirac Delta Function'', http://www.math.osu.edu/~gerlach.1/math/BVtypset/node28.html |확인날짜=2013-08-05 |보존url=https://web.archive.org/web/20121112111430/http://www.math.osu.edu/~gerlach.1/math/BVtypset/node28.html# |보존날짜=2012-11-12 |url-status=dead }}</ref>

:<math>
\begin{align}
\delta(t)
&= \lim_{h \to 0^{+}} \frac1{h} \mathit{\Pi}\left(\frac{t}{h}\right)\\
&= \lim_{h \to 0^{+}} \frac1{h\sqrt{\pi}} \exp\left[-\frac{t^{2}}{h^{2}}\right]\\
&= \lim_{h \to 0^{+}} \frac1{h} \operatorname{sinc}\frac{t}{h}\\
&= \lim_{h \to 0^{+}} \frac1{\pi h}\frac1{1 + (t/h)^{2}}.
\end{align}
</math>

여기서 <math>\mathit{\Pi}</math>와 <math>\operatorname{sinc}</math>는 다음과 같이 정의된다.

:<math>
\begin{align}
\mathit{\Pi}(t) &= \left\{\begin{array}{ll}
1, & -0.5 \le t \le 0.5,\\
0, & \text{otherwise}.
\end{array}\right.\\
\operatorname{sinc}t &= \frac{\sin \pi t}{\pi t}.
\end{align}
</math>

참고로 <math>\exp[-t^{2}]/\sqrt{\pi}</math>와 <math>1/[\pi(1+t^{2})]</math>은 각각 [[정규 분포]]와 [[:en:Cauchy–Lorentz_distribution|코시 로렌츠 분포]]의 [[확률 밀도 함수]]를 나타낸다.

== 성질 ==
=== 척도구성과 대칭성(Scaling and symmetry) ===
델타 함수는 0이 아닌 상수 <math>\alpha</math>에 대해 다음 성질을 충족한다. {{Sfn|Strichartz|1994}}

: <math>\int_{-\infty}^\infty \delta(\alpha x)\,\mathrm dx
=\int_{-\infty}^\infty \delta(u)\,\frac{\mathrm du}{|\alpha|}
=\frac{1}{|\alpha|}</math>

그래서{{NumBlk|:|<math>\delta(\alpha x) = \frac{\delta(x)}{ | \alpha | }.</math>|{{EquationRef|4}}}}스케일링 성질 증명:<math display="block">\begin{align}
\delta(\alpha x) &= \lim_{b \to 0} \frac{1}{|b|\sqrt{\pi}}e^{-(\alpha x/b)^2} \qquad \text{since } b \text{ is a dummy variable, we set } b=\alpha c \\
&=\lim_{c \to 0} \frac{1}{|\alpha c|\sqrt{\pi}}e^{-(\alpha x/(\alpha c))^2} \\
&=\lim_{c \to 0} \frac{1}{|\alpha|} \frac{1}{|c|\sqrt{\pi}}e^{-(x/c)^2} = \frac{1}{|\alpha|} \delta(x)
\end{align}  </math>

이 증명에서 델타 함수 표현은 0이 중심인 [[정규 분포]] 함수열의 극한으로 정의된 델타 함수 <math>\delta(x) = \lim_{b \to 0} \frac{1}{|b|\sqrt{\pi}}e^{-(x/b)^2}</math>가 사용되었다. 이 증명은 짝함수인 한 다른 델타 함수 표현을 함수 열의 극한으로 사용하여 만들 수 있다.

특히, 델타 함수는 다음과 같은 의미에서 [[홀함수와 짝함수|짝]](대칭)분포이다.

: <math>\delta(-x) = \delta(x)</math>

이는 -1차 [[동차함수]]라고 할 수 있다.

=== 대수적 성질 ===
''x''와 ''δ''의 [[분포 (해석학)|분포]]곱은 0과 같다.

: <math>x\,\delta(x) = 0.</math>

반대로 두 분포 ''<math>f</math>''와 ''<math>g</math>''에 대해 ''<math>xf(x)=xg(x)</math>''이면 어떤 상수 c에 대해

: <math>f(x) = g(x) +c \delta(x)</math>

이다.{{Sfn|Vladimirov|1971}}

=== 옮김 ===
옮겨진 디랙 델타와 다른 함수의 적분은<ref>{{서적 인용|url={{google books |plainurl=y |id=G1jSBQAAQBAJ}}|제목=Nonlinear Optics: Principles and Applications|성=Rottwitt|이름=Karsten|성2=Tidemand-Lichtenberg|이름2=Peter|날짜=2014-12-11|출판사=CRC Press|쪽=[{{google books |plainurl=y |id=G1jSBQAAQBAJ|page=276}}] 276|언어=en|isbn=978-1-4665-6583-8}}</ref>

: <math>\int_{-\infty}^\infty f(t) \,\delta(t-T)\,\mathrm dt = f(T)</math>

이다. 이것은 ''선별 성질''<ref>{{매스월드|제목=Sifting Property}}</ref> 또는 ''샘플링 성질''이라고도 한다.<ref>{{서적 인용|url={{google books |plainurl=y |id=f0RdM1zv_dkC}}|제목=Signals and Systems with MATLAB Applications|성=Karris|이름=Steven T.|날짜=2003|출판사=Orchard Publications|쪽=[{{google books |plainurl=y |id=f0RdM1zv_dkC&pg=SA1-PA15 }} 15]|언어=en|isbn=978-0-9709511-6-8}}</ref> 이 성질을 델타 함수가 <math>t =T</math>에서 ''<math>f(t)</math>''의 값을 "걸러낸다"고 표현한다.<ref>{{서적 인용|url={{google books |plainurl=y |id=YEKeBQAAQBAJ}}|제목=Introduction to Communication Theory|성=Roden|이름=Martin S.|날짜=2014-05-17|출판사=Elsevier|쪽=[{{google books |plainurl=y |id=YEKeBQAAQBAJ|page=40}}]|언어=en|isbn=978-1-4831-4556-3}}</ref>

옮겨진 디랙 델타 <math> \delta_T(t) = \delta(t-T)</math>와 함수 ''<math>f(t)</math>''를 [[합성곱]]하면''<math>f(t)</math>''를 같은 양만큼 옮기는 것과 같다. 이것은 때때로 ''옮김 성질''이라고 한다.

: <math>\begin{align}
(f * \delta_T)(t) \ &\stackrel{\mathrm{def}}{=}\ \int_{-\infty}^\infty f(\tau)\, \delta(t-T-\tau) \, \mathrm d\tau \\
&= \int_{-\infty}^\infty f(\tau) \,\delta(\tau-(t-T)) \,\mathrm d\tau \qquad \text{since}~ \delta(-x) = \delta(x) ~~ \text{by (4)}\\
&= f(t-T).
\end{align}</math>

''선별 성질은'' <math>T</math> 중심에 있는 함수의 값을 찾는 반면 ''옮김 성질''은 옮겨진 함수를 반환한다. 이동 성질은 <math>f</math>가 [[분포 (해석학)|조정된 분포]]라는 정확한 조건 하에서 유지된다(아래 푸리에 변환에 대한 설명 참조). 예를 들어 특별한 경우로  다음 항등식(분포론적 의미로 이해됨)을 얻는다:

: <math>\int_{-\infty}^\infty \delta (\xi-x) \delta(x-\eta) \,\mathrm dx = \delta(\eta-\xi).</math>

=== 함수와 분포의 합성 ===
보다 일반적으로, 델타 분포는 익숙한 변수 변경 공식이 유지되는 방식으로 매끄러운 함수 <math>g(x)</math>로 [[분포 (해석학)|합성]]될 수 있다.

: <math>\int_{\R} \delta\bigl(g(x)\bigr) f\bigl(g(x)\bigr) \left|g'(x)\right| \mathrm dx = \int_{g(\R)} \delta(u)\,f(u)\,\mathrm du</math>

단, <math>g</math>는 <math>g'</math>가 0이 아닌 [[미분 가능 함수|연속 미분 가능한]] 함수이다. {{Sfn|Gelfand|Shilov|1966–1968}} 분포에 의미를 부여하는 고유한 방법이 있다. <math>\delta\circ g</math> 따라서 이 항등식은 모든 콤팩트 지지 시험 함수 <math>f</math>에 대해 유지된다. 따라서 <math>g'=0</math> 지점을 제외하려면 도메인을 분할해야 한다. 이 분포는 <math>g</math>가 여기에서도 0이 아닌 경우 <math>\delta(g(x))=0</math> 충족하고, 그렇지 않으면 <math>g</math>가 <math>x_0</math>에서 [[근 (수학)|실근]]을 갖는 경우 다음을 충족한다.

: <math>\delta(g(x)) = \frac{\delta(x-x_0)}{|g'(x_0)|}.</math>

따라서 연속적으로 미분 가능한 함수 <math>g</math>에 대한 합성<math>\delta(g(x))</math>를 다음과 같이 ''정의하는'' 것이 자연스럽다.

: <math>\delta(g(x)) = \sum_i \frac{\delta(x-x_i)}{|g'(x_i)|}</math>

여기서 합은 [[다항식|단순]]하다고 가정되는 <math>g(x)</math>의 모든 근(즉, 모든 다른 근)에 걸쳐 더해진다. 따라서 예를 들어

: <math>\delta\left(x^2-\alpha^2\right) = \frac{1}{2|\alpha|} \Big[\delta\left(x+\alpha\right)+\delta\left(x-\alpha\right)\Big].</math>

적분 형식에서 일반화된 스케일링 성질은 다음과 같이 쓸 수 있다.

: <math> \int_{-\infty}^\infty f(x) \, \delta(g(x)) \, \mathrm dx = \sum_{i}\frac{f(x_i)}{|g'(x_i)|}. </math>

=== 부정 적분 ===
상수 <math>a \in \mathbb{R}</math>와 "얌전한" 임의의 실수 값 함수 <math>y(x)</math>에 대해 다음이 성립한다:

: <math>\displaystyle{\int}y(x)\delta(x-a)dx = y(a)H(x-a) + C</math>

여기서 <math>H(x)</math>는 [[단위 계단 함수|헤비사이드 계단 함수]]이고 <math>C</math>는 전통적인 적분 상수이다.

=== 고차원 델타 함수의 성질 ===
''<math>n </math>'' 차원 공간의 델타 분포는 대신 다음 스케일링 성질을 충족한다.

: <math>\delta(\alpha\mathbf{x}) = |\alpha|^{-n}\delta(\mathbf{x})</math>

따라서 ''<math>\delta</math>''는 -''<math>n </math>'' 차 [[동차함수|동차]] 분포이다.

[[반사 (기하학)|반사]] 또는 [[회전 (기하학)|회전]] ρ에서 델타 함수는 불변이며,

: <math>\delta(\rho \mathbf{x}) = \delta(\mathbf{x})~.</math>

변수가 하나인 경우와 마찬가지로 [[립시츠 연속 함수|쌍 립시츠 함수]]<ref>Further refinement is possible, namely to [[Submersion (mathematics)|submersions]], although these require a more involved change of variables formula.</ref> <math>g: \mathbb{R}^n\rightarrow \mathbb{R}^n</math> 사용하여 모든 콤팩트 지지 함수 ''<math>f</math>''에 대해 <math>\delta</math>의 합성을 고유하게 정의할 수 있다.

: <math>\int_{\R^n} \delta(g(\mathbf{x}))\, f(g(\mathbf{x}))\left|\det g'(\mathbf{x})\right| \mathrm d\mathbf{x} = \int_{g(\R^n)} \delta(\mathbf{u}) f(\mathbf{u})\,\mathrm d\mathbf{u}</math>

기하 측도론의 공면적 공식을 사용하여 하나의 유클리드 공간에서 다른 차원의 다른 공간으로 [[침몰 (수학)|침몰]]하는 델타 함수의 구성을 정의할 수도 있다. 결과는 [[현재(수학)|current]]의 한 유형이다. 연속적으로 미분 가능한 함수 <math>g: \mathbb{R}^n\rightarrow \mathbb{R}</math>의 특수한 경우 이므로 ''<math>g</math>''의 [[기울기 (벡터)|기울기]]는 0이 아니며 다음 항등식을 유지한다 {{Sfn|Hörmander|1983}}

: <math>\int_{\R^n} f(\mathbf{x}) \, \delta(g(\mathbf{x})) \,\mathrm d\mathbf{x} = \int_{g^{-1}(0)}\frac{f(\mathbf{x})}{|\mathbf{\nabla}g|}\,\mathrm d\sigma(\mathbf{x}) </math>

여기서 오른쪽의 적분은 ''<math>g^{-1}(0)</math>'', 민코프스키 내용 측도에 대해 ''<math>g(\mathbf x)=0</math>''으로 정의된 {{개행 금지|(''n'' − 1)}} 차원 곡면이다. 이것은 ''단순 계층'' 적분으로 알려져 있다.

보다 일반적으로, ''<math>S</math>''가 ''<math>\mathbb{R}^n</math>''의 매끄러운 초곡면인 경우, ''<math>S</math>''에 대해 콤팩트하게 지지되는 매끄러운 함수 ''<math>g</math>를'' 적분하는 분포를 ''<math>S</math>''에 연결할 수 있다.

: <math>\delta_S[g] = \int_S g(\mathbf{s})\,\mathrm d\sigma(\mathbf{s})</math>

여기서 ''<math>\sigma</math>''는 ''<math>S</math>''와 관련된 초곡면 측도이다. 이 일반화는 ''<math>S</math>''의 단순 층 전위에 대한 [[퍼텐셜 이론]]과 관련이 있다. ''<math>D</math>''가 매끄러운 경계 ''<math>S</math>''가 있는 ''<math>\mathbb{R}^n</math>''의 [[영역 (해석학)|도메인]]인 경우 <math>\delta_S</math>분포 의미에서 ''<math>D</math>'' [[지시 함수]]의 정규 도함수와 같다.

: <math>-\int_{\R^n}g(\mathbf{x})\,\frac{\partial 1_D(\mathbf{x})}{\partial n}\,\mathrm d\mathbf{x}=\int_S\,g(\mathbf{s})\, \mathrm d\sigma(\mathbf{s}),</math>

여기서 ''<math>n </math>은'' 바깥 방향 법선이다. {{Sfn|Lange|2012}} {{Sfn|Gelfand|Shilov|1966–1968}} 증명을 위해 예를 들어 [[지표의 라플라시안|곡면 델타 함수]]에 대한 문서를 참조하라.

== 델타 함수의 푸리에 변환 ==
델타 함수는 [[분포 (해석학)|조정된 분포]]이므로 [[푸리에 변환]]이 잘 정의되어 있다. 공식적으로<ref>The numerical factors depend on the [[Fourier transform|conventions]] for the Fourier transform.</ref>

: <math>\widehat{\delta}(\xi)=\int_{-\infty}^\infty e^{-2\pi i x \xi} \,\delta(x)\mathrm dx = 1.</math>

제대로 말하면, 분포의 푸리에 변환은 쌍대 쌍 <math>\langle\cdot,\cdot\rangle</math> 아래에서 푸리에 변환의 자기 수반성을 부과함으로써 정의된다.  [[슈바르츠 공간|슈바르츠 함수]]를 사용한 강화 분포. 따라서 <math>\widehat{\delta}</math>는 모든 슈바르츠 함수 <math>\varphi</math>에 대해 다음을 만족하는 유일한 조정된 분포로 정의된다.

: <math>\langle\widehat{\delta},\varphi\rangle = \langle\delta,\widehat{\varphi}\rangle</math>

그리고 이것으로부터 <math>\widehat{\delta}=1</math>과 같은 결과가 나온다.

이러한 항등식의 결과로 델타 함수와 다른 조정된 분포 ''<math>S</math>''의 [[합성곱]]은 단순히 ''<math>S</math>''이다.

: <math>S*\delta = S.</math>

즉, <math>\delta</math>는 조정된 분포에 대한 합성곱에 대한 [[항등원]]이며, 실제로 합성곱에서 콤팩트 지지 분포들의 공간은 델타 함수와 [[결합 대수|항등원이 있는 결합 대수]]이다. 이 성질은 [[신호 처리]] 에서 기본적이다. 조절된 분포가 있는 합성곱은 [[선형 시불변 시스템|선형 시불변 계]] 이고 선형 시불변 계을 적용하면 충격 응답이 측도된다. 충격 응답은 <math>\delta</math>에 대한 적절한 근사치를 선택하여 원하는 정확도로 계산할 수 있으며 일단 알려지면 계을 완전히 특성화한다.

조정된 분포''<math>f(\xi)=1 </math>''의 역 푸리에 변환은 델타 함수이다.

: <math>\int_{-\infty}^\infty 1 \cdot e^{2\pi i x\xi}\,\mathrm d\xi = \delta(x)</math>

그리고 더 엄밀하게는 모든 슈바르츠 함수에 대해 <math>f</math> 다음과 같다.

: <math>\langle 1, \widehat{f}\rangle = f(0) = \langle\delta,f\rangle</math>

이러한 용어에서 델타 함수는 '''R'''에서 푸리에 핵의 직교성에 대한 암시적인 설명을 제공한다. 공식적으로는

: <math>\int_{-\infty}^\infty e^{i 2\pi \xi_1 t} \left[e^{i 2\pi \xi_2 t}\right]^*\,\mathrm dt = \int_{-\infty}^\infty e^{-i 2\pi (\xi_2 - \xi_1) t} \,\mathrm dt = \delta(\xi_2 - \xi_1).</math>

물론 이것은 템퍼링된 분포의 푸리에 변환

: <math>f(t) = e^{i2\pi\xi_1 t}</math>

이

: <math>\widehat{f}(\xi_2) = \delta(\xi_1-\xi_2)</math>

이는 다시 푸리에 변환의 자기수반 성질을 부여함으로써 뒤따른다.

푸리에 변환의 [[해석적 연속|해석적 연장]]에 의해 델타 함수의 [[라플라스 변환]]은 {{Sfn|Bracewell|1986}}

: <math> \int_{0}^{\infty}\delta(t-a)\,e^{-st} \, \mathrm dt=e^{-sa}.</math>

== 충격 응답(Impulse response)<ref>{{웹 인용 |url=http://www.ktword.co.kr/abbr_view.php?m_temp1=3722 |제목=정보통신기술용어해설, http://www.ktword.co.kr/abbr_view.php?m_temp1=3722 |확인날짜=2013-08-05 |보존url=https://web.archive.org/web/20181217195535/http://www.ktword.co.kr/abbr_view.php?m_temp1=3722 |보존날짜=2018-12-17 |url-status=dead }}</ref> ==
주어진 [[미분 방정식|선형 상미분 방정식]]이 '''자율적'''(autonomous)일 경우 모든 초기조건을 0으로 두고 입력으로 델타 함수를 인가했을 때 얻게 되는 해를 [[충격 응답]]이라 한다. [[충격 응답]]은 [[미분 방정식|선형 상미분 방정식]]의 해를 구하는데 중요한 역할을 한다. 다음과 같이 [[선형 연산자]]
:<math>
L = \sum_{k = 0}^{n} c_{k}\frac{d^{k}}{dx^{k}},\; (c_{k} \in \mathbb{R})
</math><br />
과 미지 함수 <math>y</math>, 그리고 입력 <math>f</math>로 표현된 자율적 [[미분 방정식|선형 상미분 방정식]]을 고려하자.
:<math>
Ly = f,\quad y(0) = \left.\frac{dy}{dx}\right|_{x=0} = \cdots = \left.\frac{d^{n-1}y}{dx^{n-1}}\right|_{x=0} = 0.
</math><br />
이 방정식의 [[충격 응답]]을 <math>h</math>라 하면 미분 방정식의 해는 다음과 같다.
:<math>
y(x) = \int_{-\infty}^{\infty}f(\tau)h(x - \tau) d\tau.
</math>

== 델타 함수의 표현 ==
델타 함수는 함수열의 극한으로 볼 수 있다.

: <math>\delta (x) = \lim_{\varepsilon\to 0^+} \eta_\varepsilon(x), </math>

여기서 <math>\eta_\varepsilon(x) </math>는 '''초기 델타 함수'''라고도 한다. 이 극한은 약한 극한을 의미한다.{{NumBlk|:|<math> \lim_{\varepsilon\to 0^+} \int_{-\infty}^\infty \eta_\varepsilon(x)f(x) \, dx = f(0) </math>|{{EquationRef|5}}}}[[지지집합|콤팩트 지지]]을 갖는 모든 [[연속 함수|연속]] 함수 <math>f</math>에 대해, 또는 이 극한은 콤팩트 지지을 갖는 모든 [[매끄러운 함수|매끄러운]] 함수 <math>f</math>에 대해 유지된다. 약한 수렴의 이 두 가지 약간 다른 모드 사이의 차이는 종종 미묘하다. 전자는 측도의 모호한 위상에서의 수렴이고 후자는 [[분포 (해석학)|분포]]의 의미에서 수렴이다.

=== 항등원 근사 ===
일반적으로 초기 델타 함수 <math>\eta_\varepsilon </math>을 다음과 같은 방식으로 구성할 수 있다. ''<math>\eta </math>''를 전체 적분값이 1인 '''R'''에 대해 절대 적분할 수 있는 함수라고 하고 다음을 정의한다.

: <math>\eta_\varepsilon(x) = \varepsilon^{-1} \eta \left (\frac{x}{\varepsilon} \right). </math>

''n'' 차원에서는 스케일링을 대신 사용한다.

: <math>\eta_\varepsilon(x) = \varepsilon^{-n} \eta \left (\frac{x}{\varepsilon} \right). </math>

그런 다음 변수를 간단히 변경하면 <math>\eta_\varepsilon </math>도 적분 1을 가짐을 알 수 있다. ( {{EquationNote|5}} )는 모든 콤팩트 지지 연속 함수''<math>f </math>'' {{Sfn|Stein|Weiss|1971}} 에 대해 유지되고 따라서 <math>\eta_\varepsilon </math>은 측도의 의미에서 ''δ'' 로 약하게 수렴한다는 것을 보여줄 수 있다.

이러한 방식으로 구성된 <math>\eta_{\varepsilon}  </math>는 '''항등원 근사'''로 알려져 있다.{{Sfn|Rudin|1991}} 이 용어는 <math>f</math>와 <math>g</math>''가'' ''<math>L^1(\R)</math>''에 있을 때마다 ''<math>f*g\in L^1(\R)</math>'' 함수의 [[합성곱]] 연산 하에서 절대 적분 가능 함수의 공간 ''<math>L^1(\R)</math>''이 닫히기 때문이다. 그러나 합성곱 곱에 대한 ''<math>L^1(\R)</math>''에는 항등원이 없다. 모든 <math>f</math>에 대해 <math>f*h=f</math>인 원소 ''<math>h</math>''가 없다. 그럼에도 불구하고 수열 <math>(\eta_\varepsilon) </math>는

: <math>f*\eta_\varepsilon \to f \quad \text{as }\varepsilon\to 0.</math>

과 같은 의미에서 항등원을 근사한다. 이 극한은 [[확률 변수의 수렴|평균 수렴]]( ''<math>L^1(\R)</math>''의 수렴)의 의미에서 유지된다. <math>\eta_\varepsilon </math>에 대한 추가 조건, 예를 들어 콤팩트 지지 함수와 관련된 완화자<ref>More generally, one only needs {{개행 금지|1=''η'' = ''η''<sub>1</sub>}} to have an integrable radially symmetric decreasing rearrangement.</ref> [[거의 어디서나|거의 모든 곳에서]] 점별 수렴성을 보장하는 데 필요하다.

초기 함수 <math>\eta=\eta_1</math> 자체가 매끄럽고 콤팩트 지지인 경우 수열를 [[완화자]]라고 한다. 예를 들어, 적절하게 정규화된 [[범프 함수]]가 되도록 ''<math>\eta</math>를'' 선택하여 표준 완화자를 얻는다.

: <math>\eta(x) = \begin{cases}
e^{-\frac{1}{1-|x|^2}}& \text{if } |x| < 1\\
0           & \text{if } |x|\geq 1.
\end{cases}</math>

[[수치해석학|수치 해석학]]과 같은 일부 상황에서는 항등식에 대한 조각 선형 근사가 바람직하다. 이것은 ''<math>\eta_1</math>''을 [[삼각형함수|삼각형 함수]]로 취함으로써 얻을 수 있다. ''<math>\eta_1</math>''을 선택하면

: <math> \eta_\varepsilon(x) = \varepsilon^{-1}\max \left (1-\left|\frac{x}{\varepsilon}\right|,0 \right) </math>

매끄럽지 않고 완화자는 아니지만 모두 연속적이고 콤팩트 지지된다.

=== 확률론적 고려 사항 ===
[[확률론]]의 맥락에서 항등식에 대한 근사에서 초기 ''<math>\eta_1</math>''이 양수여야 한다는 추가 조건을 부과하는 것이 자연스럽다. 이러한 함수는 [[확률 분포]]를 나타낸다. 확률 분포가 있는 합성곱은 출력이 입력 값의 [[볼록 조합]]이므로 입력 함수의 최대값과 최소값 사이에 있기 때문에 [[오버슈트 (신호)|오버슈트]] 또는 언더슈트가 발생하지 않기 때문에 때때로 유리하다. ''<math>\eta_1</math>''을 임의의 확률 분포로 보고 위와 같이 ''<math>\eta_{\varepsilon}(x)=\eta_1(x/\varepsilon)/\varepsilon</math>'' 로 하면 항등식에 대한 근사를 얻을 수 있다. 일반적으로 ''<math>\eta</math>''의 평균이 0이고 모멘트가 작은 경우 델타 함수로 더 빠르게 수렴한다. 예를 들어, ''<math>\eta_1</math>''이 ''<math>[-1/2, 1/2]</math>''에 대한 [[연속균등분포|균등 분포]] 인 경우 [[구형함수|직사각형 함수]]라고도 한다. {{Sfn|Saichev|Woyczyński|1997}}

: <math>\eta_\varepsilon(x) = \frac{1}{\varepsilon}\operatorname{rect}\left(\frac{x}{\varepsilon}\right)=
\begin{cases}
\frac{1}{\varepsilon},&-\frac{\varepsilon}{2}<x<\frac{\varepsilon}{2}, \\
0,          &\text{otherwise}.
\end{cases}</math>

또 다른 예는 위그너 반원 분포이다.

: <math>\eta_\varepsilon(x)= \begin{cases}
\frac{2}{\pi \varepsilon^2}\sqrt{\varepsilon^2 - x^2}, & -\varepsilon < x < \varepsilon, \\
0, & \text{otherwise}.
\end{cases}</math>

이것은 연속적이고 콤팩트하게 지지되지만 부드럽지 않기 때문에 완화제가 아니다.

=== 반군 ===
초기 델타 함수는 종종 합성곱을 연산으로 하는 [[반군]]을 형성한다.<ref>{{서적 인용|url={{google books |plainurl=y |id=4U-5BQAAQBAJ}}|제목=Analytic Number Theory, Approximation Theory, and Special Functions: In Honor of Hari M. Srivastava|성=Milovanović|이름=Gradimir V.|성2=Rassias|이름2=Michael Th|날짜=2014-07-08|출판사=Springer|쪽=[{{google books |plainurl=y |id=4U-5BQAAQBAJ|page=748 }} 748]|언어=en|isbn=978-1-4939-0258-3}}</ref> 이는 ''<math>\eta_{\delta}</math>''와 <math>\eta_\varepsilon </math>의 합성곱이 충족해야 하는 추가 제약에 해당한다.

: <math>\eta_\varepsilon * \eta_\delta = \eta_{\varepsilon+\delta}</math>

모든 ''<math>\varepsilon </math>''에 대해 ''<math>\delta>0</math>''이다. 초기 델타 함수를 형성하는 ''<math>L^1 </math>''의 합성곱 반군은 항상 위의 의미에서 항등식에 대한 근사이지만 반군 조건은 상당히 강력한 제한이다.

델타 함수의 응용에서, 델타 함수를 근사하는 반군은 물리학적 동기 타원 또는 포물선 [[편미분방정식|편미분 방정식]]에 대한 기본 해 또는 [[그린 함수]]로 발생한다. 이 반군은 또한 [[선형 시불변 시스템|선형 시불변 계]] 전기 회로의 출력으로 발생한다. 추상적으로, ''A가'' ''x''의 함수에 작용하는 선형 연산자인 경우 [[초기값 문제|초기 값 문제]]를 해결하여 합성곱 반군이 발생한다.

: <math>\begin{cases}
\dfrac{\partial}{\partial t}\eta(t,x) = A\eta(t,x), \quad t>0 \\[5pt]
\displaystyle\lim_{t\to 0^+} \eta(t,x) = \delta(x)
\end{cases}</math>

여기서 극한은 일반적으로 약한 의미로 이해된다. <math>\eta_\varepsilon(x)=\eta(\epsilon,x) </math>로 설정하면 관련 초기 델타 함수가 제공된다.

이러한 기본 해에서 발생하는 물리적으로 중요한 합성곱 반군의 몇 가지 예는 다음과 같다.

; 열핵

: <math>\eta_\varepsilon(x) = \frac{1}{\sqrt{2\pi\varepsilon}} \mathrm{e}^{-\frac{x^2}{2\varepsilon}}</math>

로 정의된 [[열핵]]은 <math>t=0 </math>에서 와이어의 원점에 열 에너지 단위가 저장되어 있는 경우 시간 <math>t>0 </math>에서 무한 와이어의 온도를 나타낸다. 이 반군은 1차원 [[열 방정식]]에 따라 전개된다.

: <math>\frac{\partial u}{\partial t} = \frac{1}{2}\frac{\partial^2 u}{\partial x^2}.</math>

[[확률론|확률 이론]]에서 <math>\eta_\varepsilon(x) </math>는 [[분산]] <math>\varepsilon </math>이고 평균 0인 [[정규 분포]]이다. 물리학에서 이것은 표준 [[브라운 운동]]을 따르는 원점에서 시작하는 입자 위치의 시간 <math>t=\varepsilon </math>에서의 [[확률 밀도 함수|확률 밀도]]를 나타낼 때 쓰인다. 이 경우, 반군 조건은 브라운 운동의 [[마르코프 확률 과정|마르코프 성질]]의 표현이다.

고차원 유클리드 공간 ''<math>\mathbb{R}^n</math>''에서 열 핵은 다음과 같다.

: <math>\eta_\varepsilon = \frac{1}{(2\pi\varepsilon)^{n/2}}\mathrm{e}^{-\frac{x\cdot x}{2\varepsilon}}</math>

이는 열역학에서 약간의 수정을 거쳐 물리적 해석을 가진다. 그것은 또한 분포 의미에서 초기 델타 함수를 나타낸다.

; 푸아송 핵

[[푸아송 커널|푸아송 핵]]

: <math>\eta_\varepsilon(x) = \frac{1}{\pi}\mathrm{Im}\left\{\frac{1}{x-\mathrm{i}\varepsilon}\right\}=\frac{1}{\pi} \frac{\varepsilon}{\varepsilon^2 + x^2}=\frac{1}{2\pi}\int_{-\infty}^{\infty}\mathrm{e}^{\mathrm{i} \xi x-|\varepsilon \xi|}\,d\xi</math>

는 위쪽 절반 평면에서 [[라플라스 방정식]]의 기본 해이다.{{Sfn|Stein|Weiss|1971}} 가장자리를 따라 전위가 델타 함수에서 고정된 상태로 유지되는 반무한 판의 [[전위|정전기 전위]]를 나타낸다. 푸아송 핵은 코시 분포, Epanechnikov 및 가우스 핵 함수와도 밀접한 관련이 있다.<ref>{{서적 인용|url={{google books |plainurl=y |id=e5Y_RRPxdyYC}}|제목=Statistics in Volcanology|성=Mader|이름=Heidy M.|날짜=2006|편집자-링크=Heidy Mader|출판사=Geological Society of London|쪽=[{{google books |plainurl=y |id=e5Y_RRPxdyYC|page=81}} 81]|언어=en|isbn=978-1-86239-208-3}}</ref> 이 반군은 방정식에 따라 진화한다.

: <math>\frac{\partial u}{\partial t} = -\left (-\frac{\partial^2}{\partial x^2} \right)^{\frac{1}{2}}u(t,x)</math>

여기서 연산자는 [[푸리에 승수]]로 엄격하게 정의된다.

: <math>\mathcal{F}\left[\left(-\frac{\partial^2}{\partial x^2} \right)^{\frac{1}{2}}f\right](\xi) = |2\pi\xi|\mathcal{F}f(\xi).</math>

=== 진동 적분 ===
[[파동|파동 전파]] 및 [[파동|파동 역학]]과 같은 물리학 분야에서 관련된 방정식은 쌍곡적이므로 더 많은 특이 해를 가질 수 있다. 결과적으로 관련 [[코시 문제]]의 기본 해로 발생하는 초기 델타 함수는 일반적으로 [[진동 적분]]이다. 천음속 기체 역학의 [[오일러-트리코미 방정식|오일러-트리코미]] 방정식의 해에서 나온 예는{{Sfn|Vallée|Soares|2004}} 재조정된 [[에어리 함수]]이다.

: <math>\varepsilon^{-1/3}\operatorname{Ai}\left (x\varepsilon^{-1/3} \right). </math>

푸리에 변환을 사용하지만 이것이 어떤 의미에서 반군을 생성한다는 것을 쉽게 알 수 있다. 이는 절대적으로 적분할 수 없으므로 위의 강한 의미에서 반군을 정의할 수 없다. 진동 적분으로 구성된 많은 초기 델타 함수는 측도의 의미가 아니라 분포의 의미에서만 수렴한다(예: 아래의 [[디리클레 커널|디리클레 핵]]).

또 다른 예에는 ''<math>\mathbb{R}^{1+1}</math>''의 [[파동 방정식]]에 대한 다음과 같은 연립 편미분 방정식으로 나타나는 코시 문제가 있다.{{Sfn|Hörmander|1983}}

: <math> \begin{align}
c^{-2}\frac{\partial^2u}{\partial t^2} - \Delta u &= 0\\
u=0,\quad \frac{\partial u}{\partial t} = \delta &\qquad \text{for }t=0.
\end{align} </math>

이 연립 편미방의 해 ''<math>u </math>''는 원점에서 초기 교란이 있는 무한 탄성 용수철의 평형 상태로부터의 변위를 나타낸다.

이러한 종류의 항등식에 대한 다른 근사치에는 [[싱크함수|sinc 함수]] (전자 및 전기 통신에서 널리 사용됨)가 포함된다.

: <math>\eta_\varepsilon(x)=\frac{1}{\pi x}\sin\left(\frac{x}{\varepsilon}\right)=\frac{1}{2\pi}\int_{-\frac{1}{\varepsilon}}^{\frac{1}{\varepsilon}} \cos(kx)\,dk </math>

및 [[베셀 함수]]

: <math> \eta_\varepsilon(x) = \frac{1}{\varepsilon}J_{\frac{1}{\varepsilon}} \left(\frac{x+1}{\varepsilon}\right). </math>

=== 평면파 분해 ===
선형 편미분 방정식 연구에 대한 한 가지 접근 방식

: <math>L[u]=f</math>

(여기서 ''<math>L </math>''은 ''<math>\mathbb{R}^n</math>''에서 정의된 [[미분 연산자]]이다.)은 먼저 방정식의 해인 근본적인 해를 구하는 것이다.

: <math>L[u]=\delta.</math>

''<math>L </math>''이 특히 단순할 때 이 문제는 종종 직접 푸리에 변환을 사용하여 해결할 수 있다(이미 언급한 포아송 핵 및 열 핵의 경우처럼). 보다 어려운 연산자의 경우 다음 형식의 방정식을 먼저 고려하는 것이 더 쉬운 경우가 있다.

: <math>L[u]=h</math>

여기서 ''h''는 평면 파동 함수이며, 어떤 벡터 ξ에 대해

: <math>h = h(x\cdot\xi)</math>

가 성립함을 의미한다. 이러한 방정식은 (''<math>L </math>''의 계수가 [[해석 함수]]인 경우) [[코시-코발렙스카야 정리|코시–코발렙스카야 정리]] 또는 ( ''<math>L </math>''의 계수가 상수 함수인 경우) 구적법으로 풀 수 있다. 따라서 델타 함수를 평면파로 분해할 수 있으면 원칙적으로 선형 편미분 방정식을 풀 수 있다.

델타 함수를 평면파로 분해하는 것은 [[요한 라돈]]이 처음 도입한 일반적인 기술의 일부였으며 프리츠 존 ([[디랙 델타 함수|1955]])이 이 형태로 개발했다. {{개행 금지|''n'' + ''k''}} 짝수 정수가 되도록 ''k를'' 선택하고 실수 ''s'' 에 대해 {{Sfn|Courant|Hilbert|1962}}

: <math>g(s) = \operatorname{Re}\left[\frac{-s^k\log(-is)}{k!(2\pi i)^n}\right]
=\begin{cases}
\frac{|s|^k}{4k!(2\pi i)^{n-1}}  &n \text{ odd}\\[5pt]
-\frac{|s|^k\log|s|}{k!(2\pi i)^n}&n \text{ even.}
\end{cases}</math>

로 둔다. 그러면 ''<math>\delta </math>는'' [[단위구|단위 구]] ''<math>S^{n-1} </math>''에서 ''<math>\xi </math>''에 대한 ''<math>g(x\cdot\xi) </math>''의 단위 구 측도 ''<math>d\omega </math>''에 대한 적분에 [[라플라스 연산자|라플라시안]]의 거듭제곱을 적용하여 구한다.

: <math>\delta(x) = \Delta_x^{(n+k)/2} \int_{S^{n-1}} g(x\cdot\xi)\,d\omega_\xi.</math>

여기서 라플라시안은 약한 도함수로 해석되므로 이 방정식은 모든 시험 함수 ''<math>\varphi </math>''에 대해 다음을 의미하는 것으로 본다.

: <math>\varphi(x) = \int_{\mathbf{R}^n}\varphi(y)\,dy\,\Delta_x^{\frac{n+k}{2}} \int_{S^{n-1}} g((x-y)\cdot\xi)\,d\omega_\xi.</math>

이 결과는 푸아송 방정식의 기본 해인 뉴턴 포텐셜에 대한 공식에서 따른다. 이것은 초평면에 대한 적분에서 ''<math>\varphi(x) </math>''의 값을 복구하기 때문에 본질적으로 라돈 변환 에 대한 반전 공식의 한 형태이다. 예를 들어, ''<math>n </math>''이 홀수이고 ''<math>k=1 </math>''이면 우변의 적분은 다음과 같다.

: <math>
\begin{align}
& c_n \Delta^{\frac{n+1}{2}}_x\iint_{S^{n-1}} \varphi(y)|(y-x) \cdot \xi| \, d\omega_\xi \, dy \\[5pt]
= {} & c_n \Delta^{(n+1)/2}_x \int_{S^{n-1}} \, d\omega_\xi \int_{-\infty}^\infty |p| R\varphi(\xi,p+x\cdot\xi)\,dp
\end{align}
</math>

여기서 ''<math>R\varphi(\xi,p) </math>''는 ''<math>\varphi </math>''의 라돈 변환이다.

: <math>R\varphi(\xi,p) = \int_{x\cdot\xi=p} f(x)\,d^{n-1}x.</math>

{{하버드 인용 본문|Gelfand|Shilov|1966–1968|loc=I, §3.10}}의 평면파 분해에 대한 대안적인 등가 표현은 다음과 같다.

: <math>\delta(x) = \frac{(n-1)!}{(2\pi i)^n}\int_{S^{n-1}}(x\cdot\xi)^{-n} \, d\omega_\xi</math>

''<math>n </math>''이 짝수인 경우

: <math>\delta(x) = \frac{1}{2(2\pi i)^{n-1}}\int_{S^{n-1}}\delta^{(n-1)}(x\cdot\xi)\,d\omega_\xi</math>

''<math>n </math>'' 홀수.

=== 푸리에 핵 ===
[[푸리에 급수]] 연구에서 주요 질문은 [[주기함수|주기 함수]]와 관련된 푸리에 급수가 함수로 수렴하는지 여부와 어떤 의미에서 결정하는 것으로 구성된다. 주기 ''<math>2\pi </math>''의 함수 ''<math>f </math>'' 의 푸리에 급수의 ''<math>n </math>'' 번째 부분 합은 디리클레 핵을 사용하여 합성곱(구간 ''<math>[-\pi,\pi] </math>''에서)으로 정의된다.

: <math>D_N(x) = \sum_{n=-N}^N e^{inx} = \frac{\sin\left(\left(N+\frac12\right)x\right)}{\sin(x/2)}.</math>

따라서,

: <math>s_N(f)(x) = D_N*f(x) = \sum_{n=-N}^N a_n e^{inx}</math>

여기서

: <math>a_n = \frac{1}{2\pi}\int_{-\pi}^\pi f(y)e^{-iny}\,dy.</math>

기본 푸리에 급수의 기본 결과는 디리클레 핵이 ''<math>[-\pi,\pi] </math>''으로 제한됨을 나타낸다.&nbsp; ''<math>N\rightarrow\infty </math>''로 델타 함수의 배수가 되는 경향이 있다. 이것은 분포의 의미로 해석된다. 즉, 콤팩트하게 지지되는 모든 ''매끄러운'' 함수 ''<math>f </math>''에 대해

: <math>s_N(f)(0) = \int_{-\pi}^{\pi} D_N(x)f(x)\,dx \to 2\pi f(0).</math>

따라서 공식적으로

: <math>\delta(x) = \frac1{2\pi} \sum_{n=-\infty}^\infty e^{inx}</math>

그럼에도 불구하고 결과는 컴팩트 지지되는 모든 ''연속'' 함수에 대해 유지되지 않는다. 즉, ''<math>D_N </math>''은 측도의 의미에서 약하게 수렴하지 않는다. 푸리에 급수의 수렴 부족으로 인해 수렴을 생성하기 위한 다양한 [[발산 급수|합산 가능 방법]]이 도입되었다. Cesàro 합산 방법은 Fejér 커널로 이어진다 {{Sfn|Lang|1997}}

: <math>F_N(x) = \frac1N\sum_{n=0}^{N-1} D_n(x) = \frac{1}{N}\left(\frac{\sin \frac{Nx}{2}}{\sin \frac{x}{2}}\right)^2.</math>

[[Fejér 커널]]은<ref>In the terminology of {{하버드 인용 본문|Lang|1997}}, the Fejér kernel is a Dirac sequence, whereas the Dirichlet kernel is not.</ref> 콤팩트하게 지지되는 모든 연속 함수 ''<math>f </math>''에 대해

: <math>\int_{-\pi}^{\pi} F_N(x)f(x)\,dx \to 2\pi f(0).</math>

이는 모든 연속 함수의 푸리에 급수는 모든 점에서 함수 값으로 합산할 수 있다는 의미이다.

=== 힐베르트 공간론 ===
디랙 델타 분포는 [[제곱 적분 기능|제곱 적분 가능 함수]]의 [[힐베르트 공간]] <math>L^2</math>에서 [[조밀하게 정의됨|조밀하게 정의]]된 [[무제한 연산자|무한]] [[선형 기능|선형 형식]]이다. 실제로 매끄럽고 콤팩트하게 지지되는 함수는 <math>L^2</math>에서 [[조밀 집합|조밀]]하며 이러한 함수에 대한 델타 분포의 작용은 잘 정의되어 있다. 많은 응용에서 <math>L^2</math>의 부분 공간을 식별하고 델타 함수가 [[유계 작용소|유계 선형 범함수]]를 정의하는 더 강력한 [[위상수학|위상]]을 제공하는 것이 가능하다.

; 소볼레프 공간

'''<math>\R</math>'''의 [[소볼레프 공간]]에 대한 [[소볼레프 부등식|소볼레프 매장 정리]]는 다음과 같은 모든 제곱 적분 가능 함수 ''<math>f </math>''를 의미한다.

: <math>\|f\|_{H^1}^2 = \int_{-\infty}^\infty |\widehat{f}(\xi)|^2 (1+|\xi|^2)\,d\xi < \infty</math>

이는 자동으로 연속적이며 특히 다음을 만족한다.

: <math>\delta[f]=|f(0)| < C \|f\|_{H^1}.</math>

따라서 ''<math>\delta </math>''는 소볼레프 공간 <math>H^1</math>에서 유계 선형 함수이다. 동등하게 ''<math>\delta </math>''는 <math>H^1</math>의 연속 쌍대 공간 <math>H^{-1}</math>의 원소이다. 보다 일반적으로, ''n'' 차원에서, ''<math>s>n/2 </math>'' 일 때 <math>\delta\in H^{-s}(\R^n)</math>이다.

==== 정칙 함수의 공간 ====
[[복소해석학|복소 해석학]]에서 델타 함수는 [[코시 적분 공식|코시의 적분 공식]]을 통해 들어간다. 이 공식은 ''<math>D</math>''가 매끄러운 경계를 갖는 [[복소평면|복소 평면]]의 영역이면, ''<math>D</math>''의 폐포에서 연속적인 ''<math>D</math>''의 모든 [[정칙 함수]] ''<math>f </math>''에 대해

: <math>f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z},\quad z\in D</math>

이다. 결과적으로, 델타 함수 ''<math>\delta_z</math>''는 코시 적분에 의해 이 정칙 함수류로 표현된다.

: <math>\delta_z[f] = f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z}.</math>

또한, ''<math>H^2(\partial D)</math>''를 ''<math>D</math>''의 경계까지 연속되는 ''<math>D</math>''의 모든 정칙 함수의 ''<math>L^2(\partial D)</math>''의 폐포로 구성된 [[하디 공간]]이라고 하자. 그러면 ''<math>H^2(\partial D)</math>''의 함수는 ''<math>D</math>''에서 정의된 정칙 함수로 유일하게 확장되고, 코시 적분 공식은 여전히 성립한다. 특히 ''<math>z\in D</math>''의 경우 델타 함수 ''<math>\delta_z</math>''는''<math>H^2(\partial D)</math>''에 대한 연속 선형 함수이다. 이것은 매끄러운 [[영역 (해석학)|영역]] ''<math>D</math>''에 대해 [[Szegő 커널|Szegő 핵]]이 코시 적분의 역할을 하는 [[다변수 복소함수|다변수 복소 함수]]의 특수한 경우이다. {{Sfn|Hazewinkel|1995}}

==== Resolutions of the identity ====
분리 가능한 힐베르트 공간에서 함수의 완전한 직교 [[정규 직교 기저|정규 기저]] ''<math>\{\varphi_n\}</math>''이 주어지면, 예를 들어 콤팩트 자기수반 연산자의 정규화된 [[고윳값과 고유 벡터|고유 벡터]]가 주어지면 모든 벡터 ''<math>f </math>는'' 다음과 같이 표현될 수 있다.

: <math>f = \sum_{n=1}^\infty \alpha_n \varphi_n. </math>

계수 ''<math>\{\alpha_n\}</math>''는 다음과 같이 구한다.

: <math>\alpha_n = \langle \varphi_n, f \rangle,</math>

다음 표기법으로 나타낼 수 있다.

: <math>\alpha_n = \varphi_n^\dagger f, </math>

디랙의 [[브라-켓 표기법|브라켓 표기법]]의 한 형태.<ref>
The development of this section in bra–ket notation is found in {{하버드 인용|Levin|2002}}</ref> 이 표기법을 채택하면 ''<math>f </math>''의 확장은 이항 형식을 취한다. {{Sfn|Davis|Thomson|2000}}

: <math>f = \sum_{n=1}^\infty \varphi_n \left ( \varphi_n^\dagger f \right). </math>

''<math>I</math>''가 힐베르트 공간에서 [[항등 함수|항등 연산자]]를 나타내도록 하면 다음 식

: <math>I = \sum_{n=1}^\infty \varphi_n \varphi_n^\dagger, </math>

은 [[:en:Borel_functional_calculus#Resolution_of_the_identity|resolution of the identity]]이라고 한다. 힐베르트 공간이 영역 ''<math>D</math>''에서 제곱 적분 가능 함수의 공간 ''<math>L^2(D) </math>''인 경우,

: <math>\varphi_n \varphi_n^\dagger </math>

는 적분 연산자이며 ''<math>f </math>''에 대한 표현식은 다음과 같이 다시 쓸 수 있다.

: <math>f(x) = \sum_{n=1}^\infty \int_D\, \left( \varphi_n (x) \varphi_n^*(\xi)\right) f(\xi) \, d \xi.</math>

우변은 공간 ''<math>L^2 </math>''에서 ''<math>f </math>''로 수렴한다. ''<math>f </math>''가 연속 함수인 경우에도 점별의 의미로 유지될 필요는 없다. 그럼에도 불구하고 표기법을 남용하고 쓰는 것이 일반적이다.

: <math>\int_{-\pi}^{\pi} F_N(x)f(x)\,dx \to 2\pi f(0)</math>

델타 함수의 표현 결과: {{Sfn|Davis|Thomson|2000}}

: <math>\delta(x-\xi) = \sum_{n=1}^\infty \varphi_n (x) \varphi_n^*(\xi). </math>

<math>\Phi\subset L^2(D)</math>가 모든 콤팩트 지지 매끄러운 함수를 포함하는 적절한 갖춘 힐베르트 공간 <math>(\Phi, L^2(D),\Phi^*)</math>을 사용하면 이 합은 기저 <math>\{\varphi_n\}</math>의 성질에 따라 <math>\Phi^*</math>로 수렴할 수 있다. 실질적인 관심의 대부분의 경우 정규 직교 기저는 적분 또는 미분 연산자에서 나오며, 이 경우 급수는 [[분포 (해석학)|분포]]의 의미에서 수렴한다.{{Sfn|de la Madrid|Bohm|Gadella|2002}}

=== 무한 델타 함수 ===
[[오귀스탱 루이 코시|코시]]는 무한소 ''<math>\alpha</math>''를 사용하여 단위 충격를 기록하고 무한히 크고 좁은 디랙 유형 델타 함수 ''<math>\delta_{\alpha}</math>''를 만족한다 <math display="inline">\int F(x)\delta_\alpha(x) \,dx = F(0)</math> 코시는 ''Cours d'Analyse'' ( {{Sfn|Laugwitz|1989}} )에서 0에 가까운 수열로 무한소를 정의했다. 즉, 이러한 null 수열는 코시와 [[라자르 카르노]]의 용어로는 무한소가 된다.

[[비표준 해석학]]을 통해 무한소를 엄격하게 정의할 수 있다. {{하버드 인용 본문|Yamashita|2007}}의 논문에는 [[초실수]]가 제공하는 무한소가 풍부한 연속체의 맥락에서 현대 디랙 델타 함수에 대한 참고 문헌이 포함되어 있다. [[비표준 해석학]]에서는, 푸리에와 코시가 예상한 대로, 디랙 델타가 모든 실함수 <math>F</math>에 대해 <math display="inline">\int F(x)\delta_\alpha(x) \, dx = F(0)</math>과 같은 성질을 갖는 함수로 정의될 수 있다.

== 델타 함수의 도함수 ==
델타 분포의 도함수 <math>\delta^\prime</math>는 콤팩트 지지 매끄러운 시험 함수 <math>\varphi</math>에서 정의된다.  {{Sfn|Gelfand|Shilov|1966–1968}}

: <math>\delta'[\varphi] = -\delta[\varphi']=-\varphi'(0).</math>

여기서 첫 번째 등식은 부분 적분의 일종이다. <math>\delta</math>가 진정한 함수이면

: <math>\int_{-\infty}^\infty \delta'(x)\varphi(x)\,dx = -\int_{-\infty}^\infty \delta(x) \varphi'(x)\,dx.</math>

<math>\delta</math>의 <math>k</math>계 도함수에 의해 시험 함수에 주어진 분포와 유사하게 정의된다.

: <math>\delta^{(k)}[\varphi] = (-1)^k \varphi^{(k)}(0).</math>

특히, <math>\delta</math>는 무한번 미분 가능한 분포이다.

델타 함수의 1차 도함수는 차분 몫{{Sfn|Gelfand|Shilov|1966–1968}}의 분포 극한이다

: <math>\delta'(x) = \lim_{h\to 0} \frac{\delta(x+h)-\delta(x)}{h}.</math>

더 적절하게는

: <math>\delta' = \lim_{h\to 0} \frac{1}{h}(\tau_h\delta - \delta)</math>

이 성립한다. 여기서 <math>\tau_h</math>는 <math>\tau_h \varphi(x) = \varphi(x + h)</math>로 함수 대해 정의되고 분포 <math>S</math>애 대해

: <math>(\tau_h S)[\varphi] = S[\tau_{-h}\varphi]</math>

로 정의된 옮김 연산자이다. [[전자기학|전자기]] 이론에서 델타 함수의 1차 도함수는 원점에 위치한 점 자기 [[쌍극자]]를 나타낸다. 따라서 쌍극자 또는 이중선 함수라고 한다.<ref>{{매스월드|제목=Doublet Function}}</ref>

델타 함수의 도함수는 다음과 같은 여러 가지 기본 성질을 충족한다.{{Sfn|Bracewell|2000}}

: <math>
\begin{align}
& \delta'(-x) = -\delta'(x) \\
& x\delta'(x) = -\delta(x)
\end{align}
</math>

이 성질은 시험 함수 적용과 부분 적분으로 보일 수 있다.

이러한 성질 중 후자는 분포 도함수 정의, 라이프니츠의 정리 및 내적의 선형성을 적용하여 증명할 수도 있다.<ref>{{웹 인용|url=https://www.matematicamente.it/forum/viewtopic.php?f=36&t=62388&start=10#wrap|제목=Gugo82's comment on the distributional derivative of Dirac's delta|날짜=12 September 2010|웹사이트=matematicamente.it}}</ref><math display="block">
\begin{align}
\langle x\delta', \varphi \rangle \, &= \, \langle \delta', x\varphi \rangle \, = \, -\langle\delta,(x\varphi)'\rangle \, = \, - \langle \delta, x'\varphi + x\varphi'\rangle \, = \, - \langle \delta, x'\varphi\rangle - \langle\delta, x\varphi'\rangle \, = \,
- x'(0)\varphi(0) - x(0)\varphi'(0) \\
&= \, -x'(0) \langle \delta, \varphi \rangle - x(0) \langle \delta, \varphi' \rangle \, = \, -x'(0) \langle \delta,\varphi\rangle + x(0) \langle \delta', \varphi \rangle \, = \,
\langle x(0)\delta' - x'(0)\delta, \varphi \rangle \\
\Longrightarrow x(t)\delta'(t) &= x(0)\delta'(t) - x'(0)\delta(t) = -x'(0)\delta(t) = -\delta(t)
\end{align}
</math>또한, <math>\delta'</math>의 합성곱은 콤팩트 지지되는 매끄러운 함수 <math>f</math>이다.

: <math>\delta'*f = \delta*f' = f',</math>

합성곱의 분포 도함수의 성질을 따른다.

=== 고차원 ===
더 일반적으로 <math>n</math>-차원 [[유클리드 공간]] <math>\mathbb{R}^n</math>의 [[열린집합|열린 부분 집합]] <math>U</math>에서 에서 한 점 <math>a \in U</math>을 중심으로 하는 디랙 델타 분포는{{Sfn|Hörmander|1983}} 모든 <math>\varphi \in C_c^\infty(U)</math>에 대해

: <math>\delta_a[\varphi]=\varphi(a)\quad \forall \varphi \in C_c^\infty(U)</math>

로 정의된다. 여기서 <math>C_c^\infty(U)</math>는 <math>U</math>에서 정의된 모든 콤팩트 지지 매끄러운 함수들이 이루는 공간이다. 만약에 <math>\alpha = (\alpha_1, \ldots, \alpha_n)</math>가 <math> |\alpha|=\alpha_1+\cdots+\alpha_n</math>인 [[다중지표]]이고 <math>\partial^\alpha</math>는 연관된 혼합 [[편미분|편도]] 함수 연산자를 나타내면 <math>\delta_a</math>의 <math>\alpha</math>계 미분 <math>\partial^\alpha \delta_a</math>은 {{Sfn|Hörmander|1983}}

: <math>\left\langle \partial^\alpha \delta_{a}, \, \varphi \right\rangle = (-1)^{| \alpha |} \left\langle \delta_{a}, \partial^{\alpha} \varphi \right\rangle = (-1)^{| \alpha |} \partial^\alpha \varphi (x) \Big|_{x = a} \quad \forall \varphi \in C_c^\infty(U).</math>

즉, <math>\delta_a</math>의 <math>\alpha</math>계 도함수는 시험 함수 <math>\varphi</math>에 값이 있는 분포는 <math>a</math>에서 <math>\varphi</math>의 <math>\alpha</math>계 도함수이다.

델타 함수의 1차 부분 도함수는 좌표 평면을 따라 이중 레이어로 간주된다. 보다 일반적으로, 곡면에 지지된 단순 레이어의 방향 도함수는 해당 곡면에 지지된 이중 레이어이며 층류 자기 홀극을 나타낸다. 델타 함수의 고계 도함수는 물리학에서 [[다중극 전개|다극자]]로 알려져 있다.

더 높은 계수인 도함수는 한 점 지지가 있는 분포의 전체 구조를 위한 구성 원소로 자연스럽게 등장한다. 만약에 <math>S</math>가 <math>U</math>에서 정의되었고 단일 점으로 구성된 지지 집합 <math>\{ a \}</math>을 가진 분포이면,  어떤 정수 <math>m</math> 및 계수들 <math>c_\alpha</math>에 대해 {{Sfn|Hörmander|1983}} {{Sfn|Rudin|1991}}

: <math>S = \sum_{|\alpha|\le m} c_\alpha \partial^\alpha\delta_a.</math>

== 성질 요약 ==
아래 성질들은 등식의 양쪽에 "적절한" 함수 <math>f(x)</math>를 곱하여 증명할 수 있다. 델타 함수가 적분 내부에 있는 경우를 제외하고는 최종 결과의 일부가 될 수 없다는 점을 염두에 두고 정적분을 적용한다.

* <math>\delta(x)=\delta(-x)\,\!</math>
* <math>f(x)\delta'(x)=-f'(x)\delta(x)\,\!</math> 의미 <math> x \delta'(x)=-\delta(x)\,\!</math>
* <math>\delta'(x)=-\delta'(-x)\,\!</math>
* <math>x^n\delta(x)=0 \qquad \forall n>0, x\in\mathbb{R}\,\!</math>
* <math>(x-a)^n\delta(x-a)=0 \qquad \forall n>0\,\!</math>
* <math>\delta(ax-b)=|a|^{-1}\delta(x-(b/a)) \qquad \forall a \ne 0\,\!</math>
* <math>h(x)\delta(x-a)=h(a)\delta(x-a)\,\!</math>
* <math>h(x)\delta'(x-a) = h(a)\delta'(x-a)-h'(a)\delta(x-a)\,</math>
* <math>\delta(f(x)) = \sum_n |f'(x_n)|^{-1}\delta(x-x_n), \quad \mbox{with}\ f(x_n)=0,\ f'(x_n)\ne 0</math>
* <math>\delta\left(x^2-\alpha^2\right) = \frac{1}{2|\alpha|} \Big[\delta\left(x+\alpha\right)+\delta\left(x-\alpha\right)\Big]</math>
* <math>\delta(\omega) = \frac{1}{2\pi} \int_{-\infty}^{+\infty} e^{i\omega t}dt</math>
* <math>\delta(x)</math>는 <math>C^{-2}(\R)</math>에 속한다.
* <math>a\in\mathbb{R}:\,\int h(x)\delta(x-a)dx = h(a)\ H(x-a) +C</math> 여기서 <math>H(x)</math>는 [[단위 계단 함수|헤비사이드 단계 함수]]이고 <math>C</math>는 적분 상수이다.

구면 좌표계에서는 다음과 같다.

: <math>\delta(\mathbf{r}-\mathbf{r}_0)
= 
\begin{cases}
  \displaystyle\frac{1}{r^2\sin\theta}\delta(r-r_0) \delta(\theta-\theta_0)\delta(\phi-\phi_0)& x_0,y_0,z_0 \ne 0 \\
  \displaystyle\frac{1}{2\pi r^2\sin\theta}\delta(r-r_0) \delta(\theta-\theta_0)& x_0=y_0=0,\ z_0 \ne 0 \\ 
  \displaystyle\frac{1}{4\pi r^2}\delta(r-r_0) & x_0=y_0=z_0 = 0
\end{cases}</math>

== 디랙 빗 ==
[[파일:Dirac_comb.svg|섬네일| 디랙 빗은 ''T''  간격을 둔 무한한 일련의 디랙 델타 함수이다.]]
디랙 빗 또는 [[Ш|샤]] 분포로 알려진 디랙 델타 측도의 소위 균일한 "펄스 트레인"은 [[디지털 신호 처리]] (DSP) 및 이산 시간 신호 해석학에 자주 사용되는 [[표본화|샘플링]] 함수를 생성한다. 디랙 빗은 [[급수 (수학)|무한 합]]으로 주어지며, 그 극한은 분포 의미에서 이해된다.

: <math>\operatorname{III}(x) = \sum_{n=-\infty}^\infty \delta(x-n),</math>

이는 각 정수에서 점 질량의 수열이다.

전체 정규화 상수까지 디랙 빗은 자체 푸리에 변환과 동일하다. 이것은 중요하다. <math>f</math>가 임의의 [[슈바르츠 공간|슈바르츠 함수]]인 경우 <math>f</math>의 주기화는 다음과 같이 합성곱에 의해 주어진다.

: <math>\int_{-\pi}^{\pi} F_N(x)f(x)\,dx \to 2\pi f(0)</math>

특히,

: <math>\int_{-\pi}^{\pi} F_N(x)f(x)\,dx \to 2\pi f(0)</math>

는 정확히 포아송 합 공식이다. {{Sfn|Córdoba|1988}} {{Sfn|Hörmander|1983}} 보다 일반적으로, 이 공식은 다음과 같은 경우에 참이다. <math>f</math>가 빠른 하강의 완화된 분포 또는 동등하게 다음과 같은 경우 <math>\widehat{f}</math>는 조절 분포 공간 내에서 천천히 성장하는 일반적인 함수이다.

== 소호츠키-플레멜리 정리 ==
양자 역학에서 중요한 [[소호츠키-플레멜리 정리|소호스키-플레멜리 정리]]는 델타 함수를 분포 <math>\operatorname{p.v.}1/x</math>와 관련시킨다. 함수 <math>1/x</math>의 [[코시 주요값|코시 주요 값]]으로 다음과 같이 정의된다.

: <math>\left\langle\operatorname{p.v.}\frac{1}{x}, \varphi\right\rangle = \lim_{\varepsilon\to 0^+}\int_{|x|>\varepsilon} \frac{\varphi(x)}{x}\,dx.</math>

소호스키의 공식은 {{Sfn|Vladimirov|1971}}

: <math>\lim_{\varepsilon\to 0^+} \frac{1}{x\pm i\varepsilon} = \operatorname{p.v.}\frac{1}{x} \mp i\pi\delta(x),</math>

여기서 극한은 분포 의미에서 이해되며, 모든 콤팩트 지지 매끄러운 함수 <math>f</math>에 대해

: <math>\lim_{\varepsilon\to 0^+} \int_{-\infty}^\infty\frac{f(x)}{x\pm i\varepsilon}\,dx = \mp i\pi f(0) + \lim_{\varepsilon\to 0^+} \int_{|x|>\varepsilon}\frac{f(x)}{x}\,dx.</math>

== 응용 ==
=== 확률론 ===
[[확률론]] 및 [[통계학|통계]]에서 디랙 델타 함수는 [[확률 밀도 함수]] (일반적으로 절대 [[확률 분포|연속]] 분포를 나타내는 데 사용됨)를 사용하여 [[확률 분포|이산 분포]] 또는 부분적으로 이산 부분적으로 연속적인 분포를 나타내는 데 자주 사용된다. 예를 들어, 점 ''<math>\mathbf x=\{x_1,\dots,x_n\}</math>''으로 구성된 이산 분포의 확률 밀도 함수 <math>f(x)</math>는 해당 확률 ''<math>p_1,\dots,p_n</math>''과 함께 다음과 같이 쓸 수 있다.

: <math>f(x) = \sum_{i=1}^n p_i \delta(x-x_i).</math>

또 다른 예로, 시간의 6/10은 표준 [[정규 분포]]를 반환하고 시간의 4/10은 정확히 값 3.5를 반환하는 분포를 고려한다(즉, 부분적으로 연속적이고 부분적으로 이산 혼합 분포). 이 분포의 밀도 함수는 다음과 같이 쓸 수 있다.

: <math>f(x) = 0.6 \, \frac {1}{\sqrt{2\pi}} e^{-\frac{x^2}{2}} + 0.4 \, \delta(x-3.5).</math>

델타 함수는 또한 연속적으로 미분 가능한 함수로 변환되는 무작위 변수의 결과 확률 밀도 함수를 나타내는 데 사용된다. ''<math>Y=g(x)</math>''가 연속 미분 가능 함수이면 ''<math>Y</math>''의 밀도는 다음과 같이 쓸 수 있다.

: <math>f_Y(y) = \int_{-\infty}^{+\infty} f_X(x) \delta(y-g(x)) d x. </math>

델타 함수는 [[확산 과정]]의 [[현지 시간(수학)|국소 시간]]을 나타내기 위해 완전히 다른 방식으로 사용된다(예: [[브라운 운동]]). 확률과정 ''<math>B(t)</math>''의 국소 시간은 다음과 같이 지정된다.

: <math>\ell(x,t) = \int_0^t \delta(x-B(s))\,ds</math>

이는 과정 범위의 ''x'' 지점에서 과정이 소비하는 시간을 나타낸다. 보다 정확하게는 한 차원에서 이 적분은 다음과 같이 쓸 수 있다.

: <math>\ell(x,t) = \lim_{\varepsilon\to 0^+}\frac{1}{2\varepsilon}\int_0^t \mathbf{1}_{[x-\varepsilon,x+\varepsilon]}(B(s))\,ds</math>

여기서 <math>\mathbf1_{[x-\varepsilon, x+\varepsilon]}</math>는 구간 <math>[x-\varepsilon, x+\varepsilon]</math>의 [[지시 함수]]이다.

=== 양자 역학 ===
델타 함수는 [[양자역학|양자 역학]]에서 자주 쓰인다. 입자의 [[파동 함수]]로부터 주어진 공간 영역 내에서 입자를 찾을 확률 진폭을 계산한다. 파동 함수는 제곱 적분 함수의 힐베르트 공간 <math>L^2</math>의 원소로 가정하고 주어진 구간 내에서 입자를 발견할 총 확률은 구간에 대해 제곱한 파동 함수의 크기의 적분이다. 파동 함수의 집합 <math>\{|\varphi_n\rangle\}</math>이

: <math>\langle\varphi_n \mid \varphi_m\rangle = \delta_{nm}</math>

의해 정규화되는 경우 정규 직교라고 한다. 여기서 <math>\delta</math>는 크로네커 델타이다. 정규 직교 파동 함수는 어떤 파동 함수 <math>|\psi\rangle </math>라도

: <math> \psi = \sum c_n \varphi_n </math>

와 같이 복소수 계수 사용해 <math>\{|\varphi_n\rangle\}</math>의 원소들의 선형 조합으로 표현할 수 있으면 <math>\{|\varphi_n\rangle\}</math>가 제곱 적분 함수 공간에서 완비라고 한다. 여기서 <math> c_n = \langle \varphi_n | \psi \rangle </math>이다. 파동 함수의 완비 직교 정규 계는 고유값이라고 하는 에너지 수준을 측정하는 양자 역학에서 [[해밀토니언 (양자역학)|해밀턴]] (바운드 계의) 고유 함수로 자연스럽게 나타난다. 이 경우 고유값 집합은 해밀토니안의 [[스펙트럼]]으로 알려져 있다. [[브라-켓 표기법]]에서 [[디랙 델타 함수|위와]] 같이 이 같음은 resolution of the identity를 의미한다.

: <math>I = \sum |\varphi_n\rangle\langle\varphi_n|.</math>

여기서 고유값은 이산적이라고 가정하지만 어떤 [[관측가능량]]의 고유값 집합은 연속적일 수 있다. 예를 들어 위치 관측가능량 <math>Q\psi(x)=x\psi(x)</math>있다. 위치의 스펙트럼(1차원)은 실수 전체이며 이 경우 연속 스펙트럼 이라고 한다. 그러나 해밀토니언과 달리 위치 연산자에는 적절한 고유 함수가 없다. 이 단점을 극복하는 기존의 방법은, 파동 함수로 분포도 허용하여 사용 가능한 함수의 범위를 확장하는 것이다. 즉, 양자역학의 힐베르트 공간을 적절한 [[조작된 힐베르트 공간|갖춘 힐베르트 공간]]으로 대체하는 것이다. 이 {{Sfn|Isham|1995}}에서 위치 연산자는 다음과 같이 주어진 실선의 점 ''<math>y</math>''로 레이블이 지정된 완전한 고유 분포 집합을 갖는다.

: <math>\varphi_y(x) = \delta(x-y).</math>

위치 연산자의 고유 함수는 <math>\varphi_y = |y\rangle</math>과 같이 표시된다. 이는 디랙 표기법에서 위치 고유 상태로 알려져 있다.

<math>P</math>의 스펙트럼이 연속적이고 축퇴 고유값이 없는 경우 모멘텀 연산자의 고유 상태 또는 힐베르트 공간의 다른 자체 자기 수반 [[무제한 연산자|무한 연산자]] <math>P</math>에도 유사한 고려 사항이 적용된다. 이 경우 실수(스펙트럼)의 집합 <math>\Omega</math>과 <math>\Omega</math>의 원소로 이름 붙여진 분포의 모음 <math>\varphi_y</math>가 있다.

: <math>P\varphi_y = y\varphi_y.</math>

즉, <math>\varphi_y</math>는 <math>P</math>의 고유 벡터이다. 고유 벡터를 정규화하면

: <math>\langle \varphi_y,\varphi_{y'}\rangle = \delta(y-y')</math>

분포 의미에서 모든 시험 함수 ψ에 대해

: <math> \psi(x) = \int_\Omega c(y) \varphi_y(x) \, dy</math>

여기서

: <math>c(y) = \langle \psi, \varphi_y \rangle.</math>

즉, 불연속적인 경우와 마찬가지로 resolution of identity이 있다.

: <math>I = \int_\Omega |\varphi_y\rangle\, \langle\varphi_y|\,dy</math>

여기서 연산자 값 적분은 약한 의미로 다시 이해된다. <math>P</math>의 스펙트럼에 연속 부분과 불연속 부분이 모두 있는 경우 항등식 분해능은 불연속 스펙트럼에 대한 합산 ''과'' 연속 스펙트럼에 대한 적분을 포함한다.

델타 함수는 또한 단일 및 이중 포텐셜 우물에 대한 [[델타 전위|델타 퍼텐셜]] 모델과 같은 양자 역학에서 더 많은 특수 응용 분야를 가지고 있다.

=== 구조 역학 ===
델타 함수는 [[구조역학|구조 역학]]에서 구조에 작용하는 과도 하중 또는 점하중을 설명하는 데 사용할 수 있다. 시간 <math>t=0</math>에서 급격한 힘 [[충격량|충격]] ''<math>I</math>''에 의해 여기된 단순 [[조화 진동자|질량-스프링 계]]의 지배 방정식은 다음과 같이 쓸 수 있다.

: <math>m \frac{\mathrm{d}^2 \xi}{\mathrm{d} t^2} + k \xi = I \delta(t),</math>

여기서 ''<math>m</math>''은 질량, ''<math>\xi</math>''는 처짐, ''k는'' [[훅의 법칙|스프링 상수]]이다.

또 다른 예로서, 가는 [[들보|빔]]의 정적 편향을 지배하는 방정식은 오일러-베르누일리 이론에 따라 다음과 같다.

: <math>EI \frac{\mathrm{d}^4 w}{\mathrm{d} x^4} = q(x),</math>

여기서 ''<math>EI</math>''는 빔의 굽힘 강성, ''<math>w</math>''는 처짐, ''<math>x</math>''는 공간 좌표, ''<math>q(x)</math>''는 하중 분포이다. 빔이 ''<math>x=x_0</math>''에서 점력 ''<math>F</math>''에 의해 하중을 받는 경우 하중 분포는 다음과 같이 기록된다.

: <math>q(x) = F \delta(x-x_0).</math>

델타 함수의 적분으로 [[단위 계단 함수|헤비사이드 계단 함수]]가 생성되므로 다중 점하중이 가해지는 얇은 빔의 정적 편향은 조각별 [[다항식]] 집합으로 설명된다.

또한 빔에 작용하는 점 모멘트는 델타 함수로 설명할 수 있다. 거리 ''<math>d</math>'' 떨어져 있는 두 개의 반대 지점 힘 <math>F</math>를 고려하십시오. 그런 다음 빔에 작용하는 모멘트 <math>M=Fd</math>''를'' 생성한다. 이제 <math>M</math>이 일정하게 유지되는 동안 거리 ''<math>d</math>''가 [[함수의 극한|극한]] 0에 접근하도록 한다. ''<math>x=0</math>''에서 작용하는 시계 방향 모멘트를 가정한 하중 분포는 다음과 같이 작성된다.

: <math>\begin{align}
q(x) &= \lim_{d \to 0} \Big( F \delta(x) - F \delta(x-d) \Big) \\[4pt]
&= \lim_{d \to 0} \left( \frac{M}{d} \delta(x) - \frac{M}{d} \delta(x-d) \right) \\[4pt]
&= M \lim_{d \to 0} \frac{\delta(x) - \delta(x - d)}{d}\\[4pt]
&= M \delta'(x).
\end{align}</math>

따라서 점 모멘트는 델타 함수의 [[미분|도함수]]로 나타낼 수 있다. 빔 방정식의 통합은 조각별 [[다항식]] 편향을 다시 초래한다.

== 같이 보기 ==
* [[그린 함수]]
* [[분포 (해석학)|분포]]

== 각주 ==
{{각주}}

[[분류:푸리에 해석학]]
[[분류:측도론]]
[[분류:디지털 신호 처리]]
[[분류:폴 디랙|델타 함수]]