Luzin $N$ শর্তের জন্য সমালোচনামূলক সেটের Hausdorff পরিমাপ

মৌলিক তথ্য

• পেপার আইডি: 2005.06559
• শিরোনাম: Luzin $N$ শর্তের জন্য সমালোচনামূলক সেটের Hausdorff পরিমাপ
• লেখক: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
• শ্রেণীবিভাগ: math.FA (কার্যকরী বিশ্লেষণ)
• প্রকাশনার সময়: ২০২০ সালের ১৩ মে
• পেপার লিংক: https://arxiv.org/abs/2005.06559

সারসংক্ষেপ

এটি সুপ্রতিষ্ঠিত যে যেকোনো $p<n$ এর জন্য, একটি Sobolev সমরূপতা $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ বিদ্যমান যা শূন্য Lebesgue $n$-মাত্রিক পরিমাপের সেট $C$ কে ধনাত্মক পরিমাপের সেটে ম্যাপ করে। এই নিবন্ধটি সাধারণ নিয়ন্ত্রক ফাংশন দ্বারা সংজ্ঞায়িত Hausdorff পরিমাপের দৃষ্টিকোণ থেকে এই সমালোচনামূলক সেট $C$ এর আকার অধ্যয়ন করে এবং এর নিম্ন এবং উচ্চ সীমানা চিহ্নিত করে।

গবেষণা পটভূমি এবং প্রেরণা

মূল সমস্যা

এই নিবন্ধে অধ্যয়ন করা মূল সমস্যা হল Luzin $N$ শর্ত লঙ্ঘনকারী সমালোচনামূলক সেটের Hausdorff পরিমাপ বৈশিষ্ট্য। Luzin $N$ শর্ত দাবি করে যে যেকোনো সেট $E \subseteq \Omega$ এর জন্য, যদি $L^n(E) = 0$ হয়, তবে $L^n(f(E)) = 0$, অর্থাৎ ফাংশন শূন্য পরিমাপের সেটকে ধনাত্মক পরিমাপের সেটে ম্যাপ করতে পারে না।

গুরুত্ব বিশ্লেষণ

1. ভৌত অর্থ: কঠিন বলবিদ্যা এবং অন্যান্য ভৌত মডেলে, Luzin $N$ শর্ত বিকৃতির মাধ্যমে "পদার্থ তৈরি" করা নিষিদ্ধ করে, যখন Luzin $N^{-1}$ শর্ত "পদার্থ অদৃশ্য" হওয়া নিষিদ্ধ করে
2. গাণিতিক অর্থ: এই শর্তগুলি পরিবর্তনশীল প্রতিস্থাপন সূত্রের বৈধতা, ক্ষেত্র সূত্র এবং সহ-ক্ষেত্র সূত্রের প্রতিষ্ঠার সাথে ঘনিষ্ঠভাবে সম্পর্কিত
3. তাত্ত্বিক সম্পূর্ণতা: এই শর্তগুলি লঙ্ঘনকারী সমালোচনামূলক সেটের আকার চিহ্নিত করা Sobolev ম্যাপিংয়ের বৈশিষ্ট্য বোঝার জন্য গুরুত্বপূর্ণ

বিদ্যমান গবেষণার সীমাবদ্ধতা

• Reshetnyak প্রমাণ করেছেন যে $W^{1,n}$ এ Sobolev সমরূপতা শর্ত $N$ সন্তুষ্ট করে
• Marcus এবং Mizel প্রমাণ করেছেন যে $W^{1,p}$ ($p > n$) এ ম্যাপিং শর্ত $N$ সন্তুষ্ট করে
• Ponomarev $W^{1,p}$ ($1 \leq p < n$) এ শর্ত $N$ লঙ্ঘনকারী প্রতিউদাহরণ তৈরি করেছেন
• কিন্তু বিদ্যমান গবেষণা প্রধানত শক্তি ফাংশন ধরনের নিয়ন্ত্রক ফাংশন $h(t) = t^α$ বিবেচনা করে, সাধারণ নিয়ন্ত্রক ফাংশনের পদ্ধতিগত অধ্যয়নের অভাব রয়েছে

মূল অবদান

