• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제18권2호
• /
• pp.193-207
• /
• 2014

In this paper we explore the emergence of the notion of compactness within its historical beginning through rigor versus intuition modes in the treatment of Dirichlet's principle. We emphasize on the intuition in Riemann's statement on the principle criticized by Weierstrass' requirement of rigor followed by Hilbert's restatement again criticized by Hadamard, which pushed the ascension of the notion of compactness in the analysis of PDEs. A brief overview of some techniques and problems involving compactness is presented illustrating the importance of this notion. Compactness is discussed here to raise educational issues regarding rigor vs intuition in mathematical studies. The concept of compactness advanced rapidly after Weierstrass's famous criticism of Riemann's use of the Dirichlet principle. The rigor of Weierstrass contributed to establishment of the concept of compactness, but such a focus on rigor blinded mathematicians to big pictures. Fortunately, Poincar$\acute{e}$ and Hilbert defended Riemann's use of the Dirichlet principle and found a balance between rigor and intuition. There is no theorem without rigor, but we should not be a slave of rigor. Rigor (highly detailed examination with toy models) and intuition (broader view with real models) are essentially complementary to each other.

• 호남수학학술지
• /
• 제4권1호
• /
• pp.1-12
• /
• 1982

• 한국수학교육학회지시리즈A:수학교육
• /
• 제23권2호
• /
• pp.45-46
• /
• 1985

• 대한수학회논문집
• /
• 제7권2호
• /
• pp.271-277
• /
• 1992

• 대한수학회지
• /
• 제18권1호
• /
• pp.89-95
• /
• 1981

• 대한수학회보
• /
• 제49권4호
• /
• pp.693-704
• /
• 2012

We consider Weierstrass functions and divisor functions arising from $q$-series. Using these we can obtain new identities for divisor functions. Farkas [3] provided a relation between the sums of divisors satisfying congruence conditions and the sums of numbers of divisors satisfying congruence conditions. In the proof he took logarithmic derivative to theta functions and used the heat equation. In this note, however, we obtain a similar result by differentiating further. For any $n{\geq}1$, we have $$k{\cdot}{\tau}_{2;k,l}(n)=2n{\cdot}E_{\frac{k-l}{2}}(n;k)+l{\cdot}{\tau}_{1;k,l}(n)+2k{\cdot}{\sum_{j=1}^{n-1}}E_{\frac{k-1}{2}(j;k){\tau}_{1;k,l}(n-j)$$. Finally, we shall give a table for $E_1(N;3)$, ${\sigma}(N)$, ${\tau}_{1;3,1}(N)$ and ${\tau}_{2;3,1}(N)$ ($1{\leq}N{\leq}50$) and state simulation results for them.

• 한국수학사학회지
• /
• 제30권1호
• /
• pp.31-50
• /
• 2017

This study analyses on the history of uniform convergence, and discusses its educational implications. First, this study inspects 'overflowing of the Euclidean methodology' which was suggested by Lakatos as a cause of tardy appearance of uniform convergence, and reinterprets that cause in the perspective of 'symbolization'. Second, this study looks into the emergence of uniform convergence of Seidel and Weierstrass in this viewpoint of symbolization. As a result, of analysis, we come to know that the definition of uniform convergence had been changed into the theory of 'domain and graph' from that of 'point and function value' by the location change of the quantifier. As these results, this study puts forward an educational suggestion from an angle of epistemological obstacle, concept definition and concept image.

• 대한수학회지
• /
• 제60권5호
• /
• pp.1057-1072
• /
• 2023

Let 𝜑 : ℝⁿ × [0, ∞) → [0, ∞) be a growth function and H^𝜑(ℝⁿ) the Musielak-Orlicz Hardy space defined via the non-tangential grand maximal function. A general summability method, the so-called 𝜃-summability is considered for multi-dimensional Fourier transforms in H^𝜑(ℝⁿ). Precisely, with some assumptions on 𝜃, the authors first prove that the maximal operator of the 𝜃-means is bounded from H^𝜑(ℝⁿ) to L^𝜑(ℝⁿ). As consequences, some norm and almost everywhere convergence results of the 𝜃-means, which generalizes the well-known Lebesgue's theorem, are then obtained. Finally, the corresponding conclusions of some specific summability methods, such as Bochner-Riesz, Weierstrass and Picard-Bessel summations, are also presented.

• 대한수학회보
• /
• 제37권4호
• /
• pp.675-683
• /
• 2000

As a by-product of [4], we give algebraic integers of certain values of quotients of Weierstrass $\delta'(\tau),\delta'(\tau)$-functions. We also show that special values of elliptic functions are transcendental numbers.

• 대한수학회논문집
• /
• 제21권4호
• /
• pp.759-769
• /
• 2006

Let L : $C\;\rightarrow\;C$ be a hyperbolic automorphism. Then the hyperbolic toral automorphism $L_A\;T^2\;\rightarrow\;T^2$, induced by L, is a chaotic map ([2] pg.192). We characterize hyperbolic toral automorphisms by proving the converse of the above statement.