Formula For Average Power In Frequency Domain Decomposition