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.
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].
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]).
Takao Inoué, Noboru Endou, Yasunari Shidama (2010)
Formalized Mathematics
Similarity:
In this article, we define and develop differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [16] and [17]).
Jan Bochenek (1991)
Annales Polonici Mathematici
Similarity:
By using the theory of strongly continuous cosine families of linear operators in Banach space the existence of solutions of a semilinear second order differential initial value problem (1) as well as the existence of solutions of the linear inhomogeneous problem corresponding to (1) are proved. The main result of the paper is contained in Theorem 5.
Popa, Emil.C (2004)
General Mathematics
Similarity:
Alimohammady, M., Shahmari, A. (2009)
The Journal of Nonlinear Sciences and its Applications
Similarity:
Svatoslav Staněk (1993)
Annales Polonici Mathematici
Similarity:
A differential equation of the form (q(t)k(u)u')' = F(t,u)u' is considered and solutions u with u(0) = 0 are studied on the halfline [0,∞). Theorems about the existence, uniqueness, boundedness and dependence of solutions on a parameter are given.
Gerd Herzog (1998)
Colloquium Mathematicae
Similarity:
We prove that the initial value problem x’(t) = f(t,x(t)), is uniquely solvable in certain ordered Banach spaces if f is quasimonotone increasing with respect to x and f satisfies a one-sided Lipschitz condition with respect to a certain convex functional.
Xue Zhiqun (2006)
Kragujevac Journal of Mathematics
Similarity:
Ershov, Yu. L. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Étoré, Pierre (2006)
Electronic Journal of Probability [electronic only]
Similarity:
Xingbao Wu (1995)
Annales Polonici Mathematici
Similarity:
A nonlinear differential equation of the form (q(x)k(x)u')' = F(x,u,u') arising in models of infiltration of water is considered, together with the corresponding differential equation with a positive parameter λ, (q(x)k(x)u')' = λF(x,u,u'). The theorems about existence, uniqueness, boundedness of solution and its dependence on the parameter are established.