This article needs additional citations for verification. (July 2013) (Learn how and when to remove this template message)
In mathematics and its applications, particularly to phase transitions in matter, a Stefan problem is a particular kind of boundary value problem for a system of partial differential equations (PDE), in which the boundary between the phases can move with time. The classical Stefan problem aims to describe the evolution of the boundary between two phases of a material undergoing a phase change, for example the melting of a solid, such as ice to water. This is accomplished by solving heat equations in both regions, subject to given boundary and initial conditions. At the interface between the phases (in the classical problem) the temperature is set to the phase change temperature. To close the mathematical system a further equation, the Stefan condition, is required. This is an energy balance which defines the position of the moving interface. Note that this evolving boundary is an unknown (hyper-)surface; hence, Stefan problems are examples of free boundary problems.
Analogous problems occur, for example, in the study of porous media flow, mathematical finance and crystal growth from monomer solutions.
The problem is named after Josef Stefan (Jožef Stefan), the Slovenian physicist who introduced the general class of such problems around 1890 in a series of four papers concerning the freezing of the ground and the formation of sea ice. However, some 60 years earlier, in 1831, an equivalent problem, concerning the formation of the Earth's crust, had been studied by Lamé and Clapeyron. Stefan's problem admits a similarity solution, this is often termed the Neumann solution, which was allegedly presented in a series of lectures in the early 1860s.
A comprehensive description of the history of Stefan problems may be found in Rubinstein.
Premises to the mathematical descriptionEdit
From a mathematical point of view, the phases are merely regions in which the solutions of the underlying PDE are continuous and differentiable up to the order of the PDE. In physical problems such solutions represent properties of the medium for each phase. The moving boundaries (or interfaces) are infinitesimally thin surfaces that separate adjacent phases; therefore, the solutions of the underlying PDE and its derivatives may suffer discontinuities across interfaces.
The underlying PDEs are not valid at the phase change interfaces; therefore, an additional condition—the Stefan condition—is needed to obtain closure. The Stefan condition expresses the local velocity of a moving boundary, as a function of quantities evaluated at either side of the phase boundary, and is usually derived from a physical constraint. In problems of heat transfer with phase change, for instance, conservation of energy dictates that the discontinuity of heat flux at the boundary must be accounted for by the rate of latent heat release (which is proportional to the local velocity of the interface).
The one-dimensional one-phase Stefan problemEdit
The one-phase Stefan problem is based on an assumption that one of the material phases may be neglected. Typically this is achieved by assuming that a phase is at the phase change temperature and hence any variation from this leads to a change of phase. This is a mathematically convenient approximation, which simplifies analysis whilst still demonstrating the essential ideas behind the process. A further standard simplification is to work in non-dimensional format, such that the temperature at the interface may be set to zero and far-field values to +1 or -1.
Consider a semi-infinite one-dimensional block of ice initially at melting temperature u ≡ 0 for x ∈ [0, +∞). The most well-known form of Stefan problem involves melting via an imposed constant temperature at the left hand boundary, leaving a region [0, s(t)] occupied by water. The melted depth, denoted by s(t), is an unknown function of time. The Stefan problem is defined by
- where β is the Stefan number, the ratio of latent to specific sensible heat (where specific indicates it is divided by the mass). Note this definition follows naturally from the non-dimensionalisation and is used in many texts  however it may also be defined as the inverse of this (for example in the Wikipedia entry, Stefan number).
- The Neumann solution, obtained by using self-similar variables, indicates that the position of the boundary is given by where λ satisfies the transcendental equation
Apart from modelling melting of solids, Stefan problem is also used as a model for the asymptotic behaviour (in time) of more complex problems. For example, Pego uses matched asymptotic expansions to prove that Cahn-Hilliard solutions for phase separation problems behave as solutions to a nonlinear Stefan problem at an intermediate time scale. Additionally, the solution of the Cahn–Hilliard equation for a binary mixture is reasonably comparable with the solution of a Stefan problem. In this comparison, the Stefan problem was solved using a front-tracking, moving-mesh method with homogeneous Neumann boundary conditions at the outer boundary. Also, Stefan problems can be applied to describe phase transformations.
Advanced forms of Stefan problemEdit
The classical Stefan problem deals with stationary materials with constant thermophysical properties (usually irrespective of phase), a constant phase change temperature and, in the example above, an instantaneous switch from the initial temperature to a distinct value at the boundary. In practice thermal properties may vary and specifically always do when the phase changes. The jump in density at phase change induces a fluid motion: the resultant kinetic energy does not figure in the standard energy balance. With an instantaneous temperature switch the initial fluid velocity is infinite, resulting in an initial infinite kinetic energy. In fact the liquid layer is often in motion, thus requiring advection or convection terms in the heat equation. The melt temperature may vary with size, curvature or speed of the interface. It is impossible to instantaneously switch temperatures and then difficult to maintain an exact fixed boundary temperature. Further, at the nanoscale the temperature may not even follow Fourier's law.
A number of these issues have been tackled in recent years for a variety of physical applications. In the solidification of supercooled melts an analysis where the phase change temperature depends on the interface velocity may be found in Font et al. Nanoscale solidification, with variable phase change temperature and energy/density effects are modelled in. Solidification with flow in a channel has been studied, in the context of lava and microchannels, or with a free surface in the context of water freezing over an ice layer. A general model including different properties in each phase, variable phase change temperature and heat equations based on either Fourier's law or the Guyer-Krumhansl equation is analysed in.
- Applied partial differential equations. Ockendon, J. R. (Rev. ed.). Oxford: Oxford University Press. 2003. ISBN 0-19-852770-5. OCLC 52486357.CS1 maint: others (link)
- (Vuik 1993, p. 157).
- RUBINSTEIN, L. I. (2016). STEFAN PROBLEM. [Place of publication not identified]: American Mathematical Society. ISBN 978-1-4704-2850-1. OCLC 973324855.
- Davis, Stephen H., 1939-. Theory of solidification. Cambridge. ISBN 978-0-511-01924-1. OCLC 232161077.CS1 maint: multiple names: authors list (link)
- Fowler, A. C. (Andrew Cadle), 1953- (1997). Mathematical models in the applied sciences. Cambridge: Cambridge University Press. ISBN 0-521-46140-5. OCLC 36621805.CS1 maint: multiple names: authors list (link)
- R. L. Pego. (1989). Front Migration in the Nonlinear Cahn-Hilliard Equation. Proc. R. Soc. Lond. A.,422:261–278.
- Vermolen, F. J.; Gharasoo, M. G.; Zitha, P. L. J.; Bruining, J. (2009). "Numerical Solutions of Some Diffuse Interface Problems: The Cahn–Hilliard Equation and the Model of Thomas and Windle". International Journal for Multiscale Computational Engineering. 7 (6): 523–543. doi:10.1615/IntJMultCompEng.v7.i6.40.
- Alvarenga HD, Van de Putter T, Van Steenberge N, Sietsma J, Terryn H (Apr 2009). "Influence of Carbide Morphology and Microstructure on the Kinetics of Superficial Decarburization of C-Mn Steels". Metallurgical and Materials Transactions A. 46: 123–133. Bibcode:2015MMTA...46..123A. doi:10.1007/s11661-014-2600-y. S2CID 136871961.
- (Kirsch 1996).
- Font, F.; Mitchell, S. L.; Myers, T. G. (2013-07-01). "One-dimensional solidification of supercooled melts". International Journal of Heat and Mass Transfer. 62: 411–421. doi:10.1016/j.ijheatmasstransfer.2013.02.070. ISSN 0017-9310.
- Myers, T. G. (2016-08-01). "Mathematical modelling of phase change at the nanoscale". International Communications in Heat and Mass Transfer. 76: 59–62. doi:10.1016/j.icheatmasstransfer.2016.05.005. ISSN 0735-1933.
- Font, F.; Myers, T. G.; Mitchell, S. L. (February 2015). "A mathematical model for nanoparticle melting with density change". Microfluidics and Nanofluidics. 18 (2): 233–243. doi:10.1007/s10404-014-1423-x. ISSN 1613-4982. S2CID 54087370.
- Lister, J.R. (1994). "The solidification of buoyancy-driven flow in a flexible-walled channel. Part 1. Constant-volume release". Journal of Fluid Mechanics. 272: 21–44. Bibcode:1994JFM...272...21L. doi:10.1017/S0022112094004362.
- Myers, T. G.; Low, J. (October 2011). "An approximate mathematical model for solidification of a flowing liquid in a microchannel". Microfluidics and Nanofluidics. 11 (4): 417–428. doi:10.1007/s10404-011-0807-4. ISSN 1613-4982. S2CID 97060677.
- Myers, T. G.; Charpin, J. P. F.; Chapman, S. J. (August 2002). "The flow and solidification of a thin fluid film on an arbitrary three-dimensional surface". Physics of Fluids. 14 (8): 2788–2803. Bibcode:2002PhFl...14.2788M. doi:10.1063/1.1488599. hdl:2117/102903. ISSN 1070-6631.
- Myers, T.G.; Charpin, J.P.F. (December 2004). "A mathematical model for atmospheric ice accretion and water flow on a cold surface". International Journal of Heat and Mass Transfer. 47 (25): 5483–5500. doi:10.1016/j.ijheatmasstransfer.2004.06.037.
- Myers, T. G.; Hennessy, M. G.; Calvo-Schwarzwälder, M. (2020-03-01). "The Stefan problem with variable thermophysical properties and phase change temperature". International Journal of Heat and Mass Transfer. 149: 118975. arXiv:1904.05698. doi:10.1016/j.ijheatmasstransfer.2019.118975. ISSN 0017-9310. S2CID 115147121.
- Vuik, C. (1993), "Some historical notes about the Stefan problem", Nieuw Archief voor Wiskunde, 4e serie, 11 (2): 157–167, Bibcode:1993STIN...9332397V, MR 1239620, Zbl 0801.35002. An interesting historical paper on the early days of the theory; a preprint version (in PDF format) is available here .
Scientific and general referencesEdit
- Cannon, John Rozier (1984), The One-Dimensional Heat Equation, Encyclopedia of Mathematics and Its Applications, 23 (1st ed.), Reading–Menlo Park–London–Don Mills–Sydney–Tokyo/ Cambridge–New York City–New Rochelle–Melbourne–Sydney: Addison-Wesley Publishing Company/Cambridge University Press, pp. XXV+483, ISBN 978-0-521-30243-2, MR 0747979, Zbl 0567.35001. Contains an extensive bibliography, 460 items of which deal with the Stefan and other free boundary problems, updated to 1982.
- Kirsch, Andreas (1996), Introduction to the Mathematical Theory of Inverse Problems, Applied Mathematical Sciences series, 120, Berlin–Heidelberg–New York: Springer Verlag, pp. x+282, ISBN 0-387-94530-X, MR 1479408, Zbl 0865.35004
- Meirmanov, Anvarbek M. (1992), The Stefan Problem, De Gruyter Expositions in Mathematics, 3, Berlin – New York: Walter de Gruyter, pp. x+245, doi:10.1515/9783110846720, ISBN 3-11-011479-8, MR 1154310, Zbl 0751.35052. – via De Gruyter (subscription required) An important monograph from one of the leading contributors to the field, describing his proof of the existence of a classical solution to the multidimensional Stefan problem and surveying its historical development.
- Oleinik, O. A. (1960), "A method of solution of the general Stefan problem", Doklady Akademii Nauk SSSR (in Russian), 135: 1050–1057, MR 0125341, Zbl 0131.09202. The paper containing Olga Oleinik's proof of the existence and uniqueness of a generalized solution for the three-dimensional Stefan problem, based on previous researches of her pupil S.L. Kamenomostskaya.
- Kamenomostskaya, S. L. (1958), "On Stefan Problem", Nauchnye Doklady Vysshey Shkoly, Fiziko-Matematicheskie Nauki (in Russian), 1 (1): 60–62, Zbl 0143.13901. The earlier account of the research of the author on the Stefan problem.
- Kamenomostskaya, S. L. (1961), "On Stefan's problem", Matematicheskii Sbornik (in Russian), 53(95) (4): 489–514, MR 0141895, Zbl 0102.09301. In this paper the author proves the existence and uniqueness of a generalized solution for the three-dimensional Stefan problem, later improved by her master Olga Oleinik.
- Rubinstein, L. I. (1971), The Stefan Problem, Translations of Mathematical Monographs, 27, Providence, R.I.: American Mathematical Society, pp. viii+419, ISBN 0-8218-1577-6, MR 0351348, Zbl 0219.35043. A comprehensive reference, written by one of the leading contributors to the theory, updated up to 1962–1963 and containing a bibliography of 201 items.
- Tarzia, Domingo Alberto (July 2000), "A Bibliography on Moving-Free Boundary Problems for the Heat-Diffusion Equation. The Stefan and Related Problems", MAT. Serie A: Conferencias, Seminarios y Trabajos de Matemática, 2: 1–297, doi:10.26422/MAT.A.2000.2.tar, ISSN 1515-4904, MR 1802028, Zbl 0963.35207. The impressive personal bibliography of the author on moving and free boundary problems (M–FBP) for the heat-diffusion equation (H–DE), containing about 5900 references to works appeared on approximately 884 different kinds of publications. Its declared objective is trying to give a comprehensive account of the existing western mathematical–physical–engineering literature on this research field. Almost all the material on the subject, published after the historical and first paper of Lamé–Clapeyron (1831), has been collected. Sources include scientific journals, symposium or conference proceedings, technical reports and books.