Solutions to autonomous partial difference equations via the third and sixth Painlevé equations and the Garnier system in two variables

This paper demonstrates that integrable autonomous partial difference equations admit special solutions governed by non-autonomous ordinary difference equations derived from the Bäcklund transformations of the third and sixth Painlevé equations and the Garnier system in two variables.

The Gist

Imagine you are standing in a vast, perfectly symmetrical grid city. This city represents a mathematical world where every building (a point on the grid) follows a strict, unchanging rule to determine its height based on its neighbors. In the language of mathematicians, this is an autonomous partial difference equation. "Autonomous" means the rules of the city don't change depending on where you are or when you look; the blueprint is static and universal.

Usually, if a city is built on a static, unchanging blueprint, you'd expect the buildings to grow in a simple, predictable, and equally static way.

However, this paper by Nobutaka Nakazono discovers something magical and counter-intuitive: Even though the city's rules never change, there are special, hidden neighborhoods within it where the buildings grow according to a complex, shifting, time-dependent script.

Here is the breakdown of the paper's discovery using everyday analogies:

1. The Five "Cities" (The Equations)

The author focuses on five specific types of grid cities (equations) that are famous in the world of mathematical physics. These include:

• The Discrete KdV City: A model for waves on water, but on a grid.
• The Q1 and HV Cities: Complex geometric structures.
• The Sine-Gordon City: A model for a row of pendulums swinging in sync.
• The Volterra City: A model for predator-prey populations (like foxes and rabbits) interacting on a grid.

All of these cities are "autonomous." Their construction rules are fixed. If you move the whole city one block to the left, the rules look exactly the same.

2. The "Special Residents" (The Solutions)

The paper asks: Can we find a specific pattern of buildings in these static cities that behaves differently?

The answer is yes. The author finds "special solutions." Think of these as specific families living in the city who, despite the city's static rules, seem to be following a different, more complex set of instructions that change as they move through the grid.

3. The "Secret Scripts" (Painlevé and Garnier)

Here is the twist. The "secret scripts" these families follow are not simple. They are described by non-autonomous ordinary difference equations.

• Autonomous: "The rule is always: Add 1 to your height." (Static)
• Non-autonomous: "The rule is: Add 1 if it's Tuesday, but add 2 if it's raining, and the rule changes every step you take." (Dynamic)

The paper shows that these special families in the static cities are actually following scripts derived from three famous, complex mathematical "families" of equations:

1. The Third Painlevé Equation
2. The Sixth Painlevé Equation
3. The Garnier System (a multi-variable version of the above)

These "Painlevé" equations are like the "rock stars" of special functions in mathematics. They are known for being incredibly complex and having properties that make them "integrable" (solvable in a deep, structured way).

4. The "Backstage Pass" (Bäcklund Transformations)

How does a static city produce a dynamic script? The paper uses a mathematical tool called Bäcklund transformations.

The Analogy:
Imagine you have a rigid, static sculpture (the autonomous equation). You want to find a way to make it "dance" (the special solution).

• The Bäcklund transformation is like a secret backstage pass. It doesn't change the sculpture itself, but it allows you to view the sculpture through a special lens.
• Through this lens, the static sculpture reveals a hidden, dynamic dance routine underneath.
• The author shows that if you apply this "lens" (using the symmetries of the Painlevé equations), the static grid equations suddenly reveal that their special residents are actually dancing to the rhythm of the Painlevé equations.

5. Why This Is Surprising

In the past, mathematicians knew that changing (non-autonomous) cities could have changing solutions. That makes sense.

• Example: If the weather changes every day (non-autonomous city), the plants might grow differently every day (non-autonomous solution).

But this paper shows that static cities (where the weather never changes) can also have changing solutions.

• Example: You have a factory with a robot arm that moves exactly the same way every second. Yet, the author proves that if you look at a specific, rare sequence of movements the robot could make, that sequence actually follows a complex, time-varying script that looks like it belongs to a different, more chaotic factory.

The Big Picture

Nobutaka Nakazono has mapped out a hidden bridge between two worlds:

1. The World of Static Grids: Simple, unchanging, autonomous equations.
2. The World of Complex Dynamics: The famous, shifting Painlevé and Garnier equations.

He proves that the "special residents" of the static world are actually governed by the complex rules of the dynamic world. It's like discovering that a perfectly still pond has a hidden, swirling current underneath that follows the laws of a hurricane, even though the surface looks calm and unchanging.

In summary: The paper reveals that even in the most rigid, unchanging mathematical structures, there are hidden pockets of complexity that dance to the tune of some of the most sophisticated equations in mathematics.

Technical Summary

1. Problem Statement

The paper addresses a specific phenomenon in the theory of integrable systems: the existence of special solutions for autonomous partial difference equations (P$\Delta$Es) that are governed by non-autonomous ordinary difference equations (O$\Delta$Es).

• Context: It is well-established that special solutions of non-autonomous integrable P$\Delta$Es are often described by non-autonomous O$\Delta$Es (discrete Painlevé equations).
• The Puzzle: It is counter-intuitive that autonomous P$\Delta$Es (where coefficients do not depend on lattice variables) admit special solutions described by non-autonomous O$\Delta$Es. While such phenomena have been reported in limited cases, the underlying mechanisms are not fully understood.
• Objective: The author aims to demonstrate that five specific autonomous two-dimensional P$\Delta$Es admit special solutions expressible via the Bäcklund transformations of the Third Painlevé equation ($P_{III}$), the Sixth Painlevé equation ($P_{VI}$), and the Garnier system in two variables ($Garnier_2$).

2. Methodology

The paper employs a symmetry-based approach rooted in the theory of integrable systems and affine Weyl groups.

• Target Equations: The study focuses on five autonomous quad-equations (equations relating four variables on a lattice square):
  1. Hirota's discrete Korteweg-de Vries (dKdV) equation.
  2. The $Q_1^{\delta=1}$ equation.
  3. The Hietarinta-Viallet (HV) equation.
  4. The lattice sine-Gordon (lsG) equation.
  5. The discrete Volterra (dVolterra) equation.
• Symmetry Groups: The author utilizes the symmetry groups formed by the Bäcklund transformations of $P_{III}$, $P_{VI}$, and $Garnier_2$. These groups are identified as extended affine Weyl groups (specifically types $2A_1^{(1)}$, $D_4^{(1)}$, and a group related to $B_5^{(1)}$).
• Construction of Transformations:
  • Specific commuting transformations ($T_i$) are defined within these symmetry groups.
  • These transformations act on the parameters and dependent variables of the Painlevé/Garnier systems, effectively shifting the parameters (e.g., $a_i \to a_i + 1$).
  • The lattice variables $(l, m)$ of the P$\Delta$E are identified with the iteration indices of these transformations.
• Verification: The author constructs explicit formulas mapping the dependent variables of the P$\Delta$Es ($u_{l,m}$) to the dependent variables of the O$\Delta$Es (solutions of $P_{III}$, $P_{VI}$, or $Garnier_2$). The validity of these solutions is verified by direct substitution and elimination, showing that the P$\Delta$E is satisfied if the O$\Delta$E relations hold.
• Integrability Checks: The paper also verifies the Consistency Around a Cube (CAC) and Consistency Around a Broken Cube (CABC) properties for the HV and dVolterra equations, respectively, and constructs Lax pairs for them using these properties.

3. Key Contributions

The primary contribution is the explicit construction of special solutions for five autonomous P$\Delta$Es using non-autonomous O$\Delta$Es derived from continuous integrable systems.

