---
title: Bicomplex Bessel Function
url: https://www.emergentmind.com/topics/bicomplex-bessel-function
type: topic
---

# Bicomplex Bessel Function

Searching arXiv for the cited bicomplex Bessel and related bicomplex hypergeometric papers to ground the article.
The bicomplex Bessel function is a bicomplex-valued extension of the classical Bessel function of the first kind in which both the order and the argument are allowed to lie in the bicomplex algebra \(\mathbb{BC}\). In the formulation introduced in "On the Bessel function and \(n\)-dimensional Hankel transform with Bicomplex arguments and coherent states" [2507.16973], it retains the classical analytic apparatus—power-series definition, recurrence relations, integral representations, differential equations, asymptotics, and transform theory—while being governed by the idempotent decomposition of bicomplex numbers. A central structural fact is that the bicomplex Bessel function is represented exactly by a pair of ordinary complex Bessel functions encoded in the idempotent basis, so the theory is simultaneously a genuine bicomplex function theory and a componentwise lifting of classical Bessel analysis [2507.16973].

## 1. Algebraic framework

The ambient ring is
\[
\mathbb{BC}=\{\lambda_1+j\lambda_2=a+ib+jc+kd:\ a,b,c,d\in\mathbb{R},\ \lambda_1,\lambda_2\in\mathbb{C}(i)\},
\]
with
\[
i^2=j^2=-1,\qquad k=ij=ji,\qquad k^2=1.
\]
Its decisive structural feature is the idempotent basis
\[
e_1=\frac{1+k}{2},\qquad e_2=\frac{1-k}{2},
\]
satisfying
\[
e_1^2=e_1,\quad e_2^2=e_2,\quad e_1e_2=0,\quad e_1+e_2=1.
\]
Every bicomplex number has a unique decomposition
\[
Z=z_1e_1+z_2e_2,
\]
with \(z_1,z_2\in\mathbb{C}(i)\), and the associated projections are
\[
\mathcal{S}_1(Z)=z_1=\lambda_1-i\lambda_2,\qquad \mathcal{S}_2(Z)=z_2=\lambda_1+i\lambda_2.
\]

Convergence and growth are measured with the hyperbolic norm
\[
|Z|_h=|z_1|e_1+|z_2|e_2,
\]
which satisfies \(|ZW|_h=|Z|_h|W|_h\). The null cone of zero divisors is
\[
\mathcal{O}_2=\{\lambda_1+j\lambda_2:\ \lambda_1^2+\lambda_2^2=0\}.
\]
Bicomplex holomorphicity is defined by bicomplex differentiability, equivalently by holomorphicity of the scalar components together with the bicomplex Cauchy–Riemann equations
\[
\frac{\partial g_1}{\partial \lambda_1}= \frac{\partial g_2}{\partial \lambda_2},\qquad
\frac{\partial g_1}{\partial \lambda_2}= -\frac{\partial g_2}{\partial \lambda_1}.
\]
These identities are the technical substrate for the entire theory of bicomplex special functions [2507.16973].

A second prerequisite is the bicomplex gamma function, defined by an Euler product and decomposing as
\[
\Gamma_b(Z)=\Gamma(z_1)e_1+\Gamma(z_2)e_2.
\]
This decomposition is what allows classical coefficient formulas to be transferred to the bicomplex setting without altering their scalar content [2507.16973].

## 2. Hypergeometric provenance

The bicomplex Bessel function sits naturally inside the theory of bicomplex generalized hypergeometric functions developed in "Bicomplex generalized hypergeometric functions and their applications" [2310.08550]. For bicomplex parameters \(\alpha_i,\beta_j\) and bicomplex variable \(Z\), that paper defines
\[
{}_pF_q\!\left[\begin{matrix}&\alpha_1,\ldots,\alpha_p;\\ \beta_1,\ldots,\beta_q;&\end{matrix}Z\right]
=
\sum_{n=0}^{\infty}
\frac{\prod_{i=1}^p(\alpha_i)_n}{\prod_{j=1}^q(\beta_j)_n}\frac{Z^n}{n!},
\]
and proves the idempotent representation
\[
{}_pF_q(\alpha;\beta;Z)
=
{}_pF_q(\alpha_{11},\ldots,\alpha_{1p};\beta_{11},\ldots,\beta_{1q};z_1)e_1
+
{}_pF_q(\alpha_{21},\ldots,\alpha_{2p};\beta_{21},\ldots,\beta_{2q};z_2)e_2.
\]

