Thinking about it, if sound was working via optical, then the Denon must also be set to accept audio via one of the optical inputs for the PS3 input, rather than HDMI. You'll also need to go into the Denon setup and ensure that, for the PS3 input, it's expecting both sound and audio to be coming from the same HDMI socket.