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

Sensitivity kernels for inferring Lorentz stresses from normal-mode frequency splittings in the Sun

Srijan Bharati Das Department of Geosciences
Princeton University
Princeton, New Jersey, USA
Tuneer Chakraborty Department of Astronomy and Astrophysics
Tata Institute of Fundamental Research
Mumbai, India
Shravan M. Hanasoge Department of Astronomy and Astrophysics
Tata Institute of Fundamental Research
Mumbai, India
Jeroen Tromp Department of Geosciences
and Program in Applied & Computational Mathematics
Princeton University
Princeton, New Jersey, USA
Abstract

Departures from standard spherically symmetric solar models, in the form of perturbations such as global and local-scale flows and structural asphericities, result in the splitting of eigenfrequencies in the observed spectrum of solar oscillations. Drawing from prevalent ideas in normal-mode coupling theory in geophysical literature, we devise a procedure that enables the computation of sensitivity kernels for general Lorentz stress fields in the Sun. Mode coupling due to any perturbation requires careful consideration of self- and cross-coupling of multiplets. Invoking the isolated-multiplet approximation allows for limiting the treatment to purely self-coupling, requiring significantly less computational resources. We identify the presence of such isolated multiplets under the effect of Lorentz stresses in the Sun. Currently, solar missions allow precise measurements of self-coupling of multiplets via “aa-coefficients” and the cross-spectral correlation signal which enables the estimation of the “structure coefficients”. We demonstrate the forward problem for both self-coupling (aa-coefficients) and cross-coupling (structure coefficients). In doing so, we plot the self-coupling kernels and estimate aa-coefficients arising from a combination of deep-toroidal and surface-dipolar axisymmetric fields. We also compute the structure coefficients for an arbitrary general magnetic field (real and solenoidal) and plot the corresponding “splitting function”, a convenient way to visualize the splitting of multiplets under 3D internal perturbations. The results discussed in this paper pave the way to formally pose an inverse problem, and infer solar internal magnetic fields.

Sun: helioseismology — Sun: oscillations — Sun: interior — degenerate perturbation — magnetohydrodyanmics
journal: ApJ

1 Introduction

Solar variability and its impact on space weather phenomena is rooted in the interior dynamics of the Sun (Schrijver and Zwaan, 2000). Large- and small-scale turbulent convective flows (Leighton et al., 1962; Muller et al., 1992; Toomre, 2002; Rast, 2003; De Rosa and Toomre, 2004) are believed to drive solar dynamo processes (Weiss et al., 1996; Ossendrijver, 2003; Miesch, 2005; Fan, 2009), resulting in the evolution of magnetic field. Accurate dynamo models have potential to predict solar-cycle variations and, eventually, the planetary-plasma environment (Mejnertsen et al., 2018; Bharati Das et al., 2019). Today, a plethora of highly sophisticated numerical models attempt to simulate global- and local-scale dynamos (Wicht, 2002; Vögler et al., 2005; Pietarila Graham et al., 2010; Hotta et al., 2015, 2016). Detailed constraints on magnetohydrodynamic (MHD) parameters in the solar interior would help to improve the quality of these numerical models. In this context, helioseismic constraints on the interior magnetic structure of the Sun would prove very useful.

The MHD Eqns. (e.g., Goedbloed and Poedts, 2004) involve a coupled system of flows and magnetic fields with complicated tensorial terms, making direct seismic inferences mathematically and conceptually challenging. Indeed, observational studies that aim to make sense of local helioseismic measurements in and around magnetic regions have had a controversial history (Gizon et al., 2009). Flows thought to drive the creation and maintenance of active regions have been of significant interest, e.g., determining correlations between flows and magnetic activity has been an active topic (Komm et al., 1993; Chou and Dai, 2001; Basu and Antia, 2003; Zhao and Kosovichev, 2004).

The problem of imaging global magnetic fields through helioseismology has been relatively underexplored, the focus mainly being the solar rotational profile and other global and local flow fields (Lavely and Ritzwoller, 1992; Giles, 2000; Basu et al., 1999; Zhao and Kosovichev, 2004; Hanasoge et al., 2012b, 2017). There have been studies analyzing effects of local fields, such as those contained in a sunspot, on the reduction of wave power (Cally, 2000; Schunker and Cally, 2006), and changes in wave speed and flow patterns (Gizon et al., 2009; Khomenko and Collados, 2015; Švanda et al., 2014; Rabello-Soares et al., 2018; Braun, 2019). Nevertheless, early attempts (e.g., Gough, 1990) that were made to study the impact of global magnetic fields (Lorentz-stress perturbations) on the eigenfrequencies and eigenfunctions of the standard solar model (model S in Christensen-Dalsgaard et al., 1996) focused on the details of the forward problem of frequency shifts induced by an axisymmetric magnetic field not aligned with the rotation axis. Dziembowski and Goode (2004) considered near-surface, small-scale as well as a large-scale deep toroidal fields at the tachocline. However, lacking a formal relation between Lorentz-stresses and the consequent seismic signatures (sensitivity kernels), these efforts suffered from the drawback of restricting the field geometry to make the problem tractable. Several numerical studies have also considered small perturbations around a magnetized background medium (Cameron et al., 2008, 2010; Hanasoge et al., 2012a; Schunker et al., 2013). Attempts at deducing temporal changes in magnetic-field configurations from variations in angular velocity have met with limited success (Antia et al., 2013). In a recent analysis, Cutler (2017) explored the potential of learning about magnetic fields from mode-coupling theory. Hanasoge (2017) derived analytical forms of the Lorentz-stress sensitivity kernels in the context of normal-mode coupling. This has made it possible to consider the treatment of a completely general magnetic field configuration as a perturbation around a hydrostatic background state. This forms the basis of the current study.

The eigenmodes of an unperturbed, hydrostatic, spherically symmetric background state are orthogonal and have distinct real eigenfrequencies (Goedbloed and Poedts, 2004). Because such a state is azimuthally symmetric, groups of eigenmodes (called multiplets) are degenerate. However, asymmetric perturbations lift this degeneracy. For a multiplet isolated in frequency subjected to a zonal perturbation, the split frequency is a function of the azimuthal order mm, and can therefore be decomposed in a suitable set of basis polynomials in mm (Sekii, 1990, 1991; Schou et al., 1994). Frequency splitting due to symmetric flows across the equator (Ritzwoller and Lavely, 1991) may be fit using only odd polynomials (these polynomials could be proportional to Legendre polynomials of order mm or Clebsch-Gordon coefficients of the same order). For structure perturbations, such as ellipticity, even-order polynomials span the space of frequency splittings. The choice of this basis polynomial is not unique, but we use the convention followed in Schou et al. (1994).

The novelty of our work lies in the fact that we present generalized Lorentz-stress sensitivity kernels for frequency splitting. In doing so, we adopt a formalism able to accommodate any choice of field. This is ensured by the technique with which our sensitivity kernels are derived, respecting the second-rank tensorial nature of the Lorentz-stress terms. Sensitivity kernels for similar perturbations are described in terrestrial geophysical literature (e.g., Dahlen and Tromp, 1998). Thus, our kernels allow for systematically inferring Lorentz stresses. Inversions for Lorentz-stresses, just as any other perturbation, are much more precise in near-surface layers than the deep interior. This is because Lorentz-stresses dominate in the near surface as compared to gas pressure, although quickly reversing when moving into deeper layers. Since waves spend most of their time in the near surface, kernels for Lorentz-stress are maximally sensitive to those layers. However, as noted by Gizon et al. (2009), near-surface localized magnetic features, such as sunspots, induce pressure, density, and magnetic field perturbations that are too strong to be modelled based on the Born approximation. Therefore the consequent shifts in frequency or wave travel-times are significant. As a result, frequency shifts due to high angular degree magnetic structures may be sensitive to strong near-surface perturbations.

The method of normal-mode coupling to model frequency shifts depends greatly on the proximity of modes in frequency. For closely spaced modes, a strong enough perturbation can cause shifts in frequency which are comparable or larger than the frequency separation between the unperturbed modes. In such a case, one would need to account for cross-coupling of all the modes within a certain frequency window. If, however, the modes are well separated in frequency and perturbations are weak, it may be possible to make do with a self-coupling analysis. The latter is computationally significantly cheaper and mathematically relatively simple. The modes for which self-coupling is a good approximation are called ‘isolated’. Groups of such modes, isolated in frequency, that belong to the same degenerate multiplet prior to perturbation are called ‘isolated multiplets’. In this study we develop a mathematical formalism which respects cross-coupling in the presence of a general Lorentz stress field, and we explore the simplifications associated with self-coupling of isolated multiplets. We demonstrate the abundance of such isolated multiplets with Lorentz-stress as the only perturbation. We use these sensitivity kernels to estimate the approximate order of magnitude of the frequency splitting expected in the presence of an analytically constructed large-scale Lorentz-stress field. The global strength and configuration of the field is chosen to coarsely resemble realistic models (refer to Section 3.3). Although a more accurate calculation would account for a differentially rotating background state, we do not pursue this here and defer it to a future investigation. Finally, we present a corrected form of the Lorentz-stress sensitivity kernels, which includes terms that were missing in the original work Hanasoge (2017). Although those were for mode coupling, the idea is very similar.

In Section 2.1, we lay out the underlying theoretical tools that are essential for carrying out the perturbation analysis. This includes the background-wave equation and decomposition of the displacement field, magnetic-field vectors and Lorentz-stress tensors in the generalized-spherical-harmonics basis (hereafter GSH). We formally describe the forward problem in Section 2.2 in the context of full-coupling due to a completely general magnetic (or Lorentz-stress) field and thereafter illustrate the method of extracting structure coefficients (and constructing splitting functions) in Section 2.3. We discuss the simplifications when working with isolated-multiplets in Section 2.4 for axisymmetric as well as non-axisymmetric fields in Section 3. We first establish the existence of isolated multiplets in Section 3.1 under the sole influence of Lorentz-stress. Subsequently, we narrow down the problem to self-coupling under axisymmetric fields — the aa-coefficient approach. Kernels for aa-coefficients are presented in Section 3.2. Illustrative calculations for these forward problems using analytically constructed (axisymmetric and non-axisymmetric) magnetic fields are shown in Sections 3.3 and 3.4. Discussions and conclusions pertaining to our findings in this study and its comparison to earlier studies of a similar nature can be found in Section 4. Appendix A contains the steps leading to the first-order background-wave equation and the Lorentz-stress perturbation operator. The derivation for quasi-degenerate perturbation theory is laid out in Appendix B, followed by a section outlining the analysis of the coupling matrix and the sensitivity kernels in Appendix C. We present analytical expressions for our custom-designed divergence-free magnetic field in Appendices D.1 and D.2. We formulate the inverse problem in the GSH basis. The prescription to convert the Lorentz-stress field from the GSH basis to the actual spherical coordinates is stipulated in Appendix E. Finally, we dedicate Appendix F to aa-coefficients for the readers’ convenience, and Appendix G demonstrating the validity of the isolated-multiplet approximation under differential rotation.

2 Theoretical formulation

2.1 Basic framework and notation

We begin by considering the full set of coupled ideal MHD equations in CGS units,

tρ\displaystyle\partial_{t}\rho =\displaystyle= (ρ𝐯),\displaystyle-\bm{\nabla}\cdot(\rho\,\mathbf{v}), (1)
ρ(t𝐯+𝐯𝐯)\displaystyle\rho(\partial_{t}\mathbf{v}+\mathbf{v}\cdot\bm{\nabla}\mathbf{v}) =\displaystyle= p+c1𝐣×𝐁ρϕ,\displaystyle-\bm{\nabla}p+c^{-1}\,\mathbf{j}\times\mathbf{B}-\rho\bm{\nabla}\phi, (2)
tp\displaystyle\partial_{t}p =\displaystyle= 𝐯pγp𝐯,\displaystyle-\mathbf{v}\cdot\bm{\nabla}p-\gamma\,p\,\bm{\nabla}\cdot\mathbf{v}, (3)
t𝐁\displaystyle\partial_{t}\mathbf{B} =\displaystyle= ×(𝐯×𝐁).\displaystyle\bm{\nabla}\times(\mathbf{v}\times\mathbf{B}). (4)

Here ρ\rho denotes the mass density, 𝐯\mathbf{v} the material velocity, pp the pressure, ϕ\phi the gravitational potential, cc the speed of light, and 𝐣=(c/4π)×𝐁\mathbf{j}=(c/4\pi)\bm{\nabla}\times\mathbf{B} the current density; γ\gamma is a ratio of specific heats determined by an adiabatic equation of state. The magnetic field, 𝐁\mathbf{B}, is divergence free: 𝐁=0\bm{\nabla}\cdot\mathbf{B}=0. The magnetic diffusivity term in the induction equation is dropped, assuming a large magnetic Reynolds number in the solar interior, of order Rm106R_{m}\sim 10^{6} (Hood and Hughes, 2011). Hereafter, we resort to a background model which assumes the Sun to be spherically symmetric, non-rotating, non-magnetic, temporally stationary, capable of only sustaining adiabatic acoustic oscillations (model S in Christensen-Dalsgaard et al., 1996). We do not enlist the Poisson equation as we neglect perturbations to the gravitational potential ϕ\phi — that is, we use the Cowling approximation.

In steady state with no background flow (𝐯0=𝟎\mathbf{v}_{0}=\mathbf{0}), the equilibrium force balance condition in model S is:

p0+ρ0ϕ=𝟎.\bm{\nabla}p_{0}+\rho_{0}\bm{\nabla}\phi=\mathbf{0}. (5)

A subscript ‘0’ stands for zeroth order, static unperturbed fields. We do not subscript ϕ\phi (or the gravitational acceleration 𝐠=ϕ\mathbf{g}=-\bm{\nabla}\phi) as the zeroth order gravitational potential (or field) is implied in the Cowling approximation. When we perturb model S by introducing magnetic field 𝐁\mathbf{B}\,, the steady-state equilibrium force-balance also includes the Lorentz-force due to the zeroth order magnetic field:

p0+ρ0ϕ=c1𝐣0×𝐁0.\bm{\nabla}p_{0}+\rho_{0}\bm{\nabla}\phi=c^{-1}\,\mathbf{j}_{0}\times\mathbf{B}_{0}. (6)

A departure from this steady state equilibrium, via the introduction of perturbative forces, causes the system to respond by exhibiting free oscillations 𝝃(𝒓,t)\boldsymbol{\xi}(\boldsymbol{r},t). In Fourier space, these free oscillations can be reconstructed from a superposition of “normal-modes”, labelled by an index kk, each of which have a characteristic frequency ωk\omega_{k} and spatial pattern 𝝃k(𝒓)\boldsymbol{\xi}_{k}(\boldsymbol{r}) with excitation amplitudes aka_{k}:

𝝃(𝒓,t)=kak𝝃k(𝒓)exp(iωkt).\boldsymbol{\xi}(\boldsymbol{r},t)=\sum_{k}a_{k}\,\boldsymbol{\xi}_{k}(\boldsymbol{r})\exp(i\omega_{k}t). (7)

Introducing first-order, time-dependent perturbations as outlined in Appendix A, we arrive at the linearized equation of motion for the above magnetohydrodynamic system:

ρ0ωk2𝝃k=0𝝃k+δ𝝃k,\rho_{0}\,\omega_{k}^{2}\,\boldsymbol{\xi}_{k}=\mathcal{L}\,_{0}\boldsymbol{\xi}_{k}+\delta\mathcal{L}\,\boldsymbol{\xi}_{k}, (8)

where 0\mathcal{L}\,_{0} is the linear acoustic wave operator for model-S while the operator δ\delta\mathcal{L}\, captures the forcing due to Lorentz-stresses. We solve Eqn. (8) based on a perturbative analysis that involves the following two steps.

  1. 1.

    We start with the unmagnetized case by setting 𝐁0=𝟎\mathbf{B}_{0}=\mathbf{0} and solve the eigenvalue problem ρ0ωk,02𝝃k,0=0𝝃k,0\rho_{0}\,\omega_{k,0}^{2}\,\boldsymbol{\xi}_{k,0}=\mathcal{L}\,_{0}\boldsymbol{\xi}_{k,0}. This gives us the eigenfrequencies ωk,0\omega_{k,0} and eigenmodes 𝝃k,0\boldsymbol{\xi}_{k,0} associated with the unperturbed model-S.

  2. 2.

    We introduce a non-zero background magnetic field 𝐁0\mathbf{B}_{0} and therefore “switch-on” the δ\delta\mathcal{L}\, part of the wave operator in Eqn. (8). Consequently, to accommodate for the changes due to δ\delta\mathcal{L}\,, we introduce perturbed eigenfrequencies ωk=ωk,0+δωk\omega_{k}=\omega_{k,0}+\delta\omega_{k} and eigenfunctions 𝝃k=kck𝝃k,0\boldsymbol{\xi}_{k}=\sum_{k^{\prime}}c_{k^{\prime}}\,\boldsymbol{\xi}_{k^{\prime},0}. Note that we neglect the distortions in the solar structure induced due to the presence of magnetic fields. Accounting for this would involve mapping each point 𝐫\mathbf{r} on the model S spherical Sun onto a point 𝐱\mathbf{x} on the distorted Sun (Gough and Thompson, 1990).

The linearized equation of motion (see derivation of Eqn. A12) for the unmagnetized case is given by (also refer to Christensen–Dalsgaard, 2003):

0𝝃k,0=(ρ0cs2𝝃k,0ρ0g𝝃k,0𝒆^r)g𝒆^r(ρ0𝝃k,0)=ρ0ωk,02𝝃k,0,\mathcal{L}_{0}\boldsymbol{\xi}_{k,0}=-\bm{\nabla}(\rho_{0}c_{s}^{2}\,\bm{\nabla}\cdot\boldsymbol{\xi}_{k,0}-\rho_{0}g\,\boldsymbol{\xi}_{k,0}\cdot\hat{\bm{e}}_{r})-g\,\hat{\bm{e}}_{r}\bm{\nabla}\cdot(\rho_{0}\,\boldsymbol{\xi}_{k,0})=\rho_{0}\,\omega_{k,0}^{2}\,\boldsymbol{\xi}_{k,0}, (9)

where cs(r),ρ0(r)c_{s}(r),\rho_{0}(r), and g(r)g(r) are the sound speed, density, and gravity (directed radially inward) respectively, and \bm{\nabla} denotes the covariant spatial derivative operator. For all ensuing calculations and derivations, we write Eqn. (9) in the form 0𝝃k=ρ0ωk2𝝃k\mathcal{L}_{0}\boldsymbol{\xi}_{k}=\rho_{0}\omega_{k}^{2}\boldsymbol{\xi}_{k}, where the magnetically unperturbed wave operator 0\mathcal{L}_{0} is self-adjoint (Goedbloed and Poedts, 2004). To solve for the eigenmodes of the unperturbed model S, the boundary conditions employed are: (a) 𝝃\boldsymbol{\xi} and the Eulerian pressure perturbation at r=0r=0 is finite, and (b) the Lagrangian pressure perturbation at r=Rr=R_{\odot} vanishes (see Section 17.6 in Cox, 1980). As already mentioned earlier, the Cowling approximation is used and hence the gravitational Poisson equation is not needed while finding the eigenmodes. We suppress the subscript ‘0’ in the unperturbed eigenfunctions 𝝃k,0\boldsymbol{\xi}_{k,0} and eigenfrequencies ωk,0\omega_{k,0} for the rest of this paper. Unless specified otherwise, any instance of ωk\omega_{k} or 𝝃k\boldsymbol{\xi}_{k} should be assumed to imply eigenfrequencies and eigenfunctions of Eqn. (9), respectively. The Sun is treated as a fluid body with vanishing shear modulus and hence is unable to sustain shear waves (although the presence of magnetic fields complicates this assumption). Thus, the eigenfunctions of the background model contain no toroidal components (see Chapter 8 of Dahlen and Tromp, 1998), rendering them purely spheroidal. We write the displacement field 𝝃(𝒓)\boldsymbol{\xi}(\boldsymbol{r}) in the basis of vector spherical harmonics (and thereafter GSH) as follows

𝝃(r,θ,ϕ)\displaystyle\boldsymbol{\xi}(r,\theta,\phi) =\displaystyle= n,,mUn(r)Ym(θ,ϕ)𝒆^r+Vn(r)1Ym(θ,ϕ)\displaystyle\sum_{n,\ell,m}{}_{n}U{}_{\ell}(r)\,Y_{\ell m}(\theta,\phi)\,\hat{\bm{e}}_{r}+{}_{n}V{}_{\ell}(r)\,\bm{\nabla}_{1}Y_{\ell m}(\theta,\phi) (10)
=\displaystyle= n,,mξn(r)Ym(θ,ϕ)𝒆^+ξn(r)0Ym0(θ,ϕ)𝒆^0+ξn(r)+Ym+(θ,ϕ)𝒆^+.\displaystyle\sum_{n,\ell,m}{}_{n}\xi{}_{\ell}^{-}(r)\,Y_{\ell m}^{-}(\theta,\phi)\,\hat{\bm{e}}_{-}+{}_{n}\xi{}_{\ell}^{0}(r)\,Y_{\ell m}^{0}(\theta,\phi)\,\hat{\bm{e}}_{0}+{}_{n}\xi{}_{\ell}^{+}(r)\,Y_{\ell m}^{+}(\theta,\phi)\,\hat{\bm{e}}_{+}. (11)

Here, 𝒓=(r,θ,ϕ)\boldsymbol{r}=(r,\theta,\phi) denote spherical polar coordinates, with basis vectors (e^r,e^θ,e^ϕ)(\hat{e}_{r},\hat{e}_{\theta},\hat{e}_{\phi}) and k=(n,,m)k=(n,\ell,m) where nn is the radial order, \ell the angular degree, and mm the azimuthal order. The dimensionless lateral covariant derivative operator is denoted by 1=𝒆^θθ+𝒆^ϕ(sinθ)1ϕ\boldsymbol{\bm{\nabla}}_{1}=\hat{\bm{e}}_{\theta}\,\partial_{\theta}+\hat{\bm{e}}_{\phi}\,(\sin\theta)^{-1}\partial_{\phi}. The basis vectors in spherical polar coordinates are related to those in the GSH basis via

𝒆^=12(𝒆^θi𝒆^ϕ),𝒆^0=𝒆^r,𝒆^+=12(𝒆^θ+i𝒆^ϕ).\hat{\bm{e}}_{-}=\frac{1}{\sqrt{2}}(\hat{\bm{e}}_{\theta}-i\hat{\bm{e}}_{\phi}),\qquad\hat{\bm{e}}_{0}=\hat{\bm{e}}_{r},\qquad\hat{\bm{e}}_{+}=-\frac{1}{\sqrt{2}}(\hat{\bm{e}}_{\theta}+i\hat{\bm{e}}_{\phi}). (12)

The vanishing toroidal component in (10) imposes the constraint that ξk=ξk+\xi_{k}^{-}=\xi_{k}^{+} (Appendix C of Dahlen and Tromp, 1998). Owing to 0\mathcal{L}\,_{0} being self-adjoint, the eigenvalues ωk\omega_{k} of the unperturbed state are real and the eigenfunctions 𝝃k\boldsymbol{\xi}_{k} corresponding to distinct eigenvalues are orthogonal. For convenience, 𝝃k\boldsymbol{\xi}_{k} is normalized to satisfy the orthonormality condition

d3𝐫ρ𝝃k𝝃k=δnnδδmm.\int_{\odot}\mathrm{d}^{3}\mathbf{r}\,\rho\,\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot\boldsymbol{\xi}_{k}=\delta_{n^{\prime}n}\,\delta_{\ell^{\prime}\ell}\,\delta_{m^{\prime}m}. (13)

