타우 함수는 현대 통합형 시스템 이론의 중요한 요소로서, 다양한 다른 영역에 수많은 응용 프로그램을 가지고 있다.그것들은 원래 료고 히로타에 의해 솔리톤 방정식에 대한 직접적인 방법 접근법에 의해 도입되었는데, 등가 이선형식으로 표현하였다.타우 함수( function, {\tau -function)라는 용어는 카돔체프-페트비아쉬빌리(또는 KP) 방정식의 구체적인 맥락에서 사토[2]미키오와 그의 제자들에 의해 처음으로 체계적으로 사용되었고, 관련 통합 가능한 계층 구조로 사용되었다.그것은 용해 이론의 중심 성분이다.타우 함수는 랜덤 매트릭스의 스펙트럼 이론에서도 매트릭스 모델 파티션 함수로 나타나며, 특히 리만 표면의 모듈리 공간과 관련된 조합 및 열거형 기하학적 의미에서의 생성 함수, 그리고 브랜딩 커버링의 열거, 또는 소위 허위츠 수치로도 기능할 수 있다.
사토 학파에 의해 소개된 -functions의 개념은 두 가지다.첫 번째는 이소모노드로믹 - 기능의 그것이다.[5]두 번째는 KP 계층 구조와 같이 통합 가능한 계층 구조를 위한 Sato-Segal-Wilson유형의 τ } - 기능이며, Lax 타입의 등경변형 방정식을 만족하는 선형 연산자에 의해 파라메트릭된다.
이등분석의 -기능은 이등분석의 진화를 겪는 선형 연산자를 고유하게 재구성할 수 있는 히로타 이등분 방정식의 해법이다.그 Sato[2]과 Segal-Wilson[6]의미에서 프레드 홀름 통합 사업자 기원으로 적절하게 정의된(무한 차원)그라스만 다양체의 요소의 직교 돌출부를 것으로 해석했던, 최대abelian subgro의 선형 기하 급수적인 작용으로 그 요소가 진화하는 결정 요인의 Geometrically을 값입니다.의일반 선형 그룹그것은 일반적으로 기초 측정이 선형 지수 변형을 겪기 때문에 통계역학이라는 의미에서, 다체 양자역학이나 양자장 이론의 관점에서 분할 함수로 발생한다.
KP τ-기능에 대한 히로타 이선 잔여 관계
A KP (Kadomtsev–Petviashvili) -function is a function of an infinite number of KP flow variables that satisfies the following bilinear formal residue equation
(1)
변수와 동일하게, 서 e =은 정식 Laurent 확장의z - 1{\에서 Laurent 시리즈로 모든 요인을 확장함에 따른 z - 의임
카돔체프-페트비아슈빌리 방정식
τ 1,,,…) })가 KP 인 경우, 우리는 처음 3개의 흐름 변수를 다음과 같이 식별한다.
( 1,,t ,…)의 추가 로그파생상품을 취하면,\) 각각 유한한 수의 KP 흐름파라미터에 관한 유한한 순서의 부분파생산을 포함하는 비선형 자율 PDE의 추가 시스템을 만족시키는 무한 시퀀스를 제공한다.ers =( t ,,…) { .이것들은 집합적으로 KP 계층 구조로 알려져 있다.
공식 베이커-아키에저 함수와 KP 계층 구조
(공식) Baker-Akhiezer 함수 , ) 를 사토 공식으로 정의하면
변수 의 파워로 정식 시리즈로 확장
이것은 양립 가능한 진화 방정식의 무한 순서를 만족시킨다.
(3)
where is a linear ordinary differential operator of degree in the variable , with coefficients that are functions of the flow variables 다음과 같이 정의됨
여기서 은(는) 정식 의사 차등 연산자임
x {\:={\ x을를) 사용하여, 여기서
is the wave operator and denotes the projection to the part of containing purely non-negative powers of ; i.e. to the differential operator part of
This is a compatible infinite system of nonlinear partial differential equations, known as the KP (Kadomtsev-Petviashvili) hierarchy, for the functions , with respect to the set displaystyle 의 독립 변수 각각에는 u_{j}s의 한정된 수만 포함되며, 세 개의 독립 변수 i) j}}}}})에 대해서만 파생 변수가 포함되어 있다이것들의 첫 번째 비비례는 카돔체프-페트비아쉬빌리 방정식(2)이다.
따라서 모든 KP 함수는 적어도 형식적인 의미에서는 비선형 부분 미분 방정식의 무한 시스템에 대한 해결책을 제공한다.
where are a set of traceless matrices, a set of complex parameters and a complex variable, and is an invertible matrix valued function of and . These are the necessary and sufficient conditions for the based monodromy representation of the fundamental group of the Riemann sphere punctured at the points 합리적인 파생상품 에 해당하는
변수{ i i= , n {\{i 즉, 이러한 매개 변수의 변화가 등변성 변형을 유발하는 경우.이 시스템의 호환성 조건은 Schlesinger 방정식이다[5].
지역적으로 정확해따라서 적어도 국소적으로는 다음과 같이 곱셈 상수 내에 정의된 파라미터의 함수 τ,… , n) 가 존재한다.
함수 ( 1,… , n) - 시스템 (5), (6)의 기본 {\displaystyle}과 연관된 함수라고 한다.비 후치안 시스템의 경우, 고차 폴을 가진 일반화된 모노드로미 데이터의 경우 스톡스 파라미터와 연결 매트릭스가 포함되며, 국소 무증상학에 관련된 이소모노드로믹 변형 파라미터가 추가로 존재하지만, 이소모드로믹-기능은 차등 o를 사용하여 유사한 방법으로 정의될 수 있다.확장 매개변수 공간.[5]
defined on a (separable) Hilbert space with basis elements and dual basis elements for .
The free fermionic creation and annihilation operators act as endomorphisms on via exterior and interior multiplication by the basis elements
그리고 표준적인 반협정 관계를 만족시킨다.
이러한 것들은 스칼라 제품에 해당하는 H + H {\{H에 클리포드 대수학의 표준 페르미온적 표현을 생성한다.
Fock 공간 {을(를) 복구할 수 없는 모듈로 지정.제로 페르미온 충전 섹터 에서 진공 상태를 나타낸다
- - 0
모든 음의 정수 위치가 점유되고 음이 아닌 모든 위치가 비어 있는 실제 정수 격자를 따라 주의 디락 바다에 해당한다.
이는 다음 운영자에 의해 전멸된다.
0 으로 표시된 이중 페르미오닉 포크 공간 진공 상태는 보조 연산자에 의해 소멸되며, 좌측으로 작용한다.
정상 순서: ,: : 연산자즉, 및 소멸 의 유한 또는 무한 선형 조합)의 L_{1},\cdots L_을(를) 정의하여 VEV(진공 기대 값)가 사라지도록 한다.
특히 L }}개의 제품 L ) {\의 경우 선형 연산자
강전하 연산자 C은(는) 다음과 같이 정의된다.
하위 공간 은 고유값 n {\displaystyle n}을를) 모든 고유 벡터로 구성된 C C의 이다.
; = ; ; n C n vn
The standard orthonormal basis for the zero fermionic charge sector is labelled by integer partitions, where is a weakly decreasing sequence of positive integers, which can equivalently be represented by a Young diagram, as depicted here for the partition .
파티션의 젊은 다이어그램(5, 4, 1)
An alternative notation for a partition consists of the Frobenius indices , where denotes the arm length; i.e. the number of boxes in the Young diagram to the right of the 'th diagonal box, denotes the leg length, i.e. the number of boxes in the Young diagram below the 'th diagonal box, for 여기서 은(는) 대각선 원소의 수인 프로베니우스 순위다.
기본 요소 {\은(는) 쌍의 생성 및 소멸 연산자로 구성된 제품으로 진공에 작용하여 주어지며, 프로베니우스 지수에 의해 라벨이 표시된다.
The integers indicate, relative to the Dirac sea, the occupied non-negative sites on the integer lattice while indicate the unoccupied negative integer sites.디락 바다의 유한 섭동인 정수 격자 위에 무한히 많은 점령지와 비어 있는 현장으로 구성된 해당 도표를 마야 도표라고 한다.[2]
null(빈 칸막이)partition= = 0⟩ {\ = 의 경우 진공 상태가 되며, 이중 기준 μ} 은 다음과 같이 정의된다.
그러면 모든 KP - 함수는 합으로 표현할 수 있다.
where are the KP flow variables, is the Schur function corresponding to the partition , viewed as a function of the normalized power sum variables
in terms of an auxiliary (finite or infinite) sequence of variables and the constant coefficients may be viewed as the Plucker coordinates of an element of the infinite dimensional Grassmannian consisting of the orbit, under the action of the general linear group , of the subspace 힐버트 공간 { {
서 ( 1,,…) 은(는) H {\ w\w\mathcal { 및의 요소의 투영역을 나타내는 기준이다
The Plucker coordinates satisfy an infinite set of bilinear relations, the Plucker relations, defining the Plücker embedding into the projecivization of the fermionic Fock space, which are equivalent to the Hirota bi선형 잔여 관계(1)
If for a group element with fermionic representation , then the -function 은(는) 페르미온 진공 상태 기대값(VEV)으로 표현될 수 있다.
어디에
KP 흐름을 생성하는 () 의 아벨리안 서브그룹이며,
""전류 부품"이다.
멀티솔리톤 솔루션
If we choose complex constants with 's all distinct, , and define the func티온스
Choose a point , a local parameter in a neighbourhood of with and a positive divisor of degree
임의의 양의 정수 + k 을(를) 다음과 같은 조건으로 특징지어지는 두 번째 종류의 고유한 용형 차이가 되게 한다.
의 유일한 특이점은 = = p = p =p = p = p = = p_의 k극이다.
= = p= p =p = p = p = p=p_{\을 중심으로 k 의 확장은
= - )+ = Q j ζ { { {\_\j=1
은(는) 정규화되어 -cycle이 사라진다.
C 의 벡터 - k :
아벨 지도 A: g( X)→ g displaystyle {\ {^{에 대한 {D의 이미지를 나타낸다.
임의 기준점 을를) 사용하여 .
그러면 다음은 KP - 함수:
Matrix 모델 파티션 기능(KP - 기능)
Let be the Lebesgue measure on the dimensional space of complex Hermitian matrices.() 을(를) 결합 불변 통합 밀도 함수로 설정
변형된 조치 제품군 정의
t = ( 1, t , ) {\{t} =(2},\에 대해 다음을 수행하십시오.
이 랜덤 행렬 모델의 파티션 함수가 된다.[7]그런 다음 N , ( ){\ { )은 이선형 히로타 잔류 방정식(1)을 만족하므로 KP 계층 의 {{\ - 함수인 것이다.[8]
} -초기하학 유형.Hurwitz 번호 생성 기능
} 을(를) 하나의 (두꺼운) 무한의 복잡한 숫자 순서가 되게 하라.모든 정수 파티션 = (,… , ( ) (\에 대해 컨텐츠 제품 계수를 정의하십시오.
여기서 제품은 해당 ℓ ()× 1 파티션의 영 다이어그램 상자에 해당하는 양의 정수의 모든 쌍, j1} 의 매트릭스 위치로 간주된다Then, for every pair of infinite sequences and of complex vaiables, viewed as (normalized) power sums of the infinite sequence of auxiliary variables and , defined by
기능
{t}과(와 s {\displaystyle \에 있는 이중 KP \tau - 함수, 초지하계 유형의 [9] 함수.
특히 선택
for some small parameter , denoting the corresponding content product coefficient as and setting , the resulting -function can b로 동등하게 확장된.
(7)
여기서 () 은(는) 1 times the number of ways in which an element of the symmetric group in elements, with cycle lengths equal to the parts of the partition 은는) -cycles의 제품으로 간주할 수 있다.
그리고
검정력 합 대칭함수.따라서 방정식 (7)은 (공식) KP 초지하학 } - 내용물 제품 계수 r 에 해당하는 함수가 결합적 의미에서 생성함수임을 나타낸다.[10][11]
^ abcdM. 사토, "무한 치수 그래스만 다지관의 동적 시스템으로서의 솔리톤 방정식", 코큐로쿠, RIMS, 교토 유니브, 30–46 (1981)
^ abDate, Etsuro; Jimbo, Michio; Kashiwara, Masaki; Miwa, Tetsuji (1981). "Operator Approach to the Kadomtsev-Petviashvili Equation–Transformation Groups for Soliton Equations III–". Journal of the Physical Society of Japan. Physical Society of Japan. 50 (11): 3806–3812. doi:10.1143/jpsj.50.3806. ISSN0031-9015.
^ abcJimbo, Michio; Miwa, Tetsuji; Ueno, Kimio (1981). "Monodromy preserving deformation of linear ordinary differential equations with rational coefficients". Physica D: Nonlinear Phenomena. Elsevier BV. 2 (2): 306–352. doi:10.1016/0167-2789(81)90013-0. ISSN0167-2789.
^ abSegal, Graeme; Wilson, George (1985). "Loop groups and equations of KdV type". Publications mathématiques de l'IHÉS. Springer Science and Business Media LLC. 61 (1): 5–65. doi:10.1007/bf02698802. ISSN0073-8301.
^M.L. Mehta, "Random Matrices", 3차 개정판, 142권, 순수 및 응용 수학, Exvier, Academic Press, ISBN9780120884094(2004).
^Kharchev, S.; Marshakov, A.; Mironov, A.; Orlov, A.; Zabrodin, A. (1991). "Matrix models among integrable theories: Forced hierarchies and operator formalism". Nuclear Physics B. Elsevier BV. 366 (3): 569–601. doi:10.1016/0550-3213(91)90030-2. ISSN0550-3213.
^Orlov, A. Yu. (2006). "Hypergeometric Functions as Infinite-Soliton Tau Functions". Theoretical and Mathematical Physics. Springer Science and Business Media LLC. 146 (2): 183–206. doi:10.1007/s11232-006-0018-4. ISSN0040-5779.
^Pandharipande, R. (2000). "The Toda Equations and the Gromov–Witten Theory of the Riemann Sphere". Letters in Mathematical Physics. Springer Science and Business Media LLC. 53 (1): 59–74. doi:10.1023/a:1026571018707. ISSN0377-9017.
Dickey, L.A. (2003), "Soliton Equations and Hamiltonian Systems", vol. 26 of Advanced Series in Mathematical Physics. World Scientific Publishing Co., Inc., River Edge, NJ, 2nd ed.
Harnad, J.; Balogh, F. (2021), "Tau functions and Their Applications", Cambridge Monographs on Mathematical Physics, Cambridge University Press, Cambridge, U.K.
Hirota, R. (2004), "The Direct Method in Soliton Theory", Cambridge University Press, Cambridge , U.K.
Jimbo, M.; Miwa, T. (1999), "Solitons: Differential Equations, Symmetries and Infinite Dimensional Algebras", Cambridge University Press, Cambridge , U.K., Cambridge Tracts in Mathematics, 135
Kodama, Y. (2017), KP Solitons and the Grassmannians: Combinatorics and Geometry of Two-Dimensional Wave Patterns, Springer Briefs in Mathematical Physics, vol. Springer Nature