Is King Lud the Origin of London's Name?

No. The legendary King Lud (from Geoffrey of Monmouth's pseudohistory) is not the source. London derives from Roman Londinium (c. 43 AD), likely from pre-Celtic Plowonida or Celtic Londinos (possibly "place of the bold one" or "wild/river"). The Lud myth is medieval fabrication.