Search

By using stochastic analysis, two probability versions of Li-Yau type inequalities are established for diffusion semigroups on a manifold possibly with (non-convex) boundary. The inequalities are explicitly given by the Bakry-Emery curvature-dimension, as well as the lower bound of the second fundamental form if the boundary exists. As applications, a number of global and local estimates are presented, which extend or improve existing ones derived for manifolds without boundary. Compared with the maximum principle technique developed in the literature, the probabilistic argument we used is more straightforward and hence considerably simpler., Comment: 27

We identify the leading term in the asymptotics of the quadratic Wasserstein distance between the invariant measure and empirical measures for diffusion processes on closed weighted four-dimensional Riemannian manifolds. Unlike results in lower dimensions, our analysis shows that this term depends solely on the Riemannian volume of the manifold, remaining unaffected by the potential and vector field in the diffusion generator.

Let $E$ be the class of finite (resp. probability) measures absolutely continuous with respect to a $\sigma$-finite Radon measure on a Polish space. We present a criterion on the quasi-regularity of Dirichlet forms on $E$ in terms of upper bound conditions given by the uniform $(L^1+L^\infty)$-norm of the extrinsic derivative. As applications, we construct a class of general type Markov processes on $E$ via quasi-regular Dirichlet forms containing the diffusion, jump and killing terms. Moreover, stochastic extrinsic derivative flows on $E$ are studied by using quasi-regular Dirichlet forms, which in particular provide martingale solutions to SDEs on these two spaces, with drifts given by the extrinsic derivative of entropy functionals.

For a class of (non-symmetric) diffusion processes on a length space, which in particular include the (reflecting) diffusion processes on a connected compact Riemannian manifold, the exact convergence rate is derived for $({\mathbb E} [{\mathbb W}_p^q(\mu_T,\mu)])^{\frac{1}{q}} (T \to \infty)$ uniformly in $(p,q)\in [1,\infty) \times (0,\infty)$, where $\mu_T$ is the empirical measure of the diffusion process, $\mu$ is the unique invariant probability measure, and ${\mathbb W}_p$ is the $p$-Wasserstein distance. Moreover, when the dimension parameter is less than $4$, we prove that ${\mathbb E} |T {\mathbb W}_2^2(\mu_T,\mu)-\Xi(T)|^q \to 0$ as $T\to\infty$ for any $q\ge 1$, where $\Xi(T)$ is explicitly given by eigenvalues and eigenfunctions for the symmetric part of the generator.

To study diffusion processes on the $p$-Wasserstein space $\scr P_p $ for $p\in [1,\infty)$ over a separable, reflexive Banach space $X$, we present a criterion on the quasi-regularity of Dirichlet forms in $L^2(\scr P_p,\Lambda)$ for a reference probability $\Lambda$ on $\scr P_p$. It is formulated in terms of an upper bound condition with the uniform norm of the intrinsic derivative. The condition is easy to check in relevant applications and allows to construct a type of Ornstein-Uhlenbeck process on $\scr P_p$. We find a versatile class of quasi-regular local Dirichlet forms on $\scr P_p$ by using images of Dirichlet forms on the tangent space $L^p(X\to X,\mu_0)$ at a reference point $\mu_0\in \scr P_p$. The Ornstein-Uhlenbeck type Dirichlet form is an important example in this class. An $L^2$-estimate for the corresponding heat kernel is derived, based on the eigenvalues of the covariance operator of the underlying Gaussian measure., Comment: Acknowledgments added; Application of Sect. 3.2 revised; Typos corrected

We prove geometric upper bounds for the Poincar\'e and Logarithmic Sobolev constants for Brownian motion on manifolds with sticky reflecting boundary diffusion i.e. extended Wentzell-type boundary condition under general curvature assumptions on the manifold and its boundary. The method is based on an interpolation involving energy interactions between the boundary and the interior of the manifold. As side results we obtain explicit geometric bounds on the first nontrivial Steklov eigenvalue, for the norm of the boundary trace operator on Sobolev functions, and on the boundary trace logarithmic Sobolev constant. The case of Brownian motion with pure sticky reflection is also treated.

