• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.547-564
• /
• 2024

We study totally real and complex subsets of a right quarternionic vector space of dimension n + 1 with a Hermitian form of signature (n, 1) and extend these notions to right quaternionic projective space. Then we give a necessary and sufficient condition for a subset of a right quaternionic projective space to be totally real or complex in terms of the quaternionic Hermitian triple product. As an application, we show that the limit set of a non-elementary quaternionic Kleinian group 𝚪 is totally real (resp. commutative) with respect to the quaternionic Hermitian triple product if and only if 𝚪 leaves a real (resp. complex) hyperbolic subspace invariant.

• Journal of the Korean Society of Safety
• /
• v.11 no.4
• /
• pp.143-150
• /
• 1996

This is an explicit-Implicit, finite element analysis for linear as well as nonlinear hygrothermal stress problems. Additional features, such as moisture diffusion equation, crack element and virtual crack extension(VCE ) method for evaluating J-integral are implemented in this program. The Linear Elastic Fracture Mechanics(LEFM) Theory is employed to estimate the crack driving force under the transient condition for and existing crack. Pores in materials are assumed to be saturated with moisture in the liquid form at the room temperature, which may vaporize as the temperature increases. The vaporization effects on the crack driving force are also studied. The Ideal gas equation is employed to estimate the thermodynamic pressure due to vaporization at each time step after solving basic nodal values. A set of field equations governing the time dependent response of porous media are derived from balance laws based on the mixture theory Darcy's law Is assumed for the fluid flow through the porous media. Perzyna's viscoplastic model incorporating the Von-Mises yield criterion are implemented. The Green-Naghdi stress rate is used for the invariant of stress tensor under superposed rigid body motion. Isotropic elements are used for the spatial discretization and an iterative scheme based on the full newton-Raphson method is used for solving the nonlinear governing equations.

• Progress in Superconductivity and Cryogenics
• /
• v.14 no.4
• /
• pp.28-31
• /
• 2012

We report the solid-liquid phase equilibria on the $GdBa_2Cu_3O_{7-{\delta}}$ (GdBCO) stability phase diagram in low oxygen pressures ($PO_2$) ranging from 1 to 100 mTorr. On the basis of the GdBCO stability phase diagram experimentally determined in low oxygen pressures, the isothermal sections of three different phase fields on log $PO_2$ vs. 1/T diagram were schematically constructed within the $Gd_2O_3-Ba_2CuO_y-Cu_2O$ ternary system, and the solid-liquid phase equilibria in each phase field were described. The invariant points on the phase boundaries include the following three reactions; a pseudobinary peritectic reaction of $GdBCO{\leftrightarrow}Gd_2O_3$ + liquid ($L_1$), a ternary peritectic reaction of $GdBCO{\leftrightarrow}Gd_2O_3+GdBa_6Cu_3O_y$ + liquid ($L_2$), and a monotectic reaction of $L_1{\leftrightarrow}GdBa_6Cu_3O_y+L_2$. A conspicuous feature of the solid-liquid phase equilibria in low $PO_2$ regime (1 - 100 mTorr) is that the GdBCO phase is decomposed into $Gd_2O_3+L_1$ or $Gd_2O_3+GdBa_6Cu_3O_y+L_2$ rather than $Gd_2BaCuO_5+L$ well-known in high $PO_2$ like air.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.