• Honam Mathematical Journal
• /
• v.38 no.1
• /
• pp.25-37
• /
• 2016

In 1972, Andrews derived the basic analogue of Gauss's second summation theorem and Bailey's theorem by implementing basic analogue of Kummer's theorem into identity due to Jackson. Recently Lavoie et.al. derived many results closely related to Kummer's theorem, Gauss's second summation theorem and Bailey's theorem and also Rakha et. al. derive the basic analogues of results closely related Kummer's theorem. The aim of this paper is to derive basic analogues of results closely related Gauss's second summation theorem and Bailey's theorem. Some applications and limiting cases are also considered.

• Communications of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.989-993
• /
• 2022

In this paper, we prove Pascal's hexagon theorem by elementary tools only. We follow the well-known route to prove the theorem by Bezóut's theorem, explaining all the details in elementary argument. In particular, we prove a toy version of Study's lemma.

• Kyungpook Mathematical Journal
• /
• v.46 no.4
• /
• pp.553-563
• /
• 2006

Let A be a bounded linear operator acting on a Hilbert space H. The B-Weyl spectrum of A is the set ${\sigma}_{B{\omega}}(A)$ of all ${\lambda}{\in}\mathbb{C}$ such that $A-{\lambda}I$ is not a B-Fredholm operator of index 0. Let E(A) be the set of all isolated eigenvalues of A. Recently in [6] Berkani showed that if A is a hyponormal operator, then A satisfies generalized Weyl's theorem ${\sigma}_{B{\omega}}(A)={\sigma}(A)$\E(A), and the B-Weyl spectrum ${\sigma}_{B{\omega}}(A)$ of A satisfies the spectral mapping theorem. In [51], H. Weyl proved that weyl's theorem holds for hermitian operators. Weyl's theorem has been extended from hermitian operators to hyponormal and Toeplitz operators [12], and to several classes of operators including semi-normal operators ([9], [10]). Recently W. Y. Lee [35] showed that Weyl's theorem holds for algebraically hyponormal operators. R. Curto and Y. M. Han [14] have extended Lee's results to algebraically paranormal operators. In [19] the authors showed that Weyl's theorem holds for algebraically p-hyponormal operators. As Berkani has shown in [5], if the generalized Weyl's theorem holds for A, then so does Weyl's theorem. In this paper all the above results are generalized by proving that generalizedWeyl's theorem holds for the case where A is an algebraically ($p,\;k$)-quasihyponormal or an algebarically paranormal operator which includes all the above mentioned operators.

• The Pure and Applied Mathematics
• /
• v.19 no.1
• /
• pp.37-42
• /
• 2012

We give an elementary proof of Descartes' theorem for polyhedra. Since Descartes' theorem is equivalent to Euler's theorem for polyhedra, this also gives an elementary proof of Euler's theorem.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.139-149
• /
• 1989

pp.Hartman and G. Stampacchia [6] proved the following theorem in 1966: If f:X.rarw. $R^{n}$ is a continuous map on a compact convex subset X of $R^{n}$ , then there exists $x_{0}$ ..mem.X such that $x_{0}$ , $x_{0}$ -x>.geq.0 for all x.mem.X. This remarkable result has been investigated and generalized by F.E. Browder [1], [2], W. Takahashi [9], S. Park [8] and others. For example, Browder extended this theorem to a map f defined on a compact convex subser X of a topological vector space E into the dual space $E^{*}$; see [2, Theorem 2]. And Takahashi extended Browder's theorem to closed convex sets in topological vector space; see [9, Theorem 3]. In Section 2, we obtain some variational inequalities, especially, generalizations of Browder's and Takahashi's theorems. The generalization of Browder's is an earlier result of the first author [8]. In Section 3, using Theorem 1, we improve and extend some known fixed pint theorems. Theorems 4 and 8 improve Takahashi's results [9, Theorems 5 and 9], respectively. Theorem 4 extends the first author's fixed point theorem [8, Theorem 8] (Theorem 5 in this paper) which is a generalization of Browder [1, Theroem 1]. Theorem 8 extends Theorem 9 which is a generalization of Browder [2, Theorem 3]. Finally, in Section 4, we obtain variational inequalities for multivalued maps by using Theorem 1. We improve Takahashi's results [9, Theorems 21 and 22] which are generalization of Browder [2, Theorem 6] and the Kakutani fixed point theorem [7], respectively.ani fixed point theorem [7], respectively.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.6
• /
• pp.1201-1211
• /
• 2009

