The PDE that most analyses start with does not need to be proven. This has been rigorously derived since forever. The thing that actually needs to be proven is whether or not smooth solutions exist to the PDE for all cases of parameters. In practice, people tend to stick to working with simple cases that can be solved analytically, or use computer simulations to compute approximate solutions (to very high precision).
To add on that, for all cases really means a lot more than bends in pipe or air off a wing or smoke which we have difficulty with today. You'll need to hit everything, plasma on the Sun, exotic matter, it leads to quasiparticles for the many-body problem.
My interest in this subject is I hope new developments lead to cardiac therapies. I send some buzzing acoustic signal with a pacemaker, I can treat blockages in the brain or tumors in hard to reach organs. A lot better to me than building faster missiles to blow more people up.
The PDE that most analyses start with does not need to be proven. This has been rigorously derived since forever. The thing that actually needs to be proven is whether or not smooth solutions exist to the PDE for all cases of parameters. In practice, people tend to stick to working with simple cases that can be solved analytically, or use computer simulations to compute approximate solutions (to very high precision).