Uniqueness of solutions to MFG systems with large discount
Cirant, Continelli
We prove that solutions to a class of Mean Field Game systems with discount are unique provided that the discount factor is large enough, and the Lagrangian term is (proportionally) small enough. This identifies an asymptotic uniqueness regime that falls outside the usual ones involving monotonicity.
academic
बड़ी छूट के साथ MFG प्रणालियों के समाधानों की विशिष्टता
यह पेपर छूट के साथ औसत क्षेत्र खेल (Mean Field Game, MFG) प्रणालियों के एक वर्ग के समाधानों की विशिष्टता को सिद्ध करता है, बशर्ते छूट कारक पर्याप्त रूप से बड़ा हो और लैग्रेंजियन पद (सापेक्षिक रूप से) पर्याप्त रूप से छोटा हो। यह एक स्पर्शोन्मुख विशिष्टता क्षेत्र की पहचान करता है, जो आमतौर पर एकरसता से जुड़े विशिष्टता क्षेत्र से भिन्न है।
औसत क्षेत्र खेल सिद्धांत को लास्री-लायंस और हुआंग-केन्स-मलहामे द्वारा स्वतंत्र रूप से प्रस्तावित किया गया था, जो बड़ी संख्या में अविभेद्य तर्कसंगत व्यक्तियों के बीच नैश संतुलन का वर्णन करने के लिए। हालांकि, MFG प्रणालियों के समाधानों की विशिष्टता इस सिद्धांत में एक मूल कठिनाई बनी हुई है।
सैद्धांतिक अंतराल: जबकि कुछ एकरसता शर्तों के तहत MFG प्रणालियों के अद्वितीय समाधान होने के लिए जाना जाता है, इन शर्तों को पूरा न करने वाले सामान्य मामलों में विशिष्टता समस्या अभी भी अनसुलझी है।
सीमा व्यवहार: बार्डी और कार्डालिएगुएट के काम से पता चलता है कि जब छूट पैरामीटर λ→∞ होता है, तो MFG प्रणाली के समाधान अरैखिक परवलयिक PDE के समाधान में परिवर्तित होते हैं, जिसमें विशिष्टता होती है। यह सीमा समस्या से "विशिष्टता उधार लेने" के विचार को प्रेरित करता है।
दोहरी भूमिका: पैरामीटर λ एक साथ समय छूट कारक और नियंत्रण लागत व्युत्क्रम अनुपात गुणांक के रूप में कार्य करता है। जब λ बढ़ता है, तो व्यक्तियों का भविष्य की घटनाओं पर ध्यान कम होता है, साथ ही "प्रतिक्रिया लागत" सस्ती हो जाती है।
नई विशिष्टता तंत्र की स्थापना: यह सिद्ध करता है कि जब छूट कारक λ पर्याप्त रूप से बड़ा होता है, तो MFG प्रणाली के पास एक अद्वितीय समाधान होता है, जो एक पूरी तरह से नया विशिष्टता क्षेत्र है जो पारंपरिक एकरसता शर्तों पर निर्भर नहीं करता है।
मात्रात्मक अभिसरण परिणाम: λDu_λ के DF(x,m_λ(t)) में अभिसरण के लिए मात्रात्मक अनुमान प्रदान करता है:
∣λDuλ(x,t)−DF(x,mλ(t))∣≲λ1
एकीकृत विश्लेषण ढांचा: अनंत समय सीमा MFG प्रणालियों को संभालने के लिए तकनीकी उपकरण विकसित करता है, जिसमें गैर-स्थानीय ग्रॉनवाल प्रकार की लेम्मा और सूक्ष्म पूर्वानुमान अनुमान शामिल हैं।
चिपचिपापन स्वतंत्रता: सिद्ध करता है कि महत्वपूर्ण स्थिरांक Λ प्रसार पैरामीटर पर निर्भर नहीं करता है, जो लुप्त चिपचिपापन सीमा में महत्वपूर्ण है।
ड्यूहेमल सिद्धांत और द्वैत विधि का उपयोग करके, λDu का एक अभिन्न प्रतिनिधित्व प्राप्त करें:
λ∂xi∂u(x,t)=∫t∞∫Rn(λe−λ(s−t)∂xi∂F(y,m(s))−e−λ(s−t)∂xi∂H(λDu(y,s),y))ρx,t(y,s)dyds
यह सिद्ध करता है कि λDu_λ समान रूप से DF(·,m_λ(·)) में परिवर्तित होता है, अभिसरण दर O(1/√λ) के साथ। यह दर्शाता है कि बड़े λ के लिए, Du_λ(t) मुख्य रूप से समय t पर m_λ के मान पर निर्भर करता है, न कि भविष्य के व्यवहार पर।
मुख्य चरण दो समाधानों के बीच अंतर अनुमान स्थापित करना है:
∥λDu1(⋅,t)−λDu2(⋅,t)∥∞≲d1(m1(t),m2(t))+∫t∞d1(m1(r),m2(r))e−(λ−η)(r−t)dr
गैर-स्थानीय ग्रॉनवाल लेम्मा के साथ संयुक्त, जब λ पर्याप्त रूप से बड़ा होता है तो m_1 ≡ m_2 सिद्ध किया जा सकता है, और इसके बाद u_1 ≡ u_2 प्राप्त होता है।
अनंत समय सीमा को संभालना: अनंत समय MFG प्रणालियों के लिए लागू विश्लेषणात्मक तकनीकें विकसित करता है, पारंपरिक परिमित समय विधियों की सीमाओं को दूर करता है।
गैर-स्थानीय ग्रॉनवाल लेम्मा: "भविष्य के अभिन्न" पद युक्त ग्रॉनवाल प्रकार की असमानता को प्रस्तावित और लागू करता है, जो MFG प्रणालियों में गैर-स्थानीय समय निर्भरता को संभालने के लिए मुख्य उपकरण है।
सूक्ष्म द्वितीय-क्रम व्युत्पन्न अनुमान: अधिकतम मूल्य सिद्धांत के माध्यम से D²u की समान सीमितता प्राप्त करता है, जो पूर्व साहित्य में दुर्लभ है।
(F1) F(·,m) सभी m ∈ P₁ के लिए C^{2,α} वर्ग का है, और रैखिक वृद्धि है
(F2) F अंतरिक्ष चर और माप चर दोनों के संबंध में लिप्सचिट्ज़ शर्त को संतुष्ट करता है