1: \documentclass[11pt]{article}
2: %\usepackage{hyperref}
3: \usepackage{amsmath,amssymb,amsthm}
4: %\usepackage{amssymb,amsthm}
5: %,pdfsync}
6: %\usepackage[english]{babel}
7: %\usepackage[light]{draftcopy}
8: \usepackage[textwidth=18cm,textheight=22cm]{geometry}
9: \usepackage{graphicx}
10: \usepackage{psfrag}
11: \usepackage{array}
12: %\usepackage{palatino}
13: %\usepackage{times}
14: %\usepackage{lucidbry}
15: \newcommand{\C}{\mathbb{C}}
16: \newcommand{\R}{\mathbb{R}}
17: \newcommand{\Z}{\mathbb{Z}}
18: \newcommand{\g}{\mathfrak{g}}
19: \newcommand{\n}{\mathfrak{n}}
20: \renewcommand{\r}{\mathfrak{r}}
21: \renewcommand{\d}{\mathrm{d}}\newcommand{\I}{\mathrm{i}}
22: \newcommand{\bt}{\boldsymbol{t}}
23: \newcommand{\bu}{\boldsymbol{u}}
24: \newcommand{\bbt}{\boldsymbol{\bar{t}}}
25: \newcommand{\bF}{\mathbb{F}}
26: \newcommand{\bV}{\mathbb{V}}
27: \newcommand{\ad}{\operatorname{ad}} \newcommand{\Ad}{\operatorname{Ad}}
28: \newtheorem{pro}{Proposition}
29: \newtheorem{lem}{Lemma}
30: \newcommand{\Exp}[1]{\operatorname{e}^{#1}}
31: \newcommand{\pde}[2]{\dfrac{\partial #1}{\partial #2}}
32: \newcommand{\rat}{\operatorname{rat}}
33: \newtheorem{teh}{Theorem}
34: \newtheorem{de}{Definition}
35: \newcounter{Definition}
36: \newcommand{\be}{\begin{equation}}
37: \newcommand{\ee}{\end{equation}}
38: \begin{document}
39:
40: \title{\sc Genus-zero Whitham hierarchies \\in conformal-map dynamics \thanks{Partially supported by MEC
41: project FIS2005-00319 }}
42: \author{Luis Mart\'{\i}nez Alonso$^{1}$ and
43: Elena Medina$^{2}$\\\\
44: \emph{ $^1$Departamento de F\'{\i}sica Te\'{o}rica II, Universidad
45: Complutense}\\ \emph{E28040 Madrid, Spain} \\
46: \emph{$^2$Departamento de Matem\'{a}ticas, Universidad de
47: C\'{a}diz}\\\emph{ E11510, Puerto Real, C\'{a}diz, Spain}}
48:
49: \date{}
50: \maketitle
51: \begin{abstract}
52: A scheme for solving quasiclassical string equations is developped
53: to prove that genus-zero Whitham hierarchies describe the
54: deformations of planar domains determined by rational conformal
55: maps. This property is applied in normal matrix models to show that
56: deformations of simply-connected supports of eigenvalues under
57: changes of coupling constants are governed by genus-zero Whitham
58: hierarchies.
59: \end{abstract}
60:
61:
62: \vspace*{.5cm}
63:
64: \begin{center}\begin{minipage}{12cm}
65: \emph{Key words:} Whitham hierarchy, conformal
66: maps, normal matrix models.
67:
68:
69:
70: \emph{ 1991 MSC:} 58B20.
71: \end{minipage}
72: \end{center}
73: \newpage
74:
75: \section{Introduction}
76:
77: Conformal mapping methods have been effectively applied in the
78: analysis of interfacial free-boundary problems involving planar
79: domains\cite{crowdy}. They have provided many exact solutions
80: \cite{pol}-\cite{rich} which stimulated the research on possible
81: underlying integrable structures. Thus, Wiegmann and Zabrodin
82: discovered \cite{zab1}-\cite{zab2} that deformations of
83: simply-connected domains with respect to changes of their exterior
84: harmonic moments, treated as independent variables, are described by
85: the dispersionless Toda hierarchy. They also formulated an
86: algebro-geometric analysis \cite{zab3}-\cite{zab4} of the
87: deformations of multiply-connected domains in terms of Whitham
88: equations for Abelian differentials.
89:
90: Recent research has shown \cite{cro}-\cite{sha} that many exact solutions of Laplacian growth models correspond to
91: a special type of domains called \emph{algebraic} or
92: \emph{quadrature domains}. In the simply-connected case the
93: complement of a quadrature domain $D$ is the image of the exterior
94: of the unit disk under a conformal map given by a rational function
95: \begin{equation}\label{0.1}
96: z(w)={r}\,w+\sum_{n=0}^{N_0} \frac{u_{0,n}}{w^n}+\sum_{s=1}^k
97: \sum_{n=1}^{N_s}\frac{{u_{s,n}}}{(w-{a_s})^n},
98: \end{equation}
99: where the coefficient $r$ is a positive number and the $k$ poles
100: $a_s\neq 0$ lie inside the unit circle. In this work we prove that
101: the deformations of rational conformal maps under changes of the
102: parameters $(r,u_{0,n},u_{s,m},a_s)$ such that $z(\bar{a}_s^{-1})$
103: are kept constant, turn out to be described by a solution of the
104: genus-zero Whitham hierarchy W$(n)$ with $n=2k+2$ punctures
105: \cite{krich}. It should be noted that according to a recent general
106: result by Takasaky \cite{tak} the Whitham hierarchy W$(n)$ is the
107: quasiclassical limit of the $n$-component KP hierarchy.
108:
109:
110: Our analysis is based on solving a system of quasiclassical string
111: equations which leads to the characterization of the conformal map
112: \eqref{0.1} as a function $z(w,\bt)$ of the Whitham times $\bt$.
113: For $k=0$ our result agrees with \cite{zab1} (see also \cite{lue})
114: since W$(2)$ is the dispersionless Toda hierarchy. However, for
115: $k\geq 1$ the analysis of \cite{zab1} does not apply because the
116: Schwarz function of the boundary of $D$ has poles outside $D$,
117: consequently there are infinite exterior harmonic moments of $D$
118: different from zero and, since $z(w)$ depends on a finite number of
119: parameters only, these harmonic moments are not independent
120: variables.
121:
122: Deformations of quadrature domains naturally arise in the analysis of partition functions of $N\times N$ normal matrix models \cite{zab5}
123: \begin{equation}\label{0.2}\everymath{\displaystyle}
124: Z_N=\int e^{\frac{1}{\hbar} W(M,M^{\dagger})} \d M\,\d M^{\dagger},
125: \end{equation}
126: with \emph{quasiharmonic} potentials $W(z,\bar{z}):=-z\bar{z}+V(z)+\overline{V(z)}$ of the form
127: \begin{equation}\label{0.3}
128: V(z)=\sum_{n=1}^{N_0+1}z^n t_{0,n}+\sum_{s=1}^k
129: \Big(-t_{s,0}\log(z-\beta_s)+\sum_{n=1}^{N_s-1}\frac{t_{s,n}}{(z-\beta_s)^n}\Big).
130: \end{equation}
131: Integrating over eigenvalues and ignoring normalization factors, the
132: partition function reduces to
133: \begin{equation}\label{0.2a}\everymath{\displaystyle}
134: Z_N=\int\prod_{i>j}|z_i-z_j|^2\;e^{\frac{1}{\hbar}\sum_j
135: W(z_j,\bar{z}_j)}\prod_j \d^2 z_j,
136: \end{equation}
137: In the large $N$ limit ($N\rightarrow\infty,\;\hbar N \; \mbox{fixed}$) the eigenvalues densely occupy a bounded quadrature domain $D$ in the complex
138: plane (\emph{the support of eigenvalues}). As a consequence of our analysis we prove that for simply-connected supports of eigenvalues the corresponding rational conformal map $z=z(w,\bt)$ as a function of the coupling constants $\bt$ of the partition function
139: represents a solution of the Whitham hierarchy W$(2k+2)$.
140:
141: \section{String equations in Whitham hierarchies}
142: The elements of the phase space for a
143: genus-zero Whitham hierarchy W$(M+1)$ are characterized by $M+1$ \emph{punctures} $q_{\alpha},\; (\alpha=0,\ldots,M)$, where $q_0:=\infty$, of the extended
144: complex $p$-plane and an associated set of local coordinates of
145: the form
146: \begin{equation}\label{1.1}\everymath{\displaystyle}
147: z_0=
148: p+\sum_{n=1}^\infty \frac{c_{0,n}}{p^n};\quad
149: z_i=\dfrac{d_{i}}{p-q_i}+\sum_{n=0}^\infty d_{i,n} (p-q_i)^n,
150: \quad i=1,\dots, M.
151: \end{equation}
152: In what follows Greek and Latin suffixes will label
153: indices of the sets $\{0,\ldots,M\}$ and $\{1,\ldots,M\}$,
154: respectively. We will henceforth suppose that there exist positively oriented closed
155: curves
156: $\Gamma_{\mu}$ in the complex planes of the variables $z_{\mu}$ such that each function $z_{\mu}(p)$
157: determines a conformal map of the right-exterior of a
158: circle $\gamma_{\mu}:=z_{\mu}^{-1}(\Gamma_{\mu})$ on the
159: exterior of $\Gamma_{\mu}$ (we will assume that the circle $\gamma_0$ encircles all the $\gamma_i $) (see figure 1).
160:
161: The flows of the Whitham hierarchy can be formulated as the
162: following infinite system of quasiclassical Lax equations
163: \begin{equation}\label{wh} \frac{\partial z_{\alpha}}{\partial
164: t_{\mu n}}=\{\Omega_{\mu n}, z_{\alpha}\},
165: \end{equation}
166: associated to the series of time parameters $\{t_{0,n}:n\geq 1\; ; t_{i,n}:i=1,\ldots,M, n\geq 0\}$. Here the Poisson bracket is defined as $\{F,G\}:=\partial_p F\;\partial_x G-\partial_x F\;\partial_pG$, $x:=t_{01}$
167: and the Hamiltonian functions are
168: \begin{equation}\label{1.3}\everymath{\displaystyle}
169: \Omega_{\mu n}:=(z_\mu^n)_{(\mu,+)} ,\; (n\geq 1) ;\quad
170: \Omega_{i0}:=-\log(p-q_i),
171: \end{equation}
172: where $(\cdot)_{(i,+)}$ and $(\cdot)_{(0,+)}$ stand for the
173: projectors on the subspaces generated by
174: $\{(p-q_i)^{-n}\}_{n=1}^\infty$ and $\{p^n\}_{n=0}^\infty$ in the
175: corresponding spaces of Laurent series. These hierarchies \cite{tak}
176: are the dispersionless limits of the multi-component KP hierarchies.
177: In particular, for $M=0$ and $M=1$ they represent the dispersionless
178: versions of the KP and Toda hierarchies, respectively.
179: \begin{figure}\label{fig 1}
180: \begin{center}
181: \psfrag{p}{$p$-plane}\psfrag{z}{$z_\mu$-plane}
182: \psfrag{a}{$\gamma_0$}\psfrag{b}{$\gamma_1$}\psfrag{c}{$\gamma_2$}
183: \psfrag{d}{$\gamma_3$} \psfrag{e}{$\Gamma_{\mu}$}
184: \includegraphics[width=13cm]{DOMCOL.EPS}
185: \end{center}\caption{Right-exteriors of $\gamma_{\mu}$ and $\Gamma_{\mu}$}
186: \end{figure}
187:
188:
189:
190: In our analysis we will use an extended Lax formalism
191: with Orlov functions
192: \begin{equation}\label{1.2}
193: m_{\alpha}(z_{\alpha},\bt)=\sum_{n=1}^{\infty}nt_{\alpha
194: n}z_{\alpha}^{n-1}+\frac{t_{\alpha 0}}{z_{\alpha}}+
195: \sum_{n\geq2}\frac{v_{\alpha n}}{z_{\alpha}^n},
196: \end{equation}
197: which verify the same Lax equations \eqref{wh} as the variables
198: $z_\alpha$, and such that
199: $
200: \{z_\alpha,m_\alpha\}=1.
201: $
202: The parameter $t_{00}$ in \eqref{1.2} is defined by
203: \begin{equation}\label{1.2a}
204: t_{0
205: 0}:=-\sum_{i=1}^Mt_{i 0},
206: \end{equation}
207:
208:
209: The Whitham hierarchy can be formulated as the following system of equations
210: \begin{equation}\label{2.a}
211: \d z_{\alpha}\wedge\d m_{\alpha}=\d \omega,\quad \forall \alpha,
212: \end{equation}
213: where $\omega$ is the one-form
214: \begin{equation}\label{2.aaa}
215: \omega:=\sum_{\mu,n}\Omega_{\mu n} \d t_{\mu n}.
216: \end{equation}
217: To see how to get from the system \eqref{2.a} to the Whitham hierarchy, note that by identifying the coefficients of $\d p\wedge\d t_{\mu
218: n}$ and $\d x\wedge\d t_{\mu n}$ in \eqref{2.a} we obtain
219:
220: \begin{equation}\label{2.b}\everymath{\displaystyle}
221: \frac{\partial z_{\alpha}}{\partial p}\frac{\partial
222: m_{\alpha}}{\partial t_{\mu n}} -\frac{\partial m_{\alpha}}{\partial
223: p}\frac{\partial z_{\alpha}}{\partial t_{\mu n}}=\frac{\partial
224: \Omega_{\mu n}}{\partial p},\quad \quad \frac{\partial
225: z_{\alpha}}{\partial x}\frac{\partial m_{\alpha}}{\partial t_{\mu
226: n}} -\frac{\partial m_{\alpha}}{\partial x}\frac{\partial
227: z_{\alpha}}{\partial t_{\mu n}}=\frac{\partial \Omega_{\mu
228: n}}{\partial x}.
229: \end{equation}
230: and, in particular, since $\Omega_{01}=p$, for $(\mu,n)=(0,1)$,
231: the system \eqref{2.b} implies
232: $
233: \{z_{\alpha},m_{\alpha}\}=1.
234: $
235: Thus, using this fact and solving \eqref{2.b} for
236: $\partial_{t_{\mu n}} z_{\alpha}$ and
237: $\partial_{t_{\mu n}} m_{\alpha}$, the Lax equations for $(z_{\alpha},m_{\alpha})$ follow.
238:
239: A natural form of characterizing solutions of Whitham hierarchies is
240: provided by systems of string equations
241: \begin{equation}\label{2.1}
242: \begin{cases}
243: P_i(z_i,m_i)=P_0(z_0,m_0),\\
244: Q_i(z_i,m_i)=Q_0(z_0,m_0),
245: \end{cases}\quad i=1,2,\dots,M,
246: \end{equation}
247: where $\{P_\alpha,Q_\alpha\}_{\alpha=0}^M$ satisfy
248: $\{P_{\alpha}(p,x),Q_{\alpha}(p,x)\}=1$. Given a solution $(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt))$ of a system \eqref{2.1}, if we denote
249: \[
250: \mathcal{P}_{\alpha}(p,\bt):=
251: P_{\alpha}(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt)),\quad
252: \mathcal{Q}_{\alpha}(p,\bt):=Q_{\alpha}(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt)),
253: \]
254: it is clear that
255: \begin{equation}\label{2.6}
256: \d \mathcal{P}_{\alpha}\wedge\d \mathcal{Q}_{\alpha}=\d \mathcal{P}_{\beta}\wedge\d \mathcal{Q}_{\beta},\quad \forall \alpha,\beta.
257: \end{equation}
258: On the other hand $\{P_{\alpha}(p,x),Q_{\alpha}(p,x)\}=\{z_{\alpha},m_{\alpha}\}=1$, so that solutions of a system of string equations verify
259: \begin{equation}\label{2.8}
260: \d\mathcal{P}_{\alpha}\wedge\d\mathcal{Q}_{\alpha}=\d z_{\beta}\wedge\d m_{\beta},\quad \forall \alpha,\beta.
261: \end{equation}
262: \vspace{0.3truecm}
263:
264: \noindent
265: {\bf Theorem}
266: \emph{Let $(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt))$ be a solution of \eqref{2.1} which admits expansions
267: of the form \eqref{1.1},\eqref{1.2},\eqref{1.2a} and such that the coefficients of the
268: the two-forms \eqref{2.8} are meromorphic functions of the complex variable $p$ with finite poles at
269: $\{q_1,\dots,q_M\}$ only. Then $(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt))$
270: is a solution of the Whitham hierarchy.}
271:
272:
273: \begin{proof}
274:
275:
276: In view of the hypothesis of the theorem the coefficients of
277: the two-forms \eqref{2.8} with respect to the basis
278: \[
279: \{\d p\wedge\d t_{\alpha n},\quad\d t_{\alpha n}\wedge\d t_{\beta m} \}
280: \]
281: are determined by their principal parts at $q_{\mu},
282: (\mu=0,\ldots ,M)$, so that by taking \eqref{2.8} into account we may write
283: \[
284: \d z_{\alpha}\wedge\d m_{\alpha}=\sum_{\mu=0}^M (\d z_{\mu}\wedge\d m_{\mu})_{(\mu,+)},\quad \forall \alpha.
285: \]
286: Moreover the terms in these decompositions can be found by using the expansions \eqref{1.2} of the functions $m_{\mu}$ as follows
287: \begin{align*}
288: & \d z_{\mu}\wedge \d m_{\mu}=\d z_{\mu}\wedge\Big(
289: \sum_{n=1}^{\infty}nz_{\mu}^{n-1}\d t_{{\mu}n}+\frac{\d t_{{\mu}
290: 0}}{z_\mu}+ \sum_{n\geq2}\frac{\d
291: v_{{\mu} n}}{z_{\mu}^n}\Big)\\
292: &=\d \Big(\sum_{n=1}^{\infty}z_{\mu}^{n}\d t_{{\mu}n}+\log z_{\mu}
293: \d t_{{\mu} 0}- \sum_{n\geq2}\frac{1}{n-1}\frac{\d
294: v_{{\mu}n}}{z_{\mu}^{n-1}}\Big),
295: \end{align*}
296: so that
297: \[
298: (\d z_{\mu}\wedge\d m_{\mu})_{(\mu,+)}=\d
299: \Big(\sum_{n=1}^{\infty}(z_{\mu}^{n})_{(\mu,+)}\d
300: t_{{\mu}n}-(1-\delta_{\mu 0})\log (p-q_{\mu}) \d
301: t_{{\mu}0}\Big)
302: =\d\Big(\sum_{n}\Omega_{\mu n} \d t_{\mu n}\Big).
303: \]
304: Thus we find
305: \[
306: \d z_{\alpha}\wedge\d m_{\alpha}=\d\omega=\d \Big(\sum_{\mu,n}\Omega_{\mu n} \d t_{\mu n}\Big),\quad \forall \alpha,
307: \]
308: and, consequently, this proves that the functions $(z_{\alpha}(p,\bt),m_{\alpha}(p,\bt))$
309: determine a solution of the Whitham hierarchy.
310: \end{proof}
311:
312:
313:
314:
315: \section{Integrable dynamics of quadrature domains}
316:
317: Let us consider a rational conformal map
318: $z(w)$ of the form \eqref{0.1} with $k$ poles $a_s$ inside the unit circle and define
319: \begin{equation}\label{0.3a}
320: \tilde{z}(w):=\overline{z(\bar{w}^{-1})}=\frac{r}{w}+\sum_{n=0}^{N_0}
321: \bar{u}_{0,n}\,w^n+\sum_{s=1}^k
322: \sum_{n=1}^{N_s}\frac{\bar{u}_{s,n}\,w^n}{(1-w\bar{a}_s)^n}.
323: \end{equation}
324: In order to establish the connection between the deformations of the
325: conformal map $z(w)$ and the genus-zero Whitham hierarchies we introduce the change of variable
326: \[
327: p=R\,w:=r\,w+u_{00},
328: \]
329: where $r$ and $u_{00}$ are the first coefficients of $z(w)$ in
330: \eqref{0.1}. As a function of the new variable $p$ the conformal map
331: is normalized at infinity
332: \[
333: z(p)=p+\mathcal{O}(1/p),\quad p\rightarrow\infty.
334: \]
335: Moreover, if we define
336: \[
337: q_0:=\infty,\quad q_s:=R\,b_{s},\quad q_{s+k}:=R\,a_{s},\quad
338: q_{2k+1}:=u_{00},
339: \]
340: it is clear that $z(p)$ and $\tilde{z}(p)$ become rational functions
341: of $p$ with poles at $(q_0,q_s,q_{2k+1})$ and
342: $(q_0,q_{s+k},q_{2k+1})$ respectively.
343:
344:
345: We are going to prove that deformations of $z(w)$ with respect to
346: the coefficients
347: \[
348: \bu:=(r,u_{0,n},u_{s,m},a_s),
349: \]
350: such that $\beta_s=z(w)|_{b_s}$ are kept constant, are described by
351: the Whitham hierarchy W$(2k+2)$. To this end we introduce Whitham
352: variables $(z_{\alpha},m_{\alpha})$ on the $2k+2$ punctures $q_{\alpha}$ of the $p$-plane
353:
354: \begin{equation}\label{3.1}
355: \everymath{\displaystyle}
356: \begin{cases}
357: z_0=z,\quad m_0=\tilde{z},\quad (\mbox{near $q_0=\infty$})\\\\
358: z_{s}=\frac{1}{z-\beta_s},\quad m_{s}=-(z-\beta_s)^2\,\tilde{z}
359: ,\quad (\mbox{near $q_{s}$})\\\\
360: z_{s+k}=\frac{1}{\tilde{z}-\bar{\beta_s}},\quad
361: m_{s+k}=(\tilde{z}-\bar{\beta_s})^2\,{z} \quad (\mbox{near $q_{s+k}$}).\\\\
362: z_{2k+1}=\tilde{z},\quad m_{2k+1}=-z,\quad (\mbox{near $q_{2k+1}$})
363: \end{cases}
364: \end{equation}
365: It is clear that these variables are rational functions of $p$ with possible poles at the punctures $q_{\alpha}$ only. Moreover, they satisfy the system of string equations
366:
367: \begin{equation}\label{3.2}
368: \everymath{\displaystyle}
369: \begin{cases}
370: \frac{1}{z_{s}}+\beta_s=m_{s+k}z_{s+k}^2 =-m_{2k+1}=z_0
371: \\\\
372: -m_{s}z_{s}^2=\frac{1}{z_{s+k}}+\bar{\beta_s}=z_{2k+1}=m_0.
373: \end{cases}
374: \end{equation}
375: Obviously the functions $z_{\alpha}$ are of the form \eqref{1.1}. On the other hand due to \eqref{0.1} and \eqref{0.3a} it follows that the functions $m_{\alpha}$ defined in \eqref{3.1} verify expansions of the form \eqref{1.2}
376: \begin{equation}\label{3.2b}\everymath{\displaystyle}
377: \begin{array}{ll}
378: m_0=\tilde{z}=\sum_{n=1}^{N_0+1}nt_{0n}z_0^{n-1}+\frac{t_{00}}{z_0}+\cdots& w\rightarrow\infty,\\\\
379: m_s=-z_s^{-2}\tilde{z}=\sum_{n=1}^{N_s-1}nt_{sn}z_s^{n-1}+\frac{t_{s0}}{z_s}+\cdots& w\rightarrow b_s,\\\\
380: m_{s+k}=z_{s+k}^{-2} z=\sum_{n=1}^{N_s-1}nt_{s+kn}z_{s+k}^{n-1}+\frac{t_{s+k0}}{z_{s+k}}+\cdots& w\rightarrow a_s,\\\\
381: m_{2k+1}=-z=\sum_{n=1}^{N_0+1}nt_{2k+1n}z_{2k+1}^{n-1}+\frac{t_{2k+10}}{z_{2k+1}}+\cdots& w\rightarrow 0,
382: \end{array}
383: \end{equation}
384: where the time parameters $\bt:=(t_{\alpha,n})$
385: are rational functions in $\bu$
386: \begin{equation}\label{3.2c}
387: t_{\alpha n}=Q_{\alpha n}(\bu).
388: \end{equation}
389:
390: The functions $Q_{\alpha n}(\bu)$ satisfy certain constraints
391: which can be characterized by considering the map
392: \begin{equation}\label{c}
393: C:f\mapsto Cf,\quad Cf(w):=\overline{f(\bar{w}^{-1})}.
394: \end{equation}
395: Observe that in terms of the variable $p$
396: \begin{equation}\label{cc}
397: Cf(p)=\overline{f(\mathcal{I}p)},
398: \end{equation}
399: where $\mathcal{I}p=r^2/(\overline{p-u_{00}})+u_{00}$ is the
400: inversion with respect to the circle $|p-u_{00}|^2=r^2$. From
401: \eqref{3.1} it is clear that
402: \begin{equation}\label{3.3}
403: z_{2k+1}=Cz_0,\quad m_{2k+1}=-Cm_0,\quad z_{s+k}=Cz_s, \quad
404: m_{s+k}=-Cm_s,
405: \end{equation}
406: which implies
407: \begin{equation}\label{3.4}
408: Q_{2k+1,n}(\bu)=-\overline{Q_{0,n}(\bu)},\quad Q_{s+k,n}=-\overline{Q_{s,n}(\bu)}.
409: \end{equation}
410: Furthermore, we can prove that
411: \begin{equation}\label{3.4a}
412: \sum_{\alpha}Q_{\alpha 0}(\bu)=0.
413: \end{equation}
414: Indeed
415: from \eqref{3.1} we deduce
416: \[
417: m_0\,\d z_0=m_{s}\,\d z_{s}=\tilde{z}\,\d z,\quad m_{2k+1}\d
418: z_{2k+1}=m_{s+k}\d z_{s+k}=-z\,\d\tilde{z}.
419: \]
420: Hence
421: \[\everymath{\displaystyle}
422: 2\pi i\sum_{\alpha}
423: Q_{\alpha 0}=\sum_{\alpha}\oint_{\Gamma_{\alpha}}m_{\alpha}\d
424: z_{\alpha}=\sum_{\alpha}\oint_{\gamma_{\alpha}}\tilde{z}\,\partial_p
425: z\d p=0,
426: \]
427: where we have taken into account that $\tilde{z}\,\partial_p
428: z$ is a rational function of $p$ with poles at the punctures $q_{\alpha}$ only, and
429: the fact that
430: \[
431: \sum_{\alpha}\gamma_{\alpha}\sim 0 \quad \mbox{in}\quad
432: \mathbb{C}\setminus\{q_1,\dots,q_{2k+1}\}.
433: \]
434: Notice that due to \eqref{3.4} the constraint \eqref{3.4a} can be rewritten as
435: \begin{equation}\label{3.4b}
436: Im\,Q_{00}+\sum_{s}Im \,Q_{s 0}(\bu)=0.
437: \end{equation}
438: Under appropriate conditions one can determine $\bu$ as a function of $(\bt,\beta_s,\bar{\beta}_s)$. To this end we consider the system
439: \begin{equation}\label{3.5}
440: \begin{cases}
441: t_{\alpha n}=Q_{\alpha n}(\bu),\\\\
442: \beta_s=z(b_s,\bu),
443: \end{cases}
444: \end{equation}
445: where the time parameters
446: \begin{equation}\label{3.6}
447: \bt:=(t_{\alpha,n}),\quad\alpha=0,\ldots, 2k+1; n=0,\ldots
448: \widetilde{N}_{\alpha};\;\;
449: \widetilde{N}_0=\widetilde{N}_{2k+1}=N_0+1,\;
450: \widetilde{N}_{s}=\widetilde{N}_{s+k}=N_s-1,
451: \end{equation}
452: are assumed to satisfy
453: \begin{equation}\label{3.7}
454: t_{2k+1,n}=-\overline{t_{0,n}},\quad t_{s+k,n}=-\overline{t_{s,n}},
455: \quad \sum_{\alpha}t_{\alpha 0}=0.
456: \end{equation}
457: Firstly, we observe that $\bu$ constitutes a set of
458: \begin{equation}\label{3.8}
459: 2(N_0+\sum_s N_s+k)+3,
460: \end{equation}
461: real variables given by $r$ and the real and imaginary parts of
462: $(u_{0,n},u_{s,m},a_i)$.
463: On the other hand, in view of \eqref{3.4} and \eqref{3.4a} we may
464: ignore the equations corresponding to $\alpha=s+k, 2k+1$ in \eqref{3.5}. In this way the system \eqref{3.5} reduces to $2(N_0+2+\sum_s N_s+k)$ real equations, but due to \eqref{3.4b} one
465: of them is a consequence of the others. Therefore, we are lead to a system of equal number of equations and unknowns
466: which under appropriate
467: conditions will determine $\bu$, and consequently
468: $(z_{\alpha},m_{\alpha})$ as functions of
469: $(\bt,\beta_s)$.
470:
471: In this way we have determined a rational solution
472: $(z_{\alpha}(p),m_{\alpha}(p))$ of the system of string equations
473: \eqref{3.2} which depends on $(\bt,\beta_1,\ldots,\beta_k)$ and
474: satisfies the asymptotic conditions \eqref{1.1} and \eqref{1.2}.
475: Therefore, from the above Theorem we conclude that this solution
476: evolves with respect to $\bt$ according to the Whitham hierar
477: chy
478: W$(2k+2)$.
479:
480:
481: It is interesting to notice the following identity involving the times $t_{\alpha 0}$ and the area $T$ of the domain $D$. Let $\Gamma$ be the positively oriented boundary of $D$ and take small positively oriented closed curves
482: $\Gamma'_s$ around the points $\beta_s$ of the $z$-plane, then we have that
483: \begin{align}\label{are}
484: \everymath{\displaystyle}
485: \nonumber t_{00}&=\frac{1}{2\pi i}\oint_{\Gamma_0}\tilde{z}\d z=
486: \sum_s\frac{1}{2\pi i}\oint_{\Gamma'_s}\tilde{z}\d z
487: +\frac{1}{2\pi i}\oint_{\Gamma}\tilde{z}\d z\\\\
488: \nonumber &=\sum_s\frac{1}{2\pi i}\oint_{\Gamma_s}z_s^{-2}\tilde{z}\d z_s
489: +\frac{1}{2\pi i}\oint_{\Gamma}\bar{z}\d z
490: =-\sum_s t_{s0}+\frac{1}{\pi}T.
491: \end{align}
492:
493: \section{Exact solutions}
494:
495: The above analysis can be used to generate solutions of W$(2k+2)$ of the form \eqref{0.1}. Let us consider the case in which only simple poles arise
496: \[
497: z=rw+u_0+\sum_{s=1}^k\frac{v_s}{w-a_s},\quad
498: \tilde{z}=\frac{r}{w}+\bar{u}_0+\sum_{s=1}^k\frac{\overline{v}_sw}{1-\overline{a}_s
499: w}.
500: \]
501: By identifying the coefficients of $z_0^0$ and $z_0^{-1}$ in the expansion of $m_0=\tilde{z}$ as $z_0=z\rightarrow\infty$
502: ($w\rightarrow\infty$), we
503: get
504:
505: \begin{equation}\label{5.1}
506: \bar{u}_0 - \sum_{s=1}^k\frac{\overline{v}_s}{\overline{a}_s}
507: =t_{0,1},\quad
508: r\left(r-\sum_{s=1}^k\frac{\overline{v}_s}{{\overline{a}_s}^2}\right)=t_{0,0},
509: \end{equation}
510: and identifying the coefficient of $z_s^{-1}$ in the expansion of $m_s=-(z-\beta_s)^2\tilde{z}$ as
511: $z_s\rightarrow\infty$
512: ($w\rightarrow b_s$) yields
513:
514: \begin{equation}\label{5.2}
515: \frac{\bar{v}_s}{\bar{a}_s^2}\left(r-\sum_{s'=1}^k\frac{v_{s'}\bar{a}_s^2}{(1-a_{s'}\bar{a}_{s})^2}\right)=t_{s,0}.
516: \end{equation}
517: Finally, the equations $z(w)|_{w=b_s}=\beta_s$ read
518: \begin{equation}\label{5.3}
519: \frac{r}{\bar{a}_s} + u_0 +\sum_{s'=1}^k \frac{v_{s'}\bar{a}_s}{1 - \bar{a}_sa_{s'}}=\beta_s.
520: \end{equation}
521: The system \eqref{5.1}-\eqref{5.3} determines $(r,u_0,v_s,a_s)$ in terms of $(t_{0,0},t_{0,1},t_{s,0},\beta_s)$.
522:
523:
524: \vspace{0.3cm}
525: \noindent
526: \emph{Examples}
527: \vspace{0.3cm}
528:
529: A solution of W$(4)$ is obtained by deforming the conformal map (aircraft wind)
530: $$z=r\,w+u_0+\frac{v}{w-a},\qquad
531: \tilde{z}=\frac{r}{w}+\bar{u}_0+\frac{\bar{v}w}{1-\bar{a}w}.$$
532:
533: \vspace{5mm}
534:
535: \begin{figure}[h]
536: \centering
537: \includegraphics[width=8cm]{ZETA1B.EPS}
538: \caption{Solution corresponding to $k=1$}
539: \end{figure}
540:
541: \vspace{5mm}
542:
543: The solution of the corresponding equations \eqref{5.1}-\eqref{5.3} is given by:
544: $$a\,=\,\frac{r^2 -At_{0,0}}
545: {r\,(\bar{\beta}-t_{0,1})(1 -A ) },\quad
546: v\,=\,\frac{(r^2 - \overline{t}_{0,0})\,(r^2 -t_{0,0}A)^2}
547: {r^3\,(\bar{\beta}-t_{0,1})^2\,( 1- A)^2},
548: $$
549: $$u_0\,=\,\frac{r^4 -r^2\,t_{0,0}A +r^2\,\overline{t}_{0,1}\,(\bar{\beta}-t_{0,1})(1-A) +
550: |t_{0,0}|^2A -r^2\,\overline{t}_{0,0}}
551: {r^2\,(\bar{\beta}-t_{0,1})(1-A)},$$
552: with
553: $$r^2=\frac{2\,|t_{0,0}|^2\,A^2}
554: {|\bar{\beta}-t_{0,1}|^2\,(2\,A^3-3\,A^2+A)+(t_{0,0}+t_{1,0})(A-1) +
555: (t_{0,0}+\overline{t}_{0,0})\,A},$$ where $A=|a|^2$ is implicitly
556: defined by
557: $$\everymath{\displaystyle}\begin{array}{l}
558: 2|\bar{\beta}-t_{0,1}|^4A^5+\Big[2(t_{0,0}+t_{1,0})-2(t_{0,0}+\overline{t}_{0,0})-5|\bar{\beta}-t_{0,1}|^2\Big]
559: |\bar{\beta}-t_{0,1}|^2A^4\\ \\
560: +4\Big[(t_{0,0}+\overline{t}_{0,0})-(t_{0,0}+t_{1,0})+|\bar{\beta}-t_{0,1}|^2\Big]|\bar{\beta}-t_{0,1}|^2A^3\\ \\
561: +\Big[(t_{0,0}+t_{1,0})^2-(t_{0,0}+\overline{t}_{0,0})^2+4|t_{0,0}|^2-2(t_{0,0}+\overline{t}_{0,0})
562: |\bar{\beta}-t_{0,1}|^2\\ \\
563: +2(t_{0,0}+t_{1,0})|\bar{\beta}-t_{0,1}|^2-|\bar{\beta}-t_{0,1}|^4\Big]A^2
564: -2(t_{0,0}+t_{1,0})^2A+(t_{0,0}+t_{1,0})^2=0.
565: \end{array}$$
566:
567: It can be proved that a reduction
568: of the system \eqref{5.1}-\eqref{5.3} is obtained by setting
569: \begin{equation}\label{5.4}
570: \everymath{\displaystyle}
571: z=rw+u+\sum_{s=1}^l\big(\frac{v_s}{w-a_s}+\frac{\bar{v}_s}{w-\bar{a}_s}\Big),\quad
572: \tilde{z}=\frac{r}{w}+u+\sum_{s=1}^l\Big(\frac{\bar{v}_sw}{1-\bar{a}_sw}+\frac{v_sw}{1-a_sw}
573: \Big),
574: \end{equation}
575: and by assuming
576: \[u,\,t_{00},\,t_{01}\in \mathbb{R},\; t_{s+l,0}=\bar{t}_{s,0},\;
577: \beta_{s+l}=\bar{\beta}_s.
578: \]
579: In the simplest case $l=1$ the reduced system of implicit equations reads
580: \begin{equation}\label{5.5}\everymath{\displaystyle}\begin{array}{l}
581: u- \frac{v_1}{a_1} -\frac{\bar{v}_1}{\bar{a}_1} =t_{0,1},\quad
582: r\left(r-\frac{v_1}{{a_1}^2}-\frac{\bar{v}_1}{{\bar{a}_1}^2}\right)=t_{0,0},\\ \\
583: \bar{v}_1\left(\frac{r}{\bar{a}_1^2}-\frac{\bar{v}_1}{(1- \bar{a}_1^2)^2}- \frac{v_1}{(1 - a_1\bar{a}_1)^2}\right)=t_{1,0},\\ \\
584: \frac{r}{\bar{a}_1} + u + \frac{v_1\bar{a}_1}{1 - a_1\bar{a}_1}
585: +\frac{\bar{v}_1\bar{a}_1}{1 -\bar{a}_1^2}=\beta_1,
586: \end{array}
587: \end{equation}
588: and determines a solution of W$(6)$.
589:
590: Figures 2 and 3 exhibit deformations of domains with respect to
591: changes of the area $T$ such that the Whitham times $t_{s0}$ are
592: kept constant. Observe that the evolution of the boundary develops
593: cusp-like singularities \cite{ben}.
594:
595: \vspace{5mm}
596:
597: \begin{figure}
598: \centering
599: \includegraphics[width=6cm]{ZETA2S.EPS}
600: \caption{Solution corresponding to $k=2$}
601: \end{figure}
602:
603: \vspace{5mm}
604:
605:
606: \section{Whitham times and coupling constants of normal matrix models}
607:
608: Let us assume that the support of eigenvalues of the normal matrix model \eqref{0.2} is a simply-connected domain $D$. For example this is the case if $k=1$ \cite{zab4}. Then by applying the saddle point method to the large $N$ limit of \eqref{0.2a} it follows that \begin{equation}\label{4.1}
609: \everymath{\displaystyle}
610: \bar{z}=V'(z)+\frac{1}{2\pi i}\int\!\!\!\int_D \frac{\d z'\wedge\d\bar{z}'}{z'-z},\quad z\in D.
611: \end{equation}
612: Let us consider now the rational conformal map $z(w)$ associated to
613: $D$, from \eqref{4.1} it follows that the function $\tilde{z}(w)$
614: can be extended as a meromorphic function of $z$ outside $D$ by
615: \begin{equation}\label{4.2}
616: \everymath{\displaystyle}
617: \tilde{z}(z)=V'(z)+\frac{1}{2\pi i}\int\!\!\!\int_D \frac{\d z'\wedge\d\bar{z}'}{z'-z}.
618: \end{equation}
619: In fact $\tilde{z}(z)$ represents the Schwarz function of the boundary $\Gamma$ of $D$. By using \eqref{0.3} and \eqref{3.1} one can rewrite \eqref{4.2} as
620: \begin{equation}\label{4.3}
621: \everymath{\displaystyle}
622: \tilde{z}(z)=\sum_{n=1}^{N_0+1}nz_0^{n-1}t_{0n}-
623: \sum_{s=1}^k(\sum_{n=1}^{N_s-1}nz_s^{n+1}t_{sn}+z_st_{s0})+
624: \frac{1}{2\pi i}\int\!\!\!\int_D \frac{\d z'\wedge\d\bar{z}'}{z'-z}.
625: \end{equation}
626: By comparing this identity with our definition \eqref{3.2b} of the Whitham times and by taking into account \eqref{are},
627: we conclude that the Whitham times coincide with the coupling constants of the normal matrix model.
628:
629:
630:
631:
632: Finally, we notice that by using the strategy deployed in the proof of the Theorem of Section 2 and by taking \eqref{4.3} into account, it follows that the deformations with respect to the parameters $\beta_s$ and
633: $\bar{\beta}_s$ are described by the flows
634: \begin{equation}\label{whe}
635: \frac{\partial z_{\alpha}}{\partial \beta_s}=t_{s,0}\frac{\partial
636: z_{\alpha}}{\partial
637: t_{s,1}}+\sum_{n=1}^{N_s-2}nt_{s,n}\frac{\partial
638: z_{\alpha}}{\partial t_{s,n+1}}+(N_s-1)t_{s,N_s-1}
639: \{(z_{s}^{N_s})_{(s,+)}, z_{\alpha}\},
640: \end{equation}
641: and
642: \begin{equation}\label{whee}
643: \frac{\partial z_{\alpha}}{\partial
644: \bar{\beta}_s}=t_{s+k,0}\frac{\partial z_{\alpha}}{\partial
645: t_{s+k,1}}+\sum_{n=1}^{N_s-2}nt_{s+k,n}\frac{\partial
646: z_{\alpha}}{\partial t_{s+k,n+1}}+(N_s-1)t_{s+k,N_s-1}
647: \{(z_{s+k}^{N_s})_{(s+k,+)}, z_{\alpha}\}.
648: \end{equation}
649:
650:
651:
652:
653:
654:
655:
656:
657:
658:
659:
660:
661:
662: \begin{thebibliography}{99}
663:
664: \bibitem{crowdy} M. Z. Bazant and D. Crowdy, \emph{Conformal Mapping Methods for Interfacial Dynamics}, Handbook of Materials Modeling Vol.1, ed. by S. Yip
665: , Springer Science and Business Media (2005)
666:
667: \bibitem{pol} P. Ya. Polubarinova-Kochina,\emph{Dokl. Acad. Nauk.
668: SSSR} \textbf{47} (1945) 254
669:
670: \bibitem{ku} P. P. Kufarev,\emph{Dokl. Acad. Nauk.
671: SSSR} \textbf{75} (1950) 507
672:
673: \bibitem{rich} S. Richardson, \emph{J. Fluid Mech.} \textbf{56} (1972) 609
674:
675: \bibitem{zab1} P. W. Wiegmann and P. B. Zabrodin \emph{Comm. Math.
676: Phys.} {\bf 213} (2000) 523
677:
678: \bibitem{zab2} M. Mineev-Weinstein, P. Wiegmann and A. Zabrodin,
679: \emph{Phys. Rev. Lett.} {\bf 84} (2000) 5106
680:
681: \bibitem{zab3}I. Krichever, M. Mineev-Weinstein, P. Wiegmann, A. Zabrodin, \emph{Physica D} {\bf 198} (2004) 1
682:
683: \bibitem{zab4} A. Zabrodin, \emph{Teor. Mat. Fiz.} {\bf 142} (2005) 197
684:
685: \bibitem{cro} D. Crowdy, \emph{Quadrature domains and fluid dynamics} in
686: \emph{Operator theory: advances and applications} (a Harold Shapiro anniversary volume), 156, Birkhauser (2005) 113
687:
688: \bibitem{sha} H. S. Shapiro, \emph{The Schwarz functions and its generalization to higher dimensions} Wiley, New York (1992)
689:
690:
691: \bibitem{krich} I. M. Krichever, \emph{Commun. Pure. Appl. Math.} {\bf47} (1994) 437
692:
693: \bibitem{tak} K. Takasaki, \emph{Dispersionless integrable hierarchies
694: revisited},
695: \emph{Conference on Riemann-Hilbert Problems, Integrability and
696: Asymptotics}, (http://misgam.sissa.it/RHPIA/talks/takasaki.pdf),
697: SISSA, Trieste (2005)
698:
699: \bibitem{lue} L. Martinez Alonso and E. Medina, \emph{Phys. Lett. B} {\bf 610} (2005)
700: 227
701:
702:
703: \bibitem{zab5} R. Teodorescu, E. Bettelheim, O. Agam, A. Zabrodin
704: and P. Wiegmann, \emph{Nuc. Phys. B} {\bf 700} (2004) 521;
705: \emph{Nuc. Phys. B} {\bf 704} (2005) 407
706:
707: \bibitem{ben} D. Bensimon, L. P. Kadanoff, S. Liang, B. I. Shraiman
708: and C. Tang, Rev. Mod. Phys. {\bf 58} (1986) 977.
709:
710:
711: \end{thebibliography}
712:
713:
714: \end{document}
715: