# 研究方向

针对Fock-Bargmann-Hartogs域及其广义域，研究方向主要集中以下三点:

  1. 借助度量推导边界Schwarz Lemma;
  2. 利用Bergman核的精确形式来推导逆紧映射的刚度性质;
  3. 判断Bergman算子和Toeplitz算子的有界性;

# 研究背景

# 介绍域

Fock-Bargmann-Hartogs域(无界非双曲强拟凸+具有光滑实解析边界)

Dn,m(μ)={(z,w)∈Cn×Cm:∥w∥2<e−μ∥z∥2}D_{n, m}(\mu) = \left\{ (z, w) \in \mathbb{C}^{n} \times \mathbb{C}^{m}: \|w\|^{2} < e^{-\mu\|z\|^{2}} \right\}

  • 有界域的几何和解析性质不能直接推广至无界域甚至非双曲强拟凸域
  • 与Fock-Bargmann域密切相关,利用加权Hilbert空间的高斯核计算其Bergman核

广义复椭球(非强拟凸域+边界非光滑)

Σ(n;p)={(ζ1,…,ζr)∈Cn1×⋯×Cnr:∑k=1r∥ζk∥2pk<1}\Sigma({n} ; {p})=\left\{\left(\zeta_{1}, \ldots, \zeta_{r}\right) \in \mathbb{C}^{n_{1}} \times \cdots \times \mathbb{C}^{n_{r}}: \sum_{k=1}^{r}\left\|{\zeta}_{k}\right\|^{2 p_{k}}<1\right\}

广义Fock-Bargmann-Hartogs域Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)定义如下

Dn0n,p(μ)={(z,w(1),…,w(ℓ))∈Cn0×Cn1×⋯×Cnℓ:∑j=1ℓ∥w(j)∥2pj<e−μ∥z∥2}D_{n_{0}}^{n, p}(\mu)=\left\{\left(z, w_{(1)}, \ldots, w_{(\ell)}\right) \in \mathbb{C}^{n_{0}} \times \mathbb{C}^{n_{1}} \times \cdots \times \mathbb{C}^{n_{\ell}}: \right.\left.\sum_{j=1}^{\ell}\left\|w_{(j)}\right\|^{2 p_{j}} < e^{-\mu\|z\|^{2}}\right\}

  • 无界非双曲域

  • 非强拟凸域+边界非光滑

    bDn0n,p(μ)=b0Dn0n,p(μ)∪b1Dn0n,p(μ)∪b2Dn0n,p(μ)b D_{n_{0}}^{n, p}(\mu)=b_{0} D_{n_{0}}^{n, p}(\mu) \cup b_{1} D_{n_{0}}^{n, p}(\mu) \cup b_{2} D_{n_{0}}^{n, p}(\mu)

    • b0Dn0n,p(μ)b_{0} D_{n_{0}}^{n, p}(\mu) 实解析+强拟凸
    • b1Dn0n,p(μ)b_{1} D_{n_{0}}^{n, p}(\mu) 弱拟凸但非强拟凸
    • b2Dn0n,p(μ)b_{2} D_{n_{0}}^{n, p}(\mu) 非光滑

# 边界Schwarz Lemma

研究热点-在各种域及各种函数的性质上推广传统的Schwarz lemma

  • 域的性质: 有(无)界域、凸性、度量、广义域
  • 边界性质: 等维度、光滑性、不动点
  • 函数性质: 全纯(调和)、(高阶)导、特征值

文献[1]研究了Fock-Bargmann-Hartogs域的Kobayashi 伪度量KD1,1\mathcal{K}_{D_{1,1}}的具体形式;据此给出非等维度的Fock-Bargmann-Hartogs域间全纯函数的边界Schwarz lemma.

Let F=(f,h):D1,1→Dn,mF = ( f , h) : D_{1,1} \to D_{n,m} be a holomorphic mapping and holomorphic at p∈∂D1,1p \in \partial D_{1,1} with F(p)=q∈∂Dn,mF(p) = q \in \partial D_{n,m}. Then we have the result as follows:

  • There exists λ∈R\lambda \in \mathbb{R} such that JF(p)‾TqT=λpT\overline{J_{F}(p)}^{T} q^{T}=\lambda p^{T} with λ≥∣1−h1(0)‾∣2/(1−∣h1(0)∣2)>0\lambda \geq|1-\overline{h_{1}(0)}|^{2} /\left(1-\left|h_{1}(0)\right|^{2}\right)>0. Notice that pTp^T and qTq^T are the normal vectors to the boundary of D1,1D_{1,1} at pp and Dn,mD_{n,m} at qq, respectively.

  • JF(p)J_F(p) can be regarded as a linear operator from Tp1,0(∂D1,1)T_{p}^{1,0}\left(\partial D_{1,1}\right) to TF(p)1,0(∂Dn,m)T_{F(p)}^{1,0}\left(\partial D_{n,m}\right). Moreover, we have ∥JF(p)∥op≤λ\left\|J_{F}(p)\right\|_{o p} \leq \sqrt{\lambda} *where ∥⋅∥op\left\|\cdot\right\|_{o p} means the usual operator norm.

总结:光滑性边界点的雅可比阵之特征值来建立边界点间的关系.

# 刚度性质

研究热点-在无界弱拟凸域逆紧全纯映射与双全纯映射的联系.

  • 域的Bergman核精确形式
  • 域的自同构群
  • 边界点的属性

文献[3]给出等维Fock-Bargmann-Hartogs域的刚度结论.

If Dn,m(μ)D_{n,m}(\mu) and Dn′,m′(μ′)D_{n^{\prime}, m^{\prime}}\left(\mu^{\prime}\right) are two equidimensional Fock-Bargmann-Hartogs domains with m≥2m \geq 2 and ff is a proper holomorphic mapping of Dn,m(μ)D_{n,m}(\mu) into Dn′,m′(μ′)D_{n^{\prime}, m^{\prime}}\left(\mu^{\prime}\right), then ff is a biholomorphism between Dn,m(μ)D_{n,m}(\mu) and Dn′,m′(μ′)D_{n^{\prime}, m^{\prime}}\left(\mu^{\prime}\right).

文献[2]用Aut(Σ(n;p))Aut(\Sigma({n} ; {p}))和Aut(Dn,m(μ))Aut(D_{n, m}(\mu))推导Aut(Dn0n,p(μ))Aut(D_{n_{0}}^{n, p}(\mu));用Dn,m(μ)D_{n, m}(\mu)Bergman的核精确形式[4],通过正交基表示形式给出Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的Bergman核表达式;进一步给出Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的边界性质

Suppose Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu) and Dm0m,q(ν)D_{m_{0}}^{m, q}(\nu) are two equidimensional generalized Fock-Bargmann-Hartogs domains with

min⁡{n1+ϵ,n2,…,nℓ,n1+⋯+nℓ}≥2\min \left\{n_{1+\epsilon}, n_{2}, \ldots, n_{\ell}, n_{1}+\cdots+n_{\ell}\right\} \geq 2

min⁡{m1+δ,m2,…,mℓ,m1+⋯+mℓ}≥2\min \left\{m_{1+\delta}, m_{2}, \ldots, m_{\ell}, m_{1}+\cdots+m_{\ell}\right\} \geq 2

Then any proper holomorphic mapping between Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu) and Dm0m,q(ν)D_{m_{0}}^{m, q}(\nu) must be a biholomorphism; any proper holomorphic self-mapping of Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu) must be an automorphism.

总结:给出一种原始域到广义域的性质推广的模版.

# 算子有界性

  • Hartogs三角域:H={(z1,z2)∈C2:∣z1∣<∣z2∣<1}\mathbb{H}=\left\{\left(z_{1}, z_{2}\right) \in \mathbb{C}^{2} :|z_{1}|<| z_{2} |<1\right\}

  • 广义Hartogs三角域H{kj,ϕj}n={z∈Cn:max⁡1≤j≤l∣ϕj(z~j)∣<∣zk+1∣<⋯<∣zn∣<1}\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n}=\left\{z \in \mathbb{C}^{n}:\max _{1 \leq j \leq l}| \phi_{j}\left(\tilde{z}_{j}\right)|<| z_{k+1}|<\cdots<| z_{n} |<1\right\}

文献[6]给出H{kj,ϕj}n\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n}上Bergman算子的有界性.

