Noesis
4.10.14Advanced Topics (Elite Level)

Brachistochrone problem

1,910 words9 min readdifficulty · medium3 backlinks
🇮🇳 Yeh note Hinglish mein padho →

WHAT is being asked

We need a tool to minimize a functional — a number that depends on an entire function.

HOW we set up the time functional (first principles)

Step 1 — Time = distance / speed, summed up. Along a tiny arc of length dsds, the bead travels at speed vv, so it takes time dt=ds/vdt = ds/v. Total: T=∫ABdsvT = \int_A^B \frac{ds}{v}

Why this step? Time accumulates locally; integrating the local dtdt gives total time.

Step 2 — Arc length in terms of the curve. ds=dx2+dy2=1+y′2 dx,y′=dydxds = \sqrt{dx^2 + dy^2} = \sqrt{1 + y'^2}\,dx, \qquad y' = \frac{dy}{dx}

Why? Pythagoras on an infinitesimal step (dx,dy)(dx, dy).

Step 3 — Speed from energy conservation. Let the bead start at rest at height y=0y=0 and measure yy downward as positive. Energy conservation (no friction): 12mv2=mgy  ⇒  v=2gy\tfrac12 m v^2 = m g y \;\Rightarrow\; v = \sqrt{2gy}

Why? Kinetic energy gained = potential energy lost. Mass cancels — the answer is mass-independent.

Step 4 — Assemble the functional.  T[y]=∫0x11+y′22gy dx \boxed{\,T[y] = \int_{0}^{x_1} \frac{\sqrt{1+y'^2}}{\sqrt{2gy}}\,dx\,}

So our integrand (the "Lagrangian") is F(y,y′)=1+y′22gy.F(y, y') = \frac{\sqrt{1+y'^2}}{\sqrt{2gy}}.

HOW to minimize: Euler–Lagrange + Beltrami

Key shortcut: here FF has no explicit xx. For such cases there is a conserved quantity (the Beltrami identity):

HOW to solve the Beltrami equation

Compute Fy′F_{y'}: Fy′=12gy⋅y′1+y′2.F_{y'} = \frac{1}{\sqrt{2gy}}\cdot\frac{y'}{\sqrt{1+y'^2}}.

Then F−y′Fy′=1+y′22gy−y′22gy1+y′2=12gy1+y′2=C.F - y'F_{y'} = \frac{\sqrt{1+y'^2}}{\sqrt{2gy}} - \frac{y'^2}{\sqrt{2gy}\sqrt{1+y'^2}} = \frac{1}{\sqrt{2gy}\sqrt{1+y'^2}} = C.

Why this simplifies? The two terms share denominator 2gy1+y′2\sqrt{2gy}\sqrt{1+y'^2}; numerator becomes (1+y′2)−y′2=1(1+y'^2) - y'^2 = 1.

Squaring and absorbing 2g2g into the constant: y (1+y′2)=k(k=12gC2, a positive constant).y\,(1+y'^2) = k \qquad (k = \tfrac{1}{2gC^2}, \text{ a positive constant}).

This is the brachistochrone ODE. Solve by separation: y′=k−yy  ⇒  dx=yk−y dy.y' = \sqrt{\frac{k-y}{y}} \;\Rightarrow\; dx = \sqrt{\frac{y}{k-y}}\,dy.

Substitution y=k2(1−cos⁡θ)y = \tfrac{k}{2}(1 - \cos\theta) (so dy=k2sin⁡θ dθdy = \tfrac{k}{2}\sin\theta\,d\theta):

  • k−y=k2(1+cos⁡θ)k - y = \tfrac{k}{2}(1+\cos\theta), and yk−y=1−cos⁡θ1+cos⁡θ=tan⁡2(θ/2)\dfrac{y}{k-y} = \dfrac{1-\cos\theta}{1+\cos\theta} = \tan^2(\theta/2).
  • So dx=tan⁡(θ/2)⋅k2sin⁡θ dθ=k2(1−cos⁡θ) dθdx = \tan(\theta/2)\cdot\tfrac{k}{2}\sin\theta\,d\theta = \tfrac{k}{2}(1-\cos\theta)\,d\theta (using sin⁡θ=2sin⁡θ2cos⁡θ2\sin\theta = 2\sin\tfrac\theta2\cos\tfrac\theta2).
  • Integrate: x=k2(θ−sin⁡θ)x = \tfrac{k}{2}(\theta - \sin\theta).
Figure — Brachistochrone problem

WHY the cycloid wins (intuition)

Worked examples

Common mistakes

What curve is the brachistochrone?
A cycloid: x=r(θ−sin⁡θ), y=r(1−cos⁡θ)x=r(\theta-\sin\theta),\ y=r(1-\cos\theta).
What functional does the brachistochrone minimize?
Travel time T=∫1+y′22gydxT=\int \frac{\sqrt{1+y'^2}}{\sqrt{2gy}}dx.
Where does v=2gyv=\sqrt{2gy} come from?
Energy conservation 12mv2=mgy\tfrac12 mv^2=mgy (start from rest).
State the Beltrami identity and when it applies.
If ∂F/∂x=0\partial F/\partial x=0 then F−y′Fy′=CF-y'F_{y'}=C.
What first-order ODE results for the brachistochrone?
y(1+y′2)=ky(1+y'^2)=k (constant).
Why is a straight line not the fastest descent?
It keeps the bead slow early; diving steeply first gains speed that wins overall.
What is the tautochrone property?
On a cycloid, descent time to the bottom is independent of start height.
Time to slide from cusp to lowest point of a cycloid?
T=πr/gT=\pi\sqrt{r/g}.
Which field of math did this problem launch?
The calculus of variations.
Recall Feynman: explain to a 12-year-old

You have a marble and a slide, and you want it to reach the bottom corner as fast as possible. A straight ramp seems best because it's the shortest. But if you make the slide drop down steeply at the start, the marble speeds up super fast, and then it zooms across the rest. So a curvy slide that dips down quick — shaped like the path a dot on a bike wheel traces as it rolls — actually beats the straight one. Going a little farther but much faster wins the race!

Connections

  • Calculus of Variations — parent framework; this is its founding problem.
  • Euler-Lagrange equation — the master condition we reduced via Beltrami.
  • Cycloid — the solution curve; also the tautochrone.
  • Conservation of Energy — supplies v=2gyv=\sqrt{2gy}.
  • Fermat's Principle — analogous "least-time" idea in optics (Snell's law).
  • Lagrangian Mechanics — same variational machinery for physical motion.

Concept Map

asks for

answer is

founds

formulated as

built from

arc length

speed

gives

integrand

minimized by

no explicit x

solving yields

Brachistochrone problem

Curve of least time

Cycloid

Calculus of variations

Time functional T of y

dt equals ds over v

ds from Pythagoras

v from energy conservation

v equals sqrt of 2gy

Lagrangian F of y and y prime

Euler-Lagrange equation

Beltrami identity

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Socho ek bead (manka) ek frictionless taar par upar se neeche fisalta hai, point A se point B tak — jahan B seedha neeche nahi, thoda side mein hai. Sawaal ye hai: kaunsi shape ka taar bead ko sabse jaldi pohchayega? Aam soch kehti hai "straight line, kyunki shortest distance" — lekin ye galat hai! Sahi answer ek cycloid hai, yaani wo curve jo ek rolling wheel ke rim par lage point ka path hota hai.

Logic simple hai: time = distance / speed. Agar taar shuru mein hi steeply (tezi se) neeche gire, to bead jaldi speed pakad leta hai (kyunki v=2gyv=\sqrt{2gy} — jitna neeche, utni speed, energy conservation se). Phir wahi extra speed poore raaste mein faayda deti hai. Matlab "thoda lamba par bahut tez" jeet jaata hai "chhota par dheema" ke against. Isiliye dive-down-first wali cycloid winner hai.

Maths mein hum time ka functional T=∫1+y′2/2gy dxT=\int \sqrt{1+y'^2}/\sqrt{2gy}\,dx banate hain, aur ise minimize karne ke liye Euler–Lagrange equation use karte hain. Yahan ek shortcut hai: kyunki integrand FF mein explicit xx nahi hai, hum Beltrami identity F−y′Fy′=CF - y'F_{y'} = C laga sakte hain — isse seedha first-order ODE y(1+y′2)=ky(1+y'^2)=k mil jaata hai. Substitution y=r(1−cos⁡θ)y=r(1-\cos\theta) daalne par cycloid ka equation aa jaata hai.

Ye problem important kyun hai? Kyunki yahin se calculus of variations naam ki poori branch shuru hui — jahan hum ek poore function (curve) ko optimize karte hain, sirf ek number ko nahi. Yahi tool aage Lagrangian mechanics, optics (Fermat's least-time), aur physics ke har optimization problem mein kaam aata hai. Bonus: cycloid tautochrone bhi hai — kahin se bhi chhodo, neeche pohchne ka time same! Huygens ne isse perfect pendulum clock banayi thi.

Go deeper — visual, from zero

D1FoundationsEvery symbol from zero · 2,551 wordsD2Visual walkthroughThe derivation in pictures · 2,316 wordsD3Worked examplesEvery scenario covered · 3,108 wordsD4ExercisesGraded, full solutions · 2,416 wordsD5Question bankConcept traps, quick reveals · 1,439 words

Test yourself — Advanced Topics (Elite Level)

L1 RecognitionL2 RecallL3 ProductionL4 ApplicationL5 Mastery

Connections

Calculus of variations — functionals, functional derivativeMaths · 4.10.12Euler-Lagrange equation — derivationMaths · 4.10.13Conservation of mechanical energy — derivationPhysics · 1.3.8Calculus of variations — functionals, functional derivativeMaths · 4.10.12Euler-Lagrange equation — derivationMaths · 4.10.13Isoperimetric problems — constraints (Lagrange multipliers in variational sense)Maths · 4.10.16