arXiv2014
Let $(W,H,μ)$ be the classical Wiener space where $H$ is the Cameron-Martin space which consists of the primitives of the elements of $L^2([0,1],\,dt)\otimes \R^d$, we denote by $L^2_a(μ,H)$ the equivalence classes w.r.t. $dt\times dμ$ whose Lebesgue densities $s\to\dot{u}(s,w)$ are almost surely adapted to the canonical Brownian filtration. If $f$ is a Wiener functional s.t. $\frac{1}{E[e^{-f}]}e^{-f}dμ$ is of finite relative entropy w.r.t. $μ$, we prove that \beaa J_\star&=& \inf\left(E_μ\left[f\circ U+\half |u|_H^2\right]: u\in L_a^2(μ,H)\right)\\ &\geq&-\log E_μ[e^{-f}]=\inf\left(\int_W fd\ga+H(\ga|μ):\,ν\in P(W)\right) \eeaa where $P(W)$ is the set of probability measures on $(W,\calB(W))$ and $H(\ga|μ)$ is the relative entropy of $\ga$ w.r.t. $μ$. We call $f$ a tamed functional if the inequality above can be replaced with equality, we characterize the class of tamed functionals, which is much larger than the set of essentially bounded Wiener functionals. We show that for a tamed functional the minimization problem of l.h.s. has a solution $u_0$ if and only if $U_0=I_W+u_0$ is almost surely invertible and $$ \frac{dU_0μ}{dμ}=\frac{e^{-f}}{E_μ[e^{-f}]} $$ and then $u_0$ is unique. To do this is we prove the theorem which says that the relative entropy of $U_0μ$ is equal to the energy of $u_0$ if and only if it has a $μ$-a.s. left inverse. We use these results to prove the strong existence of the solutions of stochastic differentail equations with singular (functional) drifts and also to prove the non-existence of strong solutions of some stochastic differential equations. \noindent {\sl Keywords:} Invertibility, entropy, Girsanov theorem, variational calculus, Malliavin calculus, large deviations