1 Algebraic and Analytic Methods Topics of Discussion 1.14 Integral Transforms 1.16 Distributions

§1.15 Summability Methods

ⓘ

Keywords:: infinite series, summability methods
Permalink:: http://dlmf.nist.gov/1.15
See also:: Annotations for Ch.1

§1.15(i) Definitions for Series
§1.15(ii) Regularity
§1.15(iii) Summability of Fourier Series
§1.15(iv) Definitions for Integrals
§1.15(v) Summability of Fourier Integrals
§1.15(vi) Fractional Integrals
§1.15(vii) Fractional Derivatives
§1.15(viii) Tauberian Theorems

§1.15(i) Definitions for Series

ⓘ

Referenced by:: §1.15(ii)
Permalink:: http://dlmf.nist.gov/1.15.i
See also:: Annotations for §1.15 and Ch.1

1.15.1 $s_{n}=\sum_{k=0}^{n}a_{k}.$

ⓘ

Symbols:: : integer and : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E1
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15 and Ch.1

Abel Summability

ⓘ

Keywords:: Abel, Abel summability, summability methods for series
See also:: Annotations for §1.15(i), §1.15 and Ch.1

1.15.2 $\sum^{\infty}_{n=0}a_{n}=s\;\;\;\textit{(A)},$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E2
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

1.15.3 $\lim_{x\to 1-}\sum^{\infty}_{n=0}a_{n}x^{n}=s.$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E3
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

Cesàro Summability

ⓘ

Keywords:: Cesàro, Cesàro summability, summability methods for series
See also:: Annotations for §1.15(i), §1.15 and Ch.1

1.15.4 $\sum^{\infty}_{n=0}a_{n}=s\;\;\;\textit{(C,1)},$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E4
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

1.15.5 $\lim_{n\to\infty}\frac{s_{0}+s_{1}+\dots+s_{n}}{n+1}=s.$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E5
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

General Cesàro Summability

ⓘ

Keywords:: Cesàro, general, summability methods for series
See also:: Annotations for §1.15(i), §1.15 and Ch.1

For $\alpha>-1$ ,

1.15.6 $\sum^{\infty}_{n=0}a_{n}=s\;\;\;\textit{(C,$\alpha$)},$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E6
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

1.15.7 $\lim_{n\to\infty}\frac{n!}{(\alpha+1)_{n}}\sum^{n}_{k=0}\frac{(\alpha+1)_{k}}{% k!}a_{n-k}=s.$

ⓘ

Symbols:: : factorial (as in ), : integer and : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E7
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

Borel Summability

ⓘ

Keywords:: Borel, Borel summability, summability methods for series
See also:: Annotations for §1.15(i), §1.15 and Ch.1

1.15.8 $\sum^{\infty}_{n=0}a_{n}=s\;\;\;\textit{(B)},$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E8
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

1.15.9 $\lim_{t\to\infty}{\mathrm{e}}^{-t}\sum^{\infty}_{n=0}\frac{s_{n}}{n!}t^{n}=s.$

ⓘ

Symbols:: $\mathrm{e}$ : base of natural logarithm, : factorial (as in ) and : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E9
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(i), §1.15(i), §1.15 and Ch.1

§1.15(ii) Regularity

ⓘ

Keywords:: convergence, regular, summability methods for series
Notes:: See Hardy (1949, p. 10).
Permalink:: http://dlmf.nist.gov/1.15.ii
See also:: Annotations for §1.15 and Ch.1

Methods of summation are regular if they are consistent with conventional summation. All of the methods described in §1.15(i) are regular. For example if

1.15.10 $\sum^{\infty}_{n=0}a_{n}=s,$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E10
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(ii), §1.15 and Ch.1

then

1.15.11 $\sum^{\infty}_{n=0}a_{n}=s\;\;\;\textit{(A)}.$

ⓘ

Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E11
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(ii), §1.15 and Ch.1

§1.15(iii) Summability of Fourier Series

ⓘ

Keywords:: Fourier series, summability
Notes:: See Weiss (1965, pp. 131–135) and Andrews et al. (1999, pp. 602–604). For (1.15.24), see Körner (1989, Chapters 2,27).
Permalink:: http://dlmf.nist.gov/1.15.iii
See also:: Annotations for §1.15 and Ch.1

