Showing 1–50 of 77 results for author: Hsiao, C

Heat kernel asymptotics and analytic torsion on non-degenerate CR manifolds

Authors: Chin-Yu Hsiao, Rung-Tzung Huang, Guokuan Shao

Abstract: Let $X$ be a compact oriented CR manifold of dimension $2n+1$, $n \ge 1$, with a nondegenerate Levi form of constant signature $(n_-, n_+)$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish the small time asymptotics of the heat kernel of Kohn Laplacian. Suppose that condition $Y(q)$ fails, we establish the small time asymptotics of the kernel of the difference of the heat op… ▽ More Let $X$ be a compact oriented CR manifold of dimension $2n+1$, $n \ge 1$, with a nondegenerate Levi form of constant signature $(n_-, n_+)$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish the small time asymptotics of the heat kernel of Kohn Laplacian. Suppose that condition $Y(q)$ fails, we establish the small time asymptotics of the kernel of the difference of the heat operator and Szegő projector. As an application we define the analytic torsion on a compact oriented CR manifold of dimension $2n+1$, $n \ge 1$, with a nondegenerate Levi form. Let $L^k$ be the $k$-th power of a CR complex line bundle $L$ over $X$. We also establish asymptotics of the analytic torsion with values in $L^k$ under certain natural assumptions. △ Less

Submitted 24 September, 2025; v1 submitted 23 September, 2025; originally announced September 2025.

Comments: 66 pages, first author's email address corrected

Approximation of pseudohermitian structures via embeddings into spheres

Authors: Hendrik Herrmann, Chin-Yu Hsiao, Bernhard Lamel

Abstract: Let $(X,T^{1,0}X)$ be a compact strictly pseudoconvex CR manifold which is CR embeddable into the complex Euclidean space. We show that $T^{1,0}X$ can be approximated in $\mathscr{C}^\infty$-topology by a sequence of strictly pseudoconvex CR structures $\{\mathcal{V}^k\}_{k\in \mathbb N}$ such that each $(X,\mathcal{V}^k)$ is CR embeddable into the unit sphere of a complex Euclidean space. Further… ▽ More Let $(X,T^{1,0}X)$ be a compact strictly pseudoconvex CR manifold which is CR embeddable into the complex Euclidean space. We show that $T^{1,0}X$ can be approximated in $\mathscr{C}^\infty$-topology by a sequence of strictly pseudoconvex CR structures $\{\mathcal{V}^k\}_{k\in \mathbb N}$ such that each $(X,\mathcal{V}^k)$ is CR embeddable into the unit sphere of a complex Euclidean space. Furthermore, as a refinement of this statement, we show that given a one form $α$ on $X$ such that $(X,T^{1,0}X,α)$ is a pseudohermitian manifold we can approximate $(T^{1,0}X,α)$ in $\mathscr{C}^\infty$-topology by a sequence of pseudohermitian structures $\{(\mathcal{V}^k,α^k)\}_{k\in \mathbb N}$ on $X$ such that for each $k\in \mathbb N$ we have that $(X,\mathcal{V}^k,α^k)$ is isomorphic to a real analytic pseudohermitian submanifold of a sphere. A similar result for the Sasakian case was obtained earlier by Loi-Placini. Let $(X,T^{1,0}X,\mathcal{T})$ be a compact Sasakian manifold, i.e. $\mathcal{T}$ is a transversal CR vector field and the one form $α$ defined by $α(\mathcal{T})=1$ and $α(\operatorname{Re}T^{1,0}X)=0$ defines a pseudohermitian structure on $(X,T^{1,0}X)$. Loi-Placini showed that $(T^{1,0}X,\mathcal{T})$ can be smoothly approximated by a sequence of quasi-regular Sasakian structures $\{(\mathcal{V}^k,\mathcal{T}^k)\}_{k\in \mathbb N}$ on $X$ such that each $(X,\mathcal{V}^k,\mathcal{T}^k)$ admits a smooth equivariant CR embedding into a Sasakian sphere. Applying our methods to the Sasakian case we show that it is possible to approximate with a sequence of Sasakian structures having the form $\{(\mathcal{V}^k,\mathcal{T})\}_{k\in \mathbb N}$, i.e. we can keep the vector field $\mathcal{T}$. Further applications concerning Sasakian deformations, the embedding of domains into balls and local approximation results are provided. △ Less

Submitted 16 June, 2025; originally announced June 2025.

Comments: 65 pages

MSC Class: 32Vxx (Primary) 32A25 (Secondary)

On the existence and regularity of weakly nonlinear stationary Boltzmann equations : a Fredholm alternative approach

Authors: I-Kun Chen, Chun-Hsiung Hsia, Daisuke Kawagoe

Abstract: The celebrated Fredholm alternative theorem works for the setting of identity compact operators. This idea has been widely used to solve linear partial differential equations \cite{Evans}. In this article, we demonstrate a generalized Fredholm theory in the setting of identity power compact operators, which was suggested in Cercignani and Palczewski \cite{CP} to solve the existence of the stationa… ▽ More The celebrated Fredholm alternative theorem works for the setting of identity compact operators. This idea has been widely used to solve linear partial differential equations \cite{Evans}. In this article, we demonstrate a generalized Fredholm theory in the setting of identity power compact operators, which was suggested in Cercignani and Palczewski \cite{CP} to solve the existence of the stationary Boltzmann equation in a slab domain. We carry out the detailed analysis based on this generalized Fredholm theory to prove the existence theory of the stationary Boltzmann equation in bounded three-dimensional convex domains. To prove that the integral form of the linearized Boltzmann equation satisfies the identity power compact setting requires the regularizing effect of the solution operators. Once the existence and regularity theories for the linear case are established, with suitable bilinear estimates, the nonlinear existence theory is accomplished. △ Less

Submitted 4 January, 2025; originally announced January 2025.

MSC Class: 35

On the second coefficient in the semi-classical expansion of Toeplitz Operators

Authors: Chin-Chia Chang, Hendrik Herrmann, Chin-Yu Hsiao

Abstract: Let $X$ be a compact strictly pseudoconvex embeddable CR manifold and let $A$ be the Toeplitz operator on $X$ associated with a Reeb vector field $\mathcal{T}\in\mathscr{C}^\infty(X,TX)$. Consider the operator $χ_k(A)$ defined by functional calculus of $A$, where $χ$ is a smooth function with compact support in the positive real line and $χ_k(λ):=χ(k^{-1}λ)$. It was established recently that… ▽ More Let $X$ be a compact strictly pseudoconvex embeddable CR manifold and let $A$ be the Toeplitz operator on $X$ associated with a Reeb vector field $\mathcal{T}\in\mathscr{C}^\infty(X,TX)$. Consider the operator $χ_k(A)$ defined by functional calculus of $A$, where $χ$ is a smooth function with compact support in the positive real line and $χ_k(λ):=χ(k^{-1}λ)$. It was established recently that $χ_k(A)(x,y)$ admits a full asymptotic expansion in $k$. The second coefficient of the expansion plays an important role in the further study of CR geometry. In this work, we calculate the second coefficient of the expansion. △ Less

Submitted 30 July, 2025; v1 submitted 16 December, 2024; originally announced December 2024.

Journal ref: Anal.Math.Phys. 15, 112 (2025)

Heat kernel and local index theorem for open complex manifolds with $\mathbb{C}^{\ast }$-action

Authors: Jih-Hsin Cheng, Chin-Yu Hsiao, I-Hsun Tsai

