Symbolic Solutions for a Class of Partial Differential Equations
β Scribed by BRAM DE JAGER; BRAM VAN ASCH
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 506 KB
- Volume
- 22
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
β¦ Synopsis
An algorithm to generate solutions for members of a class of completely integrable partial differential equations has been derived from a constructive proof of Frobenius' Theorem. The algorithm is implemented as a procedure in the computer algebra system Maple. Because the implementation uses the facilities of Maple for solving sets of ordinary differential equations and for sets of nonlinear equations, and these facilities are limited, the problems that actually can be solved are restricted in size and complexity. Several examples, some derived from industrial practice, are presented to illustrate the use of the algorithm and to demonstrate the advantages and shortcomings of the implementation.
π SIMILAR VOLUMES
## Abstract In this article we present the solution of linear partial differential equations of the form β~__t__~__f__ = LΜ__f__, for initial value problems. Also the solution of some diffusion equations will be discussed.
## Abstract In this paper, we prove a trace regularity theorem for the solutions of general linear partial differential equations with smooth coefficients. Our result shows that by imposing additional microlocal smoothness along certain directions, the trace of the solution on a codimensionβone hyp