Absolute value functions (HL)

f(x)={xif x0xif x<0f(x) = \begin{cases} x &\text{if } x \geq 0 \\ -x &\text{if } x <0\end{cases}

When evaluated over a value, it returns the (non-negative) distance from zero.

The analogous modulus is defined for a complex number.

Contents

Properties

ab=ab\lvert a\rvert \cdot \lvert b\rvert = \lvert ab \rvert
xk    distance to k\lvert x - k \rvert \;\; \text{distance to }k
x+k    distance to k\lvert x + k \rvert \;\; \text{distance to }-k
x2=x2    (for real x)\lvert x\rvert^2 = x^2 \;\; (\text{for real }x)

Composition of absolute value and functions

This extends ideas from composite functions to involve the absolute value function.

f(x)\bm{f(\lvert x\rvert)}

This composition throws away the left half of f(x)f(x) where x<0x < 0, and creates an even function using the x0x \geq 0 portion.

Unless originally f(0)=0f'(0) = 0, this new function is not differentiable at x=0x = 0.

Also the new function has the same range as f(x),x0f(x), x \geq 0.

Conceptually, f(x)f(\lvert x\rvert) converts dependence on position into dependence on distance.

f(x)\bm{\lvert f(x)\rvert}

This composition reflects every portion of f(x)<0f(x) < 0 across the xx-axis to make the entire range non-negative.

If ff is an odd or even function, then f(x)\lvert f(x)\rvert is an even function.

This typically creates non-differentiable points at each zero or xx-intercept. Be care when doing calculus by hand on f(x)\lvert f(x)\rvert.

The distance traveled while following some one-dimensional velocity function v(t)v(t) from time t1t_1 to t2t_2 is the unsigned area under the absolute value of the velocity function.

distance traveled=t1t2v(t)dt\text{distance traveled} = \int_{t_1}^{t_2} \lvert v(t)\rvert \d t

Solving absolute value equations and inequalities

ax+bkcx+d\bm{\lvert ax + b\rvert \geq k\lvert cx + d\rvert}

As surprising as it may sound, many absolute value linear inequalities can involve quadratics.

Example: Solve 2x5>4\lvert -2x - 5\rvert > 4.


Factoring out a 1\lvert-1\rvert, yields

2x5>42x+5>4(2x+5)2>42(2x+9)(2x+1)>0from (a+b)(ab)=a2b2\begin{align*} \lvert-2x -5\rvert &> 4 \\ \lvert 2x + 5\rvert &> 4 \\ (2x + 5)^2 &> 4^2 \\ (2x + 9)(2x + 1) &> 0 & \text{from }(a+b)(a-b)=a^2-b^2 \end{align*}

With the shape of the upward-opening quadratic in mind, the solution is

x<92    and    x>12x < -\frac{9}{2} \;\; \text{and} \;\; x > -\frac{1}{2} \qed

If it is instead finding ax+b<k\lvert ax + b \rvert < k then instead you need the single interval between the two roots of the equality.


Example: Solve 3x+82x2\lvert 3x + 8\rvert \leq 2\lvert x - 2\rvert.


3x+822x2(3x+8)2(2(x2))2(3x+8+(2x4))(3x+8(2x4))0(5x+4)(x+12)0\begin{align*} \lvert3x + 8\rvert^2 &\leq 2\lvert x - 2\rvert \\ (3x + 8)^2 &\leq \left(2(x-2)\right)^2 \\ \left(3x + 8 + (2x - 4)\right)\left(3x + 8 - (2x - 4)\right) &\leq 0 \\ (5x + 4)(x + 12) &\leq 0 \end{align*}

With the shape of the upward-opening quadratic in mind, the solution is

12x45-12 \leq x \leq -\frac{4}{5} \qed

One way to check the solutions is to substitute in different values, as you would after solving an equation or inequality.

f(x)k\bm{\lvert f(x)\rvert \geq k}

If asking to solve f(x)k,k0\lvert f(x)\rvert \geq k, \, k \geq 0, then solutions satisfy

either f(x)k or f(x)k\textbf{either } f(x) \geq k \text{ or } f(x) \leq -k

If asking to solve f(x)k,k0\lvert f(x)\rvert \leq k, \, k \geq 0, then solutions satisfy

both f(x)k and f(x)k\textbf{both } f(x) \leq k \text{ and } f(x) \geq -k

Strategy to solve absolute value equations

Get the absolute value(s) on one side, and square both sides, to turn an linear equation into a quadratic. In some cases, you may need to square both sides twice, while doing some simplification in between and afterwards.

Check all solutions at the end to verify it solves the original equation.

Strategy to solve absolute value inequalities

First solve the equality.

For each interval separated by the roots of the equality, test a value and see if it satisfies the original equation.