Consider the following stochastic differential equation for $(X_t)_{t\ge 0}$ on $\mathbb R^d$ and its Euler-Maruyama (EM) approximation $(Y_{t_n})_{n\in \mathbb Z^+}$: \begin{align*} &d X_t=b( X_t) d t+\sigma(X_t) d B_t, \\ & Y_{t_{n+1}}=Y_{t_{n}}+\eta_{n+1} b(Y_{t_{n}})+\sigma(Y_{t_{n}})\left(B_{t_{n+1}}-B_{t_{n}}\right), \end{align*} where $b:\mathbb{R}^d \rightarrow \mathbb{R}^d,\ \ \sigma: \mathbb R^d \rightarrow \mathbb{R}^{d \times d}$ are measurable, $B_t$ is the $d$-dimensional Brownian motion, $t_0:=0,t_{n}:=\sum_{k=1}^{n} \eta_{k}$ for constants $\eta_k>0$ satisfying $\lim_{k \rightarrow \infty} \eta_k=0$ and $\sum_{k=1}^\infty\eta_k =\infty$. Under (partial) dissipation conditions ensuring the ergodicity, we obtain explicit convergence rates of $\mathbb W_p(\mathscr{L}(Y_{t_n}), \mathscr{L}(X_{t_n}))+\mathbb W_p(\mathscr{L}(Y_{t_n}), \mu)\rightarrow 0$ as $n\rightarrow \infty$, where $\mathbb W_p$ is the $L^p$-Wasserstein distance for certain $p\in [0,\infty)$, $\mathscr{L}(\xi)$ is the distribution of random variable $\xi$, and $\mu$ is the unique invariant probability measure of $(X_t)_{t \ge 0}$. Comparing with the existing results where $b$ is at least $C^2$-smooth, our estimates apply to Hoelder continuous drift and can be sharp in several specific situations.

The convergence rate in Wasserstein distance is estimated for empirical measures of ergodic Markov processes, and the estimate can be sharp in some specific situations. The main result is applied to subordinations of typical models excluded by existing results, which include: stochastic Hamiltonian systems on $\mathbb R^{n}\times \mathbb R^{m}$, spherical velocity Langevin processes on $\mathbb R^n\times\mathbb S^{n-1},$ multi-dimensional Wright-Fisher type diffusion processes, and stable type jump processes., Comment: 38 pages

The relative entropy for two different degenerate diffusion processes is estimated by using the Wasserstein distance of initial distributions and the difference between coefficients. As applications, the entropy cost inequality and exponential ergodicity in entropy are derived for distribution dependent stochastic Hamiltonian systems associated with nonlinear kinetic Fokker Planck equations., Comment: 22 pages

The well-posedness and exponential ergodicity are proved for stochastic Hamiltonian systems containing a singular drift term which is locally integrable in the component with noise. As an application, the well-posedness and uniform exponential ergodicity are derived for a class of singular degenerated McKean-Vlasov SDEs., Comment: 26 pages

The $L^k$-Wasserstein distance $\mathbb{W}_k (k\ge 1)$ and the probability distance $\mathbb{W}_\psi$ induced by a concave function $\psi$, are estimated between different diffusion processes with singular coefficients. As applications, the well-posedness, probability distance estimates and the log-Harnack inequality are derived for McKean-Vlasov SDEs with multiplicative distribution dependent noise, where the coefficients are singular in time-space variables and $(\mathbb{W}_k+\mathbb{W}_\psi)$-Lipschitz continuous in the distribution variable. This improves existing results derived in the literature under the $\mathbb{W}_k$-Lipschitz or derivative conditions in the distribution variable., Comment: 22 pages

By developing a new technique called the bi-coupling argument, we estimate the relative entropy between different diffusion processes in terms of the distances of initial distributions and drift-diffusion coefficients. As an application, the entropy-cost inequality is established for nonlinear Fokker-Planck equations, which has potential applications in optimal transport, information theory and mean field particle systems., Comment: 23 pages

By using the spectrum of the underlying symmetric diffusion operator, the convergence in $L^p$-Wasserstein distance $\mathbb W_p (p\ge 1)$ is characterized for the empirical measure $\mu_t$ of non-symmetric subordinated diffusion processes in an abstract framework. The main results are applied to the subordinations of several typical models, which include the (reflecting) diffusion processes on compact manifolds, the conditional diffusion processes, the Wright-Fisher diffusion process, and hypoelliptic diffusion processes on {\bf SU}(2). In particular, for the (reflecting) diffusion processes on a compact Riemannian manifold with invariant probability measure $\mu$: (1) the sharp limit of $t\mathbb W_2(\mu_t,\mu)^2$ is derived in $L^q(\mathbb P)$ for concrete $q\ge 1,$ which provides a precise characterization on the physical observation that a divergence-free perturbation accelerates the convergence in $\mathbb W_2$; (2) the sharp convergence rates are presented for $(\mathbb E[\mathbb W_{2p}(\mu_t,\mu)^{q}])^{\frac 1 q} (p,q\ge 1)$, where a critical phenomenon appears with the critical rate $t^{-1}\log t$ as $t\to\infty$., Comment: 57 pages

