2025-11-16T15:58:12.950744

New global Carleman estimates and null controllability for forward/backward semi-linear parabolic SPDEs

Zhang, Xu, Liu
In this paper, we study the null controllability for parabolic SPDEs involving both the state and the gradient of the state. To start with, an improved global Carleman estimate for linear forward (resp. backward) parabolic SPDEs with general random coefficients and square-integrable source terms is derived. Based on this, we further develop a new global Carleman estimate for linear forward (resp. backward) parabolic SPDEs with source terms in the Sobolev space of negative order, which enables us to deal with the global null controllability for linear backward (resp. forward) parabolic SPDEs with gradient terms. As a byproduct, a special weighted energy-type estimate for the controlled system that explicitly depends on the parameters $λ,μ$ and the weighted function $θ$ is obtained, which makes it possible to extend the previous linear null controllability to semi-linear backward (resp. forward) parabolic SPDEs by applying the fixed-point argument in an appropriate Banach space.
academic

নতুন বৈশ্বিক কার্লেম্যান অনুমান এবং অগ্র/পশ্চাৎ অর্ধ-রৈখিক প্যারাবোলিক SPDEs এর জন্য শূন্য নিয়ন্ত্রণযোগ্যতা

মৌলিক তথ্য

  • পেপার আইডি: 2401.13455
  • শিরোনাম: নতুন বৈশ্বিক কার্লেম্যান অনুমান এবং অগ্র/পশ্চাৎ অর্ধ-রৈখিক প্যারাবোলিক SPDEs এর জন্য শূন্য নিয়ন্ত্রণযোগ্যতা
  • লেখক: লেই ঝাং, ফ্যান জু, বিন লিউ (হুয়াঝং বিজ্ঞান ও প্রযুক্তি বিশ্ববিদ্যালয়, গণিত ও পরিসংখ্যান বিভাগ)
  • শ্রেণীবিভাগ: math.OC (গণিত-সর্বোত্তম নিয়ন্ত্রণ), math.PR (গণিত-সম্ভাবনা তত্ত্ব)
  • জমা দেওয়ার সময়: ২০২৪ সালের জানুয়ারি
  • পেপার লিঙ্ক: https://arxiv.org/abs/2401.13455

সারসংক্ষেপ

এই পেপারটি অবস্থা এবং এর গ্রেডিয়েন্ট জড়িত প্যারাবোলিক স্টোকাস্টিক আংশিক ডিফারেনশিয়াল সমীকরণ (SPDEs) এর শূন্য নিয়ন্ত্রণযোগ্যতা সমস্যা অধ্যয়ন করে। প্রথমত, সাধারণ স্টোকাস্টিক সহগ এবং বর্গ-সমন্বিত উৎস পদ সহ রৈখিক অগ্র (পশ্চাৎ) প্যারাবোলিক SPDEs এর জন্য উন্নত বৈশ্বিক কার্লেম্যান অনুমান প্রতিষ্ঠা করা হয়েছে। এর ভিত্তিতে, ঋণাত্মক ক্রম সোবোলেভ স্থান উৎস পদ সহ রৈখিক অগ্র (পশ্চাৎ) প্যারাবোলিক SPDEs এর জন্য নতুন বৈশ্বিক কার্লেম্যান অনুমান বিকশিত করা হয়েছে, যা গ্রেডিয়েন্ট পদ সহ রৈখিক পশ্চাৎ (অগ্র) প্যারাবোলিক SPDEs এর বৈশ্বিক শূন্য নিয়ন্ত্রণযোগ্যতা পরিচালনা করতে সক্ষম করে। একটি পার্শ্বফল হিসাবে, নিয়ন্ত্রিত সিস্টেমের বিশেষ ওজনযুক্ত শক্তি-ধরনের অনুমান প্রাপ্ত হয়েছে যা স্পষ্টভাবে প্যারামিটার λ, μ এবং ওজন ফাংশন θ এর উপর নির্ভর করে, যা উপযুক্ত বানাখ স্থানে নির্দিষ্ট বিন্দু যুক্তি প্রয়োগ করে রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা অর্ধ-রৈখিক পশ্চাৎ (অগ্র) প্যারাবোলিক SPDEs এ প্রসারিত করা সম্ভব করে তোলে।

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

