델타 함수(δ distribution), 또는 디랙 델타 함수(영어: Dirac delta function)는 수학자 시메옹 드니 푸아송(1815)와 오귀스탱 루이 코시(1816)가 푸리에 적분 정리를 연구하면서 처음 고안하였다. 푸아송이 정의한 델타 함수는 다음과 같다:
이후 이론 물리학자 폴 디랙이 양자역학에서 자주 사용하여 유명해졌다. δ(x)와 같이 표기하며, 크로네커 델타의 연속함수화로도 볼 수 있다. 이 함수는 무한대를 값으로 가지기 때문에 실 함수나 복소 함수같은 일반적인 함수는 아니다. 현대에 디랙 델타는 측도 또는 함수 공간에서 정의된 선형 범함수로 정립되었다. 신호 처리 분야에서는 임펄스 함수라고 부른다. 이 함수는 다음과 같은 성질로 특징 지어 진다.
개요
디랙 델타의 그래프는 보통 x축 전체와 양의 y축을 따라간다고 생각된다[1]:174 디랙 델타는 길고 좁은 스파이크 모양의 함수가 필요한 상황에 대표적인 함수로 쓰인다. 푸리에 변환 같은 적분 변환을 다룰 때 함수에서 한 점만 골라내고 싶을 때나, 이산 확률 분포의 확률 밀도 함수를 구할 때 쓰인다. 수학 외적인 응용에서 예를 들면 점전하, 점질량 또는 전자 등으로 인한 물리적 현상을 수학적으로 표현하는데 쓰인다. 일상과 가까운 내용을 이용하여 설명하기 위해, 당구공들이 충돌하는 상황을 역학적으로 보자. 이 때 당구공들은 아주 짧은 시간 동안 접촉한다. 이 때 가해지는 힘은 디랙 델타로 표현 할 수 있다. 이러면 더 간단한 방정식을 써서 풀 수 있게 될 뿐만 아니라, 원자 수준의 자세한 탄성 에너지를 고려 할 필요 없이 답을 얻을 수 있다.
조금 더 구체적으로 설명 하겠다. 당구공이 정지해 있다고 가정하자. 시각 에 다른 공에 맞아 운동량을 얻는다. 운동량의 교환은 실제로 즉각적이지 않고 분자 및 원자 수준에서 탄성 과정에 의해 전달되지만, 실용적 목적을 위해, 에너지가 사실상 순간적으로 전달되는 것으로 보는 것이 편리하다. 그러므로 힘은 이다. (여기서 의 단위는 이다.)
이 상황을 더 엄밀하게 모델링하기 위해, 대신 힘이 작은 시간 간격 에 걸쳐 균일하게 분포된다고 가정하자. 즉,
그런 다음 적분에 의해 언제든지 시각 t에서 모멘텀을 찾을 수 있다:
이제, 모멘텀의 순간적인 전달의 모델 상황은 극한을 과 같이 취해야 한다. 이 극한으로 0을 제외한 모든 곳에서 의 값을 얻는다:
여기서 함수들 은 모멘텀의 즉각적인 전달 아이디어에 대한 유용한 근사로 생각된다.
델타 함수를 사용하면 이러한 근사치의 이상적인 극한을 구성할 수 있다. 불행히도 함수의 실제 극한 (점별 수렴의 의미에서) 은 한 점을 제외한 모든 곳에서 0이지만 그 한 점에서 무한대이다. 디랙 델타를 적절하게 의미있게 하려면 대신 다음 성질을 주장해야 한다: 모든 에 대해
가 극한에서 성립해야 한다. 따라서 방정식 에서, 극한은 항상 적분 외부에서 취해진 것으로 이해된다.
응용 수학에서 델타 함수는 종종 함수열의 일종의 극한(약한 극한)으로 조작되며 각 원소는 원점에 큰 스파이크가 있다. 예를 들어, 분산이 0으로 수렴하는 원점을 중심으로 하는 가우스 분포함수들의 열이 있다.
디랙 델타는 최소한 영역과 범위가 실수인 일반적인 함수는 아니다. 예를 들어, 와 g(x) = 0는 을 제외하고 모든 곳에서 동일하지만 적분이 다르다. 르베그 적분론에 따르면, f 와 g가 거의 모든 곳에서f = g 인 함수들 이라면 g가 적분이 가능하고 f 와 g의 적분이 동일한 경우에만 f도 적분 가능하다. 디랙 델타 함수를 엄밀하게 정의 하려면 측도론 또는 분포 이론이 필요하다.
역사
조제프 푸리에는 그의 논문 Théorie analytique de la chaleur에서 현재 푸리에 적분 정리라고 불리는 것을 다음과 같은 형식으로 제시했다.
코시는 일부 상황에서 적분 순서가 이 결과에서 중요하다고 지적했다(푸비니 정리와 대조적이다).[5][6]
분포 이론을 사용하여 엄밀히 증명된 것처럼, 코시 등식은 푸리에의 원래 공식과 유사하도록 재배열 될 수 있으며 함수를 다음과 같이 드러낸다:
여기서 함수는 다음과 같이 표현된다.
지수 형식에 대한 엄밀한 해석과 그 적용에 필요한 함수 에 대한 다양한 제한은 수세기에 걸쳐 확장되었다. 고전적 방식의 문제점은 다음과 같이 설명된다.[7]
고전적인 푸리에 변환의 가장 큰 단점은 효과적으로 계산할 수 있는 함수들의 범위가 다소 좁다는 것이다. 즉, 이들 함수는 푸리에 적분의 존재를 보장하기 위해 무한대 근처에서 충분히 빠르게 0으로 감소하는 것이 필요하다. 예를 들어, 다항식과 같은 간단한 함수의 푸리에 변환은 고전적인 의미에서 존재하지 않는다. 고전적인 푸리에 변환을 분포로 확장하면서 변환할 수 있는 함수의 종류가 상당히 확대되었고 이로 인해 많은 장애물이 제거되었다.
추가적 발전에는 "Plancherel의 선구적인 L2-이론(1910)으로 시작하여 위너 와 보흐너의 작업(약 1930)으로 계속되고 로랑 슈바르츠의 분포 이론(1945)으로의 융합으로 절정에 달하는 푸리에 적분의 일반화가 포함된다. ..."[8]
무한히 큰 단위 충격 델타 함수(코시 분포의 무한소 버전)에 대한 무한소 공식은 오귀스탱 루이 코시의 1827년 텍스트에 명시적으로 나타난다.[9]시메옹 드니 푸아송은 훗날에 구스타프 키르히호프가 했던 것처럼 파동 전파 연구와 관련하여 이 문제를 고려했다. 키르히호프와 헤르만 폰 헬름홀츠는 단위 충격를 정규 분포의 극한으로 도입했으며, 이는 켈빈의 점 열원 개념과도 일치한다. 19세기 말에 올리버 헤비사이드는 형식 푸리에 급수를 사용하여 단위 충격을 다루었다.[10] 이와 같은 디랙 델타 함수는 폴 디랙이 1927년 논문 The Physical Interpretation of the Quantum Dynamics[11] 에서 소개했으며 그의 교과서 The Principles of Quantum Mechanics에서 사용했다.[12] 그는 그것을 불연속 크로네커 델타의 연속 아날로그로 사용했기 때문에 "델타 함수"라고 불렀다.
정의
순진한 정의
디랙 델타는 무한대 값을 가진 원점을 제외하고 모든 곳에서 0인 실직선 상의 함수로 대략적으로 생각될 수 있다.
그러나 이것은 휴리스틱에 불과하다. 디랙 델타는 전통적인 의미의 함수가 아니다.[12] 디랙 델타 함수는 분포 또는 측도로 엄격하게 정의될 수 있다.
측도론적 정의
디랙 델타 함수의 개념을 엄격하게 정의하는 한 가지 방법은 측도의 일종으로 정의하는 것이다. 측도는 집합에 길이, 넓이, 부피, 차원 부피 등을 일반화한 집합의 "크기"를 정하는 함수이다. 대략 어떤 성질을 만족하는 "측도 가능 집합"들을 정의하고 측도 가능 집합들에 음이 아닌 실수 또는 무한대 값을 부여한다. 즉, 그 집합의 "크기"을 정하는 방법이다. 실수 직선 의 측도 가능 집합 에 대해
인 측도를 정의하고 이를 디랙 측도라고 한다.[14]르베그 적분은 이 정의에 필요한 해석학을 제공한다. 측도 에 대한 르베그 적분은 모든 콤팩트 지지 연속 함수 에 대해 다음을 충족한다.
분포론에서 일반화된 함수는 그 자체로 함수가 아니라 다른 함수에 대해 "적분"될 때 다른 함수에 미치는 영향에 대해서만 규정된다. [17] 이에 따라 델타 함수를 적절하게 정의하려면 충분히 "좋은" 시험 함수에 대해 델타 함수의 "적분"이 무엇인지 말하는 것으로 충분하다. 시험 함수는 범프 함수라고도 한다. 델타 함수가 이미 측도값으로 이해된 경우 해당 측도값에 대한 시험 함수의 르베그 적분이 필요한 적분을 제공한다.
시험 함수의 일반적인 공간은 의 모든 매끄러운 함수로 구성되며 필요한 만큼 많은 도함수를 지지하는 콤팩트 지지가 있다. 분포로서 디랙 델타는 시험 함수의 공간에서 선형 함수이며[18] 모든 시험 함수 에 대해
(1)
로 정의된다.
가 적절한 분포가 되려면 시험 함수 공간에서 적절한 위상에서 연속적이어야 한다. 일반적으로 분포를 정의하기 위한 시험 함수 공간의 선형 함수 의 경우, 모든 양의 정수 에 대해 모든 시험 함수 에 대해 다음과 같은 정수 과 상수 이 있는 것이 필요하고 충분한다. 하나는 부등식이 있다.[19]
여기서 는 상한을 나타낸다. 분포를 사용하면 모든 에 대해 인 부등식(이 있다. 따라서 는 차수가 0인 분포이다. 또한 콤팩트 지지가 포함된 분포이다(지지는 {0}임).
델타 분포는 여러 동등한 방법으로 정의할 수도 있다. 예를 들어, 델타 분포는 헤비사이드 계단 함수의 분포 도함수이다. 이는 모든 시험 함수 에 대해
그리고 실제로 스틸체스 적분에 대해 부분에 의한 적분의 형태가 허용되며, 이 경우 하나는 다음을 갖는다.
측도론의 맥락에서 디랙 측도는 적분에 의한 분포를 발생시킨다. 반대로 방정식 (1)은 리츠 표현 정리에 의해 어떤 라돈 측도에 관한 의 르베그 적분으로 표현될 수 있는 모든 콤팩트 지지 연속 함수 의 공간에 대한 다니엘 적분을 정의한다.
고차원 일반화
델타 함수는 차원 유클리드 공간에서 모든 콤팩트 지지 연속 함수 에 대해 다음과 같은 측도로 정의할 수 있다.
측도로서 차원 델타 함수는 각 변수들의 개별적 1차원 델타 함수들의 곱 측도이다. 따라서, 이라 할 때,[20]
(2)
델타 함수는 1차원에서 위와 같이 정확하게 분포의 의미로 정의될 수도 있다.[19] 그러나, (2)가 공학적 맥락에서 널리 사용됨에도 불구하고 분포의 곱은 매우 좁은 조건에서만 정의될 수 있기 때문에 주의해서 다뤄야 한다. [18][19]
측도의 개념은 실수 집합 뿐만 아니라 임의의 집합에서 정의된다.[21] 즉, 디랙 측도도 실수 집합이 아닌 집합에서도 정의 된다. 가 집합이고, 가 특정된 점이고, 가 의 부분 집합들이 이루는 시그마 대수라면, 집합 에 대해 정의된 디랙 측도는 다음과 같다.
델타 함수의 또 다른 일반적인 일반화는 미분 가능한 다양체에 대한 일반화이다. 미분 다양체는 미분 구조를 가지고 있어서 분포로서의 대부분의 성질을 이용할 수 있다. 점 에 중심을 둔 다양체 의 델타 함수는 에서 정의된 모든 콤팩트 지지 매끄러운 실수 값 함수 φ에 대해 다음 분포로 정의된다:
국소 콤팩트 하우스도르프 공간에서 점 x에 집중된 디랙 델타 측도값은 콤팩트하게 지지되는 연속 함수 φ 의 다니엘 적분(3)과 관련된 라돈 측도이다.[23] 이 수준의 일반화에서는 미적분 자체가 더 이상 가능하지 않지만 추상 해석학의 다양한 방법을 사용할 수 있다. 예를 들어, 사상 은 모호한 위상을 갖춘 의 유한한 라돈 측도 공간에 를 연속적으로 매장하는 것이다. 또한, 이 매장에서 상의 볼록 껍질은 의 확률 측도 공간에서 조밀하다.[24]
이다. 이것은 선별 성질[28] 또는 샘플링 성질이라고도 한다.[29] 이 성질을 델타 함수가 에서 의 값을 "걸러낸다"고 표현한다.[30]
옮겨진 디랙 델타 와 함수 를 합성곱하면를 같은 양만큼 옮기는 것과 같다. 이것은 때때로 옮김 성질이라고 한다.
선별 성질은 중심에 있는 함수의 값을 찾는 반면 옮김 성질은 옮겨진 함수를 반환한다. 이동 성질은 가 조정된 분포라는 정확한 조건 하에서 유지된다(아래 푸리에 변환에 대한 설명 참조). 예를 들어 특별한 경우로 다음 항등식(분포론적 의미로 이해됨)을 얻는다:
함수와 분포의 합성
보다 일반적으로, 델타 분포는 익숙한 변수 변경 공식이 유지되는 방식으로 매끄러운 함수 로 합성될 수 있다.
단, 는 가 0이 아닌 연속 미분 가능한 함수이다. [13] 분포에 의미를 부여하는 고유한 방법이 있다. 따라서 이 항등식은 모든 콤팩트 지지 시험 함수 에 대해 유지된다. 따라서 지점을 제외하려면 도메인을 분할해야 한다. 이 분포는 가 여기에서도 0이 아닌 경우 충족하고, 그렇지 않으면 가 에서 실근을 갖는 경우 다음을 충족한다.
따라서 연속적으로 미분 가능한 함수 에 대한 합성를 다음과 같이 정의하는 것이 자연스럽다.
여기서 합은 단순하다고 가정되는 의 모든 근(즉, 모든 다른 근)에 걸쳐 더해진다. 따라서 예를 들어
변수가 하나인 경우와 마찬가지로 쌍 립시츠 함수[31] 사용하여 모든 콤팩트 지지 함수 에 대해 의 합성을 고유하게 정의할 수 있다.
기하 측도론의 공면적 공식을 사용하여 하나의 유클리드 공간에서 다른 차원의 다른 공간으로 침몰하는 델타 함수의 구성을 정의할 수도 있다. 결과는 current의 한 유형이다. 연속적으로 미분 가능한 함수 의 특수한 경우 이므로 의 기울기는 0이 아니며 다음 항등식을 유지한다 [19]
여기서 오른쪽의 적분은 , 민코프스키 내용 측도에 대해 으로 정의된 (n − 1) 차원 곡면이다. 이것은 단순 계층 적분으로 알려져 있다.
보다 일반적으로, 가 의 매끄러운 초곡면인 경우, 에 대해 콤팩트하게 지지되는 매끄러운 함수 를 적분하는 분포를 에 연결할 수 있다.
여기서 는 와 관련된 초곡면 측도이다. 이 일반화는 의 단순 층 전위에 대한 퍼텐셜 이론과 관련이 있다. 가 매끄러운 경계 가 있는 의 도메인인 경우 분포 의미에서 지시 함수의 정규 도함수와 같다.
즉, 는 조정된 분포에 대한 합성곱에 대한 항등원이며, 실제로 합성곱에서 콤팩트 지지 분포들의 공간은 델타 함수와 항등원이 있는 결합 대수이다. 이 성질은 신호 처리 에서 기본적이다. 조절된 분포가 있는 합성곱은 선형 시불변 계 이고 선형 시불변 계을 적용하면 충격 응답이 측도된다. 충격 응답은 에 대한 적절한 근사치를 선택하여 원하는 정확도로 계산할 수 있으며 일단 알려지면 계을 완전히 특성화한다.
조정된 분포의 역 푸리에 변환은 델타 함수이다.
그리고 더 엄밀하게는 모든 슈바르츠 함수에 대해 다음과 같다.
이러한 용어에서 델타 함수는 R에서 푸리에 핵의 직교성에 대한 암시적인 설명을 제공한다. 공식적으로는
콤팩트 지지을 갖는 모든 연속 함수 에 대해, 또는 이 극한은 콤팩트 지지을 갖는 모든 매끄러운 함수 에 대해 유지된다. 약한 수렴의 이 두 가지 약간 다른 모드 사이의 차이는 종종 미묘하다. 전자는 측도의 모호한 위상에서의 수렴이고 후자는 분포의 의미에서 수렴이다.
항등원 근사
일반적으로 초기 델타 함수 을 다음과 같은 방식으로 구성할 수 있다. 를 전체 적분값이 1인 R에 대해 절대 적분할 수 있는 함수라고 하고 다음을 정의한다.
n 차원에서는 스케일링을 대신 사용한다.
그런 다음 변수를 간단히 변경하면 도 적분 1을 가짐을 알 수 있다. ( 5 )는 모든 콤팩트 지지 연속 함수[35] 에 대해 유지되고 따라서 은 측도의 의미에서 δ 로 약하게 수렴한다는 것을 보여줄 수 있다.
이러한 방식으로 구성된 는 항등원 근사로 알려져 있다.[36] 이 용어는 와 가에 있을 때마다 함수의 합성곱 연산 하에서 절대 적분 가능 함수의 공간 이 닫히기 때문이다. 그러나 합성곱 곱에 대한 에는 항등원이 없다. 모든 에 대해 인 원소 가 없다. 그럼에도 불구하고 수열 는
과 같은 의미에서 항등원을 근사한다. 이 극한은 평균 수렴( 의 수렴)의 의미에서 유지된다. 에 대한 추가 조건, 예를 들어 콤팩트 지지 함수와 관련된 완화자[37]거의 모든 곳에서 점별 수렴성을 보장하는 데 필요하다.
초기 함수 자체가 매끄럽고 콤팩트 지지인 경우 수열를 완화자라고 한다. 예를 들어, 적절하게 정규화된 범프 함수가 되도록 를 선택하여 표준 완화자를 얻는다.
수치 해석학과 같은 일부 상황에서는 항등식에 대한 조각 선형 근사가 바람직하다. 이것은 을 삼각형 함수로 취함으로써 얻을 수 있다. 을 선택하면
매끄럽지 않고 완화자는 아니지만 모두 연속적이고 콤팩트 지지된다.
확률론적 고려 사항
확률론의 맥락에서 항등식에 대한 근사에서 초기 이 양수여야 한다는 추가 조건을 부과하는 것이 자연스럽다. 이러한 함수는 확률 분포를 나타낸다. 확률 분포가 있는 합성곱은 출력이 입력 값의 볼록 조합이므로 입력 함수의 최대값과 최소값 사이에 있기 때문에 오버슈트 또는 언더슈트가 발생하지 않기 때문에 때때로 유리하다. 을 임의의 확률 분포로 보고 위와 같이 로 하면 항등식에 대한 근사를 얻을 수 있다. 일반적으로 의 평균이 0이고 모멘트가 작은 경우 델타 함수로 더 빠르게 수렴한다. 예를 들어, 이 에 대한 균등 분포 인 경우 직사각형 함수라고도 한다. [38]
또 다른 예는 위그너 반원 분포이다.
이것은 연속적이고 콤팩트하게 지지되지만 부드럽지 않기 때문에 완화제가 아니다.
반군
초기 델타 함수는 종종 합성곱을 연산으로 하는 반군을 형성한다.[39] 이는 와 의 합성곱이 충족해야 하는 추가 제약에 해당한다.
모든 에 대해 이다. 초기 델타 함수를 형성하는 의 합성곱 반군은 항상 위의 의미에서 항등식에 대한 근사이지만 반군 조건은 상당히 강력한 제한이다.
델타 함수의 응용에서, 델타 함수를 근사하는 반군은 물리학적 동기 타원 또는 포물선 편미분 방정식에 대한 기본 해 또는 그린 함수로 발생한다. 이 반군은 또한 선형 시불변 계 전기 회로의 출력으로 발생한다. 추상적으로, A가x의 함수에 작용하는 선형 연산자인 경우 초기 값 문제를 해결하여 합성곱 반군이 발생한다.
여기서 극한은 일반적으로 약한 의미로 이해된다. 로 설정하면 관련 초기 델타 함수가 제공된다.
이러한 기본 해에서 발생하는 물리적으로 중요한 합성곱 반군의 몇 가지 예는 다음과 같다.
열핵
로 정의된 열핵은 에서 와이어의 원점에 열 에너지 단위가 저장되어 있는 경우 시간 에서 무한 와이어의 온도를 나타낸다. 이 반군은 1차원 열 방정식에 따라 전개된다.
확률 이론에서 는 분산이고 평균 0인 정규 분포이다. 물리학에서 이것은 표준 브라운 운동을 따르는 원점에서 시작하는 입자 위치의 시간 에서의 확률 밀도를 나타낼 때 쓰인다. 이 경우, 반군 조건은 브라운 운동의 마르코프 성질의 표현이다.
고차원 유클리드 공간 에서 열 핵은 다음과 같다.
이는 열역학에서 약간의 수정을 거쳐 물리적 해석을 가진다. 그것은 또한 분포 의미에서 초기 델타 함수를 나타낸다.
는 위쪽 절반 평면에서 라플라스 방정식의 기본 해이다.[35] 가장자리를 따라 전위가 델타 함수에서 고정된 상태로 유지되는 반무한 판의 정전기 전위를 나타낸다. 푸아송 핵은 코시 분포, Epanechnikov 및 가우스 핵 함수와도 밀접한 관련이 있다.[40] 이 반군은 방정식에 따라 진화한다.
파동 전파 및 파동 역학과 같은 물리학 분야에서 관련된 방정식은 쌍곡적이므로 더 많은 특이 해를 가질 수 있다. 결과적으로 관련 코시 문제의 기본 해로 발생하는 초기 델타 함수는 일반적으로 진동 적분이다. 천음속 기체 역학의 오일러-트리코미 방정식의 해에서 나온 예는[41] 재조정된 에어리 함수이다.
푸리에 변환을 사용하지만 이것이 어떤 의미에서 반군을 생성한다는 것을 쉽게 알 수 있다. 이는 절대적으로 적분할 수 없으므로 위의 강한 의미에서 반군을 정의할 수 없다. 진동 적분으로 구성된 많은 초기 델타 함수는 측도의 의미가 아니라 분포의 의미에서만 수렴한다(예: 아래의 디리클레 핵).
또 다른 예에는 의 파동 방정식에 대한 다음과 같은 연립 편미분 방정식으로 나타나는 코시 문제가 있다.[19]
이 연립 편미방의 해 는 원점에서 초기 교란이 있는 무한 탄성 용수철의 평형 상태로부터의 변위를 나타낸다.
이러한 종류의 항등식에 대한 다른 근사치에는 sinc 함수 (전자 및 전기 통신에서 널리 사용됨)가 포함된다.
(여기서 은 에서 정의된 미분 연산자이다.)은 먼저 방정식의 해인 근본적인 해를 구하는 것이다.
이 특히 단순할 때 이 문제는 종종 직접 푸리에 변환을 사용하여 해결할 수 있다(이미 언급한 포아송 핵 및 열 핵의 경우처럼). 보다 어려운 연산자의 경우 다음 형식의 방정식을 먼저 고려하는 것이 더 쉬운 경우가 있다.
여기서 h는 평면 파동 함수이며, 어떤 벡터 ξ에 대해
가 성립함을 의미한다. 이러한 방정식은 (의 계수가 해석 함수인 경우) 코시–코발렙스카야 정리 또는 ( 의 계수가 상수 함수인 경우) 구적법으로 풀 수 있다. 따라서 델타 함수를 평면파로 분해할 수 있으면 원칙적으로 선형 편미분 방정식을 풀 수 있다.
델타 함수를 평면파로 분해하는 것은 요한 라돈이 처음 도입한 일반적인 기술의 일부였으며 프리츠 존 (1955)이 이 형태로 개발했다. n + k 짝수 정수가 되도록 k를 선택하고 실수 s 에 대해 [42]
로 둔다. 그러면 는단위 구에서 에 대한 의 단위 구 측도 에 대한 적분에 라플라시안의 거듭제곱을 적용하여 구한다.
여기서 라플라시안은 약한 도함수로 해석되므로 이 방정식은 모든 시험 함수 에 대해 다음을 의미하는 것으로 본다.
이 결과는 푸아송 방정식의 기본 해인 뉴턴 포텐셜에 대한 공식에서 따른다. 이것은 초평면에 대한 적분에서 의 값을 복구하기 때문에 본질적으로 라돈 변환 에 대한 반전 공식의 한 형태이다. 예를 들어, 이 홀수이고 이면 우변의 적분은 다음과 같다.
여기서 는 의 라돈 변환이다.
Gelfand & Shilov (1966–1968, I, §3.10) harvtxt error: 대상 없음: CITEREFGelfandShilov1966–1968 (help)의 평면파 분해에 대한 대안적인 등가 표현은 다음과 같다.
이 짝수인 경우
홀수.
푸리에 핵
푸리에 급수 연구에서 주요 질문은 주기 함수와 관련된 푸리에 급수가 함수로 수렴하는지 여부와 어떤 의미에서 결정하는 것으로 구성된다. 주기 의 함수 의 푸리에 급수의 번째 부분 합은 디리클레 핵을 사용하여 합성곱(구간 에서)으로 정의된다.
따라서,
여기서
기본 푸리에 급수의 기본 결과는 디리클레 핵이 으로 제한됨을 나타낸다. 로 델타 함수의 배수가 되는 경향이 있다. 이것은 분포의 의미로 해석된다. 즉, 콤팩트하게 지지되는 모든 매끄러운 함수 에 대해
따라서 공식적으로
그럼에도 불구하고 결과는 컴팩트 지지되는 모든 연속 함수에 대해 유지되지 않는다. 즉, 은 측도의 의미에서 약하게 수렴하지 않는다. 푸리에 급수의 수렴 부족으로 인해 수렴을 생성하기 위한 다양한 합산 가능 방법이 도입되었다. Cesàro 합산 방법은 Fejér 커널로 이어진다 [43]
이는 모든 연속 함수의 푸리에 급수는 모든 점에서 함수 값으로 합산할 수 있다는 의미이다.
힐베르트 공간론
디랙 델타 분포는 제곱 적분 가능 함수의 힐베르트 공간에서 조밀하게 정의된 무한선형 형식이다. 실제로 매끄럽고 콤팩트하게 지지되는 함수는 에서 조밀하며 이러한 함수에 대한 델타 분포의 작용은 잘 정의되어 있다. 많은 응용에서 의 부분 공간을 식별하고 델타 함수가 유계 선형 범함수를 정의하는 더 강력한 위상을 제공하는 것이 가능하다.
또한, 를 의 경계까지 연속되는 의 모든 정칙 함수의 의 폐포로 구성된 하디 공간이라고 하자. 그러면 의 함수는 에서 정의된 정칙 함수로 유일하게 확장되고, 코시 적분 공식은 여전히 성립한다. 특히 의 경우 델타 함수 는에 대한 연속 선형 함수이다. 이것은 매끄러운 영역에 대해 Szegő 핵이 코시 적분의 역할을 하는 다변수 복소 함수의 특수한 경우이다. [45]
Resolutions of the identity
분리 가능한 힐베르트 공간에서 함수의 완전한 직교 정규 기저이 주어지면, 예를 들어 콤팩트 자기수반 연산자의 정규화된 고유 벡터가 주어지면 모든 벡터 는 다음과 같이 표현될 수 있다.
가 모든 콤팩트 지지 매끄러운 함수를 포함하는 적절한 갖춘 힐베르트 공간 을 사용하면 이 합은 기저 의 성질에 따라 로 수렴할 수 있다. 실질적인 관심의 대부분의 경우 정규 직교 기저는 적분 또는 미분 연산자에서 나오며, 이 경우 급수는 분포의 의미에서 수렴한다.[48]
무한 델타 함수
코시는 무한소 를 사용하여 단위 충격를 기록하고 무한히 크고 좁은 디랙 유형 델타 함수 를 만족한다 코시는 Cours d'Analyse ( [9] )에서 0에 가까운 수열로 무한소를 정의했다. 즉, 이러한 null 수열는 코시와 라자르 카르노의 용어로는 무한소가 된다.
비표준 해석학을 통해 무한소를 엄격하게 정의할 수 있다. Yamashita (2007) harvtxt error: 대상 없음: CITEREFYamashita2007 (help)의 논문에는 초실수가 제공하는 무한소가 풍부한 연속체의 맥락에서 현대 디랙 델타 함수에 대한 참고 문헌이 포함되어 있다. 비표준 해석학에서는, 푸리에와 코시가 예상한 대로, 디랙 델타가 모든 실함수 에 대해 과 같은 성질을 갖는 함수로 정의될 수 있다.
확률론 및 통계에서 디랙 델타 함수는 확률 밀도 함수 (일반적으로 절대 연속 분포를 나타내는 데 사용됨)를 사용하여 이산 분포 또는 부분적으로 이산 부분적으로 연속적인 분포를 나타내는 데 자주 사용된다. 예를 들어, 점 으로 구성된 이산 분포의 확률 밀도 함수 는 해당 확률 과 함께 다음과 같이 쓸 수 있다.
또 다른 예로, 시간의 6/10은 표준 정규 분포를 반환하고 시간의 4/10은 정확히 값 3.5를 반환하는 분포를 고려한다(즉, 부분적으로 연속적이고 부분적으로 이산 혼합 분포). 이 분포의 밀도 함수는 다음과 같이 쓸 수 있다.
델타 함수는 또한 연속적으로 미분 가능한 함수로 변환되는 무작위 변수의 결과 확률 밀도 함수를 나타내는 데 사용된다. 가 연속 미분 가능 함수이면 의 밀도는 다음과 같이 쓸 수 있다.
델타 함수는 확산 과정의 국소 시간을 나타내기 위해 완전히 다른 방식으로 사용된다(예: 브라운 운동). 확률과정 의 국소 시간은 다음과 같이 지정된다.
이는 과정 범위의 x 지점에서 과정이 소비하는 시간을 나타낸다. 보다 정확하게는 한 차원에서 이 적분은 다음과 같이 쓸 수 있다.
델타 함수는 양자 역학에서 자주 쓰인다. 입자의 파동 함수로부터 주어진 공간 영역 내에서 입자를 찾을 확률 진폭을 계산한다. 파동 함수는 제곱 적분 함수의 힐베르트 공간 의 원소로 가정하고 주어진 구간 내에서 입자를 발견할 총 확률은 구간에 대해 제곱한 파동 함수의 크기의 적분이다. 파동 함수의 집합 이
의해 정규화되는 경우 정규 직교라고 한다. 여기서 는 크로네커 델타이다. 정규 직교 파동 함수는 어떤 파동 함수 라도
와 같이 복소수 계수 사용해 의 원소들의 선형 조합으로 표현할 수 있으면 가 제곱 적분 함수 공간에서 완비라고 한다. 여기서 이다. 파동 함수의 완비 직교 정규 계는 고유값이라고 하는 에너지 수준을 측정하는 양자 역학에서 해밀턴 (바운드 계의) 고유 함수로 자연스럽게 나타난다. 이 경우 고유값 집합은 해밀토니안의 스펙트럼으로 알려져 있다. 브라-켓 표기법에서 위와 같이 이 같음은 resolution of the identity를 의미한다.
여기서 고유값은 이산적이라고 가정하지만 어떤 관측가능량의 고유값 집합은 연속적일 수 있다. 예를 들어 위치 관측가능량 있다. 위치의 스펙트럼(1차원)은 실수 전체이며 이 경우 연속 스펙트럼 이라고 한다. 그러나 해밀토니언과 달리 위치 연산자에는 적절한 고유 함수가 없다. 이 단점을 극복하는 기존의 방법은, 파동 함수로 분포도 허용하여 사용 가능한 함수의 범위를 확장하는 것이다. 즉, 양자역학의 힐베르트 공간을 적절한 갖춘 힐베르트 공간으로 대체하는 것이다. 이 [53]에서 위치 연산자는 다음과 같이 주어진 실선의 점 로 레이블이 지정된 완전한 고유 분포 집합을 갖는다.
위치 연산자의 고유 함수는 과 같이 표시된다. 이는 디랙 표기법에서 위치 고유 상태로 알려져 있다.
의 스펙트럼이 연속적이고 축퇴 고유값이 없는 경우 모멘텀 연산자의 고유 상태 또는 힐베르트 공간의 다른 자체 자기 수반 무한 연산자에도 유사한 고려 사항이 적용된다. 이 경우 실수(스펙트럼)의 집합 과 의 원소로 이름 붙여진 분포의 모음 가 있다.
즉, 는 의 고유 벡터이다. 고유 벡터를 정규화하면
분포 의미에서 모든 시험 함수 ψ에 대해
여기서
즉, 불연속적인 경우와 마찬가지로 resolution of identity이 있다.
여기서 연산자 값 적분은 약한 의미로 다시 이해된다. 의 스펙트럼에 연속 부분과 불연속 부분이 모두 있는 경우 항등식 분해능은 불연속 스펙트럼에 대한 합산 과 연속 스펙트럼에 대한 적분을 포함한다.
델타 함수는 또한 단일 및 이중 포텐셜 우물에 대한 델타 퍼텐셜 모델과 같은 양자 역학에서 더 많은 특수 응용 분야를 가지고 있다.
구조 역학
델타 함수는 구조 역학에서 구조에 작용하는 과도 하중 또는 점하중을 설명하는 데 사용할 수 있다. 시간 에서 급격한 힘 충격에 의해 여기된 단순 질량-스프링 계의 지배 방정식은 다음과 같이 쓸 수 있다.
또 다른 예로서, 가는 빔의 정적 편향을 지배하는 방정식은 오일러-베르누일리 이론에 따라 다음과 같다.
여기서 는 빔의 굽힘 강성, 는 처짐, 는 공간 좌표, 는 하중 분포이다. 빔이 에서 점력 에 의해 하중을 받는 경우 하중 분포는 다음과 같이 기록된다.
델타 함수의 적분으로 헤비사이드 계단 함수가 생성되므로 다중 점하중이 가해지는 얇은 빔의 정적 편향은 조각별 다항식 집합으로 설명된다.
또한 빔에 작용하는 점 모멘트는 델타 함수로 설명할 수 있다. 거리 떨어져 있는 두 개의 반대 지점 힘 를 고려하십시오. 그런 다음 빔에 작용하는 모멘트 를 생성한다. 이제 이 일정하게 유지되는 동안 거리 가 극한 0에 접근하도록 한다. 에서 작용하는 시계 방향 모멘트를 가정한 하중 분포는 다음과 같이 작성된다.
따라서 점 모멘트는 델타 함수의 도함수로 나타낼 수 있다. 빔 방정식의 통합은 조각별 다항식 편향을 다시 초래한다.
↑A more complete historical account can be found in van der Pol & Bremmer 1987, §V.4 괄호 없는 하버드 인용 error: 대상 없음: CITEREFvan_der_PolBremmer1987 (help).
↑Dirac, P. A. M. (January 1927). “The physical interpretation of the quantum dynamics”. 《Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character》 (영어) 113 (765): 621–641. Bibcode:1927RSPSA.113..621D. doi:10.1098/rspa.1927.0012. ISSN0950-1207.
↑Driggers 2003, 2321쪽 괄호 없는 하버드 인용 error: 대상 없음: CITEREFDriggers2003 (help) See also Bracewell 1986, Chapter 5 괄호 없는 하버드 인용 error: 대상 없음: CITEREFBracewell1986 (help) 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.
↑In the terminology of Lang (1997) harvtxt error: 대상 없음: CITEREFLang1997 (help), the Fejér kernel is a Dirac sequence, whereas the Dirichlet kernel is not.
Disambiguazione – Se stai cercando altri significati, vedi Non aprite quella porta (disambigua). Thomas Hewitt, alias Leatherface, nel film remake Non aprite quella porta (2003) Non aprite quella porta (The Texas Chainsaw Massacre in originale) è una serie cinematografica di nove film horror che ha generato anche un merchandising con fumetti e un videogioco, aventi come protagonista il serial killer immaginario Leatherface. Gli eventi dei sequel e dei prequel del primo film omonimo non son...
Tskaltoeboწყალტუბოს მუნიციპალიტეტი Gemeente in Georgië Geografie Regio Imereti Hoofdplaats Tskaltoebo Coördinaten 42°20'23NB, 42°35'57OL Bevolking Inwoners (2022) 44.599[1] (63,7 inw./km²) Bestuur Burgemeester Genadi Balantsjivadze (2021-) Overige informatie Tijdzone UTC+4 Website tskaltubo.gov.ge Foto's Rivieren door het kalksteen van Ratsjagebergte Portaal Georgië Tskaltoebo (Georgisch: წყალტუბოს მუ
Deutscher Genealogentag heißt eine jährliche Zusammenkunft deutscher Familienforscher, die von der Deutschen Arbeitsgemeinschaft genealogischer Verbände e.V. (DAGV) veranstaltet wird. Sie wird seit 1925 im jährlichen Wechsel jeweils von einem anderen Mitgliedsverein des Dachverbandes ausgerichtet und wird überwiegend in Deutschland, seltener in Österreich und der Schweiz abgehalten. Zwischen 1939 und 1949 fand kein Genealogentag statt. Der 73. Genealogentag fand vom 27. bis 29. Oktober ...
Brigitte Horney, 1935 Brigitte Horney (* 29. März 1911 in Dahlem (heute Berlin); † 27. Juli 1988 in Hamburg-Eppendorf) war eine deutsch-amerikanische Schauspielerin (Theater und Film) und Hörspielsprecherin. Inhaltsverzeichnis 1 Leben 1.1 Familie und Ausbildung 1.2 Bühnen- und Filmengagements in den 1930er und 1940er Jahren 1.3 Übersiedlung in die USA und letzte Jahre in Deutschland 2 Filmografie (Auswahl) 2.1 Kinofilme 2.2 Fernsehen 3 Hörspiele 4 Theater (Auswahl) 5 Auszeichnungen 6 D...
Jali-jali beralih ke halaman ini. Untuk kegunaan lain, lihat Jali (disambiguasi). Artikel ini bukan mengenai barli. Jali Coix lacryma-jobi TaksonomiDivisiTracheophytaSubdivisiSpermatophytesKladAngiospermaeKladmonocotsKladcommelinidsOrdoPoalesFamiliPoaceaeSubfamiliPanicoideaeTribusAndropogoneaeSubtribusCoicinaeGenusCoixSpesiesCoix lacryma-jobi Linnaeus, 1753 lbs Jali,[1] enjelai[2] atau jelai[3] (Coix lacryma-jobi) adalah sejenis tumbuhan biji-bijian (serealia) tropika ...
River in Tasmania, Australia HobartStrickland Falls on the upper Hobart RivuletLocation of the river mouth in TasmaniaLocationCountryAustraliaStateTasmaniaRegionSouth EastPhysical characteristicsSourcekunanyi / Mount Wellington • coordinates42°54′26″S 147°14′49″E / 42.90722°S 147.24694°E / -42.90722; 147.24694 • elevation566 m (1,857 ft) MouthUrban stream flowing into the River Derwent • locatio...
4th episode of the 2nd season of Lost Everybody Hates HugoLost episodeEpisode no.Season 2Episode 4Directed byAlan TaylorWritten byEdward KitsisAdam HorowitzFeatured musicMy Conversation by The Uniques ft. Slim SmithUp on the Roof by The DriftersEasy Money by Billy JoelWaste Awhile by SollyProduction code204[1]Original air dateOctober 12, 2005 (2005-10-12)Running time43 minutes[2]Guest appearancesL. Scott Caldwell as Rose Nadler Sam Anderson as Bernard Nadle...
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: The Love Songs Chris de Burgh album – news · newspapers · books · scholar · JSTOR (July 2017) (Learn how and when to remove this template message) 1997 greatest hits album by Chris de BurghThe Love SongsGreatest hits album by Chris de BurghReleased...
Overview of television in Bangladesh Not to be confused with Bangladesh Television. Part of a series on theCulture of Bangladesh History Timeline Outline Topics: Bengal Aviation Literature Military Postal Rulers Cyclones Years People Peoples Names Diaspora List Languages Script Dialects Vocabulary Grammar Bengali language movement Traditions Mythology and Folklore Behula Bonbibi Oladevi Satya Pir Manasa CuisineEntrée Bakarkhani Main Course Beef Hatkora Haji biryani Kala bhuna Dessert Ras mal...
Museum in Lancaster, Lancashire, England Lancaster City MuseumThe museum, seen across Market SquareLocation within Lancaster city centreFormer namesOld Town HallGeneral informationTypeMuseumTown or cityLancaster, LancashireCountryEnglandCoordinates54°02′56″N 2°48′06″W / 54.0489°N 2.8017°W / 54.0489; -2.8017Construction started1781Completed1783Opened(as Lancaster City Museum) 1923 (1923)Technical detailsMaterialSandstone ashlar with slate roofFloor coun...
For other uses, see Pikauba. PikaubaCountry of originCanadaRegionQuebecTownSaguenay–Lac-Saint-Jean,Saguenay (city)Source of milkCows milkTextureSemi-firmWeight2.5 kg or 5 kgAging timebetween 90 and 120 days The Pikauba is a semi-firm cheese, farmer made by hand, in the region Saguenay–Lac-Saint-Jean in Quebec.[1] It takes its name from a river, Pikauba River, that crosses the Laurentides Wildlife Reserve. It is recognized by its fine orange rind and its soft, golden paste, strewn ...
Supervillain team from DC Comics Terror TitansThe cover of DC Comics' Terror Titans trade paperback.Publication informationFirst appearanceTeen Titans (vol. 3) #56 (February 2008)Created bySean McKeeverIn-story informationMember(s)Clock King CopperheadDisruptorDreadboltPersuader The Terror Titans are a supervillain group in the DC Comics. They are a mirror group to the Teen Titans. They first appeared as a team in Teen Titans (vol. 3) #56 (February 2008), though Clock King and Dreadbolt appea...
American musician and actor (1941–2018) For the Welsh footballer, see Mickey Jones (footballer). For other people with similar names, see Mick Jones. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Mickey Jones – news · newspapers · books · scholar · JSTOR (February 2018) (Learn how and when to remove this...
Defunct Brooklyn hospital Hospital in New York, United StatesAdelphi HospitalGeographyLocationBrooklyn, New York, United StatesCoordinates40°41′10″N 73°58′15″W / 40.686187276116314°N 73.97069481817907°W / 40.686187276116314; -73.97069481817907HistoryOpened1929Closed1974LinksListsHospitals in New York Adelphi Hospital, in 1940 census document Adelphi Hospital was a 146-bed voluntary hospital that opened in 1929 at 50 Green Avenue and closed in 1974. It serve...
Cet article est une ébauche concernant le Victoria. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Parc national de la péninsule de MorningtonElephant Rock, une curiosité du parc.GéographiePays AustralieÉtat VictoriaCoordonnées 38° 30′ 08″ S, 144° 53′ 18″ EVille proche MelbourneSuperficie 26,86 km2AdministrationType Parc national d'Australie, parc nationalCatég...
2014 soundtrack album by Jonny Greenwood and various artistsInherent Vice (Original Motion Picture Soundtrack)Soundtrack album by Jonny Greenwood and various artistsReleasedDecember 15, 2014RecordedDecember 2013–February 2014GenreFilm soundtrackLength54:42LabelNonesuchProducerJonny GreenwoodJonny Greenwood chronology The Master(2012) Inherent Vice(2014) Junun(2015) Singles from Inherent Vice (Original Motion Picture Soundtrack) SpooksReleased: December 9, 2014 Inherent Vice (Origina...
British TV sitcom (1974–1975) My Old ManGenreSitcomCreated byGerald FrowWritten byGerald FrowDirected byPaddy RussellStarring Clive Dunn Priscilla Morgan Edward Hardwicke Theme music composerChris SandfordCountry of originEnglandOriginal languageEnglishNo. of series2No. of episodes13ProductionProducersJohn Duncan (series 1)Paddy Russell (series 2)EditorTudor LloydCamera setupCharles B. WilsonRunning time30 minutesProduction companyYorkshire TelevisionOriginal releaseNetworkITVRelease3 May 1...
Heritage building in Hobart, Tasmania, Australia Ingle HallIngle Hall, 2007General informationArchitectural styleGeorgianAddress89 Macquarie St, Hobart Tas. Corner of Macquarie St and Argyle StreetTown or cityHobart, TasmaniaCountryAustraliaCoordinates42°52′55″S 147°19′51″E / 42.88203°S 147.33076°E / -42.88203; 147.33076Construction started1812–1814Technical detailsMaterialBrick Ingle Hall is a landmark building in Hobart, Tasmania on the corner of Macqua...
Is docha tha sibh a' lorg nathair (Ceòl) Se snàigean feòil-itheach a tha ann an nathair. Tha iad fada, caol is gun casan. Tha mòran puinnseanach, agus tha fiaclan fada air, ach bidh cuid eile a’ tachdadh am biadh aca. Anaconda
An Santa Cruz de Paniagua amo an usa ka bungto ha Provincia de Cáceres, Extremadura, Espanya. igliwat Mga Bungto han Provincia de Cáceres Abadía · Abertura · Acebo · Acehúche · Aceituna · Ahigal · Alagón del Río · Albalá · Alcántara · Alcollarín · Alcuéscar · Aldea del Cano · Aldeacentenera · ...
Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!