Differential Equations on Functions from R into Real Banach Space

Keiko Narita; Noboru Endou; Yasunari Shidama

Displaying similar documents to “Differential Equations on Functions from R into Real Banach Space”

Partial Differentiation of Vector-Valued Functions on n -Dimensional Real Normed Linear Spaces

Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama (2011)

Formalized Mathematics

Similarity:

In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]).

On near-standardness in Hilbert spaces.

Lyantse, W.E., Kudrik, T.S. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

Homogeneous models and stable diagrams.

Kudajbergenov, K.Zh. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

Inference rules with metavariables and logical equations in the pretabular modal logic PM1.

Kiyatkin, V.R. (2000)

Siberian Mathematical Journal

Similarity:

Stability in the $C$ -norm and $W_{\infty}^{1}$ -norm of classes of Lipschitz functions of one variable.

Korobkov, M.V. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

On stability of classes of Lipschitz mappings generated by compact sets of linear mappings.

Korobkov, M.V. (2000)

Siberian Mathematical Journal

Similarity:

The hereditary pure monoids.

Knyazev, O.V. (2005)

Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]

Similarity:

The Differentiable Functions from R into R n

Keiko Narita, Artur Korniłowicz, Yasunari Shidama (2012)

Formalized Mathematics

Similarity:

In control engineering, differentiable partial functions from R into Rn play a very important role. In this article, we formalized basic properties of such functions.