التفرد الضعيف للمعادلات التفاضلية الجزئية العشوائية في فضاءات هيلبرت Weak uniqueness for stochastic partial differential equations in Hilbert spaces

شارك:
المجلة: Journal of Evolution Equations، المجلد: 26، العدد: 1
DOI: https://doi.org/10.1007/s00028-026-01182-1
تاريخ النشر: 2026-02-23
المؤلف: Davide Addona وآخرون
الموضوع الرئيسي: تحليل المعادلات التفاضلية غير الخطية

نظرة عامة

تحدد هذه القسم الهدف الرئيسي من البحث، وهو التحقيق في الندرة الضعيفة لمعادلة تفاضلية عشوائية (SDE) معرفة في فضاء هيلبرت القابل للفصل \( H \). تتأثر SDE بعملية وينر الأسطوانية \( \{W(t)\}_{t \geq 0} \) وتتضمن مولدًا غير نهائي \( A : D(A) \subseteq H \to H \) مرتبطًا بمجموعة شبه مستمرة قوية. بالإضافة إلى ذلك، فإن المشغلين \( V \) و \( G : U \to H \) خطيين ومحدودين، بينما \( B : H \to U \) مستمر بشكل موحد.

تقدم الورقة نتيجة مجردة تظهر الندرة الضعيفة لفئة واسعة من معادلات الحرارة والمعادلات المخففة عبر أي بعد، ولا سيما دون فرض شروط الاستمرارية هولدر على الدالة \( B \). توسع هذه النتيجة من قابلية تطبيق نتائج الندرة الضعيفة في التحليل العشوائي، لا سيما في السيناريوهات التي قد لا تنطبق فيها الافتراضات التقليدية للاستمرارية.

مقدمة

الهدف الرئيسي من هذه الورقة البحثية هو استكشاف الندرة الضعيفة لفئة معينة من المعادلات التفاضلية الجزئية العشوائية (SPDEs) المعرفة بالمعادلة

\[
\partial_t y(t) = -\Lambda y(t) – \rho \Lambda^\alpha \partial_t y(t) + \Lambda^{-\beta} B y(t) + \Lambda^{-\gamma} dW(t), \quad t \in [0, T],
\]

مع الشروط الابتدائية \(y(0) = y_0 \in L^2([0, 2\pi]^d)\) و\(\partial_t y(0) = y_1 \in L^2([0, 2\pi]^d)\). هنا، \(\Lambda = (-\Delta)^k\) يمثل مشغل لابلاس تحت شروط حدود ديريشليت، و\(W(t)\) هو عملية وينر الأسطوانية. بينما تم تناول الندرة الفريدة من حيث المسار لمثل هذه SPDEs سابقًا، لا تزال الندرة الضعيفة غير مستكشفة في الأدبيات. تهدف هذه الورقة إلى إثبات الندرة الضعيفة تحت شروط أقل صرامة مقارنة بتلك المطلوبة للندرة الفريدة من حيث المسار، مع تخفيف الافتراضات المتعلقة بالدالة \(B\).

يستخدم المؤلفون إطارًا مجردًا ويستفيدون من تقنيات التقريب ذات الأبعاد المحدودة لتبسيط الطرق الحالية لمعادلات الحرارة العشوائية. كما أنهم يخففون من شروط التحكم على معاملات SPDE، مستفيدين من خصائص التنظيم لمجموعات أورنشتاين-أوهلنبيك. النتائج المقدمة في هذه الورقة لا تعزز فقط النتائج السابقة المتعلقة بالندرة الضعيفة لمعادلات الحرارة العشوائية ولكنها توفر أيضًا رؤى حول الخصائص الطيفية المرتبطة بالمشغل \(\Lambda^{-\beta}\). بشكل عام، تسهم الدراسة بشكل كبير في فهم الندرة الضعيفة في سياق SPDEs، لا سيما في الحالات التي قد لا تنطبق فيها الافتراضات التقليدية.

نقاش

