Parabolic Anderson Model in the Hyperbolic Space. Part II: Quenched Asymptotics

ملخص تقني: نموذج أندرسون البارابولي في الفضاء الزائدي (الجزء الثاني: الحالات التقريبية المحددة - Quenched Asymptotics)

بيان المشكلة
يستقصي هذا المقال السلوك التقريبي طويل الأمد للحالة المحددة (quenched) للحل $u(t, x)$ لنموذج أندرسون البارابولي (PAM) في الفضاء الزائدي القياسي $\mathbb{H}^d$ (بانحناء ثابت $\kappa = -1$). المعادلة هي:
$$\partial_t u = \Delta u + \xi \cdot u, \quad u(0, \cdot) \equiv 1$$
حيث $\xi$ هو حقل غاوسي (Gaussian field) حقيقي، متمركز، ثابت زمنياً، ومستقر، وله دالة تباين منتظمة $C(d(x,y))$ تتلاشى بعد طول ارتباط محدد $r_0$. تركز الدراسة على معدل النمو شبه المؤكد (almost sure growth rate) للحل، وتحديداً تحديد النهاية:
$$\lim_{t \to \infty} \frac{1}{t^{5/3}} \log u(t, x)$$
هذا العمل هو الجزء الثاني من سلسلة، تتبع [GX25]، التي وضعت الحالات التقريبية "المتوسطة" (annealed/moment) لنفس النموذج.

النتائج الرئيسية
المساهمة الأساسية هي إثبات معدل النمو المحدد (quenched) الدقيق، والذي يختلف جوهرياً عن الحالة الإقليدية.

1. معدل النمو الدقيق: يوجد ثابت حتمي $L^* > 0$ بحيث، باحتمالية واحد، لكل $x \in \mathbb{H}^d$:
   $$\lim_{t \to \infty} \frac{1}{t^{5/3}} \log u(t, x) = L^*$$
   معدل النمو هو من رتبة $t^{5/3}$، وهو ما يتناقض مع معدل $t \sqrt{\log t}$ الموجود في الإعدادات الإقليدية.

2. الثابت الصريح: يتم تحديد الثابت $L^*$ من خلال مسألة تحسين صريحة تتضمن التباين $\sigma^2$ للحقل والبعد $d$:
   $$L^* = \sup_{\theta \in [0,1], K>0} \left\{ (1-\theta)\sqrt{2(d-1)\sigma^2 K} - \frac{K^2}{4\theta} \right\}$$
   المعلمات المثلى هي $\theta^* = 1/5$ و $K^* = \frac{2^{5/3}}{5^{4/3}}((d-1)\sigma^2)^{1/3}$، مما يعطي:
   $$L^* = \frac{3 \cdot 2^{4/3}}{5^{5/3}} ((d-1)\sigma^2)^{2/3}$$

المنهجية واستراتيجية الإثبات
يعتمد الإثبات على تمثيل فاينمان-كاك (Feynman-Kac) للحل $u(t, o) = \mathbb{E}_o[\exp(\int_0^t \xi(W_s) ds)]$، حيث $W$ هو حركة براونية زائهدية تبدأ من الأصل $o$. يتضمن التحليل منافسة دقيقة بين "المكافأة" (القيم القصوى للحقل الغاوسي $\xi$) و"التكلفة" (احتمالية وصول الحركة البراونية والبقاء في تلك المناطق).

1. بناء الحد الأدنى (السيناريو الأمثل)
يحدد المؤلفون مساراً براونياً محدداً يحقق معدل النمو $e^{L^* t^{5/3}}$. يتضمن السيناريو الأمثل ما يلي:

