Gibbons–Tsarev equation: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 22:14, 26 February 2021

The Gibbons–Tsarev equation is an integrable second order nonlinear partial differential equation.^[1] In its simplest form, in two dimensions, it may be written as follows:

u_{t}u_{xt}-u_{x}u_{tt}+u_{xx}+1=0\qquad (1)

The equation arises in the theory of dispersionless integrable systems, as the condition that solutions of the Benney moment equations may be parametrised by only finitely many of their dependent variables, in this case 2 of them. It was first introduced by John Gibbons and Serguei Tsarev in 1996,^[2] This system was also derived,^[3]^[4] as a condition that two quadratic Hamiltonians should have vanishing Poisson bracket.

Relationship to families of slit maps

The theory of this equation was subsequently developed by Gibbons and Tsarev.^[5] In $N$ independent variables, one looks for solutions of the Benney hierarchy in which only $N$ of the moments $A^{n}$ are independent. The resulting system may always be put in Riemann invariant form. Taking the characteristic speeds to be $p_{i}$ and the corresponding Riemann invariants to be $\lambda _{i}$ , they are related to the zeroth moment $A^{0}$ by:

{\frac {\partial p_{i}}{\partial \lambda _{j}}}=-{\frac {\frac {\partial A^{0}}{\partial \lambda _{j}}}{p_{i}-p_{j}}},\qquad (2a)

{\frac {\partial A^{0}}{\partial \lambda _{i}\partial \lambda _{j}}}=2{\frac {{\frac {\partial A^{0}}{\partial \lambda _{i}}}{\frac {\partial A^{0}}{\lambda _{j}}}}{(p_{i}-p_{j})^{2}}}.\qquad (2b)

Both these equations hold for all pairs $i\neq j$ .

This system has solutions parametrised by N functions of a single variable. A class of these may be constructed in terms of N-parameter families of conformal maps from a fixed domain D, normally the complex half $p$ -plane, to a similar domain in the $\lambda$ -plane but with N slits. Each slit is taken along a fixed curve with one end fixed on the boundary of $D$ and one variable end point $\lambda _{i}$ ; the preimage of $\lambda _{i}$ is $p_{i}$ . The system can then be understood as the consistency condition between the set of N Loewner equations describing the growth of each slit:

{\frac {\partial p}{\partial \lambda _{i}}}=-{\frac {\frac {\partial A^{0}}{\partial \lambda _{j}}}{p-p_{i}}}.\qquad (3)

Analytic solution

An elementary family of solutions to the N-dimensional problem may be derived by setting:

\lambda ^{N+1}=\prod _{i=0}^{N}(p-q_{i}),

where the real parameters $q_{i}$ satisfy:

\sum _{i=0}^{N}q_{i}=0.

The polynomial on the right hand side has N turning points, $p=p_{i}$ , with corresponding $\lambda =\lambda _{i}$ . With

A^{0}={\frac {1}{N+1}}\sum \sum _{i>j}q_{i}q_{j},

the $p_{i}$ and $A^{0}$ satisfy the N-dimensional Gibbons–Tsarev equations.

References

^ Andrei D. Polyanin, Valentin F. Zaitsev, Handbook of Nonlinear Partial Differential Equations, second edition, p. 764 CRC PRESS
^ J. Gibbons and S.P. Tsarev, Reductions of the Benney Equations, Physics Letters A, Vol. 211, Issue 1, Pages 19–24, 1996.
^ E. Ferapontov, A.P. Fordy, J. Geom. Phys., 21 (1997), p. 169
^ E.V Ferapontov, A.P Fordy, Physica D 108 (1997) 350-364
^ J. Gibbons and S.P. Tsarev, Conformal Maps and the reduction of Benney equations, Phys Letters A, vol 258, No4-6, pp 263–271, 1999.

[1] Andrei D. Polyanin, Valentin F. Zaitsev, Handbook of Nonlinear Partial Differential Equations, second edition, p. 764 CRC PRESS

[2] J. Gibbons and S.P. Tsarev, Reductions of the Benney Equations, Physics Letters A, Vol. 211, Issue 1, Pages 19–24, 1996.

[3] E. Ferapontov, A.P. Fordy, J. Geom. Phys., 21 (1997), p. 169

[4] E.V Ferapontov, A.P Fordy, Physica D 108 (1997) 350-364

[5] J. Gibbons and S.P. Tsarev, Conformal Maps and the reduction of Benney equations, Phys Letters A, vol 258, No4-6, pp 263–271, 1999.

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
+The '''Gibbons–Tsarev equation''' is an [[Integrable system|integrable]]  second order nonlinear [[partial differential equation]].<ref>Andrei D. Polyanin, Valentin F. Zaitsev, ''Handbook of Nonlinear Partial Differential Equations'', second edition, p. 764 CRC PRESS</ref> In its simplest form, in two dimensions, it may be written as follows:
-{{Multiple issues|
-{{Underlinked|date=April 2015}}
-{{Orphan|date=April 2015}}
-}}
+: <math>u_t u_{xt}-u_x u_{tt}+u_{xx}+1=0 \qquad (1)</math>
-The '''Gibbons–Tsarev equation is a second order nonlinear partial differential equation.<ref>Andrei D. Polyanin,Valentin F. Zaitsev, HANDBOOK OF NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS, SECOND EDITION p764 CRC PRESS</ref>''' In its simplest form, in two dimensions, it may be written as follows:
+The equation arises in the theory of [[dispersionless equations|dispersionless integrable systems]], as the condition that solutions of the [[Benney moment equations]] may be parametrised by only finitely many of their dependent variables, in this case 2 of them. It was first introduced by John Gibbons and Serguei Tsarev in 1996,<ref>J. Gibbons and S.P. Tsarev, Reductions of the Benney Equations,
-: <math>u_t u_{xt}-u_x u_{tt}+u_{xx}+1=0</math>
+Physics Letters A, Vol. 211, Issue 1, Pages 19–24, 1996.</ref> This system was also derived,<ref>E. Ferapontov, A.P. Fordy, J. Geom. Phys., 21 (1997), p. 169</ref><ref>E.V Ferapontov, A.P Fordy, Physica D 108 (1997) 350-364</ref> as a condition that two quadratic Hamiltonians should have vanishing [[Poisson bracket]].
-The equation arises in the theory of dispersionless integrable systems, as the condition that solutions of the Benney moment equations may be parametrised by only finitely many of their dependent variables, in this case 2 of them. It was first introduced by John Gibbons and Serguei Tsarev in.<ref>J. Gibbons and S.P. Tsarev, Reductions of the Benney Equations,
-Physics Letters A, Vol. 211, Issue 1, Pages 19–24, 1996.</ref>
 ==Relationship to families of slit maps==
