Cauchy Principal Value

See why symmetric cancellation defines a principal value but not an ordinary improper integral.

Cauchy Principal Value

An ordinary improper integral converges only if both independent limits (from the left and the right) converge separately. However, when evaluating the function 1/x across the origin, both one-sided integrals diverge to infinity, meaning the standard improper integral is undefined. The Cauchy Principal Value (PV) restores a finite result by linking the two limits through a symmetric cutoff \u03B5, balancing the negative and positive infinite areas against each other.

Worked Example

Consider the integral of f(x) = 1/x from a = -1 to b = 2.

If we evaluate the standard improper integral, we must take the limits independently:

Evaluate the left side: I_left = lim_{\u03B5→0⁺} ∫_-1^-\u03B5 (1/x) dx = lim_{\u03B5→0⁺} (ln|-\u03B5| - ln|-1|) = -∞
Evaluate the right side: I_right = lim_{\u03B4→0⁺} ∫_\u03B4² (1/x) dx = lim_{\u03B4→0⁺} (ln|2| - ln|\u03B4|) = ∞
Because both diverge, the integral is ordinarily divergent. To compute the Cauchy Principal Value, we enforce \u03B4 = \u03B5:
PV = lim_{\u03B5→0⁺} [∫_-1^-\u03B5 (1/x) dx + ∫_\u03B5² (1/x) dx]
= lim_{\u03B5→0⁺} [(ln(\u03B5) - ln(1)) + (ln(2) - ln(\u03B5))]
The ln(\u03B5) and -ln(\u03B5) terms cancel exactly, leaving:
Expected Result: PV = ln(2) ≈ 0.6931471805599453

Experiment

In the Cauchy Principal Value interactive module, observe how symmetric cancellation works:

Set the Left endpoint to -1 and Right endpoint to 2.
Set the Cutoff epsilon to 0.05 and the Right multiplier to 1 (meaning a symmetric cutoff).
Notice the Balanced principal value matches the truncated integral exactly: ~0.693.
Now change the Right multiplier to 2 (making the right cutoff 0.10). The path bias becomes -ln(2) ≈ -0.693.
The Truncated integral drops to 0.0, demonstrating that asymmetric limits yield a different value, which is why PV requires strict symmetry.

Limitations

The Cauchy Principal Value only assigns a value to the singularity by assuming a specific (symmetric) rate of approach from both sides. This value does not mean the standard Riemann or Lebesgue integral converges; it remains strictly divergent. Additionally, this module is restricted to f(x) = 1/x over finite endpoints [-2, 2] and simple linear cutoff paths to clearly illustrate the concept without arbitrary symbolic integration complexity. Precision is constrained by standard floating-point limits.

References

These references provide formal definitions and thorough analytical discussions on the properties of Cauchy principal value integrals and how they extend integration to otherwise singular functions.

NIST Digital Library of Mathematical Functions, Section 1.4: Integration- Explains the definition of Cauchy principal value integrals and their properties.

Cauchy Principal Value