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: What's wrong with it?

gollark: Didn't tmpim use it some servers ago?

gollark: What's wrong with mekanism?

gollark: Okay, you need a special multiblock made of plethorium, clay and diamonds to craft it.

gollark: ... yes, good point.

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