Register to reply 
Formula for nonlinear differential forms 
Share this thread: 
#1
May1405, 12:04 PM

P: 309

Who has any litterature about nonlinear differential forms, especially for example if
I would like to compute the following : [tex] (dx\wedge dy)(dx\wedge dy\wedge dz) [/tex] is it equal to [tex](dx)^2\wedge (dy)^2\wedge dz[/tex] ?? Thanks in advance. 


#2
May1405, 12:41 PM

Sci Advisor
HW Helper
P: 11,928

Technically
[tex] dx \wedge dx =0 [/tex] .So you're asking for something new. Daniel. 


#3
May1405, 12:47 PM

P: 701

I am assuming that by this you mean the tensor product?
[tex](dx\wedge dy)\otimes(dx\wedge dy\wedge dz)[/tex] where: [tex]dx\wedge dy = dx\otimes dy  dy\otimes dx[/tex] [tex](dx\wedge dy) \wedge dz = (dx\otimes dy  dy\otimes dx)\otimes dz  dz\otimes (dx\otimes dy  dy\otimes dx) = dx\otimes dy \otimes dz  dy \otimes dx \otimes dz  dz \otimes dx \otimes dy + dz\otimes dy \otimes dx[/tex] lets call [itex]\alpha = dx\wedge dy[/itex] and [itex]\beta = dx\wedge dy \wedge dz[/itex], so [tex]\beta(\vec{u}, \vec{v}, \vec{w}) = dx(\vec{u}) dy(\vec{v})dz(\vec{w})  dy(\vec{u})dx(\vec{v})dz(\vec{w})  dz(\vec{u})dx(\vec{v})dy(\vec{w}) + dz(\vec{u})dy(\vec{v})dx(\vec{w})[/tex] is this what you are looking for? if so, then you would need to compute [itex]\alpha \otimes \beta[/itex], keeping the order of the terms correct so that when you plug in your vectors everything works out. 


#4
May1405, 12:51 PM

P: 701

Formula for nonlinear differential forms



#5
May1505, 12:45 AM

P: 309

In fact i'm just coming to this when I want to compute the area of a manifold, that I found in the thread : http://www.physicsforums.com/showthread.php?t=67268
It's just for example : [tex] area=\sqrt{(dx\wedge dy)^2+(dx\wedge dz)^2+(dy\wedge dz)^2} [/tex] this contains forms like : [tex] (dx\wedge dy)(dx\wedge dy) [/tex].... Then suppose I want to compute the exterior derivative of area, I get terms of the style : [tex] (dx\wedge dy)d(dx\wedge dy) [/tex]... Or can we not say that [tex]d(f^2)=2fdf [/tex] ... 


#6
May1505, 01:15 PM

P: 701

heres what i did.
i expanded out [itex](dx)^2\wedge (dy)^2 \wedge dz[/itex] completely, as was done above. the terms did not appear to match. i then evaluated both [itex](dx\wedge dy)(dx\wedge dy\wedge dz)[/itex] and [itex](dx)^2\wedge (dy)^2 \wedge dz[/itex] against 3 vectors [itex]\vec{u}, \vec{v}, \vec{w}[/itex]. So, for example: [tex](dx\wedge dy) (\vec{u}, \vec{v}) = (dx\otimes dy  dy\otimes dx) (\vec{u}, \vec{v}) = dx(\vec{u})dy(\vec{v})  dy(\vec{u})dx(\vec{v}) = u_x v_y  u_y v_x[/tex] where [itex]u_x[/itex] is the component of [itex]\vec{u}[/itex] in the "x" direction, etc. I did this for the entire expansion, it took around 10 minutes. if i had to verify some nonlinear form, this is probably how i would do it. there maybe some easier way, but im not aware of it. unless i made a mistake, i found the two forms were not equal. here it is: [tex](dx\otimes dx \wedge dy\otimes dy)\wedge dz = dx\otimes dx \otimes dy \otimes dy \otimes dz  dy \otimes dy \otimes dx \otimes dx \otimes dz  dz\otimes dx \otimes dx \otimes dy \otimes dy + dz\otimes dy \otimes dy \otimes dx \otimes dx)[/tex] evaluated on the vectors, gives: [tex] u_x u_x v_y v_y w_z  u_y u_y v_x v_x w_z  u_z v_x v_x w_y w_y + u_z v_y v_y w_x w_x[/tex] which is not what i got when expanding the original form in question and evaluating. 


