Dirichlet problem

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Dirichlet problem: a quick, easy guide

What is it?
- The Dirichlet problem asks for a function u inside a region D that satisfies a given partial differential equation (PDE) and takes prescribed values on the boundary of D.
- The classic example is Laplace’s equation, where u is harmonic (the Laplacian Δu = 0). The boundary condition is u equals a given function f on the boundary ∂D.

Why it matters
- It links how a system behaves inside a region to how its boundary is set up, and it appears in physics (electrostatics, fluid dynamics), engineering, and many areas of math.

Existence and uniqueness (when do solutions exist and are they unique?)
- If the boundary of D is smooth enough and the boundary data f is reasonable (continuous), there is a function u inside D that satisfies the PDE and matches f on the boundary, and this solution is unique (at least for Laplace’s equation). The exact smoothness needed depends on the problem.
- For more general PDEs, existence and uniqueness can still hold, but the boundary’s shape and the data’s regularity become important.

How we solve it (the big idea)
- Green’s function and boundary integrals: A powerful way to build u uses Green’s function G(x, s) for the PDE in D. The interior solution can be written as a boundary integral involving the normal derivative of G along the boundary.
- Poisson kernel and boundary data: For Laplace’s equation, there is a kernel (the Poisson kernel) that turns boundary values into interior values. This gives a practical formula to compute u inside D from its boundary data.

The unit disk example (a simple, explicit case)
- If D is the open unit disk in the plane and the boundary data f is given on the circle, the solution inside the disk can be written explicitly using the Poisson integral formula.
- Inside the disk, u is obtained by averaging the boundary values f with a specific weight that depends on how far you are from the boundary. On the boundary, u matches f exactly.

Key formulas (conceptual, not heavy)
- Boundary value: u on the boundary ∂D must equal a given f.
- Interior solution (informal): u(x) is built from boundary data through a kernel that knows the PDE and the domain.
- Poisson integral (disk case): the value at a point inside the disk is an average of boundary values with weights that depend on distance to the boundary. On the boundary, the interior formula recovers the given f.
- Green’s function idea: G(x, s) acts like a fundamental solution that helps express u as a boundary integral, with a harmonic correction to respect the boundary.

What can go further (generalizations)
- Dirichlet problems aren’t limited to Laplace’s equation. They also appear for other elliptic PDEs (like the biharmonic equation) and in more complex physical models.
- Connections to other boundary problems: Neumann problems (specifying normal derivative on the boundary) and Cauchy problems (partial boundary data) are related but require different techniques.

How solutions are found in practice
- Perron method: A classical approach using the maximum principle and subharmonic functions.
- Sobolev spaces: A modern framework that gives precise information about smoothness of solutions, especially when the boundary is smooth.
- Integral equation methods: Reformulate the problem so the unknown appears inside an integral equation; this connects to the theory of compact and Fredholm operators.
- Potential theory: Uses potentials and kernels to solve the Dirichlet problem directly through integral formulas.

A bit of history
- The problem goes back to George Green in 1828, who introduced ideas about Green’s functions.
- Early work by Gauss, Lord Kelvin, and Dirichlet laid the groundwork; Dirichlet’s principle led to variational approaches.
- A rigorous existence proof for general cases came with David Hilbert around 1900, using the direct method in the calculus of variations. The details depend on boundary smoothness and data regularity.

In short
- The Dirichlet problem asks for an interior solution that matches specified boundary values.
- It has a solid existence and uniqueness theory in smooth settings, and explicit solutions exist in simple shapes (like the unit disk) via the Poisson kernel.
- Modern methods use Green’s functions, integral equations, and Sobolev spaces to handle more complex domains and PDEs.