贝塞尔方程和修正贝塞尔方程的拉普拉斯变换方法：理论与应用 奥斯曼·于雷克利（Osman Yürekli）

《Axioms》：Laplace Transform Methods for Bessel and Modified Bessel Equations: Theory and Applications Osman Yürekli

　　**摘要**
本文重新探讨了拉普拉斯变换在贝塞尔方程和修正贝塞尔方程研究中的应用。本文并非将这种方法作为经典弗罗贝尼乌斯方法的新替代方案进行介绍，而是将其组织成一个教学性的回顾，阐述拉普拉斯变换的标准运算规则如何导出这些变系数问题 regular 解的变换域微分方程。对于贝塞尔方程，变换后的方程得到了 ?????(??) 的经典拉普拉斯变换；对于修正贝塞尔方程，同样的过程得到了 ?????(??) 的相应变换。这些公式随后被用来推导出标准的递推关系和导数恒等式，并计算了一些示例性的变换值。本文还解释了为什么奇异伴随解 ?????(??) 和 ?????(??) 不能直接从常规的拉普拉斯变换框架中获得，而是需要通过经典的关联公式来引入。特别关注的是将这些计算放置在早期文献的背景下，尤其是沃森的经典著作以及后续关于拉普拉斯和利普希茨-汉克尔积分的工作。这样，本文旨在成为一个关于贝塞尔型方程的有效运算方法的自成体系的回顾和教程。

**1. 引言**
贝塞尔函数和修正贝塞尔函数在分析学、应用数学和数学物理学中占据核心地位。它们的微分方程、递推关系、渐近展开和积分表示都是经典内容；标准参考文献包括沃森的著作和现代手册文献 [1,2,3]。在大多数介绍中，贝塞尔方程和修正贝塞尔方程是通过弗罗贝尼乌斯方法引入的，因为这两个方程在原点都有正则奇点。本文的目的是提供一个教学性的回顾，说明如何使用拉普拉斯变换的运算规则来恢复贝塞尔型方程的经典结果。重点在于对标准变换公式和恒等式的阐述、组织以及直接从微分方程中推导出来。这一观点有明确的先例。贝塞尔函数的经典理论已在沃森 [1] 中展开。表格和手册记录了许多涉及贝塞尔函数和修正贝塞尔函数的拉普拉斯变换；例如，可以参考 [1,2,3] 中引用的汇编。与本文讨论特别相关的是伊森 (Eason)、诺布尔 (Noble) 和斯内登 (Sneddon) 关于利普希茨-汉克尔型积分的论文，其中包含了对涉及贝塞尔函数的拉普拉斯型积分的系统计算 [4]。拉西 (Rathie) 也考虑了涉及贝塞尔函数和其他特殊函数的相关运算微积分积分 [5]。拉加布 (Ragab) 和斯里瓦斯塔瓦 (Srivastava) 的后续工作给出了修正贝塞尔函数族的拉普拉斯变换的显式公式 [6,7]，而迈尔 (Maier) 重新审视了完整的利普希茨-汉克尔积分并修正了一些表格中的公式 [8]。Yürekli 和 Wilson [9] 也提供了一种基于变换的相关处理方法。因此，本文的贡献主要是阐述性的：它将这两种微分方程的 regular 解的连贯的拉普拉斯变换处理汇集在一起，并在一个地方组织了几个经典的结果。

**2. 前提**
在本节中，我们收集了后续部分所需的拉普拉斯变换知识。这些陈述是标准的；例如，可以参考 Widder 和 Doetsch [16,17]。我们在这里记录它们只是为了确定符号和假设。在整个过程中，假设 f 在每一个有限区间上都是分段连续的。当我们说 f 是指数阶 a 时，意味着存在常数 C 和 k，使得 ∫?^∞ |f(x)|^a dx 收敛。

**定义 1（拉普拉斯变换）**
设 f 是定义在 [a, b] 上的函数。其拉普拉斯变换 ??(??) 定义为 ∫?^∞ e^(-x * f(x)) dx。当积分收敛时，??(??) 就存在。

**定理 1（线性 [16] (第 I 章)）**
如果 f 和 g 都存在，那么对于任意常数 c 和 d，∫?^∞ |f(x) * g(x)|^c dx = ∫?^∞ |g(x) * f(x)|^d dx。

**定理 2（导数公式 [16] (第 II 章)）**
假设 f 和 g 在每一个有限区间上都是分段连续的，并且每一个函数都是指数阶的。那么，对于足够大的 n，∫?^∞ |f(x)^n * g(x)^n| dx = ∫?^∞ |f(x)|^n * |g(x)|^n dx。

**定理 3（关于变换变量的微分 [16] (第 II 章)）**
设 f 是可拉普拉斯变换的。那么 |f(x)|^n * |g(x)|^n 的拉普拉斯变换也可以表示为 ∫?^∞ e^(n * x * f(x)) * e^(-n * x * g(x)) dx。

**定理 4（的经典拉普拉斯变换）**
设 u 是 (18) 的一个 regular 解，其中 ρ 是一个正常数。那么 U = ??(u) 满足 ∫?^∞ |ρ(u)|^n * e^(-u * x) dx。对于 regular 分支，U 满足 ∫?^∞ |f(x)|^n * e^(-u * x) dx = ∫?^∞ |ρ(u)|^n * ∑_(k=0)^n ∑_(j=0)^n (x^j * f(kx)^j) * e^(-j * x) dx。

**推论 1（变换域解基）**
设 f 和 g 是定义在简单连通域上的函数。对于 (11) 和 (13)，存在一组基本的解。证明：对于 (11)，设 ξ = ∫?^∞ e^(λ * x * f(x)) dx，可以构造一个解的基础。对于 (13)，类似地可以构造一个解的基础。

