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.
পত্রের 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 সমীকরণ অসংকোচনীয় তরল গতির বর্ণনাকারী মৌলিক সমীকরণ, যা গণনামূলক তরল গতিবিদ্যায় কেন্দ্রীয় ভূমিকা পালন করে। এই সমীকরণের সংখ্যাসূচক সমাধান দুটি প্রধান চ্যালেঞ্জের সম্মুখীন:
বিচ্যুতিমুক্ত সীমাবদ্ধতা : বেগ ক্ষেত্র অবশ্যই div u = 0 সন্তুষ্ট করবে, যা ভর সংরক্ষণের প্রতিফলনচাপ শক্তিশালীতা : সংখ্যাসূচক পদ্ধতি চাপ পদের চিকিত্সায় শক্তিশালী হওয়া উচিতধ্রুবক স্থিতিশীল সসীম উপাদান জোড়া (যেমন Taylor-Hood উপাদান, MINI উপাদান, অ-সামঞ্জস্যপূর্ণ P1-P0 উপাদান) নিম্নলিখিত সমস্যা উপস্থাপন করে:
বিন্দুবার বিচ্যুতিমুক্ততা নয় : বিচ্যুতিমুক্ত সীমাবদ্ধতা কঠোরভাবে সন্তুষ্ট করতে পারে না, যা ভর সংরক্ষণকে দুর্বল করেচাপ শক্তিশালীতা অপর্যাপ্ত : ত্রুটি অনুমানে চাপ শক্তিশালীতার অভাব রয়েছেসংযোজন ক্রম সীমাবদ্ধতা : কিছু পদ্ধতিতে সংযোজন ক্রম ক্ষতি রয়েছেএই পত্রটি এমন একটি সসীম উপাদান পদ্ধতি তৈরি করার লক্ষ্য রাখে যা কঠোর বিচ্যুতিমুক্ত বৈশিষ্ট্য বজায় রাখতে পারে এবং একই সাথে অতিসংযোজন অর্জন করতে পারে, যখন ঐতিহ্যবাহী পদ্ধতির প্রয়োজনীয় স্থিতিশীলকরণ এড়িয়ে চলে।
নতুন মিশ্র সসীম উপাদান স্কিম প্রস্তাব করেছে : বেগ বিচ্ছিন্নকরণের জন্য H(div)-সামঞ্জস্যপূর্ণ উপাদান, বিচ্ছিন্ন অংশবিশেষ বহুপদ দ্বারা চাপ বিচ্ছিন্নকরণদুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর তৈরি করেছে : ট্রেসবিহীন টেনসরের উপর ভিত্তি করে স্পর্শক-সাধারণ সংযোজিত সসীম উপাদান, স্থিতিশীলকরণের প্রয়োজন নেইঅতিসংযোজিত ত্রুটি অনুমান প্রতিষ্ঠা করেছে : h k + 1 h^{k+1} h k + 1 ক্রমের অতিসংযোজন প্রমাণ করেছেপরবর্তী প্রক্রিয়াকরণ কৌশল প্রদান করেছে : অতিসংযোজিত বেগ অনুমান তৈরি করেছেসমতুল্য সম্পর্ক প্রতিষ্ঠা করেছে : অ-সামঞ্জস্যপূর্ণ ভার্চুয়াল উপাদান পদ্ধতি এবং সিউডো-চাপ স্কিমের সাথে সংযোগসীমাবদ্ধ অঞ্চল Ω ⊂ R d \Omega \subset \mathbb{R}^d Ω ⊂ R d এ Stokes সমীকরণ বিবেচনা করুন:
{ − Δ u − ∇ p = f in Ω div u = 0 in Ω u = 0 on ∂ Ω \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} ⎩ ⎨ ⎧ − Δ u − ∇ p = f div u = 0 u = 0 in Ω in Ω on ∂ Ω
যেখানে u u u বেগ ক্ষেত্র, p p p চাপ ক্ষেত্র, এবং f f f বাহ্যিক বল।
H(div)-সামঞ্জস্যপূর্ণ Raviart-Thomas (RT) বা Brezzi-Douglas-Marini (BDM) উপাদান ব্যবহার করুন:
V ∘ k , ℓ div : = { v h ∈ H 0 ( div , Ω ) : v h ∣ T ∈ P k ( T ; R d ) + 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\} V ∘ k , ℓ div := { v h ∈ H 0 ( div , Ω ) : v h ∣ T ∈ P k ( T ; R d ) + H ℓ ( T ) x }
যেখানে ℓ = k \ell = k ℓ = k (RT উপাদান) বা ℓ = k − 1 \ell = k-1 ℓ = k − 1 (BDM উপাদান)।
বিচ্যুতি গ্রেডিয়েন্ট বিচ্ছিন্নকরণের জন্য ট্রেসবিহীন টেনসর স্থান প্রবর্তন করুন Σ k t n \Sigma^{tn}_k Σ k t n :
Σ k t n : = { τ h ∈ Σ k − 1 ( T ) : [ Π F τ n ] F = 0 সকল F ∈ F h এর জন্য } \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 t n := { τ h ∈ Σ k − 1 ( T ) : [ Π F τ n ] F = 0 সকল F ∈ F h এর জন্য }
স্পর্শক-সাধারণ সংযোজনীয়তা শিথিল করার জন্য প্রবর্তন করুন:
Λ k = P k ( F h ; R d − 1 ) , Λ ∘ k = P k ( F ∘ h ; R d − 1 ) \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}) Λ k = P k ( F h ; R d − 1 ) , Λ ∘ k = P k ( F ∘ h ; R d − 1 )
দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর সংজ্ঞায়িত করুন dev grad w : V ∘ k , ℓ div × Λ ∘ k → Σ k − 1 ( T ) \text{dev grad}_w : \stackrel{\circ}{V}^{\text{div}}_{k,\ell} \times \stackrel{\circ}{\Lambda}_k \to \Sigma^{-1}_k(\mathcal{T}) dev grad w : V ∘ k , ℓ div × Λ ∘ k → Σ k − 1 ( T ) :
( v , μ ) ∈ H 1 ( T h ; R d ) × L 2 ( F h ; R d − 1 ) (v,\mu) \in H^1(\mathcal{T}_h;\mathbb{R}^d) \times L^2(\mathcal{F}_h;\mathbb{R}^{d-1}) ( v , μ ) ∈ H 1 ( T h ; R d ) × L 2 ( F h ; R d − 1 ) এর জন্য, উপাদান-অনুযায়ী সংজ্ঞায়িত করুন:
( dev grad w ( v , μ ) , τ ) T = − ( v , div τ ) T + ( n ⋅ v , 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} ( dev grad w ( v , μ ) , τ ) T = − ( v , div τ ) T + ( n ⋅ v , n ⊤ τ n ) ∂ T + ( μ , Π F τ n ) ∂ T
u h ∈ V ∘ k , ℓ div u_h \in \stackrel{\circ}{V}^{\text{div}}_{k,\ell} u h ∈ V ∘ k , ℓ div , λ h ∈ Λ ∘ k \lambda_h \in \stackrel{\circ}{\Lambda}_k λ h ∈ Λ ∘ k , p h ∈ P ℓ ( T h ) / R p_h \in P_\ell(\mathcal{T}_h)/\mathbb{R} p h ∈ P ℓ ( T h ) / R খুঁজে পান যেমন:
( dev grad w ( u h , λ h ) , dev grad w ( v h , μ h ) ) + ( div v h , p h ) = ( f , v h ) (\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) ( dev grad w ( u h , λ h ) , dev grad w ( v h , μ h )) + ( div v h , p h ) = ( f , v h ) ( div u h , q h ) = 0 (\text{div } u_h, q_h) = 0 ( div u h , q h ) = 0
সকল v h ∈ V ∘ k , ℓ div v_h \in \stackrel{\circ}{V}^{\text{div}}_{k,\ell} v h ∈ V ∘ k , ℓ div , μ h ∈ Λ ∘ k \mu_h \in \stackrel{\circ}{\Lambda}_k μ h ∈ Λ ∘ k , q h ∈ P ℓ ( T h ) / R q_h \in P_\ell(\mathcal{T}_h)/\mathbb{R} q h ∈ P ℓ ( T h ) / R এর জন্য।
স্থিতিশীলকরণ-মুক্ত ডিজাইন : সাবধানে তৈরি দুর্বল অপারেটরের মাধ্যমে ঐতিহ্যবাহী DG পদ্ধতির প্রয়োজনীয় শাস্তি পদ এড়িয়ে যায়অতিসংযোজন : বিনিময় বৈশিষ্ট্য ব্যবহার করে মান পদ্ধতির চেয়ে এক ক্রম বেশি সংযোজন হার অর্জন করেচাপ শক্তিশালীতা : পদ্ধতি স্বাভাবিকভাবে চাপ শক্তিশালীতা রয়েছেনিম্ন-ক্রম উপলব্ধতা : ( k , ℓ ) = ( 0 , − 1 ) , ( 0 , 0 ) , ( 1 , 0 ) (k,\ell) = (0,-1), (0,0), (1,0) ( k , ℓ ) = ( 0 , − 1 ) , ( 0 , 0 ) , ( 1 , 0 ) ইত্যাদি নিম্ন-ক্রম ক্ষেত্রে সমর্থন করেউদাহরণ 5.1 (2-মাত্রিক) :
সঠিক সমাধান: u = curl ψ 2 u = \text{curl } \psi_2 u = curl ψ 2 , p = − x 5 − y 5 + 1 3 p = -x^5 - y^5 + \frac{1}{3} p = − x 5 − y 5 + 3 1 যেখানে ψ 2 = x 2 ( x − 1 ) 2 y 2 ( y − 1 ) 2 \psi_2 = x^2(x-1)^2y^2(y-1)^2 ψ 2 = x 2 ( x − 1 ) 2 y 2 ( y − 1 ) 2 উদাহরণ 5.2 (3-মাত্রিক) :
সঠিক সমাধান: u = curl ( ψ 3 , ψ 3 , ψ 3 ) T u = \text{curl}(\psi_3, \psi_3, \psi_3)^T u = curl ( ψ 3 , ψ 3 , ψ 3 ) T , p = − x 5 − y 5 − z 5 + 1 2 p = -x^5 - y^5 - z^5 + \frac{1}{2} p = − x 5 − y 5 − z 5 + 2 1 যেখানে ψ 3 = x 2 ( x − 1 ) 2 y 2 ( y − 1 ) 2 z 2 ( z − 1 ) 2 \psi_3 = x^2(x-1)^2y^2(y-1)^2z^2(z-1)^2 ψ 3 = x 2 ( x − 1 ) 2 y 2 ( y − 1 ) 2 z 2 ( z − 1 ) 2 গণনা ডোমেইন: Ω = ( 0 , 1 ) d \Omega = (0,1)^d Ω = ( 0 , 1 ) d , d = 2 , 3 d = 2,3 d = 2 , 3 জাল: সমান সিম্পলেক্স জাল বিভাজন বাস্তবায়ন: MATLAB প্যাকেজ iFEM এর উপর ভিত্তি করে বেগ ত্রুটি: ∥ u − u h ∥ \|u - u_h\| ∥ u − u h ∥ চাপ ত্রুটি: ∥ σ − σ h ∥ \|\sigma - \sigma_h\| ∥ σ − σ h ∥ চাপ ত্রুটি: ∥ p − p h ∥ \|p - p_h\| ∥ p − p h ∥ পরবর্তী প্রক্রিয়াকরণ ত্রুটি: ∥ u − u h ∗ ∥ \|u - u_h^*\| ∥ u − u h ∗ ∥ , ∥ grad h ( u − u h ∗ ) ∥ \|\text{grad}_h(u - u_h^*)\| ∥ grad h ( u − u h ∗ ) ∥ সারণী 1: 2-মাত্রিক ত্রুটি ফলাফল
h (k,ℓ) ∥ u − u h ∥ \|u-u_h\| ∥ u − u h ∥ ক্রম ∥ σ − σ h ∥ \|\sigma-\sigma_h\| ∥ σ − σ h ∥ ক্রম ∥ p − p h ∥ \|p-p_h\| ∥ p − p h ∥ ক্রম 2⁻³ (0,0) 2.988e-03 - 3.103e-02 - 7.810e-02 - 2⁻⁴ (0,0) 1.284e-03 1.22 1.677e-02 0.89 3.914e-02 1.00 2⁻⁵ (0,0) 5.988e-04 1.10 8.700e-03 0.95 1.963e-02 1.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 |
পরীক্ষা-নিরীক্ষার ফলাফল সম্পূর্ণভাবে তাত্ত্বিক পূর্বাভাস যাচাই করেছে:
বেগ এবং চাপ : ∥ u − u h ∥ = ∥ σ − σ h ∥ = O ( h k + 1 ) \|u - u_h\| = \|\sigma - \sigma_h\| = O(h^{k+1}) ∥ u − u h ∥ = ∥ σ − σ h ∥ = O ( h k + 1 ) (অতিসংযোজন)চাপ : ∥ p − p h ∥ = O ( h ) \|p - p_h\| = O(h) ∥ p − p h ∥ = O ( h ) পরবর্তী প্রক্রিয়াকরণ বেগ : ∥ u − u h ∗ ∥ = O ( h k + 2 ) \|u - u_h^*\| = O(h^{k+2}) ∥ u − u h ∗ ∥ = O ( h k + 2 ) , ∥ grad h ( u − u h ∗ ) ∥ = O ( h k + 1 ) \|\text{grad}_h(u - u_h^*)\| = O(h^{k+1}) ∥ grad h ( u − u h ∗ ) ∥ = O ( h k + 1 ) 3-মাত্রিক পরীক্ষা-নিরীক্ষা একইভাবে পদ্ধতির কার্যকারিতা যাচাই করেছে, সংযোজন ক্রম তত্ত্বের সাথে সামঞ্জস্যপূর্ণ।
দুর্বল বিচ্যুতি স্থিতিশীলতা শর্ত প্রতিষ্ঠা করেছে:
inf v h ∈ V ∘ k , k − 1 div sup τ h ∈ Σ k t n ( div w τ h , v h ) 0 , h ∥ τ h ∥ div w ∥ v h ∥ = α > 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 inf v h ∈ V ∘ k , k − 1 div sup τ h ∈ Σ k t n ∥ τ h ∥ div w ∥ v h ∥ ( div w τ h , v h ) 0 , h = α > 0
উপপাদ্য : ধরুন u ∈ H k + 2 ( Ω ; R d ) u \in H^{k+2}(\Omega;\mathbb{R}^d) u ∈ H k + 2 ( Ω ; R d ) , তাহলে:
∥ σ − σ h ∥ 0 , h + ∥ dev grad w ( I k , k div u − u h , Q k , F h λ − λ h ) ∥ + ∥ Q ℓ p − p h ∥ ≲ h k + 1 ∣ u ∣ k + 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} ∥ σ − σ h ∥ 0 , h + ∥ dev grad w ( I k , k div u − u h , Q k , F h λ − λ h ) ∥ + ∥ Q ℓ p − p h ∥ ≲ h k + 1 ∣ u ∣ k + 2
মূল বিনিময় বৈশিষ্ট্য:
Q k t n dev grad = dev grad w I k , k div Q^{tn}_k \text{dev grad} = \text{dev grad}_w I^{\text{div}}_{k,k} Q k t n dev grad = dev grad w I k , k div
এটি অতিসংযোজন অর্জনের মূল।
Scott-Vogelius উপাদান : বিশেষ জাল শর্ত প্রয়োজনমসৃণ সসীম উপাদান জোড়া : অতি-মসৃণ স্বাধীনতা প্রয়োজনবিভক্ত জালে সামঞ্জস্যপূর্ণ জোড়া : বাস্তবায়ন জটিলMCS পদ্ধতি : k = ℓ ≥ 1 k = \ell \geq 1 k = ℓ ≥ 1 প্রয়োজন, এই পত্র আরও অনেক নিম্ন-ক্রম ক্ষেত্র কভার করেHDG পদ্ধতি : স্থিতিশীলকরণ প্রয়োজন, এই পত্র স্থিতিশীলকরণ প্রয়োজন নেইভার্চুয়াল উপাদান পদ্ধতি : সাধারণত স্থিতিশীলকরণ প্রয়োজন, সংযোজন ক্রম কমস্থিতিশীলকরণ-মুক্ত অতিসংযোজিত বিচ্যুতিমুক্ত সসীম উপাদান পদ্ধতি সফলভাবে তৈরি করেছে h k + 1 h^{k+1} h k + 1 ক্রম অতিসংযোজন অর্জন করেছে, জাল প্রতিসাম্যের উপর নির্ভর করে নাপদ্ধতি চাপ শক্তিশালীতা রয়েছে, নিম্ন-ক্রম ক্ষেত্র সমর্থন করে ভার্চুয়াল উপাদান পদ্ধতি এবং সিউডো-চাপ স্কিমের সাথে সমতুল্য সম্পর্ক প্রতিষ্ঠা করেছে তাত্ত্বিক বিশ্লেষণ প্রধানত বহুমুখী অঞ্চলের জন্য H² নিয়মিততা অনুমান প্রযোজ্যতার পরিসীমা সীমাবদ্ধ করে বাস্তবায়ন জটিলতা তুলনামূলকভাবে বেশি Navier-Stokes সমীকরণে সম্প্রসারণ স্ব-অভিযোজিত জাল পরিমার্জন সমান্তরাল অ্যালগরিদম উন্নয়ন প্রকৌশল প্রয়োগ যাচাইকরণ তাত্ত্বিক কঠোরতা : সম্পূর্ণ স্থিতিশীলতা এবং সংযোজন বিশ্লেষণপদ্ধতি উদ্ভাবন : দুর্বল বিচ্যুতি গ্রেডিয়েন্ট অপারেটর ডিজাইন চতুরব্যবহারিক মূল্য : নিম্ন-ক্রম উপাদান সমর্থন করে, অতিসংযোজন অর্জন করেপর্যাপ্ত পরীক্ষা-নিরীক্ষা : 2-মাত্রিক এবং 3-মাত্রিক সংখ্যাসূচক যাচাইকরণ সম্পূর্ণবাস্তবায়ন জটিলতা : দুর্বল অপারেটরের গণনা তুলনামূলকভাবে জটিলতাত্ত্বিক সীমাবদ্ধতা : শক্তিশালী নিয়মিততা অনুমান প্রয়োজনপ্রয়োগ যাচাইকরণ : প্রকৃত প্রকৌশল সমস্যা যাচাইকরণের অভাবএই কাজ Stokes সমীকরণ সংখ্যাসূচক পদ্ধতি ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক মূল্য রয়েছে, উচ্চ নির্ভুলতা বিচ্যুতিমুক্ত পদ্ধতি তৈরির জন্য নতুন চিন্তাভাবনা প্রদান করে। পদ্ধতির অতিসংযোজন বৈশিষ্ট্য এবং স্থিতিশীলকরণ-মুক্ত বৈশিষ্ট্য এটিকে গণনামূলক তরল গতিবিদ্যায় সম্ভাব্য প্রয়োগ মূল্য প্রদান করে।
নির্ভুল ভর সংরক্ষণ প্রয়োজন এমন তরল গণনা গণনা নির্ভুলতার প্রতি উচ্চ প্রয়োজনীয়তা সহ প্রয়োগ একাডেমিক গবেষণা এবং পদ্ধতি যাচাইকরণ পত্রটি 56টি সম্পর্কিত সংদর্ভ উদ্ধৃত করেছে, যা সসীম উপাদান পদ্ধতি, মিশ্র পদ্ধতি, ভার্চুয়াল উপাদান পদ্ধতি এবং অন্যান্য একাধিক দিকের গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে, সংদর্ভ সমীক্ষা ব্যাপক।