1. তাত্ত্বিক অবদান: সমালোচনামূলক সেটের আকার অধ্যয়নকে ক্লাসিক্যাল শক্তি ফাংশন ধরনের Hausdorff পরিমাপ থেকে সাধারণ নিয়ন্ত্রক ফাংশন দ্বারা সংজ্ঞায়িত Hausdorff পরিমাপে প্রসারিত করা
2. নির্মাণ পদ্ধতি: Ponomarev নির্মাণের উপর ভিত্তি করে, grand Sobolev স্থান $W^{1,n)}$ এ Luzin $N$ শর্ত লঙ্ঘনকারী সমরূপতার নির্ভুল চিহ্নিতকরণ প্রদান করা
3. উচ্চ সীমানা ফলাফল: নির্দিষ্ট শর্ত সন্তুষ্টকারী নিয়ন্ত্রক ফাংশন $h(t) = t^n\tau(t)$ এর জন্য প্রমাণ করা যে একটি সমালোচনামূলক সেট $C_A$ বিদ্যমান যেমন $0 < H^h(C_A) < \infty$
4. নিম্ন সীমানা ফলাফল: যেকোনো নিয়ন্ত্রক ফাংশন $h$ এর জন্য প্রমাণ করা যে একটি সমালোচনামূলক সেট $C_A$ নির্মাণ করা যায় যেমন $H^h(C_A) = 0$

পদ্ধতি বিস্তারিত

কাজের সংজ্ঞা

Luzin $N$ শর্ত লঙ্ঘনকারী Sobolev সমরূপতা $f: Q_0 \to Q_0$ অধ্যয়ন করা (যেখানে $Q_0 = [-1,1]^n$), এর সমালোচনামূলক সেট $C_A$ এর আকার সাধারণ নিয়ন্ত্রক ফাংশন $h$ দ্বারা সংজ্ঞায়িত Hausdorff পরিমাপ $H^h$ এর অধীনে চিহ্নিত করা।

মূল তাত্ত্বিক কাঠামো

Luzin শর্তের সংজ্ঞা

• Luzin $N$ শর্ত: $L^n(E) = 0 \Rightarrow L^n(f(E)) = 0$
• Luzin $N^{-1}$ শর্ত: $L^n(f(E)) = 0 \Rightarrow L^n(E) = 0$

নিয়ন্ত্রক ফাংশন এবং Hausdorff পরিমাপ

নিয়ন্ত্রক ফাংশন $h(t): [0,\infty) \to [0,\infty)$ সন্তুষ্ট করে:

1. $h$ একঘেয়ে অ-হ্রাসমান
2. $h(0) = 0$
3. $h$ ক্রমাগত

Hausdorff পরিমাপ সংজ্ঞায়িত হয় যেমন: $H^h(A) = \lim_{\delta \to 0^+} \inf\left\{\sum_{i=1}^{\infty} h(\text{diam}U_i) : A \subseteq \bigcup_i U_i, \text{diam}(U_i) < \delta\right\}$

Ponomarev নির্মাণ পদ্ধতি

মৌলিক সেটআপ

দুটি কঠোরভাবে হ্রাসমান ক্রম $\{a_k\}$ এবং $\{b_k\}$ নির্মাণ করা:

• $a_0 = b_0 = 1$
• $\lim_{k \to \infty} a_k = 0$
• $\lim_{k \to \infty} b_k > 0$

ব্যাসার্ধ ক্রম সংজ্ঞায়িত করা:

• $r_k = 2^{-k}a_k$
• $\tilde{r}_k = 2^{-k}b_k$

Cantor ধরনের সেট নির্মাণ

নেস্টেড ঘনক সিস্টেম আবেগপূর্ণভাবে নির্মাণ করা:

• $v = [v_1, v_2, \ldots, v_k] \in V^k$ এর জন্য, কেন্দ্র $z_v$ এবং ঘনক $Q_v$ সংজ্ঞায়িত করা
• উৎস Cantor সেট নির্মাণ: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
• প্রতিবিম্ব Cantor সেট নির্মাণ: $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

সমরূপতা ম্যাপিং নির্মাণ

$k$-তম ধাপে, ম্যাপিং $f_k$ সংজ্ঞায়িত করা:

• $Q_v$ এর মধ্যে: $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
• পরিবেশ $Q'_v \setminus Q_v$ এর মধ্যে: রেডিয়াল ম্যাপিং ব্যবহার করা

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

1. পরামিতি নির্বাচনের সূক্ষ্মতা: $b_k = \frac{1}{2}(1 + a_k)$ নির্বাচন করে, নির্মিত ম্যাপিং grand Sobolev স্থান $W^{1,n)}$ এ অন্তর্ভুক্ত তা নিশ্চিত করা
2. নিয়ন্ত্রক ফাংশনের সাধারণীকরণ প্রক্রিয়া:
   • প্রমেয় 1.1 এর জন্য, $h(t) = t^n\tau(t)$ প্রয়োজন, যেখানে $\tau$ নির্দিষ্ট একঘেয়ে এবং সীমা শর্ত সন্তুষ্ট করে
   • প্রমেয় 1.2 এর জন্য, যেকোনো নিয়ন্ত্রক ফাংশন অনুমোদিত
