1: \begin{definition}[Diffusion operator] \label{def:DiffOp}

2: 			The linear operator $A: \ASpace \rightarrow \DenSpace$ such that

3: 			\begin{IEEEeqnarray*}{c}

4: 				A a = \int_{0}^{\sigmax} G_\sigma a_\sigma \dint\sigma,\, \forall a \in \ASpace\,,

5: 			\end{IEEEeqnarray*}

6: 			represents the dependence between $a$ and $\obs$ specified by Theorem~\ref{theorem:2D-DataModel}. Here,

7: 			$a_\sigma : \reals^2 \rightarrow \reals_+$ is such that $a_\sigma(\pos) = a(\pos,\sigma)$, $\forall (\pos,\sigma)\in\Omega$.

8: 		\end{definition}

9: