2025-11-25T14:07:18.238453

The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary

Chen, Liang, Tsai
In this paper, we study local regularity of the solutions to the Stokes equations near a curved boundary under no-slip or Navier boundary conditions. We extend previous boundary estimates near a flat boundary to that near a curved boundary, under very low starting regularity assumptions. Compared with the flat case, the proof for the curved case is more complicated and we adapt new techniques such as the ``normal form" after the mollification with even-even-odd extension, recovering vertical derivative estimates from horizontal derivative estimates, and transferring temporal derivatives to spatial derivatives, to deal with the higher order perturbation terms generated by boundary straightening. As an application, we propose a new definition of boundary regular points for the incompressible Navier--Stokes equations that guarantees higher spatial regularity.
academic

বক্র সীমানার কাছাকাছি স্টোকস এবং নেভিয়ার-স্টোকস সমীকরণের স্থানীয় নিয়মিততা তত্ত্ব

মৌলিক তথ্য

  • পেপার আইডি: 2510.13028
  • শিরোনাম: বক্র সীমানার কাছাকাছি স্টোকস এবং নেভিয়ার-স্টোকস সমীকরণের স্থানীয় নিয়মিততা তত্ত্ব
  • লেখক: হুই চেন, সু লিয়াং, তাই-পেং সাই
  • শ্রেণীবিভাগ: math.AP (পিডিই বিশ্লেষণ)
  • প্রকাশনার সময়: ১৪ অক্টোবর, ২০২৫ (arXiv জমা)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.13028

সারসংক্ষেপ

এই পেপারটি বক্র সীমানার কাছাকাছি স্টোকস সমীকরণের স্থানীয় নিয়মিততা সমস্যা অধ্যয়ন করে, যেখানে কোনো স্লিপ (no-slip) বা নেভিয়ার সীমানা শর্ত বিবেচনা করা হয়। লেখকরা সমতল সীমানা সম্পর্কিত পূর্ববর্তী অনুমানগুলি বক্র সীমানার ক্ষেত্রে সাধারণীকরণ করেছেন, অত্যন্ত নিম্ন প্রাথমিক নিয়মিততা অনুমানের অধীনে সংশ্লিষ্ট তত্ত্ব প্রতিষ্ঠা করেছেন। সমতল সীমানার ক্ষেত্রের তুলনায়, বক্র সীমানার প্রমাণ আরও জটিল, যার জন্য নতুন কৌশল যেমন মসৃণকৃত "স্বাভাবিক রূপ", অনুভূমিক ডেরিভেটিভ অনুমান থেকে উল্লম্ব ডেরিভেটিভ অনুমান পুনরুদ্ধার, এবং সময় ডেরিভেটিভকে স্থানীয় ডেরিভেটিভে রূপান্তর প্রয়োজন, যা সীমানা সরলীকরণ থেকে উদ্ভূত উচ্চ-ক্রমের বিঘ্নকারী পদগুলি পরিচালনা করতে। প্রয়োগ হিসাবে, লেখকরা অসংকোচনীয় নেভিয়ার-স্টোকস সমীকরণের সীমানা নিয়মিত বিন্দুর একটি নতুন সংজ্ঞা প্রস্তাব করেছেন, যা উচ্চতর স্থানীয় নিয়মিততা নিশ্চিত করে।

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

