디리클레 적분

수학에는 독일 수학자 페터 구스타프 르죈 디리클레의 이름을 딴 여러 적분이 있으며, 그중 하나는 양의 실수선에 대한 싱크함수의 이상 적분이다.

이 적분은 절대 수렴하지 않으므로, 양의 실수선에 대한 의 르베그 또는 리만 이상 적분은 무한하다. 따라서 싱크함수는 양의 실수선에 대해 르베그 적분 가능하지 않다. 그러나 싱크함수는 이상 리만 적분 또는 일반화된 리만 또는 헨스톡-쿠르츠바일 적분의 의미에서 적분 가능하다. 이는 이상 적분에 대한 디리클레 판정법을 사용하여 알 수 있다.

이 적분은 특정 적분을 평가하는 특별한 기술의 좋은 예시이다. 특히 싱크함수의 역도함수인 사인 적분이 초등함수가 아니므로 적분 함수의 초등 역도함수가 없기 때문에 미적분학의 기본 정리를 직접 적용하는 것이 유용하지 않을 때 더욱 그렇다. 이 경우 이상 적분은 라플라스 변환, 이중 적분, 적분 기호 아래 미분, 경로 적분, 디리클레 핵 등 여러 가지 방법으로 결정할 수 있다. 그러나 적분 함수가 짝함수이므로 적분 영역을 음의 실수선으로 확장할 수도 있다.

 평가 

 라플라스 변환 
일 때 정의된 함수 가 있다고 하자. 그러면 그 라플라스 변환은 다음과 같다.

적분이 존재한다면 말이다.

이상 적분 평가에 유용한 라플라스 변환의 속성은 다음과 같다.

단, 가 존재해야 한다.

다음 과정에서는 함수 의 라플라스 변환인  결과와 아벨 정리의 한 버전(라플라스 변환에 대한 최종값 정리의 결과)이 필요하다.

그러므로

 이중 적분 

라플라스 변환을 사용하여 디리클레 적분을 평가하는 것은 적분 순서를 변경하여 동일한 이중 정적분을 계산하는 것과 동일하다. 즉,

순서 변경은 모든 에 대해 적분이 절대 수렴한다는 사실로 정당화된다.

 적분 기호 아래 미분 (파인만의 트릭) 
먼저 적분을 추가 변수 의 함수, 즉 의 라플라스 변환으로 다시 작성한다. 따라서 다음과 같이 놓는다.

디리클레 적분을 평가하려면 을 결정해야 한다. 의 연속성은 부분 적분 후 지배 수렴 정리를 적용하여 정당화할 수 있다. 에 대해 미분하고 적분 기호 아래 미분에 대한 라이프니츠 규칙을 적용하면 다음을 얻는다.

이제 오일러 공식 를 사용하여 사인 함수를 복소 지수 형태로 표현할 수 있다.

그러므로

에 대해 적분하면

여기서 는 결정해야 할 적분 상수이다. 이므로, 주값을 사용하여 이다. 이는 일 때 다음을 의미한다.

마지막으로, 에서의 연속성에 의해 이 된다. 이는 이전과 같다.

 복소 경로 적분 
를 고려하자.

복소 변수 의 함수로서 원점에 단순 극점을 가지며, 이는 조르단 보조정리의 적용을 방해한다. 조르단 보조정리의 다른 가설들은 만족된다.

그러면 새로운 함수를 정의한다.Appel, Walter. Mathematics for Physics and Physicists. Princeton University Press, 2007, p. 226. .

극점은 음의 허수축으로 이동되었으므로, 는 을 중심으로 하는 반경 의 반원 를 따라 양의 허수 방향으로 확장하고, 실수축을 따라 닫힌 경로에서 적분할 수 있다. 그런 다음 의 극한을 취한다.

유수 정리에 의해 복소 적분은 0이다. 왜냐하면 적분 경로  내부에 극점이 없기 때문이다.

이 무한대로 갈 때 두 번째 항은 사라진다. 첫 번째 적분에 대해서는 실수축에 대한 적분에 대한 소호츠키-플레멜리 정리의 한 버전을 사용할 수 있다. 실수축에서 정의되고 연속적으로 미분 가능한 복소수 값 함수 와 인 실수 상수 와 에 대해 다음을 얻는다.

여기서 는 코시 주요값을 나타낸다. 위 원본 계산으로 돌아가서 다음을 쓸 수 있다.

양변에 허수 부분을 취하고 함수 가 짝함수임을 감안하면 다음을 얻는다.

결론적으로,

다른 방법으로는, 에 대한 적분 경로로 반지름 과 인 위쪽 반평면 반원들과 이들을 연결하는 실수축의 두 선분들의 합집합을 선택한다. 한편 경로 적분은 과 에 관계없이 0이다. 다른 한편, 이고 일 때 적분의 허수 부분은 로 수렴하고(여기서 는 위쪽 반평면의 어떤 분지의 로그함수이다), 이는 로 이어진다.

 디리클레 핵 
디리클레 핵에 대한 잘 알려진 공식을 고려하자.

다음이 즉시 성립한다.

다음을 정의한다.

분명히 일 때 는 연속이다. 에서의 연속성을 확인하려면 로피탈의 정리를 적용한다.

따라서 는 리만-르베그 보조정리의 요구 사항을 충족한다. 이는 다음을 의미한다.

(여기서 사용된 리만-르베그 보조정리의 형태는 인용된 논문에서 증명되었다.)

우리는 다음을 계산하고자 한다.

그러나 에 대한 실수 극한을 에 대한 적분 극한으로 전환하는 것을 정당화해야 하며, 이는 극한이 존재함을 보여줌으로써 이어진다.

부분 적분을 사용하면 다음을 얻는다.

이제 이고 일 때 왼쪽 항은 문제없이 수렴한다. 삼각함수의 극한 목록을 참조하라. 이제 가 절대 적분 가능함을 보이는데, 이는 극한이 존재함을 의미한다.

먼저 원점 근처에서 적분을 제한하려고 한다. 코사인의 0 주변 테일러 급수 전개를 사용하면,

그러므로

적분을 여러 부분으로 나누면 다음을 얻는다.

어떤 상수 에 대해. 이는 적분이 절대 적분 가능함을 보여주며, 이는 원래 적분이 존재함을 의미하고, 에서 으로 전환하는 것이 실제로 정당화되었음을 의미하며 증명이 완료된다.

 같이 보기 

 디리클레 분포
 디리클레 원리
 싱크함수
 프레넬 적분

 각주 

 외부 링크 


분류:특수 함수
분류:적분학
분류:수리물리학