2025-11-22T09:58:16.048981

Superconvergent and Divergence-Free Finite Element Methods for Stokes Equation

Chen, Huang, Zhang et al.
Superconvergent and divergence-free finite element methods for the Stokes equation are developed. The velocity and pressure are discretized using $H(\mathrm{div})$-conforming vector elements and discontinuous piecewise polynomials. The discrete formulation employs a weak deviatoric gradient operator built with tangential-normal continuous finite elements for traceless tensors, requiring no stabilization. Optimal and superconvergent error estimates are established. The method connects to nonconforming virtual element and pseudostress-velocity-pressure mixed formulations. Numerical experiments verify the theory.
academic

Stokes সমীকরণের জন্য অতিসংযোজিত এবং বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি

মৌলিক তথ্য

  • পত্রের ID: 2510.14192
  • শিরোনাম: Stokes সমীকরণের জন্য অতিসংযোজিত এবং বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি
  • লেখক: Long Chen, Xuehai Huang, Chao Zhang, Xinyue Zhao
  • শ্রেণীবিভাগ: math.NA cs.NA
  • প্রকাশনার সময়: 2025 সালের 16 অক্টোবর arXiv-এ জমা দেওয়া হয়েছে
  • পত্রের লিঙ্ক: https://arxiv.org/abs/2510.14192

সারসংক্ষেপ

এই পত্রটি Stokes সমীকরণ সমাধানের জন্য অতিসংযোজিত এবং বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি বিকশিত করেছে। বেগ ক্ষেত্র H(div)-সামঞ্জস্যপূর্ণ ভেক্টর উপাদান দ্বারা বিচ্ছিন্ন করা হয়, এবং চাপ ক্ষেত্র বিচ্ছিন্ন অংশবিশেষ বহুপদ দ্বারা বিচ্ছিন্ন করা হয়। বিচ্ছিন্ন স্কিম ট্রেসবিহীন টেনসরের উপর ভিত্তি করে তৈরি দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর ব্যবহার করে, যা স্থিতিশীলকরণের প্রয়োজন নেই। সর্বোত্তম এবং অতিসংযোজিত ত্রুটি অনুমান প্রতিষ্ঠা করা হয়েছে। এই পদ্ধতি অ-সামঞ্জস্যপূর্ণ ভার্চুয়াল উপাদান পদ্ধতি এবং সিউডো-চাপ-বেগ-চাপ মিশ্র স্কিমের সাথে সম্পর্কিত। সংখ্যাসূচক পরীক্ষা-নিরীক্ষা তাত্ত্বিক ফলাফল যাচাই করেছে।

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

সমস্যার গুরুত্ব

Stokes সমীকরণ অসংকোচনীয় তরল গতির বর্ণনাকারী মৌলিক সমীকরণ, যা গণনামূলক তরল গতিবিদ্যায় কেন্দ্রীয় ভূমিকা পালন করে। এই সমীকরণের সংখ্যাসূচক সমাধান দুটি প্রধান চ্যালেঞ্জের সম্মুখীন:

  1. বিচ্যুতিমুক্ত সীমাবদ্ধতা: বেগ ক্ষেত্র অবশ্যই div u = 0 সন্তুষ্ট করবে, যা ভর সংরক্ষণের প্রতিফলন
  2. চাপ শক্তিশালীতা: সংখ্যাসূচক পদ্ধতি চাপ পদের চিকিত্সায় শক্তিশালী হওয়া উচিত

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

ধ্রুবক স্থিতিশীল সসীম উপাদান জোড়া (যেমন Taylor-Hood উপাদান, MINI উপাদান, অ-সামঞ্জস্যপূর্ণ P1-P0 উপাদান) নিম্নলিখিত সমস্যা উপস্থাপন করে:

  • বিন্দুবার বিচ্যুতিমুক্ততা নয়: বিচ্যুতিমুক্ত সীমাবদ্ধতা কঠোরভাবে সন্তুষ্ট করতে পারে না, যা ভর সংরক্ষণকে দুর্বল করে
  • চাপ শক্তিশালীতা অপর্যাপ্ত: ত্রুটি অনুমানে চাপ শক্তিশালীতার অভাব রয়েছে
  • সংযোজন ক্রম সীমাবদ্ধতা: কিছু পদ্ধতিতে সংযোজন ক্রম ক্ষতি রয়েছে

