Hybrid Krasnosel'skii-Schauder Fixed Point Theorem

• Hybrid Krasnosel'skii-Schauder Fixed Point Theorem is a framework combining cone structures and convex invariance to guarantee fixed points in composite nonlinear systems.
• The theorem uses explicit cone-compression and expansion inequalities alongside fixed-point index theory to establish existence and multiplicity in conical shells.
• Its applications range from periodic boundary-value problems and Hammerstein integral systems to QCD models, highlighting its versatility in handling hybrid nonlinearities.

The hybrid Krasnosel'skii-Schauder Fixed Point Theorem characterizes the existence and localization of fixed points for systems of nonlinear operators acting on product spaces, typically combining a conical structure for one variable and convexity for the other. Integrating Krasnosel'skii's cone-compression/expansion methodology with Schauder's invariance principle within closed convex sets, the theorem guarantees coexistence fixed points for composite operator-tuples in Banach spaces under explicit boundary inequalities. These frameworks arise in periodic boundary-value problems, Hammerstein integral systems with hybrid nonlinearities, and coupled nonlinear equations in mathematical physics.

1. Functional-Analytic Setting and Cone Structures

The theorem operates in product Banach spaces $X = X_1 \times X_2$ (or more generally $X \times Y$), with cones $K_1 \subset X_1$ and $K_2 \subset X_2$ forming the product cone $K = K_1 \times K_2$. A closed convex subset $D \subset Y$ can replace one factor, supporting hybrid system construction. Cones $K$ are closed, convex, and finitely generated under scalar multiplication, imposing a partially ordered structure. The primary domains for fixed point localization are conical shells (annuli), e.g.,

$$\overline K_{r,R} = \left\{ (x_1, x_2) \in K_1 \times K_2 : r_i \leq \|x_i\|_{X_i} \leq R_i,~i=1,2 \right\},$$

or generalized to $(\overline{U} \setminus V) \times D$ for suitable bounded, relatively open subsets $V, U$ of $K_1$ (Fernández-Pardo et al., 3 Apr 2025, Infante et al., 2023).

2. Compression–Expansion Hypotheses and Operator Requirements

Fixed-point existence is governed by cone-compression and cone-expansion inequalities for the operator components. Given a compact mapping $T = (T_1, T_2)$ on the domain, for each $i$,

• Compressive bounds:

$$\|T_i(x_1,x_2)\|_{X_i} \geq \|x_i\|_{X_i},~\text{if}~\|x_i\|_{X_i} = r_i; \quad \|T_i(x_1,x_2)\|_{X_i} \leq \|x_i\|_{X_i},~\text{if}~\|x_i\|_{X_i} = R_i.$$

• Expansive bounds (with inequalities reversed).

Combinatorial variants—compressive-expansive for each component—are admissible, yielding four canonical cases. The corresponding operator $T$ must be completely continuous (continuous, mapping bounded sets into relatively compact ones) and must map the shell or product region into the cone or convex set (Fernández-Pardo et al., 3 Apr 2025, Infante et al., 2023, Roberts, 16 Jan 2026).

3. Index-Theoretic Argument and Existence Results

Existence follows from fixed-point index theory in cones (Leray–Schauder index, cone index). The product annulus is retracted to a "filled cone" via a cone-valued retraction, and the operator is extended onto the larger set. Index values are computed for compressive and expansive alternatives:

• For compressive–compressive, $i_K(N, K_{R})=+1$, $i_K(N, K_r)=0$.
• For mixed boundaries (expansive in one component), index signs alternate with the number of expansive components, $i_K(N, K_{r,R}) = (-1)^s$ with $s$ the count of expansive factors.

Additivity of the index and vanishing on mixed faces yield $i_K(N, K_{r,R}) \neq 0$, ensuring a fixed point in the annulus (Fernández-Pardo et al., 3 Apr 2025, Infante et al., 2023).

4. Hybrid (Sublinear/Superlinear) Behaviour in Nonlinearity

Hybrid structure arises in systems where operator components exhibit sublinear or superlinear behaviour, i.e., growth change at the origin or infinity. For a Carathéodory nonlinearity $f_i(t,x,y)$,

• Superlinear at $0$: $\lim_{x \to 0^+} \frac{f_1(t,x,y)}{x} = +\infty$,
• Sublinear at $\infty$: $\lim_{x \to \infty} \frac{f_1(t,x,y)}{x} = 0$. The reverse applies for $f_2$: sublinear near zero, superlinear near infinity.

This configuration can fit componentwise compressive/expansive inequalities, providing existence and localization for solutions with hybrid growth (Fernández-Pardo et al., 3 Apr 2025, Infante et al., 2023).

5. Applications in Analysis and Physics

Hybrid Krasnosel'skii-Schauder theory applies to diverse nonlinear systems:

• Periodic Solution Theorems: For second-order ODEs with periodic boundary conditions, the theory establishes strictly positive $T$-periodic solutions $(x,y)$ bounded in prescribed norms, via Hammerstein integral operators and positivity cones (Fernández-Pardo et al., 3 Apr 2025).
• Nonlinear Integral Equations: In Hammerstein systems,

$$\begin{cases} u(t) = \int_0^1 k_1(t,s) f(s,u(s),v(s))\,ds, \ v(t) = \int_0^1 k_2(t,s) g(s,u(s),v(s))\,ds, \end{cases}$$

existence is proven under kernel and nonlinearity hypotheses, with explicit norm bounds for each component. Multiple nontrivial solutions are obtained via iterative shell splitting (Infante et al., 2023).

• Physics (QCD): The hybrid theorem yields simultaneous existence of mass-function and wave-function solutions for the rainbow-ladder gap equation in QCD, establishing positive, continuous, decreasing Nambu solutions for all quark masses under $L^1$-kernel regularity. Coupling Schauder's principle for $T_Z$ with cone-compression for $T_{\Delta}$ solves the coupled system (Roberts, 16 Jan 2026).

6. Generalizations and Multiplicity Schemes

Multiplicity of solutions is attainable via nested shell selection, applying the theorem in disjoint conic regions. A chain of shells

$0 < r_1 < R_1 < r_2 < R_2 < \cdots < r_m < R_m$

invokes the index-theoretic argument in each, using alternating compressive/expansive hypotheses to locate distinct fixed points. A global count may guarantee an additional solution in an intermediate shell (Infante et al., 2023).

7. Remarks, Corollaries, and Limitations

The theorem:

• Ensures localization in conical shells for the nonlinear component, with Schauder-type bounds for the convex part.
• Accommodates hybrid growth, singularities, and nontrivial coupling of operator systems.
• Applies to regular/singular boundary value problems and mathematical physics models involving nonlocal behaviour.

Limitations arise if positivity or monotonicity fails (e.g., uncontrolled derivatives, full Ball–Chiu vertex in QCD), which can break cone-compression arguments (Roberts, 16 Jan 2026). The second-order nature of the chiral transition in the QCD example is an immediate corollary.

In summary, the hybrid Krasnosel'skii-Schauder Fixed Point Theorem provides a unified index-theoretic framework for proving existence and multiplicity of fixed points in nonlinear systems exhibiting mixed geometric and analytic properties, with significant impact on the theory of periodic solutions, nonlinear integral equations, and coupled systems in physics and analysis (Fernández-Pardo et al., 3 Apr 2025, Roberts, 16 Jan 2026, Infante et al., 2023).