arxiv: 2604.19948 · v1 · submitted 2026-04-21 · 🧮 math.AP · math.PR

Recognition: unknown

Sharp global and almost everywhere convergence rates for periodic homogenization of viscous quadratic Hamilton-Jacobi equations

Hung V. Tran, Yifeng Yu, Ziran Liu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 01:26 UTC · model grok-4.3

classification 🧮 math.AP math.PR

keywords periodic homogenizationHamilton-Jacobi equationsviscous equationsconvergence ratesquadratic Hamiltoniansemiconcavityviscosity solutionserror estimates

0 comments

The pith

Viscous quadratic Hamilton-Jacobi equations homogenize with global error bounded by ε times (C plus n/2 log of time over ε).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves sharp convergence rates for the periodic homogenization of viscous Hamilton-Jacobi equations where the Hamiltonian is quadratic. The key result is a global bound on the difference between the oscillating solution and the homogenized limit, controlled by ε multiplied by a logarithmic term in time. This provides precise information on the rate at which microscopic periodic variations average to a macroscopic equation. The authors also establish a faster almost-everywhere rate of order ε when the initial data is locally semiconcave. Such rates matter for quantitative control on approximation errors when passing from microscopic to effective models in viscous periodic media.

Core claim

The central claim is that for the viscous HJ equation u_t^ε + ½|Du^ε|² + V(x/ε) = (ε/2)Δu^ε with Z^n-periodic Lipschitz V and initial g in W^{1,∞}, the difference to the homogenized solution u satisfies |u^ε(x,t) - u(x,t)| ≤ ε(C + (n/2)log(max{t,ε}/ε)) for all (x,t), with C depending only on the data norms and dimension. When g is locally semiconcave the rate improves to O(ε) at almost every point, specifically wherever u(·,t) is twice differentiable.

What carries the argument

The quadratic Hamiltonian ½|Du|² together with the periodic potential and small viscosity term, which permits explicit global error tracking via comparison principles and cell-problem estimates that produce the precise logarithmic correction.

If this is right

The homogenization error remains controlled uniformly in space for all positive times, growing at most like (n/2)ε log(t/ε) for large t.
Under local semiconcavity of the initial datum the convergence is linear in ε at almost every space-time point.
The result relies on the quadratic structure and does not automatically extend to general strictly convex Hamiltonians.
The bound is valid from t=0 onward and holds for the entire family of solutions indexed by ε in (0,1].

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The n/2 coefficient in the log term is likely tied to the diffusive scaling in n dimensions and could be checked by direct computation in low dimensions.
The same logarithmic accumulation might appear in other viscous homogenization settings with periodic coefficients, suggesting a common mechanism.
Quantitative rates of this form can be used to justify passage to the limit in control problems or front propagation models built on the homogenized equation.

Load-bearing premise

The Hamiltonian must be exactly quadratic and the potential exactly periodic with Lipschitz regularity so that the specific error analysis closes.

What would settle it

An explicit periodic V and initial g for which sup |u^ε - u| / (ε log(max{t,ε}/ε)) tends to infinity as t grows would disprove the global bound.

read the original abstract

We study the periodic homogenization of the viscous Hamilton--Jacobi equation \[ u_t^\varepsilon + \frac{1}{2}|Du^\varepsilon|^2 + V\!\left(\frac{x}{\varepsilon}\right) = \frac{\varepsilon}{2}\Delta u^\varepsilon \qquad \text{in } \mathbb{R}^n \times (0,\infty), \] with initial datum $g \in W^{1,\infty}(\mathbb{R}^n)$, where $V$ is Lipschitz continuous and $\mathbb{Z}^n$-periodic. We prove the sharp global estimate \[ |u^\varepsilon(x,t)-u(x,t)| \leq \varepsilon\!\left(C+\frac{n}{2}\log\!\left(\frac{\max\{t,\varepsilon\}}{\varepsilon}\right)\right) \qquad \text{for all } (x,t)\in \mathbb{R}^n \times [0,\infty), \] where $\varepsilon \in (0,1]$, $u$ solves the limiting (homogenized) equation and $C>0$ is a constant depending only on $\|Dg\|_{L^\infty(\mathbb{R}^n)}$, $\|DV\|_{L^\infty(\mathbb{R}^n)}$, and $n$. We further show that if $g$ is locally semiconcave, then \[|u^\varepsilon(x,t)-u(x,t)| \leq C_{x,t}\varepsilon \qquad \text{for a.e. } (x,t)\in \mathbb{R}^n \times (0,\infty),\] where $C_{x,t}$ depends on $(x,t)$, $\|Dg\|_{L^\infty(\mathbb{R}^n)}$, and $\|DV\|_{L^\infty(\mathbb{R}^n)}$. More precisely, the above improved rate holds at every point $(x,t)$ where $u(\cdot,t)$ is twice differentiable at $x$. In particular, this occurs for a.e. $x\in \mathbb{R}^n$, since $u(\cdot,t)$ is locally semiconcave. We conclude by raising the open problem of whether the same $O(\varepsilon |\log \varepsilon|)$ rate remains valid for general strictly convex Hamiltonians or general periodic diffusions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper gives a sharp global O(ε log(1/ε)) rate with explicit n/2 coefficient for viscous quadratic HJ homogenization, plus an a.e. O(ε) improvement under semiconcavity.

