Symbolic computation and the Dirichlet problem. (English) Zbl 0577.68053
EUROSAM 84, Symbolic and algebraic computation, Proc. int. Symp., Cambridge/Engl. 1984, Lect. Notes Comput. Sci. 174, 59-63 (1984).
[For the entire collection see Zbl 0539.00015.]
It was observed by S. Zaremba [Bull. Int. Acad. Sci. Cracovie, 147- 196 (1907)] that the Dirichlet problem could be solved by the use of complete orthonormal sets of harmonic functions. In what follows, we will explain how his ideas can be used to symbolically calculate an approximate solution of the Dirichlet problem in the form of a harmonic polynomial P(x,y) by orthonormalizing sets of harmonic polynomials. In fact, our approximate solution will be a harmonic polynomial and will provide a value of the solution at every point of a domain \(D\subset {\mathbb{R}}^ 2\). To find this solution explicitly, we will make extensive use of the symbolic manipulation language FORMAC which makes Zaremba’s solution possible in a truly computational sense.
It was observed by S. Zaremba [Bull. Int. Acad. Sci. Cracovie, 147- 196 (1907)] that the Dirichlet problem could be solved by the use of complete orthonormal sets of harmonic functions. In what follows, we will explain how his ideas can be used to symbolically calculate an approximate solution of the Dirichlet problem in the form of a harmonic polynomial P(x,y) by orthonormalizing sets of harmonic polynomials. In fact, our approximate solution will be a harmonic polynomial and will provide a value of the solution at every point of a domain \(D\subset {\mathbb{R}}^ 2\). To find this solution explicitly, we will make extensive use of the symbolic manipulation language FORMAC which makes Zaremba’s solution possible in a truly computational sense.
MSC:
68W30 | Symbolic computation and algebraic computation |
31A25 | Boundary value and inverse problems for harmonic functions in two dimensions |
41A10 | Approximation by polynomials |
31-04 | Software, source code, etc. for problems pertaining to potential theory |