1. Introduction
The well-known classical Helmholtz result for the decomposition of the vector field using the sum of the solenoidal and potential components is generalized. This generalization is known as the Helmholtz–Weyl decomposition (see, for example, [
1]). A more exact Lebesgue space
of vector fields
is represented by a direct sum
where
is a closure of all smooth solenoidal fields and
is a closure of all smooth potential fields with respect to the norm of space
. For different dimensions (see [
2,
3,
4]), the space denoted by
can be considered as a closure of all smooth finite solenoidal fields. We remark that it is impossible to replace space
with a domain
(see [
5]). Some conditions for these replacements can be found in [
6].
Helmholtz–Weyl decomposition implies an integral identity:
for any fields
and
, that provide the key to studying the Navier–Stokes equations. In principle, the different results connected with integral identities for solenoidal fields in space were obtained in [
7]. The other dimensions are considered in [
8,
9].
A new portion of integral identities is found in [
10], where the rotor is used. Hence, a distinction between the properties of plane and spatial solenoidal fields was emphasized. This idea was first considered in [
11]. Various examples of flows in space confirm the poorness of plane–parallel fluids in comparison with spatial fluids.
The main goal of this work is to show new applications of new integral identities for plane solenoidal fields. First, we provide sufficient conditions for a plane field to be a potential field. These identities can be considered as the origin of new exact a priori estimates (see, for example, [
10]), as the origin of new conservation laws, from which we can include the initial data from the Cauchy problem. These integral identities can be considered as elements of latent symmetry. Hydrodynamics is very rich in such elements (see, for example, the important review [
12] or book [
13]). Therefore, the comparison of different symmetry applications is very useful in this way.
In the following, we apply notations. Let
, be any vector field. Symbols such as
and so forth mean a partial differentiation or differentiation in distributions. They are also denoted by another symbol
where
is a multi–index of a partial derivative. Naturally,
is the Laplace operator. Below, if we do not specifically note the repeated lower indices
mean summation within the boundaries of their changes. For example,
etc. Furthermore, the rotor coordinates are denoted by
and are interpreted as elements of a skew-symmetric matrix
C of the second order.
Typically, a finite field vanishes out of a disk.
2. Main Results
For simplicity, we will confine ourselves to the formulation of the main results for the entire plane and smooth fields. The main results are described by Theorems 1 and 2. Their proof relies on Lemmas 1 and 2. These simple lemmas may be interesting as separate statements.
Lemma 1. For every three smooth solenoidal plane fields , the following algebraic identities are true: Proof of Lemma 1. The grouping of terms in (
2) implies equality
Therefore, we have the first equality of lemma because , etc.
Fix
m. In (
2) replacements
u by
,
w by
imply (
3) after summation with respect to
m. Choosing in (
3)
and replacing
v with
w, we have (
4).
Now, in (
4), let us replace
u by
,
w with
. Then, we have (
5). Formula (
6) follows from (
2) since fields
are solenoidal. Identity (
7) as a corollary of (
2). Equality (
8) is verified in the same way. It is sufficient to group
Here, every sum in brackets vanishes.
Lemma is proved. □
Lemma 2. For every pair of smooth finite solenoidal plane fields , the following integral identities are true: Proof of Lemma 2. For the second integral, we exchange summation indices
j and
m. Then
Replace (
9)
w with
u. After that, we replace
u by
, where
t is any number. Then,
for all
t. Therefore, at the first power
t, the coefficient vanishes
From (
9) and (
3), it follows that (
10). Now, in (
9), we take
. Integrating by parts, we obtain (
11) from (
2), where we choose
and field
u in (
2) is replaced by
.
If in (
9) and (
10), we replace
w with
,
u with
, then we get (
12) and (
13). Formula (
14) follows immediately from (
11) and (
8) since
Lemma is proved. □
Remark 1. The integral identity (9) holds for spatial solenoidal fields where the integral over plane must be replaced by the integral over whole space. Theorem 1. Let be a pair of smooth solenoidal plane fields, and one of them is finite. Then,
(1) a vector field whereis potential; (2) a vector field whereis potential; (3) a vector field whereis potential; (4) a vector field whereis potential. Proof of Theorem 1. Equality (
2) we integrate over plane and apply integration formula by parts. Removing derivatives of the field
w, we obtain
Now, in the first sum, we exchange summation indices
. Hence,
for every smooth solenoidal field
w. We obtain an identity similar to (
1). Therefore, from Helmholtz–Weyl decomposition, it follows that vector field
defining by (
15) is potential.
Equality (
2) we integrate again, and apply the integration formula by parts, removing derivatives of the field
v. Then, we have the following equality:
Exchanging fields
v and
w, we get
for every smooth solenoidal field
w. Hence, Helmholtz–Weyl decomposition vector field
defined by (
16) is potential.
The field from (
17) is also potential. This follows from equality
and the fact that the field
is potential.
Now, we assume that a solenoidal field
w is smooth and finite. Then, (see Theorem 2 from [
10]) we have
In (
21) let us replace the field
u by the field
, where
v is any smooth solenoidal field and
t is any number. Then,
for every
t. Therefore, at the first power,
t the coefficient must equal zero. That is
for any smooth solenoidal field
w. Then, from Helmholtz–Weyl decomposition, the vector field
defined by formula (
18) is potential. The theorem is proved. □
Theorem 2. Let u be a smooth solenoidal plane field. Then,
(1) a vector field whereis potential; (2) a vector field , whereis potential; (3) a vector field , whereis potential. Proof of Theorem 2. Let
w be a smooth solenoidal finite field. In equality (
10), we fulfill reiterated integration by parts, removing derivatives of the vector field
w. Then, repeating arguments from proof of Theorem 1, we have the necessary statement. The second part we obtain from (
13). The potentiality of the field
follows immediately from (
20) if we replace
w with
,
u with
,
v with
. The theorem is proved. □
Remark 2. Integral identities with two solenoidal fields may be very useful for conservation laws, because we can take an initial velocity in the Cauchy problem for Navier–Stokes equations into account.
Remark 3. Choosing multi–indices α and β and applying item (3) from Theorem 2, we can construct diverse potential fields summing over α and β.