PulseAugur
实时 09:14:57
实体 Rockafellar

Rockafellar

PulseAugur coverage of Rockafellar — every cluster mentioning Rockafellar across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天

2 天有情绪数据

最近 · 第 1/1 页 · 共 2 条
  1. TOOL · CL_254819 ·

    数学论文用算子示例挑战Rockafellar的和猜想

    本文提出了Rockafellar和猜想的数学反例,特别关注极大单调算子的行为。作者在$c_0$和$\ell^1$空间上构造了两个这样的算例,它们满足内域条件,但它们的和并不表现出极大单调性。引入了一个通用的构造定理来计算某些图的单调极和建立极大单调性的条件,然后将其应用于在$c_0$上生成反例。此外,使用有界线性满射来推导$\ell^1$的反例。该工作包括$c_0$反例的正式化以及Lean中的相关引理。

  2. TOOL · CL_246213 ·

    新的反例挑战算子理论中 Rockafellar 的和猜想

    本文提出了 Rockafellar 关于最大单调算子和猜想的反例。作者在序列空间 $c_0$ 和 $\ell^1$ 上构造了特定情况,其中两个最大单调算子的和,尽管满足内域条件,但并非最大单调。引入了一个通用的构造定理来计算某些图的单调极值,并建立最大单调性的条件,然后将其应用于推导反例。