[论文解读] The general form of the Euler--Poisson--Darboux equation and application of transmutation method

Elina Shishkina, С. М. Ситник|arXiv (Cornell University)|Jul 15, 2017

Differential Equations and Boundary Problems参考文献 18被引用 19

一句话总结

本文通过汉克尔变换与广义平移算子，为广义欧拉-泊松-达伯朗方程（含贝塞尔算子）在所有实数参数 $k$ 下（包括此前未研究的奇负值）提供了统一的解表示，有效。该方法导出了柯西问题的紧凑积分公式，并建立了分布解成为经典解的条件，通过贝塞尔函数与合流超几何函数显式推导了特定情形的解。

ABSTRACT

In the paper we find solution representations in the compact integral form to the Cauchy problem for a general form of the Euler--Poisson--Darboux equation with Bessel operators via generalized translation and spherical mean operators for all values of the parameter $k$, including also not studying before exceptional odd negative values. We use a Hankel transform method to prove results in a unified way. Under additional conditions we prove that a distributional solution is a classical one too. A transmutation property for connected generalized spherical mean is proved and importance of applying transmutation methods for differential equations with Bessel operators is emphasized. The paper also contains a short historical introduction on differential equations with Bessel operators and a rather detailed reference list of monographs and papers on mathematical theory and applications of this class of differential equations.

研究动机与目标

• 为广义欧拉-泊松-达伯朗方程（含贝塞尔算子）在所有实数 $k$ 下（包括此前未研究的奇负值）提供统一的解表示。
• 利用广义平移与球面对称平均算子，为柯西问题建立紧凑的积分公式。
• 证明在附加正则性条件下，分布解为经典解。
• 展示转位方法与汉克尔变换技术在求解含贝塞尔算子的奇异双曲方程中的实用性。

提出的方法

• 利用汉克尔变换，统一地推导出所有 $k\in\mathbb{R}$ 下（包括 $k = -1, -3, -5, \dots$）的解表示。
• 采用广义平移算子 $^\gamma T^{ty}$ 与球面对称平均算子，以紧凑积分形式表达解。
• 应用转位理论，将广义EPD方程的解与已知简单方程的解联系起来。
• 使用算子 $ (\triangle_\gamma)_x = \sum_{i=1}^n \frac{1}{x_i^{\gamma_i}} \frac{\partial}{\partial x_i} \left( x_i^{\gamma_i} \frac{\partial}{\partial x_i} \right) $ 作为贝塞尔型椭圆算子。
• 通过涉及 $ (1 - y^2)^{\frac{k - \gamma - 2}{2}} $ 与贝塞尔函数 $ J_{\nu}(\cdot) $ 的积分表示推导解公式。
• 利用已知积分恒等式（如《数学函数手册》中的公式 2.12.4.6）验证解的正确性。

实验结果

研究问题

• RQ1 如何为广义欧拉-泊松-达伯朗方程的柯西问题在所有实数 $k$ 下（包括奇负整数）实现统一求解？
• RQ2 广义平移与球面对称平均算子在构建广义EPD方程紧凑积分解中起什么作用？
• RQ3 在何种条件下，广义EPD方程的分布解会成为经典解？
• RQ4 如何系统地应用转位方法求解含贝塞尔算子的微分方程，以获得解表示？
• RQ5 对于特定初值（如 $ f(x) = j_{\frac{\gamma-1}{2}}(x) $），会导出何种显式解形式？其与贝塞尔函数及合流超几何函数有何关联？

主要发现

• 本文推导出适用于所有 $k \in \mathbb{R}$（包括 $k = -1, -3, -5, \dots$）的广义欧拉-泊松-达伯朗方程的紧凑积分解公式，此前这些值未被涵盖。
• 当 $k > \gamma > 0$ 时，解表示为 $ u(x,t;k) = \frac{2\Gamma\left(\frac{k+1}{2}\right)}{\Gamma\left(\frac{k-\gamma}{2}\right)\Gamma\left(\frac{\gamma+1}{2}\right)} \int_0^1 (1-y^2)^{\frac{k-\gamma-2}{2}} \,^\gamma T^{ty}f(x) y^\gamma dy $，适用于偶初值。
• 当 $f(x) = j_{\frac{\gamma-1}{2}}(x)$ 时，解简化为 $ u(x,t;k) = j_{\frac{\gamma-1}{2}}(x) j_{\frac{k-1}{2}}(t) $，展现出贝塞尔函数的乘积结构。
• 当 $k < \gamma$ 时，解通过涉及 $ t^k $ 与 $ t^{k+1} $ 导数的递归变换表示，最终以 $ {}_0F_1 $ 合流超几何函数形式呈现。
• 对于 $k = \frac{1}{3}, \gamma = \frac{3}{2}$，显式导出解 $ u(x,t;k) = {}_0F_1\left(;\frac{\gamma+1}{2}; -\frac{x^2}{4}\right) {}_0F_1\left(;\frac{k+1}{2}; -\frac{t^2}{4}\right) $，与已知特殊函数一致。
• 本文证明广义平移算子 $ ^{k,\gamma}T^t_x $ 满足 $ ^{k,\gamma}T^t_x j_{\frac{\gamma-1}{2}}(x) = j_{\frac{\gamma-1}{2}}(x) j_{\frac{k-1}{2}}(t) $，确立了关键的转位性质。