Existence and numerical approximation of a one-dimensional Boussinesq system with variable coefficients on a finite interval
Grajales, Pizo
In this paper, we investigate the well-posedness of a nonlinear dispersive model with variable coefficients that describes the evolution of surface waves propagating through a one-dimensional shallow water channel of finite length with irregular bottom topography. To complement the theoretical analysis, we utilize the numerical solver developed by the authors in \cite{PizoMunoz} to approximate solutions of the model on a finite spatial interval, considering various parameter values and forms of the variable coefficients in the Boussinesq system under study. Additionally, we present preliminary numerical experiments addressing an inverse problem: the reconstruction of the initial wave elevation and fluid velocity from measurements taken at a final time. This is achieved by formulating an optimization problem in which the initial conditions are estimated as minimizers of a functional that quantifies the discrepancy between the observed final state and the numerical solution evolved from a trial initial state.
academic
একটি সীমিত ব্যবধিতে পরিবর্তনশীল সহগ সহ এক-মাত্রিক বুসিনেস্ক সিস্টেমের অস্তিত্ব এবং সংখ্যাসূচক আনুমানিকতা
এই পেপারটি একটি অরৈখিক বিচ্ছুরণ মডেলের সুস্থতার সমস্যা অধ্যয়ন করে যা অনিয়মিত তলদেশের ভূগোল সহ এক-মাত্রিক সীমিত দৈর্ঘ্যের অগভীর জল চ্যানেলে পৃষ্ঠ তরঙ্গের প্রচার বিবর্তন বর্ণনা করে। তাত্ত্বিক বিশ্লেষণ পরিপূরক করার জন্য, লেখকরা তাদের পূর্ববর্তী কাজে উন্নত সংখ্যাসূচক সমাধানকারী (সীমিত উপাদান পদ্ধতি) ব্যবহার করে সীমাবদ্ধ স্থান ব্যবধিতে মডেল সমাধানের আনুমানিক মূল্যায়ন করেন, বুসিনেস্ক সিস্টেমে পরিবর্তনশীল সহগের বিভিন্ন প্যারামিটার মান এবং ফাংশন ফর্ম বিবেচনা করেন। অধিকন্তু, এই পেপারটি চূড়ান্ত সময়ের পরিমাপ ডেটা থেকে প্রাথমিক তরঙ্গ উচ্চতা এবং তরল বেগ পুনর্নির্মাণের জন্য একটি বিপরীত সমস্যা সমাধানের জন্য প্রাথমিক সংখ্যাসূচক পরীক্ষা প্রস্তাব করে। এটি একটি অপ্টিমাইজেশন সমস্যা নির্মাণের মাধ্যমে অর্জিত হয়, যেখানে প্রাথমিক শর্তগুলি একটি উদ্দেশ্য ফাংশনাল ন্যূনতমকরণের সমাধান হিসাবে অনুমান করা হয়, যা পর্যবেক্ষিত চূড়ান্ত অবস্থা এবং পরীক্ষামূলক প্রাথমিক অবস্থা থেকে বিকশিত সংখ্যাসূচক সমাধানের মধ্যে পার্থক্য পরিমাপ করে।
পরিবর্তনশীল সহগ সহ এক-মাত্রিক বুসিনেস্ক সিস্টেমের গাণিতিক সুস্থতা (অস্তিত্ব, অনন্যতা, ক্রমাগত নির্ভরতা) অধ্যয়ন করা
এই পরিবর্তনশীল সহগ সিস্টেম সমাধানের জন্য কার্যকর সংখ্যাসূচক পদ্ধতি বিকাশ করা
চূড়ান্ত সময়ের পর্যবেক্ষণ ডেটার উপর ভিত্তি করে প্রাথমিক শর্ত পুনর্নির্মাণের বিপরীত সমস্যা অন্বেষণ করা
সমস্যার গুরুত্ব:
বুসিনেস্ক সিস্টেম অগভীর জল তরঙ্গ প্রচার বর্ণনার জন্য একটি গুরুত্বপূর্ণ গাণিতিক মডেল, সামুদ্রিক প্রকৌশল, উপকূলীয় সুরক্ষা এবং অন্যান্য ক্ষেত্রে গুরুত্বপূর্ণ প্রয়োগ রয়েছে
পরিবর্তনশীল সহগ এক-মাত্রিক বুসিনেস্ক সিস্টেমের সুস্থতার তত্ত্ব প্রতিষ্ঠা করা: সমাধানের অস্তিত্ব, অনন্যতা এবং প্রাথমিক ডেটার ক্রমাগত নির্ভরতা প্রমাণ করা
গ্রীন ফাংশন কৌশলের উপর ভিত্তি করে তাত্ত্বিক বিশ্লেষণ পদ্ধতি বিকাশ করা: সমস্যাটিকে অরৈখিক অপারেটরের নির্দিষ্ট বিন্দু সমস্যায় রূপান্তরিত করা
শক্তি সংরক্ষণ আইন প্রদান করা: সিস্টেমের শক্তি ফাংশনাল সময়ে সংরক্ষিত থাকে তা প্রমাণ করা
দক্ষ সীমিত উপাদান সংখ্যাসূচক সমাধানকারী বাস্তবায়ন করা: FEniCS লাইব্রেরির সাথে স্থিতিশীল সংখ্যাসূচক স্কিম বিকাশ করা
এই ধরনের বিচ্ছুরণ সিস্টেমের বিপরীত সমস্যা প্রথমবার অধ্যয়ন করা: পরিবর্তনশীল অপ্টিমাইজেশনের উপর ভিত্তি করে প্রাথমিক শর্ত পুনর্নির্মাণ পদ্ধতি প্রস্তাব করা
১. গ্রীন ফাংশন কৌশল
সিস্টেমটি পুনরায় লিখুন:
(I−6β∂ξ2)Nt=−∂ξ[(1+αc2(ξ)N)V](I−6β∂ξ2)Vt=−∂ξ[c(ξ)N+21αc2V2]
অপারেটর P=I−6β∂ξ2 এর গ্রীন ফাংশন ব্যবহার করুন:
G(ξ,s)=2β/61sinh(β/6L)cosh(β/6L−∣ξ−s∣)−cosh(β/6L−(ξ+s))
२. নির্দিষ্ট বিন্দু উপপাদ্য
সমস্যাটিকে একীভূত সমীকরণ সিস্টেমে রূপান্তরিত করুন, অরৈখিক অপারেটর A সংজ্ঞায়িত করুন, বানাচ নির্দিষ্ট বিন্দু উপপাদ্যের মাধ্যমে সমাধানের অস্তিত্ব এবং অনন্যতা প্রমাণ করুন।
१. পরিবর্তনশীল সহগ এক-মাত্রিক বুসিনেস্ক সিস্টেমের গাণিতিক তাত্ত্বিক ভিত্তি সফলভাবে প্রতিষ্ঠা করেছে
२. কার্যকর সংখ্যাসূচক সমাধান পদ্ধতি বিকাশ করেছে
३. এই ধরনের বিচ্ছুরণ সিস্টেমের বিপরীত সমস্যা গবেষণার নতুন দিকনির্দেশনা খুলেছে
४. বাস্তব সামুদ্রিক প্রকৌশল প্রয়োগের জন্য তাত্ত্বিক এবং গণনামূলক সরঞ্জাম প্রদান করেছে
१. তাত্ত্বিক অবদান উল্লেখযোগ্য: পরিবর্তনশীল সহগ বুসিনেস্ক সিস্টেমের সুস্থতা প্রথমবার সিস্টেমেটিকভাবে অধ্যয়ন করেছে
२. পদ্ধতি উদ্ভাবনী: পরিবর্তনশীল সহগ সমস্যা পরিচালনার জন্য গ্রীন ফাংশন কৌশল চতুরভাবে প্রয়োগ করেছে
३. সংখ্যাসূচক বাস্তবায়ন সম্পূর্ণ: সম্পূর্ণ সংখ্যাসূচক সমাধান কাঠামো প্রদান করেছে
४. সমস্যা নতুন: বিচ্ছুরণ সিস্টেম বিপরীত সমস্যা গবেষণার নতুন ক্ষেত্র খুলেছে
५. লেখা স্পষ্ট: গাণিতিক অনুমান কঠোর, প্রকাশ স্পষ্ট
१. তাত্ত্বিক গভীরতা সীমিত: শুধুমাত্র স্থানীয় তত্ত্ব প্রতিষ্ঠা করেছে, বৈশ্বিক বিশ্লেষণ অনুপস্থিত
२. পরীক্ষামূলক যাচাইকরণ অপর্যাপ্ত: বিপরীত সমস্যা পরীক্ষা তুলনামূলকভাবে সহজ, জটিল পরিস্থিতি যাচাইকরণ অনুপস্থিত
३. ব্যবহারিকতা যাচাইকরণ অপেক্ষা করছে: আরও বাস্তব ডেটা যাচাইকরণ প্রয়োজন
४. গণনামূলক জটিলতা বিশ্লেষণ অনুপস্থিত: অ্যালগরিদমের গণনামূলক জটিলতা বিশ্লেষণ করেনি
१. একাডেমিক মূল্য: পরিবর্তনশীল সহগ বিচ্ছুরণ সিস্টেম তত্ত্ব উন্নয়নের ভিত্তি স্থাপন করেছে
२. প্রয়োগ সম্ভাবনা: সামুদ্রিক প্রকৌশল, তরঙ্গ পূর্বাভাস এবং অন্যান্য ক্ষেত্রে সম্ভাব্য প্রয়োগ মূল্য রয়েছে
३. পদ্ধতিগত অবদান: গ্রীন ফাংশন পদ্ধতি এবং পরিবর্তনশীল অপ্টিমাইজেশনের সংমিশ্রণ সম্পর্কিত সমস্যার জন্য নতুন চিন্তাভাবনা প্রদান করেছে
१. অগভীর জল তরঙ্গ প্রচার মডেলিং
२. উপকূলীয় প্রকৌশলে তরঙ্গ বিশ্লেষণ
३. সামুদ্রিক পরিবেশ পর্যবেক্ষণে বিপরীত সমস্যা
४. সংখ্যাসূচক সামুদ্রিক বিজ্ঞানে ডেটা সমন্বয়
পেপারটি ২০টি গুরুত্বপূর্ণ সংদর্ভ উদ্ধৃত করেছে, যা বুসিনেস্ক সিস্টেম তত্ত্ব, সংখ্যাসূচক পদ্ধতি, ফাংশনাল বিশ্লেষণ এবং অন্যান্য সম্পর্কিত ক্ষেত্রের ক্লাসিক কাজ অন্তর্ভুক্ত করে, গবেষণার জন্য দৃঢ় তাত্ত্বিক ভিত্তি প্রদান করে।