Antiderivative Of The Absolute Value Of X

The antiderivative of theabsolute value of x, denoted as ∫|x| dx, presents a fascinating challenge in calculus due to the piecewise nature of the absolute value function. Unlike smooth functions, |x| has a sharp corner at x=0, leading to a unique antiderivative that reflects this discontinuity in its derivative. Understanding this requires dissecting the function into its two distinct pieces and carefully handling the behavior at the origin. This article provides a comprehensive exploration of this essential concept.

Introduction The absolute value function, |x|, defines the non-negative magnitude of a real number x. While its derivative is well-known (1 for x>0 and -1 for x<0, undefined at x=0), finding its antiderivative demands careful consideration. The antiderivative of |x|, often written as ∫|x| dx, is not simply x²/2 + C. Instead, it requires a piecewise definition that accounts for the function's behavior on the positive and negative x-axes. This article delves into the derivation, properties, and significance of this antiderivative.

The Derivative of |x| as a Foundation Before tackling the antiderivative, it's crucial to understand the derivative of |x|, which underpins the process:

• For x > 0, |x| = x, so d/dx(x) = 1.
• For x < 0, |x| = -x, so d/dx(-x) = -1.
• At x = 0, the derivative is undefined due to the sharp corner (left-hand limit is -1, right-hand limit is 1).

This discontinuity in the derivative is mirrored in the antiderivative, which must be continuous but have a "kink" at x=0.

Finding the Antiderivative: A Piecewise Approach To find ∫|x| dx, we split the integral at x=0, the point where the definition of |x| changes:

1. For x ≥ 0: |x| = x. Therefore, ∫x dx = (1/2)x² + C₁.
2. For x < 0: |x| = -x. Therefore, ∫(-x) dx = - (1/2)x² + C₂.

The constant of integration (C) differs for each piece. The antiderivative F(x) = ∫|x| dx must be continuous at x=0. This continuity condition forces a specific relationship between C₁ and C₂.

Ensuring Continuity at x=0 For F(x) to be continuous at x=0:

• The value from the left (x < 0) must equal the value from the right (x > 0) at x=0.
• F(0-) = - (1/2)(0)² + C₂ = C₂
• F(0+) = (1/2)(0)² + C₁ = C₁
• Therefore, C₁ = C₂.

Let this common constant be C. The antiderivative is then:

• F(x) = ∫|x| dx = { (1/2)x² + C if x ≥ 0 { - (1/2)x² + C if x < 0

This can be elegantly combined into a single expression: F(x) = (1/2) |x| x + C. Let's verify:

• For x ≥ 0: (1/2)|x|x = (1/2)(x)(x) = (1/2)x², matching the first piece.
• For x < 0: (1/2)|x|x = (1/2)(-x)(x) = (1/2)(-x²) = - (1/2)x², matching the second piece.

Thus, the compact formula ∫|x| dx = (1/2) x |x| + C is valid for all real x.

Graphical Representation and Properties The function F(x) = (1/2)x|x| + C is a smooth, continuous curve that passes through the origin. Its derivative is:

• For x > 0: d/dx[(1/2)x² + C] = x = |x|
• For x < 0: d/dx[- (1/2)x² + C] = -x = |x|
• At x = 0: The derivative is undefined, consistent with the behavior of |x|.

This function is symmetric about the y-axis (even function), meaning F(-x) = F(x), reflecting the symmetry of |x|. The constant C simply shifts the graph vertically.

Why This Antiderivative Matters Understanding the antiderivative of |x| is more than an academic exercise. It highlights a fundamental principle in calculus: the antiderivative of a piecewise-defined function is itself piecewise-defined, and continuity at the boundaries is paramount. This concept extends to more complex functions with discontinuities or sharp corners. It reinforces the connection between differentiation and integration, demonstrating how the integral "undoes" the derivative while respecting the function's inherent structure. Applications arise in physics (e.g., calculating work with absolute value forces), engineering, and any field modeling magnitude-based phenomena.

FAQ

1. Why isn't the antiderivative simply x²/2 + C? Because |x| behaves differently for negative x. Integrating -x for x<0 gives -x²/2, not x²/2. Using a single formula ignores this crucial difference.
2. Is the antiderivative of |x| continuous? Yes. The piecewise definition ensures F(x) = (1/2)x|x| + C is continuous everywhere, including at x=0.
3. Why is the derivative of |x| undefined at x=0? The left-hand and right-hand limits of the difference quotient (f(x+h)-f(x))/h as h->0+ and h->0- are different (-1 and 1), indicating a corner point, not a smooth curve.
4. Can I write the antiderivative as |x|x/2 + C? Yes. This is mathematically equivalent to (1/2)x|x| + C.
5. How do I verify my antiderivative? Differentiate F(x) = (1/2)x|x| + C. You should get |x| back.
6. What is the definite integral of |x| from -a to a? ∫ from -a to a |x| dx = ∫ from -a to 0 (-x) dx + ∫ from 0 to a x dx = [-(1/2)x²] from -a to