• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.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.

• Journal for History of Mathematics
• /
• v.17 no.1
• /
• pp.43-52
• /
• 2004

In this paper we investigate the origin of the variational calculus with respect to the extremal principle. We also study the role the extremal principle has played in the development of the calculus of variations. We deal with Dido's isoperimetric problem, Maupertius's least action principle, brachistochrone problem, geodesics, Johann Bernoulli's principle of virtual work, Plateau's minimal surface and Dirichlet principle.

• Honam Mathematical Journal
• /
• v.30 no.1
• /
• pp.197-203
• /
• 2008

We show the existence of the unique solution of the following system of the nonlinear wave equations with Dirichlet boundary conditions and periodic conditions under some conditions $U_{tt}-U_{xx}+av^+=s{\phi}_{00}+f$ in $(-{\frac{\pi}{2},{\frac{\pi}{2}}){\times}R$, ${\upsilon}_{tt}-{\upsilon}_{xx}+bu^+=t{\phi}_{00}+g$ in $(-{\frac{\pi}{2},{\frac{\pi}{2}}){\times}R$, where $u^+$ = max{u, 0}, s, t ${\in}$ R, ${\phi}_{00}$ is the eigenfunction corresponding to the positive eigenvalue ${\lambda}_{00}$ of the wave operator. We first show that the system has a positive solution or a negative solution depending on the sand t, and then prove the uniqueness theorem by the contraction mapping principle on the Banach space.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.715-729
• /
• 2017

In this paper, we investigate the existence and multiplicity of solutions for systems driven by two non-local integrodifferential operators with homogeneous Dirichlet boundary conditions. The main tools are the Saddle point theorem, Ekeland's variational principle and the Mountain pass theorem.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.155-167
• /
• 2019

In this article we are concerned with some non-local problems of Kirchhoff type with Dirichlet boundary condition in Orlicz-Sobolev spaces. A result of the existence of infinitely many solutions is established using variational methods and Ricceri's critical points principle modified by Bonanno.

• The Pure and Applied Mathematics
• /
• v.23 no.1
• /
• pp.13-19
• /
• 2016

In this paper, we study some characterizations of unbounded domains. Among these, so-called G-domain is introduced by Cabre for the Aleksandrov-Bakelman-Pucci maximum principle of second order linear elliptic operator in a non-divergence form. This domain is generalized to wG-domain by Vitolo for the maximum principle of an unbounded domain, which contains G-domain. We study the properties of these domains and compare some other characterizations. We prove that sA-domain is wG-domain, but using the Cantor set, we are able to construct a example which is wG-domain but not sA-domain.

• Honam Mathematical Journal
• /
• v.43 no.4
• /
• pp.667-678
• /
• 2021

Blow-up phenomena for a nonlocal reaction-diffusion system with time-dependent coefficients are investigated under null Dirichlet boundary conditions. Using Kaplan's method with the comparison principle, we establish new blow-up criteria and obtain the upper bounds for the blow-up time of the solution under suitable measure sense in the whole-dimensional space.

• Journal of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.41-49
• /
• 2009

Let $\zeta$ be a fixed complex number. In this paper, we study the quantity $S(\zeta,\;n):=mas_{f{\in}{\Lambda}_n}\;|f(\zeta)|$, where ${\Lambda}_n$ is the set of all real polynomials of degree at most n-1 with coefficients in the interval [0, 1]. We first show how, in principle, for any given ${\zeta}\;{\in}\;{\mathbb{C}}$ and $n\;{\in}\;{\mathbb{N}}$, the quantity S($\zeta$, n) can be calculated. Then we compute the limit $lim_{n{\rightarrow}{\infty}}\;S(\zeta,\;n)/n$ for every ${\zeta}\;{\in}\;{\mathbb{C}}$ of modulus 1. It is equal to 1/$\pi$ if $\zeta$ is not a root of unity. If $\zeta\;=\;\exp(2{\pi}ik/d)$, where $d\;{\in}\;{\mathbb{N}}$ and k $\in$ [1, d-1] is an integer satisfying gcd(k, d) = 1, then the answer depends on the parity of d. More precisely, the limit is 1, 1/(d sin($\pi$/d)) and 1/(2d sin($\pi$/2d)) for d = 1, d even and d > 1 odd, respectively.

• Korean Journal of Artificial Intelligence
• /
• v.11 no.2
• /
• pp.7-17
• /
• 2023

Artificial Intelligence (AI) technology has already penetrated deeply into our daily lives, and we live with the convenience of it anytime, anywhere, and sometimes even without us noticing it. However, because AI is imitative intelligence based on human Intelligence, it inevitably has both good and evil sides of humans, which is why ethical principles are essential. The starting point of this study is the AI principles for companies or organizations to develop products. Since the late 2010s, studies on ethics and principles of AI have been actively published. This study focused on AI principles declared by global companies currently developing various products through AI technology. So, we surveyed the AI principles of the Global 500 companies by market capitalization at a given specific time and collected the AI principles explicitly declared by 46 of them. AI analysis technology primarily analyzed this text data, especially LDA (Latent Dirichlet Allocation) topic modeling, which belongs to Machine Learning (ML) analysis technology. Then, we conducted a Delphi technique to reach a meaningful consensus by presenting the primary analysis results. We expect to provide meaningful guidelines in AI-related government policy establishment, corporate ethics declarations, and academic research, where debates on AI ethics and principles often occur recently based on the results of our study.