Abstract

Magnetic resonance imaging based on steady-state free precision (SSFP) sequences is a fast method to acquire , , and -weighted images. In inhomogeneous tissues such as lung tissue or blood vessel networks, however, microscopic field inhomogeneities cause a nonexponential free induction decay and a non-Lorentzian lineshape. In this work, the SSFP signal is analyzed for different prominent tissue models. Neglecting the effect of non-Lorentzian lineshapes can easily result in large errors of the determined relaxation times. Moreover, sequence parameters of SSFP measurements can be optimized for the nonexponential signal decay in many tissue structures.

1. Introduction

Magnetic resonance imaging is a powerful tool for in vivo measurements with different tissue contrasts. Most common tissue contrasts are based on -, -, or -weighted images, but also susceptibility-weighted, diffusion-weighted, or contrast-enhanced imaging are used in clinical standard routine. Recently, much effort has been put into a quantitative measurement of the underlying tissue parameters. This would allow an improved diagnosis with measurements performed on different dates and scanners. Moreover, most big data analyses rely on quantitative reliable contrast parameters. Typically, the measurement times of quantitative and maps are long. Recently, a promising method called MR fingerprinting was developed for quantitative determination of and with short measurement times. The basic idea of MR fingerprinting is to apply pulses, echo times, and acquisition times (pseudo)randomly and to compare the measurements with previously calculated dictionaries [1]. A typical implementation of a MR fingerprinting approach is performed with a steady-state free precession (SSFP) sequence.

Moreover, quantitative blood oxygenation level dependent (qBOLD) measurements in functional magnetic resonance imaging (fMRI) might be a relevant application for SSFP sequences. So far, qBOLD measurements are based on FLASH-like MR sequences and evaluated with analytical solutions of the Bloch- or the Bloch–Torrey-equation [25]. However, a quantitative evaluation of the SSFP sequence for blood vessel networks might lead to the applicability of SSFP for qBOLD measurements [6], similar than used for detection of microstructural properties in the heart [7].

For nonhomogeneous tissues, susceptibility differences between different compartments cause magnetic field inhomogeneities, and the gradient echo and spin echo signal decay cannot be described sufficiently by monoexponential decays. Typical examples are vessel networks in the brain [811], around axons [12], or in the myocardium, causing magnetic field inhomogeneities due to the susceptibility difference between blood and tissue [1315]. Although imaging of lung tissue is typically performed with computed tomography, in recent years, enormous efforts have been put into the field of lung MRI [1619]. Transverse relaxation in lung tissue is dominated by susceptibility effects between spherically shaped alveoli and surrounding tissues that cause nonexponential signal decay [2022]. Similarly, cells labeled with magnetic particles produce magnetic field inhomogeneities leading to an accelerated dephasing [23, 24]. So far, the SSFP signal was typically analyzed under the assumption of exponential signal decay. In this work, the free induction decay and the SSFP signal is analyzed for different types of tissue structures where the signal decay is nonexponential. The results are relevant for a detailed understanding of the SSFP signal, for example for quantitative MRI including MR fingerprinting.

As visualized in Figure 1(a), an ensemble of spin-bearing particles in an external magnetic field along the -axis leads to a macroscopic magnetization. Due to spin-spin-interaction, the transverse signal decays purely monoexponentially (see Figure 1(c)) with the intrinsic relaxation time . In the presence of magnetic field inhomogeneities (see Figure 1(b)), an additional modulation of the signal results from dephasing inside the local magnetic field:

For negligible diffusion effects, this modulation depends on the response function of the applied pulse sequence as well as on the distribution of the local Larmor frequencies , which is also denoted as lineshape:

In general, the lineshape depends on the geometry of the underlying structures creating microscopic field inhomogeneities, and the magnetization is nonexponential [25, 26]. Even though, usually a Lorentzian lineshape (index “L”) in the form of

is assumed to describe the resulting Larmor frequency distribution of the underlying tissue [27]. In the case of a FLASH-sequence with repetition time and flip angle , the response function takes the frequency-independent and purely real form [28]:

By virtue of Equation (3), the corresponding magnetization (also denoted with index “L”) decays monoexponentially:

