Intereting Posts

What is continuity correction in statistics
Prove the following limit $ \lim_{n\to \infty} (3^n + 4^n)^{1/n} = 4 $
Shooting Game for Fun
Quadratic reciprocity: Tell if $c$ got quadratic square root mod $p$
Every point of a grid is colored in blue, red or green. How to prove there is a monochromatic rectangle?
Automorphisms in unit disk
trace of the matrix $I + M + M^2$ is
Show that $d_b(x,y)=\frac{d(x,y)}{1+d(x,y)}$ is a metric.
If $Y$ is connected, why is $A\cup Y$ connected in this case?
Convergence and closed form of this infinite series?
Elementary problems
Name of this identity? $\int e^{\alpha x}\cos(\beta x) \space dx = \frac{e^{\alpha x} (\alpha \cos(\beta x)+\beta \sin(\beta x))}{\alpha^2+\beta^2}$
Proof that a sequence of continuous functions $(f_n)$ cannot converge pointwise to $1_\mathbb{Q}$ on $$
counting Number of matrices
How to compute infinite series $\sum_{n=0}^{\infty} ne^{-n}$

My question is: For $f_n, g, h \in L^p(X)$, where $X$ is a finite measure space, if $f_n$ converges to $g$ a.e and $f_n$ converges to $h$ weakly in $L^p$, can we conclude any relationship between $g$ and $h$? Thanks!

- What is the limit of $n \sin (2 \pi \cdot e \cdot n!)$ as $n$ goes to infinity?
- Showing that the space $C$ with the $L_1$ norm is incomplete
- Simplifying Multiple Integral for Compound Probability Density Function
- A question about Darboux functions
- Prove: bounded derivative if and only if uniform continuity
- Irrational and rational sequence proof

- Uniform continuity of $f(x) = x \sin{\frac{1}{x}}$ for $x \neq 0$ and $f(0) = 0.$
- If $\,\lim_{x\to 0} \Big(f\big({a\over x}+b\big) - {a\over x}\,f'\big({a\over x}+b\big)\Big)=c,\,$ find $\,\lim_{x\to\infty} f(x)$
- Why do we want TWO open sets from the inverse function theorem?
- Solving $x^x=\frac{1}{\sqrt 2}$
- Showing existence of a subsequence
- Unit square as union of two simplexes
- To prove : If $f^n$ has a unique fixed point $b$ then $f(b)=b$
- Pick out the correct choices for a continuous function

This may be a sledgehammer and is only a partial answer for the case when $1<p<\infty$.

Here are three facts:

1) Weakly convergent sequences are norm bounded (see for instance page 255 of this ).

2) For $1<p<\infty$, norm bounded sequences that converge pointwise a.e. are weakly convergent to their pointwise limit (see, e.g, Theorem 13.44 in Hewitt and Stromberg’s, *Real and Abstract Analysis*).

3)Weak limits are unique.

Thus, if $f_n$ converges weakly to $h$ in $L_p$ for $1<p<\infty$ and converges pointwise to $g$ a.e, it follows that $f=g$ almost everywhere.

More sledgehammers:

For $p=1$ with a finite measure space:

Weak convergence of $\{f_n\}$ insures that $\{f_n\}$ is uniformly integrable. This is known as the

Dunford-Pettis theorem

(see, e.g., pg. 59 here or IV.8.11 in Dunford and Schwartz’ *Linear Operators, Part 1, General Theory*). By the Vitali Convergence Theorem (see also page 163

here), then, $\{f_n\}$ converges to $g$ in $L_1$. Then, since convergence in norm to $g$ implies weak convergence to $g$, we must have $g=h$ a.e. .

I will assume $1<p<\infty$.Since we work on a finite measured space, we can use Egoroff theorem. Fix $\phi\in L^q$ where $q$ is the conjugate exponent (i.e. $p^{-1}+q^{-1}=1$). Fix $\varepsilon>0$, and $\delta>0$ such that if $\mu(A)\leq \delta$ then $\int_A |\phi|^q\leq \varepsilon^q$. Thanks to Egoroff’s theorem, we can find $A_{\delta}$ such that $f_n\to g$ uniformly on $A_{\delta}$ and $\mu(A_{\delta}^c)\leq \delta$. So

\begin{align*}

\left|\int_X(g-h)\phi\right|d\mu&\leq \limsup_n\left|\int_X(g-f_n)\phi\right|d\mu+\left|\int_X(f_n-h)\phi\right|d\mu\\

&\leq \limsup_n\left|\int_X(g-f_n)\phi\right|d\mu\\

&\leq \limsup_n\left|\int_{A_{\delta}}(g-f_n)\phi\right|d\mu+\left|\int_{A_{\delta}^c}(g-f_n)\phi\right|d\mu\\

&\leq \limsup_n\:\sup_{A_{\delta}}|g-f_n|\left(\int_X|\phi|^qd\mu\right)^{\frac 1q}+\sup_k\lVert g-f_k\rVert_{L^p}\left(\int_{A_{\delta}}|\phi|^q\right)^{\frac 1q}\\

&\leq \varepsilon\cdot \sup_k\lVert g-f_k\rVert_{L^p}

\end{align*}

so $\int_X(g-h)\phi d\mu=0$ for all $\phi \in L^q$: we conclude that $g=h$ almost everywhere.

- Factoring a number $p^a q^b$ knowing its totient
- Definition of sequential continuity: converse?
- Are fractions with prime numerator and denominator dense?
- Applying Freyd-Mitchell's embedding theorem on large categories
- Evaluating $\int\frac{x^b}{1+x^a}~dx$ for $a,b\in\Bbb N$
- Embedding of a field extension to another
- Combination of quadratic and arithmetic series
- Why is the sum of residues of $\frac{1}{1+z^n}$ in the upper half plane $1/$?
- A continuous bijection $f:\mathbb{R}\to \mathbb{R}$ is an homeomorphism?
- Inverse of a matrix with uniform off diagonals
- Minimum size of the generating set of a direct product of symmetric groups
- The sum of fractional powers $\sum\limits_{k=1}^x k^t$.
- Algorithm for calculating $A^n$ with as few multiplications as possible
- Construction of the pre-addition
- Integral dx term sanity check