التحليل العددي والتنفيذ الفعال لطرق التجميع السريعة لنموذج لابلاس الكسري على الشبكات غير المنتظمة Numerical analysis and efficient implementation of fast collocation methods for fractional Laplacian model on nonuniform grids

شارك:
المجلة: Communications in Nonlinear Science and Numerical Simulation، المجلد: 159
DOI: https://doi.org/10.1016/j.cnsns.2026.109881
تاريخ النشر: 2026-03-03
المؤلف: Meijie Kong وآخرون
الموضوع الرئيسي: حلول المعادلات التفاضلية الكسرية

نظرة عامة

تقدم هذه البحث طريقة تجميع سريعة تستخدم حلقة تكرارية في فضاء كريلوف لمعالجة مشكلة لابلاس الكسرية، التي تم صياغتها كتكامل مفرد. تظهر الطريقة قابلية الحل الفريدة على الشبكات غير المنتظمة العامة لـ $\alpha \in (0, 1)$، مشروطة بدقة تقريب مجموع الأسية (SOE). كما تم تقديم مخطط معدل، والذي يُظهر أنه قابل للحل بشكل فريد على الشبكات المنتظمة لـ $\alpha \in (0, 2)$. يركز تنفيذ هذه المخططات على ضرب المصفوفات-المتجهات بكفاءة ويشمل مُسبق مشروط ذو نطاق لتحسين الكفاءة الحسابية.

تم إجراء تحليل صارم لخطأ المعيار الأقصى لـ $\alpha \in (0, 1)$ على الشبكات المتدرجة، مما يكشف أن ترتيب التقارب يتأثر بمعامل التدرج. الحد الثابت للخطأ هو $O(N^{-\min\{2-\alpha, \kappa \sigma\}})$، مما يشير إلى أن التقارب الأمثل يتطلب معامل تدرج الشبكة $\kappa \geq \frac{2 – \alpha}{\sigma}$. بينما يقتصر التحليل الحالي على $\alpha \in (0, 1)$، تهدف الأعمال المستقبلية إلى توسيع هذه النتائج إلى $\alpha \in [1, 2)$ والشبكات غير المنتظمة العامة. تؤكد التجارب العددية النتائج النظرية، حيث تُظهر أن مخططات التجميع السريعة المقترحة تحقق دقة مماثلة لطرق التجميع المباشر مع تقليل كبير في التعقيد الحسابي واستخدام الذاكرة، حيث يتفوق المخطط المعدل عمومًا على الأصلي بسبب تحسين التقريبات المحلية.

مقدمة

تناقش مقدمة هذه الورقة البحثية أهمية لابلاس الكسرية كعامل رئيسي لنمذجة ظواهر الانتشار غير المحلية، التي تتضمن تفاعلات بعيدة المدى. يبرز المؤلفون الأعمال السابقة، مثل تلك التي قام بها ديبييرو وفالدينوتشي، والتي تربط بين العوامل غير المحلية والمحلية لنمذجة سلوكيات مثل تلك الخاصة بالحيوانات التي تبحث عن الطعام. تم تطبيق لابلاس الكسرية في سياقات رياضية متنوعة، بما في ذلك معادلات ألين-كان الكسرية ومعادلات كان-هيلارد، وهي أداة مهمة في نمذجة الظواهر الفيزيائية المعقدة مثل الانتشار الشاذ ونقل الأدوية.

تتناول الورقة التحديات الحسابية المرتبطة بحل المشكلة النموذجية غير المحلية ذات البعد الواحد المحددة بواسطة لابلاس الكسرية، وخاصة مصفوفات الصلابة الكثيفة التي تنشأ من التقطيع، مما يؤدي إلى تكاليف حسابية عالية. يستعرض المؤلفون الأساليب العددية الحالية، بما في ذلك تلك التي تستخدم تقنيات تحويل فورييه السريع (FFT)، لكنهم يلاحظون أن هذه الأساليب غالبًا ما تعتمد على افتراضات انتظام قوية قد لا تتحقق في الممارسة العملية. للتغلب على هذه التحديات، تقترح الورقة طرق تجميع سريعة على الشبكات غير المنتظمة، مستفيدة من تقريب مجموع الأسية (SOE) لتمثيل النواة غير المحلية بكفاءة. تُظهر الطرق المقترحة تحقيق كفاءة حسابية كبيرة، حيث تتوسع العمليات كـ $O(N \log^2 N)$ لكل تكرار، وتشمل تحليل خطأ صارم وتجارب عددية للتحقق من فعاليتها.

