核物理朗哥 · Bilibili · 5:45
This segment explains the first uniqueness theorem in electrostatics: if a function φ satisfies Laplace's equation inside a volume region V and its value is prescribed on the boundary ∂V, then the solution inside V is unique. The video first distinguishes between two theorems—one for Laplace's equation (for φ) and one for Poisson's equation (for the electric field )—then clarifies that Laplace's equation applies when there is no charge density inside V, and external charges influence the interior only through boundary values. The proof assumes two solutions and , constructs their difference , uses linearity to obtain , and deduces |_{∂V} = 0 from identical boundary conditions. Finally, it invokes the property that 'extrema of solutions to Laplace's equation occur on the boundary' to conclude that is identically 0 throughout region V, thus . This segment explains the second uniqueness theorem in electrostatics: within a region filled with charge density and bounded by conducting surfaces, if the total charge on each conductor boundary is specified, then the electric field is uniquely determined. The video visually illustrates the theorem's setup by drawing a region containing internal conductors, and notes that the intricate details of surface charge distribution on the conductors need not be considered. Then, using proof by contradiction together with Gauss's law (Maxwell's first equation) and the divergence theorem, the video rigorously proves the theorem, concluding that the difference field vanishes everywhere, thereby establishing the uniqueness of the electric field. This segment explains the proof of the electrostatic uniqueness theorem. The video first writes the theorem on a whiteboard: given the charge density in a region and the total charge on each conducting boundary, the electric field is unique. It then constructs the difference field , yielding the homogeneous conditions and zero flux across all boundaries. The key technique is computing , using the product rule and to rewrite it as -\vec{E}_3^{\,2}. Next, the divergence theorem converts the volume integral into a sum of surface integrals over the boundaries; because conductors are equipotential, can be factored out on each boundary, and combined with the zero-flux condition, the boundary terms vanish, yielding . Finally, the non-negativity of squared quantities implies , hence , proving the electric field is uniquely determined within the region.
Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.
Generated from the video's visuals and explanation; not verbatim speech.
The introduction sets the topic as 'Two Uniqueness Theorems in Electrostatics'. The blackboard title lists two objects side by side: and . This indicates that this segment does not discuss uniqueness in general, but first addresses the uniqueness of the electric potential under Laplace's equation, then lays the groundwork for the uniqueness of the electric field under Poisson's equation later.
Next, the first theorem is formally stated: in a volume region , if the potential values of a solution to Laplace's equation are specified on the boundary , then the solution is unique within . Key here is the causal relationship between 'boundary values being prescribed' and 'the interior solution being unique'; the closed-region diagram shown visually grounds this abstract theorem onto a geometric object.
Then explain why Laplace's equation corresponds to this boundary value problem. The video states that there is no charge density inside , and all charges affecting the shape of the electric potential lie outside the boundary. Thus, there is no source term inside, and the influence of external charges is compressed into the potential values on the boundary. This step links "charge-free regions" with "boundary conditions determining the interior solution."
The proof begins with a proof-by-contradiction setup: suppose there are two solutions and , both satisfying and , and taking identical values on the boundary, i.e., . To compare them, the video defines the difference function . Thus, proving "the two solutions are identical" reduces to proving "the difference is identically zero."
Next, use the linearity of the Laplace operator: . Therefore, itself is also a solution to Laplace's equation. Moreover, since and agree on the boundary, it immediately follows that . At this point, the problem has become a simpler statement: can a solution to Laplace's equation, which vanishes everywhere on the boundary, be nonzero somewhere inside the region?
The video now introduces a key property: the maximum and minimum values of any solution to Laplace's equation must occur on the boundary—not at any interior point. The small diagram in the lower left uses , , and an oscillating interior curve for intuitive illustration; its purpose is not to provide a rigorous proof, but to visualize the fact that "extrema occur on the boundary."
Applying this property to : since takes the value everywhere on the boundary, and its maximum and minimum values can only occur on the boundary, the maximum and minimum values of over the entire region must both equal . Therefore, holds for all . The screen fills the entire region in red to emphasize that the conclusion extends from the boundary to the whole interior.
Finally, return to the original two solutions: from , we obtain . That is, as long as the boundary potential is identical, Laplace's equation cannot admit two distinct solutions within region —uniqueness is thus proved. This segment ends here, setting up the subsequent discussion of Poisson's equation and uniqueness of the electric field.
The video opens by introducing the second uniqueness theorem of electrostatics. On the right side of the screen, an irregular pink region is drawn, representing space filled with charge density . The theorem explicitly states: for a region filled with charge density and enclosed by conducting boundaries, the electric field inside is uniquely determined by the total charge on each conductor. This means that in electrostatic boundary-value problems, once the boundary conditions and charge distribution are specified, the electric field solution is unambiguous—providing a solid theoretical foundation for solving complex electric field problems.
Next, the video refines the scope of applicability of the theorem. First, the boundary may consist of multiple conductors: besides the outer boundary, conducting surfaces may also exist inside region (e.g., the white region added later in the animation). Second, it emphasizes an important physical intuition: although the charge distribution on conductor surfaces may be highly nonuniform, according to this theorem, we need not concern ourselves with the detailed surface charge distribution; knowing only the total charge on each conductor (e.g., ) suffices to uniquely determine the electric field throughout the entire region.
Finally, the video enters the rigorous mathematical proof section. Using proof by contradiction, assume there exist two electric fields and that satisfy the same charge density and the same total boundary charge . Both satisfy the differential form of Gauss's law and the integral form . Define the difference electric field , then the divergence of is zero, and its flux is also zero on all boundaries. By constructing the vector identity , and using , we obtain . Integrate over the entire volume Integrate and apply the divergence theorem; the left side becomes a surface integral over the boundary, which is zero because the flux is zero and the conductor is an equipotential surface, while the right side is . This leads to , and since the integrand is nonnegative, it must be that , that is, , proving the uniqueness of the electric field.
At the start of the segment, the goal is clearly stated: to prove the electrostatic uniqueness theorem. The top of the board reads "Uniqueness Theorems in Electrostatics", and the theorem states: for a region filled with charge density and bounded by conductors, the electric field is uniquely determined by the total charge on each conductor. Immediately afterward, the video introduces the difference field and writes down the two homogeneous conditions it satisfies: and . This step transforms "uniqueness" into "if two solutions exist, their difference cannot be a nonzero field."
Next comes the core technique of the proof. The third line on the board reads "trick: ", and the voiceover explains this involves examining the divergence of the product of the potential difference and the difference field. Expanding via the product rule yields two terms: and . The first term vanishes identically because of the prior condition ; the second term, using the electrostatic relation , is rewritten as . Thus the pointwise identity becomes . Here the crucial point is not merely algebraic manipulation, but recasting the object under study into a square quantity that is everywhere non-negative.
Next, the video integrates over the entire region, explicitly labeling "div. thm." on the board. The left-hand side is rewritten via the divergence theorem as a sum of surface integrals over the boundaries , while the right-hand side remains . The voiceover emphasizes that these are not one large integral, but several independent surface integrals, separated according to the number of boundaries. The outer boundary and inner conductor boundaries shown in the schematic diagram on the right illustrate precisely why a summation arises.
Although the screen turns black in the second half, the argument continues. The video first states that a conductor in electrostatic equilibrium is an equipotential body, meaning the electrostatic potential is constant everywhere on any conductor's surface. For the difference field, this means is constant on each conductor boundary, and thus can be factored out of the surface integral over that boundary: . The narration also mentions that the outer boundary is often chosen to have zero potential, but this is not the fundamental reason why the boundary terms vanish; what truly matters is the homogeneous flux condition , already established earlier. Thus the entire sum vanishes, forcing the right-hand side of the equation to be zero, yielding .
The final step uses non-negativity. Since is a squared quantity, it cannot be negative anywhere; if the integral of a non-negative function over a region is zero, the function must be zero everywhere. Therefore . Then, by definition , we immediately obtain . This completes the proof of the uniqueness theorem: given the charge density and the total charge on each conductor, the electric field inside the region is uniquely determined. The segment ends with "Thank you for watching", without presenting additional examples.
At the start of this segment, the topic splits into two threads: the first concerns uniqueness of the electric potential under Laplace's equation; the second concerns conditions under which the electric field is uniquely determined under Poisson's equation. This segment actually develops the first thread.
If the potentialon the boundary of a volume regionis giventhen the solution to Laplace's equation insideis unique. The core of the theorem is not to find the explicitbut to show that once the boundary values are fixed, there cannot be a second solution inside.
The video interprets Laplace's equation as applying to region , where there is "no charge density whatsoever." External charges do not enter the interior equation directly, but instead influence the interior solution by determining the potential values on the boundary.
The proof assumes two solutions and , then constructs . If we can prove that is identically throughout the region, then the two candidate solutions are in fact the same function.
Because the Laplacian operator is linear and both and satisfy , their difference also satisfies the same equation. This step transforms "comparing two solutions" into "analyzing properties of a single difference function."
Since and satisfy the same boundary conditions, their difference is zero everywhere on . This is the prerequisite for applying the extremum property later.
The key property stated in this segment is: the maximum and minimum values of any solution to Laplace's equation must occur on the boundary, never at an interior point of the region. This property bridges the gap from "zero on the boundary" to "zero throughout the entire region."
If is identically on the boundary, and its maximum and minimum values can only be attained on the boundary, then the maximum and minimum values of over region must both equal ; therefore, is identically throughout the region.
From we obtain . This shows that, under identical boundary conditions, Laplace's equation cannot have two distinct solutions in region ; thus, the uniqueness theorem is proved.
In a region filled with charge density and bounded by conductors, if the total charge on each conductor at the boundary is specified, then the electric field inside the region is uniquely determined. This ensures the reliability of the solution to the electrostatic boundary value problem, without needing to consider the complicated details of the charge distribution on the conductor surfaces.
Use proof by contradiction: assume two electric fields and both satisfy the same source term (charge density) and boundary conditions (total charges). Construct their difference field . By Gauss’s law, is source-free () and has zero flux across all boundaries. Combining the potential relation with the divergence theorem, one shows the energy integral of vanishes, thus concluding —i.e., the two electric fields are identical.
The divergence of the electric field equals the charge density divided by the vacuum permittivity; the flux of the electric field through a closed surface equals the total charge enclosed by that surface divided by the vacuum permittivity.
The theorem written on the board at the beginning states: for a region filled with charge density and bounded by conductors, if the total charge on each conductor is specified, then the electric field inside that region is uniquely determined. All subsequent derivations in the video aim to prove this statement.
To prove uniqueness, the video assumes two candidate electric fields and , and defines the difference field . Since both satisfy the same source and the same total charge on each conductor, the difference field satisfies homogeneous conditions: , and .
The video calls the key step of the proof a trick: consider . Expanding it yields . The first term vanishes because of ; the second term is rewritten using to replace the gradient, becoming . This step transforms the problem into an integral of a non-negative quantity.
Integrating the above expression over the region , the left-hand side is converted via the divergence theorem into a sum of surface integrals over the boundaries: . The right-hand side remains . The narration emphasizes that these surface integrals are separated according to the number of boundaries.
The video explains that the electrostatic potential is constant on a conductor's surface, so a conductor is an equipotential body. For the difference-field potential , this means it is constant on each conductor boundary, and thus can be factored out of the surface integral over that boundary, leaving only . This is the prerequisite for determining that the boundary terms vanish.
Because each boundary contains , and can be factored out, the entire sum vanishes. Thus the right-hand side of the equation must also vanish, yielding . This step fully transfers the boundary conditions into volume-integral information.
Finally, the video uses the nonnegativity of squared quantities: . If the integral of a nonnegative function vanishes, the function must be zero everywhere; hence . Then, using , we obtain , thereby proving that the electric field is uniquely determined within the region.
Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.
The title line reads "Laplace eq. → φ"; subsequently, , , , and "the value of φ at the boundary" appear multiple times.
The voiceover states that the solution to Laplace's equation "is the electrostatic potential phi".
Electrostatic potential; in this segment, it is further divided into two candidate solutions , , and their difference .
A spatial function defined over the volume region V; takes prescribed values on the boundary.
The title line reads "Poisson eq. → ".
The voiceover says the second uniqueness theorem concerns Poisson's equation and tells us under what conditions the electric field is uniquely determined.
Electric field vector.
Not specified in the video.
The theorem statement includes "at the boundary", and the closed curve in the diagram is labeled "V" inside.
The voiceover says "is uniquely determined within some volume region V".
V
The volume region under discussion.
A region in three-dimensional space; its cross-section is illustrated in the segment by a two-dimensional closed curve.
The closed curve in the figure is labeled "∂V"; the boundary condition is written as "|_{}=|_{}".
The voiceover says "as long as we specify the value of phi on the boundary of V".
The boundary of region V.
The outer boundary of region V.
The letter "Q" in red appears at multiple locations outside the closed curve.
The voiceover says "any charges affecting the shape of the electric potential lie outside this region, that is, beyond the boundary".
Q
Charges located outside region V that affect the potential values on the boundary.
Outside boundary ∂V.
Write " , " and "".
The Laplacian operator.
Applied to the potential function .
Write "" and "|_{}=|_{}".
The narrator says: suppose there are two solutions to Laplace's equation, namely phi1 and phi2.
The first candidate solution satisfying the same boundary condition.
The electric potential function inside region V.
Write "" and "|_{}=|_{}".
The narrator says: suppose there are two solutions to Laplace's equation, namely phi1 and phi2.
The second candidate solution satisfying the same boundary condition.
The electric potential function inside region V.
Write "define := ", "", "|_{}=0", "".
The narrator says: "Now we define a new electric potential phi3 as the difference between phi1 and phi2."
The difference between the two candidate solutions, used to prove they are identical.
The electric potential function inside region V.
In the boundary condition and conclusion, written as "", "", "".
Spatial position variable.
Points on region V and its boundary ∂V.
The lower-left schematic shows "" and "", paired with boundary endpoints and an internal oscillating curve.
This notation appears in an auxiliary schematic; the video does not provide a formal definition separately.
,\
Used to illustrate where the minimum and maximum values of a solution to Laplace's equation occur.
Values of the electric potential on region V and its boundary ∂V.
The pink region on the right side of the screen is labeled V.
V
volume of the region filled with charge density
three-dimensional space region
The title reads "Uniqueness Theorems in Electrostatics : Laplace eq. → φ , Poisson eq. → ".
The voiceover states that this video will explain two uniqueness theorems in electrostatics: the first concerns the uniqueness of solutions to Laplace's equation, and the second concerns the unique determination of the electric field under Poisson's equation.
At the beginning of this segment, the topic is divided into two parts: first, the uniqueness of solutions to Laplace's equation; second, the conditions under which the electric field is uniquely determined in the case of Poisson's equation. Here, the outline is given first, followed by the first theorem.
Belongs to the topic of electrostatics.
This segment actually develops the first theorem.
Write on the board: "1. Theorem: The solution to Laplace's equation is uniquely determined if we specify the value of φ at the boundary."
The voiceover says that the solution to Laplace's equation inside a given volume region V is uniquely determined as long as the value of φ is specified on the boundary of V.
If the electric potential φ is specified on the boundary ∂V of a given volume region V, then the solution to Laplace's equation inside that region is unique. This segment uses a diagram of a closed region to emphasize the structure "boundary values determine interior solution."
Satisfies Laplace's equation inside region V
Electric potential values given on boundary ∂V
The voiceover says Laplace's equation describes a region with no charge density; any charges influencing the shape of the potential lie outside this region—that is, beyond the boundary.
Closed curve labeled V inside, Q outside.
This segment interprets Laplace's equation as applying to a region V with no charge density; the charges Q affecting the potential distribution lie outside the boundary and enter the problem only indirectly through the potential values on the boundary.
No charge density inside region V
Relevant charges lie outside the boundary
Write on the board in sequence: " , ", "|_{}=|_{}", "define := ".
The voiceover says: first assume there are two solutions to Laplace's equation satisfying the same boundary conditions, then define a new potential as their difference.
The proof strategy does not directly solve the equation; instead, assume two solutions and exist, construct their difference , and then prove that is identically 0 throughout the region, thereby concluding .
and are both solutions to the same Laplace equation
and take identical values on the boundary
The voiceover says: Laplace's equation has a nice property—its solution attains its minimum and maximum values on the boundary, never at some interior point.
A small diagram in the lower-left corner illustrates extremum locations using boundary endpoints and an oscillating curve inside the region.
The video conveys this idea orally and via diagrams, without stating a formal theorem name or presenting a complete proof.
The key property given in this segment is: the maximum and minimum values of a solution to Laplace's equation occur on the boundary and cannot be attained at any interior point. This step is the crucial basis for subsequently deducing ≡ 0.
The function satisfies Laplace's equation
Discuss the locations of its maximum and minimum values over region V.
At the top of the screen, write 2. Theorem: For a region filled with a charge density and surrounded by conducting boundaries, the electric field is uniquely determined by the total charges on the conductors.
In a region filled with a charge density and surrounded by conducting boundaries, if the total charges on the conductors at the boundary are specified, the electric field inside the region is uniquely determined.
Region V is filled with charge density
The region is surrounded by conducting boundaries
The total charges on the conductors at the boundary are specified
On screen, write , ; , (,2,...)
The divergence of the electric field equals the charge density divided by the vacuum permittivity; the flux of the electric field through a closed surface equals the total charge enclosed by that surface divided by the vacuum permittivity.
Applies to electrostatic fields
Q is the total charge inside the closed surface
The screen displays
Converts the volume integral of the divergence into a surface integral over the boundary.
The vector field is continuously differentiable within volume V
The top of the blackboard states "2. Theorem: For a region filled with a charge density and surrounded by conducting boundaries, the electric field is uniquely determined by the total charges on the conductors."
The closing voiceover summarizes, "The electric field inside this region is uniquely determined."
This segment revolves around a theorem: if a region is filled with a given charge density and bounded by several conductors, then specifying the total charge on each conductor uniquely determines the electric field inside the region. The blackboard identifies "charge density" and "total charges on the conductors" as the two types of data that determine the electric field.
The region is filled with a given charge density .
The boundary consists of conductors.
The total charge on each conductor is given.
Write on the board, second line: "define ".
The voiceover says: "Now we define a third electric field , which satisfies the homogeneous forms of the two equations discussed earlier."
To prove uniqueness, the video introduces the difference field . Since and satisfy the same divergence equation and the same total charge condition on each boundary, their difference yields homogeneous conditions: , and the flux integral over each boundary equals 0.
and share the same
and have the same on each conductor boundary
Write on the board, third line: "trick: ".
The voiceover says: "A clever method to prove this theorem is to examine the divergence of the product of the potential and the electric field ... After applying the product rule, we obtain two terms. One term vanishes due to the first equation stated earlier. For the other term, we replace the gradient of with the negative electric field. Thus, this expression equals minus squared."
In the audio transcript, "non-3" should be ; "minus squared" should be interpreted, in light of the board, as -\vec{E}_3^{\,2}.
The video's core trick is to examine . First, apply the product rule to split it into two terms: and (). The first term vanishes because ; the second term uses to replace the gradient, yielding -()=-\vec{E}_3^{\,2}. This step converts the quantity to be proved into a volume integral of a nonnegative quantity.
The divergence of the vector field is zero
E3 vector field equals the negative gradient of phi3.
The fourth line on the board writes \,\,, and an arrow labeled "div. thm." points to .
The voiceover says, "Next, we apply the divergence theorem to convert the volume integral into a surface integral on the left-hand side of the equation. These are actually several separate surface integrals, depending on how many boundaries we have."
Integrate the identity obtained in the previous step over volume V; the left-hand side is . The video explicitly rewrites it using the divergence theorem as the sum of surface integrals over each boundary: , while the right-hand side remains -\int_V . The voiceover emphasizes that these surface integrals are separated according to the number of boundaries.
Region V is enclosed by several boundaries .
The divergence theorem may be applied.
Write the theorem statement on the board: "The solution to Laplace's equation is uniquely determined if we specify the value of φ at the boundary."
Voiceover simultaneously explains this theorem.
If the electric potential φ is specified on the boundary ∂V of some volume region V, then the solution to Laplace's equation inside V is unique.
Consider Laplace's equation inside region V.
The value of φ is given on boundary ∂V.
For solutions satisfying the same boundary conditions in V, the solution is unique.
Write on the board "" and "".
Voiceover says: If zero is both its maximum and its minimum, then phi3 is zero everywhere in the region, meaning phi1 and phi2 are actually identical functions.
If satisfies Laplace's equation and equals 0 everywhere on boundary ∂V, then by the extremum property, is identically 0 throughout region V, and thus .
The increment of φ₃ is zero.
φ₃ takes the value zero on the boundary of region V.
The extremum of a solution to Laplace's equation occurs on the boundary.
Holds for all points inside region V.
The theorem statement appears at the top of the screen, and the audio simultaneously explains it.
For a region filled with charge density and enclosed by conducting boundaries, the electric field is uniquely determined by the total charges on the conductors.
Region V is filled with charge density
The region is enclosed by conducting boundaries
The total charges on the conducting boundaries are specified
for any region and boundary conditions satisfying the above conditions
Write the uniqueness conclusion of the theorem completely on the board.
The closing voiceover explicitly summarizes: "The electric field inside this region is uniquely determined."
For a region filled with charge density and enclosed by conducting boundaries, if the total charge on each conductor is specified, then the electric field inside that region is uniquely determined.
The region is filled with the given charge density .
The boundary consists of conductors.
The total charge on each conducting boundary is given.
For any two electric fields and satisfying the same and the same , we have .
On the board, the second line directly writes (1) and (2) .
If and satisfy the same divergence source and the same total boundary charges, then the difference field satisfies and .
The divergence of the E1 vector field and the divergence of the E2 vector field both equal the charge density divided by the vacuum permittivity.
The line integral of the E1 vector field along the closed path bounding surface Si equals the line integral of the E2 vector field along the same path, and both equal the total charge enclosed by surface Si divided by the vacuum permittivity.
Holds for each boundary , …, n.
On the board, write the trick line: .
Under the conditions and , we have .
The divergence of the E3 vector field is zero.
The E3 vector field equals the negative gradient of phi3.
Holds pointwise within the volume under discussion.
Label the summation term on the board with 0, and write the right-hand side as =0.
The narrator says, "The left-hand side of the equation becomes zero."
Since is constant on each conductor boundary and ∮_{∂} ℓ_i = 0, it follows that ∮_{∂} ℓ_i = 0.
A conductor is an equipotential body.
∮_{∂} ℓ_i = 0 holds for each i.
Sum over the finite number of boundaries for , …, n.
The narrator says, “A squared quantity cannot be negative … to conclude that itself is zero everywhere.”
The blackboard finally writes −.
If and , then , and hence .
is a nonnegative quantity.
The volume integral equals 0.
Holds everywhere within region V.
The blackboard sequentially writes " , ", "|_{}=|_{}", "define := ", "", "|_{}=0", "", "".
Voiceover step by step explains assuming two solutions, constructing their difference, and using boundary conditions and the extremum property to conclude that the difference is zero.
The right-side region diagram and the lower-left extremum sketch jointly illustrate boundary values and the location of interior extrema.
The extremum property is presented orally and via sketches in the video, without showing its independent proof.
First assume there exist two solutions and both satisfying Laplace's equation.
This is the standard opening for a uniqueness proof: assume two candidate solutions.
Both take the same potential value on the boundary ∂V.
Corresponds to the theorem's premise: 'specify the value of φ on the boundary.'
Define the difference function .
Reformulate 'proving the two solutions are identical' as 'proving the difference is identically zero.'
By the linearity of the Laplace operator, also satisfies Laplace's equation.
Because both and satisfy .
Since and are equal on the boundary, their difference is everywhere 0 on the boundary.
Obtained directly by subtracting the boundary conditions.
Invoke the extremum property stated in the excerpt: a harmonic function attains its extrema only on the boundary.
Stated verbally in the video and illustrated with a diagram.
Since is already 0 on the boundary, and its maximum and minimum values can occur only on the boundary, the overall maximum and minimum values throughout the region must both be 0; therefore, is identically 0.
Deduced jointly from the boundary value 0 and the extremum location property.
The difference being identically 0 means the two candidate solutions are identical.
Derived from and .
The solution to Laplace's equation satisfying the same boundary conditions is unique within region V.
The screen gradually displays each formula in the proof.
The audio simultaneously explains the reasoning and steps of the proof.
Assume there exist two electric fields and satisfying the same boundary conditions and charge density; define their difference field as .
Proof by contradiction assumption
Since and both satisfy , subtracting yields zero divergence for .
differential form of Gauss's theorem
Since the flux of and across each boundary equals , subtracting yields zero flux for across each boundary.
integral form of Gauss's theorem
Expand using the product rule of vector calculus.
vector identity
Because and , substituting into the above equation yields .
The relationship between electric field and electric potential:
Integrate the above equation over the entire volume V.
Linearity of integration
Apply the divergence theorem to convert the volume integral into a sum of surface integrals over the boundary.
Divergence theorem
Because the flux of vanishes on each boundary and the conductor surface is an equipotential surface ( is constant), the left-hand surface integral is zero.
Boundary conditions and properties of conductors
Rearranging gives the volume integral of the squared difference field equaling zero.
Algebraic manipulation
Since is nonnegative, its volume integral being zero implies is zero everywhere, thereby proving and are identical—electric field is unique.
Property that the integral of a nonnegative continuous function equals zero
It proves that the electric field inside a region is uniquely determined given the charge density and the total charge on the conductor boundaries.
The blackboard lists, line by line, the full chain: define, trick, div. thm., equipotentials, = 0.
The voiceover gradually explains the definitions of the difference field, product rule, divergence theorem, equipotential body, integral equals zero, and uniqueness conclusion.
On the blackboard, the rightmost arrow converts into ; the arrow detail is small, but the concluding voiceover explicitly states this conclusion.
First, take two candidate electric fields satisfying the same conditions and construct their difference field.
Standard opening for a proof by contradiction or uniqueness proof; given directly on the second line of the blackboard.
The difference field satisfies the homogeneous divergence equation and the zero-flux boundary condition.
Obtained by subtracting the equations for and , which share the same and the same .
Take the divergence of the product , expanding it into two terms.
Vector product rule / Leibniz rule for divergence.
The first term vanishes.
Using the homogeneous condition obtained in the previous step.
The second term becomes the negative of a squared quantity.
Use the electrostatic relation .
Integrate over the entire region to obtain a volume integral equality.
Integrate both sides of the pointwise identity from the previous step.
Rewrite the left-hand side using the divergence theorem as a sum of surface integrals over all boundaries.
Divergence theorem; the narration explicitly states 'convert the volume integral into the surface integral on the left-hand side of the equation'.
Factor out of the integral over each conductor boundary.
The equipotential property of conductors makes constant on that boundary.
The entire boundary term vanishes.
Each .
Thus, the volume integral on the right-hand side must also vanish.
Substitute the result for the boundary term back into the earlier volume integral equality.
Since the integral of a nonnegative squared quantity is zero, the difference field vanishes everywhere, and therefore the two electric fields are identical.
The vector field is greater than or equal to 0; if the integral equals 0, then the integrand must be identically 0.
The electric field satisfying the same charge density and the same total conductor charge is unique within the region.
In the third line of the blackboard notes, two terms are labeled with an underline and 0, and -\vec{E}_3^2, indicating their destinations.
The voice-over explains term by term: 'one of the terms vanishes due to the first equation stated earlier' and 'the gradient of phi is replaced by the negative electric field'.
The video selects the divergence of the product of the potential difference and the difference field as the object of study.
This is the core construction labeled 'trick' in the blackboard notes.
The first term is directly labeled 0.
Because we have already obtained .
The second term is rewritten as the negative of a squared quantity.
Replace the gradient with .
The divergence of the product simplifies to -\vec{E}_3^{\,2}, preparing for subsequent use of its non-negativity.
A closed curve is drawn at the center of the screen, labeled "V" inside, with multiple red "Q" labels outside, and "∂V" near the boundary.
The voiceover explains that there is no charge density inside region V, while charges lie outside the boundary and determine the boundary potential.
Region V represented by a closed curve.
Boundary ∂V.
External charge Q.
First draw the outline of the region.
Then label Q outside.
Next emphasize that the potential values on the boundary are determined by the external charges.
V is the interior region under discussion.
Q always lies outside the boundary.
This diagram concretizes the geometric setup of the theorem: no sources inside, and external charges affect the interior potential through boundary conditions.
A small schematic appears in the lower left corner, showing "", "", boundary endpoints, and an interior oscillating curve.
The narrator says that the minimum and maximum values of a solution to Laplace's equation must occur on the boundary, not at some interior point.
The small diagram is illustrative and does not provide a rigorous coordinate definition.
Boundary endpoints.
Interior oscillating curve.
Minimum value of φ.
Maximum value of φ.
First draw the boundary and the interior curve.
Then label min/max to compare boundary values with interior values.
The comparison is always between the boundary values and the interior values.
This animation/sketch illustrates intuitively: if the boundary values are fixed at 0, then no nonzero extremum—larger or smaller—can occur in the interior.
The originally blank region V is gradually filled red.
The voiceover says phi3 is zero throughout the region, meaning phi1 and phi2 are actually identical functions.
Region V
Red fill
Transition from blank to fully filled
Region boundary remains unchanged
Filling indicates the conclusion applies across all of V
Visually generalizing 'boundary equals 0' to 'entire region equals 0' helps understand the conclusion that the difference function is identically zero.
A pink irregular region gradually appears on the right side of the screen, labeled V inside and along its boundary.
Pink region
Letter V
Greek letter
The region is drawn from nothing to full existence.
Labels for volume and charge density are added.
Intuitively illustrates the physical scenario to which the theorem applies: a spatial region filled with charge density.
Two white irregular shapes are drawn inside the pink region, representing internal conductors, labeled , and , .
White irregular shapes
Labels ,
Labels ,
New geometric objects have been added within the original region.
Labels for surface area and total charge have been added.
The outer pink region remains unchanged.
Illustrates the case of "multiple boundaries" mentioned in the theorem, where conductor surfaces may also exist inside the region.
The first half of the segment shows a whiteboard or handwritten notes: on the left, from top to bottom, are the theorem, the definition of the difference field, the trick, and the integral transformation; on the right is a diagram of the region.
The title at the top reads "Uniqueness Theorems in Electrostatics: Laplace eq. -> , Poisson eq. -> ".
Title section
Theorem text section
Difference field definition line
Trick line
Volume integral and surface integral line
Region diagram on the right
Bottom note about equipotential bodies
The explanation proceeds downward along the board notes.
First establish the theorem and the difference field, then demonstrate the product rule, then perform the integral transformation, and finally arrive at the conclusion concerning equipotential bodies and the zero integral.
The main board content remains continuously visible within the same frame.
The right-side schematic always represents a region with one outer boundary and several inner conductor boundaries.
The frame organizes the proof as a visual logical chain: theorem statement, construction of the difference field, algebraic technique, integral theorem, boundary properties, final uniqueness.
On the right, a pink outer region V is drawn, containing two blue conductor cross-sections labeled , , , with ,1,2, written beside them, and shown.
The summation on the board is written as .
The exact correspondence between the values ,1,2, in the diagram and the summation upper limit n is not explained within this segment.
Outer region V
Outer boundary
Inner conductor boundary
Inner conductor boundary
The relation
A schematic diagram illustrating the existence of multiple independent boundaries
Corresponding to the later phrase "several independent surface integrals"
The topological structure of the region bounded by its boundaries remains unchanged
The conductor boundary is separated from the exterior region
This figure intuitively explains why summation over multiple boundaries appears after the divergence theorem: a region may have an outer boundary and several inner conductor boundaries.
Approximately 45 seconds later, the screen turns black, retaining only white Chinese subtitles at the bottom until the end.
The voiceover continues discussing equipotential bodies, vanishing boundary terms, vanishing squared integrals, and the uniqueness conclusion.
Black background
White Chinese subtitles at the bottom
The visual blackboard disappears
Mathematical content is now conveyed solely through voiceover and subtitles
The argument proceeds along the chain of formulas already written in the first half.
Although no new formulas are written on the board in the second half, the voiceover completes the semantic meaning of the formulas from the first half: equipotentiality, boundary terms vanishing, and a nonnegative integral implying the difference field is zero.
The title places 'Laplace eq. → φ' alongside 'Poisson eq. → '.
The narration clearly distinguishes the first theorem, which concerns uniqueness of solutions to Laplace's equation, from the second theorem, which deals with Poisson's equation and addresses uniqueness of the electric field.
Do not assume that seeing 'uniqueness theorem' always refers only to uniqueness of the electric potential φ.
At the beginning of this segment, the distinction is made: the first theorem applies to solutions φ of Laplace's equation; the second theorem applies to uniqueness of the electric field in the case of Poisson's equation.
The narration states that Laplace's equation describes a region with zero charge density, and any charges influencing the shape of the potential lie outside this region.
All charges Q are drawn outside the closed region.
Do not assume that charges may exist inside region V, merely without affecting uniqueness.
The video explicitly associates Laplace's equation with 'a region having no charge density'; the relevant charges Q lie outside the boundary and enter the problem via boundary conditions.
The narration emphasizes that the minimum and maximum values of the solution must occur on the boundary, not at some interior point.
A small diagram illustrates extremal values, comparing boundary and interior.
One might think that , although its boundary is 0, could still oscillate between positive and negative values inside.
The key property given in this segment rules out such a possibility: if extrema can only occur on the boundary, and all boundary values equal 0, then the interior must also be 0.
The audio states: "These conductor surfaces will carry some complicated charge distribution. However, the theorem tells us that we do not need to concern ourselves with the specific details of this charge distribution; knowing only the total charge is sufficient."
The belief that one must know the detailed, complex charge distribution on a conductor surface in order to solve for the electric field.
According to the uniqueness theorem, for conductors, knowing only the total charge on each conductor uniquely determines the electric field within the region; the specific details of the charge distribution are unnecessary.
The narration specifically explains, "A squared quantity cannot be negative; therefore, only when the sum of all the E3 squared parts equals zero can we conclude that E3 itself is zero everywhere."
Upon seeing , one might mistakenly assume it only indicates some average effect is zero, and cannot conclude the field is zero at every point.
The video emphasizes that the integrand is a squared quantity, hence nonnegative everywhere; if the integral of a nonnegative function is zero, then the function must be zero everywhere in the region, and thus .
The narration says, "This means we can factor phi3 out of the integral."
The board writes at the bottom: "# Conductors are equipotentials!"
One might mistakenly think phi3 can always be factored out of any surface integral.
The condition given in the video is that the conductor boundary is an equipotential; only when phi3 is constant on the conductor surface can phi3 be factored out of the integral over that boundary.
First explain that Laplace's equation applies to charge-free regions, then state the uniqueness theorem.
Only after clarifying that Laplace's equation applies when the volume V contains no charge density can one understand why boundary values uniquely determine the interior solution.
Immediately after stating the theorem, assume two solutions and define .
The difference-function method is the concrete technique used to prove this uniqueness theorem.
After obtaining "|_{} = 0", the voiceover proceeds to explain the extremum property.
To deduce that phi equals3equals0throughout the entire region from the fact that phi equals3equals0on the boundary, we must rely on the maximum principle for solutions of Laplace's equation.
The title lists side by side "Laplace eq. → φ" and "Poisson eq. → ".
This segment develops the uniqueness of the electric potential φ under Laplace's equation; the overview also mentions another uniqueness theorem concerning Poisson's equation and the electric field , which involves different objects.
The proof directly assumes both the differential and integral forms of Gauss's law as prerequisites.
The proof of the electric field uniqueness theorem relies on both the differential and integral forms of Gauss's law (Maxwell's first equation).
The proof explicitly labels 'div. thm.' to convert the volume integral into a surface integral.
The key step of the proof applies the divergence theorem to convert the integral over the volume into an integral over the boundary surface.
The board first states the theorem, then defines .
The narrator first states the theorem, then says, "Now we define the third electric field E3 again."
Introducing the difference field is the first step directly serving the proof of the uniqueness theorem.
The second line gives ; in the trick on the third line, is labeled 0.
Simplification using the product rule relies on the difference field satisfying the homogeneous divergence condition.
The blackboard first writes , and the next line integrates this expression and labels it "div. thm.".
Only after simplifying the pointwise identity to -\vec{E}_3^{\,2} does the subsequent conversion between volume integrals and boundary integrals have a clear object.
The summation includes , followed below by "# Conductors are equipotentials!"
The narrator first explains the surface integral, then explains conductor equipotentiality.
After the divergence theorem transfers the problem to boundary integrals, conductor equipotentiality must be invoked to factor out and conclude that the boundary term vanishes.
The blackboard indexes the summation term with 0 and writes the right-hand side as =0.
The narrator links equipotentiality with "the left-hand side of the equation becomes zero."
Equipotentiality allows to be factored out, and together with the zero-flux condition, yields that the entire boundary term vanishes.
The right end of the board ultimately writes -\int \,.
The voice-over then explains that the square quantity is nonnegative, leading to being zero everywhere.
After the boundary term vanishes, what remains is a nonnegative volume integral equaling zero; this step directly yields the conclusion that the difference field is zero and that the solution is unique.
The statement of the theorem is written directly on the board.
“Define := ” and subsequent derivation.
Narration explains that the extremum lies on the boundary; thus, if the boundary is 0, the entire region is 0.
Illustrative small diagram of extrema and animation filling the region in red.
The narration states that Laplace’s equation describes a region with no charge density.
Title juxtaposes “Laplace eq. → φ , Poisson eq. → ”.
The theorem statement appears at the top of the screen.
The screen displays the complete derivation of the proof.
The second line on the board defines .
In the trick line, is labeled 0 underneath.
The right side of the board writes , and the second term in the trick line is labeled -\vec{E}_3^2.
Above the arrow is written 'div. thm.', transforming the left-hand volume integral into the right-hand sum of surface integrals.
Write at the bottom: # Conductors are equipotentials!; the voiceover says phi3 can be factored out.
Covered · Opening title and narration provide an overview of both uniqueness theorems, distinguishing that Laplace’s equation corresponds to φ and Poisson’s equation corresponds to .
Covered · State and explain the first theorem: given the values of φ on the boundary, the solution to Laplace’s equation inside V is unique.
Covered · Explain that Laplace’s equation applies to regions with zero charge density, while external charges Q determine the boundary potential.
Covered · Assume two solutions and , define , and deduce that also satisfies Laplace's equation with boundary value 0.
Covered · Use a small extremum diagram to illustrate that the maximum and minimum values of a solution to Laplace's equation occur on the boundary.
Covered · From the boundary condition 0 and the extremum property, deduce that is identically 0 throughout V, hence , completing the uniqueness proof.
Covered · Introduces and illustrates the physical picture of the second uniqueness theorem in electrostatics.
Covered · Provides a detailed derivation and proof of this theorem, applying Gauss's law and the divergence theorem, and clarifies common misconceptions about charge distribution on conductors.
Covered · The visual shows the theorem and the definition of the difference field; the voiceover introduces a third electric field and its homogeneous form.
Covered · The boardwork 'trick' line and the voiceover jointly explain the product rule expansion, the vanishing of the first term, and the reduction of the second term to -\vec{E}_3^{\,2}.
Covered · The boardwork shows the volume integral transformed via the divergence theorem into a sum of surface integrals over multiple boundaries.
Covered · After the black screen, the voiceover explains that the potential on a conductor's surface is constant, so can be factored out of the integral.
Covered · The voiceover clarifies that setting the outer boundary potential to zero is merely a common choice; what truly makes the boundary term vanish is the second homogeneous equation for .
Covered · The voiceover deduces from the non-negativity of squared quantities, then obtains and the uniqueness conclusion for the electric field, concluding with a closing statement.
Reviewed English material v1: card "Divergence Theorem Conversion" at 4:34 — Integrating the identity over the region V, the left-hand side \, is converted via the divergence theorem into a sum of surface integrals over the boundaries, , while the right-hand side remains -\int_V \,; the voiceover stresses that these are several separate surface integrals, one per boundary, not one big integral.
Continue with related videos in the same subject.
Bilibili18:45.61200000000008
Bilibili13:2.7000000000000455
Bilibili11:02