$F$-Contraction with an Auxiliary Function and Its Application to Terrain-Following Airplane Navigation

This paper introduces the novel concepts of $S^F$-contraction and Bianchini $S^F$-contraction within super metric spaces, proves the existence and uniqueness of their fixed points through nontrivial examples, and applies these theoretical results to model terrain-following airplane navigation.

The Gist

Imagine you are trying to find a specific spot on a map where a magical "stop" sign exists. In mathematics, this is called finding a fixed point. If you keep applying a rule (like "move 5 steps north") over and over, will you eventually land on that spot and stay there?

This paper is about creating a new, super-powerful set of rules to guarantee that you will find that spot, even in very strange and complex worlds (mathematical spaces) where the usual rules of distance don't quite work.

Here is the breakdown of the paper using simple analogies:

1. The Problem: The "Bumpy" World

Most math problems assume a "smooth" world (called a Metric Space) where the distance between two points is straightforward, like measuring a straight line on a ruler.

However, the authors are working in a "Super-Metric Space." Think of this as a bumpy, warped landscape (like a trampoline or a video game world with glitches). In this world, the standard rule that "the shortest path between two points is a straight line" doesn't always hold. You might have to take a weird detour to get from A to B.

2. The Tools: The "Magic Shrinking" Rules

To find the fixed point in this bumpy world, the authors combined two existing mathematical tools:

• The F-Contraction (The "Shrink Ray"): Imagine a rule that says, "Every time you take a step, the distance to your goal shrinks by a specific amount, but the amount depends on a special formula." It's like a rubber band that gets tighter in a very specific, predictable way.
• The SB-Contraction (The "Helper"): Imagine a rule that uses a "helper" function. Instead of just comparing where you are to where you want to be, it compares your position relative to a third point (the helper). It's like navigating a maze by checking your distance to a specific landmark, not just the exit.

3. The New Invention: The "SF-Contraction"

The authors mixed these two tools together to create a new, stronger rule called the SF-Contraction.

• The Analogy: Think of the old rules as a standard GPS. It works on flat roads. The new SF-Contraction is like a GPS designed for a rollercoaster. It knows how to handle the bumps, the loops, and the weird angles of the "Super-Metric" world.
• The Proof: They showed that their new rule is more powerful than the old ones. They proved that if you follow this new rule, you are guaranteed to eventually stop at the exact same spot (the fixed point), no matter where you started. They even provided examples where the old rules would fail, but their new rule succeeded.

4. The Real-World Application: The "Terrain-Following" Airplane

This is the coolest part. How does this abstract math help real life?

Imagine a military or rescue airplane flying very low over a mountainous terrain. It needs to follow the shape of the ground perfectly (hugging the hills and valleys) without crashing.

• The Challenge: The plane has a computer that adjusts its altitude. But the computer has to react to the ground instantly. If the math is too slow or unstable, the plane might overshoot a mountain or dive too low.
• The Solution: The authors used their new SF-Contraction math to prove that the airplane's control system will always settle down into a stable path that perfectly matches the terrain.
• The Metaphor: Imagine the airplane is a dog chasing a ball (the terrain). The dog keeps adjusting its run. The authors proved that with their new "training rules," the dog will eventually stop running in circles and perfectly match the ball's speed and direction, no matter how bumpy the field is.

Summary

• The Goal: Prove that a specific mathematical "stop point" exists in weird, bumpy worlds.
• The Method: Created a new, hybrid mathematical rule (SF-Contraction) that is stronger than previous rules.
• The Result: Proved that if you follow this rule, you will always find the solution.
• The Use: This math ensures that an airplane's autopilot can safely and smoothly follow the ground, even when the terrain is chaotic and the physics are complex.

In short, the authors built a better mathematical "safety net" that guarantees stability in chaotic systems, which they then used to help airplanes fly safely over mountains.

Technical Summary

Here is a detailed technical summary of the paper "F-Contraction with an Auxiliary Function and Its Application to Terrain-Following Airplane Navigation" by Irom Shashikanta Singh and Yumnam Mahendra Singh.

1. Problem Statement

The paper addresses two primary challenges in nonlinear functional analysis and control theory:

1. Theoretical Gap: While fixed point theory has evolved through various generalizations (Banach, Kannan, Bianchini, F-contractions) and space extensions (metric, b-metric, super-metric spaces), there is a need to integrate F-contractions (introduced by Wardowski) with SB-contractions (introduced by Bessem using auxiliary functions) specifically within the context of super-metric spaces. Super-metric spaces relax the standard triangle inequality, making them suitable for broader applications but requiring new contraction definitions.
2. Practical Application: The paper seeks to apply these abstract fixed point theorems to a real-world engineering problem: automatic terrain-following navigation for aircraft. The goal is to mathematically guarantee the convergence of an iterative control algorithm that adjusts an aircraft's flight path to match a desired terrain profile while adhering to physical constraints (acceleration limits, curvature, and clearance).

2. Methodology

The authors employ a rigorous mathematical framework combining fixed point theory with differential equations and control systems.

