Formula for non-linear differential forms

In summary: I just try to understand what I'm doing...In summary, the conversation discusses the computation of a non-linear differential form, specifically (dx\wedge dy)(dx\wedge dy\wedge dz). The conversation also touches on the exterior derivative and differentiation, and the difference between the two. It is also mentioned that the exterior derivative of a function is always equal to zero, while the differential derivative may not always be zero. The conversation concludes with a discussion about integrating the form and the potential difficulties that may arise.
  • #1
kleinwolf
295
0
Who has any litterature about non-linear 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.
 
Physics news on Phys.org
  • #2
Technically

[tex] dx \wedge dx =0 [/tex]

.So you're asking for something new.

Daniel.
 
  • #3
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.
 
Last edited:
  • #4
dextercioby said:
Technically

[tex] dx \wedge dx =0 [/tex]

.So you're asking for something new.

Daniel.

i believe that by saying [itex](dx)^2[/itex] that he is using diff. forms shorthand for [itex] dx \otimes dx[/itex] (that is, evaluating [itex]dx[/itex] on a vector twice and multiplying the two real number results together), which is not zero.
 
  • #5
In fact I'm just coming to this when I want to compute the area of a manifold, that I found in the thread : https://www.physicsforums.com/showthread.php?t=67268 [/URL]

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] ...
 
Last edited by a moderator:
  • #6
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 non-linear form, this is probably how i would do it. there maybe some easier way, but I am 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.
 
Last edited:
  • #7
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 5-form as numerator, and a 2-form 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]
??
 
Last edited:
  • #8
kleinwolf said:
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]
??

No, because with the exterior derivative, you aren't taking the derivative with respect to any particular variable.

[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 a lot of calculation, but such is the nature of your problem i think.

p.s. - are you working on something in theoretical physics?
 
  • #9
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\phi+...}{\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
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
kleinwolf said:
In fact I'm just coming to this when I want to compute the area of a manifold, that I found in the thread : https://www.physicsforums.com/showthread.php?t=67268 [/URL]

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]...

[/QUOTE]

I realize the above is just an example. But maybe the problem you're having stems from the fact that the above is not a 2-form, and in fact is not the area form for the sphere (or anything). Forms need to be multilinear in all of its variables, e.g. area(cu,v,w)=c area(u,v,w) for any real number c and any vectors u, v and w, whereas the thing above is not, due to that square root.
So, technically, the covariant derivative of the above isn't defined.
 
Last edited by a moderator:
  • #12
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]...
 
Last edited:
  • #13
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
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
 
Last edited:
  • #15
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 = (-1-2u)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.
 

Related to Formula for non-linear differential forms

What is a non-linear differential form?

A non-linear differential form is a mathematical expression that involves both derivatives and nonlinear functions. It is used to describe the relationship between variables in a system where the rate of change is not constant.

What is the formula for a non-linear differential form?

The formula for a non-linear differential form is typically written as df = f(x)dx, where f(x) is a nonlinear function and dx represents the change in the independent variable x. This formula is used to express the rate of change of a dependent variable in terms of its independent variable.

How is a non-linear differential form different from a linear differential form?

Linear differential forms involve only derivatives and linear functions, while non-linear differential forms involve nonlinear functions. This means that in a linear differential form, the rate of change is constant, whereas in a non-linear differential form, the rate of change varies.

What are some common applications of non-linear differential forms?

Non-linear differential forms are used in a variety of scientific fields, including physics, engineering, and economics. They are particularly useful in modeling systems that exhibit non-linear behavior, such as chaotic systems or systems with feedback loops.

How are non-linear differential forms solved?

Solving non-linear differential forms can be a complex process and often requires advanced mathematical techniques, such as separation of variables, substitution, or numerical methods. In some cases, closed-form solutions may not exist, so numerical approximations are used instead.

Similar threads

Replies
13
Views
713
Replies
6
Views
556
  • Differential Geometry
Replies
13
Views
1K
  • Differential Geometry
Replies
7
Views
2K
  • Differential Geometry
Replies
6
Views
687
  • Differential Geometry
Replies
29
Views
2K
  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
2
Views
2K
Replies
2
Views
2K
  • Differential Geometry
Replies
2
Views
2K
Back
Top