Rockafellar’s sum conjecture

Let XX be a Banach space, and let A,B:X⇉X∗A,B:X\rightrightarrows X^* be maximally monotone operators. If dom⁡A∩int⁡(dom⁡B)≠∅\operatorname{dom}A\cap\operatorname{int}(\operatorname{dom}B)\neq\varnothing, must the operator A+BA+B, defined by (A+B)(x)=A(x)+B(x)(A+B)(x)=A(x)+B(x), be maximally monotone?

References

Progress summary

Refreshed
Claimed solved

A September 2026 unrefereed preprint claims to disprove the conjecture by constructing counterexamples, but the result has not yet been independently verified.

Rockafellar’s conjecture asks whether the usual interior-domain condition guarantees that the sum of two maximal monotone operators is maximal monotone in general Banach spaces. Earlier work established important special cases, while the general nonreflexive question remained open.

Known results

  • Linear maximal monotone operators under a closed domain-difference condition: maximality of the sum (2006).
  • A maximal monotone linear relation plus a normal-cone operator satisfies the qualification (2009).
  • A maximal monotone linear relation summed with any maximal monotone operator satisfies the qualification (2012).
  • The classical theorem holds in reflexive Banach spaces (2019).

September 2026 counterexamples

A preprint claims counterexamples on c0c_0 and ℓ1\ell^1, together with a transfer construction between these spaces, showing that the interior-domain condition does not suffice in general. This contradicts a 2015 note that claimed the full result, but the new preprint is explicitly unrefereed and its counterexamples remain unverified.

Current status (as of September 2026): The conjecture is claimed to be false by counterexamples on c0c_0 and ℓ1\ell^1, while the counterexamples and their implications remain unverified; the reflexive-space and other special cases are settled.

Sources

Solutions 0

No solutions have been posted yet.