<p>The present paper is devoted to establishing the existence result for an integro-differential inclusions governed by a state-dependent nonconvex set-valued mapping <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathcal {G}(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in infinite dimensional Hilbert spaces. Under the key assumption <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathcal {G}(\mathcal {V})\subset \partial \Phi (\mathcal {V})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">V</mi> <mo stretchy="false">)</mo> <mo>⊂</mo> <mi>∂</mi> <mi mathvariant="normal">Φ</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> holding on a neighborhood <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {V}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation> of the initial condition, we develop a comprehensive discretization scheme that addresses all the components of the problem, including the set-valued mapping <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {G}(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">G</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, to construct a family of approximate solutions converging to the desired solution under some additional mild assumptions. This work improves upon existing results on convex cyclically monotone inclusions in three main directions. First, whereas previous studies were conducted in finite-dimensional spaces <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, our results are established in an infinite-dimensional Hilbert space <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {E}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">E</mi> </math></EquationSource> </InlineEquation>. Second, while classical assumptions required the hypotheses to hold globally on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, we only require them to be satisfied locally in a neighborhood of the initial condition <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. Furthermore, we relax the usual upper semicontinuity condition by considering the strong-weak case. Additionally, our formulation incorporates further complexity through the presence of a Volterra-type integral term, which significantly broadens the scope of applicability. Finally, we illustrate the applicability of our theoretical findings through an example in electrical circuits with set-valued feedback control.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Full Discretization Approach to Cyclically Monotone Integro-Differential Inclusions

  • Ilyas Kecis,
  • Amira Lahmer,
  • Tahar Haddad

摘要

The present paper is devoted to establishing the existence result for an integro-differential inclusions governed by a state-dependent nonconvex set-valued mapping \(\mathcal {G}(\cdot )\) G ( · ) in infinite dimensional Hilbert spaces. Under the key assumption \(\mathcal {G}(\mathcal {V})\subset \partial \Phi (\mathcal {V})\) G ( V ) Φ ( V ) holding on a neighborhood \(\mathcal {V}\) V of the initial condition, we develop a comprehensive discretization scheme that addresses all the components of the problem, including the set-valued mapping \(\mathcal {G}(\cdot )\) G ( · ) , to construct a family of approximate solutions converging to the desired solution under some additional mild assumptions. This work improves upon existing results on convex cyclically monotone inclusions in three main directions. First, whereas previous studies were conducted in finite-dimensional spaces \(\mathbb {R}^n\) R n , our results are established in an infinite-dimensional Hilbert space \(\mathbb {E}\) E . Second, while classical assumptions required the hypotheses to hold globally on \(\mathbb {R}^n\) R n , we only require them to be satisfied locally in a neighborhood of the initial condition \(x_0\) x 0 . Furthermore, we relax the usual upper semicontinuity condition by considering the strong-weak case. Additionally, our formulation incorporates further complexity through the presence of a Volterra-type integral term, which significantly broadens the scope of applicability. Finally, we illustrate the applicability of our theoretical findings through an example in electrical circuits with set-valued feedback control.