An Iterative Method For Solving A Complex Heat Transfer Problem
An Iterative Method For Solving A Complex Heat Transfer Problem
net/publication/237150243
CITATIONS READS
16 867
2 authors:
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Andrey Kovtanyuk on 09 November 2017.
Abstract
Conductive-radiative heat transfer in a scattering and absorbing medium bounded
by two reflecting and radiating plane surfaces is considered. A diffusion model
for describing heat transfer is examined. The theorems of existence and unique-
ness of a solution of this problem are proved. An iterative procedure for solving
radiative-conductive heat transfer problem is proposed.
Keywords: radiative heat transfer, conductive heat transfer, diffusion
approximation
1. Introduction
∗ Corresponding author
Email addresses: [email protected] (Andrey E. Kovtanyuk), [email protected]
(Alexander Yu. Chebotarev)
2. Problem formulation
Let us consider a coupled radiative-conductive heat transfer problem formu-
lated as in [1, 2]. The equation of the radiation transfer for a homogenous layer
is written in the normalized form as
Z1
ω
µIτ (τ, µ) + I(τ, µ) = p(µ, µ0 )I(τ, µ0 )dµ0 + (1 − ω)Θ4 (τ ), (1)
2
−1
where I(τ, µ) is the normalized density of the radiation flux at the point τ ∈
[0, τ0 ] in the direction which angle cosine with the positive direction of the axis
τ is µ ∈ [−1, 1]; ω < 1 is the albedo of single scattering; p(µ, µ0 ) is the phase
function; Θ(τ ) is the normalized temperature.
We supply equation (1) with the boundary conditions
Z1
I(0, µ) = ε1 Θ41 + ρs1 I(0, −µ) + 2ρd1 I(0, −µ0 )µ0 dµ0 , µ > 0,
0
(2)
Z1
I(τ0 , µ) = ε2 Θ42 + ρs2 I(τ0 , −µ) + 2ρd2 I(τ0 , µ0 )µ0 dµ0 , µ < 0.
0
Here, Θ1 and Θ2 are the normalized temperatures on the boundaries (Θ1,2 >
0), for definiteness, we assume that Θ1 ≤ Θ2 ; ρsi and ρdi are the coefficients
of specular and diffuse reflections, respectively, and εi = 1 − ρsi − ρdi are the
emissivity coefficients for the boundary surfaces. It is assumed that ε1 , ε2 > 0.
The equation of the conductive heat transfer is written as
1 0
Z
1
Θ00 (τ ) = I(τ, µ)µdµ , (3)
2Nc
−1
and Nc is the conduction-to-radiation parameter [1, 2]. For equation (3), we set
the following boundary conditions:
Θ(0) = Θ1 , Θ(τ0 ) = Θ2 . (4)
Now we consider an approach based on the diffusion approximation (also
named P1 approximation). We represent the function I(τ, µ) by the two first
terms in the Fourier expansion in Legendre polynomials:
I(τ, µ) ' Φ0 (τ ) + µΦ1 (τ ).
2
In the framework of the diffusion approximation we use the following expansion
for the phase function (see [10]):
p = 1 + Aµµ0 ,
3
3. Reduction boundary-value problem to operator equation
Z1
θ00 (x)xdx = Θ1 − Θ2 + θ0 (1). (16)
0
Using (11), we obtain from (15) and (16) boundary values for θ0 :
Z1
1 1
θ0 (0) = Θ2 − Θ1 − α (1 − x)ϕ(θ(x))dx + α(κ1 − κ2 ) + ακ2 , (17)
6 2
0
Z1
0 1 1
θ (1) = Θ2 − Θ1 + α xϕ(θ(x))dx − α(κ1 − κ2 ) − ακ2 , (18)
3 2
0
Substituting the expressions (17), (18) into (13), (14), we obtain the following
system for κ1 , κ2 :
³α ´ µ ¶
β1 α
β1 − 1 κ1 + + β 1 + 1 κ2 =
6 3
Z1
ϕ(Θ1 ) − β1 (Θ2 − Θ1 ) + αβ1 (1 − x)ϕ(θ(x))dx, (19)
0
µ ¶ ³α ´
αβ2
1 + β2 + κ1 + β2 − 1 κ2 =
3 6
Z1
ϕ(Θ2 ) + β2 (Θ2 − Θ1 ) + αβ2 xϕ(θ(x))dx. (20)
0
From (19), (20) we derive expressions for κ1 , κ2 . For simplicity, consider the
case where β1 = β2 = β. Corresponding to this case, the expressions for κ1 , κ2
are written:
κ1 = γ1 (γ2 ϕ(Θ1 ) + γ3 ϕ(Θ2 ) + γ4 ) +
4
Z1 Z1
γ1 γ5 (1 − x)ϕ(θ(x))dx + γ1 γ6 xϕ(θ(x))dx, (21)
0 0
where
³ ³ α´ ³ α ´´−1 ³ α´
γ1 = 1 + 2β 1 + + β2α 1 + , γ2 = 1 − β,
3 12 6
³ µ ¶
α´ αβ
γ3 = 1 + β 1 + , γ4 = β(Θ2 − Θ1 ) 1 + ,
3 2
³ α´ ³ ³ α ´´
γ5 = αβ 2 1 − , γ6 = αβ 1 + β 1 + .
6 3
In the case of different parameters β1 and β2 , there is no principal difficulty
in solving the linear system for determination of κ1 and κ2 . This case is not
considered here due to the complexity of the resulting formulas.
Let
D = {κ = (κ1 , κ2 ) ⊂ R2 : ϕ(Θ1 ) ≤ κ1 , κ2 ≤ ϕ(Θ2 )},
and define the operators T : D → C[0, 1], A : D → R2 as follows: T [κ] = θ,
where θ is a solution of the problem (11)-(12); A[κ] is defined by the right-hand
sides of equations (21) and (22), where θ = T [κ]. Thus, the following statement
is true.
Z1 Z1
B1 [κ] = xϕ(θ(x))dx, B2 [κ] = (1 − x)ϕ(θ(x))dx,
0 0
where θ = T [κ].
5
Let θ̂ = T [κ̂], where κ̂ ∈ D. The following inequality holds:
¯ 1 ¯
¯Z ¯
¯ ¯ ¡ ¢
¯ x(ϕ(θ̂(x)) − ϕ(θ(x))dx¯ ≤ 1 1 + 4σΘ32 max |θ̂(x) − θ(x)|. (23)
¯ ¯ 2 [0,1]
¯ ¯
0
Further consider the function η(x) = θ̂(x) − θ(x), x ∈ [0, 1]. It satisfies the
following conditions:
η(0) = η(1) = 0,
where f (x) = (κ1 − κ2 )x + κ2 and fˆ(x) = (κ̂1 − κ̂2 )x + κ̂2 , x ∈ [0, 1].
Note
Z1
kf − f k = (fˆ(x) − f (x))2 dx → 0, if |κ̂ − κ| → 0.
ˆ 2
0
p
Hereinafter by the sign k · k we denote the norm in L2 (0, 1), and |κ| = κ21 + κ22
is the length of the vector κ. Since the function ϕ(θ) increases monotonically
over θ ≥ 0, then
(ϕ(θ̂) − ϕ(θ))(θ̂ − θ) ≥ 0.
After multiplying (24) by η and integrating over (0,1), we obtain
° x °
Z1 °Z °
2 ° °
kη 0 k2 = η 0 (x)dx ≤ αkfˆ − f kkηk = αkfˆ − f k °
° η 0
(s)ds° ≤ αkfˆ − f kkη 0 k.
°
° °
0 0
Thus, ¯ x ¯
¯Z ¯
¯ ¯
max |θ̂(x) − θ(x)| = max ¯¯ η 0 (s)ds¯¯ ≤ kη 0 k ≤ αkfˆ − f k,
[0,1] [0,1] ¯ ¯
0
α(1 + 3β) ¡ ¢
0< ≤ σ(Θ1 + Θ2 ) Θ21 + Θ22 , (25)
6−α
then A[D] ⊂ D.
6
Proof. Let
l = (l1 , l2 ) = A[κ] = (A1 [κ], A2 [κ]) , κ ∈ D,
where A1 , A2 are defined by the right-hand sides of equalities (21), (22), respec-
tively.
Let us consider the case l1 ≥ l2 , and prove that l1 ≤ ϕ(Θ2 ). For α < 6 the
following inequality holds:
Z1 Z1
l1 = γ1 γ2 ϕ(Θ1 ) + γ3 ϕ(Θ2 ) + γ4 + γ5 (1 − x)ϕ(θ)dx + γ6 xϕ(θ)dx ≤
0 0
Hence l1 ≤ ϕ(Θ2 ).
Similarly, we can prove the inequality l2 ≥ ϕ(Θ1 ) and also that l1 ≥ ϕ(Θ1 ),
l2 ≤ ϕ(Θ2 ) for case l1 < l2 . Thus, A[κ] ⊂ D for all κ ∈ D. ¥
Using Brouwer’s fixed point theorem and Lemmas 3,4, we can formulate the
following statement.
Theorem 1 Let β1 = β2 = β and inequality (25) holds. Then there exists at
least one solution θ(x) of the problem (11)-(14), such that
From the last estimate and well-known inequality πkηk ≤ kηx k, it follows
α
kηk ≤ kfˆ − f k. (26)
π2 + α (1 + 4Θ31 σ)
7
¡ ¢
1 ¡ ¢ 1 α 1 + 4σΘ32
3
√ 1 + 4σΘ2 kηk ≤ √ kfˆ − f k.
3 3 (π 2 + α (1 + 4Θ31 σ))
√
Since kfˆ − f k ≤ |κ̂ − κ|/ 2, then
¯ 1 ¯
¯Z ³ ´ ¯¯
¯
¯ x ϕ(θ̂(x)) − ϕ(θ(x)) dx¯ ≤ q|κ̂ − κ|, (27)
¯ ¯
¯ ¯
0
and similarly,
¯ 1 ¯
¯Z ³ ´ ¯¯
¯
¯ (1 − x) ϕ(θ̂(x)) − ϕ(θ(x)) dx¯ ≤ q|κ̂ − κ|. (28)
¯ ¯
¯ ¯
0
Here ¡ ¢
1 α 1 + 4Θ32 σ
q=√ .
6 (π 2 + α (1 + 4Θ31 σ))
Note that µ ¶3
1 Θ2
0<q< √ ,
6 Θ1
and q = O(α) as α → +0 for fixed σ.
Let us consider l = A[κ], ˆl = A[κ̂] and estimate the |ˆl − l|2 = (ˆl1 − l1 )2 +
ˆ
(l2 − l2 )2 . From (27), (28) it follows
αβ 2 (1 − α/6) + αβ (1 + β (1 + α/3))
|ˆl1 − l1 | ≤ q|κ̂ − κ| =
1 + 2β (1 + α/3) + αβ 2 (1 + α/12)
2αβ
q|κ̂ − κ|.
2 + αβ
The expression |ˆl2 − l2 | is estimated by the same term. Hence,
√
2 2αβ
|A[κ̂] − A[κ]| ≤ q|κ̂ − κ|.
2 + αβ
Thus, the following statement is true.
Theorem 2 Let inequality (25) and
¡ ¢
2 1 + 4Θ32 σ βα2
√ <1 (29)
3 (π 2 + (1 + 4Θ31 σ) α) (2 + αβ)
hold, then there exists a unique solution θ of the boundary-value problem (11)-
(14), Θ1 ≤ θ(x) ≤ Θ2 , x ∈ (0, 1).
Inequalities (25) and (29) are complex restrictions on the parameters of the
problem. However, for example, we can see that these restrictions are fulfilled
when ω is close enough to 1 (i.e. α is close enough to 0). This corresponds
to the case of dominant scattering, which is favorable for the use of the P1
approximation.
8
6. An iterative procedure
The proved contraction property of the operator A is the basis for the fol-
lowing iterative procedure. For finding a solution of the problem (11)-(14), we
will use a simple iterative method:
Initial approximation κ(0) can be calculated using equalities (21) and (22), where
θ(x) = (1 − x)Θ1 + xΘ2 , x ∈ [0, 1]. If the sequence κ(n) converges in R2 , then
its limit κ is a fixed point of the operator A, and θ = A[κ] is a solution of the
problem (11)-(14). Notice that condition (25) ensures convergence at least of a
subsequence κ(np ) , and condition (29) ensures convergence of κ(n) at a geometric
rate.
Thus, the contraction property of the operator A provides fast convergence of
the proposed iterative procedure. In the following section, we will demonstrate
this by numerical experiments.
7. Numerical experiments
9
simple iterative procedure. The advantage of the proposed algorithm is its guar-
anteed convergence. Also, there is an opportunity for finding an a priory error
estimate.
The calculations for the diffusion models were performed by use of mathe-
matical software Maple 9.5.
1
0.95
0.9
0.85
Normalized temperature (θ)
0.8
0.75
0.7
0.65
0.6
0.55
0.5
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Point of the layer (x)
0.1
Mean−square deviation
0.08
0.06
0.04
0.02
0
0 2 4 6 8 10 12 14 16 18 20
Number of iterations
10
View publication stats
References
[1] M.N. Ozisik, Radiative Transfer and Interaction with Conduction and Con-
vection, John Wiley, New York, 1973.
[2] M.F. Modest, Radiative Heat Transfer, McGraw-Hill, New York, 1993.
[3] S. Andre, A. Degiovanni, A theoretical study of the transient coupled con-
duction and radiation heat transfer in glass: phonic diffusivity measurements
by the Nash technique, Int. J. Heat Mass Transfer, 38 (18) (1995) 3401–3412.
[4] S. Andre, A. Degiovanni, A new way of solving transient radiative-conductive
heat transfer problems, J. Heat Transfer, 120 (4) (1998) 943–955.
[5] J.M. Banoczi, C.T. Kelley, A fast multilevel algorithm for the solution of
nonlinear systems of conductive-radiative heat transfer equations, SIAM J.
Sci. Comp., 19 (1) (1998) 266–279.
[6] A. Klar, N. Siedow, Boundary layers and domain decomposition for radiative
heat transfer and diffusion equations: applications to glass manufacturing
process, Eur. J. Appl. Math., 9 (4) (1998) 351–372.
[12] C.E. Siewert, J.R. Thomas, A computational method for solving a class
of coupled conductive-radiative heat-transfer problems, J. Quant. Spectrosc.
Radiat. Transfer, 45 (5) (1991) 273–281.
11