• 대한수학회지
• /
• 제46권3호
• /
• pp.551-560
• /
• 2009

A theorem of Robert Blumenthal is used here in order to obtain a sufficient condition for a function between two Finsler manifolds to be a fibre bundle map. Our study is connected with two possible constructions: 1) a Finslerian generalization of usually Kaluza-Klein theories which use Riemannian metrics, the well-known particular case of Finsler metrics, 2) a Finslerian version of reduction process from geometric mechanics. Due to a condition in the Blumenthal's result the completeness of Euler-Lagrange vector fields of Finslerian type is discussed in detail and two situations yielding completeness are given: one concerning the energy and a second related to Finslerian fundamental function. The connection of our last framework, namely a regular Lagrangian having the energy as a proper (in topological sense) function, with the celebrated $Poincar{\acute{e}}$ Recurrence Theorem is pointed out.

• 대한수학회지
• /
• 제33권3호
• /
• pp.651-655
• /
• 1996

Lagrange's famous Four Square Theorem [L] says that every positive integer can be represented by the sum of four squares. This marvelous theorem was generalized by Mordell [M1] and Ko [K1] as follows : every positive definite integral quadratic form of two, three, four, and five variables is represented by the sum of five, six, seven, and eight squares, respectively. And they tried to extend this to positive definite integral quadratic forms of six or more variables.

• 대한수학회보
• /
• 제57권1호
• /
• pp.251-274
• /
• 2020

We study a dynamical system that was originally defined by Romik in 2008 using an old theorem of Berggren concerning Pythagorean triples. Romik's system is closely related to the Farey map on the unit interval which generates an additive continued fraction algorithm. We explore some number theoretical properties of the Romik system. In particular, we prove an analogue of Lagrange's theorem in the case of the Romik system on the unit quarter circle, which states that a point possesses an eventually periodic digit expansion if and only if the point is defined over a real quadratic extension field of rationals.

• Smart Structures and Systems
• /
• 제13권1호
• /
• pp.111-135
• /
• 2014

Based on the Reissner mixed variational theorem (RMVT), finite rectangular layer methods (FRLMs) are developed for the three-dimensional (3D) linear buckling analysis of simply-supported, fiber-reinforced composite material (FRCM) and functionally graded material (FGM) sandwich plates subjected to bi-axial compressive loads. In this work, the material properties of the FGM layers are assumed to obey the power-law distributions of the volume fractions of the constituents through the thickness, and the plate is divided into a number of finite rectangular layers, in which the trigonometric functions and Lagrange polynomials are used to interpolate the in- and out-of-plane variations of the field variables of each individual layer, respectively, and an h-refinement process is adopted to yield the convergent solutions. The accuracy and convergence of the RMVT-based FRLMs with various orders used for expansions of each field variables through the thickness are assessed by comparing their solutions with the exact 3D and accurate two-dimensional ones available in the literature.

• 한국해양공학회지
• /
• 제19권5호
• /
• pp.58-64
• /
• 2005

In this paper, a feedback linearizing anti-sway control law, using a 2-D model for container cranes, is investigated. The equations of motion are first derived from Lagrange's equation. Then, by substituting the sway dynamics into the trolley dynamics, a reduction of variables from three (trolley, hoist, sway) to two (trolley, hoist) is pursued. The anti-sway control law is designed based on the Lyapunov stability theorem. The proposed control law guarantees the uniform asymptotic stability of the closed-loop system. The simulation results of the derived control law, using MATLAB/Simulink, are compared with those of the sliding mode control law, noted in previous literature. Also, experimental results using a 3-D pilot crane are provided.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권1호
• /
• pp.53-63
• /
• 2008

수학 영재교육에서 여러 학문영역의 지식을 종합하며, 이를 바탕으로 창의적으로 문제를 해결하는 능력과 경험을 가지는 것은 매우 중요하다. 본 연구에서는 물리학의 역학분야에서 연구되는 관성능률 개념을 수학적 문제해결의 도구로 활용하여 몇몇 등식들, 부등식들에 대한 새로운 증명방법을 제시하며, 관성능률을 이용한 문제해결 방법의 특징들을 고찰하였다.

• 항공우주시스템공학회지
• /
• 제7권2호
• /
• pp.1-7
• /
• 2013

Recently, there are a number of studies over dynamic analysis for minimizing vibration of flexible structures such as solar panel for agility of high-agility satellite. The traditional studies perform dynamic analysis of a solar panel assumed as rigid structure since the stiffness of solar panel is higher than the stiffness of solar panel's hinge spring. However, there are vibrations that have modes of bending and torsion when high-agility satellite rotate speedily. This vibrations result in delaying safety time of satellite or degrading image quality. This paper presents dynamic analysis's technique of satellites including the spring hinge of solar panel and flexible structural solar panel's effects described as the linear equation of motion using Lagrange's theorem, and verifies the validity of an established dynamic analysis's technique of satellites by comparing the finite element method. In addition high-agility satellite's dynamic characteristics of a torque profile are analyzed from the established dynamic analysis's technique of satellites.

• International Journal of Aeronautical and Space Sciences
• /
• 제17권4호
• /
• pp.476-490
• /
• 2016

This paper defines mode shape function of a composite solar panel assumed as Kirchhoff-Love plate for considering a torsional mode of composite solar panel. It then goes on to define dynamic model of a high-agility satellite considering the flexibility of composite solar panel as well as stiffness of a solar panel's hinge using Lagrange's theorem, Ritz method and the mode shape function. Furthermore, this paper verifies the validity of dynamic model by comparing numerical results from the finite element analysis. In addition, this paper performs a dynamic response analysis of a rigid satellite which includes only natural modes for solar panel's hinges and a flexible satellite which includes not only natural modes of solar panel's hinges, but also structural modes of composite solar panels. According to the results, we confirm that the torsional mode of solar panel should be considered for the structural design of high-agility satellite. Finally, we performed optimization of high-agility satellite for minimizing mass with solar panel's area limit using the defined dynamic model. Consequently, we observed that the defined dynamic model for a high-agility satellite and result of the optimal design are very useful not only because of their optimal structural design but also because of the dynamic analysis of the satellite.