Weak derivatives and metric differentiability almost everywhere
Evseev
It is known that a Lipschitz continuous map from the Euclidean domain to a metric space is metrically differentiable almost everywhere. When the metric space is a Banach space dual to separable, the metric differential has its linear counterpart -- weak* differential. However, for an arbitrary metric or Banach space, a Lipschitz map is not necessarily weak* differentiable. This paper introduces an approach based on a concept of weak weak* derivatives. This framework yields a linear representation for the metric differential, allowing for its calculation as the norm of an associated linear operator.
academic
দুর্বল অন্তরজ সংখ্যা এবং মেট্রিক পার্থক্যযোগ্যতা প্রায় সর্বত্র
এই পত্রিকাটি ইউক্লিডীয় ডোমেইন থেকে মেট্রিক স্থানে লিপশিৎজ ক্রমাগত ম্যাপিংয়ের মেট্রিক পার্থক্যযোগ্যতা অধ্যয়ন করে। এটি পরিচিত যে এই ধরনের ম্যাপিংগুলি প্রায় সর্বত্র মেট্রিক পার্থক্যযোগ্য। যখন লক্ষ্য স্থান বিচ্ছেদ্য ব্যানাচ স্থানের দ্বৈত হয়, মেট্রিক পার্থক্যের একটি রৈখিক সমতুল্য থাকে—দুর্বল* পার্থক্য। তবে, যেকোনো মেট্রিক স্থান বা ব্যানাচ স্থানের জন্য, লিপশিৎজ ম্যাপিং অগত্যা দুর্বল* পার্থক্যযোগ্য নয়। এই পত্রিকাটি "দুর্বল দুর্বল* অন্তরজ সংখ্যা" (weak weak* derivatives) ধারণার উপর ভিত্তি করে একটি পদ্ধতি প্রবর্তন করে, যা মেট্রিক পার্থক্যের জন্য একটি রৈখিক প্রতিনিধিত্ব প্রদান করে, যা সম্পর্কিত রৈখিক অপারেটরের নর্ম হিসাবে গণনা করা যায়।
ধ্রুবক ফলাফলের সীমাবদ্ধতা: কিরচহেইম (1994) এর মেট্রিক র্যাডেমাচার উপপাদ্য নির্দেশ করে যে লিপশিৎজ ম্যাপিং f:Rn→X (X একটি মেট্রিক স্থান) প্রায় সর্বত্র মেট্রিক পার্থক্যযোগ্য, অর্থাৎ একটি সেমিনর্ম md(f,x) বিদ্যমান যেমন
limy→x∣y−x∣d(f(y),f(x))−md(f,x)(y−x)=0
রৈখিক প্রতিনিধিত্বের প্রয়োজন: অ্যাম্ব্রোসিও এবং কিরচহেইম (2000) বিচ্ছেদ্য ব্যানাচ স্থানের দ্বৈত V∗ এ সমদূরস্থ এম্বেডিংয়ের মাধ্যমে প্রমাণ করেছেন যে যখন f:Rn→V∗, মেট্রিক পার্থক্য দুর্বল* পার্থক্যের নর্ম হিসাবে প্রকাশ করা যায়:
md(f,x)(ν)=∥wdf(x)⋅ν∥V∗
মূল চ্যালেঞ্জ: যখন লক্ষ্য স্থান X নিজেই একটি রৈখিক কাঠামো রাখে কিন্তু বিচ্ছেদ্য স্থানের দ্বৈত নয় তখন কী ঘটে? এই ক্ষেত্রে ম্যাপিং দুর্বল* পার্থক্যযোগ্য হওয়ার গ্যারান্টি নেই, যদিও সমদূরস্থ এম্বেডিং ι:X→V∗ এর মাধ্যমে সূত্র (2) প্রয়োগ করা যায়, কিন্তু এম্বেডিং মূল রৈখিক কাঠামোকে সম্মান করে না।
সূত্র (1) এর জন্য উপযুক্ত একটি পার্থক্য ধারণা খুঁজে বের করা, যা শুধুমাত্র দুর্বল* পার্থক্যযোগ্য ক্ষেত্রে নয় বরং আরও সাধারণ সেটিংসেও প্রযোজ্য, মেট্রিক পার্থক্যের জন্য একটি অন্তর্নিহিত রৈখিক প্রতিনিধিত্ব প্রদান করা।
দুর্বল দুর্বল অন্তরজ সংখ্যা কাঠামো প্রবর্তন*: সাধারণ মেট্রিক স্থান মূল্যবান ম্যাপিংয়ের জন্য প্রযোজ্য একটি অন্তরজ সংখ্যা ধারণা ∇∘f প্রস্তাব করা, যা L(Rn;(Lipz0(X))∗) এ মূল্য নেয়
রৈখিক প্রতিনিধিত্ব উপপাদ্য প্রতিষ্ঠা (উপপাদ্য 1.1): লিপশিৎজ ক্রমাগত ম্যাপিং f:Ω→X এর জন্য প্রমাণ করা:
একটি অপারেটর ∇∘f(x) বিদ্যমান যা ⟨ϕ,∇∘f(x)⋅ν⟩=∇ϕ∘f(x)⋅ν সন্তুষ্ট করে
একটি সেমিনর্ম ρ বিদ্যমান যেমন md(f,x)(ν)=ρ(∇∘f(x)⋅ν) প্রায় সর্বত্র ধারণ করে
মেট্রিক অন্তরজ সংখ্যার নর্ম প্রতিনিধিত্ব প্রতিষ্ঠা (উপপাদ্য 3.5): সম্পূর্ণ ক্রমাগত ম্যাপিংয়ের জন্য প্রমাণ করা
∥∂ν∘f(x)∥(Lipz0(X))∗=m∂νf(x)
সোবোলেভ স্থান বৈশিষ্ট্য (উপপাদ্য 3.7): দুর্বল দুর্বল* অন্তরজ সংখ্যা দ্বারা মেট্রিক মূল্যবান সোবোলেভ স্থান W1,p(Ω;X) বৈশিষ্ট্য প্রদান করা
সোবোলেভ টপোলজিতে মেট্রিক পার্থক্যযোগ্যতা (উপপাদ্য 4.4): প্রমাণ করা যে W1,p(Ω;X) এ ম্যাপিংগুলি W1,p টপোলজি অর্থে প্রায় সর্বত্র মেট্রিক পার্থক্যযোগ্য
অপরিহার্য নর্ম ক্রম (সংজ্ঞা 3.2): একটি বিচ্ছেদ্য উপসেট E⊂X এর জন্য, {ϕk}⊂Lipz0(X) নির্মাণ করা যা সন্তুষ্ট করে
d(x,y)=supk∣ϕk(x)−ϕk(y)∣
মেট্রিক অন্তরজ সংখ্যার অবিচ্ছেদ্য প্রতিনিধিত্ব (উপপাদ্য 3.4): যদি ϕk∘fν এর সমান্তরাল রেখা বিভাগে সম্পূর্ণ ক্রমাগত হয়, এবং
G(x):=supk∂ν∂ϕk∘f(x)∈Lloc1(Ω)
তারপর m∂νf~(x)=G(x) প্রায় সর্বত্র ধারণ করে
এই পত্রিকাটি একটি বিশুদ্ধ তাত্ত্বিক গণিত পত্রিকা, সংখ্যাগত পরীক্ষা জড়িত নয়। প্রধানত কঠোর গাণিতিক প্রমাণের মাধ্যমে তাত্ত্বিক কাঠামো প্রতিষ্ঠা করা হয়।
সিদ্ধান্ত: f∈W1,p(Ω;X) যদি এবং শুধুমাত্র যদি f∈Lp(Ω;X) এবং দুর্বল দুর্বল* আংশিক অন্তরজ সংখ্যা ∂jf বিদ্যমান যা সন্তুষ্ট করে
∥∂jf(⋅)∥(Lipz0(X))∗∈Lp(Ω),j=1,…,n
তাৎপর্য:
5, উপবিভাগ 3.4 দ্বারা উত্থাপিত দুর্বল দুর্বল* অন্তরজ সংখ্যা নর্ম পরিমাপযোগ্যতা সমস্যার সমাধান করে
সমদূরস্থ এম্বেডিং ছাড়াই একটি অন্তর্নিহিত সোবোলেভ স্থান বৈশিষ্ট্য প্রদান করে
লিপশিৎজ ম্যাপিং f:Ω→V এর জন্য, একটি ∇∗∗f:Ω→B(Rn;V∗∗) বিদ্যমান যেমন যেকোনো বিচ্ছেদ্য উপসেট D∗⊂V∗ এর জন্য, প্রায় সর্বত্র
limy→x∣y−x∣⟨v∗,f(y)−f(x)−∇∗∗f(x)⋅(y−x)⟩=0,∀v∗∈D∗
ধারণা উদ্ভাবন: দুর্বল দুর্বল* অন্তরজ সংখ্যা তত্ত্ব সিস্টেমেটিকভাবে বিকাশ করে, সমদূরস্থ এম্বেডিংয়ের উপর নির্ভর করে না এমন একটি অন্তর্নিহিত পদ্ধতি প্রদান করে
প্রযুক্তিগত অগ্রগতি:
দুর্বল দুর্বল* অন্তরজ সংখ্যা নর্মের পরিমাপযোগ্যতা প্রমাণ করে (5 এর খোলা সমস্যা সমাধান করে)
মেট্রিক অন্তরজ সংখ্যার নির্ভুল নর্ম প্রতিনিধিত্ব প্রতিষ্ঠা করে
প্রয়োগ সম্প্রসারণ:
তত্ত্ব W1,p টপোলজিতে মেট্রিক পার্থক্যযোগ্যতায় প্রয়োগ করে
সাধারণ ব্যানাচ স্থান লক্ষ্যের ক্ষেত্রে অধ্যয়ন করে
মূল অর্জন: দুর্বল দুর্বল* অন্তরজ সংখ্যা কাঠামোর মাধ্যমে, মেট্রিক পার্থক্যের জন্য একটি অন্তর্নিহিত রৈখিক প্রতিনিধিত্ব প্রদান করা হয়েছে, সূত্র হল
md(f,x)(ν)=ρ(∇∘f(x)⋅ν)
যেখানে ρ হল (Lipz0(X))∗ এ একটি সেমিনর্ম
তত্ত্ব সম্পূর্ণতা:
যখন লক্ষ্য স্থান বিচ্ছেদ্য হয়, ρ একটি নর্ম
সোবোলেভ ম্যাপিংয়ের জন্য, একটি সম্পূর্ণ পার্থক্য তত্ত্ব প্রতিষ্ঠা করা হয়েছে
W1,p টপোলজিতে মেট্রিক পার্থক্যযোগ্যতা প্রমাণ করা হয়েছে
একীভূত কাঠামো: কিরচহেইমের মেট্রিক পার্থক্যযোগ্যতা তত্ত্বকে অ্যাম্ব্রোসিও-কিরচহেইমের রৈখিকীকরণ পদ্ধতির সাথে একীভূত করে
1 L. Ambrosio, B. Kirchheim. মেট্রিক এবং ব্যানাচ স্থানে সংশোধিত সেট। Math. Ann., 318(3):527–555, 2000.
14 B. Kirchheim. সংশোধিত মেট্রিক স্থান: স্থানীয় কাঠামো এবং হাউসডর্ফ পরিমাপের নিয়মিততা। Proc. Am. Math. Soc., 121(1):113–123, 1994.
16 Yu. G. Reshetnyak. মেট্রিক স্থানে মূল্য সহ সোবোলেভ-ধরনের ফাংশন। Sib. Math. J., 38(3):657–675, 1997.
5 P. Creutz, N. Evseev. মেট্রিক স্থান মূল্যবান সোবোলেভ ম্যাপিংয়ের দুর্বল পার্থক্যযোগ্যতা। Proc. Amer. Math. Soc, প্রকাশনার জন্য অপেক্ষমাণ।
6 N. Gigli, E. Pasqualetto, E. Soultanis. মেট্রিক মূল্যবান সোবোলেভ ম্যাপিংয়ের পার্থক্য। J. Funct. Anal., 278(6):24, 2020.
সামগ্রিক মূল্যায়ন: এটি মেট্রিক স্থান মূল্যবান ম্যাপিংয়ের পার্থক্য তত্ত্বে একটি উচ্চ মানের তাত্ত্বিক গণিত পত্রিকা যা গুরুত্বপূর্ণ অবদান রাখে। দুর্বল দুর্বল* অন্তরজ সংখ্যা কাঠামো প্রবর্তনের মাধ্যমে, লেখক সফলভাবে মেট্রিক পার্থক্যের জন্য একটি অন্তর্নিহিত রৈখিক প্রতিনিধিত্ব প্রদান করেছেন, নির্দিষ্ট সমদূরস্থ এম্বেডিংয়ের উপর নির্ভরতা এড়িয়ে। পত্রিকার প্রমাণ কঠোর, কাঠামো সম্পূর্ণ, এবং মেট্রিক জ্যামিতি এবং কার্যকরী বিশ্লেষণ ক্ষেত্রে দীর্ঘস্থায়ী প্রভাব ফেলার প্রত্যাশা করা হয়। প্রধান অপূর্ণতা তত্ত্বের বিমূর্ততা এবং নির্দিষ্ট প্রয়োগ উদাহরণের অভাবে নিহিত, তবে এটি ভিত্তিস্থাপনকারী তাত্ত্বিক কাজের জন্য গ্রহণযোগ্য।