সমস্যার গুরুত্ব

  1. তাত্ত্বিক চ্যালেঞ্জ: কার্লেম্যান অনুমান প্রাথমিকভাবে T. কার্লেম্যান দ্বারা উপবৃত্তাকার PDEs এর অনন্য বর্ধন অধ্যয়নের জন্য প্রবর্তিত হয়েছিল, এখন PDEs, বিপরীত সমস্যা এবং নিয়ন্ত্রণ সমস্যা অধ্যয়নের জন্য একটি শক্তিশালী হাতিয়ার হয়ে উঠেছে। স্টোকাস্টিক আংশিক ডিফারেনশিয়াল সমীকরণের জন্য, এই ধরনের অনুমান প্রতিষ্ঠা উল্লেখযোগ্য চ্যালেঞ্জের সম্মুখীন হয়।
  2. প্রযুক্তিগত কঠিনতা: নির্ধারণীয় ক্ষেত্রের তুলনায়, স্টোকাস্টিক পরিবেশে প্রধান অসুবিধাগুলি হল:
    • সমাধানের সময় নিয়মিততা হ্রাস
    • অবস্থা স্থানে সংক্ষিপ্ত এম্বেডিং সম্পত্তির অভাব
    • যা নির্ধারণীয় ক্ষেত্রে সাধারণত ব্যবহৃত নির্দিষ্ট বিন্দু যুক্তি আর প্রযোজ্য নয়
  3. ব্যবহারিক চাহিদা: এই ধরনের SPDEs স্টোকাস্টিক সর্বোত্তম নিয়ন্ত্রণ এবং ফিল্টারিং তত্ত্বে গুরুত্বপূর্ণ প্রয়োগ রয়েছে, SPDE তত্ত্ব দৃষ্টিকোণ থেকে ব্যাপক মনোযোগ পায়।

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

  1. সাহিত্য 40, 37 এ চ্যালেঞ্জ: তাং এবং ঝাং এর যুগান্তকারী কাজে নির্দেশিত হয়েছে, নির্ধারণীয় ফলাফলকে স্টোকাস্টিক সেটিংয়ে প্রসারিত করার প্রধান চ্যালেঞ্জ হল সমাধানের সময় নিয়মিততা হ্রাস এবং অবস্থা স্থানে সংক্ষিপ্ত এম্বেডিং এর অভাব।
  2. গ্রেডিয়েন্ট-নির্ভর পদের অসুবিধা: বিদ্যমান L²-কার্লেম্যান অনুমান 20, 40 গ্রেডিয়েন্ট-নির্ভর পদ পরিচালনা করতে সরাসরি প্রয়োগ করা যায় না, নতুন প্রতিষ্ঠিত H⁻¹-কার্লেম্যান অনুমান 4, 30 অ-রৈখিক নিয়ন্ত্রণযোগ্যতা সমস্যা সমাধানের জন্য এখনও অপর্যাপ্ত।
  3. সহগ নিয়মিততা: সাধারণ স্টোকাস্টিক সহগের উপস্থিতি অতিরিক্ত মিথস্ক্রিয়া পদ নিয়ে আসে, যা বিস্তারিত এবং নির্ভুল বিশ্লেষণ কাজ প্রয়োজন।

মূল অবদান

  1. উন্নত L²-কার্লেম্যান অনুমান: উপযুক্ত ওজন ফাংশন গ্রহণ করে, সাধারণ স্টোকাস্টিক সহগ এবং L² মূল্যবান উৎস পদ সহ অগ্র (পশ্চাৎ) রৈখিক প্যারাবোলিক SPDEs এর জন্য নতুন বৈশ্বিক কার্লেম্যান অনুমান প্রতিষ্ঠা করা হয়েছে।
  2. H⁻¹-কার্লেম্যান অনুমান: দ্বৈত যুক্তি এবং লায়ন্সের শাস্তি HUM পদ্ধতি ব্যবহার করে, উৎস পদ L²_F(0,T;H⁻¹(O)) এ অগ্র (পশ্চাৎ) প্যারাবোলিক SPDEs এর নতুন বৈশ্বিক কার্লেম্যান অনুমান প্রাপ্ত হয়েছে।
  3. রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা: H⁻¹-কার্লেম্যান অনুমানের উপর ভিত্তি করে, অবস্থা এবং গ্রেডিয়েন্ট জড়িত রৈখিক পশ্চাৎ (অগ্র) প্যারাবোলিক SPDEs এর বৈশ্বিক শূন্য নিয়ন্ত্রণযোগ্যতা প্রতিষ্ঠা করা হয়েছে, একই সাথে প্যারামিটার λ, μ এবং ওজন ফাংশন θ সম্পর্কিত আকর্ষণীয় শক্তি-ধরনের অনুমান প্রাপ্ত হয়েছে।
  4. অর্ধ-রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা: নির্দিষ্ট বিন্দু যুক্তি সম্পাদন করে (নির্ধারণীয় সংশ্লিষ্ট সংক্ষিপ্ত এম্বেডিং ফলাফল ব্যবহার না করে), অর্ধ-রৈখিক পশ্চাৎ (অগ্র) প্যারাবোলিক SPDEs এর বৈশ্বিক শূন্য নিয়ন্ত্রণযোগ্যতা প্রমাণ করা হয়েছে।

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

