Strict monotonicity conjecture for the mass of the TFDW Euler–Lagrange solution
Let cTF>0c_{TF}>0cTF>0, and for 0<μ<1564cTF0<\mu<\frac{15}{64c_{TF}}0<μ<64cTF15 let QμQ_\muQμ be the unique positive solution of the associated Euler–Lagrange equation, with mass M(μ)M(\mu)M(μ), and let…