In[1401]:= (*Calculo analítico da produção de modos vetoriais*)

(*Aproximação de Pöschl-Teller da secão IV B de "Wang, PhysRevD.96.083520"*)

In[1402]:= ClearAll["Global`*"]
apaga tudo
assumptions = {k > 0, k ∈ Reals, η ∈ Reals, ηi ∈ Reals};
números re⋯ números reais números reais
γB = 0; (*sem poeria*)
a[η_] = aB Sqrt[1 + η ^ 2] + γB η ^ 2;
raiz quadrada
V[η_] = Simplifya ''[η]  a[η];
simplifica

(*Potencial Pöschl-Teller*)
VPT[η_] = V0  Cosh[d η] ^ 2;
cosseno hiperbólico
(*Valor de "V0" em VPT → Solve para V[0]=VPT[0]*)
resolve
V0 = Solve[V[0] ⩵ VPT[0], V0][[1]][[1]][[2]];
resolve
(*Valor de "d" em VPT → Solve para V''[0]=VPT''[0]*)
resolve
d = Solve[V ''[0] ⩵ VPT ''[0], d][[2]][[1]][[2]];
resolve
(*Comparando os potenciais*)
Plot[{V[η], VPT[η]}, {η, - 5, 5}, PlotRange → All, PlotLegends → "Expressions"]
gráfico intervalo do g⋯ tudo legenda do gráfico

1.0

0.8

0.6
V(η)
Out[1408]=
VPT(η)
0.4

0.2

-4 -2 2 4

In[1409]:= (*Solução analítica para μ[η,k] usando o potencial Pöschl-Teller*)

μv0[η_] = SimplifyDSolveμ ''[η] + k ^ 2 - 1  Cosh[m η] ^ 2 μ[η] ⩵ 0, μ[η], η /.
simplifica resolve equação diferencial cosseno hiperbólico
m → Sqrt[2][[1]][[1]][[2]]
raiz quadrada
ⅈk ⅈk
- 1 ⅈ
+
Out[1409]= - ⅇ2 2 η
 2 ⅇ2 2 η
2 2 1 + ⅇ2 2 η
2 2

kπ
1 ⅈ 1 ⅈk
ⅇ 2 2 Hypergeometric2F1 + , 1 + ⅈ - ⅈ 2 k, 1 - , - ⅇ2 2 η
+
2 2 2 2
ⅈk
1 ⅈ 1 ⅈk
- ⅇ2 2 η
 2 1 Hypergeometric2F1 + , 1 + ⅈ + ⅈ 2 k, 1 + , - ⅇ2 2 η

2 2 2 2
2 grishchuk_analitico.nb

In[1410]:= (*Resultado final de μ[η] simplificado à mão → Ainda com constantes arbitrárias*)
μ[η_] = Simplifyμv0[η] /.
simplifica
ⅈk ⅈk ⅈk ⅈk ⅈk
- -
- ⅇ2 2 η
 2 → - 1 2 ⅇ-2 ⅈ k η , ⅇ2 2 η
2 2 → ⅇⅈ k η , - ⅇ2 2 η
 2 → - 1 2 ⅇ2 ⅈ k η 
1 ⅈ
+
Out[1410]= ⅇ-ⅈ k η 1 + ⅇ2 2 η
2 2

2 kπ
1 ⅈ 1 ⅈk
ⅇ 2 Hypergeometric2F1 + , 1 + ⅈ - ⅈ 2 k, 1 - , - ⅇ2 2 η
+
2 2 2 2
1 ⅈ 1 ⅈk
ⅇ2 ⅈ k η 1 Hypergeometric2F1 + , 1 + ⅈ + ⅈ 2 k, 1 + , - ⅇ2 2 η

2 2 2 2

In[1411]:=

In[1412]:= (*Expansão de μ[η] para η<<1 para poder tomar

as condições inicias e obter as constantes 1 e 2 *)
μSMALLηv0[η_] = Simplify[Normal[Series[μ[η], {η, - Infinity, 0}]],
simplifica normal série infinito
Assumptions → assumptions]
premissas
1
1 +
ⅈ

Out[1412]= ⅇ-ⅈ k η 1 + ⅇ2 2 η
2 2

4 16 + 10 k2 + k4 
2  2 +ⅈ k η
-2 ⅈ ⅇ 8 + k2  2 + 2 k + 1 - ⅈ k2  1 + 4 ⅇ2 ⅈ k η 16 + 10 k2 + k4  1 +

1 + 2 ⅈ ⅇ4 2 η+2 ⅈ k η
4 + 8 ⅈ + 2 + 5 ⅈ 2 k + 7 + 4 ⅈ k2 + 1 + ⅈ 2 k 3 + k4  1 +
2 (k π+2 η)
2ⅈⅇ - 2 + 2 k - 1 - ⅈ k2  8 + k2  2 -
2 (k π+4 η)
1 + 2 ⅈ ⅇ - 4 - 8 ⅈ + 2 + 5 ⅈ 2 k - 7 + 4 ⅈ k2 + 1 + ⅈ 2 k 3 - k4  2 +
2 kπ
4ⅇ 16 + 10 k2 + k4  2

