Laplace–Carleson嵌入与无穷范数可容许性

《Analysis and Mathematical Physics》：Laplace–Carleson embeddings and infinity-norm admissibility

　　

研究人员给出了L∞上Laplace–Carleson嵌入（Laplace–Carleson embeddings）有界性的完整刻画，用相应测度的Carleson强度（Carleson intensity）及一个合适的加权Berezin变换（weighted Berezin transform）表示。此外，对于一大类Orlicz空间，研究人员证明了有界性结果，并在某些情形下给出了有界性的完整刻画。这些发现对于在多种情境下刻画线性对角半群系统控制算子的可容许性（admissibility of control operators）至关重要。研究特别聚焦于本性有界输入（essentially bounded inputs）。

论文解读：《Laplace–Carleson嵌入与无穷范数可容许性》

一、研究背景与动机

本文发表于《Analysis and Mathematical Physics》。在无限维线性系统控制理论中，输入到状态映射的适定性与稳定性分析，常归结为控制算子B关于系统半群生成元A的“可容许性（admissibility）”问题。对于对角半群（diagonal semigroups），这一可容许性问题可等价转化为Laplace–Carleson嵌入（Laplace–Carleson embedding）的有界性问题。此前的研究已对L^p（1≤p<∞）空间建立了较完善的刻画，但以本性有界输入空间L^∞及更一般的Orlicz空间（Orlicz spaces）为出发点的研究尚不充分。L^∞可容许性对应物理意义重大的“有界输入”，其分析难度也最大。本文旨在填补这一空白，给出L^∞及特定Orlicz空间上Laplace–Carleson嵌入有界性的充要刻画，并应用于控制算子的可容许性理论，回答此前多年悬而未决的问题。

二、主要关键技术方法

研究人员采用泛函分析与现代复分析结合的方法：1）引入α-Carleson强度（α-Carleson intensity, C_α[μ]）与加权Berezin变换（B_αμ, B_αμ）作为测度μ的几何与分析不变量；2）利用Carleson方格（Carleson square）、二进条带（dyadic strip）分解右半平面C₊，将全局嵌入问题化为沿实部尺度的局部估计；3）构造具有指数振荡与二进支撑的测试函数列，结合Hardy空间、Hausdorff–Young定理与Orlicz空间的H?lder不等式，完成有界性的充分必要性证明；4）通过对偶与外推，将L^∞可容许性推广至某类N-函数生成的Orlicz空间L^Φ；5）结合系统理论中等价刻画（可容许性?测度μ=∑|b_k|^qδ_?λk上的Laplace–Carleson嵌入），将抽象分析结果回代至对角半群控制算子。

三、研究结果

1 Introduction（引言）

研究人员定义了Laplace–Carleson嵌入L:f?∫₀^∞e^?ztf(t)dt，将其与线性系统?=Ax+Bu的输入-状态映射Θu=∫₀^t₀T(t₀?s)Bu(s)ds相联系。当半群对角且输入空间U=C时，Θ可表为上述嵌入。B称为Z-可容许的，若Θ:Z(0,t₀;U)→X有界。研究人员指出L^∞-可容许性及Orlicz空间可容许性对输入-状态稳定性（ISS）意义重大，本文目标即给出其抽象嵌入刻画及系统应用。

2 Laplace–Carleson embeddings（Laplace–Carleson嵌入）

2.1 Laplace–Carleson embeddings and Carleson intensities

研究人员引入Carleson方格Q_I与右半T_I，定义α-Carleson强度C_α[μ]=sup_Iμ(Q_I)/|I|^α，以及二进分解μ_n=μ(·∩S_n)，S_n={x+iy:2ⁿ≤x<2ⁿ⁺¹}。

Theorem 2.3（主定理）：对q≥2，下列等价：

(1) L:L^∞(0,∞)→L^q(C₊,dμ)有界；

(2) ∑_n∈ZC_q[μ_n]<∞；

(3) ∫₀^∞t^?1C_qμdt<∞；