For 1≤p<∞1 \leq p < \infty and 1≤k<n1 \leq k < n, the Bergman projection PH{kj,ϕj}nP_{\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n}} for H{kj,ϕj}n\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n} is bounded on Lp(H{kj,ϕj}n)L^{p}\left(\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n}\right) if and only if pp is in the range (2nn+1,2nn−1)\left(\frac{2 n}{n+1}, \frac{2 n}{n-1}\right).

  • Hartogs三角域:H={(z1,z2)∈C2:∣z1∣<∣z2∣<1}\mathbb{H}=\left\{\left(z_{1}, z_{2}\right) \in \mathbb{C}^{2} :|z_{1}|<| z_{2} |<1\right\}

  • 广义Hartogs三角域H{kj,ϕj}n={z∈Cn:max⁡1≤j≤l∣ϕj(z~j)∣<∣zk+1∣<⋯<∣zn∣<1}\mathbb{H}_{\left\{k_{j}, \phi_{j}\right\}}^{n}=\left\{z \in \mathbb{C}^{n}:\max _{1 \leq j \leq l}| \phi_{j}\left(\tilde{z}_{j}\right)|<| z_{k+1}|<\cdots<| z_{n} |<1\right\}

  • 广义Hartogs三角域Hkn+1:={(z,w)∈Cn×C:∥z∥<∣w∣k<1}\mathcal{H}_{k}^{n+1}:=\left\{(z, w) \in \mathbb{C}^{n} \times \mathbb{C}:\|z\|<|w|^{k}<1\right\}

  • 广义Hartogs三角域H{kj,ϕj,b}n={z∈Cn:max⁡1≤j≤l∥ϕj(z^j)∥<∣zk+1∣b<⋯<∣zn∣b<1}\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}=\left\{z \in \mathbb{C}^{n}: \max _{1 \leq j \leq l}\left\|\phi_{j}\left(\hat{z}_{j}\right)\right\|<\left|z_{k+1}\right|^{b}<\cdots<\left|z_{n}\right|^{b}<1\right\}

文献[5]给出H{kj,ϕj,b}n\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}上Toeplitz算子的有界性.

Let TK−tT_{K^{-t}} be the Toeplitz operator with the symbol K−t(z,z),t≥0K^{-t}(z, z), t \geq 0. Let 1<p≤q<∞1 < p \leq q < \infty and Cb,k=k(b−1)C_{b, k}=k(b-1).

(1) If q∈[2n+2Cb,kn−1+Cb,k,∞),q \in\left[\frac{2 n+2 C_{b, k}}{n-1+C_{b, k}}, \infty\right), then the Toeplitz operator TK−tT_{K^{-t}} does not map Lp(H{kj,ϕj,b}n)L^{p}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) into Lq(H{kj,ϕj,b}n)L^{q}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) for any t≥0t \geq 0
(2) If q∈(2(n−1)+2Cb,kn+1+Cb,k−2/p,2n+2Cb,kn−1+Cb,k),q \in\left(\frac{2(n-1)+2 C_{b, k}}{n+1+C_{b, k}-2 / p}, \frac{2 n+2 C_{b, k}}{n-1+C_{b, k}}\right), then the Toeplitz operator TK−tT_{K^{-t}} continuously maps Lp(H{kj,ϕj,b}n)L^{p}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) into Lq(H{kj,ϕj,b}n)L^{q}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) if and only if t≥1p−1qt \geq \frac{1}{p}-\frac{1}{q}
(3) If q∈[p,2(n−1)+2Cb,kn+1+Cb,k−2/p],q \in\left[p, \frac{2(n-1)+2 C_{b, k}}{n+1+C_{b, k}-2 / p}\right], then the Toeplitz operator TK−tT_{K^{-t}} continuously maps⁡Lp(H{kj,ϕj,b}n)\operatorname{maps} L^{p}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) into Lq(H{kj,ϕj,b}n)L^{q}\left(\mathcal{H}_{\left\{k_{j}, \phi_{j}, b\right\}}^{n}\right) if and only if t>12p+(1−p)2pn+1+Cb,kn−1+Cb,kt>\frac{1}{2 p}+\frac{(1-p)}{2 p} \frac{n+1+C_{b, k}}{n-1+C_{b, k}}

总结:原始域Bergman算子正则性→\to广义域Toeplitz算子有界性.

# 文献列举