-The theory of this equation was subsequently developed
+The theory of this equation was subsequently developed by Gibbons and Tsarev.<ref>J. Gibbons and S.P. Tsarev, Conformal Maps and the reduction of Benney equations, Phys Letters A, vol 258, No4-6, pp 263–271, 1999.</ref>
+In <math>N</math> independent variables, one looks for solutions of the Benney hierarchy in which only <math>N</math> of the moments <math>A^n</math> are independent. The resulting system may always be put in [[Riemann invariant]] form. Taking the characteristic speeds to be <math>p_i</math> and the corresponding [[Riemann invariant|Riemann invariants]] to be <math>\lambda_i</math>, they are related to the  zeroth moment <math>A^0</math> by:
-in.<ref>J. Gibbons and S.P. Tsarev, Conformal Maps and the reduction of Benney equations, Phys Letters A, vol 258, No4-6, pp 263–271, 1999.</ref>
+:<math> \frac{\partial p_i}{\partial\lambda_j} = -\frac{ \frac{\partial A^0}{\partial \lambda_j}}{ p_i - p_j},\qquad (2a)</math>
-In <math>N</math> independent variables, one looks for solutions of the Benney hierarchy in which only <math>N</math> of the moments <math>A^n</math> are independent. The resulting system may always be put in [[Riemann invariant]] form. Taking the characteristic speeds to be <math>p_i</math> and the corresponding Riemann invariants to be <math>\lambda_i</math>, they are related to the  zeroth moment <math>A^0</math> by:
-:<math> \frac{\partial p_i}{\partial\lambda_j} = -\frac{ \frac{\partial A^0}{\partial \lambda_j}}{ p_i - p_j},</math>
+:<math> \frac{\partial A^0}{\partial \lambda_i \partial \lambda_j} = 2 \frac{ \frac{\partial A^0}{\partial \lambda_i} \frac{\partial A^0}{\lambda_j}}{(p_i-p_j)^2}.\qquad (2b)</math>
-:<math> \frac{\partial A^0}{\partial \lambda_i \partial \lambda_j} = 2 \frac{ \frac{\partial A^0}{\partial \lambda_i} \frac{\partial A^0}{\lambda_j}}{(p_i-p_j)^2}.</math>
 Both these equations hold for all pairs <math>i\neq j</math>.
 This system has solutions parametrised by N functions of a single variable. A class of these may be constructed in terms of N-parameter families of [[conformal map]]s from a fixed domain D, normally the complex half <math>p</math>-plane, to a similar domain  in the <math>\lambda</math>-plane but with N slits. Each slit is taken along a fixed curve with one end fixed on the boundary of <math>D</math> and one variable end point <math>\lambda_i</math>; the preimage of <math>\lambda_i</math> is <math>p_i</math>.  The system can then be understood as the consistency condition between the set of N [[Loewner differential equation|Loewner equations]] describing the growth of each slit:
-:<math> \frac{\partial p}{\partial\lambda_i} = -\frac{ \frac{\partial A^0}{\partial \lambda_j}}{ p - p_i}.</math>
+:<math> \frac{\partial p}{\partial\lambda_i} = -\frac{ \frac{\partial A^0}{\partial \lambda_j}}{ p - p_i}.\qquad (3)</math>
 ==Analytic solution==
-Some examples of analytic solutions of the 2-dimensional system are:
+An elementary family of solutions to the N-dimensional problem may be derived by setting:
-:<math>u(x, t) = -\frac 1 2 x^2+{_C1}x+{_C2}</math>
-:<math>u(x, t) = \exp({_c[2]}x)\cdot{_C1}/{_c[2]}+x/{_c[2]}+{_C2}+\frac 1 2 \cdot{_c[2]} t^2+{_C3} t+{_C}4</math>
+:<math> \lambda^{N+1} = \prod_{i=0}^N (p-q_i),</math>
+where the real parameters <math>q_i</math> satisfy:
-:<math>u(x, t) = -\frac 1 2 ({_C}3+{_C}1 x+{_C}2 t)^2/{_C}1^2+({_C}3+{_C}1 x+{_C}2 t) {_C}2+{_C}3</math>
+:<math> \sum_{i=0}^N q_i =0.</math>
+The [[polynomial]] on the right hand side has N turning points, <math> p= p_i</math>, with corresponding <math>\lambda = \lambda_i</math>.
+With
+:<math>A^0 = \frac{1}{N+1} \sum\sum_{i> j} q_i q_j,</math>
+the <math>p_i</math>and <math>A^0</math> satisfy the N-dimensional Gibbons–Tsarev equations.
 ==References==