Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Nonlinear Dirac equations on noncompact quantum graphs with potentials: Multiplicity and Concentration

Guangze Gu, Ziwei Li, Michael Ruzhansky, Zhipeng Yang

TL;DR

This work extends nonlinear Dirac equations to noncompact quantum graphs with potentials, establishing semiclassical multiplicity and concentration results. By formulating a strongly indefinite variational problem on a Dirac operator endowed with Kirchhoff-type vertex conditions, the authors develop a generalized Nehari framework and a barycenter localization scheme to overcome indefiniteness. They prove that for sufficiently small $\varepsilon$, at least $k$ distinct bound states exist, concentrating near the global minima of the potential $V$, with concentration points converging to the minima set as $\varepsilon\to0$. The analysis relies on a careful comparison between the autonomous (constant potential) and nonautonomous problems, the construction of a reduced finite-dimensional problem on $S^{+}$, and concentration-compactness tools adapted to quantum graphs. These results illuminate how graph topology and vertex conditions influence bound states and provide a robust variational method for strongly indefinite problems on networks.

Abstract

In this paper, we study the existence and multiplicity of solutions to the following class of nonlinear Dirac equations (NLDE) on noncompact quantum graphs: \[ -i\,\varepsilon c\,σ_1\,\partial_x u + m c^2 σ_3 u + V(x)\,u = f(|u|)\,u, \quad x\in \mathcal{G}, \tag{P} \] where \(V:\mathcal{G}\to\mathbb{R}\) and \(f:\mathbb{R}\to\mathbb{R}\) are continuous, \(\varepsilon>0\) is a semiclassical parameter, \(m>0\) denotes the mass, and \(c>0\) the speed of light. Here \(σ_1,σ_3\) are Pauli matrices, and \(\mathcal{G}\) is a noncompact quantum graph. We prove that when \(\varepsilon\) is sufficiently small, the number of solutions to \((P)\) is at least the number of global minima of \(V\). Moreover, these solutions exhibit semiclassical concentration: as \(\varepsilon\to0\), their concentration points approach the set of global minima of \(V\).

Nonlinear Dirac equations on noncompact quantum graphs with potentials: Multiplicity and Concentration

TL;DR

This work extends nonlinear Dirac equations to noncompact quantum graphs with potentials, establishing semiclassical multiplicity and concentration results. By formulating a strongly indefinite variational problem on a Dirac operator endowed with Kirchhoff-type vertex conditions, the authors develop a generalized Nehari framework and a barycenter localization scheme to overcome indefiniteness. They prove that for sufficiently small , at least distinct bound states exist, concentrating near the global minima of the potential , with concentration points converging to the minima set as . The analysis relies on a careful comparison between the autonomous (constant potential) and nonautonomous problems, the construction of a reduced finite-dimensional problem on , and concentration-compactness tools adapted to quantum graphs. These results illuminate how graph topology and vertex conditions influence bound states and provide a robust variational method for strongly indefinite problems on networks.

Abstract

In this paper, we study the existence and multiplicity of solutions to the following class of nonlinear Dirac equations (NLDE) on noncompact quantum graphs: where and are continuous, is a semiclassical parameter, denotes the mass, and the speed of light. Here are Pauli matrices, and is a noncompact quantum graph. We prove that when is sufficiently small, the number of solutions to \((P)\) is at least the number of global minima of . Moreover, these solutions exhibit semiclassical concentration: as , their concentration points approach the set of global minima of .

Paper Structure

This paper contains 14 sections, 41 theorems, 358 equations.

Table of Contents

  1. Introduction and main results
  2. Variational framework
  3. Quantum graphs and functional setting
  4. The Dirac operator with Kirchhoff type conditions
  5. The associated quadratic form
  6. The constant potential case
  7. Technical results
  8. Proof of Theorem \ref{['thm3.1']}
  9. Ground state level
  10. Compactness tools
  11. Multiplicity and concentration results
  12. Nonautonomous reduction
  13. Barycenter map and localization
  14. Proof of Theorem \ref{['Theorem1.1']}.

Key Result

Theorem 1.1

Assume $(V_{1})$-$(V_{2})$ and $(f_{1})$-$(f_{2})$ hold. Then there exists $\varepsilon_{0}>0$ such that, for all $\varepsilon \in (0,\varepsilon_{0})$, problem 1.1 admits at least $k$ mutually distinct nontrivial solutions. Moreover, there are points $x_{\varepsilon}^{(i)}\in\mathcal{G}$ and soluti

Theorems & Definitions (81)

  • Theorem 1.1
  • Definition 2.1
  • Definition 2.2
  • Remark 2.1
  • Proposition 2.1: MR3934110
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Proposition 2.2
  • ...and 71 more