Skip to main content
1 of 2
user avatar
user avatar

How to characterize Radon Nikodym's derivative of a coupling with respect to any measure in the product space?

In my math essay of thesis I have defined the probability coupling as follows

$$\Pi(\mu,\nu)=\left\lbrace \pi \in \Omega \left\vert \begin{matrix} \pi(A\times\mathcal{Y})=\mu(A) \\ \pi(\mathcal{X} \times B)=\nu(B) \end{matrix}\right. \right\rbrace, \quad \begin{matrix} A\subset \mathcal{X} \\ B\subset \mathcal{Y} \end{matrix}$$

Where $\pi$ is a probability measure, $\Omega$ is the combined probability space and $\mathcal{X}$ and $\mathcal{Y}$ are the probability spaces of measures $\mu$ and $\nu$ respectfully. We suppose that $\mathcal{X}=\mathcal{Y}$.

We consider $\pi \in\Pi(\mu,\mathbb{P}_{N})$ where $\mathbb{P}_{N}$ is a empirical distribution, that is, there are $X_{1},\ldots,X_{N}$ such that $\mathbb{P}_{N}=\frac{1}{N}\sum_{i=1}^{N}\delta_{X_{i}}$. Let $\mathbb{Q}\in \Omega$ be other measure such that $\pi$ is absolutelly continuous respect to $\mathbb{Q}$.

The question: We consider $\frac{d\pi}{d\mathbb{Q}}:\mathcal{X}\times \mathcal{Y}\rightarrow \mathbb{R}$ the Radon Nikodyn of $\pi$ respect to $\mathbb{Q}$, then for all $y\in\mathcal{X}$ we can define the function $\left.\frac{d\pi}{d\mathbb{Q}} \right|_{y}:\mathcal{X}\rightarrow \mathbb{R}$ defined by $\left.\frac{d\pi}{d\mathbb{Q}} \right|_{y}(x):=\frac{d\pi}{d\mathbb{Q}}(x,y)$.

Given that $\pi \in\Pi(\mu,\mathbb{P}_{N})$, is there a way to characterize $\left.\frac{d\pi}{d\mathbb{Q}} \right|_{X_{i}}$ for each $i=1,\ldots,N$?

If $\mathbb{Q}=m$ where $m$ is the Lebesgue measure on $\Omega$, is there such a characterization of $\left.\frac{d\pi}{dm} \right|_{X_{i}}$ for each $i=1,\ldots,N$?

user70004