The analyzes vectorial is a branch of the Mathématiques which studies the Champ S of Scalaire S and of Vecteur S sufficiently regular of the Euclidean Espaces, i.e. the differentiable applications of a open of an Euclidean space E to values respectively in \ mathbb R and E. From the point of view of the mathematician, the vectorial analysis is thus a branch of the differential Géométrie. The latter includes the tensorial Analyze which brings more powerful tools and a more concise analysis inter alia vector fields.

But the importance of the vectorial analysis comes from its intensive use in Physique and in the Engineerings. It is from this point of view that we will present it, and this is why we will generally limit ourselves if E = \ mathbb R^3 is usual space with three dimensions. Within this framework, a Champ of vectors associates with each point space a vector (with three real components), while a Champ of scalars associates a reality with it. Let us imagine for example the water of a lake. The data of its temperature in each point forms a field of scalars, that its speed in each point, a field of vectors. (For a more theoretical approach, to see differential Geometry)

Linear differential main operators of sorting

The Gradient, the divergence and the Rotationnel are the three differential main operators linear first order. That means that they utilize only derivative partial (or Différentielle S) first of the fields, with the difference, for example, Laplacian which utilizes derivative partial of the second order.

The formal operator Nabla

See also: Nabla

The operator Nabla \ nabla car its name of an ancient quadrant which had the same shape of downwards pointing triangle. It is about a formal operator of \ R^3 defined in Cartesian coordinates by

\ nabla = \begin{pmatrix} \ frac {\ partial} {\ partial X} \ \ \ frac {\ partial} {\ partial there} \ \ \ frac {\ partial} {\ partial Z} \end{pmatrix} . One writes also \ vec \ nabla to stress that formally, the operator nabla has the characteristics of a vector. It besides is qualified pseudovector . He does not certainly contain scalar values, but one will use his components (which one can see as operations on standby of argument ) very exactly as one would have used the scalar values composing a vector.

The notation nabla provides a convenient means to express the vectorial operators in Cartesian coordinates.

The gradient

See also: Gradient

The Gradient is an operator who applies to a field of scalars and transforms it into field of vectors . Practically, the gradient indicates the direction of the greatest variation of the scalar field, and the intensity of this variation. For example, the gradient of altitude is directed according to the line of greater slope and its standard increases with the slope.

In mathematics, the gradient of the field f, supposed continuously differentiable, in the point a, is defined by the relation

\ mathrm D F (a) \ cdot H = \ left (\ overrightarrow {\ mathrm {grad}} _a F \ right) \ cdot h,
where \ mathrm D F (a) \ cdot h indicates the value on the vector h differential of the function f at the point a.

It is thus quite simply the definition of the Linear application tangent of the scalar field F (M) = F (X, there, Z) in M = A. Moreover, for a surface of equation f (X, there, Z) =0, the normal Vecteur on the surface at the point a= (x_a, y_a, z_a) is given by \ overrightarrow {\ mathrm {grad}} _a f, which results easily from what precedes.

It results from it immediately that the derivative of the function in a compared to the vector v is given by

\ overrightarrow {\ mathrm {grad}} _a F \ cdot v.

In dimension 3 and coordinated Cartesian, the field of gradients checks

\ overrightarrow {\ mathrm {grad}} F = \ vec \ nabla F =
\begin{pmatrix} \ frac {\ partial F} {\ partial X} \ \ \ frac {\ partial F} {\ partial there} \ \ \ frac {\ partial F} {\ partial Z} \end{pmatrix}.

This relation can be useful, in the particular case where it applies, of definition of the gradient. It spreads naturally in unspecified dimension by adding components to the nabla.

Tangent linear application of a field of vectors \ vec {F (M)}

That is to say Me not relocated it a M of \ vec {H} ; then:

\ vec {F} (Me) - \ vec {F} (M) = (\ hat {\ partial \ vec {F}}) _M \ cdot \ vec {H} + O (\|\ vec {H} \|)

the linear operator noted by a hat defines to mean that its representation in base is a square matrix, tangent linear application of the vector field F (M) .

The determinant of this operator is Jacobien of the transformation which with M associates F (M) .

Its trace will define (see hereafter) the divergence of the vector field F (M) .

That will make it possible to give rotational vector field F (M) an intrinsic definition.

One will be able to check that symbolically:

(\ hat {\ partial \ vec {F}}) _M \ cdot \ vec {H} = (\ vec {H} \ cdot \ vec {\ nabla}) \ vec {F}

The Divergence

See also: Divergence (physical)

The divergence applies to a field of tensors of order N and transforms it into a field of tensors of order n-1 . Practically, the divergence of a vector field expresses its tendency to creep locally out of a small volume surrounding the point M where the divergence is calculated.

In dimension 3 and Cartesian coordinates, if \ vec F is a tensor of order 1, then it is a vector and one can define the divergence by the relation

\ mathrm {div} \ vec F = \ vec \ nabla \ cdot \ vec {F}

\ frac {\ partial F_x} {\ partial X} +

\ frac {\ partial partial F_y} {\ there} + \ frac {\ partial F_z} {\ partial Z}
where \ vec {F} = (F_x, F_y, F_z) indicates the vector field to which the operator divergence is applied. The divergence can be seen, formally, like the scalar product of the operator nabla by the “generic” vector of the field to which it is applied, which justifies the notation \ vec \ nabla \ cdot. Of course, this definition spreads naturally in unspecified dimension.

The definition independent of the choice of the base is:

\ mathrm {div} \ vec {F} = \ mbox {Tr} (\ hat {\ partial \ vec {F}})

Another possible definition, more general but more difficult to formalize, consists in defining the divergence of a field of vectors in a point like the local flow of the field around this point.

The rotational one

See also: Rotational

The rotational one transforms a field of vectors into another field of vectors . More difficult to represent itself as precisely as the gradient and the divergence, it expresses the tendency which has a field to turn around a point : its local circulation on a small lace surrounding the point M is nonnull. For example  :

  • in a Tornado, the wind turns around the eye of the cyclone and the vector field speed of the wind has rotational not no one around the eye. The rotational one of this field speed (in other words the field of vorticity or field swirl) is all the more intense as one is close to the eye.
  • the rotational one of the field speeds \ overrightarrow {V (M)} = \ vec {\ Omega_0} \ wedge \ vec {OM} of a solid which turns at constant speed \ vec {\ Omega_0} constant, is directed according to the axis of rotation and is directed so that rotation takes place, compared to him, in the direct direction and is worth simply 2 \ cdot \ vec {\ Omega_0}

In a space with 3 dimension and in Cartesian coordinates, one can define the rotational one by the relation

{\ overrightarrow {\ mathrm {belch}}} \ \ vec F = \ vec \ nabla \ wedge \ vec F

\begin{pmatrix}

{\ partial partial F_z/\ there} - {\ partial F_y/\ partial Z} \ \ {\ partial F_x/\ partial Z} - {\ partial F_z/\ partial X} \ \ {\ partial F_y/\ partial X} - {\ partial partial F_x/\ there} \end{pmatrix}
where \ vec {F} = (F_x, F_y, F_z) indicates the vector field to which is applied the rotational operator. The formal analogy with a vector product justifies the notation \ vec \ nabla \ wedge.

That can be also written, by abuse notation, using a déterminant :

{\ overrightarrow {\ mathrm {belch}}} \ \ vec F = \ begin {vmatrix} \ vec {I} & \ vec {J} & \ vec {K} \ \ \ frac {\ partial} {\ partial X} & \ frac {\ partial} {\ partial there} & \ frac {\ partial} {\ partial Z} \ \ F_x & F_y & F_z \ end {vmatrix}
where (\ vec I, \ vec J, \ vec K) indicates the canonical base. This last expression is a little more complicated than the preceding one, but it spreads easily with other frames of reference.
  • an intrinsic definition (among others) of rotational is following the  :

