DOI: https://doi.org/10.1007/s13540-026-00573-y
تاريخ النشر: 2026-08-20
المؤلف: Ravshan Ashurov وآخرون
الموضوع الرئيسي: حلول المعادلات التفاضلية الكسرية
نظرة عامة
تتناول هذه الورقة مشكلة مصدر عكسية مرتبطة بمعادلة انتشار زمنية كسرية متعددة الحدود باستخدام مشتقات كابوتو. يتم نمذجة الحد المصدر كدالة قابلة للفصل \( f(x)g(t) \)، حيث يتم إعادة بناء المكون المكاني \( f(x) \) من خلال شرط تحديد زائد في وقت داخلي محدد \( t_0 \in (0, T] \). يتم التحكم في المكون البيضاوي بواسطة مشغل تفاضلي إيجابي ذاتي التوافق من الدرجة \( m \geq 2 \). يستخدم المؤلفون تمثيلاً طيفياً يتضمن دوال ميتاج-ليفيلر متعددة الحدود، مستخلصين توسعات جديدة غير متناهية تعطي حدوداً دنيا موحدة لمقام الحل، مما يثبت شروطاً كافية لوجود حلول كلاسيكية.
تظهر الدراسة أيضاً أنه، على الرغم من عدم استقرار المشكلة، يمكن تحقيق حلول كلاسيكية عالية الانتظام تحت شروط هيكلية مناسبة. يتم ضمان تفرد المصدر المعاد بناؤه تحت افتراضات طبيعية تتعلق بالبيانات والدالة \( g(t) \). تقدم الورقة أيضاً تحليلاً شاملاً للنهج الطيفي، موضحةً الشروط اللازمة لوجود حلول جيدة وتوصيف عدم التفرد في الحالات المتدهورة. تمتد النتائج إلى نظرية وجود الحلول الجيدة الموجودة لتشمل فئة أوسع من المشغلين البيضاويين، مع تطبيقات محددة موضحة من خلال مشغلين بيضاويين متجانسين ذات معاملات ثابتة على التوروس، مما يعزز الإطار التحليلي لمشاكل المصدر العكسية الزمنية الكسرية متعددة الحدود.
مقدمة
تسلط مقدمة الورقة الضوء على الأهمية المتزايدة لحساب التفاضل الكسرية في نمذجة الأنظمة المعقدة عبر مجالات مختلفة، بما في ذلك الرياضيات والفيزياء وعلم الأحياء. تؤكد على فائدة المعادلات التفاضلية الزمنية الكسرية متعددة الحدود، التي تتضمن مشتقات كابوتو الكسرية المتعددة من درجات مختلفة، مما يسمح بتمثيل أكثر دقة لظواهر مثل الانتشار الشاذ ونقل المذاب. تشير الورقة إلى أن الدراسات الحالية تركز بشكل أساسي على استعادة الحدود المصدر الزمنية، وغالباً ما تستخدم مشغلين مكانيين كلاسيكيين، بينما تهدف الأبحاث الحالية إلى تحديد مكون مصدر يعتمد على الفضاء في شكل قابل للفصل، باستخدام شرط تحديد زائد واحد في وقت داخلي ثابت.
يقترح المؤلفون مشكلة عكسية لقيمة الحدود الأولية تتميز بمعادلة تفاضلية تتضمن مشتقات كسرية ومشغل بيضاوي. يحددون مساهمتهم الرئيسية، التي تتضمن بناء حلول كلاسيكية من خلال توسعات الدوال الذاتية وإجراء تحليل غير متناهي مفصل لدالة ميتاج-ليفيلر متعددة الحدود. يؤدي هذا التحليل إلى حدود دنيا موحدة على المقامات المميزة، مما يسهل إثباتات صارمة لوجود وتفرد الحلول الكلاسيكية، على الرغم من الطبيعة غير المستقرة للمشكلة العكسية. تم هيكلة الورقة لتتناول تدريجياً المقدمات، والسلوكيات غير المتناهية، وبناء الحلول، وشروط التفرد، مما يؤدي إلى استكشاف شامل للمشكلة العكسية على توروس ذو أبعاد N.
نقاش
في هذا القسم، يناقش المؤلفون تطبيق طريقة فورييه لحل المشكلة العكسية المحددة بواسطة المعادلات (1.1)-(1.4). تؤدي هذه الطريقة إلى مشكلة طيفية تتميز بمعادلات المشغل (2.1) و(2.2)، حيث يتم تحديد شروط كافية لوجود المشغل العكسي. تشمل هذه الشروط قوة البيضاوية، والتوافق الذاتي، والإيجابية، وظروف الحدود المناسبة، وسلاسة الحدود والمعاملات. يبرز المؤلفون وجود نظام كامل من الدوال الذاتية المتعامدة ومجموعة قابلة للعد من القيم الذاتية الإيجابية، والتي تعتبر ضرورية لصياغة الحل.
يتناول القسم أيضاً السلوك غير المتناهي لدالة ميتاج-ليفيلر متعددة الحدود، التي تلعب دوراً مهماً في حل المشكلة العكسية. يقدم المؤلفون عدة ليمات توفر حدوداً علوية ومعايير تقارب لهذه الدالة، مما يؤدي في النهاية إلى تقدير غير متناهي جديد له أهمية مستقلة. تتوج النتائج بإقامة حدود دنيا للحدود في الحل، مع التركيز بشكل خاص على سلوك الحد \( b_{k,\rho_1}(t_0) \) تحت ظروف مختلفة للدالة \( g(t) \). يستنتج المؤلفون أن التقديرات المستخلصة ضرورية لضمان وجود وتفرد الحلول للمشكلة العكسية، كما هو موضح في النظريات اللاحقة.
DOI: https://doi.org/10.1007/s13540-026-00573-y
Publication Date: 2026-08-20
Author(s): Ravshan Ashurov et al.
Primary Topic: Fractional Differential Equations Solutions
Overview
This paper addresses an inverse source problem associated with a multi-term time-fractional diffusion equation utilizing Caputo derivatives. The source term is modeled as a separable function \( f(x)g(t) \), with the spatial component \( f(x) \) reconstructed through an overdetermination condition at a specified interior time \( t_0 \in (0, T] \). The elliptic component is governed by a self-adjoint positive differential operator \( A(x, D) \) of order \( m \geq 2 \). The authors employ a spectral representation involving multinomial Mittag-Leffler functions, deriving novel asymptotic expansions that yield uniform lower bounds for the solution’s characteristic denominator, thereby establishing sufficient conditions for the existence of classical solutions.
The study further demonstrates that, despite the inherent ill-posedness of the problem, high-regularity classical solutions can be achieved under suitable structural conditions. Uniqueness of the reconstructed source is guaranteed under natural assumptions regarding the data and the function \( g(t) \). The paper also provides a comprehensive analysis of the spectral approach, detailing the conditions for well-posedness and characterizing the non-uniqueness in degenerate cases. The findings extend the existing well-posedness theory to a wider class of elliptic operators, with specific applications illustrated through homogeneous elliptic operators with constant coefficients on the torus, thereby enhancing the analytical framework for multi-term time-fractional inverse source problems.
Introduction
The introduction of the paper highlights the growing significance of fractional calculus in modeling complex systems across various fields, including mathematics, physics, and biology. It emphasizes the utility of multi-term time-fractional differential equations, which incorporate multiple Caputo fractional derivatives of varying orders, allowing for a more nuanced representation of phenomena such as anomalous diffusion and solute transport. The paper notes that existing studies primarily focus on recovering time-dependent source terms, often using classical spatial operators, while the current research aims to identify a spatially dependent source component in a separable form, utilizing a single overdetermination condition at a fixed interior time.
The authors propose an initial-boundary value inverse problem characterized by a differential equation involving fractional derivatives and an elliptic operator. They outline their main contribution, which involves constructing classical solutions through eigenfunction expansions and conducting a detailed asymptotic analysis of the multinomial Mittag-Leffler function. This analysis yields uniform lower bounds on the characteristic denominators, facilitating rigorous proofs of existence and uniqueness for classical solutions, despite the ill-posed nature of the inverse problem. The paper is structured to progressively address preliminaries, asymptotic behaviors, solution construction, and uniqueness conditions, culminating in a comprehensive exploration of the inverse problem on an N-dimensional torus.
Discussion
In this section, the authors discuss the application of the Fourier method to solve the inverse problem defined by equations (1.1)-(1.4). This approach leads to a spectral problem characterized by the operator equations (2.1) and (2.2), where sufficient conditions for the compactness of the inverse operator are established. These conditions include strong ellipticity, self-adjointness, positivity, appropriate boundary conditions, and smoothness of the boundary and coefficients. The authors highlight the existence of a complete orthonormal system of eigenfunctions and a countable set of positive eigenvalues, which are crucial for the solution’s formulation.
The section further elaborates on the asymptotic behavior of the multinomial Mittag-Leffler function, which plays a significant role in the solution of the inverse problem. The authors present several lemmas that provide upper bounds and convergence criteria for this function, ultimately leading to a new asymptotic estimate that is of independent interest. The findings culminate in the establishment of lower bounds for terms in the solution, particularly focusing on the behavior of the term \( b_{k,\rho_1}(t_0) \) under different conditions of the function \( g(t) \). The authors conclude that the derived estimates are essential for ensuring the existence and uniqueness of solutions to the inverse problem, as detailed in subsequent theorems.