文章首次在1+1维平面对称的Israel-Stewart理论中证明了有限时间梯度爆炸的存在，展示了光滑初始数据如何在纯体粘性、剪切粘性和扩散三种机制下演化为激波。通过体粘性流体的数值模拟，验证了这些激波满足Rankine-Hugoniot条件，表现出特征速度交叉（马赫数满足Mu > 1 > Md），并保持了热力学一致性。研究揭示了非线性效应主导的早期动力学阶段，解决了IS型理论预测激波形成看似不可能的问题。尽管局限于简化系统，这项工作为相对论粘性流体动力学中的激波形成提供了基础性见解，并强调了在研究中初始数据结构和数值方法的重要性。
激波形成是流体中的自然现象，通常伴随着密度、温度和压力等物理变量的突变。在相对论流体动力学中，激波的形成在核物理、天体物理和宇宙学等多个领域具有重要意义。然而，粘性理论中的激波形成机制仍未被充分理解。Israel-Stewart理论作为首个被证明线性稳定且因果性的相对论粘性流体理论，为研究这一问题提供了理想框架。
Olson-Hiscock和Geroch-Lindblom的研究聚焦于Israel-Stewart方程的稳态解，其中粘性效应主导且时间导数可忽略。这种分析排除了强激波的存在，因为特征条件在速度穿越特征速度时会导致解的多值性。相比之下，文章研究了完整的时变系统，其中非线性效应主导，允许真正的激波形成。
在非线性效应主导的早期阶段，梯度会随时间增长，最终导致导数爆炸。这一行为对于不连续激波的形成至关重要，它提供了导数爆炸的机制，同时保持解的有界性。当系统进入粘性主导阶段后，Israel-Stewart耗散保证了晚期解会变得光滑，从而将动态激波形成与最终的稳态剖面联系起来。
文章建立了严格的数学框架，证明了在体粘性、剪切粘性和扩散三种情况下，存在光滑初始数据会导致有限时间梯度爆炸。通过数值模拟验证了激波的物理合理性，包括Rankine-Hugoniot条件的满足和特征速度的交叉。这些结果揭示了Israel-Stewart理论中激波形成的完整图像，从早期的非线性主导到晚期的粘性主导。
通过高分辨率激波捕捉方法（MUSCL和WENO-Z）的数值模拟，研究展示了两种不同的初始配置如何分别产生对向传播的激波和稀疏波-激波组合。数值结果验证了激波满足物理激波的所有必要条件，包括熵密度增加和不可逆过程。此外，通过与Bjorken流的半解析解对比，验证了数值代码的准确性。
这项工作为相对论粘性流体中的激波形成提供了新的理论见解和数值证据，为未来研究更复杂的3+1维系统或完整Israel-Stewart理论中的激波形成奠定了基础。