From the field \ vec {F} , one can build the field \ vec {X_0} \ wedge \ vec {F} (where \ vec {X_0} is a uniform vector) which the divergence is a linear form of \ vec {X_0} and thus exprimable by a scalar product \ vec {K} \ cdot \ vec {X_0} , where \ vec {K} is the opposite of rotational of \ vec {F}  :

\ mathrm {div} (\ vec {X_0} \ wedge \ vec {F}) = - \ overrightarrow {\ mathrm {belch}} \ vec {F} \ cdot \ vec {X_0}

Another possible definition, more general but more difficult to formalize, consists in defining the rotational one of a field of vectors in a point like the local circulation of the field around this point (see Rotationnel in physics).

Operators of a higher nature

The Laplacian

More used operators of order 2 is the Laplacian , of the name of the Mathématicien Pierre-Simon Laplace. The Laplacian of a field is equal to the sum of the derived seconds of this field compared to each variable.

In dimension 3, he is written:

\ Delta= \ nabla^2 = \ frac {\ partial^2} {\ partial x^2} + \ frac {\ partial^2} {\ partial y^2} + \ frac {\ partial^2} {\ partial z^2} .

This definition as well has a direction for a field of scalars as for a field of vectors. One respectively speaks about scalar Laplacian and vectorial Laplacian . The scalar Laplacian of a field of scalars is a field of scalars whereas the vectorial Laplacian of a field of vectors is a field of vectors. To distinguish this last, it is noted sometimes \ vec \ Delta.

The other notation of the Laplacian which appears above, \ nabla^2, invites to consider it, formally, like the scalar square of the operator nabla “ \ nabla”.

The Laplacian appears in the writing of several partial derivative equations which play a fundamental role in physics.

  • simplest is the equation of Laplace \ Delta F = 0. Its solutions (of class \ mathcal C^2) are the harmonic functions, whose study is called Théorie of the potential. This name comes from the electric Potentiel, whose behavior (just as that of others Potentiel S in physics) is governed, under certain conditions, by this equation.
  • the Laplacian is also used to write:

the Poisson's equation: {\ nabla} ^2 \ varphi = f

or the equation of the vibrating cords: {\ nabla} ^2 \ varphi (X, there, Z, T) = \ frac {1} {c^2} \ cdot \ frac {\ partial^2 \ varphi (X, there, Z, T)}{\ partial t^2}

The vectorial Laplacian

The Laplacian of a vector field \ vec A is a vector defined by the scalar Laplacian of each component of the vector field, thus in Cartesian Coordonnées, it is defined by:

\ operatorname {\ vec {\ Delta}} \ vec has = \ operatorname {\ vec \ nabla^2} \ vec has = \ begin {bmatrix} \ frac {\ partial^2 partial A_x} {\ x^2} + \ frac {\ partial^2 partial A_x} {\ y^2} + \ frac {\ partial^2 partial A_x} {\ z^2} \ \ \ frac {\ partial^2 partial A_y} {\ x^2} + \ frac {\ partial^2 partial A_y} {\ y^2} + \ frac {\ partial^2 partial A_y} {\ z^2} \ \ \ frac {\ partial^2 A_z} {\ partial x^2} + \ frac {\ partial^2 partial A_z} {\ y^2} + \ frac {\ partial^2 partial A_z} {\ z^2} \ end {bmatrix} = \ begin {bmatrix} \ Delta A_x \ \ \ Delta A_y \ \ \ Delta A_z \ end {bmatrix}

The vectorial Laplacian is present:

  • in the Poisson's equation for the vectorial versions
  • in mechanics of the viscous fluids where it appears in the Équations of Navier-Stokes

Some differential formulas

