• Kyungpook Mathematical Journal
• /
• v.8 no.2
• /
• pp.63-64
• /
• 1968

• Journal of the Korean Statistical Society
• /
• v.25 no.1
• /
• pp.153-159
• /
• 1996

Sums of independent random variables $S_n = X_1 + X_ + cdots + X_n$ are considered, where the X$_{n}$ are chosen according to a stationary process of distributions. Given the time t .geq. O, let N (t) be the number of indices n for which O < $S_n$ $\geq$ t. In this set up we prove that N (t)/t converges almost surely and in $L^1$ as t longrightarrow $\infty$, which generalizes classical renewal theorem.m.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.401-408
• /
• 2006

Fixed point theory is one of famous theories from theoretical and numerical point of views. Banach fixed point theorem plays a main role in this theory. In this article, Grabiec's fuzzy Banach contraction theorem [3] and Vasuki's theorem [12] for a complete fuzzy metric space, in the sense of Song [11] (or George and Veeramani), is proved by an extra condition.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.861-868
• /
• 2006

We present a Choquet-Deny-type theorem for downward filtering convex sets of continuous functions and show that the Identity Korovkin cone of a downward filtering convex cone S is exactly the uniform closure of S.

• Journal of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.1-9
• /
• 2006

Based on the Schauder fixed point theorem, we give a Leray-Schauder type fixed point theorem for countably condensing mappings in a more general setting and apply it to obtain eigenvalue results on condensing mappings in a simple proof. Moreover, we present a generalization of Sadovskii's fixed point theorem for count ably condensing self-mappings due to S. J. Daher.

• Journal of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.421-435
• /
• 2001

In this paper we use a general Fubini theorem established in [13] to obtain several Feynman integration formulas involving analytic Fourier-Feynman transforms. Included in these formulas is a general Parseval's relation.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.171-177
• /
• 2018

In this research paper considering a differential equation with impulsive effect and dependent delay and applied Banach fixed point theorem using the impulsive condition to the impulsive fractional functional differential equation of an order ${\alpha}{\in}(1,2)$ to get an uniqueness solution. At last, theorem is verified by using a numerical example to illustrate the uniqueness solution.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.565-570
• /
• 1994

In this article we prove a version of the Perron-Frobenius Theorem in linear algebra using the Brouwer's Fixed Point Theorem in topology. We will mostly concentrate on he qualitative aspect of the Perron-Frobenius Theorem rather than quantitative formulas, which would be enough for theoretical investigations in ergodic theory. By the nature of the method of the proof, we do not expect to obtain a numerical estimate. But we may regard it worthwhile to see why a certain type of result should be true from a topological and geometrical viewpoint. However, a geometric argument alone would give us a sharp numerical bounds on the size of the eigenvalue as shown in Section 2. Eigenvectors of a matrix A will be fixed points of a certain mapping defined in terms of A. We shall modify an existing proof of Frobenius Theorem and that will do the trick for Perron-Frobenius Theorem.

• Research in Mathematical Education
• /
• v.27 no.1
• /
• pp.75-92
• /
• 2024

Mathematical argument has been given much attention in the research literature as a mediating construct between reasoning and proof. However, there have been relatively less efforts made in the research that examined the nature of empirical arguments represented in textbooks and how students perceive them as proofs. Cases of point include Intermediate Value Theorem [IVT] and Maximum-Minimum theorem [MMT] in grade 11 in Korea. In this study, using Toulmin's framework (1958), the author analyzed the substance of the empirical arguments provided for both MMT and IVT to draw comparisons between the nature of datum, claims, and warrants among empirical arguments offered in textbooks. Also, an online survey was administered to learn about how students view as proofs the empirical arguments provided for MMT and IVT. Results indicate that nearly half of students tended to accept the empirical arguments as proofs. Implications are discussed to suggest alternative approaches for teaching MMT and IVT.

• Journal of the Korean Statistical Society
• /
• v.23 no.2
• /
• pp.303-323
• /
• 1994

In this paper, distribution of Votaw's $\lambda_1$(mvc) criterion has been obtained using inverse Mellin transform, residue theorem and properties of special functions.