Higher-order partial differentiation

DOI10.2478/V10037-012-0015-ZMaRDI QIDQ2852148zbMATH OpenOpenAlexFDO

Authors Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama

Publication date 8 October 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/v10037-012-0015-z

zbMATH Keywords

partial differentiation in normed linear spaces

Mathematics Subject Classification ID

Normed linear spaces and Banach spaces; Banach lattices (46B99) General theory of partial differential operators (47F05)

Review text

The authors develop their own formalization (initiated in [\textit{N. Endou} et al., ibid. 15, No. 2, 65--72 (2007; \url{doi:10.2478/v10037-007-0008-5})]) on partial differentiation of real functions in normed linear spaces. The paper is hard to read directly, unless one goes back to the compulsory references for clarifications. Some results are obvious, whereas for the non-obvious ones, proofs are provided.

Recommendations

• Differentiation in normed spaces
• Differentiable functions on normed linear spaces
• Pair differentiation.
• Differentiation in abstract spaces
• scientific article; zbMATH DE number 3921270

Cites work

• More on the continuity of real functions
• Partial differentiation of vector-valued functions on n-dimensional real normed linear spaces

Cited in

(9)

• Complex calculus via foundation theorems
• Differentiability of polynomials over reals
• Revised notation for partial derivatives
• A simple example for linear partial differential equations and its solution using the method of separation of variables
• The C^k space
• Differentiable functions on normed linear spaces
• scientific article; zbMATH DE number 1263641 (Why is no real title available?)
• Differentiation in normed spaces
• A critical approach to total and partial derivatives

This page was built for publication: Higher-order partial differentiation

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