Theorem:
unique decomposition where is harmonic. . This can also be written using the laplacian as .
. This can be inverted to get as long as there are no 0 mode oscillations.
Can define a projection operator . Then use projection operator to solve for , then show that you can invert to get .