Global bifurcation of solutions to elliptic systems with system and domain symmetries

Technical Summary: Global Bifurcation of Solutions to Elliptic Systems with System and Domain Symmetries

Problem Statement
This paper investigates the global bifurcation of weak solutions to parameterized nonlinear elliptic systems on symmetric domains. The primary equation under consideration is:
$$-\Delta_M u = \nabla_u F(u, \lambda)$$
defined on a compact Riemannian manifold $M$ (possibly with boundary), where $\lambda \in \mathbb{R}$ is a parameter, and Neumann boundary conditions are imposed if $\partial M \neq \emptyset$. The system possesses two distinct sources of symmetry:

1. Domain Symmetry: A compact Lie group $G$ acts isometrically on the manifold $M$.
2. System Symmetry: A compact Lie group (specifically a torus $T^r$) acts on the value space $\mathbb{R}^p$ of the unknown $u$, leaving the potential $F$ invariant.

The study focuses on bifurcation from a branch of trivial constant solutions determined by a critical point of the potential $F$. A central challenge addressed is the analysis of bifurcation without assuming the nondegeneracy of the critical point (i.e., the Hessian $\nabla^2_u F(0, \lambda)$ may be singular).

Methodology
The author employs a variational approach combined with equivariant degree theory.

• Variational Structure: The problem is formulated as finding critical points of a $C^2$ functional $\Phi$ on a Hilbert space $H$. The gradient $\nabla_u \Phi$ is a completely continuous perturbation of the identity.
• Equivariant Degree: Standard topological degrees (like the Leray–Schauder degree) are insufficient because they are determined by the restriction to the fixed-point subspace, potentially missing changes in non-fixed directions. To track these changes, the paper utilizes the equivariant gradient degree ($\deg^\nabla_G$) for maps invariant under the product group $G \times T^r$. The values of this degree lie in the Euler ring of the acting group.
• Reduction to Tori: Since the multiplicative structure of the Euler ring for general compact Lie groups is not fully explicit, the methodology reduces the problem to maximal tori. Let $T^l$ be a maximal torus of $G$. The computations are performed in the Euler ring of the product torus $T = T^r \times T^l$.
• Algebraic Tools: The analysis relies on the decomposition of tensor products of torus representations (Lemmas 2.1 and 2.3) and specific algebraic identities within the Euler ring of a torus (Section 2.2). These tools allow for the explicit calculation of the bifurcation index, defined as the difference in the equivariant degree of the gradient map across a candidate bifurcation parameter.

Key Contributions and Results

1. Global Bifurcation without Nondegeneracy:
   The paper establishes the existence of continua of nontrivial solutions bifurcating from the trivial branch at parameter values $\lambda_0$ where the linearized operator has a kernel. Crucially, this result does not require the Hessian to be nondegenerate. Instead, it assumes the nontriviality of the equivariant gradient degree of the potential near the critical point (Assumption B6). This covers cases where the standard Brouwer degree vanishes but the equivariant degree remains nontrivial.

2. Sufficient Conditions for Bifurcation:
   Theorem 3.5 and Theorem 3.7 provide sufficient conditions for global bifurcation at candidate parameters $\lambda_0 = \beta_k / \alpha_j$ (where $\beta_k$ are eigenvalues of the Laplace–Beltrami operator and $\alpha_j$ are eigenvalues of the linearization matrix $A$). Bifurcation is guaranteed if:

   • The eigenspace of the Laplace–Beltrami operator corresponding to $\beta_k$ is a nontrivial representation of the maximal torus of $G$, OR
   • The dimension of the kernel of the linearized operator at $\lambda_0$ is odd.

3. Symmetry Breaking:
   The paper proves that for compact symmetric spaces $M = G/H$ with $G$ connected, bifurcating solutions break the domain symmetry at every nonzero level. Specifically, the isotropy group of any nontrivial solution near a bifurcation point $\lambda_0 \neq 0$ is strictly smaller than $G$ (Theorem 3.14). This generalizes classical symmetry-breaking results to systems with additional internal symmetries.

4. Unboundedness of Continua:
   Under additional spectral assumptions on the matrix $A$ (Assumption E) and the nondegeneracy of the trivial solution, Theorem 3.16 proves that the bifurcating continua are unbounded in $H \times \mathbb{R}$. The proof utilizes a summation formula derived from the Rabinowitz alternative in the equivariant setting. By identifying a specific torus weight that appears at a bifurcation level but not at preceding levels, the author demonstrates that the sum of bifurcation indices cannot vanish, thereby forcing the continuum to be unbounded.

5. Local-Global Alternative:
   In cases where the necessary conditions for local bifurcation are not immediately satisfied, Theorem 3.9 provides a local-global alternative: either local bifurcation occurs arbitrarily close to the parameter, or a global bifurcation occurs at an intermediate parameter value driven by a change in the equivariant degree.

Significance and Claims
The paper claims to advance the theory of symmetric elliptic systems by:

• Removing the nondegeneracy assumption on the potential's critical point, which is a standard requirement in many classical bifurcation results.
• Providing a unified framework that handles both domain symmetries (via the group $G$) and system symmetries (via the torus $T^r$) simultaneously using equivariant gradient degrees.
• Offering explicit criteria for symmetry breaking and the unboundedness of solution continua in the context of compact symmetric spaces, extending previous results that were often restricted to specific geometries (like spheres) or linearizations with single eigenvalues.

The work relies on the explicit multiplication rules of the Euler ring of tori to overcome the algebraic complexity of general Lie groups, providing a computable method for detecting global bifurcation in highly symmetric settings.