<?xml-model href='http://www.tei-c.org/release/xml/tei/custom/schema/relaxng/tei_all.rng' schematypens='http://relaxng.org/ns/structure/1.0'?><TEI xmlns="http://www.tei-c.org/ns/1.0">
	<teiHeader>
		<fileDesc>
			<titleStmt><title level='a'>Integrable fractional modified Korteweg–deVries, sine-Gordon, and sinh-Gordon equations</title></titleStmt>
			<publicationStmt>
				<publisher></publisher>
				<date>08/31/2022</date>
			</publicationStmt>
			<sourceDesc>
				<bibl> 
					<idno type="par_id">10434344</idno>
					<idno type="doi">10.1088/1751-8121/ac8844</idno>
					<title level='j'>Journal of Physics A: Mathematical and Theoretical</title>
<idno>1751-8113</idno>
<biblScope unit="volume">55</biblScope>
<biblScope unit="issue">38</biblScope>					

					<author>Mark J Ablowitz</author><author>Joel B Been</author><author>Lincoln D Carr</author>
				</bibl>
			</sourceDesc>
		</fileDesc>
		<profileDesc>
			<abstract><ab><![CDATA[Abstract                          The inverse scattering transform allows explicit construction of solutions to many physically significant nonlinear wave equations. Notably, this method can be extended to fractional nonlinear evolution equations characterized by anomalous dispersion using completeness of suitable eigenfunctions of the associated linear scattering problem. In anomalous diffusion, the mean squared displacement is proportional to              t                              α                            ,              α              > 0, while in anomalous dispersion, the speed of localized waves is proportional to              A                              α                            , where              A              is the amplitude of the wave. Fractional extensions of the modified Korteweg–deVries (mKdV), sine-Gordon (sineG) and sinh-Gordon (sinhG) and associated hierarchies are obtained. Using symmetries present in the linear scattering problem, these equations can be connected with a scalar family of nonlinear evolution equations of which fractional mKdV (fmKdV), fractional sineG (fsineG), and fractional sinhG (fsinhG) are special cases. Completeness of solutions to the scalar problem is obtained and, from this, the nonlinear evolution equation is characterized in terms of a spectral expansion. In particular, fmKdV, fsineG, and fsinhG are explicitly written. One-soliton solutions are derived for fmKdV and fsineG using the inverse scattering transform and these solitons are shown to exhibit anomalous dispersion.]]></ab></abstract>
		</profileDesc>
	</teiHeader>
	<text><body xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink">
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="1.">Introduction</head><p>Fractional calculus has been effectively applied to describe physical systems with anomalous behavior associated with multi-scale media. The underlying fractional mathematical formulation, originally designed to interpolate between integer derivative orders, has been used to describe new phenomena, such as novel forms of transport in biology <ref type="bibr">[9,</ref><ref type="bibr">26,</ref><ref type="bibr">28,</ref><ref type="bibr">33]</ref>, amorphous materials <ref type="bibr">[14,</ref><ref type="bibr">24,</ref><ref type="bibr">29]</ref>, porous media <ref type="bibr">[7,</ref><ref type="bibr">8,</ref><ref type="bibr">20]</ref>, and climate science <ref type="bibr">[18]</ref> among others. Fractional equations often predict physically measurable quantities that follow power laws. For example, in anomalous diffusion, the mean squared displacement is related to time by a power law t &#945; , &#945;&gt;0 <ref type="bibr">[22,</ref><ref type="bibr">31,</ref><ref type="bibr">32,</ref><ref type="bibr">34]</ref>. Similarly, for integrable soliton equations, fractional generalizations predict anomalous dispersion where the speed of localized solitonic waves are related to their amplitude by a power law <ref type="bibr">[1]</ref>.</p><p>Integrable evolution equations are key elements in the study of nonlinear dynamics because they have deep mathematical structure and provide exactly solvable models whose results can be compared with experimental and numerical data. Some important and well-known examples of integrable evolution equations are the Korteweg-de Vries (KdV), modified Korteweg-de Vries (mKdV), nonlinear Schrodinger (NLS), sine-Gordon (sineG), and sinh-Gordon (sinhG) equations. These equations are solvable by the inverse scattering transformation (IST), a nonlinear generalization of Fourier transforms where the nonlinear equation is associated with a linear scattering problem. They also admit an infinite set of conservation laws and have soliton solutions which are robust localized traveling waves <ref type="bibr">[2,</ref><ref type="bibr">3]</ref>.</p><p>In <ref type="bibr">[1]</ref>, we obtained and analyzed the integrable fractional Korteweg-de Vries (fKdV) and integrable fractional nonlinear Schr&#246;dinger (fNLS) equations. These were two examples of a hierarchy of fractional equations that can be constructed. In the case of NLS, the hierarchy is written in terms of 2 &#215; 2 matrix operators. In this article, we demonstrate that this process can be applied to define and solve key, physically relevant nonlinear evolution equations-namely the fmKdV, fsineG, and fsinhG equations in terms of scalar operators. Although the fmKdV, fsineG, and fsinhG equations can be written in terms of matrix operators the scalar system is considerably simpler, more compact and, provides a direct analog of the scalar fKdV operator.</p><p>The fractional operators of these integrable systems are nonlinear generalizations of the well-established Riesz fractional derivative. Although there are many fractional derivatives, the Riesz formulation is particularly intuitive and accessible for physicists who do not specialize in this area of mathematics. The Riesz fractional derivative is defined by its Fourier multiplier |k| 2 , | | &lt; 1 (we take this range of values for throughout the text), and can be understood as the fractional power of -&#8706; 2</p><p>x . Fractional equations defined using the Riesz fractional derivative (alternately termed the Riesz transform <ref type="bibr">[27]</ref> or fractional Laplacian <ref type="bibr">[19]</ref>) are effective tools when describing behavior in complex systems because the Riesz fractional derivative is closely related to non-Gaussian statistics <ref type="bibr">[21]</ref>. It has found physical applications in describing movement of water in porous media <ref type="bibr">[23]</ref>, transport of temperature in fluid dynamics <ref type="bibr">[12]</ref>, and power law attenuation in materials <ref type="bibr">[15]</ref> among many others <ref type="bibr">[10,</ref><ref type="bibr">11,</ref><ref type="bibr">25]</ref>.</p><p>The KdV equation describes quadratic nonlinear waves with weak dispersion; it was discovered in water waves over 100 years ago <ref type="bibr">[17]</ref>. The KdV equation admits solitary wave solutions which are localized waves of permanent form that propagate unidirectionally and whose speed and amplitude are linearly related. Seventy years later, using numerical methods, KdV solitary waves were found to interact elastically; they were termed solitons <ref type="bibr">[35]</ref>. Soon afterward the KdV equation with decaying initial data was linearized and soliton solutions were obtained analytically using inverse scattering methods <ref type="bibr">[13]</ref>. A few years later the NLS equation was found to be solvable via inverse scattering and to have soliton solutions <ref type="bibr">[30]</ref>. In <ref type="bibr">[6]</ref>, the linearization procedure was generalized with the NLS, mKdV, and sineG (in light cone coordinates) equations as special cases. The procedure was termed the IST. These equations arise in numerous physical contexts <ref type="bibr">[4,</ref><ref type="bibr">5]</ref>. Remarkably, all of these equations have fractional extensions which pave the way for applications to anomalous dispersion and multi-scale behavior.</p><p>In this article, we define and solve the fmKdV, fsineG, and fsinhG equations on the line with suitable initial data using three ingredients: a general nonlinear equation solvable by the IST, a completeness relation for squared eigenfunctions, and an anomalous dispersion relation. We develop a scalar reduction of the Ablowitz-Kaup-Newell-Segur (AKNS) system in which we find the fmKdV, fsineG, and fsinhG equations as special cases using power law dispersion relations. Then, we characterize a completeness relation for squared eigenfunctions of this scalar system. This completeness relation provides a spectral representation for the fractional operators in the fmKdV, fsineG, and fsinhG equations, giving the equations an explicit representation in physical space. From basic IST theory we can derive the general solution to the whole class of nonlinear equations described by the scalar reduction; in particular, we give those for the fmKdV and fsineG equations. This includes the multi-soliton solutions; solitons interact elastically. Unlike standard equations like KdV, we do not know how to integrate even one-soliton solutions directly. But for the one-soliton solutions derived using IST, we check that they are solutions to the fmKdV and fsineG equations. The velocity of these solitons are related to their amplitude by a power law. Therefore, the fmKdV and fsineG equations predict anomalous dispersion. To our knowledge, no nonlinear fractional evolution equations with smooth (physical) solutions have been found to be integrable.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.">AKNS scattering system and scalar reduction</head><p>The IST relies on associating the nonlinear problem we want to solve to a linear scattering problem by taking the potential of the linear problem to be the solution of the nonlinear problem. For many nonlinear evolution equations, e.g., the mKdV, sineG, and NLS equations, the associated linear scattering problem is the AKNS system (also often called the AKNS eigenvalue problem). The nonlinear evolution equations are linearized by the scattering problem. We previously demonstrated that the AKNS system can linearize the fractional nonlinear Schr&#246;dinger equation <ref type="bibr">[1]</ref>viaa2&#215; 2 matrix operator.</p><p>Here, we will show that given a symmetry reduction, the vector valued nonlinear evolution equation for the solution u(x, t) = (r(x, t), q(x, t)) T associated to the AKNS scattering problem becomes a scalar nonlinear evolution equation. This family of equations is then shown to contain the mKdV, sineG, and sinhG equations:</p><p>where r = &#177;q for mKdV and r = -q, with u x /2 = -q for sineG with q real and q t &#8801; &#8706;q &#8706;t and q x &#8801; &#8706;q &#8706;x . We also note that with r = q = u x /2andq real we find the sinhG equation:</p><p>Below, we show that this family of scalar evolution equations also contains fmKdV, fsineG, and fsinhG as well as their hierarchies. First, we will outline scattering theory of the AKNS system and show how this leads to the scalar scattering problem.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.1.">AKNS scattering problem</head><p>The AKNS system is the 2 &#215; 2 scattering problem for the vector-valued function v(x) = (v 1 (x), v 2 (x)) T (T represents transpose)</p><p>v (1)  x = -ikv (1) + q(x, t)v (2) ,( 4 ) v (2)  x =+ikv (2) + r(x, t)v (1) , <ref type="bibr">( 5 )</ref> where q and r act as potentials and k is an eigenvalue. We can associate to this scattering problem a vector-valued family of integrable nonlinear equations <ref type="bibr">[6]</ref> </p><p>where u = (r, q) T decays sufficiently rapidly at infinity and the 2 &#215; 2 matrix operator</p><p>with</p><p>with</p><p>x dy. The function A 0 has been traditionally considered to be meromorphic. The family of equations represented by ( <ref type="formula">6</ref>) is commonly related to cases when A 0 (L A ) = L A n , n = 1, 2, 3 .... However, using the completeness relation for squared eigenfunctions which is discussed in the next section, it was shown that this can be extended to much more general A 0 <ref type="bibr">[1]</ref>. The operator A 0 (L A ) can also be related to the dispersion relation w(k)o ft h el i nearization of <ref type="bibr">(6)</ref>. Specifically, if we put q = e i( kx-&#969;((k)t) into the linearization of (6), we have</p><p>We can obtain the nonlinear Schr&#246;dinger equation from equation ( <ref type="formula">6</ref>) by putting r = &#8723;q * with its linear dispersion relation &#969;(k) = -k 2 . Similarly, sineG, sinhG, and mKdV follow from r = -q, &#969;(k) = k -1 ; r =+q, &#969;(k) = k -1 ;andr = &#177;q, &#969;(k) = -k 3 , respectively, with q real. In <ref type="bibr">[1]</ref>, it was shown that fNLS could be obtained from r = &#177;q, &#969;(k) = -k 2 |k| . The associated hierarchy of integrable equations follows by taking &#969;(k) = -k n |k| , n = 3, 4, .... We will take the linearization of fmKdV, fsineG, and fsinhG to be</p><p>where (-&#8706; 2 x ) is the Riesz fractional derivative defined by</p><p>Notice that both fsineG and fsinhG have the same linear equation <ref type="bibr">(11)</ref>. The linearization of fmKdV has dispersion relation &#969;(k) = -k 3 |k| 2 and that of fsineG and fsinhG is &#969;(k) = |k| 2 /k. Therefore, fmKdV can be obtained from ( <ref type="formula">6</ref>) with r = &#177;q and A 0 (k) = -4ik 3 |2k| 2 and similarly fsineG (sinhG) are ( <ref type="formula">6</ref>) with r = -q (r =+q)andA 0 (k) = i|2k| 2 /(4k).</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.2.">Scattering data for the AKNS system</head><p>With sufficient decay and smoothness of u, we define eigenfunctions for the AKNS system as solutions to equations ( <ref type="formula">4</ref>)and( <ref type="formula">5</ref>) satisfying the boundary conditions</p><p>As the eigenfunctions &#968;, &#968; are linearly independent, we can write &#966; and &#966; as</p><p>Then, we can write the scattering data explicitly in terms of the eigenfunctions as</p><p>with the Wronskian given by W(u, v) = u (1) v (2)u (2) v (1) . The transmission and reflection coefficients,</p><p>We also define the mixed reflection coefficient by</p><p>The zeros of a and a at k j = &#958; j + i&#951; j , &#951; j &gt; 0, j = 1, 2, ..., J and k j = &#958; j + i&#951; j , &#951; j &lt; 0, j = 1, 2, ..., J, respectively, are eigenvalues of the AKNS system corresponding to bound states. With decaying data, these eigenvalues exist only when r = -q. We assume the eigenvalues are 'proper', i.e., they are simple zeros of a or a, they are not on the real k axis, and J = J;cf <ref type="bibr">[3]</ref>.</p><p>The bound state eigenfunctions are related by</p><p>where b j (t) = b(k j , t). We also define the norming constants by</p><p>where a j (t) = &#8706; k a(k, t)| k=k j ,e t c .W h e nr = &#8723;q * in (4)a n d( <ref type="formula">5</ref>), we have the symmetry reductions</p><p>for the eigenfunctions and a(k, t) = a * (k * , t)a n db(k, t) = &#8723;b * (k * , t) for the scattering data where</p><p>When r = &#177;q, q real, we have the symmetry reductions</p><p>for the eigenfunctions and</p><p>for the scattering data. From the scattering eigenfunctions &#968; and &#966;, we can construct the eigenfunctions of the operator L, &#936;(x, k, t)a n d&#936;(x, k, t), and its adjoint</p><p>where &#968; ( j) and &#966; ( j) are the jth components of the eigenfunctions &#968; and &#966; (and similarly for &#968; and &#968;). Notice that these are all written in terms of squared eigenfunctions of the AKNS system. Explicitly, we have</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.3.">Scalar scattering system</head><p>The scattering equations for the scalar system, obtained from the symmetry reduction r = &#177;q,are v (1)  x = -ikv (1) + q(x, t)v (2) , ( <ref type="formula">36</ref>)</p><p>x =+ikv (2) &#177; q(x, t)v (1) .</p><p>To construct a family of nonlinear evolution equations for this system, which is a subset of the class in equation ( <ref type="formula">6</ref>), we use the eigenvalue relations in equations ( <ref type="formula">34</ref>)and( <ref type="formula">35</ref>) in addition to an orthogonality relation from the AKNS system. Taking r = &#177;q and writing out L&#936; = k&#936; in components, we have</p><p>We define the functions</p><p>Taking r =+q, adding (38)to(39) and using ( <ref type="formula">40</ref>)and(41)wehave</p><p>Subtracting equation ( <ref type="formula">39</ref>) from (38) yields</p><p>Putting equation ( <ref type="formula">42</ref>)into(43) we get the following scalar eigenvalue equation</p><p>We can similarly show that</p><p>where</p><p>For r = -q,wehave</p><p>Equations ( <ref type="formula">44</ref>), ( <ref type="formula">45</ref>), (48), and (49) define the operators and squared eigenfunctions of the scalar scattering system. For the AKNS scattering problem, we know that the following orthog-</p><p>where &#937;(k) is a suitable function of k, taken to be meromorphic in <ref type="bibr">[6]</ref>. With r = &#177;q, &#937;(k) = ik&#920;(k 2 ), and &#956; 1 and &#956; 2 in (40)and(41), we may write</p><p>Noting that we have</p><p>and using the extension of equations ( <ref type="formula">44</ref>)and( <ref type="formula">48</ref>)</p><p>we can write</p><p>using integration by parts. We can then shift &#920;(L &#177; ) from operating on &#956; &#177; to q x using the adjoint of L,</p><p>which implies</p><p>This defines the family of nonlinear evolution equations associated to the scalar scattering system in equations (36)a n d( 37). Notice that if we take &#920;(L A &#177; ) = -4L A &#177; , equation (58) gives mKdV</p><p>We can relate the operator &#920; directly to the dispersion relation of the linearization of equation (58). As</p><p>Putting q = e i(kx-&#969;(k)t) gives</p><p>Therefore, using our definitions of linear fmKdV and linear fsineG and fsinhG, with dispersion relations</p><p>, respectively (recall that fmKdV has r = &#177;q while fsineG and fsinhG have r = -q and r =+q, respectively). Therefore, we can write fmKdV, fsineG, and fsinhG as</p><p>Notice that as L &#177; &#8594;-&#8706; 2 x /4, in the linear limit, both fsineG and fsinhG both converge to <ref type="bibr">(11)</ref>. We can also define a hierarchy of fractional equations associated to the fmKdV, fsineG, and fsinhG equations by adding an integer power to the dispersion relation, i.e., &#969;(k) = -k 3 |k| 2(m+ ) and &#969;(k) = |k| 2(m+ ) /k with m &#8712; Z. This allows us to, in effect, obtain an equation for any fractional order in R. Currently, the meaning of |L A &#177; | is not clear; it will be defined in the next section using a spectral expansion in terms of the squared eigenfunctions &#956; &#177; and &#957; &#177; .</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="2.4.">Completeness of squared scalar eigenfunctions</head><p>In <ref type="bibr">[16]</ref> it was shown that the eigenfunctions &#936; and &#936; A , equations (30)a n d <ref type="bibr">( 32)</ref>, of the AKNS system are complete in L 1 (R). Specifically, for a sufficiently smooth and decaying vector-valued function v</p><p>where</p><p>R ) is the semicircular contour in the upper (lower) half plane evaluated from -R to +R and &#964; (k)and&#964; (k) are transmission coefficients defined in equations ( <ref type="formula">16</ref>)and <ref type="bibr">(17)</ref>. Time is suppressed throughout this section. Notice that G n , n = 1, 2 are 2 &#215; 2 matrices. However, here we need to use the adjoint completeness relation, which may be found directly from (65) using the inner product (u, v):= &#8734; -&#8734; u(x) T v(x)dx where u, v are 2 &#215; 1 column vectors. To do this, we expand v using the above completeness relation, and then exchange the order of integration to find an expansion for u. This procedure gives us</p><p>However, when r = &#177;q with q real, the symmetry reductions in equations ( <ref type="formula">28</ref>)and <ref type="bibr">(29)</ref>give</p><p>Therefore, the adjoint completeness relation in (66) reduces to</p><p>-</p><p>The second integral may be rewritten with the substitution &#958; = -k as</p><p>Therefore, we have</p><p>If we put v(x) = h(x) = (h(x), &#8723;h(x)) T , we can reduce the completeness relation to</p><p>for the scalar function h(x) &#8712; L 1 (R)where 2 the squared eigenfunctions of the scalar system. Then, the action of the operator &#920;(L A &#177; )o nt h e function h(x) may be written as</p><p>and the family of nonlinear evolution equations in equation ( <ref type="formula">58</ref>) becomes</p><p>In particular, fmKdV can be represented as</p><p>and fsineG and fsinhG are given by</p><p>Because the k integral in equation ( <ref type="formula">72</ref>) is over the semicircle in the upper half plane, it can be expressed instead in terms of an integral along the real line and a sum over the residues using contour integration. This is a useful representation because it explicitly separates the continuous and discrete spectra, where the latter corresponds to bound states at k = k j , j = 1, 2, ..., J. Using the closed contour composed of &#915; (1) and an integral along the real line from &#8734; to -&#8734;, we can write</p><p>Because &#957; &#177; and &#956; &#177; are all analytic in the upper half plane, the only residues come from the poles of &#964; 2 , or zeros of a 2 . These occur at k j = &#958; j + i&#951; j , j = 1, 2, ..., J andareassumedtobe simple, meaning &#964; 2 has a double pole at k j . Therefore, we can compute the residue at k j as</p><p>Defining</p><p>we have</p><p>dy &#920;(k 2 j )g (1)  &#177;, j (x, y) + 2k j &#920; (k 2 j )g (2)  &#177;, j (x, y)</p><p>Notice that if we take &#920;(k 2 ) = 1, then we have the identity in (72) written with continuous and discrete spectra separated.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.">The IST for fractional modified KdV, SineG, and SinhG</head><p>Solving nonlinear evolution equations with the IST is analogous to solving linear evolution equations with Fourier transforms. To solve linear problems, the Fourier transform is taken to map the problem into Fourier space where the time evolution is described by a simple set of differential equations. These equations are then solved to give the solution at any time t in Fourier space. Finally, the solution is mapped back to physical space using the inverse Fourier transform, which amounts to evaluating an integral. Mapping the initial condition into scattering space via direct scattering is analogous to taking the Fourier transform, time evolution in scattering space is nearly identical to that in Fourier space, and inverse scattering maps the solution to the nonlinear problem back into physical space just as the inverse Fourier transform does. The major difference between Fourier transforms and the IST is that performing integrals for the Fourier transform and inverse Fourier transform is replaced by solving linear integral equations for direct scattering and inverse scattering. In the following we, outline direct scattering, time evolution, and inverse scattering for the scalar scattering system.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.1.">Direct scattering</head><p>To solve the nonlinear evolution equation, equation (58), by the IST, we first map the initial condition into scattering space; this is analogous to taking the Fourier transform of a linear partial differential equation. This process involves analyzing linear integral equations for the eigenfunctions, determining their analytic properties, and then obtaining the scattering data using Wronskian relations. Eigenfunctions of the scalar scattering problem are precisely &#966; and &#968; of the AKNS system with the symmetry reduction in equations ( <ref type="formula">28</ref>)and <ref type="bibr">(29)</ref>. They are solutions to equations ( <ref type="formula">36</ref>) and (37) subject to the boundary conditions in equations ( <ref type="formula">14</ref>)and <ref type="bibr">(15)</ref> with the scattering data defined by equation <ref type="bibr">(16)</ref>. It is convenient to express the scattering functions in terms of Jost solutions by taking</p><p>where the symmetry reductions for r = &#177;q are in terms of</p><p>Then, the boundary conditions become constant</p><p>and the scattering equation, where either M or N is represented generically as &#967; = &#967;(x, k, t), becomes</p><p>where</p><p>This differential equation can be converted to an integral equation for M and N,cf <ref type="bibr">[4]</ref>,</p><p>where</p><p>with &#952;(x) the Heaviside function defined by</p><p>So long as q, r &#8712; L 1 (R), these Volterra integral equations have absolutely and uniformly convergent Neumann series in the upper half k-plane <ref type="bibr">[3]</ref>. Therefore, the functions M and N are analytic functions of k for Im k &gt; 0 and continuous for Im k 0. This also implies that M and N are analytic for Im k &lt; 0 and continuous for Im k 0 from their relations in equation ( <ref type="formula">86</ref>). Using these integral equations and the initial condition at t = 0, the Jost solutions M and N can be constructed at t = 0 and, subsequently, the scattering functions from the relations in equation ( <ref type="formula">85</ref>). Then, the initial scattering data may be derived from the Wronskian relations in equations ( <ref type="formula">18</ref>)and( <ref type="formula">19</ref>). We will also need the asymptotic properties of N and M to reconstruct the solution in inverse scattering; so, expanding equations ( <ref type="formula">91</ref>)and(92)inlargek, after integrating by parts, we have</p><p>(97)</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.2.">Time evolution</head><p>After the initial condition is projected into scattering space by reconstructing the scattering functions and scattering data, the data is evolved in time by solving a simple set of ordinary differential equations. The scattering functions evolve in time according to</p><p>where A, B, C are functions of x, k, t which cannot be represented generally. However, their asymptotic properties can be used to characterize the time evolution of the scattering data <ref type="bibr">[4]</ref>as</p><p>for j = 1, 2, ..., J. Further, the mixed reflection coefficient and norming constants, defined in equation ( <ref type="formula">101</ref>), evolve according to</p><p>We recall that &#920;(k 2 ) is related to the linear dispersion relation as in equation ( <ref type="formula">61</ref>). To characterize the spectral expansion in equation ( <ref type="formula">75</ref>), we need to be able to compute the time evolution of the scattering functions &#968; and &#966;. Although equation ( <ref type="formula">98</ref>) does not give this in a simple way, the scattering functions can be evolved in time using inverse scattering, which is discussed next.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="3.3.">Inverse scattering</head><p>Inverse scattering allows the construction of the solution to the nonlinear evolution equation q(x, t) and the scattering functions &#968;(x, k, t)and&#966;(x, k, t) from the scattering data, a(k, t)and b(k, t) obtained from equation (99). For the Jost solutions (85), we can write the scattering data in equation ( <ref type="formula">16</ref>), using (20), as</p><p>where M is analytic in the upper half plane, &#181; is meromorphic with simple poles at the zeros of a,a n dN is analytic in the lower half plane (&#961; is not analytic in general). Therefore, equation (102) defines the 'jump' condition of a Riemann-Hilbert problem which we will transform onto an integral equation for N. This equation will allow the construction of the scattering function &#968; and the solution q(x, t). We will also outline how the same method can be used to derive an equation for M. We assume that a has simple zeros, and hence &#181; has simple poles in the upper half plane at k j for j = 1, 2, ..., J with no zeros along the real line. Then, as &#181; has only simple poles, we can represent it as</p><p>where h is analytic in k for Im k &gt; 0. By integrating in a small neighborhood around each k j , and using equation (102), we find that A j is given by</p><p>where C j (t) = b j (t)/a j (t)andN j (x, t) = N(x, k j , t). We then define the projection operators</p><p>Taking equation (102) and subtracting (1, 0) T and the simple poles of &#181;,wehave</p><p>The left side is analytic in the upper half plane and approaches zero as |k|&#8594;&#8734;; N -(1, 0) T is also analytic in the lower half plane and vanishes asymptotically. Therefore, applying P -to (107)gives</p><p>Noting that N(x, k, t) = &#963;N(x, -k, t) and using the expression for A j in equation ( <ref type="formula">104</ref>), we find the integral equation for</p><p>Evaluating this at k for = 1, 2, ..., J, we obtain an equation for N (x, t).</p><p>We can similarly show that M and M j solve</p><p>These equations can then be expanded for large k and, by comparing these expansions to those for the direct scattering problem in equations ( <ref type="formula">96</ref>)and(97), we can recover the solution at any time q(x, t) from N(x, k, t)as</p><p>Notice that just as the spectral expansion of the &#920;(L A &#177; ) split into discrete and continuous spectra in equation (84), the solution q is composed of a sum over discrete contributions and an integral over continuous contributions. These equations can be converted into the following GLM type integral equations <ref type="bibr">[6]</ref> K(x, y; t) &#177; 1 0</p><p>where</p><p>C j (t)e ik j x , (116)</p><p>and the Jost eigenfunctions are related to the triangular kernel by</p><p>The solution of the nonlinear scalar equation can then be obtained from q(x, t) = -2K (1) (x, x; t), (120</p><p>where K (1) denotes the 1st component of the vector K. If we partition F and G into continuous and discrete parts, then we can show that the continuous part (radiation) goes to zero as t &#8594;&#8734;, leaving just the discrete part; i.e., the N-soliton solution.</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.">The one soliton solution</head><p>Pure soliton solutions of the scalar general evolution equation (58) are reflectionless, i.e., &#961;(k, t) = 0 on the real line. They are also bound states corresponding to the discrete eigenvalues at the zeros of a. We note that soliton solutions for r = q do not exist when we assume q and r vanish sufficiently rapidly as |x|&#8594;&#8734;. Because of this, we will only consider r = -q for the remainder of our study. For a given initial condition, the number of discrete eigenvalues k j = &#958; j + i&#951; j j = 1, 2, ..., J gives the number of solitons. The general J-soliton solution can be reduced to solving a linear algebraic system. For simplicity we consider the one-soliton solution, J = 1, although the argument we lay out can be used also for larger J.W efi ndt he one-soliton solution by constructing N(x, k, t) from equations ( <ref type="formula">109</ref>)and( <ref type="formula">110</ref>) and then recovering q(x, t)using(113). We will then explicitly verify that this solution is in fact a solution of the general evolution equation characterized in physical space by the completeness relation, equation (75), using complex variable methods. This will require that we construct N(x, k, t) and M(x, k, t) (thereby &#956; &#177; (x, k, t), &#957; &#177; (x, k, t)and&#964; (k, t)).</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.1.">Deriving the one soliton from inverse scattering</head><p>Putting &#961; = 0andJ = 1 into equation (110) and taking k 1 = i&#951; and C 1 (0) = -2i&#951; e 2&#951;x 0 such that C 1 (t) = -2i&#951; e 2&#951;x 0 +2&#951;&#920;(-&#951; 2 )t gives an algebraic equation for N 1 (x, t)</p><p>where z t (x) = 2&#951;(xx 0 ) -2&#951;&#920;(-&#951; 2 )t. The eigenvalue k 1 is imaginary because for r = -q, all discrete eigenvalues come in pairs {k j , -k * j } J j=1 . Solving this gives</p><p>and then putting these components into equation (113) yields q(x, t) = 2&#951; sech{z t (x)}.</p><p>(123)</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="4.2.">Verifying the one soliton</head><p>To verify that the one soliton given in equation is truly a solution to the general evolution equation in physical space (58), we evaluate the spectral expansion of &#920;(L A &#177; ) in equation (74) at time t; this means we need to know &#956; &#177; , &#957; &#177; and &#964; at time t. These can be recovered from the scattering functions &#968; and &#966; which are related to N and M by equation (85). We first recover the Jost functions. The N function can be constructed from N 1 using equation (109)w h i c h gives</p><p>We can find the M Jost solutions in a similar manner to N using equations ( <ref type="formula">111</ref>)and( <ref type="formula">112</ref>) noting that C1 (0) = 2i&#951; e -2&#951;x 0 , C 1 (0) with &#951; replaced by -&#951;,andso C1 (t) = 2i&#951; e -2&#951;x 0 +2&#951;&#920;(-&#951; 2 )t . We find</p><p>From these, we can construct &#968; and &#966; using equation (85). Using the Wronskian relation in equation ( <ref type="formula">18</ref>) and the fact that &#964; = 1/a,wehave</p><p>We then build &#956; -and &#957; -, the squared eigenfunctions for the scalar system. These are</p><p>Therefore, we can construct the kernel g -(x, y, k, t) = &#964; 2 (k)&#957; -(x, k, t)&#956; -(y, k, t)/&#960; inside of the spectral definition of &#920;(L A -) in equation ( <ref type="formula">74</ref>). We can now show that the soliton solution for q given in equation ( <ref type="formula">123</ref>) is truly a solution to the general evolution equation (58) by explicitly demonstrating that equation (75) holds. We will evaluate the operator</p><p>and show that it is equivalent to -q t where q is defined by equation (123). It is most prudent to split this into its continuous and discrete parts as in equation ( <ref type="formula">84</ref>). As we will see, the portion of the operator related to the continuous spectra will vanish while that associated to the single eigenvalue k 1 will satisfy equation (75). The continuous part vanishing comes from the fact that</p><p>for all k. Looking at equation (84), we can see that this statement implies that the continuous portion, the integral of g -(x, y, k) over the real line, vanishes. It also implies that the integrals associated to the discrete kernels g (2)  -,1 (x, y)a n dg (3)  -,1 (x, y)a n dt h efi r s th a l fo ft h eg (1)  -,1 (x, y) integral are zero. The single term that does not vanish is</p><p>By making the change of variables &#958; = z t (y), d&#958; = z t (y)dy = 2&#951; dy where z t (x) = 2&#951;(xx 0 ) -2&#951;&#920;(-&#951; 2 )t, the above integral becomes</p><p>Of the three terms in the integral, the first two vanish because the function is odd. The final term, i.e., &#958; sech 2 &#958; tanh &#958;, can be evaluated using integration by parts and the fundamental theorem of calculus to give</p><p>Therefore, evaluating &#957; -(x, k, t) in equation (129)ati&#951; and using (a 1 ) 2 = -4&#951; 2 we find</p><p>we notice that equation ( <ref type="formula">130</ref>) is true provided equation ( <ref type="formula">131</ref>) holds, which we will now confirm. Again, we make the change of variables &#958; = z t (y) so that the integral I(k, t) becomes</p><p>where A(k, t) = e 2ikx 0 +2ik&#920;(-&#951; 2 )t and</p><p>If we introduce</p><p>I(k, t) can be written as</p><p>Then, using a tricky manipulation, I 2 can be written in terms of I 1 as</p><p>Putting equation ( <ref type="formula">143</ref>)into(142), we find that</p><p>Therefore, &#920;(L A -)&#8706; x q(x, t) = -q t (x, t), (</p><p>and the one soliton in (123) is a solution to the general evolution equation in (58). </p><p>q SG (x, t) = 2&#951; sech 2&#951;(xx 0 ) + (2&#951;) -1+2 t .</p><p>(147)</p><p>We also find the 'kink' solution u from q SG = u x /2tobe u(x, t) = arctan sinh 2&#951;(xx 0 ) + (2&#951;) 2 -1 t . </p><p>Notice that the fractional equations predict power law relationships between the speed of the wave and the amplitude of the wave, &#951;. Therefore, the fmKdV and fsineG equations predict anomalous dispersion, showing that this is a common characteristic of fractional nonlinear systems (figure <ref type="figure">1</ref>).</p></div>
<div xmlns="http://www.tei-c.org/ns/1.0"><head n="5.">Conclusion</head><p>We developed fractional extensions of the modified KdV, sine-Gordon, and sinh-Gordon equations on the line with decaying data. This process requires three key steps: a general evolution equation solvable by the IST, completeness of squared eigenfunctions, and an anomalous dispersion relation. We demonstrated these three elements by developing a scalar general evolution equation using a symmetry reduction of the AKNS scattering system. Then, we found the fmKdV, fsineG, and fsinhG equations as a special case of this general evolution equation using the anomalous dispersion relations of the linear fmKdV, fsineG, and fsinhG equations, respectively. From scattering theory for the AKNS system, we found squared eigenfunctions and their associated operators for the scalar scattering problem. We then re-expressed completeness of AKNS system in terms of these scalar squared eigenfunctions to give a spectral representation of the operator &#920;(L &#177; ) in the general evolution equation. We developed the direct scattering, time evolution, and inverse scattering for the scalar scattering system and used these to derive the one-soliton solution for fmKdV and fsineG. We used the completeness relation to verify that these one-soliton solutions were truly solutions of fmKdV and fsineG. Finally, we showed that the one-soliton solutions of fmKdV and fsineG have power law relationships between the soliton's amplitude and velocity. This super-dispersive transport is an experimentally testable prediction of this theory.</p></div></body>
		</text>
</TEI>