The convergence theorem in that framework states that if \(p\le q\), the series is absolutely hyperbolically convergent for all \(Z\in\mathbb{BC}\), and the analyticity theorem states that \({}_pF_q\) is \(\mathbb{BC}\)-holomorphic in \(Z\) and in the parameters except at denominator singularities [2310.08550]. The special case \({}_0F_1\), which is the classical hypergeometric form underlying Bessel functions, is therefore available in bicomplex analysis with global convergence.

The later Bessel paper uses precisely this mechanism. It rewrites the bicomplex Bessel function in the form
\[
\mathcal{J}_\mathcal{V}(Z)
=
\frac{Z^\mathcal{V}}{2^\mathcal{V}\Gamma_b(\mathcal{V}+1)}
\,{}_0F_1\!\left(-;\mathcal{V}+1;-\frac{Z^2}{4}\right),
\]
and then derives the bicomplex Bessel differential equation by specializing the general bicomplex hypergeometric differential equation for \({}_0F_1\) [2507.16973]. In this sense, the bicomplex Bessel function is not isolated; it is a distinguished instance of a broader bicomplex hypergeometric calculus.

## 3. Definition and componentwise structure

If
\[
\mathcal{V}=\nu_1e_1+\nu_2e_2,\qquad Z=z_1e_1+z_2e_2,
\]
the bicomplex Bessel function of order \(\mathcal{V}\) is defined by the power series
\[
\mathcal{J}_\mathcal{V}(Z)=
\sum_{s=0}^{\infty}
\frac{(-1)^s}{\Gamma_b(\mathcal{V}+s+1)\,s!}
\left(\frac{Z}{2}\right)^{\mathcal{V}+2s}.
\]
This is a direct bicomplex analogue of the classical series
\[
J_\nu(z)=\sum_{n=0}^{\infty}\frac{(-1)^n}{n!\,\Gamma(\nu+n+1)}\left(\frac{z}{2}\right)^{2n+\nu}.
\]

The defining theorem of the subject is the idempotent decomposition
\[
\mathcal{J}_\mathcal{V}(Z)=J_{\nu_1}(z_1)e_1+J_{\nu_2}(z_2)e_2.
\]
Accordingly,
\[
\mathcal{S}_1(\mathcal{J}_\mathcal{V}(Z))=J_{\nu_1}(z_1),\qquad
\mathcal{S}_2(\mathcal{J}_\mathcal{V}(Z))=J_{\nu_2}(z_2).
\]
The normalized series \(Z^{-\mathcal{V}}\mathcal{J}_\mathcal{V}(Z)\) converges absolutely in the hyperbolic sense for all \(Z\in\mathbb{BC}\), with infinite hyperbolic radius of convergence [2507.16973].

This decomposition has strong conceptual consequences. The bicomplex Bessel function is not an irreducibly new scalar special function in the complex sense; it is exactly the pair \((J_{\nu_1},J_{\nu_2})\) encoded by \(e_1\) and \(e_2\). All bicomplex identities are therefore bicomplex recombinations of two classical identities, but they are organized within a single algebra with its own norm, null cone, holomorphicity theory, and partial order [2507.16973].

The paper also proves a symmetry analogous to \(J_{-l}(z)=(-1)^lJ_l(z)\) when the idempotent components of the order are non-positive integers, and derives a symmetry with respect to bicomplex index shifts \(M=me_1+ne_2\) and \(\overline{M}=ne_1+me_2\). These are direct lifts of componentwise classical order symmetries [2507.16973].

## 4. Identities, integral representations, and differential equation

The bicomplex Bessel function satisfies order recurrences that mirror the classical ones. Among the formulas established are
\[
Z\mathcal{J}_\mathcal{V}(Z)
=
2(\mathcal{V}+1)\mathcal{J}_{\mathcal{V}+1}(Z)-Z\mathcal{J}_{\mathcal{V}+2}(Z),
\]
and
\[
Z^2\mathcal{J}_\mathcal{V}(Z)
=
4\mathcal{J}_{\mathcal{V}+2}(Z)-4Z(\mathcal{V}+2)\mathcal{J}_{\mathcal{V}+3}(Z)+Z^2\mathcal{J}_{\mathcal{V}+4}(Z).
\]
Because of the idempotent form, these are exactly the recurrences for \(J_{\nu_1}\) and \(J_{\nu_2}\) written in bicomplex notation [2507.16973].

