• Journal of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.451-470
• /
• 2020

Let C[0, T] denote an analogue of Wiener space, the space of real-valued continuous functions on the interval [0, T]. For a partition 0 = t₀ < t₁ < ⋯ < t_n < t_n+1 = T of [0, T], define X_n : C[0, T] → ℝⁿ⁺¹ by X_n(x) = (x(t₀), x(t₁), …, x(t_n)). In this paper we derive a simple evaluation formula for Radon-Nikodym derivatives similar to the conditional expectations of functions on C[0, T] with the conditioning function X_n which has a drift and does not contain the present position of paths. As applications of the formula with X_n, we evaluate the Radon-Nikodym derivatives of the functions ∫₀^T[x(t)]^mdλ(t)(m∈ℕ) and [∫₀^Tx(t)dλ(t)]² on C[0, T], where λ is a complex-valued Borel measure on [0, T]. Finally we derive two translation theorems for the Radon-Nikodym derivatives of the functions on C[0, T].

• Communications of Mathematical Education
• /
• v.20 no.1 s.25
• /
• pp.9-18
• /
• 2006

In this paper we study on concept analogy of altitude and escribed circle of triangle. We start from following theorems related with sides of triangle: existence of triangle, Pythagoras theorem, cosine theorem, Heron formula. Using concept analogy of sides-altitudes, altitudes-escribed circle's radii we discover some properties of altitude and escribed circle's radii and prove these properties.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.3
• /
• pp.653-659
• /
• 2015

The Pythagorean formula for baseball postulated by James (1982) indicates the winning percentage as a function of runs scored and runs allowed. However sometimes, the Pythagorean formula gives a less accurate estimate of winning percentage. We use the records of team vs team historic win loss records of Korean professional baseball clubs season from 2005 and 2014. Using assumption that the difference between winning percentage and pythagorean expectation are affected by unusual distribution of runs scored and allowed, we suppose that difference depends on mean, standard deviation, and coefficient of variation of runs scored per game and runs allowed per game, respectively. In conclusion, the discrepancy is mainly related to the coefficient of variation and standard deviation for run allowed per game regardless of run scored per game.

• Journal of the Korea Concrete Institute
• /
• v.18 no.4 s.94
• /
• pp.469-477
• /
• 2006

Models to predict the ultimate strength of simply supported or continuous deep beams with web openings are proposed. The derived equations are based on upper-bound theorem. The concrete is assumed as a perfectly plastic material obeying the modified Coulomb failure criteria with zero tension cutoff. Reinforcing bar is considered as elastic-perfectly plastic material and its stress is calculated from the limiting principal compressive strain of concrete. The governing failure mechanisms based on test results are idealized as rigid moving blocks separated by a hyperbolic yield line. The effective compressive strength of concrete is calculated from the formula proposed by Vecchio and Collins. Comparisons with existing test results are performed, and they show good agreement.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.8
• /
• pp.1276-1290
• /
• 1997

The previous elastic stiffness formulas of leaf type holddown spring assemblies(HDSs) have been corrected and extended to be able to consider the point of taper runout for the TT-HDS and all the strain energies for both the TT-HDS and the TW-HDS based on Euler beam theory and Castigliano'stheorem. The elastic stiffness sensitivity of the leaf type holddown spring assemblies was analyzed using the derived elastic stiffness formulas and their gradient vectors obtained from the mid-point formula. As a result of the sensitivity analysis, the elastic stiffness sensitivity at each design variable is quantified and design variables having remarkable sensitivity are identified. Among the design variables, leaf thickness is identified as that of having the most remarkable sensitivity of the elastic stiffness. In addition, it was found that the sensitivity of the leaf type HDS's elastic stiffness is exponentially correlated to the leaf thickness.

• Communications of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.65-74
• /
• 2014