Poisson Kernel

ⓘ

Keywords:: Fourier series, Poisson kernel, summability methods for series
See also:: Annotations for §1.15(iii), §1.15 and Ch.1

1.15.12 $P(r,\theta)=\frac{1-r^{2}}{1-2r\cos\theta+r^{2}}=\sum^{\infty}_{n=-\infty}r^{% \left|n\right|}{\mathrm{e}}^{\mathrm{i}n\theta},$ $0\leq r<1$ ,

ⓘ

Defines:: $P(r,\theta)$ : Poisson kernel (locally)
Symbols:: $\cos\NVar{z}$ : cosine function, $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, : nonnegative integer and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E12
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

1.15.13 $\frac{1}{2\pi}\int^{2\pi}_{0}P(r,\theta)\,\mathrm{d}\theta=1.$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral and $P(r,\theta)$ : Poisson kernel
Permalink:: http://dlmf.nist.gov/1.15.E13
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

As $r\to 1-$

1.15.14 $P(r,\theta)\to 0,$

ⓘ

Symbols:: $P(r,\theta)$ : Poisson kernel
Permalink:: http://dlmf.nist.gov/1.15.E14
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

uniformly for $\theta\in[\delta,2\pi-\delta]$ . (Here and elsewhere in this subsection $\delta$ is a constant such that $0<\delta<\pi$ .)

Fejér Kernel

ⓘ

Keywords:: Fejér kernel, Fourier series, summability methods for series
See also:: Annotations for §1.15(iii), §1.15 and Ch.1

For $n=0,1,2,\dots$ ,

1.15.15 $K_{n}(\theta)=\frac{1}{n+1}\left(\frac{\sin\left(\tfrac{1}{2}(n+1)\theta\right% )}{\sin\left(\tfrac{1}{2}\theta\right)}\right)^{2},$

ⓘ

Defines:: $K_{n}(\theta)$ : Fejér kernel (locally)
Symbols:: $\sin\NVar{z}$ : sine function and : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E15
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

1.15.16 $\frac{1}{2\pi}\int^{2\pi}_{0}K_{n}(\theta)\,\mathrm{d}\theta=1.$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, : nonnegative integer and $K_{n}(\theta)$ : Fejér kernel
Permalink:: http://dlmf.nist.gov/1.15.E16
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

As $n\to\infty$

1.15.17 $K_{n}(\theta)\to 0,$

ⓘ

Symbols:: : nonnegative integer and $K_{n}(\theta)$ : Fejér kernel
Permalink:: http://dlmf.nist.gov/1.15.E17
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

uniformly for $\theta\in[\delta,2\pi-\delta]$ .

Abel Means

ⓘ

Keywords:: Abel means, Fourier series, summability methods for series
See also:: Annotations for §1.15(iii), §1.15 and Ch.1

1.15.18 $A(r,\theta)=\sum^{\infty}_{n=-\infty}r^{\left|n\right|}F(n){\mathrm{e}}^{% \mathrm{i}n\theta},$

ⓘ

Defines:: $A(r,\theta)$ : Abel mean (locally)
Symbols:: $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, : nonnegative integer, and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E18
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

where

1.15.19 $F(n)=\frac{1}{2\pi}\int^{2\pi}_{0}f(t){\mathrm{e}}^{-\mathrm{i}nt}\,\mathrm{d}t.$

ⓘ

Defines:: (locally)
Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, $\int$ : integral and : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E19
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

$A(r,\theta)$ is a harmonic function in polar coordinates (1.9.27), and

1.15.20 $A(r,\theta)=\frac{1}{2\pi}\int^{2\pi}_{0}P(r,\theta-t)f(t)\,\mathrm{d}t.$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, $P(r,\theta)$ : Poisson kernel and $A(r,\theta)$ : Abel mean
Permalink:: http://dlmf.nist.gov/1.15.E20
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

Cesàro (or (C,1)) Means

ⓘ

Keywords:: Cesàro means, Fourier series, summability methods for series
See also:: Annotations for §1.15(iii), §1.15 and Ch.1

Let

