• Korean Journal of Mathematics
• /
• 제23권1호
• /
• pp.47-64
• /
• 2015

We express generalized Fourier-Feynman transform and convolution product of functionals in a Banach algebra $\mathcal{S}(L^2_{a,b}[0,T])$ as limits of function space integrals on $C_{a,b}[0,T]$. Moreover we obtain change of scale formulas for function space integrals related with generalized Fourier-Feynman transform and convolution product of these functionals.

• 대한수학회논문집
• /
• 제9권3호
• /
• pp.731-737
• /
• 1994

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measures on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$- algebras of F. If $r > 0$, let $J = [-r, 0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert_C = sup_{s \in J} $\mid$\gamma(x)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E and F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$ with the norm $\Vert T \Vert = sup {$\mid$T(x)$\mid$_F : x \in E, $\mid$x$\mid$_E \leq 1}$.

• 대한수학회지
• /
• 제50권6호
• /
• pp.1333-1348
• /
• 2013

Given a faithful flow ${\alpha}$ on a $C^*$-algebra A, when A is ${\alpha}$-simple we will show that the closed subalgebra of A consisting of elements with non-negative Arveson spectra is maximal if and only if the crossed product of A by ${\alpha}$ is simple. We will also show how the general case can be reduced to the ${\alpha}$-simple case, which roughly says that any flow with the above maximality is an extension of a trivial flow by a flow of the above type in the ${\alpha}$-simple case. We also propose a condition of essential maximality for such closed subalgebras.

• Progress in Superconductivity
• /
• 제3권2호
• /
• pp.183-187
• /
• 2002

In this paper we analyzed the electromagnetic behavior of high $-T_{c}$ superconductor under the quench state using finite element method. Poisson equation was used in finite element analysis as a governing equation and was solved using algebra equation using Gallerkin method. We first investigate d the electromagnetic behavior of U-type superconductor. Finally we applied our analysis techniques to 5.5 kVA meander-line superconducting fault current limiters (SFCL) which are currently developed by many power-system researcher in the world. Meshes of 14,600 elements were used in analysis of this SFCL. Analysis results show that the distribution of current density was concentrated to inner curvature in meander-line type-superconductors and maximum current density 14.61 $A/\m^2$ and also maximum Joule heat was 6,420 W/㎥. We concluded that this meander line-type SFCL was not pertinet fur uniform electromagnetic field distribution.n.

• Nuclear Engineering and Technology
• /
• 제44권4호
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• 대한수학회보
• /
• 제26권1호
• /
• pp.43-46
• /
• 1989

In this paper, we are concerned with the pointwise-hypoellipticity (see Definition 2.1) of an m-dimensional Frobenious Lie algebra L of analytic complex vector fields in somel open subset .ohm. of $R^{m+1}$. That is, L is a set of complex vector fields in .ohm. with (real-) analytic coefficients satisfying: (A) each point of .ohm. has an open neighborhood in which L is generated by m linearly independent elements of L; (B) L is closed under the commutation bracket [A, B]. The pointwise-analytic hypoellipticity of L is completely characterized by M.S. Baouendi and F. Treves in [1]. Here, we shall prove that if L is hypoelliptic at a point then it must be analytic hypoelliptic in a full neighborhood of the same point. When the coefficients are $C^{\infty}$, hypoellipticity of L was discussed in [2].2].

• 대한수학회보
• /
• 제56권2호
• /
• pp.451-459
• /
• 2019

Let ${\mathcal{A}}$ and ${\mathcal{B}}$ be two operator ${\ast}$-rings such that ${\mathcal{A}}$ is prime. In this paper, we show that if the map ${\Phi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is bijective and preserves Jordan or ${\ast}$-Jordan triple product, then it is additive. Moreover, if ${\Phi}$ preserves Jordan triple product, we prove the multiplicativity or anti-multiplicativity of ${\Phi}$. Finally, we show that if ${\mathcal{A}}$ and ${\mathcal{B}}$ are two prime operator ${\ast}$-algebras, ${\Psi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is bijective and preserves ${\ast}$-Jordan triple product, then ${\Psi}$ is a ${\mathbb{C}}$-linear or conjugate ${\mathbb{C}}$-linear ${\ast}$-isomorphism.

• 대한수학회지
• /
• 제56권2호
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• 한국컴퓨터그래픽스학회논문지
• /
• 제6권1호
• /
• pp.37-50
• /
• 2000

본 논문에서는 R. T. Farouki에 의하여 소개된 평면 곡선들에 대한 복소수화된 표현법을 사용하여 주어진 임의의 평면 다항식 곡선을 복소수 계수를 갖는 한 다항식으로 나타내고 이 식을 대수학의 기본정리에 따라 복소수체 상에서 완전히 인수분해한 다음 그 근들을 관찰하여 주어진 곡선이 평면 다항식 피타고리안 호도그라프(PH) 곡선이 되기 위하 필요충분 조건을 새로운 방법으로 밝히고, 이를 3차원 민코브스키 공간 $R^{2,1}$ 상의 다항식 곡선에 적용, 이 곡선이 PH 곡선이 되기 위한 필요충분을 보다 간결한 형태로 나타내고 이를 통하여 3차원 민코브스키 공간 $R^{2,1}$ 상의 가능한 다항식 PH 곡선들의 유형이 모두 결정된다는 것을 보인다.