A Fourier-Bessel series is an expansion in Bessel functions of the first kind. For a real number , let
be the positive roots of
. A function
has the expansion
|
(1)
|
where convergence is in the weighted norm . Functions
equal almost everywhere are identified. This
norm convergence does not assert pointwise
convergence at every
(National Institute of Standards and Technology 2026, §10.23(iii)).
The coefficients can be obtained without interchanging an infinite sum and an integral.
Let
be the
th
partial sum. Then
|
(2)
|
The orthogonality relation is
|
(3)
|
where
is the Kronecker delta (Bowman 1958, p. 108;
National Institute of Standards and Technology 2026, Eq. 10.22.37). Thus, for
,
|
(4)
| |||
|
(5)
|
By Schwarz's inequality, the weighted inner product with
is continuous in this norm.
Passing to the limit
therefore gives
|
(6)
|