1.15.21 $\sigma_{n}(\theta)=\frac{s_{0}(\theta)+s_{1}(\theta)+\dots+s_{n}(\theta)}{n+1},$

ⓘ

Defines:: $\sigma_{n}(\theta)$ : Cesàro mean (locally)
Symbols:: : nonnegative integer
Permalink:: http://dlmf.nist.gov/1.15.E21
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

$n=0,1,2,\dots$ , where

1.15.22 $s_{n}(\theta)=\sum^{n}_{k=-n}F(k){\mathrm{e}}^{\mathrm{i}k\theta}.$

ⓘ

Symbols:: $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, : integer, : nonnegative integer and
Permalink:: http://dlmf.nist.gov/1.15.E22
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

Then

1.15.23 $\sigma_{n}(\theta)=\frac{1}{2\pi}\int^{2\pi}_{0}K_{n}(\theta-t)f(t)\,\mathrm{d% }t.$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, : nonnegative integer, $K_{n}(\theta)$ : Fejér kernel and $\sigma_{n}(\theta)$ : Cesàro mean
Permalink:: http://dlmf.nist.gov/1.15.E23
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

Convergence

ⓘ

Keywords:: Fourier series, summability
See also:: Annotations for §1.15(iii), §1.15 and Ch.1

If $f(\theta)$ is periodic and integrable on $[0,2\pi]$ , then as $n\to\infty$ the Abel means $A(r,\theta)$ and the (C,1) means $\sigma_{n}(\theta)$ converge to

1.15.24 $\tfrac{1}{2}(f(\theta+)+f(\theta-))$

ⓘ

Referenced by:: §1.15(iii)
Permalink:: http://dlmf.nist.gov/1.15.E24
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

at every point $\theta$ where both limits exist. If $f(\theta)$ is also continuous, then the convergence is uniform for all $\theta$ .

For real-valued $f(\theta)$ , if

1.15.25 $\sum^{\infty}_{n=-\infty}F(n){\mathrm{e}}^{\mathrm{i}n\theta}$

ⓘ

Symbols:: $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, : nonnegative integer and
Permalink:: http://dlmf.nist.gov/1.15.E25
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

is the Fourier series of $f(\theta)$ , then the series

1.15.26 $F(0)+2\sum^{\infty}_{n=1}F(n){\mathrm{e}}^{\mathrm{i}n\theta}$

ⓘ

Symbols:: $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, : nonnegative integer and
Permalink:: http://dlmf.nist.gov/1.15.E26
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

can be extended to the interior of the unit circle as an analytic function

1.15.27 $G(z)=G(x+\mathrm{i}y)=u(x,y)+\mathrm{i}v(x,y)=F(0)+2\sum^{\infty}_{n=1}F(n)z^{% n}.$

ⓘ

Symbols:: $\mathrm{i}$ : imaginary unit, : variable, : nonnegative integer, , $u(\NVar{x},\NVar{y})$ : function and $v(\NVar{x},\NVar{y})$ : function
Permalink:: http://dlmf.nist.gov/1.15.E27
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

Here $u(x,y)=A(r,\theta)$ is the Abel (or Poisson) sum of $f(\theta)$ , and has the series representation

1.15.28 $-\sum^{\infty}_{n=-\infty}\mathrm{i}(\operatorname{sign}n)F(n)r^{\left|n\right% |}{\mathrm{e}}^{\mathrm{i}n\theta};$

ⓘ

Symbols:: $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, $\operatorname{sign}\NVar{x}$ : sign of, : nonnegative integer, and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E28
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iii), §1.15(iii), §1.15 and Ch.1

compare §1.15(v).

§1.15(iv) Definitions for Integrals

ⓘ

Keywords:: integrals, summability methods
Notes:: See Weiss (1965, pp. 143–147) and Wong (1989, pp. 197–198).
Permalink:: http://dlmf.nist.gov/1.15.iv
See also:: Annotations for §1.15 and Ch.1

Abel Summability

ⓘ

Keywords:: Abel, Abel summability, summability methods for integrals
See also:: Annotations for §1.15(iv), §1.15 and Ch.1

$\int^{\infty}_{-\infty}f(t)\,\mathrm{d}t$ is Abel summable to , or

