Tau function (integrable systems)

Tau functions are an important ingredient in the modern mathematical theory of <a href="/facts/Integrable_system/Crgzjw6G">integrable systems</a>, and have numerous applications in a variety of other domains. They were originally introduced by Ryogo Hirota in his direct method approach to <a href="/facts/Soliton/5rC19BSU">soliton</a> equations, based on expressing them in an equivalent bilinear form.
The term tau function, or 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-function, was first used systematically by <a href="/facts/Mikio_Sato/LUkFh98o">Mikio Sato</a> and his students in the specific context of the <a href="/facts/Kadomtsev%E2%80%93Petviashvili_equation/cL7nX4ER">Kadomtsev–Petviashvili (or KP) equation</a> and related <a href="/facts/Integrable_system/Crgzjw6G">integrable hierarchies</a>. It is a central ingredient in the theory of <a href="/facts/Solitons/5rC19BSU">solitons</a>. In this setting, given any 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-function satisfying a Hirota-type system of bilinear equations (see § Hirota bilinear residue relation for KP tau functions below), the corresponding solutions of the equations of the integrable hierarchy are explicitly expressible in terms of it and its logarithmic derivatives up to a finite order. Tau functions also appear as <a href="/facts/Random_matrix/Yqo1lwFW">matrix model</a> <a href="/facts/Partition_function_(statistical_mechanics)/q65sJrrn">partition functions</a> in the spectral theory of <a href="/facts/Random_matrices/Yqo1lwFW">random matrices</a>, and may also serve as <a href="/facts/Generating_function/K7UVjnjL">generating functions</a>, in the sense of <a href="/facts/Combinatorics/k14xUoKT">combinatorics</a> and <a href="/facts/Enumerative_geometry/NSq0g3bY">enumerative geometry</a>, especially in relation to <a href="/facts/Moduli_spaces/9sqrdpwR">moduli spaces</a> of <a href="/facts/Riemann_surface/qoj8ogv8">Riemann surfaces</a>, and enumeration of <a href="/facts/Branched_covering/tCP8sjL3">branched coverings</a>, or so-called <a href="/facts/ELSV_formula/fMnM1lrB">Hurwitz numbers</a>.
There are two notions of 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-functions, both introduced by the <a href="/facts/Mikio_Sato/LUkFh98o">Sato</a> school. The first is <a href="/facts/Isospectral/vvYRzPqT">isospectral</a> 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-functions of the <a href="/facts/Mikio_Sato/LUkFh98o">Sato</a>–<a href="/facts/Graeme_Segal/M92u6ecE">Segal</a>–Wilson type for integrable hierarchies, such as the KP hierarchy, which are parametrized by linear operators satisfying <a href="/facts/Isospectral/vvYRzPqT">isospectral</a> <a href="/facts/Lax_pair/dyzB7Ttb">deformation equations</a> of <a href="/facts/Lax_pair/dyzB7Ttb">Lax</a> type. The second is <a href="/facts/Isomonodromic_deformation/9S7RmUsU">isomonodromic</a> 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-functions.
Depending on the specific application, a 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-function may either be: 1) an analytic function of a finite or infinite number of independent, commuting flow variables, or deformation parameters; 2) a discrete function of a finite or infinite number of denumerable variables; 3) a formal <a href="/facts/Power_series/vYh6sTps">power series</a> expansion in a finite or infinite number of expansion variables, which need have no convergence domain, but serves as generating function for certain enumerative invariants appearing as the coefficients of the series; 4) a finite or infinite (Fredholm) determinant whose entries are either specific polynomial or quasi-polynomial functions, or parametric integrals, and their derivatives; 5) the <a href="/facts/Pfaffian/3CmddqLu">Pfaffian</a> of a skew symmetric matrix (either finite or infinite dimensional) with entries similarly of polynomial or quasi-polynomial type. Examples of all these types are given below.
In the <a href="/facts/Hamilton%E2%80%93Jacobi_equation/XM0R7nzD">Hamilton–Jacobi</a> approach to <a href="/facts/Integrable_system/Crgzjw6G">Liouville integrable Hamiltonian systems</a>, <a href="/facts/Hamilton%27s_principal_function/XM0R7nzD">Hamilton's principal function</a>, evaluated on the level surfaces of a complete set of <a href="/facts/Poisson_bracket/7WUH7VXV">Poisson</a> commuting invariants, plays a role similar to the 
 
 
 
 τ
 
 
 {\displaystyle \tau }
 
-function, serving both as a generating function for the canonical transformation to linearizing canonical coordinates and, when evaluated on simultaneous level sets of a complete set of Poisson commuting invariants, as a complete solution of the <a href="/facts/Hamilton%E2%80%93Jacobi_equation/XM0R7nzD">Hamilton–Jacobi equation</a>.

Tau function (integrable systems) open-in-new

Tau function (integrable systems)