গবেষণা প্রেরণা

এই পত্রটি এমন একটি সসীম উপাদান পদ্ধতি তৈরি করার লক্ষ্য রাখে যা কঠোর বিচ্যুতিমুক্ত বৈশিষ্ট্য বজায় রাখতে পারে এবং একই সাথে অতিসংযোজন অর্জন করতে পারে, যখন ঐতিহ্যবাহী পদ্ধতির প্রয়োজনীয় স্থিতিশীলকরণ এড়িয়ে চলে।

মূল অবদান

  1. নতুন মিশ্র সসীম উপাদান স্কিম প্রস্তাব করেছে: বেগ বিচ্ছিন্নকরণের জন্য H(div)-সামঞ্জস্যপূর্ণ উপাদান, বিচ্ছিন্ন অংশবিশেষ বহুপদ দ্বারা চাপ বিচ্ছিন্নকরণ
  2. দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর তৈরি করেছে: ট্রেসবিহীন টেনসরের উপর ভিত্তি করে স্পর্শক-সাধারণ সংযোজিত সসীম উপাদান, স্থিতিশীলকরণের প্রয়োজন নেই
  3. অতিসংযোজিত ত্রুটি অনুমান প্রতিষ্ঠা করেছে: hk+1h^{k+1} ক্রমের অতিসংযোজন প্রমাণ করেছে
  4. পরবর্তী প্রক্রিয়াকরণ কৌশল প্রদান করেছে: অতিসংযোজিত বেগ অনুমান তৈরি করেছে
  5. সমতুল্য সম্পর্ক প্রতিষ্ঠা করেছে: অ-সামঞ্জস্যপূর্ণ ভার্চুয়াল উপাদান পদ্ধতি এবং সিউডো-চাপ স্কিমের সাথে সংযোগ

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

কাজের সংজ্ঞা

