Positive Solutions for a One-Dimensional Minkowski-Curvature Equation with a Sign-Changing Nonlinearity under Mixed Boundary Conditions

技術的要約：符号変化を伴う非線形性を有する一次元ミンコフスキー曲率方程式の正の解

問題設定
本論文は、混合ノイマンーディリクレ境界条件の下での一次元ミンコフスキー曲率方程式における正の解の存在について研究している。当該境界値問題（BVP）は、区間 $I = [a, b]$ 上で以下のように定義される：
$$\begin{cases} -\left( \frac{u'(t)}{\sqrt{1 - (u'(t))^2}} \right)' = f(t, u(t)), & t \in (a, b), \\ u'(a) = 0, \\ u(b) = 0. \end{cases}$$
主要な制約は、解が空間的条件 $\|u'\|_\infty < 1$ を満たすこと、および正であること（$a \le t < b$ に対して $u(t) > 0$）である。この問題の決定的な特徴は、非線形性 $f: I \times [0, +\infty) \to \mathbb{R}$ が連続であるが**符号変化（負の値を取り得る）**し、かつ非分離的である可能性がある点である。これは、非負の非線形性を仮定したり、あるいは構造的に異なる設定（例：周期境界や自己共役なケース）において符号変化する項を扱ったりしてきた先行研究とは一線を画すものである。

手法
著者は、バナッハ空間の錐（cone）内における不動点指数理論に基づく位相的アプローチを採用している。この手法は、ミンコフスキー曲率作用素と符号変化する非線形性に固有の2つの課題に対処している：

1. 大域的定義と勾配の制御： 作用素には、因子 $(1 - (u')^2)^{-3/2}$ が含まれており、これは $|u'| \ge 1$ の場合に未定義となる。これを回避するため、著者は因子 $(1-p^2)^{3/2}$ の連続な拡張 $h(p)$ を用いた大域的に定義された補助方程式を導入している。著者は「初接触引数（first-contact argument）」を用いて、この補助方程式の任意の非負の解が自動的に $\|u'\|_\infty < 1$ を満たし、それによって元の問題の解を回収できることを証明している。
2. 符号変化する非線形性の処理： 標準的な錐の拡大・圧縮定理は、$f$ が符号変化する場合、関連する積分作用素が正の錐を保存しない可能性があるため、適用できないことが多い。著者は以下の手法によりこれを克服している：
   • 一方方向の線形境界の導入：$f(t, s) \ge -\beta(t)s$ （ここで $\beta$ は非負の連続関数）という条件を課す。
   • 問題を $-u'' + \beta(t)u$ を含む問題へと変換するための、非負の線形シフトを構築する。
   • シフトされた線形問題に関連するグリーン関数 $G_\beta(t, s)$ を用いて、$C^1(I)$ 空間における不変な錐 $K$ を定義する。

主な貢献と結果
本論文は、以下の条件の下で、少なくとも一つの正の解が存在することを確立している：

• 仮説 (H0)： 非線形性の負の部分を制御する下界条件 $f(t, s) \ge -\beta(t)s$。
• 仮説 (H1)： 重み関数 $b_0(t)$ と主固有値 $\lambda_1(b_0) < 1$ を含む、ゼロ近傍における下比較。
• 仮説 (H2)： 重み関数 $b_\infty(t)$ と主固有値 $\mu_1(b_\infty) > 1$ を含む、無限遠における上比較。

主要定理（定理 3.1）は、これらの仮説の下で、補助方程式から導かれる不動点作用素 $A$ が錐 $K$ 内に不動点を持つことを証明している。この不動点は、$\|u'\|_\infty < 1$ を満たす元のミンコフスキー曲率方程式の正の解に対応する。

さらに、著者は直接検証可能な漸近判定基準である系 4.1を導出している。この結果により、比較重み $b_0$ および $b_\infty$ を、抽象的な重みの構成を必要とせずに、$s \to 0^+$ および $s \to +\infty$ における $f(t, s)$ の一様漸近勾配から直接決定することが可能となる。

意義と主張
本論文は、混合境界条件（ノイマンーディリクレ）と、一般的な非分離・符号変化する非線形性が組み合わさった際の文献における空白を埋めるものである。非負の仮定や特定の構造形式（例：$a(t)g(u)$）に依存していた先行研究とは異なり、本研究は一般的な連続関数 $f(t, u)$ を扱う。

その意義は、符号変化する性質を扱うための具体的なメカニズムにある：

• 非線形性の負の部分が、抽象的な錐の不変性ではなく、線形境界によって明示的に制御されている。
• 線形シフト、グリーン核、および主固有値比較の組み合わせにより、ゼロ近傍での錐の拡大と無限遠での圧縮を実現する堅牢な枠組みが得られている。
• 論文では、具体的な例（例 5.1）を示し、定理がカバーする符号変化関数のクラスが空ではないことを示し、特定の三角関数非線形性に対してすべての仮定を明示的に検証している。

著者は、グローバルな分岐曲線の分類や多重解の結果を目指すのではなく、正の解の存在と検証可能な判定基準の導出に厳密に焦点を当てることで、研究の範囲を適切に限定している。