On the energy image density conjecture of Bouleau and Hirsch
Eriksson-Bique, Murugan
We affirmatively resolve the energy image density conjecture of Bouleau and Hirsch (1986). Beyond the original framework of Dirichlet structures, we establish the energy image density property in several related settings. In particular, we formulate a version of the property that encompasses strongly local, regular Dirichlet forms, Sobolev spaces defined via upper gradients, and self-similar energies on fractals, thereby unifying these under a single framework. As applications, we prove the finiteness of the martingale dimension for diffusions satisfying sub-Gaussian heat kernel bounds, and we obtain a new proof of a conjecture of Cheeger concerning the Hausdorff dimension of the images of differentiability charts in PI spaces. The proof of the energy image density property is based on a structure theorem for measures and normal currents in $\mathbb{R}^n$ due to De Philippis--Rindler, together with the notions of decomposability bundles due to Alberti--Marchese and cone null sets due to Alberti--Csörnyei--Preiss and Bate.
academic
বোলিউ এবং হিরশের শক্তি প্রতিবিম্ব ঘনত্ব অনুমান সম্পর্কে
এই পেপারটি ১৯৮৬ সালে বোলিউ এবং হিরশ দ্বারা প্রস্তাবিত শক্তি প্রতিবিম্ব ঘনত্ব অনুমানকে ইতিবাচকভাবে সমাধান করে। ডিরিচলেট কাঠামোর মূল কাঠামোর বাইরে, লেখকরা বেশ কয়েকটি সম্পর্কিত সেটিংয়ে শক্তি প্রতিবিম্ব ঘনত্ব বৈশিষ্ট্য প্রতিষ্ঠা করেন। বিশেষত, তারা শক্তিশালী স্থানীয় নিয়মিত ডিরিচলেট ফর্ম, উপরের গ্রেডিয়েন্টের মাধ্যমে সংজ্ঞায়িত সোবোলেভ স্থান এবং ফ্র্যাক্টালের উপর স্ব-সদৃশ শক্তি অন্তর্ভুক্ত করে এমন একটি একীভূত কাঠামো প্রতিষ্ঠা করেন। প্রয়োগ হিসাবে, তারা সাব-গাউসিয়ান তাপ কার্নেল সীমানা সন্তুষ্ট করে এমন বিস্তারের মার্টিনগেল মাত্রার সীমাবদ্ধতা প্রমাণ করেন এবং পিআই স্থানে পার্থক্যযোগ্যতা প্রতিবিম্বের হাউসডর্ফ মাত্রা সম্পর্কে চিগারের অনুমানের একটি নতুন প্রমাণ প্রদান করেন।
১. ম্যালিয়াভিন ক্যালকুলাসে মৌলিক ফলাফল: ম্যালিয়াভিন ক্যালকুলাসে, Rn মূল্যবান র্যান্ডম ভেরিয়েবলের সাথে সম্পর্কিত ম্যালিয়াভিন ম্যাট্রিক্সের অ-অবক্ষয়তা (বিপরীতযোগ্যতা) এর বিতরণের লেবেস্গু পরিমাপের সাপেক্ষে পরম ধারাবাহিকতা নির্দেশ করে। এই ফলাফলটি হরমান্ডার উপবৃত্তীয় উপপাদ্য প্রমাণে ম্যালিয়াভিনের মূল পদক্ষেপ গঠন করে।
२. শক্তি প্রতিবিম্ব ঘনত্ব অনুমানের প্রস্তাব: বোলিউ এবং হিরশ ম্যালিয়াভিন ম্যাট্রিক্সকে স্থানীয় ডিরিচলেট ফর্মে সাধারণীকরণ করেন এবং শক্তি প্রতিবিম্ব ঘনত্ব অনুমান প্রস্তাব করেন। এই অনুমানটি দাবি করে যে সাধারণীকৃত ম্যালিয়াভিন ম্যাট্রিক্সের বিপরীতযোগ্যতা র্যান্ডম ভেরিয়েবলের বিতরণের পরম ধারাবাহিকতা নির্দেশ করে।
३. বিদ্যমান আংশিক ফলাফল:
বোলিউ এবং হিরশ স্কেলার-মূল্যবান ফাংশনের ক্ষেত্রে (n=1) অনুমানটি যাচাই করেছেন
উইনার স্থানে অর্নস্টাইন-উহলেনবেক ডিরিচলেট ফর্মে অনুমানটি যাচাই করা হয়েছে
ম্যালিসেট এবং পলি প্রমাণ করেছেন যে যদি det(γ(f))>0 প্রায় সর্বত্র ধরে থাকে, তাহলে f এর বিতরণ একটি রাজচম্যান পরিমাপ
१. পদ্ধতিগত সীমাবদ্ধতা: বিদ্যমান দুটি প্রধান পদ্ধতি (আংশিক একীকরণ পদ্ধতি এবং সহ-ক্ষেত্র সূত্র পদ্ধতি) উভয়ই অতিরিক্ত কাঠামো অনুমান প্রয়োজন এবং সাধারণ ক্ষেত্রে সহ-ক্ষেত্র সূত্র উপলব্ধ নয়।
२. তাত্ত্বিক সম্পূর্ণতা: এই মৌলিক অনুমান সমাধান করা ডিরিচলেট ফর্ম তত্ত্ব এবং স্টোকাস্টিক বিশ্লেষণের জন্য গুরুত্বপূর্ণ।
३. বিস্তৃত প্রয়োগের সম্ভাবনা: এই ফলাফল মার্টিনগেল মাত্রা, জ্যামিতিক পরিমাপ তত্ত্ব, ফ্র্যাক্টাল বিশ্লেষণ এবং অন্যান্য একাধিক ক্ষেত্রে গুরুত্বপূর্ণ প্রয়োগ রয়েছে।
শক্তি প্রতিবিম্ব ঘনত্ব বৈশিষ্ট্য: ডিরিচলেট কাঠামো (X,X,μ,E,F) এবং f∈Fn এর জন্য, যদি
f∗(1{det(γ(f))>0}⋅μ)≪Ln
তাহলে এই কাঠামোটি শক্তি প্রতিবিম্ব ঘনত্ব বৈশিষ্ট্য সন্তুষ্ট করে বলা হয়, যেখানে γ(f) হল carré du champ ম্যাট্রিক্স।
বিয়োজনযোগ্য বান্ডেলTμAM: প্রতিটি লিপশিৎজ ফাংশন μ-প্রায় সর্বত্র পার্থক্যযোগ্য দিকগুলি ক্যাপচার করে
শঙ্কু শূন্য সেট: শঙ্কু C=C(v,θ) এর জন্য, সংক্ষিপ্ত সেট K একটি C-শঙ্কু শূন্য সেট, যদি প্রতিটি লিপশিৎজ বক্ররেখা যার ডেরিভেটিভ প্রায় সর্বত্র C তে থাকে তার সাথে K এর ছেদ H1 পরিমাপ শূন্য হয়
१. প্রতিপ্রমাণ সেটআপ: ধরুন f∗(1A⋅μ)Ln এর সাপেক্ষে পরম ধারাবাহিক নয়, যেখানে A={det(γ(f))>0}
२. বিয়োজনযোগ্য বান্ডেল ব্যবহার করা: প্রস্তাব 3.3 দ্বারা, একটি সংক্ষিপ্ত সেট K বিদ্যমান যেমন Ln(K)=0 কিন্তু ν(K)>0, এবং K এর বিয়োজনযোগ্য বান্ডেল মাত্রা সর্বাধিক n−1
३. অনুমান ফাংশন নির্মাণ: প্রস্তাব 3.15 ব্যবহার করে লিপশিৎজ ফাংশন ক্রম {gk} নির্মাণ করুন, যেমন:
gk→g বিন্দুভাবে সংগ্রহ করে, যেখানে g(y)=⟨λ,y⟩
Lipagk(y)≤ϵ সকল y∈B এর জন্য
४. বৈপরীত্য পান: শৃঙ্খল নিয়ম এবং দুর্বল নিম্ন অর্ধ-ধারাবাহিকতার মাধ্যমে:
∫f−1(B)∩Aγ(∑i=1nλifi,∑i=1nλifi)dμ≤ϵ2∫f−1(B)∩A∑i=1nγ(fi,fi)dμ
কিন্তু A এর সংজ্ঞা দ্বারা:
∫f−1(B)∩Aγ(∑i=1nλifi,∑i=1nλifi)dμ≥δ∫f−1(B)∩A∑i=1nγ(fi,fi)dμ
(X,d,μ,Ep,Fp,Γp) একটি স্থানীয় p-ডিরিচলেট স্থান, যদি সন্তুষ্ট করে:
१. স্থানীয় সংক্ষিপ্ততা: (X,d,μ) একটি রেডন পরিমাপ সহ স্থানীয়ভাবে সংক্ষিপ্ত মেট্রিক স্থান
२. সম্পূর্ণতা: Fp নর্ম ∥f∥Fp=(∥f∥pp+Ep(f))1/p এর অধীনে একটি ব্যানাচ স্থান
३. সমজাতীয়তা: Γp{λf}=∣λ∣pΓp{f}
४. সাব-রৈখিকতা: Γp{f+g}(A)1/p≤Γp{f}(A)1/p+Γp{g}(A)1/p
५. শৃঙ্খল নিয়ম: Γp{g∘f}≤(Lipag∘f)pΓp{f}
६. স্থানীয়তা এবং দুর্বল নিম্ন অর্ধ-ধারাবাহিকতা
উপপাদ্য 5.7: ধরুন (X,d,μ,E,F) সাব-গাউসিয়ান তাপ কার্নেল সীমানা HKE(Ψ) সন্তুষ্ট করে এমন একটি MMD স্থান, যেখানে μ একটি দ্বিগুণ পরিমাপ। তাহলে মার্টিনগেল মাত্রা সীমিত।
প্রমাণ চিন্তাভাবনা:
१. তাপ কার্নেলের হোল্ডার ধারাবাহিকতা ব্যবহার করে, একটি α>0 বিদ্যমান যেমন ঘন সেটের ফাংশনের α-হোল্ডার ধারাবাহিক সংস্করণ রয়েছে
२. শক্তি প্রতিবিম্ব ঘনত্ব বৈশিষ্ট্য দ্বারা, যদি মার্টিনগেল মাত্রা ≥n, তাহলে একটি f∈Fn বিদ্যমান যেমন f({γν(f)>0}) একটি অ-শূন্য Ln পরম ধারাবাহিক পরিমাপ সমর্থন করে
३. α-হোল্ডার ধারাবাহিকতা দ্বারা, dimH(f({γν(f)>0}))≤dH(X)/α
४. অতএব মার্টিনগেল মাত্রা ≤dH(X)/α<∞
প্রস্তাব 5.18: আয়তন দ্বিগুণকরণ এবং (1,p)-পয়েনকেয়ার অসমতা সন্তুষ্ট করে এমন সম্পূর্ণ মেট্রিক স্থানে, যেকোনো n-মাত্রিক গ্রাফের জন্য (U,ϕ), আমাদের রয়েছে ϕ∗(1Uμ)≪Ln।
१. সম্ভাবনা তত্ত্ব: স্টোকাস্টিক প্রক্রিয়ার বিতরণ বৈশিষ্ট্য গবেষণা
२. জ্যামিতিক বিশ্লেষণ: মেট্রিক পরিমাপ স্থানে বিশ্লেষণ
३. ফ্র্যাক্টাল জ্যামিতি: ফ্র্যাক্টালে শক্তি এবং পরিমাপ
४. আংশিক ডিফারেনশিয়াল সমীকরণ: উপবৃত্তীয় এবং প্যারাবোলিক সমীকরণের নিয়মিততা তত্ত্ব
এই পেপারটি বোলিউ-হিরশ শক্তি প্রতিবিম্ব ঘনত্ব অনুমান সম্পূর্ণভাবে সমাধান করে, একটি একীভূত তাত্ত্বিক কাঠামো প্রতিষ্ঠা করে এবং একাধিক গুরুত্বপূর্ণ প্রয়োগ প্রমাণ করে। এই কাজটি শুধুমাত্র গুরুত্বপূর্ণ তাত্ত্বিক মূল্য নয়, বরং সম্পর্কিত ক্ষেত্রের আরও গবেষণার জন্য শক্তিশালী সরঞ্জাম প্রদান করে।
१. শক্তি প্রতিবিম্ব ঘনত্ব বৈশিষ্ট্যের পরিমাণগত সংস্করণ গবেষণা করা
२. অন্যান্য জ্যামিতিক কাঠামোতে সাধারণীকরণ অন্বেষণ করা
३. আরও কার্যকর গণনা পদ্ধতি বিকাশ করা
४. আরও অনেক প্রয়োগ ক্ষেত্র খুঁজে বের করা
এই পেপারটি সম্ভাবনা তত্ত্ব এবং জ্যামিতিক বিশ্লেষণের ছেদ ক্ষেত্রে একটি প্রধান অগ্রগতি প্রতিনিধিত্ব করে, এর প্রভাব আগামী দীর্ঘ সময় ধরে অব্যাহত থাকবে।