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
- শিরোনাম: ঘনত্ব-নির্ভর সান্দ্রতা সহ অস্থির জৈব-পরিবহন প্রবাহ সমস্যার জন্য একটি বিচ্ছিন্ন ক্র্যাঙ্ক-নিকলসন লিপ-ফ্রগ স্কিম
- লেখক: চেনইয়াং লি (পূর্ব চীন সাধারণ বিশ্ববিদ্যালয়, গণিত বিজ্ঞান কলেজ)
- শ্রেণীবিভাগ: math.NA cs.NA
- প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর (arXiv প্রাক-প্রিন্ট)
- পত্র লিঙ্ক: https://arxiv.org/abs/2510.14034
এই পত্রে ঘনত্ব-নির্ভর সান্দ্রতা সহ অস্থির জৈব-পরিবহন প্রবাহ সমস্যার জন্য একটি সম্পূর্ণ বিচ্ছিন্ন ক্র্যাঙ্ক-নিকলসন লিপ-ফ্রগ (CNLF) স্কিম প্রস্তাব করা হয়েছে এবং বিশ্লেষণ করা হয়েছে। স্থান বিচ্ছিন্নকরণ গ্যালারকিন সসীম উপাদান পদ্ধতি ব্যবহার করে, সময় বিচ্ছিন্নকরণ রৈখিক পদের জন্য CNLF পদ্ধতি এবং অরৈখিক পদের জন্য আধা-স্পষ্ট পদ্ধতি ব্যবহার করে। এই স্কিমটি নিঃশর্ত স্থিতিশীল প্রমাণিত হয়েছে, অর্থাৎ সময় পদক্ষেপ কোনো সীমাবদ্ধ উপরের সীমা দ্বারা সীমাবদ্ধ নয়। শক্তি পদ্ধতি ব্যবহার করে, বেগ এবং ঘনত্বের জন্য L2 সর্বোত্তম ত্রুটি অনুমান প্রাপ্ত করা হয়েছে। অবশেষে, সংখ্যাসূচক পরীক্ষা-নিরীক্ষার মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করা হয়েছে।
জৈব-পরিবহন হল অণুজীব গতিবিধি দ্বারা সৃষ্ট তরল পরিবহন ঘটনা, যা জীববিজ্ঞান, পরিবেশ বিজ্ঞান এবং প্রকৌশল প্রয়োগে গুরুত্বপূর্ণ। এই ঘটনাটি যুক্ত নেভিয়ার-স্টোকস ধরনের সমীকরণ এবং পরিবহন-বিস্তার সমীকরণ দ্বারা বর্ণিত:
- তরল গতিশীলতা সমীকরণ: অসংকোচনীয় সান্দ্র সংস্কৃতি মাধ্যমের প্রবাহ বর্ণনা করে
- অণুজীব পরিবহন সমীকরণ: অণুজীবের পরিবহন প্রক্রিয়া বর্ণনা করে
- ঘনত্ব-নির্ভর সান্দ্রতা: ক্লাসিক্যাল নিউটোনীয় তরলের বিপরীতে, প্রকৃত সাসপেনশনের সান্দ্রতা অণুজীব ঘনত্বের উপর নির্ভর করে
- অরৈখিক সংযোগ: বেগ ক্ষেত্র এবং ঘনত্ব ক্ষেত্রের মধ্যে শক্তিশালী সংযোগ বিদ্যমান
- সংখ্যাসূচক স্থিতিশীলতা: এমন একটি সংখ্যাসূচক স্কিম ডিজাইন করা প্রয়োজন যা স্থিতিশীল এবং দক্ষ উভয়ই
ঘনত্ব-নির্ভর সান্দ্রতা সহ জৈব-পরিবহন সমস্যা পরিচালনায় বিদ্যমান পদ্ধতিগুলির নিম্নলিখিত সীমাবদ্ধতা রয়েছে:
- বেশিরভাগ গবেষণা ধ্রুবক সান্দ্রতা অনুমান করে
- বিদ্যমান সংখ্যাসূচক স্কিমগুলি কঠোর সময় পদক্ষেপ সীমাবদ্ধতার প্রয়োজন হতে পারে
- পরিবর্তনশীল সান্দ্রতার ক্ষেত্রে সর্বোত্তম ত্রুটি অনুমানের অভাব
- CNLF সম্পূর্ণ বিচ্ছিন্ন স্কিম প্রস্তাব: ঘনত্ব-নির্ভর সান্দ্রতা সহ জৈব-পরিবহন সমস্যায় ক্র্যাঙ্ক-নিকলসন লিপ-ফ্রগ পদ্ধতি প্রথমবারের মতো প্রয়োগ করা হয়েছে
- নিঃশর্ত স্থিতিশীলতা প্রমাণ: সময় পদক্ষেপ কোনো সীমাবদ্ধ উপরের সীমা দ্বারা সীমাবদ্ধ নয়, সংখ্যাসূচক স্কিমের ব্যবহারিকতা বৃদ্ধি করে
- সর্বোত্তম ত্রুটি অনুমান প্রতিষ্ঠা: 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): চাপ টেনসর
মিশ্র সসীম উপাদান পদ্ধতি ব্যবহার করা হয়:
- বেগ-চাপ: মিনি উপাদান (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}
প্রথম পদক্ষেপ (পশ্চাৎমুখী অয়লার):
τ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
- বিচ্ছিন্ন কৌশল: আধা-স্পষ্ট অরৈখিক পদ চিকিত্সার মাধ্যমে বেগ এবং ঘনত্ব সমীকরণের বিচ্ছিন্নতা অর্জন করা হয়
- লিপ-ফ্রগ সময় একীকরণ: রৈখিক পদের জন্য দ্বিতীয়-ক্রম নির্ভুলতার ক্র্যাঙ্ক-নিকলসন স্কিম ব্যবহার করা হয়
- পরিবর্তনশীল সহগ চিকিত্সা: ঘনত্ব-নির্ভর সান্দ্রতা পরিচালনার জন্য বিশেষভাবে ডিজাইন করা প্রজেকশন অপারেটর
গণনামূলক ডোমেইন Ω=[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) সংগ্রহ হার সম্পূর্ণভাবে যাচাই করে
- শক্তিশালীতা: স্কিম বিভিন্ন ধরনের সান্দ্রতা ফাংশনের প্রতি ভাল স্থিতিশীলতা এবং সংগ্রহ প্রদর্শন করে
- দক্ষতা সুবিধা: বিচ্ছিন্ন স্কিম গণনামূলক দক্ষতা উল্লেখযোগ্যভাবে বৃদ্ধি করে
উপপাদ্য ৩.১ (নিঃশর্ত স্থিতিশীলতা):
∥uhn+1∥L22+∥chn+1∥L22+κτ∑n=1N∥∇(uhn+1+uhn−1)∥L22≤C
প্রমাণ শক্তি পদ্ধতি ব্যবহার করে, মূল বিষয়টি হল:
- অরৈখিক পদ পরিচালনার জন্য skew-symmetric বৈশিষ্ট্য ব্যবহার করা
- বিচ্ছিন্ন Gronwall অসমতা প্রয়োগ করা
উপপাদ্য ৪.১ (সংগ্রহ):
অনুমান শর্ত A1 এবং A2 এর অধীনে, একটি ধ্রুবক C বিদ্যমান যেমন:
max0≤i≤N(∥ui−uhi∥L22+∥ci−chi∥L22)≤C(τ4+h4)
প্রমাণ গাণিতিক আবেগ ব্যবহার করে, সংমিশ্রণ:
- প্রজেকশন অপারেটরের ত্রুটি অনুমান
- সময় বিচ্ছিন্নকরণের ছাঁটাই ত্রুটি বিশ্লেষণ
- অরৈখিক পদের সূক্ষ্ম চিকিত্সা
- ধ্রুবক সান্দ্রতার ক্ষেত্রে: 23,24 সমাধানের অস্তিত্ব প্রতিষ্ঠা করে, 27 সসীম উপাদান ত্রুটি অনুমান প্রদান করে
- পরিবর্তনশীল সান্দ্রতার ক্ষেত্রে: 26 দুর্বল সমাধানের অস্তিত্ব এবং অনন্যতা প্রমাণ করে, 9 BDF2 স্কিম প্রস্তাব করে
- উচ্চ-ক্রম পদ্ধতি: 19 রৈখিকীকৃত ক্র্যাঙ্ক-নিকলসন স্কিম বিকশিত করে
- প্রথম CNLF প্রয়োগ: জৈব-পরিবহন সমস্যায় লিপ-ফ্রগ পদ্ধতি প্রবর্তন করা হয়েছে
- নিঃশর্ত স্থিতিশীলতা: বিদ্যমান পদ্ধতির তুলনায়, সময় পদক্ষেপ সীমাবদ্ধতা দূর করা হয়েছে
- বিচ্ছিন্ন ডিজাইন: গণনামূলক দক্ষতা বৃদ্ধি করে, সমান্তরাল বাস্তবায়ন সহজতর করে
- ঘনত্ব-নির্ভর সান্দ্রতা জৈব-পরিবহন সমস্যা পরিচালনার জন্য CNLF স্কিম সফলভাবে নির্মাণ করা হয়েছে
- তাত্ত্বিকভাবে স্কিমের নিঃশর্ত স্থিতিশীলতা এবং সর্বোত্তম সংগ্রহ প্রমাণ করা হয়েছে
- সংখ্যাসূচক পরীক্ষা-নিরীক্ষা তাত্ত্বিক ফলাফলের সঠিকতা যাচাই করে
- মাত্রা সীমাবদ্ধতা: তাত্ত্বিক বিশ্লেষণ প্রধানত দ্বিমাত্রিক ক্ষেত্রে কেন্দ্রীভূত
- সান্দ্রতা ফাংশন অনুমান: লিপশিৎজ ধারাবাহিকতা এবং সীমাবদ্ধতা শর্ত পূরণ করা প্রয়োজন
- সীমানা শর্ত: শুধুমাত্র সমজাতীয় ডিরিচলেট সীমানা শর্ত বিবেচনা করা হয়েছে
লেখক 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 অসমতা: স্থিতিশীলতা বিশ্লেষণের মূল সরঞ্জাম
- প্রাথমিক মূল্য চিকিত্সা: প্রথম পদক্ষেপ নির্ভুলতা নিশ্চিত করতে পশ্চাৎমুখী অয়লার পদ্ধতি ব্যবহার করে
- ভর সংরক্ষণ: উপযুক্ত ফাংশন স্থান নির্বাচনের মাধ্যমে অণুজীব মোট ভর সংরক্ষণ নিশ্চিত করে
- রৈখিক সিস্টেম সমাধান: প্রতিটি সময় পদক্ষেপে শুধুমাত্র রৈখিক সিস্টেম সমাধানের প্রয়োজন, দক্ষতা বৃদ্ধি করে
এই পত্রটি তাত্ত্বিক এবং সংখ্যাসূচক উভয় দিক থেকে গুরুত্বপূর্ণ অবদান রাখে, জটিল জৈব তরল সমস্যা পরিচালনার জন্য কার্যকর সংখ্যাসূচক পদ্ধতি প্রদান করে। যদিও কিছু তাত্ত্বিক অনুমান এবং মাত্রা সীমাবদ্ধতা রয়েছে, তবে এর উদ্ভাবনী CNLF স্কিম এবং কঠোর বিশ্লেষণ সম্পর্কিত ক্ষেত্রের গবেষণার জন্য একটি গুরুত্বপূর্ণ ভিত্তি স্থাপন করে।