In this paper, we study $L^p$-boundedness ($1

Let $M$ be a complete connected Riemannian manifold with boundary $\partial M$, and let $P_t$ be the Neumann semigroup generated by $\frac{ 1}{ 2} L$ where $L=\Delta+Z$ for a $C^1$-vector field $Z$ on $M$. We establish Bismut type formulae for $LP_t f$ and ${\rm Hess}_{P_tf}$ and present estimates of these quantities under suitable curvature conditions. In case when $P_t$ is symmetric in $L^2(\mu)$ for some probability measure $\mu$, a new type of log-Sobolev inequality is established which links the relative entropy $H$, the Stein discrepancy $S$, and relative Fisher information $I$, generalizing the authors' recent work in the case without boundary.

By methods of stochastic analysis on Riemannian manifolds, we develop two approaches to determine an explicit constant $c(D)$ for an $n$-dimensional compact manifold $D$ with boundary such that $\frac{\lambda}{n}\,\|\phi\|_{\infty} \leq \|{\rm Hess}\ \phi\|_{\infty}\leq c(D)\lambda \,\|\phi\|_{\infty}$ holds for any Dirichlet eigenfunction $\phi$ of $-\Delta$ with eigenvalue $\lambda$. Our results provide the sharp Hessian estimate $\|{\rm Hess}\ \phi\|_{\infty}\lesssim \lambda^{\frac{n+3}{4}}$. Corresponding Hessian estimates for Neumann eigenfunctions are derived in the second part of the paper.

As two crucial tools characterizing regularity properties of stochastic systems, the log-Harnack inequality and Bismut formula have been intensively studied for distribution dependent (McKean-Vlasov) SDEs. However, due to technical difficulties, existing results mainly focus on the case with distribution free noise. In this paper, we introduce a noise decomposition argument to establish the log-Harnack inequality and Bismut formula for SDEs with distribution dependent noise, in both non-degenerate and degenerate situations. As application, the exponential ergodicity in entropy is investigated., Comment: 23 pages

In this paper we focus on nonlinear SPDEs with singularities included in both drift and noise coefficients, for which the Gelfand-triple argument developed for (local) monotone SPDEs turns out to be invalid. We propose a general framework of \emph{proper regularization} to solve such singular SPDEs. As applications, the (local and global) existence is presented for a broad class of fluid models driven by pseudo-differential noise of arbitrary order, which include the stochastic magnetohydrodynamics (hence Navier-Stokes/Euler) equations, stochastic Camassa-Holm type equations, stochastic aggregation-diffusion equation and stochastic surface quasi-geostrophic equation. Thus, some recent results derived in the literature are considerably extended in a unified way.

The log-Harnack inequality and Bismut formula are established for McKean-Vlasov SDEs with singularities in all (time, space, distribution) variables, where the drift satisfies an integrability condition in time-space, and the continuity in distribution may be weaker than Dini. The main results considerably improve the existing ones for the case where the drift is $L$-differentiable and Lipschitz continuous in distribution with respect to the 2-Wasserstein distance., Comment: 35 pages

To characterize nonlinear Dirichlet problems in an open domain, we investigate killed distribution dependent SDEs. By constructing the coupling by projection and using the Zvonkin/Girsanov transforms, the well-posedness is proved for three different situations: 1) monotone case with distribution dependent noise (possibly degenerate), 2) singular case with non-degenerate distribution dependent noise, and 3) singular case with non-degenerate distribution independent noise. In the first two cases the domain is $C^2$ smooth such that the Lipschitz continuity in initial distributions is also derived, and in the last case the domain is arbitrary., Comment: 26 pages

Let $\mathcal P_2$ be the space of probability measures on $\R^d$ having finite second moment, and consider the Riemannian structure on $\mathcal P_2$ induced by the intrinsic derivative on the $L^2$-tangent space. By using stochastic analysis on the tangent space, we construct an Ornstein$-$Uhlenbeck (OU) type Dirichlet form on $\mathcal P_2$ whose generator is formally given by the intrinsic Laplacian with a drift. The log-Sobolev inequality holds and the associated Markov semigroup is $L^2$-compact. Perturbations of the OU Dirichlet form are also studied., Comment: 28 pages

