This article is about a particular function from a subset of the real numbers to the real numbers. Information about the function, including its domain, range, and key data relating to graphing, differentiation, and integration, is presented in the article.
View a complete list of particular functions on this wiki
For functions involving angles (trigonometric functions, inverse trigonometric functions, etc.) we follow the convention that all angles are measured in radians. Thus, for instance, the angle of is measured as .
This function, denoted , is defined as follows:
|default domain||all real numbers, i.e., all of .|
|range||the closed interval where is approximately .|
|period||none; the function is not periodic|
|horizontal asymptotes||, i.e., the -axis. This is because , which in turn can be deduced from the fact that the numerator is bounded while the magnitude of the denominator approaches .|
|local maximum values and points of attainment|| The local maxima occur at points satisfying and or for a positive integer.|
There is an anomalous local maximum at with value 1. Apart from that, the other local maxima occur at points of the form where is fairly close to for all . The local maximum value at this point is slightly more than .
|local minimum values and points of attainment|| The local minima occur at points satisfying and or for a positive integer.|
The local minima occur at points of the form where is fairly close to for all . The local minimum value at this point is slightly less than .
|points of inflection||Fill this in later|
|important symmetries||The function is an even function, i.e., the graph has symmetry about the -axis.|
|antiderivative||the sine integral (this is defined as the antiderivative of the sinc function that takes the value 0 at 0)|
|power series and Taylor series|| The power series about 0 (which is also the Taylor series) is|
The power series converges globally to the function.
Below is a graph of the function for the domain restricted to :
The picture is a little unclear, so we consider an alternative depiction of the graph where the -axis and -axis are scaled differently to make it clearer:
Computation at :
WARNING ON ERRONEOUS DIFFERENTIATION APPROACH: Suppose a function is given a separate definition at an isolated point from the definition at points surrounding it (on its immediate left or immediate right). To compute the derivative, it is not correct to simply differentiate the definition at the point and arrive at the derivative. Rather, we need to compute the derivative from first principles as a limit of a difference quotient, where the function value at the point is taken as the specified value and the function value at nearby points is given by the expression used to define the function around the point.
Here, we need to compute the derivative using first principles, as a limit of a difference quotient:
This limit can be computed in many ways. For instance, it can be computed using the L'Hopital rule:
DERIVATIVE OF EVEN FUNCTION AT ZERO: For an even function, if the function is differentiable at zero, then the derivative at zero is zero. However, it is possible for an even function to not be differentiable at zero, so we cannot directly conclude merely from the function being even that its derivative at zero is zero.
In this case, and , so we get:
Combining the two computations, we get:
Taylor series and power series
Computation of power series
Dividing both sides by (valid when ), we get:
We note that the power series also works at (because ), hence it works globally, and is the power series for the sinc function.