read the letter

The main thing to know is that they prove an explicit global bound |u^ε(x,t) - u(x,t)| ≤ ε (C + (n/2) log(max{t,ε}/ε)) that holds everywhere for the viscous quadratic Hamilton-Jacobi equation with periodic Lipschitz potential, and they upgrade it to O(ε) almost everywhere when the initial data is locally semiconcave, at points where the limit solution is twice differentiable. They work from the equation u_t^ε + (1/2)|Du^ε|^2 + V(x/ε) = (ε/2) Δu^ε with W^{1,∞} initial data, derive the homogenized limit, and extract the rates via viscosity comparison. The log term arises from the interplay between the small diffusion and the oscillations, and the dimension factor n/2 comes out cleanly. This is a concrete quantitative advance over earlier homogenization work that often stopped at qualitative convergence or weaker error bounds. The proofs stay within standard viscosity techniques without obvious circularity or extra assumptions. The restriction to quadratic Hamiltonians is the clearest limitation, and they flag the extension to general convex cases as open. The W^{1,∞} initial data is reasonable but keeps the result away from rougher data. If the comparison arguments and the precise extraction of the log coefficient hold up in the full text, there are no load-bearing gaps. This is for people who need explicit error control in homogenization, such as those doing numerics or applications in control and front propagation. A reader in viscosity solutions or periodic homogenization will get direct value from the rates. It deserves serious peer review because the claims are precise and the setting is clean enough for referees to check the details without heavy background work. I would send it out rather than desk reject.

Referee Report

0 major / 2 minor

Summary. The manuscript studies periodic homogenization of the viscous quadratic Hamilton-Jacobi equation u_t^ε + (1/2)|Du^ε|^2 + V(x/ε) = (ε/2) Δu^ε with Z^n-periodic Lipschitz V and W^{1,∞} initial datum g. It proves the global bound |u^ε(x,t) - u(x,t)| ≤ ε (C + (n/2) log(max{t,ε}/ε)) for all (x,t) ∈ R^n × [0,∞), where u is the solution of the homogenized equation, together with an almost-everywhere O(ε) improvement when g is locally semiconcave (holding at every point where u(·,t) is twice differentiable). The proofs rely on viscosity-solution comparison principles. The paper ends by posing an open question on the validity of the same rate for general strictly convex Hamiltonians.

Significance. If the central estimates hold, the result is significant: it supplies the first sharp global rate that explicitly captures the dimensional logarithmic factor for viscous quadratic HJ homogenization, together with a clean a.e. improvement that exploits semiconcavity. The derivation from first principles via viscosity comparison, the parameter-free character of the log term, and the explicit dependence of C only on ||Dg||_∞, ||DV||_∞ and n are strengths. The open problem is well-posed and usefully delineates the scope of the quadratic case.

minor comments (2)

