# Talk:Integrable system

## Too technical

I'm a physics student, and I'm not familiar with the level of mathematics that is discussed in this article, but my understanding of integrable systems is this: if the phase space is ${\displaystyle 2n}$ dimensional, there should be ${\displaystyle n}$ independent conserved quantities which are in involution, ie, their Poisson brackets separately vanish. This means that the phase space is confined to a surface that is homeomorphic to an ${\displaystyle n}$-torus. It also means that their equations of motion can be reduced to quadratures and can in principle be solved by a sequence of integrals. I think this is the basic definition that most physicists would look for, and it is really, really hard to make that out from this article. I don't feel confident editing it, because I don't understand half the math terms involved. But it would be nice if someone who does could tone it down a bit. SrijitaK (talk) 18:23, 21 February 2012 (UTC)

I completely agree! This is way too mathematical. wpoely86 (talk) 10:05, 2 July 2012 (UTC)
Also agree the article is utterly incomprehensible to a layperson. I would forgive its opaqueness to the average reader if it simply began with a single short sentence that says: "An integrable system in mathematics is one in which < finish the sentence by describing the basic concept in ordinary English without using any technical terms nor referring to the names of particular systems >." Hypothetical example: "...one in which certain equations can be completely solved by conventional algebra." (This is merely an example of the use of easily understood English; it is not a suggestion for the actual wording, which I'm not qualified to offer.) It seems to me that any qualified mathematician, after giving the matter some thought, should be able to write an opening sentence that can be understood by anyone and does not rely on textbook jargon. DonFB (talk) 01:48, 12 June 2018 (UTC)

## A counter-example would be useful

It would be useful to add a counter-example to the article, i.e. a simple example that is *not* integrable. 18.87.1.116 (talk) 16:35, 3 February 2016 (UTC)

## Assessment comment

The comment(s) below were originally left at Talk:Integrable system/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

 This article is nearly ready to be removed from the stub class. What is still missing is: A correction to the title, which should be in the plural "Integrable Systems", rather than the singular "Integrable System" Some details about the listed examples, or links to where details may be found. Either a detailed discussion of Quantum Integrable Systems, or a link to another article, that deals with these in detail. R physicist (talk) 03:11, 17 March 2008 (UTC)

Last edited at 15:39, 27 April 2009 (UTC). Substituted at 18:59, 29 April 2016 (UTC)

## Changes to lede

I think that the accessibility of DonFB's version is very promising, but that Taku has a point about the lack of precision. I propose the following intermediate version:

In calculus, "integration" refers to adding together many small (infinitesimal) parts to find the value of areas, volumes and related totals. An integrable system in mathematics or physics is a system of partial differential equations whose behavior can be expressed in some sense in terms of an integral and its initial conditions.

There are various integrability conditions for differential systems. In the general theory ...

(I don't think it's perfect, but maybe it can be a step towards consensus?) --JBL (talk) 22:55, 12 June 2018 (UTC)
I have restored the tag since I wasn't sure my version was accessible enough. -- Taku (talk) 23:23, 12 June 2018 (UTC)
About "do other editors think it is necessary", the right question is not whether it is necessary but whether it is a good idea. I found it jarring at first, because I mostly read mathematics written for other professional mathematicians. But after thinking about it for a few minutes, I decided that it made it a realistic possibility for one paragraph of this article to be understandable by someone who does not know beyond high school mathematics. And that seems like a good thing to me. (I imagine that once a few more WT:WPM editors weigh in, it will be made incomprehensible again.) --JBL (talk) 23:23, 12 June 2018 (UTC)
I like the second sentence in JBL's proposed intro above much better than the second sentence in the current version ("An integrable system in mathematics or physics is one which uses this process"). XOR'easter (talk) 23:39, 12 June 2018 (UTC)

For the sake of discussion, here is the version I proposed (it's not original and is a variant of D. Lazard's):
• I still maintain that not having a link to "integrability condition" article is a serious omission, since integral refers specifically to that not integration.
• I also think this version has more precision/accuracy (e.g., "in terms of an integral and its initial conditions" is too vague).
-- Taku (talk) 23:53, 12 June 2018 (UTC)
I'm not opposed to including that link. But I would want to preserve my efforts at accessibility of the lede while including it. A question: In reference to differential equations, does "integrable" refer to the act of "integration"? DonFB (talk) 00:04, 13 June 2018 (UTC)
No "integeal" comes from the integrality condition" of a differential system; an integral system is a fancy version of a differential equation that is integrable; i.e., one can solve it by integration. -- Taku (talk) 00:08, 13 June 2018 (UTC)
For example, in the #Too technical above, when the poster is saying "... ie, their Poisson brackets separately vanish.", they is referring to the integrality condition; i.e., the vanishing of the bracket. This is why the link to "integrablity" is more precise (thus??? preferable). -- Taku (talk) 00:40, 13 June 2018 (UTC)
I think "the remainder of the article remains all but "incomprehensible"," is a correct assessment and putting the tag is correct; Wikipedia articles are not perfect! The article need some to discuss a sort of the basic case mentioned in the above thread. Incidentally the article also lacks some (moderately) advanced stuff like Hitch's integrable system; this is an omission that is not acceptable, given its importance in algebraic geometry. -- Taku (talk) 01:01, 13 June 2018 (UTC)

Point of order. The subject of this article is not "integration". It is "integrable system". These are special types of dynamical systems. Packing the lead with irrelevant things about calculus and computing areas and volumes has nothing to do with the subject of this article. To improve the lead of the article, go and get a textbook on integrable systems and see what it says. Sławomir Biały (talk) 01:22, 13 June 2018 (UTC)

That's basically what I was trying to say, but don't you think having a link to integrability conditions for differential systems is necessary, since "integrable" really comes from there. I don't have a strong opinion on the other wordings. -- Taku (talk) 02:08, 13 June 2018 (UTC)
Taku, you keep banging on about that link; have you noticed that it is included in my proposal? (In a direct way, unlike the easter egg in the present version.) --JBL (talk) 02:11, 13 June 2018 (UTC)
Yes in your proposal but not in the version put by DonFB or the old one. -- Taku (talk) 02:12, 13 June 2018 (UTC)
On a second reading of JBL's proposal, I still like the "An integrable system in mathematics or physics" sentence, but the jump from areas and volumes to that is jarring. I don't think I'd make the mental connection without already knowing the subject matter. XOR'easter (talk) 03:03, 13 June 2018 (UTC)
I think that proposed sentence isn't quite right; "in terms of an integral and initial conditions" is potentially misleading; an integrable system isn't like say Cauchy's integral formula that expresses a complex function in terms of an integral. An integrable system is a differentiable system satisfying some integrability conditions (that's what I remember from school) and saying anything else is misleading in my opinion, if accessible. If the readers misunderstand the concept, that's not making the article accessible (but making it inaccurate). -- Taku (talk) 03:58, 13 June 2018 (UTC)