Next, as derived in Appendix A (see Eqn [A13]), we introduce a magnetically induced perturbation through the operator δ\delta\mathcal{L}\, where,

4πδ𝝃=𝐁0×(×𝐁1)(×𝐁0)×𝐁1[𝝃(𝐣0×𝐁0)].\displaystyle 4\pi\,\delta\mathcal{L}\,\boldsymbol{\xi}=\mathbf{B}_{0}\times(\bm{\nabla}\times\mathbf{B}_{1})-(\bm{\nabla}\times\mathbf{B}_{0})\times\mathbf{B}_{1}-\bm{\nabla}[\boldsymbol{\xi}\cdot(\mathbf{j}_{0}\times\mathbf{B}_{0})]. (14)

𝐁0\mathbf{B}_{0} is the zeroth-order background magnetic field and 𝐁1=×(𝝃×𝐁0)\mathbf{B}_{1}=\bm{\nabla}\times(\boldsymbol{\xi}\times\mathbf{B}_{0}) is the first order perturbation. Henceforth, we shall drop the subscript ‘0’ for the zeroth-order magnetic field. Therefore, any instance of 𝐁\mathbf{B}\, hereafter shall denote the zeroth-order magnetic field, unless specified otherwise. Like 𝝃\boldsymbol{\xi} (in Eqn [11]), we also expand the magnetic field and the corresponding Lorentz stress using the basis of generalized spherical harmonics 𝒀stN\boldsymbol{Y}_{st}^{N}

𝐁(r,θ,ϕ)\displaystyle\mathbf{B}(r,\theta,\phi) =\displaystyle= s=0t=ssμBstμ(r)Ystμ(θ,ϕ)𝒆^μ,\displaystyle\sum_{s=0}^{\infty}\sum_{t=-s}^{s}\sum_{\mu}B_{st}^{\mu}(r)\,Y_{st}^{\mu}(\theta,\phi)\,\hat{\bm{e}}_{\mu}, (15)
𝓗(r,θ,ϕ)\displaystyle\boldsymbol{\mathcal{H}}(r,\theta,\phi) =\displaystyle= s=0t=ssμνhstμν(r)Ystμ+ν(θ,ϕ)𝒆^μ𝒆^ν,\displaystyle\sum_{s=0}^{\infty}\sum_{t=-s}^{s}\sum_{\mu\nu}h_{st}^{\mu\nu}(r)\,Y_{st}^{\mu+\nu}(\theta,\phi)\,\hat{\bm{e}}_{\mu}\,\hat{\bm{e}}_{\nu}, (16)

where in Eqns. (15) and (16) μ\mu and ν\nu take values 1-1, 0, +1+1. In practice, the angular degree ss is usually truncated at some desired upper limit smaxs_{\rm{max}}. Invoking the divergence-free condition on the magnetic field, 𝐁=0\bm{\nabla}\cdot\mathbf{B}\,=0, we have Bst++Bst=r(r2Bst0)/(rΩs0)B_{st}^{+}+B_{st}^{-}=\partial_{r}(r^{2}B^{0}_{st})/(r\Omega_{s}^{0}), where Ω±N=12(±N)(N+1)\Omega_{\ell}^{\pm N}=\sqrt{\frac{1}{2}(\ell\pm N)(\ell\mp N+1)}. The realness of 𝐁\mathbf{B} further imposes the constraint Bstμ=(1)tBst¯μ¯B_{st}^{\mu\,*}=(-1)^{t}B_{s\bar{t}}^{\bar{\mu}}, where overbars represent negatives (i.e., t¯=t{\bar{t}}=-t), a property that follows from its realness condition. An equivalent constraint on the Lorentz stress 𝓗\boldsymbol{\mathcal{H}}, which accounts for a solenoidal 𝐁\mathbf{B}\, field, seems unlikely. Therefore, as elucidated in Appendix D.2, we begin constructing our 𝓗\boldsymbol{\mathcal{H}} by choosing a divergence-free 𝐁\mathbf{B}\, field. Eqn. (D18) relates components of 𝓗\boldsymbol{\mathcal{H}} to 𝐁\mathbf{B}\,. 𝓗\boldsymbol{\mathcal{H}}, by construction, satisfies the symmetry property hstμν=hstνμh^{\mu\nu}_{st}=h^{\nu\mu}_{st} (𝓗=𝐁𝐁\because\boldsymbol{\mathcal{H}}=\mathbf{B}\,\mathbf{B}\,), and hstμν=(1)thst¯μ¯ν¯h^{\mu\nu\,*}_{st}=(-1)^{t}h_{s\bar{t}}^{\bar{\mu}\bar{\nu}}. The introduction of magnetic perturbations introduces a set of surface terms which can be found in Eqn. (C4). Further details about the importance of these terms and why their contribution is negligible for the Model S (Christensen-Dalsgaard et al., 1996) can be found in Appendix C.

2.2 Forward problem

The eigenfrequencies of the unmagnetized state (eqn [9]) are denoted by ωn{}_{n}\omega{}_{\ell}. They are independent of the azimuthal order mm because of the spherical symmetry of the background model (we use model S of Christensen–Dalsgaard, 2008). Therefore, each multiplet Sn{}_{n}\mathrm{S}_{\ell} is 2+12\ell+1 degenerate. The introduction of (non-spherically symmetric) perturbations breaks this degeneracy and gives rise to frequency splitting. The aim of our forward problem is to calculate the perturbed eigenfrequencies under the action of Lorentz stresses. In calculating frequency shifts of an erstwhile degenerate multiplet S0n0{}_{n_{0}}\mathrm{S}_{\ell_{0}}, we apply the formalism of quasi-degenerate perturbation theory. Therefore, perturbations in the eigenfunctions and eigenfrequencies of a target multiplet S0n0{}_{n_{0}}\mathrm{S}_{\ell_{0}} are assumed to arise from eigenmodes whose unperturbed eigenfrequencies ωk\omega_{k} lie within the range [ωrefΔω,ωref+Δω][\omega_{\rm{ref}}-\Delta\omega,\omega_{\rm{ref}}+\Delta\omega], where the reference angular frequency ωref\omega_{\rm{ref}} is chosen to be ω0n0{}_{n_{0}}\omega_{\ell_{0}}, and Δω\Delta\omega defines a window in frequency around ωref\omega_{\rm{ref}}. Any mode with frequency ωk\omega_{k} outside the range [ωrefΔω,ωref+Δω][\omega_{\rm{ref}}-\Delta\omega,\omega_{\rm{ref}}+\Delta\omega] is assumed to not “talk” to multiplet S0n0{}_{n_{0}}\mathrm{S}_{\ell_{0}}. Carrying out the standard quasi-degenerate perturbation analysis discussed in Appendix B, frequency splitting within each multiplet is given by the following expression:

k[Λkk(ωref2ωk2)δkk]ck=δω2ck,\sum_{k}[\Lambda_{k^{\prime}k}-(\omega_{\rm{ref}}^{2}-\omega_{k}^{2})\,\delta_{k^{\prime}k}]c_{k}=\delta\omega^{2}\,c_{k^{\prime}}, (17)

where the matrix Λkk=d3𝐫𝝃kδ𝝃k=𝝃k|δ𝝃k\Lambda_{k^{\prime}k}=\int_{\odot}\mathrm{d}^{3}\mathbf{r}\,\,\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot\delta\mathcal{L}\boldsymbol{\xi}_{k}=\braket{{\boldsymbol{\xi}_{k^{\prime}}}}{\delta\mathcal{L}\boldsymbol{\xi}_{k}} is called the coupling matrix and δω2=2ωδrefω\delta\omega^{2}=2\,\omega{}_{\mathrm{ref}}\,\delta\omega. Here, δω\delta\omega represents the shift in eigenfrequencies about the reference frequency ωref\omega_{\mathrm{ref}}. The shifted eigenfrequencies, in general, do not carry an unperturbed mode index kk^{\prime} because n,,mn^{\prime},\ell^{\prime},m^{\prime} cease to behave as good quantum numbers. For conciseness, it is common to define 𝒵kk=Λkk(ωref2ωk2)δkk\mathcal{Z}_{k^{\prime}k}=\Lambda_{k^{\prime}k}-(\omega_{\rm{ref}}^{2}-\omega_{k}^{2})\,\delta_{k^{\prime}k} as the supermatrix. The degenerate eigenmode with unperturbed frequency ωn{}_{n}\omega{}_{\ell} is denoted by the triplet k=(n,,m)k=(n,\ell,m). The derivation of these matrix elements is outlined in Appendix C. The simplified form of the coupling matrix is written as a radial integral of hstμν(r)h_{st}^{\mu\nu}(r) components weighted by sensitivity kernels stμνkk(r){}_{k^{\prime}k}\mathcal{B}_{st}^{\mu\nu}(r) according to

Λkk\displaystyle\Lambda_{k^{\prime}k} =stμν0Rdrr2stμνkk(r)hstμν(r)\displaystyle=\sum_{st}\sum_{\mu\nu}\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}{}_{k^{\prime}k}\mathcal{B}_{st}^{\mu\nu}(r)\,h_{st}^{\mu\nu}(r) (18)
=s,t0Rdrr2{st00kkhst00+st++kk[hst(1)++s+hst++]+2st0+kk[hst0(1)++s+hst0+]+2st+kkhst+}.\displaystyle=\sum_{s,t}\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\,\{{}_{k^{\prime}k}\mathcal{B}_{st}^{00}\,h_{st}^{00}+{}_{k^{\prime}k}\mathcal{B}_{st}^{++}\,[h_{st}^{--}(-1)^{\ell^{\prime}+\ell+s}+h_{st}^{++}]+2\,{}_{k^{\prime}k}\mathcal{B}_{st}^{0+}\,[h_{st}^{0-}(-1)^{\ell^{\prime}+\ell+s}+h_{st}^{0+}]+2\,{}_{k^{\prime}k}\mathcal{B}_{st}^{+-}\,h_{st}^{+-}\}. (19)

Explicit expressions and symmetry relations for corresponding sensitivity kernels stμνkk{}_{k^{\prime}k}\mathcal{B}^{\mu\nu}_{st} are stated in Appendix C.1. Hereafter, we shall drop the mode subscripts kkk^{\prime}k in stμνkk{}_{k^{\prime}k}\mathcal{B}^{\mu\nu}_{st} for notational simplicity. Expressions for Lorentz-stress components hstμνh^{\mu\nu}_{st} may be found in Appendix D.2. In writing Eqn. (19) we use the symmetry in the Lorentz-stress tensor-expansion components, hstμν=hstνμh^{\mu\nu}_{st}=h^{\nu\mu}_{st}, and the fact that there are only four independent components of stμν\mathcal{B}_{st}^{\mu\nu}. The eigenvalues δω2\delta\omega^{2} of the supermatrix 𝒵kk\mathcal{Z}_{k^{\prime}k} are given by Eqn. (17). These relate to Ωp\Omega_{p}, the perturbed frequencies, via Ωp=(ωref2+δωp2)1/2\Omega_{p}=(\omega_{\rm{ref}}^{2}+\delta\omega^{2}_{p})^{1/2} where pp denotes a new set of labels different from the unperturbed label kk. In the absence of spherical or azimuthal symmetry and cross-mode coupling, n,,mn,\ell,m are no longer ‘good’ quantum numbers and therefore inhibit the direct mapping of the perturbed modes with the erstwhile unperturbed modes. Note that for the purpose of inverse problems, the proper method of parameterizing the inversion is to use 𝓗/ρ\boldsymbol{\mathcal{H}}/\rho and corresponding effective kernels ρ\rho\mathcal{B}. This is discussed in further detail in Appendix C. The forward problem of Eqn. (19) remains unchanged under this consideration.

2.3 Coupled multiplets

A general spheroidal p-mode wavefield in the spectral domain can be expanded in the basis of the unperturbed spheroidal p-modes as ξ(𝒓,𝝎)=kφk(ω)𝝃k(𝒓)\xi(\boldsymbol{r,\omega})=\sum_{k}\varphi_{k}(\omega)\boldsymbol{\xi}_{k}(\boldsymbol{r}). Following the concise notation used in Hanasoge et al. (2017), we henceforth write φk(ω)\varphi_{k}(\omega) as φkω\varphi_{k}^{\omega}, which contains the phase and amplitude of mode kk. The time series of the spherical harmonic oscillations at the solar surface (and hence φkω\varphi_{k}^{\omega}) are supplied by the HMI and MDI missions. The change in this wavefield 𝝃\boldsymbol{\xi} in the presence of a perturbation can be expressed as

δ𝝃=kδφkω𝝃k.\delta\boldsymbol{\xi}=\sum_{k}\delta\varphi_{k}^{\omega}\boldsymbol{\xi}_{k}. (20)

As shown in Woodard (2016) and Hanasoge et al. (2017), the expectation value of the cross-spectral correlation signal can be modelled as:

φkωδφkω+δφkωφkω=(NkRkω|Rkω|2+NkRkω|Rkω|2)Λkk\langle\varphi_{k^{\prime}}^{\omega^{\prime}}\delta\varphi_{k}^{\omega*}+\delta\varphi_{k^{\prime}}^{\omega^{\prime}}\varphi_{k}^{\omega*}\rangle=(N_{k^{\prime}}R_{k}^{\omega*}|R_{k^{\prime}}^{\omega^{\prime}}|^{2}+N_{k}R_{k^{\prime}}^{\omega^{\prime}}|R_{k}^{\omega}|^{2})\Lambda_{k^{\prime}k} (21)

where A\langle A\rangle represents the statistical expectation value of parameter AA, NkN_{k} is the mode-amplitude normalization and Rkω=(ω2ωk2)1R_{k}^{\omega}=(\omega^{2}-\omega_{k}^{2})^{-1}. The singularity at ω=ωk\omega=\omega_{k} is avoided by introducing a tiny imaginary component to ωk\omega_{k} (which is representative of negligible attenuation). This results in damping of the mode. The damping rate γk1/τ\gamma_{k}\sim 1/\tau where τ\tau is the e-folding lifetime of the mode. The lifetime or damping rate can be accurately computed by modeling the power spectrum of modes in frequency and fitting a Lorenzian profile (Schou and Brown, 1994). If Δ\Delta is the FWHM then τ=(πΔ)1\tau=(\pi\Delta)^{-1}. The observed lifetime of modes in the Sun vary from days to a few months (Korzennik et al., 2013). Therefore, an estimation of φkωδφkω+δφkωφkω\langle\varphi_{k^{\prime}}^{\omega^{\prime}}\delta\varphi_{k}^{\omega*}+\delta\varphi_{k^{\prime}}^{\omega^{\prime}}\varphi_{k}^{\omega*}\rangle from observations allow us to recover elements in Λkk\Lambda_{k^{\prime}k}.

The elements Λkk\Lambda_{k^{\prime}k} thus obtained define a non-sparse matrix for a general non-axisymmetric field. This is unlike the aa-coefficient formalism, which is restricted to an inverse problem for axisymmetric fields and therefore has a diagonal coupling matrix. Because Λkk\Lambda_{k^{\prime}k} has eigenvalues δω2=2ωrefδω\delta\omega^{2}=2\omega_{\rm{ref}}\,\delta\omega, where ωref\omega_{\rm{ref}} is a fiducial reference frequency (refer to Appendix B). One can then choose to frame the following statement for an inverse problem (Dahlen and Tromp, 1998, Section 14.2.9 and 14.3.5):

Λkk/(2ωref)=ωrefs=0t=sscstnnΩYm0Yst0Ym0dΩ,\Lambda_{k^{\prime}k}/(2\omega_{\rm{ref}})=\omega_{\rm{ref}}\sum_{s=0}^{\infty}\sum_{t=-s}^{s}c_{st}^{n^{\prime}\ell^{\prime}n\ell}\int_{\Omega}Y_{\ell^{\prime}m^{\prime}}^{0*}Y_{st}^{0}Y_{\ell m}^{0}\,\mathrm{d}\Omega, (22)

where the coefficients cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} remain to be determined. The solid angle integration is carried out over the complete surface of a sphere. The integral involving three spherical harmonics can be conveniently expressed in terms of Wigner 3-jj symbols as follows  (Dahlen and Tromp, 1998, C.225):

ΩYm0Yst0Ym0dΩ=4π(1)mγγsγ(s000)(smtm),\int_{\Omega}Y_{\ell^{\prime}m^{\prime}}^{0*}Y_{st}^{0}Y_{\ell m}^{0}\,\mathrm{d}\Omega=4\pi(-1)^{m^{\prime}}\gamma_{\ell^{\prime}}\gamma_{s}\gamma_{\ell}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&0&0\end{smallmatrix}\bigg{)}\,\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -m^{\prime}&t&m\end{smallmatrix}\bigg{)}\,, (23)

where γ=(2+1)/(4π)\gamma_{\ell}=\sqrt{(2\ell+1)/(4\pi)}. Upon comparing Eqn. (22) with Eqn. (18), we find that

cstnn\displaystyle c_{st}^{n^{\prime}\ell^{\prime}n\ell} =\displaystyle= 12ωref2μ,νdrr2stμνhstμν/ΩYm0Yst0Ym0dΩ\displaystyle\frac{1}{2\omega_{\rm{ref}}^{2}}\sum_{\mu,\nu}\int\mathrm{d}r\,r^{2}\mathcal{B}_{st}^{\mu\nu}h_{st}^{\mu\nu}\Big{/}\int_{\Omega}Y_{\ell^{\prime}m^{\prime}}^{0*}Y_{st}^{0}Y_{\ell m}^{0}\,\mathrm{d}\Omega (24)
=\displaystyle= 12ωref2μ,νdrr2𝒢sμνhstμν/(s000),\displaystyle\frac{1}{2\omega_{\rm{ref}}^{2}}\sum_{\mu,\nu}\int\mathrm{d}r\,r^{2}\mathcal{G}_{s}^{\mu\nu}h_{st}^{\mu\nu}\Big{/}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&0&0\end{smallmatrix}\bigg{)}\,, (25)

where stμν=4π(1)mγγsγ(smtm)𝒢sμν\mathcal{B}_{st}^{\mu\nu}=4\pi(-1)^{m^{\prime}}\gamma_{\ell^{\prime}}\gamma_{s}\gamma_{\ell}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -m^{\prime}&t&m\end{smallmatrix}\bigg{)}\,\mathcal{G}_{s}^{\mu\nu} (Eqn. [C6]). As 𝒢sμν\mathcal{G}_{s}^{\mu\nu} does not have an mm or mm^{\prime} dependence, the coefficient cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} only depends on the multiplet labels — (n,)(n^{\prime},\ell^{\prime}) and (n,)(n,\ell). Doing away with the mm-dependence reduces the inverse problem in Eqn. (22) for each submatrix of dimension (2+1)×(2+1)(2\ell^{\prime}+1)\times(2\ell+1) to that for a single element — cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} — as shown in Eqn. (25). Again, while inverting for the components of the Lorentz stress tensor from cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell}, the effective kernels should be ρ𝒢sμν\rho\mathcal{G}_{s}^{\mu\nu} for obtaining hstμν/ρh_{st}^{\mu\nu}/\rho. The cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} are the so-called structure coefficients. It is commonplace in terrestrial seismology to use the structure coefficients to construct the ‘generalized splitting functions’

ηnn(θ,ϕ)=s=||+t=sscstnnYst(θ,ϕ)\eta^{n^{\prime}\ell^{\prime}n\ell}(\theta,\phi)=\sum_{s=|\ell^{\prime}-\ell|}^{\ell^{\prime}+\ell}\sum_{t=-s}^{s}c_{st}^{n^{\prime}\ell^{\prime}n\ell}\,Y_{st}(\theta,\phi) (26)

These splitting functions allow for a convenient form of visualization of the splitting due to self-coupling or cross-coupling of multiplets under a generic non-axisymmetric structure perturbation (the Lorentz-stress field in our case). As mentioned in Dahlen and Tromp (1998), the function η(θ,ϕ)\eta(\theta,\phi) at any location (θ,ϕ)(\theta,\phi) on the surface illustrates the local radially averaged internal 3D structure, as “seen” through the kernels. A demonstrative plot of splitting functions due to the self-coupling of mode S82{}_{2}\mathrm{S}_{8}\, and its cross-coupling with mode S73{}_{3}\mathrm{S}_{7}\, is shown in Figure 5.

It may be noted that ηnn(θ,ϕ)\eta^{n^{\prime}\ell^{\prime}n\ell}(\theta,\phi) is purely real. This can be verified by using (a) the kernel property 𝒢sμν=(1)++s𝒢sμ¯ν¯\mathcal{G}_{s}^{\mu\nu}=(-1)^{\ell^{\prime}+\ell+s}\mathcal{G}_{s}^{\bar{\mu}\bar{\nu}} with ++s=\ell^{\prime}+\ell+s= even because of the selection rule in Eqn. (25), (b) realness of 𝓗\boldsymbol{\mathcal{H}}, i.e., hstμν=(1)thst¯μ¯ν¯h_{st}^{\mu\nu}=(-1)^{t}h_{s\bar{t}}^{\bar{\mu}\bar{\nu}}, and (c) the GSH property YstN=(1)N+tYst¯N¯Y_{st}^{N*}=(-1)^{N+t}Y_{s\bar{t}}^{\bar{N}}.

2.4 Isolated-multiplet approximation

The extent of coupling between two multiplets depends primarily on the proximity of their unperturbed frequencies, i.e., |ω1n1ω2n2||{}_{n_{1}}\omega_{\ell_{1}}-{}_{n_{2}}\omega_{\ell_{2}}|. The more separated they are in frequency, the weaker is the coupling. As shown in equation (143) of Lavely and Ritzwoller (1992) this separation and hence the importance of considering cross-coupling can be quantified through νCC\nu_{\mathrm{CC}} the “coupling strength coefficient”. When a multiplet Sn{}_{n}\mathrm{S}_{\ell} is well separated (νCC<1nHz\nu_{CC}<1nHz) from any other multiplet in the frequency domain, contribution due to modes in other multiplets become significantly weak and therefore Sn{}_{n}\mathrm{S}_{\ell} can potentially be treated as isolated in frequency. Under such circumstances one can use what is known as the “isolated-multiplet” approximation where only the modes with different azimuthal orders mm belonging to the same multiplet Sn{}_{n}\mathrm{S}_{\ell} are considered for perturbation analysis. In such cases, ωref=ωn\omega_{\rm{ref}}={}_{n}\omega{}_{\ell} and Eqn. (17) reduces to

mΛmmcm=δω2cm.\sum_{m^{\prime}}\Lambda_{mm^{\prime}}\,c_{m^{\prime}}=\delta\omega^{2}\,c_{m}. (27)

Note the change in the index from k=(n,,m)k=(n,\ell,m) to mm. This is because we restrict the coupling to a specific multiplet and therefore nn and \ell remain good quantum numbers whereas mm does not.

2.4.1 aa-Coefficients

If we further assume the perturbation to be axisymmetric, even mm remains a good quantum number. This is because the coupling matrix Λmmδmm\Lambda_{mm^{\prime}}\sim\delta_{mm^{\prime}} owing to the selection rule imposed by the Wigner-3j3j symbols. In that case, Eqn. (27) gives us the frequency shifts corresponding to each mode (n,,m)(n,\ell,m). We divide this by twice the degenerate frequency ωn{}_{n}\omega{}_{\ell} corresponding to that multiplet to determine the 2+12\ell+1 split frequencies δωnm\delta{}_{n}\omega{}_{\ell m}. Finally, we obtain perturbed frequencies ωn=mωn+δωnm{}_{n}\omega{}_{\ell m}={}_{n}\omega{}_{\ell}+\delta{}_{n}\omega{}_{\ell m}. It is customary to represent such frequency splittings (or equivalently frequency shifts) by so-called ‘aa-coefficients’,