We propose a new type SDE depending on the future distributions with all initial values, and establish the correspondence between this equation and the associated singular nonlinear PDE. Well-posedness and regularities are investigated., Comment: 28 pages

For any divergence free initial datum $u_0$ with $\|u_0\|_\infty+\|\nabla u_0\|_{L^p}+\|\nabla^2 u_0\|_{L^p}<\infty$ for some $p>d\ (d\ge 2)$, the well-posedness and smoothness are proved for incompressible Navier-Stokes equations on $\mathbb{R}^d$ or $\mathbb{T}^d:=\mathbb{R}^d/\mathbb{Z}^d,$ up to a time explicitly given by the initial datum and three constants coming from the upper bounds of the heat kernel and the Riesz transform. A mild well-posedness is also proved for $L^p$-bounded initial data. The blow-up is proved for both type solutions with finite maximal time., Comment: There exist unsatisfied points to be fixed

To characterize Navier-Stokes type equations where the Laplacian is extended to a singular second order differential operator, we propose a class of SDEs depending on the distribution in future. The well-posedness and regularity estimates are derived for these SDEs., Comment: 15 pages

The (strong and weak) well-posedness is proved for singular SDEs depending on the distribution density point-wisely and globally, where the drift satisfies a local integrability condition in time-spatial variables, and is Lipschitz continuous in the distribution density with respect to a local $L^k$-norm. Density dependent reflecting SDEs are also studied., Comment: 25 pages

As extensions to the corresponding results derived for time homogeneous McKean- Vlasov SDEs, the exponential ergodicity is proved for time-periodic distribution dependent SDEs in three different situations: 1) in the quadratic Wasserstein distance and relative entropy for the dissipative case; 2) in the Wasserstein distance induced by a cost function for the partially dissipative case; and 3) in the weighted Wasserstein distance induced by a cost function and a Lyapunov function for the fully non-dissipative case. The main results are illustrated by time inhomogeneous granular media equations, and are extended to reflecting McKean-Vlasov SDEs in a convex domain., Comment: 21pages

Terahertz (THz) technology has been a great candidate for applications, including pharmaceutic analysis, chemical identification, and remote sensing and imaging due to its non-invasive and non-destructive properties. Among those applications, penetrating-type hyperspectral THz signals, which provide crucial material information, normally involve a noisy, complex mixture system. Additionally, the measured THz signals could be ill-conditioned due to the overlap of the material absorption peak in the measured bands. To address those issues, we consider penetrating-type signal mixtures and aim to develop a blind hyperspectral unmixing (HU) method without requiring any information from a prebuilt database. The proposed HYperspectral Penetrating-type Ellipsoidal ReconstructION (HYPERION) algorithm is unsupervised, not relying on collecting extensive data or sophisticated model training. Instead, it is developed based on elegant ellipsoidal geometry under a very mild requirement on data purity, whose excellent efficacy is experimentally demonstrated., Comment: 51 pages, 15 figures

The Bismut formula is established for the intrinsic derivative of singular McKean-Vlasov SDEs, where the noise coefficient belongs to a local Sobolev space, and the drift contains a locally integrable time-space term as well as a time-space-distribution term Lipschitz continuous in the space and distribution variables. The results are new also for classical SDEs., Comment: 39 pages

For a complete connected Riemannian manifold $M$ let $V\in C^2(M)$ be such that $\mu(d x)={\rm e}^{-V(x)} \mbox{vol}(d x)$ is a probability measure on $M$. Taking $\mu$ as reference measure, we derive inequalities for probability measures on $M$ linking relative entropy, Fisher information, Stein discrepancy and Wasserstein distance. These inequalities strengthen in particular the famous log-Sobolev and transportation-cost inequality and extend the so-called Entropy/Stein-discrepancy/Information (HSI) inequality established by Ledoux, Nourdin and Peccati (2015) for the standard Gaussian measure on Euclidean space to the setting of Riemannian manifolds.

