• Korean Journal of Mathematics
• /
• v.18 no.2
• /
• pp.195-200
• /
• 2010

Let C be a closed convex set in ${\mathbb{S}}^m$ or ${\mathbb{H}}^m$. Assume that ${\Sigma}$ is an n-dimensional compact minimal submanifold outside C such that ${\Sigma}$ is orthogonal to ${\partial}C$ along ${\partial}{\Sigma}{\cap}{\partial}C$ and ${\partial}{\Sigma}$ lies on a geodesic sphere centered at a fixed point $p{\in}{\partial}{\Sigma}{\cap}{\partial}C$ and that r is the distance in ${\mathbb{S}}^m$ or ${\mathbb{H}}^m$ from p. We make use of a modified volume $M_p({\Sigma})$ of ${\Sigma}$ and obtain a sharp relative isoperimetric inequality $$\frac{1}{2}n^n{\omega}_nM_p({\Sigma})^{n-1}{\leq}Vol({\partial}{\Sigma}{\sim}{\partial}C)^n$$, where ${\omega}_n$ is the volume of a unit ball in ${\mathbb{R}}^n$ Equality holds if and only if ${\Sigma}$ is a totally geodesic half ball centered at p.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.739-747
• /
• 2006

By using O(m+n, 1)/$O(m){\times}O(n,1)-system$, we give an analytic version of Ribaucour transformation for flat m-dimensional submanifolds in $\mathbb{H}^{m+n}$ with flat, non-degenerate normal bundle and free of weak umbilics, where $n{\geq}m-1$.

• East Asian mathematical journal
• /
• v.28 no.2
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.547-572
• /
• 2010

We study existence of positive solutions of the classical nonlinear Schr$\ddot{o}$dinger equation $-{\Delta}u\;+\;V(x)u\;-\;f(x,\;u)\;-\;H(x)u^{2*-1}\;=\;0$, u > 0 in $\mathbb{R}^n$ $u\;{\rightarrow}\;0\;as\;|x|\;{\rightarrow}\;{\infty}$. In fact, we consider the following more general quasi-linear Schr$\ddot{o}$odinger equation $-div(|{\nabla}u|^{m-2}{\nabla}u)\;+\;V(x)u^{m-1}$ $-f(x,\;u)\;-\;H(x)u^{m^*-1}\;=\;0$, u > 0 in $\mathbb{R}^n$ $u\;{\rightarrow}\;0\;as\;|x|\;{\rightarrow}\;{\infty}$, where m $\in$ (1, n) is a positive number and $m^*\;:=\;\frac{mn}{n-m}\;>\;0$, is the corresponding critical Sobolev embedding number in $\mathbb{R}^n$. Under appropriate conditions on the functions V(x), f(x, u) and H(x), existence and non-existence results of positive solutions have been established.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.293-299
• /
• 2005

