Consider two r.v.s $X,Y\geq1$ defined on the probability space $(\Omega,\mathcal{F},\mathbb{P})$ which may not necessarily be integrable. Let $\mathbb{E}[X\mid \mathcal{G}]:=\lim_{n\to\infty}E[X\wedge n\mid\mathcal{G}]$ where $\mathcal{G}$ is any sub-$\sigma$-algebra of $\mathcal{F}$. I have $\mathbb{E}(X\mid Y)=Y$ and $\mathbb{E}(Y\mid X)=X$. I need to prove the following: i) $\mathbb{E}\left(\frac{X}{Y}\right)=\mathbb{E}\left(\frac{Y}{X}\right)=1$; and ii) $X=Y$ a.s. by comparing $\mathbb{E}(1/X)$ and $1/\mathbb{E}(X)$. I also need to somehow use these to show that if instead $X,Y\geq-1$, $X=Y$ a.s.
I have read through the proofs outlined in here but the conditions for this case are not the same as the one here (since we cannot assume integrability anyway). What should I do in this case? I don’t really know to go about both cases. Thanks!
Suppose that $\mathbb E\left[\frac{X}{Y}\right]=\mathbb E\left[\frac{Y}{X}\right]=1$.
Since $U=\frac{X}{Y}> 0$ is integrable and $x\rightarrow \frac{1}{x}$ is strictly convex on $]0,+\infty[$, Jensen inequality says that \begin{align*} \mathbb E\left[\frac{1}{U}\right]&\geq\frac{1}{\mathbb E[U]} \end{align*} with equality if and only if $U$ is almost surely constant (and so $U=\mathbb E[U]~a.s.$). By the previous inequality, we know that $\mathbb E[U]=1$ and $\mathbb E\left[\frac{1}{U}\right]=\mathbb E\left[\frac{Y}{X}\right]=1$ so we have equality. This means that $\frac{X}{Y}=\mathbb E[U]$ almost surely and so we indeed get $X=Y$ almost surely.
We can compute \begin{align*} \mathbb E\left[\frac{X}{Y}\middle| Y\right] &= \lim_{n\to \infty} \mathbb E\left[\frac{X}{Y}\land n\middle| Y\right]\\ &= \frac{1}{Y}\lim_{n\to \infty} \mathbb E\left[X\land (Yn)\middle| Y\right]\\ &= \frac{1}{Y}\lim_{x\to \infty} \mathbb E\left[X\land x\middle| Y\right]\\ &= \frac{1}{Y}\mathbb E[X|Y]\\ &= 1 \end{align*} almost surely. We change the limit from $n$ to $x$ by multiplying by $Y\geq 1$, observe that $X\land (Yn)$ and $X\land x$ will converge to the same limit almost surely by conditional dominated convergence theorem (actuelly they converge to $X$). However there may be some integrability conditions I missed for the conditional dominated convergence theorem.