সীমাবদ্ধ অঞ্চল ΩRd\Omega \subset \mathbb{R}^d এ Stokes সমীকরণ বিবেচনা করুন: {Δup=fin Ωdiv u=0in Ωu=0on Ω\begin{cases} -\Delta u - \nabla p = f & \text{in } \Omega \\ \text{div } u = 0 & \text{in } \Omega \\ u = 0 & \text{on } \partial\Omega \end{cases}

যেখানে uu বেগ ক্ষেত্র, pp চাপ ক্ষেত্র, এবং ff বাহ্যিক বল।

সসীম উপাদান স্থান নির্মাণ

বেগ স্থান

H(div)-সামঞ্জস্যপূর্ণ Raviart-Thomas (RT) বা Brezzi-Douglas-Marini (BDM) উপাদান ব্যবহার করুন: Vk,div:={vhH0(div,Ω):vhTPk(T;Rd)+H(T)x}\stackrel{\circ}{V}^{\text{div}}_{k,\ell} := \{v_h \in H_0(\text{div},\Omega) : v_h|_T \in P_k(T;\mathbb{R}^d) + H_\ell(T)x\}

যেখানে =k\ell = k (RT উপাদান) বা =k1\ell = k-1 (BDM উপাদান)।

চাপ স্থান

বিচ্যুতি গ্রেডিয়েন্ট বিচ্ছিন্নকরণের জন্য ট্রেসবিহীন টেনসর স্থান প্রবর্তন করুন Σktn\Sigma^{tn}_k: Σktn:={τhΣk1(T):[ΠFτn]F=0 সকল FFh এর জন্য}\Sigma^{tn}_k := \{\tau_h \in \Sigma^{-1}_k(\mathcal{T}) : [\Pi_F \tau n]_F = 0 \text{ সকল } F \in \mathcal{F}_h \text{ এর জন্য}\}

ল্যাগ্রেঞ্জ গুণক স্থান

স্পর্শক-সাধারণ সংযোজনীয়তা শিথিল করার জন্য প্রবর্তন করুন: Λk=Pk(Fh;Rd1),Λk=Pk(Fh;Rd1)\Lambda_k = P_k(\mathcal{F}_h;\mathbb{R}^{d-1}), \quad \stackrel{\circ}{\Lambda}_k = P_k(\stackrel{\circ}{\mathcal{F}}_h;\mathbb{R}^{d-1})

দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর

দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর সংজ্ঞায়িত করুন dev gradw:Vk,div×ΛkΣk1(T)\text{dev grad}_w : \stackrel{\circ}{V}^{\text{div}}_{k,\ell} \times \stackrel{\circ}{\Lambda}_k \to \Sigma^{-1}_k(\mathcal{T}):

(v,μ)H1(Th;Rd)×L2(Fh;Rd1)(v,\mu) \in H^1(\mathcal{T}_h;\mathbb{R}^d) \times L^2(\mathcal{F}_h;\mathbb{R}^{d-1}) এর জন্য, উপাদান-অনুযায়ী সংজ্ঞায়িত করুন: (dev gradw(v,μ),τ)T=(v,div τ)T+(nv,nτn)T+(μ,ΠFτn)T(\text{dev grad}_w(v,\mu), \tau)_T = -(v, \text{div } \tau)_T + (n \cdot v, n^\top \tau n)_{\partial T} + (\mu, \Pi_F \tau n)_{\partial T}

মিশ্র সসীম উপাদান স্কিম

uhVk,divu_h \in \stackrel{\circ}{V}^{\text{div}}_{k,\ell}, λhΛk\lambda_h \in \stackrel{\circ}{\Lambda}_k, phP(Th)/Rp_h \in P_\ell(\mathcal{T}_h)/\mathbb{R} খুঁজে পান যেমন:

(dev gradw(uh,λh),dev gradw(vh,μh))+(div vh,ph)=(f,vh)(\text{dev grad}_w(u_h,\lambda_h), \text{dev grad}_w(v_h,\mu_h)) + (\text{div } v_h, p_h) = (f, v_h)(div uh,qh)=0(\text{div } u_h, q_h) = 0

সকল vhVk,divv_h \in \stackrel{\circ}{V}^{\text{div}}_{k,\ell}, μhΛk\mu_h \in \stackrel{\circ}{\Lambda}_k, qhP(Th)/Rq_h \in P_\ell(\mathcal{T}_h)/\mathbb{R} এর জন্য।

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

  1. স্থিতিশীলকরণ-মুক্ত ডিজাইন: সাবধানে তৈরি দুর্বল অপারেটরের মাধ্যমে ঐতিহ্যবাহী DG পদ্ধতির প্রয়োজনীয় শাস্তি পদ এড়িয়ে যায়
  2. অতিসংযোজন: বিনিময় বৈশিষ্ট্য ব্যবহার করে মান পদ্ধতির চেয়ে এক ক্রম বেশি সংযোজন হার অর্জন করে
  3. চাপ শক্তিশালীতা: পদ্ধতি স্বাভাবিকভাবে চাপ শক্তিশালীতা রয়েছে
  4. নিম্ন-ক্রম উপলব্ধতা: (k,)=(0,1),(0,0),(1,0)(k,\ell) = (0,-1), (0,0), (1,0) ইত্যাদি নিম্ন-ক্রম ক্ষেত্রে সমর্থন করে

পরীক্ষা-নিরীক্ষার সেটআপ

সংখ্যাসূচক উদাহরণ

উদাহরণ 5.1 (2-মাত্রিক):

  • সঠিক সমাধান: u=curl ψ2u = \text{curl } \psi_2, p=x5y5+13p = -x^5 - y^5 + \frac{1}{3}
  • যেখানে ψ2=x2(x1)2y2(y1)2\psi_2 = x^2(x-1)^2y^2(y-1)^2

উদাহরণ 5.2 (3-মাত্রিক):

  • সঠিক সমাধান: u=curl(ψ3,ψ3,ψ3)Tu = \text{curl}(\psi_3, \psi_3, \psi_3)^T, p=x5y5z5+12p = -x^5 - y^5 - z^5 + \frac{1}{2}
  • যেখানে ψ3=x2(x1)2y2(y1)2z2(z1)2\psi_3 = x^2(x-1)^2y^2(y-1)^2z^2(z-1)^2

গণনা ডোমেইন এবং জাল

  • গণনা ডোমেইন: Ω=(0,1)d\Omega = (0,1)^d, d=2,3d = 2,3
  • জাল: সমান সিম্পলেক্স জাল বিভাজন
  • বাস্তবায়ন: MATLAB প্যাকেজ iFEM এর উপর ভিত্তি করে

মূল্যায়ন সূচক

  • বেগ ত্রুটি: uuh\|u - u_h\|
  • চাপ ত্রুটি: σσh\|\sigma - \sigma_h\|
  • চাপ ত্রুটি: pph\|p - p_h\|
  • পরবর্তী প্রক্রিয়াকরণ ত্রুটি: uuh\|u - u_h^*\|, gradh(uuh)\|\text{grad}_h(u - u_h^*)\|

পরীক্ষা-নিরীক্ষার ফলাফল

প্রধান ফলাফল

সারণী 1: 2-মাত্রিক ত্রুটি ফলাফল

h(k,ℓ)uuh\|u-u_h\|ক্রমσσh\|\sigma-\sigma_h\|ক্রমpph\|p-p_h\|ক্রম
2⁻³(0,0)2.988e-03-3.103e-02-7.810e-02-
2⁻⁴(0,0)1.284e-031.221.677e-020.893.914e-021.00
2⁻⁵(0,0)5.988e-041.108.700e-030.951.963e-021.00

| 2⁻³ | (1,0) | 3.296e-04 | - | 2.447e-03 | - | 7.453e-02 | - | | 2⁻⁴ | (1,0) | 8.382e-05 | 1.98 | 6.305e-04 | 1.96 | 3.760e-02 | 0.99 | | 2⁻⁵ | (1,0) | 2.104e-05 | 1.99 | 1.597e-04 | 1.98 | 1.880e-02 | 1.00 |

সংযোজন ক্রম যাচাইকরণ

পরীক্ষা-নিরীক্ষার ফলাফল সম্পূর্ণভাবে তাত্ত্বিক পূর্বাভাস যাচাই করেছে:

  • বেগ এবং চাপ: uuh=σσh=O(hk+1)\|u - u_h\| = \|\sigma - \sigma_h\| = O(h^{k+1}) (অতিসংযোজন)
  • চাপ: pph=O(h)\|p - p_h\| = O(h)
  • পরবর্তী প্রক্রিয়াকরণ বেগ: uuh=O(hk+2)\|u - u_h^*\| = O(h^{k+2}), gradh(uuh)=O(hk+1)\|\text{grad}_h(u - u_h^*)\| = O(h^{k+1})

3-মাত্রিক ফলাফল

3-মাত্রিক পরীক্ষা-নিরীক্ষা একইভাবে পদ্ধতির কার্যকারিতা যাচাই করেছে, সংযোজন ক্রম তত্ত্বের সাথে সামঞ্জস্যপূর্ণ।

তাত্ত্বিক বিশ্লেষণ

স্থিতিশীলতা বিশ্লেষণ

দুর্বল বিচ্যুতি স্থিতিশীলতা শর্ত প্রতিষ্ঠা করেছে: infvhVk,k1divsupτhΣktn(divwτh,vh)0,hτhdivwvh=α>0\inf_{v_h \in \stackrel{\circ}{V}^{\text{div}}_{k,k-1}} \sup_{\tau_h \in \Sigma^{tn}_k} \frac{(\text{div}_w \tau_h, v_h)_{0,h}}{\|\tau_h\|_{\text{div}_w} \|v_h\|} = \alpha > 0

ত্রুটি অনুমান

উপপাদ্য: ধরুন uHk+2(Ω;Rd)u \in H^{k+2}(\Omega;\mathbb{R}^d), তাহলে: σσh0,h+dev gradw(Ik,kdivuuh,Qk,Fhλλh)+Qpphhk+1uk+2\|\sigma - \sigma_h\|_{0,h} + \|\text{dev grad}_w(I^{\text{div}}_{k,k}u - u_h, Q_{k,\mathcal{F}_h}\lambda - \lambda_h)\| + \|Q_\ell p - p_h\| \lesssim h^{k+1}|u|_{k+2}

বিনিময় বৈশিষ্ট্য

মূল বিনিময় বৈশিষ্ট্য: Qktndev grad=dev gradwIk,kdivQ^{tn}_k \text{dev grad} = \text{dev grad}_w I^{\text{div}}_{k,k}

এটি অতিসংযোজন অর্জনের মূল।

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

বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি

  • Scott-Vogelius উপাদান: বিশেষ জাল শর্ত প্রয়োজন
  • মসৃণ সসীম উপাদান জোড়া: অতি-মসৃণ স্বাধীনতা প্রয়োজন
  • বিভক্ত জালে সামঞ্জস্যপূর্ণ জোড়া: বাস্তবায়ন জটিল

মিশ্র পদ্ধতি

  • MCS পদ্ধতি: k=1k = \ell \geq 1 প্রয়োজন, এই পত্র আরও অনেক নিম্ন-ক্রম ক্ষেত্র কভার করে
  • HDG পদ্ধতি: স্থিতিশীলকরণ প্রয়োজন, এই পত্র স্থিতিশীলকরণ প্রয়োজন নেই
  • ভার্চুয়াল উপাদান পদ্ধতি: সাধারণত স্থিতিশীলকরণ প্রয়োজন, সংযোজন ক্রম কম

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

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

  1. স্থিতিশীলকরণ-মুক্ত অতিসংযোজিত বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি সফলভাবে তৈরি করেছে
  2. hk+1h^{k+1} ক্রম অতিসংযোজন অর্জন করেছে, জাল প্রতিসাম্যের উপর নির্ভর করে না
  3. পদ্ধতি চাপ শক্তিশালীতা রয়েছে, নিম্ন-ক্রম ক্ষেত্র সমর্থন করে
  4. ভার্চুয়াল উপাদান পদ্ধতি এবং সিউডো-চাপ স্কিমের সাথে সমতুল্য সম্পর্ক প্রতিষ্ঠা করেছে

সীমাবদ্ধতা

  1. তাত্ত্বিক বিশ্লেষণ প্রধানত বহুমুখী অঞ্চলের জন্য
  2. H² নিয়মিততা অনুমান প্রযোজ্যতার পরিসীমা সীমাবদ্ধ করে
  3. বাস্তবায়ন জটিলতা তুলনামূলকভাবে বেশি

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

  1. Navier-Stokes সমীকরণে সম্প্রসারণ
  2. স্ব-অভিযোজিত জাল পরিমার্জন
  3. সমান্তরাল অ্যালগরিদম উন্নয়ন
  4. প্রকৌশল প্রয়োগ যাচাইকরণ

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

সুবিধা

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

অপূর্ণতা

  1. বাস্তবায়ন জটিলতা: দুর্বল অপারেটরের গণনা তুলনামূলকভাবে জটিল
  2. তাত্ত্বিক সীমাবদ্ধতা: শক্তিশালী নিয়মিততা অনুমান প্রয়োজন
  3. প্রয়োগ যাচাইকরণ: প্রকৃত প্রকৌশল সমস্যা যাচাইকরণের অভাব

প্রভাব

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

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

  • নির্ভুল ভর সংরক্ষণ প্রয়োজন এমন তরল গণনা
  • গণনা নির্ভুলতার প্রতি উচ্চ প্রয়োজনীয়তা সহ প্রয়োগ
  • একাডেমিক গবেষণা এবং পদ্ধতি যাচাইকরণ

সংদর্ভ

পত্রটি 56টি সম্পর্কিত সংদর্ভ উদ্ধৃত করেছে, যা সসীম উপাদান পদ্ধতি, মিশ্র পদ্ধতি, ভার্চুয়াল উপাদান পদ্ধতি এবং অন্যান্য একাধিক দিকের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, সংদর্ভ সমীক্ষা ব্যাপক।