In this article, we formalize differentiability of functions on normed linear spaces. Partial derivative, mean value theorem for vector-valued functions, continuous differentiability, etc. are formalized. As it is well known, there is no exact analog of the mean value theorem for vector-valued functions. However a certain type of generalization of the mean value theorem for vectorvalued functio...

A study is made of differentiability of the metric projection P onto a closed convex subset K of a Hubert space H. When K has nonempty interior, the Gateaux or Fréchet smoothness of its boundary can be related with some precision to Gateaux or Fréchet differentiability properties of P. For instance, combining results in §3 with earlier work of R. D. Holmes shows that K has a C2 boundary if and ...

In this paper‎, ‎the existence and uniqueness of the ‎solution of a nonlinear fully fuzzy implicit integro-differential equation‎ ‎arising in the field of fluid mechanics is investigated. ‎First,‎ an equivalency lemma ‎is ‎presented ‎by‎ which the problem understudy ‎is ‎converted‎ to ‎the‎ two different forms of integral equation depending on the kind of differentiability of the solution. Then...

The current research attempts to offer a novel method for solving fuzzy differential equations with initial conditions based on the use of feed-forward neural networks. First, the fuzzy differential equation is replaced by a system of ordinary differential equations. A trial solution of this system is written as a sum of two parts. The first part satisfies the initial condition and contains no ...

by means of a kind of new idea, we consider  the $(in,ivq)$-fuzzy$h$-ideals of a hemiring.  first, the concepts of $(in,ivq)$-fuzzyleft(right) $h$-ideals of a hemiring are provided and some relatedproperties are investigated. then, a kind  of quotient hemiring  ofa hemiring by an $(in,ivq)$-fuzzy $h$-ideal is presented andstudied. moreover, the notions of generalized $varphi$-compatible$(in,ivq...

We consider local minimizers u : R 2 ⊃ Ω → R M of the variational integral Ω H(∇u) dx with density H growing at least quadratically and allowing a very large scale of anisotropy. We discuss higher integrability properties of ∇u as well as the differentiability of u in the classical sense. Moreover, a Liouville-type theorem is established.

Tuning the parameters of fuzzy logic systems has become an important issue for their efficient development and utilization. Many techniques, mainly based on the application of gradient descent, have been applied to this task. The class of fuzzy logic systems using piecewiselinear membership functions (e.g., triangular or trapezoidal) and/or minimum or maximum operators possesses an error functi...