• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권1호
• /
• pp.31-39
• /
• 2011

Stone's theorem states that "A bounded linear operator A is infinitesimal generator of a $C_0$-group of unitary operators on a Hilbert space H if and only if iA is self adjoint". In this paper we establish a generalization of Stone's theorem in the framework of Hilbert $C^*$-modules.

• 대한수학회보
• /
• 제58권3호
• /
• pp.669-688
• /
• 2021

The aim of this paper is to prove the existence of an admissible inertial manifold for mild solutions to infinite delay evolution equation of the form $$\{{\frac{du}{dt}}+Au=F(t,\;u_t),\;t{\geq}s,\\\;u_s({\theta})={\phi}({\theta}),\;{\forall}{\theta}{\in}(-{{\infty}},\;0],\;s{\in}{\mathbb{R}},$$ where A is positive definite and self-adjoint with a discrete spectrum, the Lipschitz coefficient of the nonlinear part F may depend on time and belongs to some admissible function space defined on the whole line. The proof is based on the Lyapunov-Perron equation in combination with admissibility and duality estimates.

• 한국정밀공학회지
• /
• 제12권9호
• /
• pp.137-147
• /
• 1995

The unbalance response analysis is one of the essential area in the forced vibration analysis of rotor-bearing systems. Local bearing parameters in rotor-bearing systems are the major sources which give rise to a difficulty in unbalance response computation due to the complicated dynamic properties such as rotational speed dependency and anisotropy. In the present paper, an efficient method for unbalance responses is proposed so as to easily take into account bearing parameters in computation. An exact matrix condensation procedure is proposed which enables the present method to compute unbalance responses by dealing with condensed, small matrices. The proposed method causes no errors even though the computation procedure is based on the small matrices condensed from the full matrices. The present method is illustrated through a numerical example and compared with the conventional method.

• 대한수학회보
• /
• 제20권2호
• /
• pp.71-74
• /
• 1983

The problems of the continuity of homomorphisms between Banach algebras have been studied widely for the last two decades to obtain various fruitful results, yet it is far from characterizing the calss of Banach algebras for which each homomorphism from a member of the class into a Banach algebra is conitnuous. For commutative Banach algebras A and B a simple proof shows that every homomorphism .theta. from A into B is continuous provided that B is semi-simple, however, with a non semi-simple Banach algebra B examples of discontinuous homomorphisms from C(K) into B have been constructed by Dales [6] and Esterle [7]. For non commutative Banach algebras the problems of automatic continuity of homomorphisms seem to be much more difficult. Many positive results and open questions related to this subject may be found in [1], [3], [5] and [8], in particular most recent development can be found in the Lecture Note which contains [1]. It is well-known that a$^{*}$-isomorphism from a $C^{*}$-algebra into another $C^{*}$-algebra is an isometry, and an isomorphism of a Banach algebra into a $C^{*}$-algebra with self-adjoint range is continuous. But a$^{*}$-isomorphism from a $C^{*}$-algebra into an involutive Banach algebra is norm increasing [9], and one can not expect each of such isomorphisms to be continuous. In this note we discuss an isomorphism from a commutative $C^{*}$-algebra into a commutative Banach algebra with dense range via separating space. It is shown that such an isomorphism .theta. : A.rarw.B is conitnuous and maps A onto B is B is semi-simple, discontinuous if B is not semi-simple.

• 대한수학회논문집
• /
• 제32권3호
• /
• pp.661-676
• /
• 2017

Let T be a bounded linear operator acting on a complex Hilbert space ${\mathfrak{H}}$. In this paper we introduce the class, denoted ${\mathcal{Q}}(A(k),m)$, of operators satisfying $T^{m{\ast}}(T^{\ast}{\mid}T{\mid}^{2k}T)^{1/(k+1)}T^m{\geq}T^{{\ast}m}{\mid}T{\mid}^2T^m$, where m is a positive integer and k is a positive real number and we prove basic structural properties of these operators. Using these results, we prove that if P is the Riesz idempotent for isolated point ${\lambda}$ of the spectrum of $T{\in}{\mathcal{Q}}(A(k),m)$, then P is self-adjoint, and we give a necessary and sufficient condition for $T{\otimes}S$ to be in ${\mathcal{Q}}(A(k),m)$ when T and S are both non-zero operators. Moreover, we characterize the quasinilpotent part $H_0(T-{\lambda})$ of class A(k) operator.

• Journal of applied mathematics & informatics
• /
• 제26권5_6호
• /
• pp.1057-1069
• /
• 2008

We consider singularly perturbed Boundary Value Problems (BVPs) for third and fourth order Ordinary Differential Equations(ODEs) of convection-diffusion type with discontinuous source term and a small positive parameter multiplying the highest derivative. Because of the type of Boundary Conditions(BCs) imposed on these equations these problems can be transformed into weakly coupled systems. In this system, the first equation does not have the small parameter but the second contains it. In this paper a computational method named as 'An asymptotic finite element method' for solving these systems is presented. In this method we first find an zero order asymptotic approximation to the solution and then the system is decoupled by replacing the first component of the solution by this approximation in the second equation. Then the second equation is independently solved by a fitted mesh Finite Element Method (FEM). Numerical experiments support our theoritical results.

• 대한수학회지
• /
• 제34권3호
• /
• pp.731-770
• /
• 1997

We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.

• Structural Engineering and Mechanics
• /
• 제38권3호
• /
• pp.261-281
• /
• 2011

A new method of formulation of a class of elements that are immune to mesh distortion effects is proposed here. The simple three-noded bar element with an offset of the internal node from the element center is employed here to demonstrate the method and the principles on which it is founded upon. Using the function space approach, the modified formulation is shown here to be superior to the conventional isoparametric version of the element since it satisfies the completeness requirement as the metric formulation, and yet it is in agreement with the best-fit paradigm in both the metric and the parametric domains. Furthermore, the element error is limited to only those that are permissible by the classical projection theorem of strains and stresses. Unlike its conventional counterpart, the modified element is thus not prone to any errors from mesh distortion. The element formulation is symmetric and thus satisfies the requirement of the conservative nature of problems associated with all self-adjoint differential operators. The present paper indicates that a proper mapping set for distortion immune elements constitutes geometric and displacement interpolations through parametric and metric shape functions respectively, with the metric components in the displacement/strain replaced by the equivalent geometric interpolation in parametric co-ordinates.

• 한국소음진동공학회논문집
• /
• 제23권11호
• /
• pp.943-950
• /
• 2013

This paper discusses a harmonic response estimation method on the L$\acute{e}$vy plate with two opposite edges simply supported and the other two edges having free boundary conditions. Since the equation of motion of the plate is not self-adjoint, the modes are not orthogonal to each other on the domain. Noting that the L$\acute{e}$vy plate can be expressed using one term sinusoidal function that is orthogonal to other sinusoidal functions, this paper suggested the calculation method that is equivalent to finding a least square error minimization solution of the finite number of algebraic equations. Example problems subjected to a distributed area loading and a distributed line loading are defined and their solutions are provided. The solutions are compared to those of the commercial code, ANSYS. According to the verification results, it is expected that the suggested method will be useful to predict the forced response on the L$\acute{e}$vy plate with the distributed area or line loading conditions.

• 전산구조공학
• /
• 제4권2호
• /
• pp.87-94
• /
• 1991

본고에서는 Sandhu등에 의해 개발된 다변수경계치문제의 변분모델화 방법을 이용하여 범함수의 독립변수로써 변위와 응력을 동시에 포함하는 이방성탄성문제의 혼합형변분원리(Mixed Variational Principle)를 유도한다. 탄성방정식을 내적공간에서 self-adjoint한 미분연산자매트릭스 방정식으로 표시한 후 다변수 경계치문제의 변분이론을 적용하므로써 일반적 범함수가 구해지며, 이때에 지배방정식의 미분연산자와 경계조건식의 연산자의 일관성 (Consistency)을 유지하므로써 경계조건도 체계적으로 범함수내에 포함시킬 수 있다. 이 일반적 범함수에서 미분연산자의 self-adjointness성질을 이용하여 응력함수의 도함수를 제거하고 탄성방정식중 특정식이 항상, 정확히 만족된다고 가정하므로써 원하는 혼합형변분원리의 범함수를 유도할 수 있다. 여기에서 유도된 변분원리는 최근 Reissner에 의해 개발된 변분원리와 유사한 물리적 의미를 가지나 유도방법이 다를 뿐 아니라 일반적 이방성탄성체에 적용할 때 보다 편리한 형태로 된다. 이 혼합형변분원리는 다양하게 응용될 수 있으나, 복합재료적층판과 같은 이질성, 이방성 평판이론, 또는 쉘이론의 유도에 유용하게 사용할 수 있다.