Abstract
The purpose of this paper is the evaluation of the Fourier transform of powers of the sinc function multiplied by monomials, also in the cases when log terms arise. Such evaluations appear only rarely in the literature. Some old sources are hardly available. Because of notations not in use today, several original works are difficult to read. We apply an approach by J. H. Michell in a variant of G. H. Hardy to integrals over sinc powers and their Fourier transforms. Moreover, the connection of such integrals with B‑splines is accentuated.
Similar content being viewed by others
1 Introduction
There are numerous methods to evaluate the so-called Dirichlet integral
In calculus lectures, one normally uses differentiation of the Laplace transform \(F\left(s\right)=\int_{0}^{+\infty}e^{-st}\text{sinc}\left(t\right)dt\) under the integral sign. It can be justified that \(F^{\prime}\left(s\right)=-\int_{0}^{+\infty}e^{-st}\sin\left(t\right)dt\). It is a nice exercise to evaluate \(F^{\prime}\left(s\right)=-1/\left(1+s^{2}\right)\) by applying standard procedures of integration. Taking its anti-derivative \(F\left(s\right)=\pi/2-\arctan\left(s\right)\), satisfying \(\lim_{s\rightarrow+\infty}F\left(s\right)=0\), yields the value \(F\left(0\right)=\pi/2\). Another common evaluation is via complex integration and residue theorem.
In 1909, G. H. Hardy [16] listed 7 proofs of the identity (1) and examined them with regard to their simplicity. He remarked that “Practically all methods of evaluating any definite integral depend ultimately upon the inversion of two or more operations of procedure to a limit.” In his opinion, such inversions “constitute what we may call the difficulty of the problem”. Hardy based his system of marking primarily upon them. Besides these marks he added “marks of artificiality, complexity, etc. The proof obtaining least marks is to be regarded as the simplest and best”. Hardy’s list comprises proofs given by Berry [3] and Nanson [21]. He added a further proof by Bromwich [7, §173, last line of Ex. 1] which “he had forgotten”. A couple of years later, in 1916, Hardy [17] extended his list by three more proofs of (1), given by Dixon, Bromwich and Whipple. Remarkable is a proof by J. H. Michell which was reported by Nanson [21] accompanying his own proof. Hardy claimed to have “used a proof, in teaching, which is in principle substantially the same […] though slightly more simple in details and arrangement, viz.:
The successive steps of the proof can of course be stated in a form free from \(i\) by merely taking the real part of the integrand.” Here it was used that \(\frac{\sin x}{x}=-\frac{1}{2}\int_{1}^{-1}e^{ixz}dz=-\frac{i}{2}\int_{0}^{\pi}e^{ixe^{it}}e^{it}dt\), where the path in the complex plane, parametrized by \(z=e^{it}\), joins 1 to \(-1\), when \(t\) increases through real values from 0 to \(\pi\). Hardy gave a justification of the inversion by the estimate
Recently, Hardy’s version of Michell’s proof was rediscovered in [6].
In a first step, we apply this approach to integrals over the powers of the sinc function \(\text{sinc}\left(t\right):=\left(\sin t\right)/t\),
There are several derivations of its values
The problem appears as an exercise in [26, Ex. 13, p. 123]. See also [2, 8, 12]. The numerators and denominators of the rational multiples of \(\pi\) in (3) are listed as A049330 and A049331, respectively, in the On-Line Encyclopedia of Integer Sequences [24]. Borwein and Borwein [4] studied the more general integrals
for real numbers \(a_{1},\ldots,a_{n}\) satisfying certain conditions and derived (3) as a special case. Further proofs can be found in [13] and [1] (see also [5]; further publications related to the matter are [15, 18, 20, 25]).
We show that the method of Michell and Hardy can be applied to evaluate the Fourier transform,
for integers \(n,m\) with \(0\leq m<n\). We highlight the relation to B‑splines. Note that, for even \(m\), \(\int_{0}^{+\infty}\frac{\sin^{n}t}{t^{n-m}}\cos\left(\xi t\right)dt\) and, for odd \(m\), \(\int_{0}^{+\infty}\frac{\sin^{n}t}{t^{n-m}}\sin\left(\xi t\right)dt\) can easily be obtained by inverse Fourier transform (see Eqs. (17) and (18)). The remaining cases are not easy to find in the literature. Therefore, they are explicitly evaluated in Sect. 4.
Integrals of this type were already published, in 1855, by Lobatschewskji [19] who studied \(\int_{0}^{+\infty}\left(\frac{\sin t}{t}\right)^{n}e^{-at}dt\), for \(a> 0\). Because of the notation not in use today, the original work is difficult to read. In 1860, Schlömilch [23] evaluated the integrals \(\int_{0}^{+\infty}\frac{\sin^{p}t}{t^{q}}dt\), even for real values of \(q> 0\). To this end he took advantage of the formulas
[23, Eqs. 16 and 17]. Schlömilch [23, Eqs. 18, 20, 21] presented explicit formulas for \(\int_{0}^{+\infty}\frac{\sin^{p}t}{t^{q}}dt\), apart of the case that \(p\) is an even integer and \(0<q\leq 1\), in which the integrals \(\int_{0}^{+\infty}\frac{\sin^{p}t}{t^{q}}dt\) are divergent [23, Eq. 19].
We note the Laplace transform of the powers of the absolute value of the sinc function, i.e., \(\left|\sin\left(t\right)/t\right|^{p}\), for exponents \(p\) with \(\Re\left(p\right)\geq 0\), was recently studied by Glasser [14]. In the special case that \(p\) is an even number, he derived a closed expression as a finite sum involving \(\log\) and \(\arctan\) functions [14, Eq. (1.13)].
In the special case \(\xi=0\) of Eq. (4) we obtain formulas for the integrals
which were derived in 1877 by J. Wolstenholme in the hardly accessible publication [27]. He calculated the integrals (5) by reduction to the integrals (1) and the Frullani-type integrals
(see [11, 1014]). A splendid source of such calculations is the fundamental treatise on integrals by Edwards [11]. Recursive formulas for the indefinite integrals of type (5) can be found in the first volume [11, 265]. Many interesting calculations are contained in the second volume [11, 1023ff]. Some of these methods are used in Sect. 5.
Complete formulas for the Fourier transform \(I_{n,m}\left(\xi\right)\) in the special case \(m=0\) appear in Oberhettinger’s table book [22, 5.12 on p. 20, 5.13 on p. 21, and 5.15, 5.16 on p. 134].
Historical remarks on the Fourier transform (4) and its connection to B‑splines can be found in [9, see Eqs. (2.1) and (2.4)].
The integrals (2), (5), (4) connected with the sinc function, i.e., \(I_{n}=\int_{0}^{+\infty}\left(\text{sinc}t\right)^{n}dt\), \(I_{n,m}\left(0\right)=\int_{0}^{+\infty}t^{m}\left(\text{sinc}t\right)^{n}dt\) and the Fourier transform \(I_{n,m}\left(\xi\right)=\int_{0}^{+\infty}t^{m}\left(\text{sinc}t\right)^{n}e^{i\xi t}dt\) have well-known values, for suitable integers \(n,m\). As already mentioned, the purpose of the present article is to extend and apply Michell’s and Hardy’s approach to the above mentioned integrals. All evaluations are explicitly given in terms of B‑splines and their derivatives. These formulas are well-known. It appears that in several cases \(\log\)-terms arise. However, proofs of the corresponding formulas are rarely to find in standard textbooks. Their proofs appear mostly in old sources which are difficult to read and not easy to access.
2 Theoretical background and notation
The unnormalized sinc function, also called sinus cardinalis, is defined by
With the value \(\text{sinc}\left(0\right):=\lim_{t\rightarrow 0}\text{sinc}\left(t\right)=1\), sinc is continuous on the whole real axis. In order to avoid confusion, we note that there are different notations. In digital signal processing and information theory, the normalized sinc function is commonly defined by \(\text{sinc}\left(t\right):=\left(\sin\pi t\right)/\left(\pi t\right)\) which will not be used in the following. The sinc function plays an important role in pure mathematics as well as in physics and engineering. When separating variables of the Helmholtz equation in spherical coordinates, the spherical Bessel functions \(j_{n}\) are solutions of the radial equation, where \(j_{n}\left(x\right)=\left(-x\right)^{n}\left(\frac{1}{x}\frac{d}{dx}\right)^{n}\text{sinc}\left(x\right)\). In particular, the zeroth spherical Bessel function \(j_{0}\left(x\right)=\text{sinc}\left(x\right)\) is the unnormalized sinc function. A further application in physics is diffraction from a slit. The Fraunhofer diffraction from a slit is the Fourier transform of a rectangular function (see (8)), which is a sinc function (see (9)). The irradiance (the radiant flux received by a surface per unit area) is then given in terms of \(\text{sinc}^{2}\).
The term “B-spline” was coined by Isaac Jacob Schoenberg and is short for basis spline. For a given set of distinct knots \(t_{0}<t_{1}<\cdots<t_{n}\), there are, up to a scaling factor, unique splines \(B_{i,n}\left(x\right)\) of order \(n\) with compact support \(\left[t_{i},t_{i+n}\right]\). Choosing the scaling factors such that \(\sum_{i}B_{i,n}\left(x\right)=1\) for \(t_{0}<x<t_{n}\), the resulting \(B_{i,n}\left(x\right)\) are called B‑splines. They can easily be determined by the Cox–de Boor recursion formula [10, p. 90, Eqs. (14) and (15)]. A direct representation is given by
where the \(n\)-th divided difference \(\left[t_{0},\ldots,t_{n}\right]\) applies to the variable at the placeholder. Here \(x_{+}^{r}\) denotes the truncated power function, defined, for \(r\in\mathbb{N}\), by \(x_{+}^{r}=x^{r}\left(x\geq 0\right)\) and \(x_{+}^{r}=0\left(x<0\right)\). In the case \(r=0\), one defines \(x_{+}^{0}=1\left(x> 0\right)\), \(0_{+}^{0}=1/2\) and \(x_{+}^{0}=0\left(x<0\right)\). Note that the function \(f\left(x\right)=\left(x-x_{0}\right)_{+}^{r}\) is a piecewise polynomial with one break, at \(x_{0}\), and is continuous at \(x_{0}\) in the case \(r> 0\), while, for \(r=0\), it has a jump across \(x_{0}\), of size \(1\). Since \(f^{\prime}\left(x\right)=r\left(x-x_{0}\right)_{+}^{r-1}\), we see that \(f\) has \(r-1\) continuous derivatives, with a jump in the \(r\)th derivative across \(x_{0}\), of size \(r!\).
Recalling the formula \(\left[t_{0},\ldots,t_{n}\right]f=\sum_{k=0}^{n}f\left(t_{k}\right)\prod_{j=0,j\neq k}^{n}\left(t_{k}-t_{j}\right)^{-1}\), formula (6) provides the explicit form
Cardinal B‑splines have knots that are equidistant from each other. If \(t_{i+1}-t_{i}=h> 0\), for all \(i\), the \(B_{i,n}\left(x\right)\) are just shifted copies of each other.
The close connection between sinc integrals and B‑splines has its origin in the fact that the Fourier transform of the sinc function is, up to scaling factors, the rectangular function,
The inverse transform
can easily be verified. The rectangular function is just the central B‑spline \(M_{1}\) of first order. Note that in the theory of splines \(M_{1}\) can be defined such that \(M_{1}\left(x\right)\neq\text{rect}\left(x\right)\), for \(\left|x\right|=1/2\). The central B‑splines are the cardinal B‑splines, which arise if we choose the knots \(t_{i}=-n/2+i\left(i=0,\ldots,n\right)\). They are the Fourier transforms of the powers of the sinc function,
In the special case \(n=1\), this formula reduces to (8), i.e., \(M_{1}\left(x\right)=\text{rect}\left(x\right)\). Direct computation verifies that
where \(M_{n}\) has compact support \(\left[-n/2,n/2\right]\) with \(M_{n}\left(x\right)> 0\), for \(-n/2<x<n/2\). Noting that \(\int_{-\infty}^{+\infty}M_{1}\left(t\right)dt=1\), mathematical induction shows that \(\int_{-\infty}^{+\infty}M_{n}\left(t\right)dt=1\), for all \(n\in\mathbb{N}\). Application of (7) shows that the integrals (10) possess the explicit representation
Thus, the rectangular function can be written in the form \(\text{rect}\left(x\right)=M_{1}\left(x\right)=\left(x+\frac{1}{2}\right)_{+}^{0}-\left(x-\frac{1}{2}\right)_{+}^{0}\).
The integer translates of the function \(M_{n}\left(x\right)\) form a basis in the sense that every spline function \(S_{n}\left(x\right)\) of order \(n\), namely a function which has a continuous derivative of order \(n-2\) on the real axis, and reduces on each interval \(\left(k-n/2,k+1-n/2\right)\), \(k\in\mathbb{Z}\), to a polynomial of degree \(n-1\), can be uniquely represented in the form
with appropriate constant coefficients \(c_{k}\). Conversely, any such series represents a spline of order \(n\) (see [9, p. 139]).
For our purposes it appears to be more convenient to consider the cardinal B‑splines with knots \(t_{i}=i\left(i=0,\ldots,n\right)\), i.e.,
Then,
Eq. (8) can be rewritten in the form
where
More generally, Eq. (10) can be rewritten in the form
We emphasize the fact that the subsequent sections do not take advantage of the results presented in this section. In order to keep the exposition self-contained, we shall use in the following only elementary theorems like Taylor formula and the Riemann–Lebesgue lemma.
3 The evaluation of \(I_{n}\)
The aim of this section is a short proof of (3) using only elementary methods by reducing the integrals (2) to (1). The tools used are the forward differences with step 1,
and the Taylor formula with remainder in integral form,
Since \(\Delta^{n}p\left(x\right)=0\), for each polynomial \(p\) of degree at most \(n-1\), the Taylor formula and Eq. (11) yield
where
Now we are in position to prove (3).
Proof of Formula ( 3 )
For \(t> 0\), we have, by (12),
where \(g_{t}\left(z\right):=e^{2itz}\). Integrating with respect to \(t\), we obtain, for \(x> 0\),
because the integral has a real value. Observe that
where \(h\) is a bounded function and \(h\left(0\right)=B_{n-1}^{\prime}\left(\frac{n}{2}\right)/2\). Hence,
Passing to the limit \(x\rightarrow+\infty\), the first integral tends to zero, by the Riemann–Lebesgue lemma, and a change of variable leads to
which in view of (13) proves (3).
Remark 1
Note that the above proof derives, as a by-product, the well-known representation of the powers of \(\text{sinc}\left(t\right):=\left(\sin t\right)/t\), as a finite Fourier transform
Remark 2
An alternative approach is as follows. Note that \(\Delta^{n}g_{t}\left(0\right)=n!\left[0,1,\ldots,n\right]g_{t}\left(0\right)\). For real numbers \(z_{0},\ldots,z_{n}\) satisfying \(z_{0}<\cdots<z_{n}\), the divided differences \(\left[z_{0},\ldots,z_{n}\right]f\) possess the Peano form
where the Peano kernel \(B_{n-1}\) is a (cardinal) B‑spline of degree \(n-1\) for the data points \(z_{0},\ldots,z_{n}\), normalized such that
In particular, for \(z_{k}=k\left(k=0,\ldots,n\right)\),
which is equivalent to Eq. (13). This can be seen by an easy manipulation noting that \(\sum_{k=0}^{n}\left(-1\right)^{n-k}\binom{n}{k}P\left(k\right)=0\), for each polynomial \(P\) of degree less than \(n\) (see Lemma 2).
Using integration by parts repeatedly and noting that the B‑spline of degree \(n-1\) satisfies \(B_{n-1}^{\left(k\right)}\left(0\right)=B_{n-1}^{\left(k\right)}\left(n\right)=0\), for \(k=0,\ldots,n-2\), yield, for \(m\leq n-1\),
Hence, Eq. (14) implies the finite Fourier transform
For \(n-m\geq 2\), inverse Fourier transform yields
If \(m\) is even, we infer that
In particular, for \(\xi=0\),
Differentiating Eq. (13) \(m\) times, we obtain the more explicit expression
In the special case \(m=0\), this formula reduces to Eq. (3).
If \(m\) is odd, we conclude that
The corresponding integrals (17), for odd \(m\), and (18), for even \(m\), will be evaluated in the next section.
We close this section with some consequences. These formulas deliver several interesting relations between the sinc integrals and the B‑splines. For instance, we put \(\xi=2\) in Eq. (17). Using \(\cos\left(2t\right)=1-2\sin^{2}t\), we obtain, for even \(m\) and \(n\geq m+2\),
which can be considered as a representation of a derivative value of the B‑spline in terms of integrals. It follows that
Multiplying this equation with \(2^{k}\) and summing up, leads to
Finally, we infer that
4 More general reduction formulas
In this section we demonstrate that the approach of the Sect. 3 can be applied also to the integrals (5). More generally, we consider, for integers \(n,m\) with \(0\leq m<n\), the Fourier transform (4), i.e.,
For information about earlier appearances of the emerging formulas we refer to the introductory Sect. 1.
First we state the result in the special case \(m=0\).
Theorem 1
For integers \(n\geq 2\) and \(\xi\in\mathbb{R}\), the value of \(I_{n,0}\left(\xi\right)\) is given by
In the latter sum and in the following, the expression \(w^{p}\log\left|w\right|\) is to be read as zero if \(w=0\) and \(p> 0\).
Remark 3
Since \(B_{n-1}\left(z\right)=0\), for all real \(z\notin\left(0,n\right)\), we infer that the Fourier transform of the function \(\text{sinc}^{n}\) has purely imaginary values outside of the interval \(\left(-n,n\right)\).
Remark 4
The symmetry \(B_{n-1}\left(\frac{n+\xi}{2}\right)=B_{n-1}\left(\frac{n-\xi}{2}\right)\) and the identity
which can be verified by reversing the order of summation, reflect the fact that \(I_{n,m}\left(-\xi\right)\) is the complex conjugate of \(I_{n,m}\left(\xi\right)\).
Finally, we give the evaluation of \(I_{n,m}\left(\xi\right)\), for arbitrary \(m\geq 0\).
Theorem 2
For nonnegative integers \(n,m\) with \(n-m\geq 2\) and \(\xi\in\mathbb{R}\), it holds
We list resulting evaluations for some real integrals. In the case of even \(m\), we recover the cosine transform (17) and
In the case of odd \(m\), we recover the sine transform (18) and
In particular, for \(\xi=0\),
For the proof of the theorems we need three auxiliary results.
Lemma 1
For nonnegative integers \(n,m\) , there are certain real numbers \(c_{m}\) , such that, for \(x> 0\) ,
The proof by mathematical induction with respect to \(m\) is left to the reader.
Lemma 2
Let \(n\) be a positive integer. For each polynomial \(P\) of degree less than \(n\) , it holds
Proof
A polynomial \(P\) of degree less than \(n\) in the variable \(k\) can be written as a linear combination of binomial coefficients \(\binom{k}{r}\) with \(0\leq r<n\). Then the assertion follows from \(\sum_{k=0}^{n}\left(-1\right)^{k}\binom{n}{k}\binom{k}{r}=\binom{n}{r}\sum_{k=r}^{n}\left(-1\right)^{k}\binom{n-r}{k-r}=0\) because \(n> r\).
Lemma 3
For \(0<a<b\) , it holds
and
Proof
Let \(x> 0\). We start with the latter formula:
For sufficiently small \(\delta> 0\), we have
The other formulas follow in a similar manner.
Now we are in position to prove the theorems.
Proof of Theorem 1
We have to prove that
A direct consequence of Eq. (14) is
Integrating with respect to \(t\), we obtain, for \(x> 0\),
Using the representation (15) we obtain
Note that, for \(k=n\), the integration interval has length zero. By the binomial formula, we have
By the Riemann–Lebesgue lemma, we obtain
where \(P_{n,\xi,j}\) is a polynomial of degree at most \(j\) in the variable \(k\). Therefore, by Lemma 2, \(\sum_{k=0}^{n}\left(-1\right)^{k}\binom{n}{k}\left(-\xi+n-2k\right)^{n-1-j}P_{n,\xi,j}\left(k\right)=0\), for \(j=1,\ldots,n-1\). Hence,
Now we study the limits \(\lim_{x\rightarrow+\infty}\int_{2k-n+\xi}^{n+\xi}\frac{e^{ixz}-1}{iz}dz\), for \(0\leq k<n\). The desired formula for \(I_{n,0}\left(\xi\right)\) can be deduced from Lemma 3. For each real \(\xi\notin\left(-n,n\right)\), we have \(2k-n+\xi<n+\xi<0\) or \(0<2k-n+\xi<n+\xi\), such that
implies, by Eq. (20),
Here we used that \(\sum_{k=0}^{n}\left(-1\right)^{n-k}\binom{n}{k}\left(\xi-n+2k\right)^{n-1}\log\left|n+\xi\right|=0\), by Lemma 2. Next let us consider the case \(-n\leq\xi\leq n\). We can exclude the case when the lower integration limit \(2k-n+\xi\) takes the value zero. If \(2k=n-\xi\), the integral \(\int_{2k-n+\xi}^{n+\xi}\frac{e^{ixz}-1}{iz}dz\) has factor zero and does not occur in Eq. (20). In the case \(-n<\xi\leq n\) the limit \(\lim_{x\rightarrow+\infty}\int_{2k-n+\xi}^{n+\xi}\frac{e^{ixz}-1}{iz}dz\) depends on the conditions \(2k> n-\xi\) or \(2k<n-\xi\). By Eq. (20) and Lemma 3, we infer that
Note that, by Lemma 2 and Eq. (13), the latter sum is equal to
The remaining case \(\xi=-n\) can be deduced by taking advantage of the fact that \(I_{n,0}\left(-\xi\right)\) is the complex conjugate of \(I_{n,0}\left(\xi\right)\), as was mentioned in Remark 4. Instead of this, we treat the case \(\xi=-n\) by direct calculation. For \(\xi=-n\), Eq. (20) reads
Since \(\left(2n-2k\right)^{n-1}=0\), for \(k=n\), and \(2k-2n\leq-2\), for \(0\leq k<n\), Lemma 2 and Lemma 3 imply that
which is the desired value of \(I_{n,0}\left(\xi\right)\), for \(\xi=-n\), since \(B_{n-1}\left(n\right)=0\).
Proof of Theorem 2
When we differentiate the formula for \(I_{n,0}\left(\xi\right)\), which is given in Theorem 1, \(m\) times with respect to \(\xi\), the general case follows after application of Lemma 1 and Lemma 2.
5 A further approach
In this section the method presented and developed in [11, Art. 1031] is used. If \(p\) and \(q\) are positive integers and \(2\leq q\leq p\), the integral
can be investigated by a method which does not entail the successive calculation of previous results of the same form leading up to this integral, as was done in [11, Art. 1023]. Taking advantage of the identity
we obtain
For \(p\geq 2\), repeated application of the recursive formula
leads to
and
These integrals can be evaluated by partial fraction decomposition (see [11, Arts. 162 to 165]). In the two cases \(p,q\) both even or \(p,q\) both odd the emerging integrals are of the form \(\int_{0}^{+\infty}\frac{1}{z^{2}+k^{2}}dz=\frac{\pi}{2k}\), but in the remaining cases the integrals are logarithmic.
References
Abel, U.: Integration von sinc-Produkten mit funktionentheoretischen Methoden. Math. Semesterber. 61, 153–158 (2014). https://doi.org/10.1007/s00591-013-0122-0
Baillie, R., Borwein, D., Borwein, J.M.: Surprising sinc sums and integrals. Am. Math. Mon. 115, 888–901 (2008)
Berry, A.: A note on the integral \(\int_{0}^{\infty}\frac{\sin x}{x}dx=\frac{\pi}{2}\). Messenger 2(37), 61–62 (1907)
Borwein, D., Borwein, J.M.: Some remarkable properties of sinc and related integrals. Ramanujan J. 5(1), 73–89 (2001). https://doi.org/10.1023/A:1011497229317
Bradley, D.M.: Some remarks on sine integrals and their connection with combinatorics, geometry and probability. Analysis 22, 219–224 (2002). https://doi.org/10.1524/anly.2002.22.2.219
Bradley, D.M.: Note on Dirichlet’s sinc integral. Am. Math. Mon. 128(3), 273–274 (2021). https://doi.org/10.1080/00029890.2021.1856585
Bromwich, T.J.I.A.: An introduction to the theory of infinite series. Macmillan, London, New York (1908)
Butler, R.: On the evaluation \(\int_{0}^{+\infty}\left(\sin^{m}t\right)/t^{m}dt\) by the trapezoidal rule. Am. Math. Mon. 67, 566–569 (1960). https://doi.org/10.2307/2309178
Butzer, P.L., Schmidt, M., Stark, E.L.: Observations on the history of central B‑Splines. Arch. Hist. Exact Sci. 39, 137–156 (1988). https://doi.org/10.1007/BF00348440
De Boor, C.: A practical guide to splines. Applied mathematical sciences, vol. 27. (1978)
Edwards, J.: A treatise on the integral calculus with applications, examples and problems. Macmillan, London (1922). Vol. I (1921), II (1922)
Fettis, H.E.: More on the calculation of the integral \(I_{n}\left(b\right)=\frac{2}{\pi}\int_{0}^{+\infty}\left(\frac{\sin x}{x}\right)^{n}\cos\left(bx\right)dx\). Math. Comp. 21(100), 727–730 (1967)
Frank, R., Riede, H.: Die Berechnung des Integral \(\int_{-\infty}^{+\infty}\left(\prod_{k=1}^{n}\frac{\sin\left(a_{k}x\right)}{a_{k}x}\right)\cos\left(bx\right)dx\). Math. Semesterber. 61, 145–151 (2014)
Glasser, M.L.: A note on the Laplace transform of \(\left|\sin(x)/x\right|^{p}\). Sci. Ser. A: Math. Sci. 31, 57–60 (2021)
Grimsey, A.H.R.: XL. On the accumulation of chance effects and the Gaussian frequency distribution. Lond. Edinb. Dublin Philos. Mag. J. Sci. 36(255), 294–295 (1945). https://doi.org/10.1080/14786444508521508
Hardy, G.H.: The integral \(\int_{0}^{\infty}\frac{\sin x}{x}dx=\frac{\pi}{2}\). Math. Gaz. 5(80), 98–103 (1909). https://doi.org/10.2307/3602798
Hardy, G.H.: Further remarks on the integral \(\int_{0}^{\infty}\frac{\sin x}{x}dx=\frac{\pi}{2}\). Math. Gaz. 8(124), 301–303 (1916). https://doi.org/10.2307/3604806
Jolany, H.: An extension of the Lobachevsky formula. Elem. Math. 73(3), 89–94 (2018)
Lobatschewskji, N.: Ueber den Werth einiger bestimmten Integrale. In: Erman, A. (ed.) Archiv für wissenschaftliche Kunde von Russland, vol. 14. (1855). Translated from the Russian
Medhurst, R.G., Roberts, J.H.: Evaluation of the integral \(I_{n}\left(b\right)=\frac{2}{\pi}\int_{0}^{\infty}\left(\frac{\sin x}{x}\right)^{n}\cos\left(bx\right)dx\). Math. Comp. 19, 113–117 (1965)
Nanson, E.J.: A note on the integral \(\int_{0}^{\infty}\frac{\sin x}{x}dx=\frac{\pi}{2}\). Messenger 2(37), 113–114 (1907)
Oberhettinger, F.: Tables of Fourier transforms and Fourier transforms of distributions. Springer, Berlin (1990)
Schlömilch, O.X.: Ueber das bestimmte Integral \(\int_{0}^{\infty}\frac{\sin^{p}x}{x^{q}}dx\). Z. Math. Phys. 5, 286–292 (1860)
The on-line encyclopedia of integer sequences. https://oeis.org. Accessed 25 August 2022.
Thompson, R.: Evaluation of \(I_{n}\left(b\right)=2\pi^{-1}\int_{0}^{\infty}\left(\frac{\sin x}{x}\right)^{n}\cos\left(bx\right)dx\) and of similar integrals. Math. Comp. 20, 330–332 (1966)
Whittaker, E.T., Watson, G.N.: A course of modern analysis, 4th edn. Cambridge University Press, London (1967)
Wolstenholme, J.: Investigation of the value of \(\int_{0}^{\infty}\frac{\sin^{p}x}{x^{m}}dx\), when \(p,m\) are whole numbers, and \(p> m\). Educ. Times XXV, 70–72 (1877)
Acknowledgements
The authors are grateful to the Editor-in-Chief for the advice to insert a section that introduces the reader to the topic, the background, and the applications. The added Sect. 2 improves the exposition of the manuscript. Furthermore, they thank the anonymous reviewer for valuable comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Conflict of interest statement
Not Applicable.
Additional information
The authors contributed equally to this work.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abel, U., Kushnirevych, V. Sinc integrals revisited. Math Semesterber 70, 147–164 (2023). https://doi.org/10.1007/s00591-023-00342-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00591-023-00342-5