• مرحلة الانتقال (Travel Phase): تنتقل الحركة البراونية من الأصل إلى نقطة $z_t$ بالقرب من حدود كرة $B(o, K^* t^{4/3})$ خلال كسر زمني $\theta^* t = t/5$. المسار هو أساساً خط جيوديسي (geodesic).
• مرحلة البقاء (Staying Phase): تبقى الحركة ضمن جوار صغير لـ $z_t$ (نصف قطر $\sim t^{-2/9}$) خلال الوقت المتبقي $(1-\theta^*)t = 4t/5$.
• الآلية: في هذه المنطقة، يحقق الحقل $\xi$ نمواً أقصى $\approx \mu_0 \sqrt{R}$ (حيث $R \sim t^{4/3}$). يتم موازنة تكلفة قطع هذه المسافة في الزمن $t/5$ مقابل مكافأة البقاء في منطقة الجهد العالي. ينشأ الأس $t^{5/3}$ من التفاعل بين القياس الزمني الخطي للمكافأة ($t \cdot \sqrt{t^{4/3}}$) والتكلفة التربيعية للانحراف الكبير للحركة البراونية.

2. تحليل الحد الأعلى (استبعاد السيناريوهات الأخرى)
يعد إثبات الحد الأعلى أكثر صعوبة بسبب النمو الأسي للحجم في الفضاء الزائدي، مما يخلق عدداً هائلاً من مناطق "القمم" المحتملة. يستخدم المؤلفون استراتيجية تحديد موقع متعددة الخطوات:

• التحديد داخل كرة: أولاً، يثبتون أن الحركة البراونية من غير المرجح أن تسافر خارج كرة نصف قطرها $K_0 t^{4/3}$.
• تفكيك العناقيد (Cluster Decomposition): يتم تفكيك مناطق القيم العالية لـ $\xi$ إلى "جزر" و"عناقيد". يثبت المؤلفون أن هذه العناقيد متفرقة محلياً؛ وتحديداً، لا يمكن لبال (كرة) بنصف قطر $\eta t^{4/3}$ أن يحتوي على الكثير من القمم العالية المتباعدة.
• المسارات المنفصلة: يتم رسم المسار البراوني المستمر كمتتالية منفصلة من العناقيد التي تمت زيارتها.
• التحديد الدقيق: باستخدام حجة التجميع ثنائية المقياس وتقديرات الانحراف الكبير، يوضح المؤلفون أن أي مسار "منطقي" يجب أن يقضي معظم وقته خارج مناطق القمة. يظهرون أن تكلفة زيارة عناقيد متعددة أو الانحراف عن المسار الجيوديسي الأمثل تفرض عقوبة صارمة على النمو، مما يضمن عدم قدرة أي مسار على تجاوز المعدل $L^* t^{5/3}$.

المساهمات الرئيسية والاختلافات

• آلية التحديد غير الإقليدية: على عكس الحالة الإقليدية، حيث تصل الحركة البراونية إلى القمة المثلى بشكل شبه فوري (الكسر الزمني $\to 0$) وتكون التكلفة ضئيلة، تتطلب الحالة الزائدية كسراً زمنياً غير تافه ($\theta^* = 1/5$) للوصول إلى القمة. تكلفة السفر تكون قابلة للمقارنة بالمكافأة، مما يؤدي إلى توازن أمثل فريد.
• تفرد السيناريو الأمثل: السيناريو الأمثل في الإعداد الزائدي هو فريد جوهرياً (كسر زمني ثابت وتدرج مسافة ثابت)، بينما يسمح الإعداد الإقليدي بنطاق مرن من المعلمات.
• تحديد أقوى: يكشف الإثبات عن آلية تحديد أقوى مدفوعة بهندسة الفضاء الزائدي ونمو الحقل الغاوسي المحدد ($\sqrt{R}$ مقابل $\sqrt{\log R}$).

الأهمية والادعاءات
يزعم المؤلفون أن هذا العمل يضع أول نتائج دقيقة للحالات التقريبية المحددة (quenched) لنموذج PAM في إعداد غير إقليدي مع جهد غاوسي منتظم. تسلط النتائج الضوء على أن الهندسة تغير جوهرياً آلية التقطع (intermittency). وبينما كانت الحالات التقريبية المتوسطة (annealed) في [GX25 متطابقة مع الحالة الإقليدية (التي يحددها لابلاتسيان الإقليدي)، فإن سلوك الحالة المحددة (quenced) متميز ومحكوم بالهندسة الزائدية.

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