• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.707-723
• /
• 1999

Since the modular curve $X(4)=\Gamma(4)/{\mathfrak{}}^*$ has genus 0, we have a field isomorphism K(X(4)){\approx}\mathcal{C}(j_{4})$ where $j_{4}(z)={\theta}_{3}(\frac{z}{2})/{\theta}_{4}(\frac{z}{2})$ is a quotient of Jacobi theta series ([9]). We derive recursion formulas for the Fourier coefficients of $j_4$ and $N(j_{4})$ (=the normalized generator), respectively. And we apply these modular functions to Thompson series and the construction of class fields.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.3
• /
• pp.364-377
• /
• 2008

Due to the difficulty in solving the Hamilton-Jacobi-Isaacs equation, the nonlinear optimal control approach is not very practical in general. To overcome this problem, Ezal et al. (2000) first solved a linear optimal control problem for the linearized model of a nonlinear system given in the strict-feedback form. Then, using the backstepping procedure, a nonlinear feedback controller was designed where the linear part is same as the linear feedback obtained from the linear optimal control design. However, their construction is based on the cancellation of the high order nonlinearity, which limits the application to the smooth ($C^{\infty}$) vector fields. In this paper, we develop an alternative method for backstepping procedure, so that the vector field can be just $C^1$, which allows this approach to be applicable to much larger class of nonlinear systems.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.805-812
• /
• 2014

For unit tangent sphere bundles $T_1M$ with the standard contact metric structure (${\eta},\bar{g},{\phi},{\xi}$), we have two fundamental operators that is, $h=\frac{1}{2}{\pounds}_{\xi}{\phi}$ and ${\ell}=\bar{R}({\cdot},{\xi}){\xi}$, where ${\pounds}_{\xi}$ denotes Lie differentiation for the Reeb vector field ${\xi}$ and $\bar{R}$ denotes the Riemmannian curvature tensor of $T_1M$. In this paper, we study the Reeb ow invariancy of the corresponding (0, 2)-tensor fields H and L of h and ${\ell}$, respectively.

• East Asian mathematical journal
• /
• v.22 no.2
• /
• pp.249-257
• /
• 2006

Let n be a 2-step nilpotent Lie algebra which has an inner product <,> and has an orthogonal decomposition $n=\delta{\oplus}\varsigma$ for its center $\delta$ and the orthogonal complement $\varsigma\;of\;\delta$. Then Each element Z of $\delta$ defines a skew symmetric linear map $J_Z:\varsigma{\rightarrow}\varsigma$ given by $=$ for all $X,\;Y{\in}\varsigma$. Let $\gamma$ be a unit speed geodesic in a 2-step nilpotent Lie group H(2, 1) with its Lie algebra n(2, 1) and let its initial velocity ${\gamma}$(0) be given by ${\gamma}(0)=Z_0+X_0{\in}\delta{\oplus}\varsigma=n(2,\;1)$ with its center component $Z_0$ nonzero. Then we showed that $\gamma(0)$ is conjugate to $\gamma(\frac{2n{\pi}}{\theta})$, where n is a nonzero intger and $-{\theta}^2$ is a nonzero eigenvalue of $J^2_{Z_0}$, along $\gamma$ if and only if either $X_0$ is an eigenvector of $J^2_{Z_0}$ or $adX_0:\varsigma{\rightarrow}\delta$ is not surjective.

• Geophysics and Geophysical Exploration
• /
• v.5 no.4
• /
• pp.280-290
• /
• 2002

Three-dimensional (3-D) electromagnetic (EM) modeling algorithm has been developed using finite element method (FEM) to acquire more efficient interpretation techniques of EM data. When FEM based on nodal elements is applied to EM problem, spurious solutions, so called 'vector parasite', are occurred due to the discontinuity of normal electric fields and may lead the completely erroneous results. Among the methods curing the spurious problem, this study adopts vector element of which basis function has the amplitude and direction. To reduce computational cost and required core memory, complex bi-conjugate gradient (CBCG) method is applied to solving complex symmetric matrix of FEM and point Jacobi method is used to accelerate convergence rate. To verify the developed 3-D EM modeling algorithm, its electric and magnetic field for a layered-earth model are compared with those of layered-earth solution. As we expected, the vector based FEM developed in this study does not cause ny vector parasite problem, while conventional nodal based FEM causes lots of errors due to the discontinuity of field variables. For testing the applicability to high frequencies 100 MHz is used as an operating frequency for the layer structure. Modeled fields calculated from developed code are also well matched with the layered-earth ones for a model with dielectric anomaly as well as conductive anomaly. In a vertical electric dipole source case, however, the discontinuity of field variables causes the conventional nodal based FEM to include a lot of errors due to the vector parasite. Even for the case, the vector based FEM gave almost the same results as the layered-earth solution. The magnetic fields induced by a dielectric anomaly at high frequencies show unique behaviors different from those by a conductive anomaly. Since our 3-D EM modeling code can reflect the effect from a dielectric anomaly as well as a conductive anomaly, it may be a groundwork not only to apply high frequency EM method to the field survey but also to analyze the fold data obtained by high frequency EM method.