Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering
We consider the initial-boundary value (IBV) problem for nonlinear equations related to the integrable model of the stimulated Raman scattering in the quarter xt-plane with vanishing at infinity initial conditions and single-frequency periodic boundary data. We propose a matrix Riemann-Hilbert probl...
Gespeichert in:
Datum: | 2009 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | English |
Veröffentlicht: |
Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України
2009
|
Schriftenreihe: | Журнал математической физики, анализа, геометрии |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/106534 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering / E.A. Moskovchenko // Журнал математической физики, анализа, геометрии. — 2009. — Т. 5, № 1. — С. 82-103. — Бібліогр.: 14 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-106534 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1065342016-10-01T03:01:47Z Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering Moskovchenko, E.A. We consider the initial-boundary value (IBV) problem for nonlinear equations related to the integrable model of the stimulated Raman scattering in the quarter xt-plane with vanishing at infinity initial conditions and single-frequency periodic boundary data. We propose a matrix Riemann-Hilbert problem, which provides the existence of the solution of the IBV problem for all t and allows us to obtain an explicit formula for the asymptotics of the solution, using the steepest descent method for the oscillatory matrix RH problem introduced by P. Deift and X. Zhou [6]. 2009 Article Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering / E.A. Moskovchenko // Журнал математической физики, анализа, геометрии. — 2009. — Т. 5, № 1. — С. 82-103. — Бібліогр.: 14 назв. — англ. 1812-9471 http://dspace.nbuv.gov.ua/handle/123456789/106534 en Журнал математической физики, анализа, геометрии Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
English |
description |
We consider the initial-boundary value (IBV) problem for nonlinear equations related to the integrable model of the stimulated Raman scattering in the quarter xt-plane with vanishing at infinity initial conditions and single-frequency periodic boundary data. We propose a matrix Riemann-Hilbert problem, which provides the existence of the solution of the IBV problem for all t and allows us to obtain an explicit formula for the asymptotics of the solution, using the steepest descent method for the oscillatory matrix RH problem introduced by P. Deift and X. Zhou [6]. |
format |
Article |
author |
Moskovchenko, E.A. |
spellingShingle |
Moskovchenko, E.A. Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering Журнал математической физики, анализа, геометрии |
author_facet |
Moskovchenko, E.A. |
author_sort |
Moskovchenko, E.A. |
title |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering |
title_short |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering |
title_full |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering |
title_fullStr |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering |
title_full_unstemmed |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering |
title_sort |
simple periodic boundary data and riemann-hilbert problem for integrable model of the stimulated raman scattering |
publisher |
Фізико-технічний інститут низьких температур ім. Б.І. Вєркіна НАН України |
publishDate |
2009 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/106534 |
citation_txt |
Simple Periodic Boundary Data and Riemann-Hilbert Problem for Integrable Model of the Stimulated Raman Scattering / E.A. Moskovchenko // Журнал математической физики, анализа, геометрии. — 2009. — Т. 5, № 1. — С. 82-103. — Бібліогр.: 14 назв. — англ. |
series |
Журнал математической физики, анализа, геометрии |
work_keys_str_mv |
AT moskovchenkoea simpleperiodicboundarydataandriemannhilbertproblemforintegrablemodelofthestimulatedramanscattering |
first_indexed |
2025-07-07T18:36:52Z |
last_indexed |
2025-07-07T18:36:52Z |
_version_ |
1837014359114514432 |
fulltext |
Journal of Mathematical Physics, Analysis, Geometry
2009, vol. 5, No. 1, pp. 82�103
Simple Periodic Boundary Data and Riemann�Hilbert
Problem for Integrable Model of the Stimulated Raman
Scattering
E.A. Moskovchenko
Mathematical Division, B. Verkin Institute for Low Temperature Physics and Engineering
National Academy of Sciences of Ukraine
47 Lenin Ave., Kharkiv, 61103, Ukraine
E-mail:kuznetsova@ilt.kharkov.ua
Received March 24, 2008
We consider the initial-boundary value (IBV) problem for nonlinear equa-
tions related to the integrable model of the stimulated Raman scattering in
the quarter xt-plane with vanishing at in�nity initial conditions and single-
frequency periodic boundary data (pei!t). We propose a matrix Riemann�
Hilbert problem, which provides the existence of the solution of the IBV
problem for all t and allows us to obtain an explicit formula for the asymp-
totics of the solution, using the steepest descent method for the oscillatory
matrix RH problem introduced by P. Deift and X. Zhou [6].
Key words: nonlinear equations, Riemann�Hilbert problem, the steepest
descent method, asymptotics.
Mathematics Subject Classi�cation 2000: 37K15, 35Q15, 35B40.
1. Introduction
The phenomenon of stimulated Raman scattering (SRS) is described by three
coupled PDEs. In the transient limit these equations are integrable [1, 2], i.e.
they admit a Lax pair formulation. Paper [1] is devoted to the Raman soliton
generation from laser inputs in the SRS model. In [2], the authors studied the
asymptotic behavior of the solution of the initial-boundary-value (IBV) problem
in the semistrip (x 2 [0;1), t 2 [0; 1]) by using the method [3] based on the
simultaneous spectral analysis of the two parts forming the Lax pair and a ma-
trix Riemann�Hilbert problem on the complex k-plane. This method includes
more boundary values than required for a well-posed IBV problem. This over-
determination of the boundary data implies the so-called global relation [3, 4]
c
E.A. Moskovchenko, 2009
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
between the corresponding spectral functions. Fortunately, the initial boundary
value problem for nonlinear SRS equations considered below is a nice model of
PDEs, which can be solved by using the matrix Riemann�Hilbert problem with-
out restrictions caused by global relation. In this case all spectral functions are
uniquely de�ned by given initial and boundary data only. For the �nite domain
[0; L]x[0;T] the IBV problem for the SRS equations was studied in [5], where the
di�culties on the presence of two essential singularities in the matrix Riemann-
Hilbert problem have been overcome. In the present paper, we consider the IBV
problem for the SRS equations in the quarter xt-plane with vanishing at in�nity
initial function and simple periodic boundary data. In general, one can propose
di�erent matrix RH problems suitable for the given IBV problem. We propose
a matrix Riemann�Hilbert problem, which provides the existence of the solution
for all t and allows us to obtain an explicit formula for the asymptotics of the
solution, using the steepest descent method for the oscillatory matrix RH problem
introduced by P. Deift and X. Zhou [6]. To make the asymptotic analysis more
transparent we restrict our attention to the special case when boundary data take
the single-frequency periodic form, and the initial function is identically equal
to zero. We show that in the region x > !
2
t, where ! is the frequency of the
boundary data, see (3) below, the asymptotics has a quasi-linear dispersive cha-
racter and is described by Zakharov�Manakov type formula. In other regions the
asymptotic analysis turns to be more complicated and will be presented elsewhere.
The IBV problem under consideration is
2iqt = �; �x = 2i�q; �x = i(�q�� q��); x 2 (0;1); t 2 (0;1); (1)
with the initial function
q(x; 0) = u(x); x 2 (0;1); (2)
and the boundary condition
�(0; t) = pei!t; p > 0; (3)
�(0; t) = l = const; l 2 R: (4)
We suppose that the function u(x) is absolutely continuous, xu(x) and u0x(x) 2
L
1(0;1):
1Z
0
[xju(x)j+ ju0x(x)j]dx <1: (5)
Let the absolutely continuous in x and t functions q(x; t); �(x; t) 2 C ; �(x; t) 2 R
satisfy the SRS equations (1) on the semi-in�nite domain x; t 2 ((0;1)� (0;1)),
initial (2) and boundary (3) conditions. Since (1) implies
@
@x
�
�
2(x; t) + j�(x; t)j2
�
= 0;
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 83
E.A. Moskovchenko
in what follows we assume that
�
2(x; t) + j�(x; t)j2 � 1
and, particularly, p2 + l
2 = 1. All considerations of the paper are valid if the
boundary conditions (3), (4) are replaced by
�(0; t) = pei!t + v(t); �(0; t) = l + w(t); (6)
where v(t) and w(t) are given functions decreasing fast as t ! 1. The IBV
problem of this type was considered in [7], where the generation of asymptotic
solitons by boundary data (6) was studied using the Marchenko integral equations.
Notice that, if q(x; t) is real and 2q = vx, � = i sinv, � = cos v, then the SRS
equations are reduced to the sine-Gordon equation
vxt = sin v: (7)
The asymptotic behavior of the rapidly decreasing (as jxj ! 1) solution was
studied in [8].
2. Basic Solutions of Linear Over-Determined Equations
For studying the initial boundary value problem (1)�(3), we will use
the simultaneous spectral analysis [3] of the linear x-equation
�x + ik�3� = Q(x; t)�; (8)
�3 =
�
1 0
0 �1
�
; Q(x; t) =
�
0 q(x; t)
��q(x; t) 0
�
(9)
and the linear t-equation
�t =
i
4k
bQ(x; t)�; (10)
bQ(x; t) = � �(x; t) i�(x; t)
�i��(x; t) ��(x; t)
�
; (11)
where �(x; t; k) is a 2� 2 matrix-valued function and k 2 C is a parameter. Let
us rewrite equations (8), (10) in the equivalent form:
Wx = U(x; t; k)W; U(x; t; k) = Q(x; t)� ik�3; (12)
Wt = V (x; t; k)W; V (x; t; k) =
i
4k
bQ(x; t): (13)
84 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
It is easy to verify that the over-determined system of di�erential equations (12),
(13) is compatible (i.e., @2W
@x@t
= @2W
@t@x
) if and only if the matrices U(x; t; k) and
V (x; t; k) satisfy the compatibility condition
Ut(x; t; k)� Vx(x; t; k) + U(x; t; k)V (x; t; k)� V (x; t; k)U(x; t; k) = 0; k 2 C ;
(14)
which is equivalent to the SRS equations (1) on the functions q(x; t), �(x; t),
�(x; t).
Below we will use the following lemma.
Lemma 2.1. Let the compatibility condition (14) be ful�lled for all k 2 C .
Let W (x; t; k) be a matrix satisfying the x-equation (12) for all t (the t-equation
(13) for all x). Assume that W (x0; t; k) satis�es the t-equation (13) for some
x = x0 (W (x; t0; k) satis�es the x-equation (12) for some t = t0), including the
case when x0 =1 ( t0 =1). Then W (x; t; k) satis�es the t-equation (13) for all
x (satis�es the x-equation (12) for all t).
P r o o f. Let W = W (x; t; k) be a solution to (12). Then, due to the com-
patibility condition the matrix Ŵ (x; t; k) =Wt � V (x; t; k)W is also the solution
to (12). Indeed, Ŵx = U(x; t; k)Ŵ +(Ut�Vx+UV �V U)W = U(x; t; k)Ŵ : Since
the matrices W and Ŵ are the solutions of the same equation (12), it follows that
Ŵ (x; t; k) =W (x; t; k)C(t; k) for some C(t; k) independent of x. By assumption,
Ŵ (x0; t; k) = 0. Hence C(t; k) � 0 and thus Ŵ (x; t; k) � 0, what means that
W (x; t; k) satis�es the t-equation (13) for all x. The proof of the statement with
x and t interchanged is similar.
To introduce the basic solutions of the over-determined equations we have to
�nd the exact solution of the t-equation for x = 0. It takes the form
�t =
i
4k
�
l ipei!t
�ipe�i!t �l
�
�: (15)
The following matrix
E(t; k) = 1
2
ei!�3t=2
0B@
1
{(k)
+ {(k)
1
{(k)
� {(k)
1
{(k)
� {(k)
1
{(k)
+ {(k)
1CA e�i
(k)�3t (16)
is a solution of this equation if
{(k) = 4
r
k �E
k � �E
;
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 85
E.A. Moskovchenko
where
E =
l
2!
+
ip
2j!j = E1 + iE2;
�E = E1 � iE2;
and
(k) =
j!j
2k
q
(k �E)(k � �E):
Without loss of generality we assume here and in what follows that
! > 0. Indeed, we obtain the case ! < 0 if we take the complex conjugated func-
tions �q(x; t); ��(x; t); �(x; t) instead of q(x; t); �(x; t); �(x; t). To �x the branches
of the roots we choose a cut in the complex k-plane along the curve
[ �
, where
Im
(k) = 0, and de�ne {(k) and
(k) as
{(k) = 1 +O(k�1);
(k) =
!
2
+O(k�1); k !1:
A simple analysis shows that the set � := fk 2 C j Im
(k) = 0g consists of the
real line Im k = 0 and the circle arc
̂, which is de�ned by�
k1 �
jEj2
2E1
�2
+ k
2
2 =
� jEj2
2E1
�2
;
k
2
1 + k
2
2 � jEj2
(see Fig. 1). If
�(k), {�(k) are boundary values of the functions
(k), {(k) on
the cut
[ �
from the right (+) and left (-) sides of the cut, then
+(k) = �
�(k); {�(k) = i{+(k):
Then the matrix-valued function E(t; k) is analytic when being away from the
point 0, where it has an essential singularity, and the circle arc
̂.
The function
(k) has the following asymptotics:
(k) =
8><>:
!
2
� l
4k
+O(k�2); k !1;
� 1
4k
� l!
2
+O(k); k ! 0; sign(l!) = �1:
In the present paper we consider the case l < 0 and ! > 0. The matrix E(t; k)
behaves as follows:
E(t; k) = I +O(k�1); k !1
and
E(t; k)eit�3=4k = E0(t) +O(k); k ! 0;
where
E0(t) = ei!t�3=2
�
cos(argE
2
) �i sin(argE
2
)
�i sin(argE
2
) cos(argE
2
)
�
ei!lt�3=2:
86 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
Im k
Re k
E
0
��l
���
�
�
�
�
E
Fig. 1: Set �; !l < 0.
Now we introduce the basic solutions (eigenfunctions) of equations (8) and
(10). The �rst eigenfunction has the form:
�1(x; t; k) =
�
e�ikx�3 +
xZ
�x
K(x; y; t)e�iky�3dy
�
E(t; k); (17)
where the kernel K(x; y; t) is chosen to be so that the �rst factor satis�es the x-
equation (8) for all t, and the second factor satis�es the t-equation (10) for x = 0.
By Lemma 2.1, �1(x; t; k) satis�es both equations (8) and (10). The existence of
the solution represented by the transformation operators with the kernelK(x; y; t)
is proved in [9].
If the functions q(x; t), �(x; t) and �(x; t) are absolutely continuous in x and t
and satisfy the initial and boundary conditions (2)�(3) and the di�erential equa-
tions (1) almost everywhere, then the matrix valued function (17) has the following
properties:
1) �1(x; t; k) satis�es the x- and t-equations (8)�(10) for k 2 C n(f0g[fEg[f �Eg);
2) �1(x; t; k) = � ��1(x; t; �k)�
�1, k 2 C n (f0g[fEg[f �Eg), where � =
�
0 1
�1 0
�
;
3) det�1(x; t; k) � 1; k 2 C ;
4) for k 6= 0; E; �E the map (x; t) 7�! �1(x; t; k) is absolutely continuous together
with its partial derivatives;
5) the map k 7�! �1(x; t; k) is analytic in k 2 C n (f0g [
[ �
) and it has the
forth root singularities at the points E and �E;
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 87
E.A. Moskovchenko
6) �1(x; t; k)e
ikx�3 = I +O(k�1) +O(k�1e2ikx�3); k !1;
7) �1(x; t; k)e
it�3
4k = �0(x; t) +O(k); k ! 0;
�0(x; t) =
0@I + xZ
�x
K(x; y; t)dy
1A E0(t):
The eigenfunction �2(x; t; k) normalized by the condition
�2(0; 0; k) = I
has the form
�2(x; t; k) =
�
e�ikx�3 +
xZ
�x
K(x; y; t)e�iky�3dy
�
E(t; k)E�1(0; k): (18)
It is related to �1(x; t; k) by
�1(x; t; k) = �2(x; t; k)E(0; k):
The eigenfunction �2(x; t; k) satis�es the properties 1)�6) and 7) with
�0(x; t)E�10 (0) instead of �0(x; t).
Finally, we chose the eigenfunction �3(x; t; k) in the form:
�3(x; t; k) =
�
e�
it�3
4k +
i
4k
tZ
�t
L(x; t; s)e�
is�3
4k ds
�
(19)
�
�
e�ikx�3 +
1Z
x
N(x; y)e�iky�3dy
�
;
where the kernels L(x; y; s) and N(x; y) are such that the �rst factor satis�es
(10) for any x, and the second factor satis�es (8) for t = 0. Due to Lem. 2.1,
�3(x; t; k) satis�es both equations (8) and (10). The matrix �3(x; t; k) possesses
the properties 1)�4) for k 2 R n f0g. Other important properties �3(x; t; k) are
as follows:
5) the matrix columns [�3]1(x; t; k) and [�3]2(x; t; k) are analytic in k 2 C � ;
respectively;
6) at in�nity they have the asymptotics:
[�3]1(x; t; k)e
ikx =
�
1
0
�
+O(k�1); k !1; Imk � 0;
88 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
[�3]2(x; t; k)e
�ikx =
�
0
1
�
+O(k�1); k !1; Im k � 0;
7) for k ! 0 and Imk 6= 0 they have the following asymptotics:
[�3]1(x; t; k)e
it
4k = [�̂3]1(x; t) +O(k); k ! 0; Im k < 0;
[�3]2(x; t; k)e
� it
4k = [�̂3]2(x; t) +O(k); k ! 0; Im k > 0;
where [�̂3]1(x; t) and [�̂3]2(x; t) are some absolutely continuous vector-functions
depending on the entries of matrices L(x; t; s) and N(x; y). The existence of the
transformation operators with kernels K(x; y; t), L(x; t; s) and N(x; y) can be
proved in the same way as in [9].
Since all the introduced matrix valued functions �j(x; t; k), j = 1; 2; 3, are the
solutions to the x- and t-equations (8)�(10), they are linear dependent, so there
exist transition matrices S(k), s(k) and R(k) independent of x and t such that
�1(x; t; k) = �2(x; t; k)S(k); �2(x; t; k) = �3(x; t; k)s(k); (20)
�1(x; t; k) = �3(x; t; k)R(k): (21)
They can be written as follows:
S(k) = E(0; k); s(k) = ��13 (0; 0; k); R(k) = s(k)S(k):
The transition matrices have the following representations:
s
�1(k) =
�
�a(�k) b(k)
��b(�k) a(k)
�
; (22)
S(k) =
�
�A(�k) B(k)
� �B(�k) A(k)
�
; (23)
where
a(k) = 1 +
1Z
0
N22(0; y)e
iky
dy; b(k) =
1Z
0
N12(0; y)e
iky
dy;
2A(k) = {(k) +
1
{(k)
= 2 �A(�k); 2B(k) =
� 1
{(k)
� {(k)
�
= �2 �B(�k):
The functions N12(0; y) and N22(0; y) are absolutely continuous and their deriva-
tives belong to the space L1(0;1). For R(k) = s(k)S(k) we have
R(k) =
�
�aR(�k) bR(k)
��bR(�k) aR(k)
�
; (24)
where aR(k) = �a(�k)A(k) + �b(�k)B(k) and bR(k) = a(k)B(k) � b(k)A(k).
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 89
E.A. Moskovchenko
Further we prove a one-to-one correspondence between the initial function
u(x) and spectral data a(k) and b(k). Namely, let u(x) be absolutely continu-
ous, xu(x); u0x(x) 2 L
1(0;1). Then the vector-function (x; k) := [�3]2(x; 0; k)
(the second column of the matrix �3(x; t; k)), which satis�es the equation
x + ik�3 =
�
0 u(x)
��u(x) 0
�
; 0 < x <1; (25)
and the boundary condition
lim
x!1
(x; k)e�ikx =
�
0
1
�
:
de�nes the direct map
S : fu(x)g ! fa(k); b(k)g (26)
by the formula �
b(k)
a(k)
�
= (0; k):
The spectral data a(k) and b(k) possess the following properties:
1) a(k) and b(k) are analytic in k 2 C + and continuous in k 2 C + functions
represented in the form
a(k) = 1 +
1Z
0
�(y)eikydy; b(k) =
1Z
0
�(y)eikydy;
where �(y); �(y) are absolutely continuous and �
0
y(y); �
0
y(y) 2 L
1(0;1);
2) ja(k)j2 + jb(k)j2 � 1; k 2 R;
3) a(k) = 1 +O(k�1); b(k) = O(k�1); k !1.
The inverse map Q is given by
u(x) = 2i lim
k!1
kM
(x)
12 (x; k); (27)
where M
(x)
12 (x; k) is the entry (12) of matrixM (x)(x; k). This matrix is the unique
solution of the following Riemann�Hilbert problem:
� M
(x)(x; k) is a sectionally analytic matrix valued function in k 2 C n�, where
the oriented contour � is a union of the real line R and the circle S1 = fk 2 C :
jkj = jS1jg, where jS1j is a su�ciently large positive number. The orientation
of � is chosen so that k-plane is a union of the two open domains
� and their
common boundary � (Fig. 2).
� M
(x)(x; k) = I +O(k�1); k !1.
� M
(x)
+ (x; k) =M
(x)
� (x; k)J (x)(x; k); k 2 �;
90 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
0
S 8
�
�
�
�
�
�
�
�
Fig. 2: The oriented contour � for the x-problem.
where M
(x)
+ (x; k), M
(x)
� (x; k) are the boundary values of matrix M
(x)(x; k) on
contour � from domains
+,
�, and
J
(x)(x; k) =
8>>>><>>>>:
1 0
0 1
!
; k 2 R; jkj < jS1j;
1 b(k)
a(k)
e�2ikx
�b(�k)
�a(�k)
e2ikx 1
ja(k)j2
!
; k 2 R; jkj > jS1j;
(28)
J
(x)(x; k) =
8>>>><>>>>:
1 b(k)
a(k)
e�2ikx
0 1
!
; jkj = jS1j; arg k 2 (0; �);
1 0
�b(�k)
�a(�k)
e2ikx 1
!
; jkj = jS1j; arg k 2 (�; 2�):
(29)
This RH problem is uniquely solvable [12].
3. Main Matrix Riemann�Hilbert Problem: Reconstruction
of the SRS Model
Under the assumption that x- and t-equations (8) and (10), respectively, are
compatible, the relations (20) between their solutions can be written in the form
of the matrix Riemann�Hilbert problem.
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 91
E.A. Moskovchenko
Let q(x; t); �(x; t); �(x; t) be absolutely continuous functions with respect to
x 2 [0;1) and t 2 [0;1) satisfying the SRS equations (1), the initial (2) and
boundary (3) conditions. Then the relations (20) de�ne a map
SR : fq(x; t); �(x; t); �(x; t)g ! fa(k); b(k); A(k); B(k)g: (30)
In fact the spectral functions fa(k); b(k)g are de�ned by initial function u(x) =
q(x; 0); and the spectral functions fA(k); B(k)g are de�ned by boundary data.
In our case they take the explicit form
2A(k) = {(k) +
1
{(k)
= 2 �A(�k); 2B(k) =
� 1
{(k)
� {(k)
�
= �2 �B(�k):
To describe the map inverse to (30) we additionally use the auxiliary spectral
functions aR(k) = �a(�k)A(k) + �b(�k)B(k) and bR(k) = a(k)B(k) � b(k)A(k) which
are the entries of the transition matrix R(k) = s(k)S(k).
The inverse (to (30)) map QR is de�ned by
q(x; t) = 2im1
12(x; t); (31)
�(x; t) = m11(x; t); (32)
�(x; t) = �im12(x; t); (33)
where
m
1(x; t) = lim
k!1
kM(x; t; k);
m(x; t) = �m0(x; t)�3m
�1
0 (x; t);
m0(x; t) = lim
k!0
M(x; t; k);
and the matrix M(x; t; k) is the solution of the following Riemann�Hilbert prob-
lem RHxt:
� M(x; t; k) is sectionally analytic for k 2 C n �; the oriented contour � is
de�ned as follows: � = R [ S1 [
[ �
(Fig. 3);
� M(x; t; k) has the fourth-root singularities at the points E and �E;
� M�(x; t; k) =M+(x; t; k)J(x; t; k); k 2 �, where
92 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
0
S 8
�
�
�
�
�
�
�
�
�
��
Fig. 3: The contour � for the xt-problem.
J(x; t; k) =
8>>>>>>>>>>>>>>>>>>><>>>>>>>>>>>>>>>>>>>:
0@ aR(k) 0
�bR(�k)e
2it�(k) 1
aR(k)
1A ; jkj = jS1j; Im k < 0;
0BB@ 1
bR(k)
aR(k)
e�2it�(k)
�bR(�k)
�aR(�k)
e2it�(k)
1
jaR(k)j2
1CCA ; jkj > jS1j; Im k = 0;
0@�aR(�k) bR(k)e
�2it�(k)
0
1
�aR(�k)
1A ; jkj = jS1j; Im k > 0;
J(x; t; k) =
8>>>>>><>>>>>>:
1 0
0 1
!
; jkj < jS1j; Im k = 0;
0 �ie�2it�(k)
�ie2it�(k) 0
!
; k 2
[ �
;
with �(k) =
1
4k
+ k
x
t
;
� M(x; t; k) = I +O(k�1); k !1;
� M(x; t; k) = m0(x; t) +O(k); k ! 0:
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 93
E.A. Moskovchenko
P r o o f. To construct the Riemann�Hilbert problem RHxt, we de�ne the
following matrices:
M(x; t; k) =
8>>><>>>:
�
[�1]1(x; t; k)
�aR(�k)
; [�3]2(x; t; k)
�
eit�(k)�3 ; jkj > jS1j; Imk > 0;
�1(x; t; k)e
it�(k)�3 ; jkj < jS1j; Imk > 0;
M(x; t; k) =
8>>><>>>:
�1(x; t; k)e
it�(k)�3 ; jkj < jS1j; Imk < 0;
�
[�3]1(x; t; k);
[�1]2(x; t; k)
aR(k)
�
eit�(k)�3 ; jkj > jS1j; Imk < 0;
where [�1]1;2(x; t; k), [�3]1;2(x; t; k), are the vector columns of the matrices
�1(x; t; k) = ([�1]1(x; t; k); [�1]2(x; t; k));
�3(x; t; k) = ([�3]1(x; t; k); [�3]2(x; t; k)):
The radius jS1j of the circle S1 is su�ciently large so that aR(k) 6= 0 (�aR(�k) 6= 0)
for jkj > jS1j, Im k < 0, Imk > 0. Then the matrices M�(x; t; k) are analytic
functions in the domains
�. They have the forth root singularities at the points
E and �E, because the matrix �1(x; t; k) as well as the matrix E(t; k) has the same
singularities at these points. The determinants of these matrices are equal to one,
which follows from the vector relations
[�1]1(x; t; k) = �aR(�k)[�3]1(x; t; k) � �bR(�k)[�3]2(x; t; k);
[�1]2(x; t; k) = bR(k)[�3]1(x; t; k) + aR(k)[�3]2(x; t; k)
arising from (20). Direct calculation gives the form of the jump matrix J(x; t; k)
on di�erent parts of �. The asymptotic formulas for M(x; t; k) as k ! 1 and
k ! 0 follow from the corresponding equations for the eigenfunctions, see Sect. 2,
and from the asymptotic behavior of the spectral function aR(k). In particular,
we have M�(x; t; k) = �0(x; t) +O(k); k ! 0: Therefore m0(x; t) = �0(x; t):
Using general ideas of [11] and the results of [12] for contours with self-
intersections, we prove the following theorem.
Theorem 3.1. Let u(x) be an absolutely continuous function satisfying (5).
Let �(0; t) = l, l < 0, �(0; t) = pe
2i!t (!; p > 0, l2+p2 = 1). Let fa(k); b(k); A(k);
B(k)g be the corresponding spectral functions. Then the Riemann�Hilbert problem
RHxt has the unique solution M(x; t; k). The functions q(x; t), �(x; t) and �(x; t),
de�ned by the equations
q(x; t) = 2i lim
k!1
kM12(x; t; k); (34)
94 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
�(x; t) = m11(x; t); �(x; t) = �im12(x; t)
with the matrix
m(x; t) = �M(x; t; 0)�3M
�1(x; t; 0);
satisfy the SRS equations (1), the initial condition
q(x; 0) = u(x); x 2 (0;1);
and the boundary conditions
�(0; t) = l; �(0; t) = pei!t; t 2 (0;1):
The proof of this theorem is performed in the same way as in [5] and [10].
4. Asymptotic Behaviour of the Solution
in the Zakharov�Manakov Region
In this section we study the asymptotic behavior of the solution to the IBV
problem (1)�(3) as t ! 1. To �x the ideas of asymptotic analysis and to make
it more transparent we restrict our attention to a special case when the initial
function is equal to zero identically. We will use the steepest descent method [6]
by P. Deift and X. Zhou; many technical details of this method become much
more simple in this special case. We describe the asymptotics of the solution in
the sector x > !
2
t, where it has a quasilinear dispersive character. In the adjacent
sector x < !
2
t of the quarter xt-plane the asymptotics is more complicated and
will be studied elsewhere.
For the case u(x) � 0, �(0; t) = pei!t and �(0; t) = l the corresponding spectral
functions are as follows:
a(k) � 1; b(k) � 0; (35)
aR(k) = A(k) =
1
2
�
{(k) +
1
{(k)
�
; bR(k) = B(k) =
1
2
�
1
{(k)
� {(k)
�
;
(36)
where {(k) = 4
r
k �E
k � �E
, E =
l + ip
2!
(!; p > 0; l < 0; l2 + p
2 = 1). These formulas
show that the spectral data A(k) and B(k) are analytic functions everywhere with
the exception of arc
[ �
, and that A(k) 6= 0. We recall that the complex k-plane
is cut along the contour
[ �
. Therefore the main Riemann�Hilbert problem
RHxt can be reduced to the equivalent one:
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 95
E.A. Moskovchenko
� matrix valued function M
(1)(x; t; k) is analytic in the domain C + n
and
C � n �
;
� M
(1)(x; t; k) has the fourth-root singularities at the points E and �E;
� M
(1)
� (x; t; k) =M
(1)
+ (x; t; k)J (1)(x; t; k); k 2 R [
[ �
, where
J
(1)(x; t; k) =
8>>>>>>>>>>>>>><>>>>>>>>>>>>>>:
1 %(k)e�2it�(k)
�%(k)e2it�(k) 1� %
2(k)
!
; k 2 R;
1 0
f(k)e2it�(k) 1
!
; k 2
;
1 f(k)e�2it�(k)
0 1
!
; k 2 �
;
� M
(1)(x; t; k) = I +O(k�1); k !1;
� M
(1)(x; t; k) = ~m0(x; t) +O(k); k ! 0;
where %(k) :=
B(k)
A(k)
and f(k) := %�(k)� %+(k) = � 1
B+(k)A+(k)
.
� The functions q(x; t), �(x; t) and �(x; t) are determined by M
(1)(x; t; k) in
the same way as in (34).
P r o o f. Since aR(k) � A(k) 6= 0 for all k, the RHxt problem can be
simpli�ed. Indeed, let us transform the initial matrix M(x; t; k) to the following
one
M
(1)(x; t; k) =M(x; t; k)G(1)(x; t; k);
where G(1)(x; t; k) =
�
1 0
0 1
�
for jkj > jS1j and
G
(1)(x; t; k) =
8>>>>>><>>>>>>:
1
A(k)
�B(k)e�2it�(k)
0 A(k)
!
; jkj < jS1j; Im k > 0;
A(k) 0
�B(k)e2it�(k) 1
A(k)
!
; jkj < jS1j; Im k < 0:
The transformation eliminates the circle S1, where the jump matrix J(x; t; k) =
G
(1)(x; t; k) is unbounded as t ! 1. It is easy to see that the matrix valued
function M
(1)(x; t; k) is analytic in the domains C + n
and C � n �
and has the
forth-root singularities at branch points. The new jump matrix coincides with
96 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
the jump matrix J
(1)(x; t; k). Furthermore, since
G
(1)(x; t; k) =
8>>>>>><>>>>>>:
1
A(k)
O(e�t Imk=2jkj2)
0 A(k)
!
; k ! 0; Im k > 0;
A(k) 0
O(et Imk=2jkj2) 1
A(k)
!
; k ! 0; Im k < 0
becomes diagonal in the limit as t!1, then
lim
k!0
M1(x; t; k)�3M
�1
1 (x; t; k) = lim
k!0
M(x; t; k)�3M
�1(x; t; k)
and, thus, �(x; t) and �(x; t) given by M1(x; t; k) according to (34) are similar to
the ones given byM(x; t; k). Finally, since M1(x; t; k) =M(x; t; k) for jkj > jS1j;
we have that the same is true for q(x; t).
�
�
�
�
�
Fig. 4: The signature table of the function Im �(k).
To study the asymptotic behavior of the Riemann�Hilbert problem RHxt in
the region x > !
2
t we use the well-known technics from [6, 13, 14]. In what
follows, a signi�cant role is played by the decomposition of the complex k-plane
according to the signature table of the imaginary part of the phase function �(k) =
1
4
�
1
k
+ k
�2
�
, where �2 = t=4x. The stationary points of the phase function �(k)
are real and equal to ��. We have
Im �(k) =
jkj2 � �
2
4jkj2�2 Im k:
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 97
E.A. Moskovchenko
Thus Im �(k) > 0 (Im �(k) < 0) for k lying in the lower (upper) half-disk and out
of the upper (lower) half-disk de�ned by the circle jkj = � (Fig. 4). For � < jEj =
1=2! (that is, for x > !
2
t), the jump matrix J
(1)(x; t; k) approaches the identity
matrix as t ! 1 for k 2
[ �
. Hence the contour
[ �
does not contribute to
the main term of asymptotics, which is de�ned by the stationary points �� and
has the order O(t�1=2). The contour
[ �
plays a crucial role in the description
of asymptotics in the region x < !
2
t. We conjecture that in this region the
asymptotics is of order O(1) and takes the form of an elliptic modulated wave
for jEj < � < �0 and a plane wave for �0 < � < 1. In this paper we study the
asymptotics in the region x > !
2
t only.
To study the asymptotic behavior of the RH problem for the matrix
M
(1)(x; t; k) let us use the transform
M
(2)(x; t; k) =M
(1)(x; t; k)��3 (k);
where the function Æ(k) is equal to (cf.[6])
Æ(k) = exp
8><>: 1
2�i
�Z
��
log(1� %
2(s))ds
s� k
9>=>; ; k 2 C n [��; �];
and � =
p
t=4x > 0. Then the jump matrix J
(2)(x; t; k) has a lower/upper
factorization for jkj < � and an upper/lower factorization for jkj > �
J
(2)(x; t; k) =
8>>>>>>>>><>>>>>>>>>:
1 A(k)B(k)Æ2+(k)e
�2it�(k)
0 1
!
1 0
�A(k)B(k)�2� (k)e2it�(k) 1
!
;
jkj < �;
1 0
�%(k)�2(k)e2it�(k) 1
!
1 %(k)Æ2(k)e�2it�(k)
0 1
!
; jkj > �;
where we use the identity
%(k)
1� %2(k)
= A(k)B(k):
The jump matrices on the contours
[ �
are
J
(2)(x; t; k) =
8>>>>>><>>>>>>:
1 0
f(k)�2(k)e2it�(k) 1
!
; k 2
;
1 �f(k)Æ2(k)e�2it�(k)
0 1
!
; k 2 �
:
98 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
Let us de�ne a decomposition of the complex k-plane into six domains
D1; : : : ;D6 as shown in Fig. 5. The contours L2 and L5 lie in the disk jkj < �;
the contours L1, L6 (L3, L4) range from the point � (��) to in�nity along the
rays arg k = ��=4 (arg k = � � �=4). Then the next transformation is
M
(3)(x; t; k) =M
(2)(x; t; k)G(2)(k);
where
G
(2)(k) =
8>>>>>>>>>>>>>><>>>>>>>>>>>>>>:
1 0
�%(k)�2(k)e2it�(k) 1
!
; k 2 D1 [D3;
1 0
0 1
!
; k 2 D2 [D5;
1 �%(k)Æ2(k)e�2it�(k)
0 1
!
; k 2 D4 [D6;
(37)
G
(2)(k) =
8>>>>>><>>>>>>:
1 A(k)B(k)Æ2(k)e2it�(k)
0 1
!
; k 2 D8;
1 0
A(k)B(k)�2(k)e�2it�(k) 1
!
; k 2 D7:
(38)
D
D
D
D
D
D
D
D
1
2
3
4
5
6
7
8
�
�
_
-
L1
L6
L5
L2
L
3
L4
Fig. 5: The contour � for the M (3)(x; t; k)-problem.
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 99
E.A. Moskovchenko
Remark 4.1. The transformation M
(2)(x; t; k) ! M
(3)(x; t; k) has the form
as above due to the fact that %(k), corresponding to the initial and boundary data
considered here, is in fact analytic outside
[ �
(see (35), (36)). An analogous
transformation in the case of more general initial and boundary conditions (i.e.
when, for example, the initial function is fast decreasing as x ! 1) requires
an analytic approximation of the corresponding spectral functions (cf. [6]).
The G-transformation leads to the following RH problem
M
(3)
� (x; t; k) =M
(3)
+ (x; t; k)J (3)(x; t; k)
on the contour depicted in Fig. 5 with the jump matrices J (3)(x; t; k) which are
equal to the identity matrix on real axis, they coincide with the matrices G(2)(k)
from (37)�(38) chosen for the contours k 2 Lj , j = 1; 2; : : : ; 6. Moreover, the
jump matrix J (3)(x; t; k) is equal to the identity matrix on the arc
[ �
because
f(k) = %�(k)� %+(k). Hence, in the region x > !
2
t (� < 1=2!) the jump across
the arc
[ �
does not contribute to the asymptotics of the solution. Furthermore,
it is easy to see that J (3)(x; t; k) = I + O(e��t) as t ! 1 and k 2 Lj with the
exception of some neighborhoods of the stationary points ��. Since
M
(3)(x; t; k) = I +
m
(3)
1 (x; t)
k
+O(k�2); k !1;
we have
q(x; t) = 2i[m
(3)
1 (x; t)]12 +O(e�"t); " > 0:
Now we have to evaluate the main contributions from neighborhoods of the
stationary points k0 = �� of the phase function �(k) = 1=4k + k=4�2. To do this
we use the scaling operators
F (k)! [N�F ](z) = F (z
p
�3t�1 + k0)jk0=��;
which for the matrices M (4)(x; t; z)� = [N�M
(3)](z
p
�3t�1 + k0) imply
[m
(3)
1 (x; t)]12 =
r
�3
t
[m
(4)
1 (x; t)]�12:
The scaling operators act on the product Æ(k)e�it�(k) as follows:
[N�Æe
�it�] = Æ
(0)
� (�; t) Æ
(1)
� (z; �; t);
where
Æ
(0)
� (�; t) =
�
4t
�
��i�(k0)=2
e
�it=2�
e
�(k0);
100 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
Æ
(1)
� (z; �; t) = (�z)�i�(k0) e�iz2=4
�
1 +O
�
zp
t
��
with the functions
�(k) =
1
2�
log[1� %
2(k)] =
1
2�
log[1 + j%(k)j2] > 0
and
�(k) = � 1
2�i
�Z
��
log js� k0jd log[1� %
2(s)]:
The function Æ
(0)
� (�; t) does not depend on z, but the functions (�z)�i�(k0) e�iz2=4
do and lead to the model RH problems
H+(z) = H�(z)e
�iz2�3=4J0(k0)e
iz2�3=4;
where
J0(k0) =
�
1� %
2(k0) �%(k0)
%(k0) 1
�
; k0 = ��;
and
H(z) =
�
I +
m
�
1 (�; t)
z
+O(z�2)
�
z
i�(k0)�3 ; z !1:
These problems can be solved explicitly in the terms of parabolic cylinder func-
tions [13]. Thus we have
q(x; t)
=
r
�3
t
��
Æ
(0)
+ (�; t)
�2
2i[m+
1 (�; t)]12 +
�
Æ
(0)
� (�; t)
�2
2i[m�
1 (�; t)]12
�
+ o
�
1p
t
�
;
where
[m�
1 (�; t)]12 = �i
p
2�ei�=4e���(k0)=2
%(k0)�(�i�(k0)))
; k0 = ��;
and �(z) denotes Euler's gamma-function. Finally, using the basic identity
j�(�i�)j2 = j�(i�)j2 = �
� sinh�
;
we come to the following statement.
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 101
E.A. Moskovchenko
Theorem 4.1. Let q(x; t), �(x; t) and �(x; t) be the solution of the
SRS equations (1) with the initial function satisfying (5) and the boundary con-
ditions (3)�(4). Then in the region x > !
2
t, the function q(x; t) has a quasilinear
dispersive character, i.e., it is described by the Zakharov�Manakov type formulas
q(x; t) = 2
r
�3�(�)
t
exp
n
2i
p
xt� i�(�) log
p
xt+ i�(�)
o
+2
r
�3�(��)
t
exp
n
�2i
p
xt+ i�(��) log
p
xt+ i�(��)
o
+ o(t�1=2); t!1;
where the functions �(k) and �(k) are given by the equations
�(k) =
1
2�
log
�
1� %
2(k)
�
; �
2 =
t
4x
;
�(k) =
�
4
� 3�(k) log 2� arg %(k)� arg �(�i�(k))
+
1
�
�Z
��
log js� kjd log[1� %
2(s)]:
Here �(�i�(k)) is the Euler gamma-function, and %(k) = i tan[arg{(k)].
The asymptotics of functions �(x; t) and �(x; t) can be found by formulas
�(x; t) = 2iqt(x; t); �(x; t) =
p
1� j�(x; t)j2:
It is easy to �nd that the residual of this asymptotic solution in the SRS equations
has the order O(log t=t3=2) as t!1 and x > !
2
t.
Remark 4.2. Qualitatively this result is valid for the case u(x) 6= 0 and the
general boundary conditions (6). As we have noticed above, in this case the corre-
sponding transformations of the RH problem include the suitable analytic appro-
ximations of spectral functions.
Acknowledgment. The author thanks V.P. Kotlyarov and D.G. Shepelsky
for helpful discussions, comments and remarks.
References
[1] J. Leon and A.V. Mikhailov, Raman Soliton Generation from Laser Inputs in SRS.
� Phys. Lett. A 253 (1999), 33�40.
[2] A.S. Fokas and C.R. Menyuk, Integrability and Self-Similarity in Transient Stimu-
lated Raman Scattering. � J. Nonlinear Sci. 9 (1999), 1�31.
102 Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1
Simple Periodic Boundary Data and Riemann�Hilbert Problem...
[3] A.S. Fokas, A Uni�ed Transform Method for Solving Linear and Certain Nonlinear
PDEs. � Proc. R. Soc. Lond. A 453 (1997), 1411�1443.
[4] A. Boutet de Monvel, A.S. Fokas, and D.G. Shepelsky, The mKdV Equation on the
Half-Line. � J. Inst. Math. 3 (2004), No. 2, 139�164.
[5] E.A. Moscovchenko and V.P. Kotlyarov, A new Riemann�Hilbert Problem in
a Model of Stimulated Raman Scattering. � J. Phys. A.: Math. Gen. 39 (2006),
14591�14610.
[6] P. Deift and X. Zhou, A Steepest Descent Method for Oscillatory Riemann�Hilbert
Problems. Asymptotics for the MKdV Equation. � Ann. Math. 137 (1993), 295�
368.
[7] E.Ya. Khruslov and V.P. Kotlyarov, Generation of Asymptotic Solitons in an Inte-
grable Model of Stimulated Raman Scattering by Periodic Boundary Data. � Mat.
�z., anal., geom. 10 (2003), 366�384.
[8] A.R. Its and V.E. Petrov, "Isomonodromic" Solutions of the Sine�Gordon Equation
and the Time Asymptotics of its Rapidly Decreasing Solutions. � Dokl. Akad. Nauk
USSR 265 (1982), No. 6, 1302�1306. (Russian)
[9] A. Boutet de Monvel and V.P. Kotlyarov, Scattering Problem for the Zakharov�
Shabat Equations on the Semi-Axis. � Inverse Probl. 16 (2000), 1813�1837.
[10] A. Boutet de Monvel and V. Kotlyarov, Focusing Nonlinear Schr�odinger Equation
on the Quarter Plane with Time-Periodic Boundary Condition: a Riemann�Hilbert
Approach. � J. Inst. Math. 6 (2007), No. 4, 579�611.
[11] L.D. Fadeev and L. Takhtadjan, Hamiltonian Methods in the Theory of Solitons.
Springer, Berlin, 1987.
[12] X. Zhou, Direct and Inverse Scattering Transform with Arbitrary Spectral Singu-
larities. � Comm. Pure Appl. Math. 42 (1989), 895�938.
[13] P. Deift, A. Its, and X. Zhou, Long-time Asymptotics for Integrable Nonlinear Wave
Equations, Important Developments in Soliton Theory. Springer, Ser. Nonlinear
Dynam., Berlin, 1993.
[14] P.A. Deift, A.R. Its, and X. Zhou, A Riemann�Hilbert Approach to Asymptotic
Problems Arising in the Theory of Random Matrix Models, and also in the Theory
of Integrable Statistical Mechanics. � Ann. Math. 146 (1997), 149�235.
Journal of Mathematical Physics, Analysis, Geometry, 2009, vol. 5, No. 1 103
|