This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

11institutetext: Center for Space Science, NYUAD Institute, New York University Abu Dhabi, Abu Dhabi, UAE
11email: [email protected]

Numerical evaluation of time-distance helioseismic sensitivity kernels in spherical geometry

Jishnu Bhattacharya 11
Abstract

Context. Helioseismic analysis of large-scale flows and structural inhomogeneities in the Sun requires the computation of sensitivity kernels that account for the spherical geometry of the Sun, as well as systematic effects such as line-of-sight projection.

Aims. I aim to develop a code to evaluate helioseismic sensitivity kernels for flows using line-of-sight projected measurements.

Methods. I decomposed the velocity field in a basis of vector spherical harmonics and computed the kernel components corresponding to the coefficients of velocity in this basis. The kernels thus computed are radial functions that set up a 1.5D inverse problem to infer the flow from surface measurements. I demonstrate that using the angular momentum addition formalism lets us express the angular dependence of the kernels as bipolar spherical harmonics, which may be evaluated accurately and efficiently.

Results. Kernels for line-of-sight projected measurements may differ significantly from those that don’t account for projection. Including projection in our analysis does not increase the computational time significantly. We demonstrate that it is possible to evaluate kernels for pairs of points that are related through a rotation by linearly transforming the terms that enter the expression of the kernel, and that this result holds even for line-of-sight projected kernels.

Conclusions. I developed a Julia code that may be used to evaluate sensitivity kernels for seismic wave travel times computed using line-of-sight projected measurements, which is made freely available under the MIT license.

Key Words.:
Sun: helioseismology - Methods: numerical

1 Introduction

Helioseismology is a commonly used tool to infer large-scale subsurface features in the Sun, such as zonal and meridional flows. This works by relating surface measurements of seismic observables — such as wave travel-times — to subsurface features such as flows, through a sensitivity kernel that describes the response of the observable to a change in the background through which the waves propagate. The sensitivity kernel depends both on the details of the background model such as the thermal structure and the presence of inhomogeneous features such as flows, as well as on specifics of the measurement procedure. Recently, considerable effort has been made to develop frameworks to evaluate sensitivity kernels that describe wave propagation in the first Born approximation while accounting for the spherical geometry of the Sun (Böning et al., 2016; Mandal et al., 2017; Gizon et al., 2017; Fournier et al., 2018). The present work builds on the results of Bhattacharya et al. (2020) and Bhattacharya (2020), in which the authors described the procedure to evaluate sensitivity kernels by accounting for line-of-sight projections that are inherent in Doppler measurements of wave velocity, as well as the differences in line-formation height between the solar disk center and the limb.

In this work, we describe the numerical scheme in computing the sensitivity kernel in detail. Secondly, we improve upon the algorithm presented in the previous work to evaluate the angular dependence of the sensitivity kernels, which makes it possible to evaluate the kernels for waves with arbitrarily high spherical harmonic degrees, which was not possible in the approach presented by Bhattacharya (2020). We also investigated the impact of line-of-sight projection on the kernels, and demonstrate that the kernels for line-of-sight projected measurements may differ significantly from that computed for the radial components. Furthermore, we illustrate how the assumed spherical symmetry in the background solar model makes the computation of kernels numerically more efficient even if line-of-sight projections are included, as pairs of points that are related through a rotation have the corresponding kernels related through a unitary transformation.

We provide a Julia implementation of the algorithm described here and in Bhattacharya (2020) that may be used to evaluate helioseismic sensitivity kernels in spherical geometry. We chose Julia (Bezanson et al., 2017) as the language because it merges superior performance with the productivity of a high-level language. The code is modular and features various subsections that might be useful in other related analyses of functions in spherical geometry.

2 Theory

We denote a point in the Sun by 𝐱\mathbf{x}, which, in spherical polar coordinates, may be represented in terms of the radial coordinate rr, the co-latitude θ\theta and the azimuthal angle ϕ\phi. The sensitivity kernel for flows in the Sun, 𝐊(𝐱,𝐱1,𝐱2)\mathbf{K}\left(\mathbf{x},\mathbf{x}_{1},\mathbf{x}_{2}\right) is a vector function that depends on two observation points 𝐱1\mathbf{x}_{1} and 𝐱2\mathbf{x}_{2} and a third point 𝐱\mathbf{x} where the flow velocities are to be inferred. We follow Bhattacharya (2020) and expand the sensitivity kernels in a basis of vector spherical harmonics in 𝐱\mathbf{x}. The coefficients of expansion are functions of the two angular coordinates 𝐱1\mathbf{x}_{1} and 𝐱2\mathbf{x}_{2}, which we further expand in a basis of bipolar spherical harmonics. In the following sections, we expand upon the approach to evaluate the angular functions involved in the analysis, while we use the radial functions as described by Bhattacharya (2020).

2.1 Angular functions

2.1.1 Vector spherical harmonics

Vector spherical harmonics (VSH) form a complete basis that may be used to decompose vector fields on a sphere. Analogous to scalar spherical harmonics, the vector spherical harmonics are eigenfunctions of the angular momentum operator and may be uniquely labeled by the angular degree jj, the azimuthal order mm, and an index α\alpha that indicates the direction of the vector. The choice of the vector indices is not unique, as linear combinations of one basis may also form another complete basis. This provides us with the freedom to choose the most convenient set to work with. The wave equation may be written most conveniently in terms of the Hansen vector spherical harmonics (Hansen, 1935):

𝐇jm(1)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(-1\right)}\left(\hat{\mathbf{n}}\right) =𝐞rYjm(𝐧^),\displaystyle=\mathbf{e}_{r}Y_{jm}\left(\hat{\mathbf{n}}\right), (1)
𝐇jm(0)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(0\right)}\left(\hat{\mathbf{n}}\right) =ij(j+1)(𝐞r×Ω)Yjm(𝐧^),\displaystyle=\frac{-i}{\sqrt{j\left(j+1\right)}}\left(\mathbf{e}_{r}\times\bm{\nabla}_{\Omega}\right)Y_{jm}\left(\hat{\mathbf{n}}\right), (2)
𝐇jm(+1)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(+1\right)}\left(\hat{\mathbf{n}}\right) =1j(j+1)ΩYjm(𝐧^),\displaystyle=\frac{1}{\sqrt{j\left(j+1\right)}}\bm{\nabla}_{\Omega}Y_{jm}\left(\hat{\mathbf{n}}\right), (3)

