Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On the Use of the Schwarzian derivative in Real One-Dimensional Dynamics

Felipe Correa, Bernardo San Martín

TL;DR

This note clarifies why the negative Schwarzian derivative $Sf<0$ is central in real one-dimensional dynamics by showing it enforces a Minimum Principle for the derivative across all iterates: $\frac{(f^n)'''(x)}{(f^n)'(x)}$ remains negative whenever $Sf(x)<0$. Using the Schwarzian composition law, the authors derive the identity $\frac{(f^{n+1})'''(x)}{(f^{n+1})'(x)}=S(f^n)(f(x))(f'(x))^2+Sf(x)$, which parallels $S(f^{n+1})(x)=S(f^n)(f(x))(f'(x))^2+Sf(x)$ and demonstrates that negativity is preserved under iteration. This yields a direct link between the Schwarzian condition and Singer's dynamical conclusions, such as restrictions on attracting periodic points and the absence of intervals of periodic points. The result provides a simple, intrinsic explanation for the use of the Schwarzian derivative in one-dimensional dynamics and its impact on distortion control and orbit structure.

Abstract

In the study of properties within one dimensional dynamics, the assumption of a negative Schwarzian derivative has been shown to be very useful. However, this condition may seem somewhat arbitrary, as it is not inherently a dynamical condition, except for the fact that it is preserved under iteration. In this brief work, we show that the negative Schwarzian derivative condition is not arbitrary in any sense but is instead strictly related to the fulfillment of the Minimum Principle for the derivative of the map and its iterates, which plays a key role in the proof of Singer's Theorem.

On the Use of the Schwarzian derivative in Real One-Dimensional Dynamics

TL;DR

This note clarifies why the negative Schwarzian derivative is central in real one-dimensional dynamics by showing it enforces a Minimum Principle for the derivative across all iterates: remains negative whenever . Using the Schwarzian composition law, the authors derive the identity , which parallels and demonstrates that negativity is preserved under iteration. This yields a direct link between the Schwarzian condition and Singer's dynamical conclusions, such as restrictions on attracting periodic points and the absence of intervals of periodic points. The result provides a simple, intrinsic explanation for the use of the Schwarzian derivative in one-dimensional dynamics and its impact on distortion control and orbit structure.

Abstract

In the study of properties within one dimensional dynamics, the assumption of a negative Schwarzian derivative has been shown to be very useful. However, this condition may seem somewhat arbitrary, as it is not inherently a dynamical condition, except for the fact that it is preserved under iteration. In this brief work, we show that the negative Schwarzian derivative condition is not arbitrary in any sense but is instead strictly related to the fulfillment of the Minimum Principle for the derivative of the map and its iterates, which plays a key role in the proof of Singer's Theorem.
Paper Structure (6 sections, 2 theorems, 19 equations)

This paper contains 6 sections, 2 theorems, 19 equations.

Table of Contents

  1. Introduction
  2. The Schwarzian Derivative
  3. The Minimum Principle
  4. Singer's Theorem
  5. The Schwarzian Derivative & The Minimum Principle
  6. Conclusion

Key Result

Theorem 4.1

If $f:I\to I$ is a $C^3$ map with negative Schwarzian derivative, then the immediate basin of any attracting periodic point contains either a critical point of $f$ or a boundary point of $I$; each neutral periodic point is attracting; and there exists no interval of periodic points.

Theorems & Definitions (4)

  • Definition 3.1: The Minimum Principle in an interval
  • Definition 3.2: The Minimum Principle
  • Theorem 4.1: Singer's Theorem MR494306
  • Proposition 4.2