which results in a purely monoexponential signal decay with relaxation time as shown in Figure 1(d). The goal of this work is to overcome the monoexponential approximation of the magnetization by utilizing the lineshapes of specific tissue geometries.

2. Material and Methods

In this work, the SSFP signal of important tissue geometries is derived. Therefore, the underlying local Larmor frequencies as well as the resulting lineshapes for the important cases of dephasing in a constant gradient as well as dephasing in a two-dimensional and three-dimensional dipole field (see Figure 2) are reviewed (see Sections 2.1 and 2.2). Then, the mathematical description of SSFP signal formation is introduced (Section 2.3), while new results are presented in Section 3.

2.1. Local Larmor Frequencies

Externally applied magnetic field gradients or internal gradients due to susceptibility differences cause a local magnetic field which is associated with a local Larmor frequency in which the dephasing occurs. The most important case is the dephasing in a constant gradient . Without loss of generality, the gradient is applied in -direction (see Figure 2(a)) within the interval (see Figure 2(b)). The Larmor frequency takes the form of

where is denoted as the characteristic frequency.

Cylindrical objects as for example blood filled vessels in the myocardium or in skeletal muscle (see Figure 2(c)) induce a two-dimensional dipole field [29]. The corresponding local Larmor frequency around these vessels is given by

where and are polar coordinates in a plane perpendicular to the axis of the cylindrical object (see Figure 2(d)), and denotes the radius of the vessels. The strength of the dipole field depends on the susceptibility differences between blood inside the vessel and surrounding tissue, as well as the angle between vessel and main magnetic field: .

Spherical magnetic field inhomogeneities, such as magnetically labeled cells or alveoli of the lung (see Figure 2(e) and [30]), create a three-dimensional dipole field

which depends on the distance to the center of the sphere and the polar angle between the external magnetic field and the position vector as visualized in Figure 2(f). In the lung, the dipole field strength depends on the susceptibility difference between air-filled alveoli and surrounding tissue: .

If the dephasing is restricted to the surface of a spherical object with radius , as for example on the surface of an alveolus as visualized in Figure 2(g), the radius in Equation (8) always takes the value . Thus, the local Larmor frequency on the alveolar surface (index AS) depends on the polar angle only:

As visualized in Figure 2(h), the maximal frequency takes the value for and , while the minimal frequency takes the value for . While the alveolar surface model is valid for air volume fractions close to , recently, the alveolar surface model was extended to air volume fractions [31]. In this extended alveolar surface model (index EAS), the Larmor frequency around an alveolus was approximated by:

If the movement of the spin-bearing particles is restricted to the alveolar surface, the extended alveolar surface model agrees with the alveolar surface model. However, it yields more realistic results for particles being not exactly restricted but diffusing close to the alveolar surface [31].

2.2. Corresponding Lineshapes

As in detail shown in Appendix A, the magnetic field inhomogeneities described by the local Larmor frequency offsets lead to dephasing of the local magnetization and a decay of the total magnetization . However, it is more convenient to analyze the frequency distribution or lineshape that is connected via a Fourier transform with the magnetization . The lineshapes corresponding to the above described frequency offsets are reviewed in this subsection. The relevant expressions for the magnetization decay can be found in Appendix B.

A monoexponential magnetization decay with relaxation time results in a Lorentzian lineshape as given in Equation (3) and shown in Figure 3(a). Note that the intrinsic relaxation time is absorbed in the definition of the magnetization , see Equation (1).

For dephasing in the constant gradient given in Equation (6), the lineshape is a boxcar function

and all possible Larmor frequencies take the same probability . Since the interval is considered, frequencies exclusively occur within the range . The lineshape is visualized in Figure 3(c). Dephasing and diffusion in constant gradients have intensively been analyzed e.g., in [32, 33].

The lineshape caused by a two-dimensional dipole field around a cylindrical object (see Figure 2(d)) depends on the volume fraction , where constitutes the radius of the surrounding dephasing cylinder:

Details of the derivation can be found in [34]. This lineshape is visualized in Figure 3(b). The lineshape of a single vessel in a cubic voxel is numerically and analytically determined in [3537], the lineshape of randomly distributed vessels being analyzed in [8]. A detailed comparison between randomly distributed vessels and the single vessel model is given in Appendix A in [11].