1.15.29 $\int^{\infty}_{-\infty}f(t)\,\mathrm{d}t=L\;\;\;\textit{(A)},$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of and $\int$ : integral
Permalink:: http://dlmf.nist.gov/1.15.E29
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iv), §1.15(iv), §1.15 and Ch.1

when

1.15.30 $\lim_{\epsilon\to 0+}\int^{\infty}_{-\infty}{\mathrm{e}}^{-\epsilon\left|t% \right|}f(t)\,\mathrm{d}t=L.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\mathrm{e}$ : base of natural logarithm, $\int$ : integral and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E30
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iv), §1.15(iv), §1.15 and Ch.1

Cesàro Summability

ⓘ

Keywords:: Cesàro, Cesàro summability, infinite series, summability methods, summability methods for integrals
See also:: Annotations for §1.15(iv), §1.15 and Ch.1

$\int^{\infty}_{-\infty}f(t)\,\mathrm{d}t$ is (C,1) summable to , or

1.15.31 $\int^{\infty}_{-\infty}f(t)\,\mathrm{d}t=L\;\;\;\textit{(C,1)},$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of and $\int$ : integral
Permalink:: http://dlmf.nist.gov/1.15.E31
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iv), §1.15(iv), §1.15 and Ch.1

when

1.15.32 $\lim_{R\to\infty}\int^{R}_{-R}\left(1-\frac{\left|t\right|}{R}\right)f(t)\,% \mathrm{d}t=L.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E32
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(iv), §1.15(iv), §1.15 and Ch.1

If $\int^{\infty}_{-\infty}f(t)\,\mathrm{d}t$ converges and equals , then the integral is Abel and Cesàro summable to .

§1.15(v) Summability of Fourier Integrals

ⓘ

Keywords:: Fourier integral, summability
Notes:: See Weiss (1965, pp. 143–148).
Referenced by:: §1.15(iii)
Permalink:: http://dlmf.nist.gov/1.15.v
See also:: Annotations for §1.15 and Ch.1

Poisson Kernel

ⓘ

Keywords:: Fourier integral, Fourier integrals, Fourier series, Poisson integral, Poisson kernel, conjugate, conjugate Poisson integral, summability methods for integrals
See also:: Annotations for §1.15(v), §1.15 and Ch.1

1.15.33 $P(x,y)=\frac{2y}{x^{2}+y^{2}},$

, $-\infty<x<\infty$ .

ⓘ

Defines:: : Poisson kernel (locally)
Permalink:: http://dlmf.nist.gov/1.15.E33
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

1.15.34 $\frac{1}{2\pi}\int^{\infty}_{-\infty}P(x,y)\,\mathrm{d}x=1.$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral and : Poisson kernel
Permalink:: http://dlmf.nist.gov/1.15.E34
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

For each $\delta>0$ ,

1.15.35 $\int_{\left|x\right|\geq\delta}P(x,y)\,\mathrm{d}x\to 0,$ as $y\to 0$ .

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, : Poisson kernel and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E35
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

Let

1.15.36 $h(x,y)=\frac{1}{\sqrt{2\pi}}\int^{\infty}_{-\infty}{\mathrm{e}}^{-y\left|t% \right|}{\mathrm{e}}^{-\mathrm{i}xt}F(t)\,\mathrm{d}t,$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, $\int$ : integral, : Fourier transform of , : function and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E36
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

where is the Fourier transform of (§1.14(i)). Then

1.15.37 $h(x,y)=\frac{1}{2\pi}\int^{\infty}_{-\infty}f(t)P(x-t,y)\,\mathrm{d}t$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, : Poisson kernel and : function
Permalink:: http://dlmf.nist.gov/1.15.E37
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

is the Poisson integral of .

If is integrable on $(-\infty,\infty)$ , then

1.15.38 $\lim_{y\to 0+}\int^{\infty}_{-\infty}\left|h(x,y)-f(x)\right|\,\mathrm{d}x=0.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, : function and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E38
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

Suppose now is real-valued and integrable on $(-\infty,\infty)$ . Let