By refining a recent result of Xie and Zhang, we prove the exponential ergodicity under a weighted variation norm for singular SDEs with drift containing a local integrable term and a coercive term. This result is then extended to singular reflecting SDEs as well as singular McKean-Vlasov SDEs with or without reflection. We also present the exponential ergodicity in the relative entropy and (weighted) Wasserstein distances for reflecting McKean-Vlasov SDEs under the dissipative and partially dissipative conditions respectively. The main results are illustrated by non-symmetric singular granular media equations., Comment: 33 pages. arXiv admin note: text overlap with arXiv:2106.12737

Let $M$ be a connected compact Riemannian manifold possibly with a boundary, let $V\in C^2(M)$ such that $\mu(\d x):=\e^{V(x)}\d x$ is a probability measure, where $\d x$ is the volume measure, and let $L=\Delta+\nabla V$. The exact convergence rate in Wasserstein distance is derived for empirical measures of subordinations for the (reflecting) diffusion process generated by $L$., Comment: 26 pages

To characterize the Neumann problem for nonlinear Fokker-Planck equations, we investigate distribution dependent reflecting SDEs (DDRSDEs) in a domain. We first prove the well-posedness and establish functional inequalities for reflecting SDEs with singular drifts, then extend these results to DDRSDEs with singular or monotone coefficients, for which a general criterion deducing the well-posedness of DDRSDEs from that of reflecting SDEs is established., Comment: 58 pages

By using distribution dependent Zvonkin's transforms and Malliavin calculus, the Bismut type formula is derived for the intrinisc/Lions derivatives of distribution dependent SDEs with singular drifts, which generalizes the corresponding results derived for classical SDEs and regular distribution dependent SDEs., Comment: 22pages, to appear in Discrete and Continuous Dynamical Systems

The convergence rate in Wasserstein distance is estimated for the empirical measures of symmetric semilinear SPDEs. Unlike in the finite-dimensional case that the convergence is of algebraic order in time, in the present situation the convergence is of log order with a power given by eigenvalues of the underlying linear operator., Comment: 16 pages

Under Lyapunov and monotone conditions, the exponential ergodicity in the induced Wasserstein quasi-distance is proved for a class of fully non-dissipative McKean-Vlasov SDEs, which strengthen some recent results established under dissipative conditions in long distance. Moreover, when the SDE is order-preserving, the exponential ergodicity is derived in the Wasserstein distance induced by one-dimensional increasing functions chosen according to the coefficients of the equation., Comment: 28

Due to their intrinsic link with nonlinear Fokker-Planck equations and many other applications, distribution dependent stochastic differential equations (DDSDEs for short) have been intensively investigated. In this paper we summarize some recent progresses in the study of DDSDEs, which include the correspondence of weak solutions and nonlinear Fokker-Planck equations, the well-posedness, regularity estimates, exponential ergodicity, long time large deviations, and comparison theorems., Comment: 44 pages. arXiv admin note: text overlap with arXiv:2002.08652, arXiv:2010.08950

By using Zvonkin's transformation and a two-step fixed point argument in distributions, the well-posedness and regularity estimates are derived for singular McKean-Vlasov SDEs with distribution dependent noise, where the drift contains a term growing linearly in space and distribution and a locally integrable term independent of distribution, while the noise coefficient is weakly differentiable in space and Lipschitz continuous in distribution with respect to the sum of Wasserstein and weighted variation distances. The main results extend existing ones derived for noise coefficients either independent of distribution, or having nice linear functional derivatives in distribution. Singular reflecting SDEs with distribution dependent noise are also studied., Comment: 23 pages

The following type exponential convergence is proved for (non-degenerate or degenerate) McKean-Vlasov SDEs: $$W_2(\mu_t,\mu_\infty)^2 +{\rm Ent}(\mu_t|\mu_\infty)\le c {\rm e}^{-\lambda t} \min\big\{W_2(\mu_0, \mu_\infty)^2,{\rm Ent}(\mu_0|\mu_\infty)\big\},\ \ t\ge 1,$$ where $c,\lambda>0$ are constants, $\mu_t$ is the distribution of the solution at time $t$, $\mu_\infty$ is the unique invariant probability measure, ${\rm Ent}$ is the relative entropy and $W_2$ is the $L^2$-Wasserstein distance. In particular, this type exponential convergence holds for some (non-degenerate or degenerate) granular media type equations generalizing those studied in [CMV, GLW] on the exponential convergence in a mean field entropy., Comment: 25 pages