The well known quadratic transformation formula due to Gauss: $$(1-x)^{-2a}{_2F_1}\[{{a,b;}\\\hfill{21}{2b;}}\;-\frac{4x}{(1-x)^2}\]={_2F_1}\[{{a,a-b+\frac{1}{2};}\\\hfill{65}{b+\frac{1}{2};}}\;x^2\]$$ plays an important role in the theory of (generalized) hypergeometric series. In 2001, Rathie and Kim have obtained two results closely related to the above quadratic transformation for $_2F_1$. Our main objective of this paper is to deduce some interesting known or new results for the series $_2F_1(x)$ by using the above Gauss's quadratic transformation and its contiguous relations and then apply our results to provide a list of a large number of integrals involving confluent hypergeometric functions, some of which are (presumably) new. The results established here are (potentially) useful in mathematics, physics, statistics, engineering, and so on.

• School Mathematics
• /
• v.18 no.1
• /
• pp.85-103
• /
• 2016

This study was to find characteristics of argumentation derived from a discourse in a math-gifted 5 grade class, which was held for finding a Pick's formula using Geoboard function of TI-73 calculator. For the analysis, a video record of the class, transcript of its voice record, and activity paper were used as data and Toulmin's argument schemes were applied as analysis standard. As a result of the study, we found that the graphing calculator helped the students to create an experimental environment that graphing a grid-polygon and figuring out its area. Furthermore, it also provided a basic demonstration through 'data->claim' composition and reasoning activities which consisted of guarantee, warrant, backing, qualifier and refutal for justifying. The basic argumentation during the process of deriving the Pick's theorem by the numbers of boundary points and inner points was developed into a 'collective argumentation' while a teacher took a role of a conductor of the argumentation and an authorizer on the knowledge at the same time.

• Structural Engineering and Mechanics
• /
• v.25 no.2
• /
• pp.181-200
• /
• 2007

A decoupling technique for simulating near-field wave motions in two-phase media is introduced in this paper. First, an equivalent but direct weighted residual method is presented in this paper to solve boundary value problems more explicitly. We applied the Green's theorem for integration by parts on the equivalent integral statement of the field governing equations and then introduced the Neumann conditions directly. Using this method and considering the precision requirement in wave motion simulation, a lumped-mass FEM for two-phase media with clear physical concepts and convenient implementation is derived. Then, considering the innate attenuation character of the wave in two-phase media, an attenuation parameter is introduced into Liao's Multi-Transmitting Formula (MTF) to simulate the attenuating outgoing wave in two-phase media. At last, two numerical experiments are presented and the numerical results are compared with the analytical ones demonstrating that the lumped-mass FEM and the generalized MTF introduced in this paper have good precision.

• Wind and Structures
• /
• v.11 no.3
• /
• pp.241-256
• /
• 2008

This paper adopts autoregressive (AR) model to simulate the wind velocity of spatial three-dimensional fields in accordance with the time and space dependent characteristics of the 3-D fields. Based on the built MATLAB programming, this paper discusses in detail the issues of the AR model deduced by matrix form in the simulation and proposes the corresponding solving methods: the over-relaxation iteration to solve the large sparse matrix equations produced by large number of degrees of freedom of structures; the improved Gauss formula to calculate the numerical integral equations which integral functions contain oscillating functions; the mixed congruence and central limit theorem of Lindberg-Levy to generate random numbers. This paper also develops a method of ascertaining the rank of the AR model. The numerical examples show that all those methods are stable and reliable, which can be used to simulate the wind velocity of all large span structures in civil engineering.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.713-725
• /
• 1998

Let X and Y be Ito processes with dX$_{s}$ = $\phi$$_{s}$dB$_{s}$ ＋ $\psi$$_{s}$ds and dY$_{s}$ = (equation omitted)dB$_{s}$ ＋ ξ$_{s}$ds. Burkholder obtained a sharp bound on the distribution of the maximal function of Y under the assumption that │Y$_{0}$│$\leq$│X$_{0}$│,│ζ│$\leq$│$\phi$│, │ξ│$\leq$│$\psi$│ and that X is a nonnegative local submartingale. In this paper we consider a wider class of Ito processes, replace the assumption │ξ│$\leq$│$\psi$│ by a more general one │ξ│$\leq$$\alpha$ │$\psi$│ , where a $\geq$ 0 is a constant, and get a weak-type inequality between X and the maximal function of Y. This inequality, being sharp for all a $\geq$ 0, extends the work by Burkholder.der.urkholder.der.