Bielecki-Ulam stability of a hammerstein-type difference system

In this study, we investigate the Bielecki-Ulam (B-U) stabilities of two forms of Hammerstein-type difference systems (HT-DS). Specifically, we consider the systems: <DispFormula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:mrow><mml:mo>(</mml:mo> <mml:mn>0.1</mml:mn> <mml:mo>)</mml:mo></mml:mrow> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mrow><mml:mo>{</mml:mo> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow><mml:msub><mml:mi>x</mml:mi> <mml:mrow><mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn></mml:mrow> </mml:msub> <mml:mo>-</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>=</mml:mo> <mml:msub><mml:mover><mml:mi>M</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mi>m</mml:mi></mml:msub> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>+</mml:mo> <mml:mover><mml:mi>F</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>m</mml:mi> <mml:mo>,</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>,</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mrow><mml:mi>h</mml:mi> <mml:mi>m</mml:mi></mml:mrow> </mml:msub> <mml:mo>)</mml:mo></mml:mrow> <mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:msubsup><mml:mo>∑</mml:mo> <mml:mrow><mml:mo>[</mml:mo> <mml:mrow><mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn></mml:mrow> <mml:mo>]</mml:mo></mml:mrow> <mml:mrow><mml:mo>[</mml:mo> <mml:mi>m</mml:mi> <mml:mo>]</mml:mo></mml:mrow> </mml:msubsup> <mml:mover><mml:mi>G</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>m</mml:mi> <mml:mo>,</mml:mo> <mml:mi>j</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mover><mml:mi>H</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>j</mml:mi> <mml:mo>,</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mi>j</mml:mi></mml:msub> <mml:mo>,</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mrow><mml:mi>h</mml:mi> <mml:mi>j</mml:mi></mml:mrow> </mml:msub> <mml:mo>)</mml:mo></mml:mrow> </mml:mrow> <mml:mo>]</mml:mo></mml:mrow> </mml:mrow> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mrow><mml:msub><mml:mi>x</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>=</mml:mo> <mml:msub><mml:mi>b</mml:mi> <mml:mn>0</mml:mn></mml:msub> </mml:mrow> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> <mml:mo>,</mml:mo></mml:mrow> </mml:math> </DispFormula> and <DispFormula> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow><mml:mrow><mml:mo>(</mml:mo> <mml:mn>0.2</mml:mn> <mml:mo>)</mml:mo></mml:mrow> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mspace></mml:mspace> <mml:mrow><mml:mo>{</mml:mo> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow><mml:msub><mml:mi>x</mml:mi> <mml:mrow><mml:mi>m</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn></mml:mrow> </mml:msub> <mml:mo>-</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>=</mml:mo> <mml:msub><mml:mover><mml:mi>M</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mi>m</mml:mi></mml:msub> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>+</mml:mo> <mml:mover><mml:mi>F</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>m</mml:mi> <mml:mo>,</mml:mo> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>,</mml:mo> <mml:mover><mml:mi>L</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>,</mml:mo> <mml:mover><mml:mi>J</mml:mi> <mml:mo>¯</mml:mo></mml:mover> <mml:msub><mml:mi>x</mml:mi> <mml:mi>m</mml:mi></mml:msub> <mml:mo>)</mml:mo></mml:mrow> </mml:mrow> </mml:mtd> </mml:mtr> <mml:mtr> <mml:mtd> <mml:mrow><mml:msub><mml:mi>x</mml:mi> <mml:mn>0</mml:mn></mml:msub> <mml:mo>=</mml:mo> <mml:msub><mml:mi>b</mml:mi> <mml:mn>0</mml:mn></mml:msub> </mml:mrow> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> <mml:mo>,</mml:mo></mml:mrow> </mml:math> </DispFormula> by establishing conditions under which a unique solution exists. We derive sufficient conditions for the existence and uniqueness of solutions that satisfy B-U stability criteria. To demonstrate the theoretical findings, we provide an illustrative example that confirms the validity of our results.•<b>Purpose:</b> In this study, we examine the Bielecki-Ulam (B-U) stabilities of two forms of Hammerstein-type difference systems (HT-DS) to understand the conditions necessary for solution uniqueness and stability.•<b>Methodology:</b> We analyze two specific systems characterized by distinct recursive nonlinear structures and employ the Banach contraction principle under the Bielecki norm to establish stability results. The theoretical development involves verifying boundedness and Lipschitz continuity of the nonlinear terms and ensuring that the involved operators satisfy contractive conditions.•<b>Findings:</b> We derive sufficient conditions (outlined in Theorems 2 and 3) under which the systems possess unique solutions and are shown to be Bielecki-Ulam stable (Theorems 4 and 5). Specifically, these conditions include boundedness of system coefficients, Lipschitz continuity of nonlinear mappings, and the fulfillment of a contraction inequality using the Bielecki norm. Illustrative examples are provided to confirm the applicability of the results.