Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Existence, Uniqueness and Classification of Plane Waves

Robert Milton

TL;DR

The paper analyzes plane waves in irreversible reaction-diffusion systems by recasting the problem as an autonomous dynamical system and employing a phase-space framework. It proves existence, uniqueness, and classification of plane waves for lentor values up to a critical threshold, and extends to cutoff reactions; the approach hinges on orbit contrast and breach cascades to compare interior orbits and ensure termination within a compact environment. While the results align with established literature, the authors emphasize a simple, analytic proof strategy that complements fixed-point and Leray-Schauder methods. The work provides a pedagogical, methodology-focused account that could inform analysis of related dynamical systems and supports practical extensions to cutoff-reaction models.

Abstract

Existence, uniqueness and classification is established for plane waves supported by an irreversible reaction which is a smooth function of local reactant and product concentrations (or prey and predator populations). Rudimentary analytic techniques are used to guarantee a unique plane wave at every wavespeed $V>V_*$ above some threshold. The result readily extends to cutoff reactions, which are zero below some threshold product concentration. These results are not novel, but the method of proof is.

Existence, Uniqueness and Classification of Plane Waves

TL;DR

The paper analyzes plane waves in irreversible reaction-diffusion systems by recasting the problem as an autonomous dynamical system and employing a phase-space framework. It proves existence, uniqueness, and classification of plane waves for lentor values up to a critical threshold, and extends to cutoff reactions; the approach hinges on orbit contrast and breach cascades to compare interior orbits and ensure termination within a compact environment. While the results align with established literature, the authors emphasize a simple, analytic proof strategy that complements fixed-point and Leray-Schauder methods. The work provides a pedagogical, methodology-focused account that could inform analysis of related dynamical systems and supports practical extensions to cutoff-reaction models.

Abstract

Existence, uniqueness and classification is established for plane waves supported by an irreversible reaction which is a smooth function of local reactant and product concentrations (or prey and predator populations). Rudimentary analytic techniques are used to guarantee a unique plane wave at every wavespeed above some threshold. The result readily extends to cutoff reactions, which are zero below some threshold product concentration. These results are not novel, but the method of proof is.
Paper Structure (8 sections, 34 theorems, 111 equations, 2 figures, 4 tables)

This paper contains 8 sections, 34 theorems, 111 equations, 2 figures, 4 tables.

Table of Contents

  1. Introduction
  2. Plane Waves
  3. Orbitals
  4. Kernel Points
  5. Interior Properties
  6. Breach Cascades Under Unequal Diffusivity
  7. Compact Properties
  8. Conclusion

Key Result

Proposition 2.7

Plane wave symmetry precludes unique solution: $\mathbf{u}\xspace(\Lambda;\xi)$ satisfies def:PW:Envdef:PW:BC1 iff $\mathbf{u}\xspace(\Lambda;\xi+\Xi)$ does for all $\Xi \in \mathbb{R}\xspace$.

Figures (2)

  • Figure 1: Bound cascades for $D=1/2$, $\Lambda r(\mathbf{u}\xspace)=z(1-x)^2/2$. Dashed cascade $\left\lbrace\ldots\mathord{\pm}1\xspace\right\rbrace\xspace_{\!\prec\xspace}\xspace$ and dotted cascade $\left\lbrace\ldots\mathord{\pm}1\xspace\right\rbrace\xspace_{\!\prec\xspace}$ are labelled to ascend from right to left, alternating between components.
  • Figure 2: Bound cascades for $D=2$, $\Lambda r(\mathbf{u}\xspace)=z^2(1-x)^2/2$. Dashed cascade $\left\lbrace\ldots\mathord{\pm}1\xspace\right\rbrace\xspace_{\!\prec\xspace}\xspace$ and dotted cascade $\left\lbrace\ldots\mathord{\pm}1\xspace\right\rbrace\xspace_{\!\prec\xspace}$ are labelled to ascend from right to left, hopping between components.

Theorems & Definitions (83)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Definition 2.5
  • Definition 2.6
  • Proposition 2.7
  • Definition 2.8
  • Lemma 3.1
  • proof
  • ...and 73 more