#7
May1505, 01:33 PM

P: 309

Ok, I think I begin to see what is about...my problem is that I need to compute
[tex] \int_Md(area)=\int_M\frac{(dx\wedge dy)d(dx\wedge dy)+...}{area} [/tex] so that I have a 5form as numerator, and a 2form at the denominator....but the thing is like if I need to compute [tex] \int f(x,y,z)\frac{dx^2dy^2dz}{\sqrt{dx^2dy^2+dy^2dz^2+dx^2dz^2}} [/tex] Whatever it is, even if the notation is right, I have no idea what it means and how to compute it.... ANother question is : is [tex] \int_0^1f(x)dx^2 [/tex] the double primitive of f(x) evaluated at 1 minus 0 ?? Since I'm in the notation problems, what in fact is the notation [tex] \frac{d^2f}{dx^2} [/tex] this has nothing to do with [tex] d^2=0[/tex] ?? 


#8
May1505, 02:14 PM

P: 701

[tex]d(f) = \frac{\partial{f}}{\partial{x}}dx + \frac{\partial{f}}{\partial{y}}dy[/tex] [tex]d(df) = \frac{\partial{f^2}}{\partial{y}\partial{x}}dydx + \frac{\partial{f^2}}{\partial{x}\partial{y}}dxdy = 0[/tex] since partial derivatives commute and [itex]dxdy = dydx[/itex] back to your original problem: why don't you just compute the exterior derivatives of all of your coordinates, plug them all into the area equation (wedging them and squaring them when appropriate  hopefully after all of the calculations most of your terms will drop out  and if not, given that your coordinates are in terms of trig functions maybe some identity could be used to simply) and then evaluate the integral? i realize that this will involve alot of calculation, but such is the nature of your problem i think. p.s.  are you working on something in theoretical physics? 


#9
May1505, 11:25 PM

P: 309

Ok, so I need to make a distinction between exterior derivative d and differentiation d..
[tex] f(x,y)[/tex] [tex] df=\frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial y}dy[/tex] exterior : [tex] d^2f=d(df)=\frac{\partial^2 f}{\partial x^2}dx\wedge dx+\frac{\partial^2f}{\partial x\partial y}dy\wedge dx+\frac{\partial^2 f}{\partial y\partial x}dx\wedge dy+\frac{\partial^2 f}{\partial y^2}dy\wedge dy}=0[/tex] differential : [tex] d^2f=\frac{\partial^2 f}{\partial x^2}dx^2+2\frac{\partial^2f}{\partial x\partial y}dxdy+\frac{\partial^2 f}{\partial y^2}dy^2 [/tex] the latter being not always 0.... For your proposition that's exactly what I started to do, when I realized I'll fall on something like [tex] \int_0^\pi\int_0^{2\pi}\int_0^Rf(r,\theta,\phi)\frac{rdr^2d\theta^2d\ph i+....}{\sqrt{r^2dr^2d\theta^2+...}}[/tex] (like some previous post)....which I don't know how to integrate.... But anyhow for my originial problem (I want to know if the boundary of a 3d manifold is empty), it just suffices that the integral vanishes, so I could forget the denominator with a square root, and integrate only over the numerator...the problem is apparently that I need to double integrate if I find something like dr^2...? I don't work on anything particular. 


#10
May1605, 05:44 AM

P: 701