طرق

في هذا القسم، يقدم المؤلفون طريقة تجميع سريعة تعتمد على نظام من المعادلات (SOE) مصممة للمشكلة النموذجية المحددة في المعادلة (1.1)، مع التركيز على الأوامر الكسرية $\alpha$ ضمن النطاق (0، 1). يتم تحليل قابلية الحل الفريدة للطريقة بدقة على الشبكات غير المنتظمة العامة. بالإضافة إلى ذلك، يتم تقديم مخطط تجميع سريع معدل، والذي يتضمن تقريب محلي جديد، حيث يتم فحص قابلية الحل الفريدة للشبكات المنتظمة عندما تكون $\alpha$ في الفترة $[1، 2)$.

لتحسين الكفاءة الحسابية، يقوم المؤلفون بتنفيذ هذه الطرق التجميعية باستخدام حلول تكرارية في فضاء كريلوف. تستفيد هذه الطريقة من ضرب المصفوفات-المتجهات السريع وتدمج تقنية مسبقة مشروطة، مما يحسن الأداء العام للمخططات المقترحة.

نقاش

في هذا القسم، يقدم المؤلفون مخططًا عدديًا لحل عامل غير محلي محدد بواسطة لابلاس الكسرية، تحديدًا للمشكلة النموذجية الموصوفة في المعادلة (1.1). تتضمن الطريقة تقاطع خطي جزئي للحل الحقيقي على تقسيم مكاني غير منتظم، مما يؤدي إلى طريقة تجميع تقرب العامل غير المحلي من خلال تحليل إلى تكاملات محلية، يسارية، ويمينية. لتعزيز الكفاءة الحسابية، يستخدم المؤلفون تقريب مجموع الأسية (SOE) للنواة الضعيفة المفردة في التكاملات غير المحلية، مما يسمح بتقييمات سريعة للحدود غير المحلية اليسارية واليمنية.

يؤكد المؤلفون قابلية الحل الفريدة لطريقة التجميع السريعة المقترحة للأوامر الكسرية $\alpha \in (0، 1)$ من خلال إعادة صياغة المخطط في شكل مصفوفة وإظهار أن مصفوفة المعاملات هي مهيمنة قطريًا بشكل صارم تحت ظروف معينة. كما يقدمون مخططًا معدلًا يوفر تقريبًا محليًا جديدًا، مما يضمن قابلية الحل الفريدة لـ $\alpha \in (0، 2)$ على الشبكات المنتظمة. يتم إظهار أن التعقيد الحسابي لضرب المصفوفات-المتجهات المطلوب لحل التكراري هو $O(N N_e)$، حيث $N$ هو عدد نقاط الشبكة و$N_e$ هو عدد الأسس المستخدمة في تقريب SOE. يسمح هذا التنفيذ الفعال بتطبيقات عملية لطريقة التجميع دون الحاجة إلى تجميع المصفوفات بشكل صريح، مما يحسن كل من وقت الحساب واستخدام الذاكرة.

Journal: Communications in Nonlinear Science and Numerical Simulation, Volume: 159
DOI: https://doi.org/10.1016/j.cnsns.2026.109881
Publication Date: 2026-03-03
Author(s): Meijie Kong et al.
Primary Topic: Fractional Differential Equations Solutions

Overview

This research presents a fast collocation method utilizing a Krylov subspace iterative solver for addressing the fractional Laplacian problem, formulated as a singular integral. The method demonstrates unique solvability on general nonuniform grids for $\alpha \in (0, 1)$, contingent upon the accuracy of the sum-of-exponentials (SOE) approximation. A modified scheme is also introduced, which is shown to be uniquely solvable on uniform grids for $\alpha \in (0, 2)$. The implementation of these schemes emphasizes efficient matrix-vector multiplication and incorporates a banded preconditioner to enhance computational efficiency.