δωn=mj=0jmaxajn𝒫j()(m),\delta{}_{n}\omega{}_{\ell m}=\sum_{j=0}^{j_{\text{max}}}a^{n\ell}_{j}\,\mathcal{P}^{(\ell)}_{j}(m), (28)

where ajna_{j}^{n\ell} are the aa-coefficients and 𝒫j()(m)\mathcal{P}^{(\ell)}_{j}(m) are a set of orthogonal basis polynomials in mm of degree jj. Eqn. (28) therefore represents a fitting of frequency splittings δωnm\delta{}_{n}\omega{}_{\ell m} using appropriate weights ajna_{j}^{n\ell} on an orthogonal basis (Schou et al., 1994).

Axisymmetry implies that the azimuthal order t=0t=0 in hstμνh_{st}^{\mu\nu}, and therefore all other components of the Lorentz-stress tensor except hs0μνh_{s0}^{\mu\nu} vanish. The selection rules imposed due to the Wigner-3j3j symbols in the expressions for sensitivity kernels in Appendix C.1 in turn implies m=mm=m^{\prime}. This makes all off-diagonal elements vanish in the coupling matrix Λmm\Lambda_{m^{\prime}m} and, according to Eqn. (27), its eigenvalues are given by its diagonal elements Λmm\Lambda_{mm}, i.e., δωnmΛmm/(2ωn)\delta{}_{n}\omega{}_{\ell m}\approx\Lambda_{mm}/\left(2\,{}_{n}\omega{}_{\ell}\right)\,. Using Eqn. (18) for Λmm\Lambda_{mm}, we have

δωnm\displaystyle\delta{}_{n}\omega{}_{\ell m} =12ωnsμν0Rdrr2s0μνhs0μν\displaystyle=\frac{1}{2\,{}_{n}\omega{}_{\ell}}\sum_{s}\sum_{\mu\nu}\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\,\mathcal{B}_{s0}^{\mu\nu}\,h_{s0}^{\mu\nu} (29)
=s[μν0Rdrr2𝒦sμνhs0μν/(2ωn)]𝒫s()(m),\displaystyle=\sum_{s}\left[\sum_{\mu\nu}\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\mathcal{K}_{s}^{\mu\nu}h^{\mu\nu}_{s0}/\left(2\,{}_{n}\omega{}_{\ell}\right)\,\right]\mathcal{P}^{(\ell)}_{s}(m), (30)

where 𝒦sμν\mathcal{K}^{\mu\nu}_{s} is the mm-independent part of s0μν\mathcal{B}^{\mu\nu}_{s0} (see Appendix C.1, Eqs. [C21], [C22], and [C23]). We identify the term in square brackets as being precisely the aa-coefficients (see Eq. [28]) of the axisymmetric splitting, and hence we assert

asn\displaystyle a_{s}^{n\ell} =0Rdrr2μ,ν𝒜sμνhs0μν\displaystyle=\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\sum_{\mu,\nu}\mathcal{A}_{s}^{\mu\nu}\,h_{s0}^{\mu\nu} (31)
=0Rdrr2{𝒜s00hs000+𝒜s++[hs0(1)s+hs0++]+2𝒜s0+[hs00(1)s+hs00+]+2𝒜s+hs0+},\displaystyle=\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\{\mathcal{A}_{s}^{00}\,h_{s0}^{00}+\mathcal{A}_{s}^{++}\,[h_{s0}^{--}(-1)^{s}+h_{s0}^{++}]+2\,\mathcal{A}_{s}^{0+}\,[h_{s0}^{0-}(-1)^{s}+h_{s0}^{0+}]+2\,\mathcal{A}_{s}^{+-}\,h_{s0}^{+-}\}, (32)

where

𝒜sμν(r)=𝒦sμν(r)/(2ωn).\mathcal{A}_{s}^{\mu\nu}(r)=\mathcal{K}^{\mu\nu}_{s}(r)/(2\,{}_{n}\omega{}_{\ell}). (34)

The kernels 𝒜sμν(r)\mathcal{A}^{\mu\nu}_{s}(r) represent 𝓗\boldsymbol{\mathcal{H}} sensitivities of aa-coefficients. Eqn. (31) shows that each aa-coefficient corresponding to a particular degree ss is proportionally dependent on the Lorentz-stress component of the same harmonic degree. As mentioned earlier as well as in Appendix C, we emphasize that for an inverse problem, the parameter to invert for should be hstμν/ρh_{st}^{\mu\nu}/\rho and the effective kernels should be ρ𝒜sμν\rho\mathcal{A}_{s}^{\mu\nu}. The formalism of aa-coefficients is the same as that used in earlier similar studies (Antia et al., 2000; Baldner et al., 2010) of estimating the effect of magnetic field on frequency splitting. Antia et al. (2000), for example, sought to explain the statistically significant residual even aa-coefficients after removing first and second order effects due to rotation by using either a 300kG field at the tachocline or using a 20kG field at 0.96R0.96R_{\odot}. In this study, instead of trying to explain the observed aa-coefficients with a choice of magnetic field, we suggest the inverse problem in Eqn. (32).

However, we note that the one-to-one linear relation between splitting coefficients and corresponding 𝓗\boldsymbol{\mathcal{H}} components arose as a consequence of the axisymmetry of the problem. A non-axisymmetric perturbative magnetic field does not accommodate a definition of the splitting-coefficient sensitivity kernels in as straightforward a manner as in Eqn. (31). This is because the frequency shifts are given by eigenvalues of the coupling matrix Λmm\Lambda_{m^{\prime}m}, and eigenvalues of a matrix with nonzero off-diagonal terms are not, in general, linearly dependent on its matrix entries.

2.4.2 Structure coefficients cstc_{st}

Although the aa-coefficient formalism does not accommodate the inversion of the components of a non-axisymmetric field from the splitting of an isolated multiplet, the formalism of structure coefficients outlined in Section 2.3 permits such an inversion. In this case, the coupling matrix is (2+1)×(2+1)(2\ell+1)\times(2\ell+1) and Eqn. (22) can be written as

Λkk/(2ωk)=ωks,tcstnnΩYm0Yst0Ym0dΩ.\Lambda_{kk}/(2\omega_{k})=\omega_{k}\sum_{s,t}c_{st}^{n\ell n\ell}\int_{\Omega}Y_{\ell m^{\prime}}^{0*}Y_{st}^{0}Y_{\ell m}^{0}\,\mathrm{d}\Omega. (35)

Henceforth, for self-coupling we denote the structure coefficients as cstnc_{st}^{n\ell}, dropping superfluous labels in the superscript. The gaunt integral ΩYm0Yst0Ym0dΩ(s000)\int_{\Omega}Y_{\ell m^{\prime}}^{0*}Y_{st}^{0}Y_{\ell m}^{0}\,\mathrm{d}\Omega\propto\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ 0&0&0\end{smallmatrix}\bigg{)}\,. This induces the selection rules: (a) s=s= even, and (b) 0s20\leq s\leq 2\ell, thus allowing for the inversion of cstnc_{st}^{n\ell} for s=0,2,4,6,,2s=0,2,4,6,...,2\ell. As described before, the structure coefficients cstnc_{st}^{n\ell} can be used to compute the splitting function

η(θ,ϕ)=s=02t=sscstnYst(θ,ϕ)\eta(\theta,\phi)=\sum_{s=0}^{2\ell}\sum_{t=-s}^{s}c_{st}^{n\ell}\,Y_{st}(\theta,\phi) (36)

Here summation is over even ss. A plot demonstrating splitting functions due to self-coupling of mode S82{}_{2}\mathrm{S}_{8}\, is shown in Figure 5.

3 Results

We first analyse whether or not, in the presence of a general magnetic field, a multiplet Sn{}_{n}\mathrm{S}_{\ell} can be treated as isolated. To accomplish this, we choose a collection of multiplets with 0n200\leq n\leq 20 and 0300\leq\ell\leq 30. Identifying ‘isolated’ multiplets simplifies the problem immensely without having to resort to a computationally intensive cross-coupling calculation. This is because the forward problem involves solving an eigenvalue equation whose computational cost depends on the number of modes accounted for. In order to calculate the frequency shifts of a certain target multiplet Sn{}_{n}\rm{S}_{\ell}, cross-coupling becomes important as the proximity in frequency to other multiplets Sn{}_{n^{\prime}}\rm{S}_{\ell^{\prime}} increases. It then becomes necessary to consider all the modes within a certain frequency window while performing a quasi-degenerate perturbation analysis. However, as the number of modes participating in the analysis increases, the coupling matrix Λkk\Lambda_{k^{\prime}k}, and hence the supermatrix 𝒵kk\mathcal{Z}_{k^{\prime}k}, becomes increasingly large. This increases the computational burden, especially as one moves to larger values of \ell (because each multiplet Sn{}_{n}\rm{S}_{\ell} contains 2+12\ell+1 singlets). Therefore, identifying where the isolated-multiplet assumption holds is a useful task, allowing one to carry out a degenerate perturbation analysis.

On establishing the existence of such isolated multiplets, we analyze the kernels for aa-coefficients (Eqn. 34) and highlight the various selection rules that emerge from the kernel expressions. Lastly, we discuss self-coupling under axisymmetric fields and carry-out the forward problem of finding the aa-coefficients for an analytically constructed simple and yet realistic magnetic field.

3.1 Mode classification

We use a 50μ50\,\mu Hz frequency window for the quasi-degenerate perturbation analysis. It can be shown that differential rotation induces a coupling strength coefficient νCC\nu_{CC}\approx 1nHz1nHz between the interacting modes within a frequency window of 30μ30\,\mu Hz (Lavely and Ritzwoller, 1992). Differential rotation is the strongest perturbation over the SNRNMAIS Sun. Therefore, all multiplets capable of causing a νCC1nHz\nu_{CC}\geq 1nHz due to magnetic perturbations, lie within a window of Δω=50μ\Delta\omega=50\,\mu Hz. Therefore, any mode Sn{}_{n^{\prime}}\rm{S}_{\ell^{\prime}} that has an unperturbed frequency ωn{}_{n^{\prime}}\omega{}_{\ell^{\prime}} in the window ωnΔωωnωn+Δω{}_{n}\omega{}_{\ell}-\Delta\omega\leq{}_{n^{\prime}}\omega{}_{\ell^{\prime}}\leq{}_{n}\omega{}_{\ell}+\Delta\omega is considered to couple non-trivially with Sn{}_{n}\rm{S}_{\ell} and hence is included in the eigenspace of modes considered for cross-coupling. We refer to this eigenspace as 𝒦\mathcal{K}. We consider a Lorentz stress-field consisting of angular degrees s={0,1,2,3,4,5,6}s=\{0,1,2,3,4,5,6\} containing all the azimuthal orders tt for a given ss. Therefore, modes with ||6|\ell^{\prime}-\ell|\leq 6 are coupled. A uniform-strength Lorentz-stress field (varying as a function of rr) is allocated to all the spatial wavenumber channels

hstμν(r)=h0(r)s,t.h_{st}^{\mu\nu}(r)=h_{0}(r)\qquad\forall s,t. (37)

Here, h0(r)=b02(r)h_{0}(r)=b_{0}^{2}(r), with b0(r)b_{0}(r) being the profile of the ‘total’ field shown in Figure 4. In addition, we impose the realness condition of 𝓗\boldsymbol{\mathcal{H}} , hstμν=(1)thst¯μ¯ν¯h^{\mu\nu\,*}_{st}=(-1)^{t}h_{s\bar{t}}^{\bar{\mu}\bar{\nu}} , and the symmetry hstμν=hstνμh_{st}^{\mu\nu}=h_{st}^{\nu\mu}. In Figure 4, the field strength b0(r)b_{0}(r) as a function of radius is inspired from the references cited in Section 3.3. Allocating this to all the components hstμν(r)h_{st}^{\mu\nu}(r) certainly guarantees a general magnetic field with a total strength significantly exceeding current estimates of the solar internal field strength. Therefore, in the ensuing calculation, the extent of mode-coupling should be an over-estimation. Thus, modes labelled ‘coupled’ could, in reality, be ‘isolated’ but modes labelled ‘isolated’ are expected to be good for carrying out degenerate perturbation analysis.

Refer to caption
Figure 1: The relative offset of L2QDPTL_{2}^{\text{QDPT}} as compared to that of L2DPTL_{2}^{\text{DPT}} (see Eqns. 38 and 39) due to a general Lorentz-stress field 𝓗=s,thstμνYstμ+ν𝒆^μ𝒆^ν\boldsymbol{\mathcal{H}}=\sum_{s,t}h_{st}^{\mu\nu}\,Y_{st}^{\mu+\nu}\,\hat{\bm{e}}_{\mu}\,\hat{\bm{e}}_{\nu} where hstμν=h0(r)h_{st}^{\mu\nu}=h_{0}(r), where h0(r)h_{0}(r) is the ‘total’ field strength shown in Figure 4. The effect arising from the presence of four independent components of hstμνh_{st}^{\mu\nu} is plotted in the four panels. The gray-scale intensity and size of each ‘o’ (representing a multiplet) increases with increasing departure of δωnmQ\delta{}_{n}\omega{}_{\ell m}^{\text{Q}} from δωnmD\delta{}_{n}\omega{}_{\ell m}^{\text{D}}. A larger and darker ‘o’, implies stronger cross coupling for that multiplet.

In Figure 1 we color-code multiplets to indicate the departure of frequency shifts obtained from quasi-degenerate perturbation δωnmQ\delta{}_{n}\omega{}_{\ell m}^{Q} as compared to shifts obtained from a degenerate perturbation δωnmD\delta{}_{n}\omega{}_{\ell m}^{D}. As the perturbations are not axisymmetric, the azimuthal order does not stay well defined after coupling and hence prevents a one-one mapping of unperturbed to perturbed modes. This hinders an explicit comparison of frequency shifts on a singlet-by-singlet basis. Hence, to quantify the departure of δωnmQ\delta{}_{n}\omega{}_{\ell m}^{Q} from δωnmD\delta{}_{n}\omega{}_{\ell m}^{D} we calculate the Frobenius norm of these frequency shifts:

L2QDPT\displaystyle L_{2}^{\text{QDPT}} =\displaystyle= m(δωn)mQ2for cross-coupling,\displaystyle\sqrt{\sum_{m}(\delta{}_{n}\omega{}_{\ell m}^{\text{Q}})^{2}}\qquad\text{for cross-coupling,} (38)
L2DPT\displaystyle L_{2}^{\text{DPT}} =\displaystyle= m(δωn)mD2for self-coupling.\displaystyle\sqrt{\sum_{m}(\delta{}_{n}\omega{}_{\ell m}^{\text{D}})^{2}}\qquad\text{for self-coupling.} (39)

The gray-scale intensity in Figure 1 indicates the relative offset of L2QDPTL_{2}^{\text{QDPT}} as compared to L2DPTL_{2}^{\text{DPT}} for a mode Sn{}_{n}\rm{S}_{\ell} marked as an ‘o’. Larger offset indicates stronger relative offset and are marked as a bigger and darker ‘o’. For visual clarity, we have set a lower threshold on the size of the ‘o’ — any mode with less than 5%5\% offset has the same size. Certain Sn{}_{n}\rm{S}_{\ell} have unperturbed frequencies proximal to adjacent multiplets Sn{}_{n^{\prime}}\rm{S}_{\ell^{\prime}} prior to perturbation. Depending on the magnitude of perturbation and its sensitivity, modes of such Sn{}_{n}\rm{S}_{\ell} become strongly entangled with adjacent modes. Because the labels n,,mn,\ell,m lose meaning after perturbation, it is impossible to disentangle modes belonging to our target multiplet from those belonging to its adjacent multiplets. For such multiplets we cannot obtain δωnmQ\delta{}_{n}\omega{}_{\ell m}^{\text{Q}} and therefore avoid plotting them in Figure 1. We refer to these as ‘invisible modes’ in the context of this figure.

We plot four different cases, considering the effect of independent components of 𝓗\boldsymbol{\mathcal{H}} in each. This helps in explicitly demonstrating which multiplets have a non-trivial difference between δωnmQ\delta{}_{n}\omega{}_{\ell m}^{\text{Q}} and δωnmD\delta{}_{n}\omega{}_{\ell m}^{\text{D}} under the influence of a particular Lorentz-stress component. For example, we plot the effect due to the presence of only hst00h_{st}^{00} or only hst+h_{st}^{+-} in Figure 1(c) and Figure 1(d) respectively. In Figure 1(a), we plot the effect of the presence of hsth_{st}^{--} and hst++h_{st}^{++} as these are coupled through the realness of 𝓗\boldsymbol{\mathcal{H}}. Similarly for Figure 1(b) we consider the presence of hst0h_{st}^{0-} and hst0+h_{st}^{0+}. Because we choose the same radial profile for all hstμνh_{st}^{\mu\nu} (refer Eqn [37]), differences in the four panels primarily reflect the effect of sensitivity kernels stμν\mathcal{B}_{st}^{\mu\nu} for changing μ,ν\mu,\nu. We find the maximum number of invisible modes in Figure 1(d) corresponding to hst+h_{st}^{+-}. This is because st+\mathcal{B}_{st}^{+-} is at least an order of magnitude larger than other components (Figures 2 and 3), thereby causing multiplets to overlap in frequency and hindering post perturbation mode identification. st00\mathcal{B}_{st}^{00} and st\mathcal{B}_{st}^{--} have comparable magnitudes, are smaller than st+\mathcal{B}_{st}^{+-} but larger than st0\mathcal{B}_{st}^{0-}. Therefore, the presence of hst00h_{st}^{00} (Figure 1(c)) and hst,hst++h_{st}^{--},h_{st}^{++} (Figure 1(a)) induce an intermediate number of invisible modes and hst0,hst0+h_{st}^{0-},h_{st}^{0+} (Figure 1(b)) induce the least number of invisible modes. It should be noted that st0\mathcal{B}_{st}^{0-} is the weakest component of the sensitivity kernel and therefore we expect it to couple modes the least. However, the number of darker ‘o’s due to the presence of hst0,hst0+h_{st}^{0-},h_{st}^{0+} is more than the other cases because: (i) it contains the least number of invisible modes as many of its strongly coupled multiplets are invisible in the other components. Hence, many of the dark ‘o’s in Figure 1(b) are actually invisible in Figure 1(a), (b), and (d), and (ii) the gray-scale intensity depends on the relative offset (L2QDPTL2DPT)/L2DPT(L_{2}^{\text{QDPT}}-L_{2}^{\text{DPT}})/L_{2}^{\text{DPT}}. The lowest sensitivity of hst0,hst0+h_{st}^{0-},h_{st}^{0+} causes the least frequency shifts and therefore L2DPTL_{2}^{\text{DPT}} is much smaller in magnitude, resulting in seemingly larger relative offsets.

Returning to the question we had sought to address earlier, because of the large number of small, white ’o’ symbols across all the components, we can assert that there are multiplets which can be treated as isolated. However, because Lorentz-stress in the Sun comes as a combination of all the four cases, a multiplet can be regarded as free of cross-coupling only when it is isolated in all the four cases. Thus, although there are many isolated-multiplets in Figures 1(a), (b), and (c) the number is restricted to those which are deemed isolated in (d). So, in the patch of n,n,\ell we have chosen, we do find modes that can be treated as isolated. Therefore, in the following sections we explore the simplifications to the forward and inverse problem while restricting our analysis to these isolated-multiplets. However, as mentioned earlier, it should be noted that our choice of assigning the same strength to all hstμνh_{st}^{\mu\nu} is supposed to cause an over-estimation of the coupling and therefore an under-estimation of the number of isolated-multiplets. A similar plot showing the validity of isolated-multiplet assumption when considering differential rotation as the sole perturbation can be found in Figure 8 under Appendix G.

3.2 Self-coupling due to an axisymmetric magnetic field.

Figure 2 shows sensitivity kernels (ρ𝒜sμν\rho\,\mathcal{A}_{s}^{\mu\nu}) for the asna_{s}^{n\ell} coefficients due to density-scaled axisymmetric Lorentz-stress hs0μν/ρh_{s0}^{\mu\nu}/\rho (and therefore effectively hs0μνh_{s0}^{\mu\nu}), where s=2s=2. We have chosen three distinct modes — (5,110); (4,60); (2,10). The kernels have been plotted down to a depth of r=0.68Rr=0.68R_{\odot}. This is because the equatorial location of the tachocline is 0.7R\sim 0.7R_{\odot} with a thickness of 0.04R\sim 0.04R_{\odot} (Howe, 2009). The sensitivity for the isotropic or on-diagonal component h20+h_{20}^{+-} is larger, by at least an order of magnitude, than all the other components. The other isotropic component h2000h_{20}^{00} and the anisotropic or off-diagonal components h20h_{20}^{--} have comparable sensitivities. The anisotropic component hs00h_{s0}^{0-} has the least sensitivity. This is in agreement with Hanasoge (2017) with an additional finding that h20h_{20}^{--} has sensitivities comparable to h2000h_{20}^{00}. This difference is because of the correction terms included in this study to the Lorentz-stress sensitivity kernels (Eqn. C3). Within the outer envelop r0.9Rr\gtrsim 0.9R_{\odot}, the mode S1105{}_{5}\rm{S}_{110} is dominantly sensitive followed by S604{}_{4}\rm{S}_{60}, while S102{}_{2}\rm{S}_{10} is the weakest of all components. This trend of sensitivity across n,n,\ell is more evident in Figure 3. Also, for the same kernel component, the mode possessing the maximum sensitivity changes with depth. For h20,S102h_{20}^{--},{}_{2}\rm{S}_{10} becomes dominantly sensitive for r<0.9Rr<0.9R_{\odot}. This holds true for the other components as well (see Figure 6) where kernels have been plotted from 0.95 RR_{\odot} – 0.68 RR_{\odot}. This shows that there are broadly two category of modes — surface and depth sensitive.

Figure 3 shows the trend in variation of the sensitivity kernels ρ𝒜2μν\rho\,\mathcal{A}_{2}^{\mu\nu} for self-coupling of spheroidal modes Sn{}_{n}\rm{S}_{\ell} for radial order n=1n=1–5 and every 10th10^{\rm{th}} angular degree =10\ell=10–110. For a fixed radial order nn, the near-surface sensitivity increases steadily with angular degree \ell. This increase in sensitivity is greatest for the kernel component 𝒜2+\mathcal{A}_{2}^{+-} which corresponds to the sensitivity for BθBθ\langle B_{\theta}B_{\theta}\rangle and BϕBϕ\langle B_{\phi}B_{\phi}\rangle. Although weaker than 𝒜2+\mathcal{A}_{2}^{+-}, the kernel components 𝒜200\mathcal{A}_{2}^{00} and 𝒜2\mathcal{A}_{2}^{--} demonstrates a similar trend in sensitivity for increasing \ell. 𝒜200\mathcal{A}_{2}^{00} corresponds to the sensitivity of the field component BrBr\langle B_{r}B_{r}\rangle and 𝒜2\mathcal{A}_{2}^{--} to BθBθ\langle B_{\theta}B_{\theta}\rangle, BϕBϕ\langle B_{\phi}B_{\phi}\rangle and BθBϕ\langle B_{\theta}B_{\phi}\rangle. Therefore, the kernels have the largest sensitivity to the magnetic pressure and cross-terms of the angular components BθBϕ\langle B_{\theta}B_{\phi}\rangle of Lorentz-stress. A faster rise in sensitivity is seen with increasing radial order nn for a fixed angular degree \ell. The cross-terms between radial and angular components, viz., BrBθ\langle B_{r}B_{\theta}\rangle and BrBϕ\langle B_{r}B_{\phi}\rangle have poor sensitivities (𝒜20\mathcal{A}_{2}^{0-}) and therefore more challenging to invert for.