where 𝐞r\mathbf{e}_{r} is the radial unit vector, Ω\bm{\nabla}_{\Omega} is the angular gradient operator, 𝐧^=(θ,ϕ)\hat{\mathbf{n}}=(\theta,\phi) represents a point on the unit sphere, and Yjm(𝐧^)Y_{jm}\left(\hat{\mathbf{n}}\right) is the scalar spherical harmonic. This is because conservative restoring forces that appear in the helioseismic wave equation may be expressed in terms of the harmonics 𝐇jm(1)\mathbf{H}_{jm}^{\left(-1\right)} and 𝐇jm(+1)\mathbf{H}_{jm}^{\left(+1\right)} with no component directed along 𝐇jm(0)\mathbf{H}_{jm}^{\left(0\right)}.

The evaluation of the sensitivity kernels is easier in a linear combination of the Hansen harmonics that we refer to as the Phinney-Burridge harmonics, following their use by Phinney & Burridge (1973):

𝐏jm+1(𝐧^)\displaystyle\mathbf{P}_{jm}^{+1}\left(\hat{\mathbf{n}}\right) =12(𝐇jm(+1)(𝐧^)𝐇jm(0)(𝐧^)),\displaystyle=\frac{1}{\sqrt{2}}\left(\mathbf{H}_{jm}^{\left(+1\right)}\left(\hat{\mathbf{n}}\right)-\mathbf{H}_{jm}^{\left(0\right)}\left(\hat{\mathbf{n}}\right)\right), (4)
𝐏jm0(𝐧^)\displaystyle\mathbf{P}_{jm}^{0}\left(\hat{\mathbf{n}}\right) =𝐇jm(1)(𝐧^),\displaystyle=\mathbf{H}_{jm}^{\left(-1\right)}\left(\hat{\mathbf{n}}\right), (5)
𝐏jm1(𝐧^)\displaystyle\mathbf{P}_{jm}^{-1}\left(\hat{\mathbf{n}}\right) =12(𝐇jm(+1)(𝐧^)+𝐇jm(0)(𝐧^)).\displaystyle=\frac{1}{\sqrt{2}}\left(\mathbf{H}_{jm}^{\left(+1\right)}\left(\hat{\mathbf{n}}\right)+\mathbf{H}_{jm}^{\left(0\right)}\left(\hat{\mathbf{n}}\right)\right). (6)

The advantage of the PB harmonics over the Hansen ones is that these are diagonal at each point in the covariant helicity basis, defined as

𝐞+1\displaystyle\mathbf{e}_{+1} =12(𝐞θ+i𝐞ϕ),\displaystyle=-\frac{1}{\sqrt{2}}\left(\mathbf{e}_{\theta}+i\mathbf{e}_{\phi}\right), (7)
𝐞0\displaystyle\mathbf{e}_{0} =𝐞r,\displaystyle=\mathbf{e}_{r}, (8)
𝐞1\displaystyle\mathbf{e}_{-1} =12(𝐞θi𝐞ϕ),\displaystyle=\frac{1}{\sqrt{2}}\left(\mathbf{e}_{\theta}-i\mathbf{e}_{\phi}\right), (9)

with the diagonal components being generalized spherical harmonics 𝐞β𝐏jmα(𝐧^)=δαβYjmα(𝐧^)\mathbf{e}_{\beta}\cdot\mathbf{P}_{jm}^{\alpha}\left(\hat{\mathbf{n}}\right)=\delta_{\alpha\beta}Y_{jm}^{\alpha}\left(\hat{\mathbf{n}}\right), where δαβ\delta_{\alpha\beta} is the Kronecker delta function, and the generalized spherical harmonics Yjmα(𝐧^)Y_{jm}^{\alpha}\left(\hat{\mathbf{n}}\right) are normalized elements of the Wigner D-matrix (Dahlen & Tromp, 1998). This implies that on this basis, we only require three components instead of nine to describe the vector harmonics, which provides a significant computational advantage.

2.1.2 Bipolar spherical harmonics

Analogous to using a basis of scalar or vector spherical harmonics to decompose one-point functions on a sphere, a two-point function may be decomposed on a basis of bipolar spherical harmonics. These may be evaluated through angular-momentum coupling of monopolar PB harmonics as

𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2)=m1m2Cj1m1j2m2m𝐏j1m1α1(𝐧^1)𝐏j2m2α2(𝐧^2),\displaystyle\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right)=\sum_{m_{1}m_{2}}C_{j_{1}m_{1}j_{2}m_{2}}^{\ell m}\mathbf{P}_{j_{1}m_{1}}^{\alpha_{1}}\left(\hat{\mathbf{n}}_{1}\right)\mathbf{P}_{j_{2}m_{2}}^{\alpha_{2}}\left(\hat{\mathbf{n}}_{2}\right), (10)

where Cj1m1j2m2mC_{j_{1}m_{1}j_{2}m_{2}}^{\ell m} is a Clebsch-Gordan coefficient and 𝐏jmα(𝐧^i)\mathbf{P}_{jm}^{\alpha}\left(\hat{\mathbf{n}}_{i}\right) represents a monopolar PB vector harmonic at the point 𝐧^i\hat{\mathbf{n}}_{i}. These bipolar harmonics are rank-2 tensors, which are eigenfunctions of the angular momentum operator JzJ_{z} and satisfy similar properties such as orthogonality and completeness. We may use these bases in evaluating cross-covariances that are two-point functions on the solar surface. In our analysis, we sought the projection of the bipolar harmonics along the line of sight at each observation point. Assuming that the line of sight at each point on the Sun is directed along 𝐞x\mathbf{e}_{x}, we obtain the following projected harmonic:

Bm,xx(j1α1)(j2α2)(𝐧^1,𝐧^2)=𝐞x𝐞x:𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2),\displaystyle B_{\ell m,xx}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right)=\mathbf{e}_{x}\mathbf{e}_{x}:\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right), (11)

where the double contraction operator ":"":" is defined using the Einstein summation convention as A:B=AijBijA:B=A_{ij}B_{ij}.

2.1.3 Rotation of harmonics

