1: % latex2e amsmath, amsymb
2: % RUN twice
3: \documentclass[10pt]{article}
4: \usepackage{amsmath,amssymb,subfigure}
5: \usepackage[dvips]{epsfig}
6: \renewcommand{\baselinestretch}{1.2}
7: \topmargin=0cm
8: \textwidth=15.5cm
9: \oddsidemargin=0pt
10: \evensidemargin=0cm
11: \frenchspacing
12: \renewcommand{\thefigure}{\thesection.\arabic{figure}}
13: \renewcommand{\theequation}{\thesection.\arabic{equation}}
14: \newtheorem{lem}{Lemma}[section]
15: \newtheorem{defn}[lem]{Definition}
16: \newtheorem{rem}[lem]{Remark}
17: \newtheorem{rems}[lem]{Remarks}
18: \newtheorem{cor}[lem]{Corollary}
19: \newtheorem{prop}[lem]{Proposition}
20: \newtheorem{theo}[lem]{Theorem}
21: \newcommand{\proof}{{\bf Proof}:\quad}
22: \newcommand{\nc}{\newcommand}
23: \newcommand{\rnc}{\renewcommand}
24: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
25: %%%%%%%%%%%%%%%%%%%%% Equations %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
26: \nc{\beqn}{\begin{eqnarray*}}
27: \nc{\eeqn}{\end{eqnarray*}}
28: \nc{\be}{\begin{equation}}
29: \nc{\ee}{\end{equation}}
30: \nc{\beqa}{\begin{eqnarray}}
31: \nc{\eeqa}{\end{eqnarray}}
32: %%%%%%%%%%%%Greek Letters %%%%%%%%%%%%%%%%%%%%%%
33: \rnc{\a}{\alpha}
34: \rnc{\d}{\delta}
35: \nc{\ga}{\gamma}
36: \nc{\lb}{\lambda}
37: \nc{\f}{\phi}
38: \nc{\p}{\psi}
39: \nc{\e}{\epsilon}
40: \rnc{\c}{\chi}
41: \nc{\sg}{\sigma}
42: \rnc{\t}{\theta}
43: \nc{\om}{\omega}
44: \rnc{\P}{\Psi}
45: \nc{\G}{\Gamma}
46: \newcommand{\hg}{\hat{\Gamma}_g}
47: %%%%
48: %%%%%%%%Some other definitions%%%%%
49: \nc{\ra}{\rightarrow}
50: \nc{\Ra}{\Rightarrow}
51: \nc{\LRa}{\Leftrightarrow}
52: \nc{\lra}{\leftrightarrow}
53: \nc{\ot}{\otimes}
54:
55: %%%%%%%%%% 2x2 matrices %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
56:
57: \nc{\mat}[4]{\left(\begin{array}{cc}#1\\#3\end{array}\right)}
58:
59: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
60: %%%%%this file commands %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
61: \nc{\ca}{\mathcal{A}}
62: \nc{\cf}{\mathcal{F}}
63: \nc{\cn}{\mathcal{N}}
64: \nc{\cs}{\mathcal{S}}
65: \nc{\Gt}{\tilde{\Gamma}}
66: \newcommand{\dozr}{\omega^g_z(r)}
67: \newcommand{\dhozr}{\hat{\omega}^g_z(r)}
68: \nc{\csh}{\hat{\cs}_g}
69: \nc{\dorz}{\omega^g_r(z)}
70: \nc{\dhorz}{\hat{\omega}^g_r(z)}
71: \newcommand{\doq}{\omega_{qq_0}}
72: \newcommand{\dop}{\omega_{pp_0}}
73: \newcommand{\Om}{\Omega}
74: \newcommand{\pie}{\dfrac{1}{2\pi i}}
75: \newcommand{\rres}{\operatornamewithlimits{Res}}
76: \newcommand{\res[1]}{\operatornamewithlimits{Res}_{#1}}
77: \newcommand{\li}{\mathcal{L}}
78: \newcommand{\resi}{\operatornamewithlimits{Res}_{z=\infty}}
79: %\newcommand{\resi}{\dfrac{1}{2\pi i}\int_{C_{\infty}}}
80: %%%%%%%%%%%%%%%%%%%%%%%% vectors %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
81: \newcommand{\vb}{{\vec{\beta}}}
82: \newcommand{\vc}{{\vec{c}}}
83: \newcommand{\vd}{{\vec{\d}}}
84: \newcommand{\vu}{{\vec{u}}}
85: \nc{\VU}{{\vec{U}}}
86:
87: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
88: \newcommand{\Rn}{{\rm I\!R}}
89: \newcommand{\Nn}{{\rm I\!N}}
90: \newcommand{\Pn}{{\rm I\!P}}
91: \begin{document}
92:
93: \title{From the solution of the Tsarev system to the solution of the Whitham equations}
94: \author{Tamara Grava\thanks{Present address: Department of Mathematics, Imperial
95: College, London SW7 2BZ UK, e-mail: t.grava@ic.ac.uk.}\\Department
96: of Mathematics, University of Maryland\\
97: College Park 20742-4015\\ USA}
98: \maketitle
99: \vskip 0.7cm
100: \begin{abstract}
101: \noindent
102: We study the Cauchy problem for the Whitham modulation equations for
103: monotone increasing smooth initial data.
104: The Whitham equations are a collection of one-dimensional
105: quasi-linear hyperbolic systems.
106: This collection of systems is enumerated by
107: the genus g=0,1,2,\dots of the corresponding hyperelliptic
108: Riemann surface. Each of these systems
109: can be integrated by the so called hodograph transform introduced by Tsarev.
110: A key step in the integration process is the solution
111: of the Tsarev linear overdetermined system.
112: For each $g>0$, we construct the unique solution of the Tsarev system,
113: which matches the genus $g+1$ and $g-1$ solutions on the
114: transition boundaries.
115: Next we characterize initial data such that the solution of
116: the Whitham equations has genus $g\leq N$, $N>0$, for
117: all real $t\geq 0$ and $x$.
118: \end{abstract}
119: \vskip 10pt
120: \noindent
121: %\end{titlepage}
122:
123: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
124: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
125: \section{Introduction}
126: The Whitham equations are a collection of quasi-linear hyperbolic systems
127: of the form \cite{W},\cite{FFM},\cite{LL}
128: \begin{equation}
129: \dfrac{\partial u_i}{\partial t}-\lambda_i(u_1,u_2,\dots,u_{2g+1})\dfrac{
130: \partial u_i}{\partial x}=0,\quad x,t,u_i\in\Rn,\;\;\;i=1,...,2g+1,\;
131: \;\;g= 0,1,2,\dots,
132: \label{whithamg}
133: \end{equation}
134: with the ordering $u_1>u_2>\dots>u_{2g+1}$.
135: For a given $g$ the system (\ref{whithamg}) is called $g$-phase
136: Whitham equations. Because of the diagonal form of systems
137: (\ref{whithamg}) the dependent variables $u_1>u_2>\dots>u_{2g+1}$
138: are called Riemann
139: invariants. For $g>0$ the speeds $\lambda_i(u_1,u_2,\dots,u_{2g+1})$,
140: $i=1,2,\dots,2g+1$,
141: depend through $u_1,\dots,u_{2g+1}$ on complete hyperelliptic integrals
142: of genus $g$.
143: For this reason the $g$-phase system is also called genus $g$ system.
144: The zero-phase Whitham equation has the form
145: \begin{equation}
146: \label{burgereq}
147: \dfrac{\partial u}{\partial t}-6u\dfrac{\partial u}{\partial x}=0\,,
148: \end{equation}
149: where we use the notation $u_1=u$.
150: \noindent
151: In this paper we study the initial value problem of the Whitham equations
152: for monotone increasing
153: smooth ($C^{\infty}$) initial data $u(x,t=0)=u_0(x)$, where
154: the range of $u_0(x)$, $x\in \Rn$, is the interval $(a,b)$ and
155: $-\infty\leq a<b\leq +\infty$.
156:
157: \noindent
158: The initial value problem consists of the
159: following. We consider the evolution on the $x-u$ plane
160: of the initial curve $u(x,t=0)=u_0(x)$ according to the zero-phase
161: equation (\ref{burgereq}).
162: The solution $u(x,t)$ of (\ref{burgereq}) with the initial
163: data $u_0(x)$ is given by the characteristic equation
164: \begin{equation}
165: \label{zp}
166: x=-6tu+f(u)
167: \end{equation}
168: where $f(u)$ is the inverse function of $u_0(x)$.
169: The solution $u(x,t)$ in (\ref{zp}) is globally well
170: defined only for $0\leq t<t_0$, where
171: $t_0=\frac{1}{6}\min_{u\in\Rn}[f^{\prime}(u)]$ is the time of gradient
172: catastrophe of (\ref{zp}).
173: Near the point of gradient catastrophe and for a short time $t>t_0$,
174: the evolving curve is given by
175: a multivalued function with
176: three branches $b>u_1(x,t)>u_2(x,t)>u_3(x,t)>a$, which
177: evolve according to the one-phase Whitham equations.
178: \begin{figure}[ht]
179: \centerline{\epsfig{figure=ivp.eps,height=6cm}}
180: \caption{on picture a)
181: the dashed line represents the formal solution
182: of the zero-phase equation the continuous line represents the
183: solution of the one-phase equations. The solution
184: $(u_1(x,t)\,,\,u_2(x,t),u_3(x,t))$
185: of the one-phase equations and the position of the boundaries
186: $x^-(t)$, $x^+(t)$ are to be determined from the condition
187: $u(x^-(t),t)=u_1(x^-(t),t),\,\,$
188: $u_x(x^-(t),t)=u_{1x}(x^-(t),t),\,\,$
189: $u(x^+(t),t)=u_3(x^+(t),t),\,$ $u_x(x^+(t),t)=u_{3x}(x^+(t),t)$,
190: where $u(x,t)$ is the solution of the zero-phase equation.
191: Picture b) represents the functions $x^-(t)$ and $x^+(t)$
192: on the $x-t$ plane.
193: \label{ivp} }
194: \end{figure}
195:
196:
197: Outside the multivalued region the solution is given by the zero-phase
198: solution $u(x,t)$ defined in (\ref{zp}). On the
199: phase transition boundary the zero-phase solution and the one-phase
200: solution are attached $C^1$-smoothly (see Fig\ref{ivp}).
201:
202:
203: \noindent
204: Since the Whitham equations are hyperbolic, other points
205: of gradient catastrophe
206: can appear in the branches $u_1(x,t)>u_2(x,t)>u_3(x,t)$ themselves
207: or in $u(x,t)$.
208:
209: In general, for $t>t_0$, the evolving curve is given by
210: a multivalued function with and odd number of branches
211: $b>u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)>a$, $g\geq 0$.
212: These branches evolve according to the $g$-phase Whitham equations.
213: The $g$-phase solutions for
214: {\it different $g$} must be glued together in order to produce a $C^1$-smooth
215: curve in the $(x,u)$ plane evolving smoothly with $t$ (see Fig.~\ref{leeds4}).
216: The initial value problem of the Whitham equations is to determine,
217: for almost all $t>0$ and $x$, the phase
218: $g(x,t)\geq 0$ and the corresponding branches
219: $u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)$
220: from the initial data $x=f(u)|_{t=0}$.
221: \begin{figure}[tbh]
222: \centerline{\epsfig{figure=leed4.eps,height=6cm}}
223: \caption{ the plot on the $x-u$ plane of the evolving multivalued curve
224: for fixed $t>0$.
225: \label{leeds4} }
226: \end{figure}
227: For example for the initial data $x=x_0+6t_0\,u+(u-u_0)^3$, $t_0\geq 0$,
228: the solution of the Whitham equations
229: is of genus at most equal to one \cite{AN}\cite{FRT1}. It is of genus one
230: inside the cusp $-12\sqrt 3 (t-t_0)^{\frac{3}{2}}<x-x_0<
231: \frac{4}{3}\sqrt{\frac{5}{3}} (t-t_0)^{\frac{3}{2}}$ \cite{P};
232: it is of genus zero outside this cusp.
233: The point $x=x_0, t=t_0$ is the point of gradient catastrophe of the
234: zero-phase solution.
235: The curve $x^-(t)=x_0-12\sqrt 3 (t-t_0)^{\frac{3}{2}}$, $t>t_0$,
236: describes the locus of points where $u_1(x,t)=u_2(x,t)$. The curve
237: $x^+(t)=x_0+\frac{4}{3}\sqrt{\frac{5}{3}} (t-t_0)^{\frac{3}{2}}$, $t>t_0$,
238: describes the locus of points where
239: $u_2(x,t)=u_3(x,t)$.
240: For generic initial data it is not known whether
241: the genus of the solution of the Whitham equations is bounded.
242: We say that the Cauchy problem for the Whitham equations has a global
243: solution if the genus $g<\infty$ for all $x$ and $t\geq 0$.
244:
245: \noindent
246: Using the geometric-Hamiltonian structure \cite{DN} of the Whitham
247: equations, Tsarev \cite{T} showed that these equations
248: can be locally integrated by
249: a generalization of the method of characteristic.
250: Namely he proved that if
251: the functions $w_i=w_i(u_1,u_2,\dots,u_{2g+1})$, $i=1,\dots,2g+1$,
252: solve the linear over-determined system
253: \begin{equation}
254: \label{tsarev0}
255: \dfrac{\partial w_i}{\partial u_j}=\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}[w_i-w_j],\quad
256: i,j=1,2,\dots,2g+1,\;\;i\neq j,
257: \end{equation}
258: where $\lb_i=\lb_i(u_1,u_2,\dots,u_{2g+1}),\; i=1,\dots, 2g+1$, are
259: the speeds in (\ref{whithamg}), then
260: the solution $\vu(x,t)=(u_1(x,t),u_2(x,t),\dots,u_{2g+1}(x,t))$
261: of the so called hodograph transform
262: \begin{equation}
263: \label{ch0}
264: x=-\lambda_i(\vu)\,t+w_i(\vu)
265: \,\quad i=1,\dots ,2g+1\,,
266: \end{equation}
267: satisfies system (\ref{whithamg}). Conversely, any solution
268: $(u_1(x,t),u_2(x,t),\dots, u_{2g+1}(x,t))$ of (\ref{whithamg}) can be obtained in this
269: way.
270:
271: \noindent
272: Tsarev theorem relies on two factors:
273:
274: a) the existence of a solution of the linear over-determined system
275: (\ref{tsarev0});
276:
277: b) the existence of a real solutions
278: $u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)$ of the hodograph
279: transform (\ref{ch0}).
280:
281:
282: In this paper we solve completely problem a), namely we build for any
283: smooth monotone increasing initial data $x=f(u)|_{t=0}$ the solution of system
284: (\ref{tsarev0}) for any $g\geq 0$. The solution $w_i(\vu)$, $i=1,\dots,2g+1$,
285: of genus $g$ satisfies some natural boundary conditions which guarantee
286: its uniqueness.
287:
288: \noindent
289: Regarding problem b) we characterize initial data such that the solution of the
290: Whitham equations exists only for $g\leq N$ where $N$ is a positive integer.
291: Namely we show that if the initial data satisfies the condition
292: \begin{equation}
293: \label{derivative}
294: \dfrac{d^{2N+1}}{du^{2N+1}}f(u):= f^{(2N+1)}(u)>0,
295: \quad 1\leq N\in\Nn
296: \end{equation}
297: for all real $u$ belonging to the domain of $f$ except one point,
298: then the solution of the
299: Whitham equations has genus at most $N$ for any $x$ and $t\geq 0$.
300: For $N=1$ this result has already been proved by Tian
301: \cite{FRT1}.
302:
303:
304: \noindent
305: The investigation of the initial value problem of the Whitham equations
306: was initiated by Gurevich and Pitaevskii \cite{GP}.
307: In the case $g\leq 1$ they solved the initial value
308: problem of system (\ref{whithamg}) for step-like initial data and studied
309: numerically the case of cubic initial data.
310:
311: The initial value problem of the Whitham equations was deeply studied by Tian.
312: In \cite{FRT1} he constructed the general solution of the Tsarev
313: system (\ref{tsarev0}) for $0\leq g\leq 1$ and
314: for smooth monotone increasing
315: initial data. He also proved the solvability of
316: the hodograph transform (\ref{ch0})
317: for $0\leq g\leq 1$. In \cite{FRT2} he obtained the solution of the Tsarev
318: system for $g> 0$ for polynomial initial data.
319:
320: \noindent
321: The equations (\ref{whithamg}) were found by Whitham \cite{W} in the
322: single phase case $g=1$
323: and more generally by Flaschka, Forest and McLaughlin \cite{FFM} in the
324: multi-phase case. The Whitham equations were also found in \cite{LL} when
325: studying the zero dispersion limit of the Korteweg de Vries equation.
326: The hyperbolic nature of the equations was found by Levermore \cite{L}.
327:
328: \noindent
329: This paper is organized as follows.
330:
331: \noindent
332: In Sec. 2 we give some background about Abelian differentials on
333: hyperelliptic Riemann surfaces.
334:
335: \noindent
336: In Sec. 3 we describe the Whitham equations.
337:
338: \noindent
339: In Sec. 4 we build the solution of the Tsarev
340: system (\ref{tsarev0}) for smooth monotone increasing initial data.
341:
342: \noindent
343: In Sec. 5 we show that under the hypothesis (\ref{derivative})
344: the hodograph transform is solvable for $g\leq N$.
345:
346: \noindent
347: In Sec. 6 we draw the conclusions.
348:
349:
350:
351:
352:
353:
354: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
355: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
356:
357: \section{Riemann surfaces and Abelian differentials: notations and
358: definitions}
359: \setcounter{equation}{0}
360: Let
361: \begin{equation}
362: \cs_g:=\left\{P=(r,\mu),\;\mu^2=\prod_{j=1}^{2g+1}(r-u_j)\right\}\,,
363: \quad u_1>u_2>\dots>u_{2g+1}\,,\;\;u_i\in\Rn\,,
364: \end{equation}
365: be the hyperelliptic Riemann surface of genus $g\geq 0$. We shall use the
366: standard
367: representation of $\cs_g$ as a two-sheeted covering of $C\Pn^1$ with cuts
368: along the intervals
369: \[
370: [u_{2k},u_{2k-1}],\quad k=1,\dots,g+1,\quad u_{2g+2}=-\infty\,.
371: \]
372: %We denote with $\mu^{\pm}(r)$ the values of $\mu(r)$ on the upper and
373: %lower sheets respectively.
374: %We will call the above intervals bands while the intervals
375: %\begin{equation}
376: %\label{gap}
377: %\mbox {gaps}=\cup_{k=1}^{g+1}[u_{2k},u_{2k-1}],\quad u_{2g+2}=-\infty
378: %\end{equation}
379: %will be called gaps.
380: \noindent
381: We choose the basis $\{\alpha_j,\beta_j\}_{j=1}^g$ of
382: the homology group $H_1(\Gamma_g)$ so that $\alpha_j$ lies fully on the
383: upper sheet
384: and encircles clockwise the interval $[u_{2j},u_{2j-1}]$, $j=1,\dots,g$,
385: while $\beta_j$ emerges on the upper sheet on the cut $[u_{2j},u_{2j-1}]$,
386: passes anti-clockwise to the lower sheet trough the cut $(-\infty, u_{2g+1}]$
387: and return to the initial point through the lower sheet.
388:
389: \noindent
390: The one-forms that are analytic on the closed Riemann surface $\cs_g$
391: except for a finite number of points are called Abelian differentials.
392:
393: \noindent
394: We define on $\cs_g$ the following differentials \cite{S}:
395:
396: \noindent
397: 1) The canonical basis of holomorphic one-forms or Abelian differentials
398: of the first kind $\phi_1,\phi_2\dots\phi_g$:
399: \begin{equation}
400: \label{holo}
401: \phi_k(r)=\dfrac{r^{g-1}\gamma^k_1+r^{g-2}\ga^k_2+
402: \dots+\ga^k_g}{\mu(r)}dr\,,\quad k=1,\dots,g\,.
403: \end{equation}
404: The constants $\ga^k_i$ are uniquely determined by the
405: normalization conditions
406: \noindent
407: \begin{equation}
408: \int_{\alpha_j}\phi_k=\delta_{jk}\,,\quad j,k=1,\dots, g.
409: \end{equation}
410: We remark that an holomorphic differential having all its
411: $\alpha$-periods equal to zero is identically zero \cite{S}.
412:
413: \noindent
414: 2) The set $\sigma^g_k$, $k\geq 0$, $g\geq 0$, of Abelian differentials of the
415: second kind with a pole of order $2k+2$ at infinity, with asymptotic
416: behavior
417: \begin{equation}
418: \label{sigma}
419: \sigma^g_k(r)=\left[r^{k-\frac{1}{2}}+O(r^{-\frac{3}{2}})\right]dr \quad
420: \mbox{for
421: large}\;\; r
422: \end{equation}
423: and normalized by the condition
424: \begin{equation}
425: \label{norm2}
426: \int_{\alpha_j}\sg^g_k=0,\quad j=1,\dots, g\,.
427: \end{equation}
428: We use the notation
429: \begin{equation}
430: \label{dp}
431: \sg^g_0(r)=dp^g(r)\,,\quad\ 12\sg^g_1(r)=dq^g(r)\,\quad g\geq 0.
432: \end{equation}
433: In literature the differentials $dp^g(r)$ and $dq^g(r)$ are called
434: quasi-momentum and quasi-energy respectively \cite{DN}.
435: The explicit formula for the differentials $\sg^g_k$, $k\geq 0$, is given
436: by the expression
437: \beqa
438: \label{b6}
439: \sg^g_k(r)=\dfrac{P^g_k( r)}{\mu(r)}dr\;,
440: \quad P^g_k( r)= r^{g+k}+a^k_{1}
441: r^{g+k-1}+a^k_{2} r^{g+k-2}\dots+a^k_{g+k}\,,
442: \eeqa
443: where the coefficients
444: $a^k_i=a^k_i(\vu)\;$, $\vu=(u_1,u_2,\dots,u_{2g+1})$, $i=1,\dots,g+k,$ are uniquely determined by
445: (\ref{sigma}) and (\ref{norm2}).
446:
447:
448: \noindent
449: 3) The Abelian differential of the
450: third kind $\om_{qq_0}(r)$ with first order poles at the points
451: $Q=(q,\mu(q))$ and $Q_0=(q_0,\mu(q_0))$ with residues
452: $\pm 1$ respectively. Its periods are normalized by the relation
453: \begin{equation}
454: \label{norm3}
455: \int_{\alpha_j}\om_{qq_0}(r)=0,\quad j=1,\dots,g\,.
456: \end{equation}
457: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
458: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
459:
460: \subsection{Riemann bilinear relations}
461: \noindent
462: Let $\om_1$ and $\om_2$ be two Abelian differentials on the Riemann
463: surface $\cs_g$.
464: If all the residues of $\om_1$ and $\om_2$ are equal to zero, then
465: the integrals
466: $d^{-1}\om_1$ and $d^{-1}\om_2$ do not have logarithm singularities
467: on $\cs_g$. If the differential $\om_1$ has non zero residue, then
468: its integral has logarithm singularities. Let $s$ be the path
469: connecting the singular points of $d^{-1}\om_1$.
470: We have the following relation.
471:
472: \begin{equation}
473: \label{firstR}
474: \sum_{j=1}^g\left[\int_{\alpha_j}\om_1\int_{\beta_j}\om_2-
475: \int_{\alpha_j}\om_2\int_{\beta_j}\om_1\right]
476: +\int_s\Delta(d^{-1}\om_1)\om_2=2\pi i \sum_{\cs_g-s} \rres[
477: (d^{-1}\om_1)\om_2]\,,
478: \end{equation}
479: where $\Delta(d^{-1}\om_1)$ is the difference of the values of
480: $d^{-1}\om_1$ on the two sides of the cut $s$ and the quantity $\sum_{\cs_g-s} \rres[
481: (d^{-1}\om_1)\om_2]$
482: is the sum of the residues of the differential $(d^{-1}\om_1)\om_2$ on
483: the cut surface $\cs_g-s$.
484: This formula is known as the Riemann bilinear period relation \cite{R}.
485:
486: \noindent
487: Assuming $\om_1=\om_{qq_0}$ and $\om_2=\phi_k$ in (\ref{firstR}) we obtain
488: \begin{equation}
489: \label{i31}
490: \int_{\beta_k}\om_{qq_0}=2\pi i \int_{q_0}^{q}\phi_k\,,
491: \quad k=1,\dots,g\,.
492: \end{equation}
493: Assuming $\om_1=\doq$ and $\om_2=\dop$ in (\ref{firstR})
494: we obtain
495: \begin{equation}
496: \label{int3}
497: \int_{p_0}^p\doq=\int_{q_0}^q\dop\,.
498: \end{equation}
499: Differentiating with respect to $p$ and $q$ the above expression we obtain
500: the identity
501: \begin{equation}
502: \label{diff3}
503: d_q[\doq(p)]=d_p[\dop(q)]\,,
504: \end{equation}
505: where $d_q$ and $d_p$ denote differentiation with respect to $q$ and
506: $p$ respectively.
507: From the expression (\ref{int3}) it follows that $\doq(r)$ is a many-value
508: analytic function of the variable $q$.
509: The many-value character of $\doq(r)$ as a function of $q$ can be
510: described by the equations
511: \begin{equation}
512: \label{MVP}
513: \int_{\alpha_k}d_q[\doq(r)]=0\,,\quad \int_{\beta_k}d_q[\doq(r)]=
514: 2\pi i \phi_k(r),\quad k=1,\dots,g\,,
515: \end{equation}
516:
517:
518: In the following we mainly use the normalized differential
519: $\dozr$ which has simple
520: poles at the points $Q^{\pm}(z)=(z,\pm\mu(z))$
521: with residue $\pm 1$ respectively.
522:
523: The differential $\dozr$ is explicitly given by the expression
524: \begin{equation}
525: \label{CK}
526: \dozr=\dfrac{dr}{\mu(r)}\dfrac{\mu(z)}{r-z}-\sum_{k=1}^g\phi_k(r)
527: \int_{\alpha_k}\dfrac{dt}{\mu(t)}\dfrac{\mu(z)}{t-z}\,,
528: \end{equation}
529: where $\phi_k(r)$, $k=1,\dots,g$,
530: is the normalized basis of holomorphic differentials.
531: $\dozr$ as a function of $z$, is an Abelian integral having poles of first
532: order at the points $Q^{\pm}(r)=(r,\pm\mu(r))$.
533: The periods of this integral are obtained from the relations (\ref{MVP})
534: \begin{equation}
535: \label{periods}
536: \int_{\alpha_j}d_z[\dozr]=0,\quad \int_{\beta_j}d_z[\dozr]=
537: 4\pi i \phi_k(r)\,,\quad j=1,\dots g\,.
538: \end{equation}
539:
540: We apply
541: the Riemann bilinear relation (\ref{firstR}) to the differentials
542: $\sg^g_m(r)$ and $\dozr$ getting
543: \begin{equation}
544: \label{norm}
545: \begin{split}
546: \int_{Q^-(z)}^{Q^+(z)}\sg^g_m(\xi)=&-\res[r=\infty]
547: [\dozr d^{-1}\sg^g_m(r)],
548: \quad m=0,\dots,g, \\
549: =&-\dfrac{4}{2m+1}\left(-\mu(z)\e_{mg}+\sum_{k=1}^g\sum_{j=1}^{g} \gamma^k_{j}
550: \Gamma_{m+1-j} \int_{\alpha_k}\dfrac{dt}{\mu(t)}\dfrac{\mu(z)}{t-z}\right)\,.
551: \end{split}
552: \end{equation}
553: In the above formula $\e_{mg}=1$ for $m=g$ and zero otherwise,
554: the coefficients $\ga_j^k$ have been defined in
555: (\ref{holo}) and the $\Gamma_l$'s are the coefficients of
556: the expansion for
557: $\xi\ra \infty$ of
558: \begin{equation}
559: \label{GA}
560: \dfrac{1}{\mu(\xi)}=\xi^{-g-\frac{1}{2}}(\G_0+\dfrac{\G_1}{\xi}+
561: \dfrac{\G_2}{\xi^2}+\dots+\dfrac{\G_l}{\xi^l}+\dots).
562: \end{equation}
563: We define $\G_k=0$ for $k<0$.
564:
565: \noindent
566: Inverting (\ref{norm}) and introducing the quantities $N_j(z,\vu)=
567: \sum_{k=1}^g\gamma_j^k
568: \int_{\alpha_k}\dfrac{dt}{\mu(t)}\dfrac{\mu(z)}{t-z} $ we obtain
569: \begin{equation}
570: \label{norm1}
571: \begin{pmatrix}
572: N_1(z,\vu)\\
573: N_2(z,\vu)\\
574: \dots\\
575: N_g(z,\vu)\\
576: -\mu(z)
577: \end{pmatrix}=
578: %\begin{pmatrix}
579: %\sum_{k=1}^g A_k(z)\gamma_1^k\\
580: %\sum_{k=1}^g A_k(z)\gamma_2^k\\
581: %\dots\\
582: %\sum_{k=1}^g A_k(z)\gamma_g^k
583: %\end{pmatrix}=
584: \begin{pmatrix}
585: \Gt_0&0&0&\dots&0\\
586: \Gt_1&\Gt_0&0&\dots&0\\
587: \dots&\dots&\dots&\dots&\dots\\
588: \Gt_{g-1}&\Gt_{g-2}&\dots&\Gt_0&0\\
589: \Gt_{g}&\Gt_{g-1}&\dots&\Gt_1&\Gt_0
590: \end{pmatrix}
591: \begin{pmatrix}
592: -\frac{1}{4}\int_{Q^-(z)}^{Q^+(z)}\sg^g_0(\xi)\\
593: -\frac{3}{4}\int_{Q^-(z)}^{Q^+(z)}\sg^g_1(\xi)\\
594: \dots\\
595: -\frac{2g-1}{4}\int_{Q^-(z)}^{Q^+(z)}\sg^g_{g-1}(\xi)\\
596: -\frac{2g+1}{4}\int_{Q^-(z)}^{Q^+(z)}\sg^g_{g}(\xi)
597: \end{pmatrix}
598: %\end{gather}
599: \end{equation}
600: where the $\Gt_k$'s are the coefficients of the expansion
601: for $\xi\rightarrow\infty$ of
602: \begin{equation}
603: \label{Gt}
604: \mu(\xi)=\xi^{g+\frac{1}{2}}(\Gt_0+\dfrac{\Gt_1}{\xi}+
605: \dfrac{\Gt_2}{\xi^2}+\dots+\dfrac{\Gt_l}{\xi^l}+\dots).
606: \end{equation}
607: Using (\ref{norm1}) the differential $\dozr$ turns out to be given
608: by the relation
609: \begin{equation}
610: \label{dob}
611: \dozr=\dfrac{dr}{\mu(r)}\dfrac{\mu(z)}{r-z}-\sum_{k=1}^gN_k(z,\vu)\dfrac{r^{g-k}}{\mu(r)}dr\,.
612: \end{equation}
613: We remark that $\dozr$ is a multivalued function of $z$ and it is regular at infinity.
614:
615: \noindent
616: From the relation (\ref{norm1}) we obtain the identity which will be useful later
617: \begin{equation}
618: \label{mu}
619: \mu(z)=\dfrac{1}{4}\sum_{k=1}^{g+1}(2k-1)\Gt_{g+1-k} \int_{Q^-(z)}^{Q^+(z)}\sg^g_{k-1}(\xi).
620: \end{equation}
621: The next proposition is also important for our subsequent considerations.
622: \begin{prop}
623: The Abelian differentials of the second kind $\sg^g_k(r)$, $\,k\geq
624: 0$, defined in (\ref{sigma})
625: satisfy the relations
626: \begin{equation}
627: \label{maini}
628: \sg^g_k(r)=\dfrac{1}{2}\resi\left[\dozr\,z^{k-\frac{1}{2}}dz\right]=-\dfrac{1}{2k+1}d_r\resi
629: \left[ \dorz\,z^{k+\frac{1}{2}}\right]\,,
630: \end{equation}
631: where $\dozr$ has been defined in (\ref{CK}),
632: $\dorz$ is the normalized Abelian differential of the
633: third kind with simple
634: poles at the points $Q^{\pm}(r)=(r,\pm\mu(r))$
635: with residue $\pm 1$ respectively and $d_r$ denotes differentiation
636: with respect to $r$.
637: \end{prop}
638: \proof the differential $\resi\left[\dozr\,z^{k-\frac{1}{2}}dz\right]$ is
639: normalized because $\dozr$ is a normalized differential. Furthermore
640: \[
641: \resi\left[ \dozr\,z^{k-\frac{1}{2}} dz\right] = r^{k-\frac{1}{2}}dr+
642: O(r^{-\frac{3}{2}})dr\quad \mbox {for} \;r\ra \infty.
643: \]
644: Therefore $ \resi\left[\dozr\,z^{k-\frac{1}{2}}dz\right]$ coincides with
645: the normalized Abelian differential of the second kind $\sg^g_k(r)$.
646: For proving the second equality in (\ref{maini}) we consider the
647: integral in the $z$ variable
648: \[
649: 0=\oint_{C_{\infty}}d_z(\dozr\,z^{k+\frac{1}{2}})=
650: \oint_{C_{\infty}}z^{k+\frac{1}{2}}(d_z\dozr)+
651: \oint_{C_{\infty}}(k-\frac{1}{2})(\dozr\,z^{k+\frac{1}{2}})\,,
652: \]
653: where $C_{\infty}$ is a close contour around the point at infinity.
654: Substituting the identity $d_z\dozr=d_r\dorz$ in the right hand side of the above
655: relation we obtain the second relation in (\ref{maini}).
656: \hfill$\square$
657: \vskip .2cm
658:
659: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
660: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
661:
662:
663:
664:
665:
666: \section{Preliminaries on the theory of the Whitham equations}
667: \setcounter{equation}{0}
668: The speeds $\lambda_i(u_1,u_2,\dots,u_{2g+1})$
669: of the $g$-phase Whitham equations (\ref{whithamg}) are given
670: by the ratio \cite{W},\cite{FFM}:
671: \begin{equation}
672: \label{b9}
673: \lambda_i(\vu)=\left.\dfrac{dq^g(r)}{dp^g(r)}\right|_{r=u_i}\;,\quad i=1,2,\dots,
674: 2g+1\,,
675: \end{equation}
676: where
677: $dp^g(r)$ and $dq^g(r)$ have been defined in (\ref{dp}).
678: In the case $g=0$
679: \begin{equation}
680: \label{zerodiff}
681: dp^0(r)=\dfrac{dr}{\sqrt{r-u}}\,,\quad dq^0(r)=\dfrac{12r-6u}{\sqrt{r-u}}dr\,,
682: \end{equation}
683: so that one obtains
684: the zero-phase Whitham equation (\ref{burgereq}).
685:
686:
687: For monotone increasing smooth initial data $x=f(u)|_{t=0}$,
688: the solution of the zero-phase equation
689: (\ref{burgereq}) is obtained by the method of characteristic \cite{W}
690: and is given by the expression
691: \begin{equation}
692: \label{zerop}
693: x=-6tu+f(u)\,.
694: \end{equation}
695: The zero-phase solution is globally well defined only for $0\leq t <t_0$ where
696: $t_0=\frac{1}{6}\min_{u\in\Rn}[f^{\prime}(u)]$ is the time of gradient
697: catastrophe of the solution (\ref{zerop}).
698: The breaking is cause by an inflection point
699: in the initial data.
700: For $t\geq t_0$ we expect to have single, double and higher phase solutions.
701: For higher genus the Whitham equations can be locally integrated using
702: a generalization of the characteristic equation (\ref{zerop}).
703: We have the following theorem of Tsarev \cite{T}
704: \begin{theo}
705: \label{tsarevt}
706: If $w_i(\vu)$, $\vu=(u_1,u_2,\dots,u_{2g+1})$, solves the linear
707: over-determined system
708: \begin{equation}
709: \label{tsarev}
710: \dfrac{\partial w_i}{\partial u_j}=a_{ij}(\vu)[w_i-w_j],\quad
711: i,j=1,2,\dots,2g+1,\;\;i\neq j,
712: \end{equation}
713: where
714: \begin{equation}
715: a_{ij}=\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}\quad
716: i,j=1,2,\dots,2g+1,\;\;i\neq j,
717: \end{equation}
718: then the solution $(u_1(x,t),u_2(x,t),\dots,u_{2g+1}(x,t))$
719: of the hodograph transformation
720: \begin{equation}
721: \label{ch}
722: x=-\lambda_i(\vu)\,t+w_i(\vu)
723: \,\quad i=1,\dots ,2g+1\,,
724: \end{equation}
725: satisfies system (\ref{whithamg}). Conversely, any solution
726: $(u_1,u_2,\dots, u_{2g+1})$ of (\ref{whithamg}) can be obtained in this
727: way.
728: \end{theo}
729: %The point $(x_0,t_0)$ where one of the
730: % $u_{ix}\rightarrow \infty$ for
731: % $ u_1>u_2>\dots>u_{2g+1}$, is a point of gradient catastrophe for the
732: % $g$-phase solution. In this case the
733: %$g$-phase solution must be prolonged with the $g+1$-phase solution.
734:
735: To guarantee that the $g-$phase solutions for different $g$ are
736: attached continuously, the following natural boundary conditions must be imposed on
737: $w_i(u_1,u_2,\dots,u_{2g+1})$, $i=1,\dots,2g+1$.
738:
739: \noindent
740: When $u_l=u_{l+1}$, $\;1\leq l\leq 2g$,
741: \begin{equation}
742: \label{b1}
743: w_l^g(u_1,\dots,u_l,u_l,\dots,u_{2g+1})=
744: w_{l+1}^g(u_1,\dots,u_l,u_l,\dots,u_{2g+1})
745: \end{equation}
746: and for $1\leq i\leq 2g+1,\;i\neq l,\,l+1$
747: \beqa
748: \label{b2}
749: %\begin{array}{lll}
750: w_i^g(u_1,\dots,u_l,u_l,\dots,u_{2g+1})=
751: w_i^{g-1}(u_1,\dots,\hat{u}_l,\hat{u}_l,\dots,u_{2g+1}).
752: \quad
753: %&w_i^g(u_1,\dots,u_l,u_l,\dots,u_{2g+1})=
754: %w_{i-1}^{g-1}(u_1,\dots,\hat{u}_l,\hat{u}_l,\dots,u_{2g+1}),
755: %\quad l+1<i\leq 2g+1\,
756: %\end{array}
757: \eeqa
758: The sup-scripts $g$ and $g-1$ in the $w_i$'s
759: specify the corresponding genus
760: and the hat denotes the variable that have been dropped.
761: When $g=1$ and $u_2=u_3$ we have that
762: \beqa
763: \label{b3}
764: \begin{array}{lll}
765: &w_1(u_1,u_3,u_3)=f(u_1)\\
766: &w_2(u_1,u_3,u_3)=w_3(u_1,u_3,u_3)\,,
767: \end{array}
768: \eeqa
769: where $f(u)$ is the initial data. Similar conditions hold
770: true when $u_1=u_2$, namely
771: \beqa
772: \label{b4}
773: \begin{array}{lll}
774: &w_3(u_1,u_1,u_3)=f(u_3)\\
775: &w_1(u_1,u_1,u_3)=w_2(u_1,u_1,u_3).
776: \end{array}
777: \eeqa
778: We remark that the $\lb_i(\vu)$'s satisfy the boundary conditions
779: (\ref{b1}-\ref{b2}) and for $g=1$ we have \cite{FRT2}
780: \[
781: \lb_1(u_1,u_3,u_3)=-6u_1,\quad
782: \lb_2(u_1,u_3,u_3)=\lb_3(u_1,u_3,u_3)\,,
783: \]
784: and
785: \[
786: \lb_3(u_1,u_1,u_3)=-6u_3,\quad
787: \lb_1(u_1,u_1,u_3)=\lb_2(u_1,u_1,u_3).
788: \]
789: The solution of the boundary value problem (\ref{tsarev}), (\ref{b1}-\ref{b4}) has been
790: obtained in \cite{FRT2,K} for monotone increasing analytic initial data
791: of the form
792: \begin{equation}
793: \label{b18}
794: x=f_a(u)=c_0+c_1 u+\dots+c_{k}u^{k}+ \dots \,
795: \end{equation}
796: where we assume that only a finite number of $c_k$ is different from
797: zero.
798: For such initial data the $w_i(\vu)$'s which satisfy
799: (\ref{tsarev}) and
800: the boundary conditions (\ref{b1}-\ref{b4}) are given by the
801: expression
802: \cite{FRT2}
803: \begin{equation}
804: \label{wi1}
805: w_i(\vu)=\left.\dfrac{ds^g(r)}{dp^g(r)}\right|_{r=u_i}\,,\quad i=1,\dots,2g+1.
806: \end{equation}
807: The differential $ds^g$ in (\ref{wi1}) is given by
808: \begin{equation}
809: \label{ds}
810: ds^g(r)=\sum_{k=0}^{\infty} \dfrac{2^k k!}{(2k-1)!!} c_k \sigma^g_k(r)\,,
811: \end{equation}
812: and the differentials $\sigma^g_k(r)$, $\,k\geq 0$ have been defined in
813: (\ref{b6}).
814:
815:
816: \noindent
817: The solution (\ref{ch}) of the $g$-phase Whitham equations can also be
818: written in an equivalent algebro-geometric
819: form \cite{FRT2, K} namely
820: \begin{equation}
821: \label{b20}
822: (-xdp^g(r)-tdq^g(r)+ds^g(r))\mid_{r=u_i}=0\;,\quad i=1,2\dots,2g+1\,,
823: \end{equation}
824: where $dp^g$, $dq^g$ and $ds^g$
825: have been defined in (\ref{dp}) and (\ref{ds})
826: respectively.
827:
828: \noindent
829: The solution $u_1>u_2>\dots >u_{2g+1}$ of the $g$-phase Whitham
830: equations (\ref{whithamg})
831: is implicitly defined
832: as a function of $x$ and $t$ by the equations (\ref{ch}) or (\ref{b20}).
833: The solution is uniquely defined
834: only for those
835: $x$ and $t$ such that the functions $u_i(x,t)$ are real and
836: $\partial_xu_i(x,t)$, $i=1,\dots,2g+1$, are not vanishing.
837:
838: \noindent
839: One of the problems in the theory of the Whitham equations is to determine
840: when (\ref{ch}) or (\ref{b20}) are
841: solvable for real $u_1,\dots,u_{2g+1}$ as functions
842: of $x$ and $t$.
843: This problem has been solved by Tian for $g\leq 1$.
844: \begin{theo}\cite{FRT1}
845: \label{Tian}
846: Consider a monotone increasing initial data $x=f(u)|_{t=0}$. Suppose that $u^*$
847: is the inflection point of $f(u)$ that causes the breaking of the
848: zero-phase solution (\ref{burgereq}) at $x=x_0, \;t=t_0$. Let be
849: $f^{\prime\prime\prime}(u)>0$ in a deleted neighborhood of $u=u^*$.
850: Then the one-phase Whitham equations has a solution $u_1>u_2>u_3$
851: within a cusp in the $x-t$ plane for a short time after the breaking
852: time of the zero-phase solution.
853: Furthermore this solution satisfies the boundary
854: conditions (\ref{b3}) and (\ref{b4}) on the cusp.
855: If the initial data satisfies the condition
856: $f^{\prime\prime\prime}(u)>0$ for all $u$ except $u=u^*$, then
857: the solution of the Whitham equations exists for all $t>0$.
858: The solution is of genus one inside the cusp
859: $x^-(t)<x<x^+(t)$, $t>t_0$, where $x^-(t)<x^+(t)$ are two real
860: functions satisfying the condition $x^-(t_0)=x^+(t_0)=x_0$.
861: The solution is of genus zero outside the cusp $x^-(t)<x<x^+(t)$, $t>t_0$.
862: \end{theo}
863:
864: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
865: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
866:
867: \section{Solution of Tsarev system\label{slos}}
868: \setcounter{equation}{0}
869: In this section we build the solution of the boundary value problem
870: (\ref{tsarev}),
871: (\ref{b1}-\ref{b4})
872: for monotone smooth initial data and we show that
873: the solution obtained is unique. We consider initial data of the form
874: $x=f(u)|_{t=0}$ where $f(u)$ is a monotone increasing function. The domain of
875: $f$ is the interval $(a,b)$ where $-\infty\leq a<b\leq +\infty$, and the range of
876: $f$ is the real line $(-\infty,+\infty)$.
877:
878: \noindent
879: In order to obtain the solution of the boundary value problem
880: (\ref{tsarev}),
881: (\ref{b1}-\ref{b4}) we need the following technical lemma.
882: \begin{lem}
883: The differential $ds^g(r)$ defined in (\ref{ds}) can be written in the form
884: \begin{equation}
885: \label{ds3}
886: ds^g(r)=2\mu(r)\left(\partial_r\Psi^g(r;\vu)+\sum_{k=1}^{2g+1}\partial_{u_k}
887: \Psi^g(r;\vu)\right)dr+\dfrac{R^{g}(r)}{\mu(r)}dr,
888: \end{equation}
889: where
890: \begin{equation}
891: \label{psia}
892: \Psi^g(r;\vu)=-\resi\left[\dfrac{\cf(z)dz}{2\mu(z)(z-r)}\right], \quad
893: q_k(\vu)=-\resi\left[\dfrac{z^{g-k}\cf(z)dz}{2\mu(z)}\right],\;
894: k=1,\dots g,
895: \end{equation}
896: \begin{equation}
897: \label{abel}
898: \cf(z)=\int_{0}^{z}\dfrac{f_a(\xi)}{\sqrt{z-\xi}}d\xi,
899: \end{equation}
900: \begin{equation}
901: \label{R2ga}
902: R^{g}(r)=2\sum_{k=1}^{2g+1}\partial_{u_k}q_g(\vu)
903: \prod_{l=1,l\neq k}^{2g+1}(r-u_l)
904: +\sum_{k=1}^gq_k(\vu)
905: \sum_{l=1}^k(2l-1)\Gt_{k-l}P_{l-1}^g(r),
906: \end{equation}
907: and the polynomials $P_{l}^g(r)$, $l\geq 0$, have been defined
908: in (\ref{b6}), the $\Gt_{k}$'s have been defined in (\ref{Gt}).
909: \end{lem}
910: \proof using the second identity in (\ref{maini}), we rewrite the differential
911: $ds^g(r)$ defined in (\ref{ds}) in the form
912: \begin{equation}
913: \label{ds2}
914: ds^g(r)=-d_r \left(\resi[\dorz \cf(z)]\right)\,,
915: \end{equation}
916: where $\dorz$ has been defined in (\ref{CK}) and $\cf(z)$
917: is the Abel transform defined in (\ref{abel}) of the analytic
918: initial data (\ref{b18}). The identity (\ref{ds2})
919: can be checked straightforward.
920: Using the explicit expression
921: of $\dorz$ in (\ref{dob}) we obtain
922: \begin{equation}
923: \label{ds31}
924: ds^g(r)=2d_r(\mu(r)\Psi^g(r;\vu))+\sum_{k=1}^gq_k(\vu)
925: \sum_{l=1}^k(2l-1)\Gt_{k-l}\sg_{l-1}^g(r),
926: \end{equation}
927: where $\Psi^g(r;\vu)$ and $q_k(\vu)$ have been defined in (\ref{psia}).
928:
929: \noindent
930: From (\ref{psia}) we get the relations
931: \begin{equation}
932: \label{psira}
933: \dfrac{\Psi^g(r;\vu)}{r-u_i}-\dfrac{\Psi^g(u_i;\vu)}{r-u_i}=
934: 2\partial_{u_i}\Psi^g(r;\vu)
935: ,\;\;\;
936: 2\partial_{u_i}q_g(\vu)=\Psi^g(u_i;\vu)
937: \end{equation}
938: and for $g=0$ we define $u_1=u$ and
939: \[
940: 2\partial_u q_0(u):=\Psi^0(u;u)=f_a(u).
941: \]
942: Using (\ref{psira})
943: we transform the expression
944: for $ds^g(r)$ in (\ref{ds31}) to the form (\ref{ds3}).
945: \hfill $\square$
946: \vskip .2cm
947:
948: The relation (\ref{ds3}) enables us to write the quantities
949: $w_i(\vu)=\left.\frac{ds^g(r)}{dp^g(r)}\right|_{r=u_i}\,,\quad i=1,\dots,2g+1,$ in
950: (\ref{wi1}) in the form
951: \begin{equation}
952: \label{wia}
953: w_i(\vu)=
954: \dfrac{1}{P_0^g(u_i)}\left[2\partial_{u_i}q_g(\vu)
955: \prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)+
956: \sum_{k=1}^gq_k(\vu)
957: \sum_{l=1}^k(2l-1)\Gt_{k-l} P_{l-1}^g(u_i)\right].
958: \end{equation}
959:
960:
961: \noindent
962: Observe that in the formula (\ref{wia}) all the information on the initial
963: data is contained in the functions $q_k(\vu)$.
964: The functions $q_k=q_k(\vu)$, $k=1,\dots,g$,
965: solve the linear over-determined system \cite{FRT2}
966: \beqa
967: \label{qka}
968: \begin{array}{rcl}
969: 2(u_i-u_j)\dfrac{\partial^2 q_k(\vu)}{\partial u_i\partial u_j}&=&
970: \dfrac{\partial q_k(\vu)}{\partial u_i}-\dfrac{\partial
971: q_k(\vu)}{\partial u_j},
972: \quad i,j=1,\dots, 2g+1,\\
973: &&\\
974: q_k(\underbrace{u,u,\dots,u}_{2g+1})&=&\dfrac{2^{g-1}}{(2g-1)!!} u^{-k+\frac{1}{2}}\dfrac{d^{g-k}}{du}
975: \left(u^{g-\frac{1}{2}}f_a^{(k-1)}(u)\right),
976: \end{array}
977: \eeqa
978: where
979: $f_a^{(k-1)}(u)$ is the $(k-1)th$ derivative of the polynomial initial data
980: $f_a(u)$. The function $\Psi^g(r;\vu)$ in (\ref{psia}) satisfies a similar linear
981: over-determined system.
982: \begin{theo}[First Main Theorem]
983: \label{theoT}
984: Let be $f(u)$ a smooth monotone increasing function with domain $(a,b)$,
985: $-\infty\leq a<b\leq +\infty$.
986: If $q_k=q_k(u_1,u_2,\dots,u_{2g+1})$, $1\leq k\leq g$,
987: is the symmetric
988: solution of the linear over-determined system
989: \beqa
990: \label{qk}
991: \left\{\begin{array}{lll}
992: 2(u_i-u_j)\dfrac{\partial^2 q_k(\vu)}{\partial u_i\partial u_j}=
993: \dfrac{\partial q_k(\vu)}{\partial u_i}-\dfrac{\partial
994: q_k(\vu)}{\partial u_j},
995: \quad i\neq j,\;i,j=1,\dots, 2g+1,\;\;g>0 &&\\
996: &&\\
997: q_k(\underbrace{u,u,\dots,u}_{2g+1})=F_k(u)&&\\
998: &&\\
999: F_k(u)=\dfrac{2^{(g-1)}}{(2g-1)!!} u^{-k+\frac{1}{2}}
1000: \dfrac{d^{g-k}}{du^{g-k}}
1001: \left(u^{g-\frac{1}{2}}f^{(k-1)}(u)\right),&&
1002: \end{array}\right.
1003: \eeqa
1004: with the ordering $u_1>u_2>\dots>u_{2g+1}$, then
1005: \begin{equation}
1006: \label{wi}
1007: w_i(\vu)=\dfrac{1}{P_0^g(u_i)}
1008: \left[ 2\partial_{u_i}q_g(\vu)
1009: \prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)+
1010: \sum_{k=1}^g q_k(\vu)
1011: \sum_{l=1}^k(2l-1)\Gt_{k-l}P_{l-1}^g(u_i)\right], \quad i=1,\dots, 2g+1,
1012: \end{equation}
1013: solves the boundary value problem (\ref{tsarev}),
1014: (\ref{b1}-\ref{b4}). Conversely every solution of (\ref{tsarev}),
1015: (\ref{b1}-\ref{b4}) can be obtained in this way.
1016: \end{theo}
1017: Before proving the theorem we show how to obtain the solution
1018: of system (\ref{qk}) for generic
1019: smooth initial data. We follow the procedure in \cite{FRT2}. We start with the following lemma.
1020: \begin{lem}\cite{FRT2}
1021: \label{Texist}
1022: The system
1023: \beqa
1024: \label{Exist}
1025: \left\{\begin{array}{cll}
1026: 2(z-y)p_{zy}&=&p_z-\rho p_y,\quad \rho>0\\
1027: p(z,z)&=&s(z)
1028: \end{array}\right.
1029: \eeqa
1030: has, for any smooth initial data $s(z)$ one and only one
1031: solution. Moreover,
1032: the solution can be written explicitly
1033: \begin{equation}
1034: p(z,y)=\dfrac{1}{C_{\rho}}\int_{-1}^1\dfrac{ s(\frac{1+\mu}{2}z+\frac{1-\mu}{2}y)}
1035: {\sqrt{1-\mu}}(1+\mu)^{\frac{\rho}{2}-1}d\mu
1036: \end{equation}
1037: where
1038: \begin{equation}
1039: \label{Crho}
1040: C_{\rho}=\int_{-1}^1 \dfrac{(1+\mu)^{\frac{\rho}{2}-1}}{\sqrt{1-\mu} }d\mu\,.
1041: \end{equation}
1042: \end{lem}
1043:
1044: Using the above lemma, the linear over-determined systems (\ref{qk})
1045: can be integrated for any smooth initial data in the following way.
1046: Suppose that $q_k(u_1,u_2,\dots,u_{2g+1})$ is a solution of
1047: (\ref{qk}).
1048:
1049: Clearly
1050: $A_k(u_1,u_{2g+1})=
1051: q_k(\underbrace{u_1,u_1,\dots,u_1}_{2g},u_{2g+1})$ satisfies
1052: \beqa
1053: \begin{array}{rcl}
1054: 2(u_1-u_{2g+1})\dfrac{\partial^2 A_k}{\partial u_1\partial u_{2g+1}}&=&
1055: \dfrac{\partial A_k}{\partial u_1}-2g\dfrac{\partial
1056: A_k}{\partial u_{2g+1}}\\
1057: &&\\
1058: A_k(u,u)&=&F_k(u)
1059: \end{array}
1060: \eeqa
1061: which by lemma~\ref{Texist} implies that
1062: \begin{equation}
1063: A_k(u_1,u_{2g+1})=\dfrac{1}{C_{2g}}\int_{-1}^1\dfrac{F_k(\frac{1+\xi_{2g}}{2}u_1+\frac{1-\xi_{2g}}{2}
1064: u_{2g+1})}
1065: {\sqrt{1-\xi_{2g}}}(1+\xi_{2g})^{g-1}d\xi_{2g}.
1066: \end{equation}
1067: For each fixed $u_{2g+1}$ the function
1068: $B_k(u_1,u_{2g},u_{2g+1})=q_k(\underbrace{u_1,\dots,u_1}_{2g-1},u_{2g},u_{2g+1})$ satisfies
1069: \beqa
1070: \label{qB}
1071: \begin{array}{cll}
1072: 2(u_1-u_{2g})\dfrac{\partial^2 B_k}{\partial u_1\partial u_{2g}}&=&
1073: \dfrac{\partial B_k}{\partial u_1}-(2g-1)\dfrac{\partial
1074: B_k}{\partial u_{2g}}\\
1075: &&\\
1076: B_k(u,u,u_{2g+1})&=&A_k(u,u_{2g+1})
1077: \end{array}
1078: \eeqa
1079: Using again lemma~\ref{Texist} we obtain
1080: \begin{equation}
1081: \begin{split}
1082: B_k(u_1,u_{2g},u_{2g+1})=&\dfrac{1}{C_{2g}C_{2g-1}}\int_{-1}^1\int_{-1}^1
1083: d\xi_{2g}d\xi_{2g-1}
1084: (1+\xi_{2g})^{g-1}(1+\xi_{2g-1})^{g-\frac{3}{2}}\times \\
1085: &\\
1086: &\dfrac{F_k(\frac{1+\xi_{2g}}{2}(\frac{1+\xi_{2g-1}}{2}u_1+
1087: \frac{1+\xi_{2g-1}}{2}u_{2g})
1088: \frac{1-\xi_{2g}}{2}u_{2g+1})}
1089: {\sqrt{1-\xi_{2g}}\sqrt{1-\xi_{2g-1}}}
1090: \end{split}
1091: \end{equation}
1092: Going on in the process of integration we obtain the solution
1093: $q_k(\vu)=q_k(u_1,u_2,\dots,u_{2g+1})$ of the boundary value problem
1094: (\ref{qk}) namely
1095: \begin{equation}
1096: \label{fqk}
1097: \begin{split}
1098: q_k(\vu)=&\dfrac{1}{C}\int_{-1}^1\int_{-1}^1\dots\int_{-1}^1
1099: d\xi_1d\xi_2\dots d\xi_{2g}(1+\xi_{2g})^{g-1}(1+\xi_{2g-1})^{g-\frac{3}{2}}
1100: \dots(1+\xi_{3})^{\frac{1}{2}}(1+\xi_{1})^{-\frac{1}{2}} \times\\
1101: &\\
1102: &\dfrac{F_k(\frac{1+\xi_{2g}}{2}(\dots(\frac{1+\xi_{2}}{2}(
1103: \frac{1+\xi_{1}}{2}u_1+\frac{1-\xi_{1}}{2}u_2)+\frac{1-
1104: \xi_{2}}{2}u_3)+\dots)+\frac{1-\xi_{2g}}{2}u_{2g+1})}
1105: {\sqrt{(1-\xi_1)(1-\xi_2)\dots(1-\xi_{2g})}}
1106: \end{split}
1107: \end{equation}
1108: where $C=\prod_{j=1}^{2g}C_{j}$ and $C_j$ has been defined in (\ref{Crho}).
1109: When the initial data is of the form (\ref{b18}), the expression
1110: (\ref{fqk}) for the $q_k(\vu)$'s
1111: is equivalent to (\ref{psia}).
1112: \begin{theo}
1113: The boundary value problem (\ref{qk}) has one and only one
1114: solution. The solution is symmetric and is given by (\ref{fqk}).
1115: \end{theo}
1116: \proof
1117: Uniqueness follows from lemma~\ref{Texist} and the argument previous to
1118: (\ref{fqk}). The boundary condition (\ref{qk}) is clearly satisfied.
1119: The symmetry follows from the construction. Indeed in the process of
1120: integration we can interchange the role of any of the variable $u_i$.
1121: $\square$
1122: \vskip .2cm
1123: \noindent
1124: We have the following relations.
1125: \begin{lem}
1126: The functions $F_k(u)$ and
1127: the solutions
1128: $q_k(\vu)$, $k=1,\dots,g$, of the boundary value
1129: problem (\ref{qk})
1130: satisfy the
1131: following relations.
1132: \beqa
1133: \label{relations}
1134: \begin{array}{cll}
1135: \partial_u F_k(u)&=&\dfrac{2g+1}{2}F_{k+1}(u)+u \partial_u F_{k+1}(u),\quad
1136: k=1,\dots, g-1,\quad g>0\\
1137: &&\\
1138: \partial_{u_i}q_k(\vu)&=&\dfrac{1}{2}q_{k+1}(\vu)+u_i \partial_{u_i}
1139: q_{k+1}(\vu) \quad i=1.\dots,2g+1,\quad k=1,\dots,g-1\,\quad g>0.
1140: \end{array}
1141: \eeqa
1142: \end{lem}
1143:
1144:
1145: \noindent
1146: {\bf Proof of Theorem~\ref{theoT} (First Main Theorem).}
1147:
1148: \noindent
1149: We consider the non trivial case where $q_k(\vu)\not\equiv 0,\;
1150: k=1,\dots g,$ and $\partial_{u_j}q_g(\vu)\not\equiv 0$, $j=1,\dots,2g+1$.
1151:
1152: \noindent
1153: The proof consists of three parts.
1154:
1155: \noindent
1156: {\bf a)}{\it The $w_i(\vu)$'s defined in (\ref{wi}) satisfy (\ref{tsarev}).}
1157:
1158:
1159: \noindent
1160: Using the definition of $w_i(\vu)$ in (\ref{wi}) we
1161: have the following relation
1162: \begin{equation}
1163: \label{AA1}
1164: \begin{split}
1165: \partial_{u_j}w_i(\vu)=&
1166: 2\dfrac{ \prod_{\overset{l=1}{l\neq i}}^{2g+1}(u_i-u_l) } { P_0^g(u_i) }\partial_{u_j}\partial_{u_i}q_g(\vu)-
1167: 2\dfrac{ \prod_{\overset{l=1}{l\neq i}}^{2g+1}(u_i-u_l) } { P_0^g(u_i) }\partial_{u_i}q_g(\vu)
1168: \left(\dfrac{ \partial_{u_j}P_0^g(u_i) } { P_0^g(u_i)}+\dfrac{1}{u_i-u_j}
1169: \right)\\
1170: +&\partial_{u_j}\left( \sum_{l=1}^g(2l-1)\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)} \sum_{k=l}^g q_k(\vu)\Gt_{k-l}
1171: \right), \quad i\neq j,\;\; i,j=1,\dots, 2g+1.
1172: \end{split}
1173: \end{equation}
1174:
1175: The following identities hold
1176: \cite{FRT2}
1177: \begin{equation}
1178: \label{x1}
1179: \dfrac{\partial}{\partial_{u_j}}\dfrac{P_k^g(u_i)}{P_0^g(u_i)}=\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}\left(\dfrac{P_k^g(u_i)}{P_0^g(u_i)}-\dfrac{P_k^g(u_j)}{P_0^g(u_j)}\right),\quad i\neq j, i,j=1,\dots,2g+1,\;\; k\geq 1
1180: \end{equation}
1181:
1182:
1183: \begin{equation}
1184: \dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}=-\dfrac{\partial_{u_j}P_0^g(u_i)}{P_0^g(u_i)}-
1185: \dfrac{1}{2}\dfrac{1}{u_i-u_j},\quad i\neq j,\; i,j=1,\dots,2g+1,\;\;
1186: \end{equation}
1187: where $\lb_i(\vu)$ has been defined in
1188: (\ref{b9}) and $P_k^g(r)$ has been defined in (\ref{sigma}).
1189:
1190: \noindent
1191: Using the definition of $\Gt_k$ in (\ref{Gt}) it is easy to verify that
1192: \begin{equation}
1193: \label{dGt}
1194: \dfrac{\partial\Gt_k}{\partial u_j}=-\dfrac{1}{2}\sum_{m=1}^{k-1}\Gt_{k-m} u_j^{m-1}.
1195: \end{equation}
1196: Applying repeatedly the relations (\ref{relations}) we obtain the following
1197: expression for $\partial_{u_j}q_k(\vu)$:
1198: \begin{equation}
1199: \label{x4}
1200: \partial_{u_j}q_k(\vu)=\dfrac{1}{2}\sum_{m=1}^{g-k}q_{m+k}(\vu)u_j^{m-1}+u_j^{g-k}\partial_{u_j}q_g(\vu),\quad k=1,\dots,g-1.
1201: \end{equation}
1202:
1203:
1204: \noindent
1205: From (\ref{qk}) and (\ref{x1}-\ref{x4}) we can write
1206: $\partial_{u_j}w_i(\vu)$ in (\ref{AA1}) in the form
1207: \begin{equation}
1208: \nonumber
1209: \begin{split}
1210: \partial_{u_j}w_i(\vu)=&
1211: \dfrac{\prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)}{P_0^g(u_i)}
1212: \dfrac{ \partial_{u_i}q_g(\vu)-\partial_{u_j}q_g(\vu) }{ u_i-u_j}\\
1213: -& 2\dfrac{\prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)}{P_0^g(u_i)}
1214: \partial_{u_i}q_g(\vu)\left(
1215: \dfrac{\partial_{u_j}P_0^g(u_i)}{P_0^g(u_i)}+\dfrac{1}{u_i-u_j}\right)\\
1216: +&\sum_{l=1}^g(2l-1)\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}\left(
1217: \dfrac{1}{2}\sum_{k=l}^{g-1}\Gt_{k-l}
1218: \sum_{m=1}^{g-k}q_{m+k}(\vu)u_j^{m-1}+\sum_{k=l}^{g}\Gt_{k-l}u_j^{g-k}
1219: \partial_{u_j}q_g(\vu) \right)
1220: \\
1221: +&\sum_{l=1}^g(2l-1) \dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}
1222: \sum_{k=l}^g q_k(\vu) \left( -\dfrac{1}{2}\sum_{m=1}^{k-l}\Gt_{k-l-m} u_j^{m-1} \right)
1223: \\
1224: +&\sum_{l=1}^g(2l-1)\,\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial
1225: \lb_i}{\partial u_j}\left(\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}-\dfrac{P_{l-1}^g(u_j)}{P_0^g(u_j)}\right) \sum_{k=l}^g q_k(\vu) \Gt_{k-l} \quad i\neq j,\; i,j=1,\dots, 2g+1.
1226: \end{split}
1227: \end{equation}
1228: Simplifying we obtain
1229: \begin{equation}
1230: \label{AA2}
1231: \begin{split}
1232: \partial_{u_j}w_i(\vu)=& -\dfrac{\prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)}
1233: {(u_i-u_j)P_0^g(u_i)}\partial_{u_j}q_g(\vu)
1234: +2\dfrac{\prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)}{P_0^g(u_i)}\partial_{u_i}q_g(\vu)\left(\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j} \right)\\
1235: +&\sum_{l=1}^g(2l-1)\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}
1236: \sum_{k=l}^{g}\Gt_{k-l}u_j^{g-k}\partial_{u_j}q_g(\vu) \\
1237: +&\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}
1238: \sum_{l=1}^g(2l-1)\,\left(\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}-\dfrac{P_{l-1}^g(u_j)}{P_0^g(u_j)}\right) \sum_{k=l}^g q_k(\vu) \Gt_{k-l}
1239: \quad i\neq j,\; i,j=1,\dots, 2g+1.
1240: \end{split}
1241: \end{equation}
1242: Adding and subtracting the quantity
1243: $\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j} w_j$
1244: to (\ref{AA2}),
1245: we can reduce it to the form
1246: \begin{equation}
1247: \label{AA3}
1248: \begin{split}
1249: \partial_{u_j}w_i-&\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}[w_i-w_j]=\partial_{u_j}q_g(\vu)\left(\dfrac{2}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}\dfrac{\prod_{l=1,l\neq j}^{2g+1}(u_j-u_l)}{P_0^g(u_j)}
1250: \right.\\
1251: -&\left.\dfrac{\prod_{l=1,l\neq i}^{2g+1}(u_i-u_l)}{(u_i-u_j)P_0^g(u_i)} + \sum_{l=1}^g(2l-1)\dfrac{P_{l-1}^g(u_i)}{P_0^g(u_i)}
1252: \sum_{k=l}^{g}\Gt_{k-l}u_j^{g-k}\right)
1253: \end{split}
1254: \end{equation}
1255:
1256: The term in parenthesis
1257: in the right hand side of (\ref{AA3}) does not depend on the initial
1258: data
1259: $f(u)$. It is identically zero for the analytic initial data (\ref{b18}) because
1260: in such case the $w_i$'s satisfy (\ref{tsarev}) \cite{FRT2}.
1261: Therefore we can conclude that
1262: \begin{equation}
1263: \partial_{u_j}w_i-\dfrac{1}{\lb_i-\lb_j}\dfrac{\partial \lb_i}{\partial u_j}
1264: [w_i-w_j]=0
1265: \end{equation}
1266: for any smooth monotone increasing initial data $x=f(u)$.
1267: \vskip 0.3cm
1268: \noindent
1269: {\bf b)}{\it The $w_i(\vu)$'s satisfy the boundary conditions
1270: (\ref{b1}-\ref{b4}).}
1271:
1272: \noindent
1273: In the following we use the sup-script $g$ to
1274: denote the corresponding genus of the quantities we are referring
1275: to. We have the following relations.
1276: When $u_l=u_{l+1}=v$ for $l=1,\dots,2g$, the $\Gt_k$'s defined in (\ref{Gt}) satisfy
1277: \begin{equation}
1278: \label{z1}
1279: \begin{split}
1280: \Gt_k^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})=&\Gt_k^{g-1}(u_1,\dots,u_{l-1},u_{l+2},\dots,u_{2g+1})\\
1281: -&v\Gt_{k-1}^{g-1}(u_1,\dots,u_{l-1},u_{l+2},\dots,u_{2g+1}),
1282: \quad k\geq 1,\;g>1
1283: \end{split}
1284: \end{equation}
1285: and the $q_k(\vu)$'s defined in (\ref{fqk}) satisfy
1286: \begin{equation}
1287: \label{z2}
1288: \begin{split}
1289: q_k^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})&-v
1290: q_{k+1}^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})\\
1291: &=q_k^{g-1}(u_1,\dots,u_{l-1},u_{l+2},\dots,u_{2g+1}),
1292: \quad k=1,\dots,g-1,\;g>1.
1293: \end{split}
1294: \end{equation}
1295: For $u_i\neq u_l=u_{l+1}=v$ we have that
1296: \begin{equation}
1297: \begin{split}
1298: \label{z3}
1299: \partial_{u_i}q_{g-1}^{g-1}(u_1,\dots,u_{l-1},u_{l+2},\dots,u_{2g+1})-&
1300: \dfrac{1}{2}q_g^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})=\\
1301: &(u_i-v)\partial_{u_i}q_g^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1}),
1302: \end{split}
1303: \end{equation}
1304: which follows from (\ref{relations}). When $u_l=u_{l+1}=v$
1305: the polynomials $P^g_k(r)$'s defined in (\ref{b6}) satisfy the relation \cite{Fay}
1306: \begin{equation}
1307: \label{z4}
1308: P_k^g(r)=(r-v)P_k^{g-1}(r),\quad k\geq 0\,.
1309: \end{equation}
1310: Using the relations (\ref{z1}-\ref{z4}) we have that for $i\neq l,\, l+1$, $\;i=1,\dots,2g+1$,
1311: \begin{equation}
1312: \begin{split}
1313: w_i^g(u_1,\dots,u_{l-1},v,v,u_{l+2},&\dots,u_{2g+1})= 2
1314: \dfrac{\prod_{k=1,k\neq i,\,l,\, l+1}^{2g+1}(u_i-u_k)}{P_0^{g-1}(u_i)}
1315: \partial_{u_i}q^{g-1}_{g-1}\\
1316: +&\sum_{m=1}^{g-1}(2m-1)\dfrac{P^{g-1}_{m-1}(u_i)}{P_0^{g-1}(u_i)}
1317: \sum_{k=m}^{g-1} q^{g-1}_k\Gt^{g-1}_{k-m}\\
1318: +&\left(
1319: \sum_{m=1}^{g}(2m-1)\dfrac{P^{g-1}_{m-1}(u_i)}{P_0^{g-1}(u_i)}\Gt^{g-1}_{g-m}
1320: -\dfrac{\prod_{k=1,k\neq i,\,l,\,l+1}^{2g+1}(u_i-u_k)}{P_0^{g-1}(u_i)} \right)q_g^g,
1321: \end{split}
1322: \end{equation}
1323: which reduces to the form
1324: \begin{equation}
1325: \label{z5}
1326: \begin{split}
1327: w_i^g(u_1,\dots,u_{l-1},v,v,u_{l+2},&\dots,u_{2g+1})=
1328: w_i^{g-1}(u_1,\dots,u_{l-1},u_{l+2},\dots,u_{2g+1})\\
1329: +&\left(
1330: \sum_{m=1}^{g}(2m-1)\dfrac{P^{g-1}_{m-1}(u_i)}{P_0^{g-1}(u_i)}\Gt^{g-1}_{g-m}
1331: -\dfrac{\prod_{k=1,k\neq i,\,l,\, l+1}^{2g+1}(u_i-u_k)}{P_0^{g-1}(u_i)} \right)q_g^g.
1332: \end{split}
1333: \end{equation}
1334: Using (\ref{mu}) the term in parenthesis in the right hand side of (\ref{z5})
1335: turns out to be identically
1336: zero. Therefore the boundary conditions (\ref{b2}) are satisfied for any smooth
1337: monotone increasing initial data.
1338:
1339: \noindent
1340: Since the functions $q_k(\vu)$'s in (\ref{fqk}) and the
1341: $\Gt_k(\vu)$'s defined in (\ref{Gt})
1342: are symmetric with respect to $u_1,u_2,\dots,
1343: u_{2g+1}$ we immediately deduce from (\ref{z4}) that
1344: \begin{equation}
1345: \label{pp}
1346: w_l^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})=
1347: w_{l+1}^g(u_1,\dots,u_{l-1},v,v,u_{l+2},\dots,u_{2g+1})
1348: \end{equation}
1349: so that the boundary conditions (\ref{b1}) are satisfied (for a more
1350: detailed analysis of this limit see section~\ref{transition}).
1351: When $g=1$ we deduce from (\ref{pp})
1352: \[
1353: w_1(u_1,u_1,u_3)=w_2(u_1,u_1,u_3)
1354: \]
1355: and from (\ref{z3}-\ref{z4})
1356: \[
1357: w_3(u_1,u_1,u_3)=2(u_3-u_1)\partial_{u_3}q_1(u_1,u_1,u_3)+q_1(u_1,u_1,u_3).
1358: \]
1359: From (\ref{qk}) and (\ref{fqk}) we get the relation
1360: \[
1361: q_1(u_1,u_1,u_3)=f(u_3)+2(u_1-u_3)\partial_{u_3}q_1(u_1,u_1,u_3)
1362: \]
1363: so that
1364: \[
1365: w_3(u_1,u_1,u_3)=f(u_3).
1366: \]
1367: An analogous result can be obtain when $u_2=u_3$,
1368: so that the boundary conditions
1369: (\ref{b3}-\ref{b4}) are satisfied.
1370: \vskip 0.3cm
1371: \noindent
1372: {\bf c)} {\it Uniqueness.}
1373: \noindent
1374: We prove that when $f(u) \equiv 0$ then $w^g_i(\vu) \equiv 0$ for all
1375: $b>u_1>u_2>\dots>u_{2g+1}>a$, for $1 \leq i \leq 2g+1$ and for any
1376: $g \geq 0$.
1377: The proof is by induction on $g$.
1378: For $g=0$ the statement is satisfied.
1379:
1380: For $g=1$ we repeat the arguments of \cite {FRT1}. We fix $u_2$ and we consider the equation (\ref{tsarev}) with
1381: boundary condition (\ref{b3}-\ref{b4}), namely
1382: \beqn
1383: \begin{array}{rcl}
1384: \dfrac{\partial w_1}{\partial u_3}&=&a_{13}[w_1-w_3]\\
1385: &&\\
1386: \dfrac{\partial w_3}{\partial u_1}&=&a_{31}[w_3-w_1]\\
1387: w_1(u_1,u_2,u_2)&=&f(u_1)\equiv 0\\
1388: w_3(u_2,u_2,u_3)&=&f(u_3)\equiv 0\,.
1389: \end{array}
1390: \eeqn
1391: We can regard the above equations as a first-order linear ordinary
1392: differential equations with non homogeneous term. Integrating them
1393: we obtain a couple integral equation. By standard contraction mapping
1394: method it can be shown that when $f(u) \equiv 0$
1395: this system has only zero solution,
1396: i.e. $w_1=w_3\equiv 0$ for $(u_1,u_3)$ satisfying $b>u_1>u_2>u_3>a$. Because of
1397: the arbitrariness of $u_2$, $w_1$ and $w_3$ vanish as a function of
1398: $(u_1,u_2,u_3)$ and therefore, by (\ref{tsarev}) so does $w_2(\vu)$.
1399: Now we suppose the theorem true for genus $g-1$ and we proof it
1400: for genus $g$.
1401: We fix $b>u_2>u_3>\dots>u_{2g}>a$ and we consider the equation
1402: (\ref{tsarev})
1403: for $w^g_1$ and $w^g_{2g+1}$ with
1404: boundary condition (\ref{b1}-\ref{b2}), namely
1405: \beqa
1406: \begin{array}{rll}
1407: \dfrac{\partial }{\partial u_{2g+1}}w^g_1&=&a_{1(2g+1)}[w^g_1-w^g_{2g+1}]\\
1408: \dfrac{\partial}{\partial u_1} w^g_{2g+1}&=&a_{(2g+1)1}[w^g_{2g+1}-w^g_1]\\
1409: w^g_1(u_1,u_2,\dots,u_{2g},u_{2g})&=&
1410: w^{g-1}_1(u_1,u_2,\dots,u_{2g-1},\hat{u}_{2g},\hat{u}_{2g})\equiv 0\\
1411: w^g_{2g+1}(u_2,u_2,\dots,u_{2g},u_{2g+1})&=&
1412: w^{g-1}_{2g+1}(\hat{u}_2,\hat{u}_2,u_3,\dots,u_{2g},u_{2g+1})\equiv 0\,.
1413: \end{array}
1414: \eeqa
1415: Repeating the arguments developed for genus $g=1$ we may conclude that
1416: $w^g_1(\vu)=w^g_{2g+1}(\vu) \equiv0$,
1417: for arbitrary $b>u_1>u_2>\dots>u_{2g+1}>a$. We then repeat the above
1418: argument fixing $b>u_1>u_3>\dots>u_{2g-1}>u_{2g+1}>a$ and
1419: considering the
1420: equations (\ref{tsarev}) for $w^g_2(\vu)$ and $w^g_{2g}(\vu)$, namely
1421: \beqa
1422: \begin{array}{rll}
1423: \dfrac{\partial }{\partial u_{2g}}w^g_2&=&a_{2(2g)}[w^g_2-w^g_{2g}]\\
1424: \dfrac{\partial}{\partial u_2} w^g_{2g}&=&a_{(2g)2}[w^g_{2g}-w^g_2]\\
1425: w^g_2(u_1,u_2,\dots,u_{2g-1},u_{2g+1},u_{2g+1})&=&
1426: w^{g-1}_2(u_1,u_2,\dots,u_{2g-1},\hat{u}_{2g+1},\hat{u}_{2g+1})\equiv0\\
1427: w^g_{2g}(u_1,u_1,u_3,\dots,u_{2g},u_{2g+1})&=&
1428: w^{g-1}_{2g}(\hat{u}_1,\hat{u}_1,u_3,\dots,u_{2g},u_{2g+1})\equiv 0\,.
1429: \end{array}
1430: \eeqa
1431: It can be easily shown that also
1432: $w^g_2(\vu)=w^g_{2g}(\vu)\equiv 0$ for arbitrary
1433: $b>u_1>u_2>\dots>u_{2g+1}>a$.
1434: Repeating these arguments other $g-2$ times we conclude that
1435: $w^g_i(\vu) \equiv 0$
1436: for $1\leq i\leq g,\;g+2\leq i \leq 2g+1$ and for arbitrary
1437: $b>u_1>u_2>\dots>u_{2g+1}>a$.
1438: Applying (\ref{tsarev}) and the boundary conditions (\ref{b1})-(\ref{b2})
1439: we can prove that also $w^g_{g+1}(\vu)$ is
1440: identically zero. The theorem is then proved.\hfill$\square$
1441: \vskip .2cm
1442: In the next section we consider the problem of reality of the solution
1443: of the hodograph transform (\ref{ch}).
1444:
1445: \begin{rem}
1446: The boundary conditions (\ref{b1}-\ref{b4}) guarantee the $C^1$-smoothness
1447: of the solution of the Whitham equations. Indeed it can be proved that
1448: the $x$ derivatives $\partial_x u_i(x,t)$, $i=1,\dots 2g+1$, are continuous on the phase
1449: transition boundaries.
1450: \end{rem}
1451:
1452:
1453:
1454:
1455:
1456: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1457: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1458: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1459: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1460: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1461: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1462:
1463: \section{An upper bound to the genus of the solution}
1464: \setcounter{equation}{0}
1465: In this section we give an upper bound to the genus of the
1466: solution of the Whitham equations for the monotone increasing
1467: smooth initial data $x=f(u)|_{t=0}$.
1468: \begin{theo}[Second Main Theorem]
1469: \label{main}
1470: If the monotone increasing smooth initial data $f(u)$ satisfies the condition
1471: \begin{equation}
1472: \label{condition}
1473: \dfrac{d^{2N+1}}{du^{2N+1}}f(u)>0, \quad 1\leq N \in\Nn,
1474: \end{equation}
1475: for all $u\in (a,b)$ except at one point, then the
1476: solution of the
1477: Whitham equations (\ref{whithamg}) has genus at most $N$.
1478: \end{theo}
1479: \proof the solution of the Whitham equations
1480: (\ref{whithamg}) for different $g\geq 0$ determines a
1481: decomposition
1482: of the $x-t$ plane, $t\geq 0$, into a number of domains $D_g$ with
1483: g=0,1,2\dots, (see Fig.~\ref{bbb}).
1484: \begin{figure}[tbh]
1485: \centerline{\epsfig{figure=bif.eps,height=5cm}}
1486: \caption{ An example of decomposition of the $x-t$ plane
1487: \label{bbb} }
1488: \end{figure}
1489: To the inner part of each domain $D_g$ it corresponds the
1490: $g$-phase solution $b>u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)>a$
1491: of the Whitham equations (\ref{whithamg}).
1492: The common boundaries of the domains $D_g$, $g\geq 0$,
1493: and $D_{g+n}$, $n\geq 1$, are
1494: the points of phase transition between
1495: the $g$-phase solution and the $(g+n)$-phase solution.
1496:
1497: We will show that each domain $D_g$, $g\leq N$, does not have a common
1498: boundary with any of the domains $D_m$, $m>N$. Since the set of domains
1499: $\{D_g\}_{g\leq N}$ is not empty because $D_0\neq \emptyset$ the
1500: set $\{D_g\}_{g>N}$ must be empty. Indeed on the contrary
1501: the $x-t$ plane, $t\geq 0$,
1502: which is a connected set, would be split into a number of domains
1503: whose union forms a disconnected set.
1504:
1505: \noindent
1506: Before determining the boundaries of the domains $D_g$, $g\geq 0$,
1507: we need to study more in detail the hodograph transform
1508: (\ref{ch}).
1509:
1510:
1511: \begin{prop}
1512: \label{zerophi}
1513: Let us consider the polynomial
1514: \begin{equation}
1515: \label{zeta}
1516: Z^g(r):=-xP^g_0(r)-12tP^g_1(r)+R^{g}(r),
1517: \end{equation}
1518: where $R^0(r)=f(u)$ and $R^{g}(r)$, $g>0$, is given by the expression
1519: \begin{equation}
1520: \label{R2g}
1521: R^{g}(r)=2\sum_{k=1}^{2g+1}\partial_{u_k}q_g(\vu)
1522: \prod_{l=1,l\neq k}^{2g+1}(r-u_l)
1523: +\sum_{k=1}^gq_k(\vu)
1524: \sum_{l=1}^k(2l-1)\Gt_{k-l}P_{l-1}^g(r),
1525: \end{equation}
1526: with the polynomials $P^g_l(r)$, $l\geq 0$, defined in (\ref{b6})
1527: and the functions
1528: $q_k(\vu)$, $k=1,\dots, g$, defined in (\ref{qk}).
1529: Then the hodograph transform (\ref{ch}) is equivalent,
1530: for $g>0$, to the equation
1531: \begin{equation}
1532: \label{zero}
1533: Z^g(r)\equiv 0,\quad g>0.
1534: \end{equation}
1535: \end{prop}
1536:
1537: \noindent
1538: \proof
1539: We observe that the $w_i(\vu)$'s defined in (\ref{wi}) are given by the ratio
1540: $w_i(\vu)=\dfrac{R^{g}(u_i)}{P_0^g(u_i)}$,
1541: $i=1,\dots,2g+1$, where $R^{g}(r)$ is the polynomial defined in (\ref{R2g}).
1542: Hence we can write the hodograph transform (\ref{ch}) in the
1543: form
1544: \begin{equation}
1545: \label{SOL3}
1546: [-xP^g_0(r)-12tP^g_1(r)+R^{g}(r)]_{r=u_i}=0, \quad i=1,\dots,2g+1. \;\;
1547: \end{equation}
1548: For $g>0$, $\;Z^g(r)$ is a polynomial of degree $2g$ and
1549: because of (\ref{SOL3})
1550: it must have at least $2g+1$ real zeros. Therefore it is identically
1551: zero. Hence for $g>0,\;$ (\ref{zero}) is
1552: equivalent to (\ref{SOL3}) and (\ref{ch}).
1553: \hfill $\square$
1554: \vskip .2cm
1555: In the following analysis we give some conditions
1556: for the existence of a real solution
1557: $b>u_1(x,t)>u_2(x,t)>\dots, u_{2g+1}(x,t)>a$ of the
1558: hodograph transform (\ref{ch}).
1559: \noindent
1560: For the purpose let us consider the function $\Psi^g(r;\vu)$
1561: which solves the boundary value problem
1562: \beqa
1563: \label{bpsi}
1564: \left\{\begin{array}{lll}
1565: &&\dfrac{\partial}{\partial u_i}\Psi^g(r;\vu)-\dfrac{\partial}{\partial u_j}
1566: \Psi^g(r;\vu)=2(u_i-u_j)\dfrac{\partial ^2}{\partial u_i\partial u_j}
1567: \Psi^g(r;\vu),\quad i\neq j,\;\;i,j=1,\dots 2g+1\\
1568: &&\dfrac{\partial}{\partial r}\Psi^g(r;\vu)-2\dfrac{\partial}{\partial u_j}
1569: \Psi^g(r;\vu)=2(r-u_j)\dfrac{\partial ^2}{\partial r\partial u_j}
1570: \Psi^g(r;\vu),\quad \;j=1,\dots 2g+1\\
1571: &&\Psi^g(r;\underset{2g+1}{\underbrace{r,\dots,r}})=
1572: \dfrac{2^{g}}{(2g+1)!!}f^{(g)}(r)
1573: \end{array}\right.
1574: \eeqa
1575: where $f^{(g)}(r)$ is the $g$th derivative of the
1576: smooth monotone increasing initial data $f(u)$.
1577: From the results of Sec.~\ref{slos} we are able to integrate (\ref{bpsi})
1578: obtaining
1579: \begin{equation}
1580: \label{psi}
1581: \begin{split}
1582: \Psi^g(r;\vu)=&\dfrac{1}{K}\int_{-1}^1\int_{-1}^1\dots\int_{-1}^1
1583: d\xi_1d\xi_2\dots d\xi_{2g+1}(1+\xi_{2g+1})^g(1+\xi_{2g})^{g-\frac{1}{2}}
1584: \dots(1+\xi_2)^{\frac{1}{2}}\times\\
1585: &\\
1586: &\dfrac{ f^{(g)}(\frac{1+\xi_{2g+1}}{2}(\dots(\frac{1+\xi_{2}}{2}(
1587: \frac{1+\xi_{1}}{2}r+\frac{1-\xi_{1}}{2}u_1)+\frac{1-
1588: \xi_{2}}{2}u_2)+\dots)+\frac{1-\xi_{2g+1}}{2}u_{2g+1}) }
1589: { \sqrt{(1-\xi_1)(1-\xi_2)\dots(1-\xi_{2g+1})} }\\
1590: \end{split}
1591: \end{equation}
1592: where $K=\dfrac{2^g}{(2g+1)!!}\prod_{j=2}^{2g+2}C_j$ and the $C_j$'s have been defined in (\ref{Crho}). The function $\Psi^g(r;\vu)$ is symmetric with respect to the variables
1593: $b>u_1>u_2>\dots> u_{2g+1}>a$.
1594: For the initial data (\ref{b18}), the expression of
1595: $\Psi^g(r;\vu)$ in (\ref{psi}) is equivalent to (\ref{psia}).
1596: \begin{prop}
1597: \label{zphi}
1598: Let us consider the function
1599: \begin{equation}
1600: \label{Phi}
1601: \Phi^g(r;\vu)=\partial_r\Psi^g(r;\vu)+\sum_{i=1}^{2g+1}
1602: \partial_{u_i}\Psi^g(r;\vu),
1603: \end{equation}
1604: where $\Psi^g(r;\vu)$ has been defined in (\ref{psi}).
1605: If $u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)$ satisfy the Whitham equations
1606: (\ref{whithamg})
1607: then the function $\Phi^g(r;\vu)$ has, in the $r$ variable, at
1608: least one real zero in each of the intervals
1609: $(u_{2k},u_{2k-1}),\; k=1,\dots,g$, $g>0$.
1610: \end{prop}
1611: \proof
1612: If the functions $u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)$
1613: satisfy the Whitham equations
1614: then by proposition~\ref{zerophi} the polynomial
1615: $Z^g(r)\equiv 0$. Therefore
1616: \begin{equation}
1617: \begin{split}
1618: 0\equiv&\int_{\alpha_k}\dfrac{Z^g(r)}{\mu(r)}dr=\int_{\alpha_k}\dfrac{-xP^g_0(r)-12tP^g_1(r)+R^{g}(r)}{\mu(r)}dr\\
1619: \label{ppp}
1620: =&\int_{\alpha_k}2\dfrac{\sum_{i=1}^{2g+1}\partial_{u_i}q_g(\vu)
1621: \prod_{j=1,j\neq i}^{2g+1}(r-u_j)}{\mu(r)}dr,\quad k=1,\dots,g.\\
1622: \end{split}
1623: \end{equation}
1624: In the third equality of (\ref{ppp}) we have used the fact that
1625: \[
1626: \int_{\alpha_k}\dfrac{P^g_l(r)}{\mu(r)}dr=\int_{\alpha_k}\sg_l^g(r)=0,\quad l\geq 0,\;k=1,\dots,g,
1627: \]
1628: because of the
1629: normalization conditions (\ref{norm2}).
1630: The function $\Psi^g(r;\vu)$ satisfies the relations
1631: \begin{equation}
1632: \label{psir}
1633: \dfrac{\Psi^g(r;\vu)}{r-u_i}-\dfrac{\Psi^g(u_i;\vu)}{r-u_i}=
1634: 2\partial_{u_i}\Psi^g(r;\vu),\;\;\;
1635: 2\partial_{u_i}q_g(\vu)=\Psi^g(u_i;\vu)
1636: \end{equation}
1637: which can be easily obtained from (\ref{psi}).
1638: Using (\ref{psir}) we can rewrite the last term in (\ref{ppp}) in the form
1639: \begin{equation}
1640: \nonumber
1641: \begin{split}
1642: 0=&\int_{\alpha_k}2\dfrac{\sum_{i=1}^{2g+1}\partial_{u_i}q_g(\vu)
1643: \prod_{j=1,j\neq i}^{2g+1}(r-u_j)}{\mu(r)}dr,\quad k=1,\dots,g,\\
1644: =&2\int_{u_{2k}}^{u_{2k-1}}\mu(r)\left(\sum_{i=1}^g\dfrac{\Psi^g(r;\vu)}{r-u_i}-2\partial_{u_i}\Psi^g(r;\vu)\right)dr\\
1645: =&-4\int_{u_{2k}}^{u_{2k-1}} \mu(r)\left(\partial_r \Psi^g(r;\vu)+
1646: \sum_{i=1}^g\partial_{u_i}\Psi^g(r;\vu)\right)dr,\quad k=1,\dots,g,
1647: \end{split}
1648: \end{equation}
1649: where the last equality has been obtained integrating by parts.
1650: Using the definition of
1651: $\Phi^g(r;\vu)$ in (\ref{Phi}) we rewrite the above relation in the form
1652: \begin{equation}
1653: \label{normphi}
1654: 0=-4\int_{u_{2k}}^{u_{2k-1}} \mu(r)\Phi^g(r;\vu)dr,\quad k=1,\dots,g.
1655: \end{equation}
1656: Relation (\ref{normphi}) is satisfied only if the function $\Phi^g(r;\vu)$ changes sign
1657: at least once in each of the intervals $(u_{2k},u_{2k-1})$, $k=1,\dots,g$.
1658: \hfill$\square$
1659: \vskip .2cm
1660:
1661:
1662: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1664: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1665: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1666:
1667:
1668: In the following we are going to determine the equations
1669: which describe, on the $x-t\geq 0$ plane,
1670: the boundary between the domains $D_g$ and $D_{g+1}$.
1671: %Let us denote by $M_g$ the set of all hyperelliptic
1672: % Riemann surfaces $\cs_g$ of genus $g$ with real branch points
1673: %$u_1\geq u_2\geq \dots \geq u_{2g+1}$ and their degenerations.
1674: % The boundary of the space
1675: %$M_g$
1676: %The boundary between these two domains is described by a degenerate Riemann
1677: %surface
1678:
1679: The boundary between the domains $D_g$ and $D_{g+1}$
1680: represents a singular behavior in the solution of the $g$ or $(g+1)$-phase
1681: equations. As we have shown in the example on fig~\ref{ivp},
1682: the boundary between the domains
1683: $D_0$ and $D_1$ is described by the curves $x^{\pm}(t)$ where
1684: $u_2(x,t)=u_3(x,t)$ and $u_1(x,t)=u_2(x,t)$ respectively and by
1685: the point $x_0$, $t_0$ of gradient catastrophe
1686: of the zero phase solution.
1687:
1688: \noindent
1689: In a similar way the generic boundary between the domains $D_g$ and $D_{g+1}$ is
1690: described by
1691:
1692: \noindent
1693: a) the curves $x_g^{\pm}(t)$ where two Riemann invariants
1694: of the $(g+1)$-phase solution coalesce;
1695:
1696: \noindent
1697: b) the point of gradient catastrophe $x_c$, $t_c>0$ of the
1698: $g$-phase solution, namely the point where one
1699: of the $2g+1$ Riemann invariants has a vertical inflection point.
1700: The equations determining the point
1701: of gradient catastrophe of the $g$-phase solution
1702: can also be obtained considering the limit of the
1703: $g+1$ phase solution when three Riemann invariants coalesce.
1704: % satisfies
1705: %\begin{equation}
1706: %\nonumber
1707: %\begin{split}
1708: %\left.\dfrac{\partial}{\partial x} u_l(x,t)\right|_
1709: %{\left\{\overset{x=x_c}{t=t_c}\right\}}&=\infty\\
1710: %\left.\dfrac{\partial^2}{\partial x^2} u_l(x,t)\right|_
1711: %{\left\{\overset{x=x_c}{t=t_c}\right\}}&= \infty
1712: %\end{split}
1713: %\end{equation}
1714: %$1\leq l\leq 2g+1$; we suppose
1715: %$(-)^{l-1} \left.\dfrac{\partial}{\partial x} u_l(x,t)\right|_
1716: %{\left\{\overset{x=x_c}{t=t_c}\right\}}>0$
1717: %in a deleted neighborhood of $u_l(x_c,t_c)$;
1718:
1719:
1720:
1721: To treat case a)
1722: we consider the Riemann surface $\cs_{g+1}$ of genus
1723: $g+1$ given by the equations
1724: \[
1725: \tilde{\mu}^2=(r-v-\sqrt\d )(r-v+\sqrt\d)\mu^2,\quad v\in\Rn\,,\;\;
1726: \]
1727: \[
1728: \mu^2=
1729: \prod_{j=1}^{2g+1}(r-u_j),\quad
1730: b>u_1>u_2>\dots>u_{2g+1}>a,
1731: \]
1732: where $ v\neq u_j,\;\;j=1,\dots 2g+1$, and $0<\d\ll 1$.
1733: The Riemann invariants are the $2g+3$ variables
1734: $\tilde{u}_1=v+\sqrt\d,\; \tilde{u}_2=v-\sqrt\d$, $\;u_1>u_2>\dots>u_{2g+1}$.
1735: We suppose $\tilde{u}_1,\tilde{u}_2\neq u_j,\;j=1,\dots,2g+1$.
1736: The hodograph transform (\ref{ch}) for these $2g+3$ variables
1737: has two different
1738: behavior for $\d\ra 0$ when $v$ belongs to one of the bands
1739: \begin{equation}
1740: \label{band}
1741: (u_{2g+1},u_{2g})\cup(u_{2g-1},u_{2g-2})\cup\dots\cup(u_3,u_2)\cup(u_1,b)
1742: \end{equation}
1743: or gaps
1744: \begin{equation}
1745: (a,u_{2g+1})\cup(u_{2g},u_{2g-1})\cup\dots\cup(u_4,u_3)\cup(u_2,u_1).
1746: \label{gap}
1747: \end{equation}
1748: We call {\it leading edge} of the phase transition boundary
1749: the case in which $v$ belongs
1750: to the bands. We call {\it trailing edge} of the phase transition boundary
1751: the case in which $v$ belongs
1752: to the gaps (\ref{gap}).
1753:
1754: \begin{theo}
1755: \label{LT}
1756: The leading edge of the phase transition boundary between the
1757: $g$-phase solution and the $(g+1)$-phase solution is described by
1758: the system
1759: \beqa
1760: \label{y1}
1761: \left\{\begin{array}{lll}
1762: \Phi^g(v;\vu)-6t\,\e_{g0}=0&&\\
1763: \partial_v\Phi^g(v;\vu)=0&&\\
1764: x=\left[-12t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
1765: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i}&&,\quad
1766: i=1,\dots,2g+1,\; g\geq 0\\
1767: \end{array}\right.
1768: \eeqa
1769: where $\;v\in(u_{2j+1},u_{2j}),\;0\leq j\leq g,
1770: \;u_{0}=+b$, the function $\e_{g0}=1$ for $g=0$ and zero otherwise,
1771: the function $\Phi^g(r;\vu)$ has been defined in (\ref{Phi})
1772: and the polynomial
1773: $R^g(r)$ has been defined in (\ref{R2g}).
1774: We assume $(\partial_v)^2\Phi^g(v;\vu)\neq 0$ and $\Phi^g(u_i;\vu)\neq 0$, $i=1,\dots,2g+1$, on the solution of
1775: (\ref{y1}).
1776: \end{theo}
1777:
1778: \begin{rem}
1779: System (\ref{y1}) is a system of $2g+3$ equations in
1780: $2g+4$ unknowns $x,t, v$ and $u_1>u_2>\dots>u_{2g+1}$. If
1781: system (\ref{y1}) is uniquely solvable for real
1782: $x, v$ and $u_1>u_2>\dots>u_{2g+1}$ as a function of $t\geq 0$, then a phase
1783: transition between the $g$-phase solution and the $(g+1)$-phase solution
1784: occurs. The curve $x_g^-=x_g^-(t)$ describes on the $x-t\geq 0$ plane
1785: the boundary between the domains $D_g$ and $D_{g+1}$ associated to the
1786: leading edge. The conditions $(\partial_v)^2\Phi^g(v;\vu)\neq 0$ and $\Phi^g(u_i;\vu)\neq 0$, $i=1,\dots,2g+1$, on the solution of
1787: (\ref{y1}) exclude higher order degeneracy in the transition.
1788: Indeed in such case it can be proved that in a neighborhood of
1789: the solution $x(t)$, $v(t)$,
1790: $u_1(t)>u_2(t)>\dots>u_{2g+1}(t)$ of (\ref{y1}) the $(g+1)$-phase solution
1791: is uniquely defined.
1792: \end{rem}
1793:
1794:
1795:
1796: \begin{theo}
1797: \label{TT}
1798: The trailing edge of the phase transition boundary between the
1799: $g$-phase solution and the
1800: $(g+1)$-phase solution is described by the solution of the system
1801: \beqa
1802: \label{T1}
1803: \left\{\begin{array}{lll}
1804: \Phi^g(v;\vu)-6t\,\e_{g0}=0&&\\
1805: &&\\
1806: \displaystyle\int_{v}^{u_{2j-1}}(\Phi^g(r;\vu)-6t\,\e_{g0})\mu(r)dr=0&&\\
1807: &&\\
1808: x=\left[-t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
1809: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
1810: i=1,\dots,2g+1,\;g>0\\
1811: \end{array}\right.
1812: \eeqa
1813: where $\;v\in(u_{2j},u_{2j-1}),\;1\leq j\leq g+1,
1814: \;u_{2g+2}=a$ and the function $\Phi^g(r;\vu)$ has been defined in
1815: (\ref{Phi}). We assume $\partial_v\Phi^g(v;\vu)\neq 0$
1816: and $\Phi^g(u_i;\vu)\neq 0$, $i=1,\dots,2g+1$, on the solution
1817: of (\ref{T1}).
1818: \end{theo}
1819: If
1820: system (\ref{T1}) is uniquely solvable for real
1821: $x, v$ and $u_1>u_2>\dots>u_{2g+1}$ as a function of $t\geq 0$, then a phase
1822: transition between the $g$-phase solution and the $(g+1)$-phase solution
1823: occurs. The curve $x_g^+=x_g^+(t)$ describes on the $x-t\geq 0$ plane
1824: the boundary between the domains $D_g$ and $D_{g+1}$ associated to the
1825: trailing edge.
1826:
1827: \noindent
1828: The following theorem enables one to
1829: determine a point of gradient catastrophe of the $g$-phase solution.
1830: This point can be obtained either as a limit of the $(g+1)$ phase solution
1831: when three Riemann invariants coalesce or imposing a vertical inflection
1832: point on the $g$-phase solution.
1833: \begin{theo}
1834: \label{CC}
1835: Let us consider the system
1836: \beqa
1837: \label{CCe}
1838: \left\{\begin{array}{lll}
1839: \partial_r\Phi^g(r;\vu)|_{r=u_l}=0&&\\
1840: \Phi^g(u_l;\vu)-6t\,\e_{g0}=0&&\\
1841: x=\left[-12t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
1842: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
1843: i=1,\dots,2g+1,\; g\geq 0\\
1844: \end{array}\right.
1845: \eeqa
1846: where $\e_{g0}=1$ for $g=0$ and zero otherwise,
1847: the function $\Phi^g(r;\vu)$ has been defined in (\ref{Phi}).
1848: When system (\ref{CCe}) is uniquely solvable for $x_c$, $t_c\geq 0$ and
1849: $b>u_1(x_c,t_c)>u_2(x_c,t_c)>\dots> u_{2g+1}(x_c,t_c)>a$,
1850: then the $g$-phase solution has
1851: a point of gradient catastrophe on the $u_l$ branch, $1\leq l\leq 2g+1$.
1852: \end{theo}
1853: To avoid higher order degeneracies in the transition
1854: we impose the condition
1855: \begin{equation}
1856: \label{third}
1857: (\partial_r)^2\Phi^g(r;\vu(x_c,t_c))|_{r=u_l(x_c,t_c)}\neq 0.
1858: \end{equation}
1859: Indeed we can prove that the above condition guarantees that the genus of
1860: solution of the Whitham equations increases at most by one in the
1861: neighborhood of the point of gradient catastrophe. Therefore it is
1862: legitimate to consider the point of gradient catastrophe that solve (\ref{CCe})
1863: and satisfies (\ref{third}) as a point of the boundary between the domains
1864: $D_g$ and $D_{g+1}$.
1865: The condition (\ref{third}) in not essential in the genus $g=0$ case
1866: as illustrated in Theorem~\ref{Tian}.
1867:
1868: \noindent
1869:
1870: \begin{rem}
1871: We observe that both systems (\ref{y1}) and (\ref{T1}) in the
1872: limit $v\ra u_l$, $l=1,\dots,2g+1$,
1873: coincide with system (\ref{CCe}).
1874: \end{rem}
1875:
1876: \noindent
1877: Theorems~\ref{LT}, \ref{TT} and \ref{CC} characterize
1878: all types of boundaries between the $g$-phase solution and the
1879: $(g+1)$-phase solution, namely the leading edge,
1880: the trailing edge and the points of gradient catastrophe.
1881: We will prove these theorems in the next section.
1882:
1883: \vskip .3cm
1884: {\bf Example 3.1}
1885: For $x=u^k$, $k=3,5,7,\dots$, the solution of the Whitham equations
1886: has genus at most equal to one \cite{AN},\cite{FRT1}. On the
1887: $x-t$, $t\geq 0$, plane we have only the domains $D_0$ and $D_1$.
1888: The one phase solution is defined within the cusp
1889: $x_-(k)\,t^{\frac{k}{k-1}}<x<x_+(k) \,
1890: t^{\frac{k}{k-1}}$, where $x_-(k)<x_+(k)$ are two real constants and
1891: $t>0$. The point $x=0, t=0$ is the point of gradient catastrophe of the
1892: zero-phase solution.
1893: The constants $x_-(k)$ and $x_+(k)$ can be computed explicitly.
1894: From (\ref{psi}) and (\ref{Phi}) we obtain
1895: \begin{equation}
1896: \label{Phi0}
1897: \Phi_0(r,u)=\dfrac{1}{2\sqrt{r-u}}\int_u^r\dfrac{f^{\prime}(\xi)d\xi}{\sqrt{r-\xi}}.
1898: \end{equation}
1899: On the leading edge where $u_1=u_2=v$ and $u_3=u$, $v>u$,
1900: (\ref{y1}) is equivalent to the equations
1901: \begin{equation}
1902: \label{LL}
1903: \int_u^v\dfrac{(\xi-u)f^{\prime\prime}(\xi)}{\sqrt{v-\xi}}\,d\xi=0,\quad
1904: \int_u^v \dfrac{f^{\prime}(\xi)-6t}{\sqrt{v-\xi}}\,d\xi=0,\quad
1905: x=-6tu+f(u).
1906: \end{equation}
1907: On the trailing edge where $u_1=u$, $u_2=u_3=v$, $u>v$,
1908: system (\ref{T1}) is equivalent, for $g=0$ to
1909: \begin{equation}
1910: \label{T00}
1911: \int_v^u(f^{\prime}(\xi)-6t)\sqrt{v-\xi}\,d\xi=0,\quad
1912: \int_u^v \dfrac{f^{\prime}(\xi)-6t}{\sqrt{v-\xi}}\,d\xi=0,\quad
1913: x=-6tu+f(u).
1914: \end{equation}
1915: Equations (\ref{LL}) and (\ref{T00}) have already been obtained
1916: in \cite{FRT1}.
1917: Solving system (\ref{LL}) for $t$ when $f(u)=u^k$, $k=3,5,7,\dots$
1918: we obtain $x_-(k)$ \cite{P},\cite{G1}
1919: \beqa
1920: x_-(k)=-6\,\dfrac{k-1}{k}(2z_-(k)-1)
1921: \left[\dfrac{6}{k}(1+2(k-1)z_-(k))\right]^{\frac{1}{k-1}}\,,
1922: \quad k=3,5,7,\dots ,
1923: \eeqa
1924: where $z_-(k)>1$ is the unique real solution of
1925: $F(-k+2,2,\frac{5}{2};z)=0$. Here $F(a,b,c;z)$ is the
1926: hypergeometric series.
1927: The quantity $x_+(k)$ is obtained from (\ref{T00})
1928: \beqa
1929: x_+(k)=2\,\dfrac{k-1}{k}(2z_+(k)-3)\left[\dfrac{2}{k}(3+2(k-1)z_+(k))\right]^
1930: {\frac{1}{k-1}}\,,\quad k=3,5,7,\dots ,
1931: \eeqa
1932: where the number $z_+(k)>1$ is the unique real solution of the equation
1933: $F(-k+2,2,\frac{7}{2};z)=0$.
1934: We give some numerical values: $x_-(3)=-12\sqrt3,\;x_-(5)=-16.85,\;
1935: x_-(7)=-16.21,\;x_-(9)=-16.09,\;\\ x_+(3)=\frac{4}{3}\sqrt\frac{5}{3},\;x_+(5)=1.58,\;
1936: x_+(7)=1.61,\;x_+(9)=1.72$.
1937:
1938:
1939:
1940: \vskip 0.3cm
1941:
1942: \noindent
1943: Theorems~\ref{LT}, \ref{TT} and \ref{CC}
1944: can be generalized to the case of multiple phase
1945: transitions.
1946: \begin{theo}
1947: \label{Tmultiple}
1948: The transition boundary between the domains $D_g$, $g\geq 0$ and $D_{g+n}$,
1949: $n>1$, having $n_1$ leading edges and $n_2$ trailing
1950: edges and $n_3$ points of gradient catastrophes, $n_1+n_2+n_3=n$, $n_1,n_2,n_3\geq 0$,
1951: is described by the solution of the system
1952: \beqa
1953: \label{multiple}
1954: \left\{\begin{array}{lll}
1955: \partial_{v_k}\Phi^g(v_k;\vu)=0,\quad k=1,\dots, n_1&&\\
1956: \Phi^g(v_k;\vu)-6t\,\e_{g0}=0, \quad k=1,\dots, n_1&&\\
1957: \Phi^g(y_l;\vu)-6t\,\e_{g0}=0,\quad l=1,\dots,n_2&&\\
1958: \int_{y_l}^{u_{2j_l-1}}(\Phi^g(r;\vu)-6t\,\e_{g0})\mu(r)dr=0,\quad
1959: l=1,\dots, n_2&&\\
1960: \partial_r\Phi^g(r;\vu)|_{r=u_{j_m}}=0,\quad m=1,\dots,n_3&&\\
1961: \Phi^g(u_{j_m};\vu)-6t\,\e_{g0}=0\quad m=1,\dots,n_3&&\\
1962: &&\\
1963: x=\left[-12t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
1964: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
1965: i=1,\dots,2g+1,\; \\
1966: \end{array}\right.
1967: \eeqa
1968: where $v_k\in (u_{2j_k},u_{2j_k+1})$, $0\leq j_k\leq g$, $k=1,\dots,n_1$
1969: and $y_l\in (u_{2j_l-1},u_{2j_l})$, $1\leq j_l\leq g+1$, $l=1,\dots,n_2$.
1970: \end{theo}
1971: \begin{rem}
1972: The transition between the $g$-phase solution and the $(g+n)-$phase
1973: solution, $n>1$, is highly non generic (cfr. Fig~\ref{multiple}).
1974: Indeed system (\ref{multiple}) is a systems of $2n+2g+1$ equations in
1975: $n_1+n_2+2g+3$ unknowns
1976: $v_1,\dots,v_{n_1}$, $\;y_1,\dots,y_{n_2}$, $u_1,\dots,u_{2g+1}$,
1977: $x$ and $t\geq 0$. Therefore if system (\ref{multiple}) admits a real solution,
1978: $n+n_3-2$ variables are functions of all the others.
1979:
1980: \noindent
1981: Theorem~\ref{Tmultiple} includes all the degenerate cases
1982: that have been excluded in Theorems~\ref{LT}, \ref{TT} and \ref{CC}.
1983: For example let us consider
1984: a transition with a double-leading edge described by the
1985: variables $v_1 $, $v_2$ and $u_1>u_2>\dots>u_{2g+1}$ which solve (\ref{multiple}) with
1986: $n_1=2$, $n_2=0,\; n_3=0$.
1987: In the limit $v_1\ra v_2=v$ we get
1988: a single degenerate leading edge. The variables $v$, $u_1>u_2>\dots>u_{2g+1}$
1989: satisfy (\ref{LT}) and the equations $(\partial_v)^2\Phi^g(v;\vu)=0$
1990: and $(\partial_v)^3\Phi^g(v;\vu)=0$. Therefore we regard
1991: such degenerate single leading edge
1992: as a point of the boundary of the domains $D_g$ and $D_{g+2}$.
1993: \end{rem}
1994: \begin{figure}[tbh]
1995: \centerline{\epsfig{figure=multiple.eps,height=5cm}}
1996: \caption{ an example of phase transition between the one-phase
1997: solution and the $4$-phase solution having one leading edge, one
1998: trailing edge and one point of gradient catastrophe at $u_3$.
1999: \label{multiplefig} }
2000: \end{figure}
2001:
2002:
2003: \begin{prop}
2004: \label{propo}
2005: If the domains $D_g$ and $D_{g+1}$ have a common boundary, then the
2006: function
2007: \[
2008: \Phi^g(r;\vu)-6t\e_{g0}
2009: \]
2010: has at least $g+2$ real zeros in the $r$ variable
2011: for $u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)$ satisfying (\ref{zero}) and
2012: for $t>0$.
2013: \end{prop}
2014: \proof
2015: The domains $D_g$ and
2016: the $D_{g+1}$ have a common boundary if one of the systems (\ref{y1}),
2017: (\ref{T1}) or (\ref{CCe}) is solvable for some $t>0$.
2018: We first consider the leading edge.
2019: For $g=0$ the statement is obvious from system (\ref{y1}).
2020: For $g>0$ system (\ref{y1}) can have
2021: a solution if the function $\Phi^g(r;\vu)$
2022: has a double zero at $r=v$ when $v$ belongs to the bands
2023: (\ref{band}).
2024: Combining this observation with proposition~\ref{zphi} we
2025: immediately obtain the statement.
2026: As regarding the trailing edge, the theorem is obvious for $g=0$.
2027: For $g>0$ and $v\in(a, u_{2g+1}) $ system (\ref{T1})
2028: can be satisfied if the function $\Phi^g(r;\vu)$ has at least two zeros
2029: in the interval $(a, u_{2g+1}) $. Combining this observation
2030: with proposition~\ref{zphi} we obtain the statement.
2031: When $v\in(u_{2j},u_{2j-1})$, $1\leq j\leq g$,
2032: (\ref{normphi}) and (\ref{T1}) are satisfied if the function
2033: $\Phi^g(r;\vu)$ has at least three real zeros in the interval
2034: $(u_{2j},u_{2j-1})$, $1\leq j\leq g$, and changes sign
2035: at least once in each of the intervals $(u_{2k},u_{2k-1})$,
2036: $k=1,\dots,g$, and $k\neq j$.
2037: Therefore $\Phi^g(r;\vu)$ has at least $g+2$ real zeros at
2038: the trailing edge.
2039: If the point of the boundary between the domains $D_g$ and
2040: the $D_{g+1}$ corresponds to a point of gradient catastrophe of the
2041: $g$-phase solution the statement is obvious from system (\ref{CCe})
2042: and proposition~\ref{zphi}.
2043: Therefore, on the phase transition boundary between the domains $D_g$ and
2044: $D_{g+1}$ the function $\Phi^g(r;\vu)$ has at least $g+2$ real zeros in the
2045: $r$ variable, $b>r>a$, for $b>u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)>a$ and
2046: for $t>0$. .
2047: \hfill $\square$
2048: \vskip .2cm
2049: \noindent
2050: Proposition~\ref{propo} can be generalized to multiple phase transitions.
2051:
2052: \begin{prop}
2053: \label{propom}
2054: On the phase transition boundary between the domains $D_g$ and
2055: the $D_{g+n}$ the
2056: function
2057: \[
2058: \Phi^g(r;\vu)-6\,t\e_{g0}
2059: \]
2060: has at least
2061: $g+2n$ real zeros in the $r$ variable for
2062: $b>u_1(x,t)>u_2(x,t)>\dots>u_{2g+1}(x,t)>a$ and
2063: for $t>0$.
2064: \end{prop}
2065: The proof is analogous to that of proposition~\ref{propo}.
2066:
2067: \begin{lem}
2068: \label{ngzero}
2069: If the smooth initial data $x=f(u)|_{t=0}$ satisfies
2070: (\ref{condition}), then the function
2071: \[
2072: \Phi^g(r;\vu)
2073: \]
2074: has at most $2N-g$ real zeros (counting multiplicity)
2075: in the $r$ variable for $0< g\leq 2N$ and for any real $x$, $t\geq 0$
2076: and $b>u_1>u_2>\dots>u_{2g+1}>a$.
2077: \end{lem}
2078: \proof
2079: for proving the lemma we need the following elementary result.
2080: If the real smooth function $\xi(r)$ satisfies the condition
2081: \[
2082: \dfrac{d^m}{dr^m}\xi(r)>0 ,\;0\leq m\in\Nn,
2083: \]
2084: for all $r$ belonging to the domain of $\xi$,
2085: then $\xi(r)$ has at most $m$ real zero.
2086:
2087: \noindent
2088: Using (\ref{condition}), (\ref{bpsi}) and (\ref{Phi}) we obtain
2089: \begin{equation}
2090: \label{phit}
2091: \begin{split}
2092: &\dfrac{\partial^{2N-g}}{\partial r^{2N-g}}\Phi^g(r;\vu)=
2093: \int_{-1}^1\dots\int_{-1}^1
2094: d\xi_1\dots d\xi_{2g+1}(1+\xi_{2g+1})^{2N}(1+\xi_{2g})^{2N-\frac{1}{2}}
2095: \dots(1+\xi_2)^{2N-g+\frac{1}{2}}(1+\xi_1)^{2N-g}\\
2096: &\\
2097: &\times\dfrac{ f^{(2N+1)}(\frac{1+\xi_{2g+1}}{2}(\dots(\frac{1+\xi_{2}}{2}(
2098: \frac{1+\xi_{1}}{2}r+\frac{1-\xi_{1}}{2}u_1)+\frac{1-
2099: \xi_{2}}{2}u_2)+\dots)+\frac{1-\xi_{2g+1}}{2}u_{2g+1}) }
2100: {2^{(2g+1)(2N-g)}\,K\, \sqrt{(1-\xi_2)(1-\xi_2)\dots(1-\xi_{2g+1})} }>0\\
2101: \end{split}
2102: \end{equation}
2103: for $g>0$, for any real $r$ and for any fixed real $u_1>u_2>\dots >u_{2g+1}$ belonging to the
2104: interval $(a,b)$.
2105: Therefore $\Phi^g(r;\vu)$ has at most $2N-g$ real zeros in the $r$ variable
2106: for $0< g\leq 2N$ and for any fixed real $b>u_1>u_2>\dots >u_{2g+1}>a$.
2107: \hfill $\square$
2108: \vskip .2cm
2109: \begin{lem}
2110: \label{nzero}
2111: If the smooth monotone increasing initial data $x=f(u)|_{t=0}$ satisfies
2112: (\ref{condition}), then the function
2113: \[
2114: \Phi^0(r;u)-6t
2115: \]
2116: has at most $2N$ real zeros (counting multiplicity) in the $r$
2117: variable,
2118: for any $t\geq 0$ and $u\neq u^*$, where $u^*$ is
2119: the unique solution of the equation $f^{(2N+1)}(u^*)=0$.
2120: For what $\Phi^0(r;u^*)-6t$ is concerned we have two possibilities:
2121: either it has at most $2N$ real zeros (counting multiplicity)
2122: in the $r$ variable for any $t\geq 0$
2123: and some of these zeros are distinct, or it
2124: has at most two real zeros in the $r$ variable for any $t>0$
2125: except for $t=t^*\geq 0$
2126: where $r=u^*$ is a zero of multiplicity higher than $2N$.
2127: \end{lem}
2128: \proof
2129: Since
2130: $f^{\prime}(u)\geq 0$ and because of (\ref{condition}) we have
2131: two possibilities: either $f^{\prime}(u)$ has
2132: at most $N$ simple minima and some of these minima are distinct,
2133: or $f^{\prime}(u)$ is a non negative
2134: convex function with a minimum at $u=u^*$, where $u^*$ is
2135: the unique solution of the equation
2136: $f^{(2N+1)}(u^*)=0$.
2137: From the above considerations the lemma easily follows.
2138: \hfill $\square$
2139: \vskip .2cm
2140: \noindent
2141: We remark that when $f^{\prime}(u)$ is
2142: a convex function, we can apply
2143: Tian's Theorem~\ref{Tian}.
2144: Indeed in such case we have $f^{\prime\prime\prime}(u)>0$ for all $u\neq u^*$
2145: and therefore the solution of the Whitham equations has genus at most one.
2146: \vskip .2cm
2147:
2148: \noindent
2149: We continue the proof of the second main theorem. In the following
2150: we exclude the case in which $f^{\prime}(u)$ is a convex function.
2151: From proposition~\ref{propom}
2152: we deduce that when
2153: the domains $D_g$
2154: and $D_{m}$, $m>g\geq 0$, have a common boundary
2155: the function $\Phi^g(r;\vu) -6t\e_{g0}$ defined in (\ref{Phi}) has at least
2156: $2m-g$ real zeros for some values of $x$ and $t$.
2157: From lemma~\ref{ngzero} the function
2158: $\Phi^g(r;\vu)-6t\e_{g0}$ defined in (\ref{Phi}) has at most $2N-g$ real zeros
2159: for $g\leq 2N$ when the
2160: initial data $f(u)$ satisfies
2161: (\ref{condition}).
2162: Therefore
2163: \begin{equation}
2164: \label{c2}
2165: 2N-g\geq 2m-g\quad\mbox{or}\quad m\leq N.
2166: \end{equation}
2167: This shows that the
2168: set of domains $\{D_g\}_{0\leq g\leq N}$ does not have common
2169: boundaries with any of the domains in the set
2170: $\{D_m\}_{m>N}$. The second main theorem is proved. \hfill $\square$
2171: \vskip .2cm
2172:
2173:
2174:
2175:
2176:
2177: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2178: \subsection{Phase transitions\label{transition}\label{phaset}}
2179: In this subsection we prove theorems~\ref{LT}, \ref{TT}, \ref{CC} and
2180: (\ref{Tmultiple}).
2181:
2182:
2183: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2184: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2185: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2186: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2187: \noindent
2188: In the following we denote with a sup-script the genus of the
2189: quantity we are referring to. Whenever we omit the sup-script we are referring
2190: to genus $g$ quantity.
2191:
2192:
2193: We denote with $\sg_k^{g+1}=\sg^{g+1}_{k}(r,\d,v)$
2194: the normalized Abelian differential
2195: of the second kind with pole at infinity of order $2k+2$
2196: defined on the surface $\cs_{g+1}$
2197: of genus $g+1$
2198: \[
2199: \tilde{\mu}^2=(r-v-\sqrt\d )(r-v+\sqrt\d)\mu^2,\quad v\in\Rn\,,\;\;
2200: \]
2201: \[
2202: \mu^2=
2203: \prod_{j=1}^{2g+1}(r-u_j),\quad
2204: u_1>u_2>\dots>u_{2g+1},
2205: \]
2206: where $ v\neq u_j,\;\;j=1,\dots 2g+1$, and $0<\d\ll 1$.
2207: We define the polynomials
2208: \[
2209: P_k^{g+1}(r,\d,v)=\tilde{\mu}(r)\dfrac{\sg_k^{g+1}(r,\d,v)}{dr}\,.
2210: \]
2211: The expression of the polynomial
2212: in (\ref{R2g}) for the Riemann invariants $\tilde{u}_1=v+\sqrt\d$, $\tilde{u}_2=v-\sqrt\d$ and $u_1>u_2>\dots>u_{2g+1}$ reads
2213: \begin{equation}
2214: \begin{split}
2215: R^{g+1}(r,\d,v)&=2\sum_{i=1}^{2g+1}\partial_{u_i}q^{g+1}_{g+1}
2216: \prod_{j=1,j\neq i}^{2g+1}(r-u_j)(r-\tilde{u}_1)(r-\tilde{u}_2)+
2217: 2\mu^2(r)(r-\tilde{u}_1)\partial_{\tilde{u}_2}q^{g+1}_{g+1}\\
2218: +& 2\mu^2(r)(r-\tilde{u}_2)
2219: \partial_{\tilde{u}_1}q^{g+1}_{g+1}+
2220: \sum_{k=1}^{g+1}q^{g+1}_k
2221: \sum_{l=1}^k(2l-1)
2222: \tilde{\Gamma}^{g+1}_{k-l}P^{g+1}_{l-1}(r,\vu,\d)\,
2223: \end{split}
2224: \end{equation}
2225: where
2226: $q^{g+1}_k=q^{g+1}_k(\tilde{u}_1,\tilde{u}_2,u_1,\dots,u_{2g+1})$,
2227: $\;k=1,\dots,g+1$
2228: and $\tilde{\Gamma}^{g+1}_{k}=\tilde{\Gamma}^{g+1}_{k}(\tilde{u}_1,\tilde{u}_2,u_1,\dots,u_{2g+1})$, $\,k\geq 0$.
2229: We will sometimes omit the explicit dependence of $\sg_k^{g+1}(r,\d,v)$,
2230: $ P_k^{g+1}(r,\d,v)$ and $R^{g+1}(r,v,\d)$
2231: on the parameters $v$ and $\d$.
2232:
2233: \noindent
2234: {\bf Proof of Theorem~\ref{LT}}.
2235:
2236: \noindent
2237: We write the $(g+1)$-phase solution (\ref{ch})
2238: for the variables
2239: $\tilde{u}_1=v+\sqrt\d$,
2240: $\tilde{u}_2=v-\sqrt\d$, $\;u_1>u_2>\dots>u_{2g+1}$ in the form
2241: \beqa
2242: \label{wig1}
2243: \left\{\begin{array}{lll}
2244: 0&=&\dfrac{1}{\tilde{u}_1-\tilde{u}_2}\left(\left[-12t\dfrac{P^{g+1}_1(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}+
2245: \dfrac{R^{g+1}(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}\right]-
2246: \left[-12t\dfrac{P^{g+1}_1(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}+
2247: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right]\right),\\
2248: &&\\
2249: x&=&\left[-12t\dfrac{P^{g+1}_1(r,\d)}{P^{g+1}_0(r,\d)}+
2250: \dfrac{R^{g+1}(r,\d)}{P^{g+1}_0(r,\d)}\right]_{r=\tilde{u}_2},\\
2251: &&\\
2252: x&=&\left[-12t\dfrac{P^{g+1}_1(r,\d)}{P^{g+1}_0(r,\d)}+
2253: \dfrac{R^{g+1}(r,\d)}{P^{g+1}_0(r,\d)}\right]_{r=u_i},\quad
2254: i=1,\dots,2g+1\\
2255: \end{array}\right.
2256: \eeqa
2257: The reason to write the hodograph transform (\ref{ch}) in the
2258: form (\ref{wig1}) is that
2259: system (\ref{wig1}) is non degenerate at the phase transition
2260: $\tilde{u}_1=\tilde{u}_2$.
2261:
2262: \noindent
2263: We show that system (\ref{wig1}) reduces to system (\ref{y1}) when
2264: $\tilde{u}_1=\tilde{u}_2$ or $\d=0$.
2265:
2266: \noindent
2267: It is clear from Theorem~\ref{theoT} and proposition~\ref{zerophi}
2268: that the last $2g+1$ equations in
2269: (\ref{wig1}) in the limit $\tilde{u}_1=\tilde{u}_2$ reduce to those of
2270: system (\ref{y1}).
2271:
2272: \noindent
2273: For computing the limit $\tilde{u}_1\ra \tilde{u}_2$ of the first two
2274: equations in (\ref{wig1})
2275: we first need to study the behavior of
2276: the differentials $\sg_k^{g+1}(r,\d,v)$, $k\geq 0$, when
2277: $\d\rightarrow 0$. When $v$ belongs to one of
2278: the bands (\ref{band}),
2279: the expansion of
2280: $\sg_k^{g+1}(r,\d,v)$ for $\d\ra 0$ reads \cite{Fay}
2281: \begin{equation}
2282: \label{dplead}
2283: \sg_k^{g+1}(r,\d,v)=\sg_k^g(r)+\dfrac{\d}{2}\sg_k^g(v)\partial_v\omega_v^g(r)
2284: +O(\d^2)
2285: \end{equation}
2286: where $\sg_k^g(r)$ is the normalized differential of the second
2287: kind defined on $\cs_g$
2288: with pole at infinity of order $2k+2$,
2289: $\;\sg_k^g(v)=\frac{\sg_k^g(r)}{dr}|_{r=v}$ and
2290: $\partial_v=\dfrac{\partial}{\partial v}$.
2291: The differential $\omega_v^g(r)$ is the normalized Abelian
2292: differential of the third
2293: kind with poles at the points $Q^{\pm}(v)=(v,\pm\mu(v))$ with residue
2294: $\pm1$ respectively. The explicit expression of $\omega_v^g(r)$ has
2295: been given in (\ref{CK})
2296: The differential $O(\d^2)/\d^2$ has a pole at $r=v$ of order $4$ and
2297: zero residue.
2298:
2299: \noindent
2300: From (\ref{dplead}) we can get the expansion of the polynomial
2301: $P_k^{g+1}(r,\d,v)=\tilde{\mu}(r)\dfrac{\sg_k^{g+1}(r,\d,v)}{dr}$, namely
2302: \begin{equation}
2303: \label{dpleadp}
2304: P_k^{g+1}(r,\d,v)=(r-v) P_k^g(r)+\dfrac{\d}{2}\sg_k^g(v)\left(\mu^{\prime}(v)-(r-v)\sum_{k=1}^g r^{g-k}
2305: N^{\prime}_k(v)\right)+O(\d^2),
2306: \end{equation}
2307: where $P_k^g(r)$ has been defined in (\ref{b6}) and the $N_k(v)$'s have been defined in (\ref{norm1}).
2308: From (\ref{dpleadp}) we can evaluate the following
2309: \begin{equation}
2310: \label{Plead}
2311: \left.\dfrac{P_k^{g+1}(r,\d)}{P_0^{g+1}(r,\d)}\right|_{r=v\pm\sqrt\d}=
2312: \dfrac{P_k^{g}(v)}{P_0^g(v)}\pm\sqrt\d\partial_v\left(\dfrac{P_k^{g}(v)}{P_0^g(v)} \right)+O(\d).
2313: \end{equation}
2314:
2315: To evaluate the first two equations in (\ref{wig1}) at the point of
2316: phase transition we need also the following relations
2317: \begin{equation}
2318: \label{qpsi}
2319: \begin{split}
2320: q^{g+1}_{g+1}(v,v,\vu)&=\Psi^g(v;\vu)\\
2321: \left.\dfrac{\partial}{\partial \tilde{u}_i}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)
2322: \right|_{\tilde{u}_1=\tilde{u}_2}&
2323: =\dfrac{1}{2}\dfrac{\partial}{\partial v}\Psi^g(v;\vu),\quad i=1,2,\\
2324: \left.\dfrac{\partial^2}{\partial \tilde{u}_1\partial \tilde{u}_2}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)\right|_{\tilde{u}_1=\tilde{u}_2}&
2325: =\dfrac{1}{4}\dfrac{\partial^2}{\partial v^2}\Psi^g(v;\vu),
2326: \end{split}
2327: \end{equation}
2328: where the function $\Psi^g(r;\vu)$ has been defined in (\ref{psi}).
2329: From (\ref{z1}-\ref{z2}), (\ref{Plead}) and (\ref{qpsi}) we obtain
2330: \begin{equation}
2331: \begin{split}
2332: \left.\dfrac{R^{g+1}(\tilde{u}_i,\d)}{P_0^{g+1}(\tilde{u}_i,\d)}\right|_{\tilde{u}_1=\tilde{u}_2}&=\dfrac{2\mu^2(v)\partial_v\Psi^g(v;\vu)}{P_0^g(v)}+
2333: \Psi^g(v;\vu)\sum_{l=1}^{g+1}(2l-1)
2334: \tilde{\Gamma}^{g}_{g+1-l}\dfrac{P^{g}_{l-1}(v)}{P^g_0(v)} \\
2335: &+ \sum_{k=1}^{g}q^g_k(\vu)
2336: \sum_{l=1}^k(2l-1)
2337: \tilde{\Gamma}^{g}_{k-l}\dfrac{P^g_{l-1}(v)}{P^g_0(v)},
2338: \quad i=1,2.
2339: \end{split}
2340: \end{equation}
2341: From (\ref{mu}), (\ref{psir}) and using the definition of
2342: $\Phi^g(r;\vu)$ in (\ref{Phi}) the above relation
2343: can be written in the form
2344: \begin{equation}
2345: \label{h1}
2346: \left.\dfrac{R^{g+1}(\tilde{u}_i,\d)}{P_0^{g+1}(\tilde{u}_i,\d)}\right|_{\tilde{u}_1=\tilde{u}_2}=
2347: \dfrac{2\mu^2(v)
2348: \Phi^g(v;\vu)+R^{g}(v,\vu)}{P^{g}_0(v)}, \quad i=1,2,
2349: \end{equation}
2350: where $R^g(r,\vu)$ has been defined in (\ref{R2g}).
2351: We need to consider also the quantity
2352: \begin{equation}
2353: \nonumber
2354: \begin{split}
2355: &\left[\dfrac{1}{\tilde{u}_1-\tilde{u}_2}\left(\dfrac{R^{g+1}(\tilde{u}_1,\d)}
2356: {P^{g+1}_0(\tilde{u}_1,\d)}-
2357: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right)\right]_{\tilde{u}_1=
2358: \tilde{u}_2}=
2359: 8\left.\left(\sqrt\d\dfrac{\mu^2(v+\sqrt\d)}{P_0^{g+1}(v+\sqrt\d,\d)}\partial_{\tilde{u}_1}\partial_{\tilde{u}_2}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)\right)\right|_{\d=0}\\
2360: +&2\left.\left(\left(\dfrac{\mu^2(v+\sqrt\d)}{P_0^{g+1}(v+\sqrt\d,\d)}-\dfrac{\mu^2(v-\sqrt\d)}{P_0^{g+1}(v-\sqrt\d,\d)}\right)\partial_{\tilde{u}_2}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)\right)\right|_{\d=0}\\
2361: +&\sum_{k=1}^{g}q^g_k(\vu)
2362: \sum_{l=1}^k(2l-1)
2363: \tilde{\Gamma}^{g}_{k-l}(\vu)\left.\left(\dfrac{1}{2\sqrt\d}\left(\dfrac{P^{g+1}_{l-1}(v+\sqrt\d,\d)}{ P^{g+1}_0(v+\sqrt\d,\d)}-\dfrac{P^{g+1}_{l-1}(v-\sqrt\d,\d)}{ P^{g+1}_0(v-\sqrt\d,\d)}\right)\right)
2364: \right|_{\d=0}\\
2365: +& q_{g+1}^{g+1}(v,v,\vu)\sum_{l=1}^{g+1}(2l-1)
2366: \tilde{\Gamma}^{g}_{g+1-l}(\vu)\left.\left(\dfrac{1}{2\sqrt\d}\left(\dfrac{P^{g+1}_{l-1}(v+\sqrt\d,\d)}{P^{g+1}_0(v+\sqrt\d,\d)}-\dfrac{P^{g+1}_{l-1}(v-\sqrt\d,\d)}
2367: { P^{g+1}_0(v-\sqrt\d,\d)}\right)\right)
2368: \right|_{\d=0}
2369: \end{split}
2370: \end{equation}
2371: where we have used (\ref{z1}-\ref{z2}) to obtain the right hand side.
2372: Using (\ref{mu}),
2373: (\ref{psir}), (\ref{Plead}) and (\ref{qpsi}) the above reduces to the form
2374: \begin{equation}
2375: \label{h2}
2376: \left[\dfrac{1}{\tilde{u}_1-\tilde{u}_2}\left(\dfrac{R^{g+1}(\tilde{u}_1,\d)}
2377: {P^{g+1}_0(\tilde{u}_1,\d)}-
2378: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right)\right]_{\tilde{u}_1=
2379: \tilde{u}_2}=\dfrac{\partial}{\partial_v}\left(\dfrac{2\mu^2(v)
2380: \Phi^g(v)+ R^{g}(v)}{P^{g}_0(v)}\right).
2381: \end{equation}
2382:
2383: From
2384: (\ref{Plead}), (\ref{h1}) and (\ref{h2}), the system (\ref{wig1}) on the
2385: point of phase transition $\tilde{u}_1=\tilde{u}_2=v$
2386: reads
2387: \beqa
2388: \label{wg1}
2389: \left\{\begin{array}{lll}
2390: 0&=&\dfrac{\partial}{\partial v}\left(\dfrac
2391: {-12t P_1^g(v)+R^{g}(v,\vu)+2\mu^2(v)\Phi^g(v;\vu)}{P^g_0(v,\vu)}\right)\\
2392: &&\\
2393: x&=&\dfrac{-12t P_1^g(v,\vu)+R^{g}(v,\vu)+2\mu^2(v) \Phi^g(v;\vu)}{P^{g}_0(v,\vu)}\\
2394: &&\\
2395: x&=&\left[-12t\dfrac{P^{g}_1(r,\vu)}{P^{g}_0(r,\vu)}+
2396: \dfrac{R^{g}(r)}{P^{g}_0(r,\vu)}\right]_{r=u_i},\quad
2397: i=1,\dots,2g+1\\
2398: \end{array}\right.
2399: \eeqa
2400:
2401: From proposition~\ref{zerop} the last $2g+1$ equations in (\ref{wg1})
2402: are equivalent to the condition
2403: \[
2404: -xP^g_0(r)-12tP^g_1(r)+R^{g}(r)\equiv 0\,,\quad g>0.
2405: \]
2406: Therefore system (\ref{wg1}) is equivalent to
2407: system (\ref{y1}) for $g>0$. For $g=0$ substituting (\ref{zerodiff}) in
2408: (\ref{wg1}) we obtain
2409: \beqa
2410: \label{y00}
2411: \left\{\begin{array}{lll}
2412: 0= \partial_v(-6tu+f(u)+2(v-u)(\Phi_0(v,u)-6t))&&\\
2413: &&\\
2414: x=-6tu+f(u)+2(v-u)(\Phi_0(v,u)-6t)&&\\
2415: &&\\
2416: x=-6tu+f(u)&&\\
2417: \end{array}\right.
2418: \eeqa
2419: where $u_1=u$ and $f(u)$ is the initial data. It is clear that (\ref{y00})
2420: is equivalent to (\ref{y1}) for $g=0$.
2421:
2422: \hfill $\square$
2423: \vskip .2cm
2424:
2425: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2426: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2427: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2428: \noindent
2429: {\bf Proof of Theorem~\ref{TT}}.
2430:
2431: For getting the equations determining the trailing edge we have to repeat all the
2432: above calculation in a slightly different way.
2433: We write the $(g+1)$-phase solution
2434: for the variables
2435: $\tilde{u}_1=v+\sqrt\d$,
2436: $\tilde{u}_2=v-\sqrt\d$, $\;u_1>u_2>\dots>u_{2g+1}$ in the form
2437: \beqa
2438: \label{ug1}
2439: \left\{\begin{array}{lll}
2440: 0&=&\dfrac{-1}{\log(\frac{\tilde{u}_1-\tilde{u}_2}{2})^2(\tilde{u}_1-\tilde{u}_2)}\left(12t\left(\dfrac{P^{g+1}_1(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}
2441: -\dfrac{P^{g+1}_1(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}\right)-
2442: \dfrac{R^{g+1}(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}+
2443: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right),\\
2444: &&\\
2445: x&=&\left[-12t\dfrac{P^{g+1}_1(r,\d)}{P^{g+1}_0(r,\d)}+
2446: \dfrac{R^{g+1}(r,\d)}{P^{g+1}_0(r,\d)}\right]_{r=\tilde{u}_2},\\
2447: &&\\
2448: x&=&\left[-12t\dfrac{P^{g+1}_1(r,\d)}{P^{g+1}_0(r,\d)}+
2449: \dfrac{R^{g+1}(r,\d)}{P^{g+1}_0(r,\d)}\right]_{r=u_i},\quad
2450: i=1,\dots,2g+1\\
2451: \end{array}\right.
2452: \eeqa
2453: The reason to write the hodograph transform in the form (\ref{ug1}) is that
2454: system (\ref{ug1}) is non degenerate at the phase transition
2455: $\tilde{u}_1=\tilde{u}_2=v$ when $v\in (u_{2j},u_{2j-1}),\;\;1\leq j\leq
2456: g+1,\;\;u_{g+2}=a$.
2457:
2458: \noindent
2459: From Theorem~\ref{theoT} and proposition~\ref{zerophi}
2460: we deduce that the last $2g+1$ equations in
2461: (\ref{ug1}) in the limit $\tilde{u}_1=\tilde{u}_2$ reduce to those of
2462: system (\ref{T1}).
2463:
2464:
2465: \noindent
2466: Next we investigate the behavior of
2467: the Abelian differentials of the second kind $\sg_k^{g+1}(r,\d,v)$, $k\geq 0$, in the limit $\d\ra 0$, when $v$ belongs to one of the gaps (\ref{gap}). We have that \cite{Fay}
2468: \begin{equation}
2469: \label{dptrail}
2470: \sg_k^{g+1}(r,\d,v)\simeq \sg_k^g(r)-\dfrac{1}{\log\d}\,\om^g_v(r)
2471: \int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi),
2472: \end{equation}
2473: where $\om^g_v(r)$ has been defined in (\ref{CK})
2474: and $Q^{\pm}(v)=(v,\pm\mu(v))$.
2475: From (\ref{dptrail}) we can obtain the expansion for the
2476: polynomial $P^{g+1}_k(r,\d,v)=\tilde{\mu}(r)\dfrac{\sg_k^{g+1}(r,\d,v)}{dr}$,
2477: namely
2478: \begin{equation}
2479: \label{dptrailp}
2480: P_k^{g+1}(r,\d,v)\simeq (r-v) P_k^g(r)-\dfrac{1}{\log\d}\,(r-v)\mu(r)\om^g_v(r)
2481: \int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi),
2482: \end{equation}
2483: so that
2484: \begin{equation}
2485: \label{ptrail}
2486: \left.\dfrac{P_k^{g+1}(r,\d)}{P_0^{g+1}(r,\d)}\right|_{r=v\pm\sqrt\d}\simeq
2487: \dfrac{\int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\left(1
2488: \mp\sqrt{\d}\log\d\left(\dfrac{\sg_k^g(v)}{\int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi)}-
2489: \dfrac{\sg_0^g(v)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\right)\right)
2490: \end{equation}
2491: \noindent
2492:
2493: Using (\ref{R2g}), (\ref{z1}-\ref{z2}) and (\ref{ptrail}) we have that
2494:
2495: \begin{equation}
2496: \label{temp}
2497: \begin{split}
2498: \left.\dfrac{R^{g+1}(\tilde{u}_i,\d)}{P^{g+1}_0(\tilde{u}_i,\d)}\right|_{\tilde{u}_1=
2499: \tilde{u}_2}=& \sum_{k=1}^{g}q^g_k(\vu)
2500: \sum_{l=1}^k(2l-1)
2501: \tilde{\Gamma}^{g}_{k-l}(\vu)\dfrac{\int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\\
2502: +&q_{g+1}^{g+1}(v,v,\vu)\sum_{l=1}^{g+1}(2l-1)
2503: \tilde{\Gamma}^{g}_{g+1-l}(\vu)\dfrac{\int_{Q^-(v)}^{Q^+(v)}\sg_k^g(\xi)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)},\; i=1,2.
2504: \end{split}
2505: \end{equation}
2506: Adding and subtracting
2507: \[
2508: \dfrac{2}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\sum_{i=1}^{2g+1}
2509: \int_{Q^-(v)}^{Q^+(v)}\dfrac{\mu(\xi)d\xi}{\xi-u_i}
2510: \partial_{u_i}q_g(\vu),
2511: \]
2512: to (\ref{temp}) and using (\ref{mu}) and (\ref{psir}) we obtain
2513: \begin{equation}
2514: \label{d1}
2515: \left.\dfrac{R^{g+1}(\tilde{u}_i,\d)}{P^{g+1}_0(\tilde{u}_i,\d)}\right|_{\tilde{u}_1=
2516: \tilde{u}_2}=\dfrac{1}{\int_{Q^-(v)}^{Q^+(v)}
2517: \sg_0^g(\xi)}
2518: \int_{Q^-(v)}^{Q^+(v)}\dfrac{2\mu^2(\xi)\Phi^g(\xi;\vu)+R^{g}(\xi)}{\mu(\xi)}d\xi, \;\;i=1,2
2519: \end{equation}
2520: where $\Phi^g(r;\vu)$ and $R^{g}(r)$ have been defined in (\ref{Phi}) and
2521: (\ref{R2g}) respectively.
2522: We observe that
2523: \[
2524: \int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)\neq 0
2525: \]
2526: for all $v$ belonging to the gaps (\ref{gap}).
2527:
2528: We need to consider also the quantity in the first equation of
2529: (\ref{ug1}) namely
2530: \begin{equation}
2531: \nonumber
2532: \begin{split}
2533: &\left.\left(\dfrac{-1}{\log(\frac{\tilde{u}_1-\tilde{u}_2}{2})^2(\tilde{u}_1-\tilde{u}_2)}
2534: \left(\dfrac{R^{g+1}(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}-
2535: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right)\right)\right|_{\tilde{u}_1=\tilde{u}_2}=\\
2536: -&8\left.\left(\dfrac{\sqrt\d}{\log\d}\dfrac{\mu^2(v+\sqrt\d)}{P_0^{g+1}(v+\sqrt\d,\d)}\partial_{\tilde{u}_1}\partial_{\tilde{u}_2}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)\right)\right|_{\d=0}\\
2537: -&2\left.\left(\left(\dfrac{\mu^2(v+\sqrt\d)}{\log\d\,P_0^{g+1}(v+\sqrt\d,\d)}+\dfrac{\mu^2(v-\sqrt\d)}{\log\d\,P_0^{g+1}(v-\sqrt\d,\d)}\right)\partial_{\tilde{u}_2}q^{g+1}_{g+1}(\tilde{u}_1,\tilde{u}_2,\vu)\right)\right|_{\d=0}\\
2538: -&\sum_{k=1}^{g}q^g_k(\vu)
2539: \sum_{l=1}^k(2l-1)
2540: \tilde{\Gamma}^{g}_{k-l}(\vu)\left.\left(\dfrac{1}{2\sqrt\d\log\d}\left(\dfrac{P^{g+1}_{l-1}(v+\sqrt\d,\d)}{ P^{g+1}_0(v+\sqrt\d,\d)}-\dfrac{P^{g+1}_{l-1}(v-\sqrt\d,\d)}{ P^{g+1}_0(v-\sqrt\d,\d)}\right)\right)
2541: \right|_{\d=0}\\
2542: -& q_{g+1}^{g+1}(v,v,\vu)\sum_{l=1}^{g+1}(2l-1)
2543: \tilde{\Gamma}^{g}_{g+1-l}(\vu)\left.\left(\dfrac{1}{2\sqrt\d\log\d}\left(\dfrac{P^{g+1}_{l-1}(v+\sqrt\d,\d)}{P^{g+1}_0(v+\sqrt\d,\d)}-\dfrac{P^{g+1}_{l-1}(v-\sqrt\d,\d)}
2544: { P^{g+1}_0(v-\sqrt\d,\d)}\right)\right)
2545: \right|_{\d=0}
2546: \end{split}
2547: \end{equation}
2548: Using (\ref{mu}),
2549: (\ref{psir}), (\ref{ptrail}) and (\ref{qpsi}) we simplify the above relation to the
2550: form
2551: \begin{equation}
2552: \nonumber
2553: \begin{split}
2554: &\left.\left(\dfrac{-1}{\log(\frac{\tilde{u}_1-\tilde{u}_2}{2})^2(\tilde{u}_1-\tilde{u}_2)}
2555: \left(\dfrac{R^{g+1}(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}-
2556: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right)\right)\right|_{\tilde{u}_1=\tilde{u}_2}=\dfrac{1}{\mu(v)\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\times\\
2557: &\left( 2\mu^2(v)\partial_v\Psi^g(v;\vu)
2558: +\sum_{k=1}^{g}q^g_k(\vu)
2559: \sum_{l=1}^k(2l-1)
2560: \tilde{\Gamma}^{g}_{k-l}(\vu)
2561: \left( P_{l-1}^g(v)-P_0^g(v)\dfrac{\int_{Q^-(v)}^{Q^+(v)}\sg_{l-1}^g(\xi)}
2562: {\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\right)\right.\\
2563: +&\left.\left(2\mu(v)\mu^{\prime}(v)-
2564: 4\mu(v)\dfrac{P_0^g(v,\vu)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}
2565: \right)\Psi^g(v;\vu)\right)
2566: \end{split}
2567: \end{equation}
2568: Using repeatedly (\ref{psir}) we can write the above relation in the form
2569: \begin{equation}
2570: \label{d2}
2571: \begin{split}
2572: &\left.\left(\dfrac{-1}{\log(\frac{\tilde{u}_1-\tilde{u}_2}{2})^2(\tilde{u}_1-\tilde{u}_2)}
2573: \left(\dfrac{R^{g+1}(\tilde{u}_1,\d)}{P^{g+1}_0(\tilde{u}_1,\d)}-
2574: \dfrac{R^{g+1}(\tilde{u}_2,\d)}{P^{g+1}_0(\tilde{u}_2,\d)}\right)\right)\right|_{\tilde{u}_1=\tilde{u}_2}=\dfrac{1}{\mu(v)\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\times\\
2575: &\left(
2576: 2\mu^2(v)\Phi^g(v;\vu)+R^{g}(v)-\dfrac{P_0^g(v)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}\int_{Q^-(v)}^{Q^+(v)}\dfrac{2\mu^2(\xi)\Phi^g(\xi;\vu)+
2577: R^{g}(\xi)}{\mu(\xi)}d\xi\right),
2578: \end{split}
2579: \end{equation}
2580: where $\Phi^g(r;\vu)$ and $R^{g}(r)$ have been defined in (\ref{Phi}) and
2581: (\ref{R2g}) respectively.
2582:
2583: \noindent
2584: From (\ref{ptrail}), (\ref{d1}) and (\ref{d2})
2585: system (\ref{ug1}) can be reduced to the form
2586: \beqa
2587: \label{ug2}
2588: \left\{\begin{array}{lll}
2589: 0= 2\mu^2(v)\Phi^g(v;\vu)+Z^g(v)+
2590: \dfrac{P_0^g(v)}{\int_{Q^-(v)}^{Q^+(v)}\sg_0^g(\xi)}
2591: \displaystyle\int_{Q^-(v)}^{Q^+(v)}\;\dfrac{2\mu^2(\xi)\Phi^g(\xi;\vu)+Z^g(\xi)}{\mu(\xi)}d\xi&&\\
2592: &&\\
2593: 0=\displaystyle\int_{Q^-(v)}^{Q^+(v)}\;\dfrac{2\mu^2(\xi)\Phi^g(\xi;\vu)+Z^g(\xi)}{\mu(\xi)}d\xi&&\\
2594: &&\\
2595: x=\left[-t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
2596: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
2597: i=1,\dots,2g+1&&\\
2598: \end{array}\right.
2599: \eeqa
2600: where the polynomial $Z^g(r)$ has been defined in (\ref{zeta}).
2601: From proposition~\ref{zerop} the last $2g+1$ equations in (\ref{ug2})
2602: are equivalent to the condition
2603: \[
2604: Z^g(r)\equiv 0\,, \;\;g>0.
2605: \]
2606: Therefore system (\ref{ug2}) is equivalent for $g>0$ to the system
2607: \beqa
2608: \label{ug3}
2609: \left\{\begin{array}{lll}
2610: 0=\Phi^g(v;\vu)&&\\
2611: &&\\
2612: 0=\displaystyle\int_{Q^-(v)}^{Q^+(v)}\;\mu(\xi)\Phi^g(\xi;\vu) d\xi&&\\
2613: &&\\
2614: x=\left[-t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
2615: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
2616: i=1,\dots,2g+1.\;&&\\
2617: \end{array}\right.
2618: \eeqa
2619: Because of (\ref{normphi}), when $v\in (u_{2j},u_{2j-1}),
2620: 1\leq j\leq g+1,\;u_{2g+2}=a$,
2621: we can split the
2622: integral of the second equation of (\ref{ug3}) in the form
2623: \begin{equation}
2624: \nonumber
2625: \begin{split}
2626: \int_{Q^-(v)}^{Q^+(v)}\;\mu(\xi)\Phi^g(\xi;\vu) d\xi=&
2627: \int_{Q^-(v)}^{u_{2j-1}}\;\mu(\xi)\Phi^g(\xi;\vu) d\xi+\int_{u_{2j-1}}^{Q^+(v)}\;\mu(\xi)\Phi^g(\xi;\vu) d\xi\\
2628: =&2\int_{u_{2j-1}}^{Q^+(v)}\;\mu(\xi)\Phi^g(\xi;\vu) d\xi.
2629: \end{split}
2630: \end{equation}
2631: Therefore (\ref{ug3}) is equivalent to (\ref{T1}) for $g>0$.
2632:
2633: \noindent
2634: For $g=0$ substituting (\ref{zerodiff}) in
2635: (\ref{ug2}) it is easy to check that we obtain a system equivalent to (\ref{T1}).
2636: \hfill$\square$
2637: \vskip .2cm
2638: \noindent
2639:
2640:
2641: \vskip 0.5cm
2642: %\begin{figure}[htb]
2643: %\hskip 4cm\epsfig{figure=1phase.eps,height=2.3in}
2644: %%%%%5\caption{Transition between the zero phase solution and the one-phase solution.
2645: %\label{fig2}}
2646: %\end{figure}
2647:
2648:
2649: \noindent
2650: {\bf Proof of Theorem~\ref{CC}}.
2651:
2652: \noindent
2653: The equations describing the point
2654: of gradient catastrophe of the $g$-phase solution
2655: can be obtained either considering the limit of the
2656: $(g+1)-$phase solution when three Riemann invariants coalesce,
2657: or supposing that one
2658: of the $2g+1$ distinct Riemann invariants of the $g$-phase solution has
2659: a vertical inflection point for $t>0$.
2660: For proving Theorem~\ref{CC} we follow the latter possibility.
2661:
2662: \noindent
2663: On the solution of (\ref{ch})
2664: $\partial_x u_l(x,t)=(\partial_{u_l}(-\lb_lt+w_l))^{-1}$ \cite{FRT1} therefore
2665: a point of gradient catastrophe of the $g$-phase solution
2666: is determined by the system
2667: \beqa
2668: \label{cc1}
2669: \left\{\begin{array}{lll}
2670: \partial_{u_l}(-\lb_lt+w_l)=0&&\\
2671: &&\\
2672: (\partial_{u_l})^2(-\lb_lt+w_l)=0&&\\
2673: &&\\
2674: x=\left[-t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
2675: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i},\quad
2676: i=1,\dots,2g+1\\
2677: \end{array}\right.
2678: \eeqa
2679: where $1\leq l\leq 2g+1$.
2680: We show that system (\ref{cc1}) is equivalent to system (\ref{CCe}).
2681: For the purpose we compute explicitly the derivative $\partial_{u_l}(-\lb_lt+w_l)$.
2682: From a generalization of a result in \cite{L} we obtain:
2683: \begin{equation}
2684: \label{partiall}
2685: \dfrac{\partial}{\partial u_l}\dfrac{P^g_k(u_l)}{P^g_0(u_l)}=\dfrac{1}{2}
2686: \left.\dfrac{\partial}{\partial r}\dfrac{P^g_k(r)}{P^g_0(r)}\right|_{r=u_l},
2687: \end{equation}
2688: so that
2689: \begin{equation}
2690: \label{asd}
2691: \begin{split}
2692: &\dfrac{\partial}{\partial u_l}(-\lb_l(\vu)t+w_l(\vu))= -6t
2693: \dfrac{\partial}{\partial r} \left.\dfrac{P^g_1(r)}{P_0^g(r)}
2694: \right|_{r=u_l}
2695: +\dfrac{ \sum_{\overset{k=1}{k\neq l}}^{2g+1}
2696: \prod_{\overset{m=1}{m\neq k,l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}
2697: \partial_{u_l}q_g(\vu) \\
2698: +& \dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }
2699: {P^g_0(u_l)}(\partial_{u_l})^2
2700: q_g(\vu)-\dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }
2701: {(P^g_0(u_l))^2}
2702: \partial_{u_l}q_g(\vu)\partial_{u_l}P^g_0(u_l)\\
2703: +&\dfrac{1}{2}\sum_{n=1}^g (2n-1) \dfrac{\partial}{\partial r}\left.
2704: \dfrac{P^g_{l-1}(r)}{P_0^g(r)}\right|_{r=u_l}\sum_{m=n}^g q_m(\vu)\Gt_{m-n}
2705: +\sum_{n=1}^g (2n-1)\dfrac{P^g_{n-1}(u_l)}{P_0^g(u_l)}\sum_{m=n}^g
2706: \partial_{u_l}(q_m(\vu)\Gt_{m-n}).\\
2707: \end{split}
2708: \end{equation}
2709: In the above relation we need to compute the derivative
2710: \[
2711: \partial_{u_l}P^g_0(u_l)=\partial_r P^g_0(r)|_{r=u_l}+
2712: \partial_{u_l} P^g_0(r)|_{r=u_l},
2713: \]
2714: where $P^g_0(r)=r^g+\alpha_1^0r^{g-1}+\dots+\alpha_g^0$.
2715: For computing the derivatives of the
2716: normalization constants $\alpha_1^0,\alpha_2^0,\dots,\alpha_g^0$
2717: in $P^g_0(r)$ we need the following proposition.
2718: \begin{prop}\cite{D1}
2719: \label{dubrovin}
2720: Let $\om_1(r)$ and $\om_2(r)$ two normalized Abelian differentials on
2721: $\cs_g$. Let be $\xi=\dfrac{1}{\sqrt r}$ the
2722: local coordinate at infinity and
2723: \[
2724: \om_1=\sum_k a^1_k \xi^k d\xi,\quad \om_2=\sum_k a^2_k\xi^k d\xi.
2725: \]
2726: Define the bilinear product
2727: \[
2728: V_{\om_1\om_2}=\sum_{k\geq 0}\dfrac{a^1_{-k-2}a^2_k}{k+1},
2729: \]
2730: then
2731: \begin{equation}
2732: \dfrac{\partial}{\partial u_i}V_{\om_1\om_2}=\res[r=u_i]\dfrac{\om_1(r)\om_2(r)}{dr},\quad i=1,\dots, 2g+1,
2733: \end{equation}
2734: where $\res[r=u_i]\dfrac{\om_1(r)\om_2(r)}{dr}$ is the residue of the differential
2735: $\dfrac{\om_1(r)\om_2(r)}{dr}$ evaluated at $r=u_i$.
2736: \end{prop}
2737: Applying the above proposition to $\sg_0$ and $\sg_k$, $k=0,\dots g-1$
2738: we obtain after non trivial simplifications
2739: \begin{equation}
2740: \begin{split}
2741: \dfrac{\partial}{\partial u_l}
2742: \begin{pmatrix}
2743: \alpha_1^0\\
2744: \alpha_2^0\\
2745: \dots\\
2746: \alpha_{g-1}^0\\
2747: \alpha_g^0
2748: \end{pmatrix}=&
2749: -\dfrac{1}{2}
2750: \begin{pmatrix}
2751: 1\\
2752: u_l\\
2753: \dots\\
2754: u_l^{g-1}\\
2755: u_l^{g-1}
2756: \end{pmatrix}
2757: -\dfrac{1}{2}
2758: \begin{pmatrix}
2759: 0&0&0&\dots&0\\
2760: 1&0&0&\dots&0\\
2761: \dots&\dots&\dots&\dots&\dots\\
2762: u_l^{g-3}&u_l^{g-4}&\dots&0&0\\
2763: u_l^{g-2}&u_l^{g-3}&\dots&1&0
2764: \end{pmatrix}
2765: \begin{pmatrix}
2766: \alpha_1^0\\
2767: \alpha_2^0\\
2768: \dots\\
2769: \alpha_{g-1}^0\\
2770: \alpha_g^0
2771: \end{pmatrix}\\+&
2772: \dfrac{1}{2}\dfrac{P^g_0(u_l)}{\prod_{k=1,k\neq l}^{2g+1}(u_l-u_k)}
2773: \begin{pmatrix}
2774: \Gt_0&0&0&\dots&0\\
2775: \Gt_1&\Gt_0&0&\dots&0\\
2776: \dots&\dots&\dots&\dots&\dots\\
2777: \Gt_{g-2}&\Gt_{g-3}&\dots&\Gt_0&0\\
2778: \G_{g-1}&\Gt_{g-2}&\dots&\Gt_1&\Gt_0
2779: \end{pmatrix}
2780: \begin{pmatrix}
2781: 1\\
2782: 3P^g_1(u_l)\\
2783: \dots\\
2784: (2g-3)P^g_{g-2}(u_l)\\
2785: (2g-1)P^g_{g-1}(u_l)
2786: \end{pmatrix}
2787: \end{split}
2788: \end{equation}
2789: where the $\Gt_k$'s have been defined in (\ref{Gt}).
2790: From the above formula we obtain
2791: \begin{equation}
2792: \label{partialP}
2793: \begin{split}
2794: \partial_{u_l}P^g_0(u_l)=&\partial_r P^g_0(r)|_{r=u_l}+
2795: \partial_{u_l} P^g_0(r)|_{r=u_l}\\
2796: =&\dfrac{1}{2} \partial_r P^g_0(r)|_{r=u_l}+\dfrac{1}{2}
2797: \dfrac{ P^g_0(u_l) }{ \prod_{k=1,k\neq l}^{2g+1}(u_l-u_k) }
2798: \sum_{n=1}^g (2n-1)P^g_{n-1}(u_l)\sum_{m=n}^g u_l^m\Gt_{m-n}.
2799: \end{split}
2800: \end{equation}
2801:
2802:
2803: Using the relations (\ref{relations}), (\ref{dGt}),
2804: (\ref{partiall}) and (\ref{partialP}) we simplify (\ref{asd}) to the form
2805: \begin{equation}
2806: \label{AQ}
2807: \begin{split}
2808: \dfrac{\partial}{\partial u_l}(-\lb_l(\vu)t+&w_l(\vu))=
2809: -\dfrac{ Z^g(u_l) }{2(P^g_0(u_l))^2}\partial_rP^g_0(r)|_{r=u_l}
2810: +\dfrac{ \sum_{\overset{k=1}{k\neq l}}^{2g+1}
2811: \prod_{\overset{m=1}{m\neq k,l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}
2812: \partial_{u_l}q_g(\vu) \\
2813: +&\dfrac{1}{2P^g_0(u_l)} \partial_r\left.\left(\sum_{n=1}^g (2n-1)P^g_{n-1}(r)\sum_{m=n}^g q_m\Gt_{m-n}-xP^g_0(r)-12tP^g_1(r)\right)\right|_{r=u_l},\\
2814: \end{split}
2815: \end{equation}
2816: where the polynomial $Z^g(r)$ has been defined in (\ref{zeta}).
2817: Applying in the second term of (\ref{AQ}) the relations (\ref{psir})
2818: we can rewrite (\ref{AQ}) in the compact form
2819: \begin{equation}
2820: \label{aw1}
2821: \dfrac{\partial}{\partial u_l}(-\lb_l(\vu)t+w_l(\vu))=
2822: -\left.\dfrac{\partial}{\partial r}\dfrac{Z^g(r) }{ 2P^g_0(r) }\right|_{r=u_l}+
2823: \dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}
2824: \Phi^g(u_l;\vu),
2825: \end{equation}
2826: where $\Phi^g(r;\vu)$ has been defined in (\ref{Phi}).
2827: From proposition~\ref{zerop} the last $2g+1$ equations in (\ref{cc1})
2828: are equivalent to the condition
2829: \[
2830: Z^g(r)\equiv 0\,, \;\;g>0.
2831: \]
2832: Therefore we can simplify (\ref{aw1}) to the form
2833: \begin{equation}
2834: \label{dd1}
2835: \dfrac{\partial}{\partial u_l}(-\lb_l(\vu)t+w_l(\vu))=
2836: \dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}\Phi^g(u_l;\vu),
2837: \end{equation}
2838: when $u_1>u_2>\dots>u_{2g+1}$ satisfy the $g$-phase Whitham equations.
2839: As regarding the second derivative $\dfrac{\partial^2}{\partial u^2_l}(-\lb_l(\vu)t+w_l(\vu))$, from (\ref{dd1}) we obtain
2840: \begin{equation}
2841: \label{dd0}
2842: \dfrac{\partial^2}{\partial u^2_l}(-\lb_l(\vu)t+w_l(\vu))=\dfrac{\partial}{\partial u_l}\left(\dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}\right)
2843: \Phi^g(u_l;\vu)+\dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}\partial_{u_l}\Phi^g(u_l;\vu).
2844: \end{equation}
2845: Observing that
2846: \[
2847: \partial_{u_l}\Phi^g(u_l;\vu)=\partial_{r}\Phi^g(r;\vu)|_{r=u_l}+\partial_{u_l}\Phi^g(r;\vu)|_{r=u_l}, \quad \partial_{r}\Phi^g(r;\vu)|_{r=u_l}=2\partial_{u_l}\Phi^g(r;\vu)|_{r=u_l},
2848: \]
2849: we obtain the relation
2850: $\partial_{u_l}\Phi^g(u_l;\vu)=\dfrac{3}{2}\partial_{r}\Phi^g(r;\vu)|_{r=u_l}$.
2851: Therefore
2852: \begin{equation}
2853: \label{dd2}
2854: \dfrac{\partial^2}{\partial u^2_l}(-\lb_l(\vu)t+w_l(\vu))=\dfrac{\partial}{\partial u_l}\left(\dfrac{\prod_{m=1,m\neq l}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}\right)
2855: \Phi^g(u_l;\vu)+\dfrac{3}{2}\dfrac{\prod_{\overset{m=1}{m\neq l}}^{2g+1}(u_l-u_m) }{P^g_0(u_l)}\partial_{r}\Phi^g(r;\vu)|_{r=u_l}.
2856: \end{equation}
2857: From (\ref{dd1}-\ref{dd2}) and the fact that $\dfrac{\prod_{m=1,m\neq l}^{2g+1}(u_l-u_m) }{P_0(u_l)}\neq 0$ for $u_1>u_2>\dots>u_{2g+1}$,
2858: it is clear that system (\ref{cc1})
2859: is equivalent to system (\ref{CCe}).
2860: \hfill $\square$
2861: \vskip .2cm
2862: We remark that to avoid higher order degeneracies in system (\ref{CCe}),
2863: we impose the condition
2864: \begin{equation}
2865: \label{terzo}
2866: (\partial_r)^2\Phi^g(r;\vu)_{r=u_l(x_c,t_c)}\neq 0.
2867: \end{equation}
2868: Indeed we prove that the above condition guarantees that the genus of
2869: solution of the Whitham equations increases at most by one in the
2870: neighborhood of the point of gradient catastrophe. It is sufficient
2871: to show that the transition to genus $g+2$ does not occur. For the purpose
2872: let us suppose $l$ even and let us consider the function
2873: \begin{equation}
2874: \label{secondd}
2875: 0\neq (\partial_r)^2\Phi^g(r;\vu)_{r=u_l(x_c,t_c)}=\mbox{const}\;\times
2876: \Phi^{g+2}(u_l;u_1,\dots, u_{l-1},
2877: u_l,u_l,u_l,u_l,u_l,u_{l+1},\dots,u_{2g+1}).
2878: \end{equation}
2879: By proposition~\ref{zphi}
2880: in order to have a genus $g+2$ solution in the neighborhood of the
2881: point of gradient catastrophe, the function
2882: \[
2883: \Phi^{g+2}(r;u_1,\dots, u_{l-1},
2884: u_l+\e_1,u_l+\e_2,u_l+\e_3,u_l+\e_4,u_l+\e_5,u_{l+1},\dots,u_{2g+1})
2885: \]
2886: has to change sign in each of the intervals $(u_l+\e_2,u_l+\e_3)$
2887: and $(u_l+\e_4,u_l+\e_5)$
2888: ($l$ even) for arbitrary small $\e_1>\e_2>\e_3>\e_4>\e_5>0$.
2889: Because of (\ref{secondd})
2890: \[
2891: \Phi^{g+2}(r;u_1,\dots, u_{l-1},
2892: u_l+\e_1,u_l+\e_2,u_l+\e_3,u_l+\e_4,u_l+\e_5,u_{l+1},\dots,u_{2g+1})\neq 0
2893: \]
2894: for sufficiently small $\e_1>\e_2>\e_3>\e_4>\e_5>0$ and
2895: for $r\in(u_l+\e_2,u_l+\e_5)$.
2896: Therefore the transition to genus $g+2$ does not occur.
2897: We can exclude transitions from genus $g$ to genus $g+n$,
2898: $n>2$, by perturbations arguments.
2899: Therefore it is
2900: legitimate to consider the point of gradient catastrophe that solve (\ref{CCe})
2901: and satisfies (\ref{terzo}) as a point of the boundary between the domains
2902: $D_g$ and $D_{g+1}$. We remark that in the genus $g=0$ case, the condition
2903: (\ref{secondd}) is not essential as illustrated by theorem
2904: (\ref{Tian})
2905:
2906:
2907: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2908: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2909: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2910: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2911: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2912: \vskip 0.3cm
2913:
2914: \noindent
2915: {\bf Proof of Theorem (\ref{Tmultiple})}
2916:
2917: \noindent
2918: A phase transition may occur between the
2919: zero-phase solution and the two-phase
2920: solution. As shown on Figure~\ref{figpt} we can have a
2921: double leading edge,
2922: a trailing-leading edge and a double trailing edge. There are
2923: also other types of boundary between the
2924: zero-phase solution and the two-phase
2925: solution which we call ``point of gradient catastrophe $\&$
2926: leading edge'' and ``point of gradient catastrophe $\&$ trailing
2927: edge''.
2928: \begin{figure}[htb]
2929: \centering
2930: \mbox{\subfigure{\epsfig{figure=dle.eps,width=.3\textwidth}}
2931: \subfigure{\epsfig{figure=lte.eps,width=.3\textwidth}}
2932: \subfigure{\epsfig{figure=dte.eps,width=.3\textwidth}}}
2933: \caption{Three kinds of phase transition from the zero-phase
2934: solution to the two-phase solution \label{figpt}}
2935: \end{figure}
2936: Multiple transitions may also occur between the
2937: $g$-phase solution and the
2938: $(g+2)$-phase solution. In order to determine the systems which describe
2939: such phase transitions we consider the Riemann surface $\cs_{g+2}$ of
2940: genus $ g+2$ defined by
2941: \[
2942: \tilde{\mu}^2=(r-v_1-\sqrt\d_1 )(r-v_1+\sqrt\d_1)
2943: (r-v_2-\sqrt\d_2 )(r-v_2+\sqrt\d_2)\mu^2,\quad v\in\Rn\,,\;\;
2944: \]
2945: \[
2946: \mu^2(r)=
2947: \prod_{j=1}^{2g+1}(r-u_j),\quad
2948: u_1>u_2>\dots>u_{2g+1},
2949: \]
2950: where $v_j\neq u_i$, $j=1,2$, $i=1,\dots,2g+1$. Then we study the
2951: hodograph transform for the distinct variables
2952: $v_1\pm\sqrt\d_1$, $v_2\pm\sqrt\d_2$
2953: and $u_1,\dots,u_{2g+1}$ in the {\it independent} limits $\d_1\ra 0$ and $\d_2\ra 0$.
2954: When $v_1$ and $v_2$ belong to the bands (\ref{band}), we are considering the double
2955: leading edge. Repeating the calculations done for the single leading edge
2956: we can determine the
2957: equations which describe the phase transition for the double leading
2958: edge, namely
2959: \beqa
2960: \label{doubleleadeq}
2961: \left\{\begin{array}{lll}
2962: \partial_{v_1}\Phi^g(v_1;\vu)=0&&\\
2963: \Phi^g(v_1;\vu)=0&&\\
2964: \partial_{v_2}\Phi^g(v_2;\vu)=0&&\\
2965: \Phi^g(v_2;\vu)=0&&\\
2966: x=\left[-12t\dfrac{P^{g}_1(r)}{P^{g}_0(r)}+
2967: \dfrac{R^{g}(r)}{P^{g}_0(r)}\right]_{r=u_i}&&,\quad
2968: i=1,\dots,2g+1,\; g>0\\
2969: \end{array}\right.
2970: \eeqa
2971:
2972: From (\ref{y1}-\ref{T1}) analogous systems
2973: can be obtained for the trailing-leading edge and
2974: double trailing edge.
2975:
2976: \noindent
2977: For studying the phase
2978: transitions between the $g$-phase
2979: solution and the $(g+n)$-phase solution, $n\geq 1$, having $n_1$
2980: leading edges and $n_2$ trailing edges, $n_1+n_2=n$ we consider the
2981: Riemann surface
2982: \[
2983: \tilde{\mu}^2=\prod_{j=1}^{n_1}(r-v_j-\sqrt\d_j )(r-v_j+\sqrt\d_j)\prod_{k=1}^{n_2}(r-y_k-\sqrt\rho_k )(r-y_k+\sqrt\rho_k)\mu^2,\;
2984: \]
2985: \[
2986: \mu^2(r)=
2987: \prod_{j=1}^{2g+1}(r-u_j),\quad
2988: u_1>u_2>\dots>u_{2g+1}.
2989: \]
2990: Here $v_j$, $j=1,\dots,n_1$, belongs to the bands (\ref{band}) and
2991: $y_k$, $\;k=1\dots,n_2$, belongs to the gaps (\ref{gap}),
2992: $0<\d_j\ll 1$, $j=1,\dots,n_1$,
2993: and $0<\rho_k\ll 1$, $\;k=1\dots,n_2$.
2994:
2995: We study the
2996: hodograph transform (\ref{ch}) for the variables $v_j\pm\sqrt\d_j$,
2997: $j=1\dots,n_1$, $y_k\pm \sqrt\rho_k$, $\;k=1\dots,n_2$
2998: and $u_1,\dots,u_{2g+1}$ in the {\it independent} limits $\d_j\ra 0$,
2999: $j=1\dots,n_1$
3000: and $\rho_k\ra 0$ $\;k=1\dots,n_2$.
3001: Repeating the calculations done for proving Theorem~\ref{LT} and
3002: Theorem~\ref{TT} it is easy to show that system (\ref{multiple})
3003: describes the phase transition between the $g$-phase
3004: solution and the $(g+n)$-phase solution having $n_1$
3005: leading edges, $n_2$ trailing edges and no points of gradient catastrophe,
3006: $n_1+n_2=n>1$.
3007: If we suppose that the $g$-phase solution has also $n_3$ points of gradient
3008: catastrophe, $n_1+n_2+n_3=n$, then combining Theorem~\ref{LT},
3009: Theorem~\ref{TT} and Theorem~\ref{CC} we obtain
3010: proposition~\ref{propom}.
3011: \hfill $\square$
3012: \vskip .2cm
3013:
3014:
3015: \section{Conclusion}
3016: In this work we have constructed, in implicit form,
3017: the $g$-phase solution of the
3018: Whitham equations for monotone increasing smooth initial data $x=f(u)|_{t=0}$.
3019: The goal is obtained solving the Tsarev system
3020: (\ref{tsarev}).
3021: We have shown that the solution
3022: of the Tsarev system which satisfies the natural boundary conditions
3023: (\ref{b1}-\ref{b4}) is unique.
3024: Then we have investigated the conditions for the solvability of the
3025: hodograph transform (\ref{ch}). For the purpose
3026: we have derived all the equations
3027: which describe a phase transition of the solution of the Whitham
3028: equations. Studying when phase transitions occur we have
3029: been able to prove the second main result of this work.
3030: Namely we have shown that when the initial data
3031: satisfies (\ref{condition}), the solution of the Whitham equations
3032: has genus $g\leq N$ for all $x$ and $t\geq 0$. It is still an open
3033: problem to effectively determine, on the $x-t\geq 0$ plane, the function
3034: $0\leq g(x,t)\leq N$ from the generic initial data $x=f(u)|_{t=0}$.
3035: \vskip .5cm
3036:
3037: {\bf Acknowledgments.} I am indebted with Professor Boris Dubrovin who
3038: posed me the problem of this work and gave me many hints
3039: to reach the solution. I am grateful to Professor Sergei Novikov for
3040: his suggestions during the preparation of the manuscript.
3041: This work was partially support by a CNR grant 203.01.70 and by a grant of S. Novikov.
3042:
3043:
3044: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3045: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3046: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3048:
3049: \begin{thebibliography}{10}
3050: \addcontentsline{toc}{chapter}{Bibliography}
3051: \markboth{BIBLIOGRAPHY}{BIBLIOGRAPHY}
3052: \bibitem{W} G.B. Whitham, {\it Linear and nonlinear waves}, J.Wiley,
3053: New York, 1974.
3054:
3055: \bibitem{FFM} H.Flaschka, M.Forest, and D.H. McLaughlin, Multiphase
3056: averaging and the inverse spectral solution of the Korteweg-de Vries
3057: equations,
3058: {\it Comm. Pure App. Math.} {\bf 33}:739-784 (1980).
3059:
3060:
3061: \bibitem{LL}P.D. Lax and C.D. Levermore, The small dispersion limit of
3062: the Korteweg
3063: de Vries equation,{\it I,II,III, Comm. Pure Appl. Math.} {\bf 36}:253-290,
3064: 571-593, 809-830 (1983).
3065:
3066: \bibitem{DN} B. Dubrovin, S.P. Novikov, Hydrodynamic of weakly deformed
3067: soliton lattices.
3068: Differential geometry and Hamiltonian theory, {\it Russian Math. Surveys}
3069: {\bf 44}:6, 35-124 (1989).
3070:
3071:
3072:
3073:
3074: \bibitem{T} S.P. Tsarev, Poisson brackets and one-dimensional Hamiltonian
3075: systems of hydrodynamic type, {\it Soviet Math. Dokl.} {\bf 31}:488-491
3076: (1985).
3077:
3078: \bibitem{FRT1} Fei Ran Tian, Oscillations of the zero dispersion limit
3079: of the Korteweg de Vries equations, {\it Comm. Pure App. Math.}
3080: {\bf 46}:1093-1129 (1993).
3081:
3082: \bibitem{GP}A.G. Gurevich, L.P. Pitaevskii, Non stationary structure of a
3083: collisionless shock waves, {\it JEPT Letters } {\bf 17}:193-195 (1973).
3084:
3085: \bibitem{FRT2} Fei Ran Tian, The Whitham type equations and linear
3086: over-determined systems of Euler-Poisson-Darboux type,
3087: {\it Duke Math. Journ. }{\bf 74}:203-221 (1994).
3088:
3089: \bibitem{L}C.D. Levermore, The hyperbolic nature of the zero dispersion
3090: KdV limit, {\it Comm. Partial Differential Equations} {\bf 13}:495-514
3091: (1988).
3092:
3093: \bibitem{S} G. Springer, {\it Introduction to Riemann surfaces},
3094: Addison-Wesley, Reading, MA,1957.
3095:
3096: \bibitem{R}Yu. L. Rodin {\it The Riemann boundary value problem on
3097: Riemann surfaces}, Mathematics and its applications, Soviet Series,
3098: D. Reidel Publishing Company, Holland, 1987.
3099:
3100:
3101: \bibitem{AN} V.V. Avilov, S.P. Novikov, Evolution of the Whitham zone
3102: in KdV theory, {\it Soviet Phys. Dokl.}, {\bf 32}:366-368 (1987).
3103:
3104:
3105: \bibitem{P} G.V. Potemin, Algebraic-geometric construction of
3106: selfsimilar solutions of the Whitham equations, {\it Uspekhi Mat. Nauk.}
3107: {\bf 43}:5, 211-212 (1988).
3108:
3109:
3110: \bibitem{D1}B. Dubrovin, {\it Lectures on 2-D topological field theory},
3111: Lectures Notes in Math. vol. 1620, Springer-Verlag Berlin, Heidelberg and
3112: New York 1996.
3113: \bibitem{K} I.M. Krichever, The method of averaging for two dimensional
3114: integrable equations, {\it Funct. Anal. Appl.} {\bf 22}:200-213 (1988).
3115:
3116:
3117: \bibitem{Fay} J. Fay { \it Theta functions on Riemann Surface},
3118: Lecture Notes in Math.,
3119: Vol. {\bf 352} Springer Verlag, Heidelberg and Berlin 1973.
3120:
3121: \bibitem{G1} T. Grava ``Self-similar asymptotic solutions of the
3122: Whitham equations", Russ. Math. Surveys {\bf 54} vol.2 p.169 1999.
3123:
3124:
3125:
3126:
3127:
3128: \end{thebibliography}
3129: \end{document}
3130:
3131:
3132: