Displaying 581 – 600 of 689

Showing per page

Sur une intégrale double

Gérassime Orlow (1882)

Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale

The area formula for W 1 , n -mappings

Jan Malý (1994)

Commentationes Mathematicae Universitatis Carolinae

Let f be a mapping in the Sobolev space W 1 , n ( Ω , 𝐑 n ) . Then the change of variables, or area formula holds for f provided removing from counting into the multiplicity function the set where f is not approximately Hölder continuous. This exceptional set has Hausdorff dimension zero.

The C k Space

Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama (2013)

Formalized Mathematics

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

The Differentiable Functions from R into R n

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

Formalized Mathematics

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.

The distance between subdifferentials in the terms of functions

Libor Veselý (1993)

Commentationes Mathematicae Universitatis Carolinae

For convex continuous functions f , g defined respectively in neighborhoods of points x , y in a normed linear space, a formula for the distance between f ( x ) and g ( y ) in terms of f , g (i.eẇithout using the dual) is proved. Some corollaries, like a new characterization of the subdifferential of a continuous convex function at a point, are given. This, together with a theorem from [4], implies a sufficient condition for a family of continuous convex functions on a barrelled normed linear space to be locally uniformly...

Currently displaying 581 – 600 of 689