Kōmura's theorem

Kōmura's theorem In mathematics, Kōmura's theorem is a result on the differentiability of absolutely continuous Banach space-valued functions, and is a substantial generalization of Lebesgue's theorem on the differentiability of the indefinite integral, which is that Φ : [0, J] → R given by {style d'affichage Phi (t)=int _{0}^{t}varphi (s),mathrm {ré} s,} is differentiable at t for almost every 0 < t < T when φ : [0, T] → R lies in the Lp space L1([0, T]; R). Statement Let (X, || ||) be a reflexive Banach space and let φ : [0, T] → X be absolutely continuous. Then φ is (strongly) differentiable almost everywhere, the derivative φ′ lies in the Bochner space L1([0, T]; X), and, for all 0 ≤ t ≤ T, {displaystyle varphi (t)=varphi (0)+int _{0}^{t}varphi '(s),mathrm {d} s.} References 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. 105. ISBN 0-8218-0500-2. MR1422252 (Theorem III.1.7) hide vte Functional analysis (topics – glossary) Spaces BanachBesovFréchetHilbertHölderNuclearOrliczSchwartzSobolevtopological vector Properties barrelledcompletedual (algebraic/topological)locally convexreflexiveseparable Theorems Hahn–BanachRiesz representationclosed graphuniform boundedness principleKakutani fixed-pointKrein–Milmanmin–maxGelfand–NaimarkBanach–Alaoglu Operators adjointboundedcompactHilbert–Schmidtnormalnucleartrace classtransposeunboundedunitary Algebras Banach algebraC*-algebraspectrum of a C*-algebraoperator algebragroup algebra of a locally compact groupvon Neumann algebra Open problems invariant subspace problemMahler's conjecture Applications Hardy spacespectral theory of ordinary differential equationsheat kernelindex theoremcalculus of variationsfunctional calculusintegral operatorJones polynomialtopological quantum field theorynoncommutative geometryRiemann hypothesisdistribution (or generalized functions) Advanced topics approximation propertybalanced setChoquet theoryweak topologyBanach–Mazur distanceTomita–Takesaki theory Categories: Measure theoryTheorems in functional analysis