Pompeiu derivative

Last updated March 11, 2024

In mathematical analysis, a Pompeiu derivative is a real-valued function of one real variable that is the derivative of an everywhere differentiable function and that vanishes in a dense set. In particular, a Pompeiu derivative is discontinuous at every point where it is not 0. Whether non-identically zero such functions may exist was a problem that arose in the context of early-1900s research on functional differentiability and integrability. The question was affirmatively answered by Dimitrie Pompeiu by constructing an explicit example; these functions are therefore named after him.

Pompeiu's construction

Pompeiu's construction is described here. Let ${\sqrt[{3}]{x}}$ denote the real cube root of the real number $x$ . Let $\{q_{j}\}_{j\in \mathbb {N} }$ be an enumeration of the rational numbers in the unit interval $[0, 1]$ . Let $\{a_{j}\}_{j\in \mathbb {N} }$ be positive real numbers with $\sum _{j}a_{j}<\infty$ . Define $g\colon [0,1]\rightarrow \mathbb {R}$ by

g(x):=a_{0}+\sum _{j=1}^{\infty }\,a_{j}{\sqrt[{3}]{x-q_{j}}}.

For each $x$ in $[0, 1]$ , each term of the series is less than or equal to $a j$ in absolute value, so the series uniformly converges to a continuous, strictly increasing function $g (x)$ , by the Weierstrass $M$ -test. Moreover, it turns out that the function $g$ is differentiable, with

g'(x):={\frac {1}{3}}\sum _{j=1}^{\infty }{\frac {a_{j}}{\sqrt[{3}]{(x-q_{j})^{2}}}}>0,

at every point where the sum is finite; also, at all other points, in particular, at each of the $q j$ , one has $g'(x) := +\infty$ . Since the image of $g$ is a closed bounded interval with left endpoint

g(0)=a_{0}-\sum _{j=1}^{\infty }\,a_{j}{\sqrt[{3}]{q_{j}}},

up to the choice of $a_{0}$ , we can assume $g(0)=0$ and up to the choice of a multiplicative factor we can assume that $g$ maps the interval $[0, 1]$ onto itself. Since $g$ is strictly increasing it is injective, and hence a homeomorphism; and by the theorem of differentiation of the inverse function, its inverse $f := g -1$ has a finite derivative at every point, which vanishes at least at the points $\{g(q_{j})\}_{j\in \mathbb {N} }.$ These form a dense subset of $[0, 1]$ (actually, it vanishes in many other points; see below).

Properties

It is known that the zero-set of a derivative of any everywhere differentiable function (and more generally, of any Baire class one function) is a $G δ$ subset of the real line. By definition, for any Pompeiu function, this set is a dense $G δ$ set; therefore it is a residual set. In particular, it possesses uncountably many points.
A linear combination $af (x) + bg (x)$ of Pompeiu functions is a derivative, and vanishes on the set ${f = 0} \cap {g = 0}$ , which is a dense $G_{\delta }$ set by the Baire category theorem. Thus, Pompeiu functions form a vector space of functions.
A limit function of a uniformly convergent sequence of Pompeiu derivatives is a Pompeiu derivative. Indeed, it is a derivative, due to the theorem of limit under the sign of derivative. Moreover, it vanishes in the intersection of the zero sets of the functions of the sequence: since these are dense $G δ$ sets, the zero set of the limit function is also dense.
As a consequence, the class $E$ of all bounded Pompeiu derivatives on an interval $[a, b]$ is a closed linear subspace of the Banach space of all bounded functions under the uniform distance (hence, it is a Banach space).
Pompeiu's above construction of a positive function is a rather peculiar example of a Pompeiu's function: a theorem of Weil states that generically a Pompeiu derivative assumes both positive and negative values in dense sets, in the precise meaning that such functions constitute a residual set of the Banach space $E$ .

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göttingen in 1854, but not published in a journal until 1868. For many functions and practical applications, the Riemann integral can be evaluated by the fundamental theorem of calculus or approximated by numerical integration, or simulated using Monte Carlo integration.

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

In mathematical analysis, the Weierstrass approximation theorem states that every continuous function defined on a closed interval $[a, b]$ can be uniformly approximated as closely as desired by a polynomial function. Because polynomials are among the simplest functions, and because computers can directly evaluate polynomials, this theorem has both practical and theoretical relevance, especially in polynomial interpolation. The original version of this result was established by Karl Weierstrass in 1885 using the Weierstrass transform.

