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

Takao Inoué; Noboru Endou; Yasunari Shidama

The search session has expired. Please query the service again.

Displaying similar documents to “ Differentiation of Vector-Valued Functions on n -Dimensional Real Normed Linear Spaces ”

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]).

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.

Partial Differentiation, Differentiation and Continuity on n -Dimensional Real Normed Linear Spaces

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

Formalized Mathematics

Similarity:

In this article, we aim to prove the characterization of differentiation by means of partial differentiation for vector-valued functions on n-dimensional real normed linear spaces (refer to [15] and [16]).

Differential Equations on Functions from R into Real Banach Space

Keiko Narita, Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article, we describe the differential equations on functions from R into real Banach space. The descriptions are based on the article [20]. As preliminary to the proof of these theorems, we proved some properties of differentiable functions on real normed space. For the proof we referred to descriptions and theorems in the article [21] and the article [32]. And applying the theorems of Riemann integral introduced in the article [22], we proved the ordinary differential equations...

The C k Space

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article, we formalize continuous differentiability of realvalued functions on n-dimensional real normed linear spaces. Next, we give a definition of the Ck space according to [23].

A $Σ$ -set of natural numbers which is not enumerable by natural numbers.

Morozov, A.S. (2000)

Sibirskij Matematicheskij Zhurnal

Similarity:

Separation theorem with respect to sub-topical functions and abstract convexity.

Alimohammady, M., Shahmari, A. (2009)

The Journal of Nonlinear Sciences and its Applications

Similarity:

Differentiation in Normed Spaces

Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article we formalized the Fréchet differentiation. It is defined as a generalization of the differentiation of a real-valued function of a single real variable to more general functions whose domain and range are subsets of normed spaces [14].

The spray and antispray theory in the subspaces of Miron's $O s c^{k} M$ .

Čomić, Irena, Stojanov, Jelena, Grujić, Gabrijela (2008)

Novi Sad Journal of Mathematics

Similarity:

On Franel-Kluyver integrals of order three

J. C. Wilson (1994)

Acta Arithmetica

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: