Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Uniqeness theorem in em

  1. Mar 27, 2009 #1
    isnt the field in any given volume always uniquely determined
    to prove by contradiction assume E1 and E2
    div(E1)=charge density/epsilon 0 =div(E 2)
    by fundamental theorem of divergences
    integral of E1.da = integral of E2.da over entire surface
    thus E1=E2

    then why does griffith in his book(intro to em) state the requirement of total charge on each conductor
  2. jcsd
  3. Mar 27, 2009 #2
    Could you please state the exact page on which he makes that claim? Just to put things into context here..
  4. Mar 27, 2009 #3


    User Avatar
    Science Advisor

    The uniqueness theorem requires boundary conditions that make the surface integrals vanish. In the presence of conductors, either the charge or the potential of each conductor must be given.
  5. Mar 30, 2009 #4
    it was on pg 118 of the 3rd edition
  6. Mar 30, 2009 #5
    but what i tried to prove was without these conditions
    so what is wrong with my proof
  7. Mar 30, 2009 #6


    User Avatar
    Science Advisor

    What is wrong with your proof it is that it doesn't make sense.
    Proving two integrals equal does not mean the integrands are equal.
    If G does not give a good enough proof, look at a more advanced text.
  8. Mar 30, 2009 #7
    Two integrands are sure to be equal only if their integrals are equal over all possible surfaces. You're taking the integrals over a particular surface. So you've established only a necessary but insufficient condition for [tex]E_1 = E_2[/tex].

    However, I would eschew proofs by contradiction anyway except for really trivial theorems. Direct proofs usually convey (or require) more insight into what's going on. I don't have my Griffith's in front of me. Is his a direct proof?
  9. Mar 31, 2009 #8
    it isnt that tough but i was trying an alternative
    i get it
    so i have to integrate over each possible surface thus needing the charge density at each surface
  10. Mar 31, 2009 #9


    User Avatar
    Science Advisor

    Proofs by contradiction are a standard part of math and physics.
    I know of no proof of any uniqueness theorem that is not by contradiction.
    I don't know how you could start.
  11. Mar 31, 2009 #10
    Hi, Clem, nice to meet you. Great post!
    Of course you are correct. Proofs by contradiction are used and relied upon every day. When a short proof by contradiction is possible, it often represents a very efficient and natural way to shore up a theorem. Humans often think in proofs by contradiction. ("Hmm. It must be Saturday today because on Sunday the bank I see open would be closed.")

    However, mathematicians prefer direct proofs for a couple of reasons. First, when one arrives at a contradiction, one has little insight into which of the premises "broke" the consistency. It's entirely possible that the initial axioms were themselves inconsistent before adding in the converse of the theorem to be proved. A proof by contradiction doesn't easily reveal that. For this reason, proofs by contradiction are less trustworthy as the number of axioms relied upon grows, and they're less suitable to prove nontrivial theorems. ("Oh, it's really Monday? I had assumed it was the weekend.")

    Second, which is what I was really driving at, is that direct proofs often require greater exploration of the mathematical structures under study. While this makes it harder, there can be real payoff in comprehension. If I recall correctly, the first proof I ever saw of the Intermediate Value Theorem was a proof by contradiction. Years later, I saw a direct proof that relied upon the Heine-Borel theorem, which rests on the deep properties of the real numbers. Now if my goal was to use the Intermediate Value Theorem, then the quicker proof suffices. But if my goal was to understand why it's true, and to find other sets besides the real numbers where it still might be true, then the direct proof was harder but worth it.

    None of which, of course, takes anything away from your insight that proofs by contradiction are a standard part of math and physics. But, if I could put on my computer programming hat for a moment, they are the "goto" statements of mathematics: Economical at the assembly code level, but considered harmful in higher order languages.

    I'm trying to think of a direct uniqueness proof, and what comes to mind is that the inverse of an element of a group is unique. If x is an element of a group, then let y and z be its inverse, meaning that xy = xz = 1. You could do a proof by contradiction, assume that [tex]y \neq z[/tex], and then show that leads to a contradiction. Or you could just use the group axioms to prove that y = z directly.

    xy = xz
    yxy = yxz
    1y = 1z
    y = z

    On the other hand, I can't think of a direct proof of the irrationality of [tex]\sqrt 2[/tex] off the top of my head, but the reductio ad absurdam proof is elegant and accessible.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Uniqeness theorem in em
  1. EM Waves and EM Pulses (Replies: 4)

  2. Resonance in EM? (Replies: 3)

  3. Em waves (Replies: 6)

  4. EM waves (Replies: 4)