Namespaces
Variants
Actions

Whitham equations

From Encyclopedia of Mathematics
Revision as of 17:28, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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 -dimensional topological field theories" O. Babelon (ed.) et al. (ed.) , Integrable Systems: The Verdier Memorial Conf. , Birkhäuser (1993) pp. 313–359
[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 super Yang–Mills theory" hep-th , 9805172 (1998)
[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, " supersymmetric QCD and integrable spin chains: Rotational case " Phys. Lett. B , 355 (1996) pp. 466–474
[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 -function of the universal Whitham hierarchy, matrix models and topological field theories" Commun. Pure Appl. Math. , 47 (1994) pp. 437–475
[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 supersymetric gauge theories" J. Diff. Geom. , 45 (1997) pp. 349–389
[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 gauge theory" hep-th , 9712062 (1997)
[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 -plane in Donaldson theory" hep-th , 9709193 (1997)
[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 -plane integrals of topologically twisted supersymmetric gauge theories" Int. J. Modern Phys. A , 14 (1998) pp. 1001–1014
[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
How to Cite This Entry:
Whitham equations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Whitham_equations&oldid=19042
This article was adapted from an original article by A. BlochR. Carroll (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article