The Solution of the Dirichlet Problem with Rational Boundary Data
CSEF · 2006 Mathematics & Software
Overview
Objectives/Goals I study the Dirichlet problem for the Laplace operator on arbitrary simply connected bounded domains in the plane with rational holomorphic boundary data. My first goal is to answer the following question: When are all solutions rational? My second goal is to find an explicit formula for the solution. Methods/Materials I form and prove several theorems related to my question, and combine them into a single theorem, which among other things, completely answers my question. By extending the proof of my theorem, I obtain an explicit formula for the solution on any simply connected bounded domain in the plane. Results My main results include the following: 1. The solution to every Dirichlet problem with rational holomorphic data is rational if and only if a Riemann map is rational. 2. The solution to every Dirichlet problem with rational holomorphic data is rational if and only if the Bergman kernel of the domain is rational. 3. The solutions to the above Dirichlet problems are rational if and only if the solution is rational for a single, relatively 'simple' data function, namely, the function 1/(z-a), where a is a point in the domain. 4. The Bergman kernel K(z,w) is rational if and only if K(z,a_1) and K(z,a_2) are rational, where a_1 and a_2 are any two points in the domain. Furthermore, I state and prove an explicit formula for the solution to any such Dirichlet problem in terms of only two functions: a Riemann map of the domain and the boundary data function. Conclusions/Discussion My theorem completely answers my question both geometrically and algebraically; namely, in terms of a Riemann map and in terms of the Bergman kernel of the domain. My theorem also connects the concepts of the Dirichlet problem, the Riemann map, the Bergman kernel, and rational functions in a simple way. Furthermore, my formula is the first explicit solution to the Dirichlet problem on arbitrary simply connected bounded domains in the plane.
Summary statement
I completely characterize, both geometrically and algebraically, all domains in the plane in which the solution of every Dirichlet problem with rational holomorphic data is rational, and obtain the first explicit formula for the solution.
Help received
My mentor, Prof. Peter Ebenfelt of UCSD, was available to answer my questions as I worked through proofs. I completely wrote the paper on my own, and Prof. Ebenfelt looked over it and made suggestions for improvement.
Awards (1)
- Category Award
Competition history
- CSEF 2006
Resources
Related projects
CSEF · 2005
A Study of the 3x+1 Transformation and Its Continuous Limit
ISEF · 2014
A New Method to Determine the Properties of Solutions to One-Variable Cubic Equations with Integral Coefficients
CSEF · 2003
Simulated Billiard Ball Paths
CSEF · 2004
Radical Obsession
CSEF · 2006
Pick's Theorem and the A.C. Extension
CSEF · 2015
Are All Irrational Numbers Equally Irrational?
CSEF · 2018
Mathematical Origami
CSEF · 2012
Solving Polynomials: A Multifaceted Approach by Computer
Closest projects by meaning, across every fair and year in the corpus.
Browse more like this
Source: California Science & Engineering Fair public projects