Difference between revisions of "Sinc function"
(→Differentation) |
|||
Line 62: | Line 62: | ||
<math>\lim_{x \to 0} \frac{\sin x - x}{x^2} \stackrel{*}{=} \lim_{x \to 0} \frac{\cos x - 1}{2x} \stackrel{*}{=} \lim_{x \to 0} \frac{-\sin x}{2} = \frac{-\sin 0}{2} = 0</math> | <math>\lim_{x \to 0} \frac{\sin x - x}{x^2} \stackrel{*}{=} \lim_{x \to 0} \frac{\cos x - 1}{2x} \stackrel{*}{=} \lim_{x \to 0} \frac{-\sin x}{2} = \frac{-\sin 0}{2} = 0</math> | ||
+ | |||
+ | {{even function derivative at zero}} | ||
''Computation at <math>x \ne 0</math>'': At any such point, we know that the function looks like <math>(\sin x)/x</math> in an [[open interval]] about the point, so we can use the [[quotient rule for differentiation]], which states that: | ''Computation at <math>x \ne 0</math>'': At any such point, we know that the function looks like <math>(\sin x)/x</math> in an [[open interval]] about the point, so we can use the [[quotient rule for differentiation]], which states that: | ||
Line 70: | Line 72: | ||
<math>\frac{d}{dx}(\operatorname{sinc}\ x) = \frac{x \cos x - \sin x}{x^2}</math> | <math>\frac{d}{dx}(\operatorname{sinc}\ x) = \frac{x \cos x - \sin x}{x^2}</math> | ||
+ | |||
+ | Combining the two computations, we get: | ||
+ | |||
+ | <math>\operatorname{sinc}'(x) = \left\lbrace \begin{array}{rl} 0, & x = 0 \\ \frac{x \cos x - \sin x}{x^2}, & x \ne 0 \\\end{array}\right.</math> | ||
+ | |||
+ | ==Taylor series and power series== | ||
+ | |||
+ | ===Computation of power series=== | ||
+ | |||
+ | We use the power series for the [[sine function]] (see [[sine function#Computation of power series]]): | ||
+ | |||
+ | <math>\! \sin x := x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \dots = \sum_{k=0}^\infty \frac{(-1)^kx^{2k+1}}{(2k + 1)!}</math> | ||
+ | |||
+ | Dividing both sides by <math>x</math> (valid when <math>x \ne 0</math>), we get: | ||
+ | |||
+ | <math>\! \frac{\sin x}{x} = 1 - \frac{x^2}{3!} + \frac{x^4}{5!} - \frac{x^6}{7!} + \dots = \sum_{k=0}^\infty \frac{(-1)^kx^{2k}}{(2k+1)!}</math> | ||
+ | |||
+ | We note that the power series ''also'' works at <math>x = 0</math> (because <math>\operatorname{sinc} \ 0 = 1</math>), hence it works globally, and is the power series for the sinc function. |
Revision as of 13:12, 4 September 2011
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 .
Contents
Definition
This function, denoted , is defined as follows:
Key data
Item | Value |
---|---|
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. |
derivative | |
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. |
Graph
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:
Differentation
First derivative
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.
Computation at : At any such point, we know that the function looks like in an open interval about the point, so we can use the quotient rule for differentiation, which states that:
In this case, and , so we get:
Combining the two computations, we get:
Taylor series and power series
Computation of power series
We use the power series for the sine function (see sine function#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.