• Kyungpook Mathematical Journal
• /
• v.53 no.2
• /
• pp.295-306
• /
• 2013

First we present the explicit formula for the norm of a symmetric bilinear form on the 2-dimensional real predual of the Lorentz sequence space $d_*(1,w)^2$. Using this formula, we classify the extreme points of the unit ball of $\mathcal{L}_s(^2d_*(1,w)^2)$.

• Journal of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.1-12
• /
• 2011

The purpose of this paper is to study pseudo-Riemannian algebras, which are algebras with pseudo-Riemannian non-degenerate symmetric bilinear forms. We nd that pseudo-Riemannian algebras whose left centers are isotropic play a curial role and show that the decomposition of pseudo-Riemannian algebras whose left centers are isotropic into indecomposable non-degenerate ideals is unique up to a special automorphism. Furthermore, if the left center equals the center, the orthogonal decomposition of any pseudo-Riemannian algebra into indecomposable non-degenerate ideals is unique up to an isometry.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.10
• /
• pp.2108-2112
• /
• 2012

In this paper, we propose a method obtaining an improved panoramic image with forward warping transformation and bilinear interpolation in recovering information lost during the transforming process. The proposed fish-eyed image restructuring method is verified to be sufficiently effective in the experiment with various forms of fish-eyed lens images.

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1051-1068
• /
• 2015

We use methods of relative homological algebra on the category C(mod${\Lambda}$), of complexes of finitely generated modules over an artin algebra ${\Lambda}$, to give some characterizations of almost split sequences.

• East Asian mathematical journal
• /
• v.37 no.5
• /
• pp.591-598
• /
• 2021

In this paper we study the Cauchy problem for the Chern-Simons gauged O(3) sigma model. We prove the local existence of solutions with low regularity initial data, observing null forms of the system and applying bilinear estimates for wave-Sobolev space H^{s, b}.

• Communications of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.1131-1146
• /
• 2022

In this paper we present another characterization of the norming set of T ∈ 𝓛(²𝒍²_∞) in terms of Norm(T) ∩ Ω whose proofs are more systematic than those of Kim [6], where Ω = {((1, 1), (1, 1)), ((1, 1), (1, -1)), ((1, -1), (1, 1)), ((1, -1), (1, -1))}.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.19 no.2
• /
• pp.137-170
• /
• 2015

In this paper, we propose and analyze three viral infection models with humoral immunity including an eclipse stage of infected cells. The incidence rate of infection is represented by bilinear incidence and saturated incidence in the first and second models, respectively, while it is given by a more general function in the third one. The neutralization rate of viruses is giv0en by bilinear form in the first two models, while it is given by a general function in the third one. For each model, we have derived two threshold parameters, the basic infection reproduction number which determines whether or not a chronic-infection can be established without humoral immunity and the humoral immune response activation number which determines whether or not a chronic-infection can be established with humoral immunity. By constructing suitable Lyapunov functions we have proven the global asymptotic stability of all equilibria of the models. For the third model, we have established a set of conditions on the threshold parameters and on the general functions which are sufficient for the global stability of the equilibria of the model. We have performed some numerical simulations for the third model with specific forms of the incidence and neutralization rates and have shown that the numerical results are consistent with the theoretical results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.2
• /
• pp.65-92
• /
• 2019

We survey a recently developed immersed finite element method (IFEM) for the interface problems. The IFEM uses structured grids such as uniform grids, even if the interface is a smooth curve. Instead of fitting the curved interface, the bases are modified so that they satisfy the jump conditions along the interface. The early versions of IFEM [1, 2] were suboptimal in convergence order [3]. Later, the consistency terms were added to the bilinear forms [4, 5], thus the scheme became optimal and the error estimates were proven. For elasticity problems with interfaces, we modify the Crouzeix-Raviart based element to satisfy the traction conditions along the interface [6], but the consistency terms are not needed. To satisfy the Korn's inequality, we add the stabilizing terms to the bilinear form. The optimal error estimate was shown for a triangular grid. Lastly, we describe the multigrid algorithms for the discretized system arising from IFEM. The prolongation operators are designed so that the prolongated function satisfy the flux continuity condition along the interface. The W-cycle convergence was proved, and the number of V-cycle is independent of the mesh size.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.314-315
• /
• 1992

A method is developed for the detection of parametric change for conditionally-linear stochastic systems. Such systems are quite prevalent in biology, economics and engineering, and may be synthesized as certain bilinear stochastic systems with output feedback (possibly nonlinear) through the controls. In other words, these systems are linear in the "unmeasured states" and nonlinear in the "measured states." The conditionally linear filter developed by Kolodziej forms a convenient part of the algorithm which estimates the time of change of parameter values.