১. সমস্যার গুরুত্ব: স্টোকস এবং নেভিয়ার-স্টোকস সমীকরণ অসংকোচনীয় সান্দ্র তরলের গতি বর্ণনা করে, যা তরল বলবিদ্যার মৌলিক সমীকরণ। সীমানার কাছাকাছি সমাধানের নিয়মিততা বোঝা তরল বলবিদ্যার তত্ত্ব এবং প্রয়োগ উভয়ের জন্যই অত্যন্ত গুরুত্বপূর্ণ।

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

  • বর্তমান সীমানা নিয়মিততা তত্ত্ব প্রধানত সমতল সীমানার ক্ষেত্রে কেন্দ্রীভূত
  • সেরেগিন-শিলকিন এবং অন্যদের কাজ দেখায় যে, কোনো স্লিপ সীমানা শর্তের অধীনে, এমনকি বাহ্যিক শক্তি শূন্য হলেও, স্টোকস সমীকরণের দুর্বল সমাধান সীমানার কাছাকাছি মসৃণ নাও হতে পারে
  • চ্যাং-কাং এবং অন্যদের দ্বারা নির্মিত প্রতিউদাহরণ দেখায় যে, সীমাবদ্ধ অত্যন্ত দুর্বল সমাধান অসীম গ্রেডিয়েন্ট থাকতে পারে

३. বক্র সীমানার চ্যালেঞ্জ: বক্র সীমানার ক্ষেত্র জ্যামিতিক জটিলতার কারণে, সীমানা সরলীকরণ থেকে উদ্ভূত অতিরিক্ত বিঘ্নকারী পদগুলি পরিচালনা করতে হয়, যা বিশ্লেষণকে আরও কঠিন করে তোলে।

४. গবেষণা প্রেরণা: বক্র সীমানার ক্ষেত্রে সম্পূর্ণ নিয়মিততা তত্ত্ব প্রতিষ্ঠা করা, বাস্তব প্রয়োগে জটিল জ্যামিতির জন্য তাত্ত্বিক ভিত্তি প্রদান করা।

মূল অবদান

१. সীমানা অনুমানের সাধারণীকরণ: সমতল সীমানার ক্ষেত্রে স্টোকস সমীকরণের নিয়মিততা অনুমানগুলি বক্র সীমানায় সাধারণীকরণ করা, C1,1C^{1,1} সীমানায় গ্রেডিয়েন্ট অনুমান এবং C2,1C^{2,1} সীমানায় দ্বিতীয় ক্রমের ডেরিভেটিভ অনুমান প্রতিষ্ঠা করা।

२. প্রযুক্তিগত উদ্ভাবন: বক্র সীমানা পরিচালনার জন্য নতুন কৌশল বিকাশ করা, যার মধ্যে রয়েছে:

  • মসৃণকৃত "স্বাভাবিক রূপ" (normal form)
  • অনুভূমিক ডেরিভেটিভ অনুমান থেকে উল্লম্ব ডেরিভেটিভ অনুমান পুনরুদ্ধার
  • সময় ডেরিভেটিভ থেকে স্থানীয় ডেরিভেটিভে রূপান্তর

३. সম্পূর্ণ নিয়মিততা তত্ত্ব: কোনো স্লিপ এবং নেভিয়ার সীমানা শর্তের জন্য যথাক্রমে সম্পূর্ণ স্থানীয় নিয়মিততা তত্ত্ব প্রতিষ্ঠা করা।

४. নতুন সীমানা নিয়মিত বিন্দু সংজ্ঞা: উচ্চ-ক্রমের স্থানীয় নিয়মিততা নিশ্চিত করে এমন নেভিয়ার-স্টোকস সমীকরণের সীমানা নিয়মিত বিন্দুর একটি নতুন সংজ্ঞা প্রস্তাব করা।

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

কাজের সংজ্ঞা

ডোমেইন Ω⊂Rd\Omega \subset \mathbb{R}^d (d≥2d \geq 2) এ অ-স্থায়ী স্টোকস সমীকরণ বিবেচনা করুন:

{∂tu−Δu+∇p=f+divFdivu=0\begin{cases} \partial_t u - \Delta u + \nabla p = f + \text{div} F \\ \text{div} u = 0 \end{cases}

সীমানা শর্তগুলি হল:

  • কোনো স্লিপ শর্ত: u=0u = 0 on Σ\Sigma
  • নেভিয়ার শর্ত: [(2Du+F)n]tan⁡+αutan⁡=0[(2Du + F)n]_{\tan} + \alpha u_{\tan} = 0 এবং u⋅n=0u \cdot n = 0 on Σ\Sigma

লক্ষ্য হল বক্র সীমানা ∂Ω∈C1,1\partial\Omega \in C^{1,1} বা C2,1C^{2,1} এর কাছাকাছি সমাধানের নিয়মিততা অনুমান প্রতিষ্ঠা করা।

মূল প্রযুক্তিগত কাঠামো

१. সীমানা সরলীকরণ কৌশল

C1,1C^{1,1} সীমানার জন্য, স্থানাঙ্ক রূপান্তর TT এর মাধ্যমে বক্র সীমানা স্থানীয়ভাবে সরল করুন: Tx=(x′,xd−γ(x′))T x = (x', x_d - \gamma(x')) যেখানে γ∈C1,1(Rd−1)\gamma \in C^{1,1}(\mathbb{R}^{d-1}) সন্তুষ্ট করে γ∣x′=0=0\gamma|_{x'=0} = 0, ∇γ∣x′=0=0\nabla\gamma|_{x'=0} = 0।

२. মসৃণকরণ এবং সম্প্রসারণ কৌশল

জোড়-জোড়-বিজোড় সম্প্রসারণের মসৃণকরণ অপারেটর ব্যবহার করুন: Eε1,ε2,ε3±(g)(x,t)=∫R+d×Rg(y,s)⋅ηε1,ε2,ε3±(x,y,t−s)dydsE^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(g)(x,t) = \int_{\mathbb{R}^d_+ \times \mathbb{R}} g(y,s) \cdot \eta^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(x,y,t-s) dy ds

३. স্বাভাবিক রূপ কৌশল

উচ্চ-ক্রমের বিঘ্নকারী পদ পরিচালনার জন্য, "স্বাভাবিক রূপ" প্রবর্তন করুন:

  • বেগের জন্য: v^k=(1+∣∇γ∣2)vk\hat{v}_k = (1 + |\nabla\gamma|^2)v_k
  • ভর্টিসিটির জন্য: ω^id=(1+∣∇γ∣2)⋅ωid+∑k=1d−1(1+∣∇γ∣2)⋅γk′⋅γi′⋅ωkd\hat{\omega}_{id} = (1 + |\nabla\gamma|^2) \cdot \omega_{id} + \sum_{k=1}^{d-1}(1 + |\nabla\gamma|^2) \cdot \gamma'_k \cdot \gamma'_i \cdot \omega_{kd}

প্রধান উপপাদ্য

উপপাদ্য १.१ (কোনো স্লিপ সীমানা শর্তের অধীনে ডেরিভেটিভ অনুমান)

ধরুন Γ∈C1,1\Gamma \in C^{1,1}, (u,p)(u,p) একটি অত্যন্ত দুর্বল সমাধান জোড়, তাহলে: ∥∇u∥Lq,r(Q1/2+)≲∥u∥Lq,r(Q1+)+∥p∥Lq,r(Q1+)+∥f∥Lq∗,r(Q1+)+∥F∥Lq,r(Q1+)\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}

উপপাদ্য १.२ (নেভিয়ার সীমানা শর্তের অধীনে গ্রেডিয়েন্ট অনুমান)

ধরুন Γ∈C1,1\Gamma \in C^{1,1}, uu একটি দুর্বল সমাধান, তাহলে: ∥∇u∥Lq,r(Q1/2+)≲∥u∥Lq,r(Q1+)+∥f∥Lq∗,r(Q1+)+∥F∥Lq,r(Q1+)\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}

উপপাদ্য १.३ (নেভিয়ার সীমানা শর্তের অধীনে উচ্চ-ক্রমের ডেরিভেটিভ অনুমান)