One advantage of expressing two-point functions on the basis of bipolar spherical harmonics is that their behavior under a rotation of coordinates may be described as a unitary transformation. We assume that the points 𝐧^1\hat{\mathbf{n}}_{1} and 𝐧^2\hat{\mathbf{n}}_{2} have coordinates (θ1,ϕ1)(\theta_{1},\phi_{1}) and (θ2,ϕ2)(\theta_{2},\phi_{2}) in a frame SS, and (θ1,ϕ1)(\theta^{\prime}_{1},\phi^{\prime}_{1}) and (θ2,ϕ2)(\theta^{\prime}_{2},\phi^{\prime}_{2}) in a frame SS^{\prime}, where the frames SS and SS^{\prime} are related through S=RSS^{\prime}=RS for some rotation RR. We refer to the points 𝐧^1\hat{\mathbf{n}}_{1} and 𝐧^2\hat{\mathbf{n}}_{2} as 𝐧^1\hat{\mathbf{n}}^{\prime}_{1} and 𝐧^2\hat{\mathbf{n}}^{\prime}_{2} in the frame SS^{\prime}, with the understanding that the points with and without the primes are identical, and the primes refer to the difference in coordinates that arise from a change in basis between the frames. Under such a rotation, the components of bipolar spherical harmonics satisfy

Bm,xx(j1α1)(j2α2)(𝐧^1,𝐧^2)\displaystyle B_{\ell m,xx}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1}^{\prime},\hat{\mathbf{n}}_{2}^{\prime}\right) =(R1𝐞x)(R1𝐞x):\displaystyle=\left(R^{-1}\mathbf{e}_{x}\right)\left(R^{-1}\mathbf{e}_{x}\right):
mDmm(R)𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2),\displaystyle\sum_{m^{\prime}}D_{m^{\prime}m}^{\ell}\left(R\right)\mathbf{B}_{\ell m^{\prime}}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right), (12)

where Dmm(R)D_{m^{\prime}m}^{\ell}\left(R\right) is the Wigner D-matrix corresponding to the rotation. In our analysis, we evaluate the dot products in the helicity basis, in which case the rotation matrices become R1=A(𝐧^)R1A(𝐧^)TR^{\prime-1}=A(\hat{\mathbf{n}})^{*}R^{-1}A(\hat{\mathbf{n}})^{T}, where the matrix AA transforms between the Cartesian and helicity bases and has elements Aij=𝐞j𝐞jA_{ij}=\mathbf{e}_{j}\cdot\mathbf{e}^{\prime}_{j}, and the superscript TT represents a transpose, while an asterisk as a superscript denotes complex conjugation.

2.2 Sensitivity kernels

The fundamental measurement in time-distance helioseismology is line-of-sight projected Doppler velocity measurements of oscillations at the solar surface. We denote the time-evolution of the velocity of oscillation at the point 𝐱\mathbf{x} by 𝐯(𝐱,t)\mathbf{v}(\mathbf{x},t). We assume that the 𝐞x\mathbf{e}_{x} direction coincides with the direction of the line of sight, so the component of velocity that is measured is 𝐞x𝐯(𝐱,t)\mathbf{e}_{x}\cdot\mathbf{v}(\mathbf{x},t) The frequency-domain components of the time evolution of the velocity may be denoted by 𝐯ω(𝐱)\mathbf{v}_{\omega}(\mathbf{x}). Propagation of seismic waves are best studied in terms of the cross-covariance of wave velocity at two points 𝐱1\mathbf{x}_{1} and 𝐱2\mathbf{x}_{2}, which is given by

𝐂ω(𝐱1,𝐱2)\displaystyle\mathbf{C}_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right) =𝐯ω(𝐱1)𝐯ω(𝐱2),\displaystyle=\left\langle\mathbf{v}_{\omega}^{*}\left(\mathbf{x}_{1}\right)\mathbf{v}_{\omega}\left(\mathbf{x}_{2}\right)\right\rangle, (13)

where the angular brackets indicate an ensemble average. The measured cross-covariance accounting for projection may be expressed as

Cω(𝐱1,𝐱2)\displaystyle C_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right) =𝐞x𝐞x:𝐂ω(𝐱1,𝐱2).\displaystyle=\mathbf{e}_{x}\mathbf{e}_{x}:\mathbf{C}_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right). (14)

While the cross-covariances of the radial components of the wave velocity depends solely on the angle between the two observation points 𝐱1\mathbf{x}_{1} and 𝐱2\mathbf{x}_{2}, the line-of-sight projection breaks this spherical symmetry. We chose a second pair of points 𝐱1\mathbf{x}^{\prime}_{1} and 𝐱2\mathbf{x}^{\prime}_{2} that are related to the pair (𝐱1,𝐱2)(\mathbf{x}_{1},\mathbf{x}_{2}) through a rotation RR. The cross-covariances measured at these pairs of points are related through

Cω(𝐱1,𝐱2)\displaystyle C_{\omega}\left(\mathbf{x}_{1}^{\prime},\mathbf{x}_{2}^{\prime}\right) =(R1𝐞x)(R1𝐞x):𝐂ω(𝐱1,𝐱2).\displaystyle=\left(R^{-1}\mathbf{e}_{x}\right)\left(R^{-1}\mathbf{e}_{x}\right):\mathbf{C}_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right). (15)

The knowledge of the covariance tensor 𝐂ω(𝐱1,𝐱2)\mathbf{C}_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right) therefore suffices to evaluate the line-of-sight-projected cross-covariance Cω(𝐱1,𝐱2)C_{\omega}\left(\mathbf{x}_{1}^{\prime},\mathbf{x}_{2}^{\prime}\right) between any two pairs of points related by a rotation.

Following Bhattacharya (2020), we express the flow velocity within the Sun as

𝐮(𝐱)\displaystyle\mathbf{u}\left(\mathbf{x}\right) =mγumγ(r)𝐏mγ(𝐧^).\displaystyle=\sum_{\ell m\gamma}u_{\ell m}^{\gamma}\left(r\right)\mathbf{P}_{\ell m}^{\gamma}\left(\hat{\mathbf{n}}\right). (16)

Seismic waves interact with this velocity field, and their local propagation speeds are altered. This shows up in the measured cross-covariances 𝐂ω(𝐱1,𝐱2)\mathbf{C}_{\omega}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right). It is common in time-distance helioseismology to apply a filter and follow the propagation of a subsection of waves; for example, those that arrive in a short time interval. This is achieved by choosing an appropriate window that filters out wave arrivals at a particular observation point. We may obtain the difference in the time taken by seismic waves to travel between the observation points 𝐱1\mathbf{x}_{1} and 𝐱2\mathbf{x}_{2} by comparing the measured wave covariance with that in a model that does not account for the flow. Gizon & Birch (2002) demonstrated a way to relate the shift in travel times linearly to the flow velocity as