The dependence of the constant C on the data is stated clearly in the abstract, but a brief remark in the introduction on whether C remains uniform when t → ∞ would help readers.
The statement that the a.e. rate holds “at every point (x,t) where u(·,t) is twice differentiable at x” is precise; a short sentence recalling that local semiconcavity of u(·,t) implies twice differentiability a.e. would make the argument self-contained for non-experts.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the significance of the sharp rates, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds from first principles via viscosity-solution comparison principles applied directly to the viscous quadratic Hamilton-Jacobi equation and its homogenized limit. The global O(ε log(1/ε)) bound and the a.e. O(ε) improvement are extracted using standard estimates on the difference of solutions, without any reduction to fitted parameters, self-definitional constructions, or load-bearing self-citations. The quadratic structure and Lipschitz periodicity of V are used explicitly in the comparison arguments, and the semiconcavity improvement follows from known properties of the homogenized solution. The argument is self-contained against external PDE benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard existence/uniqueness theory for viscosity solutions of Hamilton-Jacobi equations and on the quadratic structure of the Hamiltonian; no new entities are postulated and no parameters are fitted to data.

axioms (2)

standard math Existence and uniqueness of viscosity solutions to the viscous HJ equation and its homogenized limit.
Invoked implicitly to define u^ε and u.
domain assumption Lipschitz continuity of V and boundedness of Dg.
Used to obtain the uniform estimates that close the comparison arguments.

pith-pipeline@v0.9.0 · 5732 in / 1313 out tokens · 26355 ms · 2026-05-10T01:26:27.959165+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Nonexistence of vanishing-viscosity limits for mechanical Hamiltonian ergodic problems
math.AP 2026-05 unverdicted novelty 8.0

A one-dimensional C^3 example shows that vanishing-viscosity limits for mechanical Hamiltonian ergodic problems may not exist.

Reference graph

Works this paper leans on

30 extracted references · 4 canonical work pages · cited by 1 Pith paper

[1]

S. Agmon,On the asymptotic behavior of heat kernels and green’s functions of elliptic operators with periodic coefficients inR n, Lecture given at Technion–Israel Institute of Technology, 2007

2007
[2]

R. N. Bhattacharya,A central limit theorem for diffusions with periodic coefficients, Ann. Probab. 13 (1985), no. 2, 385–396

1985
[3]

Camilli, A

F. Camilli, A. Cesaroni, C. Marchi,Homogenization and vanishing viscosity in fully nonlinear elliptic equations: rate of convergence estimates, Adv. Nonlinear Stud. 11 (2011), no. 2, 405–428

2011
[4]

Capuzzo-Dolcetta, H

I. Capuzzo-Dolcetta, H. Ishii,On the rate of convergence in homogenization of Hamilton–Jacobi equations, Indiana Univ. Math. J. 50 (2001), no. 3, 1113–1129. 32 Z. LIU, H. V. TRAN, Y. YU

2001
[5]

Chaintron, S

L.-P. Chaintron, S. Daudin,Optimal rate of convergence in the vanishing viscosity for uniformly convex Hamilton-Jacobi equations, arXiv:2506.13255 [math.AP]

work page arXiv
[6]

Cirant, A

M. Cirant, A. Goffi,Convergence rates for the vanishing viscosity approximation of Hamilton- Jacobi equations: the convex case, to appear in Indiana Univ. Math. J., 2025

2025
[7]

Conca, M

C. Conca, M. Vanninathan,Homogenization of periodic structures via Bloch decomposition, SIAM J. Appl. Math. 57 (1997), no. 6, 1639–1659

1997
[8]

L. C. Evans,Periodic homogenisation of certain fully nonlinear partial differential equations, Proc. Roy. Soc. Edinburgh Sect. A 120 (1992), no. 3-4, 245–265

1992
[9]

L. C. Evans,Towards a Quantum Analog of Weak KAM Theory. Commun. Math. Phys. 244, 311–334 (2004)

2004
[10]

D. A. Gomes,A stochastic analogue of Aubry-Mather theory, Nonlinearity 15 (3), 581-603
[11]

Han and J

Y. Han and J. Jang,Rate of convergence in periodic homogenization for convex Hamilton–Jacobi equations with multiscales, Nonlinearity, 36 (2023), 5279

2023
[12]

Y. Han, W. Jing, H. Mitake, H. V. Tran,Quantitative homogenization of state-constraint Hamil- ton–Jacobi equations on perforated domains and applications, Arch. Ration. Mech. Anal., 249 (2025), no 2, 18

2025
[13]