1.15.39 $\Phi(z)=\Phi(x+\mathrm{i}y)=\frac{\mathrm{i}}{\pi}\int^{\infty}_{-\infty}f(t)% \frac{1}{(x-t)+\mathrm{i}y}\,\mathrm{d}t,$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\mathrm{i}$ : imaginary unit, $\int$ : integral, : variable and $\Phi(z)$ : function
Permalink:: http://dlmf.nist.gov/1.15.E39
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

where and $-\infty<x<\infty$ . Then $\Phi(z)$ is an analytic function in the upper half-plane and its real part is the Poisson integral ; compare (1.9.34). The imaginary part

1.15.40 $\Im\Phi(x+\mathrm{i}y)=\frac{1}{\pi}\int^{\infty}_{-\infty}f(t)\frac{x-t}{(x-t% )^{2}+y^{2}}\,\mathrm{d}t$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\Im$ : imaginary part, $\mathrm{i}$ : imaginary unit, $\int$ : integral and $\Phi(z)$ : function
Permalink:: http://dlmf.nist.gov/1.15.E40
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

is the conjugate Poisson integral of . Moreover, $\lim_{y\to 0+}\Im\Phi(x+\mathrm{i}y)$ is the Hilbert transform of (§1.14(v)).

Fejér Kernel

ⓘ

Keywords:: Fejér kernel, Fourier integral, Fourier integrals, summability methods for integrals
See also:: Annotations for §1.15(v), §1.15 and Ch.1

1.15.41 $K_{R}(s)=\frac{1}{\pi R}\frac{1-\cos\left(Rs\right)}{s^{2}},$

ⓘ

Defines:: $K_{R}(s)$ : Fejér kernel (locally)
Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter and $\cos\NVar{z}$ : cosine function
Permalink:: http://dlmf.nist.gov/1.15.E41
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

1.15.42 $\int^{\infty}_{-\infty}K_{R}(s)\,\mathrm{d}s=1.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral and $K_{R}(s)$ : Fejér kernel
Permalink:: http://dlmf.nist.gov/1.15.E42
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

For each $\delta>0$ ,

1.15.43 $\int_{\left|s\right|\geq\delta}K_{R}(s)\,\mathrm{d}s\to 0,$ as $R\to\infty$ .

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, $K_{R}(s)$ : Fejér kernel and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E43
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

Let

1.15.44 $\sigma_{R}(\theta)=\frac{1}{\sqrt{2\pi}}\int^{R}_{-R}\left(1-\frac{\left|t% \right|}{R}\right){\mathrm{e}}^{-\mathrm{i}\theta t}F(t)\,\mathrm{d}t,$

ⓘ

Symbols:: $\pi$ : the ratio of the circumference of a circle to its diameter, $\,\mathrm{d}\NVar{x}$ : differential of , $\mathrm{e}$ : base of natural logarithm, $\mathrm{i}$ : imaginary unit, $\int$ : integral, : Fourier transform of , $\sigma_{R}(\theta)$ : function and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E44
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

then

1.15.45 $\sigma_{R}(\theta)=\int^{\infty}_{-\infty}f(t)K_{R}(\theta-t)\,\mathrm{d}t.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, $K_{R}(s)$ : Fejér kernel and $\sigma_{R}(\theta)$ : function
Permalink:: http://dlmf.nist.gov/1.15.E45
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

If $f(\theta)$ is integrable on $(-\infty,\infty)$ , then

1.15.46 $\lim_{R\to\infty}\int^{\infty}_{-\infty}\left|\sigma_{R}(\theta)-f(\theta)% \right|\,\mathrm{d}\theta=0.$

ⓘ

Symbols:: $\,\mathrm{d}\NVar{x}$ : differential of , $\int$ : integral, $\sigma_{R}(\theta)$ : function and $\left|\NVar{x}\right|$ : absolute value of $\NVar{x}$
Permalink:: http://dlmf.nist.gov/1.15.E46
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(v), §1.15(v), §1.15 and Ch.1

§1.15(vi) Fractional Integrals

ⓘ

