View source for Talk:Catenary

{{ArticleHistory
|action1=GAN
|action1date=14:33, 20 January 2012
|action1link=Talk:Catenary/GA1
|action1result=not listed
|action1oldid=472257319
|currentstatus=FGAN
|topic=math
}}
{{WikiProject banner shell|class=B|vital=yes|1=
{{WikiProject Technology}}
{{WikiProject Mathematics|importance=mid}}
}}

== [[/Archive_1|Archive 1]] ==
Old posts are archived [[/Archive_1|here]].
[[User:Phancy Physicist|Phancy Physicist]] ([[User talk:Phancy Physicist|talk]]) 05:05, 4 August 2010 (UTC)

==Gaudi, derivation by forces==
This problem has been open for quite a well, but I checked my father's guide book from when we visited Barcelona (there's a fair section on Gaudi), and there is a very famous story of him hanging ropes and measuring the distances to produce the curves shown. As you probably know, that produces a catenary.


Derivation by forces: Suppose ''A'' to be the gravitation acceleration vector, &lambda; the linear density, ''T'' to be the tension, &phi; to be the tangent angle, and ''s'' to be the arc length. Then
:<math>-A\lambda=\frac d{ds}(\cos\phi,\sin\phi)T</math>
Assuming ''A''&lambda;=(0,-1) we get
:<math>(0,1)=(\cos\phi,\sin\phi)\frac{dT}{ds}+(-\sin\phi,\cos\phi)T\frac{d\phi}{ds}</math>
:<math>\frac{dT}{ds}=\begin{vmatrix}0&-T\sin\phi\\ 1&T\cos\phi\end{vmatrix}/
\begin{vmatrix}\cos\phi&-T\sin\phi\\ \sin\phi&T\cos\phi\end{vmatrix}=\sin\phi</math>
:<math>\frac{d\phi}{ds}=\begin{vmatrix}\cos\phi&0\\ \sin\phi&1\end{vmatrix}/
\begin{vmatrix}\cos\phi&-T\sin\phi\\ \sin\phi&T\cos\phi\end{vmatrix}=\frac{\cos\phi}T</math>
:<math>\frac{dT}{d\phi}=\frac{dT/ds}{d\phi/ds}=T\tan\phi</math>
:<math>kT=\sec\phi</math> (''k'' arbitrary)
:<math>\frac{d\phi}{ds}=k\cos^2\phi</math>
:<math>\tan\phi=C+ks</math> (''C'' arbitrary)
which is a known [[Whewell equation]]. (Got a suggestion how to bridge that? I think it'll convert into the y' DE that follows...)