The asymmetric lineshape caused by the three-dimensional dipole field (see Equation (8)) around a spherical object (see Figure 2(f)) also depends on the volume fraction , where represents the radius of the surrounding dephasing sphere:

Details of the derivation can be found in [38]. This lineshape is visualized in Figure 3(d). Numerical simulations of a single alveolus in spherical and cubic voxels were performed in [39, 40]. Randomly distributed spheres are considered in [8].

In the limit of restricting water molecules to the surface of the alveoli, the lineshape is given by (see also the corresponding local Larmor frequency given in Equation (9)):

This expression also follows from the lineshape caused by a spherical object given in Equation (13) in the limit when dephasing occurs on the surface of the sphere: .

In the extended alveolar surface model, the lineshape was obtained as [31]:

where the function is defined in Equation (D.1) in Appendix D. The lineshape also converges to the alveolar surface lineshape (see Equation (14)) in the limit: .

2.3. SSFP Signal Formation

A pulse sequence similar to the previously described FLASH-sequence is the balanced SSFP-sequence [41]. While the FLASH-sequence spoiles residual transverse magnetization before the following excitation pulse, the SSFP-sequence reverses the effects of the applied gradients. After preparation in the steady state of a SSFP sequence, two different phase cycles for the excitation pulse are common: alternating phase and constant phase. The response function of the SSFP-sequence for alternating phase (upper sign) and constant phase (lower sign) is given as (see Equation (1) in [42]):

with the parameters

and the abbreviations

For further analysis it is advantageous, to expand the response function in a Fourier series [43, 44]

where the Fourier coefficients are given as

with the series expansion point

and the step function of the discrete variable :

In Figure 4, the Fourier coefficients are visualized for different flip angles . This agrees with numerical results for the coefficients obtained by Kim and Cho [45].

Finally, the total signal that is measured depends on the intrinsic -relaxation time, the lineshape , and the response function of the underlying pulse sequence (see Equation (5) in [46]):

Thus, for detailed understanding of SSFP signal formation, it is mandatory to consider the exact lineshape as presented in the last subsection.

3. Results

Introducing the Fourier series of the response function (20) in the general expression for the signal (24) and considering the analytic continuation of the free induction decay for negative times in Equation (A.7), the SSFP signal can be expressed in terms of the Fourier coefficients and the free induction decay

In the following subsections, this general expression is evaluated for the specific field inhomogeneities as described in Material and Methods.

3.1. Lorentzian Lineshape

To obtain the SSFP signal for the Lorentzian lineshape given in (3), it is advantageous to introduce the corresponding purely monoexponential magnetization decay from Equation (5) into the general expression (25). The appearing sums over the Fourier coefficients can be traced back to geometric series, and finally the signal is a sum of an exponentially decaying part and an exponentially growing part

with the prefactor and the abbreviation

as well as the initial signal

Measuring the SSFP signal allows fitting the relaxation times and the prefactor . The next subsection describes how to obtain the relaxation time knowing these parameters.

3.2. Quantification of the Longitudinal Relaxation Time

The series expansion point can be obtained after several rearrangement steps from the prefactor given in Equation (27):

The definition of the series expansion point in Equation (22) leads to the relation . Introducing the explicit expressions for the parameters and according to Equations (17) and (18), after several rearrangement steps one obtains:

In case of a Lorentzian lineshape, the parameters , , and can be determined by a biexponential model fit (see Equation (26)). Thus, the series expansion point can be calculated according to Equation (30), and the relaxation time is yielded by utilizing Equation (31).

3.3. Constant Gradient

In the case of constant gradients, the time evolution of the magnetization according to Equation (B.1) has to be introduced into the general expression for the SSFP signal in Equation (25):

where denotes the Gaussian or ordinary hypergeometric function. At the initial time , the signal becomes:

Since the lineshape for dephasing in a constant gradient is a symmetric function (see Equation (11) and Figure 3(b)), the SSFP signal for dephasing in a constant gradient is purely real.

3.4. Alveolar Surface

