I am currently working on a problem related to the measurability of multi-functions in the context of mathmatical economics. Specifically, I am searching for sufficient conditions regarding the graph measurability of a multi-function.

Formally speaking, the assumptions are as follows.

• $(T, \sum)$ is a measurable space
• $X$ is a separable Banach space
• $B:T\twoheadrightarrow X$ is a multi-function such that $B(t)$ is a nonempty weakly compact subset of $X$ for all $t \in T.$ And, its graph is $\sum \otimes \mathcal{B}(X)$-measurable,where $\mathcal{B}(X)$ denotes the Borel $\sigma$-algebra of $X$.
• $P:T\times X \twoheadrightarrow X$ is a multi-function.

Then, define $D:T\twoheadrightarrow X$ as $D(t) = \{x \in B(t): P(t,x) \cap B(t) = \emptyset\}$.

I am searching for a sufficient condition on $P$ for the graph measurablity of $D$. If the graph of $P$ is $\sum \otimes \mathcal{B}(X)\otimes \mathcal{B}(X)$-measurable, then does $D$ have a $\sum \otimes \mathcal{B}(X)$-measurable graph?

I would greatly appreciate insights or suggestions.

Thank you.