ধরুন Γ∈C2,1\Gamma \in C^{2,1}, (u,p)(u,p) একটি দুর্বল সমাধান জোড়, F=0F = 0, তাহলে: ∥∂tu,∇2u,∇p∥Lq,r(Q1/2+)≲∥u∥Lq,r(Q1+)+∥p∥Lq,r(Q1+)+∥f∥Lq,r(Q1+)\|\partial_t u, \nabla^2 u, \nabla p\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q,r}(Q^+_1)}

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

१. স্বাভাবিক রূপ পদ্ধতি

স্বাভাবিক রূপ v^k\hat{v}_k এবং ω^id\hat{\omega}_{id} প্রবর্তন করে, সীমানা সরলীকরণ থেকে উদ্ভূত উচ্চ-ক্রমের পদগুলি সমীকরণের বাম দিকে স্থানান্তরিত করুন, অনুমানে বিস্ফোরণ পদ এড়িয়ে চলুন।

२. ডেরিভেটিভ পুনরুদ্ধার কৌশল

বিচ্ছিন্নতা-মুক্ত শর্ত ব্যবহার করে, অনুভূমিক ডেরিভেটিভ অনুমান থেকে উল্লম্ব ডেরিভেটিভ অনুমান পুনরুদ্ধার করুন: ∂d2Eε3(T−1u~d⋅ζ)=∂dEε3(T−1u~⋅∇ζ)−∑i=1d−1∂d∂iEε3(vi)\partial^2_d E_{\varepsilon_3}(T^{-1}\tilde{u}_d \cdot \zeta) = \partial_d E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) - \sum_{i=1}^{d-1} \partial_d \partial_i E_{\varepsilon_3}(v_i)

३. সময়-স্থান ডেরিভেটিভ রূপান্তর

নিম্ন-ক্রমের পদ পরিচালনা করতে সময় ডেরিভেটিভকে স্থানীয় ডেরিভেটিভে রূপান্তরিত করুন: ∂tEε3(T−1u~⋅∇ζ)=∑k=1d(ΔEε3v^k−∂kEε3πk+l.o.t.)\partial_t E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) = \sum_{k=1}^d (\Delta E_{\varepsilon_3}\hat{v}_k - \partial_k E_{\varepsilon_3}\pi_k + \text{l.o.t.})

প্রমাণ কৌশল

কোনো স্লিপ সীমানা শর্ত (তৃতীয় অংশ)

१. বেগ অনুমান নির্মাণ: vk(x,t)=T−1uk(x,t)⋅ζ(x,t)v_k(x,t) = T^{-1}u_k(x,t) \cdot \zeta(x,t) সংজ্ঞায়িত করুন २. তাপ সমীকরণ উদ্ভব: উপযুক্ত পরীক্ষা ফাংশন নির্বাচন করে Eε1,ε2,ε3−(vk)E^-_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(v_k) এর তাপ সমীকরণ পান ३. গ্রেডিয়েন্ট অনুমান: স্বাভাবিক রূপ কৌশল ব্যবহার করে উচ্চ-ক্রমের পদ পরিচালনা করুন, গ্রেডিয়েন্টের Lq,rL^{q,r} অনুমান প্রতিষ্ঠা করুন ४. দ্বিতীয় ক্রমের ডেরিভেটিভ অনুমান: উপবৃত্তাকার তত্ত্ব এবং পুনরাবৃত্তি কৌশল ব্যবহার করে উচ্চ-ক্রমের ডেরিভেটিভ অনুমান প্রতিষ্ঠা করুন

নেভিয়ার সীমানা শর্ত (চতুর্থ-পঞ্চম অংশ)

१. ভর্টিসিটি সমীকরণ: ভর্টিসিটির অনুমান নির্মাণ করুন এবং এর তাপ সমীকরণ উদ্ভব করুন २. ধাপে ধাপে অনুমান: প্রথমে অতিরিক্ত পদ সহ অনুমান প্রতিষ্ঠা করুন, তারপর সূক্ষ্ম বিশ্লেষণের মাধ্যমে অতিরিক্ত পদ অপসারণ করুন ३. উচ্চ-ক্রমের অনুমান: C2,1C^{2,1} সীমানার জন্য, তৃতীয় ক্রমের ডেরিভেটিভ অনুমান প্রতিষ্ঠা করুন

