[논문 리뷰] Fatou's Lemma in Its Classic Form and Lebesgue's Convergence Theorems for Varying Measures with Applications to MDPs

Eugene A. Feinberg, Pavlo O. Kasyanov외 1명|arXiv (Cornell University)|2019. 02. 05.

Risk and Portfolio Optimization참고 문헌 17인용 수 5

한 줄 요약

이 논문은 함수가 양수 및 음수 값을 모두 가질 수 있는 경우에도, 약한 수렴 및 집합별 수렴하는 측도의 수열에 대해 고전적 형태의 파투의 보조정리와 르베그 수렴정리가 성립할 충분조건을 규명한다. 핵심 기여는 기존의 결과를 일반화함으로써, 평균비용 마코프 결정과정(MDP)에서 최적성 방정식을 이전에 알려진 조건보다 넓은 조건 하에서 증명할 수 있도록 한 것이다.

ABSTRACT

The classic Fatou lemma states that the lower limit of a sequence of integrals of functions is greater or equal than the integral of the lower limit. It is known that Fatou's lemma for a sequence of weakly converging measures states a weaker inequality because the integral of the lower limit is replaced with the integral of the lower limit in two parameters, where the second parameter is the argument of the functions. This paper provides sufficient conditions when Fatou's lemma holds in its classic form for a sequence of weakly converging measures. The functions can take both positive and negative values. The paper also provides similar results for sequences of setwise converging measures. It also provides Lebesgue's and monotone convergence theorems for sequences of weakly and setwise converging measures. The obtained results are used to prove broad sufficient conditions for the validity of optimality equations for average-cost Markov decision processes.

연구 동기 및 목표

• 약한 수렴하는 측도 수열에 대해 파투의 보조정리가 고전적 형태로 성립할 충분조건을 규명하는 것.
• 이러한 결과를 집합별 수렴하는 측도 수열으로 확장하고, 이러한 수열에 대해 유사한 르베그 수렴정리 및 단조 수렴정리를 확립하는 것.
• 일반화된 수렴정리를 적용하여 평균비용 마코프 결정과정(MDP)에서 최적성 방정식의 타당성을 위한 광범위한 충분조건을 도출하는 것.
• 이전에 알려진 조건들—특히 등연속성과 연속성—을 완화하기 위해 하방 점근적 등연속성 조건(LEC)을 더 일반적인 대체 조건으로 도입하는 것.

제안 방법

• 저자들은 등연속성을 일반화하고 비연속적 극한을 允허할 수 있는 함수 수열의 하방 점근적 등연속성(LEC) 개념을 도입한다.
• LEC 조건과 유계성 조건 하에서, 약한 수렴에 대한 파투의 보조정리에서 이중 하한극한이 표준 liminf로 축소됨을 증명함으로써 고전적 부등식 형태로 복귀함을 보인다.
• 이 방법은 두 변수에서의 하한극한을 적분의 하한극한과 비교함으로써, 약한 수렴 및 집합별 수렴 하에서 적분의 행동을 분석하는 데 중점을 둔다.
• 측도론적 도구, 특히 확률분포 수렴, 총변동, 보렐 가측 공간을 사용하여 확장된 실수값 함수의 적분을 다룬다.
• MDP에 적용하기 위해 할인 가치 함수를 α → 1로 수렴시키는 방식으로, 수렴정리를 활용해 평균비용 극한으로 넘어가는 것을 분석한다.
• 핵심 기술 도구로는 균일 적분 가능성과 적분 수렴을 제어하기 위한 하방 가측성 주요 함수의 사용이 포함된다.

실험 결과

연구 질문

• RQ1 함수가 양수 및 음수 값을 모두 가질 수 있는 경우에도, 약한 수렴하는 측도 수열에 대해 파투의 보조정리가 고전적 형태로 성립할 조건은 무엇인가?
• RQ2 르베그의 수렴정리 및 단조 수렴정리는 약한 수렴 및 집합별 수렴하는 측도 수열으로 어떻게 일반화될 수 있는가?
• RQ3 값 함수 수열과 전이핵심에 어떤 조건이 요구되어야 평균비용 최적성 방정식(MDP)이 타당해지는가?
• RQ4 이전의 MDP 수렴 결과에서 요구되던 등연속성 가정은 어떻게 완화될 수 있으며, 만약 가능하다면 어떤 대체 조건이 필요한가?
• RQ5 새로운 조건들(예: LEC)은 기존의 연속성 또는 등연속성과 비교해 강도가 어떻게 다른가?

주요 결과

• 함수 수열이 하방 점근적 등연속성(Lower Semi-Equicontinuity, LEC)이면서 균일 적분 가능할 경우, 약한 수렴하는 측도 수열에 대해 파투의 보조정리가 고전적 형태로 성립한다.
• 논문은 왼쪽 항이 이중 하한극한을 포함하는 일반화된 파투 보조정리를 확립하였으며, 이는 LEC 조건 하에서 표준 liminf로 축소됨을 보였다.
• LEC 조건과 유계성 조건 하에서, 르베그 수렴정리 및 단조 수렴정리는 약한 수렴 및 집합별 수렴하는 측도 수열로 확장된다.
• 평균비용 최적성 방정식(ACOE)은 이전의 가정들—예를 들어 EC(등연속성) 또는 W* (연속성)—보다 엄격히 더 약한 조건 W*, B, 및 LEC(ii,iii) 하에서 타당함이 증명되었다.
• 값 함수가 비연속임에도 불구하고 ACOE가 성립하는 예시를 구성함으로써, LEC 조건이 EC 조건보다 엄격히 더 일반적임을 보였다.
• 결과들은 장기 평균비용을 가진 MDP에 적용되어, 넓고 검증 가능한 조건 하에서 정적 정책가 ACOE를 만족함을 증명하였다.