:PS: that last eq'n is sort of obvious; one can handwave that the horizontal component of tension is constant and the vertical obviously has to equal the weight which is proportional to arc length. And that's probably how Bubbaloo first did it. But it's nice to know the top, general eq'n (''eg'' if you're doing the [http://www.mathcurve.com/courbes2d/cordeasauter/cordeasauter.shtml skipping rope] sometimes used for vertical wind turbines, or the [http://www.mathcurve.com/courbes2d/chainettedegaleresistance/chainettedegaleresistance.shtml constant-strain catenary]...It'd've saved me hours on another tinker, a chain hanging in a plane rotating on a vertical axis.) [[User:142.177.169.142|142.177.169.142]] 03:37, 18 Aug 2004 (UTC)

:Duh. Converting that to (x,y) is easy. Roughly:
::<math>\cos^2\phi=1/(1+\tan^2\phi)</math> &nbsp; <math>dx/ds=1/\sqrt{1+s^2}</math> &nbsp; <math>x=\mbox{arcsinh}s</math>
::<math>\sin^2\phi=\tan^2\phi/(1+\tan^2\phi)</math> &nbsp; <math>dy/ds=s/\sqrt{1+s^2}</math> &nbsp; <math>y=\sqrt{1+s^2}</math>
::<math>y=\sqrt{1+\sinh^2x}=\cosh x</math>
: [[User:142.177.169.142|142.177.169.142]] 04:42, 18 Aug 2004 (UTC)

Derivation by minimal energy: Minimise <math>\int U\lambda ds</math> where ''U'' is the gravitational potential, &lambda; the linear density, and ''s'' the arc length. Assume ''U''&lambda;=''y'', let ' denote ''d/dx'', and change variables
:minimise <math>\int y\sqrt{1+y'^2}dx</math>
The Euler characteristic <math>\frac{\partial I}{\partial y}=\frac d{dx}\frac{\partial I}{\partial y'}</math> gives
:<math>\sqrt{1+y'^2}=\frac d{dx}\frac{yy'}{\sqrt{1+y'^2}}</math>
:<math>1+y'^2=y'^2+yy''-\frac{yy'^2y''}{1+y'^2}</math>
:<math>1+y'^2=yy''</math>
which is satisfied by <math>y=\cosh x</math> (Got a suggestion how to bridge that magic?) [[User:142.177.169.142|142.177.169.142]] 23:26, 17 Aug 2004 (UTC)

:S'pose one could do the usual guessing until <math>y=ae^{\alpha x}+be^{\beta x}</math> comes up. Then <math>\alpha+\beta=0</math> and <math>ab(\alpha-\beta)^2=1</math> which gives <math>y=\cosh(\alpha x+\ln(2a\alpha))/\alpha</math>. Vertical translations require adding a constant to the potential (!). [[User:142.177.24.163|142.177.24.163]] 14:19, 18 Aug 2004 (UTC)

----

== Gaudi's Casa Mila ==

Gaudi's arches are described in this article as catenaries--which may well be true. However, they are also used (in fact, an identical photograph of them is used) in the article entitled "Parabola" sn an example of THAT shape, which unfortunately means that one of these claims must be wrong. Anybody know the answer? (I'm leaving basically this exact post on the discussion page of that other article, in the hope that someone will more likely come across this issue and clear it up.) --Buck

Read the first paragraph again for the first time:  The author asserts that the parabola and the catenary look similar but have different mathematical formulas.[[User:StevenTorrey|StevenTorrey]] ([[User talk:StevenTorrey|talk]]) 17:46, 5 September 2011 (UTC)

The article on Gaudi states he was fascinated by paraboloids and parabolic arches. That article also identifies the arches as parabolic. It would seem that the arches probably are parabolic. Either that or that article should be disputed as well.

: I've been to Barcelona and seen the stringed contraptions he used to design the buildings. Since they are always three dimentionally curved I would presume that none of the arches are exact catenaries or exact parabolas. Maybe we should precede each mention with "approximate"

:The photo mentioned below doesn't appear in the Parabola article anymore. I guess thats a good thing . . . [[User:Lansey|Lansey]] ([[User talk:Lansey|talk]]) 23:44, 24 November 2007 (UTC)

*The foto used in the Parabloa article is named "parabola", and in the description is said to be describing catenarys. The confusion seems to be total: anybody has access to a real book about Gaudi?[[User:Mossig|Mossig]] 16:12, 30 November 2006 (UTC)

::I found a reference that the arches are centenaries and added it to the image caption.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 20:07, 5 August 2009 (UTC)

Did you mean 'centenaries' or 'catenaries'?  In the dictionary, I find no definition of 'centenary' related to suspension cables.  Please, let's not confuse people more than necessary!  The mistake can be corrected by the author.[[User:StevenTorrey|StevenTorrey]] ([[User talk:StevenTorrey|talk]]) 17:46, 5 September 2011 (UTC)
:I meant 'catenaries', slight case of dyslexia.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 18:39, 5 September 2011 (UTC)

== Towed cables - clarification needed ==

The section about towed cables could perhaps become a separate article.

The subject of the section must be properly introduced. Does it talk about a cable being towed from one end? From both ends? A cable that floats on a water surface and is towed from one end, assumes a straight line. A cable hanging down from a boat in motion, or from a tower in wind, is a different scenario. Please tell the reader what she should have in mind when reading.

What is "the incident angle"? The angle between the tension forces and the drag forces at a given point of the cable?  The direction of a water or air flow with respect to the orientation of a section of the cable?  Without a stated scenario, it is hard to know.  It should be said explicitly if we are talkning about quantities at a point on the cable, or about quantities defined for the whole cable.

So a critical angle is one that does not change?  Does not change along the cable? Does not change with time?  I do not understand what this is.  Under what conditions does this fenomenon arise?  "Far from significant point forces" does not cut it for me.  Most hanging cables are subject to point forces only at the ends, towed or not. What angle does not change for most of the length of such cables?  What shape does a cable assume when it hangs in steady wind with one free end?  A straight line?  A straight line only if the the ratio of drag forces to weight satisfies some condition? This is not obvious.

g=9.81m/s^2 - sounds like the accelleration of gravity?

And 'a', what does this letter stand for in the equations? Accelleration? So the equation is a dynamic one?  Perhaps I could infer that from the equation for dT/ds, since this becomes zero if 'a' is zero.  But then I must first figure out what 's' is, which is the next question.  But even if 's' is 'slope', is it reasonable that dT/ds be zero in absense of accelleration? I don't know.

"'s' is the cable scope". Slope, perhaps? 

It would probably be a good idea to state explicity what coordinate system is being used. The x axis horizontal, the y axis vertical, and the cable lying in the x-y plane? Gravity acting in the negative y direction, etc.  What about a cable suspended horizontally and subject to a horizontal wind or water flow perpendicular to the line through the ends?  Such a cable would lie in a non-vertical plane.  

This brings up the question, if 's' is 'slope', what slope?  Assume a coordinate system O-xyz, with z pointing up, and the ends having y=0. The midle of the cable can have non-zero 'y' coordinates. <math>dz/\sqrt{dx^2+dy^2}</math> is one possible slope.

Regards, [[User:PerezTerron|PerezTerron]] 21:11, 14 December 2006 (UTC)

== Physics of the Catenary ==

Maybe someone who understands it could explain how <math>a \cdot {\cosh \left ({x \over a} \right )}</math> comes from the mass of a hanging chain.  The less mass causing less of a curve makes sense, but the derivation of the expression would be nice.

[[User:Dmbrown00|Dmbrown00]] 03:40, 15 December 2006 (UTC)

If the mass is uniformly distributed then it doesn't affect the shape. A light string and a massive chain will follow the same curve if they are the same length and assumed to have no stretch and no stiffness.
[[User:Nophead|Nophead]] ([[User talk:Nophead|talk]]) 14:32, 16 September 2020 (UTC)
=== Explanation ===

It depends on what maths you want to use.  You can't avoid calculus on this, and usually it is done via undergraduate [[ordinary differential equation]]s.  However, it is possible to do it just using standard integral calculus, with a bit of knowledge / intuition of how [[parametric curve]]s work.  (This intuition is usually informed by physics, so we are OK here.)  Here goes:
# Assumptions: Suppose the chain has linear density ρ and that the tension at the lowest point is τ.
# Parameterisation: Suppose curve is described parametrically as (x(t),y(t)), where t is the distance from the lowest point.  Since t is the distance along the curve (i.e. (x(t),y(t)) moves along the curve with "constant speed" wrt t) we have that (x'(t),y'(t)) is a unit vector.  So we have:
#*(x'(t))<sup>2</sup> + (y'(t))<sup>2</sup> = 1
#*(x'(t),y'(t)) is a tangent vector to the curve.  No harm in assuming x'(t)≥0 and y'(t)≥0.
# Tension: Between the lowest point, where the tension vector is (τ,0), and another point (x(t),y(t)) is chain of length t, mass ρt, which is subject to vertical gravitational force ρgt.  By resolving three vectors,
#* the tension vector at (x(t),y(t)) is (τ,ρgt)
# Flexibility: since the chain is perfectly flexible at (x(t),y(t)), the tension vector (τ,ρgt) is aligned with tangent vector (x'(t),y'(t)).  Hence
#* y'(t) / x'(t) = ρgt / τ, so y'(t) =  t x'(t) / a
#* Here a = τ / ρg is a constant, which you can interpret as some sort of relative horizontal tension.
# Combining equations: 1 = (x'(t))<sup>2</sup> + (y'(t))<sup>2</sup> = (x'(t))<sup>2</sup> + ( t x'(t) / a )<sup>2</sup> = ( 1 + t<sup>2</sup> / a<sup>2</sup> ) (x'(t))<sup>2</sup>.
# Solve for x'(t) and y'(t):
#* x'(t) = 1 / ( 1 + t<sup>2</sup> / a<sup>2</sup> )<sup>1/2</sup>
#* y'(t) = t x'(t) / a = t / ( a<sup>2</sup> + t<sup>2</sup> )<sup>1/2</sup>
# Integrate to find x(t) and y(t):
#* x(t) = a sinh<sup>-1</sup>(t/a) + C.   (From a [[List of integrals of irrational functions|standard table of integrals]].)  Assuming x(0)=0 gives C=0. 
#* y(t) = ( a<sup>2</sup> + t<sup>2</sup> )<sup>1/2</sup> + K.  (Using [[integration by substitution]].) Since the height y(0) is arbitrary, we may as well use K=0.
# Eliminate t: t = a sinh( x / a ) and so y = a cosh ( x / a )
Voila! [[User:AndrewKepert|Andrew Kepert]] 10:30, 4 November 2007 (UTC)

== Who discovered the equation? ==

The 1911 Encyclopedia Britannica says the equation was found by James Bernoulli in 1691. However the MacTutor History of Mathematics archive has the same year but says the equation of the curve was found by Leibniz, Huygens and Johann Bernoulli (James' brother) responding to a challenge by Jacob (=James) Bernoulli.

Is there any way to resolve this? Until it is I vote for applying the maxim, "When in doubt, be vague," and just list all the names without trying to assign credit to who did it first.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 15:20, 12 September 2008 (UTC)

== Artistic and Practical Applications of Approximate Catenary Curves==

The caternary curve, in addition to being a mathematical topic is also a practical one. As can be seen by the architectural examples, some forms of the curve, or near visual approximations to it, have an aesthetic appeal ( and engineering properties ) that has been used in a number of areas by designers and artists.

The hang of chain necklace around the wearer's neck approximates a catenary curve (see the initial diagram in the article), and is a matter of aesthetic interest to jewelry designers. One wonders how the better designs are created -- whether it is on the basis of sketching from life or imagination, or from more explicit knowledge of the mathematics of caternaries. The aim here is to elucidate whether mathematical training in this area might improve designs.

Recently, at least one mechanical igloo making device, the "Icebox" [see: http://www.grandshelters.com/icebox-design.html] claims to employ a catenary curve section for the snow shelter constructed, it is reported for the strength of this form, but probably also for its aesthetic. It would be interesting to examine the mechanical device involved (which I have not seen) in relation to the mathematics of the article. It actually constructs a shell structure representing a 360 degree rotation of the curve (of course with entrances, etc.-- technically I suppose it is a 180 degree rotation of the full curve, 360 degrees for the half profile). My impression is that this may be a different curve than that found in traditional, more hemispherical, arctic igloos which employ wind compacted and sintered snow, but possibly one more suitable for the hand packed snow used in this case, which would be found at lower latitudes in loose condition and becomes packed on stuffing into the device's form -- not that this tidbit is particularly germane to the article...comes from living in Canada and building snow forts and shelters as a child. 

Is there room for strengthening the article in this direction a little, or perhaps starting a parallel article on the catenary curve in design and architecture? More on Gaudi's use of ropes to do his designing would be interesting.

--[[User:FurnaldHall|FurnaldHall]] ([[User talk:FurnaldHall|talk]]) 11:27, 12 December 2008 (UTC)

== Any info about catenary domes? ==

I have seen the idea of building a [[dome]] using the same idea as when constructing [[arch]]es, namely using a catenary form (though the equation would become different because a dome is 2-dimensional while an arch is 1-dimensional), see [http://hexdome.com/essays/catenary_domes/index.php Hexagonal Geodesic Domes - Catenary Domes]. I was wondering if this is a good idea and if it could improve the stability of a dome much? Or is a dome in general already stable as it is, thanks to it's [[mean curvature]]? --[[User:Kri|Kri]] ([[User talk:Kri|talk]]) 19:26, 27 January 2009 (UTC)

:I've tried looking this up but can't find a lot of material. As near as I can tell, with a dome each element is subject not only to the forces of the elements immediately above and below it as in the arch, but the elements to either side. The net effect of the side elements is a horizontal force that can vary to balance out the other forces involved. The upshot is that, as long as certain inequalities are met to keep the horizontal forces pointing inward, there is a lot more possible variation the shape possible.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 22:06, 21 June 2009 (UTC)

== Problems with Towed cables section, class promotion ==
My feeling is that this article is nearly ready to be promoted to B+ class but the Towed cable section is standing in the way of this. The problems with this section are outlined in a previous comment. I'm currently working on a more mathematical version of the section which uses more familiar terminology and idealizes the physics (ignoring gravity and tangential drag) so that it becomes possible to find a closed form equation for the curve. From what I can find, towed cables are a well-studied engineering topic which is sufficiently notable for a separate article. But such an article should be located on the [[Portal:Engineering|Engineering portal]] and not here.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 18:35, 5 August 2009 (UTC)
:The new version of the section is done. I also added Towed cable to the requests for new articles.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 15:14, 8 August 2009 (UTC)

== Elastic Catenary ==

After looking at the equation relating mass density at a point to the unstretched mass density,
<math>\lambda = \frac{\lambda_0}{1+\epsilon T}</math>
I believe it to be incorrect. Here is my argument:
This formula says that the density can be given by knowing the unstretched mass density, the spring constant of the cable, and the tension in the cable. I will exibit two springs with equal parameters when unstretched, but with differing parameters when stretched.

Consider two springs, the first an inch long, the second a mile long. The small spring is made from a stretchy material compared to the longer spring, so that the difference in length makes their spring constants equal (since longer springs tend to have smaller spring constants.) Further, the mass density of these springs when unstretched can be made the same by distributing the mass equally (so the mile long spring is much more massive than the inch long one). Now suppose we apply an equal tension to both springs, enough to extend the small spring twice its unstretched length (1 additional inch). Since the larger spring also has the same spring constant, it will, too, stretch one inch. Notice that the small spring's mass density has halved (since the mass is the same but the spring is twice as long), but the density of the mile long spring has hardly changed at all, since 1 inch is negligible in comparison to a mile (by a factor of 1 in 63360). This shows that two springs with the same tension, unstretched density, and spring constant can have different stretched densities, which proves that the formula for stretched density cannot be a function of these parameters alone.

Where on earth did this formula come from? It isn't even referenced.

[[User:Danielkwalsh|Danielkwalsh]] ([[User talk:Danielkwalsh|talk]]) 08:14, 25 July 2010 (UTC)

However, If <math>\epsilon</math> is not a spring constant but instead is defined by <math>\epsilon=k L_0</math>, then this formula holds. Perhaps this should be made more clear. I think I may make this correction to the page.

[[User:Danielkwalsh|Danielkwalsh]] ([[User talk:Danielkwalsh|talk]]) 09:25, 25 July 2010 (UTC)

== Vandalism in Reference ==

Reference #11 is vandalized. I couldn't find the original reference in the recent diffs. Somebody needs to fix it.  <small><span class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Subh83|Subh83]] ([[User talk:Subh83|talk]] • [[Special:Contributions/Subh83|contribs]]) 17:20, 13 September 2010 (UTC)</span></small><!-- Template:Unsigned --> <!--Autosigned by SineBot-->
:The anagram was introduced in this revision [http://en.wikipedia.org/w/index.php?title=Catenary&diff=176762701&oldid=176721030] and apart from being moved to a reference it seems to have been unchanged. I can't see any vandalism. I think its actually got too many e's I make it 5 e's and 8 i's giving
:: abcccddeeeeefggiiiiiiiillmmmmnnnnnooprrsssttttttuuuuuuuvx
:rather than
:: abcccddeeeeeefggiiiiiiiiillmmmmnnnnnooprrsssttttttuuuuuuuux
:The original phrase was "Ut pendet continuum flexile, sic stabit contiguum rigidum inversum".--[[User:Salix alba|Salix]] ([[User talk:Salix alba|talk]]): 18:00, 13 September 2010 (UTC)
I discussed the error in the anagram on my blog in July 2010: http://newtonexcelbach.wordpress.com/2010/07/14/arches-anagrams-and-plagiarism/.  At the time there were 121 Google hits for an exact search on the incorrect version, and just 3 to the correct version (one of which was a plagiarised version of my words).  There is now one more site with the correct version, here. [[User:DougAJ4|DougAJ4]] ([[User talk:DougAJ4|talk]]) 10:35, 18 January 2011 (UTC)
== Ctesiphon Arch ==

According to the article, the Ctesiphon Arch is "roughly but not exactly a catenary". The problem is that it is also "roughly but not exactly" any number of other simple curves, including an ellipse and a parabola. I have never seen any convincing mathematical evidence that it is any closer to a catenary than to other candidate curves. Is there any?  <span style="font-size: smaller;" class="autosigned">—Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[Special:Contributions/86.186.36.105|86.186.36.105]] ([[User talk:86.186.36.105|talk]]) 01:15, 26 October 2010 (UTC)</span><!-- Template:UnsignedIP --> <!--Autosigned by SineBot-->

I have examined the shape of the arch, compared with a catenary and parabola, here: http://newtonexcelbach.wordpress.com/2008/06/08/the-roof-of-the-taq-i-kisra/.  The analysis is certainly a bit rough and ready (due to lack of detailed information about the actual shape of the arch), but it does suggest that it is closer to a catenary than a parabola.  In the following post I have looked at the effect of different shapes on the stresses in the arch. [[User:DougAJ4|DougAJ4]] ([[User talk:DougAJ4|talk]]) 10:44, 18 January 2011 (UTC)

== Proposal of new figure and rewrite of "Derivation" ==

I have a new figure that I think is very explanatory and a new derivation that I think is shorter, clearer and more elementary then what presently is in the article.  Any protest against a re-write (about!) like this:


++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

The forces acting on a segment of catenary curve are shown in the figure below
[[File:Catenary.svg|thumb|400px|Catenary]]

The vector sum of the forces acting on the segment from the two extremities and from the gravitational force must be zero. As the gravitational force is directed downwards the horizontal components of the forces acting on the extremes must have the same magnitude. As this is true for any segment of the catenary this is a fixed constant for the whole of the catenary. Denoting this constant with <math>f</math> one gets that the vertical component of the force at the left extreme <math> x_1</math>  is <math> -f \ y^\prime(x_1)</math> and at the right extreme <math> x_2</math> is <math> f \ y^\prime(x_2)</math>
The path length of the curve representing a function <math> y(x)</math> with <math> x </math> varying from <math> x_1 </math> to <math> x_2 </math> is
:<math> 
\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx
</math>

If <math>g</math> is the gravitational constant and <math>\rho</math> is the mass per length unit of the chain the gravitational force acting on the arc from <math> x_1 </math> to <math> x_2 </math> is 
<math>g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx \,</math>

This force must be compensated by the vertical components of the forces acting on the two extremes of the arc, i.e.
{{NumBlk|:|<math>g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx \,= f \ (y^\prime(x_2)-y^\prime(x_1))</math>|{{EquationRef|1}}}}

For the function
:<math> y(x) = a \cosh \frac{x}{a}</math>

one has that
{{NumBlk|:|<math>y^\prime  = \sinh \frac{x}{a}</math>|{{EquationRef|2}}}}
and that
{{NumBlk|:|<math>\sqrt{1+{y^\prime}^2}  = \cosh \frac{x}{a}</math>|{{EquationRef|3}}}}

It follows that
{{NumBlk|:|<math>\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx = \left [a \sinh \frac{x}{a} \right ]_{x_1}^{x_2}\,</math>|{{EquationRef|4}}}}

From ({{EquationNote|1}}), ({{EquationNote|2}}) and ({{EquationNote|4}}) follows that if <math> a = \frac {f}{ g \rho} </math> the vector sum of the vertical force components at the extremes <math> x_1 </math> and <math> x_2 </math> for any arc will take the value needed to compensate for the gravitational force acting on the arc.

From the relation 
:<math>\cosh (x -\delta) - \cosh (-x -\delta ) = -2\ \sinh (x)\ \sinh (\delta)</math> 


follows that for any two points <math> (x_1\ ,\ y_1)</math> and <math> (x_2\ ,\ y_2)</math> in a vertical plane and any positive number <math> a</math> one can find values <math> x_0\ ,\ y_0</math> such that the function <math> y = y_0 + a \cosh \frac{x - x_0}{a}</math> passes through both points, i.e. such that:

:<math> y_1 = y_0 + a \cosh \frac{x_1 - x_0}{a}</math>


:<math> y_2 = y_0 + a \cosh \frac{x_2 - x_0}{a}</math>

By selecting the parameter <math> a</math> properly the length of the curve as given by ({{EquationNote|4}}) can be given any desired value larger then <math> r</math> where <math> r</math> is the distance between the two points.


From the figure is clear that the tension of the chain at any point <math>(x\ ,\ y)</math> is <math>f \sqrt{1+{y^\prime}^2} = f \cosh \frac{x-x_0}{a}=f\ \frac{y-y_0}{a}</math>

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 20:32, 30 November 2010 (UTC)

I would like to replace the sections "Derivation", "Alternative1" and "Alternative2" to (essentially!) the text above next week! Any objections? Please word these objections (if any!) the next few days!

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 20:21, 5 December 2010 (UTC)

:I think that your derivation is good but I don't think it should replace the other ones. You should add it as another method. The method you present is "guess the solution and try it", which is completely valid but kind of relies on the fact that you know the answer. I know it strictly doesn't require previous knowledge but I think you'll know what I mean. Also I don't see any reason to reduce the amount of information on Wikipedia.

:[[User:Phancy Physicist|Phancy Physicist]] ([[User talk:Phancy Physicist|talk]]) 04:33, 6 December 2010 (UTC)

Why does so much space appear above the figure? I don't remember enough about SVG at the moment to look at it, but could that be cleaned up? <span style="font-family:monospace;text-shadow:#EECC99 0.2em 0.2em 0.1em">/[[User:Ninly|<span style="color:OrangeRed;">ninly</span>]]<sub>([[User talk:Ninly|<span style="color:Orange">talk</span>]])</sub></span> 00:14, 6 December 2010 (UTC)

:The figure above is good but I would like to see some labels on the force vectors.

:[[User:Phancy Physicist|Phancy Physicist]] ([[User talk:Phancy Physicist|talk]]) 04:37, 6 December 2010 (UTC)

It is true that it always is problematic to remove stuff. Although I do not think the present derivations are good or even rigorous (correct!) I do not insist on removing them. If other people want to keep them (and certainly the author!) it is OK with me.It is certainly an inevitable effect of the Wikipedia system that the articles get (too?) voluminous and poorly structured!

The space on the top of the figure annoyed me too! It comes from the conversion tool PostScript => SVG that is recommended by Wikipedia (in the Help pages).  Now I have made myself (without any third party tool!) a properly sized SVG:
[[File:Catenary_2.svg|thumb|400px|Catenary]]
The analytical solution of differential equations is really always to guess/find a class of solutions from which the uniquely defined solution satisfying the boundary conditions can be constructed. A typical example is the elementary differential equation

<math>\ddot{y}+A^2 y=0</math>
where one guesses and verifies that <math>\cos Ax</math> and <math>\sin Ax</math> and any linear combination of these are solutions from what follows that any solution is a linear combination of these functions as the boundary values completely define the solution

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 23:08, 6 December 2010 (UTC)

:What part of the old proofs do you question? I am not the original author so don't worry about offending me. I just don't see anything wrong with them.

:[[User:Phancy Physicist|Phancy Physicist]] ([[User talk:Phancy Physicist|talk]]) 05:19, 8 December 2010 (UTC)

The problem with the present derivation is that author absolutely wants to use the "natural parametrization" <math>s</math> which is the arc length.  But in this very case this is a detour that brings nothing but confusion!

The present
:<math>\mathbf{T}=\mathbf{T}(s)</math>


is with my notations (without s)
:<math> (f\ ,\  f \ y^\prime )</math>

where <math>f</math> is the constant horizontal component of the force what in the present text is denoted <math>c</math>. 

As <math>\tan \varphi </math> simply is <math>y^\prime</math> and
<math> s=\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx</math>
the expression 
:<math>\tan \varphi = \frac{\lambda g s}{c}</math>

is simply 
:<math>y^\prime = \frac{\lambda g }{c} \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx</math>

With my notations this is
{{NumBlk|:|<math>g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx \,= f \ (y^\prime(x_2)-y^\prime(x_1))</math>|{{EquationRef|1}}}}

as by definition <math>x_1</math> has been selected such that <math>y^\prime(x_1)=0</math>

This relation is clear from my figure and my very short argument saving the confusing round about in the present text.

I simply say that the two parameter family of functions 
:<math> y(x) = a \cosh \frac{x-x_0}{a}+y_0</math> 
are the only solutions as by selecting <math>x_0</math> and <math>y_0</math> properly any value for <math> y(x_1)</math> and <math>y^\prime(x_1)</math> can be obtained.

One can also go ahead as follows what clearly is the intention of the present text:


Denoting <math>y^\prime</math> with <math>z</math> and taking the derivative of both sides one gets
the equation
:<math>z^\prime = \frac{dz}{dx}= \frac{1 }{a} \sqrt{1+z^2}</math>
or
:<math>\frac{dx}{dz}= \frac{a }{\sqrt{1+z^2}}</math>

which is integrate to

:<math>x= a \ \sinh^{-1}(z) + x_0</math> 
where <math>x_0</math> is the constant of integration

The other constant of integration <math>y_0</math> is then obtained integrating <math>y^\prime = z</math>

I do not think it is much difference between "guessing and finding" a primitive function to 
<math>\frac{a }{\sqrt{1+z^2}}</math> and to "guessing and finding" a two parameter family of solutions to a second order differential equation!



I do not myself understand the very last arguments of the present text but the arguments above are the (clear!) arguments that should be given!

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 20:44, 8 December 2010 (UTC)
And this should be the final figure with the right size for Wikipedia and with subtitle thanks to "frame" in the tag!
[[File:Catenary_3.svg|thumb|400px|The forces acting on the two extremes of a segment of a catenary decomposed into horizontal and vertical components]]

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 20:44, 8 December 2010 (UTC)

I think I am more or less ready with a new version of "Derivation"!  Any protests? Any additional suggestions?


++++++++++++++++



The forces acting on a segment of catenary curve are shown in the figure below
[[File:Catenary_3.svg|thumb|400px|The forces acting on the two extremes of a segment of a catenary decomposed into horizontal and vertical components]]

The vector sum of the forces acting on the segment from the two extremities and from the gravitational force must be zero. As the gravitational force is directed downwards the horizontal components of the forces acting on the extremes must have the same magnitude. As this is true for any segment of the catenary this is a fixed constant for the whole of the catenary. Denoting this constant with <math>f</math> one gets that the vertical component of the force at the left extreme <math> x_1</math>  is <math> -f \ y^\prime(x_1)</math> and at the right extreme <math> x_2</math> is <math> f \ y^\prime(x_2)</math>
The path length of the curve representing a function <math> y(x)</math> with <math> x </math> varying from <math> x_1 </math> to <math> x_2 </math> is
:<math> 
\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx
</math>

If <math>g</math> is the gravitational constant and <math>\rho</math> is the mass per length unit of the chain the gravitational force acting on the arc from <math> x_1 </math> to <math> x_2 </math> is 
<math>g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx \,</math>

This force must be compensated by the vertical components of the forces acting on the two extremes of the arc, i.e.
{{NumBlk|:|<math>f \ (y^\prime(x_2)-y^\prime(x_1)) \,= g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx</math>|{{EquationRef|1}}}}


Denoting the constant ratio <math>\frac {f}{ g \rho}</math> with <math>a</math> and taking the derivative of equation ({{EquationNote|1}}) with respect to the upper limit of the integral, i.e. with respect to <math>x_2</math>, one gets

:<math>y^{\prime\prime} = \frac{1 }{a} \sqrt{1+{y^\prime}^2}</math>

Denoting <math>y^\prime</math> with <math>z</math> this equation takes the form 
:<math>z^\prime = \frac{dz}{dx}= \frac{1 }{a} \sqrt{1+z^2}</math>

what means that for the inverse function <math>x(z)</math> one has

:<math>\frac{dx}{dz}= \frac{a }{\sqrt{1+z^2}}</math>

which is integrate to

:<math>x= a \ \sinh^{-1}(z) + x_0</math> 
where <math>x_0</math> is the constant of integration or equivalently
:<math>z=y^\prime=\sinh(\frac{x-x_0 }{a})</math> 

Again integrating with respect to <math>x</math> one gets
{{NumBlk|:|<math>y=a \ \cosh(\frac{x-x_0 }{a})\ +\ y_0</math>|{{EquationRef|2}}}} 
where <math>y_0</math> is the second constant of integration

The length of the curve given by ({{EquationNote|2}}) from <math>x=x_1</math> to <math>x=x_2</math> is
{NumBlk|:|<math>l=\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx = \left [a \sinh \frac{x-x_0}{a} \right ]_{x_1}^{x_2}\,</math>|{{EquationRef|3}}}}


This family of solutions is parametrized with the 3 parameters <math>a,\ x_0,\ y_0 </math>. For any concrete case these 3 parameters must be computed to fit the boundary value conditions.  In a typical case the form of a chain having a given length l and being attached 
in two fixed point with the coordinates <math>x_1,\ y_1</math> and <math>x_2,\ y_2</math> relative a vertical coordinate system should be computed.


This means that <math>a,\ x_0,\ y_0 </math> have to be determined such that 
{{Ordered list|style=line-height: 0;
|1= {{NumBlk|:|<math>y_1=a \ \cosh(\frac{x_1-x_0 }{a})\ +\ y_0</math>|{{EquationRef|4}}}}
|2={{NumBlk|:|<math>y_2=a \ \cosh(\frac{x_2-x_0 }{a})\ +\ y_0</math>|{{EquationRef|5}}}}
|3=    {{NumBlk|:|<math>l= a \left (\sinh \frac{x_2-x_0}{a}\ -\ \sinh \frac{x_1-x_0}{a} \right )</math>
|{{EquationRef|6}}}}
}}

Setting 
:<math>x_m=\frac{x_2+x_1 }{2}</math> 
:<math>\Delta x=\frac{x_2-x_1 }{2}</math> 
subtracting ({{EquationNote|4}}) from ({{EquationNote|5}}) and then dividing with <math>a</math> one gets

{{NumBlk|:|<math>\frac{y_2-y_1 }{a} = \cosh\left (\frac{x_m-x_0 }{a}+\frac{\Delta x}{a}\right) - 
\cosh\left (\frac{x_m-x_0 }{a}-\frac{\Delta x}{a}\right) =
2 \sinh \frac{x_m-x_0 }{a} \sinh \frac{\Delta x }{a}</math>|{{EquationRef|7}}}}

For any given values <math>x_1,\ y_1,\ x_2,\ y_2,\ a</math> one can determine <math>\sinh \frac{x_m-x_0 }{a}</math> from ({{EquationNote|7}}) 

When <math>\sinh \frac{x_m-x_0 }{a}</math> has been determined <math>\frac{x_m-x_0 }{a}</math> is computed by solving a quadratic equation. 

With <math>x_0</math> known ({{EquationNote|4}}) or ({{EquationNote|5}}) can subsequently be used to determine <math>y_0</math> 

Having determined <math>x_0</math> with the algorithm just described the curve length <math>l</math> corresponding to the selected <math>a</math> value can be computed from ({{EquationNote|6}}). With an iterative
algorithm the <math>a</math> value that corresponds to a certain curve length <math>l</math> can finally be derived.
 


From the figure it is further clear that the tension of the chain at any point <math>(x\ ,\ y)</math> is <math>f \sqrt{1+{y^\prime}^2} = f \cosh \frac{x-x_0}{a}=f\ \frac{y-y_0}{a}</math> where <math>f=a\ g\ \rho</math> is the magnitude of the constant horizontal force component

If the mass density <math>\rho</math> is not constant but varies depending on some law the resulting differential equation will not have an exact analytic solution anymore.  But the resulting curve can be determined with arbitrary accuracy also in this case using an algorithm for the numerical integration of ordinary differential equations.
 
Taking the derivative of equation ({{EquationNote|1}}) with respect to the upper limit of the integral, i.e. with respect to <math>x_2</math>, without assuming <math>\rho</math> to be constant one gets

:<math>y^{\prime\prime} = \frac{g}{f}\ \ \rho \sqrt{1+{y^\prime}^2}</math>

Denoting <math>y^\prime</math> with <math>z</math> one gets the following first order differential equations
:<math>y^\prime = z</math>
:<math>z^\prime = \frac{g}{f}\ \ \rho \sqrt{1+{y^\prime}^2}</math>

Given any initial values for <math>y(x1)</math>  and <math>z(x1)</math> and any value for the parameter <math>f</math> these differential equations can be propagated to <math>x=x_2</math> with <math>\rho</math> specified as any function of the state variables <math>x,y,z</math>. The free parameters to be iteratively adjusted to fit the boundary constraints are now <math>z(x1)</math> and <math>f</math>. They can for example be adjusted iteratively such that <math>y(x2)=y_2</math> where <math>(x_2\ ,\ y_2)</math> is the second attachment point. This leaves an additional degree of freedom corresponding to for example the length of the curve.

For the "elastic catenary" one would for example have that <math>\rho = \frac{\rho_0}{1+\epsilon\ f\sqrt{1+{y^\prime}^2}}= \frac{\rho_0}{1+\epsilon\ f\sqrt{1+{z}^2}}</math> where <math>\rho_0</math> is the mass density without any stress.


[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 17:15, 9 December 2010 (UTC)


To check the case "elastic catenory" with a mass density (mass per unit lenth) of <math>\rho=\frac {\rho_0}{ 1+\epsilon\ F}</math> where <math>F</math> where is the "stress force" I integrate numerically the differential equations


:<math>y^\prime = z</math>
:<math>z^\prime = \frac{1}{a\ (1+\epsilon\ f\sqrt{1+z^2})}\ \ \sqrt{1+z^2}</math>


Where
<math>a=\frac {f}{ g \rho_0}</math> 

But the resulting curve had only small deviations to a normal catenary! Even the physically completely un-realistic case of an <math>\epsilon\ f</math> product with the value 10 the deviation was un-spectacular, just about visible for the bare eye on a plot.

As the theoretical analysis of this case also is "sick" I would propose to remove these items completly! It was an interesting idea to include these generalisations (in the beginning of 2008) but a closer analysis has now shown that it was not all that fruitful after all!

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 16:16, 10 December 2010 (UTC)

== Proposal of new figure and rewrite of "Towed cables" ==

The present derivation is absolutely correct but it refers to the formula
:<math>\frac{d\varphi}{ds} = \frac{\cos^2\varphi}{a}</math>

that is stated in this article but not has been proven or explained in detail here. The proof I give here is in fact essentially a proof of this relation!

In this talk page it is also stated (above) that "clarification is needed"!


I think this more straightforward version illustrated by a figure is more digestible for the reader

++++++++++++++++++++

The following figure illustrates a segment of a cable that is fixed in both ends and exposed to drag.
[[File:Catenary_drag.svg|thumb|400px|Figure 2:The forces acting on a segment of a cable subject to drag. The medium causing the drag is moving downwards. The drag force is orthogonal to the cable and the forces acting on the two extremities of the segment compensate the net drag force on the segment]]

The velocity relative to the cable is assumed to be constant and the coordinate system is selected such that this velocity is in the -y direction, i.e. <math>\mathbf{v} = (0, -v)</math>.  To compute the force due to drag, write <math>\mathbf{v} = \mathbf{v}_u + \mathbf{v}_n</math>

where <math>\mathbf{v}_u</math> and <math>\mathbf{v}_n</math> respectively are the components parallel to and orthogonal to the cable. The cable is assumed to be smooth so the force on the cable due to 
<math>\mathbf{v}_u</math> is taken to be negligible. The force acting on the cable, per unit length, following the [[Drag equation]] is therefore
:<math>\mathbf{G} = f(x) \mathbf{n}</math> 
with 

{{NumBlk|:|<math>f(x)= c\ v^2 \ {n_y}^2</math>|{{EquationRef|1}}}} 
where <math>c</math> is a constant depending on the density of the fluid, the diameter of the cable, and the [[Drag coefficient]] and <math>\mathbf{n} = (n_x\ ,\ n_y)</math> denotes the unit normal vector.

For any curve <math>y(x)</math> the tangent (unit vector) is 
{{NumBlk|:|<math>(t_x\ ,\ t_y)=\frac{(1\ ,\ y^')}{\sqrt{1+{y^'}^2}}</math>|{{EquationRef|2}}}} 

and the normal (unit vector) is 
{{NumBlk|:|<math>(n_x\ ,\ n_y)=\frac{(y^'\ ,\ -1)}{\sqrt{1+{y^'}^2}}</math>|{{EquationRef|3}}}} 

From ({{EquationNote|1}}) and ({{EquationNote|3}}) follows that

{{NumBlk|:|<math>f(x)= c\ v^2 \ \frac{1}{1+{y^'}^2}</math>|{{EquationRef|4}}}} 

From ({{EquationNote|3}}) and ({{EquationNote|4}}) follows that the x-component of the total force on the segment of the curve from <math>x= x_1</math> to <math>x= x_2</math> is


{{NumBlk|:|<math>F_x = \int\limits_{x_1}^{x_2} f(x)\ n_x\ \sqrt{1+{y^'}^2}  dx = c\ v^2 \int\limits_{x_1}^{x_2}\frac{y^'}{1+{y^'}^2}\ dx</math>|{{EquationRef|5}}}} 


and the component in the y-direction is
{{NumBlk|:|<math>F_y =\int\limits_{x_1}^{x_2} f(x)\ n_y\ \sqrt{1+{y^'}^2}  dx
=   c\ v^2 \int\limits_{x_1}^{x_2}\frac{-1}{1+{y^'}^2}\ dx</math>|{{EquationRef|6}}}} 

If now
:<math>y^'=\sinh(\frac{x-x_0}{a})</math>

one has that

:<math>1+{y^'}^2=\cosh^2(\frac{x-x_0}{a})</math>

and from ({{EquationNote|2}}),({{EquationNote|5}}) and ({{EquationNote|6}}) that
{{Ordered list|style=line-height: 0;
|1={{NumBlk|:|<math>\begin{align}
F_x = &  c\ v^2 \int\limits_{x_1}^{x_2}
\frac{\sinh(\frac{x-x_0}{a})}{\cosh^2(\frac{x-x_0}{a})}\ dx =
 -\left[\frac{c\ v^2\ a}{\cosh(\frac{x-x_0}{a})}\right]_{x_1}^{x_2}= \\
&-\left[\frac{c\ v^2\ a}{\sqrt{1+{y^'}^2}}\right]_{x_1}^{x_2} \ = -c\ v^2\ a\ (t_x(x_2)-t_x(x_1)) \\
\end{align}
</math>|{{EquationRef|7}}}} 


|2={{NumBlk|:|<math>\begin{align}
F_y = &   c\ v^2 \int\limits_{x_1}^{x_2}\frac{-1}{\cosh^2(\frac{x-x_0}{a})}\ dx =
 -\left[\frac{c\ v^2\ a\ \sinh(\frac{x-x_0}{a})}{\cosh(\frac{x-x_0}{a})}\right]_{x_1}^{x_2}= \\
 &-\left[\frac{c\ v^2\ a\ y^'}{\sqrt{1+{y^'}^2}}\right]_{x_1}^{x_2}= -c\ v^2\ a\ (t_y(x_2)-t_y(x_1)) \\
\end{align}
</math>|{{EquationRef|8}}}}
}}

If the now the force in the cable is 
:<math>F\ =c\ v^2\ a\ </math> 

the force at the right extreme of the cable segment is 
:<math>  c\ v^2 \ a\ ( t_x(x_2)\ ,\ t_y(x_2) ) </math>

and at the left extreme 
:<math> -c\ v^2 \ a\ ( t_x(x_1)\ ,\ t_y(x_1) ) </math>
 
From ({{EquationNote|7}}) and ({{EquationNote|8}}) follows that the vector sum of these forces is precisely the force  needed to counter act the forces on the segment caused by the drag

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 13:28, 17 December 2010 (UTC)

== Citations and sources are needed ==

Please be sure that all additions to the Catenary article are [[WP:V|verifiable]].  Any new items added to the article should have inline [[WP:CS|citations]] for each claim made.  As a courtesy to editors who may have added claims previously, before Wikipedia citation policy is what it is today, many of the existing unsourced claims have been tagged {{tl|citation needed}} to allow some time for sources to be added.

More specifically, to all of the recent discussion on derivations, and a new derivation that may soon be added to the article, Wikipedia is an encyclopedia for [[WP:V|verifiable]] that can be sourced from [[WP:RS|reliable secondary sources]] with a [[WP:CS|citation]] for substantial assertions.  It is specifically not for [[WP:OR|original reseach]].  While I personally do not plan to challenge any of the unsourced proofs at this time, I think it is fair to say that a lot of unsourced information won't stand the test of time, and will be winnowed out over the longer term as Wikipedia [[emergence|emerges]] from myriad individual actions.  Net:  I think you should source the new derivation you are planning to add to the article.  [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 16:57, 18 December 2010 (UTC)

:The only place in the mathematical part where "Citations and sources" is lacking is in the "Equation" part. But
:<math>y = a \, \cosh \left ({x \over a} \right ) = {a \over 2} \, \left (e^{x/a} + e^{-x/a} \right )</math>,

:is just the definition so the tag "citation needed" is irrelevant here. On the contrary a reference to the derivation of
:<math>\tan \varphi = \frac{s}{a}</math>.
:<math>\frac{d\varphi}{ds} = \frac{\cos^2\varphi}{a}</math>
:<math>\kappa=\frac{a}{s^2+a^2}</math>.

:could be relevant!

:[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 10:34, 22 December 2010 (UTC)

::Actually, even a simple definition, which is an absolute "truth" to you and I who understand mathematics, is not something that is "known" to all readers of this encyclopedia.  That is why WP has the core policy of [[WP:V|verifiability]], let's get it [[WP:CS|cited]] and improve the article. [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 15:59, 22 December 2010 (UTC)

:::Ref (a current calculus textbook) added for the simple definition. <span style="font-family:monospace;text-shadow:#EECC99 0.2em 0.2em 0.1em">/[[User:Ninly|<span style="color:OrangeRed;">ninly</span>]]<sub>([[User talk:Ninly|<span style="color:Orange">talk</span>]])</sub></span> 17:27, 2 January 2011 (UTC)

== Modifications by 165.246.99.227 ==
In my opinion the contribution now called "5.3 Analysis" should be fully replaced with what presently is "7. Alternative analysis".  But by preference (as a courtecy!) the main author of this section should agree to this first and do this himself.  The mathematical imperfections of "5.3 Analysis" has already been discussed above.  If "7. Alternative analysis" appears longer it is because it goes much further, it explains how to solve the boundary value problem! And "Towed cables" is also in the pipeline!

Who else has an opinion about this matter? 

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 16:58, 21 December 2010 (UTC)
:I think the 5.3 section start a lot better than the 7 section, it introduces all the different forces explaining what they are rather than just referring to a picture with unlabelled force vectors. Both are much to long, is not wikipedia's job to give a detailed derivation more indicate the key points and provide references where these can be checked. Both currently fail [[WP:OR]]. --[[User:Salix alba|Salix]] ([[User talk:Salix alba|talk]]): 17:41, 21 December 2010 (UTC)

Most readers that not are mathematicians will certainly just glance over this type of text without the intention of follow it in detail.  Then it should simply be as short as possible.  But for the benefit of those who really make the effort to go into the details the mathematics should be correct and logical. This is not really the case with the present "5.3 Analysis". For example:


The present
:<math>\mathbf{T}=\mathbf{T}(s)</math>


is with my notations (without s)
:<math> (f\ ,\  f \ y^\prime )</math>

where <math>f</math> is the constant horizontal component of the force what in the present text is denoted <math>c</math>. 

As <math>\tan \varphi </math> simply is <math>y^\prime</math> and
<math> s=\int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx</math>
the expression 
:<math>\tan \varphi = \frac{\lambda g s}{c}</math>

is simply 
:<math>y^\prime = \frac{\lambda g }{c} \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx</math>

With my notations this is
{{NumBlk|:|<math>g \rho \int\limits_{x_1}^{x_2}\sqrt{1+{y^\prime}^2} dx \,= f \ (y^\prime(x_2)-y^\prime(x_1))</math>|{{EquationRef|1}}}}

as by definition <math>x_1</math> has been selected such that <math>y^\prime(x_1)=0</math>

This relation is clear from my figure and my very short argument saving the confusing round about in the present text.

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 10:16, 22 December 2010 (UTC)

== Too many analyses and "alternative analyses" without reference ==

This article contains too many different analyses and alternative analyses with lots of mathematical derivations but not referencing a single reliable source as to address why such analyses are useful or let readers verify whether they are correct. If proper references are given, there may not even be the need of documenting all the detailed derivations in Wikipedia. However I think much of these are original research and are candidates for removal (see [[WP:NOR]]). - [[User:Subh83| '''Subh83''']] ([[User_talk:Subh83|talk]]) 06:04, 14 March 2011 (UTC)

:I concur.  The maths could be better organized, and much reduced given that a lot of it is unsourced.  Don't have time for much more analysis tonight, but will be glad to help weigh in on improving the article.  Ping me if you want any other looks.  [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 04:14, 15 March 2011 (UTC)

::I agree even though I contributed much of the math. The material does seem to be hard to organize though. There are several ways to analyze the problem and many ways to generalize it (non-uniform density, add elasticity, more general force) which are covered in the literature on the subject. One method of analysis may be best for some generalization and not for others, so I think presenting several methods gives a better understanding of subject. 

::As I see it, the analysis can be divided into three parts: I) Derive a differential equation(s) for the curve. II) Integrate the differential equation(s) to obtain a Cartesian equation. III) Apply parts I and II to derive other properties. Part I can proceed by a) analyzing a small section of the curve, b) analyzing a large section of the curve and applying the principle that the curve at equilibrium may be treated as rigid, c) using calculus of variations. From my recent reading there is actually more material that could be added, but I am planning to go through the existing material with an eye toward more rigorous referencing and to remove what seems to be OR. Much of the existing derivation comes from [http://www.mathcurve.com/courbes2d/chainette/chainette.shtml] and related pages. I'm also thinking that it would be better to put a very simple derivation for the basic catenary first, rather than derive general formulas which is the current approach.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 15:25, 11 September 2011 (UTC)
:::I did some reorganization and rewriting of the analysis sections so everything either has cites or is marked with an unreferenced tag. I used Routh as a source for most of it since it seems to be a definitive text, though Minchin seems nearly as complete. I added some new material as well but there is still more that could be added.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 01:07, 16 September 2011 (UTC)
::::I think that the reorganization and rewriting has made the article much better, and the overall sourcing and cites are quite good.  Thanks for doing that RDBury!  [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 00:22, 13 November 2011 (UTC)

==Towed cables==
Most towed cables are fixed at only one end, e.g., at the towing ship.  See, for example:  A. P. Dowling, “The dynamics of towed flexible cylinders.  Part 2.  Negatively buoyant elements.”  ''Journal of Fluid Mechanics'' '''187''', 533-571, 1988.  Figure 1 in that reference depicts a typical geometry for towed cable catenary calculations.

The assumption of negligible drag parallel to the cable is not typically made for these types of calculations.  Many such cables are a mile long or longer, and the tangential drag becomes a major contributor to the cable tension, which can have a significant effect on the catenary.  Most such solutions must be performed numerically.   [[User:Psalm 119:105|Psalm 119:105]] ([[User talk:Psalm 119:105|talk]]) 02:06, 20 May 2011 (UTC)
:The Dowling ref. was in the article several years ago but was removed. In the old version of the section it looks like the formulas were copied from the article with little explanation of how they were derived or what the variables meant. In any case, the towed cable problem seems to be a variation of Bernoulli's sail problem, and there is much more material available on that, so I'm planning to replace the section with a fully referenced one on sails.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 13:16, 21 September 2011 (UTC)

== Simple suspension bridges, citation needed ==

I restored the statement that [[Simple suspension bridge]]s follow a catenary curve though I don't have a source at the moment. It is relevant, in fact it's kind of the point of the section, and rather obvious since in this case the bridge ''is'' the chain, not to mention that this type of bridge is also called a catenary bridge. This is mentioned in the other article but I haven't been able to verify the sources there since they always seem to be in "not included in preview" pages.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 15:20, 6 September 2011 (UTC)
:Since there is an editor who keeps deleting the statement, and since it's kind of the point of the section, I've commented out the section until the issue can be resolved. Hopefully someone can find a cite so the material can be restored.
::It seems blindingly obvious. -- [[Special:Contributions/202.124.74.120|202.124.74.120]] ([[User talk:202.124.74.120|talk]]) 04:58, 13 November 2011 (UTC)

==Spider web==
Re change of web photo text from "... multiple elastic catenaries..." to "...multiple (approximate) catenaries...".  Change comment is "Source needed to be specific".  As far as I can tell the article describes elastic catenaries and so is self referential.  Is this a valid reference? [[User:Mtpaley|Mtpaley]] ([[User talk:Mtpaley|talk]]) 18:11, 7 September 2011 (UTC)
:I'm trying to strike a balance between having verifiable captions and being so careful that real world images can't be used. I added several of these images in an effort to make the subject more interesting for non-mathematical readers. I think at some point an appeal to [[WP:Likely to be challenged]] must be made. That the spider web threads follow an elastic catenary could be challenged since there are several assumptions involved, for example that the threads follow Hooke's law. But I don't think there can be much doubt that the threads follow the basic assumptions of catenary, that they are flexible threads where the forces of tension and its own weight are at equilibrium, and therefore follow the curve at least approximately.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 23:51, 8 September 2011 (UTC)

== Huygens vs. Jeffeson ==

The sentence "Thomas Jefferson is usually credited with the English word catenary." seems to be contradicted in MacTutor, which has "Huygens was the first to use the term ''catenary'' in a letter to Leibniz in 1690... ." This is repeated in the MathWorld article. The passage in question seems to be Appendix II of the letter dated 9 October 1690 which can be found [http://books.google.com/books?id=yzJRAAAAYAAJ&pg=PA502#v=onepage&f=false here]. The passage is in Latin (though the main body of the letter is in French) and the word Huygens uses is ''catena'' (or a conjugate such as ''catenae'', never ''catenaria'' as claimed in the article). The title of the appendix has the phrase ''curvae catenae'' which would translate to "chain curve". The appendix does seem interesting from a historical point of view, it's basically a summary of what was known at the time on the subject, but it seems doubtful that the claim in MacTutor can be substantiated. I'm therefore removing our mention of the Huygens letter from the article, at least until there is a more clear explanation of how it contributed to the etymology of the word.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 14:27, 12 September 2011 (UTC)
:PS. MacTutor was apparently using Lockwood as a source, "The name was the first used by Huygens in a letter to Leibniz in 1690." It's not clear from the context what "name" is meant, indeed it was apparently misinterpreted by MacTutor. It's possible that what Lockwood meant is that Huygens first used the phrase ''curvae catenae'', but I think it's more likely that Lockwood was quoting (and possibly misinterpreting) yet another source.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 15:13, 12 September 2011 (UTC)

== "Catenary" bridges follow a catenary curve? ==

We've gone back and and forth a couple times on whether the statement that a catenary bridge follows a catenary curve should be included in the [[catenary]] article. It seems to be that there is insufficient reason to delete the statement since WP:V only specifies that statements which are "challenged or likely to be challenged must be attributed". To me the statement is obvious and is not likely to challenged, and so should not be removed since it is encyclopedic and relevant to the subject. I have not removed the cite needed tag though since a reference would be nice to have to bring the article to GA standard. Do you have a reason to challenge the truth of the statement? If so then I should point out that it is repeated several times in [[Simple suspension bridge]]. In any case, without the statement the section is only about parabolas and bridges and has little to do with the catenary, so I've commented it out until the issue can be resolved.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 11:18, 12 November 2011 (UTC)

:Well, as I understood the statics in a mechanical design class I took once, these bridges only approximate a catenary shape, for a variety of practical reasons like differential unit mass, non-uniformity of attachment points to the support cables, non-ideal atmospheric reality, etc.  But as usual in Wikipedia, we should not make such claims, either way, out of our heads and based on what we recall from former studies, we should make claims that are [[WP:V|verifiable]], or leave them out until someone can support the claim with a [[WP:RS|reliable source]].  That is why I removed the claim, which had not been supported with a citation despite one having been asked for over a year ago.  Cheers.  [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 13:20, 12 November 2011 (UTC)
::Your objection seems to be that the mathematical model of the bridge can never be exactly equal to an actual bridge, and this is true if you go into fine enough detail. But this is like saying that a billiard ball is not a sphere because if you examine it under a microscope you can find imperfections in the surface, or that a laser beam does not follow a straight line because of changes in air density. Any mathematical statement about the real world is really about an idealized representation of an object rather than the actual object, this is understood implicitly and without this kind of assumption mathematics is only an intellectual exercise with no application. If you still have the text from your design class then perhaps you can add what it has to say about the bridges to the article. I'll be happy to have some kind of statement, even if it's an approximate one, rather than not covering the material at all.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 18:46, 12 November 2011 (UTC)

:::Well, a couple of comments.  First off, the article is excellent overall now and I will be happy with what you decide, either way.  To your specific comments, however, I should respond directly.  I think that your comment about the catenary not following catenary shape (like a billiard ball to a perfect sphere) is a valid point, but is most applicable to, say, an anchor chain rode, of identical and equal segments, each connected at a single point, having identical mass both above and below the centerline of the connecting points, identical segments in all parts of the bridge, etc.  Most "catenary" bridges are much rougher approximations due to a rather extensive set of nonlinearties in the bridge mass, and particularly because the center of mass of the bridge structure is typically far from the centerline of the tensioned structural member.  So that is my thought about your specific comment.

:::Having said all that, you MIGHT want to consider the term "approximates a catenary shape" or "closely approximates a catenary shape" — as well as continue to look for the source that you, quite fairly, have noted in the article we are still looking for — but I will support whichever decision you come to.  You have done an awesome job on improving this article!  

:::Thanks for handling the discussion with such [[WP:AGF|scholarly aplomb]].  Cheers.  [[User:N2e|N2e]] ([[User talk:N2e|talk]]) 00:22, 13 November 2011 (UTC)

::::I'm not sure where this business about the centreline of the connecting points being far from the cables comes from. I haven't seen anything like that happening, you're not thinking of a normal suspension bridge are you? It would be possible even so to have something that deviated significantly from a catenary by using cables that were thinner in the middle, one doesn't need quite the same strength in the centre, but in actual practice they just use a cable or chain with a constant cross section, the essence of catenary bridges is simplicity. They follow a catenary very exactly except of course when somebody is walking over them. [[User:Dmcq|Dmcq]] ([[User talk:Dmcq|talk]]) 01:11, 13 November 2011 (UTC)

::::::The simple suspension bridge is essentially just a thick chain. It's as close to a catenary as a chain is (except when somebody is walking over it, as Dmcq says). I have added a reference to stressed ribbon bridges, for which clear sources do exist. -- [[Special:Contributions/202.124.74.120|202.124.74.120]] ([[User talk:202.124.74.120|talk]]) 05:19, 13 November 2011 (UTC)
:::::::Thanks for finding the references and the other improvements, well done. Imo the article the ready for a GA review now, though I'll let the dust settle a bit before nominating it. @N2e, You're welcome though I can't say "aplomb" is something I always manage to maintain. Actually I owe you a thanks as well for giving the issue enough of a kick so that it got fixed. Thanks also for recognizing my contributions but it's a collaborative effort as any good WP article is, and my efforts are minor compared to what others have done.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 22:14, 13 November 2011 (UTC)

== Catenary bridge? ==

I would suggest a lot of caution in this section of the article. First, there is not a clear definition for a "catenary bridge," which you have named a section in the current article. Because bridge engineering is a well-researched science, use of the term "catenary bridge" could be original research. I recommend "catenary-shaped bridges." </br>Second, there is not a clear engineering definition of [[simple suspension bridge]] that matches the definition used in this article (see discussions at [[Talk:Simple_suspension_bridge#Verifiable_reference_needed]], and [[Talk:Suspension_bridge#7th_Century_Maya_bridge]]) </br>Also, [http://en.wikipedia.org/w/index.php?title=Catenary&diff=next&oldid=460397297 this edit] uses a non-bridge engineering reference to make the major point of this section, that [[simple suspension bridge]] is a defined term and engineering research shows that when the deck follows the cables, the curve is a catenary. I think that this is a poor source for such the technical, well-researched subject of bridge engineering. - [[User:PennySpender1983|¢Spender1983]] ([[User talk:PennySpender1983|talk]]) 03:49, 14 November 2011 (UTC)

:Also, [http://books.google.com/books?id=PSdWuoORYhEC&pg=PA122 this reliable mathematical reference] used in the article says that a suspension bridge will be either a parabola or something between a catenary and parabola. So where is the reference that definitively says a [[simple suspension bridge]] that has a deck following the curve of the cable is a catenary? - [[User:PennySpender1983|¢Spender1983]] ([[User talk:PennySpender1983|talk]]) 04:18, 14 November 2011 (UTC)

In response to both of those, the technical references (such as Lockwood, which you cite, but which you seem to have misunderstood) all say clearly that:
# if the load is '''distributed horizontally''', as in a bridge with a suspended horizontal deck, the curve is a parabola,
# if the load '''follows the chain''', it is a catenary, and
# if some load follows the chain and some load is distributed horizontally, intermediate curves result.
To explicitly state the obvious fact that (2) applies to simple suspension bridges, a non-bridge engineering reference (but nevertheless a reliable reference) was used. The phrase "catenary bridge" for a simple suspension bridge (and sometimes for a stressed ribbon bridge) is quite common in the bridge engineering literature. -- [[Special:Contributions/202.124.73.186|202.124.73.186]] ([[User talk:202.124.73.186|talk]]) 11:50, 14 November 2011 (UTC)

::Thanks for the addition of the Troyano reference. It shows that there was some error in my original statement. Troyano gives a technical source for the term Catenary bridge and this source also meets the highest level of [[WP:SOURCES|what counts as a reliable source]]: it is an academic publication from the field of bridge engineering. I still question the use of the Trinks reference in the article. Is a book about furnaces, written by a mechanical engineering professor, considered a good source for the academic subjects of either catenary curves or bridges? Especially now that a more reliable source has been added. - [[User:PennySpender1983|¢Spender1983]] ([[User talk:PennySpender1983|talk]]) 19:18, 19 November 2011 (UTC)

:There seems to be some disagreement over terminology, which is common problem in writing an encyclopedia because in many cases different authors use different terms for the same thing, or same term for different things, or even talk about a subject without giving it a name. The name "simple suspension bridge" is used here to mean bridges such as the [[Capilano Suspension Bridge]] where the roadway follows the suspending cables. If there is a more commonly used term for this type of bridge, as opposed to the usual kind of suspension bridge, then I have no objection to changing the terminology, but for now this term appears to be the most recognized. When Lockwood used the term "suspension bridge" he is clearly not including this type of bridge in the discussion so his conclusions don't apply here. In fact, though in general bridge design is well researched and covered in the literature, there seems to be very little on simple suspension bridges. This isn't surprising since they aren't practical except as foot bridges and they are comparatively low-budget, often hand crafted affairs. So I don't see a problem with using a non-bridge engineering source; if there is a bridge engineering source which says that the curve is ''not'' a catenary then I might give it more weight, but these sources don't seem to cover the subject so it's better to use a another source since the material is clearly encyclopedic.--[[User:RDBury|RDBury]] ([[User talk:RDBury|talk]]) 06:38, 16 November 2011 (UTC)

{{Talk:Catenary/GA1}}

== Review of new sections ==

{{user|Stamcose}} addedd [http://en.wikipedia.org/w/index.php?title=Catenary&diff=523473657&oldid=511059138 these new sections] to the [[catenary]] article. I deleted these new sections because:
#They were unsourced.
#They were too long, adding over 12kb to a 39kb article.
#They mostlty derive results and properties given elsewhere in the article.
#Lengthy derivations and proofs do not belong in Wikipedia - [[WP:NOTTEXTBOOK|Wikipedia is not a text book]].
The author has contested this deletion on my talk page. Other editors' views and opinions are requested. [[User:Gandalf61|Gandalf61]] ([[User talk:Gandalf61|talk]]) 17:49, 17 November 2012 (UTC)
:I agree with the above. I would add that it could be considered [[WP:OR]] without any sources to backup this treatment.--[[User:Salix alba|Salix]] ([[User talk:Salix alba|talk]]): 18:04, 17 November 2012 (UTC)

== Deletion by User Gandalf61 ==

1. A basic principle of Wikipedia is that you do not unilaterally delete text of others. Your personal opinion is not necessarily shared by others. That text is added but not deleted tend to make articles somewhat longish but this is not really a problem. People can read the part of the article that appeals to them.

I am strongly of the opinion that this "alternative analysis" is by far superior to the text it "duplicates". In addition interesting plots are included!

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 03:10, 19 November 2012 (UTC)

: What basic principle? See [[WP:BRD]]. —[[User:Tamfang|Tamfang]] ([[User talk:Tamfang|talk]]) 07:12, 10 December 2012 (UTC)

And in addition "unsourced" is clearly irrelevant here. This is a mathematical analysis that by its very nature is "selfsourcing". 

[[User:Stamcose|Stamcose]] ([[User talk:Stamcose|talk]]) 03:18, 19 November 2012 (UTC)

:That's a definite problem in mathematical articles, but completely opposed by Wikipedia policies.  [[WP:CALC]] specifies the degree you can claim "self-sourcing"; anything beyond that requires reliable sources.  Proofs can be placed in Wikibooks or Wikiversity (if it's still up) without worrying about <u>Wikipedia</u>'s rules on [[WP:OR|original research]].  — [[User:Arthur Rubin|Arthur Rubin]]  [[User talk:Arthur Rubin|(talk)]] 04:35, 19 November 2012 (UTC)

== External links modified ==

Hello fellow Wikipedians,

I have just modified one external link on [[Catenary]]. Please take a moment to review [https://en.wikipedia.org/w/index.php?diff=prev&oldid=793340494 my edit]. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit [[User:Cyberpower678/FaQs#InternetArchiveBot|this simple FaQ]] for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20101113210736/http://www.lindahall.org/events_exhib/exhibit/exhibits/civil/design.shtml to http://www.lindahall.org/events_exhib/exhibit/exhibits/civil/design.shtml

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

{{sourcecheck|checked=false|needhelp=}}

Cheers.—[[User:InternetArchiveBot|'''<span style="color:darkgrey;font-family:monospace">InternetArchiveBot</span>''']] <span style="color:green;font-family:Rockwell">([[User talk:InternetArchiveBot|Report bug]])</span> 04:22, 1 August 2017 (UTC)

== Asymmetric Catenary ==

I have found very little information on the subject of asymmetric catenaries. I would like to see the equation of a cord catenary, where the ends are supported at different heights. The horizontal distance between the supports is known as are the properties of the cord (tension, weight/unit length etc)  <!-- Template:Unsigned --><small class="autosigned">—&nbsp;Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Coli.white|Coli.white]] ([[User talk:Coli.white#top|talk]] • [[Special:Contributions/Coli.white|contribs]]) 22:20, 3 April 2018 (UTC)</small> <!--Autosigned by SineBot-->

== Electrified railways ==

A long, detailed article without a single mention of railway overhead electrification, of which catenary-suspended wires are an essential component! -- [[User:Picapica|Picapica]] ([[User talk:Picapica|talk]]) 21:50, 24 April 2018 (UTC)

== Analysis Section is confusing ==

The equations under analysis are not straightforward at all. '''s''' is being used for the length of the chain, but then the variable '''s''' is also being used ''for'' an equation describing length of the curve. It's really confusing and I can't make any sense of it. [[User:Breebree214|Breebree214]] ([[User talk:Breebree214|talk]]) 18:25, 11 March 2019 (UTC)

In the description of a catenary and parabola, below the picture it says:
The catenary and parabola equations are respectively, y = cosh(x) and y =x2
I think this should be y = cosh(x) and y =1 + ½ x2
[[Special:Contributions/87.254.72.195|87.254.72.195]] ([[User talk:87.254.72.195|talk]]) 14:56, 27 November 2020 (UTC)

== Inconsistent formulae comparing catenary with parabola ==

In the illustration comparing a catenary with parabola, below the picture it says:
"The catenary and parabola equations are respectively, y = cosh(x) and y = x^2"
I think this should be "y = cosh(x) and y = 1 + ½ x^2"
[[Special:Contributions/87.254.72.195|87.254.72.195]] ([[User talk:87.254.72.195|talk]]) 15:02, 27 November 2020 (UTC)

== Alternate derivation ==

New editor {{u|‎R.zalman}} has recently added another derivation.  (It is included below, collapsed, for reader convenience.)  It is unsourced, and has been reverted as such.  I think it is worthwhile to discuss (1) is it possible that it could be reliably sourced? and (2) if it were reliably sourced, would it be worth including in the article? --[[User:JayBeeEll|JBL]] ([[User_talk:JayBeeEll|talk]]) 22:21, 2 February 2021 (UTC)

{{hat|Derivation of R.zalman}}

===Derivation via Variational Calculus===
This derivation avoids the complicated integrals encountered in other methods.

Given 2 points in 2D space, <math>(-d,y_d)</math> and <math>(d,y_d)</math>, between which a rope will freely hang, find its shape and length <math>2l_0</math>.

This in essence is an optimization problem; the solution is a path between the 2 points for which the potential energy is at a minimum. Calculus of Variations deals with that exactly: Given a path-integral dependent quantity, the Euler-Lagrange equation produces the path for which the quantity is extremized. In our case the quantity is the potential energy and the extremum is a minima. 

The potential energy,<math display="block">U = \int dU = \int dmgh</math>where <math>dm</math> is the differential mass element, <math>g</math> is the gravitational acceleration and <math>h</math> is the height of the differential mass-element.

Denote the rope density as <math>\rho</math>, so <math display="inline">dm = \rho dl</math>. The differential length element rewrite as <math display="inline">dl = \sqrt{dx^2 +dy^2} = dx \sqrt{1+y'^2}</math>, and now identify <math>h</math> as <math>y(x)</math>. 

With this we rewrite,<math display="block">U = \rho g\int y \sqrt{1+y'^2} dx</math>Solving the optimization problem means we found the <math>y(x)</math> such that the value of this integral is at minimum.

The Euler-Lagrange equation,<math display="block">\frac{d}{dx} \left( \frac{\partial U}{\partial y'} \right) = \frac{\partial U}{\partial y}</math>treats <math>y</math> and <math>y'</math> as independent variables, so the above differentiation has to be carried out accordingly,<math display="block">\frac{d}{dx} \left( \frac{yy'}{\sqrt{1+y'^2}} \right) = \sqrt{1+y'^2}</math>Manufacture the differential on the LHS,<math display="block">\frac{yy'}{\sqrt{1+y'^2}} d \left( \frac{yy'}{\sqrt{1+y'^2}} \right)= ydy</math>this is now simply integrated into,<math display="block">\frac{1}{2} \left( \frac{yy'}{\sqrt{1+y'^2}} \right)^2 = \frac{1}{2} y^2 + C</math>where <math>C</math> is some constant of integration.

rearrange,<math display="block">\frac{1}{2}y^2 \left( \frac{y'^2}{{1+y'^2}} -1\right) =C \Rightarrow \frac{1}{2}y^2 \left( \frac{-1}{{1+y'^2}}\right) =C</math><math>C</math> is 0 iff <math>y</math> is a constant 0, which is not out solution. Since <math>C</math> is yet to be determined, we can rewrite this equation more compactly as,<math display="block">Cy^2 = 1 +y'^2  \quad (*)</math>and considering this form, we see this <math>C</math> has to be positive.

We have now arrived at a 1st-order non-linear ODE which one can solve by either guessing <math>e^{rx}</math> and solving the characteristic equation, or by differentiating to get,<math display="block">Cyy' = y'y'' \Rightarrow Cy=y''</math>which is a well-known 2nd-order linear ODE which we know is solved by exponents of <math>\pm \sqrt{C}x</math>. Any linear combination of these exponents is a solution to the ODE, but we are looking for the one that produces a symmetric curve (rope is horizontal at the vertex). One can verify that the only combination to satisfy this is the <math>\cosh</math> function, so our solution is of the form,<math display="block">y(x) = y_0 \cosh(\sqrt{C}x)</math>Now sub this into <math>(*)</math> to determine <math>C</math>,<math display="block">Cy_0^2\cosh^2(\sqrt{C}x)=1+y_0^2C\sinh^2(\sqrt{C}x)</math>considering the hyperbolic identity <math display="inline">\cosh^2\varphi-\sinh^2\varphi =1</math>, this equation holds only if,<math display="block">y_0^2C=1 \Rightarrow \sqrt{C}= \pm\frac{1}{y_0} </math>choose either since <math>\cosh</math> is symmetric, and the solution is,<math display="block">y(x) = y_0 \cosh \left({\frac{x}{y_0}}\right)</math>To get the <math>y_0</math>, fix the equation at the end of the rope,<math display="block">y_d \equiv y(d) = y_0 \cosh \left( \frac{d}{y_0} \right)</math>solve this numerically for <math>y_0</math> and the shape is fully determined.

The length can now be computed by directly integrating over the rope's length,

<math display="block">2l_0 = \int dl = \int_{-d}^{d} \sqrt{dx^2 +dy^2} = \int_{-d}^{d} dx \sqrt{1+y'^2} = \int_{-d}^{d} dx \cosh \left( \frac{x}{y_0} \right) = y_0 \sinh \left( \frac{x}{y_0} \right) \bigg|_{-d}^{+d} = 2y_0 \sinh \left( \frac{d}{y_0} \right) </math><math display="block">\Rightarrow {l_0} = y_0 \sinh \left( \frac{d}{y_0} \right)</math>using again the hyperbolic identity, one can rewrite this as,<math display="block">l_0^2 = y_d^2 -y_0^2</math>from which the length is immediately determined.
{{hab}}

== Path of a moving charge in a uniform electric field ==

The claim in the "Science" section that the path of a moving charge in a uniform electric field follows a catenary, is incorrect. The path described in the cited book is actually a "squashed" catenary <math display=block>y = b \cosh \left(\frac{x}{a}\right)</math>
with <math>b > a</math>, even though the book says "along a catenary curve". Note that the cited book uses x and y differently; I here use the sense used in the Wikipedia article. Specifically,
<math display=block>\frac{b}{a} = \frac{\sqrt{m_0^2c^4+p_x^2c^2}}{p_xc}</math>
where <math>m_0</math> is the invariant mass of the moving charge, and <math>p_x</math> is its (constant) momentum along the x axis. Only in the limit where the moving charge travels at the speed of light does this become a true catenary.

I am uncertain how to best correct the claim (maybe just delete it?), as I am not a frequent contributor. For anyone who wants to verify this issue, note that equation (20.5) in the cited book has a typo: the right-hand numerator should be <math>eEy</math> instead of <math>eE_y</math>. [[Special:Contributions/81.191.117.202|81.191.117.202]] ([[User talk:81.191.117.202|talk]]) 15:26, 10 December 2022 (UTC)

== A cosh(Bx) ==

The article says A cosh(Bx) is a catenary if AB=1, but A cosh(Bx) is a catenary if AB≠0. [[User:Noahbooth|Noahbooth]] ([[User talk:Noahbooth|talk]]) 19:25, 27 January 2025 (UTC)

:All parabolas are similar (i.e. alike but for scale and rotation) but all curves A·cosh(Bx) are not, so I would guess that you're mistaken. [[User:Tamfang|—Tamfang]] ([[User talk:Tamfang|talk]]) 08:39, 28 January 2025 (UTC)