






















In this paper, given any random variable $ξ$ defined over a probability space $(Ω,\mathcal{F},Q)$, we focus on the study of the derivative of functions of the form $L\mapsto F_Q(L):=f\big((LQ)_ξ\big),$ defined over the convex cone of densities $L\in\mathcal{L}^Q:=\{ L\in L^1(Ω,\mathcal{F},Q;\mathbb{R}_+):\ E^Q[L]=1\}$ in $L^1(Ω,\mathcal{F},Q).$ Here $f$ is a function over the space $\mathcal{P}(\mathbb{R}^d)$ of probability laws over $\mathbb{R}^d$ endowed with its Borel $σ$-field $\mathcal{B}(\mathbb{R}^d)$. The problem of the differentiability of functions $F_Q$ of the above form has its origin in the study of mean-field control problems for which the controlled dynamics admit only weak solutions. Inspired by P.-L. Lions' results [18] we show that, if for given $L\in\mathcal{L}^Q$, $L'\mapsto F_{LQ}(L'):\mathcal{L}^{LQ}\rightarrow\mathbb{R}$ is differentiable at $L'=1$, the derivative is of the form $g(ξ)$, where $g:\mathbb{R}^d\rightarrow\mathbb{R}$ is a Borel function which depends on $(Q,L,ξ)$ only through the law $(LQ)_ξ$. Denoting this derivative by $\partial_1F((LQ)_ξ,x):=g(x),\, x\in\mathbb{R}^d$, we study its properties, and we relate it to partial derivatives, recently investigated in [6], and, moreover, in the case when $f$ restricted to the 2-Wasserstein space $\mathcal{P}_2(\mathbb{R}^d)$ is differentiable in P.-L. Lions' sense and $(LQ)_ξ\in\mathcal{P}_2(\mathbb{R}^d)$, we investigate the relation between the derivative with respect to the density of $F_Q(L)=f\big((LQ)_ξ\big)$ and the derivative of $f$ with respect to the probability measure. Our main result here shows that $\partial_x\partial_1F((LQ)_ξ,x)=\partial_μf((LQ)_ξ,x),\ x\in \mathbb{R}^d,$ where $\partial_μf((LQ)_ξ,x)$ denotes the derivative of $f:\mathcal{P}_2(\mathbb{R}^d)\rightarrow \mathbb{R}$ at $(LQ)_ξ$.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。