The Physical Cutoff Does Not Restore Homogenization: Phase-Dependent Burning in the Strain G-Equation

2026-08-15

AI Summary

This study disproves the conjecture regarding the existence of effective burning velocities for the physically positive strain G-equation in cellular flows. Employing Hamiltonian squeezing methods alongside Lean4 formal verification, we demonstrate that solutions exhibit linear temporal oscillations and lack local uniform convergence, thereby establishing an order-one value gap at macroscopic timescales. The research reveals that physical truncation fails to restore homogenization and introduces rectangular support function comparators with barrier certificate covering radius theorems to elucidate phase-dependent combustion mechanisms. Collectively, this work provides a rigorous theoretical foundation and mathematical guarantees for robust sequential decision-making within complex dynamical systems, bridging formal methods with nonlinear PDE analysis in combustion theory.

Abstract

We disprove the expectation stated by Xin, Yu, and Ronney that the physical positive part strain $G$-equation should possess an effective burning velocity in cellular flows. For the standard cellular flow in dimension two $V_A(x_1,x_2)=A(-\sin x_1\cos x_2,\cos x_1\sin x_2)$, if $0<d<20/399$ and $\sqrt{1+4d^2}<Ad\le1+d/10$, then for every unit planar slope the periodic correction develops oscillations at least linearly in time. The solution remains bounded below on an explicit horizontal channel through $(π,0)$, while at $(π/2,0)$ it decreases at rate at least $CA/\log A$, with $C>0$ universal. The same conclusions hold for arbitrary continuous periodic perturbations of planar initial data. Under the physical scaling $V_A(x/\varepsilon)$ and $d_\varepsilon=\varepsilon d$, an order one value gap persists between points at distance $O(\varepsilon)$ at every positive macroscopic time, so the rescaled solutions have no locally uniformly convergent subsequence. The proof uses the Hamiltonian sandwich $H_{\mathrm{unc}}\le H_+\le\widehat H$. The upper comparator $\widehat H$ is a rectangular support function, equivalently an upper expectation over a state-dependent credal set, whose reversed control dynamics possess an invariant comparison channel. We also prove that for any $C^2$ incompressible periodic flow, every $\varepsilon$-outward barrier certificate has covering radius at most $2d\varepsilon$ for all sufficiently small $\varepsilon$. We further discuss implications for statistics and machine learning: rectangular, time-consistent local uncertainty need not imply forgetting of the initial state in the long run, so additional global stability or ergodicity conditions are needed in robust sequential decision making. Two Lean 4 appendices record conditional formalizations of a sufficient $p=e_1$ subregime and of the logical assembly of the rigidity theorem for barrier certificates.

Problem

• Strain G-equation
• Homogenization
• Effective burning velocity
• Cellular flows
• Phase-dependent burning

Innovation

• Strain G-equation
• Hamiltonian sandwich
• Barrier certificate
• Robust sequential decision making
• Lean 4 formalization