δτ(𝐱1,𝐱2)=𝑑𝐱𝐊(𝐱,𝐱1,𝐱2)𝐮(𝐱).\displaystyle\delta\tau\left(\mathbf{x}_{1},\mathbf{x}_{2}\right)=\int d\mathbf{x}\,\mathbf{K}\left(\mathbf{x},\mathbf{x}_{1},\mathbf{x}_{2}\right)\cdot\mathbf{u}\left(\mathbf{x}\right). (17)

We may use Equation (16) and expand the sensitivity kernel 𝐊(𝐱,𝐱1,𝐱2)\mathbf{K}\left(\mathbf{x},\mathbf{x}_{1},\mathbf{x}_{2}\right) analogously on a basis of the PB VSH to rewrite Equation (17) as

δτ(𝐱1,𝐱2)=mγ0Rr2𝑑rKmγ(r,𝐱1,𝐱2)umγ(r).\displaystyle\delta\tau\left(\mathbf{x}_{1},\mathbf{x}_{2}\right)=\sum_{\ell m\gamma}\int_{0}^{R_{\odot}}r^{2}dr\,K_{\ell m\gamma}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right)u_{\ell m}^{\gamma}\left(r\right). (18)

The radial profiles of the spherical harmonic coefficients of the sensitivity kernel, following Bhattacharya (2020), may be expressed as

Kγ,m(r,𝐱1,𝐱2)=\displaystyle K_{\gamma,\ell m}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right)= 0dω2πj1j2α1α2Kj1j2ω;α1α2γ(r,𝐱1,𝐱2)×\displaystyle\int_{0}^{\infty}\frac{d\omega}{2\pi}\sum_{j_{1}j_{2}}\sum_{\alpha_{1}\alpha_{2}}K_{\ell j_{1}j_{2}\omega;\alpha_{1}\alpha_{2}}^{\gamma}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right)\times (19)
𝐞x𝐞x:𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2),\displaystyle\quad\mathbf{e}_{x}\mathbf{e}_{x}:\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right),

where j1j_{1} and j2j_{2} are wave numbers associated with the waves, and α1\alpha_{1} and α2\alpha_{2} indicate vector components of the wave velocity in the helicity basis. In practice, we may limit the frequency integral to the range corresponding to waves that are bound within the Sun, although we may include higher frequencies corresponding to evanescent waves by choosing appropriate boundary conditions (Gizon et al., 2017). The function Kj1j2ω;α1α2γ(r,𝐱1,𝐱2)K_{\ell j_{1}j_{2}\omega;\alpha_{1}\alpha_{2}}^{\gamma}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right) may be expressed as a product of a radial function of Green’s function, which we refer to as Cj1j2ω;α1α2γ(r,r1,r2)C_{\ell j_{1}j_{2}\omega;\alpha_{1}\alpha_{2}}^{\gamma}\left(r,r_{1},r_{2}\right), and a window function hω(𝐫1,𝐫2)h_{\omega}\left(\mathbf{r}_{1},\mathbf{r}_{2}\right) that selects an appropriate wave arrival, as

Kj1j2ω;α1α2γ(r,𝐱1,𝐱2)=2[hω(𝐱1,𝐱2)Cj1j2ω;α1α2γ(r,r1,r2)].\displaystyle K_{\ell j_{1}j_{2}\omega;\alpha_{1}\alpha_{2}}^{\gamma}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right)=2\Re\left[h_{\omega}^{*}\left(\mathbf{x}_{1},\mathbf{x}_{2}\right)C_{\ell j_{1}j_{2}\omega;\alpha_{1}\alpha_{2}}^{\gamma}\left(r,r_{1},r_{2}\right)\right]. (20)

The detailed expressions for these radial functions may be found in Bhattacharya (2020). In this work, we focused on the angular dependence of the kernel.

The window function (Gizon & Birch, 2002) is a nonlinear function of the modeled cross-covariance, which, in turn, implies that the kernel components Kγ,m(r,𝐱1,𝐱2)K_{\gamma,\ell m}\left(r,\mathbf{x}_{1},\mathbf{x}_{2}\right) and Kγ,m(r,𝐱1,𝐱2)K_{\gamma,\ell m}\left(r,\mathbf{x}^{\prime}_{1},\mathbf{x}^{\prime}_{2}\right) are related to each other nonlinearly through the rotation operator RR. We may, however, split the evaluation of the kernel into two parts by noting that the components of the bipolar harmonics 𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2)\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right) and 𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2)\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}^{\prime}_{1},\hat{\mathbf{n}}^{\prime}_{2}\right) transform linearly between each other following Equation (12). The window function may be evaluated as a function of frequency while the remaining sums over j1j_{1}, j2j_{2}, α1\alpha_{1} and α2\alpha_{2} may be evaluated separately, and the two may be multiplied at the final stage and integrated over frequency to obtain the kernel components.

3 Method

We evaluated the vector harmonics by noting that these may be generated by coupling unit vectors and scalar spherical harmonics through the mechanism of angular momentum addition. Specifically, we constructed the following linear combination of the Cartesian basis vectors:

𝝌1\displaystyle\bm{\chi}_{-1} =12(𝐞x+i𝐞y),\displaystyle=-\frac{1}{\sqrt{2}}\left(\mathbf{e}_{x}+i\mathbf{e}_{y}\right), (21)
𝝌0\displaystyle\bm{\chi}_{0} =𝐞z,\displaystyle=\mathbf{e}_{z}, (22)
𝝌+1\displaystyle\bm{\chi}_{+1} =12(𝐞xi𝐞y).\displaystyle=\frac{1}{\sqrt{2}}\left(\mathbf{e}_{x}-i\mathbf{e}_{y}\right). (23)

We followed Varshalovich et al. (1988) and refer to this basis as the covariant spherical basis. We coupled this basis with scalar spherical harmonics to construct the vector spherical harmonics:

𝐘jm(𝐧^)\displaystyle\mathbf{Y}_{jm}^{\ell}\left(\hat{\mathbf{n}}\right) =γ=11n=Cn1μjmYn(𝐧^)𝝌μ.\displaystyle=\sum_{\gamma=-1}^{1}\sum_{n=-\ell}^{\ell}C_{\ell n1\mu}^{jm}Y_{\ell n}\left(\hat{\mathbf{n}}\right)\bm{\chi}_{\mu}. (24)

The Clebsch-Gordan relations involved in this sum may be evaluated explicitly, and we list these in Appendix A. For a detailed discussion on these harmonics, we invite the reader to consult James (1976).

We may show (Varshalovich et al., 1988) that these harmonics are related to the Hansen ones through

