We study Sobolev a priori estimates for the optimal transportation $T = \nabla \Phi$ between probability measures $\mu=e^{-V} \ dx$ and $\nu=e^{-W} \ dx$ on $\R^d$.
Assuming uniform convexity of the potential $W$ we show that $\int \| D^2 \Phi\|^2_{HS} \ d\mu$, where $\|\cdot\|_{HS}$ is the Hilbert-Schmidt norm,
is controlled by the Fisher information of $\mu$. In addition, we prove similar estimate for the $L^p(\mu)$-norms of $\|D^2 \Phi\|$ and obtain some $L^p$-generalizations of the well-known Caffarelli
contraction theorem.
We establish a connection of our results with the Talagrand transportation inequality.
We also prove a corresponding dimension-free version for the relative Fisher information with respect to a Gaussian measure.
We find exact small deviation asymptotics with respect to a weighted Hilbert norm for some well-known Gaussian processes. Our approach does not require knowledge of the eigenfunctions of the covariance operator of a weighted process. Such a peculiarity of the method makes it possible to generalize many previous results in this area. We also obtain new relations connected to exact small deviation asymptotics for a Brownian excursion, a Brownian meander, and Bessel processes and bridges.