I am not entirely sure if I should ask this question here or not, but here goes: can anyone suggest any reference (book, article, etc.) about the Navier-Stokes equations from a mathematical point view? In other words, works that go into detail about the properties of the NS equations as a set of PDE's and the properties of the solutions (if any)(including attempts to prove that the solution is smooth and its energy is bounded over time). I am also interested in alternative models like Leray's, Holm's and Ladyzenskaja's models.
I don't know where to start my search, so any nudge in the right direction is appreciated.