Finite-Strength Sensitivity and Euler--UTSD Correspondence for Guderley--Mach Reflection
Weak shock reflection at nearly glancing incidence is governed, after the transonic weak-shock scaling, by a self-similar unsteady transonic small-disturbance (UTSD) free-boundary problem. We derive and differentiate the first finite-strength perturbation of the corresponding isentropic potential-flow problem along paths of fixed canonical incidence $a=α/δ$, where $μ=δ^2=2(M^2-1)$. A second-order refluxed adaptive finite-volume method, exact discrete tangents and adjoints, and a Rankine--Hugoniot-constrained fitted principal front give the fixed-$a$ canonical sensitivity $H_{2,a}^{\PF}(0.5;1.4)=-0.217\pm0.012$; a fully differentiated physical back-map gives the diagnostic fixed-$a$ coefficient $K_{2,a}^{\PF}\simeq-0.266$. We derive the exact chain rule that converts these quantities to the distinguished fixed-$λ$ path $λ=(M-1)/α^2$, showing explicitly that the conversion requires the independent incidence derivative of the leading UTSD branch and therefore cannot be inferred from the fixed-$a$ calculation alone. A matched-boundary self-similar Euler study with strength-dependent refinement contains 21 qualified nonlinear states and 252 evaluations of a common front-functional family. Coupled extrapolation gives $g_0^{\Eul}=0.510\pm0.006$ and the physical leading-angle coefficient $G_0^{\Eul}=0.256\pm0.004$, consistent with the shock-fitted UTSD limits. A separate same-strength phase-bracket audit using 18 Euler states shows that the captured-shock subcell phase is comparable to the desired cubic signal. The resulting finite-resolution Euler secants are compatible with the potential-flow correction, but their $ρ=h_η/\sqrtμ\to0$ extrapolation is not model-stable. Thus leading-order Euler--UTSD correspondence is numerically verified, whereas cubic-order Euler correspondence remains unresolved.