𝐇jm(1)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(1\right)}\left(\hat{\mathbf{n}}\right) =j+12j+1𝐘jmj1(𝐧^)+j2j+1𝐘jmj+1(𝐧^),\displaystyle=\sqrt{\frac{j+1}{2j+1}}\mathbf{Y}_{jm}^{j-1}\left(\hat{\mathbf{n}}\right)+\sqrt{\frac{j}{2j+1}}\mathbf{Y}_{jm}^{j+1}\left(\hat{\mathbf{n}}\right), (25)
𝐇jm(0)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(0\right)}\left(\hat{\mathbf{n}}\right) =𝐘jmj(𝐧^),\displaystyle=\mathbf{Y}_{jm}^{j}\left(\hat{\mathbf{n}}\right), (26)
𝐇jm(1)(𝐧^)\displaystyle\mathbf{H}_{jm}^{\left(-1\right)}\left(\hat{\mathbf{n}}\right) =j2j+1𝐘jmj1(𝐧^)j+12j+1𝐘jmj+1(𝐧^).\displaystyle=\sqrt{\frac{j}{2j+1}}\mathbf{Y}_{jm}^{j-1}\left(\hat{\mathbf{n}}\right)-\sqrt{\frac{j+1}{2j+1}}\mathbf{Y}_{jm}^{j+1}\left(\hat{\mathbf{n}}\right). (27)

This provides us with a route to get from scalar spherical harmonics to the vector ones that we are interested in. For numerical efficiency, we used the conjugation relation

𝐘jm(𝐧^)\displaystyle\mathbf{Y}_{jm}^{\ell*}\left(\hat{\mathbf{n}}\right) =(1)j++m+1𝐘jm(𝐧^)\displaystyle=\left(-1\right)^{j+\ell+m+1}\mathbf{Y}_{j-m}^{\ell}\left(\hat{\mathbf{n}}\right) (28)

to evaluate the harmonics for negative mm.

We developed a Julia implementation of this algorithm to evaluate vector spherical harmonics, which is available freely under the MIT license as the package VectorSphericalHarmonics.jl111https://github.com/jishnub/VectorSphericalHarmonics.jl. In this, we used the spherical harmonics code by Limpanuparb & Milthorpe (2014), which can generate accurate values of the harmonics till angular degrees of around 10001000, with an absolute and relative accuracy of 101010^{-10}. Since the components of the vector harmonics are linear combinations of normalized spherical harmonics, the accuracy of these functions are similar. This approach of computing vector spherical harmonics differs from the previous approach by Bhattacharya (2020), where the authors had chosen to evaluate them through the computation of Wigner D-matrices, where the accuracy was limited to degrees of around 100100. The present approach offers accuracy to a much higher degree, as well as being computationally more efficient.

The monopolar scalar or vector harmonics may be coupled to evaluate bipolar harmonics. We recognize that the expressions for the sensitivity kernels may be cast in a way that involves the harmonics Bm,xx(j1α1)(j2α2)(𝐧^1,𝐧^2)B_{\ell m,xx}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right) as well as Bm,xx(j1α1)(j2α2)(𝐧^2,𝐧^1)B_{\ell m,xx}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{2},\hat{\mathbf{n}}_{1}\right). We may use the symmetries of the Clebsch-Gordan coefficients to obtain

Bm,xx(j1α1)(j2α2)(𝐧^1,𝐧^2)\displaystyle B_{\ell m,xx}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right) =(1)j1+j2Bm,xx(j2α2)(j1α1)(𝐧^2,𝐧^1).\displaystyle=\left(-1\right)^{j_{1}+j_{2}-\ell}B_{\ell m,xx}^{\left(j_{2}\alpha_{2}\right)\left(j_{1}\alpha_{1}\right)}\left(\hat{\mathbf{n}}_{2},\hat{\mathbf{n}}_{1}\right). (29)

We used this relation to avoid the need to evaluate certain bipolar harmonics, and we used pre-computed values instead.

We developed a Julia code to evaluate bipolar spherical harmonics that is freely available under the MIT license as the package BipolarSphericalHarmonics.jl222https://github.com/jishnub/BipolarSphericalHarmonics.jl. We evaluated the Clebsch-Gordan coefficients using the freely available FORTRAN package SHTOOLS (Wieczorek & Meschede, 2018) for low angular degrees, and the Julia implementation of the public code wigxjpf (Johansson & Forssén, 2016) for high angular degrees. The former is computationally more efficient, using a double precision implementation of the algorithm presented by Luscombe & Luban (1998) and accurate up to angular degrees of around 160160, whereas the latter is accurate at higher angular degrees as it carries out computation using arbitrary-precision arithmetic. The Julia implementation of the wigxjpf algorithm is available as the package WignerSymbols.jl. The ability to evaluate the Clebsch-Gordan coefficients for arbitrarily high degrees is an improvement over previous work by Bhattacharya (2020), as the kernels may now be computed using a wider range of wave modes.

We followed Feng et al. (2015) to evaluate Wigner D-matrices that feature in Equation (12). A Julia implementation of this code is available freely under the MIT license as the package WignerD.jl333https://github.com/jishnub/WignerD.jl. This uses an exact diagonalization of the angular momentum operator JyJ_{y} to evaluate the matrix elements, an approach that is tested to be accurate in absolute values up to degrees of around 100100, although relative errors may be dominated by machine precision for values close to zero. The latter does not pose a significant challenge in our analysis, given that the harmonics are normalized, and the rotated harmonics depend overwhelmingly on the D-matrix elements with absolute values on the order of 11. Further tests might be necessary to use the rotation relation for bipolar harmonics at higher angular degrees.

4 Results

Refer to caption
Figure 1: Radial profiles of spherical-harmonic components of the sensitivity kernel for the radial component (γ=0\gamma=0) of flow velocity. The gray line is computed using radial components of wave velocity, whereas the black doted line is computed using the line-of-sight projected components. The title indicates the mode indices (,m)(\ell,m).

4.1 Sensitivity kernels

We compared the sensitivity kernel for the radial component of the flow velocity computed using line-of-sight wave velocities and compared it with that computed using a radial component of wave velocities, choosing the two observation points to lie on the equator at a height of 150150 km above the photosphere, at azimuths of 3030 and 9090 degrees. We plot the result in Fig. 1. The kernels were computed using Green’s functions with angular degrees from 11 to 100100, and frequencies from 22 to 4.54.5 mHz. The limitation on angular degrees arises from numerical artifacts in evaluating Green’s functions using the finite-difference scheme that was presented by Bhattacharya et al. (2020) that arise at higher degrees; however, this is not a fundamental limitation of this approach as Green’s functions computed using alternate numerical schemes may be used in its place to increase the accuracy (e.g., the finite-element scheme described by Gizon et al. (2017)).

