2025-11-18T01:31:13.284267

On $α$-monotone operators and their resolvent in Banach spaces

Huang, Peng, Tang
This paper introduces a new definition of $α$-monotone operators in real 2-uniformly convex and smooth Banach spaces. Based on this new definition, we establish several novel structural and analytical properties of such operators, which not only extend classical results from Hilbert spaces but also reveal new insights into the geometry of Banach spaces. In particular, we examine the resolvent of $α$-maximal monotone operators and demonstrate how its behavior is consistent with, and generalizes, the well-known firmly nonexpansive property in the Hilbert space setting. Building upon this theoretical framework, we further investigate algorithmic applications. Specifically, we analyze the forward-reflected-backward splitting algorithm under the new $α$-monotonicity assumption and prove its strong convergence as well as its $R$-linear convergence rate in real 2-uniformly convex and smooth Banach spaces.
academic

Banach স্পেসে α\alpha-একঘেয়ে অপারেটর এবং তাদের রেজলভেন্ট সম্পর্কে

মৌলিক তথ্য

  • পেপার আইডি: 2510.12538
  • শিরোনাম: Banach স্পেসে α\alpha-একঘেয়ে অপারেটর এবং তাদের রেজলভেন্ট সম্পর্কে
  • লেখক: Changchi Huang, Jigen Peng, Yuchao Tang
  • শ্রেণীবিভাগ: math.FA (ফাংশনাল বিশ্লেষণ)
  • প্রকাশনার সময়: ২০২৫ সালের ১৪ অক্টোবর (ArXiv প্রি-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2510.12538

সারসংক্ষেপ

এই পেপারটি বাস্তব ২-সমান উত্তল মসৃণ Banach স্পেসে α\alpha-একঘেয়ে অপারেটরের একটি নতুন সংজ্ঞা প্রবর্তন করে। এই নতুন সংজ্ঞার উপর ভিত্তি করে, এই ধরনের অপারেটরগুলির জন্য বেশ কয়েকটি নতুন কাঠামোগত এবং বিশ্লেষণাত্মক বৈশিষ্ট্য প্রতিষ্ঠা করা হয়েছে, যা শুধুমাত্র হিলবার্ট স্পেসের ক্লাসিক্যাল ফলাফলগুলি প্রসারিত করে না বরং Banach স্পেস জ্যামিতির নতুন অন্তর্দৃষ্টিও প্রকাশ করে। বিশেষত, α\alpha-সর্বোচ্চ একঘেয়ে অপারেটরের রেজলভেন্টটি অধ্যয়ন করা হয়েছে, এবং প্রমাণ করা হয়েছে যে এর আচরণ হিলবার্ট স্পেস সেটিংয়ে দৃঢ় অ-সম্প্রসারণশীল বৈশিষ্ট্যের সাথে সামঞ্জস্যপূর্ণ এবং এই বৈশিষ্ট্যটি সাধারণীকরণ করে। এই তাত্ত্বিক কাঠামোর ভিত্তিতে, অ্যালগরিদম প্রয়োগ আরও অধ্যয়ন করা হয়েছে, নতুন α\alpha-একঘেয়ে অনুমানের অধীনে ফরোয়ার্ড-রিফ্লেক্টিভ-ব্যাকওয়ার্ড স্প্লিটিং অ্যালগরিদম বিশ্লেষণ করা হয়েছে, এবং বাস্তব ২-সমান উত্তল মসৃণ Banach স্পেসে এর শক্তিশালী সংগ্রহণশীলতা এবং R-রৈখিক সংগ্রহণ হার প্রমাণ করা হয়েছে।

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

সমস্যার পটভূমি

১. মূল সমস্যা: অর্থনীতি, মেকানিক্স, সংকেত চিত্র প্রক্রিয়াকরণ এবং মেশিন লার্নিং থেকে অনেক সমস্যা 0Ax0 \in Ax অন্তর্ভুক্তি সম্পর্ক সন্তুষ্ট করে এমন বিন্দু xx খুঁজে পাওয়ার হিসাবে প্রকাশ করা যায়, যেখানে A:X2XA: X \to 2^{X^*} একটি সর্বোচ্চ একঘেয়ে অপারেটর।

२. হিলবার্ট স্পেসের সীমাবদ্ধতা: হিলবার্ট স্পেসে, সর্বোচ্চ একঘেয়ে অপারেটরের রেজলভেন্ট JλA=(I+λA)1J_\lambda^A = (I + \lambda A)^{-1} দৃঢ় অ-সম্প্রসারণশীল বৈশিষ্ট্য রাখে, যা সরাসরি নিকটবর্তী বিন্দু অ্যালগরিদম (PPA) এর সংগ্রহণশীলতা নিশ্চিত করে। কিন্তু সাধারণ Banach স্পেসে, এই বৈশিষ্ট্য আর বজায় থাকে না।

३. বিদ্যমান পদ্ধতির অপর্যাপ্ততা:

  • Dao এবং Phan হিলবার্ট স্পেসে α\alpha-একঘেয়ে অপারেটরের ধারণা প্রবর্তন করেছেন, কিন্তু তাদের ক্লাসিক্যাল সংজ্ঞা Banach স্পেসে মৌলিক ত্রুটি রয়েছে
  • ক্লাসিক্যাল সংজ্ঞা হিলবার্ট স্পেস অভ্যন্তরীণ গুণফলের সাথে আবদ্ধ, Banach স্পেসের জ্যামিতিক বৈশিষ্ট্য যেমন উত্তলতা এবং মসৃণতা প্রতিফলিত করে না
  • α0\alpha \neq 0 এর ক্ষেত্রে, বিদ্যমান পদ্ধতি Banach স্পেসে অনুরূপ রেজলভেন্ট বৈশিষ্ট্য প্রতিষ্ঠা করতে পারে না

গবেষণা প্রেরণা

লেখকরা একটি মূল অন্তর্দৃষ্টি প্রস্তাব করেছেন: ক্লাসিক্যাল α\alpha-একঘেয়ে সংজ্ঞার নিষ্পাপ সাধারণীকরণ Banach স্পেসে অপর্যাপ্ত, কারণ এটি স্পষ্টভাবে মানক দ্বৈত ম্যাপিং J:XXJ: X \to X^* এই মূল জ্যামিতিক বস্তুটি একীভূত করে না।

মূল অবদান

१. নতুন সংজ্ঞা প্রস্তাব: মসৃণ Banach স্পেসে α\alpha-একঘেয়ে অপারেটরের একটি নতুন সংজ্ঞা (সংজ্ঞা ३.२) প্রস্তাব করা হয়েছে, যা স্পষ্টভাবে মানক দ্বৈত ম্যাপিং একীভূত করে, যাতে অপারেটরের একঘেয়েতা Banach স্পেস জ্যামিতির সাথে মেলে।

२. তাত্ত্বিক বৈশিষ্ট্য প্রতিষ্ঠা: নতুন সংজ্ঞার অধীনে α\alpha-একঘেয়ে অপারেটরের মৌলিক বৈশিষ্ট্যগুলি পদ্ধতিগতভাবে চিহ্নিত করা হয়েছে, সর্বোচ্চ একঘেয়ে অপারেটর, শক্তিশালী একঘেয়ে অপারেটর ইত্যাদি বিদ্যমান অপারেটর শ্রেণীগুলির সাথে সংযোগ প্রতিষ্ঠা করা হয়েছে, এবং α\alpha-একঘেয়ে অপারেটর সর্বোচ্চ হওয়ার জন্য পর্যাপ্ত শর্ত নির্ধারণ করা হয়েছে।

३. রেজলভেন্ট বিশ্লেষণ: বাস্তব २-সমান উত্তল সমানভাবে মসৃণ Banach স্পেসে α\alpha-একঘেয়ে অপারেটরের রেজলভেন্ট মূল সংকোচন-ধরনের বৈশিষ্ট্য বজায় রাখে তা প্রমাণ করা হয়েছে, এই বৈশিষ্ট্যগুলি হিলবার্ট স্পেসে রেজলভেন্টের সংকোচন আচরণের প্রাকৃতিক সমতুল্য।

४. অ্যালগরিদম সংগ্রহণশীলতা: Banach স্পেসে ফরোয়ার্ড-রিফ্লেক্টিভ-ব্যাকওয়ার্ড স্প্লিটিং অ্যালগরিদম বিশ্লেষণে α\alpha-একঘেয়ে ধারণা প্রয়োগ করা হয়েছে, "শক্তিশালী উত্তলতা দুর্বল উত্তলতাকে অতিক্রম করে" শর্তের অধীনে, অ্যালগরিদমের শক্তিশালী সংগ্রহণশীলতা এবং R-রৈখিক সংগ্রহণ হার প্রতিষ্ঠা করা হয়েছে।

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

নতুন সংজ্ঞার মূল ধারণা

ক্লাসিক্যাল সংজ্ঞা ३.१ (Banach স্পেসে ক্লাসিক্যাল α\alpha-একঘেয়ে অপারেটর): অপারেটর A:XXA: X \Rightarrow X^* কে α\alpha-একঘেয়ে (αR\alpha \in \mathbb{R}) বলা হয়, যদি (x,u),(y,v)gra A,xy,uvαxy2\forall (x,u), (y,v) \in \text{gra } A, \quad \langle x-y, u-v \rangle \geq \alpha \|x-y\|^2

নতুন সংজ্ঞা ३.२ (মসৃণ Banach স্পেসে α\alpha-একঘেয়ে অপারেটর): ধরুন XX একটি মসৃণ Banach স্পেস, অপারেটর A:XXA: X \Rightarrow X^* কে α\alpha-একঘেয়ে (αR\alpha \in \mathbb{R}) বলা হয়, যদি (x,u),(y,v)gra A,xy,uvαxy,JxJy\forall (x,u), (y,v) \in \text{gra } A, \quad \langle x-y, u-v \rangle \geq \alpha \langle x-y, Jx-Jy \rangle

যেখানে J:XXJ: X \to X^* মানক দ্বৈত ম্যাপিং।

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

१. জ্যামিতিক অভিযোজনযোগ্যতা: নতুন সংজ্ঞা হিলবার্ট স্পেস নর্ম বর্গ xy2\|x-y\|^2 এর পরিবর্তে দ্বৈত জোড়া xy,JxJy\langle x-y, Jx-Jy \rangle ব্যবহার করে, এই পদটি "Banach স্পেস অভিযোজিত অভ্যন্তরীণ গুণফলের প্রতিনিধি" হিসাবে কাজ করে, যা স্থান জ্যামিতির সাথে মেলে এমন একঘেয়েতা অর্থপূর্ণভাবে পরিমাপ করতে পারে।

२. পিছনের দিকে সামঞ্জস্যপূর্ণতা: হিলবার্ট স্পেসে, JJ পরিচয় ম্যাপিংয়ে অবনত হয়, তাই সংজ্ঞা ३.२ মান α\alpha-একঘেয়েতা পুনরুদ্ধার করে, পিছনের দিকে সামঞ্জস্যপূর্ণতা নিশ্চিত করে।

३. রেজলভেন্ট বৈশিষ্ট্য: মূল লেম্মা ३.१५ প্রতিষ্ঠা করা হয়েছে, যা প্রমাণ করে যে α\alpha-একঘেয়ে অপারেটরের রেজলভেন্ট JγAJ_\gamma^A হল (+γα)(१+\gamma\alpha)-দৃঢ় অ-সম্প্রসারণশীল ধরনের: JxJy,JγAxJγAy(1+γα)JγAxJγAy,JJγAxJJγAy\langle Jx - Jy, J_\gamma^A x - J_\gamma^A y \rangle \geq (1+\gamma\alpha) \langle J_\gamma^A x - J_\gamma^A y, JJ_\gamma^A x - JJ_\gamma^A y \rangle

মূল তাত্ত্বিক ফলাফল

উপপাদ্য ३.४: ধরুন XX বাস্তব মসৃণ २-সমান উত্তল Banach স্পেস, তাহলে μ1\mu \geq 1 বিদ্যমান যাতে 12μxy2xy,JxJy,x,yX\frac{1}{2\mu}\|x-y\|^2 \leq \langle x-y, Jx-Jy \rangle, \quad \forall x,y \in X

উপপাদ্য ३.५: যদি २-সমান উত্তল মসৃণ Banach স্পেস XXL>0L > 0 বিদ্যমান থাকে যাতে xy,JxJyLxy2\langle x-y, Jx-Jy \rangle \leq L\|x-y\|^2 সকল x,yXx,y \in X এর জন্য সত্য হয়, তাহলে XX হিলবার্ট স্পেসের সাথে সমরূপ।

এই ফলাফলগুলি দুটি সংজ্ঞার মধ্যে নির্ভুল সম্পর্ক প্রকাশ করে, এবং নতুন সংজ্ঞার অ-হিলবার্ট Banach স্পেসে প্রয়োজনীয়তা নির্দেশ করে।

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

এই পেপারটি বিশুদ্ধ তাত্ত্বিক গবেষণা, সংখ্যাগত পরীক্ষা জড়িত নয়। সমস্ত ফলাফল কঠোর গাণিতিক প্রমাণের মাধ্যমে প্রতিষ্ঠিত।

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

প্রধান তাত্ত্বিক ফলাফল

१. সমতুল্যতা বিশ্লেষণ (মন্তব্য ३.२):

  • নতুন সংজ্ঞার অধীনে শক্তিশালী একঘেয়েতা \Rightarrow ক্লাসিক্যাল সংজ্ঞার অধীনে শক্তিশালী একঘেয়েতা (বিপরীত সত্য নয়)
  • ক্লাসিক্যাল সংজ্ঞার অধীনে দুর্বল একঘেয়েতা \Rightarrow নতুন সংজ্ঞার অধীনে দুর্বল একঘেয়েতা (বিপরীত সত্য নয়)
  • যখন এবং শুধুমাত্র যখন স্থান হিলবার্ট স্পেসের সাথে সমরূপ, দুটি সংজ্ঞা সম্পূর্ণভাবে সমতুল্য

२. ঘনত্ব ফলাফল (উপপাদ্য ३.२०): নতুন সংজ্ঞার অধীনে সর্বোচ্চ শক্তিশালী একঘেয়ে অপারেটর ক্লাসিক্যাল সংজ্ঞার সর্বোচ্চ শক্তিশালী একঘেয়ে অপারেটরে ঘন, একটি অনুমান পদ্ধতি প্রদান করে।

३. অ্যালগরিদম সংগ্রহণশীলতা (উপপাদ্য ४.१): २-সমান উত্তল সমানভাবে মসৃণ Banach স্পেসে, ফরোয়ার্ড-রিফ্লেক্টিভ-ব্যাকওয়ার্ড স্প্লিটিং অ্যালগরিদম α+β>0\alpha + \beta > 0 শর্তের অধীনে শক্তিশালী সংগ্রহণশীলতা এবং R-রৈখিক সংগ্রহণ হার অর্জন করে।

সংগ্রহণশীলতা বিশ্লেষণ

অ্যালগরিদমের জন্য: xn+1=JλnAJ1(JxnλnBxnλn1(BxnBxn1))x_{n+1} = J_{\lambda_n}^A \circ J^{-1}(Jx_n - \lambda_n Bx_n - \lambda_{n-1}(Bx_n - Bx_{n-1}))

যেখানে λn[ϵ,12ϵ2μL]\lambda_n \subseteq [\epsilon, \frac{1-2\epsilon}{2\mu L}], প্রমাণ করা হয়েছে যে θ>1\theta > 1 বিদ্যমান যাতে xn+1x2Mθn\|x_{n+1} - x^*\|^2 \leq \frac{M}{\theta^n}

এটি Malitsky এবং Tam এর হিলবার্ট স্পেসে ফলাফল Banach স্পেসে প্রসারিত করে।

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

१. একঘেয়ে অপারেটর তত্ত্ব: Browder, Rockafellar এবং অন্যদের ক্লাসিক্যাল কাজের উপর ভিত্তি করে প্রতিষ্ঠিত, বিশেষত Banach স্পেসে একঘেয়ে অপারেটরের সর্বোচ্চতা চিহ্নিতকরণ।

२. Banach স্পেস জ্যামিতি: Alber, Kamimura-Takahashi এর Bregman দূরত্ব এবং ϕ\phi ফাংশন সম্পর্কিত কাজ ব্যবহার করা হয়েছে।

३. অপারেটর স্প্লিটিং পদ্ধতি: Kohsaka-Takahashi এর দৃঢ় অ-সম্প্রসারণশীল ম্যাপিং সম্পর্কিত তাত্ত্বিক কাঠামো প্রসারিত করা হয়েছে।

४. α\alpha-একঘেয়েতা: সরাসরি Dao-Phan এর হিলবার্ট স্পেসে অগ্রগামী কাজ সাধারণীকরণ করা হয়েছে।

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

প্রধান উপসংহার

१. Banach স্পেসে α\alpha-একঘেয়ে অপারেটর অধ্যয়ন করার জন্য নতুন সংজ্ঞা কাঠামো প্রয়োজন, ক্লাসিক্যাল সংজ্ঞার সরাসরি সাধারণীকরণ অপর্যাপ্ত।

२. নতুন সংজ্ঞা শুধুমাত্র হিলবার্ট স্পেস ফলাফলের সাথে সামঞ্জস্যপূর্ণতা বজায় রাখে না বরং Banach স্পেস জ্যামিতির গভীর কাঠামোও প্রকাশ করে।

३. রেজলভেন্টের সংকোচন বৈশিষ্ট্য উপযুক্ত Banach স্পেস শ্রেণীতে বজায় এবং সাধারণীকৃত হতে পারে।

४. অপারেটর স্প্লিটিং অ্যালগরিদমের শক্তিশালী সংগ্রহণশীলতা এবং রৈখিক সংগ্রহণ হার নতুন কাঠামোর অধীনে Banach স্পেসে প্রতিষ্ঠিত হতে পারে।

সীমাবদ্ধতা

१. স্থান সীমাবদ্ধতা: প্রধান ফলাফল २-সমান উত্তলতা এবং মসৃণতা অনুমান প্রয়োজন, যা প্রযোজ্য Banach স্পেস শ্রেণী সীমাবদ্ধ করে।

२. পরামিতি শর্ত: অ্যালগরিদম সংগ্রহণশীলতা "শক্তিশালী উত্তলতা দুর্বল উত্তলতাকে অতিক্রম করে" শর্ত (α+β>0\alpha + \beta > 0) প্রয়োজন, যা বাস্তব প্রয়োগে সীমাবদ্ধ হতে পারে।

३. সংখ্যাগত যাচাইকরণ: বিশুদ্ধ তাত্ত্বিক কাজ হিসাবে, তাত্ত্বিক পূর্বাভাস যাচাই করার জন্য সংখ্যাগত পরীক্ষা অনুপস্থিত।

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

পেপারটি স্পষ্টভাবে বেশ কয়েকটি গবেষণা দিকনির্দেশনা প্রস্তাব করেছে: १. নতুন α\alpha-একঘেয়ে সংজ্ঞা অন্যান্য অপারেটর স্প্লিটিং অ্যালগরিদমে প্রয়োগ করা २. ফরোয়ার্ড-ব্যাকওয়ার্ড-সেমি-ফরোয়ার্ড স্প্লিটিং অ্যালগরিদমের সংগ্রহণশীলতা অধ্যয়ন করা ३. সেমি-রিফ্লেক্টিভ-ফরোয়ার্ড-ব্যাকওয়ার্ড স্প্লিটিং অ্যালগরিদম বিশ্লেষণ করা ४. বাহ্যিক রিফ্লেক্টিভ ফরোয়ার্ড-ব্যাকওয়ার্ড স্প্লিটিং অ্যালগরিদমের তাত্ত্বিক বিশ্লেষণ

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

সুবিধা

१. তাত্ত্বিক উদ্ভাবন: একটি জ্যামিতিগতভাবে প্রাকৃতিক এবং গাণিতিকভাবে কঠোর নতুন সংজ্ঞা প্রস্তাব করা হয়েছে, যা Banach স্পেসে ক্লাসিক্যাল সংজ্ঞার মৌলিক ত্রুটি সমাধান করে।

२. সিস্টেমেটিকতা: নতুন সংজ্ঞা এবং ক্লাসিক্যাল সংজ্ঞার সম্পর্ক সম্পূর্ণভাবে বিশ্লেষণ করা হয়েছে, সম্পূর্ণ তাত্ত্বিক কাঠামো প্রদান করা হয়েছে।

३. প্রযুক্তিগত গভীরতা: প্রমাণ কৌশল পরিশীলিত, বিশেষত Bregman দূরত্ব এবং দ্বৈত ম্যাপিং বৈশিষ্ট্যের বিশ্লেষণ।

४. ব্যবহারিক তাৎপর্য: Banach স্পেসে অপ্টিমাইজেশন অ্যালগরিদমের জন্য নতুন তাত্ত্বিক ভিত্তি প্রদান করা হয়েছে।

অপূর্ণতা

१. বিমূর্ততা: তাত্ত্বিক ফলাফল অত্যন্ত বিমূর্ত, নির্দিষ্ট প্রয়োগের সাথে সংযোগ যথেষ্ট সরাসরি নয়।

२. অনুমানের শক্তি: २-সমান উত্তলতা এবং মসৃণতা অনুমান শক্তিশালী, বাস্তব প্রয়োগের পরিসীমা সীমাবদ্ধ করতে পারে।

३. গণনামূলক জটিলতা: নতুন সংজ্ঞা দ্বৈত ম্যাপিং গণনা জড়িত, অ্যালগরিদম বাস্তবায়নের জটিলতা বৃদ্ধি করতে পারে।

প্রভাব

१. একাডেমিক অবদান: Banach স্পেসে একঘেয়ে অপারেটর তত্ত্বের উন্নয়নের জন্য গুরুত্বপূর্ণ তাত্ত্বিক সরঞ্জাম প্রদান করা হয়েছে।

२. পদ্ধতিগত মূল্য: হিলবার্ট স্পেসের ধারণা Banach স্পেসে যথাযথভাবে কীভাবে সাধারণীকরণ করতে হয় তা প্রদর্শন করা হয়েছে।

३. পরবর্তী গবেষণা: সম্পর্কিত অ্যালগরিদমের Banach স্পেস সাধারণীকরণের জন্য তাত্ত্বিক ভিত্তি স্থাপন করা হয়েছে।

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

এই তাত্ত্বিক কাঠামো বিশেষভাবে উপযুক্ত: १. বিশেষ জ্যামিতিক কাঠামো সহ Banach স্পেসে অপ্টিমাইজেশন সমস্যা २. শক্তিশালী সংগ্রহণশীলতা গ্যারান্টি প্রয়োজন এমন অ্যালগরিদম ডিজাইন ३. একঘেয়ে অন্তর্ভুক্তি সমস্যার তাত্ত্বিক বিশ্লেষণ ४. পরিবর্তনশীল অসমতা এবং ভারসাম্য সমস্যার সমাধান

সংদর্ভ

পেপারটি ৩৮টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করেছে, যা একঘেয়ে অপারেটর তত্ত্ব, Banach স্পেস জ্যামিতি, অপারেটর স্প্লিটিং পদ্ধতি ইত্যাদি একাধিক ক্ষেত্রের ক্লাসিক্যাল এবং অগ্রগামী কাজ অন্তর্ভুক্ত করে। বিশেষভাবে উল্লেখযোগ্য হল Dao-Phan (२०१९), Kohsaka-Takahashi (२००८), Malitsky-Tam (२०२०) ইত্যাদি মূল কাজের উদ্ধৃতি এবং সম্প্রসারণ।


এই পেপারটি ফাংশনাল বিশ্লেষণ এবং অপ্টিমাইজেশন তত্ত্বের ছেদ ক্ষেত্রে গুরুত্বপূর্ণ তাত্ত্বিক অবদান করেছে, Banach স্পেসে একঘেয়ে অপারেটর তত্ত্বের উন্নয়নের জন্য নতুন দিকনির্দেশনা খুলে দিয়েছে। যদিও বিশুদ্ধ তাত্ত্বিক কাজ, তবে এটি প্রতিষ্ঠিত কাঠামো পরবর্তী অ্যালগরিদম ডিজাইন এবং বিশ্লেষণের জন্য দৃঢ় গাণিতিক ভিত্তি প্রদান করে।