MathematicalInstituteUniversityofOxford
Mathematical modelling of alumina feeding
Attila Kovacs
InFoMM CDT, Mathematical Institute, University of Oxford Chris Breward, James Oliver and Andreas Münch (Oxford)
Svenn Halvorsen and Ellen Nordgård-Hansen (Norce) Eirik Manger (Norsk Hydro)
ICIAM 2019
July 18, 2019
MathematicalInstituteUniversityofOxford
Hall-Héroult cell
Alumina (300K)
Electrolysis in the hot cryolite (1230K)
Cathode Molten aluminium
Anode Anode
Tapping Crust
Current (200 kA)
Insulation
MathematicalInstituteUniversityofOxford
Alumina feeding processes
A
time
C
E D B
Main question: How does the molten cryolite inltrate and dissolve a porous alumina structure?
Focus of talk is Stage B, raft problem.
MathematicalInstituteUniversityofOxford
Alumina feeding: raft problem
Fluid Saturated
Uninfiltrated
Dissolution boundary Infiltration boundary
Front movement Mush?
A
time
C
E D B
MathematicalInstituteUniversityofOxford
Alumina feeding: raft problem
x y
Uninfiltrated
Saturated
Fluid Mush
MathematicalInstituteUniversityofOxford
1D Inltration problem
Tc
Tm
y Front movement
φ0
(top)
Solid Alumina Liquid Cryolite
Solid Cryolite
Air 1
Volume fraction Temperature
y =H y =c(t)
y =b(t)
φ0+ψ
Saturated Mush Uninfiltrated
MathematicalInstituteUniversityofOxford
1D Inltration problem
c(t)
b(t) H
y 3 Uninfiltrated
Forc(t)<y <H:
∂T3
∂t = ∂2T3
∂y2 ,
At y =c(t) : T3 =1−ε, ψc˙ =−Stkpf
∂T3
∂y , At y =1: ∂T3
∂y =Nu(T −θe)
MathematicalInstituteUniversityofOxford
1D Inltration problem
c(t)
b(t) H
y Mushy 2
Forb(t)<y <c(t):
∂ψ
∂t =0,
∂
∂y ((1−φ−ψ)u2) =0,
−γ K(ψ+φ) (1−φ−ψ)
∂p2
∂y +β
=u2,
At y =b(t) : [pi]+−=0, u1−1−φ−ψ
1−φ u2=ψb˙1−ρ 1−φ, At y =c(t) : p2 =−1, u2 = ˙c
1+ ψρ
1−φ−ψ
,
MathematicalInstituteUniversityofOxford
1D Inltration problem
c(t)
b(t) H
y 1
Infiltrated For 0<y <b(t):
∂T1
∂t + ∂
∂y (qφcu1T1) =αip∂2T
∂y2,
∂
∂y ((1−φ)u1) =0, γ−K(φ)
(1−ψ) ∂p1
∂y +β
=u1,
At y=0: T1 =1, p1 =0,
At y =b(t) : T1 =1−ε, ψb˙=−Stkif
∂T1
∂y , [pi]+−=0, u1−1−φ−ψ
1−φ u2=ψb˙1−ρ 1−φ,
MathematicalInstituteUniversityofOxford
Dimensionless parameters
Meaning and Symbol Denition Value
Inltrating force (γ) KP/(αpµc) 10200 Stefan number (St) αfp[T]cf/L 2.3
Newton cooling (Nu ) hH/kp 3
Diusivity ratio (αip ) αi/αp 2
Overheat (ε) Tc/Tm−1 0.015
Environment temperature ratio (θ) TA/Tm 0.86 Conductivity ratio (kif) ki/kf 2.5 Conductivity ratio (kpf) kp/kf 0.5
MathematicalInstituteUniversityofOxford
Dimensionless parameters
Meaning and Symbol Denition Value
Inltrating force (γ) KP/(αpµc) 10200 Stefan number (St) αfp[T]cf/L 2.3
Newton cooling (Nu ) hH/kp 3
Diusivity ratio (αip ) αi/αp 2
Overheat (ε) Tc/Tm−1 0.015
Environment temperature ratio (θ) TA/Tm 0.86 Conductivity ratio (kif) ki/kf 2.5 Conductivity ratio (kpf) kp/kf 0.5
MathematicalInstituteUniversityofOxford
Small overheat ( ε 1) limit
In this limit the inltrated region does not exist, so only mushy region and uninltrated is important. For the uninltrated region we
have ∂T3
∂t = ∂2T3
∂y2 in c(t)<y<1, with boundary conditions,
T3=1 at y =c(t), T3 =0 at y =1
MathematicalInstituteUniversityofOxford
Small overheat ( ε 1) limit
In this limit the inltrated region does not exist, so only mushy region and uninltrated is important. For the uninltrated region we
have ∂T3
∂t = ∂2T3
∂y2 in c(t)<y<1, with boundary conditions,
T3=1 at y =c(t), T3 =0 at y =1 and for the mushy region we have (with suitable boundary conditions)
∂ψ
∂t =0,
∂
∂y ((1−φ−ψ)u2) =0,
−γ K(ψ+φ) (1−φ−ψ)
∂p2
∂y +β
=u2,
MathematicalInstituteUniversityofOxford
Small overheat ( ε 1) limit
In this limit the inltrated region does not exist, so only mushy region and uninltrated is important. For the uninltrated region we
have ∂T3
∂t = ∂2T3
∂y2 in c(t)<y<1, with boundary conditions,
T3=1 at y =c(t), T3 =0 at y =1 uid equations can be integrated in space and lumped into the boundary conditions giving
ψ=−∂T3
∂y I
St, c˙= 1
I, c(0) =0 with introducing
I = Z c(t)
0
1
γK(φ(x))dx, I˙= 1
γIK(ψ(c)), I(0) =0
MathematicalInstituteUniversityofOxford
Small time asymptotics
• Expandc =O(√
t)as t →0+, so need smallt asymptotics to initiate numerical solution, because 0 is singular.
• Seek similarity solution given T ∼T(η), c ∼2λc√
t, I ∼2λI√ t withη=y/2√
t =O(1) as t→0+ andλc,λI to be determined from a system of nonlinear equations.
t
y O(√
t)
c(t)
1
MathematicalInstituteUniversityofOxford
Similarity solutions for St = 1, γ = 10
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
0 0.2 0.4 0.6 0.8 1
Temperature(T3)
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8 2
0 0.2 0.4
Similarity variable (η)
Frozenf.ψ
For a parameter set two dierent solutions are possible: faster
propagating with less freeze ( ) or slower moving with more freeze ( ).
MathematicalInstituteUniversityofOxford
Numerical results (fast)
Stable propagation agrees with small-time solution, then clogs due to the boundary.
MathematicalInstituteUniversityofOxford
Numerical results (slow)
Unstable solution switches to the stable one in short time, then clogs due to the boundary.
MathematicalInstituteUniversityofOxford
Regime diagram for early time solutions
Flow number (γ)
StefannumberSt/(γ)
10−3 10−2 10−1 100 101 102 103 10−3
10−2 10−1 100
Region of no solution and two solution
and the operating regime for the real system (dashed).
MathematicalInstituteUniversityofOxford
Conclusions and Future work
Conclusions:
• Developed a multiphase model for the inltration of molten cryolite into a cold porous alumina
• Investigated the relevant small overheat 1−θ1 limit having a new type of Stefan condition coupling Darcy ow to heat equation
• Similarity solution at small times yields nonuniqueness with one stable solution and nonexistence
• Simulations show either clogging or full inltration depending on the top boundary condition
Future work:
• What is the solution when there is nonexistence? (Dierent model)
• What are the next stages of the evolution?
• Rene physics (top boundary, pore size dependent capillary pressure, dropping LTE, composition eects)