Abstract: For a complex manifold $Σ$ with $\mathbb{C}^{\ast }$-action, we define the $m$-th $\mathbb{C}^{\ast }$ Fourier-Dolbeault cohomology group and consider the $m$-index on $Σ$. By applying the method of transversal heat kernel asymptotics, we obtain a local index formula for the $m$-index. We can reinterpret Kawasaki's Hirzebruch-Riemann-Roch formula for a compact complex orbifold with an orbifold hol… ▽ More For a complex manifold $Σ$ with $\mathbb{C}^{\ast }$-action, we define the $m$-th $\mathbb{C}^{\ast }$ Fourier-Dolbeault cohomology group and consider the $m$-index on $Σ$. By applying the method of transversal heat kernel asymptotics, we obtain a local index formula for the $m$-index. We can reinterpret Kawasaki's Hirzebruch-Riemann-Roch formula for a compact complex orbifold with an orbifold holomorphic line bundle by our integral formulas over a (smooth) complex manifold and finitely many complex submanifolds arising from singular strata. We generalize $\mathbb{C}^{\ast }$-action to complex reductive Lie group $G$-action on a compact or noncompact complex manifold. Among others, we study the nonextendability of open group action and the space of all $G$-invariant holomorphic $p$-forms. Finally, in the case of two compatible holomorphic $\mathbb{C}^{\ast }$-actions, a mirror-type isomorphism is found between two linear spaces of holomorphic forms, and the Euler characteristic associated with these spaces can be computed by our $\mathbb{C}^{\ast }$ local index formula on the total space. In the perspective of the equivariant algebraic cobordism theory $Ω_{\ast }^{\mathbb{C}^{\ast }}(Σ),$ a speculative connection is remarked. Possible relevance to the recent development in physics and number theory is briefly mentioned. △ Less

Submitted 11 April, 2025; v1 submitted 14 December, 2024; originally announced December 2024.

Comments: 131 pages, typos corrected, some comments in Introduction and references added

MSC Class: 32Q55; 58E40; 58J20; 58J35

Quantization and reduction for torsion free CR manifolds

Authors: Andrea Galasso, Chin-Yu Hsiao

Abstract: Consider a compact torsion free CR manifold $X$ and assume that $X$ admits a compact CR Lie group action $G$. Let $L$ be a $G$-equivariant rigid CR line bundle over $X$. It seems natural to consider the space of $G$-invariant CR sections in the high tensor powers as quantization space, on which a certain weighted $G$-invariant Fourier-Szegő operator projects. Under certain natural assumptions, we… ▽ More Consider a compact torsion free CR manifold $X$ and assume that $X$ admits a compact CR Lie group action $G$. Let $L$ be a $G$-equivariant rigid CR line bundle over $X$. It seems natural to consider the space of $G$-invariant CR sections in the high tensor powers as quantization space, on which a certain weighted $G$-invariant Fourier-Szegő operator projects. Under certain natural assumptions, we show that the group invariant Fourier-Szegő projector admits a full asymptotic expansion. As an application, if the tensor power of the line bundle is large enough, we prove that quantization commutes with reduction. △ Less

Submitted 31 March, 2025; v1 submitted 1 November, 2024; originally announced November 2024.

Comments: Typos corrected, details added

Boundary-field formulation for transient electromagnetic scattering by dielectric scatterers and coated conductors

Authors: George C. Hsiao, Tonatiuh Sánchez-Vizuet, Wolfgang L. Wendland

Abstract: We examine the transient scattered and transmitted fields generated when an incident electromagnetic wave impinges on a dielectric scatterer or a coated conductor embedded in an infinite space. By applying a boundary-field equation method, we reformulate the problem in the Laplace domain using the electric field equation inside the scatterer and a system of boundary integral equations for the scat… ▽ More We examine the transient scattered and transmitted fields generated when an incident electromagnetic wave impinges on a dielectric scatterer or a coated conductor embedded in an infinite space. By applying a boundary-field equation method, we reformulate the problem in the Laplace domain using the electric field equation inside the scatterer and a system of boundary integral equations for the scattered electric field in free space. To analyze this nonlocal boundary problem, we replace it by an equivalent boundary value problem. Existence, uniqueness and stability of the weak solution to the equivalent BVP are established in appropriate function spaces in terms of the Laplace transformed variable. The stability bounds are translated into time-domain estimates which determine the regularity of the solution in terms of the regularity of the problem data. These estimates can be easily converted into error estimates for a numerical discretization on the convolution quadrature for time evolution. △ Less

Submitted 18 December, 2024; v1 submitted 8 June, 2024; originally announced June 2024.

MSC Class: 78A40; 78M10; 78M15; 45A05

On the Synchronization Analysis of a Strong Competition Kuramoto Model

Authors: Chun-Hsiung Hsia, Chung-En Tsai

Abstract: When modeling the classical Kuramoto model, one of the key features is the tendency to synchronize. Accordingly, the most well-adopted choice of the coupling function is the sine function. Due to the oddness of the sine function, the synchronized frequency would be the average of all the natural frequencies. In this article, we study the synchronization behaviors of the Kuramoto model with a pure… ▽ More When modeling the classical Kuramoto model, one of the key features is the tendency to synchronize. Accordingly, the most well-adopted choice of the coupling function is the sine function. Due to the oddness of the sine function, the synchronized frequency would be the average of all the natural frequencies. In this article, we study the synchronization behaviors of the Kuramoto model with a pure competition coupling function. Namely, instead of the sine function, we choose $\max \{0, \sin θ\}$ to be the coupling function. This indicates the relation of pure competition between oscillators. We prove asymptotical phase synchronization for identical oscillators and asymptotical frequency synchronization for non-identical oscillators under reasonable sufficient conditions. In particular, under our sufficient conditions, the synchronized frequency is the maximal frequency of all the natural frequencies. On the other hand, in the parameter regime which is out of the scope of the analysis of our theorems, it is possible that the synchronized frequency could be larger than the maximal frequency of the natural frequencies of all the oscillators. In this article, we also provide numerical experiments to support the analysis of our theorem and to demonstrate the aforementioned phenomenon. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 16 pages, 24 figures

On the Existence and Regularity for Stationary Boltzmann Equation in a Small Domain

Authors: I-Kun Chen, Chun-Hsiung Hsia, Daisuke Kawagoe, Jhe-Kuan Su

Abstract: In this article, we study the stationary Boltzmann equation with the incoming boundary condition for the hard potential cases. Assuming the smallness of the domain and a suitable normal curvature condition on the boundary, we find a suitable solution space which is a proper subset of the $W^{1,p}$ space for $1 \leq p <3$. In this article, we study the stationary Boltzmann equation with the incoming boundary condition for the hard potential cases. Assuming the smallness of the domain and a suitable normal curvature condition on the boundary, we find a suitable solution space which is a proper subset of the $W^{1,p}$ space for $1 \leq p <3$. △ Less

Submitted 19 March, 2024; v1 submitted 15 March, 2024; originally announced March 2024.

MSC Class: 35Q20; 35B65

Induced Fubini-Study metrics on strictly pseudoconvex CR manifolds and zeros of random CR functions

Authors: Hendrik Herrmann, Chin-Yu Hsiao, George Marinescu, Wei-Chuan Shen

Abstract: Let $X$ be a compact strictly pseudoconvex embeddable Cauchy-Riemann manifold and let $T_P$ be the Toeplitz operator on $X$ associated with a first-order pseudodifferential operator $P$. In our previous work we established the asymptotic expansion for $k$ large of the kernel of the operators $χ(k^{-1}T_P)$, where $χ$ is a smooth cut-off function supported in the positive real line. By using these… ▽ More Let $X$ be a compact strictly pseudoconvex embeddable Cauchy-Riemann manifold and let $T_P$ be the Toeplitz operator on $X$ associated with a first-order pseudodifferential operator $P$. In our previous work we established the asymptotic expansion for $k$ large of the kernel of the operators $χ(k^{-1}T_P)$, where $χ$ is a smooth cut-off function supported in the positive real line. By using these asymptotics, we show in this paper that $X$ can be projectively embedded by maps with components of the form $χ(k^{-1}λ)f_λ$, where $λ$ is an eigenvalue of $T_P$ and $f_λ$ is a corresponding eigenfunction. We establish the asymptotics of the pull-back of the Fubini-Study metric by these maps and we obtain the distribution of the zero divisors of random Cauchy-Riemann functions. We then establish a version of the Lelong-Poincaré formula for domains with boundary and obtain the distribution of the zero divisors of random holomorphic functions on strictly pseudoconvex domains. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Comments: 63 pages

Geometric effects on $W^{1, p}$ regularity of the stationary linearized Boltzmann equation

Authors: I-Kun Chen, Chun-Hsiung Hsia, Daisuke Kawagoe, Jhe-Kuan Su

Abstract: We study the incoming boundary value problem for the stationary linearized Boltzmann equation in bounded convex domains. The geometry of the domain has a dramatic effect on the space of solutions. We prove the existence of solutions in $W^{1,p}$ spaces for $1 \leq p<2$ for small domains. In contrast, if we further assume the positivity of the Gaussian curvature on the boundary, we prove the existe… ▽ More We study the incoming boundary value problem for the stationary linearized Boltzmann equation in bounded convex domains. The geometry of the domain has a dramatic effect on the space of solutions. We prove the existence of solutions in $W^{1,p}$ spaces for $1 \leq p<2$ for small domains. In contrast, if we further assume the positivity of the Gaussian curvature on the boundary, we prove the existence of solutions in $W^{1, p}$ spaces for $1 \leq p < 3$ provided that the diameter of the domain is small enough. In both cases, we provide counterexamples in the hard sphere model; a bounded convex domain with a flat boundary for $p = 2$, and a small ball for $p = 3$. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 34 pages, no figures

MSC Class: 35Q20; 35B65

Quantum Group Intertwiner Space From Quantum Curved Tetrahedron

Authors: Muxin Han, Chen-Hung Hsiao, Qiaoyin Pan

Abstract: In this paper, we develop a quantum theory of homogeneously curved tetrahedron geometry, by applying the combinatorial quantization to the phase space of tetrahedron shapes defined in arXiv:1506.03053. Our method is based on the relation between this phase space and the moduli space of SU(2) flat connections on a 4-punctured sphere. The quantization results in the physical Hilbert space as the sol… ▽ More In this paper, we develop a quantum theory of homogeneously curved tetrahedron geometry, by applying the combinatorial quantization to the phase space of tetrahedron shapes defined in arXiv:1506.03053. Our method is based on the relation between this phase space and the moduli space of SU(2) flat connections on a 4-punctured sphere. The quantization results in the physical Hilbert space as the solution of the quantum closure constraint, which quantizes the classical closure condition $M_4M_3M_2M_1=1$, $M_ν\in$ SU(2), for the homogeneously curved tetrahedron. The quantum group Uq(su(2)) emerges as the gauge symmetry of a quantum tetrahedron. The physical Hilbert space of the quantum tetrahedron coincides with the Hilbert space of 4-valent intertwiners of Uq(su(2)). In addition, we define the area operators quantizing the face areas of the tetrahedron and compute the spectrum. The resulting spectrum is consistent with the usual Loop-Quantum-Gravity area spectrum in the large spin regime but is different for small spins. This work closely relates to 3+1 dimensional Loop Quantum Gravity in presence of cosmological constant and provides a justification for the emergence of quantum group in the theory. △ Less

Submitted 14 November, 2023; originally announced November 2023.

Comments: 22+16 pages, 3 figures

Semi-classical spectral asymptotics of Toeplitz operators on strictly pseudodonvex domains

Authors: Chin-Yu Hsiao, George Marinescu

Abstract: On a relatively compact strictly pseudoconvex domain with smooth boundary in a complex manifold of dimension $n$ we consider a Toeplitz operator $T_R$ with symbol a Reeb-like vector field $R$ near the boundary. We show that the kernel of a weighted spectral projection $χ(k^{-1}T_R)$, where $χ$ is a cut-off function with compact support in the positive real line, is a semi-classical Fourier integra… ▽ More On a relatively compact strictly pseudoconvex domain with smooth boundary in a complex manifold of dimension $n$ we consider a Toeplitz operator $T_R$ with symbol a Reeb-like vector field $R$ near the boundary. We show that the kernel of a weighted spectral projection $χ(k^{-1}T_R)$, where $χ$ is a cut-off function with compact support in the positive real line, is a semi-classical Fourier integral operator with complex phase, hence admits a full asymptotic expansion as $k\to+\infty$. More precisely, the restriction to the diagonal $χ(k^{-1}T_R)(x,x)$ decays at the rate $O(k^{-\infty})$ in the interior and has an asymptotic expansion on the boundary with leading term of order $k^{n+1}$ expressed in terms of the Levi form and the pairing of the contact form with the vector field $R$. △ Less

Submitted 3 September, 2023; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 17 pages

$G$-invariant Bergman kernel and geometric quantization on complex manifolds with boundary

Authors: Chin-Yu Hsiao, Rung-Tzung Huang, Xiaoshan Li, Guokuan Shao

Abstract: Let $M$ be a complex manifold with boundary $X$, which admits a holomorphic Lie group $G$-action preserving $X$. We establish a full asymptotic expansion for the $G$-invariant Bergman kernel under certain assumptions. As an application, we get $G$-invariant version of Fefferman's result about regularity of biholomorphic maps on strongly pseudoconvex domains of $\mathbb C^n$. Moreover, we show that… ▽ More Let $M$ be a complex manifold with boundary $X$, which admits a holomorphic Lie group $G$-action preserving $X$. We establish a full asymptotic expansion for the $G$-invariant Bergman kernel under certain assumptions. As an application, we get $G$-invariant version of Fefferman's result about regularity of biholomorphic maps on strongly pseudoconvex domains of $\mathbb C^n$. Moreover, we show that the Guillemin-Sternberg map on a complex manifold with boundary is Fredholm by developing reduction to boundary technique, which establish ``quantization commutes with reduction" in this case. △ Less

Submitted 30 April, 2023; originally announced May 2023.

Comments: 36 pages

Journal ref: Math. Ann. 2024

On the Existence of $H^1$ solutions for Stationary Linearized Boltzmann Equations in a Small Convex Domain

Authors: I-Kun Chen, Ping-Han Chuang, Chun-Hsiung Hsia, Daisuke Kawagoe, Jhe-Kuan Su

Abstract: In this article, we investigate the incoming boundary value problem for the stationary linearized Boltzmann equations in $ Ω\subseteq \mathbb{R}^{3}$. For a $C^2$ bounded domain with boundary of positive Gaussian curvature, the existence theory is established in $H^{1}(Ω\times \mathbb{R}^{3})$ provided that the diameter of the domain $Ω$ is small enough. In this article, we investigate the incoming boundary value problem for the stationary linearized Boltzmann equations in $ Ω\subseteq \mathbb{R}^{3}$. For a $C^2$ bounded domain with boundary of positive Gaussian curvature, the existence theory is established in $H^{1}(Ω\times \mathbb{R}^{3})$ provided that the diameter of the domain $Ω$ is small enough. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Comments: 19 pages, 1 figure

Semi-classical spectral asymptotics of Toeplitz operators on CR manifolds

Authors: Hendrik Herrmann, Chin-Yu Hsiao, George Marinescu, Wei-Chuan Shen

