The Dirichlet problem on quadratic surfaces

Axler, Sheldon; Gorkin, Pamela; Voss, Karl

doi:10.1090/S0025-5718-03-01574-6

The Dirichlet problem on quadratic surfaces
HTML articles powered by AMS MathViewer

by Sheldon Axler, Pamela Gorkin and Karl Voss PDF

Math. Comp. 73 (2004), 637-651 Request permission

Abstract:

We give a fast, exact algorithm for solving Dirichlet problems with polynomial boundary functions on quadratic surfaces in $\mathbf {R}^n$ such as ellipsoids, elliptic cylinders, and paraboloids. To produce this algorithm, first we show that every polynomial in $\mathbf {R}^n$ can be uniquely written as the sum of a harmonic function and a polynomial multiple of a quadratic function, thus extending a theorem of Ernst Fischer. We then use this decomposition to reduce the Dirichlet problem to a manageable system of linear equations. The algorithm requires differentiation of the boundary function, but no integration. We also show that the polynomial solution produced by our algorithm is the unique polynomial solution, even on unbounded domains such as elliptic cylinders and paraboloids.

References

Sheldon Axler, Paul Bourdon, and Wade Ramey, Harmonic function theory, 2nd ed., Graduate Texts in Mathematics, vol. 137, Springer-Verlag, New York, 2001. MR 1805196, DOI 10.1007/978-1-4757-8137-3
Sheldon Axler and Wade Ramey, Harmonic polynomials and Dirichlet-type problems, Proc. Amer. Math. Soc. 123 (1995), no. 12, 3765–3773. MR 1277092, DOI 10.1090/S0002-9939-1995-1277092-1
John A. Baker, The Dirichlet problem for ellipsoids, Amer. Math. Monthly 106 (1999), no. 9, 829–834. MR 1732663, DOI 10.2307/2589615
Dmitry Khavinson and Harold S. Shapiro, Dirichlet’s problem when the data is an entire function, Bull. London Math. Soc. 24 (1992), no. 5, 456–468. MR 1173942, DOI 10.1112/blms/24.5.456
Winfried Scharlau, Quadratic and Hermitian forms, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 270, Springer-Verlag, Berlin, 1985. MR 770063, DOI 10.1007/978-3-642-69971-9
Harold S. Shapiro, An algebraic theorem of E. Fischer, and the holomorphic Goursat problem, Bull. London Math. Soc. 21 (1989), no. 6, 513–537. MR 1018198, DOI 10.1112/blms/21.6.513
D. Siegel and E. O. Talvila, Uniqueness for the $n$-dimensional half space Dirichlet problem, Pacific J. Math. 175 (1996), no. 2, 571–587. MR 1432846