Whitham equations
Perhaps the proper beginning of Whitham theory is Whitham's work [a75], [a74], which can be viewed as a crucible of various averaging ideas subsequently developed in e.g. [a3], [a4], [a12], [a13], [a14], [a27], [a28], [a29], [a42], [a49], [a50], [a61], [a73] to theories involving multi-phase averaging, Hamiltonian systems and weakly deformed soliton lattices. The term "Whitham equations" then became associated with the moduli dynamics of Riemann surfaces and this fits naturally into work on topological field theories, Frobenius manifolds, renormalization groups, coupling constants, and Seiberg–Witten theory (cf. also Seiberg–Witten equations), along with singularity theory, isomonodromy deformations, quantum cohomology and -theory, Gromov–Witten invariants, Witten–Dijkgraaf–Verlinde–Verlinde equations, etc. (see the references below or the survey material in [a5], [a6], [a7], [a8], [a9], [a10]).
Averaging.
One of the most important applications of averaging theory and the Whitham equation is to the Korteweg–de Vries equation
![]() | (a1) |
Key early papers on averaging for this equation include [a27] and [a49]. The basic ideas of G. Whitham are discussed in [a74], [a75]. Other important papers include [a1], [a2], [a25], [a65].
The key idea is averaging out fast scales; one introduces two scales: the "fast" scale and "slow" scale (
,
),
small. One obtains a class of ( "finite-gap" ) solutions of the form
![]() | (a2) |
where is a meromorphic function of
variables and
, where the parameters
,
,
depend only on the slow variables.
One can then write down the evolution equations for -phase wave trains in terms of differentials on an associated Riemann surface.
The Whitham equation for the Korteweg–de Vries equation is given by
![]() | (a3) |
where and
are Abelian differentials on the Riemann surface of genus
given by
(cf. also Differential on a Riemann surface; Abelian differential; Riemann surface), where
![]() |
and the branch points are real and are assumed to satisfy
.
Explicitly,
![]() | (a4) |
![]() |
![]() | (a5) |
![]() |
Here, the coefficients are determined by
![]() |
the vanishing of the contour integral along the canonical -cycle, and
.
Then the averaged solution of the Korteweg–de Vries equation is given by
![]() |
Note that when , the equation reduces to the dispersionless Korteweg–de Vries equation (Hopf–Burgers equation) with
and
, i.e.,
![]() |
The Whitham equation for the discrete Toda lattice (cf. Toda lattices) is treated in [a4] where shock formation is analyzed. Shocks for the Korteweg–de Vries equation are analyzed in [a34], [a35].
The discrete Ablowitz–Ladik equations are analyzed in [a60].
The Whitham equations are also important in the analysis of the non-linear Schrödinger equation (cf. also Benjamin–Feir instability) and non-linear optics, see for example [a36], [a48], [a64] and references therein.
General Whitham theory.
More generally, for any compact Riemann surface of genus
and point
, the Baker–Akhiezer function
gives rise to a KP-hierarchy (cf. also KP-equation). In particular, following [a11], [a27], [a42],
can be written as
![]() | (a6) |
where near
and
with
. Here,
is periodic and
with
for slow times
defined via
and
is a point in the Jacobian
(cf. also Jacobi variety). Assuming, for simplicity, that the periods are incommensurable, by ergodicity one finds
![]() |
With corresponding to the adjoint Baker–Akhiezer function, one can think now of multi-scale analysis of
with
plus averaging over the fast times (here,
near
is canonically specified). This corresponds to looking at an
expansion and setting the average first-order term to zero, leading to the Whitham equations
![]() | (a7) |
Seiberg–Witten theory.
Given a low-energy effective action for an susy gauge theory with partition function
![]() | (a8) |
with fields,
coupling constants and
gauge group in the background, it turns out (e.g. in matrix models) that
will often be a tau-function of KP–Toda type via Ward identities and Virasoro (origin of integrability). Recall that tau-functions are basic ingredients in integrable system theory (cf. also KP-equation; Toda lattices) and e.g.
![]() | (a9) |
For one has an effective (classical-type) dynamics in the
variables and averaging corresponds in some sense to suppressing fast oscillations (which suggests a renormalization procedure); alternatively, it is also in some sense related to a quantization procedure in the first WKBJ approximation, which produces slow dynamics on the action variables (Hamiltonians
Casimirs from
; cf. also Casimir element; Kac–Moody algebra), which is equivalent in many situations to dynamics on the moduli of the underlying spectral curves. Thus, the quantum arena shifts to the quantum moduli space and the
appear as renormalized coupling constants in one approach and as deformation parameters of moduli in another. The tau-function
goes to a quasi-classical tau-function whose logarithm (after
adjustment) is called the pre-potential
and this serves as a generating function for correlators and as a vehicle for expressing further renormalization effects. Consider (cf. [a31], [a32], [a33], [a37], [a38], [a39], [a40], [a41], [a62]) the following example of Seiberg–Witten Toda curves for
susy Yang–Mills with
,
, no masses and moduli
quantum moduli space of inequivalent vacua:
![]() | (a10) |
![]() |
Here, is the quantum scale,
is a local coordinate at
with
with
at
and
at
, and
. One defines
![]() | (a11) |
and
![]() |
( for technical reasons and
holomorphic differentials). The standard Whitham theory is now based on
![]() | (a12) |
where and
for
. One has then Whitham equations
![]() | (a13) |
with and
for
independent. The pre-potential
arises via
![]() | (a14) |
and , where
involves
and the Seiberg–Witten differential is
![]() | (a15) |
Thus, for one has the Seiberg–Witten situation
and one writes then also
.
General framework.
The Whitham formulation of I. Krichever, developed in great detail with D.H. Phong (cf. [a43], [a44], [a45], [a46], [a47]), involves a Riemann surface with
punctures
. One picks in an ad hoc manner two Abelian differentials
and
having certain properties and sets
as a Seiberg–Witten-type differential. Moduli space parameters are constructed and suitable submanifolds of a symplectic nature are parametrized by Whitham times
with corresponding differentials
. For suitable choices of
and
the formulation is adequate for Seiberg–Witten-type situations and topological field theories with Witten–Dijkgraaf–Verlinde–Verlinde equations will arise as well.
Soft susy breaking.
There is another role for Whitham times, via (cf. [a26], [a55])
![]() | (a16) |
and (note
in the Seiberg–Witten situation). Then one defines
![]() | (a17) |
and and these are promoted to spurion superfields
and
in
superfield language (
and
are Grassmann variables while
and
are auxiliary fields). One has a family of non-susy theories and soft susy breaking
is achieved by fixing
for
and using
,
(
) as susy breaking parameters (actually, the
alone will suffice). In any event, one can develop formulas involving
,
and
derivatives of the pre-potential and eventually parametrize soft susy breaking terms induced by all of the Casimirs.
Isomonodromy.
Various isomonodromy problems can be treated by multi-scale analysis to produce results indicating that isomonodromy deformations in WKB approximation correspond to modulation of isospectral problems (with Whitham-type equations as modulation equations). One can generate a pre-potential, period integrals, etc. as in Seiberg–Witten theory (see e.g. [a66], [a67], [a68], [a69], [a70]). There are also isomonodromy connections to the Knizhnik–Zamolodchikov–Bernard equations (cf. [a51], [a52], [a53], [a63]); these equations arise in various ways in conformal field theory, geometric quantization of flat bundles, etc. Here one takes as flat vector bundles over
with
and smooth connections
. "Flat" means zero curvature and with an arbitrary
this has the form
![]() | (a18) |
and . Let
(Beltrami differentials), so
and set
, where
(
) and
is a basis in
. Then (a18) becomes
![]() | (a19) |
and . Let
be a homotopically non-trivial cycle in
such that
with
and write
(path-ordered exponential), which yields a representation of
in
. The independence of monodromy
to complex structure deformation corresponds to
for
. Compatibility with (a19) requires
![]() | (a20) |
These equations are Hamiltonian when has a symplectic form
with Hamiltonians
. Consider the bundle
over
with fibre
(using
as local coordinates). A gauge fixing plus flatness corresponds to reduction from
and one can (via WZW theory) fix the gauge to get a bundle
with fibre
and equations
![]() | (a21) |
with and
, where
comes from the gauge transformation. Putting in the canonical form via local coordinates
in
, where
, one can write
![]() | (a22) |
with . Using the Poincaré–Cartan invariant form
there exist
vector fields
which annihilate
. With
-structure this gives
![]() | (a23) |
These equations define flat connections in and are referred to as a Whitham hierarchy of isomonodromic deformations. For a given
on
they take the form
![]() | (a24) |
and one can introduce a pre-potential on
giving Hamilton–Jacobi equations (cf. Hamilton–Jacobi theory)
![]() | (a25) |
Thus, one has a derivation of deformation equations, properly referred to as a Whitham hierarchy, which involves no averaging or multi-scale analysis. One can also compare the Baker–Akhiezer function in the Whitham hierarchy of isomonodromic deformations with elements of a certain Hitchin hierarchy (cf. also Hitchin system) using a WKB approximation with fast times
and slow times
.
Contact terms.
For susy gauge theory on a
-manifold with
there is a
-plane integral for, say,
situations, which can be related to a Toda theory with fast and slow (Whitham) times (cf. [a55], [a56], [a57], [a58], [a59], [a71], [a72]).
Witten–Dijkgraaf–Verlinde–Verlinde.
There is a beautiful and elaborate theory of B. Dubrovin and others based on Frobenius manifolds (cf. [a15], [a16], [a17], [a18], [a19], [a20], [a21], [a22], [a23], [a24]). This approach is especially pleasing since there is a great deal of motivation and natural structure. There are many connections to mathematics and physics and this approach has led to extensive development in Frobenius manifolds, quantum cohomology and -theory, singularity theory, Witten–Dijkgraaf–Verlinde–Verlinde, etc. (see e.g. [a15], [a16], [a17], [a18], [a19], [a20], [a21], [a30], [a54]). A simple Hurwitz-space Korteweg–de Vries–Landau–Ginsburg model is as follows.
Let be the moduli space of
gap Korteweg–de Vries solutions based on
with ramification based on
. One defines Whitham times
![]() | (a26) |
![]() |
where and
. These are flat times for a certain metric and determine a Whitham hierarchy, a Frobenius manifold and a topological field theory of Landau–Ginsburg type satisfying the Witten–Dijkgraaf–Verlinde–Verlinde equations (associativity equations for related field correlators).
References
[a1] | V.V. Avilov, S.P. Novikov, "Evolution of the Whitham zone in KdV theory" Soviet Phys. Dokl. , 32 (1987) pp. 366–368 |
[a2] | V.V. Avilov, I.M. Krichever, S.P. Novikov, "Evolution of a Whitham zone in the Korteweg–de Vries theory" Soviet Phys. Dokl. , 32 (1987) pp. 564–566 |
[a3] | M. Ablowitz, D. Benney, "The evolution of multi-phase modes of nonlinear dispersive waves" Stud. Appl. Math. , 49 (1970) pp. 225–238 |
[a4] | A. Bloch, Y. Kodama, "Dispersive regularization of the Whitham equation for the Toda lattice" SIAM J. Appl. Math. , 52 (1992) pp. 909–928 |
[a5] | "Integrability: The Seiberg–Witten and Whitham equations" H. Braden (ed.) I. Krichever (ed.) , Gordon & Breach (2000) |
[a6] | R. Carroll, "Various aspects of Whitham times" math-ph , 9905010 (1999) |
[a7] | R. Carroll, "Various aspects of Whitham times" Acta Applic. Math. , 60 (2000) pp. 225–316 |
[a8] | R. Carroll, "Remarks on Whitham dynamics" Applic. Anal. , 70 (1998) pp. 127–146 |
[a9] | R. Carroll, "Some survey remarks on Whitham theory and EM duality" Nonlin. Anal. , 30 (1997) pp. 187–198 |
[a10] | R. Carroll, "Quantum theory, deformation and integrability" , Elsevier (2000) |
[a11] | R. Carroll, J. Chang, "The Whitham equations revisited" Applic. Anal. , 64 (1997) pp. 343–378 |
[a12] | B. Dubrovin, S. Novikov, "Hydrodynamics of weakly deformed soliton lattices" Russian Math. Surveys , 44 (1989) pp. 35–124 |
[a13] | B. Dubrovin, S. Novikov, "Hydrodynamics of soliton lattices" Math. Phys. Rev. , 9 (1991) pp. 3–136 |
[a14] | B. Dubrovin, I. Krichever, S. Novikov, "Topological and algebraic geometry methods in contemporary mathematical physics II" Math. Phys. Rev. , 3 (1982) pp. 1–150 |
[a15] | B. Dubrovin, "Geometry of 2D topological field theories" M. Francaviglia (ed.) et al. (ed.) , Integrable Systems and Quantum Groups , Lecture Notes in Mathematics , 1620 , Springer (1996) pp. 120–348 |
[a16] | B. Dubrovin, "Integrable systems in topological field theory" Nucl. Phys. B , 379 (1992) pp. 627–689 |
[a17] | B. Dubrovin, "Hamiltonian formalism of Whitham-type hierarchies and topological Landau–Ginsburg models" Commun. Math. Phys. , 145 (1992) pp. 195–207 |
[a18] | B. Dubrovin, "Integrable systems and classification of ![]() |
[a19] | B. Dubrovin, Y. Zhang, "Extended affine Weyl group and Frobenius manifolds" hep-th , 9611200 (1996) |
[a20] | B. Dubrovin, Y. Zhang, "Bi-Hamiltonian hierarchies in 2D topologigical field theory on one-loop approximation" hep-th , 9712232 (1997) |
[a21] | B. Dubrovin, Y. Zhang, "Frobenius manifolds and Virasoro constraints" hep-th , 9808048 (1998) |
[a22] | B. Dubrovin, "Painlevé transcendents and two-dimensional topological field theory" Math. AG , 9803107 (1998) |
[a23] | B. Dubrovin, "Geometry and analytic theory of Frobenius manifolds" Math. AG , 9807034 (1998) |
[a24] | B. Dubrovin, "Flat pencils of metrics and Frobenius manifolds" Math. DG , 9803106 (1998) |
[a25] | B. Dubrovin, "Functionals of the Peierls–Fröhlich type and the variational principle for the Whitham equations" V.M. Buchstaher (ed.) et al. (ed.) , Solitons, Geometry and Topology: On the Crossroad , Amer. Math. Soc. Transl. (2) , 179 (1997) pp. 35–44 |
[a26] | J. Edelstein, M. Mariño, J. Mas, "Whitham hierarchies, instanton corrctions and soft supersymmetry breaking in ![]() ![]() |
[a27] | H. Flaschka, M. Forest, D. McLaughlin, "Multiphase averaging and the inverse spectral solution of KdV" Commun. Pure Appl. Math. , 33 (1979) pp. 739–784 |
[a28] | H. Flaschka, A. Newell, "Monodromy- and spectrum preserving deformations I" Commun. Math. Phys. , 76 : 190 (1980) pp. 65–116 |
[a29] | H. Flaschka, A. Newell, "Multiphase similarity solutions of integrable evolution equations" Physica 3D (1981) pp. 203–221 |
[a30] | A. Givental, "On the WDVV-equation in quantum K-theory" Math. AG , 0003158 (2000) |
[a31] | A. Gorsky, I. Krichever, A Marshakov, A. Mironov, A. Morozov, "![]() ![]() |
[a32] | A. Gorsky, A. Marshakov, A. Mironov, A. Morozov, "RG equations from Whitham hierarchy" hep-th , 9802007 (1998) |
[a33] | A. Gorsky, A. Marshakov, A. Mironov, A. Morozov, "RG equations from Whitham hierarchy" Nucl. Phys. B , 527 (1998) pp. 690–716 |
[a34] | A.V. Gurevich, L.P. Pitaevskii, JETP Letters , 17 (1974) pp. 193–195 |
[a35] | A.V. Gurevich, L.P. Pitaevskii, Soviet Phys. JETP , 38 (1974) pp. 291–297 |
[a36] | A. Hasegawa, Y. Kodama, "Solitons in optical communications" , Oxford Univ. Press (1999) |
[a37] | H. Itoyama, A. Morozov, "Integrability and Seiberg–Witten theory: Curves and periods" hep-th , 9511126 (1995) |
[a38] | H. Itoyama, A. Morozov, "Prepotential and Seiberg–Witten theory" hep-th , 9512161 (1995) |
[a39] | H. Itoyama, A. Morozov, "Integrability and Seiberg–Witten theory" hep-th , 9601168 (1996) |
[a40] | H. Itoyama, A. Morozov, "Integrability and Seiberg–Witten theory—curves and periods" Nucl. Phys. B , 477 (1996) pp. 855–877 |
[a41] | H. Itoyama, A. Morozov, "Prepotential and Seiberg–Witten theory" Nucl. Phys. B , 491 (1997) pp. 529–573 |
[a42] | I. Krichever, "The averaging method for the two-dimensional integrable equations" Funct. Anal. Appl. , 22 (1988) pp. 200–213 |
[a43] | I. Krichever, "The ![]() |
[a44] | I. Krichever, "Algebraic-geometrical methods in the theory of integrable equations and their perturbations" Acta Applic. Math. , 39 (1995) pp. 93–125 |
[a45] | I. Krichever, "The dispersionless Lax equations and topological minimal methods" Commun. Math. Phys. , 143 (1992) pp. 415–429 |
[a46] | I. Krichever, D. Phong, "Symplectic forms in the theory of solitons" hep-th , 9708170 (1998) |
[a47] | I. Krichever, D. Phong, "On the integral geometry of soliton equations and ![]() |
[a48] | Y. Kodama, "The Whitham equations for optical communication: Mathematical theory of NRZ" SIAM J. Appl. Math. , 59 : 66 (1999) pp. 2162–2192 |
[a49] | P. Lax, D. Levermore, "The small dispersion limit of the Korteweg–de Vries equation I—III" Commun. Pure Appl. Math. , 36 (1983) pp. 253–290; 571–593; 809–829 |
[a50] | D. Levermore, "The hyperbolic nature of the zero dispersion KdV limit" Commun. Partial Diff. Eqs. , 13 (1988) pp. 495–514 |
[a51] | A. Levin, M. Olshanetsky, "Painleé–Calogero correspondence" alg-geom , 9706010 (1997) |
[a52] | A. Levin, M. Olshanetsky, "Classical limit of the Kniznik–Zamolodchikov–Bénard equations as hierarchy of isomonodromic deformations. Free fields approach" hep-th , 9709207 (1997) |
[a53] | A. Levin, M. Olshanetsky, "Non-autonomous Hamiltonian systems related to highest Hitchin integrals" math-ph , 9904023 (1999) |
[a54] | Y. Manin, "Frobenius manifolds, quantum cohomology and moduli spaces" , Colloq. Publ. , 47 , Amer. Math. Soc. (1999) |
[a55] | M. Mariño, "The uses of Whitham hierarchies" hep-th , 9905053 (1999) |
[a56] | M. Mariño, G. Moore, "Integrating over the Coulomb branch in ![]() |
[a57] | M. Mariño, G. Moore, "The Donaldson–Witten function for gaug groups of rank larger than one" hep-th , 9802185 (1998) |
[a58] | M. Mariño, G. Moore, "Donaldson invariants for nonsingularly connected manifolds" hep-th , 9804104 (1998) |
[a59] | G. Moore, E. Witten, "Integration over the ![]() |
[a60] | P.D. Miller, N.M. Ercolani, I.M. Krichever, C.D. Levermore, "Finite genus solutions to the Ablowitz–Ladik equations" Commun. Pure Appl. Math. , 48 (1996) pp. 1369–1440 |
[a61] | R. Miura, M. Kruskal, "Application of a nonlinear WKB method in Korteweg–de Vries equation" SIAM J. Appl. Math. , 26 (1974) pp. 376–395 |
[a62] | T. Nakatsu, K. Takasaki, "Isomonodromic deformations and supersymmetric gauge theories" Int. J. Modern Phys. A , 11 (1996) pp. 5505–5518 |
[a63] | M. Olshanetsky, "Painlevé type equations and Hitchin systems" math-ph , 9901019 (1999) |
[a64] | M.V. Pavlov, "Nonlinear Schrödinger equation and the Bogolyubov–Whitham method of averaging" Theoret. Math. Phys. , 71 (1987) pp. 584–588 |
[a65] | G. Potemin, "Algebro-geometric consttruction of self-similar solutons of the Whitham equations" Russian Math. Surveys , 43 (1988) pp. 252–253 |
[a66] | K. Takasaki, "Dual isomonodromic problems and Whitham equations" hep-th , 9700516 (1998) |
[a67] | K. Takasaki, "Dual isomonodromic problems and Whitham equations" Lett. Math. Phys. , 43 (1998) pp. 123–135 |
[a68] | K. Takasaki, "Spectral curves and Whitham equations in isomonodromic problems of Schlesinger type" solv-int , 9704004 (1997) |
[a69] | K. Takasaki, "Gaudin model, KZ equation, and isomonodromic problem on torus" hep-th , 9711058 (1997) |
[a70] | K. Takasaki, T. Nakatsu, "Isomonodromic deformations and supersymmetric gauge theories" Int. J. Modern Phys. A , 11 (1996) pp. 5505–5518 |
[a71] | K. Takasaki, "Integrable hierarchies and contact terms in ![]() |
[a72] | K. Takasaki, "Whitham deformations of Seiberg–Witten curves for classical gauge groups" Int. J. Modern Phys. A , 15 (2000) pp. 3635–3666 |
[a73] | S. Venakides, "The generation of modulated wavetrains in the solution of the Korteweg–de Vries equation" Commun. Pure Appl. Math. , 38 (1985) pp. 883–909 |
[a74] | G. Whitham, "Linear and nonlinear waves" , Wiley (1974) |
[a75] | G. Whitham, "Nonlinear dispersive waves" Proc. Royal Soc. A , 283 (1965) pp. 238–261 |
Whitham equations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Whitham_equations&oldid=24014