<span class="mw-page-title-main">Taylor's theorem</span> Approximation of a function by a truncated power series

In calculus, Taylor's theorem gives an approximation of a $-times differentiable function around a given point by a polynomial of degree, called the -th-order Taylor polynomial . For a smooth function, the Taylor polynomial is the truncation at the order of the Taylor series of the function. The first-order Taylor polynomial is the linear approximation of the function, and the second-order Taylor polynomial is often referred to as the quadratic approximation . There are several versions of Taylor's theorem, some giving explicit estimates of the approximation error of the function by its Taylor polynomial.$

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about $converges to the function in some neighborhood for every in its domain. It is important to note that it is a neighborhood and not just at some point, since every differentiable function has at least a tangent line at every point, which is its Taylor series of order 1. So just having a polynomial expansion at singular points is not enough, and the Taylor series must also converge to the function on points adjacent to to be considered an analytic function. As a counterexample see the Weierstrass function or the Fabius function.$

In mathematics, a topological space $is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the Baire category theorem, compact Hausdorff spaces and complete metric spaces are examples of Baire spaces. The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, and analysis, in particular functional analysis. For more motivation and applications, see the article Baire category theorem. The current article focuses more on characterizations and basic properties of Baire spaces per se.$

In the mathematical field of general topology, a meagre set is a subset of a topological space that is small or negligible in a precise sense detailed below. A set that is not meagre is called nonmeagre, or of the second category. See below for definitions of other related terms.

In the mathematical field of topology, a G_δ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet'open set' and Durchschnitt'intersection'. Historically G_δ sets were also called inner limiting sets, but that terminology is not in use anymore. G_δ sets, and their dual, F_𝜎 sets, are the second level of the Borel hierarchy.

In mathematics, smooth functions and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not true, as demonstrated with the counterexample below.

In mathematics, a Vitali set is an elementary example of a set of real numbers that is not Lebesgue measurable, found by Giuseppe Vitali in 1905. The Vitali theorem is the existence theorem that there are such sets. Each Vitali set is uncountable, and there are uncountably many Vitali sets. The proof of their existence depends on the axiom of choice.

In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of L^p-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense to make the space complete, i.e. a Banach space. Intuitively, a Sobolev space is a space of functions possessing sufficiently many derivatives for some application domain, such as partial differential equations, and equipped with a norm that measures both the size and regularity of a function.

<span class="mw-page-title-main">Bump function</span> Smooth and compactly supported function

In mathematics, a bump function is a function $on a Euclidean space which is both smooth and compactly supported. The set of all bump functions with domain forms a vector space, denoted or The dual space of this space endowed with a suitable topology is the space of distributions.$

In mathematical analysis, and applications in geometry, applied mathematics, engineering, and natural sciences, a function of a real variable is a function whose domain is the real numbers $, or a subset of that contains an interval of positive length. Most real functions that are considered and studied are differentiable in some interval. The most widely considered such functions are the real functions, which are the real-valued functions of a real variable, that is, the functions of a real variable whose codomain is the set of real numbers.$

In mathematics, a C₀-semigroup, also known as a strongly continuous one-parameter semigroup, is a generalization of the exponential function. Just as exponential functions provide solutions of scalar linear constant coefficient ordinary differential equations, strongly continuous semigroups provide solutions of linear constant coefficient ordinary differential equations in Banach spaces. Such differential equations in Banach spaces arise from e.g. delay differential equations and partial differential equations.

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

Thomae's function is a real-valued function of a real variable that can be defined as:

In mathematics, Baire functions are functions obtained from continuous functions by transfinite iteration of the operation of forming pointwise limits of sequences of functions. They were introduced by René-Louis Baire in 1899. A Baire set is a set whose characteristic function is a Baire function.

In mathematical analysis, Wiener's tauberian theorem is any of several related results proved by Norbert Wiener in 1932. They provide a necessary and sufficient condition under which any function in $or can be approximated by linear combinations of translations of a given function.$

This is a glossary for the terminology in a mathematical field of functional analysis.

References

Pompeiu, Dimitrie (1907). "Sur les fonctions dérivées". Mathematische Annalen (in French). 63 (3): 326–332. doi:10.1007/BF01449201. MR 1511410.
Andrew M. Bruckner, "Differentiation of real functions"; CRM Monograph series, Montreal (1994).

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

Pompeiu derivative

Contents

Pompeiu's construction

Properties

Related Research Articles

References