2025-11-25T13:07:17.742025

On positive solutions of Lane-Emden equations on the integer lattice graphs

Chen, Hua, Zhou

In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations $$ -Îu = Q |u|^{p-2}u $$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and quadrant domains, under the zero Dirichlet boundary condition in the latter two cases. Here, $d \geq 2$, $p > 0$, and $Q$ denotes a Hardy-type positive potential satisfying $Q(x) \sim (1+|x|)^{-Î±}$ with $Î±\in [0, +\infty]$. \smallskip We identify the Sobolev super-critical regions of the parameter pair $(Î±, p)$ for which the existence of positive solutions is established via variational methods. In contrast, within the Serrin sub-critical regions of $(Î±, p)$, we demonstrate nonexistence by iteratively analyzing the decay behavior at infinity, ultimately leading to a contradiction. Notably, in the full-space and half-space domains, there exists an intermediate regions between the Sobolev critical line and the Serrin critical line where the existence of positive solutions remains an open question. Such an intermediate region does not exist in the quadrant domain.

academic

整数格子グラフ上のLane-Emden方程の正解について

基本情報

論文ID: 2510.08947
タイトル: On positive solutions of Lane-Emden equations on the integer lattice graphs
著者: Huyuan Chen（復旦大学）、Bobo Hua（復旦大学）、Feng Zhou（華東師範大学）
分類: math.AP（偏微分方程式の解析）
発表日時: 2025年10月10日
論文リンク: https://arxiv.org/abs/2510.08947v1

要約

本論文は、 $d$ 次元整数格子グラフ $\mathbb{Z}^d$ および半空間と象限領域上のLane-Emden方程式 $-\Delta u = Q|u|^{p-2}u$ の正解の存在性と非存在性を研究する。ここで $d \geq 2$ 、 $p > 0$ 、 $Q$ はHardy型正ポテンシャル関数であり、 $Q(x) \sim (1+|x|)^{-\alpha}$ 、 $\alpha \in [0,+\infty]$ を満たす。著者らはパラメータ対 $(\alpha, p)$ のSobolev超臨界領域を特定し、この領域内で変分法により正解の存在性を確立した。一方、Serrin次臨界領域では、無限遠での減衰挙動の反復解析を通じて非存在性を証明した。注目すべきことに、全空間および半空間領域ではSobolev臨界線とSerrin臨界線の間に中間領域が存在し、正解の存在性は未解決問題であるが、象限領域ではそのような中間領域は存在しない。

研究背景と動機

問題の背景

Lane-Emden方程式は半線形楕円型微分方程式の古典的モデルであり、天体物理学に起源し、自己引力と球対称多方流体が流体静力学的平衡状態にある構造を記述するために用いられる。標準形式は以下の通りである： $-\Delta_{\mathbb{R}^d}u = |u|^{p-2}u \quad \text{in } \mathbb{R}^d$

研究の動機

連続から離散への拡張：連続の場合のLane-Emden方程式は広く研究されているが、離散格子グラフ上での研究は相対的に少ない。
臨界指数の特定：異なる領域（全空間、半空間、象限）上での正解存在性の正確な臨界指数を決定する必要がある。
ポテンシャル関数の影響：Hardy型ポテンシャル関数 $Q(x)$ が解の存在性に与える影響を研究する。
幾何学的依存性：異なる幾何学的領域が臨界指数に与える影響を探索する。

既存研究の限界

Gu-Huang-Sun 15は $d \geq 3$ かつ $p \leq \frac{d}{d-2}+1$ の場合に方程式が正解を持たないことを確立した
Hua-Li 16は $p > \frac{2d}{d-2}$ の場合に正解が存在することを証明した
範囲 $\frac{d}{d-2}+1 < p \leq \frac{2d}{d-2}$ 内の存在性問題は依然として未解決である

核心的貢献

完全な臨界理論：3つの異なる領域（全空間 $\mathbb{Z}^d$ 、半空間 $\mathbb{Z}^d_+$ 、象限 $\mathbb{Z}^d_*$ ）に対する完全な臨界指数理論を確立した。
統一的分析フレームワーク：積分方程式法と変分技法を通じて、異なる領域を扱うための統一的フレームワークを提供した。
正確な臨界指数：領域の幾何学に依存するSerrin指数とSobolev指数を特定した：
- 全空間：Serrin指数 $1+\frac{d-\alpha}{d-2}$ 、Sobolev指数 $1+\frac{d-\alpha}{d-2}+\frac{2-\alpha}{d-2}$
- 半空間：Serrin指数 $1+\frac{d-\alpha}{d-1}$ 、Sobolev指数 $1+\frac{d-\alpha}{d-1}+\frac{1-\alpha}{d-1}$
- 象限：Serrin指数 $1+\frac{d-\alpha}{d}$ 、Sobolev指数 $1+\frac{d-\alpha}{d}-\frac{\alpha}{d}$
未解決問題の特定：全空間および半空間に存在する中間領域を明確にし、その領域での正解の存在性は依然として未解決であることを示した。