若α>?1且q<4+2α，则等价于(4)∫₀^∞t^1?qsup_{Re z=t}B_αμ(z)dt<∞；若q<4+α，则等价于(5)∫₀^∞t^1?qsup_{Re z=t}B_αμ(z)dt<∞。

这些和与积分与嵌入范数可比。

Theorem 2.5（必要性）：若1≤q<∞且L:L^∞→L^q(C₊,dμ)有界，则∑_nC_q[μ_n]?‖L‖^q。证明通过构造二进支撑测试函数f_n=χ_(2^?n?1,2^?n]e^ic_nt，利用其Laplace变换F_n在T_n中的局部化与叠加控制完成。

Theorem 2.6（充分性与Orlicz推广）：若q≥2，Φ(t)=Φ(t^q′)，则‖L:L^Φ→L^q(C₊,dμ)‖^q?∑_n(2ⁿ‖exp^?q′2n?1‖_L^Φc)^q?1C_q[μ_n]。取Φ对应L^∞即得主定理充分性。

Theorem 2.9（垂直条带特例）：若μ支撑于垂直条带C_α1,α2且1≤p′≤q<∞, q≥2，则L:L^p(0,∞)→L^q(C₊,μ)有界??C, μ(Q_I)≤C|I|^q/p′，即C_q/p′[μ]<∞。

2.2 Laplace–Carleson embeddings on Orlicz spaces

Theorem 2.10：若q≥2且L:L^∞→L^q(C₊,dμ)有界，则存在N-函数Φ使L:L^Φ→L^q(C₊,dμ)有界。通过构造Φ^c使2ⁿ‖exp^?q′2n?1‖_L^Φc≤γ_n，而∑γ_n^q?1C_q[μ_n]<∞，应用Theorem 2.6完成。

2.3 Laplace–Carleson embeddings from L^Φ(0,τ₀)

Theorem 2.13：对τ₀∈[2^M,2^M+1]，L:L^∞(0,τ₀)→L^q(C₊,μ)有界?∑_n=?M^∞C_q[μ_n]+C_q[μ^M]<∞，其中μ^M=μ|_{{0≤Re z≤2^?M}}。且有界性对一切τ>0一致。证明分必要（修改测试函数至有限区间）与充分（结合Theorem 2.3与Hardy空间嵌入）两部分。

Theorem 2.14：若L:L^∞(0,τ₀)→L^q(C₊,dμ)有界，则存在N-函数Φ使L:L^Φ(0,τ₀)→L^q(C₊,dμ)有界。

Corollary 2.15：在上述设定下，‖L‖_{L^∞(0,τ)→L^q(C+,μ)}→0当τ→0，且被‖L‖_{L^Φ(0,τ0)→L^q}·‖χ_[0,τ]‖_L^Φ控制。

2.4 A Laplace–Carleson embedding for a specific class of Orlicz spaces

取Φ_exp(t)=e^t?t?1, Φ_exp(t)=e^√t?√t?1，则Φ(t)=Φ(t²)。

Theorem 2.16：L:L^Φ_exp(0,1)→L²(C₊,μ)有界?∑_n=1^∞n²C₂[μ_n]+sup_|I|=2μ(Q_I)<∞。通过构造g_k=(log2)∑_mm f_k+mN使‖g_k‖_Φ≤1且|G_k|在T_k+nN中下控n|F_k+nN|完成必要性；充分性借助L^Φ?L²与Carleson嵌入定理及2ⁿ‖exp^?2n‖_L^Φc(0,1)?n²估计。

Theorem 2.18：对α>1, Φ_α(t)=e^tα?t^α?1，有L:L^Φ_α(0,1)→L²(C₊,μ)有界?∑_n=1^∞n^2/αC₂[μ_n]+sup_|I|=2μ(Q_I)<∞，测试函数改为g_k=(log2)^1/α∑m^1/αf_k+mN。

3 Admissible operators（可容许算子）

3.1 Left-invertible semigroups on Hilbert spaces

