|WikiProject Mathematics||(Rated C-class, Mid-importance)|
|This is the talk page for discussing improvements to the Legendre transformation article.
This is not a forum for general discussion of the article's subject.
- 1 Abrupt beginning
- 2 Huh?
- 3 Possible copyright problem
- 4 Possible clarifications/improvements
- 5 Convex conjugation
- 6 Fenchel duality
- 7 Name for this property?
- 8 application of Legendre Transform in thermodynamics
- 9 History
- 10 Inverse of itself?
- 11 Suggestion for clearer lead
- 12 Non-standard Legendre transformation?
- 13 Misleading picture?
- 14 Archive the talk page?
- 15 Behaviour under linear transformations
- 16 Problems with the definition of the sets I* and X*
- 17 Animation
The abrupt way this article begins with no context-setting and no clear definition should grate upon the sensibilities of thoughtful people. Those who know this topic, please de-stubbify. Michael Hardy 22:13, 4 Feb 2004 (UTC)
- Yes! Wikipedia is not just for mathematicians. The first sentence really is a joke, with som many references to other concepts. Rbakels (talk) 21:47, 19 April 2014 (UTC)
This is absolutely useless as explanation of Legendre transformation. It's not even a definition, let alone explanation.
- I'm inclined to agree. I don't know the subject, but I know enough to know that whoever wrote this did not write clearly. <POV> Physicists often seem opposed to writing clearly about mathematics; they prefer a touchy-feely style. </POV> Could the author of the above identify "themself"? Thanks. Michael Hardy 22:14, 10 Sep 2004 (UTC)
- <POV>Mathematicians often write like Bourbaki and write incomprehensible abstract stuff at a far higher level of abstraction and generality than needed for practical applications and are ever ready to criticize physicists for being "nonrigorous" and "intuitive".</POV>—the preceding unsigned comment is by Tweet Tweet (talk • contribs) 06:53, 12 November 2004 (UTC1)
- <POV> Mathematicians sometimes write in more generality than is needed for a particular application, but greater abstraction can help make many things clearer and illuminate similarities between different subjects (e.g. the Hamiltonian's use in both classical and quantum mechanics). If mathematicians claim that physicists are not rigorous, it is only because they make statements that are not necessarily clear and obvious or not necessarily true. That said, there is usually compelling reason to give both clear and precise mathematical definitions and explanations/examples to illustrate what the definitions mean. </POV> 126.96.36.199 06:15, 12 June 2007 (UTC)
- I have a degree in physics, a phd in maths, I teach mathematical physics, and I never have terrible discussions with myself! I think that the definition is a bit poor, and puts too emphasis on the differentiable case. As a clarifying example, see below, the issue [Inverse of itself], and my answer. Esagherardo (talk) 07:51, 21 February 2013 (UTC)
The discussion above not withstanding, the definition given in the main article is no good. It is not exemplified well, and not explained. I have read the entire article twice and did not understand it, then I went and read the definitions by wolfram math and in other place - all of them were easily understandable and non of them had any clear connection to the definition given here. Since I made myself a Wikipedia crush course on C* algebra, and on Riemannian pseudo manifolds, and have had no problem in understanding all the relevant complicated definitions, it is quite obvious to me that this article does not stand up to Wikipedia's standard of clarity, and it should be revised. Note also that Le-genders transformation is a simple tool and not everyone who uses it or look it up in Wikipedia is an expert. — Preceding unsigned comment added by 188.8.131.52 (talk) 09:53, 3 September 2014 (UTC)
- Please sign your posts. You might try starting from section 4, and working out the examples of section 3. Is the Zia et al article cited better for you? What exactly are you proposing beyond making faces and talking about yourself? Cuzkatzimhut (talk) 11:33, 3 September 2014 (UTC)
Possible copyright problem
The exposition quite closely follows the reference Rockafellar. I hope this is not a copyright problem. —the preceding unsigned comment is by 184.108.40.206 (talk • contribs) 09:26, 31 October 2005 (UTC1)
What does this mean:
I'm new to all this stuff here. To editing wikipedia as well as of Legendre transformation. But I think this article contains much information -- compared with the german, italian or slovenian page. To clarify it, one should perhaps begin with:
- Given are two open subsets U and V of Rn and two real-valued differentiable functions f and g such that the first derivative Df is a bijection (one-to-one correspondence) U→V and Dg is a bijection V→U.
- Then, f and g are said to be Legendre transforms of each other if
This can still be clarified by explaining how Df must be interpreted as a function U→V, if this is necessary: if x = (x1, ..., xn) is in U and y = (y1, ..., yn), then y = Df(x) means:
In the following lines, I would replace the confusing expression
In the german article it is said that the Legendre transforms is a special case of the "Berührungstransformation". I don't know what this is, it is not explained in further details. But perhaps "Berührungstransformation" means: Only the condition holds?
I hope, my suggestions are not too confusing.
-- Mathias Michaelis 12:30, 2005 Oct 25 (MET)
The english term for Berührungstransformation would be contact transformation or contactomorphism, which denotes mappings between manifolds that preserve contact structures. Okay, that probably is not too helpful... Maybe a quick look at contact geometry or the page about contact manifolds at PlanetMath helps. That being said: be bold! What you described above would certainly increase the value of this entry. —Tobias Bergemann 09:54, 23 November 2005 (UTC)
What happens whenever Legendre transform is zero?..then most of the properties here couldn't e applied and
would make no sense. --220.127.116.11 12:19, 13 November 2006 (UTC)
- The Legendre transform only applies to convex functions . f(x)=0 is not convex. PAR 17:23, 13 November 2006 (UTC)
- The last comment is completely wrong! Only weak convexity is required, and it also very important in applications that it is so. For example in thermodynamics phase transitions in correspond to flat parts of graphs of weakly convex potentials, see the introduction by Wightmann to Israel's book on Lattice's gas. See [Inverse of itself] Esagherardo (talk) 08:03, 21 February 2013 (UTC)
There is a relationship between the Fourier transform of phases (functions that take values on the complex unit circle) that involves the Legendre transform, I heard about it but never found a reference where the relation is stated clearly. Does anybody know where to find about it or add a small section on it if the formulation is simple? [June 2008]
Should the section on convex conjugates be moved to a separate page? -- Tobias Bergemann 10:54, 2004 Nov 4 (UTC)
Among other things, Fenchel's theorem, Fenchel's duality theorem and Fenchel duality were redirected to Legendre transformation. However, I don't remember this page ever having any content about Fenchel duality. Did this content somehow get lost in the wiki history of this page? —Tobias Bergemann 09:35, 23 November 2005 (UTC)
- Fenchel was the first who gave a mathematically rigorous treatment of Légendre transforms of functions of many variables. Since however this topic was already known as Légendre transformations, the redirect is correct. Esagherardo (talk) —Preceding undated comment added 08:36, 21 February 2013 (UTC)
Name for this property?
Does anybody know how the property
application of Legendre Transform in thermodynamics
The very idea that ENTHALPY H could be something as a Legendre Transform of the internal energy U is without any scientific evidence. The function (U+pV) was introduced by Rankine in 1854, and named ENTHALPY in 1922. Only in 1960 Callen and Tiszla formulated the hypothesis that enthalpy could be viewed as a Legendre Transform : before that enthalpy was a simple energy-variable ("heat-content at constant pressure"). Any-one interested can get a file with more info on this. —the preceding unsigned comment is by Smannaerts (talk • contribs) 22:28, 4 January 2006 (UTC1)
- The idea that enthalpy is a Legendre transform of the internal energy is a mathematically provable fact. Callen and Tiszla did not hypothesize, they recognized that this is true. PAR 05:53, 7 November 2006 (UTC)
Inverse of itself?
For a convex differentiable function, I can believe that the Legendre transformation is its own inverse, but it appears that the transformation might not be its own inverse in some other cases. For instance, for , we get . I don't see how applying the Legendre transformation to can possibly get us back to . Shouldn't this be clarified in the article?
A more physical example would be the Hamiltonian for a free photon:
It's Lagrangian would be
- No, its Légendre transformation is not 0. It is 1. And it is selfdual!
- OK, I should be the right person for disentangling the mathematicians/physicists issue, since I am a mathematical physicists! The point is that the definition is incomplete. One has to specify the convex domain where the function is defined; the Légendre transform does not depend only on the function, but also on the shape of the domain. The Légendre transform of is different if it is defined on the line or on an interval. This should be made clear in the definition. Also, much emphasis is put on the differentiable case, which is misleading; although it is true that most important examples are differentiable, it misleads the reader to do wrong computations.
- If is defined on the convex set and convex, then is defined on which is the set of values of : for which is upper-bounded on .
- This makes a lot of a difference. Take for example on . Then is upper-bounded on if and only if , so , but you must record that it is defined on . Hence it is clear that : in fact, is trivially bounded as a function of on for every , and its maximum is . We thus have on . I do not know if such an example should go on a Wikipedia page, but it speaks for making the definition more precise.
- Note that by construction is always continuous and is always closed, hence it is impossible that always. For example take the function of which is 1 on and zero in . It does not fulfil . Indeed, convexity implies continuity in open sets, but not on bundaries. The Légendre transform is involutive only if the (convex) domain of the function is closed, and the function is continuous on the boundary of its domain.
- (P.S. It would be nice to correctly spell the name of Légendre, which carries an accent.)
- Ops... apparently you are right. Sorry, and thanks for undoing. Esagherardo (talk) 19:04, 19 March 2013 (UTC)
Suggestion for clearer lead
Wouldn't it be clearer if the lead started out with the case of a convex differentiable function? Then instead of this sup stuff, which normal mortals don't handle well, you could just say, "The Legendre transform of a differentiable convex function is the integral of the inverse of its derivative, up to an additive constant. For other functions it may be defined as ..." and give the more general definition.
The point of differentiability is to make the first step defined, and the point of convexity is to make the second step defined by ensuring that the derivative is strictly monotone whence it has an inverse (meaning that the converse of the function as a binary relation is itself a function).
This definition makes it pretty obvious that the Legendre transform is an involution.
On second thoughts strict convexity only ensures injectivity of the derivative, whose converse is in general only a partial function. So even in the simple one-dimensional case the object being transformed should be specified as f: A → B where A and B are real intervals, in order to speak of f as a (total) function. --Vaughan Pratt (talk) 13:07, 16 October 2011 (UTC)
- The differentiable definition only works for strictly convex functions, while it is important, also for applications, that it is defined on weakly convex functions (e.g. to handle phase transitions in thermodynamics). With the sup definition, which is very easy to handle for normal mortals, this is granted, provided that the definition is complemented with the specification of domains. See the worked out example in my answer to [Inverse of itself] here below. Esagherardo (talk) 08:33, 21 February 2013 (UTC)
Non-standard Legendre transformation?
I see that in some sections of the article, particularly when it speaks about functions of more than one variable (which is the example of thermodynamic potentials and the Hamiltonian), the Legendre transformation is mentioned as "non-standard". Can anyone explain in which sense it is non-standard, or make any reference? — Preceding unsigned comment added by 18.104.22.168 (talk) 09:15, 13 November 2011 (UTC)
I think the picture is a bit misleading. The derivative of the concave up function f(x) should show up in the negative region of the graph while f(x) is decreasing, no? Without that being shown in the picture, it is a bit misleading. If anyone else agrees, I'll try to post a different picture. Sean Egan (talk) 21:10, 10 October 2013 (UTC)
- I can't imagine what bothers you, but the picture is 100% correct. If you had your better picture posted here in the talk page, maybe we could discuss it? The picture chooses one arbitrary positive p and produces f*(p) for it. I don't see why a negative slope y=px would help you much. Note f*(p) itself is not plotted: it is the positive segment between the two parallels intersecting the y-axis. Maybe you want to try your idea on Convex conjugate first. Maybe you want to choose f(x)=exp x , instead, as exemplified later in the article? But, "first do no damage"..... Cuzkatzimhut (talk) 00:09, 11 October 2013 (UTC)
Archive the talk page?
The talk page has posts from almost a decade ago. Would anyone be opposed to archiving old posts, say, created before 2010? Sean Egan (talk) 21:11, 10 October 2013 (UTC)
- What's the harm? They are so few. Why invite newcomers to rediscover older confusions for themselves? Cuzkatzimhut (talk) 00:11, 11 October 2013 (UTC)
Behaviour under linear transformations
- Let A be a linear transformation from Rn to Rm. For any convex function f on Rn, one has
- where A* is the adjoint operator of A
Ah! The definition of is on the convex conjugate page. It's the push-forward of along .
Problems with the definition of the sets I* and X*
is not well defined, as it is nowhere stated if I* ⊂ R or I* ⊂ C or even I* ⊂ N. Of course, X* has the same problem:
A fix would be for example:
In case someone likes an animation: http://www.annevanrossum.com/blog/2015/08/08/legendre-transform/ Anne van Rossum (talk) — Preceding undated comment added 21:39, 8 August 2015 (UTC)