Summary: The coupled Navier-Stokes/Allen-Cahn system is a simple model to describe phase separation in two-component systems interacting with an incompressible fluid flow. We demonstrate the weak-strong uniqueness result for this system in a bounded domain in three spatial dimensions which implies that when a strong solution exists, then a weak solution emanating from the same data coincides with the strong solution on its whole life span. The proof of given assertion relies on a form of a relative entropy method.
[4] Feireisl, E., Jin, B. J., Novotný, A.: Inviscid incompressible limits of strongly stratified fluids. Asymptotic Anal. 89 (2014), 307-329. DOI 10.3233/ASY-141231 | MR 3266143 | Zbl 1304.35540
[5] Feireisl, E., Klein, R., Novotný, A., Zatorska, E.: On singular limits arising in the scale analysis of stratified fluid flows. Math. Models Methods Appl. Sci. 26 (2016), 419-443. DOI 10.1142/S021820251650007X | MR 3458246 | Zbl 1339.35210
[6] Feireisl, E., Novotný, A.: Weak-strong uniqueness property for the full Navier-Stokes-Fourier system. Arch. Ration. Mech. Anal. 204 (2012), 683-706. DOI 10.1007/s00205-011-0490-3 | MR 2909912 | Zbl 1285.76034