সময়-পরিবর্তনশীল বিবর্তন সমীকরণের জন্য ইনপুট-টু-স্টেট স্থিতিশীলতার লায়াপুনভ পদ্ধতি

মৌলিক তথ্য

• পেপার আইডি: 2510.14057
• শিরোনাম: সময়-পরিবর্তনশীল বিবর্তন সমীকরণের জন্য ইনপুট-টু-স্টেট স্থিতিশীলতার লায়াপুনভ পদ্ধতি
• লেখক: রহমা হেনি, আন্দ্রি মিরোনচেঙ্কো, ফেবিয়ান ওয়ার্থ, হানেন দামাক, মোহাম্মদ আলী হাম্মামি
• শ্রেণীবিভাগ: math.OC (অপ্টিমাইজেশন এবং নিয়ন্ত্রণ)
• প্রকাশনার সময়: ২০২৫ সালের ১৫ অক্টোবর (arXiv প্রি-প্রিন্ট)
• পেপার লিঙ্ক: https://arxiv.org/abs/2510.14057

সারসংক্ষেপ

এই পেপারটি প্রমাণ করে যে সময়-পরিবর্তনশীল অসীম-মাত্রিক বিমূর্ত স্থান সিস্টেমের (স্থানীয়) ইনপুট-স্টেট স্থিতিশীলতা ((L)ISS) এবং সমন্বিত ইনপুট-স্টেট স্থিতিশীলতা (iISS) সংশ্লিষ্ট লায়াপুনভ ফাংশনের অস্তিত্বের মাধ্যমে নিশ্চিত করা যায়। বিশেষত, হিলবার্ট স্থানে সীমাবদ্ধ ইনপুট অপারেটর সহ রৈখিক সময়-পরিবর্তনশীল নিয়ন্ত্রণ সিস্টেমের ইনপুট-স্টেট স্থিতিশীলতা আলোচনা করা হয়েছে। নির্দিষ্ট শ্রেণীর সময়-পরিবর্তনশীল আধা-রৈখিক বিবর্তন সমীকরণের জন্য, অ-বাধ্যতামূলক LISS/iISS লায়াপুনভ ফাংশনের নির্মাণ পদ্ধতি প্রস্তাব করা হয়েছে। দুটি উদাহরণের মাধ্যমে প্রাপ্ত ফলাফলের কার্যকারিতা যাচাই করা হয়েছে।

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

গবেষণা সমস্যা

এই পেপারটি প্রধানত সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেমের ইনপুট-স্টেট স্থিতিশীলতা বিশ্লেষণের সমস্যা সমাধান করে, বিশেষত:

1. লায়াপুনভ ফাংশন পদ্ধতির মাধ্যমে সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেমের ISS এবং iISS বৈশিষ্ট্য কীভাবে চিহ্নিত করা যায়
2. অ-বাধ্যতামূলক লায়াপুনভ ফাংশন কীভাবে নির্মাণ করা যায় যা অসীম অপারেটর সহ সময়-পরিবর্তনশীল সিস্টেম বিশ্লেষণ করে
3. ক্লাসিক্যাল ISS তত্ত্ব কীভাবে সময়-অপরিবর্তনীয় সিস্টেম থেকে সময়-পরিবর্তনশীল ক্ষেত্রে প্রসারিত করা যায়

গুরুত্ব বিশ্লেষণ

1. তাত্ত্বিক তাৎপর্য: ISS তত্ত্ব শক্তিশালী অরৈখিক নিয়ন্ত্রণের মূল ধারণাগুলির মধ্যে একটি এবং বাহ্যিক বিঘ্নের প্রতি সিস্টেমের শক্তিশালীতা বিশ্লেষণের জন্য অত্যন্ত গুরুত্বপূর্ণ
2. ব্যবহারিক প্রয়োগ: অনেক বাস্তব সিস্টেম (যেমন আংশিক ডিফারেনশিয়াল সমীকরণ দ্বারা বর্ণিত বিতরণ প্যারামিটার সিস্টেম) প্রকৃতিগতভাবে সময়-পরিবর্তনশীল এবং সংশ্লিষ্ট তাত্ত্বিক সমর্থনের প্রয়োজন
3. প্রযুক্তিগত চ্যালেঞ্জ: সময়-পরিবর্তনশীল সিস্টেমের বিশ্লেষণ সময়-অপরিবর্তনীয় সিস্টেমের চেয়ে অনেক বেশি জটিল, বিশেষত যখন সিস্টেম অপারেটর অসীম হয়

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

