Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the...
Transcript of Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the...
![Page 1: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/1.jpg)
The University of Sydney
Nalini Joshi@monsoon0
Supported by the Australian Research Council
Geometric Asymptotics
Odlyzko 2011
![Page 2: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/2.jpg)
The University of Sydney
Gridlock in India http://thedailynewnation.com/news/57912/a-total-traffic-chaos-at-shahbagh-intersection-in-city-as-vehicles-got-stuck-up-to-make-way-through-the-massive-gridlock-this-photo-was-taken-on-saturday.html
Motion
![Page 3: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/3.jpg)
The University of Sydney
Motion follows curves
✑ In initial value space
✑ But continuation of the flow fails at singularities of curves and at base points where families of curves all intersect.
•
![Page 4: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/4.jpg)
The University of Sydney
An example
y2 = x3
The curve has a singularity at (0,0), which can be resolved.
![Page 5: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/5.jpg)
The University of Sydney
Resolution 1
(x1 = x
y1 = yx
,(x = x1
y = x1 y1
![Page 6: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/6.jpg)
The University of Sydney
Resolution 1
(x1 = x
y1 = yx
,(x = x1
y = x1 y1
![Page 7: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/7.jpg)
The University of Sydney
Resolution 1
(x1 = x
y1 = yx
,(x = x1
y = x1 y1
f = y2 � x3
= x12y1
2 � x31
= x12�y1
2 � x1
�
![Page 8: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/8.jpg)
The University of Sydney
Resolution 1
(x1 = x
y1 = yx
,(x = x1
y = x1 y1
f = y2 � x3
= x12y1
2 � x31
= x12�y1
2 � x1
�
e0 = {x1 = 0},f (1) = y1
2 � x1
![Page 9: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/9.jpg)
The University of Sydney
Resolution 1
(x1 = x
y1 = yx
,(x = x1
y = x1 y1
f = y2 � x3
= x12y1
2 � x31
= x12�y1
2 � x1
�
e0 = {x1 = 0},f (1) = y1
2 � x1
e0
C(1)
![Page 10: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/10.jpg)
The University of Sydney
Resolution 2 (x2 = x1
y1
y2 = y1,
(x1 = x2 y2y1 = y2
![Page 11: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/11.jpg)
The University of Sydney
Resolution 2 (x2 = x1
y1
y2 = y1,
(x1 = x2 y2y1 = y2
![Page 12: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/12.jpg)
The University of Sydney
Resolution 2 (x2 = x1
y1
y2 = y1,
(x1 = x2 y2y1 = y2
f (1)(x1, y1) = y22 � x2y2
= y2�y2 � x2
�
![Page 13: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/13.jpg)
The University of Sydney
Resolution 2 (x2 = x1
y1
y2 = y1,
(x1 = x2 y2y1 = y2
f (1)(x1, y1) = y22 � x2y2
= y2�y2 � x2
�
e1 = {y2 = 0},f (2) = y2 � x2
![Page 14: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/14.jpg)
The University of Sydney
Resolution 2 (x2 = x1
y1
y2 = y1,
(x1 = x2 y2y1 = y2
f (1)(x1, y1) = y22 � x2y2
= y2�y2 � x2
�
e1 = {y2 = 0},f (2) = y2 � x2
e(1)0
C(2)
e1
![Page 15: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/15.jpg)
The University of Sydney
Resolution 3 (x3 = x2
y3 = y2
x2
,(x2 = x3
y2 = x3 y3
![Page 16: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/16.jpg)
The University of Sydney
Resolution 3 (x3 = x2
y3 = y2
x2
,(x2 = x3
y2 = x3 y3
![Page 17: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/17.jpg)
The University of Sydney
Resolution 3 (x3 = x2
y3 = y2
x2
,(x2 = x3
y2 = x3 y3
f (2)(x2, y2) = x3 y3 � x3
= x3
�y3 � 1
�
![Page 18: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/18.jpg)
The University of Sydney
Resolution 3 (x3 = x2
y3 = y2
x2
,(x2 = x3
y2 = x3 y3
f (2)(x2, y2) = x3 y3 � x3
= x3
�y3 � 1
�
e2 = {x3 = 0},f (3) = y3 � 1
![Page 19: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/19.jpg)
The University of Sydney
e(2)0
e(1)1
e2
C(3)
Resolution 3 (x3 = x2
y3 = y2
x2
,(x2 = x3
y2 = x3 y3
f (2)(x2, y2) = x3 y3 � x3
= x3
�y3 � 1
�
e2 = {x3 = 0},f (3) = y3 � 1
![Page 20: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/20.jpg)
The University of Sydney
Intersection theory
e(2)0
e(1)1
e2
C(3)-2
-2
-1
✑ Each line has a self-intersection number.
✑ Exceptional lines have self-intersection -1.
✑ Each blow up reduces the self-intersection number by 1.
✑ The lines of self-intersection -2 play a special role.
![Page 21: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/21.jpg)
The University of Sydney
Intersection theory
e(2)0
e(1)1
e2
C(3)-2
-2
-1
✑ Each line has a self-intersection number.
✑ Exceptional lines have self-intersection -1.
✑ Each blow up reduces the self-intersection number by 1.
✑ The lines of self-intersection -2 play a special role.
![Page 22: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/22.jpg)
The University of Sydney
e(2)0
e(1)1
e2
C(3)
✑ The curves with self-intersection -2 correspond to nodes of a Dynkin diagram.
✑ This is DuVal (or Mackay) correspondence.
DuVal Correspondence
![Page 23: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/23.jpg)
The University of Sydney
e(2)0
e(1)1
e2
C(3)
✑ The curves with self-intersection -2 correspond to nodes of a Dynkin diagram.
✑ This is DuVal (or Mackay) correspondence.
DuVal Correspondence
![Page 24: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/24.jpg)
The University of Sydney
e(2)0
e(1)1
e2
C(3)
✑ The curves with self-intersection -2 correspond to nodes of a Dynkin diagram.
✑ This is DuVal (or Mackay) correspondence. +
A2
DuVal Correspondence
![Page 25: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/25.jpg)
The University of Sydney
Three Painlevé Equations
PI : wtt = 6w2 � t
PII : wtt = 2w3 + tw + ↵
PIV : wtt =wt
2
2w+
3
2w3 + 4tw2 + 2(t2 + ↵)w +
�
w
Duistermaat & J (2011); Howes & J (2014); J & Radnovic (2015, 2016, 2017)
What are the behaviours of solutions the limit ? t ! 1
![Page 26: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/26.jpg)
Properties• Solutions possess movable
poles • General solutions are highly
transcendental functions. • Asymptotic behaviours needed
for applications.
F"#. 4.7. Pole locations displayed over the region [-50,50]x[-50,50] for six different choices ofinitial conditions at z = 0. For the tritronquée case (subplot f ), see (4.1) for the values of u(0) andu′(0).
15
Fornberg & Weideman 2009
PI
![Page 27: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/27.jpg)
System form• PI:
• in system form
• has t-dependent Hamiltonian
d
dt
✓w1
w2
◆=
✓w2
6w21 � t
◆
H =w
22
2� 2w3
1 + t w1
wtt = 6w2 � t
![Page 28: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/28.jpg)
Perturbed Form
• In Boutroux’s coordinates:
• a perturbation of an elliptic curve as |z| ! 1
E =u22
2� 2u3
1 + u1 ) dE
dz=
1
5z(6E + 4u1)
w1 = t1/2 u1(z), w2 = t3/4u2(z), z =4
5t5/4
✓u1
u2
◆=
✓u2
6u21 � 1
◆� 1
5z
✓2u1
3u2
◆
![Page 29: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/29.jpg)
Perturbed Form
• In Boutroux’s coordinates:
• a perturbation of an elliptic curve as |z| ! 1
E =u22
2� 2u3
1 + u1 ) dE
dz=
1
5z(6E + 4u1)
w1 = t1/2 u1(z), w2 = t3/4u2(z), z =4
5t5/4
✓u1
u2
◆=
✓u2
6u21 � 1
◆� 1
5z
✓2u1
3u2
◆
![Page 30: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/30.jpg)
The University of Sydney
Pencil of cubic curves
✑ Base point: (0, 1, 0) at infinity.
✑ Analogous to Weierstrass cubic curvesy2 = 4x3 � g2 x� g3
where and is free.
✑ In homogeneous coordinates in the curves are
w v2 = 4u3 � g2uw2 � g3w
3
g2 = �1/2 g3
CP2
![Page 31: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/31.jpg)
The University of Sydney
Charts at infinity
[u1 : u2 : 1] = [1 : u1�1u2 : u1
�1] = [1 : u022 : u021]
[u1 : u2 : 1] = [u1u2�1 : 1 : u2
�1] = [u031 : 1 : u032]
(u011, u012) (u021, u022)
(u031, u032)
CP2
![Page 32: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/32.jpg)
Resolution of PI
• There are nine base points:
• Only the last one differs from the elliptic case.
b0 : u031 = 0, u032 = 0
b1 : u111 = 0, u112 = 0
b2 : u211 = 0, u212 = 0
b3 : u311 = 4, u312 = 0
b4 : u411 = 4, u412 = 0
b5 : u511 = 0, u512 = 0
b6 : u611 = 0, u612 = 0
b7 : u711 = 32, u712 = 0
b8 : u811 = � 28
(5 z), u812 = 0
![Page 33: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/33.jpg)
PIL9
L8(1)
L7(2)
Duistermaat & Joshi, 2011
�2
L6(3)
L5(4)
L4(5)
L3(6)
�2
�2
�2
�2
�2
L0(9)�2
L1(9)�2
L2(8)�2
![Page 34: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/34.jpg)
PIL9
L8(1)
L7(2)
Duistermaat & Joshi, 2011
�2
L6(3)
L5(4)
L4(5)
L3(6)
�2
�2
�2
�2
�2
L0(9)�2
L1(9)�2
L2(8)�2
![Page 35: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/35.jpg)
PIL9
L8(1)
L7(2)
E8(1)
Duistermaat & Joshi, 2011
�2
L6(3)
L5(4)
L4(5)
L3(6)
�2
�2
�2
�2
�2
L0(9)�2
L1(9)�2
L2(8)�2
![Page 36: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/36.jpg)
PIL9
L8(1)
L7(2)
E8(1)
Duistermaat & Joshi, 2011
autonomous case
�2
L6(3)
L5(4)
L4(5)
L3(6)
�2
�2
�2
�2
�2
L0(9)�2
L1(9)�2
L2(8)�2
![Page 37: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/37.jpg)
PII28 Constr Approx (2014) 39:11–41
Fig. 1 The 9-point blow up of P2(C) showing the configuration of the exceptional curves. The numbersrepresent the self intersection of the lines they are adjacent to. The configuration of the irreducible divisors(the infinity set) is that of the root lattice E
(1)7 (see Fig. 2). The dashed lines indicating L
(3)6 and L9 are
the pole lines, where the vector field is transversal to the line and a crossing indicates a pole of residue ±1for u
Fig. 2 The Dynkin diagram for E(1)7 ; the numbers i indicate the line Li which gives rise to the node. The
nodes j and k are connected when L(9−j)j intersects L
(9−k)k
The resolution of the Boutroux-Painlevé system can be seen in Fig. 1, and can besummarized by the following diagram, where we omit the coordinate charts whichare free from base points:
(u02, v02) = (u/v,1/v)(0,0)←−− (u12, v12)
(0,0)←−− (u21, v21)
(1/2,0)←−−−− (u31, v31)(0,0)←−− (u41, v41)
(−1/4,0)←−−−−− (u51, v51)
( 1−2α12z ,0)
←−−−−− (u61, v61),
(u01, v01) = (1/u, v/u)(0,0)←−− (u72, v72)
(0,0)←−− (u82, v82)(0, 1+2α
3z )←−−−−− (u91, v91).
Here the label above each arrow represents the base point that is blown up in thepreceding coordinate chart.
Remark A.1 The following blow up calculations are provided in explicit detail forcompleteness. The essential information for proofs in the body of the paper can befound in Eqs. (5.1) and Table 1.
Author's personal copy
Howes & Joshi, 2014
![Page 38: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/38.jpg)
PII28 Constr Approx (2014) 39:11–41
Fig. 1 The 9-point blow up of P2(C) showing the configuration of the exceptional curves. The numbersrepresent the self intersection of the lines they are adjacent to. The configuration of the irreducible divisors(the infinity set) is that of the root lattice E
(1)7 (see Fig. 2). The dashed lines indicating L
(3)6 and L9 are
the pole lines, where the vector field is transversal to the line and a crossing indicates a pole of residue ±1for u
Fig. 2 The Dynkin diagram for E(1)7 ; the numbers i indicate the line Li which gives rise to the node. The
nodes j and k are connected when L(9−j)j intersects L
(9−k)k
The resolution of the Boutroux-Painlevé system can be seen in Fig. 1, and can besummarized by the following diagram, where we omit the coordinate charts whichare free from base points:
(u02, v02) = (u/v,1/v)(0,0)←−− (u12, v12)
(0,0)←−− (u21, v21)
(1/2,0)←−−−− (u31, v31)(0,0)←−− (u41, v41)
(−1/4,0)←−−−−− (u51, v51)
( 1−2α12z ,0)
←−−−−− (u61, v61),
(u01, v01) = (1/u, v/u)(0,0)←−− (u72, v72)
(0,0)←−− (u82, v82)(0, 1+2α
3z )←−−−−− (u91, v91).
Here the label above each arrow represents the base point that is blown up in thepreceding coordinate chart.
Remark A.1 The following blow up calculations are provided in explicit detail forcompleteness. The essential information for proofs in the body of the paper can befound in Eqs. (5.1) and Table 1.
Author's personal copy
Howes & Joshi, 2014
![Page 39: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/39.jpg)
PII28 Constr Approx (2014) 39:11–41
Fig. 1 The 9-point blow up of P2(C) showing the configuration of the exceptional curves. The numbersrepresent the self intersection of the lines they are adjacent to. The configuration of the irreducible divisors(the infinity set) is that of the root lattice E
(1)7 (see Fig. 2). The dashed lines indicating L
(3)6 and L9 are
the pole lines, where the vector field is transversal to the line and a crossing indicates a pole of residue ±1for u
Fig. 2 The Dynkin diagram for E(1)7 ; the numbers i indicate the line Li which gives rise to the node. The
nodes j and k are connected when L(9−j)j intersects L
(9−k)k
The resolution of the Boutroux-Painlevé system can be seen in Fig. 1, and can besummarized by the following diagram, where we omit the coordinate charts whichare free from base points:
(u02, v02) = (u/v,1/v)(0,0)←−− (u12, v12)
(0,0)←−− (u21, v21)
(1/2,0)←−−−− (u31, v31)(0,0)←−− (u41, v41)
(−1/4,0)←−−−−− (u51, v51)
( 1−2α12z ,0)
←−−−−− (u61, v61),
(u01, v01) = (1/u, v/u)(0,0)←−− (u72, v72)
(0,0)←−− (u82, v82)(0, 1+2α
3z )←−−−−− (u91, v91).
Here the label above each arrow represents the base point that is blown up in thepreceding coordinate chart.
Remark A.1 The following blow up calculations are provided in explicit detail forcompleteness. The essential information for proofs in the body of the paper can befound in Eqs. (5.1) and Table 1.
Author's personal copy
E7(1)
Howes & Joshi, 2014
![Page 40: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/40.jpg)
PII28 Constr Approx (2014) 39:11–41
Fig. 1 The 9-point blow up of P2(C) showing the configuration of the exceptional curves. The numbersrepresent the self intersection of the lines they are adjacent to. The configuration of the irreducible divisors(the infinity set) is that of the root lattice E
(1)7 (see Fig. 2). The dashed lines indicating L
(3)6 and L9 are
the pole lines, where the vector field is transversal to the line and a crossing indicates a pole of residue ±1for u
Fig. 2 The Dynkin diagram for E(1)7 ; the numbers i indicate the line Li which gives rise to the node. The
nodes j and k are connected when L(9−j)j intersects L
(9−k)k
The resolution of the Boutroux-Painlevé system can be seen in Fig. 1, and can besummarized by the following diagram, where we omit the coordinate charts whichare free from base points:
(u02, v02) = (u/v,1/v)(0,0)←−− (u12, v12)
(0,0)←−− (u21, v21)
(1/2,0)←−−−− (u31, v31)(0,0)←−− (u41, v41)
(−1/4,0)←−−−−− (u51, v51)
( 1−2α12z ,0)
←−−−−− (u61, v61),
(u01, v01) = (1/u, v/u)(0,0)←−− (u72, v72)
(0,0)←−− (u82, v82)(0, 1+2α
3z )←−−−−− (u91, v91).
Here the label above each arrow represents the base point that is blown up in thepreceding coordinate chart.
Remark A.1 The following blow up calculations are provided in explicit detail forcompleteness. The essential information for proofs in the body of the paper can befound in Eqs. (5.1) and Table 1.
Author's personal copy
E7(1)
Howes & Joshi, 2014
autonomous case
![Page 41: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/41.jpg)
PIV
ASYMPTOTIC BEHAVIOUR OF THE FOURTH PAINLEVE TRANSCENDENTS 3
For each z = 0, and each (u0, v0) ∈ C2, there is a unique solution of (2.2) withthe initial conditions u(z0) = u0, v(z0) = v0. Since the solutions will have poles aswell, it is natural to consider the solutions as maps C → CP2. However, in thissetting, points in CP2 where infinitely many solutions pass for any given z0 = 0appear. Such points are called base points.
For our consideration, we need to construct the space of initial conditions [Ger1975],where graph of each solutions will represent a separate leaf of the foliation. Thespaces of initial conditions for all six Painleve equations are constructed by Okamotoin [Oka1979]. The solutions are separated by blowing up the singular points.
In this paper, we apply the same construction to (2.2). The calculation detailscan be found in Appendix A, and now we describe the main steps in that resolutionprocess.
Resolution of singularities. System (2.2) has no singularities in the affine partof CP2. However, at the line L0 at the infinity, as it is calculated in Appendix A.1,the system has three base points: b0, b1, b2, whose coordinates do not depend on z.
In the next step, we construct blow ups at points b0, b1, b2. In the resulting space,we obtain three exceptional lines which we denote by L1, L2, L3 respectively. Theinduced flow will have one base point on each of these lines, denote them by b3,b4, b5 respectively. Their coordinated so not depend on z. See Appendix A.2 fordetails.
Next, blow ups at points b3, b4, b5 are constructed. The corresponding excep-tional lines are L4, L5, L6. On each of these three lines, there is a base point ofthe flow. We denote them by b6, b7, b8. The coordinates of these points dependon z and they approach to the base points of the autonomous flow as z → ∞. SeeAppendix A.3 for details.
Finally, blow ups at b6, b7, b8 leave the flow without the base points. Theexceptional lines are denoted by L7(z), L8(z), L9(z).
By this procedure, we constructed the fibers F(z), z ∈ C ∪ {∞} \ {0} of theOkamoto space O for the system (2.2), see Figure 1. We denote by L∗
i the properpreimages of the lines Li, 0 ≤ i ≤ 6.
L∗0
L∗1 L∗
2 L∗3
L∗4
L7(z)
L∗5
L8(z)
L∗6
L9(z)
Figure 1. Fiber F(z) of the Okamoto space.
The set where the vector field associated to (2.1) is infinite is I = L∗0 ∪ · · ·∪L∗
6.
The autonomous system. The fiber F(∞) of the Okamoto space will correspondto the system obtained by omitting the z-dependent terms in (2.2):
(2.3)u′ = −u(u+ 2v + 2),
v′ = v(2u+ v + 2),
Joshi & Radnovic, 2015
![Page 42: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/42.jpg)
PIV
ASYMPTOTIC BEHAVIOUR OF THE FOURTH PAINLEVE TRANSCENDENTS 3
For each z = 0, and each (u0, v0) ∈ C2, there is a unique solution of (2.2) withthe initial conditions u(z0) = u0, v(z0) = v0. Since the solutions will have poles aswell, it is natural to consider the solutions as maps C → CP2. However, in thissetting, points in CP2 where infinitely many solutions pass for any given z0 = 0appear. Such points are called base points.
For our consideration, we need to construct the space of initial conditions [Ger1975],where graph of each solutions will represent a separate leaf of the foliation. Thespaces of initial conditions for all six Painleve equations are constructed by Okamotoin [Oka1979]. The solutions are separated by blowing up the singular points.
In this paper, we apply the same construction to (2.2). The calculation detailscan be found in Appendix A, and now we describe the main steps in that resolutionprocess.
Resolution of singularities. System (2.2) has no singularities in the affine partof CP2. However, at the line L0 at the infinity, as it is calculated in Appendix A.1,the system has three base points: b0, b1, b2, whose coordinates do not depend on z.
In the next step, we construct blow ups at points b0, b1, b2. In the resulting space,we obtain three exceptional lines which we denote by L1, L2, L3 respectively. Theinduced flow will have one base point on each of these lines, denote them by b3,b4, b5 respectively. Their coordinated so not depend on z. See Appendix A.2 fordetails.
Next, blow ups at points b3, b4, b5 are constructed. The corresponding excep-tional lines are L4, L5, L6. On each of these three lines, there is a base point ofthe flow. We denote them by b6, b7, b8. The coordinates of these points dependon z and they approach to the base points of the autonomous flow as z → ∞. SeeAppendix A.3 for details.
Finally, blow ups at b6, b7, b8 leave the flow without the base points. Theexceptional lines are denoted by L7(z), L8(z), L9(z).
By this procedure, we constructed the fibers F(z), z ∈ C ∪ {∞} \ {0} of theOkamoto space O for the system (2.2), see Figure 1. We denote by L∗
i the properpreimages of the lines Li, 0 ≤ i ≤ 6.
L∗0
L∗1 L∗
2 L∗3
L∗4
L7(z)
L∗5
L8(z)
L∗6
L9(z)
Figure 1. Fiber F(z) of the Okamoto space.
The set where the vector field associated to (2.1) is infinite is I = L∗0 ∪ · · ·∪L∗
6.
The autonomous system. The fiber F(∞) of the Okamoto space will correspondto the system obtained by omitting the z-dependent terms in (2.2):
(2.3)u′ = −u(u+ 2v + 2),
v′ = v(2u+ v + 2),
Joshi & Radnovic, 2015
![Page 43: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/43.jpg)
PIV
ASYMPTOTIC BEHAVIOUR OF THE FOURTH PAINLEVE TRANSCENDENTS 3
For each z = 0, and each (u0, v0) ∈ C2, there is a unique solution of (2.2) withthe initial conditions u(z0) = u0, v(z0) = v0. Since the solutions will have poles aswell, it is natural to consider the solutions as maps C → CP2. However, in thissetting, points in CP2 where infinitely many solutions pass for any given z0 = 0appear. Such points are called base points.
For our consideration, we need to construct the space of initial conditions [Ger1975],where graph of each solutions will represent a separate leaf of the foliation. Thespaces of initial conditions for all six Painleve equations are constructed by Okamotoin [Oka1979]. The solutions are separated by blowing up the singular points.
In this paper, we apply the same construction to (2.2). The calculation detailscan be found in Appendix A, and now we describe the main steps in that resolutionprocess.
Resolution of singularities. System (2.2) has no singularities in the affine partof CP2. However, at the line L0 at the infinity, as it is calculated in Appendix A.1,the system has three base points: b0, b1, b2, whose coordinates do not depend on z.
In the next step, we construct blow ups at points b0, b1, b2. In the resulting space,we obtain three exceptional lines which we denote by L1, L2, L3 respectively. Theinduced flow will have one base point on each of these lines, denote them by b3,b4, b5 respectively. Their coordinated so not depend on z. See Appendix A.2 fordetails.
Next, blow ups at points b3, b4, b5 are constructed. The corresponding excep-tional lines are L4, L5, L6. On each of these three lines, there is a base point ofthe flow. We denote them by b6, b7, b8. The coordinates of these points dependon z and they approach to the base points of the autonomous flow as z → ∞. SeeAppendix A.3 for details.
Finally, blow ups at b6, b7, b8 leave the flow without the base points. Theexceptional lines are denoted by L7(z), L8(z), L9(z).
By this procedure, we constructed the fibers F(z), z ∈ C ∪ {∞} \ {0} of theOkamoto space O for the system (2.2), see Figure 1. We denote by L∗
i the properpreimages of the lines Li, 0 ≤ i ≤ 6.
L∗0
L∗1 L∗
2 L∗3
L∗4
L7(z)
L∗5
L8(z)
L∗6
L9(z)
Figure 1. Fiber F(z) of the Okamoto space.
The set where the vector field associated to (2.1) is infinite is I = L∗0 ∪ · · ·∪L∗
6.
The autonomous system. The fiber F(∞) of the Okamoto space will correspondto the system obtained by omitting the z-dependent terms in (2.2):
(2.3)u′ = −u(u+ 2v + 2),
v′ = v(2u+ v + 2),
E6(1)
Joshi & Radnovic, 2015
![Page 44: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/44.jpg)
PIV
ASYMPTOTIC BEHAVIOUR OF THE FOURTH PAINLEVE TRANSCENDENTS 3
For each z = 0, and each (u0, v0) ∈ C2, there is a unique solution of (2.2) withthe initial conditions u(z0) = u0, v(z0) = v0. Since the solutions will have poles aswell, it is natural to consider the solutions as maps C → CP2. However, in thissetting, points in CP2 where infinitely many solutions pass for any given z0 = 0appear. Such points are called base points.
For our consideration, we need to construct the space of initial conditions [Ger1975],where graph of each solutions will represent a separate leaf of the foliation. Thespaces of initial conditions for all six Painleve equations are constructed by Okamotoin [Oka1979]. The solutions are separated by blowing up the singular points.
In this paper, we apply the same construction to (2.2). The calculation detailscan be found in Appendix A, and now we describe the main steps in that resolutionprocess.
Resolution of singularities. System (2.2) has no singularities in the affine partof CP2. However, at the line L0 at the infinity, as it is calculated in Appendix A.1,the system has three base points: b0, b1, b2, whose coordinates do not depend on z.
In the next step, we construct blow ups at points b0, b1, b2. In the resulting space,we obtain three exceptional lines which we denote by L1, L2, L3 respectively. Theinduced flow will have one base point on each of these lines, denote them by b3,b4, b5 respectively. Their coordinated so not depend on z. See Appendix A.2 fordetails.
Next, blow ups at points b3, b4, b5 are constructed. The corresponding excep-tional lines are L4, L5, L6. On each of these three lines, there is a base point ofthe flow. We denote them by b6, b7, b8. The coordinates of these points dependon z and they approach to the base points of the autonomous flow as z → ∞. SeeAppendix A.3 for details.
Finally, blow ups at b6, b7, b8 leave the flow without the base points. Theexceptional lines are denoted by L7(z), L8(z), L9(z).
By this procedure, we constructed the fibers F(z), z ∈ C ∪ {∞} \ {0} of theOkamoto space O for the system (2.2), see Figure 1. We denote by L∗
i the properpreimages of the lines Li, 0 ≤ i ≤ 6.
L∗0
L∗1 L∗
2 L∗3
L∗4
L7(z)
L∗5
L8(z)
L∗6
L9(z)
Figure 1. Fiber F(z) of the Okamoto space.
The set where the vector field associated to (2.1) is infinite is I = L∗0 ∪ · · ·∪L∗
6.
The autonomous system. The fiber F(∞) of the Okamoto space will correspondto the system obtained by omitting the z-dependent terms in (2.2):
(2.3)u′ = −u(u+ 2v + 2),
v′ = v(2u+ v + 2),
E6(1)
Joshi & Radnovic, 2015autonomous case
![Page 45: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/45.jpg)
Initial-Value Space
✑ For each t, let S9(t) be the resolved space.
✑ The union is Okamoto’s space.
✑ The union is the infinity set.
✑ For each solution w(t) in S9(t)\I(t), define the limit set
⌦w ={s 2 S9(1)\I(1)s.t. 9 tj ! 1,
w(tj) ! s, as j ! 1}
I(t) =8[
i=0
L(9�i)i (t)
S =[
t2CS9(t)
![Page 46: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/46.jpg)
Global results for PI , PII , PIV
✑ The infinity set is a repeller for the flow.
✑ The complex limit set is non-empty, connected and compact.
✑ Every solution of PI , every solution of PII whose limit set is not {0}, and every non-rational solution of PIV intersects the last exceptional line(s) infinitely many times ⇒ ∃ infinite number of movable poles and
movable zeroes.
Duistermaat & J (2011); Howes & J (2014); J & Radnovic (2015, 2016, 2017)
![Page 47: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/47.jpg)
The University of Sydney 22
Ingredients of proofs
• Use the energy and Jacobians of each chart as a measure of the distance between the flow and the exceptional lines.
• Estimate the domain corresponding to each chart in which the solution is analytic.
• Use compactness to deduce results about the limit set.
E = u222 � 2u3
1 + u1
Jij =@uij1
@u1
@uij2
@u2� @uij1
@u2
@uij2
@u1
![Page 48: Geometric Asymptotics · The University of Sydney Nalini Joshi @monsoon0 Supported by the Australian Research Council Geometric Asymptotics Odlyzko 2011](https://reader036.fdocuments.us/reader036/viewer/2022071102/5fdb976b34db7239f756961c/html5/thumbnails/48.jpg)
The University of Sydney
Summary✑Global dynamics of solutions of non-
linear equations, whether they are differential or discrete, can be found through geometry.
✑Geometry provides the only analytic approach available in for discrete equations.
✑ Tantalising questions about finite properties of solutions remain open.
C