في هذا القسم، يناقش المؤلفون الإطار الخاص بإثبات الندرة الضعيفة لمعادلات التفاضل الجزئي العشوائي (SPDEs) في سياق فضاءات باناش. يقدمون الرموز والتعريفات ذات الصلة، بما في ذلك σ-جبر بوريل، والمشغلين الخطيين المحدودين، ومجموعات مختلفة من الدوال، مثل الدوال المستمرة بشكل موحد والدوال القابلة للاشتقاق فريشيت. تؤكد المقترح الرئيسي (المقترح 2.3) أنه تحت فرضيات محددة، يوجد حل ضعيف معتدل، ويهدف المؤلفون إلى إثبات الندرة الضعيفة تحت شروط إضافية موضحة في فرضيات 2.4.

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

Journal: Journal of Evolution Equations, Volume: 26, Issue: 1
DOI: https://doi.org/10.1007/s00028-026-01182-1
Publication Date: 2026-02-23
Author(s): Davide Addona et al.
Primary Topic: Nonlinear Differential Equations Analysis

Overview

This section outlines the primary objective of the research, which is to investigate the weak uniqueness of a Stochastic Differential Equation (SDE) defined in a separable Hilbert space \( H \). The SDE is influenced by a \( U \)-cylindrical Wiener process \( \{W(t)\}_{t \geq 0} \) and involves an infinitesimal generator \( A : D(A) \subseteq H \to H \) associated with a strongly continuous semigroup. Additionally, the operators \( V \) and \( G : U \to H \) are linear and bounded, while \( B : H \to U \) is uniformly continuous.

The paper presents an abstract result demonstrating weak uniqueness for a broad class of heat and damped equations across any dimension, notably without imposing Hölder continuity conditions on the function \( B \). This finding expands the applicability of weak uniqueness results in stochastic analysis, particularly in scenarios where traditional continuity assumptions may not hold.

Introduction

The primary objective of this research paper is to explore the weak uniqueness of a specific class of stochastic partial differential equations (SPDEs) defined by the equation

\[
\partial_t y(t) = -\Lambda y(t) – \rho \Lambda^\alpha \partial_t y(t) + \Lambda^{-\beta} B y(t) + \Lambda^{-\gamma} dW(t), \quad t \in [0, T],
\]

with initial conditions \(y(0) = y_0 \in L^2([0, 2\pi]^d)\) and \(\partial_t y(0) = y_1 \in L^2([0, 2\pi]^d)\). Here, \(\Lambda = (-\Delta)^k\) represents the Laplace operator under Dirichlet boundary conditions, and \(W(t)\) is a cylindrical Wiener process. While pathwise uniqueness for similar SPDEs has been previously addressed, weak uniqueness remains unexplored in the literature. This paper aims to establish weak uniqueness under less stringent conditions compared to those required for pathwise uniqueness, particularly relaxing the assumptions on the function \(B\).

The authors employ an abstract framework and utilize finite-dimensional approximation techniques to simplify existing methods for stochastic heat equations. They also relax controllability conditions on the coefficients of the SPDE, leveraging the regularizing properties of Ornstein-Uhlenbeck semigroups. The results presented in this paper not only enhance previous findings regarding weak uniqueness for stochastic heat equations but also provide insights into the spectral properties associated with the operator \(\Lambda^{-\beta}\). Overall, the study contributes significantly to the understanding of weak uniqueness in the context of SPDEs, particularly for cases where traditional assumptions may not hold.

Discussion

In this section, the authors discuss the framework for establishing weak uniqueness for stochastic partial differential equations (SPDEs) within the context of Banach spaces. They introduce relevant notations and definitions, including the Borel σ-algebra, bounded linear operators, and various spaces of functions, such as uniformly continuous and Fréchet differentiable functions. The main proposition (Proposition 2.3) asserts that under specific hypotheses, a weak mild solution exists, and the authors aim to demonstrate weak uniqueness under additional conditions outlined in Hypotheses 2.4.

The authors emphasize that their approach allows for weaker conditions compared to previous works, particularly in cases involving stochastic damped equations and heat equations. They establish that weak uniqueness holds under the conditions specified in Theorem 2.6, which is a significant result as it does not require the additional Hölder continuity condition imposed in earlier studies. The section concludes with the introduction of the Ornstein-Uhlenbeck semigroup and its properties, which play a crucial role in the analysis of the weak solutions to the SPDEs considered. The authors also highlight the implications of their findings for various examples, including stochastic heat equations and damped equations, demonstrating the broad applicability of their results.