We see that the components of the kernels may be significantly different if line-of-sight projections are not considered. While a simple relation between the differences in the kernels and the angular distance from the disk center is difficult to obtain, our tests indicate that the difference is significant for observation points closer to the solar limb, where the line-of-sight projection effects are increasingly important to account for.

4.2 Rotation of coordinates

Given two sets of points (𝐧^1,𝐧^2)(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}) and (𝐧^1,𝐧^2)(\hat{\mathbf{n}}^{\prime}_{1},\hat{\mathbf{n}}^{\prime}_{2}) that are related through a rotation, the bipolar spherical harmonics evaluated at these points are related through Equation (12). We made use of this in reverse by treating it as an active rotation of the points instead of as a passive rotation of coordinate frames. The Euler angles may be computed by expressing the rotation in terms of the points. We note that for the rotation R,R, maps (𝐧^1,𝐧^2)(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}) to (𝐧^1,𝐧^2)(\hat{\mathbf{n}}^{\prime}_{1},\hat{\mathbf{n}}^{\prime}_{2}) may be expressed as the product of two rotations, where the first — referred to as R1R_{1} — maps 𝐧^1\hat{\mathbf{n}}_{1} to 𝐧^1\hat{\mathbf{n}}^{\prime}_{1}, and the second maps R1𝐧^2R_{1}\hat{\mathbf{n}}_{2} to 𝐧^2\hat{\mathbf{n}}^{\prime}_{2}. The operation of the first rotation may be represented as

R1𝐧^1\displaystyle R_{1}\hat{\mathbf{n}}_{1} =𝐧^1,\displaystyle=\hat{\mathbf{n}}_{1}^{\prime}, (30)
R1𝐧^2\displaystyle R_{1}\hat{\mathbf{n}}_{2} =𝐧^2′′,\displaystyle=\hat{\mathbf{n}}_{2}^{\prime\prime}, (31)

whereas the second one — referred to as R2R_{2} — performs the transformation

R2𝐧^2′′\displaystyle R_{2}\hat{\mathbf{n}}_{2}^{\prime\prime} =𝐧^2.\displaystyle=\hat{\mathbf{n}}_{2}^{\prime}. (32)

The point 𝐧^2′′\hat{\mathbf{n}}^{\prime\prime}_{2} is an intermediate position that depends on the choice of R1R_{1}. As an aside, we note that the choice of R1R_{1} is not unique. To illustrate this, we denote a rotation in the axis-angle formulation for an axis 𝐧^\hat{\mathbf{n}} and angle γ\gamma as R(𝐧^,γ)R(\hat{\mathbf{n}},\gamma). We see that the rotation R1=R(𝐧^1,ψ)R1R(𝐧^1,ϕ)R^{\prime}_{1}=R\left(\hat{\mathbf{n}}^{\prime}_{1},\psi\right)R_{1}R\left(\hat{\mathbf{n}}_{1},\phi\right) for arbitrary ψ,\psi, and ϕ\phi also map 𝐧^1\hat{\mathbf{n}}_{1} to 𝐧^1\hat{\mathbf{n}}^{\prime}_{1}. One choice for the rotation R1R_{1} is Rz(ϕ1)Ry(θ1θ1)Rz(ϕ1)R_{z}\left(\phi_{1}^{\prime}\right)R_{y}\left(\theta_{1}^{\prime}-\theta_{1}\right)R_{z}\left(-\phi_{1}\right).

The rotation R2R_{2} may be denoted in the axis-angle formulation as R2=R(𝐧^1,ω)R_{2}=R\left(\hat{\mathbf{n}}^{\prime}_{1},\omega\right), where ω\omega satisfies

|𝐧^1×𝐧^2′′|2sinω\displaystyle\left|\hat{\mathbf{n}}_{1}^{\prime}\times\hat{\mathbf{n}}_{2}^{\prime\prime}\right|^{2}\sin\omega =𝐧^2(𝐧^1×𝐧^2′′),\displaystyle=\hat{\mathbf{n}}_{2}^{\prime}\cdot\left(\hat{\mathbf{n}}_{1}^{\prime}\times\hat{\mathbf{n}}_{2}^{\prime\prime}\right), (33)
|𝐧2′′(𝐧^1𝐧^2′′)𝐧^1|2cosω\displaystyle\left|\mathbf{n}_{2}^{\prime\prime}-\left(\hat{\mathbf{n}}_{1}^{\prime}\cdot\hat{\mathbf{n}}_{2}^{\prime\prime}\right)\hat{\mathbf{n}}_{1}^{\prime}\right|^{2}\cos\omega =[𝐧2(𝐧^1𝐧^2)𝐧^1]𝐧^2′′.\displaystyle=\left[\mathbf{n}_{2}^{\prime}-\left(\hat{\mathbf{n}}_{1}^{\prime}\cdot\hat{\mathbf{n}}_{2}^{\prime}\right)\hat{\mathbf{n}}_{1}^{\prime}\right]\cdot\hat{\mathbf{n}}_{2}^{\prime\prime}. (34)

Collectively, the rotation R2R1R_{2}R_{1} maps the set of points (𝐧^1,𝐧^2)(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}) to (𝐧^1,𝐧^2)(\hat{\mathbf{n}}^{\prime}_{1},\hat{\mathbf{n}}^{\prime}_{2}). Given this rotation, we may use Equation (12) to evaluate the bipolar harmonics 𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2)\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}^{\prime}_{1},\hat{\mathbf{n}}^{\prime}_{2}\right) by transforming 𝐁m(j1α1)(j2α2)(𝐧^1,𝐧^2)\mathbf{B}_{\ell m}^{\left(j_{1}\alpha_{1}\right)\left(j_{2}\alpha_{2}\right)}\left(\hat{\mathbf{n}}_{1},\hat{\mathbf{n}}_{2}\right) instead of an explicit evaluation.

