[논문 리뷰] The Fitzpatrick function - a bridge between convex analysis and multivalued stochastic differential equations

Aurel Rùascanu, Eduard Rotenstein|ArXiv.org|2008. 09. 25.

Stochastic processes and financial applications참고 문헌 13인용 수 14

한 줄 요약

이 논문은 최대 단조 연산자를 통해 구동되는 정방향 및 역방향 다가우수 확률미분방정식(SDEs)을 해결하기 위한 새로운 변분 접근법을 제안한다. 피츠패트릭 함수를 사용하여 해의 존재성을 볼록 최소화 문제로 재구성한다. 주요 기여는 해의 존재성을 최소화를 통해 보장하는 통합 프레임워크를 제공하며, 하위미분 연산자 외의 일반적인 최대 단조 연산자까지 결과를 확장한다는 점이다.

ABSTRACT

Using the Fitzpatrick function, we characterize the solutions for different classes of deterministic and stochastic differential equations driven by maximal monotone operators (or in particular subdifferential operators) as the minimum point of a suitably chosen convex lower semicontinuous function. Such technique provides a new approach for the existence of the solutions for the considered equations.

연구 동기 및 목표

• 일반적인 최대 단조 연산자를 갖는 역방향 확률미분방정식의 해 존재성 문제를 하위미분의 경우를 초월해 해결하기 위해.
• 최대 단조 연산자를 통해 구동되는 정방향 및 역방향 SDEs를 볼록 해석학을 통해 통합적으로 다루기 위해.
• 피츠패트릭 함수를 통해 SDEs를 볼록 최소화 문제로 환원함으로써 이러한 방정식에 대한 새로운 존재성 증명을 제공하기 위해.
• 볼록 해석학 기법의 적용 범위를 다가우수 드리프트를 갖는 확률미분방정식으로 확장하기 위해.
• 해를 적절히 구성된 볼록 함수의 최소화자로 변분적으로 특성화하기 위해.

제안 방법

• 최대 단조 연산자를 볼록 함수로 표현하기 위해 피츠패트릭 함수를 사용하여 SDEs의 변분 형식을 가능하게 한다.
• 정방향 및 역방향 SDEs의 해는 적응 과정 위에 정의된 볼록이고 하부연속적인 함수기능의 최소화자로 특성화된다.
• 정방향 방정식의 존재성을 확립하기 위한 핵심 중간 단계로 일반화된 스토로호드 문제를 분석한다.
• 함수기능 J의 볼록성과 하부연속성에 기반하여, 이는 볼록 하부연속 함수들의 Supremum임을 보여준다.
• 적절한 함수 공간에서 컴actness와 하부연속성의 논증을 통해 최소화자의 존재를 증명한다.
• 최소화자가 피츠패트릭 표현을 통해 하위미분 포함 조건을 만족함을 확인함으로써, 원래 SDE를 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 최대 단조 드리프트를 갖는 정방향 SDE의 해 존재성은 피츠패트릭 함수를 사용한 볼록 최소화를 통해 확립될 수 있는가?
• RQ2 동일한 변분 접근법은 하위미분 외의 일반적인 최대 단조 연산자를 갖는 역방향 SDEs로 확장될 수 있는가?
• RQ3 피츠패트릭 함수는 정방향 및 역방향 확률미분방정식을 어떻게 통합적으로 다룰 수 있게 하는가?
• RQ4 원래 SDE의 해에 대응하는 최소화자가 되는 정확한 볼록 함수는 무엇인가?
• RQ5 볼록 함수기능의 최소화자가 원래 확률미분포함 조건을 만족하는 조건은 무엇인가?

주요 결과

• 정방향 SDE (1)의 해는 적응 과정 위에 정의된 볼록이고 하부연속적인 함수기능의 최소화자로 특성화된다.
• 역방향 SDE (2)의 경우, 해는 볼록 함수기능의 최소화자로 나타나며, 하위미분의 경우를 초월한 존재성 결과를 확장한다.
• 피츠패트릭 함수는 최대 단조 연산자를 변분적으로 표현할 수 있게 하여, SDE의 존재 문제를 볼록 최소화 문제로 환원한다.
• 함수기능의 최소화자가 하위미분 포함 조건을 만족함을 확인함으로써, 원래 SDE의 해임을 입증한다.
• 이 방법은 최소화자가 하위미분이 아닌 경우에도 정방향 및 역방향 방정식의 존재성을 통합된 프레임워크에서 확립한다.
• 함수기능의 볼록성과 하부연속성은 최소화자의 존재를 보장하며, 이는 확률미분방정식의 해에 대응한다.