---
title: Asymptotic Log-Harnack Inequality
url: https://www.emergentmind.com/topics/asymptotic-log-harnack-inequality
type: topic
---

# Asymptotic Log-Harnack Inequality

The asymptotic log-Harnack inequality is a large-time semigroup inequality that compares \(P_t \log f\) at two initial states by a time-independent control term plus a remainder that vanishes as \(t\to\infty\). In one standard formulation on a metric space \((E,p)\), it has the form
\[
P_t \log f(x)\le \log P_t f(y)+\Phi(x,y)+V_t(x,y)\,\|\nabla \log f\|_\infty,\qquad V_t\to0,
\]
for \(f\in B_+(E)\) with \(\|\nabla \log f\|_\infty<\infty\) [1710.01042]. Closely related variants replace the last term by \(\delta(t)\,\bar C\,|x-y|^\beta |D\log f|\) [1102.1162] or by \(\Psi_t(x,y)\,\|\log f\|_\infty\) [2603.02774]. The inequality is designed for settings in which classical Wang-type log-Harnack estimates and the strong Feller property are unavailable, notably under degenerate noise, infinite memory, path dependence, or reflection, but where asymptotic smoothing, asymptotic irreducibility, and uniqueness of invariant measures can still be recovered [2007.13080, 2304.06683, 2502.13353, 2507.09129].

## 1. Formal structure

The asymptotic log-Harnack paradigm is characterized by a split between a persistent “entropy cost” and a decaying “smoothing defect.” In the path-space framework of Bao–Wang–Yuan, the basic definition is
\[
P_t \log f(x) \le \log P_t f(y) + \Phi(x,y) + V_t(x,y)\, \| \nabla \log f \|_\infty,\qquad t>0,
\]
with \(V_t\to0\) as \(t\to\infty\) [1710.01042]. Xu’s modified log-Harnack inequality is
\[
P_t \log f(y) \le \log P_t f(x) + C |x-y|^a + \delta(t)\,\bar C\, |x-y|^\beta |D \log f|,
\]
where \(a>0\), \(\beta\ge 0\), and \(\delta(t)\to0\) [1102.1162]. For degenerate SPDEs with reflection, the function class is
\[
\mathcal D(E):=\{f\in \mathcal B_b^+(E):\ \|\log f\|_\infty<\infty\},
\]
and the inequality becomes
\[
P_t \log f(x)\le \log P_t f(y)+\Phi(x,y)+\Psi_t(x,y)\|\log f\|_\infty,\qquad \Psi_t\downarrow0
\]
[2603.02774].

Across these formulations, the time-independent term \(\Phi\) measures the nontrivial cost of changing initial data, while the time-decaying term quantifies how far the semigroup remains from a classical log-Harnack regime. This structure is weaker than a classical log-Harnack inequality, but it is precisely adapted to degenerate or non-Markovian mechanisms in which immediate regularization is absent.

## 2. Development of the framework

Xu introduced the modified log-Harnack inequality in 2011 and proved that it implies the asymptotically strong Feller property; the motivating application was the 2D stochastic Navier–Stokes equation driven by highly degenerate but essentially elliptic noise [1102.1162]. In that setting the inequality already had the now-standard architecture: a polynomial control in \(|x-y|\) and a gradient-dependent remainder decaying exponentially in time.

Bao–Wang–Yuan extended the theory to stochastic systems of infinite memory. They established asymptotic log-Harnack inequalities for non-degenerate SDEs, neutral SDEs, semilinear SPDEs, and stochastic Hamiltonian systems on segment spaces \(C_r\), and derived asymptotic heat kernel estimates, uniqueness of invariant probability measures, asymptotic gradient estimates, asymptotically strong Feller, and asymptotic irreducibility [1710.01042].

