arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1102.4051math.APmath.FAmath.SP
收藏

由投影图定义的扇形投影

The sectorial projection defined from logarithms

Gerd Grubb

摘要:

For a classical elliptic pseudodifferential operator P of order m>0 on a closed manifold X, such that the eigenvalues of the principal symbol p_m(x,ξ) have arguments in \,]θ,ϕ[\, and \,]ϕ, θ+2π[\, (θ<ϕ<θ+2π), the sectorial projection Π_{θ, ϕ}(P) is defined essentially as the integral of the resolvent along {e^{iϕ}R_+} \cup {e^{iθ}R_+}. In a recent paper, Booss-Bavnbek, Chen, Lesch and Zhu have pointed out that there is a flaw in several published proofs that ¶_{θ, ϕ}(P) is a ψdo of order 0; namely that p_m(x,ξ) cannot in general be modified to allow integration of (p_m(x,ξ)-λ)^{-1} along {e^{iϕ}R_+} \cup {e^{iθ}R_+} simultaneously for all ξ. We show that the structure of Π_{θ, ϕ}(P) as a ψdo of order 0 can be deduced from the formula Π_{θ, ϕ}(P)= (i/(2π))( \log_θ (P) - \log_ϕ (P)) proved in an earlier work (coauthored with Gaarde). In the analysis of \log_θ (P) one need only modify p_m(x,ξ) in a neighborhood of e^{iθ}R_+; this is known to be possible from Seeley's 1967 work on complex powers.

英文摘要:

For a classical elliptic pseudodifferential operator P of order m>0 on a closed manifold X, such that the eigenvalues of the principal symbol p_m(x,ξ) have arguments in \,]θ,ϕ[\, and \,]ϕ, θ+2π[\, (θ<ϕ<θ+2π), the sectorial projection Π_{θ, ϕ}(P) is defined essentially as the integral of the resolvent along {e^{iϕ}R_+}\cup {e^{iθ}R_+}. In a recent paper, Booss-Bavnbek, Chen, Lesch and Zhu have pointed out that there is a flaw in several published proofs that ¶_{θ, ϕ}(P) is a ψdo of order 0; namely that p_m(x,ξ) cannot in general be modified to allow integration of (p_m(x,ξ)-λ)^{-1} along {e^{iϕ}R_+}\cup {e^{iθ}R_+} simultaneously for all ξ. We show that the structure of Π_{θ, ϕ}(P) as a ψdo of order 0 can be deduced from the formula Π_{θ, ϕ}(P)= (i/(2π))(\log_θ(P) - \log_ϕ(P)) proved in an earlier work (coauthored with Gaarde). In the analysis of \log_θ(P) one need only modify p_m(x,ξ) in a neighborhood of e^{iθ}R_+; this is known to be possible from Seeley's 1967 work on complex powers.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