Stability of solitonic solutions of Super KdV equations under susy breaking conditions

A supersymmetric breaking procedure for N=1 Super Korteweg-de Vries (SKdV), preserving the positivity of the hamiltonian as well as the existence of solitonic solutions, is implemented. The resulting solitonic system is shown to have nice stability properties.

PACS Codes:12.60.Jv, 02.30.lk, 11.30.-j, 05.45.Yv, 02.30.Jr.

The breaking of supersymmetry in physical systems is always an interesting aspect to analyze. We consider a solitonic system [1] arising from the breaking of supersymmetry in the N=1 Super KdV system [2, 3]. In the latter, there is only one hamiltonian structure in distinction to the bi-hamiltonian one in the Korteweg-de Vries (KdV) system. The N=1 SKdV hamiltonian, however, is not manifestly positive. Nevertheless, the quantum formulation of the theory yields a manifestly positive definite self-adjoint operator. The stability of the ground state of the system is then assured from it. We considered in [1] the supersymmetry breaking of the SKdV system by changing the Grassmann algebra structure of the SKdV formulation to a Clifford algebra one. This susy breaking mechanism has already appeared in several works, see for example [4]. One may then obtain a solitonic system with the same evolution equation for the new Clifford algebra-valued field as one had for the odd Grassmann algebra-valued one in the SKdV system, and what is more important, with a bounded from below hamiltonian. The system presents solitonic solutions, although the infinite set of local conserved quantities of SKdV breaks down. We will show in this work that this solitonic system has nice stability properties.

The stability in the sense of Liapunov of the one-soliton solution of KdV equation was first proven by Benjamin [5] and Bona [6]. The proof makes use of the first few conserved quantities of the KdV equation. In particular, the fact that one of them is the square of L_2 norm is relevant in their argument. The use of conserved quantity was also considered in a stability argument by Boussinesq [7]. In this paper, we make use of this main idea to prove stability of the one-soliton solution of the coupled equation, with fields valued on a Clifford algebra, derived from the supersymmetric breaking of the N=1 SKdV equation.

The fields u(x,t) and \xi (x,t) describing N=1 SKdV equations [2] take values on the even and odd part of a Grassmann algebra, respectively. The N=1 SKdV equations are

This system of partial differential equations has infinite local conserved charges as well as infinite non-local conserved charges [2, 8–11]. The first few local ones are

To break supersymmetry, we consider the fields u and ξ taking values on a Clifford algebra instead of being Grassmann algebra-valued. We thus take u to be a real-valued field, while ξ to be an expansion in terms of the generators e_i, i=1,\dots of the Clifford algebra:

where

and {\phi }_i,{\phi }_{ij},{\phi }_{ijk},\dots are real-valued functions. We define \overline{\xi }={\sum }_{i=1}^{\mathrm{\infty }}{\phi }_i\overline{e_i}+{\sum }_{ij}{\phi }_{ij}\overline{e_j}\overline{e_i}+{\sum }_{ijk}{\phi }_{ijk}\overline{e_k}\overline{e_j}\overline{e_i}+\cdots , where \overline{e_i}=-e_i. We denote as in superfield notation the body of the expansion those terms associated with the identity generator and the soul the remaining ones. Consequently, the body of \xi \overline{\xi }, denoted by \mathcal{P}(\xi \overline{\xi }), is equal to {\sum }_i{\phi }_i^2+{\sum }_{ij}{\phi }_{ij}^2+{\sum }_{ijk}{\phi }_{ijk}^2+\cdots . In what follows, without loss of generality, we rewrite \mathcal{P}(\xi \overline{\xi })={\sum }_i{\phi }_i^2+{\sum }_{ij}{\phi }_{ij}^2+{\sum }_{ijk}{\phi }_{ijk}^2+\cdots simply as \mathcal{P}(\xi \overline{\xi })={\sum }_i{\phi }_i^2.

The system of partial differential equations arising from the breaking of supersymmetry, which has the required properties as discussed in [1] is

System (5) has the following conserved charges:

The system has multi-solitonic solutions, for example, u(x,t)\equiv \varphi (x,t)=3\mathcal{C}\frac{1}{{cosh}^2(z)}, z\equiv \frac{1}{2}{\mathcal{C}}^{\frac{1}{2}}(x-(1+\mathcal{C})t+a), \xi (x,t)=0, where \varphi (x,t) is the one-soliton solution of KdV equation, a is an arbitrary real number, and \mathcal{C}>0.

This system with a change of sign in the third term of the right-hand member of the first equation of system (5) was considered in [12, 13].

It will be important in the following stability argument that

