• East Asian mathematical journal
• /
• 제34권5호
• /
• pp.571-575
• /
• 2018

Let D be an integral domain, ${\ast}$ a star-operation on D, and S a (not necessarily saturated) multiplicative subset of D. In this article, we prove the Cohen type theorem for $S-{\ast}_{\omega}$-principal ideal domains, which states that D is an $S-{\ast}_{\omega}$-principal ideal domain if and only if every nonzero prime ideal of D (disjoint from S) is $S-{\ast}_{\omega}$-principal.

• 대한수학회지
• /
• 제32권3호
• /
• pp.461-470
• /
• 1995

In this paper a capacitance matrix method is developed for the Poisson equation on a rectangle $$ (1-1) Lu \equiv -(u_{xx} + u_{yy} = f, (x, y) \in \Omega \equiv (0, 1) \times (0, 1) $$ with the homogeneous Dirichlet boundary condition $$ (1-2) u = 0, (x, y) \in \partial\Omega $$ where $\partial\Omega$ is the boundary of the region $\Omega$.

• 충청수학회지
• /
• 제21권1호
• /
• pp.139-146
• /
• 2008

We investigate the uniqueness and multiplicity of solutions for the nonlinear elliptic system with Dirichlet boundary condition $$\{-{\Delta}u+g_1(u,v)=f_1(x){\text{ in }}{\Omega},\\-{\Delta}v+g_2(u,v)=f_2(x){\text{ in }}{\Omega},$$ where ${\Omega}$ is a bounded set in $R^n$ with smooth boundary ${\partial}{\Omega}$. Here $g_1$, $g_2$ are nonlinear functions of u, v and $f_1$, $f_2$ are source terms.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1994년도 제6회 한글 및 한국어정보처리 학술대회
• /
• pp.51-56
• /
• 1994

우리는 쉽고 누구나 사용할 수 있는 증명 방식으로 "어떠한 경우에나 참이기 때문에 모든 경우에 참"이라는 방식을 쓴다. 그러나 증명이 한정될 수밖에 없었다는 것을 인정할 수밖에 없어서, 이러한 오래 사용하여 오던 방법을 얼마만큼 사용할 수 있는지를 연구할 수 밖에 없다. 이 증명 법칙 ${\Omega}$은 유한 모형에서는 그대로 사용할 수 있기 때문에, 다른 일반적인 모형에 어떻게 확대 적용할 수 있느냐는 문제가 남는다. A. Ignjatovic은 ${\Omega}$법칙이 한정된 추론 속의 더 일반적인 확대가 가능함을 말하고 있다. 이 글에서는 이 ${\Omega}$법칙의 실제적인 유용성을 말하여 본다.

• 대한수학회지
• /
• 제34권1호
• /
• pp.87-118
• /
• 1997

This paper is concerned with a mixed Lagrangian formulation of the wiscous, stationary, incompressible Navier-Stokes equations $$ (1.1) -\nu\Delta u + (u \cdot \nabla)u + \nabla_p = f in \Omega $$ and $$ (1.2) \nubla \cdot u = 0 in \Omega $$ along with inhomogeneous Dirichlet boundary conditions on a portion of the boundary $$ (1.3) u = ^{0 on \Gamma_0 _{g on \Gamma_g, $$ where $\Omega$ is a bounded open domain in $R^d, d = 2 or 3$, or with a boundary $\Gamma = \partial\Omega$, which is composed of two disjoint parts $\Gamma_0$ and $\Gamma_g$.

• 대한수학회보
• /
• 제34권1호
• /
• pp.9-17
• /
• 1997

Define $\bar{g}{\upsilon, \omega) = -\upsilon_1\omega_1 + \cdots + \upsilon_n\omega_n$ for $\upsilon, \omega in R^n$. $R^n$ together with this metric is called the Lorentzian n-space, denoted by $L^n$, and $R^n$ together with the Euclidean metric is called the Euclidean n-space, denoted by $E^n$. A Lorentzian surface in $L^n$ means an orientable connected 2-dimensional Lorentzian submanifold of $L^n$ equipped with the induced Lorentzian metrix g from $\bar{g}$.

• 대한수학회보
• /
• 제37권2호
• /
• pp.249-254
• /
• 2000

We give an easy proof of the fact that every noncommutative torus $A_{\omega}$ is stably isomorphic to the noncommutative torus $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$ which hasa trivial bundle structure. It is well known that stable isomorphism of two separable $C^{*}-algebras$ is equibalent to the existence of eqivalence bimodule between the two stably isomorphic $C^{*}-algebras{\;}A_{\omega}$ and $C(\widehat{S\omega}){\;}\bigotimes{\;}A_p$.

• 대한수학회지
• /
• 제51권4호
• /
• pp.837-851
• /
• 2014

We consider ${\omega}$-chaos as defined by S. H. Li in 1993. We show that c-dense ${\omega}$-scrambled sets are present in every transitive system with two-sided limit shadowing property (TSLmSP) and that every transitive map on topological graph has a dense Mycielski ${\omega}$-scrambled set. As a preliminary step, we provide a characterization of dynamical properties of maps with TSLmSP.

• Kyungpook Mathematical Journal
• /
• 제46권1호
• /
• pp.31-48
• /
• 2006

In this paper, we prove a weighted norm inequality for the Marcinkiewicz integral operator $\mathcal{M}_{{\Omega},h}$ when $h$ satisfies a mild regularity condition and ${\Omega}$ belongs to $L(log L)^{1l2}(S^{n-1})$, $n{\geq}2$. We also prove the weighted $L^p$ boundedness for a class of Marcinkiewicz integral operators $\mathcal{M}^*_{{\Omega},h,{\lambda}}$ and $\mathcal{M}_{{\Omega},h,S}$ related to the Littlewood-Paley $g^*_{\lambda}$-function and the area integral S, respectively.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권2호
• /
• pp.97-101
• /
• 1995

In [6], the author studied the property of the Szeg kernel and had a result that if $\Omega$ is a smoothly bounded domain in C and the Szeg kernel associated with $\Omega$ is rational, then any proper holomorphic map from $\Omega$ to the unit disc U is rational. It leads to the study of the proper rational map of $\Omega$ to U. In this note, first we simplify the proof of the above result and prove an existence theorem of a proper rational map. Before we proceed to state our result, we must recall some preliminary facts.(omitted)