Abstract
The solutions to the heat diffusion equation for spherical absorbing centers in laser materials are presented. The ratio of the volume specific heats for the absorbing center and the laser host is found to determine three regions of behavior. Series expansions for small times and for very large times also are given in each of the three regions. Rapidly converging representations for the complementary error function of complex arguments are developed in order to evaluate numerically the region for which the volume specific heat ratio is greater than three fourths.
Keywords: Absorbing center, complementary error function, heat diffusion, laser host
1. Introduction
In a previous paper [1], a model to describe the behavior of absorbing centers in laser materials has been developed. Computing the thermal stresses predicted by this model requires solutions to the heat diffusion equation for the temperature. The mathematical details for solving the heat diffusion equation are omitted in ref. 1 and are reported in the present paper. In particular, solutions to the heat diffusion equation for spherical absorbing centers in laser materials, series expansions of these solutions at the center-host interface when times are sufficiently small and large, and a proof that in the limit of small inclusions the temperature of the center-host interface is independent of the bulk thermal properties of the inclusion are presented. These solutions may be applied also to other diffusion problems such as oxygen diffusion in TiO2, Al2O3, ZnO, and other oxides [2].
When certain physical conditions exist, some solutions to diffusion equations contain error functions for complex arguments. For example, when the volume specific heat of a spherical absorbing center is greater than three fourths times the volume specific heat of the host, the analytic expressions for the temperature in the host contain error functions for complex arguments. This is the case for platinum inclusions in some neo-dymium doped laser glasses. The oxygen diffusion problem is a second example. When the volume diffusion coefficient is sufficiently greater than the surface exchange coefficient, the analytic expressions for the oxygen concentration profile also contain error functions for complex arguments. This may be the case for oxygen diffusion in zinc oxide [3]. Representations of the error function for complex arguments which yield efficient computer programs are not readily available in the literature and therefore are derived in the appendix.
2. Mathematical Description of the Model
The heat diffusion equation and the boundary conditions are summarized in this section.
A spherical absorbing center of radius r0(cm) is imbedded in a host of infinite extent. The absorbing center and host are initially at a uniform temperature T0. An incoming spherical wave of light (laser beam) with an energy flux (W/cm2) falls at time t = 0 upon the absorbing sphere. The quantity EL is the energy density (J/cm2). The quantity r =∣r∣ is the distance from the origin of the system, which is the center of the sphere. A square-wave light pulse of width τ(s) is assumed. The sphere absorbs an equivalent energy flux H(t)(W/cm2) uniformly over its entire surface. The energy flux for a square-wave laser pulse is
| (1) |
where A(λ, Ta) is the absorptance at absolute temperature Ta for incident radiation having wavelength λ. The problem is to compute the temperature ϴ(r, t) of the absorbing center-host system as a function of time t and distance r = |r|.
The heat diffusion equation describes the time and space dependence of the temperature for large times t and large distances r; namely, when r < r0 it is
| (2) |
and when r > r0 it is
| (3) |
The Laplacian operator is denoted by ∇2 and the thermal diffusivity is a2 = (K/ρC) (cm2/s), where K is the thermal conductivity (W/cm °C), ρ is the density (g/cm3), and C is the heat capacity at constant volume (J/g °C). The subscript c refers to the absorbing center and the subscript h refers to the host. The diffusion equations (2) and (3) are valid only when local thermodynamic equilibrium exists. They become suspect for times comparable to the phonon-phonon collision time (~ 10−12s) and for distances comparable to atomic dimensions (~ 10−8 cm). The diffusion equations require a statement of the boundary conditions before solutions are uniquely denned. The temperature has the form,
| (4) |
for all values of r. The function T(r, t) is the temperature for t > 0 relative to the ambient temperature T0.
The boundary conditions are time dependent. The temperature must be finite everywhere.
| (5) |
The continuity of the temperature across the center-host interface is
| (6) |
where is the radial unit vector. The conservation of heat flow at the interface gives
| (7) |
Equations (1) through (7) represent the mathematical description of the model for absorbing centers in laser materials. The physics from which these equations arise is stated in ref. [1]. It is most convenient to use the spherical coordinates r, θ, and φ because the heat flux H(t) is independent of θ and φ. The problem then becomes a spherically symmetric one. Equations (2), (3), and (7) now have their respective forms,
| (8) |
| (9) |
and
| (10) |
3. Laplace Transform Solutions
Equations (8) and (9) and the initial conditions and boundary conditions (4), (5), (6), and (10) are solved by taking their Laplace transforms. The Laplace transform of the temperature T(r, t) is denoted by
The Laplace operator is introduced and is defined by . The Bromwich integral,
| (11) |
expresses the temperature in terms of the Laplace transform. The real quantity c is chosen to be sufficiently large so that the integral,
| (12) |
exists. The inverse Laplace operator is defined by , and is a convenient way to represent the integral in eq (11). The Laplace transform of the energy flux H(t) is denoted by h(s). Taking the Laplace transform of eq (1) yields that
| (13) |
where
The Laplace transforms of eqs (5), (6), (8), (9), and (10) are respectively.
| (14) |
| (15) |
| (16) |
| (17) |
| (18) |
where
and
General solutions to the Laplace transformed diffusion eqs (16) and (17) are
| (19) |
Let us for convenience choose the zero of the temperature scale such that T0 = 0. The condition, Uc(0) = finite, requires that B2c = 0 and gives
| (20) |
The condition, Uh(∞) = finite, requires that B1h + B2h = 0 and gives
| (21) |
The continuity condition (15) relates the constants B1c and B2h; namely,
| (22) |
Finally, the conservation of heat flow through the interface, eq (18), and the condition (22) permit us to express the constant B2h in terms of r0, Kc, ac, Kh, and ah; namely,
| (23) |
Substituting eq (23) into eq (21) and evaluating the Bromwich contour integral to obtain the temperature of the host Th(r, t) would be a most ambitious task. Two different arguments exist by which eq (21) reduces to a more tractable form. The first argument treats eq (23) in the limit that zc0 ⪡ 1. Then the coth (zc0) in eq (23) is approximated by
and eq (21) thereby is approximated by the expression
| (24) |
where
| (25) |
The second argument involves simplifying boundary condition (10). Observe that when Kc ⪢ Kh the temperature gradients in the absorbing center are much less than those for the host. In the limit Kc ⪢ Kh boundary condition (10) becomes
| (26) |
where . The temperature of the sphere becomes spatially uniform; that is, Tc(r, t)=Tc=Th(r0, t) whenever its thermal conductivity is much larger than that of the host. The heat flux into the sphere is given by,
Taking the Laplace transform of the conservation of heat flux, eq (26), which is valid when Kc ⪢ Kh, the author obtains the same expression for the Laplace transform Uh as that given in eq (24). Hence, approximation (24) obtains either when ∣r0s1/2/ac∣ ⪡ 1 or when Kc ⪢ Kh. The latter inequality imposes no restriction on r0 and s or equivalently on r0 and t but the former inequality does impose such restrictions.
The volume specific heat ratio R = (4ρcCc/3ρhCh) determines three regions of behavior. Namely, when R < 1, the roots b± are real and are not equal; when R = 1, the roots are real and equal; and when R > 1, the roots are complex and conjugate to one another. The latter is the region for which the arguments of the complementary error functions are complex. In the next Section, analytic expressions for the temperature Th(r, t) in each of these three regions are presented.
4. Results and Conclusions
In this section, closed form expressions for Th(r, t) are given for the regions R < 1, R = 1, and R > 1. Also, series expansions for large and small values of bt1/2 are derived.
In the limit that zc0 ⪡ 1 or in the limit that Kc ⪢ Kh, the Laplace transform of the temperature in the host becomes
| (27) |
where eqs (13) and (25) require that
| (28) |
The translation property of Laplace transforms, (eq (29.2.15) of ref. [4]) then permits one to express the temperature in the host in terms of a Bromwich integral, BI(r, t), and the unit step function, u(t); namely, [5]
| (29) |
where
| (30) |
and the unit step function u(t) is defined by
| (31) |
Subsections 4.1, 4.2, and 4.3 of this section contain respectively the evaluation of the Bromwich integral (30) for the cases of R < 1, R = 1, and R > 1.
4.1. R < 1
When the volume specific heat ratio R is less than one, then the roots b+ and b− are real and are not equal. The Bromwich integral (30) is evaluated more readily by expressing Dh(s) in terms of partial fractions;
| (32) |
where
| (33) |
and
| (34) |
The transform (34) is valid only when r > r0. The Bromwich integral (30) is evaluated by applying eq (29.3.89) of ref. [4] to eqs (32) and (34). This evaluation is correct only when y = {(r − r0)/ah} ⩾ 0. It is found found that according to ref. [4],
| (35) |
where y = {(r − r0)/ah} ⩾ 0. The dimensionless function F(γ, b, t) contains the complementary error function; namely,
| (36) |
where
| (37) |
4.2. R = l
When the volume specific heat ratio R equals one, the roots are real and equal; that is,
and the Laplace transform factor Dh(s), eq (28), becomes
| (38) |
where
| (39) |
and
| (40) |
Because the identity,
exists, the temperature in the host has the form
| (42) |
where
| (43) |
4.3. R > 1
When the volume specific heat ratio is greater than one, the roots are complex and conjugate to one another; that is, where v = b and μ = b(R − 1)1/2 for R > 1. Because , the Laplace transform factor Dh(s) [eq (28)] becomes
| (44) |
where
| (45) |
and
| (46) |
Evaluating the contour integral which results after eq (44) is substituted into eq (30) by the calculus of residues is a most difficult procedure. Because the integrand in eq (37), exp (− t2), is analytic everywhere in the finite complex plane, the function, b−1F(γ, b, t), may be analytically continued to complex values of b. The temperature then is computed by taking the imaginary part of the analytic continuation of b−1F(γ, b, t) for complex values of b; namely,
| (47) |
where
The analytic expression for the function H(γ, ν, μ, t) is rather lengthy. It contains factors related to the real and the imaginary parts of the complementary error function for complex arguments. The error function for complex arguments and procedures for its numerical evaluation are given in Appendix A. Let us introduce the following notation: θ = μ(γ + 2νt), ρ = νt1/2 + (γ/2t1/2) and ω = μt1/2. It is shown in Appendix A that the real and the imaginary parts of the complementary error function for complex arguments contain the following integrals:
and
The expression for H(γ, ν, μ, t) becomes, in terms of this notation:
| (48) |
At first one may question the oscillatory factors, cosine of θ and sine of θ, which appear in eqs (47) and (48). One does not usually expect such behavior for solutions to a diffusion equation which has no oscillatory boundary conditions or source terms. However, the oscillatory factors in eq (48) are over dampened so that the spatial gradient is always less than zero for all r ⩾ r0 [6]. Similar oscillatory factors arise in other diffusion problems. Theoretical solutions for fluid turbulence and for the characteristic lines produced by a moving disc in a uniformly rotating, non-viscous, and incompressible liquid also may contain oscillatory factors [7]. The oscillatory factors in eq (48) exhibit a wavelength λosc = (2πah/μ), a frequency (1/τosc) = (μν/π), and a velocity . The oscillatory speed, is less than the speed of sound in the host for all the situations discussed in ref. [1]. If this were not the case then the quasi-static linear thermoelastic theory would be suspect.
4.4. Expansions for bt1/2 ⪡ 1
In order to avoid overflow complications with the computer it is necessary to use series expansions for the functions when they are evaluated at the center-host interface, γ = 0. These expansions readily show that as bt1/2 approaches 0 the surface temperature Th(r0, t) depends only on the properties of the absorbing center. This agrees with the intuitive statement that for sufficiently short times very little heat enters the host. The expansions for the F, G, and H functions when bt1/2 ⪡ 1 are listed now:
| (49) |
| (50) |
and
| (51) |
where ν = b.
Finally, substituting eqs (49), (50), and (51) respectively into eqs (35), (42), and (47) yields when bt1/2 ⪡ 1 and t ⩽ τ,
| (52) |
The quantity M depends only on the properties of the absorbing center.
4.5. Asymptotic Expansions for large bt1/2 ⪢1
In this subsection, the asymptotic expansions for F and G when bt1/2 ⪢ 1 are listed below. Such expansions for H are not as straightforward as those for F and G. In fact, the derivation of a representation for H which converges rapidly when vt1/2 ⪢ 1 is most essential in the development of a computer program to evaluate Th(r, t) for the case in which R > 1. Representations for H are developed in appendix A. These expansions show that as r0 approaches 0 the surface temperature Th(r0, t) depends only on the absorptance of the interface and the properties of the host and it becomes independent of the other properties of the absorbing center. The asymptotic expansions for the functions F and G when bt1/2 ⪢ 1 are respectively,
| (53) |
and
| (54) |
Substituting eq (53) into eq (35) gives expressions for the interface temperature when r0 is very small; namely, if t ⪢ τ and bτ1/2 ⪢ 1, then
| (55) |
and if t = τ and bτ1/2 ≫ 1, then
| (56) |
Observe that eqs (55) and (56) do not contain any of the bulk thermal properties of the absorbing center.
The expressions for Th(r, t) given above form the mathematical framework upon which the computer program used to generate the tables of ref. [1] is developed. In addition, several first and second order derivatives of the functions F, G, and H with respect to time and space are needed in order to evaluate the temperature for large times and in order to check numerically that the temperature gradient is always negative and that the rate of expansion of the sphere never exceeds the speed of sound in the host. Because closed form expressions for the derivatives are obtained by conceptionally straightforward methods and because these expressions are very lengthy in the case of the H function, the author chooses not to list them here. Once the temperature has been calculated then the optical path length, the stress components, and the stress birefringence near the absorbing center are readily found. These problems have been discussed in detail in ref. [1].
5. Appendix A. Complementary Error Function for Complex Arguments
A computer program which evaluates the integral,
hundreds of times must incorporate a rapidly converging representation of the complementary error function, if the total computation time is to be reasonable. Several representations of the complementary error function and those representations which are used in the studies on inclusions in laser materials [1] are presented in this Appendix. Computer programs for all of the representations given here have been written in Fortran [8].
Let us begin with the analytic continuation of the complementary error function to complex arguments z = x − iy, where x and y are real. The complementary error function for real arguments z = x is defined by
Because the integrand exp (− t2) is analytic everywhere, the value of the integral is independent of the path along which the variable t follows in going from t = 0 to t = z = x − iy. The following path is chosen:
| (A1) |
Letting t = x − is in the second integral, the author writes
| (A2) |
It is convenient to define
| (A3) |
where
| (A4) |
and
| (A5) |
Inserting these definitions into eq (A2) yields
| (A6) |
where z = x − iy. The definition, erfs (z = x − iy) = erfc (x) − exp (y2 − x2) sdaw (x, y), is introduced.
Many rational approximations for the error function are listed in ref. [4], sections 7.1.25 to 7.1.28, and are readily modified to evaluate exp (x2) erfc (x). One possibility uses the rational approximation section 7.1.26 of ref. [4]. It is the representation used in ref. [1] whenever z is real and z = x < 2.1; namely,
| (A7) |
where
The numerical constants p, a1, a2, a3, a4, and a5 are given in ref. [4] section 7.1.26. The last term estimates the error and is large for large values of x.
Two series expansions for small values of x are
| (A8a) |
and
| (A8b) |
An asymptotic expansion for large values of x exists; namely,
| (A9) |
Equations (A8) and (A9) may be continued analytically to complex values z = x − iy = r exp (− iβ), where r = (x2 + y2)1/2 and β = tan−1 (y/x). The series expansions for small ∣z∣ = r becomes
| (A10) |
and
| (A11) |
The asymptotic expansion for large ∣z∣ and for ∣β∣ < (3π/4) is
| (A12) |
Representations for the functions cdaw (x, y) and sdaw (x, y) follow from eqs (A6), (A10), and (A11), and (A12).
A corollary of Poisson’s formula is the basis for another approximation for the complementary error function. It is more convenient in this case to first approximate cdaw (x, y) and sdaw (x, y). One may derive by means of Poisson’s formula (7) the identity, [9]
| (A13) |
where a is a real positive number, 0 < a ⩽ 1. The constant a is chosen so that
When a = (1/2), the term E is of the order of 10−17 and eq (A13) becomes an approximate expression for exp (s2); namely,
| (A14) |
The integrations over s in the eqs (A4) and (A5) can be performed in a closed form when approximation (A14) replaces exp (s2) in the integrand. The results are
| (A15) |
and
| (A16) |
Among the above approximations which are valid for large ∣ z ∣ approximations (A15) and (A16) converge most rapidly. However, they are still not as efficient as the algorithm for the real and imaginary parts of the function,
| (A17) |
which is given in ref. [10]. The algorithm is based upon the continued fraction representation,
| (A18) |
and efficiently separates the real and imaginary parts of eq (A18).
The complex function I(x, y), eq (A3), can be expressed in terms of the function W(z);
| (A19) |
Introducing the notation W(ix) = W1 + iW2 and W(ix + y) = W3 + iW4, where W1, W2, W3, and W4 are real, produces the result
| (A20) |
and
| (A21) |
A Fortran program based upon the algorithm of ref. [8] to evaluate the real and the imaginary parts of the function W [i.e., Re {W(z)} and Im {W(z)}] has been written.
Computer programs have been written to evaluate all of the above representations for the complementary error function. The prescriptions given below are more efficient than the many others examined during the computations involved in ref. [1]. First consider the case for Im{z} = 0; that is, z = x and y = 0. The rational approximation (A7) is used when 0 < ∣ x ∣ ⩽ 2.1 and the continued fraction representation eq (A18) is used when 2.1 < ∣x∣< ∞. This combination is efficient for study of inclusions in laser materials when the volume specific ratio satisfies the inequality R ⩽ 1. Next consider the case when z = x − iy. The series approximation (A10) is used whenever both 0 < ∣x∣ ⩽ 0.001 and 0 < ∣y∣ ⩽ 0.001 and the algorithm of ref. [8], is used for all other values in the complex plane. This combination is efficient for the study of inclusions in laser materials when the volume specific heat ratio satisfies the inequality R > 1.
Acknowledgments
The author thanks W. Gautshi for communicating his results on the efficient computation of the complex error function prior to their publication. He also acknowledges many helpful discussions with A. D. Franklin, A. Kahn, S. M. Wiederhorn, and H. Oser.
6. References and Notes
- [1].Bennett H. S., Inclusions in Laser Materials, J. Res. Nat. Bur. Stand. (U.S.), 75A (Physics and Chem.), No. 4, 247 (Jul-Aug 1971). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [2].Dragoo A. L., private communication. [Google Scholar]
- [3].Heuer A., private communication. [Google Scholar]
- [4].Abramowitz M., and Stegun I., editors, Handbook of Mathematical Functions (Dover Publications, Inc., New York, 1965), p. 1019. [Google Scholar]
- 5.Whenever t ≫ τ, the expression (29) becomes a difference between almost equal numbers. Such a difference must be avoided in a computer program. Whenever t > 105 τ, the expression (29) is replaced in the algorithm with the expression
- [6].The temperature gradient is negative for all the results reported in ref. [1]; i.e., ∇Th < 0. Hence, the second law of thermodynamics is not violated by the model.
- [7].Oser H., Angew Z., Math. Mech. 38, 27 (1958). [Google Scholar]
- [8].Copies of the Fortran listing are available from the Computer Services Division at the National Bureau of Standards. The listing contains many representations and the user should decide which ones suit his requirements best.
- [9].Titchmarsh E. C., Introduction to the Theory of Fourier Integrals (Oxford Press, Oxford, 1937), pp. 60–64; and Salzer, H. E.Math. Tables and Aid to Comp. 5, 67 (1951). [Google Scholar]
- [10].Gautschi W., Comm. ACM 12, 635 (1969); and W. Gautschi, SIAM J. Math. Anal., to be published. [Google Scholar]
