Nonlocal PT-Symmetric Integrable Equations of Fourth-Order Associated with so ( 3, R )

: The paper aims to construct nonlocal PT-symmetric integrable equations of fourth-order, from nonlocal integrable reductions of a fourth-order integrable system associated with the Lie algebra so ( 3, R ) . The nonlocalities involved are reverse-space, reverse-time, and reverse-spacetime. All of the resulting nonlocal integrable equations possess infinitely many symmetries and conservation laws.


Introduction
Matrix spectral probems associated with matrix Lie algebras are used to construct and classify integrable equations [1][2][3], which possess infinitely many symmetries and conservation laws.Hamiltonian structures that guarantee the Liouville integrability can be established through the trace identity [4,5].Associated with simple Lie algebras, the wellknown integrable equations include the KdV equation, the nonlinear Schrödinger equation and the derivative nonlinear Schrödinger equation [6][7][8].Nonlocal integrable equations have also been recently explored in soliton theory, including scalar equations [9,10] and vector generalizations (see, e.g., [11,12]).
In this paper, we will use the special orthogonal Lie algebra g = so(3, R) over the field of real numbers.This Lie algebra can be presented by all 3 × 3 trace-free, skew-symmetric real matrices, and a basis can be chosen as follows: ( There is another representation su(2) of this Lie algebra, which uses 2 × 2 complex matrices, in the study of soliton surfaces [13,14].The special orthogonal Lie algebra so(3, R) and the special linear algebra sl(2, R) are the only two three-dimensional real Lie algebras, whose derived algebra is equal to itself.The special linear algebra sl(2, R) has been frequently used to study integrable equations [2].An important fact is that the two Lie algebras sl(2) and so(3) are not isomorphic over the field of real numbers, but they are isomorphic over the field of complex numbers.We will be concentrated on the field of real numbers, and so, if we only consider real potentials, integrable equations associated with those two Lie algebras cannot be transformed into each other, which reflects this subtle difference between the two Lie algebras.The corresponding matrix loop algebra that we will use is where λ is a spectral parameter.Take two spectral matrices, U and V, from a given matrix loop algebra, for example, so(3, R), and then the zero curvature equation will present integrable equations.Here, and thereafter, the subscripts denote the partial derivatives with respect to the independent variables.This zero curvature equation is the compatibility condition of the following two matrix spectral problems: which is often used to establish inverse scattering transforms to solve associated integrable equations.The matrix loop algebra so(3, R) has been recently used to generate integrable equations [15,16].
More generally, if we start from non-semisimple Lie algebras, matrix spectral problems can yield so-called integrable couplings [17], and the variational identity [18] is a powerful tool for furnishing their Hamiltonian structures and hereditary recursion operators in block matrix form [19]. Integrable couplings possess rich mathematical structures and need further investigation.Based on the perturbation-type loop algebras of so(3, R), we can present integrable couplings [20].
In this paper, based on the zero curvature formulation, we would first like to recall an application of so(3, R) to integrable equations [15], with a slightly modified spectral matrix from the one in [15].We will then make three pairs of nonlocal integrable reductions for an associated integrable system to present scalar nonlocal PT-symmetric integrable equations of fourth-order, which possess the Liouville integrability, i.e., possess infinitely many commuting symmetries and conservation laws.Let δ = ±1.The presented scalar nonlocal integrable equations are the nonlocal reverse-space integrable equation where p * denotes the complex conjugate of p, the nonlocal reverse-time integrable equation and the nonlocal reverse-spacetime integrable equation Those nonlinear integrable equations share the PT symmetry, i.e., they are all invariant under the parity-time transformation (x → −x, t → −t, i → −i).Note that PT-symmetric non-Hermitian physics has been the subject of intense study and broad interest over the past decades in both classical optics and quantum mechanics (see, e.g., [21]).

Matrix Spectral Problems
We consider a pair of matrix spectral problems: where and are two matrices in the matrix loop algebra so(3, R).In the above matrix spectral problems, λ is a spectral parameter, u = (p, q) T is a potential, φ = (φ 1 , φ 2 , φ 3 ) T is a column eigenfunction, and a l , b l , c l are determined by The coefficients a l , b l , c l are determined by the recursion relation under the integration condition i.e., take the constant of integration as zero, which implies that Such a matrix in so(3, R) solves the stationary zero curvature equation This equation reads which leads to the recursion relation (12).The solution W is the starting point for generating a soliton hierarchy [4,5].
It is direct to see that the zero curvature equation with the above pair of matrix spectral matrices presents a fourth-order integrable system:

Bi-Hamiltonian Structure
We can apply the trace identity [4] with our spectral matrix iU: where the constant γ is determined by [19] to construct the following bi-Hamiltonian structure [22] for the integrable system (18): where the Hamiltonian pair, J and M, is given by and the Hamiltonian functionals, H 1 and H 2 , are defined by and There is more information on how to generate such Hamiltonian structures in the literature (see, e.g., [15]).
The bi-Hamiltonian structure (21) leads to infinitely many symmetries and conservation laws for the integrable system (18), which can often be generated through symbolic computation by computer algebra systems (see, e.g., [23,24]).The operator is a common hereditary [25] recursion operator [26] for the integrable system (18).

Nonlocal Reverse-Space Reductions
Firstly, we consider two specific nonlocal reverse-space reductions for the spectral matrix where † denotes the Hermitian transpose.This pair of reductions leads to the potential reductions p(x, t) = −δq * (−x, t), δ = ±1, respectively.Under these potential reductions, one can have The results in ( 27) can be proved by the mathematical induction.Actually, under the induction assumption for l = n and applying the recursion relation (12), one can compute and further This implies that both of the potential reductions in (26) are compatible with the zero curvature representation (17) of the integrable system (18).Obviously, the reduced nonlocal reverse-space fourth-order integrable equations read where p * denotes the complex conjugate of p.They are PT-symmetric, and present two nonlocal reverse-space PT-symmetric integrable equations of fourth-order associated with Lax pairs from the Lie algebra so(3,R).They inherit Hamiltonian structure from the integrable system (18).The infinitely many symmetries and conservation laws for the integrable system ( 18) are reduced to infinitely many ones for the two scalar nonlocal integrable equations in (30).

Nonlocal Reverse-Time Reductions
Secondly, we consider two specific nonlocal reverse-time reductions for the spectral matrix where T stands for the transpose of a matrix.They yield the potential reductions Under these potential reductions, we can have We can prove these results by the mathematical induction.In fact, under the induction assumption for l = n and using the recursion relation (12), one can make the following computation: = (−1) n+1 a n+1,x (x, t).
Therefore, we obtain and further This implies that both of the potential reductions in (32) are compatible with the zero curvature representation (17) of the integrable system (18).Evidently, the reduced nonlocal reverse-time fourth-order integrable equations read which are PT-symmetric.They present two nonlocal reverse-space PT-symmetric integrable equations of fourth-order associated with Lax pairs from the Lie algebra so(3,R).Both equations inherit Hamiltonian structures from the integrable system (18).The infinitely many symmetries and conservation laws for the integrable system (18) are reduced to infinitely many ones for the two scalar nonlocal integrable equations in (36).

Nonlocal Reverse-Spacetime Reductions
Thirdly, we consider two specific nonlocal reverse-spacetime reductions for the spectral matrix where T stands for the transpose of a matrix again.They generate the potential reductions p(x, t) = δq(−x, −t), δ = ±1. ( Under these potential reductions, one can have We can prove these formulas by the mathematical induction.Actually, under the induction assumption for l = n and applying the recursion relation (12), one can compute = a n+1,x (x, t).
Therefore, one obtains and further This implies that both of the potential reductions in (38) are compatible with the zero curvature representation (17) of the integrable system (18).
It is now easy to see that the reduced nonlocal reverse-time fourth-order integrable equations read which are PT-symmetric.They give rise to two nonlocal reverse-spacetime PT-symmetric integrable equations of fourth-order associated with Lax pairs from the Lie algebra so(3,R).Both equations inherit Hamiltonian structures from the integrable system (18).The infinitely many symmetries and conservation laws for the integrable system (18) are reduced to infinitely many ones for those two scalar nonlocal integrable equations in (42).

Conclusions and Remarks
We have constructed three pairs of scalar nonlocal PT-symmetric integrable equations of the fourth-order, based on the zero curvature formulation, associated with the Lie algebra so(3, R).The presented nonlocal integrable equations inherit bi-Hamiltonian structures and infinitely many commuting symmetries and conservation laws.In each pair of nonlocal reductions, the two resulting nonlocal integrable equations have only a sign difference.This feature for integrable equations associated with so(3, R) is different from the one for integrable equations associated with sl(2, R).In the case of sl(2,R), there are two inequivalent focusing and defocusing integrable reductions.
There are many other interesting problems for both local and nonlocal integrable equations associated with the special orthogonal Lie algebras.For instance, how can one establish general structures of Darboux transformations associated with the special orthogonal Lie algebras, based on general formulations of Darboux transformations associated with the special linear Lie algebras [27,28]?We also do not know how to formulate Riemann-Hilbert problems and construct inverse scattering transforms to solve integrable equations associated with so(3, R).The eigenfunctions of matrix spectral problems associated with those two kinds of Lie algebras exhibit a very different feature of analyticity with respect to the spectral parameter.