My rudimentary understanding that integrable means amenable to "integration", which in turn means summing a series of really small values to produce a number which can represent things like area or volume, may be incorrect. I am certainly open to correction by people who possess serious education in the subject. In that regard, I must respectfully disagree with Taku, who wrote on the Math Project Talk page in reference to this article that "A problem can exist without a solution." That's certainly been true in the history of mathematics, but expressing ourselves in plain English is not an insurmountable problem. I am not campaigning to change the body of the article, which is quite technical. As the guidelines I referenced explain, the technical details belong in the body, but the lede should be comprehensible to everyone. I recognize, of course, that this is hardly the only article on Wikipedia that suffers from the problem I'm describing. A final question: in your own words (whoever wishes to respond), and without resorting to any technical terminology or repeating the very word to be defined, or using a word similar to it (which the lede now does twice), what is your definition of Integrable? DonFB (talk) 05:20, 13 June 2018 (UTC)

I think that the effort to bridge the gap between precalculus and integrable systems by starting with the summation of infinitesimally small chunks is vain. I suggest to explain that integration is not only a term used in calculus, but also refers to solving differential equations, which is of course related, but already quite distant from the term as introduced in calculus. Mentioning the fact that systems of partial differential equation enormously add to these distance, might allow to justify the introduction of the term integrable as qualifying these systems as such, if their solution is theoretically accessible under specific (boundary) conditions.
I arrogate to understand DonFB's wishes, and support JBL's target of accessibility, but I also think that Taku has a point when warning from fake explanations (as I see the summing of infinitesimals). Perhaps I can make my point of view clearer by suggesting for the intro a not too big number of roughly equidistant steps from "integration in calculus" to "integrable systems". To my perception stating that "DEQs are integrated" is a central but missing statement for beginners. Relying solely on textbooks (Sławomir Biały) might be in vain for this purpose, too. Purgy (talk) 09:15, 13 June 2018 (UTC)
Changes to the lead aimed at making the subject clearer, actually should clarify the subject. The subject is not integral, but is integrable system, which is only distantly connected with the notion of "integral" from calculus (see below). It would be something like beginning the article integral with a sentence like "Addition is something that one can do with numbers." That's true, and is distantly connected to integration, but is not really helpful in conveying what integration is. Especially not for the first sentence, where one normally expects a statement of what the topic is. The essence of integrable systems is that they are determined from initial conditions, not that they involve infinitesimal calculus. (In fact, all continuous dynamical systems involve calculus.) I don't wish to defend the current article, since it actually is incomprehensible. But reliable sources should dictate the focus and content. Writing an encyclopedia article without understanding the topic, and without using any external sources is not a good idea, for reasons that are hopefully obvious. That was why I suggested getting a textbook on the subject. That should more or less dictate how we approach the subject. Sławomir Biały (talk) 10:40, 13 June 2018 (UTC)
I want to make explicitely clear that my remark about textbooks was in no way doubting the principle of reliable sourcing. I just wanted to express my skepticism about the existence of accessible first sentences in textbooks about integrable systems. Purgy (talk) 10:51, 13 June 2018 (UTC)
Sure. But I think that also imposes limitations on what is achievable within the constraints of Wikipedia. Sławomir Biały (talk) 10:56, 13 June 2018 (UTC)