We demonstrate the transformation of sensitivity kernels in Fig. 2 by choosing the pairs of points 𝐧^1=(0,0)\hat{\mathbf{n}}_{1}=(0,0), 𝐧^2=(π/4,0)\hat{\mathbf{n}}_{2}=(\pi/4,0), 𝐧^1=(π/2,0)\hat{\mathbf{n}}^{\prime}_{1}=(\pi/2,0) and 𝐧^2=(π/2,π/4)\hat{\mathbf{n}}^{\prime}_{2}=(\pi/2,\pi/4). The solid line represents the kernels computed using Equation (2.2) for the points 𝐧^1\hat{\mathbf{n}}^{\prime}_{1} and 𝐧^2\hat{\mathbf{n}}^{\prime}_{2}, while the dots represent that computed by rotating the kernel components for 𝐧^1\hat{\mathbf{n}}_{1} and 𝐧^2\hat{\mathbf{n}}_{2} using Equation (12). The bottom panel of Fig. 2 depicts the absolute difference between the kernels computed using the two approaches, and the magnitude of the difference indicates that the error is almost purely numerical. The close match shows that the components of sensitivity kernels for line-of-sight projected wave velocities for points that are related through a rotation may be transformed among each other, and kernels for several pairs of points may be computed simultaneously. In the presence of center-to-limb factors that break spherical symmetry (e.g., differences in line-formation heights), such a transformation may only be carried out among pairs of points for which symmetry-breaking factors remain unchanged on rotation.

Refer to caption
Figure 2: Radial profiles of the imaginary part of the kernel for (=1,m=0)(\ell=1,m=0) and vector index γ=1\gamma=1, computed directly for 𝐧^1=(π/2,0)\hat{\mathbf{n}}_{1}=(\pi/2,0) and 𝐧^2=(π/2,π/4)\hat{\mathbf{n}}_{2}=(\pi/2,\pi/4) using the equation (solid line) and by rotating the kernels for 𝐧^1=(0,0)\hat{\mathbf{n}}_{1}=(0,0) and 𝐧^2=(π/4,0)\hat{\mathbf{n}}_{2}=(\pi/4,0) (dots). The kernels are computed for line-of-sight projected measurements. The bottom panel represents the absolute difference between the two results.

4.3 Evaluation time

The numerical implementation of the algorithm described in Bhattacharya (2020) has three parts — the first where the angular functions are computed, the second where the radial functions are evaluated, and the third where the products of the two are summed over. In this work, we described an approach to perform the first part more efficiently than before. We also improved upon the second and third parts by harnessing Julia’s loop vectorization capabilities. We demonstrate one comparison of the evaluation times in Fig. 3, where we plot the time required to evaluate the kernels using the line-of-sight projections of wave velocity and that using the radial component of wave velocity with the maximum angular degree up to which which the kernels are evaluated. We used Green’s functions corresponding to wave numbers in the 11 to 100100 range and frequency in the 22 mHz to 4.54.5 mHz range uniformly divided over 40004000 bins. The relative difference between the evaluation times using line-of-sight projected velocities and that using radial velocities decreases with an increase in the cutoff in angular degree, reaching 15%15\% at max=30\ell_{\text{max}}=30. The absolute difference using max=30\ell_{\text{max}}=30 is 17.517.5 hours of computation time. The timings were measured on 224224 Intel Xeon CPU E5-2680 v4 cores running at 2.402.40GHz.

Refer to caption
Figure 3: Computational time required to evaluate kernels KmK_{\ell m} for all modes for 0max0\leq\ell\leq\ell_{\text{max}} and 0mmmax0\leq m\leq\ell_{\text{mmax}}, where max\ell_{\text{max}} is the angular degree cut-off. In the top panel, the solid line indicates the time required using the radial component of the displacement, while the dashed line indicates the time required using the line-of-sight projected component of the wave velocity.

5 Discussion and conclusions

In this work, we improved upon the previous work by Bhattacharya (2020) to evaluate helioseismic sensitivity kernels for travel-time shifts computed using line-of-sight projected seismic wave velocities. The ability to transform between kernels for pairs of points that are related by a rotation may be helpful if one is interested in inverting for averaged travel times to improve the signal-to-noise ratio. The Julia implementation of the approach presented in this work is available freely under the MIT license 444https://github.com/jishnub/HelioseismicKernels.jl. The modular structure of the code ensures that parts of the entire project, such as vector spherical harmonics, bipolar spherical harmonics, or Wigner D-matrices, may be reused by other projects as necessary. The code developed is embarrassingly parallel in wave modes and temporal frequency and uses the message passing interface (MPI) for communication between processes, so it may be directly run on computing clusters to evaluate sensitivity kernels.

In this work, we did not focus on the impact of the differences in line-formation heights on the sensitivity kernels, although it is expected to play a part in observed travel-time differences as well (Zhao & Chen, 2020). While this may also be incorporated into our approach, it requires a more careful modeling of the observation heights and the atmospheric boundary condition experienced by seismic waves. Further refinements in this direction might be possible. We also assumed that the wave excitation occurs at one specific radius, while in reality the excitation is perhaps spread over a radial range. A different model of source covariance following Gizon et al. (2017) might be used to obtain a better match to observations, although this would significantly increase the computational burden. Furthermore, the temporal spectrum of the source covariance was chosen arbitrarily in this work to be a Gaussian centered at 3.23.2 mHz, although a better profile may be obtained from the spectral envelope of the observed wave covariances.

Acknowledgements.
This work was supported by NYUAD Institute Grant G1502 ”NYUAD Center for Space Science”. This research was carried out on the High-Performance Computing resources at New York University Abu Dhabi.