When inverting for an axisymmetric field, Eqn. (32) allows us to extract hs000h_{s0}^{00}, hs0+h_{s0}^{+-}, hs0(1)s+hs0h_{s0}^{--}(-1)^{s}+h_{s0}^{--} and hs00(1)s+hs00+h_{s0}^{0-}(-1)^{s}+h_{s0}^{0+}. Here, hs000h_{s0}^{00} and hs0+h_{s0}^{+-} are the isotropic or diagonal components and hs0(1)s+hs0++h_{s0}^{--}(-1)^{s}+h_{s0}^{++} and hs00(1)s+hs00+h_{s0}^{0-}(-1)^{s}+h_{s0}^{0+} are the anisotropic or off-diagonal components of 𝓗\boldsymbol{\mathcal{H}}. Using relations (E1)–(E6) along with the identity Yl0N=(1)NYl0NY_{l0}^{-N}=(-1)^{N}Y_{l0}^{N} (see Appendix C of Dahlen and Tromp, 1998), the connection between axisymmetric Lorentz-stress components in the GSH basis and the (r,θ,ϕr,\theta,\phi) basis is as follows:

BrBr\displaystyle B_{r}B_{r} =\displaystyle= shs000Ys00,\displaystyle\sum_{s}h_{s0}^{00}\,Y_{s0}^{0}, (40)
BθBθ+BϕBϕ\displaystyle B_{\theta}B_{\theta}+B_{\phi}B_{\phi} =\displaystyle= s2hs0+Ys00,\displaystyle-\sum_{s}2h_{s0}^{+-}\,Y_{s0}^{0}, (41)
BθBθBϕBϕ\displaystyle B_{\theta}B_{\theta}-B_{\phi}B_{\phi} =\displaystyle= s(hs0++Ys0+2+hs0Ys02)=s(hs0+++hs0)Ys02,\displaystyle\sum_{s}(h_{s0}^{++}\,Y_{s0}^{+2}+h_{s0}^{--}\,Y_{s0}^{-2})=\sum_{s}(h_{s0}^{++}+h_{s0}^{--})\,Y_{s0}^{-2}, (42)
BrBθ\displaystyle B_{r}B_{\theta} =\displaystyle= 12s(hs00Ys0hs00+Ys0+)=12s(hs00+hs00+)Ys0,\displaystyle\tfrac{1}{\sqrt{2}}\,\sum_{s}(h_{s0}^{0-}\,Y_{s0}^{-}-h_{s0}^{0+}\,Y_{s0}^{+})=\tfrac{1}{\sqrt{2}}\,\sum_{s}(h_{s0}^{0-}+h_{s0}^{0+})\,Y_{s0}^{-}, (43)
BrBϕ\displaystyle B_{r}B_{\phi} =\displaystyle= i2s(hs00Ys0+hs00+)Ys0+=i2s(hs00hs00+)Ys0,\displaystyle-\tfrac{i}{\sqrt{2}}\,\sum_{s}(h_{s0}^{0-}\,Y_{s0}^{-}+h_{s0}^{0+})\,Y_{s0}^{+}=-\tfrac{i}{\sqrt{2}}\,\sum_{s}(h_{s0}^{0-}-h_{s0}^{0+})\,Y_{s0}^{-}, (44)
BθBϕ\displaystyle B_{\theta}B_{\phi} =\displaystyle= i2s(hs0++Ys0+2hs0Ys02)=i2s(hs0++hs0)Ys02.\displaystyle\tfrac{i}{2}\,\sum_{s}(h_{s0}^{++}\,Y_{s0}^{+2}-h_{s0}^{--}\,Y_{s0}^{-2})=\tfrac{i}{2}\,\sum_{s}(h_{s0}^{++}-h_{s0}^{--})\,Y_{s0}^{-2}. (45)

The implications of the above set of relations and the expressions for the kernels listed in Appendix C.1 may be summarized as follows.

  1. 1.

    The isotropic components may be directly extracted from an inverse problem (Eq. [32]). Equations (40) and (41) relate these components to BrBr,BθBθ+BϕBϕ\langle B_{r}B_{r}\rangle,\langle B_{\theta}B_{\theta}+B_{\phi}B_{\phi}\rangle and therefore to magnetic pressure B2/8πB^{2}/8\pi. However, on account of the (1+p)(1+p) factor in s000\mathcal{B}_{s0}^{00} and s0+\mathcal{B}_{s0}^{+-} in Eqns. (LABEL:eq:kern_00) and (C10), where p=(1)sp=(-1)^{s} (or (1)++s(-1)^{\ell+\ell^{\prime}+s} for cross-coupling), only even-ss components may be inferred. Because of the absence of odd-ss in the isotropic components, self coupling renders the inference of BrBr\langle B_{r}B_{r}\rangle, BθBθ+BϕBϕ\langle B_{\theta}B_{\theta}+B_{\phi}B_{\phi}\rangle incomplete, as according to Eqns. (40) and (41). This may be bypassed when working with cross coupling of modes where +\ell+\ell^{\prime} is not necessarily even, e.g., in normal-mode coupling studies.

  2. 2.

    Eqn. (32) allows the inference of a linear combination of anisotropic terms. For self coupling, these components are related to BrBϕ,BθBϕ\langle B_{r}B_{\phi}\rangle,\langle B_{\theta}B_{\phi}\rangle for odd ss and BrBθ,BθBθBϕBϕ\langle B_{r}B_{\theta}\rangle,\langle B_{\theta}B_{\theta}-B_{\phi}B_{\phi}\rangle for even ss. This is because odd ss give the components of (hs00hs00+)(h_{s0}^{0-}-h_{s0}^{0+}) and (hs0++hs0)(h_{s0}^{++}-h_{s0}^{--}) while even ss give the components of (hs00+hs00+)(h_{s0}^{0-}+h_{s0}^{0+}) and (hs0+++hs0)(h_{s0}^{++}+h_{s0}^{--}). Kernels s00,s0\mathcal{B}_{s0}^{0-},\mathcal{B}_{s0}^{--} are sensitive to both even and odd ss. Once again, for self coupling, the complete inference of Lorentz-stress components in physical space is hindered because of the absence of either even- or odd-ss terms in the summations in Eqns. (42)-(45).

  3. 3.

    For both the cases above, limitations in inverting for components of 𝐁𝐁\mathbf{B}\,\mathbf{B}\, may be overcome in studies where coupling across multiplets is considered. For example, (hs00+hs00+)(h_{s0}^{0-}+h_{s0}^{0+}) and (hs0+++hs0)(h_{s0}^{++}+h_{s0}^{--}) for ss being odd (even) may be recovered by choosing (+)(\ell^{\prime}+\ell) odd (even). This gives us access to hs00±hs00+h_{s0}^{0-}\pm h_{s0}^{0+} and hs0++±hs0h_{s0}^{++}\pm h_{s0}^{--} for all s>1s>1 and therefore all components of hs0μνh_{s0}^{\mu\nu} for s>1s>1. Therefore, the summation over ss in Eqns. (40)-(45) would be complete (excluding h10h_{10}^{--} or equivalently h10++h_{10}^{++}).

  4. 4.

    These inversions cannot recover components h00(1)s+h00++h_{00}^{--}(-1)^{s}+h_{00}^{++}, h000(1)s+h000+h_{00}^{0-}(-1)^{s}+h_{00}^{0+} and h10(1)s+h10++h_{10}^{--}(-1)^{s}+h_{10}^{++} as they correspond to kernels proportional to 00,000\mathcal{B}_{00}^{--},\mathcal{B}_{00}^{0-} and 10\mathcal{B}_{10}^{--}. These kernels are proportional to (spqp)\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ -p&q&p\end{smallmatrix}\bigg{)}\,, which is zero for s<|q|s<|q| (see Section C.1). We consider only deviations from spherical symmetry here, i.e., s1s\geq 1. Therefore, for the 𝒆^+𝒆^+\hat{\bm{e}}_{+}\hat{\bm{e}}_{+} or 𝒆^𝒆^\hat{\bm{e}}_{-}\hat{\bm{e}}_{-} component the s=1s=1 angular degree is not accessible through inversions. This is true even for cross-modal coupling.

Refer to caption
Figure 2: The four independent components of density-scaled sensitivity kernels ρ𝒜2μν\rho\,\mathcal{A}_{2}^{\mu\nu} for h20μνh_{20}^{\mu\nu}. Kernels are plotted down to the base of the tachocline, r0.68Rr\sim 0.68R_{\odot}. As shown in these plots, we have chosen three different (n,)(n,\ell) for a t=0t=0 axisymmetric field. ρ𝒜200\rho\,\mathcal{A}_{2}^{00} and ρ𝒜2+\rho\,\mathcal{A}_{2}^{+-} are sensitivities to isotropic components h2000h_{20}^{00} (BrBr\propto\langle B_{r}B_{r}\rangle) and h20+h_{20}^{+-} (BθBθ+BϕBϕ\propto\langle B_{\theta}B_{\theta}+B_{\phi}B_{\phi}\rangle) respectively. ρ𝒜20\rho\,\mathcal{A}_{2}^{0-} and ρ𝒜2\rho\,\mathcal{A}_{2}^{--} are sensitivities to anisotropic components h200h_{20}^{0-} (related to BrBθ and BrBϕ\langle B_{r}B_{\theta}\text{ and }B_{r}B_{\phi}\rangle) and h20h_{20}^{--} (related to BθBϕ\langle B_{\theta}B_{\phi}\rangle) respectively.
Refer to caption
Figure 3: Density-scaled sensitivity kernels ρ𝒜2μν\rho\,\mathcal{A}_{2}^{\mu\nu} for Lorentz stress corresponding to self-coupling of spheroidal modes Sn{}_{n}\rm{S}_{\ell}. As in Figure 2, the yy-axis is depth from the surface of the sun and is plotted up to 0.88R0.88R_{\odot} and the xx-axis is the strength of the kernel. We keep the xx-range the same in all the plots for easy of comparison across varying n,n,\ell. We have avoided marking the axes for the sake of clarity. However, to get a sense of the xx-scale, one can compare the kernels for the very last mode S1105{}_{5}\rm{S}_{110} with those plotted in Figure 2. We know that 𝒜sμνs0μν\mathcal{A}_{s}^{\mu\nu}\propto\mathcal{B}_{s0}^{\mu\nu} (Eqns. C22 and C23). Expressions for s0μν\mathcal{B}_{s0}^{\mu\nu} may be found in Section C.1. These kernels may be used to invert for h20μνh_{20}^{\mu\nu} from measurements of a2na_{2}^{n\ell}.

3.3 Modeling a custom magnetic field at solar minimum

The primordial magnetic field trapped in the core is believed to be dominantly toroidal (Gough and Taylor, 1984; Parker, 1955) and so is the field at the tachocline (Antia et al., 2000; Nandy and Choudhuri, 2002). Nevertheless, during the solar minimum, the surface magnetic field is roughly dipolar (Muñoz Jaramillo et al., 2013; Bhowmik and Nandy, 2018). In trying to analytically model the simplest version of a similar global magnetic field, we construct the following

  1. 1.

    Region I: Extending from the center of the Sun to the inner base of the tachocline at r=0.68Rr=0.68R_{\odot}. The field is purely toroidal and its strength falls off radially as a Gaussian peaked at r=0r=0. We refer to the magnetic field strength around r=0r=0 as BIB_{I}.

  2. 2.

    Region II: Extending over the shell 0.68R<r<0.72R0.68R_{\odot}<r<0.72R_{\odot} this region marks the tachocline. Here again, the field has a purely toroidal configuration. The magnetic strength peaks at r=0.7Rr=0.7R_{\odot}. We call this field strength BIIB_{\text{II}}.

  3. 3.

    Region M: Extending over the shell 0.72R<r<0.95R0.72R_{\odot}<r<0.95R_{\odot}, this region is marked by a ‘mixed’ field that allows a smooth transition from an inner toroidal to an outer dipolar field. The strength of the toroidal field dominates in 0.72R<r<0.81R0.72R_{\odot}<r<0.81R_{\odot} and in 0.86R<r<0.91R0.86R_{\odot}<r<0.91R_{\odot} while the spheroidal component dominates the other parts. However, both components contribute non-trivially in this region.

  4. 4.

    Region III: Extends outward from r=0.95Rr=0.95R_{\odot} up to the solar surface. This is purely dipolar and has a strength of BIIIB_{\text{III}} at the surface. For the Sun, BIII10GB_{\text{III}}\sim 10G. This allows the field to smoothly match the photospheric dipolar configuration (found at solar minima).

Figure 4 shows the radial variation of field strength according to the regions illustrated above. The green line shows the strength of the toroidal field as a function of radius. The blue line shows the strength of (a) the spheroidal field in regions — II and M, and (b) the purely dipolar field in region III. The extremely low magnitude of the toroidal field (spheroidal field) in Region III (Region I & II) indicates that Region III (Region I & II) is almost completely dipolar (toroidal). Further details about the construction of the field strength and configuration may be found in Section D.1 and Figure 7. For the purpose of the forward problem, we explore a set of eight models (Table 1) with varying relative strengths of BI,BIIB_{\text{I}},B_{\text{II}} and BIIIB_{\text{III}}. Each of these can take “Low” and “High” values. The “High” field strength exceeds the “Low” field strength by a factor of 10. Model M1, where all three regions have a “Low” field, qualitatively resembles the Sun-like case, where BI=107G,BII=105GB_{\text{I}}=10^{7}G,B_{\text{II}}=10^{5}G and BIII=10GB_{\text{III}}=10G.

Refer to caption
Figure 4: Magnetic field strength associated with three different regions with the following field configurations: (A) Purely toroidal for r<0.72Rr<0.72R_{\odot} containing the tachocline at r=0.7Rr=0.7R_{\odot}, (B) Toroidal and spheroidal extending from r=0.72Rr=0.72R_{\odot} to r=0.95Rr=0.95R_{\odot} (marked by the grey shaded region) and (C) Purely dipolar for r>0.95Rr>0.95R_{\odot}. The expression for 𝐁\mathbf{B}\, is found in Eqn. (D6) and the plot of the associated parameters is shown in Figure 7.
M1 M2 M3 M4 M5 M6 M7 M8
BIB_{\text{I}} Low Low Low Low High High High High
BIIB_{\text{II}} Low Low High High Low Low High High
BIIIB_{\text{III}} Low High Low High Low High Low High
Table 1: Table describing the different cases of model magnetic fields we use for our forward problem. BI,BII,BIIIB_{\text{I}},B_{\text{II}},B_{\text{III}} are the peak magnitudes of magnetic fields in Region I (at the center, r=0r=0), Region II (at the tachocline, r=0.7Rr=0.7R_{\odot}) and Region III (at the surface r=Rr=R_{\odot}), respectively. Fields marked “High” are stronger than fields marked “Low” by a factor of 10.
Modes S102{}_{2}\rm{S}_{10} S1105{}_{5}\rm{S}_{110}
aa-coefficients a0a_{0} a2a_{2} a0a_{0} a2a_{2}
M1 4.138 -0.501 2.399 0.628
M2 4.991 -0.167 239.986 62.863
M3 399.696 -62.360 2.399 0.628
M4 400.549 -62.026 239.986 62.863
M5 14.274 11.824 2.399 0.628
M6 15.127 12.158 239.986 62.863
M7 411.551 -50.349 2.399 0.628
M8 412.405 -50.015 239.986 62.863
Table 2: List of a0na_{0}^{n\ell} and a2na_{2}^{n\ell} for modes (n,)=S102(n,\ell)={}_{2}\rm{S}_{10} and S1105{}_{5}\rm{S}_{110}. All values are in nHz. M1–M8 indicate the models described in Table 1. These models vary in magnetic strengths in the core (Region I), the tachocline (Region II), and the surface (Region III).

We compute aa-coefficients for two modes S102{}_{2}\rm{S}_{10} and S1105{}_{5}\rm{S}_{110} (plotted in Figure 2), which possess different regions of sensitivity. S1105{}_{5}\rm{S}_{110} has a shallow but strong sensitivity to Lorentz stresses while S102{}_{2}\rm{S}_{10} has a comparatively weak but radially extended sensitivity (Figure 6). Therefore, the former may be used to study near-surface fields with high precision while the latter may be used to probe much deeper fields. This is evident from Table 2 where S1105{}_{5}\rm{S}_{110} has the same value of aa-coefficients up to a precision of atleast 1pHz for models (M1, M3, M5, M7) with a “low” surface field (irrespective of the field strength in the interior regions I and II). Similarly, the models (M2, M4, M6, M8) with a “high” surface field have the same aa-coefficients, and possess negligible sensitivity to the interior field strength variation. On fixing surface field strength (BIIIB_{\text{III}}) but varying interior field strengths (BIB_{\text{I}} and BIIB_{\text{II}}) for the mode S1105{}_{5}\rm{S}_{110}, we found the value of aa-coefficients to vary on the order of 1e-9 nHz, which is well below the present limit of resolution.

In the Sun-like model M1, for S102{}_{2}\rm{S}_{10} the mean shift of frequency, a0n,a_{0}^{n,\ell}, is larger than that for S1105{}_{5}\rm{S}_{110}. This is on account of the fact that large values of magnetic fields near the tachocline (and inwards towards the core) are also accounted for by the deeper sensitivities of 𝒜10μν\mathcal{A}_{10}^{\mu\nu}. We find a weak increase in the magnitude of a02,10a_{0}^{2,10} from M1 to M2 (or equivalently from M3 to M4). In contrast, there is an increase by a factor of 100 in a05,110,a25,110a_{0}^{5,110},a_{2}^{5,110}. This highlights the greater near-surface sensitivity of S1105{}_{5}\rm{S}_{110}. In going progressively from M1 to M4, the magnetic field strength near the tachocline (BIIB_{\text{II}}) and the surface (BIIIB_{\text{III}}) increases while the core field (BIB_{\text{I}}) stays constant. The magnitude of a02,10a_{0}^{2,10} and a22,10a_{2}^{2,10} increases from M1 (or M2) to M3 (or M4) approximately by a factor of 100. This shows the extremely high sensitivity of S102{}_{2}\rm{S}_{10} to the field near the tachocline (Region II). The comparatively weaker, yet still noticeable, increase from M3 to M4, once again, shows the weak sensitivity of S102{}_{2}\rm{S}_{10} to magnetic fields near the surface. A similar analysis may be performed on the magnitudes of a02,10,a22,10a_{0}^{2,10},a_{2}^{2,10} when going progressively from M5 to M8. Finally, comparing aa-coefficients of M1 with M5 (or M[i] with M[i+4] where i = 1,2,3,4), there is a mean increase of approximately 10 nHz. This marks the non-negligible sensitivity of S102{}_{2}\rm{S}_{10} to the presence of fields beyond the tachocline towards the stellar interior. This is roughly in keeping with Kiefer and Roth (2018) where they note that the effect of magnetic fields in the radiative interior can only be of the order of nHz.

The inclusion of differential rotation with an (mis)aligned axis of symmetry with the magnetic axis will be the focus of a future study. A misaligned magnetic and rotation axis would necessitate the rotation of GSH (Edmonds, 1960) and therefore entail significant mathematical complexity and computational burden.

3.4 Splitting functions

In this section we compute splitting functions due to self-coupled and cross-coupled multiplets (detailed treatment may be found in Chapter 14 of Dahlen and Tromp, 1998). Constructing the map of a splitting function ηnn=s,tcstnnYst\eta^{n^{\prime}\ell^{\prime}n\ell}=\sum_{s,t}c_{st}^{n^{\prime}\ell^{\prime}n\ell}\,Y_{st} demands knowledge of the structure coefficients cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} (see Eqn [25]). Expressions for 𝒢sμν\mathcal{G}_{s}^{\mu\nu} are given in Eqns. (C7)(C10)(\ref{eq:kern_mm})-(\ref{eq:kern_pm}). Therefore, for the forward problem, we need to construct hstμνh_{st}^{\mu\nu} or 𝓗\boldsymbol{\boldsymbol{\mathcal{H}}} to obtain the splitting functions. We do so by choosing a 𝐁\mathbf{B}\, field which is real and solenoidal (𝐁=0\bm{\nabla}\cdot\mathbf{B}\,=0). The realness of 𝐁\mathbf{B}\, implies (Bstμ)=(1)tBst¯μ¯(B_{st}^{\mu})^{*}=(-1)^{t}B_{s\bar{t}}^{\bar{\mu}} and hence also (hstμν)=(1)thst¯μ¯ν¯(h_{st}^{\mu\nu})^{*}=(-1)^{t}h_{s\bar{t}}^{\bar{\mu}\bar{\nu}}. As mentioned earlier, μ¯=μ\bar{\mu}=-\mu and so on. Further, solenoidality imposes the constraint Bst++Bst=r(r2Bst0)/rΩs0B_{st}^{+}+B_{st}^{-}=\partial_{r}(r^{2}B_{st}^{0})/r\Omega_{s}^{0}. We choose the GSH components of 𝐁\mathbf{B}\, as follows:

Bst0(r)\displaystyle B_{st}^{0}(r) =\displaystyle= (s,t)b0(r),\displaystyle\mathcal{R}(s,t)b_{0}(r), (46)
Bst+(r)\displaystyle B_{st}^{+}(r) =\displaystyle= (s,t)r(r2Bst0)/rΩs0,\displaystyle\mathcal{R}(s,t)\partial_{r}(r^{2}B_{st}^{0})/r\Omega_{s}^{0}, (47)
Bst(r)\displaystyle B_{st}^{-}(r) =\displaystyle= r(r2Bst0)/rΩs0Bst+(r),\displaystyle\partial_{r}(r^{2}B_{st}^{0})/r\Omega_{s}^{0}-B_{st}^{+}(r), (48)

where (s,t)\mathcal{R}(s,t) is a set of random numbers between 0 and 1, so as to construct a generic field configuration. The total field strength shown in Figure 4 is b0(r)b_{0}(r). We then impose the constraint (Bstμ)=(1)tBst¯μ¯(B_{st}^{\mu})^{*}=(-1)^{t}B_{s\bar{t}}^{\bar{\mu}}. Thereafter we construct 𝓗\boldsymbol{\mathcal{H}} according to Eqn. (D13). At this point we have the coefficients cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} and can plot the splitting function ηnn\eta^{n^{\prime}\ell^{\prime}n\ell}. It should be noted that we needed to construct artificial structure coefficients as this study does not harness actual solar data. When using real observations, cstnnc_{st}^{n^{\prime}\ell^{\prime}n\ell} ought to be inferred from inversions.

