Summary
A complementary volume (co-volume) technique is used to develop a physically appealing algorithm for the solution of degenerate parabolic problems, such as the Stefan problem. It is shown that, these algorithms give rise to a discrete semigroup theory that parallels the continuous problem. In particular, the discrete Stefan problem gives rise to nonlinear semigroups in both the discreteL 1 andH −1 spaces.
Similar content being viewed by others
References
Atthey, D.R. (1974): A finite difference scheme for melting problems. J. Inst. Math. Appl.13, 353–366
Benilan, P., Crandall, M.G., Sacks, P. (1988): SomeL 1 existence and dependence results for semilinear elliptic equation under nonlinear boundary conditions. Appl. Math. Optimization17, 203–224
Berger, A.E., Brezis, H., Rogers, C.W. (1979): A numerical method for solving the problemu t −Δf(u)=0. RAIRO Numer. Anal.13, 297–312
Boörgers, C., Peskin, C. (1985): A Lagrangian method based on the Voronoi diagram for the incompressible Navier Stokes equation on a periodic domain. Proc. Int. Conf. Free Lagrange Methods. In: M. J. Fritts et al., eds., Lecture Notes in Physics, Vol. 238. Springer, Berlin Heidelberg New York
Brezis, H., Pazy, A. (1972): Convergence and approximation of semigroups of nonlinear operators in Banach spaces. J. Funct. Anal.9, 63–74
Caffarelli, L.A., Friedman, A. (1979): Continuity of the temperature in the Stefan problem. Indiana Univ. Math. J.28, 53–70
Ciarlet, P.G., Raviart, P.A. (1987): Maximum principle and uniform convergence for the finite element method. Comput. Meth. Appl. Mech. Eng.2, 17–31
Crandall, M. (1976): An introduction to evolution governed by accretive operators. Dynamical systems, Vol. 1. An International Symposium, Academic Press, New York London
Epperson, J.F. (1984): Finite element methods for a class of nonlinear evolution equations, SIAM J. Numer. Anal.21, 1066–1079
Jerome, J.W., Rose, M.E. (1982): Error estimates for the multidimensional two-phase Stefan problem. Math. Comput.39, 377–414
Kelley, C.T., Rulla, J. (1990): Solution of the time discretized Stefan problem by Newton's method. J. Nonlin. Anal. TMA14, 851–872
Kinderlehrer, D., Stampacchia, G. (1980): An Introduction to Variational Inequalities and their Applications. Academic Press, New York London
Macneal, R.H. (1953): An asymmetrical finite difference network. Quart. Appl. Math.11, 295–310
Magenes, E., Nochetto, R.H., Verdi, C. (1987): Energy error estimates for a linear scheme to approximate nonlinear parabolic problems. RAIRO Model. Math. Anal. Numer.23, 655–678
Magenes, E., Verdi, C., Visintin, A. (1989): Theoretical and numerical results on the two-phase Stefan problem. SIAM J. Numer. Anal.26, 1425–1438
Nicolaides, R.A. (1989): Direct discretization of planar div-curl problems. NASA ICASE Report No. 89-76
Nicolaides, R.A., Wu, X. (1991): Co-volume solutions of three dimensional div-curl equations. Preprint
Nochetto, R.H. (1987): Error estimates for multidimensional singular parabolic problems. Japan J. Appl. Math.4, 111–138
Nochetto, R.H., Verdi, C. (1988): Approximation of degenerate parabolic problems using numerical integration. SIAM J. Numer. Anal.25, 784–814
Rogers, J.C.W., Beger, A.E., Ciment, M. (1979): The alternating phase truncation method for numerical solution of a Stefan problem. SIAM J. Numer. Anal.16, 563–587
Rose, M. (1960): A method for calculating solutions of parabolic equations with a free boundary. Math. Comput.14, 249–256
Rulla, J. (1991): Error analyses for implicit approximations to solutions to Cauchy problems. Preprint
Thomee, V. (1984): Galerkin finite element methods for parabolic problems, Vol. 1054. Lecture Notes in Mathematics. Springer, Berlin Heidelberg New York
White, R.E. (1982): An enthalpy formulation of the Stefan problem. SIAM J. Numer. Anal.19, 1129–1157
Zlamal M. (1980): A finite element solution of the nonlinear heat equation. RAIRO, Numer. Anal.14, 203–216
Author information
Authors and Affiliations
Additional information
The first author was supported by a grant from the Hughes foundation, and the second author was supported by the National Science Foundation Grant No. DMS-9002768 while this work was undertaken. This work was supported by the Army Research Office and the National Science Foundation through the Center for Nonlinear Analysis.