hence V is L_2 norm of (u,\xi ). This property is absent for the system with a positive sign on the third term of the first equation in (5).

We may now analyze the stability of the ground state as well as the stability of the one-soliton solution of system (5).

We start the analysis by considering an a priori bound for the solutions of system (5). We denote by {\parallel \parallel }_{H_1} the Sobolev norm

We obtain

we now use

it yields

From (11), it follows that

where d=\frac{1}{2\sqrt{2}}V and e=V+M. We notice that d^2+4e\ge 0.

Consequently, given V and M, from the initial data and a solution satisfying those initial conditions, the {\parallel (u,\xi )\parallel }_{H_1} is bounded by (12). The a priori bound is a strong evidence of the existence of the solution for 0\le t. We will consider this existence problem elsewhere. In this work, we assume the existence of the solution and its continuous dependence on the initial data under smooth enough assumptions on the initial perturbation.

We consider the stability in the sense of Liapunov. In particular, we take the same definition as in [5]: (\hat{u},\hat{\xi }), a solution of (5), is stable if given ϵ, there exists δ such that for any solution (u,\xi ) of (5), satisfying at t=0

then

for all t\ge 0.

d_I and d_{II} denote two distances to be defined.

We consider now the stability problem of the ground state solution \hat{u}=0, \hat{\xi }=0.

We take d_I and d_{II} to be the Sobolev norm {\parallel (u-\hat{u},\xi -\hat{\xi })\parallel }_{H_1}.

We get

and

At t=0, we then have, using (13),

Consequently, from the a priori bound (12), we obtain for any t\ge 0

for any given ϵ, provided δ is conveniently chosen.

This argument proves the stability of the ground state solution.

We now consider the stability of the one-soliton solution \hat{u}=\varphi, \hat{\xi }=0. The proof of stability is based on estimates for the u field, which are analogous to the one presented in [5, 6] while a new argument will be given for the ξ field. The distances we will use are

where \tau u_1 denotes the group of translations along the x-axis. d_{II} is a distance on a metric space obtained by identifying the translations of each u\in H_1(\mathbb{R}) [5]. d_{II} is related to a stability in the sense that a solution u remains close to \hat{u}=\varphi only in shape but not necessarily in position.

We first assume that

and

and then we will relax this conditions to get the most general formulation of the stability problem.

Following [5], we define

where a is defined, for each t\ge 0, by

In [6], it was proven that the infimum is taken on finite values of y.

We obtain

where we have used \mathcal{C}(V(u,\xi )-V(\varphi ,0))=0 and that ϕ is the soliton solution of KdV equation, and hence it satisfies

We denote {\delta }^{3}M\equiv {\int }_{-\mathrm{\infty }}^{+\mathrm{\infty }}(-\frac{1}{3}{h}^3+\frac{1}{2}{\sum }_{i=0}^{\mathrm{\infty }}{\phi }_i^{2}h)dx. We then have

where we have used sup|h|\le \frac{\sqrt{2}}{3}{\parallel h\parallel }_{H_1}.

Coming back to ΔM, we get

At t=0, we will assume that

hence

ΔM is a conserved quantity on the space of solutions of system (5). By taking δ small enough in (23), we can make ΔM as small as we wish. The second step in the proof of stability is to argue that at any t\ge 0, ΔM satisfies the bound

This bound completes the proof, in fact, we can make, at t=0, |\mathrm{\Delta }M| as small as we wish, and hence, we can always satisfy (14) for any given ϵ.

We decompose ΔM into

where

Using the same argument as in [5, 6], we obtain

and

We will now obtain a lower bound for {\delta }_{\xi }^{2}M.

We consider the operator H=-\frac{d^2}{d{x}^2}-\frac{1}{2}\varphi with domain in the Hilbert space L_2(\mathbb{R}). It is a symmetric essentially self-adjoint operator. We denote with the same letter H its self-adjoint extension. It has two eigenvalues {\lambda }_1=-\mathcal{C} and {\lambda }_2=-\frac{\mathcal{C}}{4} and a continuous spectrum [0,\mathrm{\infty }). The eigenfunctions are proportional to \frac{1}{{cosh}^{2}z} and \frac{sinhz}{{cosh}^{2}z}, respectively, where z=\frac{1}{2}{\mathcal{C}}^{\frac{1}{2}}. The spectral theorem for self-adjoint operators ensures the existence of a unitary transformation from the domain D(H) in the Hilbert space ℋ to L_2(\mathbb{R},d\rho ). In the case in which \mathcal{H}=L_2(\mathbb{R}), this unitary transformation may be realized in terms of the eigenfunctions {\psi }_1,{\psi }_2\in L_2(\mathbb{R}) and the hypergeometric functions {\psi }_{\lambda }(x) which satisfy point to point

