In this paper we devise and analyze a pressure-robust and superconvergent HDG method in stress-velocity formulation for the Stokes equations and the Navier–Stokes equations with strongly symmetric stress. The stress and velocity are approximated using piecewise polynomial space of order k and H(div;Ω)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H(\ extrm{div};\\Omega )$$\\end{document}-conforming space of order k+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$k+1$$\\end{document}, respectively, where k is the polynomial order. In contrast, the tangential trace of the velocity is approximated using piecewise polynomials of order k. Moreover, the characterization of the proposed schemes shows that the globally coupled unknowns are the normal trace and the tangential trace of velocity, and the piecewise constant approximation for the trace of the stress. The discrete H1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^1$$\\end{document}-stability is established for the discrete solution. The proposed formulation yields divergence-free velocity, but causes difficulties for the derivation of the pressure-independent error estimate given that the pressure variable is not employed explicitly in the discrete formulation. This difficulty can be overcome by observing that the L2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L^2$$\\end{document} projection to the stress space has a nice commuting property. Moreover, superconvergence for velocity in discrete H1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^1$$\\end{document}-norm is obtained, with regard to the degrees of freedom of the globally coupled unknowns. Then the convergence of the discrete solution to the weak solution for the Navier–Stokes equations via the compactness argument is rigorously analyzed under minimal regularity assumption. The strong convergence for velocity and stress is proved. Importantly, the strong convergence for velocity in discrete H1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^1$$\\end{document}-norm is achieved. Several numerical experiments are carried out to confirm the proposed theories.
Read full abstract