[论文解读] Properties of Discrete Analogue of the Differential Operator $\frac{d^{2m}}{dx^{2m}}-\frac{d^{2m-2}}{dx^{2m-2}}$

Kh. M. Shadimetov, A.R. Hayotov|ArXiv.org|Oct 30, 2008

Differential Equations and Boundary Problems被引用 5

一句话总结

本文研究了微分算子 $ \frac{d^{2m}}{dx^{2m}} - \frac{d^{2m-2}}{dx^{2m-2}} $ 的离散类比 $ D_m(h\beta) $，证明其与连续算子具有相同的本征解：$ e^{x} $、$ e^{-x} $，以及一个次数为 $ 2m-3 $ 的多项式 $ P_{2m-3}(x) $。主要贡献在于证明了 $ D_m(h\beta) $ 在离散设置下保持了原始微分算子的核结构，从而确保其适用于在索伯列夫空间中构造最优求积公式。

ABSTRACT

In the paper properties of the discrete analogue $D_m(hβ)$ of the differential operator $\frac{d^{2m}}{dx^{2m}}-\frac{d^{2m-2}}{dx^{2m-2}}$ are studied. It is known, that zeros of differential operator $\frac{d^{2m}}{dx^{2m}}-\frac{d^{2m-2}}{dx^{2m-2}}$ are functions $e^x$, $e^{-x}$ and $P_{2m-3}(x)$. It is proved that discrete analogue $D_m(hβ)$ of this differential operator also have similar properties.

研究动机与目标

• 研究微分算子 $ \frac{d^{2m}}{dx^{2m}} - \frac{d^{2m-2}}{dx^{2m-2}} $ 的离散类比 $ D_m(h\beta) $ 的结构性质。
• 确定 $ D_m(h\beta) $ 是否继承原始微分算子的解空间（核），特别是函数 $ e^x $、$ e^{-x} $ 和一个次数为 $ 2m-3 $ 的多项式 $ P_{2m-3}(x) $。
• 确立 $ D_m(h\beta) $ 作为在索伯列夫空间 $ W_{2}^{(m,m-1)}(0,1) $ 中构造最优求积公式的基础组件的有效性。
• 验证离散算子是否满足与基本解 $ \psi_m(x) $ 的所需卷积恒等式，从而确保其在离散卷积意义下的可逆性。

提出的方法

• 通过要求 $ D_m(h\beta) * \psi_m(h\beta) = \delta(h\beta) $ 导出的方程组，构建离散类比 $ D_m(h\beta) $，其中 $ \psi_m(x) $ 是微分算子的基本解。
• 通过多项式 $ P_{2m-2}(\lambda) $ 的根 $ \lambda_k $ 显式表达算子，其中系数 $ A_k $ 以及常数 $ C $、$ p_{2m-2}^{(2m-2)} $ 和 $ p_{2m-3}^{(2m-2)} $ 由算子的结构导出。
• 该方法涉及求解线性方程组以确定 $ D_m(h\beta) $ 中未知系数，利用欧拉多项式和有限差分的性质。
• 核保持性的证明依赖于将 $ e^{h\beta} $、$ e^{-h\beta} $ 和 $ (h\beta)^n $ 直接代入卷积方程，并验证当 $ m = 1,2,3 $ 时所有系数均为零。
• 分析使用生成函数和涉及欧拉多项式 $ E_k(\lambda) $ 的递推恒等式，特别是通过表达式 $ P_k(x) = (x-1)^{k+1} \sum_{i=1}^{k+1} \frac{\Delta^i 0^{k+1}}{(x-1)^i} $。
• 验证过程包括在卷积表达式中分组 $ e^{h\beta} $、$ e^{-h\beta} $ 和 $ (h\beta)^n $ 的系数，并证明当 $ m $ 较小时这些系数恒为零，从而确认核结构。

实验结果

研究问题

• RQ1 离散类比 $ D_m(h\beta) $ 是否保持与连续算子相同的核？
• RQ2 函数 $ e^{x} $、$ e^{-x} $ 和一个次数为 $ 2m-3 $ 的多项式 $ P_{2m-3}(x) $ 是否为离散算子 $ D_m(h\beta) $ 的解？
• RQ3 离散算子 $ D_m(h\beta) $ 与基本解 $ \psi_m(x) $ 卷积时的行为如何？它是否满足狄拉克函数恒等式？
• RQ4 多项式 $ P_{2m-2}(\lambda) $ 的根 $ \lambda_k $ 在定义 $ D_m(h\beta) $ 的系数中起什么作用？
• RQ5 鉴于其与连续算子的结构相似性，离散算子 $ D_m(h\beta) $ 是否可用于在索伯列夫空间 $ W_{2}^{(m,m-1)}(0,1) $ 中构造最优求积公式？

主要发现

• 离散类比 $ D_m(h\beta) $ 满足卷积恒等式 $ D_m(h\beta) * \psi_m(h\beta) = \delta(h\beta) $，确认其作为基本解的离散逆算子的角色。
• 算子 $ D_m(h\beta) $ 与连续微分算子具有相同的核：$ e^{x} $、$ e^{-x} $ 和一个次数为 $ 2m-3 $ 的多项式 $ P_{2m-3}(x) $，该结论已对 $ m = 1,2,3 $ 证明成立。
• 在卷积表达式中，$ e^{h\beta} $、$ e^{-h\beta} $ 和 $ (h\beta)^n $ 的系数在 $ m = 1,2,3 $ 时恒为零，从而确认核结构。
• 通过多项式 $ P_{2m-2}(\lambda) $ 的根 $ \lambda_k $ 推导出 $ D_m(h\beta) $ 的显式形式，其中系数 $ A_k $ 和常数 $ C $ 依赖于 $ e^h $、$ p_{2m-2}^{(2m-2)} $ 和 $ p_{2m-3}^{(2m-2)} $。
• 该构造依赖于欧拉多项式 $ E_k(\lambda) $ 和有限差分算子 $ \Delta^i $，其中 $ P_{2m-2}(\lambda) $ 通过包含 $ h $、$ e^h $ 和 $ E_k(\lambda) $ 的几何与多项式项的组合定义。
• 由于 $ D_m(h\beta) $ 保持了原始微分算子的关键谱性质和核结构，因此适用于在 $ W_{2}^{(m,m-1)}(0,1) $ 中构造最优求积公式。