Abstract: Let $X$ be a compact strictly pseudoconvex embeddable CR manifold and let $T_P$ be the Toeplitz operator on $X$ associated with some first order pseudodifferential operator $P$. We consider $χ_k(T_P)$ the functional calculus of $T_P$ by any rescaled cut-off function $χ$ with compact support in the positive real line. In this work, we show that $χ_k(T_P)$ admits a full asymptotic expansion as… ▽ More Let $X$ be a compact strictly pseudoconvex embeddable CR manifold and let $T_P$ be the Toeplitz operator on $X$ associated with some first order pseudodifferential operator $P$. We consider $χ_k(T_P)$ the functional calculus of $T_P$ by any rescaled cut-off function $χ$ with compact support in the positive real line. In this work, we show that $χ_k(T_P)$ admits a full asymptotic expansion as $k\to+\infty$. As applications, we obtain several CR analogous of results concerning high power of line bundles in complex geometry but without any group action assumptions on the CR manifold. In particular, we establish a Kodaira type embedding theorem, Tian's convergence theorem and a perturbed spherical embedding theorem for strictly pseudoconvex CR manifolds. △ Less

Submitted 6 December, 2023; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 59 pages; revised version

Embedding theorems for quantizable pseudo-Kähler manifolds

Authors: Andrea Galasso, Chin-Yu Hsiao

Abstract: Given a compact quantizable pseudo-Kähler manifold $(M,ω)$ of constant signature, there exists a Hermitian line bundle $(L,h)$ over $M$ with curvature $-2πi\,ω$. We shall show that the asymptotic expansion of the Bergman kernels for $L^{\otimes k}$-valued $(0,q)$-forms implies more or less immediately a number of analogues of well-known results, such as Kodaira embedding theorem and Tian's almost-… ▽ More Given a compact quantizable pseudo-Kähler manifold $(M,ω)$ of constant signature, there exists a Hermitian line bundle $(L,h)$ over $M$ with curvature $-2πi\,ω$. We shall show that the asymptotic expansion of the Bergman kernels for $L^{\otimes k}$-valued $(0,q)$-forms implies more or less immediately a number of analogues of well-known results, such as Kodaira embedding theorem and Tian's almost-isometry theorem. △ Less

Submitted 21 September, 2022; originally announced September 2022.

MSC Class: 32Q40; 32A25

Semi-classical asymptotics of partial Bergman kernels on $\mathbb{R}$-symmetric complex manifolds with boundary

Authors: Chin-Yu Hsiao, Xiaoshan Li, George Marinescu

Abstract: Let $M$ be a relatively compact connected open subset with smooth connected boundary of a complex manifold $M'$. Let $(L,h^L)\rightarrow M'$ be a positive line bundle over $M'$. Suppose that $M'$ admits a holomorphic $\mathbb{R}$-action which preserves the boundary of $M$ and lifts to $L$. We establish the asymptotic expansion of a partial Bergman kernel associated to a package of Fourier modes of… ▽ More Let $M$ be a relatively compact connected open subset with smooth connected boundary of a complex manifold $M'$. Let $(L,h^L)\rightarrow M'$ be a positive line bundle over $M'$. Suppose that $M'$ admits a holomorphic $\mathbb{R}$-action which preserves the boundary of $M$ and lifts to $L$. We establish the asymptotic expansion of a partial Bergman kernel associated to a package of Fourier modes of high frequency with respect to the $\mathbb{R}$-action in the high powers of $L$. As an application, we establish an $\mathbb{R}$-equivariant analogue of Fefferman's and Bell-Ligocka's result about smooth extension up to the boundary of biholomorphic maps between weakly pseudoconvex domains in $\mathbb{C}^n$. Another application concerns the embedding of pseudoconcave manifolds. △ Less

Submitted 25 December, 2023; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 55 pages; revised version, new results about smooth extension up to the boundary of biholomorphic maps between weakly pseudoconvex domains with $\mathbb{R}$-action in $\mathbb{C}^n$ added

On the singularities of the Szegő kernels on CR orbifolds

Authors: Andrea Galasso, Chin-Yu Hsiao

Abstract: In this paper we study the microlocal properties of the Szegő kernel of a given compact connected orientable CR orbifold whose Kohn Laplacian has closed range. This last assumption is satisfied if certain geometric conditions hold true, as in the smooth case. As applications, we give a pure analytic proof of Kodaira-Bailey theorem and explain how to generalize a CR version of quantization commutes… ▽ More In this paper we study the microlocal properties of the Szegő kernel of a given compact connected orientable CR orbifold whose Kohn Laplacian has closed range. This last assumption is satisfied if certain geometric conditions hold true, as in the smooth case. As applications, we give a pure analytic proof of Kodaira-Bailey theorem and explain how to generalize a CR version of quantization commutes with reduction to orbifolds. △ Less

Submitted 7 August, 2022; originally announced August 2022.

MSC Class: 32A25 (Primary) 57R18; 53D50 (Secondary)

A boundary-field formulation for elastodynamic scattering

Authors: George C. Hsiao, Tonatiuh Sánchez-Vizuet, Wolfgang L. Wendland

Abstract: An incoming elastodynamic wave impinges on an elastic obstacle is embedded in an infinite elastic medium. The objective of the paper is to examine the subsequent elastic fields scattered by and transmitted into the elastic obstacle. By applying a boundary-field equation method, we are able to formulate a nonlocal boundary problem (NBP) in the Laplace transformed domain, using the field equations i… ▽ More An incoming elastodynamic wave impinges on an elastic obstacle is embedded in an infinite elastic medium. The objective of the paper is to examine the subsequent elastic fields scattered by and transmitted into the elastic obstacle. By applying a boundary-field equation method, we are able to formulate a nonlocal boundary problem (NBP) in the Laplace transformed domain, using the field equations inside the obstacle and boundary integral equations in the exterior elastic medium. Existence, uniqueness and stability of the solutions to the NBP are established in Sobolev spaces for two different integral representations. The corresponding results in the time domain are obtained. The stability bounds are translated into time domain estimates that can serve as the starting point for a numerical discretization based on Convolution Quadrature. △ Less

Submitted 25 June, 2022; originally announced June 2022.

MSC Class: 35A15; 35L05; 45A05; 74J05; 74J20

Functional calculus and quantization commutes with reduction for Toeplitz operators on CR manifolds

Authors: Andrea Galasso, Chin-Yu Hsiao

Abstract: Given a CR manifold with non-degenerate Levi form, we show that the operators of the functional calculus for Toeplitz operators are complex Fourier integral operators of Szegő type. As an application, we establish semi-classical spectral dimensions for Toeplitz operators. We then consider a CR manifold with a compact Lie group action $G$ and we establish quantization commutes with reduction for To… ▽ More Given a CR manifold with non-degenerate Levi form, we show that the operators of the functional calculus for Toeplitz operators are complex Fourier integral operators of Szegő type. As an application, we establish semi-classical spectral dimensions for Toeplitz operators. We then consider a CR manifold with a compact Lie group action $G$ and we establish quantization commutes with reduction for Toeplitz operators. Moreover, we also compute semi-classical spectral dimensions for $G$-invariant Toeplitz operators. △ Less

Submitted 9 August, 2022; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: Typos corrected, bibliographic item added. arXiv admin note: text overlap with arXiv:2108.11061; text overlap with arXiv:2011.09124 by other authors

MSC Class: 47B35 (Primary) 32A70; 53D50 (Secondary)

Toeplitz operators on CR manifolds and group actions

Authors: Andrea Galasso, Chin-Yu Hsiao

Abstract: Let $(X, T^{1,0}X)$ be a connected orientable compact CR manifold of dimension $2n+1$, $n \geq 1$ with non-degenerate Levi curvature. In this paper, we study the algebra of Toeplitz operators on $X$ and we establish star product for some class of symbols on $X$. In the second part of this paper, we consider a compact locally free Lie group $G$ acting on $X$ and we investigate the associated algebr… ▽ More Let $(X, T^{1,0}X)$ be a connected orientable compact CR manifold of dimension $2n+1$, $n \geq 1$ with non-degenerate Levi curvature. In this paper, we study the algebra of Toeplitz operators on $X$ and we establish star product for some class of symbols on $X$. In the second part of this paper, we consider a compact locally free Lie group $G$ acting on $X$ and we investigate the associated algebra of $G$-invariant Toeplitz operators. △ Less