1. সময়-পরিবর্তনশীল সিস্টেম তত্ত্বের অপ্রতুলতা: সময়-অপরিবর্তনীয় অসীম-মাত্রিক সিস্টেমের ISS তত্ত্বের তুলনায়, সময়-পরিবর্তনশীল ক্ষেত্রে গবেষণা তুলনামূলকভাবে কম
2. অসীম অপারেটর পরিচালনার অসুবিধা: অসীম অপারেটর A(t) সহ সময়-পরিবর্তনশীল সিস্টেমের জন্য, প্রায় কোনো সম্পর্কিত ISS এবং iISS ফলাফল নেই
3. লায়াপুনভ ফাংশন নির্মাণের জটিলতা: সময়-পরিবর্তনশীল সিস্টেমে ISS লায়াপুনভ ফাংশনের নির্মাণ সময়-অপরিবর্তনীয় ক্ষেত্রের চেয়ে আরও কঠিন

মূল অবদান

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

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

কাজের সংজ্ঞা

বিমূর্ত নিয়ন্ত্রণ সিস্টেম Σ = (X, U, φ) এর স্থিতিশীলতা অধ্যয়ন করা হয়, যেখানে:

• X: অবস্থা স্থান (নর্মযুক্ত রৈখিক স্থান)
• U: ইনপুট মান সেট
• φ: রূপান্তর ম্যাপিং

বিশেষভাবে সময়-পরিবর্তনশীল আধা-রৈখিক বিবর্তন সমীকরণ বিবেচনা করা হয়:

ẋ(t) = A(t)x(t) + Ψ(t, x(t), u(t)), t ≥ t₀ ≥ 0
x(t₀) = x₀

মূল তাত্ত্বিক কাঠামো

1. ISS/iISS সংজ্ঞা

ইনপুট-স্টেট স্থিতিশীলতা (ISS): β ∈ KL, γ ∈ K বিদ্যমান থাকে যেমন

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + γ(‖u‖ᵤ)

সমন্বিত ইনপুট-স্টেট স্থিতিশীলতা (iISS): α ∈ K∞, μ ∈ K, β ∈ KL বিদ্যমান থাকে যেমন

‖φ(t, t₀, x₀, u)‖ₓ ≤ β(‖x₀‖ₓ, t - t₀) + α(∫ᵗₜ₀ μ(‖u(s)‖ᵤ)ds)

2. লায়াপুনভ ফাংশন সংজ্ঞা

অ-বাধ্যতামূলক ISS লায়াপুনভ ফাংশন: ক্রমাগত ফাংশন V : ℝ₊ × D → ℝ₊ যা সন্তুষ্ট করে:

• V(t, 0) = 0
• 0 < V(t, x) ≤ α₂(‖x‖ₓ), ∀x ∈ D{0}
• ‖x‖ₓ ≥ κ(‖u‖ᵤ) ⟹ V̇ᵤ(t, x) ≤ -μ(V(t, x))

যেখানে লাই ডেরিভেটিভ সংজ্ঞায়িত হয়:

V̇ᵤ(t, x) := lim sup[h→0⁺] (1/h)[V(t+h, φ(t+h, t, x, u)) - V(t, x)]

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

1. বিবর্তন পরিবারের স্থিতিশীলতা চিহ্নিতকরণ

বিবর্তন পরিবার {W(t, s)} এর সমান সূচকীয় স্থিতিশীলতা এবং সিস্টেমের ISS বৈশিষ্ট্যের মধ্যে সমতুল্য সম্পর্ক প্রতিষ্ঠা করা হয়েছে:

উপপাদ্য 4.5: রৈখিক সিস্টেম ẋ = A(t)x + B(t)u এর জন্য, নিম্নলিখিত শর্তগুলি সমতুল্য:

• সিস্টেম ISS
• সিস্টেম 0-UGAS
• সিস্টেম iISS
• বিবর্তন পরিবার সমান অ্যাসিম্পটোটিকভাবে স্থিতিশীল
• বিবর্তন পরিবার সমান সূচকীয়ভাবে স্থিতিশীল

2. অ-বাধ্যতামূলক লায়াপুনভ ফাংশন নির্মাণ

