Parabola with absolute value

Consider the graph of y=x21y = |x^2 - 1|. It is the parabola y=x21y = x^2 - 1 with the part below the xx-axis, where 1<x<1-1 < x < 1, folded upward across the xx-axis.

Writing it by cases

RangeSign of x21x^2 - 1yyShape
x1|x| \geq 1zero or positivex21x^2 - 1concave up
x<1|x| < 1negative1x21 - x^2concave down, a hump

The second is a downward parabola forming a hump with its peak at (0,1)(0, 1). The range is y0y \geq 0: the function never takes a negative value.

The corners

At x=1x = -1 and x=1x = 1, where x21=0x^2 - 1 = 0, the graph reaches the xx-axis and turns with a corner, and there it is not differentiable. Just to the right of x=1x = 1 the slope is 2x=22x = 2, while just to the left the slope of y=1x2y = 1 - x^2 is 2x=2-2x = -2; the two do not agree. Taking an absolute value plants a corner wherever the original function crosses zero.

When a corner appears

In general the graph of y=f(x)y = |f(x)| is that of ff with everything below the xx-axis reflected above it. But at a zero where ff merely touches the axis without crossing it, the fold creates no corner.

FunctionBehavior at the zeroResult of folding
y=x21y = |x^2 - 1|crosses at x=±1x = \pm 1corners appear
y=x2y = |x^2|touches at x=0x = 0stays y=x2y = x^2, still smooth

Whether the sign actually changes is what decides whether a corner appears.

Counting the solutions

Read the real solutions of x21=k|x^2 - 1| = k as intersections with the horizontal line y=ky = k.

Range of kkNumber of real solutionsWhere they lie
k<0k < 000no intersection
k=0k = 022the corners x=±1x = \pm 1
0<k<10 < k < 144two on the hump, two outside
k=1k = 133the top of the hump and two outside
k>1k > 122the outer branches only

The count changes as the line passes the height 11 of the hump: it is the folded-up hump that multiplies the solutions.

Symmetry

y=x21y = |x^2 - 1| is an even function, symmetric about the yy-axis, because x21x^2 - 1 is even and taking an absolute value preserves the symmetry. The large dots mark the corners (1,0)(-1, 0) and (1,0)(1, 0) and the peak (0,1)(0, 1).