Refer to caption
Refer to caption
Figure 5: “Aitoff” projection of splitting functions η(θ,ϕ)\eta(\theta,\phi) for self-coupling of multiplet S82{}_{2}\mathrm{S}_{8}\, and cross-coupling of S82{}_{2}\mathrm{S}_{8}\, with S73{}_{3}\mathrm{S}_{7}\,. We construct a real, solenoidal artificial 𝐁\mathbf{B}\, field. The strength of the various components Bstμ(r)B_{st}^{\mu}(r) were scaled with random numbers (as shown in Eqns. [46-ß [48]) over b0(r)b_{0}(r) which is the ’total’ field strength shown in Figure 4. The artificial BstμB^{\mu}_{st} profiles have s=1,2,3s=1,2,3 and therefore the artificial hstμνh_{st}^{\mu\nu} have s=0,1,2,3,4,5,6s=0,1,2,3,4,5,6. The colorbar is dimensionless and scales as the fractional change in frequency. The values are not supposed to be a representation of the actual Sun and are certainly an over-estimation of the true solar splitting functions under Lorentz-stress perturbations.

We plot the splitting functions in Figure 5 for two cases: (a) self-coupling of S82{}_{2}\mathrm{S}_{8}\,, and (b) cross-coupling of S82{}_{2}\mathrm{S}_{8}\, with S73{}_{3}\mathrm{S}_{7}\,. The unperturbed frequencies ω28{}_{2}\omega{}_{8} and ω37{}_{3}\omega{}_{7} are less than 5μ5\mu Hz apart. The colormaps have been plotted at the solar surface r=Rr=R_{\odot}. This means that any point in (θ,ϕ)(\theta,\phi) reflects the structure due to Lorentz-stress field hstμνh_{st}^{\mu\nu} integrated along the radial direction, weighted by the respective kernel components 𝒢sμν\mathcal{G}_{s}^{\mu\nu} (ref. Eqn [25]). Thus, as mentioned earlier in Section 2.3, the splitting functions are a convenient way to visualize the internal structure perturbations as seen “through” its kernels. A zero value of splitting functions at a certain (θ0,ϕ0)(\theta_{0},\phi_{0}) does not necessarily mean hstμν(r,θ0,ϕ0)=0h_{st}^{\mu\nu}(r,\theta_{0},\phi_{0})=0, i.e, it need not be inferred that there is no structure beneath that surface location. It could simply means that either the kernel sensitivity is negligible where the structure exists or that the kernel-weighted structure averages out to zero.

4 Discussions and Conclusions

In this study, we have addressed the long-standing problem of proposing a formalism to calculate the effect of a completely general Lorentz stress field (Eqn [16]) on shifts in solar eigenfrequencies (Eqn [17]). We initially adopted the approach of quasi-degenerate perturbation theory, thereby allowing for cross coupling between modes which are sufficiently close in frequency. The coupling matrix Λkk\Lambda_{k^{\prime}k} for full coupling may be found in Eqn. (19). As shown in Section 2.4, the theory may be readily reduced to a degenerate perturbation analysis (and hence the study of isolated-multiplets) in a straightforward manner. However, the isolated-multiplet assumption hinges on the existence of multiplets well-separated in frequency from any other multiplet, compared to the frequency shifts induced due to the perturbing force. We first demonstrate the existence of such isolated-multiplets for the case of Lorentz-stresses in the Sun (refer to Section 3.1). For the sake of completeness, we have also demonstrated that frequency shifts due to differential rotation can be explained by considering self-coupling only (see Appendix G). The novelty of our work is in proposing and analyzing the kernels for (a) general magnetic fields and (b) the specific case of dealing with isolated multiplets under an axisymmetric magnetic field — the aa-coefficient formalism.

We formulated the forward problem by respecting cross-mode coupling and a general field configuration. In doing so, we use the idea of so-called “structure coefficients” in Section 2.3. For the purpose of illustration, we use a real and solenoidal magnetic field possessing angular degrees s=1,2,3s=1,2,3. Borrowing from geophysical literature, we visualize the effect of frequency splitting under self- and cross-coupling of modes via splitting functions in Section 3.4. We then characterize the impact of simple analytically modelled axisymmetric magnetic-fields on frequency shifts in an isolated multiplet, method of aa coefficients (see Sections 2.4.1 and 3.3). These models share the same geometric configuration (inner toroidal, outer near-surface dipolar and an intermediate mixed field). Varying peak magnetic-field strengths in these three regions by a factor of 10 results in a total of eight models (Table 1). aa-coefficients obtained from these models (Table 2) demonstrate the significant difference in sensitivities of different modes to different regions in the Sun. We choose two modes — S1105{}_{5}\rm{S}_{110} sensitive to shallow layers and S102{}_{2}\rm{S}_{10} sensitive to relatively deeper layers (see Figure 6) — to bring out the effect of changing the magnitude of the Lorentz stress at varying depths in the Sun.

When analysing self-coupling kernels for aa coefficients, we find that there is a well-defined trend in the near-surface sensitivity when moving across nn and \ell space (see Figure 3). The sensitivity increases while moving to larger values of nn and \ell. Sensitivities of kernels near the surface are higher by at least an order in magnitude than in the interior. This would facilitate precise inference about near-surface Lorentz stresses and should assist in the validation of earlier observational or theoretical claims (Antia et al., 2000; Lites et al., 2008; Petrie and Patrikeeva, 2009; Baldner et al., 2010). As also noted by Kiefer and Roth (2018), the low angular degrees \ell modes are sensitive to deeper layers (shown for a single case in Figure 6). The model calculation for constructing an s=1s=1 solenoidal field (outlined in Appendix D.1) is easily extended to the purpose of constructing general axisymmetric fields of arbitrary angular degree ss. This may be essential for constructing artificial aa-coefficient profiles for comparing with real observations in order to place constraints on field geometry and strength. Most previous studies (e.g., Gough and Thompson, 1990; Antia et al., 2000; Dziembowski and Goode, 2004; Kiefer et al., 2017; Kiefer and Roth, 2018) used a toroidal model magnetic field close to the surface. This is motivated by work on dynamo simulations (e.g., Miesch and Teweldebirhan, 2016) who find toroidal field strengths dominating over poloidal. We choose a mixed field (dominantly toroidal) up to r0.95Rr\leq 0.95R_{\odot} followed by a purely dipolar field up to the surface so as to match the boundary with the global dipolar field observed during a solar minima. For our model the boundaries of toroidal, mixed (both toroidal and spheroidal) and dipolar configurations can be easily tweaked to accommodate further complicated field geometries. This allows for a more realistic field geometry as it would comprise a combination of toroidal and spheroidal fields as opposed to purely toroidal fields (Parker, 1955).

We discuss selection rules that govern general Lorentz-stress-induced mode coupling (Appendix C.1) and within an isolated multiplet for an axisymmetric Lorentz stress in Section 3.2. The inverse problem naturally dictates the recovery of the untangled-isotropic (hst00,hst+h_{st}^{00},h_{st}^{+-}) and the tangled-anisotropic (hst0(1)++s+hst0+,hst(1)++s+hst++h_{st}^{0-}(-1)^{\ell^{\prime}+\ell+s}+h_{st}^{0+},h_{st}^{--}(-1)^{\ell^{\prime}+\ell+s}+h_{st}^{++}) components of Lorentz stresses. This study identifies fundamental advantages of approaches that harness cross-mode couplings over the isolated-multiplet assumption to recover the full spectrum in angular degree of the Lorentz stresses.

For studies using quasi-degenerate perturbation theory, the supermatrix 𝒵kk\mathcal{Z}_{k^{\prime}k} which may be constructed from our prescribed kernels for a general real Lorentz stress field 𝓗\boldsymbol{\mathcal{H}} is Hermitian (due to the symmetry relation mentioned in property 5 in Appendix C.1 along with realness of 𝓗\boldsymbol{\mathcal{H}}). This ensures real-valued frequencies and thereby stability of the perturbed modes. This is contrary to the discussion in (Kiefer et al., 2017), where they retain the possibility of having a non-hermitian 𝒵kk\mathcal{Z}_{k^{\prime}k} in the context of purely toroidal fields. It is to be noted that they adopt a different way of expressing the coupling matrix which they call HkkH_{k^{\prime}k} (see Eqn. (31) in Kiefer et al., 2017). Their HkkH_{k^{\prime}k} is expressed as a sum of 25 terms weighted by “angular kernels” for toroidal magnetic fields and does not contain surface terms. The essential difference with our coupling matrix Λkk\Lambda_{k^{\prime}k} (as shown in Eqn. [C3]) arises because we isolate the Lorentz stress tensor 𝓗\boldsymbol{\mathcal{H}} and in doing so, end up with a mode-symmetric kernel for 𝓗\boldsymbol{\mathcal{H}} as well as a collection of surface terms as in Eqn. (C4).

The s=1s=1 mode is found to suffer from the limitation of being invertible for all but one independent component (h1th_{1t}^{--}) in the GSH basis. This is because the corresponding kernel 1t\mathcal{B}_{1t}^{--} vanishes because of the selection rule imposed by the Wigner-3j symbols. As a result the coupling matrix elements are not sensitive to existence of h1th_{1t}^{--}. For an axisymmetric field, this implies that the s=1s=1 component of (BθBθBϕBϕ)(\langle B_{\theta}B_{\theta}\rangle-\langle B_{\phi}B_{\phi}\rangle) and BθBϕ\langle B_{\theta}B_{\phi}\rangle cannot be recovered using this formalism (see Eqns. 42, 45, and  C7). Presently, translating the solenoidal constraint of the magnetic field to an equivalent condition in the Lorentz-stress components seems unlikely. However, if found, such a constraint could help recover or constrain these missing components.

Our formalism is readily extended to asteroseismic cases, where modes up to =3\ell=3 are reliably observed (Chaplin and Miglio, 2013), although whether it is possible to extract new and useful information is unclear. This study adds to the list of earlier efforts directed toward constraining the interior magnetic field of the Sun and goes beyond to seek a formal inverse problem for general Lorentz stresses. Most of these studies, as mentioned earlier (with the exception of Baldner et al., 2010), were restricted to a toroidal field geometry. Baldner et al. (2010) found a combination of a poloidal field and a double-peaked near-surface toroidal field to best reproduce the observed aa coefficients. However, it suffered from the limitation of excluding cross terms in toroidal and poloidal fields in regions of overlap in the solar interior. This is because magnetic-field forcing comes as a non-linear term and therefore the effect of two different field configurations cannot be added. Our formalism is not limited by any of these constraints. It, therefore, allows a neat generation of frequency shifts or aa coefficients due to axisymmetric magnetic fields, rigorously accounting for all tensorial components of Lorentz stress. Baldner et al. (2010) also notes that the possibility of radial profiles of the toroidal fields is “limitless”, implying that the best-fit model they obtained through a forward problem need not be the only model that produces similar aa coefficients. In that regard, the approach of an inverse problem may be an attractive avenue.

It should be noted that, in principle, the presence of a second-rank Lorentz stress tensor should introduce toroidal components in the eigenfunctions of the background model to an otherwise spheroidal system. However, the observed solar spectrum is known to be very well explained by a solely spheroidal theory. Therefore, we believe that inaccuracies on account of ignoring the magnetically induced toroidal modes should be negligible. A possible way to include toroidal modes in the calculation would be to compute the next order in the expansion. This would involve re-evaluating eigenfunctions (both toroidal and spheroidal) and eigenfrequencies in the presence of the inferred magnetic field and recomputing the structure perturbations in this expanded set of eigenfunctions. We defer this substantial exercise to a future investigation.

In concluding, the inverse problem too comes with its own set of challenges. The signatures of magnetic-field perturbations in data are significantly weaker (with large error bars) than dominant perturbations such as flows (differential rotation) and other non-magnetic forcings (Schou, 1999). Apart from this, Zweibel and Gough (1995) showed that shifts in eigenfrequencies due to Lorentz stress can be mimicked by acoustic perturbations. Magnetic and acoustic perturbations producing the same frequency shifts can have completely different spatial structure. This might, therefore, make it difficult to attribute a frequency shift to Lorentz stress over acoustic perturbations and vice versa. Nevertheless, they also note that the distortion in eigenfunctions caused by a magnetic and an acoustic perturbation are different (unlike their signatures in eigenfrequencies).

The authors thank the anonymous referee for reviewing the study extremely carefully, suggesting numerous valuable suggestions and helping to improve the quality of the manuscript significantly.

Appendix A Linearization of MHD equations

We linearize Eqns. (1)–(4) considering a static background and time-dependent first-order Eulerian perturbations in the MHD parameters 𝐯\mathbf{v}, pp, 𝐁\mathbf{B}, and ρ\rho:

𝐯(𝐫,t)\displaystyle\mathbf{v}(\mathbf{r},t) =\displaystyle= 𝐯1(𝐫,t),\displaystyle\mathbf{v}_{1}(\mathbf{r},t), (A1)
p(𝐫,t)\displaystyle p(\mathbf{r},t) =\displaystyle= p0(𝐫)+p1(𝐫,t),\displaystyle p_{0}(\mathbf{r})+p_{1}(\mathbf{r},t), (A2)
𝐁(𝐫,t)\displaystyle\mathbf{B}(\mathbf{r},t) =\displaystyle= 𝐁0(𝐫)+𝐁1(𝐫,t),\displaystyle\mathbf{B}_{0}(\mathbf{r})+\mathbf{B}_{1}(\mathbf{r},t), (A3)
ρ(𝐫,t)\displaystyle\rho(\mathbf{r},t) =\displaystyle= ρ0(𝐫)+ρ1(𝐫,t).\displaystyle\rho_{0}(\mathbf{r})+\rho_{1}(\mathbf{r},t). (A4)

The background parameters ρ0(𝐫)\rho_{0}(\mathbf{r}) and p0(𝐫)p_{0}(\mathbf{r}) are considered to be spherically symmetric as per our choice of background model. We allow for an inhomogeneous background magnetic field 𝐁0(𝐫)\mathbf{B}_{0}(\mathbf{r}) which is not a part of model S (Christensen-Dalsgaard et al., 1996), but shall be introduced as a subsequent perturbation. It should be noted that we adopt the Cowling approximation and therefore do not consider perturbations to the gravitational potential. Next we define a Lagrangian displacement vector field 𝝃\boldsymbol{\xi} that measures the displacement of a particle with respect to its background state upon introducing perturbations (with zero flow in the background 𝐯0=𝟎\mathbf{v}_{0}=\mathbf{0}). To first-order in 𝝃\boldsymbol{\xi}, the velocity, or equivalently the velocity perturbation, can be written as

𝐯𝐯1=t𝝃.\displaystyle\mathbf{v}\sim\mathbf{v}_{1}=\partial_{t}\boldsymbol{\xi}. (A5)

Substituting (A1)–(A5) into Eqn. (1) the background zeroth-order equation can be written as

𝐣0×𝐁0=p0+ρ0ϕ,\mathbf{j}_{0}\times\mathbf{B}_{0}=\bm{\nabla}p_{0}+\rho_{0}\bm{\nabla}\phi, (A6)

and to first-order in the perturbed parameters we have

tp1\displaystyle\partial_{t}p_{1} =\displaystyle= 𝐯1p0γp0𝐯1,\displaystyle-\mathbf{v}_{1}\cdot\bm{\nabla}p_{0}-\gamma\,p_{0}\,\bm{\nabla}\cdot\mathbf{v}_{1}, (A7)
t𝐁1\displaystyle\partial_{t}\mathbf{B}_{1} =\displaystyle= ×(𝐯1×𝐁0),\displaystyle\bm{\nabla}\times(\mathbf{v}_{1}\times\mathbf{B}_{0}), (A8)
tρ1\displaystyle\partial_{t}\rho_{1} =\displaystyle= (ρ0𝐯1).\displaystyle-\bm{\nabla}\cdot(\rho_{0}\,\mathbf{v}_{1}). (A9)

Replacing all instances of 𝐯1\mathbf{v}_{1} in the first-order linearized equations with t𝝃\partial_{t}\boldsymbol{\xi}, integrating over time, and substituting the expressions for p1p_{1}, 𝐁1\mathbf{B}_{1}, and ρ1\rho_{1} into Eqn. (A1) we obtain the linearized equation of motion

ρ0ω2𝝃=p1+𝐠(ρ0𝝃)+𝐁0×(×𝐁1)(×𝐁0)×𝐁1,\rho_{0}\,\omega^{2}\boldsymbol{\xi}=\bm{\nabla}p_{1}+\mathbf{g}\,\bm{\nabla}\cdot(\rho_{0}\,\boldsymbol{\xi})+\mathbf{B}_{0}\times(\bm{\nabla}\times\mathbf{B}_{1})-(\bm{\nabla}\times\mathbf{B}_{0})\times\mathbf{B}_{1}, (A10)

where p1=γp0𝝃𝝃p0p_{1}=-\gamma\,p_{0}\,\bm{\nabla}\cdot\boldsymbol{\xi}-\boldsymbol{\xi}\cdot\bm{\nabla}p_{0}, and, as per the equilibrium condition, p0=𝐣0×𝐁0ρ0ϕ\bm{\nabla}p_{0}=\mathbf{j}_{0}\times\mathbf{B}_{0}-\rho_{0}\bm{\nabla}\phi. The above equation can be written as

ρ0ω2𝝃\displaystyle\rho_{0}\,\omega^{2}\boldsymbol{\xi} =\displaystyle= 0𝝃+δ𝝃,\displaystyle\mathcal{L}\,_{0}\boldsymbol{\xi}+\delta\mathcal{L}\,\boldsymbol{\xi}, (A11)
0𝝃\displaystyle\mathcal{L}\,_{0}\boldsymbol{\xi} =\displaystyle= (γp0𝝃+ρ0𝐠𝝃)+𝐠(ρ0𝝃),\displaystyle-\bm{\nabla}(\gamma\,p_{0}\,\bm{\nabla}\cdot\boldsymbol{\xi}+\rho_{0}\,\mathbf{g}\cdot\boldsymbol{\xi})+\mathbf{g}\,\bm{\nabla}\cdot(\rho_{0}\,\boldsymbol{\xi}), (A12)
δ𝝃\displaystyle\delta\mathcal{L}\,\boldsymbol{\xi} =\displaystyle= 𝐁0×(×𝐁1)(×𝐁0)×𝐁1[𝝃(𝐣0×𝐁0)].\displaystyle\mathbf{B}_{0}\times(\bm{\nabla}\times\mathbf{B}_{1})-(\bm{\nabla}\times\mathbf{B}_{0})\times\mathbf{B}_{1}-\bm{\nabla}[\boldsymbol{\xi}\cdot(\mathbf{j}_{0}\times\mathbf{B}_{0})]. (A13)

with 𝐁1=×(𝝃×𝐁0)\mathbf{B}_{1}=\bm{\nabla}\times(\boldsymbol{\xi}\times\mathbf{B}_{0}) and 𝐠=g𝐞^r\mathbf{g}=-g\,\hat{\mathbf{e}}_{r}. In subsequent calculations we shall drop the subscript ’0’. Any unsubscripted parameter shall be assumed to be denoting the zeroth-order background state. The above decomposition of the operator into 0\mathcal{L}\,_{0} and δ\delta\mathcal{L}\, allows us to define a first order perturbed state devoid of magnetic field, the eigenvalue problem for which can be defined as ρ0ω02𝝃0=0𝝃0\rho_{0}\,\omega_{0}^{2}\,\boldsymbol{\xi}_{0}=\mathcal{L}\,_{0}\boldsymbol{\xi}_{0} where ω0\omega_{0} and 𝝃0\boldsymbol{\xi}_{0} are the magnetically unperturbed eigenfrequencies and eigenfunctions. As shown in Appendix B, the operator δ\delta\mathcal{L}\, containing the effects of introducing a magnetic field can be introduced as a perturbation to this magnetically unperturbed operator 0\mathcal{L}\,_{0} and hence calculating the perturbations in the eigenfrequencies δω\delta\omega and δ𝝃\delta\boldsymbol{\xi} produced by a non-zero 𝐁\mathbf{B}.

Appendix B Quasi-degenerate perturbation theory

For the ease of reference, we outline the method of quasi-degenerate perturbation (and thereafter its specific case of degenerate perturbation) analysis as illustrated in the early work by Lavely and Ritzwoller (1992). The unperturbed wave operator is labeled 0\mathcal{L}_{0} and ωn{}_{n}\omega{}_{\ell} is the degenerate eigenfrequency of the 2+12\ell+1 degenerate unperturbed (n,)(n,\ell) multiplet. Thus, the SNRNMAIS background model satisfies the equation of motion

ρ0ωn𝝃n2=0𝝃n.\rho_{0}\,{}_{n}\omega{}_{\ell}^{2}\,\boldsymbol{\xi}_{n\ell}=\mathcal{L}_{0}\boldsymbol{\xi}_{n\ell}. (B1)

The unperturbed eigenfrequencies ωn{}_{n}\omega{}_{\ell} and eigenfunctions 𝝃n\boldsymbol{\xi}_{n\ell} are obtained by solving the above eigenvalue problem.

For quasi-degenerate perturbation analysis, we choose a reference frequency ωref\omega_{\rm{ref}}. The eigenspace 𝒦\mathcal{K} contains all the unperturbed multiplets (n,)(n,\ell) such that |ωrefωn|<ϵf2|\omega_{\rm{ref}}-{}_{n}\omega{}_{\ell}|<\epsilon f^{2}, where ϵ\epsilon is a suitably small number and ff governs the window around ωref\omega_{\rm{ref}} within which the eigenfrequency ωn{}_{n}\omega{}_{\ell} must lie for 𝝃n\boldsymbol{\xi}_{n\ell} to be considered within the eigenspace 𝒦\mathcal{K}. All other eigenfunctions are assumed to lie in the orthogonal subspace 𝒦\mathcal{K}^{\perp}. Henceforth, we refer to any of the eigenmodes (n,)𝒦(n,\ell)\in\mathcal{K} as kk. When we introduce a perturbation 00+δ\mathcal{L}_{0}\to\mathcal{L}_{0}+\delta\mathcal{L} in Eqn. (B1), the following changes are also introduced to the system:

ωk2\displaystyle\omega_{k}^{2} \displaystyle\to ωref2+δω2,\displaystyle\omega_{\rm{ref}}^{2}+\delta\omega^{2}, (B2)
𝝃k\displaystyle\boldsymbol{\xi}_{k} \displaystyle\to k𝒦ck𝝃k+δ𝝃=𝝃+δ𝝃.\displaystyle\sum_{k\in\mathcal{K}}c_{k}\,\boldsymbol{\xi}_{k}+\delta\boldsymbol{\xi}=\boldsymbol{\xi}+\delta\boldsymbol{\xi}. (B3)

We note that 𝝃=k𝒦ck𝝃k\boldsymbol{\xi}=\sum_{k\in\mathcal{K}}c_{k}\,\boldsymbol{\xi}_{k} and δ𝝃=k𝒦dk𝝃k\delta\boldsymbol{\xi}=\sum_{k\in\mathcal{K^{\perp}}}d_{k}\,\boldsymbol{\xi}_{k}. This implies that the corrections to the eigenfunctions arise only from the multiplets k𝒦k\in\mathcal{K}. Forcing due to Lorentz-stress δ𝝃\delta\mathcal{L\boldsymbol{\xi}} is given by Eqn. (A13). Substituting Eqns. (B2)–(B3) in (B1) and retaining first-order terms yields

ρ0(ωref2+δω2)(𝝃+δ𝝃)=(0+δ)(𝝃+δ𝝃)\displaystyle\rho_{0}(\omega_{\rm{ref}}^{2}+\delta\omega^{2})(\boldsymbol{\xi}+\delta\boldsymbol{\xi})=(\mathcal{L}_{0}+\delta\mathcal{L})(\boldsymbol{\xi}+\delta\boldsymbol{\xi}) (B4)
\displaystyle\rightarrow (0ρ0ωref2)𝝃ρ0δω2𝝃+(ρ0ωref2+0)δ𝝃+δ𝝃=0.\displaystyle(\mathcal{L}_{0}-\rho_{0}\,\omega_{\rm{ref}}^{2})\boldsymbol{\xi}-\rho_{0}\,\delta\omega^{2}\,\boldsymbol{\xi}+(-\rho_{0}\,\omega_{\rm{ref}}^{2}+\mathcal{L}_{0})\delta\boldsymbol{\xi}+\delta\mathcal{L}\boldsymbol{\xi}=0. (B5)

Expanding out 𝝃\boldsymbol{\xi} in the eigenspace spanned by 𝒦\mathcal{K} as: 0𝝃=0kck𝝃k=kckρ0ωk2𝝃k\mathcal{L}_{0}\boldsymbol{\xi}=\mathcal{L}_{0}\sum_{k}c_{k}\,\boldsymbol{\xi}_{k}=\sum_{k}c_{k}\,\rho_{0}\,\omega_{k}^{2}\,\boldsymbol{\xi}_{k} and thereafter taking an inner product with 𝝃k\boldsymbol{\xi}_{k^{\prime}}, where k𝒦k^{\prime}\in\mathcal{K}, and integrating over the solar volume we obtain

𝝃k|0𝝃=kckωk2𝝃k|ρ0𝝃k=kckωk2δkk.\displaystyle\braket{\boldsymbol{\xi}_{k^{\prime}}}{\mathcal{L}_{0}\boldsymbol{\xi}}=\sum_{k}c_{k}\,\omega_{k}^{2}\braket{\boldsymbol{\xi}_{k^{\prime}}}{\rho_{0}\,\boldsymbol{\xi}_{k}}=\sum_{k}c_{k}\,\omega_{k}^{2}\,\delta_{k^{\prime}k}. (B6)

On applying similar inner products to the rest of Eqn. (B5) we find

𝝃k|(0ρ0ωref2)𝝃δω2𝝃k|ρ0𝝃+𝝃k|(0ρ0ωref2)δ𝝃+𝝃k|δ𝝃=0.\braket{\boldsymbol{\xi}_{k^{\prime}}}{(\mathcal{L}_{0}-\rho_{0}\,\omega_{\rm{ref}}^{2})\boldsymbol{\xi}}-\delta\omega^{2}\braket{\boldsymbol{\xi}_{k^{\prime}}}{\rho_{0}\,\boldsymbol{\xi}}+\braket{\boldsymbol{\xi}_{k^{\prime}}}{(\mathcal{L}_{0}-\rho_{0}\,\omega_{\rm{ref}}^{2})\delta\boldsymbol{\xi}}+\braket{\boldsymbol{\xi}_{k^{\prime}}}{\delta\mathcal{L}\boldsymbol{\xi}}=0. (B7)

Recalling that 𝝃k\boldsymbol{\xi}_{k^{\prime}} and δ𝝃\delta\boldsymbol{\xi} exist in orthogonal eigenspaces the equation simplifies to

kckωk2δkkωref2kckδkkkδω2ckδkk+0+0+kckΛkk=0.\sum_{k}c_{k}\,\omega_{k}^{2}\,\delta_{k^{\prime}k}-\omega^{2}_{\rm{ref}}\sum_{k}c_{k}\,\delta_{k^{\prime}k}-\sum_{k}\delta\omega^{2}\,c_{k}\,\delta_{k^{\prime}k}+0+0+\sum_{k}\,c_{k}\Lambda_{k^{\prime}k}=0. (B8)

This may be cast into the form of an eigenvalue problem, namely,

k[Λkk(ωref2ωk2)δkk]ck=δω2ck,\sum_{k}[\Lambda_{k^{\prime}k}-(\omega_{\rm{ref}}^{2}-\omega_{k}^{2})\,\delta_{k^{\prime}k}]\,c_{k}=\delta\omega^{2}\,c_{k^{\prime}}, (B9)

or, equivalently,

k𝒦𝒵kkck=δω2ck.\sum_{k\in\mathcal{K}}\mathcal{Z}_{k^{\prime}k}\,c_{k}=\delta\omega^{2}\,c_{k^{\prime}}. (B10)

In the nomenclature of Lavely and Ritzwoller (1992) 𝒵kk=Λkk(ωref2ωk2)δkk\mathcal{Z}_{k^{\prime}k}=\Lambda_{k^{\prime}k}-(\omega_{\rm{ref}}^{2}-\omega_{k}^{2})\,\delta_{k^{\prime}k} are elements of their supermatrix and Λkk=𝝃k|δ𝝃k\Lambda_{k^{\prime}k}=\braket{\boldsymbol{\xi}_{k^{\prime}}}{\delta\mathcal{L}\boldsymbol{\xi}_{k}} is their general matrix element or the coupling matrix.

Finally, as a corollary of the theory developed above, let us consider the case of 𝒦\mathcal{K} consisting of modes that are all degenerate with frequency ω0\omega_{0}. In this case, setting ωref=ω0\omega_{\rm{ref}}=\omega_{0}, we see that ZkkZ_{k^{\prime}k} reduces to Λkk\Lambda_{k^{\prime}k}. Now the leading order corrections to eigenfrequency and eigenfunction are described by the eigenvalues and eigenvectors of Λkk\Lambda_{k^{\prime}k}:

k𝒦Λkkck=δω2ck.\sum_{k\in\mathcal{K}}\Lambda_{k^{\prime}k}\,c_{k}=\delta\omega^{2}\,c_{k^{\prime}}. (B11)

This is now degenerate perturbation analysis. Ritzwoller and Lavely (1991) lays out a detailed formulation of this method for the case of a perturbation in the form of differential rotation on the background SNRNMAIS model.

Appendix C The δ\delta\mathcal{L} operator and coupling matrix for Lorentz stress

In the regime of linearized ideal MHD with small perturbations about an equilibrium (Goedbloed and Poedts, 2004), the perturbation operator due to magnetic fields in a non-magnetic background is given by (A13)

δ𝝃=14π(𝐁×{×[×(𝝃×𝐁)]}(×𝐁)×[×(𝝃×𝐁)]{𝝃[(×𝐁)×𝐁]}).\delta\mathcal{L}\,\boldsymbol{\xi}=\frac{1}{4\pi}\Big{(}\mathbf{B}\times\{\bm{\nabla}\times[\bm{\nabla}\times(\boldsymbol{\xi}\times\mathbf{B})]\}-(\bm{\nabla}\times\mathbf{B})\times[\bm{\nabla}\times(\boldsymbol{\xi}\times\mathbf{B})]-\bm{\nabla}\{\boldsymbol{\xi}\cdot[(\bm{\nabla}\times\mathbf{B})\times\mathbf{B}]\}\Big{)}. (C1)

We compute the coupling matrix Λkk=𝝃k|δ𝝃k\Lambda_{k^{\prime}k}=\braket{\boldsymbol{\xi}_{k^{\prime}}}{\delta\mathcal{L}\boldsymbol{\xi}_{k}} exclusively for terms involving magnetic fields. As elucidated in Section 6.2.3 of Goedbloed and Poedts (2004), one ends up with the following terms:

Λkk\displaystyle\Lambda_{k^{\prime}k} =\displaystyle= 14πVd3𝐫[𝐐𝐑+12pB(𝝃k𝝃k+𝝃k𝝃k)+12𝐣(𝝃k×𝐑+𝝃k×𝐐)]\displaystyle\frac{1}{4\pi}\int_{V_{\odot}}\mathrm{d}^{3}\mathbf{r}\left[\mathbf{Q}\cdot\mathbf{R}+\tfrac{1}{2}\,\bm{\nabla}p_{B}\cdot(\boldsymbol{\xi}_{k}\bm{\nabla}\cdot\boldsymbol{\xi}_{k^{\prime}}^{*}+\boldsymbol{\xi}_{k^{\prime}}^{*}\bm{\nabla}\cdot\boldsymbol{\xi}_{k})+\tfrac{1}{2}\,\mathbf{j}\cdot(\boldsymbol{\xi}_{k}\times\mathbf{R}+\boldsymbol{\xi}_{k^{\prime}}^{*}\times\mathbf{Q})\right]
\displaystyle- 14π𝑑Σ𝐧^[𝝃k(𝝃kpB𝐁𝐐)+𝐁𝝃k𝐐+12𝐣𝐁(𝝃k×𝝃k)12(𝐣×𝐁)(𝝃k𝝃k𝝃k𝝃k)],\displaystyle\frac{1}{4\pi}\int_{\sum_{\odot}}d\Sigma\,\hat{\mathbf{n}}\cdot\left[\boldsymbol{\xi}_{k^{\prime}}^{*}\,(\boldsymbol{\xi}_{k}\cdot\bm{\nabla}p_{B}-\mathbf{B}\cdot\mathbf{Q})+\mathbf{B}\,\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot\mathbf{Q}+\tfrac{1}{2}\,\mathbf{j}\,\mathbf{B}\cdot(\boldsymbol{\xi}_{k}\times\boldsymbol{\xi}_{k^{\prime}}^{*})-\tfrac{1}{2}\,(\mathbf{j}\times\mathbf{B})\cdot(\boldsymbol{\xi}_{k}\,\boldsymbol{\xi}_{k^{\prime}}^{*}-\boldsymbol{\xi}_{k^{\prime}}^{*}\,\boldsymbol{\xi}_{k})\right],

where 𝐐=×(𝝃k×𝐁),𝐑=×(𝝃k×𝐁)\mathbf{Q}=\bm{\nabla}\times(\boldsymbol{\xi}_{k}\times\mathbf{B}),\mathbf{R}=\bm{\nabla}\times(\boldsymbol{\xi}_{k^{\prime}}^{*}\times\mathbf{B}) and pB=𝐣×𝐁\bm{\nabla}p_{B}=\mathbf{j}\times\mathbf{B}. We carry out a tedious exercise of isolating the 𝐁𝐁\mathbf{B}\,\mathbf{B}\, terms from the volume integral in Eqn. (C3) until we end up with the following expression for the volume integral term in coupling matrix:

Λkk\displaystyle\Lambda_{k^{\prime}k} =\displaystyle= 14πVd3r𝓗:{12[𝝃k(𝝃k)T+𝝃k(𝝃k)T]+12(𝝃k𝝃k+𝝃k𝝃k)+𝑰𝝃k𝝃k\displaystyle\frac{1}{4\pi}\int_{V_{\odot}}\mathrm{d}^{3}r\,\boldsymbol{\mathcal{H}}:\left\{\tfrac{1}{2}\left[\bm{\nabla}\boldsymbol{\xi}_{k}\cdot(\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*})^{T}+\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot(\bm{\nabla}\boldsymbol{\xi}_{k})^{T}\right]+\tfrac{1}{2}\left(\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot\bm{\nabla}\boldsymbol{\xi}_{k}+\bm{\nabla}\boldsymbol{\xi}_{k}\cdot\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*}\right)+\boldsymbol{I}\,\bm{\nabla}\cdot\boldsymbol{\xi}_{k^{\prime}}^{*}\bm{\nabla}\cdot\boldsymbol{\xi}_{k}\right. (C3)
+\displaystyle+ 12(𝝃k𝝃k+𝝃k𝝃k)12(𝝃k𝝃k+𝝃k𝝃k)32(𝝃k𝝃k+𝝃k𝝃k)}\displaystyle\left.\tfrac{1}{2}\left(\boldsymbol{\xi}_{k^{\prime}}^{*}\cdot\bm{\nabla}\bm{\nabla}\boldsymbol{\xi}_{k}+\boldsymbol{\xi}_{k}\cdot\bm{\nabla}\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*}\right)-\tfrac{1}{2}\left(\boldsymbol{\xi}_{k}\bm{\nabla}\bm{\nabla}\cdot\boldsymbol{\xi}_{k^{\prime}}^{*}+\boldsymbol{\xi}_{k^{\prime}}^{*}\bm{\nabla}\bm{\nabla}\cdot\boldsymbol{\xi}_{k}\right)-\tfrac{3}{2}\left(\bm{\nabla}\boldsymbol{\xi}_{k}\bm{\nabla}\cdot\boldsymbol{\xi}_{k^{\prime}}^{*}+\bm{\nabla}\boldsymbol{\xi}_{k^{\prime}}^{*}\bm{\nabla}\cdot\boldsymbol{\xi}_{k}\right)\right\}

