Boundary integral equation for the Neumann problem
Builds on Single layer potentialFundamental solution of the LaplacianIntegral equation of the second kindHarmonic functionNeumann boundary condition
Statement
Let , and let be a bounded domain whose boundary is a connected curve or surface with outward unit normal . Let be the fundamental solution of the Laplacian with . For a continuous density on put Let be continuous. Then:
- The integral equation of the second kind has a continuous solution if and only if .
- For such a solution , the single layer potential is harmonic in , and its normal derivative from inside equals on .
So the interior Neumann problem in , on , is solvable exactly when , and its solutions differ by constants.
Remarks
Part 2 follows from the jump relations for layer potentials: the normal derivative of the single layer potential from inside is . For part 1, is compact on and is the adjoint of the double layer operator with respect to the pairing . The null space of consists of the constants, since by Gauss's formula for the double layer potential of a constant density. By the Fredholm alternative, is solvable if and only if is orthogonal to the constants.
Example: on the unit disc in , for on the unit circle, so . For the equation has the solution , since ; the resulting single layer potential is in the disc, whose normal derivative on the circle is . For the condition fails, and indeed no harmonic in has , because .
Going deeper
For a student
This is the companion of the boundary integral equation for the Dirichlet problem, which uses the double layer potential. The two boundary operators and are adjoint to each other, and the solvability condition comes from the Fredholm alternative applied to this pair. The same equations, with the signs changed, treat the exterior problems. Numerically, both equations are discretized by boundary element or Nyström methods, which reduce the dimension of the problem by one.
Reading path
To understand this page from the ground up, read these 17 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Euclidean space object
- Function concept
- Fundamental solution of the Laplacian concept
- Integral equation of the second kind concept
- Neumann boundary condition concept
- Single layer potential concept
- Total derivative concept
- Function of several variables concept
- Vector-valued function concept
- Differentiable function of several variables concept
- Partial derivative concept
- Vector field concept
- Gradient concept
- Divergence concept
- Laplacian concept
- Harmonic function concept
- Boundary integral equation for the Neumann problem statement
Further reading
About this page
| Tag | CN7NP6R1AQ |
|---|---|
| URI | m2://CN7NP6R1AQ |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 31B10, 31A10, 45B05 |
| Status | This copy of the site has no build data. Run m2 status CN7NP6R1AQ. |
| About | Neumann boundary condition, Single layer potential |
| Uses | Single layer potential, Fundamental solution of the Laplacian, Integral equation of the second kind, Harmonic function, Neumann boundary condition |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.