<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2018.66113</article-id><article-id pub-id-type="publisher-id">JAMP-85640</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Two New Integrable Hierarchies and Their Nonlinear Integrable Couplings
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Hui</surname><given-names>Chang</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Yuxia</surname><given-names>Li</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>College of Electrical Engineering and Automation, Shandong University of Science and Technology, Qingdao, China</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>changhui2000@126.com(YL)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>06</day><month>06</month><year>2018</year></pub-date><volume>06</volume><issue>06</issue><fpage>1346</fpage><lpage>1362</lpage><history><date date-type="received"><day>15,</day>	<month>May</month>	<year>2018</year></date><date date-type="rev-recd"><day>25,</day>	<month>June</month>	<year>2018</year>	</date><date date-type="accepted"><day>28,</day>	<month>June</month>	<year>2018</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p><html>
 <head></head>
 
  By introducing an invertible linear transform, a new Lie algebra 
  G 
  is
   obtained from the Lie algebra H. Making use of the compatibility condition
  s
   of the respective isospectral problem
  s
  , a generalized NLS-MKdV hierarchy and a new integrable soliton hierarchy are achieved by using the trace identity or the variational identity. Then, two special non-semisimple Lie algebras <img src="Edit_fd9a3a9f-492d-40ad-872b-d23b29cc0cd3.bmp" alt="" />
  
   and <img src="Edit_e6b538f7-28d6-4b10-8b7b-bbfd725e18d7.bmp" alt="" />
  
   are explicitly conducted. As an application, the nonlinear continuous integrable couplings of the obtained integrable systems as well as their bi-Hamiltonian structures are established, respectively.
 
