Abstract
We consider the 3D Mikhalev system,
which has first appeared in the context of KdV-type hierarchies. Under the reduction \(w=f(u)\), one obtains a pair of commuting first-order equations,
which govern simple wave solutions of the Mikhalev system. In this paper we study higher-order reductions of the form
which turn the Mikhalev system into a pair of commuting higher-order equations. Here the terms at \(\epsilon ^n\) are assumed to be differential polynomials of degree n in the x-derivatives of u. We will view w as an (infinite) formal series in the deformation parameter \(\epsilon \). It turns out that for such a reduction to be non-trivial, the function f(u) must be quadratic, \(f(u)=\lambda u^2\), furthermore, the value of the parameter \(\lambda \) (which has a natural interpretation as an eigenvalue of a certain second-order operator acting on an infinite jet space), is quantised. There are only two positive allowed eigenvalues, \(\lambda =1\) and \(\lambda =3/2\), as well as infinitely many negative rational eigenvalues. Two-component reductions of the Mikhalev system are also discussed. We emphasise that the existence of higher-order reductions of this kind is a reflection of linear degeneracy of the Mikhalev system, in particular, such reductions do not exist for most of the known 3D dispersionless integrable systems such as the dispersionless KP and Toda equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the 3D Mikhalev system,
which was apparently first introduced by V. Mikhalev [19] in the context of Hamiltonian formalism of KdV-type hierarchies, and subsequently investigated in the framework of multi-dimensional dispersionless integrability, see, e.g. [6, 11, 12, 23] and references therein. We will be interested in the classification of \((1+1)\)-dimensional reductions of (1) obtained by setting
where the terms at \(\epsilon ^n\) are differential polynomials of degree n in the x-derivatives of u (whose coefficients are some functions of u). We will view (2) as an infinite formal series in the deformation parameter \(\epsilon \). Reduction (2) will be called nontrivial if at least one of the \(\epsilon \)-dependent terms is nonzero. The substitution of (2) into (1) implies
where \(w^*=w_u+w_{u_x}\frac{\textrm{d}}{\textrm{d}x}+w_{u_{xx}}\frac{\textrm{d}^2}{\textrm{d}x^2}+\dots \) is the operator of formal linearisation. Thus, we obtain two equations for the scalar variable u. Requiring their compatibility, \(u_{yt}=u_{ty}\) (which should be satisfied at all orders of the deformation parameter \(\epsilon \)), one obtains strong constraints for the coefficients of expansion (2). There are only two cases of terminating expansions, leading to the well-known integrable hierarchies.
Example 1
The ansatz \( w=u^2+\epsilon u_x\) reduces (1) to the first two flows of the Burgers’ hierarchy,
Example 2
The ansatz \( w=\frac{3}{2}u^2+\epsilon ^2 u_{xx}\) reduces (1) to the first two flows of the KdV hierarchy,
In the language of the ‘universal hierarchy of hydrodynamic type’ and ‘integrable hydrodynamic chains’, terminating reductions of this kind were studied in [16,17,18, 23], see also [27] for some explicit finite-gap solutions of the Mikhalev system. Our first main result is as follows (see Sect. 2 for the proof):
Theorem 1
For a non-trivial reduction (2) of system (1), the function f(u) must be quadratic.
Thus, one can set \(f(u)=\alpha +\beta u+\lambda u^2\). Here the parameters \(\alpha , \beta \) are not essential and can be eliminated using the following symmetries of system (1):
(a): \(\tilde{x}=x+\alpha y, \ \tilde{y}=y, \ \tilde{t}=t, \ \tilde{u}=u, \ \tilde{w}=w-\alpha \);
(b): \(\tilde{x}=x+\beta ^2 y+\beta t, \ \tilde{y}=y, \ \tilde{t}=t+2\beta y, \ \tilde{u}=u, \ \tilde{w}=w-\beta u\).
Therefore, without any loss of generality one can assume \(f(u)=\lambda u^2\). Further analysis of Sect. 3 shows that the allowed values of the parameter \(\lambda \) are ‘quantised’ and cannot be arbitrary. There are only two positive eigenvalues, \(\lambda =1\) are \(\lambda =\frac{3}{2}\). Computer experiments suggest that there exist infinitely many series of negative rational eigenvalues \(\lambda \), in particular,
etc, although we were not able to find a general formula giving all of them.
In Sect. 4 we study in more detail deformations (2) corresponding to the two positive values of \(\lambda \). Thus, the general expansion (2) for \(\lambda =1\) (dissipative case) has the form
where a(u) is an arbitrary function. For \(a=1\) it reproduces the Burgers’ reduction from Example 1. For \(a=u\) one obtains another well-known case, the so-called viscous Camassa–Holm reduction, see Sect. 4.1 for more details. Similarly, the general expansion (2) for \(\lambda =\frac{3}{2}\) (dispersive case) has the form
where a(u) is an arbitrary function. For \(a=1\) it reproduces the KdV reduction from Example 2. For \(a=u\) one obtains the Camassa–Holm reduction, see Sect. 4.2 for more details.
In Sect. 5 we study higher-order (dissipative and dispersive) deformations of two-component hydrodynamic reductions of the Mikhalev system (1).
Finally, in Sect. 6 we prove non-existence of reductions of type (2) for the dispersionless KP equation and justify a conjecture that only linearly degenerate dispersionless integrable systems in 3D possess higher-order reductions of this kind.
2 Proof of Theorem 1
Here we prove our first main result.
Theorem 1For a non-trivial reduction (2) of system (1), the function f(u) must be quadratic.
Proof
If f is not quadratic, direct calculations show that terms at \(\epsilon , \epsilon ^2, \epsilon ^3, \dots \) in the expansion (2) must vanish identically. Suppose that the first nonzero term occurs at \(\epsilon ^n\),
where \(w_n\) is a homogeneous differential polynomial of differential degree n in the x-derivatives of u. Equations (1) take the form
Calculating the compatibility condition of (4), \(u_{yt}=u_{ty}\), at \(\epsilon ^n\) one obtains that \(w_n\) must satisfy the linear equation
where one has to use dispersionless limits of equations (4), \(u_t=f'u_x\) and \(u_y=(f'^2-uf'+f)u_x\), to calculate t- and y-derivatives of \(w_n\). Introducing the corresponding commuting operators of total differentiation,
one can rewrite equation (5) in the form \(Lw_n=0\) where L is a second-order operator,
note that L is independent of n. It is convenient to introduce the operators
note that \(\tilde{T}\) and \(\tilde{Y}\) do not involve differentiation \(\partial _u\), furthermore, S does not involve differentiations \(\partial _u\) and \(\partial _{u_x}\). In this notation, L takes the form
We also note that L does not explicitly depend on f and \(f'\). Let us introduce the standard notation for the jet variables: \((u, u_x, u_{xx}, \dots )=(u, u_1, u_2, \dots )\). Each differential monomial has two naturally defined degrees: differential degree n and algebraic degree k. Thus, the differential monomial \(u_{\sigma _1} \dots u_{\sigma _k}\) has differential degree \(n=\sigma _1+\dots +\sigma _k\) and algebraic degree k. Let \(P_k(n)\) be the space of differential polynomials of differential degree n and algebraic degree k, spanned by the corresponding differential monomials. Then \(\textrm{dim}\, P_k(n)=p_k(n)\) where \(p_k(n)\), the number of differential monomials of differential degree n and algebraic degree k, equals the number of partitions of n into k parts. We will agree that the variable u has both differential and algebraic degrees equal to zero. We will also need the following properties of operators \(\tilde{T}, S\) and X entering formula (6). First of all, each of these operators increases by 1 the differential degree of any differential monomial. It will be convenient to represent X in the form \(X=X_0+u_1\frac{\partial }{\partial u}\) where \(X_0=u_{2}\frac{\partial }{\partial u_1}+u_{3}\frac{\partial }{\partial u_2}+\dots \) preserves algebraic degree of any differential monomial, while \(u_1\frac{\partial }{\partial u}\) increases it by 1. Similarly, we have \(\tilde{T}=\tilde{T}_0+\dots \) where
note that \(\tilde{T}_0\) increases by 1 both algebraic and differential degrees of any differential monomial. Here dots in the formula \(\tilde{T}=\tilde{T}_0+\dots \) denote an operator which increases algebraic degree by more than 1. Finally, \( S=S_0+\dots \) where
note that \(S_0\) increases by 2 the algebraic degree, and by 1 the differential degree of any differential monomial. Here dots in the formula \(S=S_0+\dots \) denote an operator which increases algebraic degree by more than 2. Thus, one can represent the second-order operator L given by (6) in the form \( L=L_0+\dots \) where
note that \(L_0\) increases by 2 both algebraic and differential degrees of any differential monomial. Here dots in the formula \(L=L_0+\dots \) denote a second-order operator which increases algebraic degree by more than 2. Finally, let us note that \(L_0\) depends on f only via the second derivative \(f''\).
Our goal is to show that, if \(f''\ne const\), the kernel of L is trivial: \(Lw_n=0\implies w_n=0\). To prove this we represent \(w_n\), which is a differential polynomial of differential degree n, in the form
where \(w_n^{(i)}\) are differential polynomials of differential degree n and algebraic degree i:
etc. Here coefficients in the span are allowed to be arbitrary functions of u. Suppose \(w_n^{(k)}\) is the first nonzero term in expansion (8). Then the term of lowest algebraic degree in the expression \(Lw_n\) will be \(L_0w_n^{(k)}\). As \(Lw_n=0\) implies \(L_0w_n^{(k)}=0\), it is sufficient to show that \(L_0w_n^{(k)}=0\implies w_n^{(k)}=0\).
The condition \(L_0w_n^{(k)}=0\) gives a linear homogeneous system for the coefficients of differential polynomial \(w_n^{(k)}\) (recall that \(L_0\) does not involve differentiation by u); the matrix of this system depends on \(f''\) which can be treated as an arbitrary ‘parameter’. The requirement of non-trivial solvability of this system leads to two cases: either there is an algebraic constraint for \(f''\) (in which case we are done as \(f''\) will be constant), or the system is solvable for every value of \(f''\). The latter case leads to a contradiction: if the system is non-trivially solvable for every value of \(f''\), let us set \(f''=\frac{1}{2}\). In this case the operator \(S_0\) vanishes identically, and the condition \(L_0w_n^{(k)}=0\) simplifies to \((\tilde{T}_0^2+\frac{1}{2}u_1\tilde{T}_0)w_n^{(k)}=0\). Note however that the lexicographically top monomial in the expression \((\tilde{T}_0^2+\frac{1}{2}u_1\tilde{T}_0)w_n^{(k)}\) equals the lexicographically top monomial of \(w_n^{(k)}\) multiplied by \(cu_1^2\) where c is some positive constant (as all coefficients of the operator \(\tilde{T}_0^2+\frac{1}{2}u_1\tilde{T}_0\) are positive). Thus, in this case the vanishing of \(L_0w_n^{(k)}\) implies the vanishing of \(w_n^{(k)}\). This contradiction finishes the proof. \(\square \)
3 Eigenvalues \(\lambda \)
Upon setting \(f(u)=\lambda u^2\), it follows from the proof of Theorem 1 that the allowed values of the parameter \(\lambda \) are exactly those for which the operator \(L_0\) given by (7) possesses a nontrivial kernel. The corresponding \(\lambda \)’s can be interpreted as the eigenvalues of \(L_0\). As the operator \(L_0\) increases by 2 both the differential and algebraic degrees of every differential monomial, one needs to study a finite-dimensional restriction of the operator \(L_0\) to the space \(P_k(n)\):
Our first observation is that a sufficient condition for the kernel of \(L_0\) to be non-trivial is the equality of dimensions:
in this case, elements of the kernel correspond to the eigenvalues \(\lambda \) that satisfy the equation \(\det L_0=0\) (these eigenvalues depend on both n and k). Note that there is an obvious general inequality \(p_k(n)\le p_{k+2}(n+2)\), indeed, every differential monomial from \(P_k(n)\) produces a differential monomial from \(P_{k+2}(n+2)\) via multiplication by \(u_1^2\). One can easily show that the equality (10) holds if and only if \(k\ge n/2\). This follows from the well-known identity for partitions, \(p_k(n)=p_k(n-k)+p_{k-1}(n-1)\). Applying this identity twice gives
where the first two terms on the right-hand side vanish if and only if \(k\ge n/2\) (recall that \(p_k(n)=0\) if \(k>n\)).
Our results are summarised in Table 1 below: the left column lists the first few allowed eigenvalues \(\lambda \); the right column contains the first two terms in the expansion of w(u).
Here a, b are arbitrary function of u and dots denote higher-order terms in \(\epsilon \). Note that the value \(\lambda =-1\) appears at the orders \(\epsilon ^3\) and \(\epsilon ^6\), the value \(\lambda =-\frac{1}{3}\) appears at the orders \(\epsilon ^4\) and \(\epsilon ^5\), etc. This means that the spectrum of the operator \(L_0\) is not simple. Furthermore, for \(\lambda =-\frac{1}{5 }\) two arbitrary functions, a and b, appear in the expression for w at the order \(\epsilon ^6\). This means that the operator \(L_0\) does not have simple spectrum even when restricted to the subspace of differential polynomials of a fixed degree n.
Based on Table 1, we have found the following deformations that work for arbitrary value of n (Table 2).
Computer experiments (up to \(n=12\) and all \(k\le n\)) suggest that there exist infinitely many series of negative rational eigenvalues \(\lambda \), in particular,
etc, although we were not able to find a general formula that would give all of them.
4 Higher-order deformations of one-component reductions
Here we study in more detail higher-order reductions corresponding to the two positive values of \(\lambda \).
4.1 One-component dissipative reductions \((\lambda =1)\)
In this case expansion (2) takes the form
here a(u) is an arbitrary function, and the coefficients of all subsequent terms are certain explicit expressions in a(u) and its derivatives (in both the dissipative and dispersive cases, we have performed calculations of w and verified commutativity of the corresponding flows (3) up to the order \(\epsilon ^8\)). The corresponding equation \(u_t=w_x\) belongs to the class of ‘viscous conservation laws’ studied in [1, 2]. The coefficient a(u) is referred to as the ‘viscous central invariant’ (note that our normalisation is different from that of [1, 2]). This expansion does not terminate unless \(a(u)=const\), which corresponds to the Burgers’ hierarchy (Example 1 of Sect. 1).
Another familiar case is \(a(u)=u\) which gives
Although this expansion does not terminate, it can be represented in compact form as
Introducing \(m=u-\epsilon u_x\), one can rewrite the corresponding equations (1) in the form
Note that the first equation (12) can be written in the following second-order non-evolutionary form,
This equation was discussed in [2] as a viscous analogue of the Camassa–Holm equation. It has first appeared in [21], see also [7]. To obtain non-evolutionary form of the second equation (12), one can use the relation \(w-\epsilon w_x=um\), which is equivalent to (11), to eliminate w. This results in the following third-order non-evolutionary form:
Commuting flows (12) belong to the hierarchy of the second-order linearisable PDE
which has appeared in [3], see also [20], eq. (17).
Unfortunately, already the case \(a(u)=u^2\) is not representable in any reasonably compact form, furthermore, our calculations suggest that the corresponding commuting flows (3) do not belong to the hierarchy of any finite-order integrable PDE.
4.2 One-component dispersive reductions \((\lambda =3/2)\)
In this case expansion (2) takes the form
where a(u) is an arbitrary function, and all subsequent terms are certain explicit expressions in a(u) and its derivatives. This expansion does not terminate unless \(a(u)=const\), which corresponds to the KdV hierarchy (Example 2 of Sect. 1).
Another familiar case is \(a(u)=2u\) ([23], Sect. 5) which gives
Although this expansion does not terminate, it can be represented in compact form as
Introducing \(n=u-\epsilon ^2 u_{xx}\), one can rewrite the corresponding equations (1) in the form
Note that the first equation (14) can be written in the Camassa–Holm non-evolutionary form,
To obtain non-evolutionary form of the second equation (14), one can differentiate it by x and use the relation \(w-\epsilon ^2 w_{xx}=un+\frac{1}{2}(u^2-\epsilon ^2u_x^2)\), which is equivalent to (13), to eliminate w. Commuting flows (14) belong to the hierarchy of the third-order integrable PDE
which has appeared in [4].
5 Higher-order deformations of two-component reductions
Multi-component hydrodynamic reductions of system (1) can be obtained by setting \(u=u(R^1, \dots , R^n)\), \(w=w(R^1, \dots , R^n)\) where \(R^i\) satisfy a pair of commuting n-component hyperbolic diagonal systems of hydrodynamic type,
whose characteristic speeds satisfy the commutativity conditions [28],
here \(\partial _i=\partial _{R^i}\), see [9] for the general theory of hydrodynamic reductions of multi-dimensional dispersionless integrable systems. The requirement that the so defined u and w solve system (1) imposes the following constraints for the unknown functions: \(\partial _iw=\eta ^i\partial _iu\) (no summation), as well as the dispersion relation \(\mu ^i=(\eta ^i)^2-u\eta ^i+w\). Upon substitution into commutativity conditions (16) these constraints imply \(\partial _j\eta ^i=\partial _ju\), while the compatibility conditions \(\partial _i\partial _jw=\partial _j\partial _iw\) imply \(\partial _i\partial _ju=0\). These equations are straightforward to solve: with a suitable choice of Riemann invariants \(R^i\), which are defined up to reparametrisations \(R^i\rightarrow \varphi ^i(R^i)\), one has
here \(f_i(R^i)\) are n arbitrary functions of the indicated variables and all summations are from 1 to n (equivalent formulae were obtained in [22], Sect. 7).
Below we discuss higher-order deformations of two-component hydrodynamic reductions. Thus, we seek solutions of system (1) in the form
where \(R^1, R^2\) satisfy equations of the form
where dots at \(\epsilon ^i\) denote differential polynomials of degree \(i+1\) whose coefficients can be arbitrary functions of \(R^1, R^2\) (u and w can be assumed undeformed due to the invariance of the construction under the Miura group, see, e.g., [5]). The characteristic speeds \(\eta ^i, \ \mu ^i\) are as follows:
here \(i=1, 2\). The substitution of this ansatz into (1) implies that equations (18) can be written as
and
respectively. Here P and Q are expansions of the form
where the terms at \(\epsilon ^i\) are differential polynomials of degree \(i+1\) whose coefficients can be arbitrary functions of \(R^1, R^2\). We will see that the requirement of compatibility of systems (19) and (20), \(R^i_{ty}=R^i_{yt}\), imposes strong constraints on the functions \(f_i(R^i)\).
5.1 Two-component dissipative reductions
Here we assume that the expansions start with non-trivial \(\epsilon \)-terms,
where \(p_i, q_i\) are some functions of \(R^1, R^2\) (not all identically zero). At the order \(\epsilon \), compatibility conditions of systems (19) and (20) result in eighteen constraints for the functions \(f_i(R^i)\) and \(p_i, q_i\). Classification results —up to symmetries of system (1) and the interchange of indices 1 and 2—are summarised below (five different cases).
Case 1: \(f_1(R^1)=\frac{1}{2}(R^1)^2\) and \(f_2(R^2)=\frac{1}{2}(R^2)^2\). Then
where
and \(\alpha =\alpha (R^1),\ \beta =\beta (R^2)\) are arbitrary functions.
Further calculations show that all coefficients at the order \(\epsilon ^2\) are uniquely expressible in terms of the functions \(\alpha \) and \(\beta \).
Case 2: \(f_1(R^1)=\frac{1}{2}(R^1)^2\) and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
where
and \(\alpha =\alpha (R^1),\ \beta =\beta (R^2)\) are arbitrary functions. Note that the second characteristic speed in the t-flow is linearly degenerate.
Further calculations show that conditions at the order \(\epsilon ^2\) imply \(\beta =0\), furthermore, two new arbitrary functions appear at that order.
Case 3: \(f_1(R^1)=-\frac{1}{2}(R^1)^2\) and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
where
and \(\alpha =\alpha (R^1),\ \beta =\beta (R^2)\) are arbitrary functions. Note that both characteristic speeds in the t-flow are linearly degenerate, while both characteristic speeds in the y-flow are identically zero: \(\mu ^1=\mu ^2=0\).
Further calculations show that conditions at the order \(\epsilon ^2\) imply that both functions \(\alpha \) and \(\beta \) must be zero (so that all \(\epsilon \)-terms vanish), furthermore, four new arbitrary functions appear at that order.
Case 4: \(f_1(R^1)\) is arbitrary and \(f_2(R^2)=\frac{1}{2}(R^2)^2\). Then
where
and \(p_2(R^1, R^2)\) solves the PDE
Note that if \(f_1(R^1)=\frac{1}{2}(R^1)^2\) then \(p_2=\frac{\beta (R^2)}{R^2-R1}\) and we recover Case 1 with \(\alpha (R^1)=0\).
Further calculations show that conditions at the order \(\epsilon ^2\) imply that either (a) \(p_2\ne 0\), in which case all coefficients at \(\epsilon ^2\) can be uniquely expressed in terms of \(f_1\) and \(p_2\), or (b) \(p_2=0\) (this implies that all \(\epsilon \)-terms vanish) and \(f_1''=2\), in which case further arbitrary functions appear at that order.
Case 5: \(f_1(R^1)\) is arbitrary and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
where
and \(p_2(R^1, R^2)\) solves the PDE
Note that if \(f_1(R^1)=\frac{1}{2}(R^1)^2\) then \(p_2=\frac{\beta (R^2)}{R^1+R^2}\) and we recover Case 2 with \(\alpha (R^1)=0\). Here again the second characteristic speed in the t-flow is linearly degenerate.
Further calculations show that conditions at the order \(\epsilon ^2\) imply \(p_2= 0\) (this implies that all \(\epsilon \)-terms vanish), however, more arbitrary functions appear at that order.
Terminating deformations: There is only one case of deformations terminating at the order \(\epsilon \) (where all terms at \(\epsilon ^k, \ k\ge 2\) are identically zero). It is coming from Case 1 with \(\alpha (R^1)+\beta (R^2)=0\). Hence, \(\alpha (R^1)=-\beta (R^2)=const\), where the constant can be absorbed in \(\epsilon \). This gives
Introducing the potential q such that \(u=q_x, \ w=q_t\), one can rewrite the above t-flow as a linearisable equation
which has appeared in [13, 17]. The corresponding y-flow reduces to its symmetry,
5.2 Two-component dispersive reductions
Here we assume that the expansions start with non-trivial \(\epsilon ^2\)-terms,
where \(p_i, q_i\) are some functions of \(R^1, R^2\) (not all identically zero). At the order \(\epsilon ^2\), compatibility conditions of systems (19) and (20) result in constraints for the functions \(f_i(R^i)\) and \(p_i, q_i\). Classification results – up to symmetries of system (1) and the interchange of indices 1 and 2 – result in five different cases. These cases are listed below, omitting the explicit presentation of \(R^i_t, R^i_y\) due to the length of the expressions.
Case 1: \(f_1(R^1)= (R^1)^2\) and \(f_2(R^2)=(R^2)^2\). Then
Case 2: \(f_1(R^1)=(R^1)^2\) and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
Case 3: \(f_1(R^1)=-\frac{1}{2}(R^1)^2\) and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
Case 4: \(f_1(R^1)\) arbitrary and \(f_2(R^2)=(R^2)^2\). Then
Case 5: \(f_1(R^1)\) arbitrary and \(f_2(R^2)=-\frac{1}{2}(R^2)^2\). Then
Terminating deformations: There is only one case of deformations terminating at the order \(\epsilon ^2\) (where all terms at \(\epsilon ^k, \ k\ge 3\) are identically zero). It is coming from Case 1 with \(\alpha (R^1)+\beta (R^2)=0\). Hence, \(\alpha (R^1)=-\beta (R^2)=const\), where the constant can be absorbed in \(\epsilon \). This gives
Here the t-flow is equivalent to the Kaup-Boussinesq system, see [23], eq. (30). Introducing the potential q such that \(u=q_x, \ w=q_t\), one can rewrite the above t-flow in the form
The corresponding y-flow reduces to its symmetry,
6 Higher-order reductions and linear degeneracy
The goal of this section is to justify a conjecture that the existence of higher-order reductions of type (2) is a specific property of linearly degenerate dispersionless integrable systems in 3D. In Sect. 6.1 we prove that, unlike Mikhalev system (1), the dispersionless KP (dKP) system,
which is not linearly degenerate, does not possess non-trivial higher-order reductions of type (2). To make the paper self-contained, we recall the definition of linear degeneracy in 3D (Sect. 6.2) and discuss an example which supports the above conjecture (Sect. 6.3).
6.1 Non-existence of higher-order reductions of the dKP system
Theorem 2
dKP system (21) possesses no nontrivial reductions of type (2).
Proof
Direct calculations show that terms at \(\epsilon , \epsilon ^2, \epsilon ^3\) must vanish identically. Suppose that the first nonzero term occurs at \(\epsilon ^n\),
where \(w_n\) is a homogeneous differential polynomial of degree n in the x-derivatives of u. Substituting ansatz (22) into (21) gives
Calculating the compatibility condition, \(u_{yt}=u_{ty}\), at \(\epsilon ^n\) one obtains that \(w_n\) must belong to the kernel of the second-order operator
that is, \(L w_n=0\). Here X, Y, T denote three commuting operators of total differentiation associated with commuting systems \(u_y=f'u_x\) and \(u_t=(f'^2+u)u_x\), explicitly,
Introducing the operators \(\tilde{Y}=Y-f'X\) and \(\tilde{T}=T-2f'Y+(f'^2-u)X\) one can rewrite the operator L in the form
Our goal is to show that, for every f, the kernel of L is trivial: \(L w_n=0 \implies w_n=0\) (note that L is independent of n). We adopt the standard notation for the jet variables: \((u, u_x, u_{xx}, \dots )=(u, u_1, u_2, \dots )\). We will need the following properties of the operators \(\tilde{Y}\) and \(\tilde{T}\):
where each coefficient \(a_s\) depends on the jet variables \(u, u_1, \dots , u_s\), while each coefficient \(b_s\) depends on the jet variables \(u, u_1, \dots , u_{s-1}\) only.
Suppose, by contradiction, that \(w_n\ne 0\), let \(u_k\) be the highest jet variable occurring in \(w_n\) (thus, \(\frac{\partial w_n}{\partial u_k}\ne 0\)). Then \(u_{k+1}\) will be the highest jet variable occurring in \(L w_n\), indeed, \(X w_n\) will contain the term \(\frac{\partial w_n}{\partial u_k}u_{k+1}\), while the expression \((-\tilde{Y}^2+f''u_x\tilde{Y}) w_n \) will not contain \(u_{k+1}\) due to the above property of the operator \(\tilde{Y}\). Thus, the expression \(L w_n\) will depend on \(u_{k+1}\) linearly, with the coefficient at \(u_{k+1}\) equal to
Let \(\sigma \) be the highest-order differential monomial in \(\frac{\partial w_n}{\partial u_k}\), in the standard lexicographic order. Then, due to the above form of \(\tilde{T}\), the highest-order monomial in the expression (23) will have the form \(cu_1\sigma \) with some positive constant c, and therefore \(L w_n\) does not vanish. This contradiction finishes the proof. \(\square \)
6.2 Linearly degenerate systems in 3D
Let us begin with a (1+1)-dimensional quasilinear system,
where \(\textbf{v}=(v^1,..., v^n)\) is a vector of dependent variables and A is an \(n\times n\) matrix. Recall that system (24), equivalently, matrix A, is said to be linearly degenerate if the eigenvalues of A, assumed real and distinct, are constant in the direction of the corresponding eigenvectors. Explicitly, \(L_{r^i}\lambda ^i=0\), no summation, where \(L_{r^i}\) is the Lie derivative of the eigenvalue \(\lambda ^i\) in the direction of the corresponding eigenvector \(r^i\). Linearly degenerate systems are quite exceptional from the point of view of solvability of the initial value problem and have been thoroughly investigated in the literature, see, e.g. [14, 24,25,26]. There exists an invariant criterion of linear degeneracy that does not appeal to eigenvalues/eigenvectors. Let us introduce the characteristic polynomial of A,
The condition of linear degeneracy can be represented in the form [8],
where \(\nabla \) is the gradient, \(\nabla f=({{\partial f}\over {\partial v^1}},\ldots , {{\partial f}\over {\partial v^n}})\), and \(A^k\) denotes k-th power of the matrix A. In the \(2\times 2\) case this condition simplifies to
Given a (2+1)-dimensional quasilinear system,
and imposing a travelling wave reduction, \(\textbf{v}(x, y, t)=\textbf{v}(r, s)=\textbf{v}(x+\alpha t,\, y+\beta t)\), we obtain \((A+\lambda I)\textbf{v}_s+(B+\mu I)\textbf{v}_r=0\), which is a (1+1)-dimensional quasilinear system of type (24),
We say that (2+1)-dimensional system (25) is linearly degenerate if all its travelling wave reductions (26) are linearly degenerate in the above sense, for arbitrary constants \(\lambda , \, \mu \). We refer to [11, 12, 15] for further analytic and geometric aspects of linear degeneracy in higher dimensions.
6.3 Reductions of a class of dispersionless integrable systems in 3D
Let us consider systems of the form
where \(\eta , \psi , \varphi \) are some functions of u and w. In particular, the choice \(\eta =1,\, \psi =-u,\, \varphi =w\) leads to the Mikhalev system, while the choice \(\eta =1,\, \psi =0,\, \varphi =u\) results in the dKP system (upon relabelling \(y\leftrightarrow t\)). Systems (27) have appeared in [10] as dispersionless limits of integrable soliton equations in 2+1 dimensions. Our goal is to justify a conjecture that the requirement of existence of nontrivial reductions of type (2) forces system (27) to be linearly degenerate. In this section, we will only focus on non-triviality of the \(\epsilon \)-term in (2). Rewriting (27) in matrix form (25),
and applying the procedure described in Sect. 6.2, one obtains conditions of linear degeneracy:
Conditions of dispersionless integrability of system (27) (we refer to [9] for a discussion of dispersionless integrability in 3D) reduce to a system of second-order partial differential equations for the coefficients \(\varphi , \psi \) and \(\eta \) [10]:
Remark 1
Conditions of linear degeneracy (28) can be explicitly solved in the form
where \(c, \alpha , \beta , \gamma , \delta , \mu \) are arbitrary constants. The requirement of dispersionless integrability imposes the additional constraint \(c=0\).
Remark 2
Conditions of dispersionless integrability (29) can also be explicitly solved leading, up to elementary normalisations, to the seven cases presented in Table 3 above [10].
In the last case 7, the functions p, q and r satisfy the system of ODEs
Direct substitution of reduction (2), where we assume \(f''\ne 0\), into (27) and requiring commutativity of the resulting flows leads to \(a(u) =0\) (triviality of \(\epsilon \)-terms) in all cases apart from
(a) Case 1 with \(\beta +\gamma =\delta =0\);
(b) Case 5 with \(\gamma =\delta =0\).
Note that these cases correspond to linearly degenerate systems (27) (one has to use the compatibility conditions at both \(\epsilon \) and \(\epsilon ^2\) to reach this conclusion), thus supporting the above conjecture.
7 Concluding remarks
The remaining challenges are as follows:
(a) find a general formula for the eigenvalues \(\lambda \);
(b) for a given eigenvalue \(\lambda \), prove the existence of higher-order deformations at all orders of the deformation parameter \(\epsilon \), and investigate their functional freedom. Our computations suggest that only one arbitrary function enters the deformation formulae for \(\lambda =1\) and \(\lambda =\frac{3}{2}\), whereas for (some) negative eigenvalues \(\lambda \), several arbitrary functions (possibly, infinitely many of them) may occur in expansions (2) at higher orders of \(\epsilon \).
Data availability
This article appeared in arXiv:2310.20528.
References
Arsie, A., Lorenzoni, P., Moro, A.: On integrable conservation laws. In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 471 (2014)
Arsie, A., Lorenzoni, P., Moro, A.: Integrable viscous conservation laws. Nonlinearity 28(6), 1859–1895 (2015)
Calogero, F.: Why are certain nonlinear PDEs both widely applicable and integrable. In: Zhakarov, V.E. (ed.) What is Integrability, pp. 1–62. Springer, Berlin (1991)
Camassa, R., Holm, D.D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71(11), 1661–1664 (1993)
Dubrovin, B., Liu, S.-Q., Zhang, Y.: On Hamiltonian perturbations of hyperbolic systems of conservation laws. I. Quasi-triviality of bi-Hamiltonian perturbations. Comm. Pure Appl. Math. 59(4), 559–615 (2006)
Dunajski, M.: A class of Einstein–Weyl spaces associated to an integrable system of hydrodynamic type. J. Geom. Phys. 51, 126–137 (2004)
Falqui, G.: On a Camassa–Holm type equation with two dependent variables. J. Phys. A 39(2), 327–342 (2006)
Ferapontov, E.V.: Integration of weakly nonlinear hydrodynamic systems in Riemann invariants. Phys. Lett. A 158, 112–118 (1991)
Ferapontov, E.V., Khusnutdinova, K.R.: On the integrability of (2+1)-dimensional quasilinear systems. Comm. Math. Phys. 248, 187–206 (2004)
Ferapontov, E.V., Moro, A., Novikov, V.S.: Integrable equations in 2+1 dimensions: deformations of dispersionless limits. J. Phys. A Math. Theor. 42, 18 (2009)
Ferapontov, E.V., Khusnutdinova, K.R., Klein, C.: On linear degeneracy of integrable quasilinear systems in higher dimensions. Lett. Math. Phys. 96(1), 5–35 (2011)
Ferapontov, E.V., Moss, J.: Linearly degenerate PDEs and quadratic line complexes. Commun. Anal. Geom. 23(1), 91–127 (2015)
Hernández Heredero, R., Shabat, A., Sokolov, V.: A new class of linearizable equations. J. Phys. A 36(47), 605–614 (2003)
Liu, T.P.: Development of singularities in the nonlinear waves for quasi-linear hyperbolic PDEs. J. Diff. Equ. 33, 92–111 (1979)
Majda, A.: Compressible fluid flows and systems of conservation laws in several space variables. Appl. Math. Sci. 53, 159 (1984)
Martínez Alonso, L., Shabat, A.B.: Energy-dependent potentials revisited: a universal hierarchy of hydrodynamic type. Phys. Lett. A 300(1), 58–64 (2002)
Martínez Alonso, L., Shabat, A.B.: Towards a theory of differential constraints of a hydrodynamic hierarchy. J. Nonlinear Math. Phys. 10(2), 229–242 (2003)
Martínez Alonso, L., Shabat, A.B.: Hydrodynamic reductions and solutions of the universal hierarchy. Theoret. Math. Phys. 140(2), 1073–1085 (2004)
Mikhalev, V.G.: Hamiltonian formalism of Korteweg-de Vries-type hierarchies. Funct. Anal. Appl. 26(2), 140–142 (1992)
Novikov, V.: Generalizations of the Camassa–Holm equation. J. Phys. A 42(34), 342002 (2009)
Olver, P.J., Rosenau, P.: Tri-Hamiltonian duality between solitons and solitary-wave solutions having compact support. Phys. Rev. E (3) 53(2), 1900–1906 (1996)
Pavlov, M.V.: Integrable hydrodynamic chains. J. Math. Phys. 44(9), 4134–4156 (2003)
Pavlov, M.V.: Integrable dispersive chains and energy dependent Schrödinger operator. J. Phys. A 47(29), 295204 (2014)
Rozdestvenskii, B.L., Sidorenko, A.D.: On the impossibility of ‘gradient catastrophe’ for weakly nonlinear systems. Z. Vycisl. Mat. I Mat. Fiz. 7, 1176–1179 (1967)
Rozdestvenskii, B.L., Yanenko, N.N.: Systems of quasilinear equations and their applications to gas dynamics, translated from the second Russian edition by J. R. Schulenberger, Translations of Mathematical Monographs, vol. 55, p. 676. American Mathematical Society, Providence (1983)
Serre, D.: Systems of conservation laws. 1. Hyperbolicity, entropies, shock waves, p. 263. Cambridge University Press (1999). Systems of conservation laws. 2. Geometric structures, oscillations, and initial-boundary value problems, p. 269. Cambridge University Press (2000)
Smirnov, A.O., Pavlov, M.V., Matveev, V.B., Gerdjikov, V.S.: Finite-gap solutions of the Mikhalev equation. In: Proceedings of Symposia in Pure Mathematics, vol. 103(1), pp. 429–450. American Mathematical Society, Providence (2021)
Tsarev, S.P.: Geometry of Hamiltonian systems of hydrodynamic type. Generalized hodograph method. Math. Izvestija USSR 54(5), 1048–1068 (1990)
Acknowledgements
We thank M. Pavlov for numerous discussions. We also thank the referees for useful comments.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There is neither Conflict of interest nor additional data available for this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ferapontov, E.V., Novikov, V.S. & Roustemoglou, I. Higher-order reductions of the Mikhalev system. Lett Math Phys 114, 68 (2024). https://doi.org/10.1007/s11005-024-01811-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01811-1
Keywords
- Dispersionless integrable system
- Mikhalev system
- Hydrodynamic reduction
- Higher-order reduction
- Burgers
- KdV and Camassa–Holm equations