The absolute value of a real number is denoted and defined as the "unsigned" portion of ,
(1)
| |||
(2)
|
where is the sign function. The absolute value is therefore always greater than or equal to 0. The absolute value of for real is plotted above.
The absolute value of a complex number , also called the complex modulus, is defined as
(3)
|
This form is implemented in the Wolfram Language as Abs[z] and is illustrated above for complex .
Note that the derivative (read: complex derivative) does not exist because at every point in the complex plane, the value of the derivative of depends on the direction in which the derivative is taken (so the Cauchy-Riemann equations cannot and do not hold). However, the real derivative (i.e., restricting the derivative to directions along the real axis) can be defined for points other than as
(4)
|
As a result of the fact that computer algebra languages such as the Wolfram Language generically deal with complex variables (i.e., the definition of derivative always means complex derivative), correctly returns unevaluated by such software.
Note that the notation is commonly used to denote the complex modulus, p-adic norm, or general valuation. In this work, the norm of a vector is also denoted , although the notation is also in common use.
The notations for the floor function , nearest integer function , and ceiling function are similar to that used for the absolute value.
The unit square integral of the absolute value of the difference of two variables taken to the power is given by
(5)
|
for , which has values for , 1, ... of 1, 1/3, 1/6, 1/10, 1/15, 1/21, ..., i.e., one over the triangular numbers (OEIS A000217), for , 2, .... This sort of integral arises in the study of the Casimir effect (Milton and Ng 1998, eqn. 3.15; Milton 1999, p. 32, eqn. 3.33).
Similarly, for ,
(6)
|
giving the first few values for , 1, ... of 1, 1, 7/6, 3/2, 31, 15, 3, ... (OEIS A116419 and A116420).