Skip to main content
deleted 78 characters in body
Source Link
user111
  • 4k
  • 1
  • 14
  • 33

The first possibilityThere is to replace weak convergencea version of the sequence $\mu_{n}$ with setwise convergencea generalized Fatou lemma, under the condition that is $$ \int _ { A } f ( s ) \mu _ { n } ( d s ) \rightarrow \int _ { A } f ( s ) \mu ( d s ) \quad \text { as } \quad n \rightarrow + \infty, $$ for any bounded, for all measurable functionset $f$$E$, $\liminf_n \mu_n(E)\leq\mu(E)$, see p

O.231 of H Hernández-Lerma, J-B. RoydenLasserre, Real Analysis Fatou's lemma and Lebesgue's convergence theorem for measures, 1968J. Appl. Math. Stochastic Anal. 13 (2000), no. 2, 137–146.

The second possibilityThere is to keepalso the weak convergence of $\mu_{n}$ butpossibility to modify the right-hand side of the seeked inequality as shown in

E. Feinberg, P. Kasyanov, N. Zadoianchuk, Fatou's lemma for weakly converging probabilities, Theory Probab. Appl. 58 (2014), no. 4, 683-689 (Arxiv1206.4073).

Theorem 1.1 p.2, stated for measurable functions instead of sets, says

Let $\{\mu_{n}\}\subset\mathbb{P}(A)$ converge weakly to $\mu\in\mathbb{P}(A)$, and let $\{f_{n}\}_{n\geq1}$ be a sequence of measurable nonnegative $\overline{\mathbb{R}}$-valued functions on $A$. Then $$ \int \liminf_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ) \leq \liminf _ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s ). $$ or, equivalently, with $\limsup$ instead of $\liminf$, and a sequence $\{f_{n}\}$ of measurable functions uniformly bounded above, $$ \limsup_ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s )\leq \int \limsup_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ). $$

The first possibility is to replace weak convergence of the sequence $\mu_{n}$ with setwise convergence, that is $$ \int _ { A } f ( s ) \mu _ { n } ( d s ) \rightarrow \int _ { A } f ( s ) \mu ( d s ) \quad \text { as } \quad n \rightarrow + \infty, $$ for any bounded measurable function $f$, see p.231 of H. Royden, Real Analysis, 1968.

The second possibility is to keep the weak convergence of $\mu_{n}$ but to modify the right-hand side of the inequality as shown in

E. Feinberg, P. Kasyanov, N. Zadoianchuk, Fatou's lemma for weakly converging probabilities, Theory Probab. Appl. 58 (2014), no. 4, 683-689 (Arxiv1206.4073).

Theorem 1.1 p.2, stated for measurable functions instead of sets, says

Let $\{\mu_{n}\}\subset\mathbb{P}(A)$ converge weakly to $\mu\in\mathbb{P}(A)$, and let $\{f_{n}\}_{n\geq1}$ be a sequence of measurable nonnegative $\overline{\mathbb{R}}$-valued functions on $A$. Then $$ \int \liminf_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ) \leq \liminf _ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s ). $$ or, equivalently, with $\limsup$ instead of $\liminf$, and a sequence $\{f_{n}\}$ of measurable functions uniformly bounded above, $$ \limsup_ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s )\leq \int \limsup_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ). $$

There is a version of a generalized Fatou lemma, under the condition that, for all measurable set $E$, $\liminf_n \mu_n(E)\leq\mu(E)$, see

O. Hernández-Lerma, J-B. Lasserre, Fatou's lemma and Lebesgue's convergence theorem for measures, J. Appl. Math. Stochastic Anal. 13 (2000), no. 2, 137–146.

There is also the possibility to modify the right-hand side of the seeked inequality as shown in

E. Feinberg, P. Kasyanov, N. Zadoianchuk, Fatou's lemma for weakly converging probabilities, Theory Probab. Appl. 58 (2014), no. 4, 683-689 (Arxiv1206.4073).

Theorem 1.1 p.2, stated for measurable functions instead of sets, says

Let $\{\mu_{n}\}\subset\mathbb{P}(A)$ converge weakly to $\mu\in\mathbb{P}(A)$, and let $\{f_{n}\}_{n\geq1}$ be a sequence of measurable nonnegative $\overline{\mathbb{R}}$-valued functions on $A$. Then $$ \int \liminf_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ) \leq \liminf _ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s ). $$ or, equivalently, with $\limsup$ instead of $\liminf$, and a sequence $\{f_{n}\}$ of measurable functions uniformly bounded above, $$ \limsup_ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s )\leq \int \limsup_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ). $$

Source Link
user111
  • 4k
  • 1
  • 14
  • 33

The first possibility is to replace weak convergence of the sequence $\mu_{n}$ with setwise convergence, that is $$ \int _ { A } f ( s ) \mu _ { n } ( d s ) \rightarrow \int _ { A } f ( s ) \mu ( d s ) \quad \text { as } \quad n \rightarrow + \infty, $$ for any bounded measurable function $f$, see p.231 of H. Royden, Real Analysis, 1968.

The second possibility is to keep the weak convergence of $\mu_{n}$ but to modify the right-hand side of the inequality as shown in

E. Feinberg, P. Kasyanov, N. Zadoianchuk, Fatou's lemma for weakly converging probabilities, Theory Probab. Appl. 58 (2014), no. 4, 683-689 (Arxiv1206.4073).

Theorem 1.1 p.2, stated for measurable functions instead of sets, says

Let $\{\mu_{n}\}\subset\mathbb{P}(A)$ converge weakly to $\mu\in\mathbb{P}(A)$, and let $\{f_{n}\}_{n\geq1}$ be a sequence of measurable nonnegative $\overline{\mathbb{R}}$-valued functions on $A$. Then $$ \int \liminf_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ) \leq \liminf _ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s ). $$ or, equivalently, with $\limsup$ instead of $\liminf$, and a sequence $\{f_{n}\}$ of measurable functions uniformly bounded above, $$ \limsup_ { n \rightarrow \infty } \int f _ { n } ( s ) \mu _ { n } ( d s )\leq \int \limsup_{n\to\infty,~s'\to s}f _ { n } ( s ^ { \prime } ) \mu ( d s ). $$