Let ${\cal{L}}$ be a commutative subspace lattice on a Hilbert space ${\cal{H}}$ and X and Y be operators on ${\cal{H}}$. Let $${\cal{M}}_X=\{{\sum}{\limits_{i=1}^n}E_{i}Xf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}$$ and $${\cal{M}}_Y=\{{\sum}{\limits_{i=1}^n}E_{i}Yf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}.$$ Then the following are equivalent. (i) There is an operator A in $Alg{\cal{L}}$ such that AX = Y, Ag = 0 for all g in ${\overline{{\cal{M}}_X}}^{\bot},A^*A=AA^*$ and every E in ${\cal{L}}$ reduces A. (ii) ${\sup}\;\{K(E, f)\;:\;n\;{\in}\;{\mathbb{N}},f_i\;{\in}\;{\cal{H}}\;and\;E_i\;{\in}\;{\cal{L}}\}\;<\;\infty,\;{\overline{{\cal{M}}_Y}}\;{\subset}\;{\overline{{\cal{M}}_X}}$and there is an operator T acting on ${\cal{H}}$ such that ${\langle}EX\;f,Tg{\rangle}={\langle}EY\;f,Xg{\rangle}$ and ${\langle}ET\;f,Tg{\rangle}={\langle}EY\;f,Yg{\rangle}$ for all f, g in ${\cal{H}}$ and E in ${\cal{L}}$, where $K(E,\;f)\;=\;{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Y\;f_{i}{\parallel}/{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Xf_{i}{\parallel}$.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1443-1455
• /
• 2017

Let $M_{z^N}(N{\in}{\mathbb{Z}}^d_+)$ be a bounded multiplication operator on a class of Hilbert spaces with orthogonal basis $\{z^n:n{\in}{\mathbb{Z}}^d_+\}$. In this paper, we prove that each reducing subspace of $M_{z^N}$ is the direct sum of some minimal reducing subspaces. For the case that d = 2, we find all the minimal reducing subspaces of $M_{z^N}$ ($N=(N_1,N_2)$, $N_1{\neq}N_2$) on weighted Bergman space $A^2_{\alpha}({\mathbb{B}}_2)$(${\alpha}$ > -1) and Hardy space $H^2({\mathbb{B}}_2)$, and characterize the structure of ${\mathcal{V}}^{\ast}(z^N)$, the commutant algebra of the von Neumann algebra generated by $M_{z^N}$.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.503-510
• /
• 2004

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.527-533
• /
• 2018

Let $\mathcal{X}$ be a countably generated Hilbert module over a locally $C^*$-algebra $\mathcal{A}$ in multiplier module M($\mathcal{X}$) of $\mathcal{X}$. We propose the necessary and sufficient condition such that a sequence $\{h_n:n{{\in}}\mathbb{N}\}$ in M($\mathcal{X}$) is a standard frame of multipliers in $\mathcal{X}$. We also show that if T in $b(L_{\mathcal{A}}(\mathcal{X}))$, the space of bounded maps in set of all adjointable maps on $\mathcal{X}$, is surjective and $\{h_n:n{{\in}}\mathbb{N}\}$ is a standard frame of multipliers in $\mathcal{X}$, then $\{T{\circ}h_n:n{\in}\mathbb{N}}$ is a standard frame of multipliers in $\mathcal{X}$, too.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.935-942
• /
• 2018

In this paper, we prove that any stable f-harmonic map from sphere ${\mathbb{S}}^n$ to Riemannian manifold (N, h) is constant, where f is a smooth positive function on ${\mathbb{S}}^n{\times}N$ satisfying one condition with n > 2. We also prove that any stable f-harmonic map ${\varphi}$ from a compact Riemannian manifold (M, g) to ${\mathbb{S}}^n$ (n > 2) is constant where, in this case, f is a smooth positive function on $M{\times}{\mathbb{S}}^n$ satisfying ${\Delta}^{{\mathbb{S}}^n}(f){\circ}{\varphi}{\leq}0$.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.911-927
• /
• 2019

Let $\mathscr{B}^{{\eta},{\mu}}_{p,n}\;({\alpha});\;({\eta},{\mu}{\in}{\mathbb{R}},\;n,\;p{\in}{\mathbb{N}})$ denote all functions f class in the unit disk ${\mathbb{U}}$ as $f(z)=z^p+\sum_{k=n+p}^{\infty}a_kz^k$ which satisfy: $$\|\[{\frac{f^{\prime}(z)}{pz^{p-1}}}\]^{\eta}\;\[\frac{z^p}{f(z)}\]^{\mu}-1\| <1-{\frac{\alpha}{p}};\;(z{\in}{\mathbb{U}},\;0{\leq}{\alpha}<p)$$. And $\mathscr{M}^{{\eta},{\mu}}_{p,n}\;({\alpha})$ indicates all meromorphic functions h in the punctured unit disk $\mathbb{U}^*$ as $h(z)=z^{-p}+\sum_{k=n-p}^{\infty}b_kz^k$ which satisfy: $$\|\[{\frac{h^{\prime}(z)}{-pz^{-p-1}}}\]^{\eta}\;\[\frac{1}{z^ph(z)}\]^{\mu}-1\|<1-{\frac{\alpha}{p}};\;(z{\in}{\mathbb{U}},\;0{\leq}{\alpha}<p)$$. In this paper several sufficient conditions for some classes of functions are investigated. The authors apply Jack's Lemma, to obtain this conditions. Furthermore, sufficient conditions for strongly starlike and convex p-valent functions of order ${\gamma}$ and type ${\beta}$, are also considered.