Skip to main content
Engineering LibreTexts

4.1: The Uniqueness Theorem

  • Page ID
    48136
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    Consider a linear dielectric material where the permittivity may vary with position:

    \[\textbf{D} = \varepsilon (r) \textbf{E} = - \varepsilon(r) \nabla V \]

    The special case of different constant permittivity media separated by an interface has \(\varepsilon (r)\) as a step function. Using (1) in Gauss's law yields

    \[\nabla \cdot [ \varepsilon (r) \nabla V ] = - \rho_{f} \]

    which reduces to Poisson's equation in regions where \(\varepsilon (r)\) is a constant. Let us call Vp a solution to (2).

    The solution VL to the homogeneous equation

    \[\nabla \cdot [\varepsilon (r) \nabla V] = 0 \]

    which reduces to Laplace's equation when \(\varepsilon (r)\) is constant, can be added to Vp and still satisfy (2) because (2) is linear in the potential:

    \[\nabla \cdot [\varepsilon (r) \nabla (V_{p} + V_{L})] = \nabla \cdot [ \varepsilon (r) \nabla V_{p}] + \underbrace{\nabla \cdot [ \varepsilon (r) \nabla V_{L}]}_{0} = - \rho_{f} \]

    Any linear physical problem must only have one solution yet (3) and thus (2) have many solutions. We need to find what boundary conditions are necessary to uniquely specify this solution. Our method is to consider two different solutions V1 and V2 for the same charge distribution

    \[\nabla \cdot (\varepsilon \nabla V_{1}) = - \rho_{f}, \: \: \: \: \nabla \cdot (\varepsilon \nabla V_{2}) - \rho_{f} \]

    so that we can determine what boundary conditions force these solutions to be identical, V1 = V2

    The difference of these two solutions VT = V1 - V2 obeys the homogeneous equation

    \[\nabla \cdot (\varepsilon \nabla V_{T}) = 0 \]

    We examine the vector expansion

    \[\nabla \cdot (\varepsilon V_{T} \nabla V_{T}) = V_{T} \underbrace{\nabla \cdot (\varepsilon \nabla V_{T})}_{0} + \varepsilon \nabla V_{T} \cdot \nabla C_{T} = \varepsilon \vert \nabla V_{T} \vert^{2} \]

    noting that the first term in the expansion is zero from (6) and that the second term is never negative.

    We now integrate (7) over the volume of interest V, which may be of infinite extent and thus include all space

    \[\int_{\textrm{V}} \nabla \cdot (\varepsilon V_{T} \nabla V_{t}) d \textrm{V} = \oint_{S}\varepsilon V_{T} \nabla V_{T} \cdot \textbf{dS} = \int_{\textrm{V}} \varepsilon \vert \nabla V_{T} \vert ^{2} d \textrm{V} \]

    The volume integral is converted to a surface integral over the surface bounding the region using the divergence theorem. Since the integrand in the last volume integral of (8) is never negative, the integral itself can only be zero if VT is zero at every point in the volume making the solution unique (\(V_{T} = 0 \Rightarrow V_{1} = V_{2}\)). To force the volume integral to be zero, the surface integral term in (8) must be zero. This requires that on the surface S the two solutions must have the same value (\(V_{1} = V_{2}\)) or their normal derivatives must be equal [\(\nabla V_{1} \cdot \textbf{N} = \nabla V_{2} \cdot \textbf{n}\)]. This last condition is equivalent to requiring that the normal components of the electric fields be equal (\(\textbf{E} = - \nabla V\)).

    Thus, a problem is uniquely posed when in addition to giving the charge distribution, the potential or the normal component of the electric field on the bounding surface surrounding the volume is specified. The bounding surface can be taken in sections with some sections having the potential specified and. other sections having the normal field component specified.

    If a particular solution satisfies (2) but it does not satisfy the boundary conditions, additional homogeneous solutions where \(\rho_{f} = 0\), must be added so that the boundary conditions are met. No matter how a solution is obtained, even if guessed, if it satisfies (2) and all the boundary conditions, it is the only solution.


    This page titled 4.1: The Uniqueness Theorem is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Markus Zahn (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.