কাজের সংজ্ঞা

নিম্নলিখিত অর্ধ-রৈখিক পশ্চাৎ প্যারাবোলিক SPDE এর শূন্য নিয়ন্ত্রণযোগ্যতা অধ্যয়ন করা:

dy + ∇·(A∇y)dt = (F(ω,t,x,y,∇y,Y) + 1_{O'}u)dt + YdW_t  O_T এ
y = 0  Σ_T এ, y(T) = y_T  O এ

যেখানে (y,Y) নিয়ন্ত্রণ চলক u এবং চূড়ান্ত অবস্থা y_T সম্পর্কিত অনন্য সমাধান।

ওজন ফাংশন নির্মাণ

সাহিত্য 20 দ্বারা অনুপ্রাণিত, প্যারামিটার m ≥ 1 এবং μ ≥ 1 এর জন্য, ওজন ফাংশন বিবেচনা করা:

  • φ(x,t) = γ(t)(e^{μ(β(x)+6m)} - μe^{6μ(m+1)})
  • ξ(x,t) = γ(t)e^{μ(β(x)+6m)}
  • θ(x,t) = e^{ℓ(x,t)}, ℓ(x,t) = λφ(x,t)

যেখানে γ(t) একটি খণ্ডশ বিভাজিত C² ফাংশন, বিভিন্ন সময় ব্যবধানে নির্দিষ্ট একঘেয়েতা এবং বৈশিষ্ট্য রয়েছে।

মূল প্রযুক্তিগত উদ্ভাবন

1. উন্নত L²-কার্লেম্যান অনুমান (উপপাদ্য 1.2)

রৈখিক অগ্র সিস্টেমের জন্য, নিম্নলিখিত অনুমান প্রতিষ্ঠা করা হয়েছে:

E∫_O e^{2λφ(T)}(λ²μ³e^{2μ(6m+1)}z²(T) + |∇z(T)|²)dx 
+ E∫_{O_T} λμ²ξθ²(|∇z|² + λ²μ²ξ²z²)dxdt
≤ C[E∫_{O_T} θ²(λ²μ²ξ³φ₂² + |∇φ₂|² + φ₁²)dxdt + E∫_{O'_T} λ³μ⁴ξ³θ²z²dxdt]

2. H⁻¹-কার্লেম্যান অনুমান (উপপাদ্য 1.4)

L²-কার্লেম্যান অনুমান, লায়ন্সের HUM পদ্ধতি এবং দ্বৈত যুক্তি সংমিশ্রণ করে, প্রাপ্ত:

E∫_O λμ²(ξθ²)(T)z²(T)dx + E∫_{O_T} λμ²ξθ²(λ²μ²ξ²z² + |∇z|²)dxdt
≤ C[E∫_{O'_T} λ³μ⁴ξ³θ²z²dxdt + E∫_{O_T} θ²φ₁² + λ²μ²ξ²θ²(φ₂² + |b|²)dxdt]

3. নির্দিষ্ট বিন্দু যুক্তি কাঠামো

ওজনযুক্ত বানাখ স্থান B_{λ,μ} এ ম্যাপিং সংজ্ঞায়িত করা:

K: φ ∈ B_{λ,μ} ↦ F(ω,t,x,y,∇y,Y) ∈ B_{λ,μ}

যথেষ্ট বড় λ,μ নির্বাচন করে যাতে Cλ⁻¹μ⁻² < 1, K একটি সংকোচন ম্যাপিং হয়ে ওঠে, বানাখ নির্দিষ্ট বিন্দু উপপাদ্য দ্বারা অনন্য নির্দিষ্ট বিন্দুর অস্তিত্ব নিশ্চিত করা হয়।

প্রধান উপপাদ্য

উপপাদ্য 1.6 (রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা)

শর্ত (A1) অনুমান করে, প্রতিটি চূড়ান্ত অবস্থা y_T ∈ L²_(Ω;L²(O)) এর জন্য, একটি নিয়ন্ত্রণ û ∈ L²_F(0,T;L²(O')) বিদ্যমান যাতে সংশ্লিষ্ট সমাধান (ŷ,Ŷ) ŷ(0) = 0 সন্তুষ্ট করে।

উপপাদ্য 1.8 (অর্ধ-রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা)

শর্ত (A1)-(A2) অনুমান করে, যেকোনো y_T ∈ L²_(Ω;L²(O)) এর জন্য, একটি নিয়ন্ত্রণ চলক u ∈ L²_F(0,T;L²(O')) বিদ্যমান যাতে সংশ্লিষ্ট অনন্য সমাধান (y,Y) y(0) = 0 সন্তুষ্ট করে।

উপপাদ্য 1.12 (অগ্র অর্ধ-রৈখিক শূন্য নিয়ন্ত্রণযোগ্যতা)

শর্ত (A1) এবং (A3) অনুমান করে, প্রতিটি প্রাথমিক অবস্থা y₀ ∈ L²_{F₀}(Ω;L²(O)) এর জন্য, একটি নিয়ন্ত্রণ জোড় (u,U) বিদ্যমান যাতে অনন্য সমাধান y y(T) = 0 সন্তুষ্ট করে।

প্রযুক্তিগত কঠিনতা এবং সমাধান

1. স্টোকাস্টিক সহগ দ্বারা আনীত জটিলতা

সাধারণ স্টোকাস্টিক সহগ a^{ij}(ω,t,x) অতিরিক্ত মিথস্ক্রিয়া পদ প্রবর্তন করে, যার মধ্যে রয়েছে a^{ij}_, a^{ij}t এবং a^{ij} পদ, যা ধ্রুবক সহগ ল্যাপ্লাসিয়ান অপারেটর ক্ষেত্রে প্রদর্শিত হয় না।

সমাধান: এই অতিরিক্ত পদ পরিচালনা করতে সূক্ষ্ম অনুমান কৌশল ব্যবহার করা, বিশেষত ধাপ 2-3 এ J_i (i=1,...,5) এর অনুমানে।

2. ওজন ফাংশনের অ-ঐতিহ্যবাহী নির্বাচন

ঐতিহ্যবাহী ওজন ফাংশন 4,40 থেকে ভিন্ন, t=T এ অ-অবক্ষয়ী ওজন ফাংশন ব্যবহার করা হয়েছে, যা কার্লেম্যান অনুমানে ξ এর সূচক তিনটি বনাম দুটি হতে পরিচালিত করে।

সমাধান: বিভিন্ন সময় ব্যবধানে ওজন ফাংশনের আচরণ সাবধানে বিশ্লেষণ করা, বিশেষত γ_t এর চিহ্ন এবং (2.15d) প্রতিটি ব্যবধানে অনুমান।

3. গ্রেডিয়েন্ট-নির্ভর অ-রৈখিক পদ

F(ω,t,x,y,∇y,Y) এ গ্রেডিয়েন্ট-নির্ভরতা পরিচালনা করা H⁻¹-কার্লেম্যান অনুমান প্রয়োজন, মান L² অনুমান নয়।

সমাধান: লায়ন্সের শাস্তি HUM পদ্ধতি এবং দ্বৈত যুক্তি সংমিশ্রণ করে, নতুন কার্লেম্যান অনুমান কাঠামো প্রতিষ্ঠা করা।

সম্পর্কিত কাজের তুলনা

সাহিত্য 20 এর সাথে সম্পর্ক

  • উন্নতি: সাধারণ স্টোকাস্টিক সহগ বিবেচনা করা হয়েছে, শুধুমাত্র ধ্রুবক সহগ ক্ষেত্রে সীমাবদ্ধ নয়
  • সম্প্রসারণ: গ্রেডিয়েন্ট-নির্ভর অ-রৈখিক পদ পরিচালনা করা হয়েছে
  • প্রযুক্তি: অনুরূপ ওজন ফাংশন নির্মাণ ব্যবহার করা হয়েছে কিন্তু আরও প্রযুক্তিগত বিবরণ পরিচালনা প্রয়োজন

সাহিত্য 4,30 এর সাথে সম্পর্ক

  • উন্নয়ন: রৈখিক ফলাফল অ-রৈখিক ক্ষেত্রে প্রসারিত করা হয়েছে
  • পদ্ধতি: একাধিক কৌশল সংমিশ্রণ করা হয়েছে (কার্লেম্যান অনুমান, HUM পদ্ধতি, দ্বৈত যুক্তি)
  • প্রয়োগ: আরও সাধারণ নিয়ন্ত্রণ সমস্যা সমাধান করা হয়েছে

সাহিত্য 40 এর সাথে সম্পর্ক

  • ভিত্তি: তাং-ঝাং এর যুগান্তকারী কাজের উপর নির্মিত
  • উদ্ভাবন: গ্রেডিয়েন্ট-নির্ভর পদ এবং ঋণাত্মক ক্রম সোবোলেভ স্থান উৎস পদ পরিচালনা করা হয়েছে
  • অবদান: 40, মন্তব্য 2.5 এ খোলা সমস্যার আংশিক উত্তর দেওয়া হয়েছে

সিদ্ধান্ত এবং আলোচনা

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

  1. অবস্থা এবং গ্রেডিয়েন্ট জড়িত অর্ধ-রৈখিক প্যারাবোলিক SPDEs এর শূন্য নিয়ন্ত্রণযোগ্যতা তত্ত্ব সফলভাবে প্রতিষ্ঠা করা হয়েছে
  2. নতুন কার্লেম্যান অনুমান কৌশল বিকশিত করা হয়েছে, যা ঋণাত্মক ক্রম সোবোলেভ স্থানের উৎস পদ পরিচালনা করতে পারে
  3. চতুর নির্দিষ্ট বিন্দু যুক্তির মাধ্যমে সংক্ষিপ্ত এম্বেডিং ব্যবহার এড়ানো হয়েছে

সীমাবদ্ধতা

  1. সহগ নিয়মিততা: প্রধান অংশ সহগের W^{2,∞} নিয়মিততা প্রয়োজন, ন্যূনতম নিয়মিততা শর্ত এখনও অনির্ধারিত
  2. অ-রৈখিক বৃদ্ধি: শুধুমাত্র লিপশিৎজ অ-রৈখিকতা পরিচালনা করা হয়েছে, অতি-রৈখিক অ-রৈখিকতা ক্ষেত্র এখনও খোলা
  3. নিয়ন্ত্রণ অবস্থান: অগ্র ক্ষেত্রে বিস্তার পদে অতিরিক্ত নিয়ন্ত্রণ U প্রয়োজন

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

  1. নিয়মিততা অপ্টিমাইজেশন: সহগের ন্যূনতম নিয়মিততা প্রয়োজনীয়তা অধ্যয়ন করা
  2. অ-রৈখিক সম্প্রসারণ: অতি-রৈখিক বৃদ্ধির অ-রৈখিক পদ বিবেচনা করা
  3. নিয়ন্ত্রণ অপ্টিমাইজেশন: নিয়ন্ত্রণ চলকের সংখ্যা বা কর্ম পরিধি হ্রাস করা সম্ভব কিনা অধ্যয়ন করা
  4. উচ্চ-ক্রম সমীকরণ: চতুর্থ-ক্রম প্যারাবোলিক স্টোকাস্টিক সমীকরণে প্রসারিত করা

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

সুবিধা

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

অপূর্ণতা

  1. প্রযুক্তিগত সীমাবদ্ধতা: সহগ নিয়মিততার উপর উচ্চ প্রয়োজনীয়তা, ব্যবহারিক প্রয়োগ সীমাবদ্ধ হতে পারে
  2. নিয়ন্ত্রণ খরচ: কিছু ক্ষেত্রে অতিরিক্ত নিয়ন্ত্রণ চলক প্রয়োজন, বাস্তবায়ন জটিলতা বৃদ্ধি করে
  3. খোলা সমস্যা: গুরুত্বপূর্ণ তাত্ত্বিক সমস্যা এখনও অমীমাংসিত

প্রভাব

  1. একাডেমিক মূল্য: স্টোকাস্টিক নিয়ন্ত্রণ তত্ত্বের জন্য গুরুত্বপূর্ণ তাত্ত্বিক সরঞ্জাম প্রদান করা হয়েছে
  2. পদ্ধতিগত অবদান: প্রতিষ্ঠিত প্রযুক্তিগত কাঠামো অন্যান্য ধরনের স্টোকাস্টিক সমীকরণে প্রয়োগযোগ্য হতে পারে
  3. প্রয়োগ সম্ভাবনা: স্টোকাস্টিক সর্বোত্তম নিয়ন্ত্রণ এবং ফিল্টারিং তত্ত্বে সম্ভাব্য প্রয়োগ

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

  1. তাত্ত্বিক গবেষণা: স্টোকাস্টিক আংশিক ডিফারেনশিয়াল সমীকরণের নিয়ন্ত্রণ তত্ত্ব গবেষণা
  2. সংখ্যাগত পদ্ধতি: সংখ্যাগত অ্যালগরিদম ডিজাইনের জন্য তাত্ত্বিক ভিত্তি প্রদান করা
  3. প্রকৌশল প্রয়োগ: স্টোকাস্টিক বিঘ্ন সহ বিতরণকৃত প্যারামিটার নিয়ন্ত্রণ সিস্টেম

সংদর্ভ

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