K. Sheshadri
Abstract
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 schemes, include the ability to handle (1) arbitrary number of dependent variables, (2) arbitrary dimensionality, and (3) arbitrary geometry, as well as (4) developing finite-difference schemes to any desired order of approximation. In the present paper, extensions of this framework to implicit schemes and the method of lines are discussed. While C++ code is generated, using the MathCode system for the implicit method, Modelica code is generated for the method of lines. The latter provides a preliminary PDE support for the Modelica language. Examples illustrating the various aspects of the solver generator are 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} V.F. D'yachenko, Basic Computational Mathematics, Mir Publishers, Moscow, 1979.Google Scholar
- {4} The Dynasim website, http://www.dynasim.se.Google Scholar
- {5} The ELLPACK webpage, http://www.cs.purdue.edu/ellpack/ ellpack.html.Google Scholar
- {6} P. Fritzson, MathCode C++, published by MathCore (http://www.mathcore.com/), 1998.Google Scholar
- {7} P. Fritzson, Principles of Object Oriented Modeling and Simulation - with Modelica 2.0, first chapter of book draft available at (http://www.ida.liu.se/labs/pelab/modelica/).Google Scholar
- {8} P. Fritzson, P. Aronsson, P. Bunus, V. Engelson, H. Johansson, A. Karström and L. Saldamli, The Open Source Modelica Project, in Proceedings of the 2nd International Modelica Conference, March 18-19, 2002, Munich, Germany. (Paper at http://www.modelica.org. More info at www.ida.liu.se/labs/pelab/modelica).Google Scholar
- {9} P. Fritzson, V. Engelson and J. 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
- {10} P. Fritzson, J. Gunnarsson and M. Jirstrand, MathModelica - An Extensible Modeling and Simulation Environment with Integrated Graphics and Literate Programming, in Proceedings of the 2nd International Modelica Conference, March 18-19, 2002, Munich, Germany. Short version available at http://www.modelica.org/. Long version available at http://www.ida.liu.se/labs/pelab/modelica/.Google Scholar
- {11} Applied Numerical Analysis (5th edition) by C.F. Gerald and P.O. Wheatley, Addison-Wesley, 1994.Google Scholar
- {12} B. Gustafsson, H.-O. Kreiss and J. Oliger, Time Dependent Problems and Difference Methods, John Wiley & Sons, Inc., 1995.Google Scholar
- {13} H.P. Langtangen, Computational Partial Differential Equations - Numerical Methods and Diffpack Programming, Springer-Verlag, 1999. Google Scholar
- {14} M. Jirstrand, J. Gunnarsson and P. Fritzson, MathModelica - 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
- {15} An Object-Oriented Framework for PDE Solvers, Krister Åhlander, PhD thesis, Dept. of Scientific Computing, Uppsala University, Sweden, 1999.Google Scholar
- {16} The MathCore website, http://www.mathcore.se.Google Scholar
- {17} M. Oh, Modelling and simulation of combined lumped and distributed processes, Ph.D. thesis, University of London, 1995.Google Scholar
- {18} Modelica Association homepage (http://www.modelica.org/).Google Scholar
- {19} 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
- {20} W.D. Henshaw, Overture Documentation, LLNL Overlapping Grid Project. http://www.llnl.gov/CASC/Overture/henshaw/ overtureDocumentation/overtureDocumentation.html.Google Scholar
- {21} The PELLPACK webpage http://purdue.cs.purdue.edu./.Google Scholar
- {22} J.R. Rice and R.F. Boisvert, Solving Elliptic Problems Using ELLPACK, Springer, 1984. Google Scholar
- {23} L. Saldamli, P. Fritzson and B. Bachmann, Extending Modelica for Partial Differential Equations, in Proceedings of the 2nd International Modelica Conference, March 18-19, 2002, Munich, Germany, (www.modelica.org).Google Scholar
- {24} K. Sheshadri and P. Fritzson, A General Symbolic PDE Solver Generator: Explicit Schemes, accepted for publication in Scientific Programming, 2002; A Mathematica notebook version of the paper is available upon request from the authors. Google Scholar
- {25} K. Sheshadri and P. Fritzson, A Mathematica-based PDE Solver Generator, pages 66-78, Proceedings of SIMS'99, The 1999 Conference of the Scandinavian Simulation Society, Linköping, Sweden. (www.scansims.org).Google Scholar
- {26} Dept. Scientific Computation, Uppsala University, website. http://www.tdb.uu.se/research/swtools/.Google Scholar
- {27} 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: Beyond explicit schemes
Recommendations
A general symbolic PDE solver generator: Explicit schemes
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 ...
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 ...
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 ...
Comments