In[1413]:= (*Resultado μ[η] para η<<1 simplificado à mão*)

1 ⅈ
+ 1 ⅈ
+
μSMALLη[η_] = SimplifyμSMALLηv0[η] /. 1 + ⅇ2 2 η
2 2
→ 12 2  /.
simplifica

2 2 +ⅈ k η
 -2 ⅈ ⅇ 8 + k2  2 + 2 k + 1 - ⅈ k2  1 + 4 ⅇ2 ⅈ k η 16 + 10 k2 + k4  1 +

1 + 2 ⅈ ⅇ4 2 η+2 ⅈ k η
4 + 8 ⅈ + 2 + 5 ⅈ 2 k + 7 + 4 ⅈ k2 + 1 + ⅈ 2 k 3 + k4  1 +
2 (k π+2 η)
2ⅈⅇ - 2 + 2 k - 1 - ⅈ k2  8 + k2  2 -
2 (k π+4 η)
1 + 2 ⅈ ⅇ - 4 - 8 ⅈ + 2 + 5 ⅈ 2 k - 7 + 4 ⅈ k2 + 1 + ⅈ 2 k 3 - k4  2 +
2 kπ
4ⅇ 16 + 10 k2 + k4  2 →

4 ⅇ2 ⅈ k η 16 + 10 k2 + k4  1 + 4 ⅇ 2 kπ
16 + 10 k2 + k4  2 

Out[1413]= ⅇⅈ k η 1 + ⅇ 2 k π-ⅈ k η
2

In[1414]:=
 grishchuk_analitico.nb 3

In[1415]:= (*Condições iniciais tomadas em ηi usando μSMALLη[η]*)

solICS =
SolveμSMALLη[ηi] ⩵ 1  Sqrt[2 k], μSMALLη '[ηi] ⩵ - I Sqrtk  2, { 1 , 2 }[[1]]
resolve raiz quadrada ⋯ raiz quadrada
c1sol = solICS[[1]][[2]]
c2sol = solICS[[2]][[2]]

ⅇ- 2 k π+ⅈ k ηi
Out[1415]= 1 → 0, 2 → 
2 k
Out[1416]= 0

ⅇ- 2 k π+ⅈ k ηi
Out[1417]=
2 k

In[1418]:=

In[1419]:= (*Resultado final de μ[η] com as constantes determinadas*)

μsol[η_, k_] = μ[η] /. solICS
1 ⅈ
+
ⅇ-ⅈ k η+ⅈ k ηi 1 + ⅇ2 2 η 2 2
Hypergeometric2F1 1 + ⅈ , 1
1 + ⅈ - ⅈ 2 k, 1 - ⅈk
, - ⅇ2 2 η
2 2 2 2
Out[1419]=
2 k

In[1420]:= (*Expansão de μ[η] para η>>1 para poder obter os coeficientes de Bogoliubov*)
μLARGEηv0[η_] =
Simplify[Normal[Series[μsol[η, k], {η, Infinity, 0}]], Assumptions → assumptions]
simplifica normal série infinito premissas
1
-(5+ⅈ) 2 +ⅈ k η+ⅈ k ηi +
ⅈ
ⅈk
Out[1420]= ⅇ 1 + ⅇ2 2 η
2 2
Gamma1 - 
2

- 2 - 2 ⅈ ⅇ2 2 η
8 + k2  1 + ⅈ 2 + 1 + ⅈ k + 2 k2  + 4 2 ⅇ4 2 η
16 + 10 k2 + k4  +

1 + 2 ⅈ 4 + 8 ⅈ 2 + 4 + 10 ⅈ k + 7 + 4 ⅈ 2 k2 + 2 + 2 ⅈ k3 + 2 k4 
1 ⅈ 1 ⅈ ⅈk
Gamma -  Gamma +  Gamma-  - ⅇ2 ⅈ k η 2 + 2 ⅈ ⅇ2 2 η
8 + k2 
2 2 2 2 2
2
1 + ⅈ 2 - 1 + ⅈ k + 2 k -4 2 ⅇ4 2 η
16 + 10 k2 + k4  -
1 + 2 ⅈ 4 + 8 ⅈ 2 - 4 + 10 ⅈ k + 7 + 4 ⅈ 2 k2 - 2 + 2 ⅈ k3 + 2 k4 
ⅈk 1 1
Gamma  Gamma 1 + ⅈ - ⅈ 2 k Gamma- ⅈ 1 + ⅈ + 2 k 
2 2 2

2 k - 2 ⅈ + 2 k 2 ⅈ + 2 k - 4 ⅈ + 2 k 4 ⅈ + 2 k

