이토 적분

이토 적분은 브라운 운동에 대한 확률 과정을 통합하는 것을 가능하게 합니다. 브라운 경로가 무한한 변동을 가지기 때문에 일반적인 미적분학으로는 처리할 수 없는 작업이지만, 유한한 이차 변동과 영리한 평가점 선택을 활용하여 이를 해결합니다.

Definition

브라운 운동에 대한 예측 가능한 과정의 이토 적분은 각 부분 구간의 좌측 끝점에서 적분 함수를 평가하는 근사 합의 평균 제곱 수렴 극한으로, 단순 적분 함수에 대해 먼저 정의된 후 이토 등거리성에 의해 확장됩니다.

Scope

이 주제는 먼저 단순 예측 가능한 적분 함수에 대한 이토 적분의 구성과 이토 등거리성(Ito isometry)을 통한 제곱 적분 가능한 함수로의 확장, 연속 국소 마팅게일(continuous local martingales)로의 확장, 적분의 마팅게일 속성 및 이차 변동, 이토와 스트라토노비치(Stratonovich) 규약 간의 대비, 그리고 예측 가능성 및 비예측적 좌측 끝점 선택의 역할을 다룹니다.

Core questions

• 브라운 운동에 대한 적분이 왜 새로운 정의를 필요로 하는가?
• 이토 등거리성은 어떻게 구성이 작동하도록 하는가?
• 왜 적분 함수는 좌측 끝점에서 평가되어야 하며, 예측 가능성은 무엇을 보장하는가?
• 이토 적분은 스트라토노비치 적분과 어떻게 다른가?

Key concepts

• 예측 가능한 적분 함수
• 이토 등거리성
• 이차 변동
• 마팅게일 속성
• 이토 대 스트라토노비치

Key theories

이토 등거리성 및 구성

제곱 적분 가능한 예측 가능한 적분 함수에 대해 이토 적분의 평균 제곱은 제곱된 적분 함수의 기대 시간 적분과 같습니다. 이는 단순 과정에 대해 적분을 정의하고 완전성(completeness)에 의해 광범위한 적분 함수로 확장할 수 있게 하는 등거리성입니다.

적분의 마팅게일 속성

브라운 운동에 대한 적절한 예측 가능한 과정의 이토 적분은 그 자체로 연속 마팅게일이며, 이차 변동은 제곱된 적분 함수의 시간 적분으로 주어집니다. 이는 좌측 끝점, 비예측적 규약을 자연스러운 것으로 만듭니다.

Clinical relevance

이토 적분은 수리 금융에서 지속적으로 재조정되는 거래 전략의 이득, 물리 및 생물학적 시스템 모델에서 노이즈의 누적 효과, 확률 필터링에서 혁신 항(innovations term)을 나타내는 수학적 객체입니다. 그 마팅게일 속성은 무재정 가격 책정의 분석적 기반이 됩니다.

History

이토 키요시(Kiyosi Ito)는 1940년대에 브라운 운동에 의해 구동되는 미분 방정식에 의미를 부여하기 위해 확률 적분을 정의했으며, 스트라토노비치는 나중에 일반적인 연쇄 법칙(chain-rule) 동작을 가진 대안적인 규약을 도입했습니다. 마팅게일 속성을 가진 이토 구성은 확률 및 금융의 표준이 되었습니다.

Key figures

• Kiyosi Ito
• Ruslan Stratonovich
• Henry McKean

Seminal works

• karatzas1991

Frequently asked questions

왜 적분 함수는 좌측 끝점에서 평가되는가?

좌측 끝점을 사용하면 적분 함수가 비예측적(non-anticipating)으로 유지되어 브라운 운동의 미래 증분을 미리 볼 수 없습니다. 이것이 결과 적분을 마팅게일로 만들고 전략 및 제어의 인과적 특성을 반영합니다.

이토 적분은 스트라토노비치 적분과 어떻게 다른가?

스트라토노비치 적분은 적분 함수를 중간점에서 평가하고 일반적인 연쇄 법칙을 따르지만 마팅게일이 아닙니다. 반면 이토 적분은 좌측 끝점을 사용하고 마팅게일이며 수정된 이토 연쇄 법칙을 따릅니다. 둘은 이차 변동을 포함하는 보정 항(correction term)만큼 다릅니다.