WIAS Preprint No. 3208, (2025)

A relative energy inequality for an anisotropic Navier--Stokes--Nernst--Planck--Poisson system --- Weak-strong uniqueness and a posteriori error estimates


Authors

  • Lasarzik, Robert
    ORCID: 0000-0002-1677-6925
  • Plato, Luisa
    ORCID: 0000-0003-3456-1570

2020 Mathematics Subject Classification

  • 35D30 35G61 35Q35

Keywords

  • Anisotropic electrolyte, relative energy inequality, weak-strong uniqueness, a posteriori error estimates

DOI

10.20347/WIAS.PREPRINT.3208

Abstract

In this work, we build upon the framework of suitable weak solutions to the anisotropic Navier--Stokes--Nernst--Planck--Poisson (NSNPP) system, as developed in [HPL25], and establish a relative energy inequality for these solutions. This inequality serves as the basis for proving the weak-strong uniqueness property. Additionally, we exploit the relative energy inequality as a tool to obtain a posteriori error estimates. We are interested in the high-viscosity-low-Reynolds number limit of the NSNPP, which leads to the anisotropic Stokes--Nernst--Planck--Poisson (SNPP) system. Utilizing the relative energy framework, we derive an error estimate for the distance between solutions to the NSNPP and SNPP model in natural energy and dissipation norms. Moreover, we prove the existence of regular local-in-time solutions to the NSNPP as well as the SNPP system, possessing sufficient regularity to be admissible in the relative energy framework.

Download Documents