To find the SSFP signal for dephasing on the alveolar surface, the relavant magnetization given in Equation (B.6) has to be introduced in the general expression for the SSFP signal in Equation (25). Finally, the SSFP signal for dephasing on the alveolar surface is given by

The initial signal follows as

Similar expressions can also be derived for the extended alveolar surface model.

So far, the SSFP signal was usually described under the assumption of Lorentzian lineshapes. A comparison of both lineshapes is shown in Figure 5, together with the response functions and . In Figure 6, the initial signal that determines the signal to noise ratio is compared in the Lorentzian lineshape model and the alveolar surface model in dependence on the sequence parameters and . Even both curves share the general characteristic form, there exist obvious differences between the Lorentzian lineshape and the alveolar surface model: the signal in the alveolar surface model is complex-valued and shows oscillation whereas the Lorentzian lineshape model exhibits only a purely real -component of the signal.

3.5. Numerical Validation

To validate the theoretical findings, numerical simulations were performed. A steady-state signal can be measured in the equilibrium state after applying a certain number of rf pulses. The signal after the -th rf-pulse depends on the pulse structure, the relaxation times and the precession frequency. It can be written as:

where the matrix describes the influence of the rf pulses, the matrix gives the relaxation of the signal as well as the phase precession according to the Larmor frequency, and denotes a vector driving the magnetization to thermal equilibrium. The matrices are given as [47]:

Furthermore, it is convenient to introduce the column vectors

The steady state is characterized by the condition . The time evolution of the SSFP signal for a fixed offset frequency can thus be yielded as:

where denotes the identity matrix. The inclusion of alternating phases is conceptually analogous. Finally, the complex-valued SSFP signal is obtained by a weighted integration of according to the lineshape :

This integral is numerically calculated for the constant gradient lineshape, the alveolar surface model as well the Lorentzian lineshape and agrees with the theoretically derived signals in all models. Moreover, Equation (24) is used to recalculate the SSFP signal in all models obtaining the same results. This demonstrates the validity of the theoretical approach.

3.6. Experimental Verification

Measurements were performed on a 7 Tesla Bruker Biospec 70/30 (Ettlingen, Germany). A  mm water-filled MR tube axially aligned at the center line of the magnet with the relaxation times and was measured with a spectroscopic bSSFP pulse sequence [48] with alternating as well as constant phases. After carefully shimming the sample leading to a linewidth of approximately , a constant gradient was superimposed leading to (value obtained from the bSSFP frequency profile) according to Equation (6). The SSFP sequence parameters were: flip angle , repetition time . In Figure 7, the measured signal is compared with the exact expression of the SSFP signal for a constant gradient according to Equation (32) as well as the SSFP signal expected for a Lorentzian lineshape (see Equation (26)). The theoretically predicted SSFP signal describes the data very well (note that no fit was used), whereas the Lorentzian lineshape model exhibits large deviations from the measured data.

3.7. Relaxation Time Estimation and Adjustment of Sequence Parameters

To estimate the impact of the presented results on the relaxation time determination, a simple numerical model is analyzed: we assume tissue that produces a boxcar lineshape with a width of (see Equation (11)) and calculate the SSFP signal according to Equation (32). Then the SSFP signal obtained for a Lorentzian lineshape is fitted to the calculated SSFP signal and the obtained relaxation times are compared with the ground truth obtained from Equation (C.4). Thus, the simulation assesses the bias of when fitting with a Lorentzian lineshape even though the tissue causes a more complicated lineshape (like the boxcar function). The results are shown in Figure 8(a). For small gradient strengths , the relaxation time is highly overestimated, especially for short repetition times . Only for gradient strength , the fitted relaxation times are similar to the ground truth and, in this regime, the error is in the order of . These results suggest that the exact form of the lineshape has an important influence on the SSFP signal and should in general not be described by a simple Lorentzian lineshape. Furthermore, we assess the accuracy of the estimation in the lung. Therefore, the SSFP signal in the alveolar surface model is calculated according to Equation (34) for typical lung parameters of and . The flip angle was chosen as ° in accordance with the maximum of the initial signal (similar to Figure 6). The calculated SSFP signal was fitted with the biexponential Lorentzian SSFP model (according to Equation (26)) yielding an estimation for the relaxation time . The estimated relaxation times are compared with the ground truth obtained from Equation (C.7) and presented in Figure 8(b). Similar to the results for the constant gradient SSFP model, a large bias in the order of occurs for the determination of the relaxation time . This result also demonstrates the importance of using the correct form of the lineshape rather than its Lorentzian approximation.

