On the Macdonald-type function and its relation with index transforms and orthogonal polynomials

Semyon Yakubovich

arXiv: 2606.05329v1 · PDF · 3 June 2026
Categories: math.CA
Licence: CC0 1.0 The site shows the text.

Abstract

We continue to investigate properties of the function M_\nu(z) which is associated with the Macdonald function K_\nu(z) in terms of the corresponding Fourier integral. In particular, recurrence relations for this function and its derivatives are obtained, involving properties of the associated Laguerre polynomials. Multiple orthogonal polynomials related to the scaled Macdonald-type weights \hat{\rho}_{\nu}(x)= 2 x^{\nu/2} M_\nu\left(2\sqrt x\right), x >0 are investigated.

Items 15

Remark

Remark 1

86M0

Formula (2.31) can be obtained directly from (1.12), replacing x by 2\sqrt x and multiplying both sides by x^{\nu/2}.

Theorem

Theorem 1

521O

Let c >0,\ \nu \ge 0, n \in \mathbb{N}. For the type I multiple orthogonal polynomials it has the following differential recurrence relations

Proof

TTQK

In fact, using (3.4), (3.5), (3.6), (3.7), we have

{d\over dx} \left[q_{n,n}^{\nu+1,c} (x)\right]= R_{n,n}^{\nu,c}(x) \mu_{\nu,c}(x) + S_{n,n}^{\nu,c}(x) \mu_{\nu+1,c}(x),

{d\over dx} \left[ q_{n+1,n}^{\nu+1,c} (x)\right] = R_{n+1,n}^{\nu,c}(x) \mu_{\nu,c}(x) + S_{n+1,n}^{\nu,c}(x) \mu_{\nu+1,c}(x),

where

R_{n,m}^{\nu,c}(x) = x {d\over dx} B_{n,m}^{\nu+1,c}(x) - A_{n,m}^{\nu+1,c}(x) - cx B_{n,m}^{\nu+1,c}(x),

S_{n,m}^{\nu,c}(x) = {d\over dx} A_{n,m}^{\nu+1,c}(x) + (\nu+1) {d\over dx} B_{n,m}^{\nu+1,c}(x) - (c(\nu+1)+1) B_{n,m}^{\nu+1,c}(x)

- c A_{n,m}^{\nu+1,c}(x),

and R_{n,n}^{\nu,c}(x), R_{n+1,n}^{\nu,c}(x), S_{n+1,n}^{\nu,c}(x) are polynomials of degree at most n+1 and S_{n,n}^{\nu,c}(x) is a polynomial of degree at most n. As we see from (3.7), the expression x^k q_{n,m}^{\nu+1,c}(x),\ k \in \mathbb{N}_0, \ \nu \ge 0 vanishes at infinity and near the origin. Moreover, the integration by parts in (3.1), where we replace \nu by \nu+1 and a pair (n,m) by (n,n), (n+1,n), accordingly, shows that for positive integers n the following orthogonality properties take place

\int_0^\infty {d\over dx} \left[q_{n,n}^{\nu+1,c} (x) \right] x^k dx = 0,\quad k=0,1,\dots, 2n+1,

\int_0^\infty {d\over dx} \left[ q_{n+1,n}^{\nu+1,c} (x) \right] x^k dx = 0,\quad k=0,1,\dots, 2n+2,

which guarantee (4.1) and complete the proof.

Theorem

Theorem 2

7YUP

Let c >0,\ \nu \ge 0, n \in \mathbb{N}. For the type II multiple orthogonal polynomials the differential recurrence relation has the form

Used by Proof

Proof

31OA

In view of (3.2), (3.3), (3.8), the integration by parts yields

\int_0^\infty {d\over dx} \left[ P_{n}^{\nu,c}(x)\right] x^k \mu_{\nu+1,c}(x) dx = - k \int_0^\infty P_{n}^{\nu,c}(x) x^{k-1} \mu_{\nu+1,c}(x) dx

- \int_0^\infty P_{n}^{\nu,c}(x) x^{k} \mu^\prime_{\nu+1,c}(x) dx,

where the integrated terms vanish owing to the behavior of \mu_{\nu+1,c} near 0 and \infty. Consequently, this gives

\int_0^\infty {d\over dx} \left[ P_{n,n}^{\nu,c}(x)\right] x^k \mu_{\nu+1,c}(x) dx = 0,\quad k=0,1,\dots, n-1,\eqno(4.3)

\int_0^\infty {d\over dx} \left[ P_{n+1,n}^{\nu,c}(x)\right] x^k \mu_{\nu+1,c}(x) dx = 0,\quad k=0,1,\dots, n-1.\eqno(4.4)

Analogously, with the use of (3.4), (3.5), we derive

\int_0^\infty {d\over dx} \left[ P_{n}^{\nu,c}(x)\right] x^k \mu_{\nu+2,c}(x) dx = - k \int_0^\infty P_{n}^{\nu,c}(x) x^{k-1} \mu_{\nu+2,c}(x) dx

- \int_0^\infty P_{n}^{\nu,c}(x) x^{k} \mu^\prime_{\nu+2,c}(x) dx