I would consider the exterior derivative to be a generalized derivative...which we can use to do calculus when the manifold is the standard [itex]R^3[/tex] and also when the manifold is something more complicated. so in that sense, there is nothing different about the exterior derivative and the normal derivative from calculus.
the 2nd differentiation that you have doesn't make any sense to me. If you were integrating [itex]dxdy[/itex] versus [itex]dydx[/tex] you would get a different answer. we can't just say that [itex]dxdy=dydx[/itex] not only that, if one was trying to integrate with respect to another coordinate system then there would be a change of sign due to the Jacobi determinant: [tex]\int\int_R f(x,y) dx dy = \int\int_G f(x(u,v), y(u,v)) \frac{\partial{(x,y)}}{\partial{(u,v)}} du dv = \int\int_R f(x,y) dy dx[/tex] 


#11
May1605, 06:33 AM

P: 255

So, technically, the covariant derivative of the above isn't defined. 


#12
May1605, 06:34 AM

P: 309

Well it depends which product you consider :
[tex] dx\wedge dy=(1)^{mn}dy\wedge dx[/tex] with the wedge product of m and n differential forms. [tex] dxdy=dydx[/tex] with the normal product of differentials Just look at the transformation : x'=y, y=x'...then the determinant of the Jacobian is 1, but we have not to forget to take the absolute value : look : [tex] \int_0^1(\int_0^1dx)dy=\int_0^1(\int_0^1dy)dx=1[/tex] and not 1 due to the Jacobi determinant.....so that absolute value is needed. Bascially the area element of a sphere is [tex]r^2\sin(\theta)d\phi d\theta[/tex]...which is not linear in [tex]\theta[/tex].... 


#13
May1605, 07:07 AM

P: 701

it just so happened to work out in that example, but this is not the case in general. try something like
[tex]\int_0^2\int_0^1 x dx dy = 1[/tex] versus [tex]\int_0^2\int_0^1 x dy dx = 2[/tex] they're not the same. there is no change of sign because we are only working in one coordinate system  we are not coordinate independent in this case. the absolute value was thrown in there when they taught us elementary calculus to hide the fact that the orientation matters. 


#14
May1605, 07:18 AM

P: 309

Well I dont' understand your calculation....(the boundary of the variable is linekd to that variable..if you make a change of var, then the boundaries change too) :
[tex] \int_0^2\int_0^1xdxdy=\int_0^1\int_0^2xdydx=1[/tex] that's why the notation [tex] \int_0^2dy\int_0^1dx x[/tex] is clearer, because we know which variable which boundary has. Or if you want : [tex] \int_0^2(\int_0^1xdx)dy=\int_0^1(\int_0^2xdy)dx=\int_0^1x(\int_0^2dy)dx[/tex] I think the problem you want to point out is that if the surface we integrate on is not orientable, then the calculation of the area is not defined (or maybe not signed)...I don't know 


#15
May1605, 08:50 PM

P: 701

ok, ok, yes you are right about the boundaries. but still:
[tex]dx dy = \frac{\partial{(x,y)}}{\partial{(u,v)}} du dv[/tex] must be true if you want to claim coordinate independence, and therefore the order of appearance of the differentials matters. for example: let [itex]x = u+v[/itex] and [itex]y = u^2  v[/tex] [tex]d(x) = du + dv[/tex] [tex]d(y) = 2udu  dv[/tex] [tex]dxdy = (du+dv)(2udu  dv) = 2ududu  dudv + 2udvdu  dvdv = 0  dudv + 2udvdu  0 = (12u)dudv[/tex] which is the same as the terms one would get using the more familiar calculus integral. changing the order of [itex]dxdy[/itex] would obviously change the sign. there is no difference between the exterior calculus and normal calculus, the exterior calculus is more general. 


Register to reply 
Related Discussions  
Differential Forms?  Differential Geometry  19  
Vector calc linear algebra and differential forms  Science & Math Textbooks  0  
Differential forms  Differential Geometry  8  
Differential forms. Why?  Differential Geometry  20 