• Mathematical Framework:

  • Space: The analysis is conducted in Super-Metric Spaces $(W, \varrho, s)$, which satisfy symmetry and identity of indiscernibles but replace the standard triangle inequality with a "super-metric triangle inequality" involving a constant $s \geq 1$ and specific sequence limits.
  • Auxiliary Function ($S$): They utilize a mapping $S: W \times W \to W$ to generalize contraction conditions.
  • F-contraction Concept: They utilize a class of functions $\mathcal{F}$ (strictly increasing, satisfying specific limit conditions) to define contractions via the inequality $\omega + F(\text{distance}) \leq F(\text{original distance})$.

• New Definitions Introduced:

  • SF-contraction: A generalization of SB-contraction where the contraction condition involves the function $F$ and the auxiliary mapping $S$.
  • Kannan SF-contraction: A generalization of SK-contractions (Kannan-type with auxiliary function) using $F$.
  • Bianchini SF-contraction: A generalization of Bianchini contractions using $F$ and $S$, defined via a maximum condition rather than a sum.

• Proof Strategy:

  • The authors prove that mappings satisfying these new conditions are Picard operators (possessing a unique fixed point to which iterates converge).
  • Key steps involve proving asymptotic regularity (the distance between successive iterates approaches zero) and establishing the Cauchy property of the iteration sequence within the complete super-metric space.
  • They provide non-trivial counter-examples to demonstrate that these new classes are proper generalizations (i.e., the new classes contain the old ones, but the reverse is not true).

• Application Modeling:

  • The aircraft navigation problem is modeled as an iterative feedback loop.
  • The control input $\kappa(\xi)$ is updated iteratively: $\kappa_{n+1} = -\gamma + (GK + I)\kappa_n$.
  • The authors map this iterative process to the fixed point problem $\kappa = \Upsilon(\kappa)$, where $\Upsilon$ is the operator on the right-hand side.
  • They define a specific metric $\varrho(f, g) = \max |f - g|^p$ and verify that the operator satisfies the SF-contraction conditions under specific physical constraints (conditions F1 and F2).

3. Key Contributions

1. Introduction of SF-contraction and Bianchini SF-contraction: The paper formally defines these new contraction types in super-metric spaces, unifying the concepts of F-contractions and auxiliary function-based contractions.
2. Hierarchy of Generalizations: The authors establish a strict hierarchy of contraction classes:
   • $SB \subsetneq SF$
   • $SK \subsetneq \text{Kannan } SF$
   • $\text{Kannan } SF \subsetneq \text{Bianchini } SF$
   • They provide explicit examples (Examples 2, 4, and 5) proving that the inclusions are proper (the converse does not hold).
3. Fixed Point Theorems:
   • Theorem 9: Proves that an SF-contraction in a complete super-metric space is a Picard operator.
   • Theorem 14: Proves that a Bianchini SF-contraction (with $S(\xi, \xi)=\xi$) is a Picard operator.
   • These theorems generalize existing results for Banach, Kannan, Bianchini, and F-contractions.
4. Application to Flight Control: The paper successfully bridges abstract mathematics and engineering by proving that the iterative control law for terrain-following flight converges to a unique solution, ensuring the aircraft maintains the desired altitude profile.

4. Results

• Existence and Uniqueness: The paper establishes that for any mapping satisfying the SF-contraction or Bianchini SF-contraction conditions in a complete super-metric space, there exists a unique fixed point.
• Convergence: The sequence of iterates $\{\Upsilon^n \xi_0\}$ converges to this unique fixed point.
• Application Convergence: For the aircraft model, if the physical parameters satisfy conditions (F1) and (F2) regarding acceleration limits and control sensitivity, the iterative control function $\kappa_n$ converges to a stable control function $\kappa$. This ensures the actual altitude $\varpi(\xi)$ matches the desired trajectory $\gamma(\xi)$.
• Counter-Examples: The provided examples (e.g., Example 2) demonstrate mappings that are SF-contractions but not SB-contractions, validating the novelty and broader scope of the proposed definitions.

5. Significance

• Theoretical Advancement: This work significantly expands the landscape of metric fixed point theory. By operating in super-metric spaces (which do not require the standard triangle inequality), the results apply to a wider range of mathematical structures than traditional metric spaces. The integration of F-contractions with auxiliary functions offers a more flexible tool for analyzing non-linear mappings that may not satisfy classical contraction conditions.
• Engineering Impact: The application to terrain-following navigation is critical for modern aviation, particularly for low-altitude flight in complex terrain. By providing a rigorous mathematical proof of convergence for the control algorithm, the paper offers a theoretical guarantee of stability and safety for automated flight systems. It demonstrates how advanced fixed point theory can solve practical problems in dynamic systems with constraints.
• Future Directions: The methodology opens avenues for applying these generalized contractions to other complex systems, such as robotics path planning, signal processing, and other control systems where standard metric assumptions may not hold.

In summary, the paper successfully generalizes fixed point theory to super-metric spaces using auxiliary functions and F-contractions, and rigorously applies these new theorems to ensure the stability of automated aircraft terrain-following systems.