In obtaining the above expression for Λkk\Lambda_{k^{\prime}k} from Eqn. (C), we accumulated the following boundary terms

14πΣdΣ𝐧^[𝝃k(𝐁)𝐁𝝃k+𝐁𝐁𝝃k(𝝃k)12𝐁𝐁:(𝝃k𝝃k)]+(𝝃k𝝃k)\frac{1}{4\pi}\int_{\Sigma_{\odot}}d\Sigma\,\hat{\mathbf{n}}\cdot\big{[}\boldsymbol{\xi}^{*}_{k^{\prime}}\cdot(\bm{\nabla}\,\mathbf{B}\,)\,\mathbf{B}\,\cdot\boldsymbol{\xi}_{k}+\mathbf{B}\,\mathbf{B}\,\cdot\boldsymbol{\xi}_{k}(\bm{\nabla}\cdot\boldsymbol{\xi}^{*}_{k^{\prime}})-\tfrac{1}{2}\mathbf{B}\,\mathbf{B}\,:\bm{\nabla}(\boldsymbol{\xi}_{k}\,\boldsymbol{\xi}^{*}_{k^{\prime}})\big{]}+(\boldsymbol{\xi}_{k}\leftrightarrow\boldsymbol{\xi}^{*}_{k^{\prime}}) (C4)

For model S (Christensen-Dalsgaard et al., 1996), the top boundary is at rS=R+0.5r_{S}=R_{\odot}+0.5Mm. For trapped normal modes of the Sun, the upper turning points all lie below the photosphere; above this, waves become evanescent and their eigenfunctions decay into the atmosphere. The dominant sensitivities of these modes is therefore firmly focused in the solar interior. Additionally, modes are primarily sensitive to changes in the speed of propagation - which in this case is the Alfven speed (Hanasoge et al., 2012a). As a consequence, the proper way to parametrise the inversion is to use 𝓗/ρ\boldsymbol{\mathcal{H}}/\rho, since this represents the Alfven-speed squared and hence corresponding effective kernels are ρ\rho\mathcal{B}. Taking these two factors into account, we neglect the boundary terms - which are evaluated at a layer above the upper turning points and whose contribution is therefore small in comparison to the bulk integrals, which possess the predominant sensitivity. Nevertheless, we would like to caution the reader about the fact that fields in the solar atmosphere affect mode frequencies - waves propagating in magnetized regions undergo mode conversion (Cally and Bogdan, 1993, 1997) and these magneto-acoustic waves escape into the atmosphere via field lines. This can create shifts in mode frequencies (Wright and Thompson, 1992) and lead to increased linewidths as well (Chaplin et al., 2000; Komm et al., 2000; Pintér, 2008). To properly account for these effects, the eigenfunction basis needs to admit magneto-acoustic modes - such a basis will contain both spheroidal and toroidal eigenfunctions. In the present treatment, the background is hydrodynamic and therefore only allows spheroidal (acoustic) eigenfunctions. As a consequence, the kernels obey classical acoustic-mode physics and are therefore dominantly sensitive to the interior alone. In more sophisticated models, the background would contain a magnetic field, the eigenfunctions would comprise both spheroidal and toroidal modes - the kernels would then show significant sensitivity to both the interior (near-surface layers dominating) and the field in the atmosphere.

In Eqn. (C3), clearly Λkk=Λkk\Lambda_{k^{\prime}k}^{\dagger}=\Lambda_{k^{\prime}k} and therefore the coupling-matrix (or equivalently the supermatrix 𝒵kk\mathcal{Z}_{k^{\prime}k}) is Hermitian. This ensures that the corrections to the eigenfrequencies are real and hence the perturbed solutions are temporally stable. Expanding out each of the vectors and tensors in Eqn. (C3) in the GSH basis and evaluating the surface integral, we are left with an expression that may be cast in the form shown in Eqn. (19), where BstμνB_{st}^{\mu\nu} are sensitivity kernels corresponding to Lorentz-stress components hstμνh_{st}^{\mu\nu}.

C.1 Sensitivity Kernels

The coupling-matrix element is given as an integral transform over 𝓗\boldsymbol{\mathcal{H}} by

ΛkkB=𝝃k|δB𝝃k=0Rdrr2stμνstμν(r)hstμν(r),\Lambda^{B}_{k^{\prime}k}=\langle\boldsymbol{\xi}_{k^{\prime}}|\delta\mathcal{L}\,^{B}\,\boldsymbol{\xi}_{k}\rangle=\int_{0}^{R_{\odot}}\mathrm{d}r\,r^{2}\sum_{\begin{subarray}{c}st\\ \mu\nu\end{subarray}}\mathcal{B}_{st}^{\mu\nu}(r)\,h_{st}^{\mu\nu}(r), (C5)

where stμν\mathcal{B}_{st}^{\mu\nu} are eigenfunction-dependent magnetic-sensitivity kernels. The prescription for evaluating these kernels and explicit expressions may be found in Hanasoge (2017). The coupling integral 𝝃k|δB𝝃k\langle\boldsymbol{\xi}_{k^{\prime}}|\delta\mathcal{L}\,^{B}\,\boldsymbol{\xi}_{k}\rangle, which has been reduced to the radial integral form obtained in Eqn. (C5) contains no boundary terms. It is indeed the case that the magnetic field is assumed to vanish at the surface in this analysis. Relaxing this assumption will introduce boundary terms, which involve integrals only over the solar surface. Since hstμνh_{st}^{\mu\nu} is symmetric in the interchange of μ\mu and ν\nu, we ascribe the same symmetry to stμν\mathcal{B}_{st}^{\mu\nu} as well, without loss of generality.

Using the Mathematica package developed for this work (Chakraborty and Das, 2019), we automate the manipulation of tensor spherical harmonics via the method of GSHs and obtain explicit forms of the Lorentz-stress sensitivity kernels stμν\mathcal{B}_{st}^{\mu\nu}. Each tensorial component of these kernels can be written in the form

stμν=4π(1)mγγsγ(smtm)𝒢sμν,\mathcal{B}_{st}^{\mu\nu}=4\pi(-1)^{m^{\prime}}\gamma_{\ell^{\prime}}\gamma_{s}\gamma_{\ell}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -m^{\prime}&t&m\end{smallmatrix}\bigg{)}\,\mathcal{G}_{s}^{\mu\nu}, (C6)

where the four independent components of 𝒢stμν\mathcal{G}_{st}^{\mu\nu} have the following closed-form expressions:

𝒢s=\displaystyle\mathcal{G}_{s}^{--}= 12r2[(s220)χ1(k,k)+(s022)χ1(k,k)\displaystyle\frac{-1}{2r^{2}}\Bigg{[}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 2&-2&0\end{smallmatrix}\bigg{)}\,\chi_{1}^{--}(k,k^{\prime})+\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&-2&2\end{smallmatrix}\bigg{)}\,\chi_{1}^{--}(k^{\prime},k) (C7)
+(s121){χ2(k,k)+χ2(k,k)}+(s321)χ3(k,k)+(s123)χ3(k,k)],\displaystyle\hskip 10.00002pt+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 1&-2&1\end{smallmatrix}\bigg{)}\,\big{\{}\chi_{2}^{--}(k,k^{\prime})+\chi_{2}^{--}(k^{\prime},k)\big{\}}+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 3&-2&-1\end{smallmatrix}\bigg{)}\,\chi_{3}^{--}(k,k^{\prime})+\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -1&-2&3\end{smallmatrix}\bigg{)}\,\chi_{3}^{--}(k^{\prime},k)\Bigg{]},
𝒢s0=\displaystyle\mathcal{G}_{s}^{0-}= 14r2[(s110)χ10(k,k)+(s011)χ10(k,k)\displaystyle\frac{1}{4r^{2}}\Bigg{[}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 1&-1&0\end{smallmatrix}\bigg{)}\,\chi_{1}^{0-}(k,k^{\prime})+\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&-1&1\end{smallmatrix}\bigg{)}\,\chi_{1}^{0-}(k^{\prime},k) (C8)
+(s112)χ20(k,k)+(s211)χ20(k,k)],\displaystyle\hskip 60.00009pt+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -1&-1&2\end{smallmatrix}\bigg{)}\,\chi_{2}^{0-}(k,k^{\prime})+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 2&-1&-1\end{smallmatrix}\bigg{)}\,\chi_{2}^{0-}(k^{\prime},k)\Bigg{]},
𝒢s00=\displaystyle\mathcal{G}_{s}^{00}= 12r2(1+p){12(s000)[χ100(k,k)+χ100(k,k)]+(s101)[χ200(k,k)+χ200(k,k)]},\displaystyle\frac{1}{2r^{2}}(1+p)\bigg{\{}\tfrac{1}{2}\,\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&0&0\end{smallmatrix}\bigg{)}\,[\chi_{1}^{00}(k,k^{\prime})+\chi_{1}^{00}(k^{\prime},k)]+\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -1&0&1\end{smallmatrix}\bigg{)}\,[\chi_{2}^{00}(k,k^{\prime})+\chi_{2}^{00}(k^{\prime},k)]\bigg{\}},
𝒢s+=\displaystyle\mathcal{G}_{s}^{+-}= 14r2(1+p){12(s000)[χ1+(k,k)+χ1+(k,k)]\displaystyle\frac{1}{4r^{2}}(1+p)\bigg{\{}\tfrac{1}{2}\,\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ 0&0&0\end{smallmatrix}\bigg{)}\,[\chi_{1}^{+-}(k,k^{\prime})+\chi_{1}^{+-}(k^{\prime},k)] (C10)
+(s202)[χ2+(k,k)+χ2+(k,k)]+(s101)[χ3+(k,k)+χ3+(k,k)]}.\displaystyle\hskip 60.00009pt+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -2&0&2\end{smallmatrix}\bigg{)}\,[\chi_{2}^{+-}(k,k^{\prime})+\chi_{2}^{+-}(k^{\prime},k)]+~{}\bigg{(}\begin{smallmatrix}\ell^{\prime}&s&\ell\\ -1&0&1\end{smallmatrix}\bigg{)}\,[\chi_{3}^{+-}(k,k^{\prime})+\chi_{3}^{+-}(k^{\prime},k)]\bigg{\}}.

where p(1)++sp\equiv(-1)^{\ell^{\prime}+\ell+s} and

