Questions tagged [integrable-systems]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
11 views

Zero-curvature formulation of the Camassa-Holm hierarchy

In the book of Gesztesy and Holden (see the following article of the same authors), they state that the (stationary) Camassa-Holm hierarchy may be cast as a zero-curvature equation \begin{align} -V_{n,...
user avatar
-1 votes
0 answers
31 views

Conformal projection of ellipsoid in cartesian coordinates

Has anyone ever seen a conformal projection map of the ellipsoid (triaxial, oblate, prolate) into the plane, in cartesian coordinates?. I'm aware of the existence of Jacobi's map and the Mercator ...
user avatar
1 vote
0 answers
76 views

About writing solutions of linear ODE's: Is this statement correct?

A motivating example: Consider the Hypergeometric equation $$z(1-z) \frac{d^2y}{dz^2}+(c-(a+b+1)z) \frac{dy}{dz}-aby=0,$$ it has a solution given by the Gauss's Hypergeometric function $$_2F_1(a,b;c;z)...
user avatar
1 vote
3 answers
200 views

Equivalence problem of classifying heat equations

I have tried to search for references online but I am unable to do so. I am looking for references that uses Cartan's method of moving frames to classify heat equations. Also are there references that ...
user avatar
  • 135
0 votes
0 answers
54 views

Partition functions of symmetric rational with bounded poles

Lets define $B_{g,n}(d_1 , d_2 ,\ldots, d_n)$ family of numbers where $g, n , d_i$ are integers such $g\geq 0$, $n \geq 1 $, and $d_i \geq 1$. Let's consider the partition function of the numbers $$ ...
user avatar
  • 621
2 votes
1 answer
251 views

What functions do we need to solve linear second order differential equations with polynomial coeficients? [closed]

. Final edit: The problem I had in mind is properly asked in THIS MO QUESTION, so I'll vote to close the present post e recommend anyone interested in the topic to visit that link. . . . . . Below is ...
user avatar
2 votes
0 answers
199 views

Has anyone written down an approach to the Lenard-Magri integrability scheme via algebraic geometry?

I’ve been thinking about the algebro-geometric meaning of the Lenard-Magri scheme of getting an integrable system from a pair of compatible Poisson structures. I think one might be able to prove a ...
user avatar
4 votes
1 answer
172 views

Intuition for almost periodic solution and Poincaré recurrence theorem

I would like to ask a question that I had asked yesterday on the site math.stackexchange and I still have not received an answer. Suppose that we have a PDE that admit a solution $u$ that can be ...
user avatar
  • 63
1 vote
0 answers
60 views

Spectrum of a Lax Pair and conservation laws of a PDE

I would like to ask a question that I had asked a few days ago on the site math.stackexchange and I still have not received an answer. If we have a Lax operator, we know that the spectrum of this ...
user avatar
  • 63
3 votes
0 answers
63 views

Coordinates for quasiperiodic motion after reconstruction

Consider a free action of $SO(3)$ on a manifold $M$ and some (reducible) dynamics vector field $X$ on $M$. Suposse that the reduced dynamics $X_{red}$ on $M/SO(3)$ has only fixed points and periodic ...
user avatar
  • 181
0 votes
0 answers
51 views

The advantages of having a discrete spectrum of the Lax operator

Suppose that we have an equation which admits a pair of Lax $(L_u, B_u)$ and that the Lax operator $L_u$ admits a spectrum that is formed of eigenvalues all simple. What is the advantage to have a ...
user avatar
  • 97
1 vote
0 answers
75 views

Dynamics of composition of reflections

Let $C$ be a curve defined by $y = f(x)$, and define the vertical reflection over $C$ to be the map $(x,y) \mapsto (x,y')$, where $y' = 2 f(x) - y$. In other words, the vertical distance from $(x,y)$ ...
user avatar
  • 183
5 votes
1 answer
154 views

Involutive solutions to the Yang-Baxter equation (and triangular Hopf algebras)

I'm interested in solutions to the Yang-Baxter equation $$R_{12}R_{23}R_{12}=R_{23}R_{12}R_{23},$$ that are involutive $R^2_{12}=1$. Or put it another way, I'm interested in representations of the ...
user avatar
  • 241
2 votes
0 answers
117 views

Integrable systems and Lagrangian fibrations

It is known that every integrable system gives rise to a Lagrangian fibration via action-angle variables. My question is how to tell if a given Lagrangian fibration is an integrable system, that is ...
user avatar
3 votes
2 answers
234 views

(Super)integrable systems on quiver varieties

In recent papers https://arxiv.org/abs/2101.05520 https://arxiv.org/abs/2001.06911 (super)integrable systems on quiver varieties for cyclic and comet-shaped quivers are constructed. My question: are ...
user avatar
6 votes
1 answer
241 views

Are the “generalized Catalan numbers” of Dumitrescu–Mulase the "moments" of some "multivariate Wigner semicircle distribution"?

The classical Catalan numbers $$ C_n = \frac{1}{n+1} \binom{2n}{n}, $$ well-known for their numerous combinatorial interpretations (the second volume of Stanley's Enumerative Combinatorics famously ...
user avatar
  • 215
1 vote
0 answers
113 views

Maximal dimension guaranteed for integral manifolds of hyperplane distributions

To KSackel and anyone else has viewed this: I'm sorry my edits have been all over the place. I've tried to cut it down to my remaining curiosities, so there's less to wade through (and hopefully fewer ...
user avatar
4 votes
1 answer
137 views

Designer metric for a vector field

A vector field $V$ on a manifold $M$ admits an invariant metric if there exists a Riemannian metric $g$ with $L_Vg = 0$. How can one characterize the vector fields on $M$ that admit an invariant ...
user avatar
4 votes
1 answer
423 views

Is the logistic map $x_{n+1}=r x_n (1-x_n)$ exactly solvable for any $r$ other than $-2,2,4$?

It is known that for $r=-2,2,4$ the logistic map $x_{n+1}=r x_n (1-x_n)$ has exact solutions of the form $$ x_n=\frac12 \left\{ 1- f\left(r^n f^{-1}(1-2x_0)\right)\right\} \qquad \qquad{(*)} $$ for ...
user avatar
  • 43
2 votes
0 answers
80 views

Is Krichever's constuction "inverse" to finding the spectral curve?

There is Krichever's algebro-geometric construction of solutions to the KP equations starting from a curve X together with extra data. There is a way to find the spectral curve given a point of the ...
user avatar
  • 2,189
2 votes
1 answer
181 views

Can every point of Wilson's adelic Grassmannian be obtained by Krichever construction of solutions to KP equations?

Igor Krichever introduced an algebro-geometric construction of solutions of KP equations starting from an algebraic curve with some additional data. George Wilson introduced the adelic Grassmannian, ...
user avatar
  • 2,189
6 votes
1 answer
434 views

Lax pair of an integrable non-linear PDE

The following is a fourth-order non-linear PDE that passes the Painleve integrability test $$\left(1+x^{2}\right)^{2}u_{xxxx} + 8x\left(1+x^{2}\right)u_{xxx} + 4\left(1+3x^{2}\right)u_{xx}+ t\left(...
user avatar
5 votes
1 answer
149 views

Obstruction to the existence of a globally defined integrating factor

Let $U$ be an open subset of $\Bbb{R}^n$ and take $\omega$ to be a nowhere-vanishing smooth $1$-form on $U$. The Frobenius Theorem implies that, near each point of $U$, $\omega$ may be written as $g\,{...
user avatar
  • 2,032
5 votes
0 answers
220 views

Why does the Lax pair formalism look so similar to the Hamiltonian equations, and what is the significance of this?

If we have a Lax pair for a system, which we'll call operators $L$ and $B$, then the system \begin{align*}L\psi&=\lambda\psi\\ \psi_t&=B\psi\end{align*} has as its integrability condition ...
user avatar
  • 151
4 votes
1 answer
149 views

Quantum Hamiltonian reduction and tensor products

Let $k$ be a field of characteristic zero, $\mathfrak{g}$ a finite-dimensional Lie algebra over $k$, and let $A,B$ associative $k$-algebras. Suppose that $\mathfrak{g}$ acts on $A$ and $B$, and ...
user avatar
2 votes
0 answers
86 views

Representation theoretic definition of wavefunctions of an integrable hierarchy?

I am reading Kac's book on infinite dimensional lie algebras. In the last chapter, he starts with a highest weight module of an affine lie algebra $\mathfrak{g}(A)$, and uses it to define tau ...
user avatar
6 votes
1 answer
502 views

$GL(\infty)$ group action through the boson-fermion correspondence

Every point of the Sato Grassmannian can be used to generate a tau function of the KP hierarchy. In addition, the Sato Grassmannian can be seen as a subset of the "second quantized fermion Fock space" ...
user avatar
4 votes
1 answer
290 views

Examples of particle systems with higher-order collisions

In kinetic theory, one often comes across interacting particle systems with a collisional flavour. I'll currently prefer to think about them as systems of ODEs (or SDEs, Jump Processes, $\ldots$), ...
user avatar
  • 267
2 votes
0 answers
103 views

GUE, tau-function of Painlevé II, and an article of Forrester-Witte

Let $ \mu $ be the Gaussian measure $ d\mu(x) = e^{-x^2/2} \frac{dx}{\sqrt{2\pi} } $. I am interested in the following random matrix integral defined for all $ s \in \mathbb{R} $, $ N \geq 1 $ and $ a ...
user avatar
  • 549
2 votes
2 answers
484 views

Explanation of definition of George Wilson's adelic Grassmannian

How is George Wilson's adelic Grassmannian from e.g. the paper https://link.springer.com/article/10.1007%2Fs002220050237 related to the adeles or (especially) the affine Grassmannian (a.k.a. the loop ...
user avatar
  • 2,189
5 votes
1 answer
722 views

Any holomorphic vector bundle over a compact Riemann surface can be defined by only one transition function?

It is known that any holomorphic bundle of any rank over a noncompact Riemann surface is trivial. A proof can be found in Forster's "Lectures on Riemann surfaces", section 30. Let $E$ be a ...
user avatar
6 votes
0 answers
146 views

Introduction to the Adler-van Moerbeke theory

Is there a good introduction to the Adler-van Moerbeke theory of solving completely integrable systems by linearizing the flow on the Jacobian of an algebraic curve, for someone with a background in ...
user avatar
1 vote
0 answers
70 views

Why is Jacobi Identity equivalent to holonomy of system? [closed]

Or equivalently, why is jacobi identity equivalent to integrability of system? How do I understand it intuitively? Thanks.
user avatar
  • 11
2 votes
0 answers
61 views

Generalized definition of integrable condition on rough complex subbundle

Assume object are smooth at first. If we consider real subbundle, we can define integrability in terms of parameterization or coordinate. A rank $r$ real subbundle $\mathcal V\le TM$ is called ...
user avatar
  • 619
3 votes
0 answers
94 views

Does singularity confinement imply a fixed pattern of irreducible factors?

Consider a rational map $f \colon (x_1,\ldots,x_n) \mapsto (P_1(x_1,\ldots,x_n),\ldots,P_n(x_1,\ldots,x_n))$, where the $P_i$ are rational functions. Via iteration this map defines a discrete ...
user avatar
  • 18.8k
2 votes
1 answer
137 views

What is the expectation/variance of the GOE (Airy-1) point process on a partition of the real line?

Let $\chi^{\mathrm{Ai}}(I)$ denote the GUE (Airy-2) point process on the interval $I \subset \mathbb{R}$. Soshnikov proved \begin{align} \mathbb{E}(\chi^{\mathrm{Ai}}(-T, +\infty)) &\sim \...
user avatar
4 votes
2 answers
198 views

Inverse image of rational values

I am a postgraduate student of physics. While doing some research on Poincare's work on the integrability of the three body problem, I came up with the following problem (which I feel unable to handle,...
user avatar
  • 41
4 votes
0 answers
62 views

Identification of spectral and differential data for integrable difference equations?

Let $X$ be a projective curve and $G$ be a semisimple Lie group. There is a theorem roughly stating that there exists an isomorphism between the moduli space of principal $G$-bundles on $X$ and the ...
user avatar
4 votes
2 answers
389 views

How to use these higher symmetries and conservation laws?

For infinite dimensional integrable systems, there are usually infinite symmetries and conservation laws. For example, the KdV equation, the KP equation. However, unlike the classical symmetries (...
user avatar
  • 191
2 votes
1 answer
265 views

On the connections between Ruijsenaars-Schneider systems and other areas

I found on the literature plenty of articles dealing with connections between rational/trigonometric/elliptic Calogero-Moser systems and their relativistic generalizations (Ruijsenaars-Schneider), and ...
user avatar
  • 81
2 votes
1 answer
130 views

Two questions on Zuber's "KdV and W-flows"

I'm having difficulty following computations in the paper "KdV and W-flows" by Zuber. On pg. 2, what would be the conserved quantity $I_4$, related to the conservation laws of the KdV hierarchy? (...
user avatar
  • 7,910
7 votes
0 answers
190 views

Explicit form of raising and lowering operators in spherical gl(n) DAHA

I am working with polynomial representations of spherical subalgebra of double affine Hecke algebra (DAHA) for $\mathfrak{gl}_n$. Let's call this algebra $\mathfrak{A}_n$ for short. Typically we think ...
user avatar
9 votes
1 answer
165 views

Exceptional Quantum Groups as FRT-Algebras

Let $\frak{g}$ be a simple Lie algebra of A,B,C,or D series type. Moreover, let $U_q(\frak{g})$ be its Drinfeld-Jimbo quantized enveloping algebra, and $G_q$ the quantized enveloping algebra. As is ...
user avatar
1 vote
0 answers
64 views

Deriving the time evolution of the reflection coefficient for 1d cubic NLS

Update: I have found that the detailed answer to my questions is contained in the book "Solitons: an introduction" by P.G. Drazin and R.S. Johnson. Generally speaking, this seems to be a great book ...
user avatar
  • 153
3 votes
1 answer
128 views

Integrating matrix maps

This (which is a follow-up to Lifting a determinant map) must be standard, and yet I am failing to find a reference. Consider a map $f:\mathbb{R}^n \to M^{n\times n}.$ You can pick its degree of ...
user avatar
  • 93.7k
8 votes
0 answers
263 views

Connection between integrable systems and group actions

An integrable system can be defined as a symplectic manifold together with the maxiumum possible number of Poisson commuting functions on the manifold which are almost everywhere independent. By the ...
user avatar
  • 939
6 votes
1 answer
304 views

Toda Hierarchy and Quantum Cohomology of $\mathbb{P}^1$ Frobenius manifolds

People usually say that the quantum cohomology of $\mathbb{P}^1$ Frobenius manifold $QH^*(\mathbb{P}^1)$, corresponds to dispersionless extended Toda hierarchy (e.g. page 6 of https://arxiv.org/pdf/...
user avatar
8 votes
0 answers
250 views

Lax pairs in an abstract formalism

I am reading Integrals of Nonlinear Equations of Evolution and Solitary Waves by Peter Lax and I'm having a hard time. The methods are pioneering, of course, but Lax does not bother much to provide ...
user avatar
20 votes
4 answers
2k views

What is an "integrable hierarchy"? (to a mathematician)

This is one of those "what is an $X$?" questions so let me apologize in advance. By now I have already encountered the phrase "integrable hierarchy" in mathematical contexts (in particular the so ...
user avatar
  • 6,927
4 votes
0 answers
135 views

Integrable systems with Fano phase space?

What are some known examples of finite-dimensional integrable systems with symplectic Fano phase space? Here by integrable system we mean a symplectic manifold $(X, \omega)$ of dimension $2n$ with $...
user avatar