On semilinear Grushin--Schrödinger equation in $\mathbb{R}^N$

This paper establishes the existence of nontrivial nonnegative weak solutions to a semilinear Grushin-Schrödinger equation in $\mathbb{R}^N$ with controlled potentials by proving the embedding of the associated energy space into a weighted Lebesgue space and deriving subsequent regularity results.

The Gist

Imagine you are trying to understand how a drop of ink spreads through a very strange, uneven piece of paper. In normal physics, ink spreads evenly in all directions. But in this paper, the "paper" (which represents space) has a weird texture: in some directions, the ink spreads easily, but in others, it gets stuck or moves very slowly. This is the world of Grushin operators—mathematical tools used to describe diffusion in environments that are "stiff" or "degenerate" in certain areas.

The authors, J. Carvalho and A. Viana, are solving a puzzle about a specific type of equation (a Schrödinger equation) that lives in this weird, stiff space. They want to know: Does a stable, non-zero pattern (a solution) exist in this environment, and how smooth is it?

Here is the breakdown of their journey, using simple analogies:

1. The Setting: A Stiff, Uneven World

Think of the universe they are studying ($\mathbb{R}^N$) not as a flat, empty room, but as a landscape with hills and valleys.

• The Operator ($\Delta_\gamma$): This is the rulebook for how things move. In some parts of the room, you can walk freely (like the $x$ direction). In other parts, the floor is covered in thick mud (the $y$ direction), and you can only move if you push harder. The "stiffness" of the mud depends on how far you are from the center.
• The Potentials ($V$ and $Q$): Imagine two invisible forces acting on our ink drop.
  • $V$ (The Trap): This is like a net or a fence. It tries to hold the ink in place. The authors assume this net gets stronger or weaker depending on how far you are from the center, but it never disappears completely.
  • $Q$ (The Weight): This is like a heavy blanket draped over the ink. It changes the "cost" of the ink spreading out. If the blanket is heavy, the ink has to work harder to spread.

2. The Main Challenge: The "Fitting" Problem

The authors' first big goal was to prove that their "ink drop" (the mathematical solution) fits nicely into the "blanket" (the weighted space).

In math, this is called an Embedding.

• The Analogy: Imagine you have a flexible, stretchy rubber sheet (the space where your solution lives, called $E_\gamma^V$). You want to know if you can stretch this sheet over a specific, heavy, patterned tablecloth (the space $L_Q^p$) without it tearing or falling off.
• The Result: They proved that if the "net" ($V$) and the "blanket" ($Q$) have specific shapes (growing or shrinking at certain rates as you go further out), then the rubber sheet will fit perfectly over the tablecloth.
• Why it matters: If the sheet fits, it means the solution is "compact." In plain English, this means the solution doesn't run off to infinity or vanish into nothingness; it stays contained and well-behaved. This is the key to proving a solution actually exists.

3. Finding the Solution: The Mountain Pass

Once they knew the solution could exist, they had to prove it does exist. They used a method called Variational Calculus, which is like finding the lowest point in a valley or the highest point on a mountain.

• The Energy Landscape: They created a "mountain range" where the height represents the energy of the system.
  • The Valley: At the very center (where the ink is zero), the energy is zero.
  • The Climb: As you add a little ink, the energy goes up (you have to push against the net).
  • The Drop: If you add too much ink, the "weight" ($Q$) and the non-linear forces take over, and the energy crashes down.
• The Path: To find a stable solution, they looked for a "Mountain Pass." Imagine you are at the bottom of a valley (zero energy). To get to the other side (where energy is low again), you must climb a hill. The highest point of the lowest possible path over that hill is the Mountain Pass.
• The Discovery: They proved that there is a specific "path" over this mountain that leads to a stable, non-zero solution. This solution is the "sweet spot" where the forces of the net and the weight balance out perfectly.

4. The Bonus: How Smooth is the Solution?

