Non-uniqueness and symmetries for the Nirenberg problem using computer assistance
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917373150232576 |
|---|---|
| author | Platt, Daniel |
| author_facet | Platt, Daniel |
| contents | 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 solution for a particular prescribed curvature that was previously predicted, but not proved, to exist. We are also able to determine the symmetry groups of the genuine solutions exactly, which in one case is different from the symmetry of the prescribed curvature. We expect the computer code for this proof can be reused to study other aspects of the Nirenberg problem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_29544 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Non-uniqueness and symmetries for the Nirenberg problem using computer assistance Platt, Daniel Differential Geometry 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 solution for a particular prescribed curvature that was previously predicted, but not proved, to exist. We are also able to determine the symmetry groups of the genuine solutions exactly, which in one case is different from the symmetry of the prescribed curvature. We expect the computer code for this proof can be reused to study other aspects of the Nirenberg problem. |
| title | Non-uniqueness and symmetries for the Nirenberg problem using computer assistance |
| topic | Differential Geometry |
| url | https://arxiv.org/abs/2603.29544 |