Define:
YH[beta_, alpha_, Y4_] := - 173 Cos[beta] * Sin[alpha] + (2 Y4* Cos[alpha])
g[beta_, alpha_, yy_, zz_, jj_] := -Sin[alpha] (yy + jj) + Cos[alpha] zz
r[ms_] := (750^2)/(4.*ms^2)
k[ms_] := (-1/4)*(Log[( 1 + Sqrt[1 - r[ms]^-1])/(1 - Sqrt[1 - r[ms]^-1]) ] - (I* Pi))^2
AS[ms_] := -((r[ms]) - k[ms])/(r[ms])^2
rt := (750^2)/(4.* 173^2)
kt := (-1/ 4)*(Log[( 1 + Sqrt[1 - rt^-1])/(1 - Sqrt[1 - rt^-1]) ] - (I*Pi))^2
At := 2* (rt + ((rt - 1)*kt))/(rt)^2
Now my function is:
sigma[ms_, beta_, alpha_, Y4_, yy_, zz_, jj_] := 1/(256*Pi)* Abs[(1/2) YH[beta, alpha, Y4] * At + 3/(2 ms^2) *AS[ms]* g[beta, alpha, yy, zz,jj]]^2 *(10)
I want to solve sigma[ms, ArcTan[0.9], ArcTan[0.1], -2.0, 10, zz, 10]
for ms and zz to satisfy
cm := 0 <= sigma[ms, ArcTan[0.9], ArcTan[0.1], -2.0, 10, zz, 10] <= 10
The first command I can is Reduce
, I tried:
reg:= Reduce[cm, {ms, zz}]
but Reduce
here take too much time in Running and stuck, is there any thing can make Reduce more quicker and get out the solution ? or can I use other powerful command ?
Edit
As the discussion in this post, I learnt that one can avoid using Reduce
for complicated function, and can know the values of the parameters which satisfy the function regions as in @Marius Ladegård Meyer answer. Now come to my sigma
, for instance if I require 1 <= sigma[300, ArcTan[s], ArcTan[n], -2.0, 10, 10, 10] <= 100
then
RegionPlot[1 <= sigma[300, ArcTan[s], ArcTan[n], -2.0, 10, 10, 10] <= 100, {s,0.1, 2}, {n, 1, 10}]
Gives:
sigma[ms, ArcTan[0.9], ArcTan[0.1], -2.0, 10, zz, 10]
in (ms,zz) plan at the specified region, i.e,RegionPlot[reg, {ms,100,500},{zz,-10,10}]
, butReduce
stuck .. $\endgroup$