 セミナー情報
|
|
 |
2013年 4月15日（月）〜4月19日（金）
|
|
| 4月15日(月) |
■整数論セミナー 13:30--15:00【会場：合同A棟801】
講演者： 山崎 隆雄 氏 （東北大学大学院理学研究科）
題目： Serre, Lectures on $ N_X ( p ) $ の紹介
|
| 4月16日(火) |
■幾何セミナー 15:00--16:30【会場：数学棟305】
講演者：村上 斉 氏（東北大学大学院情報科学研究科）
題目：体積予想とその一般化
|
| 4月18日(木) |
■応用数学セミナー 16:00--17:30【会場：合同A棟801】
講演者： 小池 茂昭 氏 (東北大学大学院理学研究科)
題目：完全非線形方程式の粘性解の比較原理 ーrevisitedー
【概要】
粘性解は、非発散型（退化）２階楕円型方程式の弱解として、1981年に、M. G. Crandall と P.-L. Lionsによって導入された。 以来、様々な研究を通して、粘性解が適切な弱解として認識されてきた。 更に、曲率流や数理ファイナンス等、応用範囲を広げながら、 活発な研究がおこなわれている。
特に、初期の研究においては、有界領域でDirichlet条件やNeumann条件の下で比較原理が主要な話題であった。 一方、通常の偏微分方程式では、 有界領域と共に全空間での研究が並行して行われているが、 粘性解に関しては、まだ不十分である。 本講演では、全空間での粘性解の比較原理に関して、O. Ley (Rennes大学・INSA)との最近の共同研究を紹介する。
|
4月19日(金)
|
■代数幾何学セミナー 13:30--【会場：数学棟201】
休み
■ロジックセミナー 16:00-- 【会場：合同棟1201】
講演者： 藤原 誠 氏（東北大学大学院理学研究科）
題目： Uniform provability in reverse mathematics and intuitionistic
provability.
【概要】
It has been recently established that the intuitionistic provability of
Pi^1_2 statements of some syntactical form guarantees its classical uniform
provability in weak subsystems of second-order arithmetic.
Such kind of results are called "uniformization theorems".
In this talk, I explain the existing uniformization theorems together
with some related result jointly by Ulrich Kohlenbach and myself.
The basic tool for those results is proof interpretation.
|
|
