• The Pure and Applied Mathematics
• /
• v.18 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.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.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.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.

• Communications of the Korean Mathematical Society
• /
• v.32 no.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
• /
• v.26 no.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.

• Journal of the Korean Mathematical Society
• /
• v.34 no.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
• /
• v.38 no.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.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.23 no.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.

• Computational Structural Engineering
• /
• v.4 no.2
• /
• pp.87-94
• /
• 1991

In this paper, a mixed variational principle applicable to the linear elasticity of inhomogeneous anisotropic materials is presented. For derivation of the general variational principle, a systematic procedure for the variational formulation of linear coupled boundary value problems developed by Sandhu et al. is employed. Consistency condition of the field operators with the boundary operators results in explicit inclusion of boundary conditions in the governing functional. Extensions of admissible state function spaces and specialization to a certain relation in the general governing functional lead to the desired mixed variational principle. In the physical sense, the present variational principle is analogous to the Reissner's recent formulation obtained by applying Lagrange multiplier technique followed by partial Legendre transform to the classical minimum potential energy principle. However, the present one is more advantageous for the application to the general anisotropic materials since Reissner's principle contains an implicit function which is not easily converted to an explicit form.