সমান সূচকীয়ভাবে স্থিতিশীল বিবর্তন পরিবারের জন্য, স্পষ্ট অ-বাধ্যতামূলক ISS লায়াপুনভ ফাংশন নির্মাণ করা হয়েছে:

V(t, x) = ∫^∞ₜ ‖W(τ, t)x‖²ₓ dτ

এবং এটি প্রমাণ করা হয়েছে যে এটি নিম্নলিখিত বিচ্ছরণ অসমতা সন্তুষ্ট করে:

V̇ᵤ(t, x) ≤ -‖x‖²ₓ + (ηk²)/(2w)‖x‖²ₓ + (k²)/(2ηw)‖B‖²∞‖u(t)‖²ᵤ

3. আধা-রৈখিক সিস্টেমের পরিচালনা

স্থানীয় রৈখিক সীমাবদ্ধতা অনুমান (H2) এবং দ্বিরৈখিক বৃদ্ধি অনুমান (H3) এর মাধ্যমে, রৈখিক সিস্টেমের ফলাফল আধা-রৈখিক ক্ষেত্রে প্রসারিত করা হয়েছে।

পরীক্ষামূলক সেটআপ

প্রয়োগ উদাহরণ

1. কুরামোটো-সিভাশিনস্কি সমীকরণ

নিয়ন্ত্রিত সময়-পরিবর্তনশীল KS সমীকরণ বিবেচনা করা হয়:

∂x/∂t = -∂⁴x/∂z⁴ - ϱ∂²x/∂z² - μ(t)x + (x|sin(t)|)/(1 + e^(-zt)x²)u

সমজাতীয় ডিরিচলেট সীমানা শর্তের অধীনে।

2. নিয়ন্ত্রিত তাপ সমীকরণ

সিস্টেম বিবেচনা করা হয়:

∂x/∂t = ν∂²x/∂z² + R(t)x + ωsin(z)x + u

যেখানে R(t) হল সীমাবদ্ধ রৈখিক অপারেটর পরিবার।

বিশ্লেষণ পদ্ধতি

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

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

1. KS সমীকরণের iISS বৈশিষ্ট্য

প্রস্তাব 6.1: যখন ϱ < 4π² হয়, KS সমীকরণ (43)-(44) iISS।

প্রমাণ লায়াপুনভ ফাংশন নির্মাণের মাধ্যমে করা হয়:

V(t, x) = ln(1 + Z(t, x))
Z(t, x) = (1 + e^(-t))∫₀¹ x²(z)dz

2. তাপ সমীকরণের ISS বৈশিষ্ট্য

নিয়ন্ত্রিত তাপ সমীকরণের জন্য, যখন শর্ত সন্তুষ্ট হয়:

r + ω < νπ²/ℓ²

সিস্টেম ISS, যেখানে r = supt≥0 ‖R(t)‖।

তাত্ত্বিক যাচাইকরণ

উভয় উদাহরণ যাচাই করে যে:

1. তাত্ত্বিকভাবে নির্মিত লায়াপুনভ ফাংশন সত্যিই সংশ্লিষ্ট বিচ্ছরণ অসমতা সন্তুষ্ট করে
2. স্থিতিশীলতা শর্ত এবং ভৌত পরামিতির সম্পর্ক স্বজ্ঞাত সাথে সামঞ্জস্যপূর্ণ
3. পদ্ধতি বিভিন্ন ধরনের আংশিক ডিফারেনশিয়াল সমীকরণের জন্য প্রযোজ্য

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

ISS তত্ত্বের উন্নয়ন

1. ক্লাসিক্যাল ISS তত্ত্ব: সোনটাগ ১৯৮০ এর দশকের শেষে ISS ধারণা প্রস্তাব করেছিলেন এবং পরবর্তীতে সম্পূর্ণ তাত্ত্বিক ব্যবস্থা বিকশিত হয়েছে
2. অসীম-মাত্রিক সম্প্রসারণ: সম্প্রতি ISS তত্ত্ব অসীম-মাত্রিক সিস্টেমে প্রসারিত হয়েছে, প্রধানত সময়-অপরিবর্তনীয় ক্ষেত্রে
3. সময়-পরিবর্তনশীল সিস্টেম: সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেমের ISS তত্ত্ব তুলনামূলকভাবে কম এবং এই পেপার এই শূন্যতা পূরণ করে

