Differentiation in normed spaces

DOI10.2478/FORMA-2013-0011zbMATH Open1298.58009OpenAlexW2012503895MaRDI QIDQ467779FDOQ467779

Authors: Noboru Endou, Yasunari Shidama 

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0011

Recommendations

• Higher-order partial differentiation
• Differentiable functions on normed linear spaces
• scientific article; zbMATH DE number 3921270
• Differentiation in abstract spaces
• The \(d\)-uniform differentiability in Fréchet spaces

zbMATH Keywords

Fréchet differentiabilityformalization of Fréchet derivative

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Cites Work

• Title not available (Why is that?)
• Analysis of algorithms: an example of a sort algorithm

Cited In (19)

• The product rule for Fréchet derivatives
• Introduce Gâteaux and Fréchet derivatives in Riesz spaces
• Title not available (Why is that?)
• Differentiable functions on normed linear spaces
• Calculus on normed vector spaces
• Differentiability of the Norm in Von Neumann Algebras
• Differentiability of polynomials over reals
• Norms supporting the Lebesgue differentiation theorem
• Higher-order partial differentiation
• Title not available (Why is that?)
• On the zero differential in normal spaces
• A chart preserving the normal vector and extensions of normal derivatives in weighted function spaces
• Frechet vs. Caratheodory
• Supremum norm differentiability
• Title not available (Why is that?)
• Normalization of indexed differentials based on function distance invariants
• Partial differentiation, differentiation and continuity on \(n\)-dimensional real normed linear spaces
• Differentiation of inverse functions in spaces without norm.
• Note on the applications of the Fréchet derivative

This page was built for publication: Differentiation in normed spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467779)