Attention: the following formulas are valid provided that certain assumptions are checked! (the scalar function in the first formula must be C_2 (\ Omega) , where \ Omega \ subset \ mathbb {R} , for example. In the same way, if \ vec f indicates the vector function concerned in the second formula, it is necessary to check \ vec F \ in C_2 (\ Omega) , \ Omega \ subset \ mathbb {R} ^n.)
  • \ vec {\ mathrm {belch}} (\ vec {\ mathrm {grad}}) = \ vec {0}

  • \ mathrm {div} (\ vec {\ mathrm {belch}}) =0

  • \ vec {\ mathrm {belch}} (\ vec {\ mathrm {belch}}) = \ vec {\ mathrm {grad}} (\ mathrm {div}) - \ vec {\ Delta} (applied to a vector) (Rotational of rotational the)

  • \ Delta = \ mathrm {div} (\ vec {\ mathrm {grad}}) (applied to a scalar)

Formulas known as of Leibniz for the products

  • \ vec {\ mathrm {grad}} (\ vec {X_0} \ cdot \ vec {B}) = (\ vec {X_0} \ cdot \ vec {\ mathrm {grad}}) \ vec {B} + \ vec {X_0} \ wedge \ vec {\ mathrm {belch}} \ vec {B} (where \ vec {X_0} is a uniform vector) and obviously:

  • \ vec {\ mathrm {grad}} (\ vec {has} \ cdot \ vec {B}) = (\ vec {has} \ cdot \ vec {\ mathrm {grad}}) \ vec {B} + \ vec {has} \ wedge \ vec {\ mathrm {belch}} \ vec {B} + (\ vec {B} \ cdot \ vec {\ mathrm {grad}}) \ vec {has} + \ vec {B} \ wedge \ vec {\ mathrm {belch}} \ vec {has}

  • \ nabla (\ vec {F} \ cdot \ vec {F}) = 2 (\ vec {F} \ cdot \ nabla) \ vec {F} + 2 \ vec {F} \ wedge (\ vec {\ mathrm {belch}} \ vec {F}) (known as of Bernoulli, in mechanics of the fluids)

  • \ mathrm {div} (\ vec {X_0} \ wedge \ vec {B}) = - \ vec {X_0} \ cdot \ vec {\ mathrm {belch}} \ vec {B} (where \ vec {X_0} is a uniform vector, intrinsic definition of the Rotationnel)
  • \ mathrm {div} (\ vec {has} \ wedge \ vec {B}) = - \ vec {has} \ cdot \ vec {\ mathrm {belch}} \ vec {B} + \ vec {B} \ cdot \ vec {\ mathrm {belch}} \ vec {has}

  • \ vec {\ mathrm {belch}} (\ vec {X_0} \ wedge \ vec {B}) = \ vec {X_0} \ cdot \ mathrm {div} \ vec {B} - (\ vec {X_0} \ cdot \ vec {\ mathrm {grad}}) \ vec {B} (where \ vec {X_0} is a uniform vector, by definition of the tangent linear application)
  • \ vec {\ mathrm {belch}} (\ vec {has} \ wedge \ vec {B}) = \ vec {has} \ cdot \ mathrm {div} \ vec {B} - (\ vec {has} \ cdot \ vec {\ mathrm {grad}}) \ vec {B} - \ vec {B} \ cdot \ mathrm {div} \ vec {has} + (\ vec {B} \ cdot \ vec {\ mathrm {grad}}) \ vec {has}

  • \ vec {\ mathrm {grad}} (fg) = F \ cdot \ vec {\ mathrm {grad}} (G) + G \ cdot \ vec {\ mathrm {grad}} (F) (symmetrical out of F and G)
  • \ mathrm {div} (\ rho \ cdot \ vec {V}) = \ rho \ cdot \ mathrm {div} \ vec {V} + \ vec {\ mathrm {grad}} (\ rho) \ cdot \ vec {V}

  • \ vec {\ mathrm {belch}} (\ rho \ cdot \ vec {V}) = \ rho \ cdot \ vec {\ mathrm {belch}} \ vec {V} + \ vec {\ mathrm {grad}} (\ rho) \ wedge \ vec {V}

  • \ Delta (F \ cdot G) = F \ cdot \ Delta G + 2 \ vec {\ mathrm {grad}} (F) \ cdot \ vec {\ mathrm {grad}} (G) +g \ cdot \ Delta f

  • \ mathrm {div} (F \ cdot \ vec {\ mathrm {grad}} (G) - G \ cdot \ vec {\ mathrm {grad}} (F)) = F \ Delta G - G \ Delta F

