• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.63-78
• /
• 2008

We generalize several integral inequalities for analytic functions on the open unit polydisc $U^n={\{}z{\in}C^n||zj|<1,\;j=1,...,n{\}}$. It is shown that if a holomorphic function on $U^n$ belongs to the mixed norm space $A_{\vec{\omega}}^{p,q}(U^n)$, where ${\omega}_j(\cdot)$,j=1,...,n, are admissible weights, then all weighted derivations of order $|k|$ (with positive orders of derivations) belong to a related mixed norm space. The converse of the result is proved when, p, q ${\in}\;[1,\;{\infty})$ and when the order is equal to one. The equivalence of these conditions is given for all p, q ${\in}\;(0,\;{\infty})$ if ${\omega}_j(z_j)=(1-|z_j|^2)^{{\alpha}j},\;{\alpha}_j>-1$, j=1,...,n (the classical weights.) The main results here improve our results in Z. Anal. Anwendungen 23 (3) (2004), no. 3, 577-587 and Z. Anal. Anwendungen 23 (2004), no. 4, 775-782.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1391-1409
• /
• 2016

In this paper, we investigate a family of holomorphic functions in several complex variables concerning the total derivative (or called radial derivative), and obtain some well-known normality criteria such as the Miranda's theorem, the Marty's theorem and results on the Hayman's conjectures in several complex variables. A high-dimension version of the famous Zalcman's lemma for normal families is also given.

• Journal of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.379-394
• /
• 2012

Given an almost complex structure ($\mathbb^{C}^m$, J), $m\geq2$, that is defined by setting $\theta^{\alpha}=dz^{\alpha}+a_{\beta}^{\alpha}d\bar{z}^{\beta}$, ${\alpha}=1,\ldots$,m, to be (1, 0)-forms, we find conditions on ($a_{\beta}^{\alpha}$) for the existence of holomorphic functions an classify the almost complex structures by type ($\nu$,q). Then we determine types for several examples in $\mathbb{C}^2$ and $\mathbb{C}^3$ including the natural almost complex structure on $S^6$.

• Journal of the Korean Mathematical Society
• /
• v.57 no.5
• /
• pp.1287-1298
• /
• 2020

Inspired by a classical approximation result of Bagemihl and Seidel on the disc, we provide generalized results on some proper domains in ℂⁿ about approximation of a continuous function by a holomorphic function in the Mergelyan's style.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1445-1457
• /
• 2016

For a positive integer N divisible by 4, let ${\mathcal{O}}^1_N({\mathbb{Q}})$ be the ring of weakly holomorphic modular functions for the congruence subgroup ${\Gamma}^1(N)$ with rational Fourier coefficients. We present explicit generators of the ring ${\mathcal{O}}^1_N({\mathbb{Q}})$ over ${\mathbb{Q}}$ in terms of both Fricke functions and Siegel functions, from which we are able to classify all Fricke families of such level N.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.449-468
• /
• 2022

In this paper we determine explicitly the kernels 𝕜_α,β associated with new Bergman spaces A²_α,β(𝔻) considered recently by the first author and M. Zaway. Then we study the distribution of the zeros of these kernels essentially when α ∈ ℕ where the zeros are given by the zeros of a real polynomial Q_α,β. Some numerical results are given throughout the paper.

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.623-669
• /
• 2018

In Donaldson-Thomas theory, moduli spaces are locally the critical locus of a holomorphic function defined on a complex manifold. In this paper, we develop a theory of critical virtual manifolds which are the gluing of critical loci of holomorphic functions. We show that a critical virtual manifold X admits a natural semi-perfect obstruction theory and a virtual fundamental class $[X]^{vir}$ whose degree $DT(X)=deg[X]^{vir}$ is the Euler characteristic ${\chi}_{\nu}$(X) weighted by the Behrend function ${\nu}$. We prove that when the critical virtual manifold is orientable, the local perverse sheaves of vanishing cycles glue to a perverse sheaf P whose hypercohomology has Euler characteristic equal to the Donaldson-Thomas type invariant DT(X). In the companion paper, we proved that a moduli space X of simple sheaves on a Calabi-Yau 3-fold Y is a critical virtual manifold whose perverse sheaf categorifies the Donaldson-Thomas invariant of Y and also gives us a mathematical theory of Gopakumar-Vafa invariants.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.339-350
• /
• 2005

We obtain the following two inequalities on a strongly pseudoconvex domain $\Omega\;in\;\mathbb{C}^n\;:\;for\;f\;{\in}\;O(\Omega)$ $$\int_{0}^{{\delta}0}t^{a{\mid}a{\mid}+b}M_p^a(t, D^{a}f)dt\lesssim\int_{0}^{{\delta}0}t^{b}M_p^a(t,\;f)dt\;\int_{O}^{{\delta}O}t_{b}M_p^a(t,\;f)dt\lesssim\sum_{j=0}^{m}\int_{O}^{{\delta}O}t^{am+b}M_{p}^{a}\(t,\;\aleph^{i}f\)dt$$. In [9], Shi proved these results for the unit ball in $\mathbb{C}^n$. These are generalizations of some classical results of Hardy and Littlewood.