Let $X_t$ be the (reflecting) diffusion process generated by $L:=\Delta+\nabla V$ on a complete connected Riemannian manifold $M$ possibly with a boundary $\partial M$, where $V\in C^1(M)$ such that $\mu(d x):= e^{V(x)}d x$ is a probability measure. We estimate the convergence rate for the empirical measure $\mu_t:=\frac 1 t \int_0^t \delta_{X_s\d s$ under the Wasserstein distance. As a typical example, when $M=\mathbb R^d$ and $V(x)= c_1- c_2 |x|^p$ for some constants $c_1\in \mathbb R, c_2>0$ and $p>1$, the explicit upper and lower bounds are present for the convergence rate, which are of sharp order when either $d<\frac{4(p-1)}p$ or $d\ge 4$ and $p\to\infty$., Comment: 19 pages

By using a regularity approximation argument, the global existence and uniqueness are derived for a class of nonlinear SPDEs depending on both the whole history and the distribution under strong enough noise. As applications, the global existence and uniqueness are proved for distribution-path dependent stochastic transport type equations, which are arising from stochastic fluid mechanics with forces depending on the history and the environment. In particular, the distribution-path dependent stochastic Camassa--Holm equation with or without Coriolis effect has a unique global solution when the noise is strong enough, whereas for the deterministic model wave-breaking may occur. This indicates that the noise may prevent blow-up almost surely.

By using the heat kernel parameter expansion with respect to the frozen SDEs, the intrinsic derivative is estimated for the law of Mckean-Vlasov SDEs with respect to the initial distribution. As an application, the total variation distance between the laws of two solutions is bounded by the Wasserstein distance for initial distributions. These extend some recent results proved for distribution-free noise by using the coupling method and Malliavin calculus., Comment: 15 pages

Let $M$ be a $d$-dimensional connected compact Riemannian manifold with boundary $\partial M$, let $V\in C^2(M)$ such that $\mu({\rm d} x):={\rm e}^{V(x)}{\rm d} x$ is a probability measure, and let $X_t$ be the diffusion process generated by $L:=\Delta+\nabla V$ with $\tau:=\inf\{t\ge 0: X_t\in\partial M\}$. Consider the empirical measure $\mu_t:=\frac 1 t \int_0^t \delta_{X_s}{\rm d} s$ under the condition $t<\tau$ for the diffusion process. If $d\le 3$, then for any initial distribution not fully supported on $\partial M$, \begin{align*} &c\sum_{m=1}^\infty \frac{2}{(\lambda_m-\lambda_0)^2} \le \liminf_{t\to \infty} \inf_{T\ge t} \Big\{t {\mathbb E}\big[\mathbb W_2(\mu_t, \mu_0)^2\big|T<\tau\big]\Big\} \\ &\le \limsup_{t\to \infty} \sup_{T\ge t} \Big\{ t \mathbb E\big[\mathbb W_2(\mu_t, \mu_0)^2\big|T<\tau\big] \Big\}\le \sum_{m=1}^\infty \frac{2}{(\lambda_m-\lambda_0)^2}\end{align*} holds for some constant $c\in (0,1]$ with $c=1$ when $\partial M$ is convex, where $\mu_0:= \phi_0^2\mu$ for the first Dirichet eigenfunction $\phi_0$ of $L$, $\{\lambda_m\}_{m\ge 0}$ are the Dirichlet eigenvalues of $-L$ listed in the increasing order counting multiplicities, and the upper bound is finite if and only if $d\le 3$. When $d=4$, $\sup_{T\ge t} \mathbb E\big[\mathbb W_2(\mu_t, \mu_0)^2\big|T<\tau\big] $ decays in the order $t^{-1}\log t$, while for $d\ge 5$ it behaves like $t^{-\frac 2 {d-2}}$, as $t\to\infty$., Comment: 27 pages

To characterize the regularity of distribution-path dependent SDEs in the initial distribution which varies in the class of probability measures on the path space, we introduce the intrinsic and Lions derivatives for probability measures on Banach spaces, and prove the chain rule of the Lions derivative for the distribution of Banach-valued random variables. By using Malliavin calculus, we establish the Bismut type formula for the Lions derivatives of functional solutions to SDEs with distribution-path dependent drifts. When the noise term is also path dependent so that the Bismut formula is invalid, we establish the asymptotic Bismut formula. Both non-degenerate and degenerate noises are considered. The main results of this paper generalize and improve the corresponding ones derived recently in the literature for the classical SDEs with memory and McKean-Vlasov SDEs without memory., Comment: 40 pages