3. পরিমাপ অনুমান কৌশল: ঘনক ব্যাস এবং Hausdorff পরিমাপের মধ্যে মূল অনুমান প্রতিষ্ঠা করা: $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

প্রধান প্রমেয়

প্রমেয় 1.1 (উচ্চ সীমানা ফলাফল)

$\tau: (0,\infty) \to [1,\infty)$ একটি একঘেয়ে ক্রমাগত ফাংশন যা $\lim_{t \to 0^+} \tau(t) = \infty$ সন্তুষ্ট করে এবং সকল $p \in (0,1]$ এর জন্য একটি $x_p \in (0,1)$ বিদ্যমান যেমন সকল $t \in (0, x_p)$ এর জন্য $\frac{1}{\tau(pt)} > t^n$।

$h(t) = t^n\tau(t)$ সেট করলে, একটি সমরূপতা $f: Q_0 \to Q_0$ বিদ্যমান যা সন্তুষ্ট করে:

1. $f$ $Q_0$ সীমানায় পরিচয় ম্যাপিং
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ a.e.
4. যদি $H^h(E) = 0$, তবে $L^n(f(E)) = 0$
5. একটি সেট $C_A$ বিদ্যমান যেমন $H^h(C_A) \in (0,\infty)$, $L^n(C_A) = 0$ এবং $L^n(f(C_A)) > 0$

প্রমেয় 1.2 (নিম্ন সীমানা ফলাফল)

যেকোনো নিয়ন্ত্রক ফাংশন $h$ এর জন্য, একটি সমরূপতা $f: Q_0 \to Q_0$ বিদ্যমান যা সন্তুষ্ট করে:

1. $f$ $Q_0$ সীমানায় পরিচয় ম্যাপিং
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ a.e.
4. একটি সেট $C_A$ বিদ্যমান যেমন $H^h(C_A) = 0$, $L^n(C_A) = 0$ এবং $L^n(f(C_A)) > 0$

প্রমাণের মূল বিষয়

প্রমেয় 1.2 এর প্রমাণ কৌশল

ক্রম $\{a_k\}$ নির্বাচন করা যেমন $h(c_n 2^{-k}a_k) < 2^{-2nk}$, যেখানে $c_n = 2\sqrt{n}$। এটি নিশ্চিত করে: $H^h(C_A) \leq \lim_{k \to \infty} \sum_{v \in V^k} h(\text{diam}Q_v) = \lim_{k \to \infty} 2^{nk}h(c_n r_k) < \lim_{k \to \infty} 2^{-nk} = 0$

প্রমেয় 1.1 এর প্রমাণ মূল পদক্ষেপ

1. ক্রম নির্বাচন: $\{a_k\}$ নির্মাণ করা যেমন $a_k^n\tau(2^{-k}c_n a_k) \approx 1$
2. পরিমাপ সীমাবদ্ধতা: $H^h(C_A) < \infty$ প্রমাণ করা
3. পরিমাপ ইতিবাচকতা: কভারেজ তর্ক দ্বারা যেকোনো সীমিত খোলা কভারেজ $\{U_j\}$ এর জন্য $\sum_j h(\text{diam}U_j) \gtrsim 1$ প্রমাণ করা
4. দ্বিমুখী নির্মাণ: ম্যাপিং $z: C_A \to [0,1]^n$ নির্মাণ করা, পরিমাপের মধ্যে সংযোগ প্রতিষ্ঠা করা

সম্পর্কিত কাজ

ঐতিহাসিক উন্নয়ন

• Peano বক্ররেখা (1890): Luzin $N$ শর্ত লঙ্ঘনকারী প্রথম উদাহরণ
• Cesari নির্মাণ (1942): পদ্ধতিগত প্রতিউদাহরণ নির্মাণ
• Reshetnyak (1966): $W^{1,n}$ এ ইতিবাচক ফলাফল
• Ponomarev (1971): $W^{1,p}$ ($p < n$) এ প্রতিউদাহরণ

আধুনিক উন্নয়ন

• Iwaniec-Sbordone: grand Sobolev স্থান তত্ত্ব
• Kauhanen: Hausdorff মাত্রার অধ্যয়ন
• Koskela-Malý এবং অন্যরা: শর্ত $N$ এর আধুনিক তত্ত্ব

উপসংহার এবং আলোচনা

প্রধান উপসংহার