方法の詳細説明

問題の定義

3つの異なる領域上のLane-Emden方程式の正解存在性を研究する：

全空間： $-\Delta u = Q|u|^{p-2}u$ in $\mathbb{Z}^d$
半空間： $\{-\Delta u = Q|u|^{p-2}u$ in $\mathbb{Z}^d_+$ 、 $u = 0$ on $\partial\mathbb{Z}^d_+\}$
象限： $\{-\Delta u = Q|u|^{p-2}u$ in $\mathbb{Z}^d_*$ 、 $u = 0$ on $\partial\mathbb{Z}^d_*\}$

核心的方法フレームワーク

1. 積分方程式への変換

元の微分方程式を積分方程式に変換する： $u = \Phi_{d,\beta} * (Q|u|^{p-2}u)$ ここで $\Phi_{d,\beta}$ は対応する領域の基本解である。

2. 変数置換技法

置換 $v = Q^{1/p'}|u|^{p-2}u$ を導入し、方程式を以下に変換する： $|v|^{p'-2}v = Q^{1/p}\Phi_{d,\beta} * (Q^{1/p}v)$ これは変分構造を持つ。

3. エネルギー汎関数

エネルギー汎関数を定義する： $J_0(v) = \frac{1}{p'}\int_{\mathbb{Z}^d}|v|^{p'}dx - \frac{1}{2}\int_{\mathbb{Z}^d}vK_{p,\beta}(v)dx$ ここで $K_{p,\beta}(v) = Q^{1/p}\Phi_{d,\beta} * (Q^{1/p}v)$ はBirman-Schwinger作用素である。

技術的革新点

1. 基本解の正確な評価

各領域に対して正確な基本解評価を構成した：

全空間： $\Phi_d(x,y) \leq c_1(1+|x-y|)^{2-d}$
半空間： $\Phi_{d,+}(x,y) \leq c_1(1+|x-y|)^{1-d}$ かつ $\Phi_{d,+}(x,y) \geq \frac{1}{c}x_1(1+|x-y|)^{-d}$
象限： $\Phi_{d,*}(x,y) \leq c_1(1+|x-y|)^{-d}$ かつ $\Phi_{d,*}(x,y) \geq \frac{1}{c}x_1x_2(1+|x-y|)^{-d-2}$

2. 非消失補題

Palais-Smale列のコンパクト性を保証する重要な非消失結果（補題3.1）を証明した。

3. 反復的非存在性証明

テスト関数 $w_\tau(x) = |x|^{-\tau}$ と反復列 $\{\tau_j\}$ を構成することにより、次臨界の場合の非存在性を体系的に証明した。

実験設定

理論検証フレームワーク

本論文は主に理論研究であり、以下を含む厳密な数学的証明を通じて結果を検証する：

1. 存在性証明戦略

Sobolev超臨界の場合：Mountain Pass定理を使用
臨界の場合：固有値理論を使用
次線形の場合：上下解法を使用

2. 非存在性証明戦略

適切なテスト関数の構成
積分発散論証の使用
下界評価の反復改善

3. 基本解の構成

半空間： $\Phi_{d,+}(x,y) = \Phi_d(x-y) - \Phi_d(x-y^*)$
象限： $\Phi_{d,*}(x,y) = \frac{1}{2}(2\Phi_d(x-y) - \Phi_d(x-y^*) - \Phi_d(x-y^\#))$

主要な結果

定理1.1（全空間 $\mathbb{Z}^d$ ）

存在性： $\alpha \in [0,+\infty]$ 、 $p \in (2,+\infty) \cap (2^*_{1,\alpha},+\infty)$ のとき、問題は少なくとも1つの正解を持つ。
次線形存在性： $\alpha > 2$ 、 $p \in [1+\frac{d-\alpha}{d-2}, 2) \cap (1,2)$ のとき、問題は唯一の正解を持つ。
非存在性： $\alpha \in (-\infty,d)$ 、 $p \in (1, 1+\frac{d-\alpha}{d-2})$ または $p = 1+\frac{d-\alpha}{d-2} > 2$ のとき、問題は正解を持たない。