Some useful formulas

  • Is F (M) and G (M) two scalar fields, there exists a field of vectors \ vec {has} (M) such as:

\ vec {\ mathrm {belch}} \ vec {has} = \ vec {\ mathrm {grad}} F \ wedge \ vec {\ mathrm {grad}} \, g

  • the central field \ vec {OM} = \ vec {R} plays a very important part in physics. Also is advisable it to memorize these some obviousnesses:

its tangent linear application is the matrix identity (cf the definition!),

thus \ mathrm {div} \ vec {R} =3 and \ vec {\ mathrm {belch}} (\ vec {Xo} \ wedge \ vec {R}) =2 \ vec {Xo} (where \ vec {X_0} is a uniform vector)

  • In addition -mg \ vec {K} = \ vec {\ mathrm {grad}} (mgz) ; that is to say \ vec {Xo} = \ vec {\ mathrm {grad}} (\ vec {Xo} \ cdot \ vec {R}) (where \ vec {X_0} is a uniform vector). And also:
  • \ vec {\ mathrm {grad}} F (R) =f' (R) \ vec {U} with \ vec {U} = \ frac {\ vec {R}} {R}

in particular \ vec {\ mathrm {grad}} (r^2) =2 \ vec {R} (obvious because d (\ vec {R} \ cdot \ vec {R}) =d (r^2) )

  • \ Delta F (R) =f (R) + \ frac {2} {R} \ cdot f' (R) , except in r=0
  • the Newtonian field , is \ frac {\ vec {R}} {r^3} , is very often studied,

because it is the only central field with null divergence (obvious if one thinks in term of Flow) (except r=0, where it is worth 4 \ pi \ cdot \ delta (R) , theorem of Gauss for the solid Angle)

It results from it that \ Delta (1/r) = - 4 \ pi \ cdot \ delta (R)

  • Thus \ Delta (\ vec {X_0} /r) = - 4 \ pi \ cdot \ vec {X_0} \ cdot \ delta (R)

(where \ vec {X_0} is a uniform vector)

who breaks up into:

\ vec {\ mathrm {grad}} (\ mathrm {div}) (\ vec {X_0} /r) = - 4 \ pi \ cdot \ vec {X_0} \ cdot \ delta (R) \ cdot (1/3) (where \ vec {X_0} is a uniform vector), and

\ vec {\ mathrm {belch}} (\ vec {\ mathrm {belch}}) (\ vec {X_0} /r) = + 4 \ pi \ cdot \ vec {X_0} \ cdot \ delta (R) \ cdot (2/3) (where \ vec {X_0} is a uniform vector)

what is less obvious (magnetic cf Moment).

  • In Mechanical of the fluids, it is necessary to still retain some " évidences" additional, for good to familiarize itself with the vectorial analysis before approaching it.
  • the preceding formulas are known as of differential Calculus. It is advisable to associate them with the formulas Integral calculus: formulate of Stokes, theorem of Ostrogradski, etc

  • Lastly, it is appropriate not to lose sight of the fact the axial or polar character of the Champ of studied vectors. They are absolutely not the same entities Mathématiques!

Expressions of the operators in various coordinates

Cylindrical coordinates