Submitted 28 October, 2021; v1 submitted 25 August, 2021; originally announced August 2021.

Comments: A remark was added after Theorem 1.3, some typos were corrected

Heat kernel asymptotics for Kohn Laplacians on CR manifolds

Authors: Chin-Yu Hsiao, Weixia Zhu

Abstract: Let $X$ be an abstract orientable not necessarily compact CR manifold of dimension $2n+1$, $n\geq1$, and let $L^k$ be the $k$-th tensor power of a CR complex line bundle $L$ over $X$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish asymptotics of the heat kernel of Kohn Laplacian with values in $L^k$. As an application, we give a heat kernel proof of Morse inequalities on co… ▽ More Let $X$ be an abstract orientable not necessarily compact CR manifold of dimension $2n+1$, $n\geq1$, and let $L^k$ be the $k$-th tensor power of a CR complex line bundle $L$ over $X$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish asymptotics of the heat kernel of Kohn Laplacian with values in $L^k$. As an application, we give a heat kernel proof of Morse inequalities on compact CR manifolds. When $X$ admits a transversal CR $\mathbb R$-action, we also establish asymptotics of the $\mathbb R$-equivariant heat kernel of Kohn Laplacian with values in $L^k$. As an application, we get $\mathbb R$-equivariant Morse inequalities on compact CR manifolds with transversal CR $\mathbb R$-action. △ Less

Submitted 2 August, 2021; v1 submitted 17 June, 2021; originally announced June 2021.

Comments: 42 pages

MSC Class: 32W05; 32G05; 35J25; 35P15

Singular limit in Hopf bifurcation for doubly diffusive convection equations II: bifurcation and stability

Authors: Chun-Hsiung Hsia, Yoshiyuki Kagei, Takaaki Nishida, Yuka Teramoto

Abstract: A singular perturbation problem from the artificial compressible system to the incompressible system is considered for a doubly diffusive convection when a Hopf bifurcation from the motionless state occurs in the incompressible system. It is proved that the Hopf bifurcation also occurs in the artificial compressible system for small singular perturbation parameter, called the artificial Mach numbe… ▽ More A singular perturbation problem from the artificial compressible system to the incompressible system is considered for a doubly diffusive convection when a Hopf bifurcation from the motionless state occurs in the incompressible system. It is proved that the Hopf bifurcation also occurs in the artificial compressible system for small singular perturbation parameter, called the artificial Mach number. The time periodic solution branch of the artificial compressible system is shown to converge to the corresponding bifurcating branch of the incompressible system in the singular limit of vanishing artificial Mach number. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Singular limit in Hopf bifurcation for doubly diffusive convection equations I: linearized analysis at criticality

Authors: Chun-Hsiung Hsia, Yoshiyuki Kagei, Takaaki Nishida, Yuka Teramoto

Abstract: A singularly perturbed system for doubly diffusive convection equations, called the artificial compressible system, is considered on a two-dimensional infinite layer for a parameters range where the Hopf bifurcation occurs in the corresponding incompressible system. The spectrum of the linearized operator in a time periodic function space is investigated in detail near the bifurcation point when t… ▽ More A singularly perturbed system for doubly diffusive convection equations, called the artificial compressible system, is considered on a two-dimensional infinite layer for a parameters range where the Hopf bifurcation occurs in the corresponding incompressible system. The spectrum of the linearized operator in a time periodic function space is investigated in detail near the bifurcation point when the singular perturbation parameter is small. The results of this paper are the basis of the study of the nonlinear Hopf bifurcation problem and the singular limit of the time periodic bifurcating solutions. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Time-Dependent Wave-Structure Interaction Revisited: Thermo-piezoelectric Scatterers

Authors: George C. Hsiao, Tonatiuh Sánchez-Vizuet

Abstract: In this paper, we are concerned with a time-dependent transmission problem for a thermo-piezoelectric elastic body immersed in a compressible fluid. It is shown that the problem can be treated by the boundary-field equation method, provided an appropriate scaling factor is employed. As usual, based on estimates for solutions in the Laplace-transformed domain, we may obtain properties of correspond… ▽ More In this paper, we are concerned with a time-dependent transmission problem for a thermo-piezoelectric elastic body immersed in a compressible fluid. It is shown that the problem can be treated by the boundary-field equation method, provided an appropriate scaling factor is employed. As usual, based on estimates for solutions in the Laplace-transformed domain, we may obtain properties of corresponding solutions in the time-domain without having to perform the inversion of the Laplace-domain solutions. △ Less

Submitted 26 February, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

MSC Class: 35J20; 35L05; 45P05; 65N30; 65N38

On the second coefficient of the asymptotic expansion of Boutet de Monvel--Sjöstrand

Authors: Chin-Yu Hsiao, Wei-Chuan Shen

Abstract: In this paper, we calculate the second coefficient of the asymptotic expansion of Boutet de Monvel--Sjöstrand. In this paper, we calculate the second coefficient of the asymptotic expansion of Boutet de Monvel--Sjöstrand. △ Less

Submitted 4 January, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Szegő kernel asymptotics on some non-compact complete CR manifolds

Authors: Chin-Yu Hsiao, George Marinescu, Huan Wang

Abstract: We establish Szegő kernel asymptotic expansions on non-compact strictly pseudoconvex complete CR manifolds with transversal CR $\mathbb{R}$-action under certain natural geometric conditions. We establish Szegő kernel asymptotic expansions on non-compact strictly pseudoconvex complete CR manifolds with transversal CR $\mathbb{R}$-action under certain natural geometric conditions. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Journal ref: J Geom Anal 32, 266 (2022)

A Revisit of the Velocity Averaging Lemma: on the Regularity of Stationary Boltzmann Equation in a Bounded Convex Domain

Authors: I-Kun Chen, Ping-Han Chuang, Chun-Hsiung Hsia, Jhe-Kuan Su

Abstract: In the present work, we adopt the idea of velocity averaging lemma to establish regularity for stationary linearized Boltzmann equations in a bounded convex domain. Considering the incoming data, with three iterations, we establish regularity in fractional Sobolev space in space variable up to order $1^-$. In the present work, we adopt the idea of velocity averaging lemma to establish regularity for stationary linearized Boltzmann equations in a bounded convex domain. Considering the incoming data, with three iterations, we establish regularity in fractional Sobolev space in space variable up to order $1^-$. △ Less

Submitted 30 October, 2020; originally announced November 2020.

Boundary integral formulations for transient linear thermoelasticity with combined-type boundary conditions

Authors: George C. Hsiao, Tonatiuh Sánchez-Vizuet

Abstract: We study boundary integral formulations for an interior/exterior initial boundary value problem arising from the thermo-elasto-dynamic equations in a homogeneous and isotropic domain. The time dependence is handled, based on Lubich's approach, through a passage to the Laplace domain. We focus on the cases where one of the unknown fields satisfies a Dirichlet boundary condition, while the other one… ▽ More We study boundary integral formulations for an interior/exterior initial boundary value problem arising from the thermo-elasto-dynamic equations in a homogeneous and isotropic domain. The time dependence is handled, based on Lubich's approach, through a passage to the Laplace domain. We focus on the cases where one of the unknown fields satisfies a Dirichlet boundary condition, while the other one is subject to conditions of Neumann type. In the Laplace domain, combined single- and double-layer potential boundary integral operators are introduced and proven to be coercive. Based on the Laplace domain estimates, it is possible to prove the existence and uniqueness of solutions in the time domain. This analysis complements previous results that may serve as the mathematical foundation for discretization schemes based on the combined use of the boundary element method and convolution quadrature. △ Less

Submitted 10 October, 2020; originally announced October 2020.