Several integral representations are derived under explicit parameter restrictions. They include a beta-function-type representation, a trigonometric representation valid under the condition \(\Re(\alpha_1)+\frac12>|\Im(\alpha_2)|\), a double-beta formula for shifted order, and a Laplace-type representation obtained from Legendre’s duplication formula and the classical Laplace integral for \(\Gamma\). The generating function for integer order is
\[
G(Z,W)=\sum_{n=-\infty}^{\infty}\mathcal{J}_n(Z)W^n
=
\exp\left[\frac{1}{2}Z\left(W-\frac{1}{W}\right)\right],
\]
together with a contour-integral representation obtained by bicomplex Laurent theory [2507.16973].

Differentiation with respect to the bicomplex variable yields the neighboring-order relations
\[
Z\mathcal{J}'_\mathcal{V}(Z)+\mathcal{V}\mathcal{J}_\mathcal{V}(Z)=Z\mathcal{J}_{\mathcal{V}-1}(Z),
\]
and
\[
Z\mathcal{J}'_\mathcal{V}(Z)+Z\mathcal{J}_{\mathcal{V}+1}(Z)=\mathcal{V}\mathcal{J}_\mathcal{V}(Z).
\]
Using the hypergeometric representation and the bicomplex \({}_0F_1\) differential equation, the paper proves that \(V(Z)=\mathcal{J}_\mathcal{V}(Z)\) satisfies
\[
Z^2\frac{d^2V}{dZ^2}+Z\frac{dV}{dZ}+(Z^2-\mathcal{V}^2)V=0.
\]
In idempotent components this reduces to the two ordinary Bessel equations
\[
z_1^2 J_{\nu_1}''(z_1)+z_1 J_{\nu_1}'(z_1)+(z_1^2-\nu_1^2)J_{\nu_1}(z_1)=0,
\]
\[
z_2^2 J_{\nu_2}''(z_2)+z_2 J_{\nu_2}'(z_2)+(z_2^2-\nu_2^2)J_{\nu_2}(z_2)=0.
\]
The bicomplex differential equation is therefore a direct generalization rather than a formally unrelated equation [2507.16973].

## 5. Holomorphicity, asymptotics, and analytic behavior

Two holomorphicity questions are treated separately: dependence on the order and dependence on the argument. For fixed \(Z\notin\mathcal{O}_2\), the function \(\mathcal{J}_\mathcal{V}(Z)\) is bicomplex holomorphic in \(\mathcal{V}\). This is obtained by rewriting
\[
\mathcal{J}_\mathcal{V}(Z)=J_{\nu_1}(z_1)e_1+J_{\nu_2}(z_2)e_2
\]
in the \((1,j)\)-basis and then invoking the classical holomorphicity of \(J_\nu\) in the order together with the bicomplex Cauchy–Riemann equations [2507.16973].

Holomorphicity in the argument is proved under discrete constraints on the order. If
\[
\mathcal{V}=\alpha_1+j\alpha_2=\nu_1e_1+\nu_2e_2,
\]
with
\[
\alpha_1=\frac{l_1+l_2}{2},\qquad \alpha_2=\frac{l_2-l_1}{2i},\qquad l_1,l_2\in\mathbb{N}\cup\{0\},
\]
then \(\nu_1=l_1\) and \(\nu_2=l_2\), so \(J_{\nu_1}\) and \(J_{\nu_2}\) are entire in \(z_1,z_2\). Under these conditions, \(\mathcal{J}_\mathcal{V}(Z)\) is holomorphic in \(Z\in\mathbb{BC}\) [2507.16973].

The asymptotic theory is formulated in hyperbolic terms. A bicomplex function \(g\) has an asymptotic expansion
\[
g(Z)\sim\sum_{k=0}^{\infty} b_k Z^{-k},\qquad |Z|_h\to\infty,
\]
if for each fixed \(n\),
\[
\lim_{|Z|_h\to\infty} Z^n\left[g(Z)-\sum_{k=0}^n b_k Z^{-k}\right]=0.
\]
Starting from the hypergeometric representation and using a relation between \({}_0F_1\) and \({}_1F_1\), the authors derive a large-\(|Z|_h\) expansion by a stationary-phase-like argument. Under the condition \(Z=|Z|_h\), the leading factor is
\[
\exp((1-i)Z),
\]
multiplied by bicomplex gamma-function coefficients and a series in inverse powers of \(Z\) involving the Pochhammer symbol [2507.16973]. This extends a classical large-argument asymptotic formula to the bicomplex setting.

## 6. Hankel transform, partial differential equations, and coherent states

