220 likes | 240 Views
This paper discusses the Finite Element Method (FEM) approach to solve a one-phase solidification problem using parabolic variational inequalities. It covers the derivation of a complementarity system, application of FEM, and stability analysis.
E N D
One-phase Solidification Problem: FEM approach via Parabolic Variational Inequalities Ali Etaati May 14th 2008
Content: One-phase Stefan problem-solidification example Derivation of a complementarity system Parabolic variational inequality Finite element method
Solidification: • (T: final time)
Energy balance (Stefan condition) at • Solidification (cont’d): • Heat conduction equation (in the solid) • Freezing temperature • (L is the latent heat)
Solidification (cont’d): • Initial and Boundary conditions (temperature distribution): • Initial enthalpy:
Freezing index: • Then:
Linear complementarity system: • a.e. in
Parabolic Variational Inequalities: • Suppose: • Define: • Let • where • and
Parabolic Variational Inequalities (cont’d) • Find with • such that • and for almost all and is such that: • for all with a.e. in (0,T). • Problem 1:
Parabolic Variational Inequalities (cont’d) • Find with such that • and • for all . • Problem 2:
Parabolic Variational Inequalities (cont’d) • Consider a solution of Problem 2, for any and • Equivalence: • then • We obtain the solution for Problem 1. • Clearly a solution of Problem 1 solves Problem 2.
Parabolic Variational Inequalities (cont’d) • a.e. in • Theorem • Solution to Problem 2 satisfies the linear complementarity system:
Parabolic Variational Inequalities (cont’d) • Proof • For any non-negative and so, from Problem 2: • a.e. in • Which implies that
Parabolic Variational Inequalities (cont’d) • Proof (cont’d) • Now let Then for any • for sufficiently small so that • a.e. in • Conversely, by noting that if satisfies the complementarity system, then, for • Hence • It is then clear that w solves Problem 2.
Finite Element approximation (FEM) • find such that • For all • : Space of continuous functions which are linear on each element and which vanish on the boundaries. • : a piecewise linear basis function. • General Discretisation by FEM for Problem 1: • (for all interior points)
Finite Element approximation (cont’d) If f is continuous: (for all ) (for all ) Otherwise: In any case:
Time marching of the discrete system are nodal vectors. : is a symmetric positive definite matrix which causes the problem (*) to have unique solution. where
FEM; Stability • We may take in (**), then • for all • Let • and let’s assume: • Or equivalently that • The complementarity problems are equivalent to • (**)
FEM; Stability (cont’d) • holds when , there is a constant C, independent of space- and time-steps such that: • Stability theorem: • Providing the stability condition
FEM; Stability (cont’d) • for which is bounded by • Lemma: • The explicit method • is stable under the following conditions
Reference • Weak and variational methods for moving boundary problems, C M Elliott & J R Ockendon.