MSC Class: 74F05; 74J05; 45P05; 35L05; 65N38; 35J20

On the coefficients of the equivariant Szegő kernel asymptotic expansions

Authors: Chin-Yu Hsiao, Rung-Tzung Huang, Guokuan Shao

Abstract: Let $(X, T^{1,0}X)$ be a compact connected orientable strongly pseudoconvex CR manifold of dimension $2n+1$, $n\geq1$. Assume that $X$ admits a connected compact Lie group $G$ action and a transversal CR $S^1$ action, we compute the coefficients of the first two lower order terms of the equivariant Szegő kernel asymptotic expansions with respect to the $S^1$ action. Let $(X, T^{1,0}X)$ be a compact connected orientable strongly pseudoconvex CR manifold of dimension $2n+1$, $n\geq1$. Assume that $X$ admits a connected compact Lie group $G$ action and a transversal CR $S^1$ action, we compute the coefficients of the first two lower order terms of the equivariant Szegő kernel asymptotic expansions with respect to the $S^1$ action. △ Less

Submitted 19 September, 2020; originally announced September 2020.

Comments: 22 pages

Bergman-Szegő kernel asymptotics in weakly pseudoconvex finite type cases

Authors: Chin-Yu Hsiao, Nikhil Savale

Abstract: We construct a pointwise Boutet de Monvel-Sjöstrand parametrix for the Szegő kernel of a weakly pseudoconvex three dimensional CR manifold of finite type assuming the range of its tangential CR operator to be closed; thereby extending the earlier analysis of Christ. This particularly extends Fefferman's boundary asymptotics of the Bergman kernel to weakly pseudoconvex domains in $\mathbb{C}^{2}$,… ▽ More We construct a pointwise Boutet de Monvel-Sjöstrand parametrix for the Szegő kernel of a weakly pseudoconvex three dimensional CR manifold of finite type assuming the range of its tangential CR operator to be closed; thereby extending the earlier analysis of Christ. This particularly extends Fefferman's boundary asymptotics of the Bergman kernel to weakly pseudoconvex domains in $\mathbb{C}^{2}$, in agreement with D'Angelo's example. Finally our results generalize a three dimensional CR embedding theorem of Lempert. △ Less

Submitted 15 September, 2020; originally announced September 2020.

Journal ref: J. Reine Angew. Math. 2022, no. 791, 173-223

On the singularities of the Bergman projections for lower energy forms on complex manifolds with boundary

Authors: Chin-Yu Hsiao, George Marinescu

Abstract: Let $M$ be a complex manifold of dimension $n$ with smooth boundary $X$. Given $q\in\{0,1,\ldots,n-1\}$, let $\Box^{(q)}$ be the $\ddbar$-Neumann Laplacian for $(0,q)$ forms. We show that the spectral kernel of $\Box^{(q)}$ admits a full asymptotic expansion near the non-degenerate part of the boundary $X$ and the Bergman projection admits an asymptotic expansion under some local closed range cond… ▽ More Let $M$ be a complex manifold of dimension $n$ with smooth boundary $X$. Given $q\in\{0,1,\ldots,n-1\}$, let $\Box^{(q)}$ be the $\ddbar$-Neumann Laplacian for $(0,q)$ forms. We show that the spectral kernel of $\Box^{(q)}$ admits a full asymptotic expansion near the non-degenerate part of the boundary $X$ and the Bergman projection admits an asymptotic expansion under some local closed range condition. As applications, we establish Bergman kernel asymptotic expansions for some domains with weakly pseudoconvex boundary and $S^1$-equivariant Bergman kernel asymptotic expansions and embedding theorems for domains with holomorphic $S^1$-action. △ Less

Submitted 25 November, 2019; originally announced November 2019.

Comments: 54 pages

Geometric quantization on CR manifolds

Authors: Chin-Yu Hsiao, Xiaonan Ma, George Marinescu

Abstract: Let $X$ be a compact connected orientable CR manifold with the action of a connected compact Lie group $G$. Under natural pseudoconvexity assumptions we show that the CR Guillemin-Strernberg map is Fredholm at the level of Sobolev spaces of CR functions. As application we study this map for holomorphic line bundles which are positive near the inverse image of $0$ by the momentum map. We also show… ▽ More Let $X$ be a compact connected orientable CR manifold with the action of a connected compact Lie group $G$. Under natural pseudoconvexity assumptions we show that the CR Guillemin-Strernberg map is Fredholm at the level of Sobolev spaces of CR functions. As application we study this map for holomorphic line bundles which are positive near the inverse image of $0$ by the momentum map. We also show that "quantization commutes with reduction" for Sasakian manifolds. △ Less

Submitted 3 November, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 52 pages; greatly revised version

$G$-equivariant embedding theorems for CR manifolds of high codimension

Authors: Kevin Fritsch, Hendrik Herrmann, Chin-Yu Hsiao

Abstract: Let $(X,T^{1,0}X)$ be a $(2n+1+d)$-dimensional compact CR manifold with codimension $d+1$, $d\geq1$, and let $G$ be a $d$-dimensional compact Lie group with CR action on $X$ and $T$ be a globally defined vector field on $X$ such that $\mathbb C TX=T^{1,0}X\oplus T^{0,1}X\oplus\mathbb C T\oplus\mathbb C\underline{\mathfrak{g}}$, where $\underline{\mathfrak{g}}$ is the space of vector fields on $X$… ▽ More Let $(X,T^{1,0}X)$ be a $(2n+1+d)$-dimensional compact CR manifold with codimension $d+1$, $d\geq1$, and let $G$ be a $d$-dimensional compact Lie group with CR action on $X$ and $T$ be a globally defined vector field on $X$ such that $\mathbb C TX=T^{1,0}X\oplus T^{0,1}X\oplus\mathbb C T\oplus\mathbb C\underline{\mathfrak{g}}$, where $\underline{\mathfrak{g}}$ is the space of vector fields on $X$ induced by the Lie algebra of $G$. In this work, we show that if $X$ is strongly pseudoconvex in the direction of $T$ and $n\geq 2$, then there exists a $G$-equivariant CR embedding of $X$ into $\mathbb C^N$, for some $N\in\mathbb N$. We also establish a CR orbifold version of Boutet de Monvel's embedding theorem. △ Less

Submitted 22 October, 2018; originally announced October 2018.

Comments: 36 pages

Solution of the tangential Kohn Laplacian on a class of non-compact CR manifolds

Authors: Chin-Yu Hsiao, Po-Lam Yung

Abstract: We solve $\square_b$ on a class of non-compact 3-dimensional strongly pseudoconvex CR manifolds via a certain conformal equivalence. The idea is to make use of a related $\square_b$ operator on a compact 3-dimensional strongly pseudoconvex CR manifold, which we solve using a pseudodifferential calculus. The way we solve $\square_b$ works whenever $\overline{\partial}_b$ on the compact CR manifold… ▽ More We solve $\square_b$ on a class of non-compact 3-dimensional strongly pseudoconvex CR manifolds via a certain conformal equivalence. The idea is to make use of a related $\square_b$ operator on a compact 3-dimensional strongly pseudoconvex CR manifold, which we solve using a pseudodifferential calculus. The way we solve $\square_b$ works whenever $\overline{\partial}_b$ on the compact CR manifold has closed range in $L^2$; in particular, as in Beals and Greiner, it does not require the CR manifold to be the boundary of a strongly pseudoconvex domain in $\mathbb{C}^2$. Our result provides in turn a key step in the proof of a positive mass theorem in 3-dimensional CR geometry, by Cheng, Malchiodi and Yang, which they then applied to study the CR Yamabe problem in 3 dimensions. △ Less

Submitted 28 February, 2019; v1 submitted 22 August, 2018; originally announced August 2018.

Comments: to appear in Calc. Var. Partial Differential Equations

