Matterwave said:
The work defined in Thermodynamics is useful work (the work to move a piston). That's why you have U=W+Q. Q is the heat, and you don't consider that work simply because you can't account for all the F*r terms in it.
The same recommendation that for Andrew Mason: open a textbook on thermodynamics and learn the subject first. I would recommend the section «7.5 USEFUL WORK AND THE GIBBS AND HELMHOLTZ FUNCTIONS» of Klotz & Rosnberg well-known textbook (I have seventh ed.) to understand the difference between work and useful work.
E.g. the Helmholtz free energy measures the useful work obtainable from systems at a constant temperature, volume, and composition. This is not the same than work W.
Matterwave said:
1) Can you calculate for me, using this definition, the energy of a ball falling in a gravitational field? Let's say it starts at height h, in a uniform gravitational field, and free-falls.
From the expression obtained above [itex]E = H(p,q)[/itex], and as first approximation this is [itex](p^2/2m + V(q))[/itex]
Matterwave said:
2) If you just "postulate" the Hamiltonian, then all you've done is shift the question from "What is energy?" to "What is the Hamiltonian?". The Hamiltonian formalism is inherently difficult to work with whenever there are gauge invariances of a theory. It is even more difficult to work with in the context of general relativity where the split between time and space should not be made so artificial.
Giving a definition of something is always shifting the question from the definiendum to the definiens. Evidently, this process cannot be repeated forever. Therein that formal systems contain a set of
primitive elements which are not defined.
As already said, the Hamiltonian is the generator of the time-translations. All of QFT is based in obtaining a Hamiltonian, from which one obtain the S-matrix, which is tested in experiments. Weinberg has a delicious discussion about those topics.
Regarding GR, the 3+1 formalism is fundamental for an deep (and practical) understanding of
dynamics. Indeed the 3+1 formalism is the foundation of most modern numerical relativity.
The problems with the usual Hamiltonian formalism of GR are more related to certain geometric deficiencies of GR than to the Hamiltonian formalism.
As said as well, the Hamiltonian formalism is fundamental when studying more general dynamics beyond QFT and GR.
Matterwave said:
Additionally, there are explicit proofs of "when" the Hamiltonian "is" the energy of the system or not and "when" it is conserved or not. These are 2 separate questions. Goldstein goes into some detail about this. If I recall correctly, the Hamiltonian only corresponds with our usual definition of energy if the kinetic energy is dependent quadratically on the speeds, and the potential is not dependent on speeds.
I already wrote above that E=H(p,q) is valid as approximation. The rest is wrong.
Matterwave said:
3) If ρ was the state of the particle, it wouldn't make sense to take the trace of it. The trace is only good for operators (i.e. matrices), a state is a vector (more formally, a ray) in the Hilbert space. How do you take the trace of a vector? You can see this explicitly from the form of ρ:
[tex]\rho=\sum_i P_i |\Psi_i\rangle \langle \Psi_i |[/tex]
That's manifestly an operator and not a state.
If you open a textbook on QM, you will discover that the operator rho describes the
general state of a quantum system (beyond the limits of |ψ>). Recall that my goal was to give a general definition of E, not one valid only in special situations.
Moreover, you are replying to a part where I said that Tr was denoting the classical trace, which means that you do not read my posts. The classical trace is an phase space integration and rho is not an operator therein but the phase space state that correspond to the classical limit.