[论文解读] Tricomi type boundary value problem with integral conjugation condition for a mixed type equation with Hilfer fractional operator

Erkinjon Karimov|arXiv (Cornell University)|Mar 30, 2019

Differential Equations and Boundary Problems参考文献 13被引用 6

一句话总结

本文研究了一类涉及Hilfer分数阶导数的混合型偏微分方程的Tricomi型边界值问题，其在类型变化线（t=0）上具有积分共轭条件。通过积分方程方法与能量积分技术，作者在共轭参数和核函数满足特定条件时，证明了该问题的唯一可解性，建立了通过第二类Fredholm积分方程表示解的表达式。

ABSTRACT

In this work, The Tricomi type boundary problem with integral conjugation condition on the type-changing line for the mixed type equation with Hilfer fractional differential operator has been considered. Using method of integral equations, energy integral's method, a unique solvability of the formulated problem has been proved.

研究动机与目标

• 研究带有Hilfer分数阶微分算子的混合型方程的Tricomi型边界值问题。
• 在类型变化线（t=0）上引入积分共轭条件，推广经典连续性条件。
• 利用积分方程与能量积分方法，建立该问题的唯一可解性。
• 通过第二类Fredholm积分方程的核函数，推导解的表示形式。
• 识别确保唯一性的共轭参数与核函数的充分条件。

提出的方法

• 在被划分为双曲与抛物区域的区域中，建立带有Hilfer分数阶导数 $ D_{0t}^{eta, ho} $ 的混合型方程，其中 $ \beta \in (0,1] $，$ \rho \in [0,1] $。
• 应用积分方程方法，将边界值问题约化为在界面 $ t=0 $ 上的迹函数 $ \tau_1(x) $ 的第二类Fredholm积分方程。
• 利用能量积分方法，通过分析与共轭条件相关的双线性型的符号，证明唯一性。
• 推导包含双参数Mittag-Leffler函数 $ E_{\alpha,\beta}(z) $、分数阶积分及特征函数展开的解表示。
• 在确保预解核存在且核为弱奇异或连续的条件下，建立所得Fredholm方程的可解性。
• 验证解满足所有边界条件与共轭条件，包括广义Hilfer型传输条件。

实验结果

研究问题

• RQ1 在何种条件下，带有Hilfer分数阶导数与积分共轭条件的Tricomi型边界值问题具有唯一解？
• RQ2 积分共轭条件如何影响解在类型变化线 $ t=0 $ 处的正则性与传输性质？
• RQ3 解是否可通过第二类Fredholm积分方程显式表示？其可解性的条件是什么？
• RQ4 参数 $ \gamma_1, \gamma_2, \gamma_3 $ 以及核函数 $ P(x,z), Q(x,z) $ 在确保唯一性方面起什么作用？
• RQ5 假设 $ \gamma_2 \geq 0, \gamma_3 \geq 0, P(x,x) \geq 0, Q(x,x) \geq 0 $，且 $ \partial P/\partial z = -P_1(x)P_1(z) $，$ \partial Q/\partial z = -Q_1(x)Q_1(z) $，这些条件如何促进能量估计与唯一性证明？

主要发现

• 当 $ \gamma_1 \geq 0 $，$ \gamma_2 \geq 0 $，$ \gamma_3 \geq 0 $，$ P(x,x) \geq 0 $，$ Q(x,x) \geq 0 $，且核函数满足 $ \partial P/\partial z = -P_1(x)P_1(z) $，$ \partial Q/\partial z = -Q_1(x)Q_1(z) $ 时，问题具有唯一解。
• 解通过第二类Fredholm积分方程表示：$ \tau_1(x) - \int_0^l \tau_1(\xi)K(x,\xi)d\xi = F_2(x) $，其中核函数 $ K(x,\xi) $ 连续或弱奇异。
• 预解核 $ R(x,\xi) $ 存在，使得解可表示为 $ \tau_1(x) = F_2(x) + \int_0^l F_2(\xi)R(x,\xi)d\xi $，从而在所述条件下保证了解的存在性。
• 通过能量积分估计证明唯一性：在 $ \gamma_i $、$ P(x,x) $、$ Q(x,x) $ 的非负性假设下，恒等式 $ \int_0^l (\tau_1')^2 dx + C \int_0^l \tau_1 \nu_1 dx = 0 $ 蕴含 $ \tau_1 \equiv 0 $，进而推出 $ u \equiv 0 $。
• $ \Omega_1 $ 中的解用Mittag-Leffler函数 $ E_{\alpha,\alpha+\mu(1-\alpha)}(-k\lambda_n^2 t^\alpha) $ 表示，$ \Omega_2 $ 中的解通过d'Alembert公式表示。
• 有效核函数的显式例子包括 $ P(x,t) = \sin x \cos t $ 和 $ Q(x,t) = e^{-x}(1 + e^{-t}) $，适用于 $ l \leq \pi/2 $。