The bicomplex Bessel function is the kernel of the \(n\)-dimensional bicomplex Hankel transform. For \(\zeta\) in a weighted test-function space and \(\mathcal{Z}\) in a bicomplex domain \(\mathbb{S}\), the transform is defined by
\[
\eta(\mathcal{Z})=\mathscr{H}_\mathcal{V}(\zeta)
=
\int_{0}^{\infty}\cdots\int_{0}^{\infty}
\zeta(\omega)\prod_{k=1}^{n}\sqrt{\omega_k Z_k}\,\mathcal{J}_\mathcal{V}(\omega_kZ_k)\,d\omega_1\cdots d\omega_n.
\]
The relevant function spaces are \(\mathcal{A}_{\sigma,\varepsilon}\), a smooth bicomplex test space defined by hyperbolic seminorm bounds in the \(\omega\)-variables, and \(\mathcal{C}^\mathcal{V}_\rho\), a smooth bicomplex space controlled by exponential-type growth estimates in \(\mathcal{Z}\). The transform is shown to be a continuous linear map
\[
\mathscr{H}_\mathcal{V}:\mathcal{A}_{\sigma,\varepsilon}\to\mathcal{C}^\mathcal{V}_\rho,
\]
and, with the inversion formula on real arguments, an isomorphism of bicomplex topological vector spaces between these two spaces [2507.16973].

The transform intertwines bicomplex differential operators \(\mathcal{N}_\sigma\) and \(\mathcal{M}_\sigma\) with multiplication by \([\mathcal{Z}]\) and \([\mathcal{Z}]^2\). In particular,
\[
\mathscr{H}_{\mathcal{V}+\sigma}(\mathcal{M}_{\mathcal{V}+\sigma}\mathcal{N}_{\mathcal{V}+\sigma}\zeta)
=
(-1)^n[\mathcal{Z}]^2\,\mathscr{H}_{\mathcal{V}+\sigma}(\zeta).
\]
This diagonalization property is used to solve bicomplex generalized wave and heat equations. For \(n=1\), the wave equation becomes
\[
\frac{\partial^2u}{\partial\omega_1^2}-\frac{4\mathcal{V}^2-1}{4\omega_1^2}u
=
\lambda^2\frac{\partial^2u}{\partial t^2},
\]
and the heat equation becomes
\[
\frac{\partial^2u}{\partial\omega_1^2}-\frac{4\mathcal{V}^2-1}{4\omega_1^2}u
=
\lambda\frac{\partial u}{\partial t}.
\]
For \(\mathcal{V}=-\frac12\), these reduce respectively to the classical one-dimensional wave and heat equations [2507.16973].

The same paper constructs bicomplex generalized coherent states whose normalization and overlap are governed by \(\mathcal{J}_\mathcal{V}\). In a bicomplex Fock basis \(|n\rangle=|n_1\rangle e_1+|n_2\rangle e_2\), the coherent states are
\[
|Z\rangle
=
\frac{1}{\sqrt{\mathscr{N}_\mathcal{V}(|Z|_h^2)}}
\sum_{n=0}^{\infty}\frac{Z^n}{\sqrt{\rho(n)}}|n\rangle.
\]
They satisfy
\[
\langle Z|Z\rangle=1,
\]
and their overlap is
\[
\langle Z|Z'\rangle
=
\frac{\mathscr{N}_\mathcal{V}(Z^*Z')}
{\sqrt{\mathscr{N}_\mathcal{V}(|Z|_h^2)\,\mathscr{N}_\mathcal{V}(|Z'|_h^2)}}.
\]
The annihilation operator acts by
\[
\mathcal{A}_-|Z\rangle=Z|Z\rangle,
\]
so the states are coherent in the standard eigenstate sense. The paper further proves continuity in \(Z\) and a resolution of the identity using a positive bicomplex weight whose idempotent components are expressed through Meijer \(G\)-functions [2507.16973].

Conceptually, the later sections clarify the role of the bicomplex Bessel function in analysis and mathematical physics. Via idempotent decomposition, the bicomplex Hankel transform is a pair of classical Hankel transforms, and the transformed PDEs correspond to two classical PDEs coupled only through the bicomplex algebra. The authors mention applications in mathematical physics, bicomplex quantum mechanics, signal processing, PDE theory, and coherent state quantization. A plausible implication is that the bicomplex framework is most useful when two related complex processes or two spectral sectors are to be treated simultaneously within one algebraic and analytic formalism [2507.16973; 2310.08550].

Source: https://www.emergentmind.com/topics/bicomplex-bessel-function