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

Equality between k and p forms

  1. Nov 3, 2014 #1
    if i have [itex]\int_{\partial S} \omega=0[/itex] by stokes theorem [itex]\int_{S} d \omega=0[/itex], can i say [itex]d \omega=0[/itex]? even 0 as a scalar is a 0-form?
     
  2. jcsd
  3. Nov 3, 2014 #2

    ShayanJ

    User Avatar
    Gold Member

    Consider [itex] d\omega=x^3 dx [/itex] integrated over [itex] S=(-a,a) [/itex]. The integral gives zero but the integrand is zero in only one point of the region of integration. So this is a counterexample to [itex] \int_S d\omega=0 \Rightarrow d\omega=0 [/itex].
     
  4. Nov 3, 2014 #3
    thanks, but have no problem with 0 is a 0-form and [itex]d\omega[/itex] a k-form? so can i work with something like [itex]d\omega=4 [/itex]?
     
  5. Nov 3, 2014 #4

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    I have no idea what "[itex]d\omega= 4[/itex]", a differential form equal to a number, could even mean. Could you please explain that?
     
  6. Nov 3, 2014 #5
    my initial motivation is in Gauss's Law, [itex]\int_{\partial V} \vec{E}\cdot d\vec{S}[/itex]=[itex]\int_V \frac{\rho}{\epsilon_0}dV[/itex], i rewrite the left side with differential forms, [itex]\int_{\partial V} \star\vec{E}^{\flat}=\int_V \frac{\rho}{\epsilon_0}dV[/itex] which by the Stokes Theorem [itex]\int_{V} d(\star\vec{E}^{\flat})=\int_V \frac{\rho}{\epsilon_0}dV\Rightarrow d(\star\vec{E}^{\flat})=\frac{\rho}{\epsilon_0}[/itex], if i dont make something wrong in these steps, in left side we get a n-form and right side a 0-form, and that i dont know if i can do.
     
  7. Nov 3, 2014 #6

    ShayanJ

    User Avatar
    Gold Member

    Its correct that 0 is a 0-form but by a zero 1-form we actually mean [itex] \omega= 0 dx [/itex] and write it as [itex] \omega= 0[/itex] when there is no chance of confusion.

    You missed something. You should have written [itex] d(\star \vec E ^\flat)=\frac{\rho}{\epsilon_0} dV [/itex].(What's [itex] \flat [/itex] anyway?)
     
  8. Nov 5, 2014 #7
    Thanks i did not know that.

    That is musical isomorphism [itex]\flat:M \mapsto M^*[/itex], in fact i understand it works like a lower indice, [itex]\vec{B}^{\flat}[/itex] give me a co-variant B or it related 1-form.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Equality between k and p forms
Loading...