(包括：已读文献和计划研读的文献。需要列出文献来源杂志。注意不能少于10篇。)

  • 已读文献7篇，其中重要文献3篇：
    1. (重要文献) Bi, E., Su, G. & Tu, Z. The Kobayashi Pseudometric for the Fock-Bargmann-Hartogs Domain and Its Application. J Geom Anal 30, 86–106 (2020).
    2. (重要文献) Bi E , Tu Z . Rigidity of proper holomorphic mappings between generalized Fock–Bargmann–Hartogs domains[J]. Pacific Journal of Mathematics, 2018, 297(2):277-297.
    3. Tu Z , Wang L . Rigidity of proper holomorphic mappings between certain unbounded non-hyperbolic domains[J]. Journal of Mathematical Analysis and Applications, 2014, 419(2):703-714.
    4. Yamamori A . The Bergman kernel of the Fock–Bargmann–Hartogs domain and the polylogarithm function[J]. Complex Variables, Theory and Application: An International Journal, 2013, 58(6):783-793.
    5. (重要文献) Tang, Y., Tu, Z. Special Toeplitz operators on a class of bounded Hartogs domains. Arch. Math. (2019).
    6. Chen, Liwei. The Lp boundedness of the Bergman projection for a class of bounded Hartogs domains[J]. Journal of Mathematical Analysis and Applications, 2017, 448(1):598-610.
    7. Vu K T , Jiakun L , Trong T P . Bergman–Toeplitz operators on weakly pseudoconvex domains[J]. Mathematische Zeitschrift, 2018.
  • 计划研读文献4篇：
    • [ ] He L , Tang Y , Tu Z . LpL^p regularity of weighted Bergman projection on Fock-Bargmann-Hartogs domain[J]. 2019.
    • [ ] Tu Z , Wang L . Rigidity of proper holomorphic mappings between equidimensional Hua domains[J]. Mathematische Annalen, 2015, 363(1-2):1-34.
    • [ ] Blocki Z . The Bergman Metric and the Pluricomplex Green Function[J]. Transactions of the American Mathematical Society, 2005, 357(7):2613-2625.
    • [ ] Khanh T V , Liu J , Thuc P T . Bergman–Toeplitz operators on fat Hartogs triangles[J]. Proceedings of the American Mathematical Society, 2019, 147.

# 研究展望

(列出两个自己的创新点并概括的做描述性证明.每个创新点后面需要写出创新点来源.)

# Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的边界Schwarz Lemma

Dn,m(μ)={(z,w)∈Cn×Cm:∥w∥2<e−μ∥z∥2}D_{n, m}(\mu)=\left\{(z, w) \in \mathbb{C}^{n} \times \mathbb{C}^{m}:\|w\|^{2} < e^{-\mu\|z\|^{2}}\right\}

Dn0n,p(μ)={(z,w(1),…,w(ℓ))∈Cn0×Cn1×⋯×Cnℓ:∑j=1ℓ∥w(j)∥2pj<e−μ∥z∥2}D_{n_{0}}^{n, p}(\mu)=\left\{\left(z, w_{(1)}, \ldots, w_{(\ell)}\right) \in \mathbb{C}^{n_{0}} \times \mathbb{C}^{n_{1}} \times \cdots \times \mathbb{C}^{n_{\ell}}:\right.\left.\sum_{j=1}^{\ell}\left\|w_{(j)}\right\|^{2 p_{j}} < e^{-\mu\|z\|^{2}}\right\}

==猜想==

Let F=(f,h):D11,1→Dn0n,pF = ( f , h) : D_{1}^{1,1} \to D_{n_{0}}^{n, p} be a holomorphic mapping and holomorphic at p∈∂D11,1p \in \partial D_{1}^{1,1} with F(p)=q∈∂Dn0n,pF(p) = q \in \partial D_{n_{0}}^{n, p}. There exists λ∈R\lambda \in \mathbb{R} such that JF(p)‾TqT=λpT\overline{J_{F}(p)}^{T} q^{T}=\lambda p^{T} with λ≥∣1−h1(0)‾∣2/(1−∣h1(0)∣2)>0\lambda \geq|1-\overline{h_{1}(0)}|^{2} /\left(1-\left|h_{1}(0)\right|^{2}\right)>0.

==技术路线==

研究了Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的Kobayashi伪度量的具体形式;据此给出非等维度的Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)间全纯函数的边界Schwarz lemma.

来源于文献[1]定理1.9,和文献[2]定理1.6、性质3.1.

# Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的 Bergman-Toeplitz operators有界性

==猜想==

Let TK−tT_{K^{-t}} be the Toeplitz operator with the symbol K−t(z,z),t≥0K^{-t}(z, z), t \geq 0. Let 1<p≤q<∞1 < p \leq q < \infty. If q∈[?,∞),q \in\left[?, \infty\right), then the Toeplitz operator TK−tT_{K^{-t}} continuously.

==技术路线==

给出Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的完备正交基，利用广义的Schur检验和一些基本积分不等式，分情况研究Toeplitz算子的Lp−LqL^p - L^q估计.

来源于文献[7]定理5.1,和Dn0n,p(μ)D_{n_{0}}^{n, p}(\mu)的LpL^p正则性.