I've found a mine of misinformation on the internet about how to use PHP to produce a date and time for an RSS feed that validates.
Sadly, none of the suggestions work, and some of them are very complex!
The real answer turns out to be very simple:
$date_feed = date('r');
I wish this information had been readily available to me ...