Faà di Bruno's formula and nonhyperbolic fixed points of one-dimensional maps.
Factorisation de fractions rationnelles et de suites récurrentes
Factorization of inequalities.
Factorization of Lipschitz Functioins and Absolute Convergence of Vilenkin-Fourier Series.
Factorizations of matrices and functions of two variables
Failure of the condition N below .
Fast and correctly rounded logarithms in double-precision
This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the crlibm library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best current...
Fejér inequalities for Wright-convex functions.
Fejér-type inequalities. I.
Fermat’s method of quadrature
The Treatise on Quadratureof Fermat (c. 1659), besides containing the first known proof of the computation of the area under a higher parabola, , or under a higher hyperbola, —with the appropriate limits of integration in each case—has a second part which was mostly unnoticed by Fermat’s contemporaries. This second part of theTreatise is obscure and difficult to read. In it Fermat reduced the quadrature of a great number of algebraic curves in implicit form to the quadrature of known curves: the...
Fernere Bemerkung über trigonometrische Reihen
Fields of sets, set functions, set function integrals, and finite additivity.
Filippov Lemma for certain second order differential inclusions
In the paper we give an analogue of the Filippov Lemma for the second order differential inclusions with the initial conditions y(0) = 0, y′(0) = 0, where the matrix A ∈ ℝd×d and multifunction is Lipschitz continuous in y with a t-independent constant l. The main result is the following: Assume that F is measurable in t and integrably bounded. Let y 0 ∈ W 2,1 be an arbitrary function fulfilling the above initial conditions and such that where p 0 ∈ L 1[0, 1]. Then there exists a solution y ∈ W 2,1...
Filippov's operation and some attributes
Filter descriptive classes of Borel functions
We first prove that given any analytic filter ℱ on ω the set of all functions f on which can be represented as the pointwise limit relative to ℱ of some sequence of continuous functions (), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.
Finding new families of rank-one convex polynomials
Fine properties of Baire one functions
A new theorem in the theory of first return representations of Baire class one functions of a real variable is presented which has as immediate consequences several known characterizations of standard subclasses of the Baire one functions. Further, this theorem yields new insights into how finely Baire one functions can be recovered and yields a characterization of another subclass of Baire one functions.
Finite element approximations of a glaciology problem
In this paper we study a model problem describing the movement of a glacier under Glen’s flow law and investigated by Colinge and Rappaz [Colinge and Rappaz, ESAIM: M2AN 33 (1999) 395–406]. We establish error estimates for finite element approximation using the results of Chow [Chow, SIAM J. Numer. Analysis 29 (1992) 769–780] and Liu and Barrett [Liu and Barrett, SIAM J. Numer. Analysis 33 (1996) 98–106] and give an analysis of the convergence of the successive approximations used in [Colinge and...
Finite element approximations of a glaciology problem
In this paper we study a model problem describing the movement of a glacier under Glen's flow law and investigated by Colinge and Rappaz [Colinge and Rappaz, ESAIM: M2AN33 (1999) 395–406]. We establish error estimates for finite element approximation using the results of Chow [Chow, SIAM J. Numer. Analysis29 (1992) 769–780] and Liu and Barrett [Liu and Barrett, SIAM J. Numer. Analysis33 (1996) 98–106] and give an analysis of the convergence of the successive approximations used in [Colinge and...
Finitely generated semigroups of continuous on [0,1]