In this work, more realistic lineshape models were analyzed to overcome the drawbacks of the Lorentzian lineshape model. The SSFP signal in the constant gradient model e.g. depends on the parameters , , and . In this model, the frequency offset corresponds to the relaxation time via Equation (C.4).

To assess the expected precision and accuracy of determining the parameters in this model, the SSFP signal for a constant gradient was calculated according to Equation (32) for the parameters , , and motivated by the parameters in Figure 7. Assumed sequence parameters were and . Then, Gaussian noise with standard deviation was added and the constant gradient model was fitted to the simulated data for 100 different noise realization per chosen noise level. The obtained values for the above parameters are shown in Figure 9 in dependence on the signal to noise ratio . For the chosen ground truth, the parameters and show a high spread for SNR lower than 100, whereas the determination of is very precise and accurate for all shown SNR values. For , all three parameters can accurately and precisely be determined.

4. Discussion and Conclusion

In this work, the signal formation in local magnetic field inhomogeneities is recapitulated. Important local magnetic field inhomogeneities for magnetic resonance imaging are the constant gradient and dipole fields caused by cylindrical or spherical objects. For these cases, the free induction decay, the corresponding lineshape as well as the SSFP signal are analyzed.

The lineshape for a constant gradient and for cylindrical objects are symmetric. Consequently, the free induction decay as well as the SSFP signal become purely real meaning that only the transverse component is present while vanishes. In comparison, the lineshape around spherical objects shows a prominent asymmetry that arises from the angular dependency . Therefore, both transverse components of the free induction decay and SSFP signal need to be considered and the signal is complex-valued. It is convenient to introduce a complex -time as given in Equation (C.2): its real part describes the decay of the signal amplitude, and the imaginary part the phase oscillation, respectively.

Lung tissue consists of very densely packed air-filled alveoli [49, 50]. The susceptibility difference to the surrounding tissue causes strong susceptibility effects that can be described in the alveolar surface model [18]. In this model, spin-bearing particles are assumed to be located on the surface of a spherical alveolus. In general, contributions to the local Larmor frequency from other alveoli need to be considered. However, numerical simulations show that these contributions are mostly averaged out due to the angular dependency of the Larmor frequency. Details are provided in [18]. In this work, the alveolar surface model was used to predict the SSFP signal in lung tissue. Due to the prominent asymmetry of the lineshape (see Figure 3), the SSFP signal exhibits both transversal components.

The initial SSFP signal is shown in Figure 6 for the Lorentzian lineshape as well as in the alveolar surface model. Since the initial signal is closely related to the signal to noise ratio, flip angle and repetition time should be chosen to maximize the initial signal. Thus, the alveolar surface model allows optimizing the sequence parameters. A quantitative evaluation of Figure 6 yields a difference of the optimal value of the flip angle in alveolar surface and Lorentzian lineshape model of a few degrees, depending on the chosen repetition time .

The analytical description of the SSFP signal derived in this work is validated with experimental measurements for a constant field gradient, see Section 3.6. The obtained measurements agree very well with the analytical description for the constant gradient, see Figure 7. Moreover, it becomes obvious that a quantitative description of the SSFP signal needs to account for the exact form of the lineshape, as the Lorentzian lineshape theory predicts a qualitatively different signal.

As a consequence of these findings, the determination of the relaxation time has to be performed with the correct lineshape model as shown in Figure 8(a). In this figure, the relative error of is shown by fitting the SSFP signal of a constant field gradient with a Lorentzian lineshape. Obviously, large errors can occur, especially for small field gradients and small repetition times , which are usually preferred to circumvent banding artifacts. This region, where the relaxation time is overestimated, can be qualitatively understood since the SSFP signal for a weak constant gradient increases for short times, which cannot be described by the SSFP signal for the Lorentzian lineshape. Similar results are shown in Figure 8(b) where the SSFP signal in the alveolar surface model is fitted by the Lorentzian lineshape model. Hereby, a bias of the determined relaxation time in the order of occurs.

In Figure 8, the relaxation time was fitted, keeping and fixed. In principle, it is possible to simultaneously fit all three parameters. However, the SSFP signal for the Lorentzian lineshape yields a biexponential signal model (see Equation (26)) which is difficult to handle and typically converges to local minima. This is a further drawback of the Lorentzian lineshape approximation. Thus, the correct lineshape model has to be considered.

This also indicates that SSFP sequences in qBOLD imaging might be interesting as they are very sensitive towards changes in the lineshape. The lineshape in blood vessel networks, on the other hand, is sensitive towards changes of physiological parameters like the blood volume fractions or the oxygenation level.

In Figure 9, expected accuracy and precision for determining , , and with the constant gradient model are shown in dependence on the signal to noise ratio. Even though the results highly depend on the chosen ground truth values, the relaxation times seems to be robustly measurable for . A further evaluation for different ground truth values, however, is numerically costly.

In this work, the SSFP signal is analyzed for nonhomogeneous tissue. For a purely monoexponential free induction decay, the lineshape is Lorentzian and the SSFP signal can be calcuated by utilizing the Fourier coefficents. However, even for nonexponential signal decay that may occur due to two-dimensional or three-dimensional dipole fields in muscle or lung tissue, the SSFP signal can analytically expressed in terms of the Fourier coefficients. The relaxation times can also be determined for non-Lorentzian lineshapes by utilizing the correct lineshape model.

Appendix

A. Time Evolution of the Magnetization

For analysis of the local magnetization, it is advantageous to combine the - and -components of the local transverse magnetization density inside an imaging voxel to a complex-valued quantity

In general, the time evolution of this local transverse magnetization density is then governed by the Bloch equation

where is the time-independent local Larmor frequency. After an excitation pulse with flip angle , the initial transversal magnetization density is assumed to be spatially constant and the time evolution of the local transverse magnetization density is given by

The total magnetization can be obtained by an integration of the local magnetization density over the voxel with volume :

with the total initial magnetization

which will produce the transverse magnetization after the application of an -pulse. Due to the exclusion of the -relaxation in the definition of the magnetization , see Equation (1), the local magnetization excludes the intrinsic -relaxation processes as well.

Since the total magnetization is in general complex-valued , it is advantageous to consider the lineshape

To obtain a purely real lineshape, it is necessary to continue the magnetization for negative times in the form of

Thus, the lineshape can be written as

which requires only the knowledge of the magnetization for positive times. Introducing the expression for the total magnetization in Equation (A.4) with the local magnetization in Equation (A.3) into the general definition of the lineshape defined in Equation (A.6) results in

where the Fourier representation of Diracs delta distribution was used (note that a sign error occurred in Equation (7) in [18]). Obviously, the lineshape fulfills the properties of a probability distribution:

The magnetization can be expressed as the inverse Fourier transform of the lineshape according to Equation (A.6):

B. FLASH Signal Decay

The magnetization that can be measured e.g., with a FLASH sequence for a constant gradient reads:

The magnetization around a two-dimensional dipole field that occurs e.g. around vessels was obtained in [8] or Equations (31) and (32) in [51]:

with the generalized hypergeometric function

An alternative expression for the magnetization decay is given in Equations (39) and (40) in [11].

The magnetization around a three-dimensional dipole field (as present around magnetized particles or alveoli in the lung) reads:

with the function

where denotes the generalized hypergeometric function and Si and Ci are sine and cosine integral. An alternative expression for the magnetization decay is given in Equation (34) in [52].

In the limit of restricting water molecules to the surface of the alveoli, the time evolution of the magnetization is given by:

where denotes the imaginary error function. This expression also follows from the magnetization decay caused by a spherical object given in Equation (B.4) in the limit , when dephasing occurs on the surface of the sphere: .

In the extended alveolar surface model, the magnetization reads:

with given in Equation (C.10) in [31]:

C. Monoexponential Approximation

In general, the magnetization exhibits decaying and oscillating parts and thus, is nonmonoexponential. However, for some applications it might be advantageous to define a monoexponential approximation time . The relaxation time can be obtained in terms of a mean relaxation time approximation [13]:

