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 to values respectively in and . 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 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 car its name of an ancient quadrant which had the same shape of downwards pointing triangle. It is about a formal operator of 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
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 , supposed continuously differentiable, in the point , is defined by the relation
- ,
where
indicates the value on the vector
differential of the function
at the point
.
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 , the normal Vecteur on the surface at the point is given by , which results easily from what precedes.
It results from it immediately that the derivative of the function in compared to the vector is given by
-
In dimension 3 and coordinated Cartesian, the field of gradients checks
-
\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
That is to say Me not relocated it a M of ; then:
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:
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 is a tensor of order 1, then it is a vector and one can define the divergence by the relation
where
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
. Of course, this definition spreads naturally in unspecified dimension.
The definition independent of the choice of the base is:
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 of a solid which turns at constant speed 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
In a space with 3 dimension and in Cartesian coordinates, one can define the rotational one by the relation
where
indicates the vector field to which is applied the rotational operator. The formal analogy with a vector product justifies the notation
.
That can be also written, by abuse notation, using a déterminant :
where
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.
From the field , one can build the field (where is a uniform vector) which the divergence is a linear form of and thus exprimable by a scalar product , where is the opposite of rotational of :
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:
- .
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 .
The other notation of the Laplacian which appears above, , invites to consider it, formally, like the scalar square of the operator 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 . Its solutions (of class ) 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:
or the equation of the vibrating cords:
The vectorial Laplacian
The Laplacian of a vector field is a vector defined by the scalar Laplacian of each component of the vector field, thus in Cartesian Coordonnées, it is defined by:
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 , where , for example. In the same way, if indicates the vector function concerned in the second formula, it is necessary to check , .)
Formulas known as of Leibniz for the products
- (where is a uniform vector, intrinsic definition of the Rotationnel)
- (where is a uniform vector, by definition of the tangent linear application)
- (symmetrical out of F and G)
Some useful formulas
its tangent linear application is the matrix identity (cf the definition!),
thus and
(where is a uniform vector)
- In addition ; that is to say (where is a uniform vector). And also:
in particular (obvious because )
- , except in
because it is the only central field with null divergence (obvious if one thinks in term of Flow) (except , where it is worth , theorem of Gauss for the solid Angle)
It results from it that
(where
is a uniform vector)
who breaks up into:
(where is a uniform vector), and
(where 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.
Expressions of the operators in various coordinates
Cylindrical coordinates
-
-
-
-
Spherical coordinates
-
= \ 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}
-
= \ 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}
-
= \ 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}
-
= \ 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