Differential Form

GENTLE INTRODUCTION

We initially work in an Open Set in R^''n''.
A 0-form is defined to be a Smooth Function ''f''.
When we Integrate a Function ''f'' over an ''m''- Dimension al subspace ''S'' of R^''n'', we write it as

:

\int_S f\,dx_1 \ldots dx_m.

Consider ''dx''₁, ..., ''dx''_''n'' for a moment as formal objects themselves,
rather than tags appended to make integrals look like Riemann Sum s.
We call these and their negatives −''dx''₁, ..., −''dx''_''n'' ''basic'' 1-''forms'' .

We define a "multiplication" rule ∧, the Wedge Product on these elements, making only the '' Anticommutativity '' restraint that

:

dx_i \wedge dx_j = - dx_j \wedge dx_i

for all ''i'' and ''j''. Note that this implies

:

dx_i \wedge dx_i = 0

.

We define the set of all these products to be ''basic'' 2-''forms'', and similarly we define the set of products

:

dx_i \wedge dx_j \wedge dx_k

to be ''basic'' 3-''forms'', assuming ''n'' is at least 3. Now define a ''monomial k''-''form'' to be a 0-form times a basic ''k''-form for all ''k'', and finally define a ''k''-form to be a sum of monomial ''k''-forms.

We extend the wedge product to these sums by defining

:

(f\,dx_I + g\,dx_J)\wedge(p\,dx_K + q\,dx_L) =

f \cdot p\,dx_I \wedge dx_K +
f \cdot q\,dx_I \wedge dx_L +
g \cdot p\,dx_J \wedge dx_K +
g \cdot q\,dx_J \wedge dx_L,

etc., where ''dx''_''I'' and friends represent basic ''k''-forms. In other words, the product of sums is the sum of all possible products.

Now, we also want to define ''k''-forms on smooth Manifold s. To this end, suppose we have an open coordinate Cover . We can define a ''k''-form on each coordinate neighborhood; a global ''k''-form is then a set of ''k''-forms on the coordinate neighborhoods such that they agree on the overlaps. For a more precise definition what that means, see Manifold .

PROPERTIES OF THE WEDGE PRODUCT

It can be proved that if ''f'', ''g'', and ''w'' are any differential forms, then

:

w \wedge (f + g) = w \wedge f + w \wedge g.

Also, if ''f'' is a ''k''-form and ''g'' is an ''l''-form, then:

:

f \wedge g = (-1)^{kl} g \wedge f.

FORMAL DEFINITION

In Differential Geometry , a differential form of degree ''k'' is a smooth section of the ''k''th Exterior Power of the Cotangent Bundle of a Manifold . At any point ''p'' on a manifold, a ''k''-form gives a Multilinear Map from the ''k''-th cartesian power of the Tangent Space at ''p'' to '''R'''. The ''k''-form is easily remembered by noting that it is a total Antisymmetric Covariant Tensor .

For example, the Differential of a smooth function on a manifold (a 0-form) is a 1-form.

1-forms are a particularly useful basic concept in the coordinate-free treatment of Tensor s. In this context, they can be defined as real-valued linear functions of vectors, and they can be seen to create a Dual Space with regard to the Vector Space of the vectors they are defined over. An older name for 1-forms in this context is " Covariant Vector s".

INTEGRATION OF FORMS

Differential forms of degree ''k'' are integrated over ''k'' dimensional Chain s. If ''k'' = 0, this is just evaluation of functions at points. Other values of ''k'' = 1, 2, 3, ... correspond to line integrals, surface integrals, volume integrals etc.

Let

:

\omega=\sum a_{i_1,\cdots,i_k}({\mathbf x})\,dx_{i_1} \wedge \cdots \wedge dx_{i_k}

be a differential form and ''S'' a set for which we wish to integrate over, where ''S'' has the parameterization

:

S({\mathbf u})=(x_1({\mathbf u}),\cdots,x_n({\mathbf u}))

for u in the parameter domain ''D''. Then 1976 defines the integral of the differential form over ''S'' as

:

\int_S \omega =\int_D \sum a_{i_1,\cdots,i_k}(S({\mathbf u})) rac{\partial(x_{i_1},\cdots,x_{i_k})}{\partial(u_{1},\cdots,u_{k})}\,d{\mathbf u}

where

:

rac{\partial(x_{i_1},\cdots,x_{i_k})}{\partial(u_{1},\cdots,u_{k})}

is the determinant of the Jacobian .

See also Stokes' Theorem .

OPERATIONS ON FORMS

The set of all ''k''-forms on a manifold is a Vector Space .
Furthermore, there are several important operations one can perform on a differential form: Wedge Product , Exterior Derivative (denoted by ''d''), Hodge Dual , Codifferential and Lie Derivative . One important property of the exterior derivative is that ''d''² = 0, see De Rham Cohomology for more details.

The fundamental relationship between the exterior derivative and integration
is given by the general Stokes' Theorem , which also provides the duality between De Rham Cohomology and the Homology of chains.

DIFFERENTIAL FORMS IN PHYSICS

Differential forms arise in some important physical contexts. For example, in Maxwell's theory of Electromagnetism , the ''Faraday 2-form'' is

extbf{F} = F_{ab} dx^a \wedge dx^b

and the ''current 3-form'' is

extbf{J} = J^a \epsilon_{abcd} dx^b \wedge dx^c \wedge dx^d

Using these definitions, Maxwell's Equations can be written very compactly in Geometrized Units as

extbf{F} = extbf{J}

denotes the Hodge Star operator.

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

	CATEGORIES ABOUT DIFFERENTIAL FORM

	differential forms

Information About

Differential Form