The range correctly described by the mean time approximation depends on the actual form of the magnetization as analyzed in [53]. Since the magnetization can be expressed in terms of the lineshape according to Equation (A.11), the relaxation time can also be expressed in terms of the lineshape:

where the pathway of integration is visualized in Figure 10. In the static-dephasing regime, the lineshape can be expressed directly in terms of the local Larmor frequency according to Equation (A.9) which allows to obtain an expression of the transverse relaxation time in the form of

The real part of the relaxation time describes the signal loss, whereas the imaginary part describes the oscillatory behavior of the phase.

Appyling Equation (C.1) or Equation (C.2), the transverse relaxation times for the different geometries presented follows as

The transverse relaxation time for a cylinder agrees with Equation (19) in [34]. Obviously, the relaxation times for a spherical objects as well as in the extended alveolar surface model converge towards the alveolar surface relaxation time within the limit of large air volume fractions .

D. Extended Alveolar Surface Model

Within the static dephasing limit, where diffusion is neglected, the lineshape in the extended alveolar surface model is given in Equation (15) where the function can be found as:

A comparison of the lineshapes for the exact three-dimensional dipole field and the extended alveolar surface model is shown in Figure 11.

E. Diffusion Effects

If diffusion effects are included, an additional diffusion term has to be added to the original Bloch equation (A.2) which leads to the Bloch–Torrey equation [54]

Analytical solutions for this partial differential equation can be given for diffusion in a constant gradient as given in Equation (6) in terms of Airy-functions [32, 33], for diffusion around a two-dimensional dipole field [55, 56] as given in Equation (7) in terms of Bessel-functions [57] and Mathieu-functions [58]. For dephasing on the alveolar surface as given in Equation (9), the signal evolution can be expressed in terms of spheroidal wave functions [18]. The corresponding lineshape for diffusion on the alveolar surface takes the asymmetric form of

with eigenvalues and expansion coefficients :

where are the spheroidal eigenvalues and as well as are the spheroidal eigenfunctions [18, 59]. Eigenvalues and expansion coefficients are complex quantities and depend on the parameter only, as visualized in Figure 12. A similar eigenfunction expansion is possible for the Bloch–Torrey equation around vessels [5, 55]. Further approximative methods for the analysis of diffusion effects in magnetic field inhomogeneities are presented in [6062]. In the static dephasing limit, the lineshape converges to the alveolar surface lineshape given in Equation (14):

One important issue to be mentioned is the range of possible resonance frequencies for dephasing with and without diffusion. In the static dephasing regime (), the Larmor frequency takes minimal and maximal values which restricts the lineshape to a limited frequency interval, i.e. for dephasing in a constant gradient (see Equation (11) and Figure 3(c)) the lineshape ranges from . For dephasing around a two-dimensional dipole field (see Equation (12) and Figure 3(b)), the lineshape ranges from , and for dephasing around a three-dimensional dipole field (see Equation (13) and Figure 3(d)), the lineshape ranges from . If diffusion effects appear, the lineshape is not limited to a finite frequency interval and all possible resonance frequencies must be taken into account similar to the Lorentzian lineshape. The relevant magnetization decay is given by

Since the imaginary parts of the eigenvalues and of the expansion coefficients never vanish (see Figures E.12(b) and E.12(d)), the lineshape according to Equation (E.2) is not a simple linear combination of Lorentzian lineshapes.

The transverse relaxation time in the alveolar surface model for nonvanishing diffusion effects can easily be obtained from the mean relaxation time approximation by introducing Equation (E.6) into Equation (C.1) or from the lineshape given in Equation (E.2) with Equation (C.2):

Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

C. H. Ziener and M. Uhrig are contributed equally.

Acknowledgments

This work was supported by grants from the Deutsche Forschungsgemeinschaft (Contract Grant number: DFG ZI 1295/2-1 and DFG KU 3555/1-1). T. Kampf and M. Pham were supported by the Heidelberg Pain Consortium (SFB 1158). V. J. F. Sturm was supported by the Deutsche Forschungsgemeinschaft (SFB 1118/2).