= - k \int_0^\infty P_{n}^{\nu,c}(x) x^{k-1} \left[ x \mu_{\nu,c}(x) + (\nu+1) \mu_{\nu+1,c}(x) \right] dx

+ \int_0^\infty P_{n}^{\nu,c}(x) x^{k}\left[ c \mu_{\nu+1,c}(x) + \mu_{\nu,c}(x)\right] dx.

Hence, this implies the orthogonality conditions in the form

\int_0^\infty {d\over dx} \left[ P_{n,n}^{\nu,c}(x)\right] x^k \mu_{\nu+2,c}(x) dx = 0,\quad k=0,1,\dots, n-2,

\int_0^\infty {d\over dx} \left[ P_{n+1,n}^{\nu,c}(x)\right] x^k \mu_{\nu+2,c}(x) dx = 0,\quad k=0,1,\dots, n-1.

Meanwhile, we are considering the monic polynomials. Thus we establish (4.2) and complete the proof of Theorem 2.

Uses Theorem 2

Theorem

Theorem 3

5FBD

For the type I multiple orthogonal polynomials the following Rodrigues formula takes place

Q_{n}^{\nu,c}(x) = {d^{n+1}\over dx^{n+1}}\ \mu_{\nu+n+1,c}(x),\quad\quad \nu \ge 0,\quad c >0,\quad n\in \mathbb{N}_0\eqno(4.5)

up to a multiplicative factor which is chosen to be one.

Proof of Theorem 3

Let n=0. Then (3.5) yields A_{0,0}^{\nu,c}(x) = -1,\ B_{0,0}^{\nu,c}(x) = -c and (4.5) holds. Assuming (4.5) for n=m and all \nu \ge 0,\ c >0, we take n=m+1 and appeal to (4.1) to obtain

Q_{m+1}^{\nu,c}(x) = {d\over dx}\ Q_{m}^{\nu+1,c}(x) = {d^{m+2}\over dx^{m+2}}\ \mu_{\nu+m+2,c}(x)

which proves the Rodrigues formula by induction.

Corollary

Corollary 1

MNF5

The sequence \{Q_{n}^{\nu,c}(x)\}_{n\ge 0} obeys the following recurrence relation

Proof

V5JG

In fact, appealing to (4.5) and (3.5) we write in a straightforward way

Q_{n+1}^{\nu,c}(x) = - {d^{n+1}\over dx^{n+1}}\ \left( c \mu_{\nu+n+2,c}(x) + \mu_{\nu+n+1,c}(x) \right) = - c Q_{n}^{\nu+1,c}(x) - Q_{n}^{\nu,c}(x).

Theorem

Theorem 4

YSQQ

Let \nu \ge 0,\ c >0,\quad n\in \mathbb{N}_0. The sequence \{Q_{n}^{\nu,c}(x)\}_{n\ge 0} has the representation

Proof

6OVE

The proof follows immediately, employing the fundamental combinatorial identity

\binom{n+2}{k} = \binom{n+1}{k} + \binom{n+1}{k-1}

and checking (4.6) for the expression (4.7), where we replace n by n+1.

Corollary

Corollary 2

ZKLL

The generating function for polynomials Q_{n}^{\nu,c} has the series representation

H(x,z)= e^{-z} \sum_{k=0}^\infty {(-cz)^k\over k!}\mu_{\nu+k,c}(x),\quad \nu > 0,\ x, c >0,\eqno(4.8)

where the series converges in the domain |z| < 1/c.

Proof of Corollary 2

In fact, using (4.7), where Q_{-1}^{\nu,c}(x) = \mu_{\nu,c}(x), we derive

H(x,z)= \sum_{n=0}^\infty Q_{n-1}^{\nu,c}(x) {z^n\over n!} = \sum_{n=0}^\infty {(-z)^n\over n!} \sum_{k=0}^{n} \binom{n}{k} c^k \mu_{\nu+k,c}(x)

= \sum_{k=0}^\infty {c^k\over k!}\ \mu_{\nu+k,c}(x) \sum_{n=k}^{\infty} {(-z)^n\over (n-k)!} = e^{-z} \sum_{k=0}^\infty {(-cz)^k\over k!}\mu_{\nu+k,c}(x).

Meanwhile, from (1.10), (2.31) and (2.52), (2.53) we find that

\mu_{\nu+k,c}(x) = e^{-cx}\left[ O\left(\Gamma(\nu+k)\right) + O\left( x^{\nu/2} \rho_0(x)\right)\right.

\left. + O\left( (4x)^{(\nu+k)/2} e^{2\sqrt x}\right) + O\left( (2x)^{\nu+k} \right)\right],\quad k \to \infty.

Therefore, the convergence of the latter series is plainly guaranteed in the domain |z| < 1/c.

Remark

Remark 2

6I5V

Theorem 4 and recurrence relation (3.4) give a starting point to establish explicit formulas for the type I polynomials which we leave for an interested reader.

Remark

Remark 3

JCUD

It is known that the type II multiple orthogonal polynomials satisfies a third order recurrence relation of the form

Source and licence

The text on this page is from arXiv:2606.05329v1 by Semyon Yakubovich, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2606/2606.05329.jsonl.