প্রয়োগ: সীমানা নিয়মিত বিন্দুর নতুন সংজ্ঞা

সংজ্ঞা १.४ (সীমানা নিয়মিত বিন্দু)

z0=(x0,t0)z_0 = (x_0, t_0) কে নেভিয়ার-স্টোকস সমীকরণ সমাধান জোড়ের (u,p)(u,p) সীমানা নিয়মিত বিন্দু বলা হয়, যদি কিছু R>0R > 0 থাকে যেমন u∈L∞(QR+(z0))u \in L^{\infty}(Q^+_R(z_0)) এবং p∈Lq0,r0(QR+(z0))p \in L^{q_0,r_0}(Q^+_R(z_0)) কিছু 1<q0,r0<∞1 < q_0, r_0 < \infty এর জন্য সত্য হয়।

নিয়মিততা উন্নয়ন উপপাদ্য

  • উপপাদ্য १.५: কোনো স্লিপ সীমানা শর্তের অধীনে, সীমানা নিয়মিত বিন্দুর কাছাকাছি ∂tu,∇2u,∇p∈Lq1,r0\partial_t u, \nabla^2 u, \nabla p \in L^{q_1,r_0} যেকোনো q1<∞q_1 < \infty এর জন্য
  • উপপাদ্য १.६: নেভিয়ার সীমানা শর্তের অধীনে, সীমানা নিয়মিত বিন্দুর কাছাকাছি ∇∂tu,∇3u,∇2p∈Lq1,r0\nabla\partial_t u, \nabla^3 u, \nabla^2 p \in L^{q_1,r_0} যেকোনো q1<∞q_1 < \infty এর জন্য

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

সমতল সীমানার ক্ষেত্র

  • সেরেগিন-শিলকিন সমতল সীমানার কাছাকাছি স্থানীয় মসৃণতা প্রতিষ্ঠা করেছেন
  • চ্যাং-কাং প্রতিউদাহরণ নির্মাণ করেছেন যা দেখায় যে চাপ ছাড়া গ্রেডিয়েন্ট অসীম হতে পারে
  • চেন-লিয়াং-সাই নেভিয়ার সীমানা শর্তের অধীনে গ্রেডিয়েন্ট অনুমান প্রতিষ্ঠা করেছেন

বক্র সীমানার ক্ষেত্র

  • ডং-কোয়ন পরিবর্তনশীল সান্দ্রতা সহগ এর ক্ষেত্র অধ্যয়ন করেছেন, কিন্তু শক্তিশালী নিয়মিততা অনুমান প্রয়োজন
  • এই পেপারটি সর্বনিম্ন নিয়মিততা অনুমানের অধীনে বক্র সীমানার সম্পূর্ণ তত্ত্ব প্রতিষ্ঠা করার প্রথম প্রচেষ্টা

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

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

१. সমতল সীমানার নিয়মিততা তত্ত্ব বক্র সীমানায় সফলভাবে সাধারণীকরণ করা २. প্রযুক্তিগতভাবে বক্র সীমানা পরিচালনার জন্য নতুন পদ্ধতি বিকাশ করা ३. নেভিয়ার-স্টোকস সমীকরণের জন্য নতুন সীমানা নিয়মিত বিন্দু সংজ্ঞা প্রদান করা

সীমাবদ্ধতা

१. কোনো স্লিপ সীমানা শর্তের জন্য, প্রতিউদাহরণ এড়াতে এখনও চাপের Lq,rL^{q,r} অনুমান প্রয়োজন २. তৃতীয় ক্রমের ডেরিভেটিভ অনুমান C3,1C^{3,1} সীমানা নিয়মিততা প্রয়োজন ३. নেভিয়ার সীমানা শর্তের গ্রেডিয়েন্ট অনুমান এখনও ∇u∈L1\nabla u \in L^1 অনুমান প্রয়োজন

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

