<p>In this paper, we consider two maximal monotone vector fields <i>A</i> and <i>B</i> with the corresponding resolvents <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(J^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(J^B\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mi>B</mi> </msup> </math></EquationSource> </InlineEquation> and their generated semigroups <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(S^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(S^B\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>B</mi> </msup> </math></EquationSource> </InlineEquation> on an Hadamard manifold, and then we prove that the semigroup associated to the maximal monotone vector field <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(A+B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>+</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation>, say <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(S^{A+B}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mrow> <mi>A</mi> <mo>+</mo> <mi>B</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, is generated by the resolvents <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(J^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(J^B\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>J</mi> <mi>B</mi> </msup> </math></EquationSource> </InlineEquation> as well as by the semigroups <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(S^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(S^B\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mi>B</mi> </msup> </math></EquationSource> </InlineEquation>. This well-known result on Hilbert spaces is called the Lie–Trotter–Kato theorem. Finally, an application to convex minimization problem is presented.</p>

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

The Trotter–Kato Theorem on Hadamard Manifolds

  • Parviz Ahmadi,
  • Hadi Khatibzadeh,
  • Saeid Mohebbi

摘要

In this paper, we consider two maximal monotone vector fields A and B with the corresponding resolvents \(J^A\) J A and \(J^B\) J B and their generated semigroups \(S^A\) S A and \(S^B\) S B on an Hadamard manifold, and then we prove that the semigroup associated to the maximal monotone vector field \(A+B\) A + B , say \(S^{A+B}\) S A + B , is generated by the resolvents \(J^A\) J A and \(J^B\) J B as well as by the semigroups \(S^A\) S A and \(S^B\) S B . This well-known result on Hilbert spaces is called the Lie–Trotter–Kato theorem. Finally, an application to convex minimization problem is presented.