セミナー情報
2021年4⽉

セミナー⼀覧

2021.4.8（⽊） | セミナー

応⽤数理解析セミナー(16:30--18:00【会場︓オンライン形式で開催】)
発表者︓⾚⽊ 剛朗 ⽒（東北⼤学⼤学院理学研究科）
題⽬︓A framework for proving existence of local-energy solutions to doubly-nonlinear diﬀusion equations with growing initial data
概要︓
Doubly-nonlinear diﬀusion equation involves at least two diﬀerent sorts of nonlinearities, which can also cause degeneracy and singularityof diﬀusion coeﬃcients. Therefore there arise various issues beyond the scope of the classical theory for linear and quasilinear parabolicequations. To settle those, some useful devices based on functional analysis have been developed so far; however, there still remain
exceptional situations where they do not work well.
In this talk, we shall discuss existence of local-energy solutions to doubly-nonlinear diﬀusion equations posed on the whole euclidean spacefor growing (in space) initial data. A diﬃculty then arises from the mismatch between functional analytic devices and the fact that growing
data cannot be handled within the frame of (standard) Lebesgue and Sobolev spaces, for which various methods in functional analysis havebeen established. To overcome this, we shall develop a general framework to integrate functional analytic devices with other arguments forhandling solutions and initial data growing in space (e.g., local-energy estimates based on truncation techniques). The framework relies on
standard local-energy estimates, but it does not require any further estimates such as (interior) $C^{1,\alpha}$ estimates, which areoften needed for handling gradient nonlinearity. Moreover, such a general strategy will be applied to variants of porous medium and fast
diﬀusion equations involving the Finsler Laplacian, which are classiﬁed as doubly-nonlinear diﬀusion equations.
This talk is based on a joint work with Kazuhiro Ishige (The University of Tokyo) and Ryuichi Sato (Fukuoka University).

2021.4.15（⽊） | セミナー

応⽤数理解析セミナー(16:30--18:00【会場︓オンライン形式で開催】)
発表者︓岩渕 司 ⽒（東北⼤学⼤学院理学研究科）
題⽬︓臨界型 Burgers ⽅程式に対する解析性と⻑時間挙動について
概要︓
分数冪ラプラシアンを有するBurgers⽅程式を考察する. ⽅程式を全空間で考え, 時空間に関する解析性が成り⽴つことを説明する. さらに任意の⼤きさの初期値に対して解の⻑時間挙動を明らかにする. 時間⼤域的正則性については2008年頃に解決されているが, 正則性の証明についても触れる. 最後に,半空間の場合について議論する.

2021.4.16（⾦） | セミナー

ロジックセミナー(13:00--15:00【会場︓合同A棟802号室（ハイブリッド形式で開催）】)
発表者︓鈴⽊ 悠⼤ ⽒（東北⼤学）
題⽬︓A More General Case of The Bolzano-Weierstrass Theorem in Second Order Arithmetic
概要︓SL(Sequencial Limit) and BW(Bolzano-Weierstrass) are two types of axioms of second order arithmetic introduced by Friedman. The
relation between them and some other axioms were studied by Conidis. In this talk, I'll introduce some variations of them and their relation
with SL and BW.

2021.4.22（⽊） | セミナー

応⽤数理解析セミナー(16:30--18:00【会場︓オンライン形式で開催】)
発表者︓和久井 洋司 ⽒ （東京理科⼤学 理学部第⼀部）
題⽬︓移流拡散⽅程式の前⽅⾃⼰相似解の存在について
概要︓
本発表では, $n$次元ユークリッド空間$\mathbb{R}^n$ ($n\ge 3$))における次の移流拡散⽅程式の初期値問題の⼤きな前⽅⾃⼰相似解の存在について考察する.移流拡散⽅程式は尺度不変性を持ち, 対応する臨界 Lebesgue 空間は$L^{\frac{n}2}(\mathbb{R}^n)$となる. また, ⾮負な初期値に対応する解は⾮負となり, ⽅程式の第⼀式が連続の式であることより$L^1(\mathbb{R}^n)$保存則(質量保存則)が成⽴する. よって空間2次元の場合1/2

は質量臨界な問題となる⼀⽅で, ⾼次元の問題における⾃⼰相似解の存在は質量保存則の成⽴する枠組みでは期待できない.本発表では, ⾼次元における移流拡散⽅程式の有界な⾃⼰相似解の存在を⽰し, 証明の概略を述べる.本発表の内容はWrocław⼤学のP. Biler⽒およびG. Karch⽒との共同研究に基づく.

2021.4.23（⾦） | セミナー

確率論セミナー(15:30--17:00【会場︓オンライン形式で開催】)
発表者︓新國 裕昭 ⽒（前橋⼯科⼤学）
題⽬︓Edge states of Schroedinger equations on graphene with zigzag boundaries
概要︓
本講演では，グラフェン（六⾓格⼦）に対するバルクハミルトニアンとエッジハミルトニアンを量⼦グラフの⼿法で構成し，それらのスペクトル構造の⽐較を⾏います。特に，全空間の場合には固有値でないエネルギー準位のうち，ジグザグ型境界を有する場合には固有値となるものが導出され，エッジ状態の存在に関する結果が得られましたのでご報告致します。なお，講演スライドを，講演前⽇に下記の URL にアップロードする予定です:
https://www.maebashi-it.ac.jp/~niikuni/slide/20210423.pdf

2021.4.27（⽕） | セミナー

幾何セミナー(15:00--16:10【会場︓オンライン開催】)
発表者︓福⽥ 瑞季 ⽒（東北⼤学）
題⽬︓２次元結び⽬と有限表⽰群について
概要︓
２次元結び⽬とは４次元球⾯になめらかに埋め込まれた２次元球⾯のことをいう。1926年にArtinによって⾮⾃明な2次元結び⽬が構成されて以降、Zeeman や Litherland らによって構成の⼀般化がなされてきた。特に Fintushel-Pao によって構成された branched twist spin は1次元結び⽬のトーラス結び⽬と対応がある。これらの２次元結び⽬たちは１次元結び⽬の軌道として構成されており、１次元結び⽬の性質を受け継ぐが、具体例に対して分類を与える結果は多くない。本講演では上記の２次元結び⽬クラスたちの歴史的な研究の流れを説明した後、branched twist spin の結び⽬群の性質を説明し、⼆⾯体群や SL(2,Z/3Z) への表現について得られた結果を紹介する。

2021.4.30（⾦） | セミナー

ロジックセミナー(13:00--15:00【会場︓オンライン開催】)
発表者︓五⼗⾥ ⼤将 ⽒（東北⼤学）
題⽬︓An application of higher order arithmetic to constructive mathematics
概要︓One important usage of higher order operators is to compute realizers of formulas.Roughly speaking, a realizer is a witness.Usually,
formulas are inductively deﬁned. The complexity from this inductive deﬁnition invokes the necessity of complex operators.In this talk, weoverview the concept and motivation of realizability from the viewpoint of constructive math.qWe then observe the usefulness of the higher
order setting, comparing with the ﬁrst order setting when we need.

2/2