१. আরও নিম্ন সীমানা নিয়মিততার অধীনে তত্ত্ব প্রতিষ্ঠা করা সম্ভব কিনা তা গবেষণা করা २. চাপ পদের উপর নির্ভরতা অপসারণ করা সম্ভব কিনা তা অন্বেষণ করা ३. আরও সাধারণ সীমানা শর্তে ফলাফল সাধারণীকরণ করা

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

সুবিধা

१. তাত্ত্বিক সম্পূর্ণতা: বক্র সীমানার ক্ষেত্রে সম্পূর্ণ নিয়মিততা তত্ত্ব প্রতিষ্ঠা করা २. প্রযুক্তিগত উদ্ভাবন: বক্র সীমানা পরিচালনার জন্য একাধিক নতুন কৌশল বিকাশ করা ३. প্রয়োগের মূল্য: বাস্তব তরল সমস্যার জন্য তাত্ত্বিক ভিত্তি প্রদান করা ४. প্রমাণের কঠোরতা: প্রযুক্তিগত বিবরণ নির্ভুলভাবে পরিচালনা করা, যুক্তি সম্পূর্ণ

অপূর্ণতা

१. প্রযুক্তিগত জটিলতা: প্রমাণ প্রক্রিয়া অত্যন্ত জটিল, পাঠযোগ্যতা সীমিত २. অনুমান শর্ত: কিছু ফলাফল এখনও তুলনামূলকভাবে শক্তিশালী অনুমান শর্ত প্রয়োজন ३. সর্বোত্তমতা: ফলাফলের সর্বোত্তমতা সম্পূর্ণভাবে নির্ধারণ করা হয়নি

প্রভাব

१. তাত্ত্বিক অবদান: বক্র সীমানা নিয়মিততা তত্ত্বের শূন্যতা পূরণ করা २. পদ্ধতিগত মূল্য: প্রদত্ত কৌশল অন্যান্য সীমানা মূল্য সমস্যায় প্রয়োগযোগ্য হতে পারে ३. প্রয়োগের সম্ভাবনা: সংখ্যাসূচক বিশ্লেষণ এবং প্রকৌশল প্রয়োগের জন্য তাত্ত্বিক সমর্থন প্রদান করা

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

१. জটিল জ্যামিতি ডোমেইনে তরল বলবিদ্যা সমস্যা २. সীমানা স্তর তত্ত্বের গাণিতিক বিশ্লেষণ ३. গণনামূলক তরল গতিবিদ্যার তাত্ত্বিক ভিত্তি

সংদর্ভ

পেপারটি ৪০টি সম্পর্কিত সাহিত্য উদ্ধৃত করে, প্রধানত অন্তর্ভুক্ত:

  • ক্যাফারেলি-কোহন-নিরেনবার্গ অভ্যন্তরীণ নিয়মিততা সম্পর্কিত ক্লাসিক কাজ
  • সেরেগিন এবং অন্যদের সীমানা নিয়মিততা সম্পর্কিত সিরিজ কাজ
  • চ্যাং-কাং প্রতিউদাহরণ নির্মাণ সম্পর্কিত সর্বশেষ গবেষণা
  • লেখকদের সমতল সীমানা ক্ষেত্রে পূর্ববর্তী কাজ

সামগ্রিক মূল্যায়ন: এটি আংশিক অবকল সমীকরণ তত্ত্বে উল্লেখযোগ্য অবদান সহ একটি উচ্চ মানের পেপার, যা বক্র সীমানার কাছাকাছি স্টোকস সমীকরণের নিয়মিততা সম্পর্কিত দীর্ঘদিনের অমীমাংসিত সমস্যা সফলভাবে সমাধান করেছে, প্রযুক্তিগত উদ্ভাবন উল্লেখযোগ্য, তাত্ত্বিক মূল্য অত্যন্ত উচ্চ।