Keywords:: fractional integrals, summability methods for integrals
Notes:: See Miller and Ross (1993) and Andrews et al. (1999, pp. 111-114, 604–607).
Referenced by:: §10.22(ii), §2.6(iii), §2.6(iii), Erratum (V1.0.1) for Subsections 1.15(vi) and 1.15(vii), Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii), Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii)
Permalink:: http://dlmf.nist.gov/1.15.vi
Modification (effective with 1.0.15):: The word operator was removed from the definition of a fractional integral,
Suggested 2017-04-22 by Tom Koornwinder
Modification (effective with 1.0.14):: The fractional integral operator of order $\alpha$ was more precisely identified as the Riemann-Liouville fractional integral operator of order $\alpha$ . Also, a paragraph with a generalization of (1.15.47), a general property, and references to examples in the DLMF has been added at the end of this subsection.
Errata (effective with 1.0.1):: The formulas in this subsection are only valid for $x\geq 0$ . No conditions on were given originally.
Reported 2010-10-18 by Andreas Kurt Richter
See also:: Annotations for §1.15 and Ch.1

For $\Re\alpha>0$ and $x\geq 0$ , the Riemann-Liouville fractional integral of order $\alpha$ is defined by

1.15.47 $I^{\alpha}f(x)=\frac{1}{\Gamma\left(\alpha\right)}\int^{x}_{0}(x-t)^{\alpha-1}% f(t)\,\mathrm{d}t.$

ⓘ

Defines:: $I^{\alpha}$ : fractional integral (locally)
Symbols:: $\Gamma\left(\NVar{z}\right)$ : gamma function, $\,\mathrm{d}\NVar{x}$ : differential of and $\int$ : integral
Referenced by:: §1.15(vi), §1.15(vi), Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii)
Permalink:: http://dlmf.nist.gov/1.15.E47
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(vi), §1.15 and Ch.1

For $\Gamma\left(\alpha\right)$ see §5.2, and compare (1.4.31) in the case when $\alpha$ is a positive integer.

1.15.48 $I^{\alpha}I^{\beta}=I^{\alpha+\beta},$ $\Re\alpha>0$ , $\Re\beta>0$ .

ⓘ

Symbols:: $\Re$ : real part and $I^{\alpha}$ : fractional integral
Referenced by:: §1.15(vi)
Permalink:: http://dlmf.nist.gov/1.15.E48
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(vi), §1.15 and Ch.1

For extensions of (1.15.48) see Love (1972b).

1.15.49 $f(x)=\sum^{\infty}_{k=0}a_{k}x^{k},$

ⓘ

Symbols:: : integer
Permalink:: http://dlmf.nist.gov/1.15.E49
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(vi), §1.15 and Ch.1

then

1.15.50 $I^{\alpha}f(x)=\sum^{\infty}_{k=0}\frac{k!}{\Gamma\left(k+\alpha+1\right)}a_{k% }x^{k+\alpha}.$

ⓘ

Symbols:: $\Gamma\left(\NVar{z}\right)$ : gamma function, : factorial (as in ), : integer and $I^{\alpha}$ : fractional integral
Referenced by:: Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii)
Permalink:: http://dlmf.nist.gov/1.15.E50
Encodings:: TeX, pMML, png
See also:: Annotations for §1.15(vi), §1.15 and Ch.1

The lower limit 0 of the integral in (1.15.47) can be replaced by any constant $a\leq x$ . Also, we can replace the lower and upper limits of the integral by and , respectively. In that case we must also replace in the integrand by and we can even set $a=\infty$ . See (18.17.9), (18.17.11) and (18.17.13) as examples.

§1.15(vii) Fractional Derivatives

ⓘ

Keywords:: fractional derivatives, summability methods for integrals
Notes:: See Andrews et al. (1999, pp. 606–607). (The notation for the fractional derivative is slightly different.)
Referenced by:: Erratum (V1.0.1) for Subsections 1.15(vi) and 1.15(vii), Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii), Erratum (V1.0.14) for Subsections 1.15(vi), 1.15(vii), 2.6(iii)
Permalink:: http://dlmf.nist.gov/1.15.vii
Clarification (effective with 1.0.14):: The first sentence was clarified by adding “the fractional derivative of order $\alpha$ is defined by” ahead of (1.15.51) and “and satisfies the property” ahead of (1.15.52).
Errata (effective with 1.0.1):: The formulas in this subsection are only valid for $x\geq 0$ . No conditions on were given originally.
Reported 2010-10-18 by Andreas Kurt Richter
See also:: Annotations for §1.15 and Ch.1