최근 수정 시각 : 2022-06-17 19:16:47

스틸체스 적분

해석학 · 미적분학
Analysis · Calculus
{{{#!wiki style="word-break: keep-all; margin:0 -10px -5px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin:-6px -1px -11px; letter-spacing: -1px"
<colbgcolor=#8f76d6> 함수 합성 · 항등원 · 역원 · 멱함수( 비례·반비례 ) · 초등함수( 대수함수 · 초월함수) · 특수함수 · 범함수 · 다변수 ( 동차 · 숨은 함수( 다가 함수 )) · 그래프 · 대칭 · 증감표 · 극값 · 연속 · 매끄러움 · 계단형 · 미끄럼틀형 · 볼록/오목 · 닮은꼴 함수 · 병리적 함수 · 해석적 연속 · 로그함수 · 지수함수 · 삼각함수
정리 · 토픽 좌표계 · 중간값 정리 · 최대·최소 정리 · 부동점 정리 · 오일러 동차함수 정리 · 립시츠 규칙
극한 부정형 · 어림( 유효숫자 ) · 근방 · 수열의 극한 · 엡실론-델타 논법 · 수렴 ( 균등수렴 ) · 발산 · 점근선 · 무한대 · 무한소 · 스털링 근사
정리 · 토픽 로피탈의 정리 · 슈톨츠-체사로 정리
수열
급수
규칙과 대응 · 단조 수렴 정리 · 멱급수 · 테일러 급수 ( 일람 ) · 조화급수 · 그란디 급수 · 망원급수 ( 부분분수분해 ) · 오일러 수열 · 베르누이 수열 · 파울하버의 공식 · 리만 재배열 정리
정리 · 토픽 바젤 문제 · 라마누잔합 · 0.999…=1 · 콜라츠 추측미해결
미적분 미분 도함수 일람 · 차분 · 유율법 · 변화량 · 변분법 · 도함수 ( 편도함수 ) · 곱미분 · 몫미분 · 연쇄 법칙 · 역함수 정리 · 임계점 ( 변곡점 · 안장점 ) · 미분형식 · 미분방정식 ( 풀이 ) · [math(boldsymbolnabla)] · 라그랑주 승수법
적분 역도함수 일람 · 부분적분 ( LIATE 법칙 · 도표적분법 · 예제 ) · 치환적분 · 정적분 ( 예제 ) · 이상적분 · 중적분 ( 선적분 · 면적분 · 야코비안 ) · 르베그 적분 · 스틸체스 적분 · 코시 주요값
정리 · 토픽 평균값 정리 ( 롤의 정리 ) · 스토크스 정리 ( 발산 정리 · 그린 정리 ) · 라플라스 변환 · 푸리에 해석 ( 푸리에 변환 ) · 아다마르 변환 · 미적분의 기본정리 · 2학년의 꿈 · 리시 방법

해석
측도론 ( 측도 · 르베그 측도 ) · 유계( 콤팩트성 ) · 칸토어 집합 · 비탈리 집합
정리 · 토픽
복소
해석
복소평면 · 편각 · 코시-리만 방정식
정리 · 토픽 오일러 공식 ( 드 무아브르 공식 ) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
여타 하위 학문 수치해석학 ( FEM ) · 미분기하학 · 해석기하학 · 해석적 정수론 ( 소수 정리 ) · 벡터 미적분학 · 확률론 ( 중심극한정리 )
기타 뉴턴-랩슨 방법 · 디랙 델타 함수 · 리만 가설미해결 · 카오스 이론미해결 · merry=x-mas
응용 수리물리학 · 수리경제학( 경제수학) · 공업수학 }}}}}}}}}

1. 정의2. 기묘한 쓰임새3. 측도론적 해석: 르벡-스틸체스 적분4. 관련 문서

1. 정의

Stieltjes integral

수학자 스틸체스(Thomas Joannes Stieltjes, 1856-1894)가 고안한 실수 위에서의 적분의 한 종류로, 실함수 [math(f)], [math(g)]에 대해 다음과 같은 꼴의 적분을 말한다.

[math(\displaystyle \int_a^b f(x) \,{\rm d}g(x) )]

이 적분의 정의는 마치 리만 적분처럼 리만합의 극한으로 정의할 수 있다. 즉, [math([a,\,b])]의 분할 [math(a = t_0 < t_1 < \cdots < t_n = b)]에 대해 다음처럼 정의한다.

[math(\displaystyle \int_a^b f(x) \,{\rm d}g(x) = \lim_{\sup|t_i-t_{i-1}| \to 0} \sum_{i=1}^n f(x_i) \{g(t_i)-g(t_{i-1})\} \quad (x_i\in[t_{i-1},t_i]) )]

