ampsci
c++ program for high-precision atomic structure calculations of single-valence systems
Loading...
Searching...
No Matches
CoulombIntegrals.hpp
1#pragma once
2#include "Angular/Angular.hpp"
3#include "Wavefunction/DiracSpinor.hpp"
4#include <optional>
5#include <vector>
6
7namespace Coulomb {
8
11std::vector<double> yk_ab(const int k, const DiracSpinor &Fa,
12 const DiracSpinor &Fb, const std::size_t maxi = 0);
13
15void yk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
16 std::vector<double> &ykab, const std::size_t maxi = 0);
17
19void bk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
20 std::vector<double> &b0, std::vector<double> &binf,
21 const std::size_t maxi = 0);
22
24void gk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
25 std::vector<double> &g0, std::vector<double> &ginf,
26 const std::size_t maxi = 0);
27
28//==============================================================================
29
31double Rk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
32 const DiracSpinor &Fc, const DiracSpinor &Fd);
33
35double Rk_abcd(const DiracSpinor &Fa, const DiracSpinor &Fc,
36 const std::vector<double> &ykbd);
37
39DiracSpinor Rkv_bcd(const int k, const int kappa_v, const DiracSpinor &Fb,
40 const DiracSpinor &Fc, const DiracSpinor &Fd);
41
43DiracSpinor Rkv_bcd(const int kappa_v, const DiracSpinor &Fc,
44 const std::vector<double> &ykbd);
45
47void Rkv_bcd(DiracSpinor *const Rkv, const DiracSpinor &Fc,
48 const std::vector<double> &ykbd);
49
50//==============================================================================
51
54double Qk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
55 const DiracSpinor &Fc, const DiracSpinor &Fd);
56
59DiracSpinor Qkv_bcd(const int k, int kappa_v, const DiracSpinor &Fb,
60 const DiracSpinor &Fc, const DiracSpinor &Fd);
61
62//==============================================================================
64double g_abcd(const DiracSpinor &a, const DiracSpinor &b, const DiracSpinor &c,
65 const DiracSpinor &d, int tma, int tmb, int tmc, int tmd);
66
67//==============================================================================
69bool Qk_abcd_SR(int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
70 const DiracSpinor &Fc, const DiracSpinor &Fd);
72bool Qk_abcd_SR(int k, int ka, int kb, int kc, int kd);
73
75bool Pk_abcd_SR(int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
76 const DiracSpinor &Fc, const DiracSpinor &Fd);
77
79bool Pk_abcd_SR(int k, int ka, int kb, int kc, int kd);
80
81//==============================================================================
82
84double Pk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
85 const DiracSpinor &Fc, const DiracSpinor &Fd);
86
88DiracSpinor Pkv_bcd(const int k, int kappa_v, const DiracSpinor &Fb,
89 const DiracSpinor &Fc, const DiracSpinor &Fd);
90
91//==============================================================================
92
94
99double Wk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb,
100 const DiracSpinor &Fc, const DiracSpinor &Fd);
101
102DiracSpinor Wkv_bcd(const int k, int kappa_v, const DiracSpinor &Fb,
103 const DiracSpinor &Fc, const DiracSpinor &Fd);
104
105//==============================================================================
106
109std::pair<int, int> k_minmax_Ck(const DiracSpinor &a, const DiracSpinor &b);
112std::pair<int, int> k_minmax_Ck(int kappa_a, int kappa_b);
113
116std::pair<int, int> k_minmax_tj(int tja, int tjb);
117
121std::pair<int, int> k_minmax_Q(const DiracSpinor &a, const DiracSpinor &b,
122 const DiracSpinor &c, const DiracSpinor &d);
123
127std::pair<int, int> k_minmax_Q(int kappa_a, int kappa_b, int kappa_c,
128 int kappa_d);
129
133std::pair<int, int> k_minmax_P(const DiracSpinor &a, const DiracSpinor &b,
134 const DiracSpinor &c, const DiracSpinor &d);
135
140std::pair<int, int> k_minmax_W(const DiracSpinor &a, const DiracSpinor &b,
141 const DiracSpinor &c, const DiracSpinor &d);
142
143//==============================================================================
144
145template <class A>
146static int twojk(const A &a) {
147 if constexpr (std::is_same_v<A, DiracSpinor>) {
148 return a.twoj();
149 } else {
150 static_assert(std::is_same_v<A, int>);
151 return 2 * a;
152 }
153}
154
155template <class A>
156static std::optional<int> twojknull(const A &a) {
157 if constexpr (std::is_same_v<A, DiracSpinor>) {
158 return a.twoj();
159 } else if constexpr (std::is_same_v<A, int>) {
160 static_assert(std::is_same_v<A, int>);
161 return 2 * a;
162 } else {
163 return std::nullopt;
164 }
165}
166
167template <class A, class B, class C, class D, class E, class F>
168static double sixj(const A &a, const B &b, const C &c, const D &d, const E &e,
169 const F &f) {
170 return Angular::sixj_2(twojk(a), twojk(b), twojk(c), twojk(d), twojk(e),
171 twojk(f));
172}
173
174template <class A = std::optional<int>, class B = std::optional<int>,
175 class C = std::optional<int>, class D = std::optional<int>,
176 class E = std::optional<int>, class F = std::optional<int>>
177static bool sixjTriads(const A &a, const B &b, const C &c, const D &d,
178 const E &e, const F &f) {
179 return Angular::sixjTriads(twojknull(a), twojknull(b), twojknull(c),
180 twojknull(d), twojknull(e), twojknull(f));
181}
182
183template <class A, class B, class C>
184static bool triangle(const A &a, const B &b, const C &c) {
185 return Angular::triangle(twojk(a), twojk(b), twojk(c));
186}
187
188} // namespace Coulomb
Stores radial Dirac spinor: F_nk = (f, g)
Definition DiracSpinor.hpp:41
double sixj_2(int two_j1, int two_j2, int two_j3, int two_j4, int two_j5, int two_j6)
6j symbol {j1 j2 j3 \ j4 j5 j6} - [takes 2*j as int]
Definition Wigner369j.hpp:236
constexpr int triangle(int j1, int j2, int J)
Returns 1 if triangle rule is satisfied. nb: works with j OR twoj!
Definition Wigner369j.hpp:131
bool sixjTriads(std::optional< int > a, std::optional< int > b, std::optional< int > c, std::optional< int > d, std::optional< int > e, std::optional< int > f)
Checks if a 6j symbol is valid - each input is optional.
Definition Wigner369j.hpp:217
Functions (+classes) for computing Coulomb integrals.
Definition Coulomb.hpp:8
std::pair< int, int > k_minmax_tj(int tja, int tjb)
Returns min and max k (multipolarity) allowed for Triangle(k,a,b), NOT accounting for parity (2j only...
Definition CoulombIntegrals.cpp:551
DiracSpinor Qkv_bcd(const int k, const int kappa_a, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Calculates Q^k(v)_bcd for given k,kappa_v. From scratch (calculates y) [see YkTable version if alread...
Definition CoulombIntegrals.cpp:398
bool Pk_abcd_SR(int k, int ka, int kb, int kc, int kd)
Just selection rule for Pk_abcd.
Definition CoulombIntegrals.cpp:388
std::pair< int, int > k_minmax_Ck(const DiracSpinor &a, const DiracSpinor &b)
Returns min and max k (multipolarity) allowed for C^k_ab, accounting for parity (used by k_minmax_Q)
Definition CoulombIntegrals.cpp:519
double g_abcd(const DiracSpinor &a, const DiracSpinor &b, const DiracSpinor &c, const DiracSpinor &d, int tma, int tmb, int tmc, int tmd)
Calculates g from scratch - not used often.
Definition CoulombIntegrals.cpp:491
double Rk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Calculates R^k_abcd for given k. From scratch (calculates y)
Definition CoulombIntegrals.cpp:300
double Qk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Calculates Q^k_abcd for given k. From scratch (calculates y) [see YkTable version if already have YkT...
Definition CoulombIntegrals.cpp:357
DiracSpinor Rkv_bcd(const int k, const int kappa_a, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
"Right-hand-side" R^k{v}_bcd [i.e., without Fv integral]
Definition CoulombIntegrals.cpp:320
bool Qk_abcd_SR(int k, int ka, int kb, int kc, int kd)
Just selection rule for Qk_abcd.
Definition CoulombIntegrals.cpp:379
double Pk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Exchange only version of W (W-Q): W = Q + P [see Qk above].
Definition CoulombIntegrals.cpp:428
std::pair< int, int > k_minmax_P(const DiracSpinor &a, const DiracSpinor &b, const DiracSpinor &c, const DiracSpinor &d)
Returns min and max k (multipolarity) allowed for P^k_abcd. DOES NOT contain parity rules (6j only) -...
Definition CoulombIntegrals.cpp:591
DiracSpinor Pkv_bcd(const int k, int kappa_a, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Exchange only version of W (W-Q): W = Q + P [see Qk above].
Definition CoulombIntegrals.cpp:449
double Wk_abcd(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, const DiracSpinor &Fc, const DiracSpinor &Fd)
Calculates W^k_abcd for given k. From scratch (calculates y)
Definition CoulombIntegrals.cpp:484
void bk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, std::vector< double > &b0, std::vector< double > &binf, std::size_t maxi)
Breit b^k function: (0,r) and (r,inf) part stored sepperately (in/out)
Definition CoulombIntegrals.cpp:236
std::pair< int, int > k_minmax_W(const DiracSpinor &a, const DiracSpinor &b, const DiracSpinor &c, const DiracSpinor &d)
Returns min and max k (multipolarity) allowed for W^k_abcd. DOES NOT contain parity rules (6j only) -...
Definition CoulombIntegrals.cpp:611
std::pair< int, int > k_minmax_Q(const DiracSpinor &a, const DiracSpinor &b, const DiracSpinor &c, const DiracSpinor &d)
Returns min and max k (multipolarity) allowed for Q^k_abcd. Parity rule is included,...
Definition CoulombIntegrals.cpp:556
void gk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, std::vector< double > &g0, std::vector< double > &ginf, const std::size_t maxi)
Breit g^k function: (0,r) + (r,inf) part stored together (in/out)
Definition CoulombIntegrals.cpp:266
std::vector< double > yk_ab(const int k, const DiracSpinor &Fa, const DiracSpinor &Fb, const std::size_t maxi)
Calculates Hartree Screening functions .
Definition CoulombIntegrals.cpp:179