For nonlinear monotone SPDEs with multiplicative noise, Hong–Li–Liu derived an explicit asymptotic log-Harnack inequality by asymptotic coupling via change of measure. Their results cover both non-degenerate monotone SPDEs and highly degenerate finite- and infinite-dimensional diffusion systems, and they identify asymptotically strong Feller, asymptotic irreducibility, and unique ergodic invariant measures under dissipativity [2007.13080].

Subsequent work broadened the framework in several directions: Markovian lifts of stochastic Volterra integral equations with completely monotone kernels [2304.06683], path–distribution dependent SDEs with infinite memory and time-space singular or Dini drifts [2502.13353, 2507.09129], and degenerate SPDEs with reflection, including reflected stochastic Navier–Stokes dynamics [2603.02774]. The unifying theme is that asymptotic log-Harnack inequalities survive in regimes where either classical Harnack inequalities or strong Feller estimates fail.

## 3. Coupling by change of measure

The dominant proof strategy is asymptotic coupling by change of measure. In the monotone SPDE setting
\[
dZ_t = b(Z_t)\,dt + \sigma(Z_t)\,dW_t,
\]
one constructs a controlled copy
\[
d\bar{Z}_t = \big[b(\bar{Z}_t) + \lambda \sigma(\bar{Z}_t)\sigma^{-1}(Z_t)(Z_t-\bar{Z}_t)\big]dt + \sigma(\bar{Z}_t)\,dW_t,
\]
with control \(v_t=\lambda \sigma^{-1}(Z_t)(Z_t-\bar{Z}_t)\) and Girsanov density
\[
R(t)=\exp\Big(-\int_0^t \langle v_r,dW_r\rangle_U-\frac12\int_0^t \|v_r\|_U^2\,dr\Big).
\]
If \(\gamma=2\lambda-\eta>0\), then
\[
\sup_{t\in[0,T]} E[R(t)\log R(t)] \le \frac{\lambda^2 \|\sigma^{-1}\|_\infty^2}{2\gamma}\|z-\bar z\|^2,
\]
and under the tilted measure \(Q\),
\[
E_Q\|Z_t^z-\bar Z_t^{\bar z}\|^2 \le e^{-\gamma t}\|z-\bar z\|^2.
\]
Combining Young’s inequality with the Lipschitz control of \(\log f\) yields
\[
P_t \log f(z) \le \log P_t f(\bar z) + \frac{\lambda^2 \|\sigma^{-1}\|_\infty^2}{2\gamma}\|z-\bar z\|^2 + e^{-(\gamma/2)t}\|\nabla \log f\|_\infty \|z-\bar z\|
\]
[2007.13080].

