A new space of generalised vector-valued functions of bounded variation

技術要約：一般化されたベクトル値有界変動関数の新しい空間

問題の所在と動機
本論文は、特に凝集的な亀裂成長（cohesive crack growth）をモデル化する、エネルギー汎関数に関する数学的解析を取り扱う。対象となる汎関数は以下の形式である：
$$F(u) = \int_A f(x, \nabla u) \, dx + \int_A f^\infty\left(x, \frac{dD^c u}{d|D^c u|}\right) d|D^c u| + \int_{J_u} g(x, [u], \nu_u) \, d\mathcal{H}^{d-1}$$
ここで、$A \subset \mathbb{R}^d$ は開有界集合、$u: A \to \mathbb{R}^k$ は変位場、$J_u$ はジャンプ集合（亀裂面）、$[u]$ は亀裂の開き、$D^c u$ は $u$ のカントール部分の微分を表す。

具体的な課題は、表面エネルギー密度 $g$ が原点付近で線形成長条件（例：$g \sim |\zeta| \wedge 1$）を満たす場合に発生する。これは凝集モデルにおいて物理的に重要であるが、数学的には非常に繊細である。このような場合、汎関数は亀裂の開きの全振幅を制御できず、標準的な空間である $SBV(A; \mathbb{R}^k)$ や、さらにはスカラー空間 $GBV(A)$ では、人工的な低次項を追加することなしに、最小化列に対してコンパクト性を担保することができない。

スカラーの場合（$k=1$）、Dal Maso と Toader [18] は、追加の強形式（coercivity）項なしに最小化列がほとんど至る所で収束するように修正できることを証明し、この問題を克服するために空間 $GBV^\star(A)$ を導入した。本論文が取り組む主要な問題は、この枠組みをベクトル値の場合（$k > 1$）へと拡張すること、すなわち、空間 $GBV^\star(A; \mathbb{R}^k)$ を定義・分析し、直接法（Direct Method）を適用するために必要なコンパクト性と下半連続性の結果を確立することである。

手法と定義
著者である Davide Donati は、成分ごとにスカラーの定義を拡張することによって、$GBV^\star(A; \mathbb{R}^k)$ を定義する。関数 $u \in L^0(A; \mathbb{R}^k)$ が $GBV^\star(A; \mathbb{R}^k)$ に属するための必要十分条件は、各成分 $u_i$ がスカラー空間 $GBV^\star(A)$ に属することである。

主な手法上のステップは以下の通りである：

1. 合成による特徴付け： 本論文は、$GBV^\star(A; \mathbb{R}^k)$ を単に成分ごとの性質によってではなく、滑らかなコンパクト支持関数との合成の振る舞いを通じて特徴付ける。具体的には、$u \in GBV^\star(A; \mathbb{R}^k)$ であるための必要十分条件は、コンパクト支持を持つリプシッツ関数 $\phi: \mathbb{R}^k \to \mathbb{R}^k$ に対して、合成 $\phi \circ u$ が $BV(A; \mathbb{R}^k)$ に属し、かつこれらの合成の全変動が $\phi$ のリプシッツ定数によって一様に制御されることである。
2. 切断解析： 著者は、滑らかな動径方向の切断関数 $\psi_R$ の族（半径 $R$ の球体内では恒等写像として作用し、半径 $\sigma R$ の外側では消滅するもの）を用いて、一般化微分 $D^c u$ と切断された関数 $\psi_R \circ u$ の微分の関係を関連付ける。
3. スカラー論の適応： ベクトル値の問題を扱うために、スライシング技術や $BV$ 関数の連鎖律を利用しながら、スカラー論 [18] および関連研究 [17] の議論を主に適応させている。

主要な貢献と結果

1. $GBV^\star(A; \mathbb{R}^k)$ の定義と構造的性質：

   • この空間がベクトル空間であることを確立した。
   • 本論文は、微分のカントール部分 $D^c u$ が、ランク1特性（$BV$ 関数の Alberti のランク1定理に類似したもの）を満たすことを証明している。これは、$D^c(\psi_R \circ u)$ のラドン・ニコディム微分が $D^c u$ のものに収束することを示し、$BV$ 関数の既知のランク1特性を切断列に適用することによって導かれる。
   • ジャンプ集合 $J_u$ と切断された関数のジャンプ集合との関係を明確にし、無視できる集合を除いて $J_{\psi_R \circ u} \subset J_u$ となることを示している。

2. 下半連続性：

   • 本論文は、$GBV^\star(A; \mathbb{R}^k)$ 上で定義された積分汎関数 $E_{f,g}$ に関する下半連続性の結果を証明している。
   • バルク密度 $f$（線形成長）および表面密度 $g$（ゼロ付近での線形成長、$|\zeta| \wedge 1$ で抑えられる）に関する特定の成長条件の下で、この汎関数は測度収束（$L^0$ トポロジー）に関して下半連続であることが示されている。
   • 証明は、[9] から適応されたスライシング議論に基づいており、ベクトル値の問題を、$BV$ における弱*下半連続性が呼び出せる一次元の問題へと還元している。

3. コンパクト性と最小化列の修正：

   • 定理 4.7： 本論文は、エネルギーが一様に有界であり、かつ緩やかな強形式条件（ある超線形関数 $h$ に対して $\int_A h(|u_n|) dx$ が有界であること）を満たす列 $(u_n) \subset GBV^\star(A; \mathbb{R}^k)$ が存在する場合、ある $u \in GBV^\star(A; \mathbb{R}^k)$ に $L^d$-ほとんど至る所で収束する部分列が存在することを確立している。
   • 定理 4.8： 極めて重要な点として、ディリクレ境界条件を満たす最小化列に対して、以下の性質を持つ修正された列 $(y_n)$ を構成できることを示している：
     • $y_n$ は同じ境界条件を満たす。
     • $F(y_n) \leq F(u_n) + \varepsilon_n$ である。
     • 修正された列は、定理 4.7 で要求される強形式条件を満たす。
   • この結果は、最小化列を「修復」することで、汎関数に低次項を追加することなく、ほとんど至る所での収束を保証できることを意味しており、破壊力学における存在証明における重要な利点となっている。

意義と主張
本論文は、$GBV^\star(A; \mathbb{R}^k)$ の導入とそれに伴うコンパクト性の結果が、凝集的な破壊モデルをベクトル値の設定で研究するための必要な解析的枠組みを提供することを主張している。

著者は、これらの結果が、ベクトル値の設定における凝集型汎関数のホモジナイゼーション（homogenisation）に対処するための後続の研究 [15] で使用されることを明示している。本論文は、特定の物理的問題を直接解決することを目的としているのではなく、そのような問題を研究するために必要な厳密な関数解析的ツール（直接法による最小化子の存在）を提供している。この研究は、Dal Maso と Toader [18] によるスカラー理論をベクトル値の場合へと拡張し、多次元の変位場を扱う際に不可欠なコンパクト性が保存されることを保証するものである。