Y. Han, S. Tu,Quantitative homogenization of Hamilton–Jacobi equations on perforated domains with Dirichlet boundary conditions, arXiv preprint arXiv:2510.27099

work page arXiv
[14]

Hebbar, L

P. Hebbar, L. Koralov, J. Nolen,Asymptotic behavior of branching diffusion processes in periodic media, Electron. J. Probab. 25, 1-40, (2020)

2020
[15]

Karatzas, S

I. Karatzas, S. E. Shreve, Brownian Motion and Stochastic Calculus, 2nd ed., Graduate Texts in Mathematics, 113, Springer, New York, 1991

1991
[16]

Kato, Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995

T. Kato, Perturbation Theory for Linear Operators, Classics in Mathematics, Springer, Berlin, 1995

1995
[17]

Kotani, T

M. Kotani, T. Sunada,Albanese maps and off diagonal long time asymptotics for the heat kernel, Comm. Math. Phys. 209 (2000), no. 3, 633–670

2000
[18]

Kuchment, Floquet Theory for Partial Differential Equations, Operator Theory: Advances and Applications, 60, Birkh¨ auser, Basel, 1993

P. Kuchment, Floquet Theory for Partial Differential Equations, Operator Theory: Advances and Applications, 60, Birkh¨ auser, Basel, 1993

1993
[19]

Y.-Y. Liu, J. Xin, Y. Yu,Periodic homogenization of G-equations and viscosity effects, Nonlin- earity 23 (2010) 2351

2010
[20]

Mitake, P

H. Mitake, P. Ni,Quantitative homogenization of convex Hamilton–Jacobi equations with Neu- mann type boundary conditions, Calculus of Variations and Partial Differential Equations, 65(5), 154
[21]

Mitake, P

H. Mitake, P. Ni, H. V. Tran,Quantitative homogenization of convex Hamilton-Jacobi equations withu/ε-periodic Hamiltonians, arXiv:2507.00663 [math.AP]

work page arXiv
[22]

J. R. Norris,Long time behaviour of heat flow: global estimates and exact asymptotics, Arch. Rational Mech. Anal. 140 (1997), 161–195

1997
[23]

R. G. Pinsky, Positive Harmonic Functions and Diffusion, Cambridge Studies in Advanced Math- ematics, 45, Cambridge University Press, Cambridge, 1995

1995
[24]

J. Qian, T. Sprekeler, H. V. Tran, Y. Yu,Optimal rate of convergence in periodic homogenization of viscous Hamilton–Jacobi equations, Multiscale Model. Simul. 22 (2024), no. 4, 1558–1584

2024
[25]

Simon, Functional Integration and Quantum Physics, 2nd ed., AMS Chelsea Publishing, Prov- idence, RI, 2005

B. Simon, Functional Integration and Quantum Physics, 2nd ed., AMS Chelsea Publishing, Prov- idence, RI, 2005

2005
[26]

H. V. Tran, Hamilton–Jacobi equations: Theory and Applications, Graduate Studies in Mathe- matics, Volume 213, American Mathematical Society
[27]

H. V. Tran, Y. Yu,Optimal convergence rate for periodic homogenization of convex Hamilton- Jacobi equations, Indiana Univ. Math. J., 74.3 (2025): 555-573

2025
[28]

Tsuchida,Long-time asymptotics of heat kernels for one-dimensional elliptic operators with periodic coefficients, Proc

T. Tsuchida,Long-time asymptotics of heat kernels for one-dimensional elliptic operators with periodic coefficients, Proc. London Math. Soc. (3) 97 (2008) 450–476

2008
[29]

Z. Wang, J. Zhang,On the vanishing viscosity limit of Hamilton-Jacobi equations with nearly optimal discount, arXiv preprint arXiv:2509.17402 (2025). HOMOGENIZATION OF VISCOUS QUADRATIC HAMILTON-JACOBI EQUATIONS 33

work page arXiv 2025
[30]

J. Xin, Y. Yu, P. Ronney,Lagrangian, Game Theoretic and PDE Methods for Averaging G- equations in Turbulent Combustion: Existence and Beyond, Bulletin of the American Mathemat- ical Society, 61(3), pp. 470–514, 2024. (Z. Liu)Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS), Shanghai, China, 200433 (Z. Liu)Research Institute of Int...

2024