Torus equivariant Szegő kernel asymptotics on strongly pseudoconvex CR manifolds

Authors: Hendrik Herrmann, Chin-Yu Hsiao, Xiaoshan Li

Abstract: Let $(X, T^{1,0}X)$ be a compact strongly pseudoconvex CR manifold of dimension $2n+1$. Assume that $X$ admits a Torus action $T^d$. In this work, we study the behavior of torus equivariant Szegő kernels and prove that the weighted torus equivariant Szegő kernels admit asymptotic expansions. Let $(X, T^{1,0}X)$ be a compact strongly pseudoconvex CR manifold of dimension $2n+1$. Assume that $X$ admits a Torus action $T^d$. In this work, we study the behavior of torus equivariant Szegő kernels and prove that the weighted torus equivariant Szegő kernels admit asymptotic expansions. △ Less

Submitted 27 July, 2018; originally announced August 2018.

Comments: arXiv admin note: text overlap with arXiv:1710.04910

Regularity for diffuse reflection boundary problem to the stationary linearized Boltzmann equation in a convex domain

Authors: I-Kun Chen, Chun-Hsiung Hsia, Daisuke Kawagoe

Abstract: We investigate the regularity issue for the diffuse reflection boundary problem to the stationary linearized Boltzmann equation for hard sphere potential, cutoff hard potential, or cutoff Maxwellian molecular gases in a strictly convex bounded domain. We obtain pointwise estimates for first derivatives of the solution provided the boundary temperature is bounded differentiable and the solution is… ▽ More We investigate the regularity issue for the diffuse reflection boundary problem to the stationary linearized Boltzmann equation for hard sphere potential, cutoff hard potential, or cutoff Maxwellian molecular gases in a strictly convex bounded domain. We obtain pointwise estimates for first derivatives of the solution provided the boundary temperature is bounded differentiable and the solution is bounded. This result can be understood as a stationary version of the velocity averaging lemma and mixture lemma. △ Less

Submitted 11 March, 2018; originally announced March 2018.

Comments: 44 pages

On the synchronization theory of Kuramoto oscillators under the effect of inertia

Authors: Chun-Hsiung Hsia, Chang-Yeol Jung, Bongsuk Kwon

Abstract: We investigate the synchronized collective behavior of the Kuramoto oscillators with inertia effect. Both the frequency synchronization for nonidentical case and the phase synchronization for identical case are in view. As an application of our general theory, we show the unconditional frequency synchronization for the three-nonidentical-oscillator case. We investigate the synchronized collective behavior of the Kuramoto oscillators with inertia effect. Both the frequency synchronization for nonidentical case and the phase synchronization for identical case are in view. As an application of our general theory, we show the unconditional frequency synchronization for the three-nonidentical-oscillator case. △ Less

Submitted 28 December, 2017; originally announced December 2017.

$S^1$-equivariant Index theorems and Morse inequalities on complex manifolds with boundary

Authors: Chin-Yu Hsiao, Rung-Tzung Huang, Xiaoshan Li, Guokuan Shao

Abstract: Let $M$ be a complex manifold of dimension $n$ with smooth connected boundary $X$. Assume that $\overline M$ admits a holomorphic $S^1$-action preserving the boundary $X$ and the $S^1$-action is transversal on $X$. We show that the $\overline\partial$-Neumann Laplacian on $M$ is transversally elliptic and as a consequence, the $m$-th Fourier component of the $q$-th Dolbeault cohomology group… ▽ More Let $M$ be a complex manifold of dimension $n$ with smooth connected boundary $X$. Assume that $\overline M$ admits a holomorphic $S^1$-action preserving the boundary $X$ and the $S^1$-action is transversal on $X$. We show that the $\overline\partial$-Neumann Laplacian on $M$ is transversally elliptic and as a consequence, the $m$-th Fourier component of the $q$-th Dolbeault cohomology group $H^q_m(\overline M)$ is finite dimensional, for every $m\in\mathbb Z$ and every $q=0,1,\ldots,n$. This enables us to define $\sum^{n}_{j=0}(-1)^j{\rm dim\,}H^q_m(\overline M)$ the $m$-th Fourier component of the Euler characteristic on $M$ and to study large $m$-behavior of $H^q_m(\overline M)$. In this paper, we establish an index formula for $\sum^{n}_{j=0}(-1)^j{\rm dim\,}H^q_m(\overline M)$ and Morse inequalities for $H^q_m(\overline M)$. △ Less

Submitted 13 April, 2020; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: 39 pages

Journal ref: J. Funct. Anal. 279 (2020), no. 3, 108558, 51 pp

Szegő kernels and equivariant embedding theorems for CR manifolds

Authors: Hendrik Herrmann, Chin-Yu Hsiao, Xiaoshan Li

Abstract: We consider a compact connected CR manifold with a transversal CR locally free $\mathbb R$-action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szegő kernel of the CR sections in the high tensor powers admits a full asymptotic expansion and we establish $\mathbb R$-equivariant Kodaira embedding theorem for CR manifolds. Using similar methods we also establi… ▽ More We consider a compact connected CR manifold with a transversal CR locally free $\mathbb R$-action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szegő kernel of the CR sections in the high tensor powers admits a full asymptotic expansion and we establish $\mathbb R$-equivariant Kodaira embedding theorem for CR manifolds. Using similar methods we also establish an analytic proof of an $\mathbb R$-equivariant Boutet de Monvel embedding theorem for strongly pseudoconvex CR manifolds. In particular, we obtain equivariant embedding theorems for irregular Sasakian manifolds. As applications of our results, we obtain Torus equivariant Kodaira and Boutet de Monvel embedding theorems for CR manifolds and Torus equivariant Kodaira embedding theorem for complex manifolds. △ Less

Submitted 2 March, 2020; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 34 pages

On the Neumann Problem of Hardy-Sobolev critical equations with the multiple singularities

Authors: Masato Hashizume, Chun-Hsiung Hsia, Gyeongha Hwang