1. Luzin $N$ শর্ত লঙ্ঘনকারী সমালোচনামূলক সেট Hausdorff পরিমাপ অর্থে নির্বিচারে ছোট হতে পারে (প্রমেয় 1.2)
2. $t^n$ এর কাছাকাছি নিয়ন্ত্রক ফাংশনের জন্য, সমালোচনামূলক সেট ধনাত্মক সীমিত Hausdorff পরিমাপ থাকতে পারে (প্রমেয় 1.1)
3. Grand Sobolev স্থান $W^{1,n)}$ এই ধরনের সমস্যা অধ্যয়নের জন্য উপযুক্ত কাঠামো

তাত্ত্বিক তাৎপর্য

এই নিবন্ধ সাধারণ Hausdorff পরিমাপের অধীনে Luzin $N$ শর্ত লঙ্ঘনকারী সমালোচনামূলক সেটের সম্ভাব্য আকার সম্পূর্ণভাবে চিহ্নিত করে, এভাবে Sobolev ম্যাপিংয়ের জ্যামিতিক বৈশিষ্ট্যের বোঝাপড়া গভীর করে।

সীমাবদ্ধতা

1. ফলাফল প্রধানত নির্দিষ্ট Ponomarev ধরনের নির্মাণের জন্য
2. প্রমেয় 1.1 এ নিয়ন্ত্রক ফাংশন $\tau$ এর শর্ত অত্যন্ত প্রযুক্তিগত
3. আরও সাধারণ ম্যাপিং ক্লাস বা অন্যান্য নিয়মিততা শর্ত জড়িত নয়

ভবিষ্যত দিকনির্দেশনা

1. আরও সাধারণ মেট্রিক পরিমাপ স্থানে সাধারণীকরণ
2. অন্যান্য ধরনের সমালোচনামূলক সেট অধ্যয়ন (যেমন $N^{-1}$ শর্ত লঙ্ঘনকারী সেট)
3. আংশিক ডিফারেনশিয়াল সমীকরণ সমাধানের নিয়মিততা তত্ত্বের সাথে সংযোগ অন্বেষণ

গভীর মূল্যায়ন

সুবিধা

1. তাত্ত্বিক সম্পূর্ণতা: সমালোচনামূলক সেট Hausdorff পরিমাপের উপর এবং নিম্ন সীমানা পদ্ধতিগতভাবে চিহ্নিত করা
2. প্রযুক্তিগত উদ্ভাবন: সাধারণ নিয়ন্ত্রক ফাংশন তত্ত্ব এবং ক্লাসিক্যাল Ponomarev নির্মাণ দক্ষতার সাথে একত্রিত করা
3. পদ্ধতি সার্বজনীনতা: প্রমাণ কৌশল সম্পর্কিত সমস্যায় সাধারণীকরণযোগ্য
4. লেখার স্পষ্টতা: নিবন্ধ কাঠামো স্পষ্ট, প্রযুক্তিগত বিবরণ বিস্তারিত

অপূর্ণতা

1. প্রয়োগের সীমাবদ্ধতা: প্রধানত তাত্ত্বিক ফলাফল, ব্যবহারিক প্রয়োগ মূল্য সীমিত
2. প্রযুক্তিগত জটিলতা: কিছু প্রযুক্তিগত শর্ত (যেমন প্রমেয় 1.1 এ $\tau$ শর্ত) কৃত্রিম
3. উদ্ভাবন স্তর: প্রধানত বিদ্যমান তত্ত্বের সম্প্রসারণ এবং পরিমার্জন

প্রভাব

• একাডেমিক মূল্য: কার্যকরী বিশ্লেষণ এবং জ্যামিতিক পরিমাপ তত্ত্বের জন্য নতুন তাত্ত্বিক সরঞ্জাম প্রদান করে
• তাত্ত্বিক সম্পূর্ণতা: সাধারণ নিয়ন্ত্রক ফাংশন ক্ষেত্রে তাত্ত্বিক শূন্যতা পূরণ করে
• পদ্ধতিগত অবদান: ক্লাসিক্যাল নির্মাণ এবং আধুনিক পরিমাপ তত্ত্ব কীভাবে একত্রিত করতে হয় তা প্রদর্শন করে

প্রযোজ্য পরিস্থিতি

1. জ্যামিতিক পরিমাপ তত্ত্ব এবং কার্যকরী বিশ্লেষণের তাত্ত্বিক গবেষণা
2. Sobolev ম্যাপিং তত্ত্বের আরও উন্নয়ন
3. পরিবর্তনশীল পদ্ধতি এবং আংশিক ডিফারেনশিয়াল সমীকরণে নিয়মিততা সমস্যা