Kachurovskii's theorem

In mathematics, Kachurovskii's theorem is a theorem relating the convexity of a function on a Banach space to the monotonicity of its Fréchet derivative.

Statement of the theorem

Let K be a convex subset of a Banach space V and let f : K → R ∪ {+∞} be an extended real-valued function that is Fréchet differentiable with derivative df(x) : V → R at each point x in K. (In fact, df(x) is an element of the continuous dual space V^∗.) Then the following are equivalent:

f is a convex function;
for all x and y in K,

\mathrm {d} f(x)(y-x)\leq f(y)-f(x);

df is an (increasing) monotone operator, i.e., for all x and y in K,

{\big (}\mathrm {d} f(x)-\mathrm {d} f(y){\big )}(x-y)\geq 0.

gollark: Because someone suggested prizes-in-market, again.

gollark: ... unless you posted on the thread.

gollark: Don't worry, not *much* of it reaches the discord.

gollark: Hmm, the prizes in market thing is ***HOT*** now.

gollark: Yes, this place is probably nicer, though whether that's due to people just generally agreeing more, actual niceness, or there not being a suggestions channel we shall never know.

References

Kachurovskii, I. R. (1960). "On monotone operators and convex functionals". Uspekhi Mat. Nauk. 15 (4): 213–215.
Showalter, Ralph E. (1997). Monotone operators in Banach space and nonlinear partial differential equations. Mathematical Surveys and Monographs 49. Providence, RI: American Mathematical Society. pp. 80. ISBN 0-8218-0500-2. MR1422252 (Proposition 7.4)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Functional analysis (topics, glossary)
Spaces	Hilbert space, Banach space, Fréchet space, topological vector space
Theorems	Hahn–Banach theorem, closed graph theorem, uniform boundedness principle, Kakutani fixed-point theorem, Krein–Milman theorem, min-max theorem, Gelfand–Naimark theorem, Banach–Alaoglu theorem
Operators	bounded operator, compact operator, adjoint operator, unitary operator, Hilbert–Schmidt operator, trace class, unbounded operator
Algebras	Banach algebra, C-algebra, spectrum of a C-algebra, operator algebra, group algebra of a locally compact group, von Neumann algebra
Open problems	invariant subspace problem, Mahler's conjecture
Applications	Besov space, Hardy space, spectral theory of ordinary differential equations, heat kernel, index theorem, calculus of variation, functional calculus, integral operator, Jones polynomial, topological quantum field theory, noncommutative geometry, Riemann hypothesis
Advanced topics	locally convex space, approximation property, balanced set, Schwartz space, weak topology, barrelled space, Banach–Mazur distance, Tomita–Takesaki theory