The aim of this research paper is to establish generalizations of classical Dixon's theorem for the series $_3F_2$, a result due to Bailey involving product of generalized hypergeometric series and certain very interesting summations due to Ramanujan. The results are derived with the help of generalized Kummer's summation theorem for the series $_2F_1$ obtained earlier by Lavoie, Grondin, and Rathie.

• The Pure and Applied Mathematics
• /
• v.13 no.4 s.34
• /
• pp.255-259
• /
• 2006

In 1994, Lavoie et al. have obtained twenty tree interesting results closely related to the classical Dixon's theorem on the sum of a $_3F_2$ by making a systematic use of some known relations among contiguous functions. We aim at showing that these results can be derived by using the same technique developed by Bailey with the help of Gauss's summation theorem and generalized Kummer's theorem obtained by Lavoie et al..

• East Asian mathematical journal
• /
• v.24 no.3
• /
• pp.289-293
• /
• 2008

We recently showed in [5] a semilocal convergence theorem that guarantees convergence of Newton's method to a locally unique solution of a nonlinear equation under hypotheses weaker than those of the Newton-Kantorovich theorem [7]. Here, we first weaken Miranda's theorem [1], [9], [10], which is a generalization of the intermediate value theorem. Then, we show that operators satisfying the weakened Newton-Kantorovich conditions satisfy those of the weakened Miranda’s theorem.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.217-228
• /
• 1999

The fundamental theorem of calculus is the most 'fundamental' content in teaching calculus. Since the aim of teaching the theorem goes beyond simple application of it, it is difficult to teach it meaningfully. Hence, for the meaningful teaching of the fundamental theorem of calculus, this article seeks to find the educational implication of the fundamental theorem of calculus through reviewing the genetic history of it. A genetic history of the fundamental theorem of calculus can be divided into the following five phases: 1. The deductive discovery of the fundamental theorem of calculus 2. Galileo's Law of falling body and the idea of the fundamental theorem of calculus 3. The discovery of the fundamental theorem of calculus and Barrow's proof 4. Newton's mensuration 5. the development of calculus in 19th century and the fundamental theorem of calculus The developmental phases of the fundamental theorem of calculus discussed above provides the three educational implications. first, we can rediscover this theorem through deductive methods and get the ideas of it in relation to kinetic problems. Second, the developmental phases of the fundamental theorem of calculus shows that the value of this theorem lies in the harmony of its theoretical beauty and practicality. Third, Newton's dynamic image of this theorem can be a typical way of understanding the theorem. We have different aims of teaching the fundamental theorem of calculus, according to which the teaching methods can be adopted. But it is self-evident that the simple application of the theorem is just a part of teaching the fundamental theorem of calculus. Hence we must try to put the educational implications reviewed above into practice.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.153-162
• /
• 1995

Ky Fan's minimax inequality is an important tool in nonlinear functional analysis and its applications, e.g. game theory and economic theory. Since Fan gave his minimax inequality in [2], various extensions of this interesting result have been obtained (see [4,11] and the references therein). Using Fan's minimax inequality, Ha [6] obtained a non-compact version of Sion's minimax theorem in topological vector spaces, and next Geraghty-Lin [3], Granas-Liu [4], Shih-Tan [11], Simons [12], Lin-Quan [10], Park-Bae-Kang [17], Bae-Kim-Tan [1] further generalize Fan's minimax theorem in more general settings. In [9], using the concept of submaximum, Komiya proved a topological minimax theorem which also generalized Sion's minimax theorem and another minimax theorem of Ha in [5] without using linear structures. And next Lin-Quan [10] further generalizes his result to two function versions and non-compact topological settings.