\ vec {\ mathrm {grad}} f= \ frac {\ partial F} {\ partial R} \ vec {u_r} + \ frac {1} {R} \ frac {\ partial F} {\ partial \ theta} \ vec {u_ \ theta} + \ frac {\ partial F} {\ partial Z} \ vec {u_z}

\ mathrm {div} \ vec {has} = \ frac {1} {R} \ frac {\ partial} {\ partial R} \ left (rA_r \ right) + \frac {1} {R} \ frac {\ partial A_ \ partial theta} {\ \ theta} + \ frac {\ partial A_z} {\ partial Z}
\ vec {\ mathrm {belch}} \ vec {has} = \ left (\ frac {1} {R} \ frac {\ partial partial A_z} {\ \ theta} - \ frac {\ partial A_ \ theta} {\ partial Z} \ right) \ vec {u_r} + \ left (\ frac {\ partial A_r} {\ partial Z} - \ frac {\ partial A_z} {\ partial R} \ right) \ vec {u_ \ theta} + \ frac {1} {R} \ left (\ frac {\ partial} {\ partial R} (rA_ \ theta) - \ frac {\ partial partial A_r} {\ \ theta} \ right) \ vec {u_z}
\ Delta f= \ frac {1} {R} \ frac {\ partial} {\ partial R} \ left (R \ frac {\ partial F} {\ partial R} \ right) + \ frac {1} {r^2} \ frac {\ partial^2 F} {\ partial \ theta^2} + \ frac {\ partial^2 F} {\ partial z^2}

Spherical coordinates

\ vec {\ mathrm {grad}} F
= \ frac {\ partial F} {\ partial R} \ vec {u_r} + \ frac {1} {R} \ frac {\ partial F} {\ partial \ theta} \ vec {u_ \ theta} + \ frac {1} {R \ sin \ theta} \ frac {\ partial F} {\ partial \ varphi} \ vec {u_ \ varphi}
\ mathrm {div} \ vec {has}
= \ frac {1} {r^2} \ frac {\ partial} {\ partial R} (r^2A_r) + \ frac {1} {R \ sin \ partial theta} \ frac {\} {\ partial \ theta} (\ sin \ theta A_ \ theta) + \ frac {1} {R \ sin \ theta} \ frac {\ partial partial A_ \ varphi} {\ \ varphi}
\ vec {\ mathrm {belch}} \ vec {has}
= \ frac {1} {R \ sin \ theta} \ left (\ frac {\ partial} {\ partial \ theta} (\ sin \ theta A_ \ varphi) - \ frac {\ partial A_ \ partial theta} {\ \ varphi} \ right) \ vec {u_r} + \ left (\ frac {1} {R \ sin \ theta} \ frac {\ partial partial A_r} {\ \ varphi} - \ frac {1} {R} \ frac {\ partial} {\ partial R} (rA_ \ varphi) \ right) \ vec {u_ \ theta} + \ frac {1} {R} \ left (\ frac {\ partial} {\ partial R} (rA_ \ theta) - \ frac {\ partial partial A_r} {\ \ theta} \ right) \ vec {u_ \ varphi}
\ Delta F
= \ frac {1} {r^2} \ frac {\ partial} {\ partial R} \ left (r^2 \ frac {\ partial F} {\ partial R} \ right) + \ frac {1} {r^2 \ sin \ partial theta} \ frac {\} {\ partial \ theta} \ left (\ sin \ theta \ frac {\ partial F} {\ partial \ theta} \ right) + \ frac {1} {r^2 \ sin^2 \ theta} \ frac {\ partial^2 F} {\ partial \ varphi^2}

See too

Random links:Gebenstorf | Football with the Olympic Games of 1964 | Freddie Philips | IESSID | Boulevard du rum | Province_de_Katanga

© 2007-2008 speedlook.com; article text available under the terms of GFDL, from fr.wikipedia.org