**3. 主要结果**
我们从贝塞尔微分方程开始，展示拉普拉斯变换如何导出其 regular 解的经典变换。由于相关公式都是经典的，这里的重点是阐述：直接从微分方程推导出变换后的微分方程，并将得到的变换与已知的变换进行识别。因此，与主导项相匹配的结果为。由于这是经典的拉普拉斯变换；请参见[1,2,3]中的标准表格和手册公式。因此，常规解为。□以下结果使用了经典的连接公式；请参见Watson和DLMF关于修改后的贝塞尔函数的解释[1,2]。推论2（的拉普拉斯变换）。设和。那么，对于，（35）此外，这个变换满足修改后的变换域方程（33）。证明。对于，和在原点都是局部可积的，它们的拉普拉斯变换对于都收敛。将拉普拉斯变换应用于（32）得到（35）。由于变换后的方程依赖于，和的变换都满足（33）；因此它们的线性组合也满足。□注释3。与普通的贝塞尔函数情况一样，拉普拉斯变换自然会选择在原点规则的解。因此，伴随解是通过标准的连接公式（32）引入的，而不是直接从常规的拉普拉斯变换计算中得到的。例子3（完全的Lipschitz–Hankel积分）。对于，（36）证明。使用拉普拉斯变换的定义，我们有。设置。那么，因此。因此，这是一个完全的Lipschitz–Hankel积分；请参见[4,8]。为了完整性，我们推导出这里使用的求值方法。通过（19）展开并逐项积分得到。将其代入前面的表达式证明了（36）。□4. 通过拉普拉斯变换得到的贝塞尔函数和修改后的贝塞尔函数的操作恒等式第3节中获得的拉普拉斯变换表示提供了一个紧凑的操作框架，用于恢复几个经典的递归和导数恒等式。本节中的结果被包括作为变换公式的说明性结果，而不是新的恒等式；这些恒等式本身在贝塞尔函数的经典理论中是标准的[1,2,3]。我们从第一类贝塞尔函数开始。定理7（通过拉普拉斯变换得到的的经典导数恒等式）。设。那么（37）（38）证明。使用（21），我们有。应用（4）并注意到对于，我们得到。现在取逆拉普拉斯变换证明了（37）。第二个恒等式在变换域中独立证明，避免使用任何递归关系。由于乘以x对应于，只需验证即可。将（21）代入两边得到相同的表达式，取逆拉普拉斯变换得到（38）。端点情况是通过顺序参数的常规极限论证得到的。□以下半阶公式是贝塞尔函数的标准基本特例[1,2,3]。例子4（半阶贝塞尔函数）。使用（21），验证（39）（40）证明。在（21）中设置，我们得到。另一方面，之前建立的的拉普拉斯变换公式给出。因此，由于拉普拉斯变换的唯一性，（39）随之成立。（40）的验证类似，留作练习。□定理8（的经典递归关系）。设与。那么，对于，（41）证明。将拉普拉斯变换应用于（41），只需验证（42）。使用（21），我们写出。对y求导，我们得到。应用（43）与和，并使用（21）对于，我们将（42）简化为关于y的直接代数恒等式。因此（42）成立，拉普拉斯变换的唯一性得出（41）。□例子5（三半阶贝塞尔函数）。使用（39）–（41），验证（44）（45）证明。在（41）中设置，我们得到。代入（39）和（40）得到。因此，这证明了（44）。（45）的验证类似，留作练习。□最后一个例子展示了贝塞尔级数求和的标准类型；这样的级数恒等式与贝塞尔函数的经典生成函数方法密切相关[1,2]。例子6（交替奇数阶贝塞尔和）。对于所有的，（46）证明。设。使用（21），我们得到。因此，对几何级数求和得到。由于，因此。但是。因此，由于拉普拉斯变换的唯一性，这证明了（46）。□我们现在记录修改后的贝塞尔函数的类似操作恒等式。定理9（通过拉普拉斯变换得到的的经典导数恒等式）。设。那么（47）（48）证明。使用（34），我们有。应用（4）并简化，我们得到，这产生了（47）。第二个恒等式同样在变换域中直接获得。只需证明。使用（34），两边都简化为。取逆拉普拉斯变换得到（48）。□定理10（的经典递归关系）。设与。那么，对于，（49）证明。结果通过结合（47）和（48）立即得出。实际上，从（47）来看，而（48）给出。消除得到，这等价于（49）。□5. 结论本文提供了一个教学性的回顾，介绍了如何使用标准的拉普拉斯变换规则来分析贝塞尔方程和修改后的贝塞尔方程。其主要目的是以自包含的方式展示这些操作方法如何将原始方程转换为变换变量中的微分方程，以及变换后的方程的规则分支如何再现和的经典拉普拉斯变换。从这个起点出发，自然会出现许多熟悉的结论：显式的变换评估、递归关系、导数恒等式和几个半整数特例。同时，讨论也清楚了这种方法的一个局限性。普通的拉普拉斯变换适用于在原点规则的解，因此奇异伴随解和不能直接从常规的拉普拉斯变换计算中得到，而必须通过经典的连接公式或降阶来引入。因此，这种方法的更广泛价值在于其解释性。它补充了但并不取代Watson和手册文献[1,2,3]中发展的经典Frobenius和特殊函数方法。它也与运算微积分、拉普拉斯型和Lipschitz–Hankel积分的文献自然契合，包括Eason、Noble和Sneddon的相关特殊函数积分的工作[4]，Rathie对相关特殊函数积分的处理[5]，Maier对修改后的贝塞尔函数的后续变换公式[6,7]，以及[9]中的相关工作。以这种形式阅读本文，最适合那些第一次遇到贝塞尔型方程的读者作为操作视角的简洁教程。