• Korean Journal of Mathematics
• /
• v.20 no.2
• /
• pp.263-271
• /
• 2012

We investigate the number of the solutions for the biharmonic boundary value problem with a variable coefficient nonlinear term. We get a theorem which shows the existence of $m$ weak solutions for the biharmonic problem with variable coefficient. We obtain this result by using the critical point theory induced from the invariant function and invariant linear subspace.

• Korean Journal of Mathematics
• /
• v.20 no.3
• /
• pp.333-341
• /
• 2012

We investigate the number of solutions for the superlinear elliptic bifurcation problem with Dirichlet boundary condition. We get a theorem which shows the existence of at least $k$ weak solutions for the superlinear elliptic bifurcation problem with boundary value condition. We obtain this result by using the critical point theory induced from invariant linear subspace and the invariant functional.

• Korean Journal of Mathematics
• /
• v.20 no.4
• /
• pp.485-491
• /
• 2012

In this paper, we show the norm attaining paranormal operators have a nontrivial invariant subspace. Also, we show the norm attaining quadratically hyponormal weighted shift is subnormal.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.667-680
• /
• 2016

We get a theorem which shows the multiple weak solutions for the bifurcation problem of the superquadratic nonlinear Hamiltonian system. We obtain this result by using the variational method, the critical point theory in terms of the $S^1$-invariant functions and the $S^1$-invariant linear subspaces.

• Kyungpook Mathematical Journal
• /
• v.47 no.2
• /
• pp.221-226
• /
• 2007

In this note we set forth three possible definitions of the property of "almost commuting with a compact operator" and discuss an old result of W. Arveson that says that every operator on Hilbert space has the weakest of the three properties. Finally, we discuss some recent progress on the hyperinvariant subspace problem (see the bibliography), and relate it to the concept of almost commuting with a compact operator.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.1
• /
• pp.142-148
• /
• 2008

In this paper, we deal with the problem of reducing the order of the detection filter for the linear time-invariant system. Even if the detection filter is generally designed in the form of full order linear observer, we show that it is possible to reduce its order when the response of fault signals is limited to a subspace of the estimation state space. We propose a method to extract the subspace using the observer canonical form considering the dynamics related to the remaining subspace acts as a disturbance. We designed a reduced order detection filter to reject the disturbance as well as to guarantee fault detection and isolation. A simulation result for a 5th order system is presented as an illustrative example of the proposed design method.

• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.903-921
• /
• 2008

A continuous linear operator $T\;:\;X{\rightarrow}X$ is called hypercyclic if there exists an $x\;{\in}\;X$ such that the orbit ${T^nx}_{n{\geq}0}$ is dense. We consider the problem: given an operator $T\;:\;X{\rightarrow}X$, hypercyclic or not, is the restriction $T|y$ to some closed invariant subspace $y{\subset}X$ hypercyclic? In particular, it is well-known that any non-constant partial differential operator p(D) on $H({\mathbb{C}}^d)$ (entire functions) is hypercyclic. Now, if q(D) is another such operator, p(D) maps ker q(D) invariantly (by commutativity), and we obtain a necessary and sufficient condition on p and q in order that the restriction p(D) : ker q(D) $\rightarrow$ ker q(D) is hypercyclic. We also study hypercyclicity for other types of operators on subspaces of $H({\mathbb{C}}^d)$.

• Kyungpook Mathematical Journal
• /
• v.59 no.2
• /
• pp.225-231
• /
• 2019

In a previous paper, the authors of this paper studied $2{\times}2$ matrices in upper triangular form, whose entries are operators on Hilbert spaces, and in which the the (1, 1) entry has a nontrivial hyperinvariant subspace. We were able to show, in certain cases, that the $2{\times}2$ matrix itself has a nontrivial hyperinvariant subspace. This generalized two earlier nice theorems of H. J. Kim from 2011 and 2012, and made some progress toward a solution of a problem that has been open for 45 years. In this paper we continue our investigation of such $2{\times}2$ operator matrices, and we improve our earlier results, perhaps bringing us closer to the resolution of the long-standing open problem, as mentioned above.

• East Asian mathematical journal
• /
• v.5 no.1
• /
• pp.95-110
• /
• 1989

In a general variance component model, nonnegative quadratic estimators of the components of variance are considered which are invariant with respect to mean value translaion and have minimum bias (analogously to estimation theory of mean value parameters). Here the minimum is taken over an appropriate cone of positive semidefinite matrices, after having made a reduction by invariance. Among these estimators, which always exist the one of minimum norm is characterized. This characterization is achieved by systems of necessary and sufficient condition, and by a cone restricted pseudoinverse. In models where the decomposing covariance matrices span a commutative quadratic subspace, a representation of the considered estimator is derived that requires merely to solve an ordinary convex quadratic optimization problem. As an example, we present the two way nested classification random model. An unbiased estimator is derived for the mean squared error of any unbiased or biased estimator that is expressible as a linear combination of independent sums of squares. Further, it is shown that, for the classical balanced variance component models, this estimator is the best invariant unbiased estimator, for the variance of the ANOVA estimator and for the mean squared error of the nonnegative minimum biased estimator. As an example, the balanced two way nested classification model with ramdom effects if considered.

• International Journal of Aeronautical and Space Sciences
• /
• v.17 no.2
• /
• pp.184-194
• /
• 2016

In existing identification methods for on-orbit spacecraft, such as eigensystem realization algorithm (ERA) and subspace method identification (SMI), singular value decomposition (SVD) is used frequently to estimate the modal parameters. However, these identification methods are often used to process the linear time-invariant system, and there is a lower computation efficiency using the SVD when the system order of spacecraft is high. In this study, to improve the computational efficiency in identifying time-varying modal parameters of large spacecraft, a faster recursive algorithm called fast approximated power iteration (FAPI) is employed. This approach avoids the SVD and can be provided as an alternative spacecraft identification method, and the latest modal parameters obtained can be applied for updating the controller parameters timely (e.g. the self-adaptive control problem). In numerical simulations, two large flexible spacecraft models, the Engineering Test Satellite-VIII (ETS-VIII) and Soil Moisture Active/Passive (SMAP) satellite, are established. The identification results show that this recursive algorithm can obtain the time-varying modal parameters, and the computation time is reduced significantly.