• Correspondence Table: The paper establishes a precise mapping (summarized in Table 2.1) between the autonomous P$\Delta$Es and the specific Painlevé/Garnier systems:
  • dKdV: Solved via $P_{III}$.
  • $Q_1^{\delta=1}$: Solved via $P_{VI}$.
  • HV Equation: Solved via both $P_{III}$ and $P_{VI}$.
  • lsG Equation: Solved via $P_{VI}$ and $Garnier_2$.
  • dVolterra Equation: Solved via $P_{III}$, $P_{VI}$, and $Garnier_2$.
• Mechanism of Emergence: The paper clarifies that the "non-autonomous" nature of the solutions arises because the lattice shifts $(l, m)$ correspond to Bäcklund transformations that shift the parameters of the underlying differential equations. Thus, the solution $u_{l,m}$ depends on parameters $a_{l,m}$ which vary with the lattice position, rendering the governing O$\Delta$E non-autonomous even though the original P$\Delta$E is autonomous.
• Limiting Procedures: The paper demonstrates that the HV equation can be obtained as a limit of the $Q_1^{\delta=1}$ equation, and correspondingly, the solutions derived from $P_{VI}$ reduce to those derived from $P_{III}$ under specific limiting procedures.

4. Results

The paper presents three main theorems providing the explicit special solutions:

• Theorem 2.1 ($P_{III}$):
  • Provides solutions for dKdV, HV, and dVolterra equations in terms of the Hamiltonian and variables of $P_{III}$.
  • Example: For dKdV, $u_{l,m} = q^{(l,m)} / t^{1/2}$, where $q^{(l,m)}$ satisfies the $P_{III}$ O$\Delta$E.
• Theorem 2.2 ($P_{VI}$):
  • Provides solutions for $Q_1^{\delta=1}$, HV, lsG, and dVolterra equations using the Hamiltonian and variables of $P_{VI}$.
  • The solutions involve the Hamiltonian $H_{VI}$ and the dependent variables $p, q$ shifted by the Bäcklund transformations $T_1, T_2, T_3$.
• Theorem 2.3 ($Garnier_2$):
  • Provides solutions for lsG and dVolterra equations using the two-variable Garnier system.
  • The solutions utilize the variables $p_i, q_j$ of the Garnier system, demonstrating that multi-variable generalizations of Painlevé equations also generate solutions for autonomous lattice equations.
• Appendix A: Shows that a non-autonomous dKdV equation also admits a solution via $P_{III}$, contrasting with the main focus on autonomous equations.
• Appendices B & C: Prove the CAC property for the HV equation and the CABC property for the dVolterra equation, providing Lax pairs for both.

5. Significance

• Bridging Continuous and Discrete: The work strengthens the link between continuous integrable systems (Painlevé equations) and discrete integrable systems (P$\Delta$Es). It shows that the rich structure of Bäcklund transformations in continuous systems can generate exact solutions for autonomous discrete systems.
• Resolution of a Paradox: It provides a concrete mechanism for how non-autonomous structures emerge in the special solutions of autonomous equations. The "autonomy" of the P$\Delta$E is preserved in the equation's form, but the "special solution" breaks this symmetry by selecting a trajectory where parameters evolve along the lattice.
• Generalization of Discrete Painlevé Transcendents: The author notes that these solutions can be classified as "discrete Painlevé transcendent solutions" (dP solutions). However, the paper emphasizes that these are not just multiplicative $q$-Painlevé equations (often associated with autonomous P$\Delta$Es in previous literature) but also additive-type equations derived from $P_{III}$, $P_{VI}$, and Garnier systems.
• Future Directions: The paper sets the stage for constructing dP solutions for non-autonomous P$\Delta$Es using $P_{IV}$ and $P_V$, suggesting a broader classification of integrable lattice equations based on their connection to the full hierarchy of Painlevé equations.

In summary, Nakazono's paper provides a rigorous algebraic framework demonstrating that the symmetry groups of the Third and Sixth Painlevé equations and the Garnier system are sufficient to generate exact, non-trivial special solutions for a fundamental class of autonomous integrable lattice equations.