A fully discrete Crank--Nicolson Leap--Frog (CNLF) scheme is proposed and analyzed for the unsteady bioconvection flow problem with concentration-dependent viscosity. Spatial discretization is handled via the Galerkin finite element method (FEM), while temporal discretization employs the CNLF method for the linear terms and a semi-implicit approach for the nonlinear terms. The scheme is proven to be unconditionally stable, i.e., the time step is not subject to a restrictive upper bound. Using the energy method, $L^2$-optimal error estimates are derived for the velocity and concentration . Finally, numerical experiments are presented to validate the theoretical results.
- पेपर ID: 2510.14034
- शीर्षक: सांद्रता पर निर्भर श्यानता के साथ अस्थिर जैव संवहन प्रवाह समस्या के लिए एक विघटित Crank-Nicolson leap-frog योजना
- लेखक: Chenyang Li (East China Normal University, गणित विज्ञान कॉलेज)
- वर्गीकरण: math.NA cs.NA
- प्रकाशन समय: 15 अक्टूबर 2025 (arXiv प्रीप्रिंट)
- पेपर लिंक: https://arxiv.org/abs/2510.14034
यह पेपर सांद्रता पर निर्भर श्यानता वाली अस्थिर जैव संवहन प्रवाह समस्या के लिए एक पूर्ण विवेकित Crank-Nicolson leap-frog (CNLF) योजना प्रस्तावित और विश्लेषण करता है। स्थानिक विवेकीकरण के लिए Galerkin परिमित तत्व विधि का उपयोग किया जाता है, जबकि समय विवेकीकरण में रैखिक पदों के लिए CNLF विधि और अरैखिक पदों के लिए अर्ध-निहित विधि का उपयोग किया जाता है। यह योजना बिना शर्त स्थिर साबित होती है, अर्थात् समय चरण किसी प्रतिबंधात्मक ऊपरी सीमा से बंधा नहीं है। ऊर्जा विधि का उपयोग करके, वेग और सांद्रता के लिए L2 इष्टतम त्रुटि अनुमान प्राप्त किए जाते हैं। अंत में, संख्यात्मक प्रयोगों द्वारा सैद्धांतिक परिणामों की पुष्टि की जाती है।
जैव संवहन सूक्ष्मजीवों की गति से प्रेरित द्रव संवहन की घटना है, जिसका जीव विज्ञान, पर्यावरण विज्ञान और इंजीनियरिंग अनुप्रयोगों में महत्वपूर्ण महत्व है। यह घटना युग्मित Navier-Stokes प्रकार के समीकरणों और संवहन-विसरण समीकरण द्वारा वर्णित है:
- द्रव गतिविज्ञान समीकरण: असंपीड्य श्यान संस्कृति द्रव के प्रवाह का वर्णन करता है
- सूक्ष्मजीव परिवहन समीकरण: सूक्ष्मजीवों के परिवहन प्रक्रिया का वर्णन करता है
- सांद्रता पर निर्भर श्यानता: शास्त्रीय न्यूटोनियन द्रव के विपरीत, वास्तविक निलंबन की श्यानता सूक्ष्मजीव सांद्रता पर निर्भर करती है
- अरैखिक युग्मन: वेग क्षेत्र और सांद्रता क्षेत्र के बीच मजबूत युग्मन संबंध मौजूद है
- संख्यात्मक स्थिरता: ऐसी संख्यात्मक योजना की आवश्यकता है जो स्थिर और कुशल दोनों हो
सांद्रता पर निर्भर श्यानता वाली जैव संवहन समस्या को संभालने में मौजूदा विधियों में निम्नलिखित सीमाएँ हैं:
- अधिकांश अनुसंधान श्यानता को स्थिर मानते हैं
- मौजूदा संख्यात्मक योजनाओं को कठोर समय चरण सीमा की आवश्यकता हो सकती है
- परिवर्तनशील श्यानता के मामले में इष्टतम त्रुटि अनुमान की कमी है
- CNLF पूर्ण विवेकित योजना प्रस्तावित की: पहली बार Crank-Nicolson leap-frog विधि को सांद्रता पर निर्भर श्यानता वाली जैव संवहन समस्या पर लागू किया
- बिना शर्त स्थिरता साबित की: समय चरण किसी प्रतिबंधात्मक ऊपरी सीमा से बंधा नहीं है, जिससे संख्यात्मक योजना की व्यावहारिकता में सुधार होता है
- इष्टतम त्रुटि अनुमान स्थापित किए: L2 मानदंड में वेग और सांद्रता के लिए इष्टतम अभिसरण क्रम प्राप्त किए
- विघटित एल्गोरिथ्म प्रदान किए: अर्ध-निहित उपचार से प्रत्येक समय चरण में केवल रैखिक प्रणाली को हल करने की आवश्यकता होती है, जिससे कम्प्यूटेशनल दक्षता में सुधार होता है
परिबद्ध क्षेत्र Ω⊂Rd (d=2 या 3) पर जैव संवहन मॉडल पर विचार करें:
∂t∂u−div(ν(c)D(u))+u⋅∇u+∇p=−g(1+γc)i2+f
∇⋅u=0
∂t∂c−θΔc+u⋅∇c+U∂x2∂c=0
जहाँ:
- u: वेग क्षेत्र, p: दबाव, c: सांद्रता क्षेत्र
- ν(c): सांद्रता पर निर्भर श्यानता फलन
- D(u)=21(∇u+∇uT): प्रतिबल टेंसर
मिश्रित परिमित तत्व विधि का उपयोग:
- वेग-दबाव: Mini तत्व (P1b-P1)
- सांद्रता: खंडवार रैखिक तत्व (P1)
परिमित तत्व स्थान को इस प्रकार परिभाषित किया जाता है:
Vh={vh∈C(Ω)2∩V∣vh∣K∈(P1(K)⊕b(K))2,∀K∈Th}Mh={qh∈C(Ω)∩H1(Ω)∣qh∣K∈P1(K),∀K∈Th,∫Ωqhdx=0}
पहला चरण (पश्चगामी Euler):
τuh1−uh0+ν(ch0+α)∇uh1+B(uh0,uh1,vh)−(∇⋅vh,ph1)=RHS
बाद के चरण (CNLF):
2τuhn+1−uhn−1+A(chn,2uhn+1+uhn−1,vh)+B(uhn,2uhn+1+uhn−1,vh)=RHS
- विघटन रणनीति: अरैखिक पदों के अर्ध-निहित उपचार के माध्यम से वेग और सांद्रता समीकरणों का विघटन
- Leap-frog समय एकीकरण: रैखिक पदों के लिए द्वितीय-क्रम सटीकता की Crank-Nicolson योजना
- परिवर्तनशील गुणांक उपचार: सांद्रता पर निर्भर श्यानता को संभालने के लिए विशेष रूप से डिज़ाइन किए गए प्रक्षेपण संचालक
कम्प्यूटेशनल डोमेन Ω=[0,1]×[0,1] का उपयोग, पैरामीटर सेटिंग:
- θ=γ=1
- अंतिम समय T=1.0
- विश्लेषणात्मक समाधान:
u(x,y,t)=(ye−t(2y−1)(y−1),−xe−t(2x−1)(x−1))Tp(x,y,t)=e−t(2x−1)(2y−1)c(x,y,t)=e−tsin(πx)sin(πy)
- L2 मानदंड त्रुटि: ∥r−rh∥L2=∥r(tN)−rhN∥L2
- H1 मानदंड त्रुटि: ∥r−rh∥H1
- अभिसरण क्रम: जाली परिशोधन द्वारा गणना
तीन विभिन्न श्यानता मॉडलों पर विचार:
- ν=1 (स्थिर श्यानता)
- ν=1+0.1c (रैखिक निर्भरता)
- ν=ec (घातीय निर्भरता)
- समय चरण: τ=h
- जाली परिशोधन: h=1/4,1/8,1/16,1/32,1/64,1/128
- कार्यान्वयन उपकरण: FreeFEM++
सभी तीन श्यानता मॉडलों के लिए, संख्यात्मक समाधान विभिन्न जाली पैमानों पर स्थिर रहता है, जो योजना की बिना शर्त स्थिरता को सत्यापित करता है।
L2 मानदंड अभिसरण:
- वेग: सभी श्यानता मॉडलों में द्वितीय-क्रम अभिसरण प्राप्त करता है
- सांद्रता: द्वितीय-क्रम अभिसरण प्राप्त करता है
- दबाव: प्रथम-क्रम अभिसरण प्राप्त करता है
विशिष्ट संख्यात्मक परिणाम (ν=1 के उदाहरण के लिए):
| h | ∥u−uh∥L2 | अभिसरण दर | ∥c−ch∥L2 | अभिसरण दर | ∥p−ph∥L2 | अभिसरण दर |
|---|
| 1/4 | 0.0087769 | - | 0.0182156 | - | 0.033836 | - |
| 1/8 | 0.002263 | 1.96 | 0.0088862 | 1.04 | 0.0130976 | 1.37 |
| 1/16 | 0.0006286 | 1.85 | 0.002394 | 1.89 | 0.0071104 | 0.88 |
| 1/32 | 0.0001664 | 1.92 | 0.000603 | 1.99 | 0.0036656 | 0.96 |
विभिन्न श्यानता मॉडलों की तुलना के माध्यम से, निम्नलिखित की पुष्टि की गई:
- विभिन्न श्यानता कार्यों के लिए CNLF योजना की मजबूती
- सांद्रता पर निर्भर श्यानता योजना के अभिसरण को प्रभावित नहीं करती है
- सैद्धांतिक रूप से भविष्यवाणी किए गए अभिसरण क्रम संख्यात्मक परिणामों के अनुरूप हैं
- इष्टतम अभिसरण: संख्यात्मक प्रयोग पूरी तरह से सैद्धांतिक विश्लेषण के O(τ2+h2) अभिसरण दर को सत्यापित करते हैं
- मजबूती: योजना विभिन्न प्रकार की श्यानता कार्यों के लिए अच्छी स्थिरता और अभिसरण प्रदर्शित करती है
- दक्षता लाभ: विघटित योजना कम्प्यूटेशनल दक्षता में उल्लेखनीय सुधार करती है
प्रमेय 3.1 (बिना शर्त स्थिरता):
∥uhn+1∥L22+∥chn+1∥L22+κτ∑n=1N∥∇(uhn+1+uhn−1)∥L22≤C
प्रमाण ऊर्जा विधि का उपयोग करता है, मुख्य बिंदु हैं:
- अरैखिक पदों को संभालने के लिए skew-symmetric गुण का उपयोग
- विवेकित Gronwall असमानता का अनुप्रयोग
प्रमेय 4.1 (अभिसरण):
मान लीजिए कि शर्तें A1 और A2 पूरी होती हैं, तो एक स्थिरांक C मौजूद है जैसे:
max0≤i≤N(∥ui−uhi∥L22+∥ci−chi∥L22)≤C(τ4+h4)
प्रमाण गणितीय आगमन का उपयोग करता है, जिसमें शामिल हैं:
- प्रक्षेपण संचालक की त्रुटि अनुमान
- समय विवेकीकरण की काटने की त्रुटि विश्लेषण
- अरैखिक पदों का सूक्ष्म उपचार
- स्थिर श्यानता मामला: 23,24 ने समाधान के अस्तित्व को स्थापित किया, 27 ने परिमित तत्व त्रुटि अनुमान दिए
- परिवर्तनशील श्यानता मामला: 26 ने कमजोर समाधान की अस्तित्व और अद्वितीयता साबित की, 9 ने BDF2 योजना प्रस्तावित की
- उच्च-क्रम विधियाँ: 19 ने रैखिकीकृत Crank-Nicolson योजना विकसित की
- पहली बार CNLF अनुप्रयोग: Leap-frog विधि को जैव संवहन समस्या में पेश किया
- बिना शर्त स्थिरता: मौजूदा विधियों की तुलना में, समय चरण सीमा को समाप्त करता है
- विघटन डिजाइन: कम्प्यूटेशनल दक्षता में सुधार करता है, समानांतर कार्यान्वयन को सुविधाजनक बनाता है
- सांद्रता पर निर्भर श्यानता जैव संवहन समस्या को संभालने के लिए CNLF योजना का सफलतापूर्वक निर्माण किया
- सैद्धांतिक रूप से योजना की बिना शर्त स्थिरता और इष्टतम अभिसरण साबित किया
- संख्यात्मक प्रयोगों द्वारा सैद्धांतिक परिणामों की पुष्टि की
- आयाम सीमा: सैद्धांतिक विश्लेषण मुख्य रूप से द्वि-आयामी मामले पर केंद्रित है
- श्यानता फलन मान्यताएँ: Lipschitz निरंतरता और परिबद्धता शर्तों को पूरा करने की आवश्यकता है
- सीमा शर्तें: केवल सजातीय Dirichlet सीमा शर्तों पर विचार किया गया है
लेखक CNLF ढांचे को निम्नलिखित तक विस्तारित करने का प्रस्ताव देते हैं:
- Chemotaxis-Navier-Stokes प्रणाली
- Patlak-Keller-Segel-Navier-Stokes प्रणाली
- Chemo-Repulsion-Navier-Stokes प्रणाली
- सैद्धांतिक कठोरता: पूर्ण स्थिरता और अभिसरण विश्लेषण, विस्तृत प्रमाण प्रक्रिया
- विधि नवाचार: पहली बार CNLF विधि को परिवर्तनशील श्यानता जैव संवहन समस्या पर लागू किया
- व्यावहारिक मूल्य: बिना शर्त स्थिरता व्यावहारिक अनुप्रयोगों में योजना को अधिक लचकदार बनाती है
- पर्याप्त संख्यात्मक सत्यापन: विभिन्न श्यानता मॉडलों के परीक्षण विधि की मजबूती को सत्यापित करते हैं
- मजबूत सैद्धांतिक मान्यताएँ: समाधान की नियमितता के लिए उच्च आवश्यकताएँ, व्यावहारिक प्रयोज्यता को सीमित कर सकती हैं
- त्रि-आयामी विस्तार की कमी: सैद्धांतिक विश्लेषण मुख्य रूप से द्वि-आयामी मामले तक सीमित है
- कम्प्यूटेशनल जटिलता विश्लेषण अपर्याप्त: अन्य विधियों के साथ कम्प्यूटेशनल दक्षता की तुलना की कमी
- भौतिक पैरामीटर संवेदनशीलता: विधि के भौतिक पैरामीटर परिवर्तन के प्रति संवेदनशीलता पर पर्याप्त चर्चा नहीं
- शैक्षणिक योगदान: जैव संवहन संख्यात्मक विधियों के लिए नए सैद्धांतिक उपकरण प्रदान करता है
- अनुप्रयोग संभावनाएँ: जैव इंजीनियरिंग, पर्यावरण विज्ञान आदि क्षेत्रों में संभावित अनुप्रयोग मूल्य
- विधि प्रसार: CNLF ढांचा अन्य समान युग्मित प्रणालियों पर लागू हो सकता है
- सूक्ष्मजीव निलंबन मॉडलिंग: श्यानता परिवर्तन को ध्यान में रखने की आवश्यकता वाली जैव द्रव के लिए उपयुक्त
- पर्यावरणीय द्रव यांत्रिकी: सूक्ष्मजीव युक्त प्राकृतिक जल निकायों के प्रवाह को मॉडल करने के लिए उपयोग किया जा सकता है
- जैव रिएक्टर डिजाइन: जैव रिएक्टर के अनुकूलन डिजाइन के लिए संख्यात्मक उपकरण प्रदान करता है
- Skew-symmetric त्रिरेखीय रूप:
B(u,v,w)=21∫Ω(u⋅∇v)⋅wdx−21∫Ω(u⋅∇w)⋅vdx
- परिवर्तनशील गुणांक प्रक्षेपण संचालक:
ν(c)(∇(u−Phn+1u),∇vh)+(∇⋅vh,p−ρhn+1p)=0
- विवेकित Gronwall असमानता: स्थिरता विश्लेषण के लिए मुख्य उपकरण
- प्रारंभिक मान उपचार: सटीकता सुनिश्चित करने के लिए पहला चरण पश्चगामी Euler विधि का उपयोग करता है
- द्रव्यमान संरक्षण: उपयुक्त फलन स्थान चयन के माध्यम से सूक्ष्मजीव कुल द्रव्यमान संरक्षण सुनिश्चित करता है
- रैखिक प्रणाली समाधान: प्रत्येक समय चरण में केवल रैखिक प्रणाली को हल करने की आवश्यकता होती है, दक्षता में सुधार करता है
यह पेपर सैद्धांतिक और संख्यात्मक दोनों पहलुओं में महत्वपूर्ण योगदान देता है, जटिल जैव द्रव समस्याओं को संभालने के लिए प्रभावी संख्यात्मक विधि प्रदान करता है। हालांकि कुछ सैद्धांतिक मान्यताएँ और आयाम सीमाएँ हैं, लेकिन इसकी नवाचारी CNLF योजना और कठोर विश्लेषण संबंधित क्षेत्र के अनुसंधान के लिए महत्वपूर्ण आधार तैयार करते हैं।