A rigorous maximum-norm error analysis is conducted for $\alpha \in (0, 1)$ on graded grids, revealing that the convergence order is influenced by the grading parameter. The established error bound is $O(N^{-\min\{2-\alpha, \kappa \sigma\}})$, indicating that optimal convergence requires a mesh grading parameter $\kappa \geq \frac{2 – \alpha}{\sigma}$. While the current analysis is limited to $\alpha \in (0, 1)$, future work aims to extend these findings to $\alpha \in [1, 2)$ and general nonuniform grids. Numerical experiments corroborate the theoretical results, showing that the proposed fast collocation schemes achieve comparable accuracy to direct collocation methods while significantly reducing computational complexity and memory usage, with the modified scheme generally outperforming the original due to improved local approximations.

Introduction

The introduction of this research paper discusses the significance of the fractional Laplacian as a key operator for modeling nonlocal diffusion phenomena, which involve long-range interactions. The authors highlight previous work, such as that by Dipierro and Valdinoci, which couples nonlocal and local operators to model behaviors like those of foraging animals. The fractional Laplacian has been applied in various mathematical contexts, including the fractional Allen-Cahn and Cahn-Hilliard equations, and is instrumental in modeling complex physical phenomena such as anomalous diffusion and drug transport.

The paper addresses the computational challenges associated with numerically solving the one-dimensional nonlocal model problem defined by the fractional Laplacian, particularly the dense stiffness matrices that arise from discretization, leading to high computational costs. The authors review existing numerical methods, including those that utilize fast Fourier transform (FFT) techniques, but note that these methods often rely on strong regularity assumptions that may not hold in practice. To overcome these challenges, the paper proposes fast collocation methods on nonuniform grids, leveraging a sum-of-exponentials (SOE) approximation to efficiently represent the nonlocal kernel. The proposed methods are shown to achieve significant computational efficiency, with operations scaling as $O(N \log^2 N)$ per iteration, and include rigorous error analysis and numerical experiments to validate their effectiveness.

Methods

In this section, the authors introduce a fast collocation method based on a system of equations (SOE) tailored to the model problem defined in equation (1.1), focusing on fractional orders $\alpha$ within the range (0, 1). The method’s unique solvability is rigorously analyzed for general nonuniform grids. Additionally, a modified fast collocation scheme is presented, which incorporates a novel local approximation, with unique solvability examined for uniform grids when $\alpha$ is in the interval $[1, 2)$.

To enhance computational efficiency, the authors implement these collocation methods using Krylov subspace iterative solvers. This approach capitalizes on rapid matrix-vector multiplication and incorporates a preconditioning technique, thereby optimizing the overall performance of the proposed schemes.

Discussion

In this section, the authors present a numerical scheme for solving a nonlocal operator defined by the fractional Laplacian, specifically for the model problem described in equation (1.1). The approach involves a piecewise linear interpolation of the true solution over a nonuniform spatial partition, leading to a collocation method that approximates the nonlocal operator through a decomposition into left-sided, local, and right-sided integrals. To enhance computational efficiency, the authors employ a sum-of-exponentials (SOE) approximation for the weakly singular kernel in the nonlocal integrals, which allows for fast evaluations of the left and right nonlocal terms.

The authors establish the unique solvability of the proposed fast collocation method for fractional orders $\alpha \in (0, 1)$ by reformulating the scheme into a matrix form and demonstrating that the coefficient matrix is strictly diagonally dominant under certain conditions. They also introduce a modified scheme that provides a new local approximation, ensuring unique solvability for $\alpha \in (0, 2)$ on uniform grids. The computational complexity of the matrix-vector multiplication required for the iterative solver is shown to be $O(N N_e)$, where $N$ is the number of grid points and $N_e$ is the number of exponentials used in the SOE approximation. This efficient implementation allows for practical applications of the collocation method without the need for explicit matrix assembly, thereby optimizing both computational time and memory usage.