For $\mu \in (-\infty,-\frac{\pi^{2}}{6})$, I need to solve for $T$ and $\mu$ the system
$$ \frac{1}{2}A =\frac{2T}{\sqrt{-(\frac{\pi^{2}}{3} + 2\mu)}}\arctan{\frac{\pi}{\sqrt{-(\frac{\pi^{2}}{3} + 2\mu)}}}$$ and
$$ \frac{1}{2}E =\pi T + \frac{\mu}{2}A $$
Naively asking Solve
to do this does not yield a result. I then considered restricting the domain $\mu \in [-\pi^2,-\pi^2 +\epsilon], \epsilon << 1$ and taking the linear series approximation at $\mu=-\pi^2$ to get $\tan ^{-1}\left(\sqrt{\frac{2}{3}}\right)+\frac{2 \sqrt{\frac{2}{3}} \left(\mu +\pi ^2\right)}{5 \pi ^2}+O\left(\left(\mu +\pi ^2\right)^2\right)$ and then asking Solve
again to do this, but this yielded a very long result that I do not understand.
Simplify[
Solve[energy/2 == \[Pi] T + \[Mu]/2 waveaction &&
waveaction/
2 == (2 T)/
Sqrt[-(\[Pi]^2/3 + 2 \[Mu])] (ArcTan[Sqrt[2/3]] + (
2 Sqrt[2/3] (\[Mu] + \[Pi]^2))/(
5 \[Pi]^2)), {T, \[Mu]}]]
Any ideas on how to do this?
Solve
should be appropriately restricted to provide well defined solutions. You can use e.g.Solve[en/2 == \[Pi] T + \[Mu]/2 wa && wa/2 == (2 T)/Sqrt[-(\[Pi]^2/3 + 2 \[Mu])] (ArcTan[ Sqrt[2/3]] + (2 Sqrt[2/3] (\[Mu] + \[Pi]^2))/(5 \[Pi]^2)) && \[Mu] < -(Pi^2/ 6) && (en | wa) \[Element] Reals && wa != 0, {T, \[Mu]}, Reals, Method -> Reduce]
. Results are true under quite involved conditions. $\endgroup$Method -> Reduce
one can useMaxExtraConditions -> All
or useReduce
. $\endgroup$ArcTan[x]*x == 2
, cannot be solved either. So you must be satisfied with numerical answer. $\endgroup$