for \lambda >0, but do not belong to L_2(\mathbb{R}). Under the unitary map f(x)\in L_2(\mathbb{R}) can be expressed

where F(\lambda ) belongs to L_2({\mathbb{R}}^{+},d\rho ). The action of H in ℋ corresponds to the multiplication by λ in L_2({\mathbb{R}}^{+},d\rho ):

We notice that for f\in D(H), the third term on the right-hand member belongs to L_2(\mathbb{R}). {\psi }_{\lambda } are normalized in order to have {\parallel f\parallel }_{\mathcal{H}}^2=F_1^2+F_2^2+{\int }_0^{\mathrm{\infty }}{F}^2(\lambda )d\rho (\lambda ). {\psi }_1, {\psi }_2, {\psi }_{\lambda } are pairwise orthogonal with the internal product in L_2(\mathbb{R}).

If we denote g(x)={\int }_0^{\mathrm{\infty }}F(\lambda ){\psi }_{\lambda }(x)d\rho (\lambda ), g\in L_2(\mathbb{R}), it follows that

its left-hand member is zero, hence

for any F(\lambda ) on the space L_2({\mathbb{R}}^{+},d\rho ).

We consider first F(\lambda ) to have support in the complement of a neighborhood of \lambda =0. We may then consider \lambda F(\lambda )=\chi (\lambda ), where \chi (\lambda ) is the characteristic function with value one in the interval (\hat{\lambda }-ϵ,\hat{\lambda }+ϵ) and 0 otherwise. We have

for any \hat{\lambda } in the support of F(\lambda ).

It then follows, by decomposing F(\lambda ), that

Since the F(\lambda ) considered is dense in L_2({\mathbb{R}}^{+},d\rho ), we conclude that (31) is valid for any F(\lambda )\in L_2({\mathbb{R}}^{+},d\rho ).

We may always decompose \xi \in L_2(\mathbb{R}) as

and use (18) together with (31) to obtain

We now consider the Rayleigh quotient of any ξ in the domain of H

〈,〉 denotes the internal product in the L_2(\mathbb{R}) space.

The eigenvalues satisfy (using the min-max theorem)

We thus get

From (27), and using {\lambda }_2=-\frac{\mathcal{C}}{4}, we obtain

and introducing a parameter 0\le \beta \le 1

Consequently, using \varphi \le 3\mathcal{C}, we have

for any β satisfying . In particular, for \beta =\frac{3}{4},

From (28) and (33), we get

and from (21),

Finally,

where

We now use an argument in [5, 6] to show, for δ small enough, that

Since

we then obtain

for δ small enough.

The stability proof has then been completed.

We may now relax the assumptions (17) and (18). The assumption (17) may be removed by an application of the triangle inequality as is [5]. While (18) may be relaxed by considering

which satisfies {\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\tilde{\xi }dx=0.

Using again the triangle inequality for the distance d_{II}, we get

where d_{II}[(u,\xi ),(u,\tilde{\xi })]={\parallel F_1{\psi }_1\parallel }_{H_1} is conserved by {\hat{H}}_{\frac{1}{2}} and bounded by {\parallel (u,\xi )\parallel }_{H_1} at t=0. The solitonic solution (\varphi ,0) is then stable in the sense (13), (14).

Following [1], we considered the breaking of the supersymmetry in the N=1 Super KdV system and analyzed a solitonic model in terms of a Clifford algebra-valued field. We showed the stability in the Liapunov extended sense of the ground state and the one-soliton solution of the integrable model. The approach introduced in [5] to prove the stability of the solitonic solutions of KdV equation and extended here for Clifford-valued fields may also be used in the stability analysis of supersymmetric solitons in the bosonization scheme in [14, 15].

Independently of the original motivation, the breaking of supersymmetry, the system we analyzed in this paper is interesting, because it contains the same soliton solutions as the KdV equation but is more realistic in the sense that the symmetry associated to the infinite number of conserved charges of KdV is broken.

AR and AS are partially supported by Project Fondecyt 1121103, Chile.

Affiliations

1. Departamento de Física, Universidad de Antofagasta, Antofagasta, Chile

   • Alvaro Restuccia

2. Departamento de Física, Universidad Simón Bolívar, Caracas, Venezuela

   • Alvaro Restuccia

3. Departamento de Matemáticas, Universidad de Antofagasta, Antofagasta, Chile

   • Adriań Sotomayor

Corresponding author

Correspondence to Adriań Sotomayor.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors contributed equally and read and approved the final manuscript.

Reprints and Permissions