A.12 B ̈acklund Transformations 337A.12 B ̈acklund Transformations
It is shown in Section 6.2.8 on brief historical notes on the Einstein and
Ernst equations that the equations
1
2
(ζ++ζ−)∇2
ζ±=(∇ζ±)2
,where
ζ±=φ±ωψ (ω2
=−1), (A.12.1)are equivalent to the coupled equations
φ∇2
φ−(∇φ)2
+(∇ψ)2
=0, (A.12.2)φ∇2
ψ− 2 ∇φ·∇ψ=, 0 (A.12.3)which, in turn, are equivalent to the pair
φ(
φρρ+1
ρφρ+φzz)
−φ2
ρ−φ2
z+ψ2
ρ+ψ2
z=0, (A.12.4)∂
∂ρ(
ρψρφ
2)
+
∂
∂z(
ρψzφ
2)
=0. (A.12.5)
Given one pair of solutions of (A.12.1), it is possible to construct other
solutions by means of B ̈acklund transformations.
Transformationδ
Ifζ+andζ−are solutions of (A.12.1) and
ζ′
+=aζ−−b,ζ′
−
=aζ++b,wherea, bare arbitrary constants, thenζ
′
+
andζ′
−
are also solutions of(A.12.1). The proof is elementary.
Transformationγ
Ifζ+andζ−are solution of (A.12.1) and
ζ′
+=
cζ++d,ζ′
−=
cζ−−d,wherecanddare arbitrary constants, thenζ
′
+andζ′
−are also solutions of(A.12.1).
Proof.
1
2
(ζ′
++ζ′
−)=c(ζ++ζ−)2 ζ+ζ−