16.12.2012 Views

Computer Algebra Recipes

Computer Algebra Recipes

Computer Algebra Recipes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

7.1. THE GRAPHICAL HUNT FOR SOLITONS 293<br />

Felix Bloch. Under the in°uence of an applied magnetic ¯eld, the Bloch wall<br />

(kink soliton) can propagate according to the SGE without changing in shape.<br />

PROBLEMS:<br />

Problem 7-1: Variation in velocity<br />

Explore how the sine{Gordon solitary waves vary in shape as the velocity c is<br />

altered.<br />

Problem 7-2: Cosine{Gordon equation<br />

If the sine term is replaced with a cosine in the SGE, how would the solitarywave<br />

solutions be a®ected? Con¯rm your reasoning by running the text recipe<br />

with a cosine present, instead of the sine term. You will have to alter the initial<br />

conditions to obtain the new separatrixes.<br />

Problem 7-3: Is there or isn't there?<br />

Suppose that the nonlinear term in the SGE is replaced with sin 2 Ã. Using<br />

the phase-plane portrait approach, determine whether there is a solitary-wave<br />

solution to this modi¯ed SGE.<br />

7.1.2 In Search of Bright Solitons<br />

We're all of us sentenced to solitary con¯nement inside our<br />

own skins, for life!<br />

Tennessee Williams, American dramatist (1914{1983)<br />

Our second example illustrates the existence of a bright solitary-wave solution<br />

to the NLSE for the situation that the equation has the plus sign.<br />

The DEtools library package is loaded,<br />

> restart: with(DEtools):<br />

and the NLSE entered.<br />

> NLSE:=I*diff(E(x,t),x)+(1/2)*diff(E(x,t),t,t)<br />

+abs(E(x,t))^2*E(x,t)=0;<br />

μ <br />

@<br />

NLSE := E (x; t) I +<br />

@x 1<br />

μ <br />

2 @<br />

E(x; t) + jE (x; t)j<br />

2 @t2 2 E (x; t) =0<br />

Because of the complex nature of the equation, a slightly di®erent assumption<br />

is made here than in the sine{Gordon example. In this case, a solitary-wave<br />

solution of NLSE of the form E(x; t) =U(t) e ibx is sought, where the parameter<br />

b, the coordinate x, andU(t) are taken as positive.<br />

> ode:=eval(NLSE,E(x,t)=U(t)*exp(I*b*x))<br />

assuming b>0,x>0,U(t)>0;<br />

ode := ¡U (t) be (bxI) + 1<br />

μ <br />

2 d<br />

U (t) e<br />

2 dt2 (bxI) + U (t) 3 e (bxI) =0<br />

This assumption has reduced the NLSE to an ODE, which is simpli¯ed by<br />

dividing by eibx and multiplying by 2.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!