</html></p></abstract><kwd-group><kwd>Non-Semisimple Lie algebra</kwd><kwd> Nonlinear Integrable Coupling</kwd><kwd> Hamiltonian Structure</kwd><kwd> Trace Identity</kwd><kwd> Variational Identity</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Integrable equations are a significant research topic of classical integrable systems. Thereinto, integrable coupling, as an extension of the integrable equation, was formulated and initialized with the clarity of the inner relationship between Virasoro algebras and hereditary operators [<xref ref-type="bibr" rid="scirp.85640-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref2">2</xref>] . A few methods were presented by using perturbations [<xref ref-type="bibr" rid="scirp.85640-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref2">2</xref>] , enlarging spectral problems [<xref ref-type="bibr" rid="scirp.85640-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref5">5</xref>] , creating higher-dimensional loop algebras [<xref ref-type="bibr" rid="scirp.85640-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref7">7</xref>] , constructing a new algebraic system [<xref ref-type="bibr" rid="scirp.85640-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref9">9</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref10">10</xref>] , and making use of semi-direct sums of specific Lie algebras, for instance, the orthogonal Lie algebra s o ( 3, R ) , to construct some soliton hierarchies and their integrable couplings [<xref ref-type="bibr" rid="scirp.85640-ref11">11</xref>] - [<xref ref-type="bibr" rid="scirp.85640-ref16">16</xref>] . Much richer mathematical structures behind integrable couplings were explored, such as Lax pairs with several spectral parameters [<xref ref-type="bibr" rid="scirp.85640-ref17">17</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref18">18</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref19">19</xref>] , integrable constrained flows with higher multiplicity [<xref ref-type="bibr" rid="scirp.85640-ref20">20</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref21">21</xref>] , local bi-Hamiltonian structures in higher dimensions and hereditary recursion operators of higher order [<xref ref-type="bibr" rid="scirp.85640-ref22">22</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref23">23</xref>] . A lot of complex physical phenomena can be explained by all kinds of coupling systems [<xref ref-type="bibr" rid="scirp.85640-ref24">24</xref>] . Therefore, integrable couplings have attracted more and more attention from researchers in engineering and mathematical theory.</p><p>Thereinto, the nonlinear integrable couplings are a charming subject, which can be achieved by using an extended Lie algebra. First, an isospectral problem</p><p>ϕ x = U ϕ ,   U = U ( u ) = e 0 + u 1 e 1 + u 2 e 2 + ⋯ + u s e s , e i , ϕ ∈ A ˜ , (1)</p><p>and its auxiliary condition</p><p>ϕ t = V ( u ) ϕ ,   V = V ( u ) ∈ A ˜ , (2)</p><p>admit a zero curvature equation</p><p>U t = V x − [ U , V ] , (3)</p><p>i.e., a Lax integrable system</p><p>u t = K ( u ) , (4)</p><p>where u = ( u 1 , u 2 , ⋯ , u s ) T , A ˜ is the corresponding loop algebra of a Lie algebra A. Next, take enlarged spectral matrices</p><p>U &#175; = ( U U c 0 U + U c )     and       V &#175; = ( V V c 0 V + V c ) , (5)</p><p>in which U &#175; and V &#175; derive from (1) and (2), respectively, where U c = U c ( v ) ∈ A ˜ , V c = V c ( v ) ∈ A ˜ , v = ( v 1 , v 2 , ⋯ , v p ) T and u &#175; consist of u and v. Then an enlarged zero curvature equation</p><p>U &#175; t = V &#175; x − [ U &#175; , V &#175; ] , (6)</p><p>i.e.,</p><p>{ U t = V x − [ U , V ] , U c , t = V c , x − [ U c , V ] − [ U , V c ] − [ U c , V c ] , (7)</p><p>is a nonlinear integrable coupling of (3), because the commutator [ U c , V c ] can generate nonlinear terms.</p><p>In this paper, a new four-dimensional Lie algebra H is firstly presented, and another one G is obtained through an invertible linear transformation. A generalized NLS-MKdV hierarchy and a new integrable soliton hierarchy are achieved by using the Loop algebras H ˜ and G ˜ of H and G in Section 2. Two special non-semisimple Lie algebras H &#175; and G &#175; are determined programmatically, and its associated nonlinear continuous integrable couplings and their bi-Hamiltonian structures are established in Section 3. Finally, concluding remarks are given, as well as some proposals for the future work.</p></sec><sec id="s2"><title>2. Two New Hamiltonian Hierarchies</title><sec id="s2_1"><title>2.1. Two Lie Algebras</title><p>A Lie algebra H = span { h i } i = 1 4 is presented</p><p>h 1 = ( 1 0 − 1 0 − 2 0 − 1 0 1 ) , h 2 = ( 1 0 1 0 − 2 0 1 0 1 ) , h 3 = ( 0 1 0 1 0 − 1 0 − 1 0 ) , h 4 = ( 0 1 0 − 1 0 1 0 − 1 0 ) , (8)</p><p>with</p><p>[ h 1 , h 2 ] = 0 , [ h 1 , h 3 ] = 4 h 4 , [ h 1 , g h ] = 4 h 3 , [ h 2 , h 3 ] = 2 h 4 , [ h 2 , h 4 ] = 2 h 3 , [ h 3 , h 4 ] = − 2 h 1 . (9)</p><p>An invertible linear transformation can be established as follows:</p><p>L : H → G , g i = ∑ i = 1 4   B h i     and     B = ( b i j ) 4 &#215; 4 ,   det   ( B ) ≠ 0 , (10)</p><p>Specially, taking</p><p>B = ( 1 0 0 0 1 2 − 1 2 0 0 0 0 1 2 1 2 0 0 1 2 − 1 2 ) ,   ( g 1 , g 2 , g 3 , g 4 ) T = B ( h 1 , h 2 , h 3 , h 4 ) T , (11)</p><p>results in a new Lie algebra G = span { g i } i = 1 4 , where</p><p>g 1 = ( 1 0 − 1 0 − 2 0 − 1 0 1 ) , g 2 = ( 0 0 − 1 0 0 0 − 1 0 0 ) , g 3 = ( 0 1 0 0 0 0 0 − 1 0 ) , g 4 = ( 0 0 0 1 0 − 1 0 0 0 ) , (12)</p><p>equipped with</p><p>[ g 1 , g 2 ] = 0 , [ g 1 , g 3 ] = 4 g 3 , [ g 1 , g 4 ] = − 4 g 4 , [ g 2 , g 3 ] = g 3 , [ g 2 , g 4 ] = − g 4 , [ g 3 , g 4 ] = g 1 . (13)</p><p>In what follows, the corresponding loop algebras H ˜ and G ˜ of the Lie algebras H and G are introduced, respectively. Let H ˜ = { h | h ∈ C [ λ ] ⊗ H } , G ˜ = { g | g ∈ C [ λ ] ⊗ G } , where a loop algebra C [ λ ] ⊗ H is defined by span { λ k n + i h | n ∈ Z , k , i ∈ N , h ∈ H } and C [ λ ] ⊗ G is homoplastically defined by span { λ k n + i g | n ∈ Z , k , i ∈ N , h ∈ H } , C [ λ ] represents a set of Laurent polynomials in λ . Taking h j ( n , i ) = h j λ k n + i , j = 1 , 2 , 3 , 4 , the commutator relations of H ˜ are</p><p>{ [ h 1 ( m , i ) , h 2 ( n , j ) ] = 0 ,   [ h 1 ( m , i ) , h 3 ( n , j ) ] = 4 h 4 ( ε i , j , δ i , j ) , [ h 1 ( m , i ) , h 4 ( n , j ) ] = 4 h 3 ( ε i , j , δ i , j ) ,   [ h 2 ( m , i ) , h 3 ( n , j ) ] = 2 h 4 ( ε i , j , δ i , j ) , [ h 2 ( m , i ) , h 4 ( n , j ) ] = 2 h 3 ( ε i , j , δ i , j ) ,   [ h 3 ( m , i ) , h 4 ( n , j ) ] = − 2 h 1 ( ε i , j , δ i , j ) , ε i , j = { m + n , i + j &lt; k , m + n + 1 , i + j &gt; k ,     δ i , j = { i + j , i + j &lt; k , i + j − k , i + j &gt; k . (14)</p><p>Similarly, the commutator relations of the loop algebra G ˜ have</p><p>{ [ g 1 ( m , i ) , g 2 ( n , j ) ] = 0 ,   [ g 1 ( m , i ) , g 3 ( n , j ) ] = 4 g 3 ( ε i , j , δ i , j ) , [ g 1 ( m , i ) , g 4 ( n , j ) ] = − 4 g 4 ( ε i , j , δ i , j ) ,   [ g 2 ( m , i ) , g 3 ( n , j ) ] = g 3 ( ε i , j , δ i , j ) , [ g 2 ( m , i ) , g 4 ( n , j ) ] = − g 4 ( ε i , j , δ i , j ) ,   [ g 3 ( m , i ) , g 4 ( n , j ) ] = g 1 ( ε i , j , δ i , j ) , ε i , j = { m + n , i + j &lt; k , m + n + 1 , i + j &gt; k     δ i , j = { i + j , i + j &lt; k , i + j − k , i + j &gt; k . (15)</p><p>Note that the commutator operations in loop algebras G ˜ and W ˜ are closed. In the following section, one endeavor to deduce two soliton hierarchies by using the two Lie algebras.</p></sec><sec id="s2_2"><title>2.2. Two New Integrable Hierarchies</title><sec id="s2_2_1"><title>2.2.1. Generalized NLS-MKdV Hierarchy</title><p>Let k = 1 , i = 0 , H ˜ is reduced to the simplest loop algebra</p><p>H 1 ˜ = s p a n { h j ( n ) } j = 1 4</p><p>where h j ( n ) = h j λ n . Considering the spectral matrix</p><p>φ x = U φ ,   U = h 2 ( 1 ) + q h 1 ( 0 ) + r h 3 ( 0 ) + s h 4 ( 0 ) , (16)</p><p>and setting</p><p>W = ∑ m ≥ 0 ( a m h 1 ( − m ) + b m h 3 ( − m ) + c m h 4 ( − m ) ) , (17)</p><p>the stationary zero curvature equation</p><p>W x = [ U , W ] , (18)</p><p>admits the recurrence relations for W as follows:</p><p>{ a m x = − 2 r c m + 2 s b m , b m x = 2 c m + 1 + 4 q c m − 4 s a m , c m x = 2 b m + 1 + 4 q b m − 4 r a m . (19)</p><p>Note that</p><p>V + ( n ) = ( λ n W ) + = ∑ m = 0 n ( a m h 1 ( n − m ) + b m h 3 ( n − m ) + c m h 4 ( n − m ) ) , V − ( n ) = λ n W − V + ( n ) .</p><p>Then (18) can be reset below:</p><p>− V + x ( n ) + [ U , V + ( n ) ] = V − x ( n ) − [ U , V − ( n ) ] . (20)</p><p>A direct calculation has − V + x ( n ) + [ U , V + ( n ) ] = 2 c n + 1 h 3 ( 0 ) + 2 b n + 1 h 4 ( 0 ) . Taking V ( n ) = V + ( n ) + Δ n , Δ n = a n + 1 h 1 ( 0 ) , the zero curvature equation</p><p>U t = V x ( n ) − [ U , V ( n ) ] , (21)</p><p>leads to the following integrable hierarchy</p><p>{ r x = − 2 c n + 1 + 4 s a n + 1 , s x = − 2 b n + 1 + 4 r a n + 1 , q x = a n + 1 x , (22)</p><p>that is</p><p>u t = ( r s q ) t = J ( b n + 1 − c n + 1 2 a n + 1 ) = J L ( b n − c n 2 a n ) , J = ( 0 2 2 s − 2 0 2 r − 2 s − 2 r 0 ) , (23)</p><p>where</p><p>L = ( − 2 q + 4 r ∂ − 1 s − ∂ 2 + 4 r ∂ − 1 r 0 − ∂ 2 − 4 s ∂ − 1 s − 2 q − 4 s ∂ − 1 r 0 − 1 2 ∂ − 1 r ∂ − 8 ∂ − 1 s q 2 ∂ − 1 s ∂ − 8 ∂ − 1 r q 0 ) = ( − 2 q ∂ 2 r − ∂ 2 − 2 q − s l 31 l 32 0 ) , (24)</p><p>and l 31 = − 1 2 ∂ − 1 r ∂ − 8 ∂ − 1 s q , l 32 = 2 ∂ − 1 s ∂ − 8 ∂ − 1 r q .</p><p>Taking q = 0 and the modified term Δ n = 0 , the system (23) reduces to the NLS-MKTV hierarchy [<xref ref-type="bibr" rid="scirp.85640-ref25">25</xref>] . Therefore, (23) is named a generalized NLS-MKdV hierarchy.</p></sec><sec id="s2_2_2"><title>2.2.2. A New Integrable Hierarchy</title><p>Letting k = 1 , i = 0 of G ˜ results in a loop algebra G 1 ˜ = span { g j ( n ) } j = 1 4 , d e g ( g j ( n ) ) = n , n ∈ N . Considering the following spectral</p><p>φ 1 x = U 1 φ 1 ,   U 1 = g 2 ( 1 ) + q 1 g 1 ( 0 ) + r 1 g 3 ( 0 ) + s 1 g 4 ( 0 ) , (25)</p><p>and setting</p><p>W 1 = ∑ m ≥ 0 ( a m g 1 ( − m ) + b m g 3 ( − m ) + c m g 4 ( − m ) ) , (26)</p><p>the stationary zero curvature W 1 x = [ U 1 , W 1 ] admits the recurrence relations</p><p>{ a m x = r 1 c m − s 1 b m , b m x = b m + 1 + 4 q 1 b m − 4 r 1 a m , c m x = − c m + 1 − 4 q 1 c m + 4 s 1 a m . (27)</p><p>Note that V 1 + ( n ) = ( λ n W 1 ) + = ∑ m = 0 n ( a m g 1 ( n − m ) + b m g 3 ( n − m ) + c m g 4 ( n − m ) ) , and taking V 1 ( n ) = ( λ n W 1 ) + + Δ n 1 , Δ n 1 = a n + 1 g 1 ( 0 ) , the zero curvature equation U 1 t = V 1 x ( n ) − [ U 1 , V 1 ( n ) ] leads to the integrable hierarchy</p><p>u 1 t = ( r 1 s 1 q 1 ) t = ( − 2 c n + 1 + 4 s 1 a n + 1 − 2 b n + 1 + 4 r 1 a n + 1 a n + 1 x ) = J 1 ( c n + 1 b n + 1 4 a n + 1 ) = J 1 L 1 ( c n b n 4 a n ) , (28)</p><p>where</p><p>J 1 = ( 0 − 1 r 1 1 0 − s 1 − r 1 s 1 ∂ 2 ) ,   L 1 = ( − ∂ − 2 q 1 0 s 1 0 ∂ − 2 q 1 r 1 − 4 ∂ − 1 r 1 ∂ + 16 ∂ − 1 r 1 q 1 − 4 ∂ − 1 s 1 ∂ + 16 ∂ − 1 s 1 q 1 8 ∂ − 1 r 1 s 1 ) . (29)</p></sec></sec><sec id="s2_3"><title>2.3. Bi-Hamiltonian Structures of (23) and (28)</title><p>In this section, the bi-Hamiltonian structures of soliton hierarchies (23) and (28) are established. Firstly, the bi-Hamiltonian structure of (23) is obtained by applying the trace identity.</p><p>Letting</p><p>V = ( a b + c − a b − c − 2 a − b + c − a − b − c a ) , a = ∑ n ≥ 0   a n λ n , b = ∑ n ≥ 0   b n λ n , c = ∑ n ≥ 0   c n λ n , (30)</p><p>the bilinear forms 〈 V , U λ 〉 = 4 a , 〈 V , U r 〉 = 4 b , 〈 V , U s 〉 = − 4 c , 〈 V , U q 〉 = 8 a can be obtained by the calculation of 〈 A , B 〉 = tr ( A B ) (A and B are square matrices). Substituting these results into the trace identity</p><p>( ∂ / ∂ u i ) 〈 V , U λ 〉 = ( λ − γ ( ∂ / ∂ λ ) λ γ ) 〈 V , U u i 〉 results in</p><p>δ δ u ( 4 a ) = λ − γ ∂ ∂ λ λ γ ( 4 b , − 4 c ,8 a ) T . (31)</p><p>Comparing of the coefficients of λ − n − 1 these both sides of the above equations, one has</p><p>δ δ u ( a n + 1 ) = λ − γ ∂ ∂ λ λ γ ( b n , − c n ,2 a n ) T . (32)</p><p>To fix the γ , taking n = 1 into (32) results in γ = 0 . Therefore, the bi-Hamiltonian structure of (23) can be obtained below:</p><p>u t = ( r , s , q ) t T = J δ H n + 1 δ u = J L δ H n δ u       where   , H n + 1 = a n + 2 n + 1 . (33)</p><p>It is easy to prove J L = L * J . Therefore, the hierarchy (33) is integrable in the Liouville sense.</p><p>Next, the bi-Hamiltonian structure of (28) is derived by using the trace identity. Letting</p><p>V 1 = ( a b − a c − 2 a − c − a − b a ) , a = ∑ n ≥ 0   a n λ n , b = ∑ n ≥ 0   b n λ n , c = ∑ n ≥ 0   c n λ n , (34)</p><p>the bilinear forms 〈 V 1 , U 1 λ 〉 = 2 a , 〈 V 1 , U 1 r 〉 = 2 c , 〈 V 1 , U 1 s 〉 = 2 b , 〈 V 1 , U 1 q 〉 = 8 a are computed, and δ δ u ( 2 a ) = λ − γ ∂ ∂ λ λ γ ( 2 c ,2 b ,8 a ) T can be obtained similarly.</p><p>Comparing the coefficients of λ − n − 1 in the both side of the above equation yields</p><p>δ δ u ( a n + 1 ) = λ − γ ∂ ∂ λ λ γ ( c n , b n ,4 a n ) T . (35)</p><p>To fix the γ , substituting n = 1 into (35) results in γ = 0 . Therefore, the bi-Hamiltonian structure of (28) can be established as follows:</p><p>u t = ( r 1 , s 1 , q 1 ) t T = J 1 δ H n + 1 δ u = J 1 L 1 δ H n δ u ,       where , H n + 1 = a n + 2 n + 1 . (36)</p><p>It is easy to prove J 1 L 1 = L 1 * J 1 . Therefore, the hierarchy (36) is integrable in the Liouville sense.</p></sec></sec><sec id="s3"><title>3. Nonlinear Integrable Couplings of Soliton Hierarchies</title><sec id="s3_1"><title>3.1. Extension of Lie Algebras</title><p>Letting H &#175; = span { h &#175; i } i = 1 6 , it is an extension of the Lie algebra H, where</p><p>h &#175; 1 = ( h 1 0 0 h 1 ) , h &#175; 2 = ( h 2 0 0 h 2 ) , h &#175; 3 = ( h 3 0 0 h 3 ) , h &#175; 4 = ( h 4 0 0 h 4 ) , h &#175; 5 = ( 0 h 1 0 h 1 ) , h &#175; 6 = ( 0 h 2 0 h 2 ) , h &#175; 7 = ( 0 h 3 0 h 3 ) , h &#175; 8 = ( 0 h 4 0 h 4 ) . (37)</p><p>Taking H &#175; 1 = span { h &#175; 1 , h &#175; 2 , h &#175; 3 , h &#175; 4 } , H &#175; 2 = span { h &#175; 5 , h &#175; 6 , h &#175; 7 , h &#175; 8 } yields</p><p>H &#175; = H &#175; 1 ⊕ H &#175; 2 ,   H &#175; 1 ≅ H &#175; 2 ≅ H ,   [ H &#175; 1 , H &#175; 2 ] ⊆ H &#175; 2 , (38)</p><p>which is a critical factor for generating nonlinear integrable couplings of integrable hierarchies. In order to seek a nonlinear integrable coupling of (23), a loop algebra of the Lie algebra H &#175; reads</p><p>H &#175; ˜ = span { h &#175; i ( n ) | h &#175; i ( n ) = λ n h &#175; i , n ∈ Z , h &#175; i ∈ H &#175; , i = 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 }</p><p>Similarly, letting G &#175; = span { g &#175; i } i = 1 6 , where</p><p>g &#175; 1 = ( g 1 0 0 g 1 ) , g &#175; 2 = ( g 2 0 0 g 2 ) , g &#175; 3 = ( g 3 0 0 g 3 ) , g &#175; 4 = ( g 4 0 0 g 4 ) , g &#175; 5 = ( 0 g 1 0 g 1 ) , g &#175; 6 = ( 0 g 2 0 g 2 ) , g &#175; 7 = ( 0 g 3 0 g 3 ) , g &#175; 8 = ( 0 g 4 0 g 4 ) . (39)</p><p>Taking G &#175; 1 = span { g &#175; 1 , g &#175; 2 , g &#175; 3 , g &#175; 4 } , G &#175; 2 = span { g &#175; 5 , g &#175; 6 , g &#175; 7 , g &#175; 8 } results in</p><p>G &#175; = G &#175; 1 ⊕ G &#175; 2 , G &#175; 1 ≅ G &#175; 2 ≅ G , [ G &#175; 1 , G &#175; 2 ] ⊆ G &#175; 2 . (40)</p><p>And G &#175; ˜ = span { g &#175; i ( n ) | g &#175; i ( n ) = λ n g &#175; i , n ∈ Z , g &#175; ∈ G &#175; , i = 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 } is the corresponding loop algebra of G &#175; , which is enslaved to derive a integrable coupling of (28).</p></sec><sec id="s3_2"><title>3.2. Nonlinear Continuous Integrable Couplings</title><sec id="s3_2_1"><title>3.2.1. Nonlinear Integrable Coupling of the Generalized NLS-MKdV Hierarchy</title><p>An enlarged spectral matrix associated with the loop algebra H &#175; ˜ is introduced as follows:</p><p>φ &#175; x = U &#175; φ &#175; , U &#175; = ( U U c 0 U + U c ) , U c = ( p u + v − p u − v − 2 p − u + v − p − u − v p ) , (41)</p><p>i.e. U &#175; = h &#175; 2 ( 1 ) + q h &#175; 1 ( 0 ) + r h &#175; 3 ( 0 ) + s h &#175; 4 ( 0 ) + p h &#175; 5 ( 0 ) + u h &#175; 7 ( 0 ) + v h &#175; 8 ( 0 ) , where U is defined by (16). Assume that</p><p>W &#175; = ∑ m ≥ 0 ( a m h &#175; 1 ( − m ) + b m h &#175; 3 ( − m ) + c m h &#175; 4 ( − m ) + d m h &#175; 5 ( − m ) + e m h &#175; 7 ( − m ) + f m h &#175; 8 ( − m ) ) ,</p><p>the stationary zero curvation W &#175; x = [ U &#175; , W &#175; ] admits the recurrence relations</p><p>{ a m x = − 2 r c m + 2 s b m , b m x = 2 c m + 1 + 4 q c m − 4 s a m , c m x = 2 b m + 1 + 4 q b m − 4 r a m , d m x = − 2 ( r + u ) f m + 2 v b m − 2 u c m + 2 ( s + v ) e m , e m x = 2 f m + 1 − 4 ( s + v ) d m + 4 ( p + q ) f m + 4 p c m − 4 v a m , f m x = 2 m + 1 − 4 ( r + u ) d m + 4 ( p + q ) e m + 4 p b m − 4 u a m . (42)</p><p>Choosing the initial values as a 0 = α = c o n s t ≠ 0 , d 0 = β = c o n s t ≠ 0 , b 0 = c 0 = e 0 = f 0 = 0 , and presuming a m | u &#175; = 0 = b m | u &#175; = 0 = c m | u &#175; = 0 = d m | u &#175; = 0 = e m | u &#175; = 0 = f m | u &#175; = 0 = 0 , (42) uniquely yields all differential polynomial functions a m , b m , c m , d m , e m and f m , m ≥ 0 . The first few sets are</p><p>{ b 1 = 2 α r , c 1 = 2 α s , a 1 = 0 ; b 2 = α s x − 4 α q r , c 2 = α r x − 4 α q s , a 2 = α ( s 2 − r 2 ) ; b 3 = 1 2 α r x x − 2 α ( q s ) x − 2 α q s x + 8 α q 2 r + 2 α r ( s 2 − r 2 ) , c 3 = 1 2 α s x x − 2 α ( q r ) x − 2 α q r x + 8 α q 2 s + 2 α s ( s 2 − r 2 ) , a 3 = α ( s r x − r s x ) − 4 α q ( s 2 − r 2 ) ; d 1 = 0 , e 1 = 2 α u + 2 β ( r + u ) , f 1 = 2 α v + 2 β ( s + v ) ; e 2 = α v x + β ( s + v ) x − 4 α u ( p + q ) − 4 β ( r + u ) ( p + q ) − 4 α p r , f 2 = α u x + β ( r + u ) x − 4 α v ( p + q ) − 4 β ( s + v ) ( p + q ) − 4 α p s , d 2 = 2 α ( s v − r u ) + α ( v 2 − u 2 ) + β ( s + v ) 2 − β ( r + u ) 2 ; e 3 = α [ 1 2 u x x − 8 r q 2 − 2 r ( s 2 − r 2 ) + 4 s x q + 2 s q x ] + 1 2 β ( r + u ) x x             − 2 ( α + β ) [ ( s + v ) ( p + q ) ] x − 2 ( α + β ) ( s + v ) x ( p + q )               + 2 ( α + β ) ( r + u ) [ 4 ( p + q ) 2 − ( r + u ) 2 + ( s + v ) 2 ] , f 3 = α [ 1 2 v x x − 8 s q 2 − 2 s ( s 2 − r 2 ) + 4 r x q + 2 r q x ] + 1 2 β ( s + v ) x x               − 2 ( α + β ) [ ( r + u ) ( p + q ) ] x − 2 ( α + β ) ( r + u ) x ( p + q )               + 2 ( α + β ) ( s + v ) [ 4 ( p + q ) 2 + ( s + v ) 2 − ( r + u ) 2 ] , d 3 = α ( s u x − s x u + v u x − v x u + v r x − v x r ) + β ( r + u ) x ( s + v ) − β ( r + u ) ( s + v ) x       + 4 ( α + β ) ( r + u ) 2 ( p + q ) − 4 ( α + β ) ( s + v ) 2 ( p + q ) + 4 α q ( s 2 − r 2 ) . (43)</p><p>Note that</p><p>V &#175; + ( n ) = ( λ n W &#175; ) + = ∑ m = 0 n ( a m h &#175; 1 ( n − m ) + b m h &#175; 3 ( n − m ) + c m h &#175; 4 ( n − m )                                                 + d m h &#175; 5 ( n − m ) + e m h &#175; 7 ( n − m ) + f m h &#175; 8 ( n − m ) ) . (44)</p><p>A direct calculation reads</p><p>− V &#175; + x ( n ) + [ U &#175; , V &#175; + ( n ) ] = 2 c n + 1 h &#175; 3 ( 0 ) + 2 b n + 1 h &#175; 4 ( 0 ) + 2 e n + 1 h &#175; 7 ( 0 ) + 2 b n + 1 h &#175; 8 ( 0 ) .</p><p>Taking V &#175; ( n ) = V &#175; + ( n ) + Δ &#175; n , Δ &#175; n = a n + 1 h &#175; 1 ( 0 ) + d n + 1 h &#175; 5 ( 0 ) , the zero curvature equation</p><p>U &#175; t = V &#175; x ( n ) − [ U &#175; , V &#175; ( n ) ] , (45)</p><p>leads to the following integrable hierarchy</p><p>u &#175; t = ( r s q u v p ) t = ( − 2 c n + 1 + 4 s a n + 1 − 2 b n + 1 + 4 r a n + 1 a n + 1 x − 2 f n + 1 + 4 r a n + 1 + 4 s d n + 1 + 4 v d n + 1 − 2 e n + 1 + 4 u a n + 1 + 4 r d n + 1 + 4 u d n + 1 d n + 1 x ) . (46)</p><p>If u = v = p = 0 , the system (46) is reduced to (23). According to the concept of nonlinear integrable couplings [<xref ref-type="bibr" rid="scirp.85640-ref26">26</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref27">27</xref>] [<xref ref-type="bibr" rid="scirp.85640-ref28">28</xref>] , (46) is a nonlinear integrable coupling of (23).</p></sec><sec id="s3_2_2"><title>3.2.2. Nonlinear Integrable Coupling of the Hierarchy (28)</title><p>An enlarged spectral matrix associated with the loop algebra g &#175; ˜ is given below:</p><p>φ &#175; x = U &#175; 1 φ &#175; , U &#175; 1 = ( U 1 U 1 a 0 U 1 + U 1 a ) , U 1 a = ( p 1 u 1 − p 1 − v 1 − 2 p 1 v 1 − p 1 − u 1 p 1 ) , (47)</p><p>that is,</p><p>U &#175; 1 = g &#175; 2 ( 1 ) + q 1 g &#175; 1 ( 0 ) + r 1 g &#175; 3 ( 0 ) + s 1 g &#175; 4 ( 0 ) + p 1 g &#175; 5 ( 0 ) + u 1 g &#175; 7 ( 0 ) + v 1 g &#175; 8 (0)</p><p>where U 1 is defined by (25). Assume that</p><p>W &#175; 1 = ∑ m ≥ 0 ( a m g &#175; 1 ( − m ) + b m g &#175; 3 ( − m ) + c m g &#175; 4 ( − m )     + d m g &#175; 5 ( − m ) + e m g &#175; 7 ( − m ) + f m g &#175; 8 ( − m ) ) ,</p><p>the stationary zero curvature equation W &#175; 1 x = [ U &#175; 1 , W &#175; 1 ] admits the recurrence relations</p><p>{ a m x = r 1 c m − s 1 b m , b m x = b m + 1 + 4 q 1 b m − 4 r 1 a m , c m x = − c m + 1 − 4 q 1 c m + 4 s 1 a m , d m x = ( r 1 + u 1 ) f m − v 1 b m + u 1 c m − ( s 1 + v 1 ) e m , e m x = e m + 1 − 4 ( r 1 + u 1 ) d m + 4 ( p 1 + q 1 ) e m + 4 p 1 b m − 4 u 1 a m , f m x = − f m + 1 − 4 ( s 1 + v 1 ) d m − 4 ( p 1 + q 1 ) f m − 4 p 1 c m + 4 v 1 a m . (48)</p><p>Choosing the initial data as a 0 = α = c o n s t ≠ 0 , d 0 = β = c o n s t ≠ 0 , b 0 = c 0 = e 0 = f 0 = 0 , and presuming a m | u &#175; 1 = 0 = b m | u &#175; 1 = 0 = c m | u &#175; 1 = 0 = d m | u &#175; 1 = 0 = e m | u &#175; 1 = 0 = f m | u &#175; 1 = 0 = 0 , the above-mentioned recursion relation uniquely engenders all differential polynomial functions a m , b m , c m , d m , e m and f m , m ≥ 0 . The first few sets are listed as follows:</p><disp-formula id="scirp.85640-formula3"><label>(49)</label><graphic position="anchor" xlink:href="//html.scirp.org/file/17-1721238x158.png"  xlink:type="simple"/></disp-formula><p>Note that</p><p>V &#175; 1 + ( n ) = ( λ n W &#175; 1 ) + = ∑ m = 0 n ( a m g &#175; 1 ( n − m ) + b m g &#175; 3 ( n − m ) + c m g &#175; 4 ( n − m )                                                 + d m g &#175; 5 ( n − m ) + e m g &#175; 7 ( n − m ) + f m g &#175; 8 ( n − m ) ) . (50)</p><p>A direct calculation reads</p><p>− V &#175; 1 + x ( n ) + [ U &#175; 1 , V &#175; 1 + ( n ) ] = − b n + 1 g &#175; 3 ( 0 ) + c n + 1 g &#175; 4 ( 0 ) − e n + 1 g &#175; 7 ( 0 ) + f n + 1 g &#175; 8 ( 0 ) .</p><p>Taking V &#175; 1 ( n ) = V &#175; 1 + ( n ) + Δ &#175; n 1 , Δ &#175; n 1 = a n + 1 g &#175; 1 ( 0 ) + d n + 1 g &#175; 5 ( 0 ) , the zero curvature equation</p><p>U &#175; 1 t = V &#175; 1 x ( n ) − [ U &#175; 1 , V &#175; 1 ( n ) ] , (51)</p><p>leads to the following integrable hierarchy</p><p>u 1 t = ( r 1 s 1 q 1 u 1 v 1 p 1 ) t = ( − b n + 1 + 4 r 1 a n + 1 c n + 1 + 4 s 1 a n + 1 a n + 1 , x − e n + 1 + 4 u 1 a n + 1 + 4 r 1 d n + 1 + 4 u 1 d n + 1 f n + 1 − 4 v 1 a n + 1 − 4 s 1 d n + 1 − 4 v 1 d n + 1 d n + 1 , x ) . (52)</p><p>If u 1 = v 1 = p 1 = 0 , (52) is reduced to (28), and (52) is a nonlinear integrable coupling of (28).</p></sec></sec><sec id="s3_3"><title>3.3. Bi-Hamiltonian Structures of Nonlinear Integrable Couplings</title><sec id="s3_3_1"><title>3.3.1. Bilinear Forms</title><p>In this section, the bi-Hamiltonian structures of the nonlinear integrable couplings of the generalized NLS-MKdV hierarchy (23) and the new integrable hierarchy (28) can be established. In order to achieve this target, two non-degenerate, symmetric and ad-invariant bilinear forms on two Lie algebras H &#175; and G &#175; are introduced. First of all, an isomorphic mapping σ between the Lie algebra H &#175; and a vector space R<sup>8</sup> is established that</p><p>σ : H &#175; → R 8 , A ↦ ( a 1 , a 2 , ⋯ , a 8 ) , A = ∑ i = 1 8   a i h &#175; i , (53)</p><p>which imports a Lie algebraic system on R<sup>8</sup>. The corresponding commutator [ . ,. ] on R<sup>8</sup> is given by</p><p>[ a , b ] 1 R 8 T = σ [ A 1 , B 1 ] H &#175; = a T R 1 ( b ) , (54)</p><p>where a , b ∈ R 8 , A 1 , B 1 ∈ H &#175; ,</p><p>R 1 ( b ) = ( 0 0 4 b 4 4 b 3 0 0 4 b 8 4 b 7 0 0 2 b 4 2 b 3 0 0 2 b 8 2 b 7 − 2 b 4 0 0 − 4 b 1 − 2 b 2 − 2 b 8 0 0 − 4 b 5 − 2 b 6 2 b 3 0 − 4 b 1 − 2 b 2 0 2 b 7 0 − 4 b 5 − 2 b 6 0 0 0 0 0 0 0 4 b 4 + 4 b 8 4 b 3 + 4 b 7 0 0 0 0 0 0 2 b 4 + 2 b 8 2 b 3 + 2 b 7 0 0 0 0 − 2 b 4 − 2 b 8 0 0 b 78 0 0 0 0 2 b 3 + 2 b 7 0 b 87 0 ) (55)</p><p>is a square matrix and b 78 = − 4 b 1 − 2 b 2 − 4 b 5 − 2 b 6 , b 87 = − 4 b 1 − 2 b 2 − 4 b 5 − 2 b 6 . The bilinear form 〈 a , b 〉 = a T F 1 b on R<sup>8</sup> is determined. Simultaneously, F 1 T = F 1 and</p><p>( R 1 ( b ) F 1 ) T = − R 1 ( b ) F 1 ,     for   all   b ∈ R 8 (56)</p><p>are ascertained in accordance with the symmetric property 〈 a , b 〉 = 〈 b , a 〉 , and the ad-invariance property 〈 a , [ b , c ] 〉 = 〈 [ a , b ] , c 〉 , where F 1 is an 8 &#215; 8 constant matrix. Solving the matrix Equation (56) yields</p><p>F 1 = ( 2 η 1 η 1 0 0 2 η 2 η 2 0 0 η 1 0 0 0 η 2 0 0 0 0 0 η 1 0 0 0 η 2 0 0 0 0 − η 1 0 0 0 − η 2 2 η 2 η 2 0 0 2 η 2 η 2 0 0 η 2 0 0 0 η 2 0 0 0 0 0 η 2 0 0 0 η 2 0 0 0 0 − η 2 0 0 0 − η 2 ) , (57)</p><p>where η 1 and η 2 are arbitrary constants, and ( η 1 − η 2 ) η 2 ≠ 0 . Thus, a bilinear form is defined on the Lie algebra H &#175; by</p><p>〈 A 1 , B 1 〉 H &#175; = 〈 σ − 1 ( A 1 ) , σ − 1 ( B 1 ) 〉 R 8 = a T F 1 b = η 1 [ ( 2 a 1 + a 2 ) b 1 + a 1 b 2 + a 3 b 3 − a 4 b 4 ] + η 2 ( 2 a 5 b 1     + a 6 b 1 + a 5 b 2 + a 7 b 3 − a 8 b 4 + ( 2 a 1 + a 2 + 2 a 5 + a 6 ) b 5     + ( a 1 + a 5 ) b 6 + ( a 3 + a 7 ) b 7 − ( a 4 + a 8 ) b 8 ) . (58)</p><p>Similarly, an isomorphic mapping ρ is established between the Lie algebra G &#175; and a vector space R<sup>8</sup>:</p><p>ρ : G &#175; → R 8 , A ↦ ( a 1 , a 2 , ⋯ , a 8 ) , A = ∑ i = 1 8   a i g &#175; i . (59)</p><p>The corresponding commutator [ . ,. ] on R<sup>8</sup> is given by</p><p>[ a , b ] 2 R 8 T = ρ [ A 2 , B 2 ] = a T R 2 ( b ) , (60)</p><p>where a , b ∈ R 8 , A 2 , B 2 ∈ G &#175; and R 2 ( b ) is a square matrix</p><p>R 2 ( b ) = ( 0 0 4 b 3 − 4 b 4 0 0 4 b 7 − 4 b 8 0 0 b 3 − b 4 0 0 b 7 − b 8 b 4 0 − 4 b 1 − b 2 0 b 8 0 − 4 b 5 − b 6 0 − b 3 0 0 4 b 1 + b 2 − b 7 0 0 4 b 5 + b 6 0 0 0 0 0 0 4 b 3 + 4 b 7 − 4 b 4 − 4 b 8 0 0 0 0 0 0 b 3 + b 7 − b 4 − b 8 0 0 0 0 b 4 + b 8 0 b 77 0 0 0 0 0 − b 3 − b 7 0 0 b 88 ) , (61)</p><p>and b 77 = − 4 b 1 − b 2 − 4 b 5 − b 6 , b 88 = 4 b 1 + b 2 + 4 b 5 + b 6 . According to F 2 T = F 2 , solving the matrix equation ( R 2 ( b ) F 2 ) T = − R 2 ( b ) F 2 results in</p><p>F 2 = ( 2 ζ 1 ζ 1 0 0 2 ζ 2 ζ 2 0 0 ζ 1 0 0 0 ζ 2 0 0 0 0 0 0 ζ 1 0 0 0 ζ 2 0 0 ζ 1 0 0 0 ζ 2 0 2 ζ 2 ζ 2 0 0 2 ζ 2 ζ 2 0 0 ζ 2 0 0 0 ζ 2 0 0 0 0 0 0 ζ 2 0 0 0 ζ 2 0 0 ζ 2 0 0 0 ζ 2 0 ) , (62)</p><p>where ζ 1 and ζ 2 are arbitrary constants, and ( ζ 1 − ζ 2 ) ζ 2 ≠ 0 . Therefore, a bilinear form</p><p>〈 A 2 , B 2 〉 G &#175; = 〈 ρ − 1 ( A 2 ) , ρ − 1 ( B 2 ) 〉 R 8 = a T F 2 b = ζ 1 [ ( 4 a 1 + a 2 ) b 1 + a 1 b 2 + a 4 b 3 + a 3 b 4 ] + ζ 2 ( 4 a 5 b 1     + a 6 b 1 + a 5 b 2 + a 8 b 3 + a 7 b 4 + ( 4 a 1 + a 2 + 4 a 5 + a 6 ) b 5     + ( a 1 + a 5 ) b 6 + ( a 4 + a 8 ) b 7 + ( a 3 + a 7 ) b 8 ) (63)</p><p>is defined on the Lie algebra G &#175; , where A 2 = ∑ i = 1 8   a i g &#175; i , B 2 = ∑ i = 1 8   b i g &#175; i , a , b ∈ G &#175; .</p><p>Obviously, the bilinear forms (58) and (63) are non-degenerate, symmetric and ad-invariant associated with the Lie product.</p></sec><sec id="s3_3_2"><title>3.3.2. Bi-Hamiltonian Structures of the Integrable Hierarchies (46) and (52)</title><p>Let</p><p>V &#175; = ( V V a 0 V + V a ) , d = ∑ n ≥ 0   d n λ n , e = ∑ n ≥ 0   e n λ n , f = ∑ n ≥ 0   f n λ n , (64)</p><p>where V a = ( d e + f − d e − f − 2 d − e + f − d − e − f d ) , V is defined by (30). The bilinear forms</p><p>can be calculated according to (58), as follows:</p><p>〈 V &#175; , U &#175; λ 〉 = η 1 a + η 2 d , 〈 V &#175; , U &#175; r 〉 = η 1 b + η 2 e , 〈 V &#175; , U &#175; s 〉 = − η 1 c − η 2 f , 〈 V &#175; , U &#175; q 〉 = 2 η 1 a + 2 η 2 d , 〈 V &#175; , U &#175; u 〉 = η 2 ( b + e ) , 〈 V &#175; , U &#175; v 〉 = − η 2 ( c + f ) , 〈 V &#175; , U &#175; p 〉 = 2 η 2 ( a + d ) , (65)</p><p>where U &#175; is defined by (41). Substituting (65) into the Variational identity [<xref ref-type="bibr" rid="scirp.85640-ref27">27</xref>] , and comparing the coefficients of λ − n − 1 yields</p><p>δ δ u &#175; ∫ ( η 1 a n + 1 + η 2 d n + 1 ) d x = ( − n + γ ) ( η 1 b n + η 2 e n − ( η 1 c n + η 2 f n ) 2 η 1 a n + 2 η 2 d n η 2 ( b n + e n ) − η 2 ( c n + f n ) 2 η 2 ( a n + d n ) ) . (66)</p><p>It is easy to see γ = 0 . The adjoint symmetrical function of system (46) reads</p><p>( η 1 b n + η 2 e n − ( η 1 c n + η 2 f n ) 2 η 1 a n + 2 η 2 d n η 2 ( b n + e n ) − η 2 ( c n + f n ) 2 η 2 ( a n + d n ) ) ≡ δ H n δ u &#175; ,   where   H n = δ δ u &#175; ∫ − η 1 a n + 1 − η 2 d n + 1 n d x . (67)</p><p>Therefore, the bi-Hamiltonian structure of the nonlinear integrable coupling of the hierarchy (23) can be established as follows:</p><p>u &#175; t = ( r , s , q , u , v , p ) t T = J &#175; δ H n + 1 δ u &#175; = J &#175; L &#175; δ H n δ u &#175; , (68)</p><p>where</p><p>J &#175; = 1 η 1 − η 2 ( J − J − J J c ) , L &#175; = ( L L c 0 L + L c ) , (69)</p><p>J c = ( 0 2 η 1 η 2 2 s η 1 η 2 + 2 v η 1 − η 2 η 2 − 2 η 1 η 2 0 2 r η 1 η 2 + 2 u η 1 − η 2 η 2 − 2 s η 1 η 2 + 2 v η 2 − η 1 η 2 − 2 r η 1 η 2 + 2 u η 2 − η 1 η 2 η 1 η 2 ∂ ) , L 1 c = ( − 2 p 0 u 0 2 p − 2 v l &#175; 31 l &#175; 32 l &#175; 33 ) , (70)</p><p>l &#175; 31 = − 2 ∂ − 1 u ∂ − 8 ∂ − 1 v q − 8 ∂ − 1 s p − 18 ∂ − 1 v p ,</p><p>l &#175; 32 = − 2 ∂ − 1 v ∂ − 8 ∂ − 1 u q − 8 ∂ − 1 r p − 8 ∂ − 1 u p , l &#175; 33 = 4 ∂ − 1 v r − 4 ∂ − 1 s r</p><p>J and L are defined in (23) and (24), respectively, and J &#175; is a Hamiltonian operator.</p><p>Similarly, let</p><p>V &#175; 1 = ( V 1 V 1 a 0 V 1 + V 1 a ) , d = ∑ n ≥ 0   d n λ n , e = ∑ n ≥ 0   e n λ n , f = ∑ n ≥ 0   f n λ n , (71)</p><p>where V 1 a = ( d e − d f − 2 d − f − d − e d ) , V 1 is defined by (34). Then, the bilinear forms are computed according to (63), as follows:</p><p>〈 V &#175; 1 , U &#175; 1 λ 〉 = ζ 1 a + ζ 2 d , 〈 V &#175; , U &#175; 1 r 〉 = ζ 1 c + ζ 2 c , 〈 V &#175; 1 , U &#175; 1 s 〉 = ζ 1 b + ζ 2 e , 〈 V &#175; 1 , U &#175; 1 q 〉 = 4 ζ 1 a + 4 ζ 2 d , 〈 V &#175; 1 , U &#175; 1 u 〉 = ζ 2 ( c + f ) , 〈 V &#175; 1 , U &#175; 1 v 〉 = − ζ 2 ( b + e ) , 〈 V &#175; 1 , U &#175; 1 p 〉 = 4 ζ 2 ( a + d ) , (72)</p><p>where U &#175; 1 is defined by (47). Substituting (72) into the Variational identity, and comparing the coefficients of λ − n − 1 yields</p><p>δ δ u &#175; ∫ ( ζ 1 a n + 1 + ζ 2 d n + 1 ) d   x = ( − n + γ ) ( ζ 1 c n + ζ 2 f n ζ 1 b n + ζ 2 e n 4 ζ 1 a n + 4 ζ 2 d n ζ 2 ( c n + f n ) ζ 2 ( b n + e n ) 4 ζ 2 ( a n + d n ) ) . (73)</p><p>It is easy to see γ = 0 , the adjoint symmetrical function of the integrable system (53) has</p><p>( ζ 1 c n + ζ 2 f n ζ 1 b n + ζ 2 e n 4 ζ 1 a n + 4 ζ 2 d n ζ 2 ( c n + f n ) ζ 2 ( b n + e n ) 4 ζ 2 ( a n + d n ) ) ≡ δ H n δ u &#175; ,   where   H n = δ δ u &#175; ∫ − ζ 1 a n + 1 − ζ 2 d n + 1 n d x . (74)</p><p>Therefore, the bi-Hamiltonian structure of the hierarchy (58) is obtained</p><p>u &#175; 1 t = ( r 1 , s 1 , q 1 , u 1 , v 1 , p 1 ) t T = J &#175; 1 δ H n + 1 δ u &#175; = J &#175; 1 L &#175; 1 δ H n δ u &#175; , (75)</p><p>where</p><p>J &#175; 1 = 1 ζ 1 − ζ 2 ( J 1 − J 1 − J 1 J 1 c ) , L &#175; 1 = ( L 1 L 1 c 0 L 1 + L 1 c ) , (76)</p><p>J 1 c = ( 0 − ζ 1 ζ 2 r ζ 1 ζ 2 + u ζ 1 − ζ 2 ζ 2 ζ 1 ζ 2 0 − s ζ 1 ζ 2 + v ζ 2 − ζ 1 ζ 2 − r ζ 1 ζ 2 + u ζ 2 − ζ 1 ζ 2 s ζ 1 ζ 2 + v ζ 1 − ζ 2 ζ 2 ζ 1 ζ 2 ∂ 2 ) , L 1 c = ( − 4 p 0 v 0 − 4 p u L 31 L 32 0 ) , (77)</p><p>L 31 = − 4 ∂ − 1 u ∂ − 16 ∂ − 1 u q − 16 ∂ − 1 r p − 16 ∂ − 1 u p ,</p><p>L 32 = − 4 ∂ − 1 v ∂ + 16 ∂ − 1 v q + 16 ∂ − 1 s p + 16 ∂ − 1 v p .</p><p>J 1 and L 1 are defined in the former system (29), and J &#175; 1 is a Hamiltonian operator.</p></sec></sec></sec><sec id="s4"><title>4. Conclusion</title><p>The generalized NLS-MKdV hierarchy and its bi-Hamiltonian structure, reduced to the NLS-MKdV hierarchy [<xref ref-type="bibr" rid="scirp.85640-ref25">25</xref>] , are derived from a new Lax pair. Based on the loop algebra of a new Lie algebra G, a spectral matrix is devised, and an integrable hierarchy and its bi-Hamiltonian structure are established; this is a new integrable system and not found in the related literature. Making use of extension forms of two Lie algebras, two nonlinear integrable couplings are achieved, and their Hamiltonian structures are constructed by using the Variational identity. Darboux transformations of the two integrable hierarchies can be embarked and constructed for exact solutions in the future.</p></sec><sec id="s5"><title>Acknowledgements</title><p>This work is supported by the grants from the National Natural Science Foundations of China (Grant Nos. 61473177, 61473178 and 61573008) and the postgraduate science and technology innovation project (SDKDYC180231).</p></sec><sec id="s6"><title>Cite this paper</title><p>Chang, H. and Li, Y.X. (2018) Two New Integrable Hierarchies and Their Nonlinear Integrable Couplings. Journal of Applied Mathematics and Physics, 6, 1346-1362. https://doi.org/10.4236/jamp.2018.66113</p></sec></body><back><ref-list><title>References</title><ref id="scirp.85640-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Fuchssteiner, B. (1993) Coupling of Completely Integrable Systems: The Perturbation Bundle. Applications of Analytic and Geometric Methods to Nonlinear Differential Equations, 423, 125-138. https://doi.org/10.1007/978-94-011-2082-1_13</mixed-citation></ref><ref id="scirp.85640-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. and Fuchssteiner, B. (1996) Integrable Theory of the Perturbation Equations. Chaos, Solitons &amp; Fractals, 7, 1227-1250. https://doi.org/10.1016/0960-0779(95)00104-2</mixed-citation></ref><ref id="scirp.85640-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. (2000) Integrable Couplings of Soliton Equations by Perturbations I-A General Theory and Application to the KdV Hierarchy. Methods and Applications of Analysis, 7, 21-55. https://doi.org/10.4310/MAA.2000.v7.n1.a2</mixed-citation></ref><ref id="scirp.85640-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. (2003) Enlarging Spectral Problems to Construct Integrable Couplings of Soliton Equations. Physics Letters A, 316, 72-76.  https://doi.org/10.1016/S0375-9601(03)01137-X</mixed-citation></ref><ref id="scirp.85640-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, Y.F. and Tam, H. (2007) A Few Subalgebras of the Lie Algebra A3 and a Direct Approach for Obtaining Integrable Couplings. Chaos, Solitons &amp; Fractals, 33, 1424-1432. https://doi.org/10.1016/j.chaos.2006.02.003</mixed-citation></ref><ref id="scirp.85640-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Hu, X.B. (1994) A Powerful Approach to Generate New Integrable Systems. Journal of Physics A, 27, 2497-2514. https://doi.org/10.1088/0305-4470/27/7/026</mixed-citation></ref><ref id="scirp.85640-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Guo, F.K. and Zhang, Y.F. (2007) The Integrable Coupling of the AKNS Hierarchy and Its Hamiltonian Structure. Chaos, Solitons &amp; Fractals, 32, 1898-1902. https://doi.org/10.1016/j.chaos.2005.12.013</mixed-citation></ref><ref id="scirp.85640-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Feng, B.L., Han, B. and Dong, H.H. (2008) Integrable Couplings and Hamiltonian Structures of the L-Hierarchy and the T-Hierarchy. Communications in Nonlinear Science and Numerical Simulation, 13, 1264-1271. https://doi.org/10.1016/j.cnsns.2007.02.004</mixed-citation></ref><ref id="scirp.85640-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Xia, T.C., Yu, F.J. and Chen, D.Y. (2005) The Multi-Component Yang Hierarchy and Its Multi-Component Integrable Coupling System with Two Arbitrary Functions. Chaos, Solitons &amp; Fractals, 24, 235-240. https://doi.org/10.1016/S0960-0779(04)00541-7</mixed-citation></ref><ref id="scirp.85640-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Fan, E.G. and Zhang, Y.F. (2006) Vector Loop Algebra and Its Applications to Integrable System. Chaos, Solitons &amp; Fractals, 28, 966-971. https://doi.org/10.1016/j.chaos.2005.09.010</mixed-citation></ref><ref id="scirp.85640-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Dong, H.H. and Wang, X.R. (2008) The Quadratic-Form Identity for Constructing Hamiltonian Structures of the NLS-CMKdV Hierarchy and Multi-Component Levi Hierarchy. Chaos, Solitons &amp; Fractals, 37, 245-251. https://doi.org/10.1016/j.chaos.2006.08.021</mixed-citation></ref><ref id="scirp.85640-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X., Xu, X.X. and Zhang, Y.F. (2006) Semi-Direct Sums of Lie Algebras and Continuous Integerable Couplings. Physics Letters A, 351, 125-130. https://doi.org/10.1016/j.physleta.2005.09.087</mixed-citation></ref><ref id="scirp.85640-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Li, Z. and Dong, H.H. (2008) Two Integrable Couplings of the Tu Hierarchy and Their Hamiltonian Structures. Computers &amp; Mathematics with Applications, 55, 2643-2652. https://doi.org/10.1016/j.camwa.2007.10.012</mixed-citation></ref><ref id="scirp.85640-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Luo, L. and Fan, E.G. (2008) Integrable Decomposition of a Hierarchy of Soliton Equations and Integrable Coupling System by Semidirect Sums of Lie Algebras. Nonlinear Analysis, 69, 3450-3461. https://doi.org/10.1016/j.na.2007.09.032</mixed-citation></ref><ref id="scirp.85640-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. and Zhou, Y. (2016) Reduced D-Kaup-Newell Soliton Hierarchies from sl(2, R) and so(3, R). International Journal of Geometric Methods in Modern Physics, 13, Article ID: 1650105.</mixed-citation></ref><ref id="scirp.85640-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. (2013) A Soliton Hierarchy Associated with so(3, R). Applied Mathematics and Computation, 220, 117-122. https://doi.org/10.1016/j.amc.2013.04.062</mixed-citation></ref><ref id="scirp.85640-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, W.Y. and Ma, W.X. (2014) An so(3, R) Counterpart of the Diract Soliton Hierarchy and Its Bi-Cintegrable Couplings. International Journal of Theoretical Physics, 53, 4211-4222. https://doi.org/10.1007/s10773-014-2172-z</mixed-citation></ref><ref id="scirp.85640-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Xu, X.X. (2010) An Integrable Coupling Hierarchy of the Mkdv Integrable Systems, Its Hamiltonian Structure and Corresponding Nonisospectral Integrable Hierarchy. Applied Mathematics and Computation, 216, 344-353. https://doi.org/10.1016/j.amc.2010.01.016</mixed-citation></ref><ref id="scirp.85640-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Sakovich, S.Yu. (1999) Coupled KdV Equations of Hirota-Satsuma Type. Journal of Nonlinear Mathematical Physics, 6, 255-262. https://doi.org/10.2991/jnmp.1999.6.3.2</mixed-citation></ref><ref id="scirp.85640-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Hurtubise, J.C. and Markman, E. (2001) Calogero-Moser Systems and Hitchin Systems. Communications in Mathematical Physics, 223, 533-552. https://doi.org/10.1007/s002200100546</mixed-citation></ref><ref id="scirp.85640-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Yan, Q.Y., Li, T. and Liu, Y.X. (2009) A New Soliton Hierarchy and Its Two Extending Integrable Models. Communications in Nonlinear Science and Numerical Simulation, 14, 2928-2934. https://doi.org/10.1016/j.cnsns.2008.11.007</mixed-citation></ref><ref id="scirp.85640-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">Zeng, Y.B. (1999) Bi-Hamiltonian Structure of JM Hierarchy with Self-Consistent Sources. Physica, 262, 405-419. https://doi.org/10.1016/S0378-4371(98)00428-2</mixed-citation></ref><ref id="scirp.85640-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">David, L. and Strachan, I.A.B. (2004) Compatible Metrics on a Manifold and Nonlocal Bi-Hamiltonian Structures. International Mathematics Research Notices, 66, 3533-3558. https://doi.org/10.1155/S1073792804142359</mixed-citation></ref><ref id="scirp.85640-ref24"><label>24</label><mixed-citation publication-type="other" xlink:type="simple">Polkovnikov, A. and Gritsev, V. (2008) Breakdown of the Adiabatic Limit in Low-Dimensional Gapless Systems. Nature Physics, 6, 477-481. https://doi.org/10.1038/nphys963</mixed-citation></ref><ref id="scirp.85640-ref25"><label>25</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Guo</surname><given-names> F.K. </given-names></name>,<etal>et al</etal>. (<year>1997</year>)<article-title>Integrable Hierarchy of NLS-MKdV</article-title><source> Acta Mathematica Sinica</source><volume> 40</volume>,<fpage> 801</fpage>-<lpage>804</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.85640-ref26"><label>26</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Zhang</surname><given-names> Y.F. </given-names></name>,<etal>et al</etal>. (<year>2011</year>)<article-title>Lie Algebras for Constructing Nonlinear Integrable Couplings</article-title><source> Communications in Theoretical Physics</source><volume> 56</volume>,<fpage> 805</fpage>-<lpage>812</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.85640-ref27"><label>27</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X. (2011) Nonlinear Continuous Integrable Hamiltonian Couplings. Applied Mathematics and Computation, 217, 7238-7244. https://doi.org/10.1016/j.amc.2011.02.014</mixed-citation></ref><ref id="scirp.85640-ref28"><label>28</label><mixed-citation publication-type="other" xlink:type="simple">Ma, W.X., Meng, J.H. and Zhang, M.S. (2016) Nonlinear Bi-Integrable Couplings with Hamiltonian Structures. Mathematics and Computers in Simulation, 127, 166-177. https://doi.org/10.1016/j.matcom.2013.11.007</mixed-citation></ref></ref-list></back></article>