y=x4x2y = x^4 - x^2

Graph of the Quartic Function y=x4x2y = x^4 - x^2

y=x4x2y = x^4 - x^2 is a W-shaped curve with two valleys and a hill between them. In physics it is the double-well potential, the standard shape used to explain symmetry breaking1. Where the bare y=x4y = x^4 has a single valley, subtracting x2x^2 splits its floor into two.

Domain and symmetry

The domain is all real numbers. Only even powers appear, so the function is even and the graph is symmetric about the yy-axis.

Intercepts

Factoring as x4x2=x2(x1)(x+1)x^4 - x^2 = x^2(x-1)(x+1) gives a double root at x=0x = 0 and simple roots at x=±1x = \pm 1. The curve touches the xx-axis at the origin and crosses it at ±1\pm 1.

Minimum by completing the square

Treating x2x^2 as a single quantity and completing the square gives the following.

x4x2=(x212)214x^4 - x^2 = \left(x^2 - \frac{1}{2}\right)^2 - \frac{1}{4}

The first term on the right is non-negative, so the minimum value is 14-\dfrac{1}{4}, attained when x2=12x^2 = \dfrac{1}{2}, that is at x=±12x = \pm\dfrac{1}{\sqrt{2}}. Getting both the depth and the position of the valleys without calculus is the appeal of this form.

Extrema and inflection

The derivative is y=4x32x=2x(2x21)y' = 4x^3 - 2x = 2x(2x^2 - 1) and the second derivative is y=12x22y'' = 12x^2 - 2.

xxyyRole
±12±0.707\pm\dfrac{1}{\sqrt{2}} \approx \pm 0.70714-\dfrac{1}{4}minimum
±16±0.408\pm\dfrac{1}{\sqrt{6}} \approx \pm 0.408536-\dfrac{5}{36}inflection
0000local maximum

The range is y14y \geq -\dfrac{1}{4}. The central hill rises 14\dfrac{1}{4} above the valleys, and that height is the barrier separating them. The curve is concave down between the inflection points and concave up outside.

Viewing it as a quadratic in x2x^2

Setting t=x2t = x^2 turns the function into y=t2ty = t^2 - t, a quadratic in tt whose vertex is at t=12t = \dfrac{1}{2} with value 14-\dfrac{1}{4}. That parabola has just one valley. But the map t=x2t = x^2 sends each positive tt back to two values of xx, and it is this folding that splits the single valley in two.

Sign of the x2x^2 coefficientVertex in ttShape in xx
negativet>0t > 0, reachabletwo valleys (W shape)
positivet<0t < 0, unreachablea single valley

Every even quartic that takes a W shape can be understood this way.

Symmetry breaking

The reason this shape matters in physics is that the formula is symmetric while the most stable state is not: something must choose one side or the other2. In Landau theory the free energy is written F=a(TTc)φ2+bφ4F = a(T - T_c)\varphi^2 + b\varphi^4; above the transition temperature the coefficient of φ2\varphi^2 is positive and there is one valley, while below it the coefficient turns negative and the double well appears.

A ferromagnet settling spontaneously into one direction of magnetisation as it cools is precisely this splitting of the valley, and the Higgs mechanism in particle physics rests on a potential of the same form.

Quantum mechanics

With two valleys, a classical particle that has fallen into one can never surmount the barrier. In quantum mechanics, however, tunnelling lets it move between them, and as a result the lowest energy level splits slightly into two. The inversion of the ammonia molecule is the classic example.

  1. Double-well potential, Wikipedia
  2. Spontaneous symmetry breaking, Wikipedia