OpenAI reports the subcritical Hénon–Lane–Emden theorem
- Mathematics
For n≥2, p,q>0 and real weights A,B satisfying (n+A)/(p+1)+(n+B)/(q+1)>n−2, the Hénon–Lane–Emden system has no strictly positive entire solution continuous at the origin and C² away from it.