1 ⅈ
Gamma - 
2 2
1 ⅈ
Gamma + 
2 2
1
Gamma 1 + ⅈ - ⅈ 2 k
2
1
Gamma- ⅈ 1 + ⅈ + 2 k
2
4 grishchuk_analitico.nb

In[1421]:= (*Resultado μ[η] para η>>1 simplificado à mão*)

1 ⅈ
+ 1 ⅈ
2 2 η + 
μLARGEη[η_] = FullSimplifyμLARGEηv0[η] /. 1 + ⅇ2 2 η
2 2
→ ⅇ 2 2  /.
simplifica completamente

- 2 - 2 ⅈ ⅇ2 2 η
8 + k2  1 + ⅈ 2 + 1 + ⅈ k + 2 k2  +

4 2 ⅇ4 2 η
16 + 10 k2 + k4  + 1 + 2 ⅈ 4 + 8 ⅈ 2 + 4 + 10 ⅈ k +

7 + 4 ⅈ 2 k2 + 2 + 2 ⅈ k3 + 2 k4  → 4 2 ⅇ4 2 η
16 + 10 k2 + k4 ,

2 + 2 ⅈ ⅇ2 2 η
8 + k2  1 + ⅈ 2 - 1 + ⅈ k + 2 k2  - 4 2 ⅇ4 2 η
16 + 10 k2 + k4  -

1 + 2 ⅈ 4 + 8 ⅈ 2 - 4 + 10 ⅈ k + 7 + 4 ⅈ 2 k2 - 2 + 2 ⅈ k3 + 2 k4  →

- 4 2 ⅇ4 2 η
16 + 10 k2 + k4 , Assumptions → assumptions
premissas

ⅈk 2
k Gamma- 
kπ
ⅈ ⅇ-ⅈ k (η-ηi) 2 ⅇ2 ⅈ k η Cosh π  Csch + 1
2
1
2 2 Gamma (1+ⅈ)-ⅈ 2 k Gamma- ⅈ (1+ⅈ)+ 2 k
2 2

Out[1421]= -
2 k

In[1422]:= (*Coeficientes de Bogoliubov α e β*)

(*Identificando os coeficientes no formato μ=1Sqrt[2k] α Exp[-Ikη]+β Exp[Ikη] *)
raiz quadrada exponencial exponencial

ⅈk 2
k Gamma- 
2
ⅈ 1 1
Gamma (1+ⅈ)-ⅈ 2 k Gamma- ⅈ (1+ⅈ)+ 2 k
2 2
In[1423]:= α[η_] = - ;
Sqrt[2]
π kπ
β[η_] = - ⅈ Cosh  Csch ;
cosseno2 ⋯ cossecante
2 hiperbólica

In[1425]:= α2[η_] = Assuming[{k ∈ Reals, k > 0}, Simplify[Abs[α[η]] ^ 2]];

supondo números reais simplifica valor absoluto
β2[η_] = Assuming[{k ∈ Reals, k > 0}, Simplify[Abs[β[η]] ^ 2]]
supondo números reais simplifica valor absoluto
π 2 kπ 2
Out[1426]= Cosh  Csch 
2 2
 grishchuk_analitico.nb 5

In[1427]:= (*α^2-β^2=1*)
LogLogPlot[{α2[k] - β2[k]}, {k, 0, 2}, PlotRange → All]
gráfico log-log intervalo do g⋯ tudo
1.000000015

1.000000010

1.000000005

Out[1427]=
1.000000000

0.999999995

0.999999990
0.005 0.010 0.050 0.100 0.500 1

In[1428]:= LogLogPlotk ^ 3 β2[k], π ^ 2 k  8, {k, 0, 2}

gráfico log-log

0.500

0.100
Out[1428]=
0.050

0.010

0.005

0.005 0.010 0.050 0.100 0.500 1

In[1429]:=

In[1430]:=

(*Power spectrum*)
potência
hk[η_, k_] = Assumingassumptions, FullSimplify[μsol[η, k]]  a[η] /. aB → 1  xB;
supondo simplifica completamente
σk[η_, k_] = Assumingassumptions, FullSimplifyND[hk [η, k], η]  k;
supondo simplifica compl⋯ ⋯ derivada
Pv[η_, k_] =
Assumingassumptions, FullSimplifyk ^ 3  2 π Abs[σk[η, k]] ^ 2 /. {xB → 5 × 10 ^ 27}
supondo simplifica completamente valor absoluto
6 grishchuk_analitico.nb

In[1623]:= LogPlotPv[η, 10 ^ (- 4)], {η, - 10 ^ 1, 20},

gráfico log
PlotRange → {- 10 ^ 1, 20}, 10 ^ 68 - 25, 10 ^ 68 - 13
intervalo do gráfico

1054

1052

1050

Out[1623]=
1048

1046

1044

-10 -5 0 5 10 15 20

In[ ]:=