• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.2 no.1
• /
• pp.27-39
• /
• 1998

We describe a fast numerical method for non-separable elliptic equations in self-adjoin form on irregular adaptive domains. One of the most successful results in numerical PDE is developing rapid elliptic solvers for separable EPDEs, for example, Fourier transformation methods for Poisson problem on a square, however, it is known that there is no rapid elliptic solvers capable of solving a general nonseparable problems. It is the purpose of this paper to present an iterative solver for linear EPDEs in self-adjoint form. The scheme discussed in this paper solves a given non-separable equation using a sequence of solutions of Poisson equations, therefore, the most important key for such a method is having a good Poison solver. High performance is achieved by using a fast high-order adaptive Poisson solver which requires only about 500 floating point operations per gridpoint in order to obtain machine precision for both the computed solution and its partial derivatives. A few numerical examples have been presented.

• Structural Engineering and Mechanics
• /
• v.3 no.4
• /
• pp.313-324
• /
• 1995

Flexible cantilever pipes conveying fluids with high velocity are analysed for their dynamic response and stability behaviour. The Young's modulus and mass per unit length of the pipe material have a stochastic distribution. The stochastic fields, that model the fluctuations of Young's modulus and mass density are characterized through their respective means, variances and autocorrelation functions or their equivalent power spectral density functions. The stochastic non self-adjoint partial differential equation is solved for the moments of characteristic values, by treating the point fluctuations to be stochastic perturbations. The second-order statistics of vibration frequencies and mode shapes are obtained. The critical flow velocity is first evaluated using the averaged eigenvalue equation. Through the eigenvalue equation, the statistics of vibration frequencies are transformed to yield critical flow velocity statistics. Expressions for the bounds of eigenvalues are obtained, which in turn yield the corresponding bounds for critical flow velocities.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].