χ1(k,k)\displaystyle\chi_{1}^{--}(k,k^{\prime}) =\displaystyle= Ω0Ω2[V(3U2Ω0V2+3rU˙)rUV˙],\displaystyle\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell^{\prime}}^{2}\,\big{[}V^{\prime}(3U-2\Omega_{\ell}^{0}\,{}^{2}V+3r\dot{U})-rU\dot{V}^{\prime}\big{]}, (C11)
χ2(k,k)\displaystyle\chi_{2}^{--}(k,k^{\prime}) =\displaystyle= Ω0Ω0(3UV2Ω0V2V+Ω2V2V+rVU˙rUV˙UU),\displaystyle\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell}^{0}\,\big{(}3UV^{\prime}-2\Omega_{\ell^{\prime}}^{0}\,{}^{2}V^{\prime}V+\Omega_{\ell^{\prime}}^{2}\,{}^{2}V^{\prime}V+rV\dot{U}^{\prime}-rU\dot{V}^{\prime}-U^{\prime}U\big{)}, (C12)
χ3(k,k)\displaystyle\chi_{3}^{--}(k,k^{\prime}) =\displaystyle= Ω0Ω0Ω2Ω3VV,\displaystyle\Omega_{\ell}^{0}\,\,\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell^{\prime}}^{2}\,\,\Omega_{\ell^{\prime}}^{3}\,V^{\prime}V, (C13)
χ10(k,k)\displaystyle\chi_{1}^{0-}(k,k^{\prime}) =\displaystyle= Ω0{4Ω0V2V+U(8U5Ω0V2)3rΩ0V2V˙+2rU˙V˙rΩ0V2V˙+r2VU¨\displaystyle\Omega_{\ell^{\prime}}^{0}\,\big{\{}4\Omega_{\ell}^{0}\,{}^{2}V^{\prime}V+U^{\prime}(8U-5\Omega_{\ell}^{0}\,{}^{2}V)-3r\Omega_{\ell}^{0}\,{}^{2}V\dot{V}^{\prime}+2r\dot{U}\dot{V}^{\prime}-r\Omega_{\ell}^{0}\,{}^{2}V^{\prime}\dot{V}+r^{2}V^{\prime}\ddot{U} (C14)
+\displaystyle+ U[(Ω022Ω026)V+r(4V˙rV¨]},\displaystyle U\,[(\Omega_{\ell}^{0}\,{}^{2}-2\Omega_{\ell^{\prime}}^{0}\,{}^{2}-6)V^{\prime}+r(4\dot{V}^{\prime}-r\ddot{V}^{\prime}]\big{\}},
χ20(k,k)\displaystyle\chi_{2}^{0-}(k,k^{\prime}) =\displaystyle= Ω0Ω0Ω2[UV+V(U4V+3rV˙)+rVV˙],\displaystyle\Omega_{\ell}^{0}\,\,\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell}^{2}\,\big{[}UV^{\prime}+V(U^{\prime}-4V^{\prime}+3r\dot{V}^{\prime})+rV^{\prime}\dot{V}\big{]}, (C15)
χ100(k,k)\displaystyle\chi_{1}^{00}(k,k^{\prime}) =\displaystyle= 2(2rUU˙+Ω0r2VU˙5Ω0V2U+2Ω0Ω02V2V+Ω0r2UV˙+3UU),\displaystyle 2\big{(}-2rU\dot{U}^{\prime}+\Omega_{\ell}^{0}\,{}^{2}rV\dot{U}^{\prime}-5\Omega_{\ell^{\prime}}^{0}\,{}^{2}V^{\prime}U+2\Omega_{\ell}^{0}\,{}^{2}\Omega_{\ell^{\prime}}^{0}\,{}^{2}V^{\prime}V+\Omega_{\ell^{\prime}}^{0}\,{}^{2}rU\dot{V}^{\prime}+3U^{\prime}U\ \big{)}, (C16)
χ200(k,k)\displaystyle\chi_{2}^{00}(k,k^{\prime}) =\displaystyle= Ω0Ω0(UV+VV+rVU˙2rVV˙+rUV˙+r2V˙V˙),\displaystyle\mbox{}-\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell}^{0}\,\big{(}-U^{\prime}V+V^{\prime}V+rV\dot{U}^{\prime}-2rV\dot{V}^{\prime}+rU\dot{V}^{\prime}+r^{2}\dot{V}^{\prime}\dot{V}\big{)}, (C17)
χ1+(k,k)\displaystyle\chi_{1}^{+-}(k,k^{\prime}) =\displaystyle= 2(2rU˙U+Ω0r2U˙Vr2U˙U˙Ω0U2V+Ω0r2UV˙+UU),\displaystyle 2\big{(}-2r\dot{U}^{\prime}U+\Omega_{\ell}^{0}\,{}^{2}r\dot{U}^{\prime}V-r^{2}\dot{U}^{\prime}\dot{U}-\Omega_{\ell^{\prime}}^{0}\,{}^{2}UV^{\prime}+\Omega_{\ell^{\prime}}^{0}\,{}^{2}rU\dot{V}^{\prime}+U^{\prime}U\big{)}, (C18)
χ2+(k,k)\displaystyle\chi_{2}^{+-}(k,k^{\prime}) =\displaystyle= 2Ω0Ω0Ω2Ω2VV,\displaystyle\mbox{}-2\Omega_{\ell}^{0}\,\,\Omega_{\ell^{\prime}}^{0}\,\,\Omega_{\ell}^{2}\,\Omega_{\ell^{\prime}}^{2}\,V^{\prime}V, (C19)
χ3+(k,k)\displaystyle\chi_{3}^{+-}(k,k^{\prime}) =\displaystyle= Ω0Ω0(rVU˙VU+rUV˙+UU).\displaystyle\Omega_{\ell}^{0}\,\Omega_{\ell^{\prime}}^{0}\,\big{(}-rV\dot{U}^{\prime}-V^{\prime}U+rU\dot{V}^{\prime}+U^{\prime}U\big{)}. (C20)

Here U,VUn,VnU,V\equiv{}_{n}U{}_{\ell},{}_{n}V{}_{\ell}, and U,VUn,VnU^{\prime},V^{\prime}\equiv{}_{n^{\prime}}U{}_{\ell^{\prime}},{}_{n^{\prime}}V_{\ell^{\prime}} and U˙=rUn,V˙=rVn,U˙=rUn\dot{U}=\partial_{r}\,{}_{n}U{}_{\ell},\dot{V}=\partial_{r}\,{}_{n}V{}_{\ell},\dot{U^{\prime}}=\partial_{r}\,{}_{n^{\prime}}U{}_{\ell^{\prime}} and V˙=rVn\dot{V^{\prime}}=\partial_{r}\,{}_{n^{\prime}}V{}_{\ell^{\prime}}.

The following selection rules are imposed on the kernels:

  • |ll|s|l+l||l^{\prime}-l|\leq s\leq|l^{\prime}+l|.

  • mm+t=0m-m^{\prime}+t=0.

  • st=0\mathcal{B}_{st}^{--}=0 for s = 0,1.

  • st0=0\mathcal{B}_{st}^{0-}=0 for s = 0.

Kernel components stμν\mathcal{B}_{st}^{\mu\nu} are found to have these following properties:

  1. 1.

    stμν=stνμ\mathcal{B}_{st}^{\mu\nu}=\mathcal{B}_{st}^{\nu\mu} (by construction)

  2. 2.

    st=(1)++sst++\mathcal{B}_{st}^{--}=(-1)^{\ell+\ell^{\prime}+s}\,\mathcal{B}_{st}^{++}

  3. 3.

    st0=(1)++sst+0\mathcal{B}_{st}^{0-}=(-1)^{\ell+\ell^{\prime}+s}\,\mathcal{B}_{st}^{+0}

  4. 4.

    st00=st+=st+=0\mathcal{B}_{st}^{00}=\mathcal{B}_{st}^{+-}=\mathcal{B}_{st}^{-+}=0 for odd (++s)\left(\ell^{\prime}+\ell+s\right)\,

  5. 5.

    stμν(k,k)=(1)++s+tst¯μν(k,k)\mathcal{B}_{st}^{\mu\nu\,*}(k,k^{\prime})=(-1)^{\ell^{\prime}+\ell+s+t}\,\mathcal{B}_{s\bar{t}}^{\mu\nu}(k^{\prime},k)

Self-coupling sensitivity kernels for axisymmetric magnetic fields exhibit the useful property that Bs0μν(m)B_{s0}^{\mu\nu}(m) may be neatly separated into mm-dependent and mm-independent terms

Bs0μν(m)\displaystyle B_{s0}^{\mu\nu}(m) =\displaystyle= (1)m(sm0m)𝒦~sμν\displaystyle(-1)^{m}\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ -m&0&m\end{smallmatrix}\bigg{)}\,\tilde{\mathcal{K}}_{s}^{\mu\nu} (C21)
using the relation(sm0m)\displaystyle\text{using the relation}\quad\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ -m&0&m\end{smallmatrix}\bigg{)}\, =\displaystyle= (1)m+𝒫s()(m)(s0)\displaystyle\frac{(-1)^{m+\ell}}{\ell}\>\mathcal{P}^{(\ell)}_{s}(m)\,\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ -\ell&0&\ell\end{smallmatrix}\bigg{)}\, (C22)
Bs0μν(m)\displaystyle B_{s0}^{\mu\nu}(m) =\displaystyle= 𝒫s(l)(m)𝒦sμν,\displaystyle\mathcal{P}_{s}^{(l)}(m)\,\mathcal{K}_{s}^{\mu\nu}, (C23)

where 𝒦sμν=(1)(s0)𝒦~sμν\mathcal{K}_{s}^{\mu\nu}=\frac{(-1)^{\ell}}{\ell}\bigg{(}\begin{smallmatrix}\ell&s&\ell\\ -\ell&0&\ell\end{smallmatrix}\bigg{)}\,\tilde{\mathcal{K}}_{s}^{\mu\nu}. As shown in Eqn. (34), the relation (C23) is essential in cutting down on the calculation of (2+1)(2\ell+1) kernels for each (n,)(n,\ell) multiplet. Thus, it suffices to compute a single kernel 𝒦sμν\mathcal{K}_{s}^{\mu\nu} for every multiplet.

Refer to caption
Figure 6: Density-scaled Lorentz stress kernels for modes S102,S604{}_{2}\rm{S}_{10},{}_{4}\rm{S}_{60} and S1105{}_{5}\rm{S}_{110}. The kernels in the top row extends between 0.9R<r<R0.9R_{\odot}<r<R_{\odot} and shows the strong near-surface sensitivity of S1105{}_{5}\rm{S}_{110} and S604{}_{4}\rm{S}_{60} but weaker sensitivity of S102{}_{2}\rm{S}_{10}. The kernels in the bottom row are plotted from 0.9R0.9R_{\odot} down to the tachocline and show the dominance of sensitivity of the S102{}_{2}\rm{S}_{10} mode over S1105{}_{5}\rm{S}_{110} and S604{}_{4}\rm{S}_{60} in deeper layers.

Appendix D Custom magnetic fields

D.1 Construction of 𝐁\mathbf{B}\,

Using identities 1Ym=Ω0(Ym1𝒆^+Ym+1𝒆^+)\bm{\nabla}_{1}Y_{\ell m}=\Omega_{\ell}^{0}\,\left(Y_{\ell m}^{-1}\hat{\bm{e}}_{-}+Y_{\ell m}^{+1}\hat{\bm{e}}_{+}\right)\,, 𝒆^r×1Ym=iΩ0(Ym1𝒆^Ym+1𝒆^+)\hat{\bm{e}}_{r}\times\bm{\nabla}_{1}Y_{\ell m}=i\,\Omega_{\ell}^{0}\,\left(Y_{\ell m}^{-1}\hat{\bm{e}}_{-}-Y_{\ell m}^{+1}\hat{\bm{e}}_{+}\right)\, and Y10(θ,ϕ)=γ1cosθY_{1}^{0}(\theta,\phi)=\gamma_{1}\,\cos\theta, we obtain the following expressions:

  1. 1.

    A toroidal field 𝐁=α(r)𝒆^r×1Ym=α(r)sinθ𝒆^ϕ\mathbf{B}\,=\alpha(r)\hat{\bm{e}}_{r}\times\bm{\nabla}_{1}Y_{\ell m}=-\alpha(r)\sin\theta\hat{\bm{e}}_{\phi} may be given as B10=iα(r)/γ1(1,0,1)B_{10}=i\alpha(r)/\gamma_{1}\,\left(-1,0,1\right)\,, with all other BstB_{st} components being 0. α(r)\alpha(r) represents a function in radial distance rr which may be tuned to construct a region containing a dominant, insignificant or intermediate-magnitude toroidal magnetic field.

  2. 2.

    A dipolar field 𝐁=β(r)(2cosθ𝒆^r+sinθ𝒆^θ)\mathbf{B}\,=\beta(r)(2\cos\theta\hat{\bm{e}}_{r}+\sin\theta\hat{\bm{e}}_{\theta}) with βr3\beta\propto r^{-3} is given as B10=β(r)/γ1(1,2,1)B_{10}=-\beta(r)/\gamma_{1}\,\left(1,-2,1\right)\,, with all other BstB_{st} components being 0.

We choose to express a vector in GSH basis 𝐁=(aYm1𝒆^+bYm0𝒆^0+cYm+1𝒆^+)\mathbf{B}\,=\left(aY_{\ell m}^{-1}\hat{\bm{e}}_{-}+bY_{\ell m}^{0}\hat{\bm{e}}_{0}+cY_{\ell m}^{+1}\hat{\bm{e}}_{+}\right)\, in the convenient form 𝐁=(a,b,c)\mathbf{B}\,=\left(a,b,c\right)\,. In the Sun, the tachocline is believed to contain a dominantly toroidal field, while the simplest magnetic configuration at the surface is a typical dipole (during solar minima Muñoz Jaramillo et al. (2013); Bhowmik and Nandy (2018)). Therefore, a crude approximation would involve constructing a global magnetic field that changes from a toroidal to a dipolar configuration as a function of radial distance. This forms the motivation for the next mathematical exercise that takes purely toroidal and dipolar magnetic fields and constructs a mixed field,

𝐁10mixed(r)=iα(r)γ1(101)β(r)γ1(a2ba).\mathbf{B}\,_{10}^{\rm{mixed}}(r)=-i\>\frac{\alpha(r)}{\gamma_{1}\,}\left(\begin{matrix}1\\ 0\\ -1\end{matrix}\right)\,-\frac{\beta(r)}{\gamma_{1}\,}\left(\begin{matrix}a\\ -2b\\ a\end{matrix}\right)\,. (D1)

The above form of 𝐁10mixed(r)\mathbf{B}\,_{10}^{\rm{mixed}}(r) is chosen with the following motivation

  • 𝐁10mixed(r)\mathbf{B}\,_{10}^{\rm{mixed}}(r) has to satisfy the constraint 𝐁=0\bm{\nabla}\cdot\mathbf{B}\,=0. In the GSH basis, this translates to

    B10+B10+=r1r(r2B100).B^{-}_{10}+B^{+}_{10}=r^{-1}\partial_{r}(r^{2}B_{10}^{0}). (D2)
  • We write 𝐁10mixed(r)=𝐁10tor(r)+𝐁~10(r)\mathbf{B}\,_{10}^{\rm{mixed}}(r)=\mathbf{B}\,_{10}^{\rm{tor}}(r)+\widetilde{\mathbf{B}\,}_{10}(r), where 𝐁10tor(r)\mathbf{B}\,_{10}^{\rm{tor}}(r) represents the toroidal part (first term in Eqn. D1) and 𝐁~10(r)\widetilde{\mathbf{B}\,}_{10}(r) represents the remnant field, excluding the toroidal part (second term in Eq. [D1]). Invoking the linearity of the Eqn. (D2), we write

    (B10,tor+B10+,tor)+(B~10+B~10+)=r1r(r2B100,tor)+r1r(r2B~100).(B_{10}^{-,\rm{tor}}+B_{10}^{+,\rm{tor}})+(\widetilde{B}_{10}^{-}+\widetilde{B}_{10}^{+})=r^{-1}\partial_{r}(r^{2}B_{10}^{0,\rm{tor}})+r^{-1}\partial_{r}(r^{2}\widetilde{B}_{10}^{0}). (D3)

    The toroidal term 𝐁10tor(r)\mathbf{B}\,_{10}^{\rm{tor}}(r) is eliminated from this equation and therefore stated separately in Eqn. (D1) since this involves no further effort to satisfy the divergence-free condition on field.

  • This simplifies to solving for the Ordinary Differential Equation (ODE)

    B~10+B~10+=r1r(r2B~100).\widetilde{B}_{10}^{-}+\widetilde{B}_{10}^{+}=r^{-1}\partial_{r}(r^{2}\widetilde{B}_{10}^{0}). (D4)

    Substituting the second term from Eqn. (D1) in the above equation leads us to an ODE in rr that relates a(r)a(r) and b(r)b(r),

    a(r)=b(r)rb˙(r).a(r)=b(r)-r\,\dot{b}(r). (D5)

We obtain the following final form of 𝐁\mathbf{B}\,

