Jin–Xin shock homotopy for PINNs
Implementation & benchmark of arXiv:2608.22493 — A Jin--Xin Relaxation Gradual Convergence Method for Conservation-Law PINNs
Source paper: A Jin--Xin Relaxation Gradual Convergence Method for Conservation-Law PINNs arXiv:2608.22493 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train on a sequence of Jin–Xin relaxation problems with decreasing relaxation width rather than training immediately on the singular conservation law. The network predicts both the conserved state and an auxiliary flux, and each stage is initialized from the previous stage so that the learned shock profile sharpens gradually.
Formulas
Mathematical statement
The method uses the Jin–Xin system $$\begin{cases}\partial_t\mathbf{u}+\partial_x\mathbf{v}=0,\\ \varepsilon\bigl(\partial_t\mathbf{v}+\mathbf{A}^{2}\partial_x\mathbf{u}\bigr)=\mathbf{f}(\mathbf{u})-\mathbf{v},\end{cases}$$ where $\mathbf{u}(t,x)\in\mathbb{R}^n$ is the conserved state, $\mathbf{v}(t,x)\in\mathbb{R}^n$ is an auxiliary flux, $\mathbf{f}$ is the physical flux, $\mathbf{A}$ is a symmetric positive-definite matrix, and $\varepsilon>0$ controls the relaxation-layer width. The equilibrium initial data are $$\mathbf{u}(0,x)=\mathbf{u}_0(x),\qquad \mathbf{v}(0,x)=\mathbf{f}(\mathbf{u}_0(x)).$$ As $\varepsilon o0$, the second equation forces $\mathbf{v}=\mathbf{f}(\mathbf{u})$, recovering $\partial_t\mathbf{u}+\partial_x\mathbf{f}(\mathbf{u})=0$. The sub-characteristic condition requires the eigenvalues of $\mathbf{A}$ to dominate those of the flux Jacobian $D\mathbf{f}(\mathbf{u})$; for diagonal $\mathbf{A}=\operatorname{diag}(a_i)$, choose $a_i\geq(1+\delta)\sup_{\mathbf{u}}|\lambda_i(D\mathbf{f}(\mathbf{u}))|$ with safety margin $\delta>0$. The paper states an $\varepsilon$-uniform stability estimate and, for scalar conservation laws, the relaxation-limit rate $$\|\mathbf{u}^{\varepsilon}-\mathbf{u}^{0}\|_{L^2}=\mathcal{O}(\varepsilon^{1/4}).$$ For a neural approximation $(\hat{\mathbf{u}},\hat{\mathbf{v}})$, minimize the two residuals $R_1=\partial_t\hat{\mathbf{u}}+\partial_x\hat{\mathbf{v}}$ and $R_2=\varepsilon(\partial_t\hat{\mathbf{v}}+\mathbf{A}^2\partial_x\hat{\mathbf{u}})-\mathbf{f}(\hat{\mathbf{u}})+\hat{\mathbf{v}}$ at each continuation stage.
Implementation notes
(1) Integration point: modify a standard one-dimensional PINN so its MLP outputs $(\hat{u},\hat{v})$ rather than only $\hat{u}$. Use automatic differentiation to obtain $u_t,v_t,u_x,v_x$. For Burgers, set $f(u)=u^2/2$ and use a scalar relaxation speed $A=a$.
(2) Pseudocode: choose $\varepsilon_0>\varepsilon_1>\cdots>\varepsilon_K$, for example $\varepsilon_{k+1}=q\varepsilon_k$ with $q=0.5$. Initialize the network and impose $v(0,x)=f(u_0(x))$. For stage $k$, sample collocation points $(t_j,x_j)$, compute derivatives, form $R_1=u_t+v_x$ and $R_2=\varepsilon_k(v_t+a^2u_x)-f(u)+v$, and minimize $$L_k=\operatorname{MSE}(R_1)+\operatorname{MSE}(R_2)+\lambda_{IC}L_{IC}+\lambda_{BC}L_{BC}.$$ Stop when validation loss stagnates, retain the weights, reduce $\varepsilon$, and continue from those weights. Use the same collocation distribution and optimizer budget for every baseline. Because derivatives can grow in the sharp-layer stages, optionally clip gradient norm and increase collocation density near locations where $|u_x|$ is large.
(3) Compute from the paper's mathematics: the coupled residuals, equilibrium flux initialization, continuation direction, and the admissibility requirement on $a$. Estimate the Burgers sub-characteristic speed from the current state range using $a=(1+\delta)\max_j|u_j|$, with $\delta$ between $0.1$ and $0.5$; freeze or update $a$ only between stages to avoid introducing discontinuous optimization targets. Estimate the limiting error by comparing the final prediction to a high-resolution TVD or WENO finite-volume entropy solution. Fit the observed error over several final values of $\varepsilon$ to test whether it decreases approximately like $\varepsilon^{1/4}$.
(4) First cheap experiment: solve Burgers' equation on $t\in[0,0.4]$, $x\in[-1,1]$ with Riemann initial data using a four-layer tanh MLP. Compare direct training at $\varepsilon=10^{-3}$, fixed-parameter relaxation training, and the schedule $1,0.3,0.1,0.03,0.01,0.003$. Keep total gradient evaluations and collocation counts equal. Measure $L^1$ and $L^2$ error, shock-location error, residual variance in a window around the shock, and the number of optimizer divergences. The method succeeds if it gives lower shock error and smoother loss descent at equal compute, particularly when direct PINN training produces oscillations, excessive smoothing, or convergence to an incorrect averaged discontinuity.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a two-output Burgers Jin–Xin PINN with residuals R1 and R2, equilibrium initial flux, gradient clipping, and warm-start epsilon continuation. The math sanity check gave min(a²-u²)=0.5625 and halving epsilon halved the Chapman–Enskog residual (ratio 0.5), but the continuation PINN did not win at equal optimizer steps: its L1/L2 errors were 0.06165/0.15319 versus 0.05125/0.14001 for direct training. Thus the proposed effect was not observed in this tiny experiment.
- Agent confidence
- 9/10
- Baseline
- Direct epsilon=0.003, 900 Adam steps: L1=0.05125, L2=0.14001, shock-location error=0.00300, final loss=0.18483, runtime=14.91 s.
- Idea
- Warm-start schedule [1, 0.3, 0.1, 0.03, 0.01, 0.003], 900 total Adam steps: L1=0.06165, L2=0.15319, shock-location error=0.00300, stage losses=[2.22287, 1.03382, 0.52770, 0.21016, 0.43603, 0.19713], runtime=15.54 s.
Limitations: Only one fixed seed and one small 2x32 tanh network were tested. The comparison used a simple Riemann Burgers target and did not include a high-resolution finite-volume reference, multiple collocation densities, adaptive shock sampling, epsilon=0 refinement, or a systematic epsilon^(1/4) convergence fit.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- experiment.py 4.9 KB View Raw
- report.md 1.4 KB View
- results.json 1.0 KB View Raw