## Integration: integrable vs. integral

In the preceding discussion and in some versions of the lead, it seems that there is some confusion between integral and integrable. For this reason, I have added a hatnote to the article, and removed the link to integral.

In fact, here, integration and integrable have nothing to do with integral: in the jargon of differential equations, "integrating" means "solving from given initial conditions". This should be said somewhere in Wikipedia, but I have not found where.

Thinking again to the problem, I'll add a footnote to the article, and an entry in Integration (disambiguation). D.Lazard (talk) 09:46, 13 June 2018 (UTC)

I have also edited Integration (disambiguation) for disambiguating between these two notions of integration. D.Lazard (talk) 19:52, 13 June 2018 (UTC)

## Incomprehensibility

In my judgement the lead is massively improved in readability, but it is decisive for removing the relevant banner, if the article is now perceived also by others as sufficiently accessible, resp., if there are still wordings suggested for an urgent improvement. I take the freedom to ping @DonFB:. Purgy (talk) 07:22, 14 June 2018 (UTC)

I don't oppose removal of the Incomprehensible tag, which I added in the first place. Parts of the article remain incomprehensible to me, but I'm not a mathematician. DonFB (talk) 07:26, 14 June 2018 (UTC)
I think the tag is still appropriate, for what it's worth. The lead might be comprehensible (but at the expense of not really saying much), but the article itself is pretty incomprehensible. Sławomir Biały (talk) 10:26, 14 June 2018 (UTC)
Small strengthening: The first paragraph of the lead might be comprehensible (but at the expense of not really saying much), but the article itself is pretty incomprehensible, even for an experimented mathematician. D.Lazard (talk) 10:51, 14 June 2018 (UTC)
Moreover, the linked articles do not help understanding, because they suffer from the same issues. D.Lazard (talk) 10:55, 14 June 2018 (UTC)

## Basic questions

This is related to the above comprehensive tag conversation but it would help if the article answers the following type of questions

• A spinning top an integrable system? (yes?) If so, can we give some details in the manner of say group?
• Is an integrable system a dynamical system? I thought a dynamical system is modeled by ODE. Perhaps the distinction is not important...
• What does the phrase like "so so is integrable via a theta function" mean. I think it basically mean some the theta solves the system. It would be nice if the article can clarify this type of the phrase.
• Relation to "Integrability conditions for differential systems" (in the lede). My understanding is stuff liken vanishing of the Poisson bracket expresses the integrablity conditions on a system of differential equations (cf. #Too technical above.)

-- Taku (talk) 23:38, 17 June 2018 (UTC)