Abstract: Let $N \geq 3$ and $Ω\subset \mathbb{R}^N$ be $C^2$ bounded domain. We study the existence of positive solution $u \in H^1(Ω)$ of \begin{align*} \left\{ \begin{array}{l} -Δu + λu = \frac{|u|^{2^*(s)-2}u}{|x-x_1|^s} + \frac{|u|^{2^*(s)-2}u}{|x-x_2|^s}\text{ in }Ω\\ \frac{\partial u}{\partial ν} = 0 \text{ on }\partialΩ, \end{array}\right. \end{align*} where $0 < s <2$,… ▽ More Let $N \geq 3$ and $Ω\subset \mathbb{R}^N$ be $C^2$ bounded domain. We study the existence of positive solution $u \in H^1(Ω)$ of \begin{align*} \left\{ \begin{array}{l} -Δu + λu = \frac{|u|^{2^*(s)-2}u}{|x-x_1|^s} + \frac{|u|^{2^*(s)-2}u}{|x-x_2|^s}\text{ in }Ω\\ \frac{\partial u}{\partial ν} = 0 \text{ on }\partialΩ, \end{array}\right. \end{align*} where $0 < s <2$, $2^*(s) = \frac{2(N-s)}{N-2}$ and $x_1, x_2 \in \overlineΩ$ with $x_1 \neq x_2$. First, we show the existence of positive solutions to the equation provided the positive $λ$ is small enough. In case that one of the singularities locates on the boundary and the mean curvature of the boundary at this singularity is positive, the existence of positive solutions is always obtained for any $λ> 0$. Furthermore, we extend the existence theory of solutions to the equations for the case of the multiple singularities with different exponents. △ Less

Submitted 22 September, 2017; originally announced September 2017.

Equidistribution theorems on strongly pseudoconvex domains

Authors: Chin-Yu Hsiao, Guokuan Shao

Abstract: This work consists of two parts. In the first part, we consider a compact connected strongly pseudoconvex CR manifold $X$ with a transversal CR $S^{1}$ action. We establish an equidistribution theorem on zeros of CR functions. The main techniques involve a uniform estimate of Szegő kernel on $X$. In the second part, we consider a general complex manifold $M$ with a strongly pseudoconvex boundary… ▽ More This work consists of two parts. In the first part, we consider a compact connected strongly pseudoconvex CR manifold $X$ with a transversal CR $S^{1}$ action. We establish an equidistribution theorem on zeros of CR functions. The main techniques involve a uniform estimate of Szegő kernel on $X$. In the second part, we consider a general complex manifold $M$ with a strongly pseudoconvex boundary $X$. By using classical result of Boutet de Monvel-Sjöstrand about Bergman kernel asymptotics, we establish an equidistribution theorem on zeros of holomorphic functions on $\overline M$. △ Less

Submitted 13 September, 2018; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: 26 pages

An explicit formula for Szego kernels on the Heisenberg group

Authors: Hendrik Herrmann, Chin-Yu Hsiao, Xiaoshan Li

Abstract: In this paper, we give an explicit formula for the Szego kernel for $(0, q)$ forms on the Heisenberg group $H_{n+1}$. In this paper, we give an explicit formula for the Szego kernel for $(0, q)$ forms on the Heisenberg group $H_{n+1}$. △ Less

Submitted 11 June, 2018; v1 submitted 29 June, 2017; originally announced June 2017.

Comments: final version, to appear in Acta Mathematica Sinica

Journal ref: Acta Mathematica Sinica, English Series, 34 (8), 1225-1247, 2018

$G$-invariant Szegö kernel asymptotics and CR reduction

Authors: Chin-Yu Hsiao, Rung-Tzung Huang

Abstract: Let $(X, T^{1,0}X)$ be a compact connected orientable CR manifold of dimension $2n+1$ with non-degenerate Levi curvature. Assume that $X$ admits a connected compact Lie group action $G$. Under certain natural assumptions about the group action $G$, we show that the $G$-invariant Szegö kernel for $(0,q)$ forms is a complex Fourier integral operator, smoothing away $μ^{-1}(0)$ and there is a precise… ▽ More Let $(X, T^{1,0}X)$ be a compact connected orientable CR manifold of dimension $2n+1$ with non-degenerate Levi curvature. Assume that $X$ admits a connected compact Lie group action $G$. Under certain natural assumptions about the group action $G$, we show that the $G$-invariant Szegö kernel for $(0,q)$ forms is a complex Fourier integral operator, smoothing away $μ^{-1}(0)$ and there is a precise description of the singularity near $μ^{-1}(0)$, where $μ$ denotes the CR moment map. We apply our result to the case when $X$ admits a transversal CR $S^1$ action and deduce an asymptotic expansion for the $m$-th Fourier component of the $G$-invariant Szegö kernel for $(0,q)$ forms as $m \to+\infty$. As an application, we show that if $m$ large enough, quantization commutes with reduction. △ Less

Submitted 5 April, 2017; v1 submitted 16 February, 2017; originally announced February 2017.

Comments: 60 pages, references added

Szegő kernel asymptotic expansion on CR manifolds with $S^1$ action

Authors: Hendrik Herrmann, Chin-Yu Hsiao, Xiaoshan Li

Abstract: Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$ action on $X$. We establish an asymptotic expansion for the $m$-th Fourier component of the Szegő kernel function as $m\rightarrow\infty$, where the expansion involves a contribution in terms of a distance function from lower dimensional strata of the $S^1$ action. We also obta… ▽ More Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$ action on $X$. We establish an asymptotic expansion for the $m$-th Fourier component of the Szegő kernel function as $m\rightarrow\infty$, where the expansion involves a contribution in terms of a distance function from lower dimensional strata of the $S^1$ action. We also obtain explicit formulas for the first three coefficients of the expansion. △ Less

Submitted 22 June, 2018; v1 submitted 14 October, 2016; originally announced October 2016.

Comments: 27pages, final version, to appear in the International journal of mathematics

Journal ref: Internat. J. Math. 29 (2018), no. 9, 1850061, 35 pp

On the stability of equivariant embedding of compact CR manifolds with circle action

Authors: Chin-Yu Hsiao, Xiaoshan Li, George Marinescu

Abstract: We prove the stability of the equivariant embedding of compact strictly pseudoconvex CR manifolds with transversal CR circle action under circle invariant perturbations of the CR structures. We prove the stability of the equivariant embedding of compact strictly pseudoconvex CR manifolds with transversal CR circle action under circle invariant perturbations of the CR structures. △ Less

Submitted 15 June, 2018; v1 submitted 2 August, 2016; originally announced August 2016.

Comments: 21 pages, final version

Journal ref: Math. Z. 289 (2018), no. 1-2, 201-222

The asymptotics of the analytic torsion on CR manifolds with $S^1$ action

Authors: Chin-Yu Hsiao, Rung-Tzung Huang

Abstract: Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$-action on $X$. We introduce the Fourier components of the Ray-Singer analytic torsion on $X$ with respect to the $S^1$-action. We establish an asymptotic formula for the Fourier components of the analytic torsion with respect to the $S^1$-action. This generalizes the asymptotic… ▽ More Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$-action on $X$. We introduce the Fourier components of the Ray-Singer analytic torsion on $X$ with respect to the $S^1$-action. We establish an asymptotic formula for the Fourier components of the analytic torsion with respect to the $S^1$-action. This generalizes the asymptotic formula of Bismut and Vasserot on the holomorphic Ray-Singer torsion associated with high powers of a positive line bundle to strongly pseudoconvex CR manifolds with a transversal CR $S^1$-action. △ Less

Submitted 24 May, 2016; originally announced May 2016.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1511.00063

Equivariant Kodaira embedding of CR manifolds with circle action

Authors: Chin-Yu Hsiao, Xiaoshan Li, George Marinescu

Abstract: We consider a compact CR manifold with a transversal CR locally free circle action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szegő kernel of the CR sections in the high tensor powers admits a full asymptotic expansion. As a consequence, we establish an equivariant Kodaira embedding theorem. We consider a compact CR manifold with a transversal CR locally free circle action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szegő kernel of the CR sections in the high tensor powers admits a full asymptotic expansion. As a consequence, we establish an equivariant Kodaira embedding theorem. △ Less

Submitted 3 August, 2017; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: 40 pages. Corollary 1.6 in the first version is not correct. In this version, we corrected this mistake and added some references. arXiv admin note: text overlap with arXiv:1401.6647

Journal ref: Michigan Math. J. 70 (2021), no. 1, 55--113

Boundary integral equation methods for the two dimensional fluid-solid interaction problem

Authors: Tao Yin, George C. Hsiao, Liwei Xu

Abstract: This paper is concerned with boundary integral equation methods for solving the two-dimensional fluid-solid interaction problem. We reduce the problem to three differential systems of boundary integral equations via direct and indirect approaches. Existence and uniqueness results for variational solutions of boundary integral equations equations are established. Since in all these boundary variati… ▽ More This paper is concerned with boundary integral equation methods for solving the two-dimensional fluid-solid interaction problem. We reduce the problem to three differential systems of boundary integral equations via direct and indirect approaches. Existence and uniqueness results for variational solutions of boundary integral equations equations are established. Since in all these boundary variational formulations, the hypersingular boundary integral operator associated with the time-harmonic Navier equation is a dominated integral operator, we also include a new regularization formulation for this hypersingular operator, which allows us to treat the hypersingular kernel by a wealkly singular kernel. Numerical examples are presented to verify and validate the theoretical results. △ Less

Submitted 31 August, 2016; v1 submitted 22 December, 2015; originally announced December 2015.

Comments: 31 pages, 7 figures, 3 tables

MSC Class: 35J25; 45F15; 74F10