Bst(r)={iα(r)γ1(101)β(r)γ1(brb˙2bbrb˙),for(s,t)=(1,0)0,for(s,t)(1,0),B_{st}(r)=\begin{cases}-i\>\frac{\alpha(r)}{\gamma_{1}\,}\left(\begin{matrix}1\\ 0\\ -1\end{matrix}\right)\,-\frac{\beta(r)}{\gamma_{1}\,}\left(\begin{matrix}b-r\dot{b}\\ -2b\\ b-r\dot{b}\end{matrix}\right)\,,&\text{for}(s,t)=(1,0)\\ 0,&\text{for}(s,t)\neq(1,0),\end{cases} (D6)

where b(r)=1b(r)=1 (or equivalently, any real constant) where field is perfectly dipolar. The term rb˙(r)r\dot{b}(r) appears as a consequence of fixing the divergence to zero and is only nonzero in the transition region where b(r)b(r) goes from 0 to 11. It may be verified – using 𝐁=gαβ(𝐁)αβ\bm{\nabla}\cdot\mathbf{B}\,=g_{\alpha\beta}(\bm{\nabla}\mathbf{B}\,)^{\alpha\beta} (Chakraborty and Das, 2019) – that the two parts in (D6) (toroidal and dipolar) satisfy the solenoidal condition independently.

Refer to caption
Figure 7: (a) The radial profiles of parameters aa and bb in Eqn. (D5). The smooth transition of bb from 0 to 11 is modelled using a sigmoid around r=0.7Rr=0.7R_{\odot}. (b) Strength of the three component of total 𝐁\mathbf{B}\, in Eqn. (D6). α(r)\alpha(r) is the sum of two Gaussians, one centred at r=0r=0 with peak 107G10^{7}G and another at r=0.7Rr=0.7R_{\odot} with peak 105G10^{5}G and an extended tail. The r=0.7Rr=0.7R_{\odot} mark is roughly where the tachocline is located and hence the peak in the toroidal component α(r)\alpha(r). Figure (b) shows the poloidal (dipolar) field β\beta starting to dominate over the toroidal field by at least three orders of magnitude for r0.95Rr\gtrsim 0.95R_{\odot}.

D.2 Construction of 𝓗\boldsymbol{\mathcal{H}}

The coupling matrix Λmm\Lambda_{m^{\prime}m} requires the expansion of the Lorentz stress 𝓗\boldsymbol{\mathcal{H}} in the basis of GSH,

𝓗\displaystyle\boldsymbol{\mathcal{H}} =\displaystyle= sthstμνYstμ+νe^μe^ν=s1,t1s2,t2Bs1t1μBs2t2νYs1t1μYs2t2νe^μe^ν\displaystyle\sum_{st}h_{st}^{\mu\nu}Y^{\mu+\nu}_{st}\hat{e}_{\mu}\hat{e}_{\nu}=\sum_{s_{1},t_{1}}\sum_{s_{2},t_{2}}B^{\mu}_{s_{1}t_{1}}B^{\nu}_{s_{2}t_{2}}Y^{\mu}_{s_{1}t_{1}}Y^{\nu}_{s_{2}t_{2}}\hat{e}_{\mu}\hat{e}_{\nu} (D7)
hstμν\displaystyle h^{\mu\nu}_{st} =\displaystyle= s1,s2,t1,t2Bs1t1μBs2t2νYstμ+νYs1t1μYs2t2νdΩ\displaystyle\sum_{s_{1},s_{2},t_{1},t_{2}}B_{s_{1}t_{1}}^{\mu}B_{s_{2}t_{2}}^{\nu}\int Y^{*\mu+\nu}_{st}Y_{s_{1}t_{1}}^{\mu}Y_{s_{2}t_{2}}^{\nu}\mathrm{d}\Omega (D8)
=\displaystyle= s1,s2,t1,t2Bs1t1μBs2t2ν(1)μ+ν+t(2s+1)(2s1+1)(2s2+1)4π(s1ss2μ(μ+ν)ν)(s1ss2t1tt2),\displaystyle\sum_{s_{1},s_{2},t_{1},t_{2}}B^{\mu}_{s_{1}t_{1}}B^{\nu}_{s_{2}t_{2}}(-1)^{\mu+\nu+t}\sqrt{\frac{(2s+1)(2s_{1}+1)(2s_{2}+1)}{4\pi}}\left(\begin{array}[]{ccr}s_{1}&s&s_{2}\\ \mu&-(\mu+\nu)&\nu\end{array}\right)\left(\begin{array}[]{ccr}s_{1}&s&s_{2}\\ t_{1}&-t&t_{2}\end{array}\right), (D13)

where μ\mu or ν\nu = {,0,+}\{-,0,+\}. Given that we have 𝑩T=Bs0t0μYs0t0μe^μ\boldsymbol{B}_{T}=B^{\mu}_{s_{0}t_{0}}Y^{\mu}_{s_{0}t_{0}}\hat{e}_{\mu}, the expression for hstμνh^{\mu\nu}_{st} becomes

hstμν=Bs0t0μBs0t0ν(1)μ+ν+t(2s0+1)2s+14π(s0ss0μ(μ+ν)ν)(s0ss0t0tt0).\displaystyle h_{st}^{\mu\nu}=B^{\mu}_{s_{0}t_{0}}\,B^{\nu}_{s_{0}t_{0}}\,(-1)^{\mu+\nu+t}(2s_{0}+1)\,\sqrt{\frac{2s+1}{4\pi}}\left(\begin{array}[]{ccr}s_{0}&s&s_{0}\\ \mu&-(\mu+\nu)&\nu\end{array}\right)\left(\begin{array}[]{ccr}s_{0}&s&s_{0}\\ t_{0}&-t&t_{0}\end{array}\right). (D18)

For the axisymmetric magnetic field constructed in Section D.1, we have set s0=1s_{0}=1 and t0=0t_{0}=0. Wigner-3j3j selection rules (Appendix C of Dahlen and Tromp, 1998) dictate that 𝓗\boldsymbol{\mathcal{H}} only have s=0,1,2s=0,1,2 and t=0t=0. Then we have the form

hs0μν=3γsB10μB10ν(1)μ+ν(1s1μ(μ+ν)ν)(1s1000).h_{s0}^{\mu\nu}=3\gamma_{s}\,\,B^{\mu}_{10}\,B^{\nu}_{10}\,(-1)^{\mu+\nu}\,\left(\begin{array}[]{ccr}1&s&1\\ \mu&-(\mu+\nu)&\nu\end{array}\right)\left(\begin{array}[]{ccr}1&s&1\\ 0&0&0\end{array}\right). (D19)

But we know that (1s1000)\bigg{(}\begin{smallmatrix}1&s&1\\ 0&0&0\end{smallmatrix}\bigg{)}\, vanishes for odd s. Thus 𝓗\boldsymbol{\mathcal{H}} has no s=1s=1 and has non-zero s=0s=0 components, which is different from how differential rotation couples modes. The s=0s=0 feature of the Lorentz stress tensor indicates a net shift from the unperturbed mode frequency ωn{}_{n}\omega{}_{\ell} for a particular multiplet Sln{}_{n}\mathrm{S}_{l}\, as this term couples with (0m0m)\bigg{(}\begin{smallmatrix}\ell^{\prime}&0&\ell\\ -m&0&m\end{smallmatrix}\bigg{)}\,, which is independent of mm.

In Section 3, we carry out calculations for the forward problem to estimate the frequency splitting induced by a synthetic magnetic field that remains toroidal from the core to the tachocline, subsequently transitioning to mixed and finally to purely dipolar near the solar surface.

Appendix E Transforming 𝓗\boldsymbol{\mathcal{H}} from GSH space to physical space

The Lorentz-stress sensitivity kernels have four independent components (see symmetry relations of stμν\mathcal{B}_{st}^{\mu\nu} in Appendix C.1). The six independent Lorentz stress components in (r,θ,ϕ)(r,\theta,\phi) space may be related to the (0,+,0,+,-) space of GSH through the following relations

BrBr\displaystyle B_{r}B_{r} =\displaystyle= s,thst00Yst0,\displaystyle\sum_{s,t}h_{st}^{00}Y_{st}^{0}, (E1)
BrBθ\displaystyle B_{r}B_{\theta} =\displaystyle= 12s,t(hst0Ysthst0+Yst+),\displaystyle\tfrac{1}{\sqrt{2}}\,\sum_{s,t}(h_{st}^{0-}Y_{st}^{-}-h_{st}^{0+}Y_{st}^{+}), (E2)
BrBϕ\displaystyle B_{r}B_{\phi} =\displaystyle= i2s,t(hst0Yst+hst0+Yst+),\displaystyle-\tfrac{i}{\sqrt{2}}\,\sum_{s,t}(h_{st}^{0-}Y_{st}^{-}+h_{st}^{0+}Y_{st}^{+}), (E3)
BθBθ\displaystyle B_{\theta}B_{\theta} =\displaystyle= 12s,t(hst++Yst+22hst+Yst0+hstYst2),\displaystyle\tfrac{1}{2}\,\sum_{s,t}(h_{st}^{++}Y_{st}^{+2}-2h_{st}^{+-}Y_{st}^{0}+h_{st}^{--}Y_{st}^{-2}), (E4)
BθBϕ\displaystyle B_{\theta}B_{\phi} =\displaystyle= i2s,t(hst++Yst+2hstYst2),\displaystyle\tfrac{i}{2}\sum_{s,t}(h_{st}^{++}Y_{st}^{+2}-h_{st}^{--}Y_{st}^{-2}), (E5)
BϕBϕ\displaystyle B_{\phi}B_{\phi} =\displaystyle= 12s,t(hst++Yst+2+2hst+Yst0+hstYst2).\displaystyle-\tfrac{1}{2}\,\sum_{s,t}(h_{st}^{++}Y_{st}^{+2}+2h_{st}^{+-}Y_{st}^{0}+h_{st}^{--}Y_{st}^{-2}). (E6)

Appendix F Representation of Splitting Data

It is standard practice in seismology and helioseismology to represent frequency splitting data by numbers called splitting coefficients (also called aa coefficients), which describe the decomposition of δωn=mωnmωn\delta{}_{n}\omega{}_{\ell m}={}_{n}\omega{}_{\ell m}-{}_{n}\omega{}_{\ell} in terms of some basis function over mm as follows

ωn=mωn+j=0jmaxajn𝒫j()(m),{}_{n}\omega{}_{\ell m}={}_{n}\omega{}_{\ell}+\sum_{j=0}^{j_{\text{max}}}a^{n\ell}_{j}\,\mathcal{P}^{(\ell)}_{j}(m), (F1)

where ajna_{j}^{n\ell} are aa coefficients and 𝒫j()(m)\mathcal{P}^{(\ell)}_{j}(m) represents a jmax+1j_{\text{max}}+1-dimensional orthogonal basis of polynomials on the discrete space of mm’s which runs from -\ell to \ell. In practice, aa coefficients are recorded for jmax=36j_{\text{max}}=36 (e.g., Schou, 1999). A recipe for obtaining these may be found in Appendix A of Schou et al. (1994). Harnessing the orthogonality of the basis polynomials, m=𝒫j()(m)𝒫k()(m)=δjkm=[𝒫j()(m)]2\sum_{m=-\ell}^{\ell}\mathcal{P}^{(\ell)}_{j}(m)\mathcal{P}^{(\ell)}_{k}(m)=\delta_{jk}\,\sum_{m=-\ell}^{\ell}\left[\mathcal{P}^{(\ell)}_{j}(m)\right]^{2}, we write the aa coefficients as

ajn=m=δωn𝒫j()m(m)/m=[𝒫j()(m)]2.a^{n\ell}_{j}=\sum_{m=-\ell}^{\ell}\delta{}_{n}\omega{}_{\ell m}\,\mathcal{P}^{(\ell)}_{j}(m)\bigg{/}\sum_{m=-\ell}^{\ell}\left[\mathcal{P}^{(\ell)}_{j}(m)\right]^{2}. (F2)

Appendix G Coupling of multiplets due to differential rotation

One of the most precise measurements that helioseimology has offered is that of the differential rotation of the Sun (Thompson et al., 2003). However, a primary premise in these inversions is that the isolated-multiplet assumption is valid. This is shown in Lavely and Ritzwoller (1992) by calculating the coupling strength between two multiplets. We performed an extensive calculation and also converge on the conclusion that the isolated-multiplet is a valid assumption for perturbations due to differential rotation. The rotation profile is dominantly axisymmetric with odd angular degree s=1,3,5s={1,3,5}. The perturbing background velocity is

𝒖0(r)=s=1,3,5ws0(r)𝒓^×𝟏Ys0(θ,ϕ),\boldsymbol{u}_{0}(r)=\sum_{s=1,3,5}-w_{s}^{0}(r)\boldsymbol{\hat{r}}\times\boldsymbol{\bm{\nabla}_{1}}Y_{s}^{0}(\theta,\phi), (G1)

where ws0(r)w_{s}^{0}(r) are the coefficients of the toroidal component of the axisymmetric vector spherical harmonics. The radial profile of solid body rotation is w10(r)w_{1}^{0}(r), which is 440 nHz at the surface, the equatorial surface rotation of the Sun.

Although differential rotation is a much stronger perturbation than Lorentz-stresses, there are no invisible modes (as opposed to what we found in Figure 1). This is because the strong self-coupling of multiplets and therefore a dominantly diagonal supermatrix 𝒵kk\mathcal{Z}_{k^{\prime}k}. This results in normalized eigenvector corrections ck1.0c_{k^{\prime}}\sim 1.0 (refer Eqn [B10]) only for k=kk^{\prime}=k, where k=(n,,m)k=(n,\ell,m) and k=(n,,m)k^{\prime}=(n^{\prime},\ell^{\prime},m^{\prime}) are mode labels before and after perturbation respectively. Thus, even though n,n,\ell do not stay good labels post perturbation, we can map the perturbed to the unperturbed modes by analyzing the eigenvectors. The azimuthal order mm remains a good label because of the axisymmetry of 𝒖0(r)\boldsymbol{u}_{0}(r). Figure 8 has a maximum offset of 0.01% when using cross-coupling as opposed self-coupling. Therefore, the validity of isolated multiplets holds good. Although Figure 8 shows degrees up to =30\ell=30, we calculated offsets up to =150\ell=150, and the maximum offset was 0.1%, located in the fundamental branch n=0n=0.

Refer to caption
Figure 8: The relative offset of L2QDPTL_{2}^{\text{QDPT}} as compared to that of L2DPTL_{2}^{\text{DPT}} (see Eqn [38,39]) under the perturbation of an axisymmetric differential rotation Ω(r,θ)\Omega(r,\theta) as observed in the Sun. The gray-scale intensity and size of each ‘o’ (representing a multiplet) increases with increasing departure of δωnmQ\delta{}_{n}\omega{}_{\ell m}^{\text{Q}} from δωnmD\delta{}_{n}\omega{}_{\ell m}^{\text{D}}. A larger and darker ‘o’, implies stronger cross-coupling for that multiplet.

References

  • Antia et al. (2013) Antia, H. M., Chitre, S. M., and Gough, D. O. (2013). On the magnetic field required for driving the observed angular-velocity variations in the solar convection zone. MNRAS, 428:470–475.
  • Antia et al. (2000) Antia, H. M., Chitre, S. M., and Thompson, M. J. (2000). The Sun’s acoustic asphericity and magnetic fields in the solar convection zone. A&A, 360:335–344.
  • Baldner et al. (2010) Baldner, C. S., Antia, H. M., Basu, S., and Larson, T. P. (2010). Internal magnetic fields inferred from helioseismic data. Astronomische Nachrichten, 331:879–882.
  • Basu and Antia (2003) Basu, S. and Antia, H. M. (2003). Changes in Solar Dynamics from 1995 to 2002. ApJ, 585:553–565.
  • Basu et al. (1999) Basu, S., Antia, H. M., and Tripathy, S. C. (1999). Ring Diagram Analysis of Near-Surface Flows in the Sun. ApJ, 512:458–470.
  • Bharati Das et al. (2019) Bharati Das, S., Basak, A., Nandy, D., and Vaidya, B. (2019). Modeling Star-Planet Interactions in Far-out Planetary and Exoplanetary Systems. ApJ, 877(2):80.
  • Bhowmik and Nandy (2018) Bhowmik, P. and Nandy, D. (2018). Prediction of the strength and timing of sunspot cycle 25 reveal decadal-scale space environmental conditions. Nature Communication, 9:5209.
  • Braun (2019) Braun, D. C. (2019). Flows around Averaged Solar Active Regions. The Astrophysical Journal, 873(1):94.
  • Cally (2000) Cally, P. S. (2000). Modelling p-Mode Interaction with a Spreading Sunspot Field. Sol. Phys., 192:395–401.
  • Cally and Bogdan (1993) Cally, P. S. and Bogdan, T. J. (1993). Solar p-modes in a vertical magnetic field - Trapped and damped pi-modes. ApJ, 402:721–732.
  • Cally and Bogdan (1997) Cally, P. S. and Bogdan, T. J. (1997). Simulation of f- and p-Mode Interactions with a Stratified Magnetic Field Concentration. ApJ, 486:L67+.
  • Cameron et al. (2008) Cameron, R., Gizon, L., and Duvall, Jr., T. L. (2008). Helioseismology of Sunspots: Confronting Observations with Three-Dimensional MHD Simulations of Wave Propagation. Sol. Phys., 251:291–308.
  • Cameron et al. (2010) Cameron, R., Gizon, L., Schunker, H., and Pietarila, A. (2010). Constructing semi-empirical sunspot models for helioseismology. ArXiv e-prints.
  • Chakraborty and Das (2019) Chakraborty, T. and Das, S. B. (2019). Mathematica package for generalised spherical harmonic manipulation. https://github.com/tuneerch/LStress_Mathematica. Accessed: 2019-07-17.
  • Chaplin et al. (2000) Chaplin, W. J., Elsworth, Y., Isaak, G. R., Miller, B. A., and New, R. (2000). Variations in the excitation and damping of low-l solar p modes over the solar activity cycle. MNRAS, 313(1):32–42.
  • Chaplin and Miglio (2013) Chaplin, W. J. and Miglio, A. (2013). Asteroseismology of Solar-Type and Red-Giant Stars. Annual Review of Astronomy and Astrophysics, 51(1):353–392.
  • Chou and Dai (2001) Chou, D.-Y. and Dai, D.-C. (2001). Solar Cycle Variations of Subsurface Meridional Flows in the Sun. ApJ, 559:L175–L178.
  • Christensen–Dalsgaard (2003) Christensen–Dalsgaard, J. (2003). Lecture Notes on Stellar Oscillations. Fifth edition.
  • Christensen–Dalsgaard (2008) Christensen–Dalsgaard, J. (2008). Lecture Notes on Stellar Structure and Evolution. Sixth edition.
  • Christensen-Dalsgaard et al. (1996) Christensen-Dalsgaard, J., Dappen, W., Ajukov, S. V., Anderson, E. R., Antia, H. M., Basu, S., Baturin, V. A., Berthomieu, G., Chaboyer, B., Chitre, S. M., Cox, A. N., Demarque, P., Donatowicz, J., Dziembowski, W. A., Gabriel, M., Gough, D. O., Guenther, D. B., Guzik, J. A., Harvey, J. W., Hill, F., Houdek, G., Iglesias, C. A., Kosovichev, A. G., Leibacher, J. W., Morel, P., Proffitt, C. R., Provost, J., Reiter, J., Rhodes, Jr., E. J., Rogers, F. J., Roxburgh, I. W., Thompson, M. J., and Ulrich, R. K. (1996). The Current State of Solar Modeling. Science, 272:1286.
  • Cox (1980) Cox, J. P. (1980). Theory of stellar pulsation.
  • Cutler (2017) Cutler, C. (2017). Using eigenmode-mixing to measure or constrain the Sun’s interior B-field. ArXiv e-prints.
  • Dahlen and Tromp (1998) Dahlen, F. A. and Tromp, J. (1998). Theoretical Global Seismology. Princeton University Press.
  • De Rosa and Toomre (2004) De Rosa, M. L. and Toomre, J. (2004). Evolution of Solar Supergranulation. ApJ, 616:1242–1260.
  • Dziembowski and Goode (2004) Dziembowski, W. A. and Goode, P. R. (2004). Helioseismic Probing of Solar Variability: The Formalism and Simple Assessments. ApJ, 600:464–479.
  • Edmonds (1960) Edmonds, A. R. (1960). Angular Momentum in Quantum Mechanics.
  • Fan (2009) Fan, Y. (2009). Magnetic Fields in the Solar Convection Zone. Living Reviews in Solar Physics, 6:4.
  • Giles (2000) Giles, P. M. (2000). Time-distance measurements of large-scale flows in the solar convection zone. PhD thesis, Stanford University, CA, USA.
  • Gizon et al. (2009) Gizon, L., Schunker, H., Baldner, C. S., Basu, S., Birch, A. C., Bogart, R. S., Braun, D. C., Cameron, R., Duvall, T. L., Hanasoge, S. M., Jackiewicz, J., Roth, M., Stahn, T., Thompson, M. J., and Zharkov, S. (2009). Helioseismology of Sunspots: A Case Study of NOAA Region 9787. Space Science Reviews, 144:249–273.
  • Goedbloed and Poedts (2004) Goedbloed, J. P. H. and Poedts, S. (2004). Principles of Magnetohydrodynamics: with Applications to Laboratory and Astrophysical Plasmas. Cambridge University Press.
  • Gough (1990) Gough, D. O. (1990). Comments on Helioseismic Inference. In Osaki, Y. and Shibahashi, H., editors, Progress of Seismology of the Sun and Stars, volume 367 of Lecture Notes in Physics, Berlin Springer Verlag, page 283.
  • Gough and Taylor (1984) Gough, D. O. and Taylor, P. P. (1984). Influence of rotation and magnetic fields on stellar oscillation eigenfrequencies. Mem. Soc. Astron. Italiana, 55(1-2):215–226.
  • Gough and Thompson (1990) Gough, D. O. and Thompson, M. J. (1990). The effect of rotation and a buried magnetic field on stellar oscillations. MNRAS, 242:25–55.
  • Hanasoge et al. (2012a) Hanasoge, S., Birch, A., Gizon, L., and Tromp, J. (2012a). Seismic Probes of Solar Interior Magnetic Structure. Physical Review Letters, 109(10):101101.
  • Hanasoge (2017) Hanasoge, S. M. (2017). Seismic sensitivity of normal-mode coupling to Lorentz stresses in the Sun. MNRAS, 470:2780–2790.
  • Hanasoge et al. (2012b) Hanasoge, S. M., Duvall, Jr., T. L., and Sreenivasan, K. R. (2012b). Anomalously Weak Solar Convection. Proceedings of the National Academy of Sciences, 109(30):11928–11932.
  • Hanasoge et al. (2017) Hanasoge, S. M., Woodard, M., Antia, H. M., Gizon, L., and Sreenivasan, K. R. (2017). Sensitivity of helioseismic measurements of normal-mode coupling to flows and sound-speed perturbations. MNRAS, 470:1404–1420.
  • Hood and Hughes (2011) Hood, A. W. and Hughes, D. W. (2011). Solar magnetic fields. Physics of the Earth and Planetary Interiors, 187(3-4):78–91.
  • Hotta et al. (2015) Hotta, H., Rempel, M., and Yokoyama, T. (2015). Efficient Small-scale Dynamo in the Solar Convection Zone. ApJ, 803:42.
  • Hotta et al. (2016) Hotta, H., Rempel, M., and Yokoyama, T. (2016). Large-scale magnetic fields at high Reynolds numbers in magnetohydrodynamic simulations. Science, 351:1427–1430.
  • Howe (2009) Howe, R. (2009). Solar Interior Rotation and its Variation. Living Reviews in Solar Physics, 6:1.
  • Khomenko and Collados (2015) Khomenko, E. and Collados, M. (2015). Oscillations and Waves in Sunspots. Living Reviews in Solar Physics, 12(1):6.
  • Kiefer and Roth (2018) Kiefer, R. and Roth, M. (2018). The Effect of Toroidal Magnetic Fields on Solar Oscillation Frequencies. The Astrophysical Journal, 854(1):74.
  • Kiefer et al. (2017) Kiefer, R., Schad, A., and Roth, M. (2017). The Direct Effect of Toroidal Magnetic Fields on Stellar Oscillations: An Analytical Expression for the General Matrix Element. ApJ, 846:162.
  • Komm et al. (1993) Komm, R. W., Howard, R. F., and Harvey, J. W. (1993). Meridional Flow of Small Photospheric Magnetic Features. Sol. Phys., 147:207–223.
  • Komm et al. (2000) Komm, R. W., Howe, R., and Hill, F. (2000). Solar-Cycle Changes in Gong P-Mode Widths and Amplitudes 1995-1998. ApJ, 531(2):1094–1108.
  • Korzennik et al. (2013) Korzennik, S. G., Rabello-Soares, M. C., Schou, J., and Larson, T. (2013). Accurate characterization of high-degree modes using MDI data. In Journal of Physics Conference Series, volume 440 of Journal of Physics Conference Series, page 012016.
  • Lavely and Ritzwoller (1992) Lavely, E. M. and Ritzwoller, M. H. (1992). The Effect of Global-Scale, Steady-State Convection and Elastic-Gravitational Asphericities on Helioseismic Oscillations. Philosophical Transactions of the Royal Society of London Series A, 339:431–496.
  • Leighton et al. (1962) Leighton, R. B., Noyes, R. W., and Simon, G. W. (1962). Velocity Fields in the Solar Atmosphere. I. Preliminary Report. ApJ, 135:474.
  • Lites et al. (2008) Lites, B. W., Kubo, M., Socas-Navarro, H., Berger, T., Frank, Z., Shine, R., Tarbell, T., Title, A., Ichimoto, K., Katsukawa, Y., Tsuneta, S., Suematsu, Y., Shimizu, T., and Nagata, S. (2008). The Horizontal Magnetic Flux of the Quiet-Sun Internetwork as Observed with the Hinode Spectro-Polarimeter. ApJ, 672:1237–1253.
  • Mejnertsen et al. (2018) Mejnertsen, L., Eastwood, J. P., Hietala, H., Schwartz, S. J., and Chittenden, J. P. (2018). Global mhd simulations of the earth’s bow shock shape and motion under variable solar wind conditions. Journal of Geophysical Research: Space Physics, 123(1):259–271.
  • Miesch (2005) Miesch, M. S. (2005). Large-Scale Dynamics of the Convection Zone and Tachocline. Living Reviews in Solar Physics, 2:1.
  • Miesch and Teweldebirhan (2016) Miesch, M. S. and Teweldebirhan, K. (2016). A three-dimensional Babcock-Leighton solar dynamo model: Initial results with axisymmetric flows. Advances in Space Research, 58:1571–1588.
  • Muñoz Jaramillo et al. (2013) Muñoz Jaramillo, A., Balmaceda, L. A., and DeLuca, E. E. (2013). Using the dipolar and quadrupolar moments to improve solar-cycle predictions based on the polar magnetic fields. Phys. Rev. Lett., 111:041106.
  • Muller et al. (1992) Muller, R., Auffret, H., Roudier, T., Vigneau, J., Simon, G. W., Frank, Z., Shine, R. A., and Title, A. M. (1992). Evolution and advection of solar mesogranulation. Nature, 356:322–325.
  • Nandy and Choudhuri (2002) Nandy, D. and Choudhuri, A. R. (2002). Explaining the Latitudinal Distribution of Sunspots with Deep Meridional Flow. Science, 296:1671–1673.
  • Ossendrijver (2003) Ossendrijver, M. (2003). The solar dynamo. A&A Rev., 11:287–367.
  • Parker (1955) Parker, E. N. (1955). Hydromagnetic Dynamo Models. ApJ, 122:293.
  • Petrie and Patrikeeva (2009) Petrie, G. J. D. and Patrikeeva, I. (2009). A Comparative Study of Magnetic Fields in the Solar Photosphere and Chromosphere at Equatorial and Polar Latitudes. ApJ, 699:871–884.
  • Pietarila Graham et al. (2010) Pietarila Graham, J., Cameron, R., and Schüssler, M. (2010). Turbulent Small-Scale Dynamo Action in Solar Surface Simulations. ApJ, 714(2):1606–1616.
  • Pintér (2008) Pintér, B. (2008). Modelling the Coupling Role of Magnetic Fields in Helioseismology. Sol. Phys., 251(1-2):329–340.
  • Rabello-Soares et al. (2018) Rabello-Soares, M. C., Bogart, R. S., and Scherrer, P. H. (2018). Statistical Analysis of Acoustic Wave Power and Flows around Solar Active Regions. The Astrophysical Journal, 859(1):7.
  • Rast (2003) Rast, M. P. (2003). The Scales of Granulation, Mesogranulation, and Supergranulation. ApJ, 597:1200–1210.
  • Ritzwoller and Lavely (1991) Ritzwoller, M. H. and Lavely, E. M. (1991). A unified approach to the helioseismic forward and inverse problems of differential rotation. ApJ, 369:557–566.
  • Schou (1999) Schou, J. (1999). Index of / schou/anavw72z. http://quake.stanford.edu/~schou/anavw72z/?C=M;O=A. Accessed: 2019-07-17.
  • Schou and Brown (1994) Schou, J. and Brown, T. M. (1994). Generation of artificial helioseismic time-series. A&AS, 107.
  • Schou et al. (1994) Schou, J., Christensen-Dalsgaard, J., and Thompson, M. (1994). On comparing helioseismic two-dimensional inversion methods. The Astrophysical Journal, 433.
  • Schrijver and Zwaan (2000) Schrijver, C. J. and Zwaan, C. (2000). Solar and stellar magnetic activity. Cambridge Astrophysics Series, 34.
  • Schunker and Cally (2006) Schunker, H. and Cally, P. S. (2006). Magnetic field inclination and atmospheric oscillations above solar active regions. MNRAS, 372:551–564.
  • Schunker et al. (2013) Schunker, H., Gizon, L., Cameron, R. H., and Birch, A. C. (2013). Helioseismology of sunspots: how sensitive are travel times to the Wilson depression and to the subsurface magnetic field? A&A, 558:A130.
  • Sekii (1990) Sekii, T. (1990). Two-Dimensional Inversion of Rotational Splitting Data, volume 367, page 337.
  • Sekii (1991) Sekii, T. (1991). Two-Dimensional Inversion for Solar Internal Rotation. PASJ, 43:381–411.
  • Thompson et al. (2003) Thompson, M. J., Christensen-Dalsgaard, J., Miesch, M. S., and Toomre, J. (2003). The Internal Rotation of the Sun. ARA&A, 41:599–643.
  • Toomre (2002) Toomre, J. (2002). Solar physics - order amidst turbulence. Science (New York, N.Y.), 296:64–5.
  • Vögler et al. (2005) Vögler, A., Shelyag, S., Schüssler, M., Cattaneo, F., Emonet, T., and Linde, T. (2005). Simulations of magneto-convection in the solar photosphere. Equations, methods, and results of the MURaM code. A&A, 429:335–351.
  • Švanda et al. (2014) Švanda, M., Sobotka, M., and Bárta, T. (2014). Moat Flow System around Sunspots in Shallow Subsurface Layers. The Astrophysical Journal, 790(2):135.
  • Weiss et al. (1996) Weiss, N. O., Brownjohn, D. P., Matthews, P. C., and Proctor, M. R. E. (1996). Photospheric Convection in Strong Magnetic Fields. MNRAS, 283:1153–1164.
  • Wicht (2002) Wicht, J. (2002). Inner-core conductivity in numerical dynamo simulations. Physics of the Earth and Planetary Interiors, 132(4):281 – 302.
  • Woodard (2016) Woodard, M. F. (2016). Evidence for large-scale subsurface convection in the Sun. MNRAS, 460:3292–3297.
  • Wright and Thompson (1992) Wright, A. N. and Thompson, M. J. (1992). On the effects of chromospheric magnetic perturbations on solar oscillation frequencies. A&A, 264(2):701–707.
  • Zhao and Kosovichev (2004) Zhao, J. and Kosovichev, A. G. (2004). Torsional Oscillation, Meridional Flows, and Vorticity Inferred in the Upper Convection Zone of the Sun by Time-Distance Helioseismology. ApJ, 603:776–784.
  • Zweibel and Gough (1995) Zweibel, E. G. and Gough, D. (1995). Is There a Seismic Signature of the Sun’s Magnetic Field? In Helioseismology, volume 376 of ESA Special Publication, page 73.