K. Sheshadri
Abstract
A symbolic solver generator to deal with a system of partial differential equations (PDEs) in functions of an arbitrary number of variables is presented; it can also handle arbitrary domains (geometries) of the independent variables. Given a system of PDEs, the solver generates a set of explicit finite-difference methods to any specified order, and a Fourier stability criterion for each method. For a method that is stable, an iteration function is generated symbolically using the PDE and its initial and boundary conditions. This iteration function is dynamically generated for every PDE problem, and its evaluation provides a solution to the PDE problem. A C++/Fortran 90 code for the iteration function is generated using the MathCode system, which results in a performance gain of the order of a thousand over Mathematica, the language that has been used to code the solver generator. Examples of stability criteria are presented that agree with known criteria; examples that demonstrate the generality of the solver and the speed enhancement of the generated C++ and Fortran 90 codes are also presented.
- {1} W.F. Ames, Numerical Methods for Partial Differential Equations , Academic Press, 1992.Google Scholar
- {2} Numerical Objects AS Online (http://www.nobjects.com/ prodserv/diffpack/).Google Scholar
- {3} J.R. Rice and R.F. Boisvert, Solving Elliptic Problems Using ELLPACK, Springer, 1984, see the ELLPACK webpage http://www.cs.purdue.edu/ellpack/ellpack.html. Google Scholar
- {4} P. Fritzson, MathCode C++, published by MathCore (http://www.mathcore.com), 1998.Google Scholar
- {5} V.G. Ganzha and E.V. Vorozhtsov, Numerical Solutions for Partial Differential Equations: Problems Solving Using Mathematica , CRC Press, 1996. Google Scholar
- {6} "Applied Numerical Analysis" (5th ed.) by C.F. Gerald and P.O. Wheatley, Addison-Wesley, 1994.Google Scholar
- {7} M. Jirstrand, Johan Gunnarsson and Peter Fritzson, Math-Modelica - A New Modeling and Simulation Environment for Mathematica, in: Proceedings of the International Mathematica Symposium (IMS99), Linz, Austria, August 1999 (available at http://south.rotol.ramk.fi/~keranen/IMS99/ paper12/MathModelica-IMS99.nb).Google Scholar
- {8} B. Gustafsson, Heinz-Otto Kreiss and Joseph Oliger, Time Dependent Problems and Difference Methods, John Wiley & Sons, Inc., 1995.Google Scholar
- {9} H.P. Langtangen, Computational Partial Differential Equations - Numerical Methods and Diffpack Programming, Springer-Verlag, 1999. Google Scholar
- {10} P. Fritzson, Vadim Engelson and Johan Gunnarsson, An Integrated Modelica Environment for Modeling, Documentation and Simulation, in: Proceedings of SCSC-98 (Summer Computer Simulation Conference), Reno, Nevada, July 1998.Google Scholar
- {11} M. Oh, Modelling and simulation of combined lumped and distributed processes, Ph.D thesis, University of London, 1995.Google Scholar
- {12} Modelica Association homepage (http://www.modelica.org).Google Scholar
- {13} W.D. Henshaw, Overture Documentation, LLNL Overlapping Grid Project, see http://www.llnl.gov/CASC/Overture/henshaw/overtureDocumentation/overtureDocumentation.html.Google Scholar
- {14} PELAB - Programming Environment Laboratory, Department of Computer Science, Linköping University, Sweden, http://www.ida.liu.se/~pelab/modelica.Google Scholar
- {15} K. Sheshadri and P. Fritzson, A Mathematica-based PDE Solver Generator, Proceedings of SIMS'99, The 1999 Conference of the Scandinavian Simulation Society, Linköping, Sweden, pp. 66-78.Google Scholar
- {16} E. Mossberg, K. Otto and M. Thuné, Object-oriented software tools for the construction of preconditioners, Scientific Programming 6 (1997), 285-295.Google ScholarCross Ref
- {17} K. Åhlander, An Object-Oriented Framework for PDE Solvers, PhD thesis, Dept. of Scientific Computing, Uppsala University, Sweden, 1999.Google Scholar
- {18} See http://www.tdb.uu.se/research/swtools/.Google Scholar
- {19} A. Wrangsjö, P. Fritzson and K. Sheshadri, Transforming Systems of PDEs for Efficient Numerical Solution, Proceedings of the International Mathematica Symposium (IMS99), Linz, Austria, 1999, http://south.rotol.ramk.fi/~keranen/IMS99/ pa- per7/Transformations.pdf.Google Scholar
Index Terms
(auto-classified)A general symbolic PDE solver generator: Explicit schemes
Recommendations
A general symbolic PDE solver generator: Beyond explicit schemes
This paper presents an extension of our Mathematica- and MathCode-based symbolic-numeric framework for solving a variety of partial differential equation (PDE) problems. The main features of our earlier work, which implemented explicit finite-difference ...
Implicit-explicit multistep methods for general two-dimensional nonlinear Schrödinger equations
In this paper, implicit-explicit multistep Galerkin methods are studied for two-dimensional nonlinear Schrödinger equations and coupled nonlinear Schrödinger equations. The spatial discretization is based on Galerkin method using linear and quadratic ...
A novel symbolic ordinary differential equation solver
This paper describes a symbolic ordinary differential equation solver written as a package for the muMATH computer algebra system. The novel features of this solver are:1. Whereas previous ODE solvers generally require the equation to be quasi-linear ...
Comments