The specific coupling mechanism depends on the model. Xu’s Navier–Stokes construction enforces exact synchronization of low modes in finite time by setting \(Z'(t)=(1-t)z'\) for \(0<t<1\) and \(Z'(t)=0\) for \(t\ge1\), while high modes decay exponentially under dissipation [1102.1162]. In infinite-memory systems, the weighted norm
\[
\|\xi\|_r:=\sup_{\theta\le0} e^{r\theta}|\xi(\theta)|
\]
makes it possible to contract the whole segment asymptotically even though coupling in finite time is generally impossible [1710.01042]. For path–distribution dependent SDEs, one Girsanov transform removes the law dependence and a second one drives pathwise contraction; in the Dini-drift case, this is combined with a Zvonkin transform [2502.13353, 2507.09129]. In reflected SPDEs, the control acts only on a finite-dimensional subspace \(H_N\) through \(\pi_N\), and the reflection term contributes a nonpositive finite-variation term in the distance estimate [2603.02774].

## 4. Semigroup consequences

The principal applications are semigroup regularization and ergodic consequences. In the abstract framework of Bao–Wang–Yuan, if
\[
A(x):= \limsup_{y\to x} \frac{\Phi(x,y)}{p(x,y)^2}<\infty,\qquad
T_t(x):= \limsup_{y\to x} \frac{V_t(x,y)}{p(x,y)}<\infty,
\]
then for \(f\in \mathrm{Lip}\cap B_b(E)\),
\[
|\nabla P_t f|(x) \le \sqrt{2A(x)}\,\sqrt{P_t f^2(x)-(P_t f(x))^2} + \|\nabla f\|_\infty\, T_t(x).
\]
If \(T_t(x)\to0\), the semigroup is asymptotically strong Feller. The same theorem yields an asymptotic heat kernel estimate, uniqueness of invariant probability, and asymptotic irreducibility [1710.01042].

Xu proved directly that the modified log-Harnack inequality implies the asymptotically strong Feller property [1102.1162]. In monotone SPDEs with multiplicative noise, the asymptotic log-Harnack inequality also yields a dimension-free gradient estimate
\[
\|D P_t f\|^2 \le C \sqrt{P_t f^2 - (P_t f)^2} + e^{-(\gamma/2) t} \|\nabla f\|_\infty,
\qquad C=\gamma^{-1/2}\lambda \|\sigma^{-1}\|_\infty,
\]
and hence asymptotically strong Feller; if \(\eta<0\), the semigroup admits a unique invariant probability measure and is ergodic [2007.13080]. In the reflected SPDE framework, the asymptotic log-Harnack inequality implies the analogues of the gradient estimate, asymptotic heat kernel estimate, and vanishing of \(P_t1_A(x)\) for closed \(A\) with invariant measure zero, together with at most one invariant probability measure [2603.02774].

## 5. Representative classes of stochastic systems

For monotone SPDEs with multiplicative noise, the canonical result is explicit. Under hemicontinuity, local monotonicity, coercivity, growth, and bounded invertible \(\sigma\), one has
\[
P_t \log f(z) \le \log P_t f(\bar z) + \frac{\lambda^2 \|\sigma^{-1}\|_\infty^2}{2\gamma}\|z-\bar z\|^2 + e^{-(\gamma/2)t}\|\nabla \log f\|_\infty \|z-\bar z\|,
\]
and the degenerate product-space extension replaces \(\sigma\) by \(\sigma_2\) on the forced component [2007.13080]. The examples include a degenerate SODE on \(\mathbb R^2\) with \(b(X,Y)=(-X,Y-Y^3)\), \(\sigma(X,Y)=(0,1)\), a dissipative finite-dimensional system with degenerate \(\sigma_1\), the stochastic \(p\)-Laplacian, generalized porous media, and a coupled reaction–diffusion system with \(\sigma_1=0,\sigma_2=\mathrm{Id}\) [2007.13080].

For infinite-memory systems, the segment semigroup satisfies
\[
P_t \log f(\eta) \le \log P_t f(\xi) + c\, |\xi(0)-\eta(0)|^2 + c\, e^{-r_0 t}\,\|\nabla \log f\|_\infty\, \|\xi-\eta\|_r,
\]
under uniform non-degeneracy of \(\sigma\) and suitable monotonicity/Lipschitz assumptions [1710.01042]. This same structure is proved for neutral SDEs, semilinear SPDEs, and stochastic Hamiltonian systems with memory, and the non-decaying term depends only on the present value while the decaying term depends on the full weighted path distance [1710.01042].

For stochastic Volterra integral equations with completely monotone kernels, Markovian lifting yields an infinite-dimensional SEE on \(H_\mu\) and, when \(\beta:=\inf\operatorname{supp}\mu>0\),
\[
P_t \log f(y) \le \log P_t f(z)
+ |\sigma^{-1}|_\infty^2 \Bigl(1 + 2L^2 \bigl(1+\int r(\theta)\,\mu(d\theta)\bigr) r(m)^{-2}\Bigr)\|y-z\|_{H_\mu}^2
+ r(m)^{-1/2} e^{-\beta t/2}\|y-z\|_{H_\mu}\,|\nabla \log f|_\infty.
\]
For fractional kernels, \(\beta=0\), so the time-decaying term is no longer decaying [2304.06683].

For path–distribution dependent SDEs, one law-level result is
\[
P_t\log f(\nu)\le \log P_t f(\mu)
+ c e^{ct} W_2(\mu,\nu)^2
+ c e^{-\tau_0 t}\|\nabla \log f\|_\infty W_2(\mu,\nu),
\]
which extends the path-dependent distribution-independent inequality to the McKean–Vlasov setting [2502.13353]. In the infinite-memory Dini-drift setting, Wang–Yuan–Zhao obtained asymptotic log-Harnack inequalities both on the segment space and at the level of initial laws, with exponential decay in the remainder term and corresponding Lipschitz continuity in law [2507.09129].

Degenerate fluid models furnish further examples. Xu’s 2D stochastic Navier–Stokes result has the precise form
\[
P_t \log f(y) \le \log P_t f(x) + C(|x-y|^2+|x-y|^4)
+ e^{-(\nu N^2-\frac12\operatorname{tr}(QQ^*))t}\,\bar C\,|x-y|\,\|D\log f\|_\infty
\]
[1102.1162]. For stochastic convective Brinkman–Forchheimer equations with degenerate noise and \(r>3\),
\[
P_t \log f(y) \le \log P_t f(x) + \frac{8}{\theta}|x-y|^2 + e^{-\theta t}\|\nabla \log f\|_\infty |x-y|
\]
in the additive case, and
\[
P_t \log f(y) \le \log P_t f(x) + \frac{8 K^2 \mu^2 \lambda_{N_0}^2}{\theta}|x-y|^2 + e^{-\theta t}\|\nabla \log f\|_\infty |x-y|
\]
in the multiplicative case [2008.00955]. For degenerate SPDEs with reflection,
\[
\Phi(x,y)= \frac{e^{K_B^2} \lambda_{N+1}^2\|\sigma^{-1}\|_{H_N}^2 }{2r(N)} \|x-y\|_H^2,\qquad
\Psi_t(x,y)= e^{\frac12(K_B^2-r(N)t)}\|x-y\|_H,
\]
so the remainder decays exponentially whenever \(r(N)>0\) [2603.02774].

## 6. Relation to classical log-Harnack inequalities

Classical Wang-type Harnack inequalities and their log-Harnack limit have the form
\[
P_t \log f(x)\le \log P_t f(y)+C(t,x,y),
\]
typically under non-degenerate noise, and they usually imply the strong Feller property [1102.1162]. Asymptotic log-Harnack inequalities are weaker: the decaying remainder explicitly records the failure of instantaneous smoothing. What survives is asymptotically strong Feller rather than strong Feller, together with asymptotic rather than uniform heat-kernel and irreducibility statements [1710.01042, 2007.13080].

A common misconception is that asymptotic log-Harnack is merely a classical log-Harnack estimate with a looser constant. The literature shows a sharper distinction. In infinite-memory systems, the segment semigroup is not strong Feller because memory destroys instantaneous regularization on path space, and the weighted memory norm is needed to recover only large-time contraction [1710.01042]. In degenerate finite-dimensional diffusion, strong Feller may fail completely: for
\[
b(X,Y)=(-X,\,Y-Y^3),\qquad \sigma(X,Y)=(0,1),
\]
the strong Feller property is known to fail, yet the asymptotic log-Harnack inequality still yields asymptotically strong Feller, asymptotic irreducibility, and a unique ergodic invariant measure [2007.13080]. Another limitation is model-dependent time decay: in the Volterra setting the decay rate is governed by \(\beta=\inf\operatorname{supp}\mu\), and for the fractional kernel \(\beta=0\), the argument does not recover asymptotically strong Feller [2304.06683].

The modern role of the asymptotic log-Harnack inequality is therefore not to replace the classical theory, but to provide a semigroup regularization principle in regimes where non-degeneracy, finite-dimensional ellipticity, or Markovian locality are absent. In that sense it is a long-time functional inequality tailored to degenerate SPDEs, memory equations, Volterra lifts, and McKean–Vlasov path systems.

Source: https://www.emergentmind.com/topics/asymptotic-log-harnack-inequality