• 대한수학회지
• /
• 제46권2호
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.

• 대한수학회지
• /
• 제48권2호
• /
• pp.397-420
• /
• 2011

In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제21권4호
• /
• pp.257-270
• /
• 2014

In this article, we consider a homogeneous function of degree four in quaternionic vector spaces and $S^{4n+3}$ which is invariant under $S^3$ and U(n + 1)-action. We show it is an isoparametric function providing isoparametric hypersurfaces in $S^{4n+3}$ with g = 4 distinct principal curvatures and isoparametric hypersurfaces in quaternionic projective spaces with g = 5. This extends study of Nomizu on isoparametric function on complex vector spaces and complex projective spaces.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.495-508
• /
• 2005

We investigated both classical and quantum properties of a damped harmonic oscillator with a time-variable elastic coefficient using invariant operator method. We acquired the energy eigenvalues, uncertainties and probability densities for several types of wave packet. The probability density corresponding to the displaced minimum wave packet expressed in terms of the time-dependent Gaussian function. The displaced minimum wave packet not only be attenuated but also oscillates about x = 0. We confirmed that there exist correspondence between quantum and classical behaviors for the time-dependent damped harmonic oscillator.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제16권1호
• /
• pp.147-154
• /
• 2009

Tamanoi proposed higher Schwarzian operators which include the classical Schwarzian derivative as the first nontrivial operator. In view of the relations between the classical Schwarzian derivative and the analogous differential operator defined in terms of Peschl's differential operators, we define the generating function of our generalized higher operators in terms of Peschl's differential operators and obtain recursion formulas for them. Our generalized higher operators include the analogous differential operator to the classical Schwarzian derivative. A special case of our generalized higher Schwarzian operators turns out to be the Tamanoi's operators as expected.

• 대한수학회지
• /
• 제33권4호
• /
• pp.983-992
• /
• 1996

Let p(x, dy) be a transition probability function on $(S, \rho)$, where S is a complete separable metric space. Then a Markov process $X_n$ which has p(x, dy) as its transition probability may be generated by random iterations of the form $X_{n+1} = f(X_n, \varepsilon_{n+1})$, where $\varepsilon_n$ is a sequence of independent and identically distributed random variables (See, e.g., Kifer(1986), Bhattacharya and Waymire(1990)).

• Journal of applied mathematics & informatics
• /
• 제11권1_2호
• /
• pp.391-399
• /
• 2003

Let (X,S,$\mu$) be a measure space and M be the vector space of all real valued S-measurable functions defined on (X,S,$\mu$). For $E\;{\in}\;S$ with $\mu(E)\;<\;{\infty}$, $d_E$ is a pseudometric on M. With the notion of D = {$d_E$\mid$E\;{\in}\;S,\mu(E)\;<\;{\infty}$}, in this paper we investigate some topological structure T of M. Indeed, we shall show that it is possible to define a complete invariant metric on M which is compatible with the topology T on M.

• 전자공학회논문지S
• /
• 제34S권2호
• /
• pp.79-93
• /
• 1997

This paper presents a linear shift-invariant system euqivalent to morphological dilation for a memoryless uniform source in the sense of the power spectral density function, and comares it with dialtion. This equivalent LSI system is found through spectral decomposition and, for dilation and with windwo size L, it is shown to be a finite impulse response filter composed of L-1 delays, L multipliers and three adders. Th ecoefficients of the equivalent systems are tabulated. The comparisons of dilation and its equivalent LSI system show that probability density functions of the output sequences of the two systems are quite different. In particular, the probability density functon from dilation of an independent and identically distributed uniform source over the unit interval (0, 1) shows heavy probability in around 1, while that from the equivalent LSI system shows probability concentration around themean vlaue and symmetricity about it. This difference is due to the fact that dilation is a non-linear process while the equivalent system is linear and shift-ivariant. In the case that dikation is fabored over LSI filters in subjective perforance tests, one of the factors can be traced to this difference in the probability distribution.

• Journal of the Korean Statistical Society
• /
• 제24권2호
• /
• pp.293-301
• /
• 1995

Sums of independent random variables $S_n = X_1 + \cdots + X_n$ are considered, where the $X_n$ are chosen according to a stationary process of distributions. For $c > 0$, let $t_c$ be the smallest positive integer n such that $$\mid$S_n$\mid$ > cn^{\frac{1}{2}}$. In this set up we are concerned with finiteness of expectation of $t_c$ and we have some results of sign-invariant process as applications.

• 한국지반공학회지:지반
• /
• 제11권3호
• /
• pp.81-90
• /
• 1995

본문은 현재 제안되고 있는 Lade모델을 분석하여 같은 관점에서 Lade모델과는 다른 개선된 탄.소성 모델을 제안하고자 한 것이다. 이 제안모델의 소성포텐셜함수(gp)는 항복함수(fp)에 다른 응력불변량(I1)을 부가시킨 형태로 제안하였으며, 이를 교정함수(Correction Function)라고 정의하여 전단항복면을 결정할 때 소성포텐셜함수가 독립적으로 기능하여 구성식의 확장이나 변화에 대응 하도록 하였다. 본 연구는 일종의 해석적 연구이므로 그 결과는 기존의 연구이론과 비교되어야 하므로 Sacramento River Sand의 시험결과와 백마강모래의 시험결과의 매개변수를 이용하여 Lade모델과 제안모델의 결과를 상호비교 하여 검증을 시도 하였다. 결과적으로 본 제안모델은 더 정확한 응력-변형 관계의 예측이 가능한 구성식으로의 전개가 가능할 것으로 판단된다.