লায়াপুনভ পদ্ধতি

1. বাধ্যতামূলক ফাংশন: ঐতিহ্যবাহী পদ্ধতি প্রধানত বাধ্যতামূলক লায়াপুনভ ফাংশন বিবেচনা করে
2. অ-বাধ্যতামূলক ফাংশন: সম্প্রতি অ-বাধ্যতামূলক লায়াপুনভ ফাংশন তত্ত্ব বিকশিত হয়েছে, যা অসীম-মাত্রিক সিস্টেমের জন্য আরও উপযুক্ত
3. নির্মাণ পদ্ধতি: এই পেপার সিস্টেমিক নির্মাণ পদ্ধতি প্রদান করে, বিশেষত সময়-পরিবর্তনশীল ক্ষেত্রে

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

প্রধান সিদ্ধান্ত

1. তাত্ত্বিক সম্পূর্ণতা: সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেমের ISS/iISS এর সম্পূর্ণ লায়াপুনভ চিহ্নিতকরণ প্রতিষ্ঠা করা হয়েছে
2. পদ্ধতি উদ্ভাবন: অ-বাধ্যতামূলক লায়াপুনভ ফাংশনের সিস্টেমিক নির্মাণ পদ্ধতি প্রস্তাব করা হয়েছে
3. প্রয়োগ যাচাইকরণ: নির্দিষ্ট PDE উদাহরণের মাধ্যমে তত্ত্বের ব্যবহারিকতা যাচাই করা হয়েছে

সীমাবদ্ধতা

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

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

1. সীমানা বিঘ্ন: সীমানা বিঘ্ন সহ সময়-পরিবর্তনশীল অরৈখিক প্যারাবোলিক PDE এর ISS এবং iISS বিশ্লেষণে প্রসারিত করা
2. নেটওয়ার্ক সিস্টেম: ফলাফল সময়-পরিবর্তনশীল অসীম-মাত্রিক নেটওয়ার্ক সিস্টেমে প্রয়োগ করা
3. র্যান্ডম সিস্টেম: র্যান্ডম সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেমের ISS তত্ত্ব বিবেচনা করা

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

সুবিধা

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

অপূর্ণতা

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

প্রভাব

1. একাডেমিক মূল্য: সময়-পরিবর্তনশীল অসীম-মাত্রিক সিস্টেম স্থিতিশীলতা বিশ্লেষণের জন্য গুরুত্বপূর্ণ তাত্ত্বিক সরঞ্জাম প্রদান করে
2. প্রয়োগ সম্ভাবনা: বিতরণ প্যারামিটার সিস্টেম নিয়ন্ত্রণ ক্ষেত্রে গুরুত্বপূর্ণ প্রয়োগ সম্ভাবনা রাখে
3. তাত্ত্বিক অগ্রগতি: ISS তত্ত্বকে আরও সাধারণ সিস্টেম শ্রেণীতে প্রসারিত করতে অবদান রাখে

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

1. বিতরণ প্যারামিটার সিস্টেম: সময়-পরিবর্তনশীল PDE দ্বারা বর্ণিত নিয়ন্ত্রণ সিস্টেমের জন্য প্রযোজ্য
2. শক্তিশালী নিয়ন্ত্রণ ডিজাইন: সময়-পরিবর্তনশীল সিস্টেমের শক্তিশালী নিয়ন্ত্রক ডিজাইনের জন্য তাত্ত্বিক ভিত্তি প্রদান করে
3. স্থিতিশীলতা বিশ্লেষণ: জটিল সময়-পরিবর্তনশীল সিস্টেমের স্থিতিশীলতা বিশ্লেষণের জন্য সিস্টেমিক পদ্ধতি প্রদান করে

সংদর্ভ সাহিত্য

পেপারটি ISS তত্ত্ব, বিবর্তন সমীকরণ, অপারেটর অর্ধ-গ্রুপ তত্ত্ব এবং অন্যান্য সম্পর্কিত ক্ষেত্রের ক্লাসিক্যাল এবং সর্বশেষ গবেষণা ফলাফল অন্তর্ভুক্ত করে ৫০টি গুরুত্বপূর্ণ সংদর্ভ উদ্ধৃত করে, যা লেখকদের সম্পর্কিত ক্ষেত্রের গভীর বোঝাপড়া এবং ব্যাপক আয়ত্ত প্রতিফলিত করে।