References

  • Bezanson et al. (2017) Bezanson, J., Edelman, A., Karpinski, S., & Shah, V. 2017, SIAM Review, 59, 65
  • Bhattacharya (2020) Bhattacharya, J. 2020, ApJ, 905, 59
  • Bhattacharya et al. (2020) Bhattacharya, J., Hanasoge, S. M., & Sreenivasan, K. R. 2020, ApJ, 895, 117
  • Böning et al. (2016) Böning, V. G. A., Roth, M., Zima, W., Birch, A. C., & Gizon, L. 2016, ApJ, 824, 49
  • Dahlen & Tromp (1998) Dahlen, F. A. & Tromp, J. 1998, Theoretical Global Seismology (Princeton University Press)
  • Feng et al. (2015) Feng, X. M., Wang, P., Yang, W., & Jin, G. R. 2015, Phys. Rev. E, 92, 043307
  • Fournier et al. (2018) Fournier, D., Hanson, C. S., Gizon, L., & Barucq, H. 2018, A&A, 616, A156
  • Gizon et al. (2017) Gizon, L., Barucq, H., Duruflé, M., et al. 2017, A&A, 600, A35
  • Gizon & Birch (2002) Gizon, L. & Birch, A. C. 2002, ApJ, 571, 966
  • Hansen (1935) Hansen, W. W. 1935, Phys. Rev., 47, 139
  • James (1976) James, R. W. 1976, Philosophical Transactions of the Royal Society of London Series A, 281, 195
  • Johansson & Forssén (2016) Johansson, H. T. & Forssén, C. 2016, SIAM Journal on Scientific Computing, 38, A376
  • Limpanuparb & Milthorpe (2014) Limpanuparb, T. & Milthorpe, J. 2014, arXiv e-prints, arXiv:1410.1748
  • Luscombe & Luban (1998) Luscombe, J. H. & Luban, M. 1998, Phys. Rev. E, 57, 7274
  • Mandal et al. (2017) Mandal, K., Bhattacharya, J., Halder, S., & Hanasoge, S. M. 2017, ApJ, 842, 89
  • Phinney & Burridge (1973) Phinney, R. A. & Burridge, R. 1973, Geophysical Journal, 34, 451
  • Varshalovich et al. (1988) Varshalovich, D. A., Moskalev, A. N., & Khersonskii, V. K. 1988, Quantum Theory of Angular Momentum (World Scientific Publishing Co)
  • Wieczorek & Meschede (2018) Wieczorek, M. A. & Meschede, M. 2018, Geochemistry, Geophysics, Geosystems, 19, 2574
  • Zhao & Chen (2020) Zhao, J. & Chen, R. 2020, Astrophysics and Space Science Proceedings, 57, 123

Appendix A Vector spherical harmonics

We numerically evaluated the vector spherical harmonics following Equation (24). We list the components of the VSH in the spherical basis, as detailed by Varshalovich et al. (1988):

[𝐘jmj+1(𝐧^)]+1\displaystyle\left[\mathbf{Y}_{jm}^{j+1}\left(\hat{\mathbf{n}}\right)\right]^{+1} =[(jm+1)(jm+2)2(j+1)(2j+3)]12Yj+1m1(𝐧^),\displaystyle=\left[\frac{\left(j-m+1\right)\left(j-m+2\right)}{2\left(j+1\right)\left(2j+3\right)}\right]^{\frac{1}{2}}Y_{j+1m-1}\left(\hat{\mathbf{n}}\right), (35)
[𝐘jmj+1(𝐧^)]0\displaystyle\left[\mathbf{Y}_{jm}^{j+1}\left(\hat{\mathbf{n}}\right)\right]^{0} =[(jm+1)(j+m+1)(j+1)(2j+3)]12Yj+1m(𝐧^),\displaystyle=-\left[\frac{\left(j-m+1\right)\left(j+m+1\right)}{\left(j+1\right)\left(2j+3\right)}\right]^{\frac{1}{2}}Y_{j+1m}\left(\hat{\mathbf{n}}\right), (36)
[𝐘jmj+1(𝐧^)]1\displaystyle\left[\mathbf{Y}_{jm}^{j+1}\left(\hat{\mathbf{n}}\right)\right]^{-1} =[(j+m+1)(j+m+2)2(j+1)(2j+3)]12Yj+1m+1(𝐧^),\displaystyle=\left[\frac{\left(j+m+1\right)\left(j+m+2\right)}{2\left(j+1\right)\left(2j+3\right)}\right]^{\frac{1}{2}}Y_{j+1m+1}\left(\hat{\mathbf{n}}\right), (37)
[𝐘jmj(𝐧^)]+1\displaystyle\left[\mathbf{Y}_{jm}^{j}\left(\hat{\mathbf{n}}\right)\right]^{+1} =[(j+m)(jm+1)2j(j+1)]12Yjm1(𝐧^),\displaystyle=-\left[\frac{\left(j+m\right)\left(j-m+1\right)}{2j\left(j+1\right)}\right]^{\frac{1}{2}}Y_{jm-1}\left(\hat{\mathbf{n}}\right), (38)
[𝐘jmj(𝐧^)]0\displaystyle\left[\mathbf{Y}_{jm}^{j}\left(\hat{\mathbf{n}}\right)\right]^{0} =mj(j+1)Yjm(𝐧^),\displaystyle=\frac{m}{\sqrt{j\left(j+1\right)}}Y_{jm}\left(\hat{\mathbf{n}}\right), (39)
[𝐘jmj(𝐧^)]1\displaystyle\left[\mathbf{Y}_{jm}^{j}\left(\hat{\mathbf{n}}\right)\right]^{-1} =[(jm)(j+m+1)2j(j+1)]12Yjm+1(𝐧^),\displaystyle=\left[\frac{\left(j-m\right)\left(j+m+1\right)}{2j\left(j+1\right)}\right]^{\frac{1}{2}}Y_{jm+1}\left(\hat{\mathbf{n}}\right), (40)
[𝐘jmj1(𝐧^)]+1\displaystyle\left[\mathbf{Y}_{jm}^{j-1}\left(\hat{\mathbf{n}}\right)\right]^{+1} =[(j+m)(j+m1)2j(2j1)]12Yj1m1(𝐧^),\displaystyle=\left[\frac{\left(j+m\right)\left(j+m-1\right)}{2j\left(2j-1\right)}\right]^{\frac{1}{2}}Y_{j-1m-1}\left(\hat{\mathbf{n}}\right), (41)
[𝐘jmj1(𝐧^)]0\displaystyle\left[\mathbf{Y}_{jm}^{j-1}\left(\hat{\mathbf{n}}\right)\right]^{0} =[(jm)(j+m)j(2j1)]12Yj1m(𝐧^),\displaystyle=\left[\frac{\left(j-m\right)\left(j+m\right)}{j\left(2j-1\right)}\right]^{\frac{1}{2}}Y_{j-1m}\left(\hat{\mathbf{n}}\right), (42)
[𝐘jmj1(𝐧^)]1\displaystyle\left[\mathbf{Y}_{jm}^{j-1}\left(\hat{\mathbf{n}}\right)\right]^{-1} =[(jm)(jm1)2j(2j1)]12Yj1m+1(𝐧^).\displaystyle=\left[\frac{\left(j-m\right)\left(j-m-1\right)}{2j\left(2j-1\right)}\right]^{\frac{1}{2}}Y_{j-1m+1}\left(\hat{\mathbf{n}}\right). (43)

The spherical harmonics Ym(𝐧^)Y_{\ell m}(\hat{\mathbf{n}}) are zero for indices (,m)(\ell,m) that do not satisfy |m|\left|m\right|\leq\ell.