After finding the solution, they asked: "Is this solution smooth, or is it jagged and broken?"

• Regularity: They proved that under certain conditions (like if the "blanket" $Q$ isn't too weird locally), the solution is smooth. It's not a jagged rock; it's a polished stone.
• The Analogy: If you were to zoom in on the solution, you wouldn't see jagged edges or infinite spikes. It behaves nicely, just like a real physical wave would.

Summary of the "Big Picture"

The authors took a difficult equation describing a particle in a weird, stiff universe.

1. They built a mathematical "safety net" to prove the solution stays contained.
2. They used a "mountain climbing" strategy to prove a stable, non-zero solution exists.
3. They showed that this solution is smooth and well-behaved.

Why should you care?
While this sounds abstract, equations like this describe real-world phenomena where things don't spread evenly. This could apply to:

• Heat flow in materials with cracks or layers.
• Quantum mechanics in complex magnetic fields.
• Financial models where volatility changes depending on the market's direction.

By understanding how these "stiff" spaces work, mathematicians give physicists and engineers better tools to predict how things behave in our complex, uneven world.

Technical Summary

Here is a detailed technical summary of the paper "On Semilinear Grushin–Schrödinger Equation in $\mathbb{R}^N$" by J. Carvalho and A. Viana.

1. Problem Statement

The paper investigates the existence and regularity of nontrivial nonnegative weak solutions to the following semilinear elliptic equation involving the Grushin operator on the entire space $\mathbb{R}^N$:

$$-\Delta_\gamma u + V(z)u = Q(z)f(u), \quad z \in \mathbb{R}^N$$

Key Components:

• Operator: The Grushin-type operator is defined as $\Delta_\gamma u(z) = \Delta_x u + |x|^{2\gamma}\Delta_y u$, where $z=(x,y) \in \mathbb{R}^m \times \mathbb{R}^k$ ($m+k=N \geq 3$) and $\gamma > 0$. This operator is degenerate elliptic, losing ellipticity on the subspace $\{x=0\}$.
• Potentials:
  • $V(z)$: A potential bounded below by a polynomial decay/growth rate: $V(z) \geq C_V(1+|z|)^{-\alpha}$.
  • $Q(z)$: A weight function bounded above by a polynomial decay rate: $0 < Q(z) \leq C_Q(1+|z|)^{-\beta}$.
• Nonlinearity: $f: \mathbb{R} \to \mathbb{R}$ is a continuous function satisfying subcritical growth conditions at infinity and vanishing at the origin.

The primary challenge addressed is the lack of compactness in the embedding of the energy space into weighted Lebesgue spaces due to the unbounded domain $\mathbb{R}^N$ and the degeneracy of the operator.

2. Methodology

The authors employ a variational approach combined with functional analysis techniques tailored to degenerate operators.

A. Functional Setting

• Energy Space ($E_V^\gamma$): Defined as the completion of $C_0^\infty(\mathbb{R}^N)$ under the norm:
  $$\|u\|_{E_V^\gamma} = \left( \int_{\mathbb{R}^N} (|\nabla_\gamma u|^2 + V(z)u^2) \, dz \right)^{1/2}$$
  This is a Hilbert space with the associated inner product.
• Weighted Space ($L_Q^p$): The space of measurable functions such that $\int_{\mathbb{R}^N} Q(z)|u|^p \, dz < \infty$.

B. Key Technical Strategy: Decomposition of the Domain

Unlike previous works that relied on radial symmetry (Strauss's Lemma) to recover compactness, the authors note that their assumptions on $V$ and $Q$ do not require symmetry. Instead, they adopt a technique used by Ambrosetti et al. and others for standard Laplacians:

1. Annular Decomposition: The exterior domain $\mathbb{R}^N \setminus B_1$ is decomposed into a sequence of annuli $A_j = \{z : 2^j < |z| < 2^{j+1}\}$.
2. Scaling Arguments: By utilizing the specific scaling properties of the Grushin operator and the polynomial bounds on $V$ and $Q$, the authors estimate the integral of the solution over these annuli.
3. Series Convergence: They prove that the sum of these estimates converges if the exponents $\alpha$ and $\beta$ satisfy specific inequalities relative to the dimension $N$ and the critical exponent $2^*_\gamma$.

C. Variational Framework

The problem is treated as finding critical points of the energy functional:
$$I(u) = \frac{1}{2}\|u\|_{E_V^\gamma}^2 - \int_{\mathbb{R}^N} Q(z)F(u) \, dz$$
where $F(s) = \int_0^s f(t) dt$.

• Mountain Pass Geometry: The authors verify the geometric conditions (local minimum at 0 and a path to negative energy) required to apply the Mountain Pass Theorem.
• Palais-Smale Condition: They prove that any Palais-Smale sequence is bounded and possesses a convergent subsequence, relying heavily on the compact embedding results derived in the first part of the paper.

3. Key Contributions and Results

A. Weighted Sobolev Embeddings (Theorem 1.1)

The central theoretical contribution is the establishment of continuous and compact embeddings of $E_V^\gamma$ into the weighted space $L_Q^p(\mathbb{R}^N)$.

• Continuity: The embedding holds under specific relations between the decay rates $\alpha, \beta$ and the dimension $N$. For instance, if $\alpha \leq N < \beta$, the embedding is continuous for $2 \leq p \leq 2^*_\gamma$.
• Compactness: The embedding is compact if strict inequalities are met (e.g., $\alpha \leq N < \beta$ and $2 \leq p < 2^*_\gamma$). This compactness is crucial for overcoming the lack of compactness in unbounded domains without assuming radial symmetry.

B. Existence of Solutions (Theorem 1.2)

Using the compact embedding and the Mountain Pass Theorem, the authors prove:

• Existence: There exists at least one nontrivial, nonnegative weak solution $u \in E_V^\gamma$.
• Non-negativity: The solution is shown to be non-negative almost everywhere by testing with the negative part of the solution ($u^-$).

C. Regularity Results

The paper establishes higher regularity for the weak solutions:

1. Local Boundedness ($L^\infty_{loc}$): If $1/Q \in L^\infty_{loc}(\mathbb{R}^N)$, the solution belongs to$L^\infty_{loc}(\mathbb{R}^N)$. This is proven using Moser's iteration technique adapted to the Grushin setting.
2. Global Regularity ($W^{2,p}_\gamma$): If the potential $V$ is bounded above and below ($0 < V_0 \leq V(z) \leq V_1$), the solution belongs to the weighted Sobolev space$W^{2, \frac{2^*_\gamma}{q-1}}_\gamma(\mathbb{R}^N)$. This relies on auxiliary regularity lemmas for linear Grushin equations with potentials.

4. Significance and Impact

• Generalization of Symmetry Assumptions: A major advancement of this work is removing the requirement for radial symmetry in the potentials $V$ and $Q$. Previous results on Grushin-Schrödinger equations often relied on Strauss's radial lemma. By using the annular decomposition technique, the authors extend existence results to a much broader class of non-symmetric potentials.
• Handling Degeneracy: The work successfully adapts standard variational methods to the degenerate Grushin operator, providing precise conditions on the polynomial weights $V$ and $Q$ that ensure the necessary compactness.
• Comprehensive Regularity: The paper does not stop at existence; it provides a complete regularity chain from weak solutions to local boundedness and higher-order Sobolev regularity, which is essential for further qualitative analysis of the solutions.
• Methodological Bridge: The techniques used (specifically the annular decomposition and scaling arguments) serve as a template for studying other degenerate elliptic problems on unbounded domains where standard symmetry arguments fail.

In summary, Carvalho and Viana provide a robust framework for solving semilinear Grushin equations with general potentials, bridging the gap between degenerate operator theory and nonlinear analysis on unbounded domains.