There are basically two approaches for solving linear systems: one is to exactly solve the linear sytem such as Gaussian-elimination. The other approximates the solution in the Krylov spaces; Conjugate-gradient and General minimum residual m...
Hybrid discontinuous Galerkin methods in computational science and engineering
Computation facilitates to understand phenomena and processes from science and engineering; we no longer need to depend only on theory and experiment. Computational Science and Engineering (CSE) is a rapidly developing multidisciplinary area...
A classical theorem of Jacobs, de Leeuw and Glicksberg shows that a representation of a group on a reflexive Banach space may be decomposed into a returning subspace and a weakly mixing subspace. This may be realized as arising from the idem...
Category수학강연회소속University of Waterloo강연자Nico Spronk
Ill-posedness for incompressible Euler equations at critical regularit
We obtain a quantitative and robust proof that incompressible fluid models are strongly ill-posed in critical Sobolev spaces, in the sense that norm inflation and even nonexistence occur for critical initial data. We then show how to use th...
A knot is a smooth embedding of an oriented circle into the three-sphere, and two knots are concordant if they cobound a smoothly embedded annulus in the three-sphere times the interval. Concordance gives an equivalence relation, and the se...
In this talk, we briefly introduce how a combinatorial object, Integer partition, is related with number theoretic subjects : q-series and modular forms. In particular, we will focus on (1) combinatorial proof for q-series identities (2) ari...
We survey work on a class of nonlinear elliptic PDEs that was initiated by Moser. Methods from PDE, dynamical systems, and geometry set in the framework of the calculus of variations are used to construct a rich collection of solutions.
Category수학강연회소속Univ. of Wisconsin/포항공대강연자Paul Rabinowitz
For the irreducible representations of the Hecke algebras, the minimal elements in each conjugacy class play an important role. In this talk, we try to review the minimal length elements and characterize in a more efficient way to find the m...
Category수학강연회소속University of Picardie Jules-Verne, Amiens강연자김성순
The theory of L-functions and zeta functions have been the key subject of mathematical research during the centuries since the Riemann zeta function was introduced and its important connection to the arithmetic of the integer was recognized....
Several L-functions with the names Dirichlet, Dedekind, Elliptic, and so on usually have p-adic counterparts, so called p-adic L-functions, which share many similar properties such as an evaluation formula at s=1, class number formula, and e...
For a given compact Lie group G, classifying all manifolds equipped with G-actions is one of the most fundamental and important problems in differential geometry. In this talk, We will discuss the problem in the symplectic category and expl...
Limit computations in algebraic geometry and their complexity
Given a one-parameter family of algebraic varieties, its point-wise limit is usually too small whereas its algebraic limit is usually too big. I will introduce a notion of meaningful geometric limit and explain how it can be effectively comp...
Mathematical Models and Intervention Strategies for Emerging Infectious Diseases: MERS, Ebola and 2009 A/H1N1 Influenza
Emerging infectious diseases have long been recognized as a continuous, inevitable, unpredictable threat to the global public health. Hence, understanding the underlying dynamics why they spread and what causes epidemics gives key ideas of i...
The 21st century is the age of life science. Two issues in the life sciences are that humans live long, healthy lives and maintain a steady state of the earth's ecosystems despite disturbances. In this talk, we will look at how mathematics i...
Mechanization of proof: from 4-Color theorem to compiler verification
I will give a broad introduction to how to mechanize mathematics (or proof), which will be mainly about the proof assistant Coq. Mechanizing mathematics consists of (i) defining a set theory, (2) developing a tool that allows writing definit...
※ 강연 앞 부분이 잘렸습니다. (강연자료 다운: Mirror symmetry of pairings.pdf ) 초록: Mirror symmetry has served as a rich source of striking coincidences of various kinds. In this talk we will first review two kinds of mirror symmetry statem...
If density of flow is globally a constant, then the flow is said incompressible. Otherwise, the flow is said compressible. Flow motion of compressible inviscid flow is governed by Euler system. The Euler system is a nonlinear PDE system desc...
The general theory implies that the distribution of an irreducible Markov chain converges to its stationary distribution as time diverges to infinity. The speed of corresponding convergence is a significant issue in the study of mathematical...