Before running a simulation for turbulence (e.g Rayleigh-Benard Convection), how do we check for well-posedness of Navier-Stokes with other equations for a given boundary condition??

Can someone point to any reference to read on this topic??

  • 1
    $\begingroup$ What do you mean by "other equations". $\endgroup$
    – Vikram
    Commented Aug 28, 2019 at 9:55
  • $\begingroup$ I meant energy and other advection-diffusion equations. I only want to get the general idea wrt how this kind of initial analysis is done. $\endgroup$
    – user162281
    Commented Aug 28, 2019 at 10:11
  • $\begingroup$ Compressible or incompressible? $\endgroup$ Commented Aug 28, 2019 at 18:37
  • $\begingroup$ I imagine you know that you'll get a million dollars if you can show well-posedness of just the N-S equation by itself. Adding anything else will only make things more complicated! $\endgroup$ Commented Aug 28, 2019 at 21:04
  • $\begingroup$ @DavidKetcheson Incompressible $\endgroup$
    – user162281
    Commented Aug 29, 2019 at 8:44

1 Answer 1


The following paper gives a good overview of well-posedness for the compressible Navier Stokes equations.


The basic building block is the energy method, where you linearize the equations, then left multiply with the primitive variables, and then integrate. This gives you a norm which you check for stability. The number and form of boundary conditions can be determined from the eigenvalues of the boundary operator.

This gives a necessary condition for well-posedness, and other equations can be similarly treated. However, I am not sure if this is sufficient. There are often other norms that can be used such as entropy, but the above approach seems to be a robust recipe.

  • $\begingroup$ Thank you, sir. This is what I was looking for. Thanks again. Can you share more literature with more deeper analysis relating to well-posedness problem? I would really appreciate it. $\endgroup$
    – user162281
    Commented Aug 29, 2019 at 6:09
  • $\begingroup$ Deeper analysis is often is much more mathematical. Maybe that question would be more suitable for math stackexchange. $\endgroup$
    – Vikram
    Commented Aug 29, 2019 at 8:46
  • $\begingroup$ Regarding sufficiency, under the assumption of smooth solutions this approach is sufficient to ensure boundedness of solutions by the localisation, linearisation and Duhamel principles. The energy estimate alone is not sufficient to establish existence and uniqueness globally and for all times however $\endgroup$
    – ekkilop
    Commented Sep 12, 2019 at 12:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.