스틸체스 적분이 존재하려면, 어떤 식으로든 구간을 잡고 그 안의 어떤 원소를 잡더라도 저 극한값이 일정해야 한다. 리만 적분을 일반화한 이러한 정의 때문에 리만-스틸체스 적분(Riemann-Stieltjes integral)이라 부르기도 한다.

다만, [math(f)], [math(g)]가 모두 연속함수일지라도 이 극한이 존재하지 않을 때가 있다. 만약 [math(f)]가 연속이고 [math(g)]가 조각적으로(piecewise) 단조증가/단조감소라면[1] 적분을 잘 정의할 수 있다. 혹은 [math(g)]가 미분가능해도 된다. 자세히는 얘기하지 않겠지만, 더 고급 과정에서는 [math(g)]가 유계변동(bounded variation)[2]이면 된다는 등 더욱 포괄적인 조건을 찾을 수 있다.

그런데 사실 [math(g)]가 미분 가능하면 이건 그냥 리만 적분이다. 정확히는 다음이 성립한다. (우변은 일반 적분) 평균값의 정리를 쓰면 증명할 수 있다.

[math(\displaystyle \int_a^b f(x) \,{\rm d}g(x) = \int_a^b f(x) \,g'(x) \,{\rm d}x )]

굳이 잘 쳐준다면 치환적분이나 부분적분의 편한 표기에서 나오는 다른 변수에 대한 적분을 엄밀하게 정의했다고 볼 수 있긴 하지만, 그게 끝이다. 이렇게 보면 보통 적분이랑 크게 다를 바 없어 보여서 대학 미적분학 과정에서도 언급이 잘 안되는 비운의 대상이다. 굳이 이런 것에까지 이름을 붙이다니 수학자들 참 할 일 없다싶지만, 아래의 쓰임새를 보면 놀라울 따름이다.

2. 기묘한 쓰임새

아래와 같이 적분구간 [math(g)]에 불연속함수를 넣으면, 놀라운 성질이 나온다.

[math(g)]를 헤비사이드 계단 함수

[math(\displaystyle H(x) = \begin{cases} 1 & x\ge0 \\ 0 & x<0 \end{cases} )]

라고 하고, 구간 [math([-1,\,1])]에서 연속함수 [math(f)]의 적분을 계산해보자. 분할 [math(-1 = t_0 < t_1 < \cdots < t_n = 1)]에 대해, [math(H(t_{i}) - H(t_{i-1}))]은 오로지 [math(t_i \ge 0 > t_{i-1})]일 때만 값이 [math(1)]이고 나머지는 모두 [math(0)]이 된다. 즉, 리만 합은 [math(f(x_i))] ([math(x_i \in [t_{i-1},\,t_i])])인데, [math(t_i - t_{i-1} \rightarrow 0)]이고 [math(t_i \ge 0 > t_{i-1})]이므로 [math(x_i)]도 [math(0)]으로 수렴한다. [math(f)]가 연속이므로

[math(\displaystyle \int_{-1}^1 f(x) \,{\rm d}H(x) = f(0) )]

이 된다. 적분을 했는데 함수값이 나오는, 소위 말하는 디랙 델타 함수식 적분이 여기서 나올 수 있는 것이다.

더 나아가, 이 계단함수의 다음과 같은 일차결합

[math(\displaystyle g(x) = \sum_{i=1}^n \lambda_iH(x-x_i) )]

등을 생각한다면, 스틸체스 적분으로 다음과 같은 함수값 조합을 생각할 수도 있다.

[math(\displaystyle \int_{-\infty}^{\infty} f(x) \,{\rm d}g(x) = \sum_{i=1}^n \lambda_i f(x_i) )]

이는 이산 확률변수 기댓값이다.[3] 한편, 연속확률변수의 기댓값도 확률분포함수 [math(\varphi(x))]에 대한 다음 적분으로 나타난다는 걸 생각하면 무언가 묘하다.

[math(\displaystyle \mathbb{E}[f(X) ] = \int_{-\infty}^{\infty} f(x) \,\varphi(x) \,{\rm d}x )]

즉, 확률변수가 이산이건 연속이건, 기댓값은 누적분포함수 [math(F_X(a) = P(X \le a))]만을 사용하여 다음처럼 나타낼 수 있다.

[math(\displaystyle \mathbb{E}[f(X) ] = \int_{-\infty}^{\infty} f(x) \,{\rm d}F_X(x) )]

스틸체스 적분의 입장에서는, 이산확률변수와 연속확률변수를 구별할 필요가 없을 뿐더러, 이산도 연속도 아닌 확률분포도 누적분포함수만 있으면 같은 기준으로 품을 수 있다. 더 나아가서, 확률분포의 공간을 누적분포함수의 모음으로서 동일하게 생각할 수 있는데, 사실 누적분포함수가 만족해야 할 조건은 치역이 [math((0,\,1))]을 포함하고 [math([0,\,1])]에 포함되는 단조증가 함수이면 충분하다. 이산과 연속 사이의 틈을 완벽히 메꿔주었을 뿐만 아니라 이 틈을 포함한 실체가 무엇인지도 완벽하게 규명해낸 것이다.

이산적 경우의 비슷한 예로, 수열의 합을 구할 때 최대정수함수를 이용해 [math(\sum a_n = \int a(x) \,{\rm d}\lfloor x \rfloor)] 같이 나타낼 수 있다. 이렇게만 쓰면 장난 같아 보이지만, 스틸체스 적분에 대한 부분적분, 즉

[math(\displaystyle \int f \,{\rm d}g = fg - \int g \,{\rm d}f)]

를 활용하면 생각보다 기상천외한 결과들을 끌어낼 수 있다. 해석적 정수론에서 매우 유용한 기법으로, 이걸 이용해 오일러-마스케로니 상수의 존재성 같은 걸 증명하거나 심지어는 리만 제타 함수의 근사식을 구하기도 하는 등 스틸체스 적분은 정말 다방면에 활용된다.

3. 측도론적 해석: 르벡-스틸체스 적분

리만 적분과 르벡 적분의 관계처럼 스틸체스 적분을 측도론의 관점에서 일반화한 개념이다. 함수 [math(g)]가 구간 [math([a,\,b])] 내에서 유계변동이고 우연속(right continuous)[4]이면 [math({\rm d}g)]가

[math({\rm d}g([p,\,q]) = g(q)-g(p))]

를 만족하게 보렐 측도공간 [math(([a,\,b],\,\mathcal{B}([a,\,b])))] 위의 보렐 대수의 부호 있는 측도(signed measure)로 정의할 수 있다. 이렇게 보면 유계변동 조건의 의미를 [math(g)]의 '변량'인 [math({\rm d}g)]의 양수 파트와 음수 파트의 총합이 유한해야 한다는 조건으로 해석할 수도 있다. 하여튼 [math(f)]가 보렐 가측이고 [math({\rm d}g)]에 대해 적분가능이면, [math( \int_a^b f \,{\rm d}g)]는 단순히 이 [math({\rm d}g)]에 대한 (측도론적) 적분으로 정의할 수 있다. 이를 르벡-스틸체스 적분(Lebesgue-Stieltjes integral)이라 부르며, 만약 [math(f,\,g)]에 대해 리만-스틸체스 적분이 존재한다면 둘은 일치한다. 덕분에 측도론을 배운 이후라면 마치 리만 적분을 르벡 적분으로 모두 대체하듯이 르벡-스틸체스 적분은 스틸체스 적분을 모두 대체하는 역할을 맡게 된다.

이렇게만 쓰면 비교적 간단해 보이지만, 이는 측도론을 이해하는 데에 필요한 노력들이 모두 생략되어 있기 때문이다. 하지만, 바꿔 말하면, 이 스틸체스 적분도 측도를 이해하는 데에 나름 흥미로운 동기부여로 사용될 수 있다는 뜻이 된다. 실제로 르벡이 여기에 영감을 받았는지는 정확하게 알 수는 없겠지만, 확률론 등을 배우고 있는 사람들은 이런 연결고리도 한번쯤 생각해 볼 수 있을 것이다.

4. 관련 문서


[1] 즉, 주어진 구간을 유한 개의 구간으로 분할해서 각각의 구간에서 [math(g)]가 단조증가 혹은 단조감소가 되게 할 수 있으면 [2] 유계변동의 정확한 정의는 다음과 같다. 임의의 분할 [math(a = t_0 < t_1 < \cdots < t_n = b)]에 대해 [math(|g(t_{i+1})-g(t_i)|)]의 총합이 상계를 가질 때, 함수 [math(g)]가 구간 [math([a,\,b])]에서 유계변동이라고 한다. 연속보다는 강하고 미분가능보다는 약한 조건이다. [3] 정확히 말하면, [math(P(X=x_i) = \lambda_i)]인 확률변수 [math(X)]에 대한 기댓값 [math(\mathbb E[f(X) ])] [4] 우극한이 존재하고 함수값이랑 항상 일치하는 조건. 비슷하게 좌연속(left continuous)도 생각할 수 있고, 좌연속이며 우연속이면 연속함수이다.