Non-uniqueness and symmetries for the Nirenberg problem using computer assistance

Daniel Platt

We apply verified numerics to the Nirenberg problem, proving that a genuine solution exists near two given computer-generated approximate solutions. This proves existence of a solu…