Theorem 3.3：若A在Hilbert空间X上生成左可逆半群（left-invertible semigroup），则对任意U，B_L^∞(A,U)=B_L²(A,U)。证明依赖G. Weiss的结果：L^∞-可容许?sup_{Re λ>α}‖(λI?A)^?1B‖<∞?L²-可容许。

3.2 Diagonal C₀-semigroups

设A生成强稳定对角半群，关于q-Riesz基(φ_k)，Aφ_k=λ_kφ_k，B∈L(C,X_?1)对应列(b_k)，μ=∑|b_k|^qδ_?λk。

Proposition 3.4：B是无限时间Z-可容许的?Laplace–Carleson嵌入L:Z(0,∞)→L^q(C₊,dμ)连续。

Theorem 3.5：若A生成关于q-Riesz基的对角群（λ_k在垂直条带），q≥2，则B_L^∞(A,Cⁿ)=B_L^q/(q?1)(A,Cⁿ)。由Proposition 3.4与Theorem 2.9得证。

Theorem 3.6：对强稳定对角半群，q≥2，α>(q?4)/2，下列等价：

(1) B∈L(C,X_?1)是无限时间L^∞-可容许；

(2) ∑_nsup_Iμ(Q_I∩S_n)/|I|^q<∞；

(3) ∫₀^∞t^3+2α?qsup_{Re z=t}‖(zI?A)^?(2+α)B‖²dt<∞。

此时存在N-函数Φ使B无限时间L^Φ-可容许，且B是零类（zero-class）L^∞-可容许。由Theorem 2.3与‖(zI?A)^?(2+α)B‖²=∫|w+zˉ|^?4?2αdμ(w)导出。

Corollary 3.7：对一般对角半群（可平移为强稳定），B∈B_L^∞(A,Cⁿ)??N-函数Φ使B∈B_L^Φ(A,Cⁿ)。

Theorem 3.8：对2-Riesz基强稳定对角半群，

B_L^Φexp(A,C)={(b_k)∈L(C,X_?1)|∑_n=1^∞n²sup_Iμ(Q_I∩S_n)/|I|²+sup_|I|=2μ(Q_I)<∞}。

由Proposition 3.4与Theorem 2.16得证。

四、讨论与结论

研究人员在讨论中指出：

1）对左可逆Hilbert空间半群，L^∞-可容许与L²-可容许等价，统一了有界输入与平方可积输入的控制器设计条件。

2）对对角半群，L^∞-可容许虽一般不能推出所有L^p-可容许（p<∞），但总能推出某个N-函数Orlicz空间L^Φ的可容许性，从而沟通了输入-状态稳定性（ISS）与积分输入-状态稳定性（iISS）在线性对角系统上的关系。

3）有限时间版本（支撑于(0,τ₀)）的嵌入刻画与无限时间版本在Carleson强度求和意义上局部一致，且零类可容许性自然成立。

4）具体Orlicz空间如Φ_exp、Φ_α的嵌入可用带权重n^2/α的Carleson强度和局部Carleson方体测度刻画，极限α→∞回归到L^∞的主定理。

结论翻译

本文完整刻画了L^∞上Laplace–Carleson嵌入L:L^∞(0,∞)→L^q(C₊,dμ)（q≥2）的有界性，等价于二进Carleson强度和∑_nC_q[μ_n]有限，亦等价于加权Berezin变换在实部方向上的可积条件。由此得到：对角半群控制算子B的L^∞-可容许性等价于测度μ=∑|b_k|^qδ_?λk的Carleson条件；对Hilbert空间上左可逆半群，L^∞-可容许与L²-可容许一致；对一般对角半群，L^∞-可容许蕴含某N-函数Orlicz空间L^Φ的可容许性。有限时间输入、具体Orlicz类（Φ_exp, Φ_α）的对应刻画亦得建立。这些结果为无限维线性系统的有界输入适定性、输入-状态稳定性提供了精确的抽象分析与几何测度判据。