Instructions for use Title 2002年度談話会、特別講演

Title
Author(s)
Citation
Issue Date
2002年度談話会、特別講演アブストラクト集
北海道大学理学部数学教室
Hayashi, M.; Ishikawa, G.
Technical Report Series of Department of Mathematics,
Hokkaido University
2003-01-01
DOI
Doc URL
http://eprints.math.sci.hokudai.ac.jp/archive/00000274/;
http://hdl.handle.net/2115/688
Right
Type
bulletin
Additional
Information
File
Information
2002danwakai001.pdf
Instructions for use
Hokkaido University Collection of Scholarly and Academic Papers : HUSCAP
I
S
SN 1
3
4
8・4
3
3
8
2002年度談話会 ・特別講演
アブストラク ト集
C
o
l
l
o
q
u
i
u
mL
e
c
t
u
r
e
s
北海道大学J'l1!.'
宇部数学教'ヂ
E
d
i
t
e
d by M. H
a
y
a
s
h
i and G
.I
s
h
i
kawa
6
.J
u
n
e，2003
S
e
r
i
e
s 再7
HOKKAIDOUNIVERSITY
TECHNICALREPORTSERIESINMATHEMATICS
#49
T
.Ozawa(
E
d
.
)，
P
r
o
c
e
e
d
i
n
g
so
ft
h
e2
2
n
dS
a
p
p
o
r
oS
y
r
n
p
o
s
i
u
r
nonP
a
r
t
ia
JD
i町e
r
e
n
t
ia
JE
quati
o
n
s，
67p
a
g
es
1
9
9
7
#50
H
.
F
.Yamada(
E
d
.
)，1
9
9
6年度談話会・特別講演アブストラク卜集 C
o
l
l
o
q
u
i
u
mLe
c
t山田， 9
9p
a
g
e
s
.1
9
9
7
#51
N
.Kawazumi(
E
d
.
)，リーマン函に関連する位相幾何学， 1
2
1p
a
g
e
s
.1
9
9
7
#52
J
.I
n
o
u
e(臼).第 6回関数空間セミナ一報告集， 8
9p
何回 1
9
9
8
#53
E
d
.
)
.P
r
o
c
e
e
d
i
n
g
soft
he2
3
r
dSapporoSymposiumonP
a
r
t
i
a
lD
i町e
r
e
n
t
i
a
lEquati
o
n
s，
7
7pag
e
s
Y
.G】ga(
1
9
9
8
#54
2
2pag
e
s
.1
9
9
8
N
.Kaw
a
zumi(Ed.)，リーマン商に関連する位相幾何学 .1
#55
，
)1
9
9
7年度談話会 ・特別講演アブストラクト集 C
o
l
l
o
q
u
I
u
mL
e
c
t
u
r
e
s，
T
.OzawaandH
.
F
.Yamada(
E
d
s
.
8
3p
a
g
e
s
.1
9
9
8
.
#56
8p
a
g
e
s
.1
9
9
8
Y
.Giga，界面ダイナミク?-.-曲率の効果，講義録， 4
#57
.
)，第 7回関数空間セミナ一報告集， 1
3
8p
a
g
e
s
.1
9
9
9
J
.I
n
o
u
e但d
#58
b
s
t
r
a
c
t
so
fSapporoSymposi
u
r
nonA
n
i
s
o
t
r
o
p
i
cE
f
f
e
c
t
si
naC
r
y
s
t
al
Y
.GigaandR.K
o
b
a
y
a
s
h
i(
E
d
s
.
)，A
GrowthP
r
o
b
l
e
r
nandi
t
sMathe
m
a
t
i
c
a
lA
n
a
l
ys
i
s(SAM).5
1p
a
g
e
s
.1
9
9
9
#59
.Ozawa(
E
d
s
.
)，P
r
o
c
e
e
d
i
n
g
so
ft
h
田 2
4
t
hSap
p
o
r
oSymposiumo
nP
a
r
t
i
alD
i
f
f
e
r
e
n
t
i
a
l
Y
.Giga剖 dT
Equ
a
t
i
o
n
s，
6
1pag
e
s
.1
9
9
9
#60
1
.Tsudaa
ndN
.K
a
w
a
z
u
r
n
i(
E
d
s
.
，
)1
9
9
8年度談話会 ・特別講演アブストラクト集， 5
5pa
g
e
s
.1
9
9
9
.
#61
T
.Ozawa(E
d
.
)，
P
r
oc
e
e
di
n
g
so
fSapporoG
u
e
s
tHous
eM
i
n
i
s
y
m
p
o
s
i
uIl1 o
nN
o
n
li
ne
出 W
aveE
q
u
a
t
i
o
n
s，
6
7
p
a
g
e
s
.1
9
9
9
#62
.TakeoandJ
.I
n
o
u
e(
E
d
s
.)，第 8団関数空間セミナ一報告集， 96p
a
g
e
s
.2
0
0
0.
S
.M
i
y
a
j
i
r
n
a，T
#63
，
)1
9
9
9年度談話会 ・特別措lJiiアブストラクト集， 4
3pa
g
e
s
.初 ∞
K
.OnoandN
.Honda(E
ds
.
#64
Y
. Gi
gaandT
. Ozawa(
E
d
s
.
)，P
r
o
回 e
d
i
n
g
so
ft
h
e2
5
t
hSapporoSymposiuIl1 on P
a
r
t
i
a
lD
i町e陀 n
ti
a
l
Equati
o
n
s，5
5p
a
g
e
s
.2
0
0
0
#65
H
.Nakamura(
E
d.
)
，ガロア・タイヒミュラー鮮の LEGO理論， 3
7p
a
g
e
s
.2
0
0
0
#66
J
.I
n
o
u
ee
tal(
E
d
s
.
)，関数空間セミナ一報告集 2
0
0
0，1
3
4p
a
g
e
s
.2
0
0
1
#67
E
d
s
.
)，2
0
0
0年度談話会 ・特別講演アブストラクト集， 6
1p
a
g
e
s
.2
0
0
1
Y
.Giga加 dH.Yamashita(
#68
Y
.GigaandT
. Ozawa(
E
d
s
.
)，P
r
o
c
e
e
d
i
n
g
so
ft
h
c2
6
t
hS
a
p
p
o
r
oSymposiumon P
a
r
t
i
a
lD
i
f
f
e
r
e
n
t
i
a
l
6
7p
a
g
e
s
.2
0
0
1
E
q
u
a
t
i
o
n
s，
#69
0p
a
g
e
s
.2
0
0
1
M.Matsumoto，基本鮮へのガロア作用， 5
#70
T
.N誌 担 i(E
注
1
.
)
.
第1
0回 I
知数空間セミナ一報告
#71
S
u
r
f
a
c
eE
v
o
l
l
l
t
i
o
nE
q
l
l
a
t
i
on
s-al
e
v
els
e
tmethod，
2
2
3p
a
g
e
s
.2
0
0
2
Y
.Giga(
E
d
.
)，
#72
T
.SuwaandT
.Yamanouc
h
i(
E
d
s
.
，
)2
0
01年度談話会・特別講演アブストラクト集 ，4
4pag
目。 2
0
0
2
#73
T
.Jimbo，T
.N
a
k
a
z
iandM.H
a
y
a
s
h
i(Eds
.
)
.第 1
1団 関 数空間セ ミナ一報告集， 1
35p
a
g
e
s
.2
0
0
3
#74
T
.Ozawa，Y
.Giga，S
.JimboandG
.Nakamura(Eds
.
)，P剖 t
i
a
lD
i
f
f
e
r
e
n
t
i
a
lE
q
u
a
t
i
o
n
s，51p
a
g
e
s
.2
0
0
2
#75
D
.M
a
t
s
u
s
h
i
t
a(
E
d
.
)
，P
r
o
c
e
e
d
i
n
g
so
ft
h
ew
o
r
k
s
h
i
p‘
'HodgeTheoryandA
l
g
e
b
r
a
i
cGeome
t
r
y
'
¥
1
9
1p
a
g
e
s
2
0
0
3
m，97pages.2002
2002年 度 談 話 会 ・ 特 別 講 演 ア ブ ス ト ラ ク ト
目次
1
. S
t
e
v
e
nZuc
ke
r氏 (
J
o
h
n
sHop
k
i
n
sUn
i
v
c
r
s
i
t
y
J
Copingw
i
t
hi
nc
ompa
ti
b
l
ecompa
c
ti
f
ic
a
ti
o
nso
fl
ocal
l
ys
ym me
tr
icv
a
r
ie
ti
e
s.
.
.
..
.
.
..
・
・ ・
.• .. • 1
e
i
v
e
r
s
i
t
yo
fCai
lf
o
r
n
i
a，
S
a
l
lDie
g
o
J
2
. Kei
t
hConrad氏 Wn
Primeval
u
e
so
[p
o
l
y
n
o
n
t
i
a
l
s.
..
.
..
.
..
.
.
.
.
.
.
...
.
.
.
.
.
..
.
.
.
.
.
.
.
..
.
.
..
.
.
.
.
.
.
.
..
..
..
.
.
..
.
.
.
..
.
.
.
.3
3 神 保 秀一氏(北海道大)
.
.• .
.• .
..• • .
.• • .
.• .
.• .
.
.4
ギンツプノレグ ・ランダウ方程式における安定解と領域依存性
4
佐藤肇氏(名古屋大)
ー・ー・ー・・・
ー・
ー
・
・
・ ・
・・ ・
・.
.
.
.
.
..
.
..
.
.
.
.
.1
4
幾何構造が定める微分方程式の不変量...
.
..
.
5
藤田安啓氏(笹山大)
d において s
I
R
i
gnc
on
d
i
t
i
o
nをみたさない非線形楕円型方程式の解の存在について
.•.•.••.•• 1
5
s
i
t
yofMagdeburg)
6
. KlausDe
ck
el
n
ic
k氏 Wniver
Convergenceo
[numer
icals
chemesf
o
rt
h
eappr
oxima
ti
ono
[l
e
v
els
ets
ol
u
t
ionst
omea
nClUv
a
t
u
r
e
l
fow .
・
・
・ ・
・ ・・
・
・
・
・
・
0
7
0
0
・ ・ ・ ・・
0
e
・
・ ・・
・
a
-
0
久保英夫氏(静岡大)
波動方程式に対する重みつき時空評価についてのー注意
ー ・
.1
7
. • •. • • • ••• • • .
・
..
・
・ ・ ・ ・.
.
..
..1
8
e
0
8
. MatthiasHiebe
r氏 (T
町
， h
n
icalUn
i
v
e
r
si
t
yo[Dramstadt)
H∞c
a
l
cu
l
u
s[
o
rcl
l
i
pt
i
cope
r
a
t
or
ss
u
b
jc
c
tt
ogenc
r
alboundaryc
on
d
it
i
oI
lso
nLPs
p
a
c
e
s.
.
..
.20
9
. J
e
anG
i
n
i
b
r
e氏 (Un
i
v
er
s
i
tedeP
a
r
i
s
S
u
d
)
Longr
a
n
g
es
c
a
t
t
e
r
i
n
gf
o
rt
h
ewav
e
S
c
h
r品d
i
n
g
e
rs
y
s
t
em .
.
.
.
. ・
.
.
..
・ ・・
・・
・
・
・ ・
0
1
0
0
ー・.• • 2
1
0
坂上貨之氏(名古屋大)
一般化された粘性項を持つ C
onstanti
nLa
.
x
s
1
a
j
da方程式の解の爆発について
ー ー
・
ー
ー・
ー
・
.2
2
1
1
. 三沢正史氏(熊本大)
Exi
s
te
nc
eandp
a
r
t
i
a
lr
egu
lar
i
t
yo
[asmals
ol
u
t
i
oloft
h
ep-harmonic1
f
0w .
.
.
..
.
..
.
..
.
..
.
.
..2
4
e
vI
n
s
t
i
t
u
teo
fMathematics)
1
2. V
l
a
d
i
m
i
rA
.S
h
a
r
a
f
u
t
d
i
n
o
v氏 (Sobol
S
p
e
c
t
r
alandboundaryr
i
gi
d
i
t
yo
fR
.
ieman
n
ianmanif
ol
d
s.
.
.. ー ... •. .
・
el
e
t氏 (IML，
¥
l
'
l
a
r
s
ei
l
le
)
1
3
. Jean
P
a
u
lsr描 s
C
h
a
r
a
c
t
e
r
i
s
t
i
cc
1
a
回目 o
fs
i
ngul
a
rv
.
山 c
t
i
e
s. ・
・
ー ・ー・ー・ー
ー
・
・ ・
・ ・
・
・ ・・.
.
.
.
..
..
..
.
.
..2
7
1
4
. 山 下 博 氏 ( 北 海道大)
無限次元表現とその覇軍零不変量 一 不変微分作用素をとおしてー
1
5
・ー
・ー
・
・
.
.
.
.
.
.
.2
6
0
0
. •• •.. . . . . . .. •. .• .. • .
.
・
ー
ー
.
.2
8
伊藤敏和氏(龍谷大)
AP
o
i
n
c
a
r
e
H
o
p
[t
y
p
etheorem[
o
rhol
omorp
h
icone
-[
ormsonCn・・
・ ・
・
・
・
・ ・
・・
・
0
0
0
e
・
ー ー ・30
i
ve
r
s
i
t
yo
fAmsterdam)
1
6
. A
r
je
nDoelman氏 (Un
Jo
s
e
phs
onjunc
ti
o
l
l
s，
1
fUXOlSandaperturbedsi
ne
-Go
r
doncqua
t
i
o
n.
.
..
.
..
.
..
.
・ー
・ ・
ー . . ..• 3
4
2002年度
談話会・特別講演一覧
1
.
6月 13日(木) ・S
t
e
v
e
nZ
u
c
k
e
r氏(Jo
h
n
sH
o
p
k
i
n
sU
n
i
v
e
r
s
i
t
y
)
2
.
6月 27日(木) ・K
e
i
t
hConrad氏 < Un
i
v
e
r
s
i
t
yo
fCa
Ji
f
o
r
n
i
a，
SanD
i
e
g
o
)
3
.
7月
2日(火) . 神 保
4
.
7月
2日(火) . 佐 藤
5. 7月
6
.
8日(月) .藤
田
秀
一
氏(北海道大)
盛氏(名古屋大)
幾何構造が定める微分方程式の不変量
d において s
安啓氏(富山大lR
i
g
nc
o
n
d
i
t
i
o
nをみたさない非線形柑円型方程式の解の存在について
3日(木) . 久 保 英 夫 氏 ( 静 岡 大 )
8
. 10月 21日 ( 月 ) 関 根
C
o
n
v
e
r
g
e
n
c
eo
fu
u
m
e
r
i
c
a
Js
c
h
e
m
e
sf
o
rt
h
ea
p
p
r
o
x
i
m
a
t
i
ono
fl
e
v
e
ls
e
むs
o
l
u
ti
o
nst
ome
岨
c
u
r
v
a
t
u
r
ef
t
o
w
波動方程式に対する重みつき時空評価についての ー注意
Expone
n
t
i
a
lh
e
d
g
i
n
g，
pow
e
r
u
t
i
l
i
t
yma
.
x
i
m
i
z
a
t
i
o
n，
andq
u
a
d
r
a
t
i
cBSDEs
順氏(大阪大
9
. 10月 25日(金) ・M
a
t
t
h
i
a
sH
i
e
b
e
r氏 (
T
e
c
h
n
i
c
a
lU
n
i
v
e
rs
i
t
yo
fD
r
a
m
s
t
a
d
t
)
e
a
nG
i
n
i
b
r
e氏 < Ul
l
i
v
e
r
s
i
t
ed
eP
a
r
i
s
S
u
d
)
1
0
. 10月 28日(月) ・J
1
. 10月 30日(水) . 坂 上 貧 之 氏 ( 名 古 屋 大 )
1
1
2
. 11月 20日(水
Primev
a
Ju
e
so
fpol
y
n
o
m
i
a
l
s
ギンツブノレグ・ランダウ方程式における安定解と領域依存性
9月 24日(月) ・K
l
a
u
sD
e
c
k
e
l
n
i
c
k氏 (
U
n
i
v
e
r
s
i
t
yo
fMagdeburg)
7
. 10月
Copingw
i
t
hi
ncomp
叫i
bl
ec
o
m
p
a
c
t
i
f
i
c
叫i
o
n
so
fl
o
c
a
lysymmetr
i
cv
a
r
i
e
t
i
e
s
H∞ー
c
a
Jc
u
l
u
sf
o
re
l
l
i
p
t
i
co
p
e
r
a
t
o
r
ss
u
b
j
e
c
tt
og
e
n
e
ra
Jb
oundaryc
o
n
d
i
t
i
on
so
n
LPs
p
叫 e
s
Longr
a
n
g
es
c
a
t
t
e
r
i
n
gf
o
rt
h
ew
a
v
e
S
c
h
r
o
d
i
n
g
e
rs
y
s
t
e
m
一般化された粘性項を持つ C
o
n
s
t
a
n
ti
n
L
ax-Majda方程式の解の爆発について
VoVanAnh氏 (
Q
u
e
e
n
s
l
a
n
dUn
i
v
e
r
s
i
t
yo
fT
e
c
h
n
o
l
o
g
y
)
Dynamicm
o
d
e
l
so
fa
s
s
e
tp
r
i
c
e
sw
i
thmemoryandh
e
a
v
yt
a
i
l
s
E
x
i
s
t
e
n
c
eandp
a
r
t
ia
Jr
e
g
u
l
a
r
i
t
yo
fasma
Jl
s
ol
ut
i
o
no
ft
h
ep
-harmonicf
l
o
w
1
3.11月 22日(金) .三 沢 正 史 氏 ( 熊 本 大 )
1
4
. 11月 26日(火) *
V
l
a
d
i
m
i
rA.S
h
a
r
a
f
u
t
d
i
n
o
v氏 (
S
o
b
o
l
e
vI
n
s
t
i
t
u
t
eo
fM
a
t
h
e
m
a
t
i
c
s
)
1
5
. 11月 26日(火) ・J
e
a
n
P
a
u
lB
r
a
s
s
e
l
e
t氏 (IML，
M
a
r
s
e
i
l
l
e
)
1
6.12月 18日(水)本山
下
1
噂
氏(北海道大)
1
7
. 12月 18日(水) 新 井 仁 之
氏(東京大)
6日 ( 木 ) 事 伊 藤 敏 車
日
氏(随谷大)
S
p
e
c
tr
aJ剖db
oundaryr
i
g
i
d
i
t
yo
fR
iemannianm
a
n
i
f
o
l
d
s
C
h
a
r
a
c
t
e
ri
s
t
i
cc
l
a
s
s
e
so
fs
i
n
g
ul
a
rv
.
a
r
ie
ti
e
s
無限次元表現とその幕零不変量
不変微分作用素をとおしてー
錨視とウェープレァト
A PoincarιHopft
y
p
et
h
e
o
r
e
mf
o
rh
o
l
o
m
o
r
p
h
i
cone
-f
o
r
m
sonCn
1
8
2月
1
9
2月 24日(月) ・A
r
j
e
nDoe
lman氏 (Uni
v
e
r
s
i
t
yo
fAmsterda
.
m
)
J
o
s
e
p
h
s
o
nj
u
n
c
t
i
o
n
s，
f
i
u
x
o
n
s剖 l
dap
e
r
t
u
r
b
e
ds
i
ne
Gordone
q
u
a
t
i
o
n
Summaryo
ft
a
l
k
sb
yS
t
e
v
e
nZ
u
c
k
e
r，
JohnsHopl
口n
sUni
v
e
r
s
i
t
y
I
.Copingw
i
t
hi
n
c
o
m
p
a
t
i
b
l
ec
o
m
p
a
c
t
i
f
i
c
a
t
i
o
n
so
fl
oca
l
l
ysymmetricv
a
r
i
e
t
i
e
s
(
J
u
n
e1
3，
2
0
0
2
).
I
I.U'c
o
h
o
m
o
l
o
g
yandhomogeneousv
e
c
t
o
rb
u
n
d
l
e
s(
J
u
n
e1
4，
2
0
0
2
)
a
ti
o
田 町 阻d九 o
fag
i
v
e
nt
o
p
o
l
o
g
i
c
a
ls
p
a
c
eX a
r
e
1
.Twocompact凶c
c
al
l
e
di
n
c
o
m
p
a
l
i
bl
eh
e
r
ewhent
h
e
r
ei
snomorphismo
fc
o
m
p
a
c
t
i
f
i
c
a
t
i
o
n
s
Y1 → 乃 o
r九 → れ (Byd
e
f
i
n
i
t
i
o
n，t
h
e
s
emustr
e
s
t
r
i
c
tt
ot
h
ei
d
e
n
t
i
t
yon
x，sotherei
sa
tmosto
n
emorphismi
ne
a
c
hd
i
r
e
c
t
i
o
n
.
)Alwaysc
o
m
p
a
t
i
b
l
e
w
it
hb
o
t
hY1and九 a
r
et
h
el
e
a
s
tcommonm
o
c
l
i
f
i
c
a
t
i
o
nLCM(Y
t
，
乃)
， which
i
st
h
ec
l
o
s
u
r
eofX u
n
d
e
rt
h
ed
i
a
g
o
n
a
lembedd
i
n
gi
nY1x乃
， andt
h
eg
r
e
a
t
e
s
t
commonq
u
o
t
i
e
n
tGCQ(Y
乃
)
.Therei
sac
a
n
o
n
i
c
a
ldiagram
1，
LCM(Y
1，乃)一一→
1
乃
1
Y1
乃)
→GCQ(Y1，
Next，
t
h
e
r
ea
r
es
e
v
e
r
a
lk
i
n
d
so
fc
o
m
p
a
c
t
i
f
i
c
a
t
i
o
n
s，
wh
e
nX i
sal
o
c
a
l
l
y
symmetricv
a
ri
e
t
y，
t
h
a
ta
r
ed
e
r
i
v
e
df
r
o
mt
h
ea
l
g
e
b
r
a
i
cgroupt
h
a
tg
i
v
e
sr
i
s
e
t
oX. Thesei
n
c
l
u
d
et
h
eB副 l
y
-B
o
r
e
lS
a
t
a
k
ec
o皿 p
a
c
t
i
f
i
c
a
t
i
o
nX・
(
ap
r
o
je
c
u
o
t
i
v
ea
l
g
e
b
r
a
i
cv
a
r
i
e
t
y
)
;t
h
eB
o
r
e
l
S
e
r
r
em
a
n
i
f
o
l
d
w
i
t
h
c
o
r
n
e
r
sX andq
t
h
er
e
d
u
c
t
i
v
eBor
e
l
Se
r
r
ecomp
a
c
t
i
f
i
c
a
t
i
o
n
)an
d支開
t
i
e
n
t
st
h
e
r
e
o
f 支耐 (
(
t
h
ee
x
c
e
n
t
r
i
cB
o
r
e
l
S
e
r
吋;t
h
ea
l
g
e
b
r
o
g
e
o
m
e
t
r
i
ct
o
r
o
i
d
a
lcompacti
f
i
c
a
t
i
o
n
s
o
ro
Xt
fMumforde
ta
，
.
l andt
h
e
i
re
x
c
e
n
t
ri
cq
u
o
t
i
e
n
t
sxtor，
e
xc
.(
S
田 H
a
r
r
is
Z
u
c
k
e
r，I
I，I
nv
e
n
t
.Math.(
1
9
9
4
)f
o
rad
e
s
c
r
i
p
t
i
o
no
ft
h
e
s
e，thoughxtor，
e
x
c
r
e
a
lboundaryq
u
o
t
i
e
n
t
"t
h
e
r
e
.
) Theses
p
a
c
e
sf
i
ti
n
t
oad
i
a
h
a
st
h
ename“
gramo
fc
o
m
p
a
c
t
i
f
i
c
a
t
i
o
n
s
o
r
X 一一→ xt
1
1
支<x
c一一→ x
t
o
rl
e
x
c
X
r
e
d一
一
一
→ X'
I
ng
e
n
e
r
a
l，
t
h
ec
o
m
p
a
c
t
i
f
i
c
a
t
i
o
n
so
fB
o
r
e
l
S
e
r
r
et
y
p
ea
r
ei
n
c
o
m
p
a
t
i
b
l
ew
i
t
h
支陀d
，
xtor)2
t
h
et
o
r
o
i
d
a
lo
n
e
s
.Oneh
a
st
h
etheoremo
f
L
.J
i(
1
9
9
4
)t
h
a
tGCQ(
X
'
.Ont
h
eo
t
h
e
rhand，
G
o
r
e
s
k
yandT
a
i(
19
9
9
)showedt
h
a
tt
h
ec
a
n
o
n
i
c
a
l
mappmg
LCM(y
e
d，
Xtor)→Xtor
i
sahomotopyequi
v
a
le
n
c
e，andt
h
i
se
n
a
b
l
e
so
n
e，f
o
rsomep
u
r
p
o
s
e
s，t
oa
c
t
吋
r
t
o
r
x
i
s
t
e
d
.
a
st
h
o
u
g
hac
a
n
o
n
i
c
a
lmorphismX → 支 e
Wec
o
n
t
i
n
u
ei
nt
h
i
sv
e
i
n，makingas
y
s
t
e
m
a
t
i
cs
t
u
d
yo
ft
h
eLCM'sf
o
r
t
h
es
p
a
c
e
sa
b
o
v
e.Weo
b
t
a
i
nt
h
eanal
o
g
ueo
ft
h
e描 s
e
r
t
i
o
no
fGoresky
司a
i
-}ー
2
f
o
r支官candxtomxc，whzcha
r
e“
morea
l
i
k
e
"
. A
p
p
l
i
c
a
t
i
o
n
si
n
c
l
u
d
et
h
e
四四国
c
o
n
j
e
c
t
u
r
eo
fG
o
r
e
s
k
y
-T
a
ic
o
n
c
e
r
n
i
n
gc
a
n
o
n
i
c
a
le
x
t
e
n
si
o
n
so
fhomog
v
e
c
t
o
rbund
.
l
e
s(
s
田 P
a
r
t1
1b
e
l
o
w
)，
andt
h
ec
o
n
s
t
r
u
c
t
i
o
no
f“
n
a
t
u
r
a
l
"mixed
X
'
'
"
c
Hodges
t
r
u
c
t
u
r
e
sf
o
rt
h
ecohomologyo
fX吋 and:
1
1.L
e
tX beal
o
c
a
U
ysymmet
口cv
a
r
i
e
t
y
，
andE a(
l
o
c
a
U
y
)homogeneous
v
e
c
t
o
rb
u
n
d
l
eonX.L
e
t'
i
lb
eane
q
u
i
v
a
r
i
a
n
tc
o
nn
e
c
t
i
o
nonE.Byat
h
e
o
r
e
m
o
fMumford(
1
9
7
7
，
)t
h
e
r
ei
sac
a
n
o
n
i
c
a
le
x
t
e
n
s
i
o
no
fE t
oav
e
c
t
o
rb
u
n
d
l
e
E
'
o
ro
v
e
rx
'
o
rs
u
c
ht
h
a
tt
h
eChernf
o
r
m
so
f'
i
l
， b
eyondr
e
p
r
e
s
e
n
t
i
n
gt
h
e
Chernc
l
出 S
田 o
fE，
a
c
t
u
a
l
l
yr
e
p
r
e
se
n
tt
h
eChernc
l
a
s
s
e
so
fE
'
o
ri
nH・
(
x
'
o
r
)
一 寸e
d
Weg
i
v
eana
n
a
l
o
g
o
u
sr
e
su
l
tf
o
rX
.
'
"
.T
herei
sac
a
n
o
n
i
c
a
le
x
t
e
n
s
i
o
no
fE
t
oE
r
e
d，andt
h
eChernf
o
r
mso
fvr
e
p
r
e
s
e
n
tt
h
echemc
l
a
s
s
e
so
fredi
n
H (X
吋).
Thep
r
o
o
fo
fb
o
t
hr
e
s
u
l
t
si
sb
a
s
i
c
a
U
yt
h
esame.L
e
t，
i
ne
i
t
h
e
rc
a
s
e，
マ
。
b
eac
o
n
n
e
c
t
i
o
nwhoseChernf
o
r
m
sa
r
eknownt
og
i
v
et
h
eChernc
l
a
s
s
e
so
f
t
h
ec
a
n
o
n
i
c
a
le
x
t
e
n
s
i
o
n
.I
nt
h
ec
a
s
eo
fx
'
o
r，i
ti
sasmoothc
o
n
n
e
c
ti
o
non
i
ti
sac
o
n
t
r
o
l
l
e
dc
o
n
n
e
c
t
i
o
nonE吋 (
i
nt
h
es
e
n
s
p
E
'
o
r
;i
nt
h
ec
a
s
eo
f支同d，
o
fs
t
r
a
t
i
f
i
e
ds
p
a
c
e
s
).Thes
t
a
n
d
a
r
d池 山t
y
:
・
=d1Jt，
C
t
(マ)-C
t
('
i
lo
)
f
o
rs
h
o
w
in
gt
h
a
tt
h
ec
o
h
o
皿 o
l
o
g
yc
l
a
s
so
ft
h
ei
t
hChernf
o
r
mi
si
n
d
e
p
e
n
d
e
n
t
r
e
d
mustt
a
k
ep
l
a
cei
nas
u
i
t
a
b
l
ec
o
m
p
l
e
x
.F
o
rE ，
weu
s
e
o
ft
h
ec
o
n
n
e
c
t
i
o
n，
ー;
r
e
d
eRha皿 complexonX.<
"f
o
rt
h
ei
n
v
a
r
i
a
n
tm
e
t
r
i
c，
w
h
e
r
e
a
sf
o
rx
'
o
r
t
h
eL∞ d
Mumfordu
s
e
dc
u
r
r
e
n
t
sonX同 r(
t
h
o
u
g
ht
h
eL∞ c
o田 p
l
e
xw
i
t
hr
e
s
p
e
c
tt
o
am
e
t
r
i
cP
o
i
n
c
a
時 間l
a
t
i
v
et
ot
h
ed
i
v
i
s
o
ra
ti
n
f
i
n
i
t
yi
smoret
ot
h
ep
o
i
n
t
)
R
e
s
t
r
i
c
t
i
n
gt
oV'c
o
h
o
m
o
l
o
g
yf
o
rl
a
r
g
ep，
ane
s
s
e
n
t
i
a
lt
e
c
h
n
i
c
a
lmaneuver，
y
i
el
dst
h
ed
e
s
i
r
e
dc
o
n
c
l
u
s
i
o
ni
nbothc
a
s
e
s，
b
yt
h
enows
t
a
n
d
a
r
dmethodf
o
r
c
a
l
c
u
l
a
t
i
n
gs
u
c
ht
h
i
n
g
s
ー
，
;
，r
e
d
Therea
r
etwoa
d
v
a
n
t
a
g
e
so
ft
h
er
e
s
u
l
tonX
i
)I
ti
st
r
u
ee
v
e
nwhenX i
sn
o
n
H
e
r
r
r
川 i
a
n
i
i
)Undert
h
eG
o
r
e
s
k
y
T
a
i皿 a
p
p
i
n
g
sf
r
o
mP
a
r
t1i
nt
h
eH
e
r
m
i
t
i
a
nc
田町
r
e
d
E
'
o
ri
sc
o
n
j
e
c
t
u
r
a
l
l
yt
h
ep
u
l
l
b
a
c
ko
fE ，
andMumford'sr
e
s
u
l
tmaybecome
吋
r
ac
o
r
oUa
r
yo
ft
h
eonef
o
rX
-2ー
Primev
a
l
u
e
so
fp
o
l
y
n
o
m
i
a
l
s
K
e
i
t
hConrad(UCSD)
Ac
o
n
j
e
c
tu
r
eo
fBatemanandHornp
r
e
d
i
c
t
showof
te
nas
e
to
fp
o
l
y
T
]a
l
lt
a
k
ep
r
i
r
n
ev
a
l
u
e
s
. (As
p
e
c
凶 c
a
s
ei
st
h
et
w
i
np
r
i
r
n
e
n
o
m
i
a
l
si
nZ[
c
o
n
c
e
r
n
i
n
gp
r
i
m
ev
a
l
u
e
sofnandn+2
.
)Thec
on
je
c
tu
r
ec
a
n
c
on
je
c
tu
r
e，
bee
x
t
e
n
d
e
dt
op
o
l
y
n
o
m
i
a
l
si
ns
e
v
e
r
a
lv
a
r
i
a
b
l
e
so
v
e
rr
i
n
g
so
t
h
e
rもhanZ，
w
i
t
hane
x
c
e
l
l
en
tf
i
ti
nman
yexampl
e
s
.T
h
i
se
x
t
e
ndedp
o
i
n
to
fv
i
ew
且j
e
c
tu
r
e
，buts
u
g
d
o
e
sn
o
tl
e
a
dt
op
r
oof
so
fnewc
a
s
e
so
ft
h
eo
r
i
g
i
n
a
lc
o
c
t
so
ft
h
ec
o
n
j
e
c
tu
rew
h
i
c
hc
a
nbev
e
r
i
f
i
e
d.I
nt
h
e
g
e
s
t
ss
t
r
u
c
t
u
r
a
l鎚 pe
h
ef
a
c
tt
h
a
tt
h
eparame
t
e
r
s
c
o
n
j
e
c
t
u
r
ef
o
rm
u
l
t
i
v
a
r
iabl
ep
o
l
y
n
o
m
i
a
l
s，t
w
h
i
c
ha
r
i
s
eal
w
a
y
smakes
e
n
s
et
u
r
n
so
u
tt
ou
s
eworko
fD
e
l
i
g
n
e(Wei
lI
I
).
，whenwer
e
p
l
a
c
eZbyc
e
r
ta
i
nr
i
n
g
si
nc
ha
r
a
c
t
e
r
i
s
ti
cp，
t
hena
i
v
e
L
a
s
t
l
y
ana
l
o
g
u
eo
ft
heBateman
-Hornc
o
n
j
e
c
t
u
r
et
u
r
n
so
u
tt
obef
a
l
s
ef
o
rav
e
r
y
i
n
t
e
r
e
s
t
i
n
gr
e
a
s
o
n
.
References
P.Ba
も
emanandR
.Horn，
A he
u
r
i
s
t
i
ca
s
y
m
p
t
o
ti
cf
orm
u
lac
o
n
c
e
r
n
i
n
gt
h
e
a
t
h
. Comp.16(
1
9
6
2
)，
3
6
3
-3
6
7
d
i
s
t
r
i
b
u
t
i
o
no
fp
r
i
m
enumbersM
.Horn，
P
r
i
r
n
e
sr
e
p
r
e
s
e
n
t
e
dbyi
r
r
e
d
u
c
i
b
l
ep
o
l
y
n
o
m
i
a
l
s
P.BatemanandR
P
r
o
c.Symp. PureMath.8(
1
9
65
)，
1
19
-1
32
i
no
n
ev
a
r
i
a
b
l
e，
K
.Co
町 品d
，andR
.G
r
o
s
s，
Bateman
-Horno
v
e
rgl
oba
lf
i
e
l
d
s
B
.Conrad，
(
i
np
r
e
p
a
r
a
t
i
o
n
)
B
.Conrad，
K
.Conrad，
andR
.G
r
o
s
s，
Them
u
l
t
i
v
a
r
i
a
b
l
eBateman
-Horn
c
o
n
j
e
c
tu
r
eo
v
e
rag
l
oba
lf
i
e
l
d(
i
np
r
e
p
a
r
a
t
i
o
n
)
1
-3-
ギンツブルグ・ランダウ方程式における安定解と領域依存性
神保秀一
(北海道大学・大学院理学研究科)
(北海道大学理学研究科数学専攻談話会 7/2/2002記録)
~O. 導入
本稿では(低混)超伝導のモデノレとして現れるギンツプノレグ・ランダウ (
G
L
)汎関数や，その変
分方程式であるギンツプノレグ ・ランダウ (
GL)方程式を考える.超伝導現象において著しい特徴
のひとつは永久電流である.これは外部から駆動力がなくても，減衰することなく(半)永久的に
電流が存続する状態である 一般には物体に電流があってもそのままでは電気抵抗によって電流
が減衰してしまうが， (纏低温等の)ある物理状況で永久電流が実現できるということが大発見で
あった (20世紀初頭). 50年後この現象はギンツブルグ ・ランダウ (
G
L
)によってモデノレ化さ
れ方程式が得られている .GLの理論とはエネノレギー汎関数の Loca
lmi
凶m
l
z
e
rによって現象とし
て現れる電流の状態を規定するものである すなわち，物理的な状態(安定状態)を GL汎関数の
変分構造に結びつけるものである その汎関数の変分方程式がギンツプノレグ ・ランダウ (
GL)方程
式に他ならない この方程式は物理的な外部状況に対応するいくつかのパラメータをもっ パラ
メータの範囲全部にわたって現象が GL方程式でちゃんと記述されているかどうか，かならずし
も保証の限りではないが，良いモデノレであることは長年の物理の研究で十分認識されている.考え
ている状況に応じて境界条件等を与えることによって偏微分方程式の境界値問題となって数学の
問題に帰着されるが，その解析は必ずしも容易ではなく現象の全体が解明されたということには
なっていない.パラメータその他の状況により異なる様相の現象があることが知られている 実
験などで実現されやすいものは安定性の高い状態と考えられるが，それよりエネノレギー準位が高
くても極小値になっていれば安定性をもっ状態といえるため，技術的には困難でも本当は起こる
現象かもしれない.よって，本質の理解のためには広い視野のなかでものを考える必要がある.数
学的にはより豊富な現象が起こっている可能性を含んでいるからである 数学研究の問題意識と
しては，全体のパラメータ領域にわたって安定解(および不安定解)がどのように分布している
か理解するということにある それぞれ個別の所で解の畿何的な性質も興味ある また，永久電
流の現象からの直接の疑問としてはどのような領域に安定な解が存在するかという問題も生じる
最初に発見された超伝導現象は針金状の物体上の円環電流であった .それでは一般の複雑な形で
は ど う で あ ろ う か 我 々 は Q に関する依存性を研究し複雑な解を生成するメカニズムをよく理解
したいと患っている 素朴な発想としては Q が単純な形状だと単純な安定解しか許されず，複雑
だと安定解が豊かに存夜する状況になる，と考えられる これは，符円型方程式や反応拡散方程
式などパターン形成の研究の例からも一般的に予想されることであり，非常にもっともであると
考えられる これらの数学的な解析を与えたい 複雑な形状ならば適当に大きいパラメータのも
とで安定な解が存在するということについては 90年代半ばにいろいろ仕事がなされた.これら
を含めて燦々の異なる状況に関する解の構造の依存性を中心に話をすすめる 以下の議論や結果
は，森田善久(竜大)， J
.Zh剖 (
Zhe
j
i
a
n
gU
n
i
v
.
)，P.S
t
er
n
b
er
g(
I
n
di
anaU
n
i
v
.
) らの方々との共同
研究などで得られたものである
-4
2
~1.安定解の存在
1C]
R
3 は滑らかな境界をもっ有界領域とする. (
骨，
A)を変数として次の汎関数を考える.
(fl
λ ¥
f
2+ー
(1.1)払(骨，
A)= I(~ I(マ - i
A
)吾1
(
1ー￨骨 1
2
)
2)dx+I~lrotA -H
I2dx (cf.[3，] [
4
]
)
日
¥2"
4'
" '}
J[
(
32
岳(
C
v
a
l
u
e
d
)は上の複素数値関数，A は]R3上のlR3値関数である
h言。はパラメータ
λ>O，
また外部磁場としては少し特別なもの H=h
e
3，e3=(
0，
0，1
)を考える 研究すべきこ
である
とはこの汎関数の変分構造をできるだけ詳しく知ることである.汎関数において研究すべき重要
な特徴は停留点 (
Cr
i
t
ic
a
lP
o
i
n
t
) の性質や様子であるが，それは 冗λ の変分方程式として得られ
る GL方程式の解である 簡単な計算により GL方程式は
(
マ -iA)2争+λ(1ー￨骨 1
2
)岳 =0 i
n 1，
8~
(
1
.2
)
τ一-i
(A-v
)骨 =0 on
8
1
1，
av
3
r
o
tr
o
tA+ (i(~V'畳一骨V' ~)/2+ 1骨1
2
A
)A口 =0 i
n l
R
，
rotA-H →o f
o
r
I
x
l→
∞.
ここで(ー
，ー)は標準内積，A
f
lは Q の 特 性 関 数 争 は Q 上の複素数値関数で電流の状態を表し .A
はlR3上のベクトノレ値関数で磁場のベクトノレポテンシヤノレである これらの方程式の解についてま
ず簡単にわかることをいくつか述べる.
(
i
)h= 0の場合.吾
((
x
)，
A
(
x
)
)= (
1，
0)は (
1勾 の 解 と な る また，これは汎関数冗λ の最小エ
ネノレギー値 0を与える.これは外部磁場がない状態で物体のなかの電子がすべてマクロには運動
していない趨伝導状態にある状況に対応している
(
i
i
)hf
.0の場合 Ao(x)= (h/2)(-X2，Xl，0
) とお くと(骨，
A)= (
0，
A
o
)は(1.2
)の解となる.こ
れは外部磁場が H で物質のなかの電子すべてが正常状態にある状況に対応している これが安定
か不安定かはパラメータ入久よび hに大いに依存する 少なくとも
、
L2 r
払 (
0，
A
o
)=千
1
1
1J，ぬ (1，
Ao)=与
唱 。
I(xi+x~)dx
Jfl
を見れば hに応じて λが大きければ (
0，
Ao)は G
l
o
b
a
lr
n
山 田 町E にならないことがわかる.
これらのパラメータめ値にたいして解の構造がどう変化するか，これが根本的な課題であると言
える 現在多くの研究がなされているが全体の明快な理解にはまだまだ道のりは遠い状態である
と思う.
最近示された重要な結果として
ないことが示された
h>Oが非常に大きいならば超伝導状態に相当する解は存在し
命題。 (
Giorgi-Phil
J
ip
s[
7
]
) λ>0に対してあ る h
o>0があって ，hミh
oな ら %
λ は(
0，
Ao)
を Gl
obalm
i
n
i
m
i
z
e
rとして もち，これは同時に唯一の Cr
it
i
c
alP
o
i
n
tである.
)が，第一の E
重要な性質として次の(ゲージ)変換に
ここで，汎関数(1.1)および方程式(1.2
よる不変性をもつことを注意する
(
1
.
3
)
r (~ ， A) ー(昏 '， A')
{
昏=内
A
'= A+v
'P
l
3
(
p:l
R
→ lR).
C
(昏 ，A)を得るが，この連
続体(同値類)自体がひとつの状態と考えることになっている このような考えに従えば， (
争，
A)
の安定性とはこの連続体 C(
骨，
A
)機断的な方向へのエネノレギー冗λ の埼滅あるいは大小で考える
のが自然であることがわかる。
p をいろいろとることによって，ひとつの解(骨，
A)から解の連続体
-5-
3
停留点 (
Cr
i
t
ic
a
lP
o
i
n
t
)では(第 1)変分が消えている
汎関数の第 2変分である
その安定性を考えるため に必要なのが
A)における討λ の第 2変分は以下のように与えられる
[
第 2変分公式](母，
動の変数である
(
1
.4
)
1t
P
J
λ
.
(争 ，
A
j宙 ，
B)=一
( •れ-成1A+
ε
B
I
2d寸
f2千
.仏
¥• - ，-)
'
1吋
~^
r
ただし， 世
( ，B)が摂
=
2
J
tI
~ J!1{
1¥
7i
+τ(¥
7ft，
i
J
tB)+i
(¥
7
i
J
t
， A否 + B
苔)-i
(マ苔，
i
J
tB)-i
(
¥
7
i
J
t
， A宙 + B
骨)
ゐ
2+(A，B)(骨iJt+苔世)+I
2
+
I
A
1
2
1官1
B
I
2
1骨1
}
dx
+~
r
2
((詞 + 恥 )2ー卯 一￨昏1
)
1世 1
2
)dx+~
官 J 日~
r
I
r
o
tB
I2
dx
JR3
J
i
皿 b
oandM
o
r
i
t
a[
1
O
J
，R
u
b
i
n
s
te
i
nandS
t
e
r
n
be
r
g[
1可
， J
i
r
n
b
o阻 dZ
h
a
i[
l
1Jらの結果により，領
犠がある程度位相的に複雑ならば(固定された h>Oにたいして λ>0を大き くすれば)複数の
種類の安定解が存在することがわかった ここでは[l
1Jより少し異なる形で結果を述べる ただ
し，証明は同じである 次のような関数空間を準備す る.
Z=
〆
、1/2
I
I
B
l
l
z=(I
.
1
¥
7B
I
2dx).
3X3
1
¥
7B E L2
(
I
R3;I
R )}，
3
{BE L (
l
R3;I
R)
6
p
¥JI
R
3
(BE Z
)
/
X = H1(
O;
q X Z， XH= H1(O;q x{H+B 1B EZ}
とおき，汎関数千λ
4 を XH において考えると，次の結果が成立する
定理 1
. 0 は単連結でないと 仮定する.このとき ，入0>0が存在して λミλoの条件のもとで
冗λ は XH において非自明 な Lo
c
a
lm
i
n
i即 日r骨
(，
^Aλ) をもっ.
注 hを固定して， λが増大すれば，ますます多くの異なるものが存在する
注:この結果は 2次元版の場合も成立する
ただし，関数空間の取り方は多少異なる
さらにこの L
o
c
a
lminimi
z
e
rの安定度も第 2変分により特徴付けられる.
o
c
a
lm
i
n
i
m
iz
e
r骨
(，
^Aλ
)EXH にたいし，第 2変分の 2次形式はある意
定理 2 上で得られた L
味で正定値であることも 言える すなわち，ある定数 c>Oがあって
い
み
J
λ(
但
，
t
J
i
宙
弘町
B)主
訂c(
1
1
同
宙
引
叫1
1
ι
L
L
吋
1附
{
明
ρ
Q
ここで'部分空問 X2CXは
(
伶
岳λ，
Aλ
ρ
)におけるゲ一ジ変換の方向と綴断する部分空間である X2
の特1
徴敷付けについても [
伊
例
伶
昏λ，
6
同]を参照 これにより角解平(
A
ρ
λ)についてそのゲ一ジ変換に関する閑値
類は，類としては狭義に安定であることがわかる.
^
さらにこの安定性の非退化の性質によりにより多少領岐を乱暴に変形しでもこの解は存続でき
ることも示せる 野生的な領域変形として機々な位相のものを採用することができる もともと
の Q として例えば ソリッド トー ラスであったとすれば.そ の穴に薄膜をはめ込んで可縮なもので
体積がほとんど閉じものができるが，このような領域に安定な解を構成することもできる 実際
つぎのことが考えられる (
c
f
.Jimboa
ndZ
h
a
i[
1
2
]
)
-6-
4
[領緩の特異変形]
n
(
(
)(
(>0
)を考え，次の条件をみたすとする
(
a
)n(
(
2
)コn(
(
t
lコn (
0く (
l三(
2
)
3 の領域の族
Q を含む1R
i
m
(→oV
ol(n(()¥n)=0.
(
b
)l
このような領域 n
(
(
)について同様の問題を考える ただし .上の説明 に書いたように (>0
が小さくても，この領域は Q と同相とは限らない.次の GL汎関数を考え，定理 1， 2で得られ
るL
o
c
a
lm
i
n
i
皿i
z
e
r(
昏
，
¥
， Aλ
)の摂動を考える.
(
1
.5
)
'
H
.
，
¥.
d昏，
A)=
r (1
I
(
~ I(マーは)骨 1
J口(()¥L
2
λ ¥ f
+~(l -I 昏|ザ )
噌 ノ
I百￨叫A -H
I2dx
dx+
JUP ゐ
この汎関数に対する p
e
r
t
u
r
b
e
dL
o
c
a
lm
i
n
i
m
i
z
e
rが得られる.
定理 3(
c
f
.[
1
2
]
)
. 十分小さい (>0にたいし討λ，(は L
o
c
a
l皿 i
n
i
m
i
z
er争
(λρAλ ，
c
)をもち
j
出(
1
1骨M 一 州 町 日 )+I
I
A
'
¥，
c-AλI
I
z
)= 0
(
1
6
)
が成立する.
注ー(1.6
)における収束は楕円型方程式の解の正則性の評価により良い収束となり，<tλ，(は Q 上
では岳λ を非常によく近似している 一方 • Q
(
(
)= n(()¥Qではどうなるかは一般にはわからな
(
(
)について特定しなければならない ただし， 全体の
い.ここでの挙動をよく見るためには Q
n
(
(
)が可縮な領域ならばゼロ点をもたなければならないことはわかる
3
44F
寸
f
Jh
Z
(
G 官R
イ
μ 沖・
、ph
ρ
r耳Z
、定(い
広i
z
主
、h罪
ふ
小
，
S
山
g'
︿以
三非
手
一
宅一
pp(
、
Q(り
/J
'ト、ィ浄錆ーの旬
z
みを加 Al
イ
士
ヨ
ヰel4イフ o t支王 3
正L
(〉
包
-7
u
G
C
S
)
一
一
一
一
一γ
s
9
2.自明領績と安定解の非存在
(
2次元飯)
単純領域には安定解があまり存在しないと考えられる が
， 一般の 3次元の場合はあまり研究が進
んでいない. ここでは 2次元の場合に事柄を考察する Q を艇の有界領域で境界は滑らかであ
るとする . 2次元の GL汎関数を
(
2
.
1
)
冗λ
(昏
rr
1 λ
。
r
2ー (
，
A)= 1
I
一
1
(¥
7-i
A
)
争 1+
1-1
争1
2
)
2J
~d
x+1
I
~lrotAl2dx
0{
l2'
"
，-，.
4，
，
-"
-.
1
1
.
22
c-
ただし，昏は
va
l
u
ed関数 .Aは J
R
2v
al
u
e
d関数である これは 3次元の問題において勾
方向にすべて一様な現象を考えていることに対応する.そして Xl- X
2方向の切断面でのエネノレ
ギー密度を新たな汎関数としている GL方程式はこの汎関数の変分方程式として得られる.これ
は(1.2
)問機の形となるー
[
1
3
]
)
.領域 Q が凸領綾ならば任意のLoc
a
lm
i
n
i
m
i
z
e
r(
骨.
A)は自明状態 (
1，
0)にゲージ
定理 4(
同イ直である
注.磁場の効果を考慮しない GLモデノレについて同様の結果が知られている お皿boandM
orita
o
l
l
a
n
d[
1
]姐 dMatano[
1
5
]さ
[
9
].さらに以前には単独の反応拡散方程式について CastenandH
らに c
o
皿p
e
t
i
t
i
o
n
s
y
s
t
e
mでは Ki
s
h
i
皿 抗 争W
e
i
n
b
e
r
g
e
r[
1
4
]の仕事がある. 今回の我身の結果は方
法論的にはある意味で延長線上にある.
(定理 4の証明の概要)(骨，
A)を任意の Loca
lm
i
n
i
m
i
z
e
rとして固定して議論をすすめる.また，
適当なゲージ変換によって(昏，
A)が(以下の議論で必要な)滑らかさを持つとして一般性を失わ
ない さらに (
A.
v
)= 0(
xEa
f!)が成り立つようにしておく.まず次の性質に注意する
A
)は￨争 (
x
l
l三1 (
xEf!)を満たす
補届.解(骨，
x
)= 1
争(xW，ゆ(
x
)= Arg(骨(
x
)
)が満たす方程式
(証)凹 (
d
.w 1¥
7
1
>-A
I2w+λ(1一
切
り
切 =0 (ZEQnE)，
に最大値原理を適用して示される
ただし
Z=0 (ZEBOnE)
E ={xEf
!1骨(
x
)#O
}
口
注この性質は L
o
c
a
lm
i
n
i
m
i
z
e
rのみならず一般の解 (
C
r
i
t
i
c
a
lp
o
i
n
t
)にたい しても成立する
補題.r
otA三
o(xEJR2¥f!)
=
o
tr
o
t
A 0で
(証)これは 2次元の特殊性より従う.仮定より Q の外部領媛は連結で，ここで r
あるから • a
/
a
x
l(
r
o
t
A
)=0
，a
/
θX
2(
r
o
t
A
)=0
が成立し r
o
t
A=c
a
n
s
tとなる 一方 mは は が
で 2乗可積分であることから，この定数は外部領域でゼロとなる これから結論が従う.
口
証明においては第 2変分 Jλが重要となるが，これは 3次元の場合と閉じに定義され(1.4
) とほ
ぼ同様の公式が得られる
(
2
.
2
)
1 ~
J
λ
(骨，
A
j宙 ，
B)=一
一τ従 λ
(骨+
εw
，
A +ε
B)I
2de '}， ' -"''"~
，
-- '1
-8
6
アイデアの要は
て
と
0争 8A
1=)Jλ
(，
骨A - )
(
2
.
3
)
主f
'OZ3'BZ3
のtil:を良く検討することである (
2.
3
)を第 2変分公式を用いて計算し，元々の GL方程式を微分
して得られる関数等式を代入して重要な等式を得る それを説明するため集合を定義する
rl= {XE8n1
昏(
X
);
fO
}，
r
2= {XE8n1
昏(
X
)=O
}
当然ながら rlnr
2= o
，rlUr
2= 8nが成立する
補届.
1=
(
2
.
4
)
一~
r
F(x)H(x)dS
" J8n
ただし.H = H(x)は xE8nにおける曲率 . Fは(争，
A)から決まる 8n上の関数で
2+ 叫 2
r1
マ
四1
1'
¥
7
<
t-A
I
2
:
.
:
.
.
:
:
:
?
2 xEr
I 1
マ骨 1 (
2
)
F(x)= <
(
xErl，
争(
x
)=叫 (
x
)
e
x
p
(
i<
t(
x
)
)
)
と定義されている
ここでれでの骨の表し方は一通りではないが F は一意に定まる
非負であることも注意，
仮定より第 2 基本形式が非負定値であるかり .F は明らかに非負であるから結局 I~O を得
る.従って， (
骨，
A)での 2方向 (
8
岳/8X
l，
8A/8xd，(
δ争/8X2，
8A/8x2) での 2階変分の和がゼロ
以下であることになる.従って，少なくとも一方が正ならもう一方が負になり. (
争，
A
)が Local
m
i
n
i
m
i
z
e
rでないことになる 従って，両方ともゼロであることになる. これより
θ岳 θA
(
2
.
5
)
み怜 ，Aj石j 石;)=0 (3=lj)， J
λ
(争，
A;w，
B)ミo (
I
f
(
宙，
B)EX)
が得られるーまた ，さらに境界上で曲率が消えない集合上で F がゼロとなる
従って
r3= {
xE8n1H(x
)>O
}
とおくと
(
2
.
6
)
マ昏 ，骨A
=0 00
，
r3
が成立する
さて (
2
.
5
)からわかることは (
8
骨/
8
x
j，
8A/8xj)は(世 ，
B)のみを変数にもっとみなした汎関数
J
λ
(岳 ，
A;w，
B)の最小値 Oを与えていること である よって，その変分方程式と自然に満たすべ
き境界条件 θ
(骨/
8
x
j，
8A/θX
j
)に与えられる 計算によってそれは次の通りである
(
2
.
7
)
f_fθ
8A¥
l
'
¥
7l石~) i争 a~; ) .
v=0
骨¥
8n (
j=1，
2
)
00
これを用いて GL方程式の第一式を境界で e
v
a
l
ua
t
eすれば
(
2.
8
)
=0
争(
x
)
o
r 1
骨(
x
)
1=1
が成り立つ
-9-
00
8n
ー
ー
ー
ー
可
8
~3. 具体例í!=
Disk
外部磁場 H があるときの円板の場合に具体例を見てみる
i
!= {
(
X
l，
X
2
)EJ
R
2
1xf+x~
<1}
i
m
9，A = (
の場合を考える. 解として特別な形のもの 昏(
x
) = 叩(
r
)
e
y
(
r
)
/
r
)
(
s
i
n
9，
c
o
s
9
)を
cos9，X
2 =rsin9を用いた
これを方程式に代入して問題は
考える
ここで極度標 Xl =r
叫=叩 (
r
)，
y= y
(
γ
)に関する方程式 (ODE)に還元される
No-Vortex(Meissner)s
o
l
u
t
i
o
n(m= 0
)
d2w
1d
山
U
2
2
0く T く 1
)，
一
τ +一一一 τ2叫 +λ(1-w
<
)叩 =0 (
d
r2 . rd
r r
d2y 1d
y
一
τ
一一
一
-yw2A(r)= 0 (
r>0
)
2
αr
rd
r
叫(
r
)>0(
0く T く 1
)，y
(
r
)>0(
r>0
)， y
(
O
)= 0，d
y/
d
r
(
l
)= hdw/
d
r(
O)= d
叫/
d
r(
l
)= 0，
(
r
)= 1(
rE(
0，1
)
)，A
(
r
)= 0(
rE(
1，∞))である ここで計算によ って l
r
o
tA
I
=y
'
(
r
)/
r
ただ し A
であり， 補題より y
(
r
)= h(
rミ1
)であることもわかる .単調なる解凹 (
r
，
)y
(
r
)を得て 次のグラ
フを得る.また，電流の強さ，できる磁場の強さについても機子がわかる
3
札、
r
ト
。l
芋
oCA
I=
T'^'~=' 宅|
勺
でプラ
e
f三7て ー ¥
¥¥工
J
•
ノ
ーレ~
T
χ
'
x
-
¥ ¥ - ー ー ー ー一一一ー----
よ
工
Jー
コ
-1
0ー
7
さて境界近傍において議論を進めるため次の集合を定義する.
f4=f¥nf3，
f
3が空集合でないことは明らか
fs=f2nf3
また， f
4Uf
sヲ
正
日
Case(
i
)f4i
-0
.
PEf
4を任意に取って (
2.
8
)を考慮すると l
骨(P
I
)=1であるが ε>0を小さく取り
(山 ￨ 的 )1~ 1 i
n 恥 )
n1
1
(
2
.
9
)
￨
骨(
x
)
1= 1
on B(pパ)n8
1
1，
x
)= 1岳(
x
)1
.
ゆ(
x
)= Arg(吾(
x
)
)が満たす方程式を考える ，
とできる. この局所的な部分領域で叫 (
(
2
.
1
0
)
(6
0
叩
<
￨
マ
ゆ
A
I
2凶+入 (
1一切り四=0 i
n B(
P
;ε
)n1
1
8wjν =0 i
n B(
P;
f
)n
811
ここで，最大値原理あるいはホップの補題を適用して四三 1(
xEB(
p
;ε
)n1
1
)を得る この議論
を繰り返して Q 全体で凹 =1 となり φも Q 全体で定義され A =¥
7ゆ (
xE1
1
)が成立する さら
にr
o
t
A=0を用いてゆをI1C で拡張して全空間で A=¥
7
<
tとできる よって(昏，
A
)がゲージ
変換の意味で自明であることがわかる
(
i
i
)f
4=日
PEf
sヲ正日を任意にとる
(
2
.
8
)を考慮すると適当に ε>0を小さく取ると
(
x
)=0， ¥
7
<
T=0
o
n B(
p
;ε
)n8
1
1，
とできる.さて方程式を用いて初期値問題を B(
p
;ε
)n1
1で考える
(
2.
1
1
)
争
((
¥
7-i
A
)
2骨+入 (
1ー￨骨 1
2
)母 =0 i
n 1
1
(
2.
1
2
)
<_.
8
い(x)= 0 石
=0 on B仇 ε
)n8
1
1，
骨
これにたいしてカノレデロンの一意性定理を適用して岳=0(
xEB(
p
;f
)nl1)を得る.さらに内部で
繰り返し一意性定理を適用し争 =0が Q 全体で成立する.方程式にもどって第 2式に A をかけ積分
することでん2 I
r
o
t
A
I2dx=0を得る これにより全空聞がで A = ¥
7cを得て， (
争，
A)= (
0，
¥
7
η
)
の形となる.これは(骨0，
A
o
)= (
0，
0)とゲージ同値である(骨o
，
A
o
)での第 2変分を計算する.
i
弘
k
み(
<
To
，
Ao，¥
T，
O
)= 一
2
引
宙1
l
<
To，
均
A0
)は Localmi
阻
n
凶
i凹 z
回e
rにはならない a よってこのケースは排除される
となるから(骨
以上をまとめて(岳，
A
)が (1，0)にゲージ同値の場合だけが残って定理の結論を得る
口
1
1
9
l-Vortexs
o
l
u
t
i
o
n(m= 1
)
原点にボノレテクス(岳のゼロ点)を持つような状態に対する解
a
l
w 1d切
(
1-y
)
2 ，'"
2
耳王+;:dr 一手一切 +λ(1-W')叩
=
0 (
0く r<1
)，
d2
ldy ，
，
，
，2
寸百一 一 +(
1-y)w'A(r)= 0 (
r>0
)
d
r
' rdr
(
r
)>0(
0<rく 1
，
)y
(
r
)>0(
r>0
)，切 (
0
)= 0，y
(
O
)= 0，d
y
/
d
r
(
l
)= h，d叫 /
d
r
(
l
)= 0
，
山
この方程式は解析できである程度小さい h にたいして非自明解が存在する .h が大きい場合は
(
四
，y
)= (
0，
hr2/
2
)なる解しかない これが安定になるかどうかは λ>0や h
;
;
:
:
Oのかね合いで
決まる .h= 0のとき不安定であることは前節の結果より従う もし安定なパラメータ値 λ hが
あれば混合型の超伝導状態に対応し相転移の数学的モデノレの一例となり得る.
，
/
J
I
I
.
N
-
。
い
0/
ト
内
~4 パラメ -$1 空間での解の構造の様相
パラメ ー タ hによって解の構造がどのようになるかは現時点ではよくわかっていないが，大雑
把に は λが大きく ，hがあまりおおきくない時には超伝導に対応する解が豊富にあることが示唆
される，その逆にはあまりないことが伺われる Q 全体に分布する電子が正常状態という自明状
態と，逆にすべての電子が超伝導になっている状態とが分岐図(相転移図)のなかでどのように
結びついているのか今後の課題と言える
い北危宮崎
(
司
?，A)
ス
フ
C
え
サ ノ 仏 け 凶 開4
f
長k
)
.
之イスナイ亡、
在 ( リJ
エ
の
Z易所ていた、、のよ
34
，
/
/
λ
非自明、与を品川純比ア J
，
，
指ょ重_-:E昆~'--ず'式、こっ之づゲ
f
まと九じ g
.
f
f
}ペいよ的'Z {I ;
j
:U
¥ヲ
レoγ (M~ ふみのコザグ解
乏互金華北、管長 b
f
ノ」一
h
-1
2ー
1
0
References
I
n
s
t
a
b
i
l
i
t
yr
e
s
u
l
t
sf
o
rr
e
a
c
t
i
o
nd占 U
S
l
o
n叩 a
t
i
o
l
l
sW 凶 Neumann
[
1
)R
.C
a
s
t
e
nandC.H
o
l
l
a
n
d，
.D
i
f
f
.E
q
s
.27(
1
9
7
8
)，
2
6
6-2
7
3
boundaryc
o
n
d
i
t
i
o民 J
[
2
)S
.Chapman，Q
.Du，M.GunzbergerandJ
.P
e
t
e
r
s
o
n，S
i
m
p
l
i
f
i
e
dG
i
r
凶 u
rg-Landau皿 o
d
e
l
Adv. Math. Sci
. App
. 5(
l
1
9
9
5
)，
f
o
rs
u
p
e
r
c
o
n
d
u
c
t
i
v
i
t
yv
a
l
i
df
o
rh
i
g
hkappaandh
i
g
hf
i
e
l
d
s，
1
9
3
2
1
8
[
3
)Q
.Du，
M.GunzbergerandJ
.P
e
t
e
r
s
o
n，
A
n
a
l
y
s
i
sanda
p
p
r
o
x
i
m
a
t
i
o
no
ft
h
eGi
回 b
u
r
gLandau
，
SIAMReview34(
1
9
9
2
)，
54
-8
1
modelo
fs
u
p
e
r
c
o
n
d
u
c
t
i
v
i
t
y
[
4
)Q.Du，
M.Gunzberger，
J
.P
e
t
e
r
s
o
nandChapman，
A modelf
o
rv
a
r
i
a
b
l
et
h
i
c
k
n
e
s
ss
u
p
e
r
c
o
n
，
Z.Angew.Math.P
h
y
s
.47(
1
9
9
6
)，
410
・4
3
1
d
u
c
t
i
n
g山 且 凶s
[
5
)W.E，Dynamicso
fV
o
r
t
i
c
e
si
nGin
山 r
g-LandauTh
田 口e
sw凶 A
p
p
l
i
c
a
t
i
o
n
st
oS
u
p
e
r
c
o
n
，PhysicaD，77(1994)，383-404
d
u
c
t
i
v
i
t
y
[
6
)V
.GinzburgandL
.Landau，
Ont
h
et
h
回 r
yo
fS
u
p
e
r
c
o
n
d
u
c
t
i
v
i
t
y
，Zh. Eksper. TeoretF
i
z
.
20(
1
9
5
0
)，
1
0
6
4
-1
0
8
2
.
[
7
)T.G
i
o
r
g
iandD.Ph
山 p
s，
Thebreakdowno
fs
u
p
e
r
c
o
n
d
u
c
t
i
v
i
t
yduet
os
t
r
o
n
gf
i
e
l
d
sf
o
rt
h
e
SIAMJ
.Math.Ana
. 30(
l
1
9
9
9
)，
3
4
1
3
5
9
Ginzburg-Landaumodel，
[叫ん J
a
f
f
eandC
.Ta
u
b
e
s，
V
o
r
t
i
c
e
s阻 dMonopoles，
B
i
r
k
h
a
u
s
e
r1980
[
9
)S
.JimboandY. Morita
，Stabilityofnon-co回 tantsteadystatesolutionst
oaG
i
n
z
b
u
r
g
町 s
p拭 ed
i
m
e
n
s
i
o
n
s，
Nonl
. Ana
.
lTMA.22(
1
9
9
4
，
)7
5
3
7
7
0
Landaue
q
u
a
t
i
o
ni
nh
i
g
l
.JimboandY
.M
o
r
i
t
a，
Ginzburg-Landaue
q
u
a
t
i
o
nands
t
a
b
l
es
o
l
u
t
町田 i
nar
o
t
a
t
i
o
n
a
l
[
1
0
)S
doma
叫 S
IAM.J
.Math.Ana
. 27(
l
1
9
9
6
)，
1
3
6
0
・1
3
8
5
[
1
1
]S
.JimboandJ
.Z
h
a
i，
Ginzburg-Landaue
q
u
a
t
i
o
nw凶 m
a
g
n
e
t
i
ce
f
f
e
c
t
:N
o
n
s
i
m
p
l
y
c
o
n
n
e
c
t
e
d
domains，
J
.Math. Soc.Japan50(
1
9
9
8
)，
6
6
3
6
8
4
.JimboandJ
.Z
h
a
i，Dom
剖 np
e
r
t
u
r
b
a
t
i
o
nmethodandl
o
c
a
lm
i
n
i
m
i
z
e
r
st
oG
i
n
z
b
u
r
g
[
1
2
)S
a
g
n
e
t
i
ce
f
i
i
田 t
，
Abst.App.
l Ana
l
.5
(
2
0
0
0
)，
1
0
1
1
1
2
Landauf
u
n
c
t
i
o
n
a
lw抽 m
.J
i凶 )0andP
.S
t
e
r
n
b
e
r
g，
Non-e
x
i
s
t
e
n
c
eo
fpermanentc
u
r
r
e
n
t
s凹 c
o
n
v
e
xp
l
a
n
a
rs
a
m
p
l
e
s，
[
1
3
)S
SIAMJ
.Math. Ana
. 33(
l
2 2
)，
1
3
7
9
1
3
9
2
∞
.KishimotoandH.F
.W
e
i
n
b
e
r
g
e
r，Thes
p
a
t
i
a
lh
o
m
o
g
e
n
e
i
t
yo
fs
t
a
b
l
ee
q
u
i
l
i
b
r
i
ao
fsome
[
1
4
)K
r
回 c
t
i
o
n
d
i
f
f
.
四 o
ns
y
s
t
e
m
sonc
o
n
v
e
xdomains，
J
.D
i
f
f
.E
q
.58(
1
9
8
5
)，
1
5
2
1
.Matano，
Asymptoticb
e
h
a
v
i
o
rands
t
a
b出 t
yo
fs
o
l
u
t
i
o
n
so
fs
e
m
i
l
i
n
e
a
rd
i
f
f
u
s
i
o
ne
q
u
a
t
i
o
n，
[
1
5
)H
Publ
.RIMSKyotoU
n
i
v
. 15(
1
9
7
9
，
)4
0
1
4
5
4
.
.LuandX.B.Pan，Gaugei
n
v
a
r
i
a
n
te
i
g
e
n
v
a
l
u
ep
r
o
b
l
e
m
s国Ja2 andi
nJæ~ ， Tra
n
s
. AMS
[
1
6
)K
352(
1
9
9
9
)，
1
2
4
7
1
2
7
6
[
1
7
]J.R
u
b
i
r
凶 e
i
nandP
.S
t
e
r
n
b
e
r
g，
Homotopyc
1a
s
s
i
f
i
c
a
t
i
o
no
f皿 i
n
i
m
i
z
e
r
so
ft
h
eG
i
n
z
b
u
r
g
h
y
s
. 179 (
1
9
9
6
)，
Landaue
n
e
r
g
yandt
h
ee
x
i
s
t
e
n
c
eo
fpermanentc
u
r
r
e
n
t
s，Comm. Math.P
2
5
7
2
6
3
1
3ー
幾何構造が定める微分方程式の不変量
名古屋大学多元数理
佐藤肇
良い形の線形微分方程式系は，その 1次独立な解ををなら べて射影化
することによって，幾何学的対象を定める.その同値類のみに依存する
不変量を見つけることは，微分方程式の理論においても，幾何学におい
ても共に重要である .
9
8
8年の H
o
k
k
a
i
d
oMath.J において，第 l種の(ー 1から
背足豊は 1
1までの階数のある)階数付 L
i
e代数に対する幾何構造に対応する微分
方程式に対して，不変量を調和形式の理論と関連させる美しい結果を得
た.これは，田中昇の幾何構造の分類理論に対応して，表現付の幾何構
造の分類理論とも考えられる .
もちろん，田中の結果は，第 2種以上の有限種に対しての幾何構造に
対しても成立する理論であり，背足の結果も第 2種以上の幾何構造に対
応する微分方程式の不変量を調べる理論にも，美しく拡張されるに違い
ない.
r
e
a
k
t
h
r
o
u
g
hは CR構造に対応する微分方程式の
その意味で最初の b
不変量を調べることが出来るかどうかであろう ー最近筆者は，小沢哲也
との共同研究により，第 1種の幾何構造である共形構造に対応する微分
方程式ついて，背足の方法とは異なる直接的方法で結果を得た この方
法により CR構造に対する結果を得ることが出来るであろうと努力して
いるところである
-1
4-
d において
I
R
s
i
g
nc
o
n
d
i
t
i
o
nをみたさない
非線形楕円型方程式の解の存在について
藤 田 安 啓 ( 富 山 大 ・理)
J
u
l
y1
6，
2
0
0
2
この講演では，次の非線型楕円型方程式の解の存在について考える
)
1
(
i
A
U
仲 町 付 )• ¥
7u附 [ 入 +H(
日
(
x
)州
=J
(
x
)，
E
x l
R
.
d上の関数，また H は l
dxlR.上の関数である.方程式
ここで， λ>0は定数，J
，
却はlR.
R
.
(
1
)の解の存在を考えるとき，切三 Oのときは“s
i
g
nc
o
n
d
i
ti
o
n
"と呼ばれる次の条件が重要
d
になってくる([
1
，] [
2
]):
λ +H(x，
p
)三0， (
x，
p
)El
R
. Xl
R
.
.
1
/
2
)ムーマ切 (
x
)マは非有界な係数を持つ
一方， 叩が非有界関数のとき，作要素 L= (
格円型作要素の典型として，その諸性質が DaP
r
a
t
oらにより調べられている([
4
，] [
5
]
).
この講演の目的は，叫が DaP
r
a
t
oらにより研究され出した非有界関数のときに方程式
(
1
)の解の存在を“s
i
g
nc
o
n
d
i
ti
o
n
"をみたさない場合を含めて示すことである 関数叫につ
いては，次の仮定を置く.
d
)カつ (
d
2
W
(
X
)
/
d
x
i
d
x
j
);
:aI，
( 山(lR.
Z
EI
R
d，
W(
d，
l
¥
7w(xW
e
-2
x
)EL
1
(l
R
.
d
x
)
.
d 上の確率測度
w(
このとき， l
R
.
d
x
) を ν(
d
x
)=e
-2
x
)d
x/
ν(
I e-2w(y)dyで定義する.
JIR"
d，
p さ 1 のとき ，l
J
'
(ν
) で空間lJ'(lR.
v
(
d
x
)
) を表す L
2
(ν
) の内積とノノレムはそれそ・れ
1ー
1と
(
ー，
・)で表すとする.また ，L
2
(ν)dの内積とノノレムにも同じ記号を使うことにする
d
) に対して ，L
ゆEC8
"
(
l
R
.
<
t(
x
)= (
1
/
2
)d
.
<
t(
x
)-¥
7w
(
x
).
¥
7
<
t(
x
)とする.
Lemma1 [
P
r
o
p
o
s
i
t
i
o
n
s3
.
1and3
.
4o
f[
5
]
]
.
)
(
(
¥
7
， C8
"(
l
R
.
d
)
)は L
2
(ν)dで開化可能，
)
(i
(
L，
C8"(lR.d)) は L2(ν
)で閉化可能.
口
L
2
(ν)dにおける vの c
J
o
s
u
r
eおよ び，L
2
(ν
)における L のcJo
s
u
r
eを各々，¥7と L で
1
1
表し，H (ν
)=do
皿a
i
n
(¥7)とする H (ν
)はグラフノノレムにより H
i
l
b
e
r
t空間になる .
l
-15-
9ED(L)，
ηEH 1(ν
)
Lemma2. (
¥
1g，
¥
1
η)=ー 2(Lg，
1
/
)
，
さて ， L
2
(ν
)をその双対空間と同一視するときの，H1
(
v
)の双対空間を H-l(ν
) と書
く.このとき ，H
1(ν
)C L
2
(ν
)C H-1
(
り と な る .H
-1(ν
)と H
l
(
V
)の du
a
l
it
yp
a
i
r
i
n
gを
く，.> で 表 す 作 要 素 L の定義岐を
domain(L)= H1川
により拡張する
)
く L M〉 = - j m m， 山 H 1(ν
)
)への有界作要素になる
L は H1(け か ら H-1(ν
このとき
Caratheodo
r
yf
u
n
c
ti
onH について，次を仮定する
mainr
e
s
u
l
tを述べよう
1〉ヨ1'>0 ヨG >o
)s
.
t
.
0三 ヨ れ L
1
o
c
(ν
( H+(x，
p
):
;h+(x)+G
l
p
l
γ
(
x，
p
)EIRdX IR，
{
~
く
ω
h
2川
払
官川
川
x
)
/
k叫
寸
市
(
山
伊
ν
刊
Eι
叫
d
吋
1
1
(川
弘
祈
一川 川
e
L
0壬己凸什ヨh
/
2，臼
い
p
x
)+klo以
x，
g(1+防
n
(
件
刈
州
￨
り
)
，
刈
)竺h-(
付
P
1
ここで，Gk=
(
x，
p
)EIRdxIR
2h-(x)/k
12 とおく
e
d
v
(
x
)1
r
r
.
J
J
/
d
l f
f
i
.
，... .
.
. _ .
1
k
一一
klog[Gk(l+ M)]とするーここで，
1EH-1(ν)に対して， λ〉 ー
2 白+
Theorem.
1
1
f
ハ
1
刈伽
1
1
引
刊
刊
川
去E
U
M=
川
げ
￨
川
川
ば副時
H代
d
E
山
1
ヤ
(
い
ν
り
)
ω
υ
(
町川川……包
仰
叫
)
州
)
州
η
川
州
u
叫
h
川
刷
(
叫州…
d)
ν
.
H(
x，
)
r
t
x
)d刈
z
r
tλ
v
.
骨
v
.
(
世
，
叫
(
伊
ω
吋
z
)
)
川
ω
z
)=く I
付
司
(
い
伺
吋)+λ
い
(
い
(，ω
>， ψEG8
I.
い
"(IR句
(;(
¥
1
v
叫
.
，
¥
1ω
骨
)+
U
d
Jm
.
Reference
s
d 制 的o
e
m
i
l
i
n
e
a
re
q
u
a
t
i
o
間 i
nI
u
tc
o
n
d
i
t
i
o
na
n
f
i
n
i
t
y
l
.Matb.O
p
t
i
m
.，1
ti
[
1
] H.BREZ1S，S
R
2
，App
p
p
.2
7
1-2
8
2
.
(
1
9
8
4
)，
d酬 t
.BOCCARDO，
T.GALLOUETANDJ
.L
.VAZQUEZN
o
n
l
i
n
e
a
re
/
l
i
p
t
i
ce
q
u
a
t
i
o
n
si
nI
[
2
]L
R
h
o
u
t
凶 E
十3
grD叩 的 問s
t
r
i
c
t
i
o
n
son仇 ed
.D
i
f
f
e
r
e
n
t
q
u
a
t
i
o
n
s，1
p
.3
0
5(
1
9
9
3
)，p
a
t
a，J
6
3
3
阻 I
p
e
r
a
t
o
rw
o
t
e
n
t
h
eS
c
h
r
o
d
i
n
g
e
ro
i
t
hs
i
n
g
u
l
a
rp
s
.
[
3
] H.BREZ1SANDT.KATORemarksont
，J
Math.P
p
.1
3
7
-1
5
1
u
r
e
se
tApp
，
.
l5
8(
1
9
7
9
)，p
、
問
S
e
l
[
4
] G.DAPRATO，
f
-adjointness01someinfinite-dimensionalellipticoperatorsandapplication
叫 .F
u
a
n
t
i
z
a
t P
r
o
b
.TheoryRel
i
e
l
d
s，
1
1
8(
2
0
0
0
)，
p
p
.1
3
1
1
4
5
.
t
os
t
o
c
h
a
s
t
i
cq
d
l
l
i
p
t
i
co
p
e
r
o
t
o
r
sonI
R
w
i
t
hu
n
b
o
u
n
d
e
d回里伊c
i
e
n
t
s，J
[
5
] G. DAPRATOANDB. GOLDYS，E
叫 i
a
JE
p
p
.3
D
if
f
e
r
e
quati
o
n
s，
1
7
2(
2
0
0
1
)，
3
3
3
5
8
門 的m
.GROSS，L
p
.1
o
g
a
icS
o
b
o
l
e
vi
n
e
q
u
a
l
i
t
i
e
s，Amer.J
.M
ath.，97(
1
9
7
6
0
6
1-1
0
8
3
.
，
)p
可
[L
2
-16ー
Conve
r
ye
nc
eo
fNume
r
'
i
c
α
1S
c
he
me
sf
o
rt
heApproximαt
z
o
n
α
nCu
問 α
t
u
r
eFl
ow
o
fLe
ve
lSe
tS
o
l
u
ti
o
nst
oMe
KlausDe
c
k
e
l
ni
c
k，
Uni
v
e
r
s
i
t
yofMag
de
b
u
rg
r
ic
a
lap
p
r
o
ximat
io
日 o
fs
ol
ut
i
onst
ot
hel
e
v
e
l
Thes
u
b
je
cto
ft
h
ist
al
ki
st
h巴 nume
e
v
els
etap
p
ro
a
chc
a
nbede
s
cr
i
be
da
s
s
e
te
qua
ti
onf
orme
anc
ur
v
a
tu
re自ow.Thel
n
f
olows:gi
v
enac
ompa
c
th
ype
r
s
u
rf
a
c
e，
c
hoo
s
eac
on
t
i
n
uousf
u
nc
ti
onUo・I
R
→R
n
n
s
uc
hもha
tf
o={
xEI
R
l
uo
(
x
)=O
}
.I
fu:I
R
X[
0，
∞)→lRi
st
heu
n
i
q
uevi
s
c
o
s
i
t
y
s
ol
ut
i
onof
= 1
(
i
c
一主
主
主2))
u
勾
り
l
Y
'u
l
~X ，
n
i
nI
R
X(
0，
∞)
n，
i
nI
R
u(.
，
O
) = Uo
(
1
)
(
2
)
wet
he
nc
a
lr
(t
)={
xε R
ロI
u
(
x，
t
)=O}，
tと oag
ene
r
al
iz
eds
ol
ut
i
onoft
heme
an
c
u
rv
a
tu
r
el
fo
w pr
ob
le
m.Asr
(t
)e
x凶 sf
ora
lt
ime
s，
i
tp
ro
vi
de
sano
ti
onofs
ol
ut
i
on
be
y
onds
i
ngu
lar
it
i
e
si
nt
he日ow.Fort
h
isr
e
a
s
on，t
he1
巴v
els
e
tappr
oa
c
hha
sal
s
o
be
c
omev
er
yimpo
r
t
a
nti
nt
henumer
ic
alap
p
r
o
xima
ti
onofme
a
nc
u
rv
a
tu
ref
lo
wand
r
e
l
a
ωdp
robl
e
ms
.I
nt
h
ist
a
l
kwea
r
epr
ima
r
i
lyc
onc
er
ne
dwi
t
hc
onv
er
g
enc
er
e
su
lt
s
f
ornume
r
ic
almethods
.Thef
i
r
s
ts
uc
hr
e
su
ltwa
sobt
a
i
ne
db
yCr
andal&L
ionsf
ora
f
i
n
it
ed
i
f
f
e
r
enc
es
che
me
. Wes
halp
re
s
entt
he
irappr
o
a
cht
o
g
e
the
rwi
t
has
umma
r
y
ofane
r
ro
rana
l
y
si
s
Next
，weshal i
nt
r
oduc
eaf
i
n巾 e
l
e
me
n
tme
t
hod，wt
山 hi
sba
s
ed (
jus
tl
i
k
et
he
Cr
andal-L
ionss
che
me
) onar
e
gu
lar
四 dv
er
s
i
onof(
1
)
，(
2)
. Foras
em
i
d
is
cr
e
t
e
s
che
me(
d日 r
e
t
ei
ns
pa
c
e，
c
ont
i
n
uousi
nt
ime
)wep
ro
v
ec
on
v
e
r
g
enc
eo
ft
henume
r
ic
a
l
s
ol
ut
i
ont
ot
hevi
s
c
o
si
t
ys
ol
ut
i
onua
sme
shs
i
z
eandr
e
g
u
lar
iz
a
ti
o
npa
r
a
me
t
ert
e
nd
wh
ic
hi
sunc
on
d
i
t
ion
a
l
ly
t
oz
e
r
o.Furt
he
rmo
r
ewepr
e
s
entaf
u
l
lyd
is
cr
e
t
es
c
heme，
s
t
ab
leandt
owh
ic
ht
her
e
su
lt
si
nt
hes
em
i
d
is
cr
e
t
ec
a
s
ec
a
n bee
xt
e
nde
d. The
ana
l
y
si
si
nv
ol
v
e
se
ne
r
g
ya
rgume
n
tsf
org
e
ome
tr
icqua
nt
i
t
ie
sl
i
k
et
henormal01
't
he
nor
m
a
lv
e
l
oc
i
t
y.Ev
e
nt
hought
he
s
equa
nt
i
t
i
e
sa
renon
l
i
ne
a
re
x
p
r
e
s
s
ionso
ft
hel
e
v
e
l
s
e
tf
u
nc
t
i
o
nandi
t
sde
r
iv
a
ti
v
e
s，t
he
i
rus
el
e
a
dst
oana
tu
r
a
lc
on
v
e
r
g
enc
eana
l
ys
i
s
、
Theopt
imalc
ou
p
l
i
ngbe
tN
e
ent
heme
sha
ndt
her
e
gu
la
r
iz
at
ionpar
ame
t
e
r
sr
e
mains
anope
npr
ob
le
m
Thec
onv
e
r
g
enc
er
e
su
lt
sf
o
rt
hef
i
n
it
ee
l
e
me
ntme
t
hoda
r
ej
oi
ntwor
kw
i
t
hGe
r
d
Dz
i
u
k(
F
re
i
b
l
時)
，
ヮl
波動方程式に対する重みつき時空評価についてのー注意
久保英夫(静岡大学工学部)
t
r
i
c
h
a
r
t
z評価に関する研究は，少なくとも 1
9
7
6年に出版された S
e
g
a
l[
6
]に
いわゆる S
まで遡ることができるそれ以降，様々な方向で研究が進め られ，非線型偏微分方程式の解
i
n
i
b
r
eandV
e
l
o[
4
]の序文を参照されたし つ こ
析にも応用されてきた(詳しくは，例えば G
こでは，次の様な半線型波動方程式に対する初期値問題への応用について考察を行なう・
(1)θI~U
-
t
.u=l
u
lP
i
n(
0，∞)× Rn，
u
(
O，
x)=ef(x)， d
t
u
(
O，
X)=eg(X) forxεRn.
(
2
)
a
但し，u
(
t，
x
)は未知関数， =δl
a
t，t
.=Li
=
l
θ
/
δXj，P>1
，π三 2
，e >0とする.さらに，
P
o(
n
)を 2次方程式 (n- 1)p
2ー (n+l
)
p- 2=1の正根とする. 1く p く向 (
π
)のとき，任
1
)
一(
2
)の古典解が時間大域的に存在しな くなるような初
意の ε>0に対して，初期値問題 (
，
gεC
Q
'(
R
勺を選べることが， S
i
d
e
r
i
s[
7
]によって知られている.逆に， John[
5
]は
，
期値 f
3)
p>向 (
3
)=1+v'2のとき，ある eO>0があって ，0くE 正eO ならば，任意の f，gεC
Q
'(
R
に対して，初期値問題 (
1
)
一(
2
)の古典解が時間大域的に存在することを示した小さな初期
1
)
値を考える場合，初期値問題の解自身も小さくなることが期待されるので，pが大きい程 (
の右辺はより小さくなる従って ，p が P
o(
3
)に近い場合，例えば向 (
3
)くp く 3の場合の扱
いが本質的であり，そのような場合を扱うために次の様なノルムが導入された
(
3
)
I
l
u
l
l:
=
sup
(
1+t+I
xl
)(
l+I
tー I
x
II
)P-2I
u
(
t，
x
).
l
(
t，
z)ε(0，
∞)xRn
その後，多くの研究がなされ， G
e
o
r
g
i
e
v，L
i
n
d
b
l
a
d組 dSogge[
2
]により，上述の結果は一般
1+I
tー I
x
ll)とい う因子を含む
の n さ 2の場合に拡張されたーこの仕事でも， (
1
1
(
1+t+I
x
l
t
(
l+I
t一I
x
ll
)"
u
l
lLP+'(
(
O，
oo)xR勺
(
4
)
なる (
3
)に対応するような量を適当な hに対して評価することが本質的な役割を果たして
t
r
i
c
h
a
r
t
z評価が，
いるつまり，非斉次波動方程式の解に対して上のような重みをつけた S
1
)
一(
2
)の時間大域解の存在を示すための重要な道具であることが明らかとな っ
初期値間短 (
'An
cona，G田 r
g
i
e
vandK [
1
]に
た一方，初期値の属するクラスの特徴づけを行うために， D
より，l'Xの様なノルムを有界にする緩噌加超関数全体からなる関数空間
，
sが導入された.
H
;
￨
1
u
￨
I
LJ:
=
言[2 IIAj(伽 )IILP(Rn)]P
jd
ここで， 1く p く∞
， S，
{
jε R
，{ゆj(x)}~。は R" に従属する単位の分解とし ， Ai は (2j~). =
2
j
(
1+2 l
げ)
.
/
2を表象とするような擬微分作用素である.そして，斉次波動方程式
( 5 ) δ'
;
u-t
.u=0 i
n(
0，∞)× Rn
，
(
6
)
u
(
O，
x
)= 0， d
t
u
(
O，
x
)=ψ(
x
) f
o
rxERn
の解に対して次の評価が成り立つことが示された n と 3，qε
[
2，∞!とし，
1 n
αく一一一一一
~
.n-1
n- 1
o壬β 正一一一一一一q
1
1
8-
n
n
s>一一一一
1
2 q ，
-，
11
{
j>一
一
β
q+，
2+
'
t
'
V
-
を仮定すると，ある
ψによらない正定数 C=C(α，β，s，o，n
)があり，
1
1
(
1+t+I
x)
l
α
(
1+I
t-Ixl
l
)
β
u
l
l
L
吋(
O，
o
o
)
xR")孟 CIIψI
I
H;ι
(
7
)
しかしながら， (
7
)の証明は，Hf の定義自体が煩雑ために大掛かりである本講演では，
n=3の場合には， G
e
o
r
g
i
e
vandV
i
s
c
i
g
l
ia[
3
]で用いられた
f
∞。
rsin>
'
Ix-y
l
[
!
(
t
)
ψ(
x
)=I
s
i
n
t
入 品 l 一一一一一ψ(
y
)
d
y
(
8
)
ん
なる解の表示式を使うことにより，
を報告する
R3
I
x-y
l
H
;
，
S を用いることなく次のような評価が得られること
，qε[
2，
6
]と し
，
定理 1n= 3
日く
1-3 0三 β 壬1-~
q
q
を仮定すると，初期値問題 (
7
)-(
8
)の解
(
9
)
1 1
7>ー
ー
q+
.2+β
u
(
t，x
)= [
!
(
t
)
ψ(
x
)に対して
(
1+t+I
xl
t(l+I
tー I
x
l)
l
β
u
l
L
叫(
O，
oo)XR3
) 壬 C I0 1
'
ψI
I
L
"(R3)
1
が 成 り 立 つ 但 し，q
'は qの共役指数，C =C
(α，
β，
7
)は ψによらない正定数である
[
3
]ではフーリエ空間において単位の分解を用いて B
e
s
o
v型の評価を行な っているのに
対して ，この定理の証明では， [
1
]と同様，y変数に関する単位の分解を使う.さらに，各 3に
ついて，高周波成分と低周波成分に分解し評価するとよい今後の課題は，上の評価を一般
の次元に拡張することと非斉次波動方程式の解に対しても対応する評価を導くことである
参考文献
問
[
1
1
]P
.D'
畑
A
n∞
c
o
叫
n
，
a
弘 V
.G
e
ω
o
r
耶g
l
e
肝va
ndH
.K
仏
匂
由
u
l
b
o
. We
白l
屯
略
g
h
油
t
t
e
吋dS
加t
仕n
κ
凶
c
h
a
r
巾 e
s
t
i
r
n
a
t
e
sf
，
0
伽
ω
rt
h
ewave
伺q
凶
u
1
泊抗
泊
a
叫
'
出
t
ω
品
l
必
i
刷
on.J.D~ぼ
ff. E侭
q
s
ι
.，
1
竹
77
:
1
4
6
ι
一
2
初0
8，
初
2
00
旧1
e
∞
[
2
]V.G
e
o
r
g
i
e
v，
H.L
i
n
d
b
l
a
dandC.D.S
o
g
g
e
.W
e
i
g
h
t
e
dS
t
r
i
c
l
即 t
ze
s
tima
t
白 a
ndg
l
o
b
a
l
e
x
i
s
t
enc
ef
o
rs
e
m
i
l
i
n
e
a
rwavee
q
u
a
t
i
o
n
s
. Amer
.J.Mα
，t
h
.，119(
6
)
:1
2
9ト 1
3
1
9，1
9
9
7
[
3
]V
.G
e
o
r
g
i
e
vandN
.V
i
s
c
i
g
l
i
a
.D
i
s
p
e
r
s
i
v
ee
s
t
i
r
n
a
t
ef
o
rt
h
ewave伺
e
q
凶
uat
i
onw抽 P
戸o
t
ω
e
凶
n
t
戸r
e
句p
r
i
n
t
P
伽 ea
ndG
.V
e
l
o
.G
e
n
e
r
a
l
i
z
e
dS
t
r
i
c
h
a
r
t
zi
ne
qu
a
l
it
i
田 f
o
rt
h
ewav
ee
q
u
a
t
i
o
n よ
[
4
]J.Gin
F
'
u
n
c
t
.A
n
a
l
.，1
3
3・5
0-68
，1
9
9
5
[
5
]F
.John.Blow-upo
fs
o
l
u
t
i
o
n
sofn
o
n
l
i
n
e
a
rwavee
qua
ti
onsi
nt
h
r
e
es
p
a
c
ed
i
r
n
e
n
s
i
o
n
s
Man
ω C門 :
p
t
αMα t
h
.，
2
8
(
1
3
):
2
3
5
-2
68，
1
9
7
9
[
6
]1
.E
.Se
g
a
l
. Sp
品c
e
-t
皿 ed
e
c
a
yf
o
rs
ol
ut
i
o
n
so
fwav
e問 uat
i
o
n
s.Adv
.M
a
t
h
.，
2
2却 4
-3
1
1，
1
9
7
6
[
7
]T
.S
i
de
r
i
s.Non
e
氾 s
t
e
nc
eo
fg
l
o
b
a
ls
o
l
u
t
i
o
n
st
os
e
m
i
l
i
n
e
a
rwavee
q
t
叫 i
o
n
si
nh
i
g
hd
i
r
n
e
n
s
i
o
n
s
. J.D
i
f
f
.Eqs.
，
5
2・
3
7
8
-4
0
6，
1
9
8
4
.
2
-19-
H∞
一c
a
l
c
u
l
u
sf
o
re
l
l
i
p
t
i
co
p
e
r
a
t
o
r
ss
u
b
j
e
c
tt
o
p
a
c
e
s
g
e
n
e
r
a
lboundaryc
o
n
d
i
t
i
o
n
sonV s
M
a
t
t
h
i
a
sH
i
e
b
e
r
Germany
U
n
i
v
e
r
s
i
t
yo
fDarmstadt，
Abstract
L
e
tA beane
l
l
i
p
t
i
cd
i
f
f
e
r
e
n
t
a
lo
p
e
r
a
t
o
ro
fo
r
d
e
r2mand
Bj boundary.
c
o
n
d
i
t
i
o
n
ss
u
c
ht
h
a
t (A，
Bj
)s
a
t
i
s
f
i
e
st
he
o
n
. Wew
i
l
lshowt
h
a
tt
h
eV
L
o
p
a
t
i
n
s
k
i
i
S
h
a
p
i
r
oc
o
n
d
i古i
r
e
a
l
i
z
a
t
i
o
n，1<p く
∞， o
ft
h
i
sboundaryv
a
l
u
eproblemi
s
as
e
ct
o
r
i
a
lo
p
e
r
a
t
o
rp
r
o
v
i
de
dt
h
et
o
p
o
r
d
e
rc
o
e
f
f
i
c
i
e
n
t
so
fA
a
l
c
u
l
u
son
a
r
ec
o
n
t
i
n
u
o
u
sandt
h
a
ti
ta
d
m
i
t
saboundedH∞ c
L
Pspacesprovidedthetop-ordercoe伍 c
i
e
n
t
so
fAa
reH
o
l
d
e
r
c
o
n
t
i
n
u
o
u
s
.
1
-2
0ー
LongRangeS
c
a
t
t
e
r
i
n
gf
o
rt
h
eWave-Schr
りd
i
n
g
e
r
System
JeanGinibre
Universi凶 deParis-Sud
Abstract
Wes
t
u
d
yt
h
et
h
e
o
r
yo
fs
c
a
t
t
e
r
i
n
gf
o
rt
h
es
y
s
t
e
r
nc
o
n
s
i
s
t
i
n
go
faS
c
h
r
o
d
i
n
g
e
r
e
q
u
a
t
i
o
nandawavee
q
u
a
t
i
o
nw
i
t
haYukawat
y
p
ec
o
u
p
l
i
n
gi
ns
p
a
c
ed
i
m
e
n
s
i
o
n3
Wep
r
o
v
ei
np
a
r
t
i
c
u
l
a
rt
h
ee
x
i
s
t
e
n
c
eo
fr
n
o
d
i
f
i
e
dwaveo
p
e
r
a
t
o
r
sf
o
rt
h
a
ts
y
s
t
e
r
nw
i
t
h
nos
i
z
er
e
s
t
r
i
c
t
i
o
nont
h
ed
a
t
aandwed
e
t
e
r
m
i
n
et
h
ea
s
y
m
p
t
o
t
i
cb
e
h
a
v
i
o
u
ri
nt
i
r
n
e
h
er
a
n
g
eo
ft
h
ewaveo
p
e
r
a
t
o
r
s
.Ther
n
e
t
h
o
dc
o
n
s
i
s
t
si
ns
o
l
v
i
n
gt
h
e
o
fs
o
lu
t
i
o
n
s凹 t
u
b
s
t
i
t
u
t
i
n
gt
h
er
e
s
u
l
ti
n
t
ot
h
eS
c
h
r
o
d
i
n
g
e
re
q
u
a
t
i
o
n，w
h
i
c
ht
h
e
n
wavee
q
u
a
t
i
o
n，s
. TheS
c
h
r
o
d
i
n
g
e
rf
u
n
c
t
i
o
ni
st
h
e
n
becamesb
o
t
hn
o
n
l
i
n
e
a
randn
o
n
l
o
c
a
li
nt
i皿 e
p
a
r
a
r
n
e
t
r
i
z
e
di
nt
e
r
r
n
so
fana
r
n
p
l
i
t
u
d
eandap
h
a
s
es
a
ti
s
f
y
i
n
gat
r
a
n
s
p
o
r
t
j
H
a
r
n
i
l
t
o
n
J
a
c
o
b
is
y
s
t
e
m，
andt
h
eCauchyp
r
o
b
l
e
mf
o
rt
h
a
ts
y
s
t
e
m，
w
i
t
hi
n
f
i
n
i
t
ei
n
i
t
i
a
lt
i
r
n
eand
i
ss
ol
v
e
dbyan
p
r
e
s
c
r
i
b
e
da
s
y
m
p
t
o
t
i
cb
e
h
a
v
i
o
u
rd
e
t
e
r
m
i
n
e
dbyt
h
ea
s
y
m
p
t
o
t
i
cs
t
a
t
e，
t
h
e
r
e
b
yl
e
a
d
i
n
gt
os
ol
u
t
i
o
n
so
ft
h
eo
r
i
g
i
n
a
ls
y
s
t
e
r
nw
i
t
hp
r
e
s
c
r
i
b
e
d
e
n
e
r
g
yr
n
e
t
h
o
d，
a
s
y
r
n
p
t
o
ti
cb
e
h
a
v
i
o
u
ri
nt
i
m
e
l
-21-
一般化された粘性項を持つ CLM方程式の解
の爆発について
坂上貴之
名古屋大学大学院多元数理科学研究科
N
a
v
i
e
r針。k
e
s方程式は極めて広範囲の流体現象を記述する方程式で=ある
ことが，数学解析や直緩数値計算などから知られている しかしながら.モデ
ルとしての妥当性を示す数学的な基本要請 :3次元空間における解の存在 ・
一意性 ・解の適切性に対しては完全な解答は得られていないこの間いに答
えることは応用数学上非常に重要であるにもかかわらず，その難しさのため
に3 現在もなお未解決のままである.それに対して， C
o
n
s
t
a
n
t
i
n，Lax，Majda
の 3人の数学者 は 3次元 E
u
l
e
r方程式の渦度の大きさの成長を記述する簡単
な一次元モデル方程式を提唱したこれを CLM方程式と呼ぶ。
と
さ
=ωH(ω)，X ER，
t>0
θ
t
ただし ，H(
ω)は H
i
l
b
e
r
t変換であり， 二次の項ωH(
ω)は 3次元 Eu
le
rにおけ
る渦の引き延ばし項 (
S
t
r
e
t
c
h
i
n
gt
e
r
m
)に対応した非線形項である彼らはあ
る初期値の集合に対して，その最大値が有限時間で爆発する厳密解を構成し.
E
u
l
e
r方程式の解の爆発との関連を調べ，モデルとしてよい性質を保持してい
ることを示した [
1
] さて，次のステップとして，我々はこの CLM方程式を自
然に拡張して，以下のような 3次元次 N
a
v
i
e
r
S
t
o
k
e
s方程式の一次元モデル方
程式を織成する
Z
= ωH(
ω
)-1
ノ(
-s)
弘
ω(
x，
O
) = ω~(x).
z
ε R，t>0，
ω
(
2
)
ただし ，/J >0は粘性係数，αε Rであるこの方程式を周知i
境界条件の下で考
える.これに対して，次の事実が数学解析と数値計算から示される
l
-22-
。
Theorem1 <
S
. [2])どんなαに対しでも 3 ある F
ノ
o
が存在して， 0く ν<ν
に対して，一般化された粘性項を持つ CLM方程式(1)，
(
2
)の解は有限時間でp
その uノルム f
あるいは最大値jが爆発する
また，解の大域存在については次の事実がわかる
。
Theorem2 <
S
.[
3
]
)
α 三1
，ω εHα に対して，十分大きな νをとれば，
(
1
)
，
(
2
)の解は時聞大域的に存在する 一方0'<0の時は，どんなに大きな ν
を取っても ，解は必ず有限時間で uノルムが爆発する. (すなわち時間大域解
は存在しない j
i
3次元 Nav
町 品o
k
e
s方程式の場合はα〉 の場合には解が大域的に存在
することが知られているので，このモデル方程式は N
a
v
i
e
r
S
t
o
k
e
s方程式のこ
の解析的性質を再現していないこのことから，このモデルには，さらなる改
良が必要である.以上のような内容を講演した
References
問
[
1
刊
]C
白∞
On
叫 加
a
n
凶凶
伽
t
i
l
日
i
nP.
，
La
似.x P
.
D
.釦 dMa
匂j
由
daA
.，
As
i
m
p
l
e0時 d
i
m
e
n
s
i
o
n
a
lmodel
f
o
rt
h
et
h
r
巴争 d
i
m
e
n
s
i
o
n
a
lv
o
r
t
i
c
i
t
ye
q
u
a
t
i
o
n，
Comm.Pure.AppLMath.，
1
9
8
5，
p
p
.
7
1
5
-7
2
4
.
B
low-ups
ol
u
t
i
o
n
so
ft
h
eC
o
n
s
t
a
n
t
i
n
La
.
x
-Majdae
q
u
a
t
i
o
nw
i
t
h
[
2
]S
a
k
a
j
oT，
t
oa
p
p
e
a
ri
nJ.Math.S
c
i
.U
n
i
v
.o
fTokyo.
ag
e
n
e
r
a
l
i
z
e
dv
i
s
c
o
s
i
t
yterm，
(
2
0
0
2
)
j
oT，
Ong
l
o
b
a
ls
o
l
u
t
i
o
no
ft
h
eC
o
n
s
t
a
n
t
i
n
La
.
x
-Majdae
q
u
a
t
i
o
nw
i
t
h
[
3
] S紘 a
ag
e
n
e
r
a
l
i
z
e
dv
i
s
c
o
s
i
t
yterm，
i
np
r
e
p
a
r
a
t
i
o
n.
2
-2
3ー
EXISTENCEANDPARTIALREGULARITYOF
A SMALLSOLUTIONOFTHEP-HARMONICFLOW
MasashiMisawa，Departmento
fMathematics，F
a
c
u
l
t
yo
fS
c
i
e
n
c
e，Ku01amo
もoU
n
i
v
e
r
s
i
t
y
，
へ
Abstract L
e
t(Mm，
g
)
同an
吋叫
dλ
(
Nn
へ
刈
，
刈
h
)加
b
3
沌e
sm∞
o
ω
0
州
凶
“
b
川
hc
∞
0
0
町
1p削
a
ω
c
もR
町Iema
飢n
川
l
n
1
I加
anma
凶
a
制I
ぱ
I
I
l
ぱ
出
曲
f
お
削
刷
'
o
l
白
dsぱ
of
出
d1
日
I
町
me
m 三 2andη 三 2w
i
t
hme
剖
も
訂
凶
n
c
ω
s9
以
(
付
帥
吋
z
)= (
ω
g
α
d
βω
(
い
刈
x
;
)
日
)a
ndh
(
u
) (
h
i
j
(
u
)
)i
nl
o
c
a
lc
o
or
d
i
n
a
t
e
s
X= (
X
l
'・
・，
Xm) onM andu= (
u，
!・
.• ，
un
)onN，r
e
sp
ec
t附 1
)
人 L
e
tp，1く p <∞ F
o
ra
sr
e
p
r
e
s
en
t
e
db
yu
(
x
)= (
u
1
(
x
)，.
..
，
u
n
(
x
)
)i
nl
o
c
a
lc
o
o凶 n
a
t
e
s
C1-01apU:M → λ ，wh凶 i
xonM anduonN，
c
on
s
i
de
rt
h
ep-energyf
l
l
n
c
t
i
o
n
a
lEp(U)，
r
e
p
r
e
s
e
n
t
e
di
nl
oc
alc
o
o
r
d
i
n
a
t
e
s
o
fM andN b
y
r
噌EA
whereDo=法，白 =1，"'，
nt，
Dui
s山 s
p
a
t
i
a
lg
r
a
d剛
)
-
(
匂
)
=
ん tlDU￨:h帆
Ep(
山 mapu
，
Du= (Doui
)，(
g
os
)i
st
h
e
z
=(
ゐ
仰
β
ι |同
仇仇州叫叫
D
叫
4L
uバ〈仏
吋払ト
山
:
む
〉
よ
む
L=Jl
I~;Lh「= 口
i
凶
凶
白
叩
口
川
山
叫
wl
g
悶
o
l
l
l
m
ee
s恥
t
h
ev
leme
n
to
fM 問
t
h凶
d
e
t
t
i
c
ω
a
1p
o
i
n
t
s，
c
ale
dp一h
a
r
0
1
0
n
i
cmaps，
引
￨
ド
.Thec
何
凶
(
ω
9
α
d
ω
β
ρ
=
1
巾
刈
)
川1
1
9
a
r
es
ol
u
t
ionso
ft
h
eE
l
l
l
e
r
L
a
g
r
a
n
g
ee
qu
a
t
i
o
n，
r
e
p
r
e
s
en
te
di
nl
oc
a
lc
o
or
d
i
na
t
e
so
fM andN b
y
l
l
1v
e
r
s
ematnx向
D
α (￨
DulZ2u 引gαβDβuiJ= ID
叫
一
→
守
、
/
訓
¥
yn V
J
;
2
9
0
βf
Dβd， z=l
n，
・
， ・，
i
k
(
U
)
D
"
u
J
'yu
山
6
OJ
)
(
1
.2
)
h
i
j
(
u
)
)= (
h
i
J
(
U
)
)
I，i
s山 C
h
r
i
s
t
o
f
f
e
l
u
)
)，(
(~(u) 一生 (u) +皆 (
2
.
nwhatf
o
l
l
o
w
s，
t
h
en
o
t
a
t
i
o
nI
symbolo
fN
.Hereandi
E
I =E E=弘 E~ andIEI~h =goßE~E~ h り
wherer
(
U
)
)k
~hil(包 )
d
o
p
t
ed
i
sus
e
df
o
rE= (E~) andt
h
es
u
0
1
0
1
a
t
i
onn
o
t
a
t
i
o
no
v
e
rr
e
p
e
a
t
c
di
n
d
i
c
e
si
sa
山
叩
怜
u
1
山
1
n
1
d
a
0
問
1e
印n
川t
r
ω
o
b
l
e
0
1f
o
rt
h
ev
a
r
The臼
f
心
a1p
釦
yo
r
e
gu
l
a
r
iも.
fS
ol
l
l
t
i
o
nsi
nsomeS
o
b
o
l
e
vs
p
a
c
eo
fp一h
ar
0
1
0
n
i
比
pr
cmaps.Theo
n
eap仰
o
a
c
ht
ol
o
o
k
叫
児eg
町n
川
汀
伎
吋
伽
討
f
o
rp-harmonicmapsi
x
pl
o
i
tt
h
r
a
d
i
e
1
t日Q W，
c
al
e
c
l
p一har
m
mOl1l陀c日ow，
st
oe
f
b
or(
o
ra
1
.
1
)
.F
g
i
v
e
nsmoothmapUo・M ー
r
e
p
r
e
s
e
n
t
e
c
l
b
y
i
n
l
o
c
a
l
c
o
o
r
d
i
n
a
t
e
s
o
n
a
n
c
l
c
o
n
s
i
c
l
e
r
→ λ，
U
o
M
N，
a
r
m
o
n
i
cf
l
o
w
:F
o
ramapU M ∞ =(
t
h
eCauchyp
r
o
b
l
e
0
1f
o
rt
h
ep一h
0，
∞)xM → λ ，
，
..
.
(
u
l
(
z
)
u
n
(
z
)
)
r
e
p
r
e
se
n
te
c
lbyu
(
z
)=
i
nl
o
c
alc
o
or
c
l
i
n
a
te
s(
t，
x
)onM ∞ anduo
n
λ ，
，
r“
r
伽 包
D
u叫吋叫|目広:広I淵内P凶u刈 =1同
品仇川
D
u叫ι'I~吋怖
仇刷叫
α0(1凹
目:zγ;f2竹3片k(U叫仙)
方 Dι
叫刈
→)ト
ベ
{t=O
0
=u
I
lμ
叫
}xM.
句o ∞
r
)
1
.め
4
(
ο
e
p
o
r
to
Wer
nag
l
o
b
a
le
xi
s
te
nc
eandar
e
l
a
r
i
t
yo
faweaks
ol
u
t
i
o
no
f(
)a
n
c
l(
)f
o
ra
1
.3
1
.4
思l
smoothi
n
i
t
i
a
lc
a
v
i
n
ga"
sm
a
l
l
"imageont
h
et
a
r
g
e
tm
a
n
i
f
o
l
c
l
.I
l
a
t
ah
no
r
d
e
rt
og
i
v
eap
r
e
c
i
s
e
nt
r
o
d
l
l
c
ea“
r
e
gl
l
l
a
rb
a
l
l
"i
nN
s
t
s
t
e
m
e
n
to
fo
u
rr
e
s
ul
t
s，wei
. Letsn(P)beag
e
o
c
l
e
s
i
cb
a
l
l
i
t
hc
e
n
t
e
rP εN a
n
c
lr
a
c
l
i
l
l
sR >0
n
c
lc
l
e
f
i
n
et
h
eC
o
c
u
sC
o
nN w
l
l
tl
(
P
)o
fP t
ob
h
e
et
，a
c
a
l巴c
complemento
ft
h
em
a
x
i
0
1
aldom創 n，
m
a
lr
lt
h
enor
a
n
g
eo
fP，
o
fanyn
o
r
m
a
lc
o
o
r
c
l
i
n
a
t
e
e
n
t
e
rP
. Ag
e
o
d
e
s
i
cb
a
l
lBn(P)i
sc
a
le
c
la“
s
y
s
t
e
mw仙 c
r
e
g
ul
a
rb
a
l
l
"i
nN，i
fi
ts
a
t
i
s
f
i
e
s
a
sno川 e
r
s
e
c
ti
o
nw
i
t
hC
t
h
a
tBn(P)h
(
P
)，a
n
c
l.
}.Ourmain
j
i
iR く?， κ=max{O，
suPBn(P)K
r
e
s
u
l
ti
f
o
l
l
o
w
i
n
g
st
h
e
土E
二4
e
t
!
"
手 亙 豆 く pく∞ a
Theorem1 L
e
g
u
l
a
rb
ndsn
ear
a
l
li
nN.S
u
p
p
o
s
et
h
a
t
(P)cN b
，
e
f
i
n
e
do
eaC2β-mαp，Oく Pく 1
Uob
h凶 l
u
e
si
ns
nλイ 肌t
，d
h
e
r
ee
x
i
s
t
s
R
(
Q
)C N.Then，t
-24-
a山 e
a
ks
o
l
u
t
i
o
nU EL∞(
0，
∞;
l
V1，
P(M，
N))n1・1，
2
(
0，
∞ ;L2(M ，
N))μr(
1.
3
)andρ.
4
)，t
h
e
image0
/W/
山 hi
sc
o
n
tαi
n
e
di
nsR(P)I
I
n
d凹 h
i
c
hs
l
It
i
s
j
i
e
st
h
ee
n
e
r
g
yi
n
e
q
u
l
l
I
均，
r
e
p
r
e
s
e
n
t
e
di
n
1
0
ω1c
o
o
l
'
d
i
nα
t
e
sxonM anduonN b
y
I
l
au
l2
dz+ s
up E
(
u
(
t
)
)
):
;E
(
u
o
)
J(
O，
T)xM .
09夕 、
t
/
0
1αllT>O
(
1
.5
)
T
h
e
1
'
ee
x
i
stαp
o
s
i
t
i
vec
o
n
s
tαn
ta，
0く α く 1，andαc
/
o
se
ds
e
tS C ルI
∞ s
u
cht
hαtt
h
e切 e
a
k
αl
l
yHo
・
I
d
e
r
'c
o
n
t
i
n
u
o
u
si
nM ∞ ¥
S肌 t
han仰 o
n
e
n
ta ont
h
ep
a
m
b
o
l
i
c
s
o
l
u
t
i
o
no
b
t
a
i
n
e
di
sl
o
c
met
門c
sI
t
l
*
+
l
x
landItl~+lxl /
o
r
l
o
c
a
lc
o
o
r
d
i
n
l
l
te
s(
t，
x
・
)onM
∞ i
nt
hede
genemt
eands
i
n
g
u
l
a
r
ωs
e
s
，r
e
s
p
e
c
t
i
v
e
l
y
，t
h
egmdient0
/t
hes
o
l
u
t
i
o
ni
s
αI
s
ol
o
c
αl
l
yHo
l
d
e
rc
o
n
t
i
n
u
o
u
si
nM ∞ ¥S w
i
t
h
I
I
ne
x
p
o
n
e
n
t白 ont
heu
s
u
a
lp
a
m
b
o
l
i
cmet
円C
αndt
heHo
l
d
e
rc
o
n
s
t
a
nt
sα
r
ebounde
db
yαp
o
s
i
t
i
v
e
p，
a，
t
h
e9
印 刷t
1
'
y0
/M αndN andt
h
eC2
，
s(M)-norm0
/t
h
e
c
o
n
s
t
a
n
td
e
p
e
n
d
i
n
go
n
l
yonm ，
i
n
i
t
i
a
ld
a
t
aUo
r
e
o
v
e
r
，theree
x
i
s
t
sap
o
s
i
t叩 el
l
u
m
b
e
rc
l
odependingo
n
l
yonm，
pa
ndαs
u
c
h
.Mo
t
h
a
tt
h
e(m-c
l
o
)
d
i
m
e
n
s
i
o
n
a
lH
a
u
s
d
o
r
f
fme
α
s
u
r
e0
/S ont
h
eu
s
uαlp
a
m
b
o
l
i
cmet
円 ci
sl
o
c
αl
l
y
z
e
r
om ル
イ
∞
，
m 6o
- (
手i
SnK)=0 /
0
1
'anycomp
αc
ts
e
tK cM ∞
(
1
.6
)
F
o
rt
y
p
i
c
a
le
x
a
m
p
l
e
so
far
e
g
u
l
a
rb
a
l
l，wer
e
f
e
rt
o[
1，p
. 1
2
5
]
. He
r
e
，wenoteonlythe
sas
t
a
n
d
a
r
ds
p
h
e
r
eSn i
na
nE
u
c
l
i
d
e
a
ns
p
a
c
eRn+l，
s
i
m
p
l
ec
a
s
e
:i
ft
h
et
a
r
g
e
tm
a
n
i
f
o
l
dN i
七h
e
nag
e
o
d
e
s
i
cb
a
l
lsR(P) w
i
t
hc
e
n
t
e
ro
ft
h
en
o
r
t
hp
o
l
eP andr
a
d
i
u
sR = fi
sa“
r
e
g
u
l
a
r
o
l
d
e
rr
e
g
ul
a
r
i
t
yo
fas
m
a
l
ls
o
l
u
t
i
o
nh
a
sa
l
r
e
a
d
ye
s
t
ab
l
i
s
he
di
nt
h
ec
a
s
ep= 2，
b
a
l
lonN. A H
w
h
i
c
hc
o
n
c
e
r
n
sas
m
a
l
ls
o
l
u
t
i
o
no
ft
h
eh
a
r
m
o
n
i
cf
l
o
w(
s
e
e[
2，4
]a
l
s
or
e
f
e
rt
o[
1
]
)
.Top
r
o
v
et
h
e
e
xi
s
t
en
ce
，weus
eap
a
r
a
b
o
l
i
ca
p
p
r
o
x
i
m
a
t
i
o
nw
h
ic
hc
ome
sf
r
o
mmakinga
p
p
r
o
x
i
m
a
t
i
o
no
ft
h
e
p
e
n
e
r
g
y
.Wee
x
t
e
n
dt
h
er
e
g
u
l
a
r
i
t
ye
s
ti
m
a
t
e
sf
o
rsma
ls
o
l
u
t
i
o
n
so
fharmonicmapf
l
o
w
st
oo
u
r
q
u
a
s
i
l
i
n
e
a
ra
p
p
r
o
x
i
m
a
t
i
n
ge
qu
a
t
i
o
n
st
oo
b
t
a
i
naboundn巴s
so
fo
u
ra
p
p
r
o
x
i
m
a
t
i
n
gs
o
lu
t
i
o
nsand
rg
r
a
d
i
e
n
t
si
naHol
de
rc
l
a
s
s
. He
r
ewen
o
t
eb
yamaximump
r
i
n
c
i
p
a
lt
h
a
tt
h
eimag
e
so
fo
u
r
t
h巴i
a
p
p
r
o
x
i
m
a
t
i
n
gs
ol
ut
i
o
n
sa
r
ea
ss
m
a
l
la
st
h
eo
n
eo
ft
h
ei
n
i
t
i
a
ld
a
t
a
.Thenwec
a
na
p
p
l
yL
e
r
a
y
S
c
h
a
u
d
e
r
'
sf
i
xe
dp
o
i
n
tt
h
e
o
r
e
mt
oc
on
s
t
r
uc
tc
l
a
s
s
i
c
a
ls
ol
u
t
i
o
n
so
fo
u
ra
p
p
r
o
x
i
m
a
t
i
n
ge
qu
a
t
i
o
n
s
Toe
s
t
a
bl
i
s
has
t
r
o
n
gc
o
n
v
e
r
g
e
n
c
ei
naS
o
b
o
l
e
vs
p
a
c
eo
fa
p
p
r
o
x
i
m
a
t
i
n
gs
ol
u
t
i
o
ns
，wea
p
p
l
yt
h
e
h
i
c
hi
sshownt
oh
o
l
df
o
rs
m
a
l
ls
ol
t
山 0
叩n
郎s
ofp一har
訂
m
m
onicf
l
o
w
si
n[
3
，] f
o
r
f-r
e
gu
l
a
r
i
t
yt
h
e
o
r
e爪 w
o
u
ra
p
p
r
o
x
i
m
a
t
i
n
gs
o
l
u
t
i
o
n
sandt
h巴n，
u
s
eaC
a
c
c
i
o
p
p
o
l
ii
ne
q
u
a
l
i
t
ya
v
a
i
l
a
b
l
ef
o
rs
m
a
l
ls
o
l
u
t
i
o
n
s
F
i
n
a
l
l
y
，wec
a
np
e
r
f
o
r
mt
h
el
i
m
i
t
i
n
gp
r
o
c
e
s
st
oap
a
r
t
i
a
lr
e
gu
l
a
rweaks
ol
u
t
i
o
no
fp一h
a
r
m
o
n
i
c
自o
w
s
. ===========================
References
[
1
] M.G
i叫 u
i
n
t
a，
S
.H
i
l
d
e
b
r
a
n
d
t，A p
r
i
o
r
ie
s
ti
m
a
te
sおrh
a
r
m
o
n
i
cmappings，J
.r
e
創lIle
M
a
t
h
.336(
1
9
8
2
)1
2
3
1
6
4
.5
5
9
9
勾
]恥
r
M
叫
1
.Gi
悶
a
紅
叫
叩
q
j
山
U川
l a
，
M.S
t
訂r
u
山
、
日
l
W
附
v
e，
Ont
h
ep
a
r
t凶 r
e
g
u
l
a
r
i
t
yo
fweaks
ol
u
t
i
o
n
so
fno凶 ne
arp
a
r
a
b
o
l
i
c
[
2
s
y
s
t
e
m
s，Math.Z
.179，
(
1
9
8
2
)4
3
7
4
5
1
[
3
] M.M刷 wa，
P
a
r
t凶 r
e
g
u
l
a
r町 r
e
su
l
tsf
o
rf
o
re
v
ol
山 o
n
悶a
lp一L叩
a
p
μ
l
a
c
g
r
o
w
t
h，Manusc.Math.109，
(
2
0
0
2
)4
1
9
4
5
4
[
4
] M.Struwe，Ont
h
eH訓
ol
d
e
剖r
∞
c
0
叩n
凶t
i
山
n
u
山
I
日
川
i
t
yo
fboundedweakω
s
副
ωI
O
山
I o
n
附so
fqu鎚
a
悶
s
釘i
l
i
n
e
紅
a
rp
a
r
a
b
ol
i
c
s
y
s
t
e
m
s，Manusc.Math.35，
(
1
9
8
1
)1
2
5
1
4
5
-25-
S
p
e
c
t
r
a
landboundaryr
i
g
i
d
i
t
yo
fRiemannianm
a
n
i
f
o
l
d
s
VladimirA.Sharafutdinov
SobolevI
n
s
t
i
t
u
t
eofMathematics，
Novosibirsk，
Russia
ABSTRACT.Theboundaryr
i
g
i
d
i
t
yp
r
o
b
le
mi
sf
o
r
m
u
l
a
t
e
da
sf
o
l
l
o
w
s
:t
owhate
x
t
e
n
t
i
saR
ie
mannianm
e
t
r
iconacompactm
a
n
i
f
o
l
dw
i
t
hboundaryde
t
e
rmin
e
d byd
is
t
a
nc
e
s
回 AR
回m
an日 間1m
a
n
i
f
o
l
d(
A
!
， g)i
sc
a
l
l
e
dbound
α
旬 門g
i
di
f
，f
o
r剖
a
1
日
1
be
tw
e
enboundaryp
o
i
n
o
the
rR
i
阻e
ma
叩nm
凶
a
叩nme
t
r
icg
'onM，
t
h
ef
o
l
l
o
w
i
n
g抗
s
t
叫
a
t
e
m臼
e
凶
n
1
叫t目
i
sv
a
l
i
d
:ば
ft
h
eboundaryd
i
凶
s
t
剖
a
削
n
児c
e
f
u
叩n
恥c
t
凶l
旧
∞
on
凶s
ofR
即 l
anm
旧
a
叩nma
叩吋
n
1
o
f此
(
M，
ω
g
)onto(
J
ル
M，
ダ
g
'
)whi
児
c
hi
回
S凶
1
d叩
e
凶
n
凶
1
t
i
比
c
叫
a
1ont
h
eboundary
.
Theboundaryr
i
g
i
d
i
t
yp
r
o
b
le
mi
su
s
u
a
l
l
yc
on
s
i
de
r
e
df
o
rs
i
m
p
leme
tr
ic
s
.AR
ie
mannian
i
m
p
l
ei
fe
v
e
r
ytwop
o
i
n
t
sa
r
ej
o
i
n
tbyau
n
i
q
ueg
e
o
d
e
si
c
.
m
a
n
i
f
o
l
di
sc
al
l
e
ds
“
R
.Mic
he
l
，1
980
).Ev
e
r
ys
i
m
p
leR
iemannianmanifoldi
sboundaryr
igi
d
Conjecture(
T
i
l
lnowt
h
e
r
ei
snoc
ount
e
r
e
x
a
m
p
l
et
ot
hec
on
je
c
tu
r
e
.Ont
h
eo
t
h
e
rhand，
t
h
ec
o
n
j
e
c
t
u
r
e
i
sp
r
o
v
e
df
o
rs
omeve
r
yn
a
r
r
o
wc
la
s
s
e
so
fme
t
r
ic
s
Theabovef
or
m
u
l
a
t
e
dp
r
o
b
le
mh
a
sape
r
i
o
d
ic
a
l叩 a
l
o
gf
o
rc
l
o
s
edman
i
f
o
l
d
s
.I
nt
hec
a
s
e
o
fac
l
口s
edR
ie
mannianm
a
n
i
f
o
l
dwec
a
n，
i
n
s
te
a
do
ft
heboundaryd
is
t
a
nc
e
s，
c
on
s
i
de
rt
hes
e
t
e
n
g
t
hs
p
e
ct
m
l
o
fl
e
n
g
t
hso
fc
lo
s
e
dg
e
o
d
e
s
i
c
s
.I
ns
u
c
ht
h
ewaywea
r
r
i
v
ea
tt
hed
e
f
i
n
i
t
i
o
no
fl
r
i
g
i
d
i
t
y
. Ofc
o
u
r
s
e，
t
h
el
a
t
t
e
ri
ss
e
n
s
i
b
l
eo
n
l
yi
nt
hec
a
s
ewhent
h
e
r
ear
es
u伍 c
i
e
n
t
l
yman
y
c
l
o
s
e
dg
e
o
d
e
s
i
c
sont
h
em
a
n
i
f
o
l
d
. The
r
e
f
o
ret
h
el
e
n
g
t
hs
pe
c
tr
alr
i
g
i
d
i
t
yp
r
obl
e
mi
sus
ualy
c
ons
i
de
r
e
df
o
rne
g
a
t
i
v
e
l
yc
u
r
v
e
dm
a
n
i
f
o
l
d
s
Thel
a
t
t
e
rp
r
o
b
le
mi
sc
l
o
s
el
yr
e
l
a
t
e
dt
ot
hec
la
s
si
c
a
le
i
genval
ues
p
e
c
t
r
a
l門 g
i
d
i
t
yp
r
o
b
lem
Tw
oc
l
o
s
e
dRi
e
mannianm
a
n
i
f
o
l
da
r
ec
a
le
di
s
o
s
pe
ctml
，i
ft
h
ei
rL
a
p
l
a
c
e
-Be
l
t
r
a
m
iope
r
a
t
or
s
出 n
te
伊 n
v
a
l
ues
pe
c
tr
a
.I
ti
sknown(
D
u
i
s
t
e
r
m
a
a
t
G
u
i
l
l
e
m
i
n
)t
h
a
t，
f
o
r問 g
a
t
附 l
y
hav
ec
o
i
n
c
c
ur
v
e
dm
a
n
i
f
o
l
d
s
，
l
e
n
g
t
hs
p
e
c
t
r
alr
i
g
i
d
i
t
yi
m
p
l
ie
se
i
g
en
v
a
l
u
es
pe
ct
r
a
lr
i
g
i
d
it
y
t
si
n
f
i
n
i
te
si
m
a
lan
a
l
o
g
.F
o
ri
n
s
t
anc
e，
Ev
e
r
yo
ft
h
r
e
eab
o
v
e
de
f
i
n
e
dk
i
n
dso
fr
i
g
i
d
i
t
yh剖 i
t
h
e de
f
o
門η
αt
i
on bound
αr
yr
i
g
i
d
i
t
yi
sde
f
i
ne
di
nt
h
es
amewa
ya
sabove，b
u
t，i
ns
t
e
a
do
f
c
o
n
s
i
d
e
ri
ngapai
ro
fme
t
r
ic
s，
wes
h
o
u
l
dc
ons
i
de
rao
n
e
p
a
r
a
m
e
t
e
rf
a
m
i
lyo
fme
tr
ic
s
，
e
xposes
omeol
dandne
wr
e
su
l
t
s
Wed
is
cus
sr
e
l
a
t
i
o
nsbe
twe
ent
het
h
re
ek
i
n
d
so
fr
i
g
i
d
i
t
y
ont
hes
u
b
j
e
c
t
.One0
1t
h
e
mi
st
h
el
o
l
l
o
w
i
n
g
Theorem(C.Croke，V
.S
h
a
r
悶a
f
叫
ut
凶
d
i
日
川
叩
n
.
0V
1
叫，1
9
附
9
め
5
)
.Ac
lo
s
e
d問
ne
g
a
t附 l
yc
山
ur
，
v
刊
edR目削口
n
l
a
n
帥
n
1
d
i
f
ol
d目
i
sde
お
f
o
r
口m
a
t
l
叩
O
凹ns
p
e
c
t
r
al口
r
l
屯
g
l
ほ
l
-26-
C
h
a
r
a
c
t
e
r
i
s
t
i
cC
l
a
s
se
so
fs
i
n
g
u
l
a
rV
a
r
i
e
t
i
e
s
.
J
e
a
n
P
a
u
lBRASSELET
Ma
r
se
i
l
le
1ML，
nf
i
r
s
tl
yde
f
i
n
e
d
Ch
a
r
a
c
t
er
is
ti
cCl
a
s
s
e
so
fs
i
n
g
u
l
a
rv
a
ri
e
ti
e
shav
eb巴e
b
y M.H. S
c
h
w
a
r
t
z us
i
n
go
b
s
t
r
u
c
t
i
o
nt
h
e
o
r
y(
1
9
6
5
)
. Then，a
ω
t
oac
on
je
c
tu
reo
f0巴
e
l
i
氾
gnea
日
r
l
dG
r
o
t
凶h
e
n
d
i
e
飢c
k，R
. MacPhersonde
f
ine
d
鉛5
S
印
巴s
民，i
nh
o
r
n
o
logy
，u
s
i
ngNasht
r
a
n
s
f
o
r
r
n
a
t
i
o
nandE
u
l
e
rl
o
c
a
lo
b
s
t
r
u
c
c
l
a
巾 p
r
o
v
e
dt
l
川 t
h
e
s
etwoc
on
t
i
on(
1
9
7
4
)
.J
.
P
.B
r
a
s
s
e
l
e
tandM.
H.
Schwa
s
t
r
u
c
ti
o
ns c
oi
nc
i
de
，
gi
v
i
ngt
h
es
o
c
al
巴dS
c
h
w
a
r
t
z
M
a
c
P
h
e
r
s
o
nc
l
a
s
s
e
s
.
町
hand，
W.Fult
o
n(
1
9
8
0
)d
e
f
i
n
e
dc
ha
r
a
c
t
er
is
ti
cc
l
a
s
s
e
sus
i
ng
Onano
tl
t
hen
o
t
i
o
nofS
e
g
r
ec
l
a
s
s
e
s
.I
I
It
hec
a
s
eo
fhype
r
su
r
f
a
c
e
so
rL
o
c
a
lCompl
e
t
e
t
he
s
ec
l
a
s
s
e
sa
r
et
ho
s
eo
ft
h
ev
i
r
t
u
a
lt
a
n
g
e
n
tb
U
l
l
d
l
e
1
1
1
t
e
r
s
e
c
t
i
o
l
l
s，
1
nt
h
ec
a
s
eo
fi
s
o
l
a
t
e
ds
i
l
lgu
l
a
r
it
i
e
s，t
hed
i
f
f
e
r
e
l
l
c
eoft
heS
c
h
w
a
r
t
z
MacPhersonc
l
a
s
sandt
heF
ul
t
o
nc
l
a
s
sappe
a
r
st
obet
h
es
umo
fMi
l
n
o
r
n
u
r
n
b
e
r
si
nt
h
es
i
ngu
l
a
rpOi
l
lt
S
.1
ng
e
n
e
r
a
lt
h
ed
i
f
f
e
r
e
n
c
ei
sac
l
a
s
s(
t
h
e
M
i
l
n
o
rc
l
a
s
s
)r
e
c
en
t
lyw
e
l
ls
tu
d
ie
d
，onegi
v
e
sag
ene
r
ale
xp
re
s
si
o
nf
ora
lt
he
s
ec
l
a
s
s
e
s，
i
n
1
nt
h
isl
e
c
tu
r
e
t
h
ec
o
n
t
e
x
tofo
b
s
t
r
u
c
t
i
o
nt
he
o
r
y
.T
h
i
se
xp
r
e
s
si
onalowst
og
i
v
eanew
i
n
s
i
g
h
tt
ot
heg
e
le
r
alもhe
or
yandas
i
r
n
p
lep
r
o
o
fo
fs
o
r
n
eoft
h
er
e
c
en
t
r
e
s
u
l
t
s
-27
無限次元表現とその寡零不変量
一不変微分作用素をとおして ー
山下博(北大・理)
有限群(もっと一般にコンパクト群)上の任意の類関数は，既約表現の
指標の(無限)一次結合として表される.このことは，群の共役類(軌道)
の幾何的構造と表現の間に深いつながりがあることを示唆している.例
えば，ハイゼンベノレグ群などを含む単連結寡零リ一群に対しては，その
余随伴軌道と既約ユニタリ表現の同値類が一対一対応に対応している(キ
リロフ軌道法) このように，既約表現と軌道との繋がりを解き明かすこ
と，すなわち表現に対する軌道理論を創ること が，
君干の表現論における
最も基本的かつ重要な問題のひとつである
さて，実半単純リ一群 Gのヒノレベルト空間上への(無限次元)既約許容
表現は，極大コンパクト部分群 K が有限に作用する部分空間の上に，複
素リ一代数 9= L
i
e
(
G
)⑧I
RI
C，および，群 K の複素化 Kcが働く既約な
Harish-Chandra加群を定める.ユニタリ化可能な既約 H
a
r
i
s
h
C
h
a
n
d
r
a
加群は Gの既約ユニタリ表現を完全に特徴づけることが知られている
既約 Hari
s
hChandra加群 X に付随して定まる，対称線形代数 8
(g)上
(
X)は
， リ一代数における寡零 Kc
軌道からなる
の次数っき加群の台 ν
アフィン多様体をなす.
ν(
X
)を X の随伴多格体 とよぶ.より精密に，多
様体 ν
(X)=U
;
δ
;の各既約成分 δ
;における重複度 m;を付加すること
で得られる 随伴サイクル C
(
X):=L;
m
;
[
否]は，いわば，Xの第一次近
似を与える基本的幕零不変量といえよう ここで重要なことは，随伴サイ
クル C
(
X)
に現れる各重複度 m;は，単なる自然数ではなく，当該既約成
分
に属する一般的な寡零元 X
;E0;の固定部分群 Kc
(Xi)・
=ZKC(Xi)
が働く 等方表現の次元として捉えられる，という事実である
本講演では ，1.既約許容(ユニタリ)表現の莱零不変量とくに等方表
現を特定する ，2
.霧零不変量が当該の既約表現の如何なる性質を制御す
るかを見極める，というこつの立場からの研究を紹介する.
1.既約 H
a
r
is
h
-Chandra加群 X の随伴多様体は既約であるとする・
ν(X)= δ (0は幕零 Kc-軌道) ユニタリ最高ウェイト加群や離散系列
表現など，重要な楕円型既約ユニタリ表現のほとんどがこの条件を満た
す この場合に ，X に対する等方表現 W の双対加群は，反傾表現 X.を
実現するリ ーマン対称空間 G/K上の 勾配型不変微分作用素 D の主表象
δ
;
-28ー
を用いて特徴づけられる.つまり， W の双対は，1)の主表象写像が定め
c
-等質ベクトノレ束のファイパー空間として現れる.
る C 上の K
上述の枠組みを用いて，離散系列やユニタリ最高ウェイト表現に付随
する等方表現を具体的に記述することが可能になる.特に，特異ユニタリ
最高ウェイト加群に対応する等方表現を完全に決定することができ，し
かもそれらは既約であることも分かる.この結果は，コンパクトなデュア
VII
ル・ペアに関するテータ持ち上げの理論の拡張を与えている.また， E
型の場合は，等方表現が球菌やケーリー射影平面上の調和解析と深く関
わる様子も明らかになる.
2
. 次に，ユニタリ最高ウェイト加群 X に対して，複素解析的な幕零
K
c
-軌道に付随した一般化 Whittaker模型と等方表現との聞の相互関係
を考察する.そのために，まず，エルミート対称空間 GjKの正則接空
c
-軌道たちを，次元が小さい1
)
頂に 00 = {
0
}，01o ・ ，Or
間に含まかる K
(
r= rankGjK)，と並べておく .第二に ，Om(
0
:
:
;m 三r
)から K
o
s
t
a
n
t
関口対応 (
C
a
y
l
e
y変換)をとおして定まる実リ一代数 L
i
e
(
G
)の寡零軌道
に付随して，一般化された G
e
l
f
.
姐 d
-Graev表現r(0!)を構成する
(
X
)における澗密な寡零 K
c
軌道を Om(X)と
第三に ，Xの随伴多様体 ν
する.このとき ，Xに対する等方表現 W の空間は，ユニタリ最高ウェイ
ト加群の一般化 W
h
i
t
t
a
k
e
r模型 X '
+r
(O!(
X
)
)の双対と同型であること
が分かる.この結果は，ユニタリ最高ウ ェイト表現という，特異性・退
h
i
t
t
a
k
e
r模型
化度の高い実リー群の表現について，等方表現が一般化 W
を完全に制御していることを示している.
O
E
の
4
nwd
A PoincarιHopft
y
p
et
h
e
o
r
e
mf
o
rh
o
l
o
m
o
r
p
h
i
c
←formsonCn
on
ToshikazuI
toandBrunoScardua
1
0t
h
i
sn
o
t
eweannouncesomea
c
h
i
e
v
e
m
e
n
t
si
nt
h
es
t
u
d
yo
fh
o
l
o
m
o
r
p
h
i
cd
i
s
ー
もr
i
b
u
t
i
o
n
sadmi
抗i
n
gt
r
a
n
s
v
e
r
s
ec
l
o
s
e
dr
e
a
lh
y
p
e
r
s
u
r
f
a
c
e
s
. Ourmainr
e
s
u
l
ti
st
h
e
f
o
l
l
o
w
i
n
g
:
Theorem1(
[
2
]，
[
3
]
).LetD ccCnb
ear
e
l
a
t
i
v
e
l
ycompactdomain切 t
hsmooth
b
o
undaryδD c Cn. Assume t
h
a
tt
h
e(
c
a
n
o
n
i
c
a
l
)e
x
a
c
ts
勾u
e
n
c
eH1(D，
Z) →
1
H(
δD，
Z) → O 日 e
x
a
c
t. Theng
i
v
e
n anyh
o
l
o
m
o
r
p
h
i
cone-formω man目的b
o
r
h
o
o
dU o
fD i
nCns
u
c
ht
h
a
tt
h
eC
0
1
γe
s
p
o
n
d
i
n
gh
o
l
o
m
o
r
p
h
i
cd
俗t
r
i
b
u
t
i
o
nK
e
r
(
ω
)
日 t
r
a
n
s
v
e
r
s
et
ot
h
eboundaryδD t
h
e
nweh
a
v
e
乞 Ind(ω ;p)=ー
(1
)
日(
D
)
p
ε
a
i
o
g
(
ω
)
n
D
(
1
)
山
he
r
eX(D)i
st
h
eE似 e
r
P
o
i
nωr
e
H
o
p
fc
h
a
r
a
c
t
e
r
i
s
t
i
c0
1D.
n
I
fwew
r
i
t
旬eω=2ε:ん(
μ
斗
ω
z
μ
)
d勾
z
:
j凶
i
nh
o
l
o
m
o
r
p
h
i
cc
o
o
r
d
i
n
a
t
e
si
naneighborhoodぱ
0f百 i
泊
且
n凶
t
c
ぬ
h
山
l
e
e
n
児
C∞ v
e
c
t
o
rf
i
e
l
d
(
2
)
去
g
r
a
d
(
ω
)=ZZ12;
Givenaoyi
s
o
l
a
t
e
ds
i
o
g
u
l
a
r
i
t
ypεSJI
(
3
)
ト去
山 =
I
n
d
p
)=
=Ind阿
p
)
2
0
0
0M
a
t
h
e
m
a
t
i
c
sS
叫目白tC
l
回 目F
国 t
i
o九 P
r
i
m
a
r
y3
2
8
6
5
;8
e
c
o
n
d
a
r
y5
7
R
3
0
.
Ke
官 UlO
r
r
l
.
Sa
n
dphms回 目 H
o
l
o
m
o
r
p
h
i
co
ne
-f
o
r
m，
v
ec
t
orf
i
e
l
d，
E
u
l
e
r
P
o
i
n
c
a
r
ec
h
a
r
a
c
t
e
r
i
s
ti
c
l
-3
0ー
Wer
e
c
a
l
lt
h
a
t，
i
n
c
l
u
d
i
n
gt
h
en
o
n
i
n
t
e
g
r
a
b
l
ec
a
，
田 wehavethefollowingdefinition
o
ft
r
a
n
s
v
e
r
s
a
l
i
t
y
.
r
a
n
s
v
e
r
s
et
oθD i
f
s
i碍 (
ω
)
n
δD =日
D
e
f
i
n
i
t
i
o
n1(
[
2
]
)
. Thed
i
s
t
r
i
b
u
t
i
o
nK
e
r
(
ω
)日 t
andf
o
re
v
e
r
yqEδD weh
a
v
e九δ
(D)+K
e
r
(
ω(
q
)
)=九
(
l
R2n)ωreall
i
n
e
a
rs
p
a
c
田.
Asac
o
r
o
l
l
a
r
yo
fTheorem1weo
b
t
a
i
n
:
Corollary1(
[
2
]とL
e
tω b
eah山 m
o
r
p
h
i
co
n
e
f
o
r
mi
nan
e
i
g
h
b
o
r
h
o
o
dU o
ft
h
e
c
/
o
s
e
db
a
l
lB
2
n
(
0
;R
)i
nC"，
n~ 2ands
u
c
ht
h
a
tK
e
r
(
ω)i
st
r
a
n
s
v
e
r
s
et
ot
h
es
p
h
e
r
e
n-1(
82
0
;R) = δB吋0
;R
)
. Thenn 日 e
v
e
nandω h
a
se
x
a
c
t
l
yo
n
es
i
仇
n
吋g
♂
卯
也
t
L
凶
oεB
2
n(
0
;R，
) moreo旬e
rt
h
i
ss
i
n
g
u
l
a
rp
o
i
n
ti
ss
i
m
p
l
e
l
n[
3
]onef
i
n
d
san
a
t
u
r
a
le
x
七e
n
s
i
o
no
ft
h
ea
b
o
v
er
e
s
u
l
tf
o
rh
o
l
o
m
o
r
p
h
i
c
a
l
l
yem田
l
nc
a
s
eD ccC"i
sS
t
e
i
nandnさ 3wea
l
s
o
beddedc
l
o
s
e
db
a
l
l
si
nS
t
e
i
ns
p
a
c
o
b
t
a
i
n
:
Corollary2(
[
3
]
)
.L
e
tD cC
π b
ear
e
l
a
t
叩 e
l
yc
o
m
p
a
c
tS
t
e
i
ndomainw
i
t
hs
m
o
o
t
h
u
p
p
o
s
en ~ 3
.G
i
v
e
nanyh
o
l
o
m
o
r
p
h
i
co
n
e
f
o
門 nωma
b
o
u
n
d
a
r
yδD cC" ands
n
e
i
g
h
.b
o
r
h
o
o
do
fD w
i
t
hK
e
r
(
ω)t
r
a
n
s
v
e
r
s
et
oδD weha
肥
乞
l
n
d
(
ω;
p
)=(
1
)日 (D)
pεsing(ω)円 D
S
i
n
c
el
n
d
(
ω;
p
)三 1f
o
ra
l
l(
i
s
o
l
a
t
e
d
)s
i
n
g
u
l
a
rpo凶 weo
b
t
a
i
n
:
Corollary3
.L
e
tD ccC"andω b
eω i
nTheorem1
.I
fχ(
D
)= 0t
h
e
nsing(ω)n
D =。
目 I!X(D)と 1t
h
e
ns
i
n
g
(
ω
)n Dヂ
日 andn
e
c
e
s
s
a
r
i
l
y1
1
.日 e
吋 n
.
Wea
l
s
or
e
f
e
rt
o[
4
]f
o
rf
u
r
t
l
町 r
田 u
l
t
s.
1 SketchoftheproofofTheorem1
Weh
a
v
et
h
ec
a
n
o
n
i
c
a
le
x
a
c
ts
e
q
u
e
n
c
eHl(D)→H1(θD) →H2(D，
θD)andb
y
1
郎 i
sH (
D
) →Hl(δD) →o
i
se
x
a
c
t.Takeah
o
l
o
m
o
r
p
h
i
cv
e
c
t
o
rf
i
e
l
d五
hypoth
i
nan
e
i
g
h
b
o
rhoodo
fD s
u
c
ht
h
a
tf
o
re
a
c
hqεδ D t
h
ev
e
c
t
o
r何(
q
)i
sn
o
n
z
e
r
oand
巾 g
o
n
a
lもot
h
e∞mplext
a
n
g
e
n
ts
p
a
c
eT~(θD) < 九(
C
"
)
.G
i
v
e
n
μ
Ja
si
nTheorem1
o
wei
n
t
roduαthea
n
a
l
y
t
i
cs
e
t
Ew:={ぃ (
q
)ル
2
-31
Thenf
o
re
a
hqE
δDweh
a
v
eqεL
:
"
，i
fando
n
l
yi
fg
r
a
d
(
ω)
(
q
)ε年δ
(D
)・Since
t
h
eve
ct
o
rf
i
e
l
dg
r
a
d
(
ω
)i
so
r
t
h
o
g
o
n
a
lt
oK
e
r
(
ω
)wec
o
n
c
l
u
d
et
h
a
tt
h
e
r
ee
x
i
s
t
sa
smoothb
l
l
m
p
f
l
l
n
c
t
i
o
nψ
:Cnニ
→ lRsuchthat
戸 国
(
4
)
Z
:=grad(ω)+'P'冗
i
st
r
a
n
s
v
e
r
s
et
oaD
U
s
i
n
gt
h
eh
y
p
o
t
h
e
s
i
st
h
a
tH1(
D
)→ H1(δD)→ oi
se
x
a
c
twe0b
t
a
i
nar
e
a
l
smooths
e
c
t
i
o
n(
i
e
. aC∞ r
e
a
lv
e
c
t
o
rf
i
e
l
d
)cε TZo
v
e
ran
e
i
g
h
b
o
r
h
o
o
do
fD
wh
i
c
hi
st
r
a
n
s
v
e
r
s
et
o
δDji
n
d
e
e
dci
so
b
t
a
i
n
e
da
se
x
t
e
n
s
i
o
no
fas
u
i
t
a
b
l
ev
e
c
t
o
r
f
ie
l
dc
(
z
) =α (
z
)
X
(
z
)+b
(
z
)
Y
(
z
)d
e
f
i
n
e
di
nan
e
i
g
h
b
o
r
h
o
o
do
fdDandw
h
i
c
hi
s
山
h
e
r
eX a
nげ a
r
eElvenM=;(X-FTY)
Theorem1nowf
o
l
l
o
w
sI
T
o
mP
o
i
n
c
a
r
e
H
o
p
fI
n
d
e
xt
heorem [
5
]a
p
p
l
i
e
dt
ot
he
.
t
o
rf
i
e
l
dco
n
c
eweh
a
v
et
h
ef
o
l
l
o
w
i
n
gl
e
m
m
a
:
v
e
c
山 叫0
Lemma1 (
[
2
]
)
.I
nt
h
ea
b
o凹 S伽 a
t
i
o
nweh
a
v
e
:
(
i
)s
i
n
g
(
ω
)nD i
sf
i
n
i
t
e，
s
i
n
g
(
ω
)nD =s
i
n
g
(
c)
;
(
i
i
)G叩 e
nanypε
s
i
n
g
(
ω )nD凹 eh
a
v
el
n
d(
ω
j
p
)=ー
(l
)
n
l
n
d
(
c
;
p
)
.
C
o
r
o
l
l
a
r
y1i
sani
m
m
e
d
i
a
t
ec
o
n
s
e
q
u
e
n
c
eo
fTheorem1
. C
o
r
o
l
l
a
r
y2i
sp
r
o
v
e
d
2
r
e
c
a
l
l
i
n
gt
h
a
tbyP
o
i
n
c
a
r
e
L
e
f
s
c
h
e
t
zd
u
a
l
i
t
.
y[
1
]weh
a
v
eH (D，
δD)~ H
2
n
_
2
(
D
)=0
i
nt
h
ec
a
s
eo
faS
t
e
i
ndomainandn>3.
口
Acknowledgement.Wea
r
eg
r
a
t
e
f
u
lt
oP
r
o
f
e
岱 o
rN
.Kawazumif
o
rh
i
si
n
t
e
r
e
s
tand
v
a
l
u
a
b
l
es
u
g
g
e
s
t
i
o
n
si
ni
m
p
r
o
v
i
n
go
u
ro
r
i
g
i
n
a
lr
e
s
u
l
t
s
References
[
1P G
r
i
f
f
iもh
s，
J.H
a
r
r
i
s
;P
r
i
n
c
i
p
l
e
so
fA
l
g
e
b
r
a
i
cG
e
o
m
e
t
r
y
;JohnW
iley& S
o
n
s，
N.
Y
.，
1
9
7
8
[
2
]T
.I
to，
B
.S
c
a
r
d
u
a
; A Poincare-Hopft
y
p
et
h
e
o
r
em
.f
o
rh
o
l
o
m
0
1
下h
i
cl
f
o
r
m
.
叫
P
r
e
p
r
i
n
tRyukokuU
n
i
v
e
r
s
i
t
y
，Kyoto2
0
0
2
[
3]T
.I
to，
B
.S
c
a
r
d
u
a
jOncomple
xd
i
.
st
r
i
b
t
t
t
i
o
n
st
r
a
n
s閃 r
s
et
os
p
h
e
r
e
s
;i
np
r
e
p
a
r
a
t
i
o
n
[
4
]T
.I
t
o，
B
.S
c
a
r
d
u
a
j Onr
e
a
lt
m
n
s
1
町 '
s
es
e
c
t
i
o
n
so
fh
o
l
o
m
o
r
p
h
i
cf
o
l
叫
:i
o
n
s
jt
o
a
p
p
e
a
r
3
-3
2
[
5
]J
.M
i
l
n
o
r
; Top
山 gyf
romt
h
ed
俳r
e
n
t
i
a
lv
i
e
wp
o
i
n
t
;TheU
n
i
v
e
r
s
i
t
yP
r
e
s
so
f
V
i
r
g
i
n
i
a，
C
h
a
r
l
o
t
t
e
s
v
i
l
l
e，
1
9
6
5
T
o
s
h
i
k
a
z
uI
t
o
Departmento
fN
a
t
u
r
a
lS
c
i
e
n
c
e
RyukokuU
n
i
v
e
r
s
i
t
y
Fu
s
h
i
m
i
k
u，
Kyoto612
JAPAN
BrunoS
c
a
r
d
u
a
I
ns
t
.Matema
もl
c
a
U
n
i
v
e
r
s
i
d
a
d
eF
e
d
e
ra
ldoRiod
eJ
a
n
e
i
r
o
C
a
i
x
aP
o
s
t
a
l68530
21
.9
4
5
9
7
0R
i
od
eJ
a
n
e
i
r
o-RJ
BRAZIL
4
-33-
J
o
s
e
p
h
s
o
nj
u
n
c
t
i
o
n
s，
日u
x
o
n
sandap
e
r
t
u
r
be
d
s
i
n
e
Gordone
q
u
a
t
i
o
n
Arjen Doelman(UniversityofAmsterdam)
Abstract
Wede
t
er
m
i
net
hel
i
ne
ar
is
eds
t
a
b
i
l
it
yoft
r
a
v
el
l
i
ngf
ronts
ol
ut
i
onsofape
r
t
ur
be
ds
i
ne-Gor
do日 e
q
u
a
t
ion.Thi
se
qua
ti
onmode
l
st
hel
ongJ
o
s
ephs
onj
u
nc
t
ionus
i
ngt
heRCSJmode
lf
orc
ur
r
e
nt
sa
cr
o
s
st
hej
u
nc
ti
onandi
n
c
l
ud
e
ss
u
r
f
a
c
e
u
nc
ti
on.Thet
r
a
v
el
l
i
ngwa
v
e
sc
o
rr
e
spondt
o
r
e
si
s
t
anc
ef
orc
u
r
r
e
nt
sa
l
ongもhej
t
hes
o
c
a
le
df
l
ux
onsandもhe
i
rl
i
ne
ars
t
ab
i
l
it
yi
sde
t
er
mi
n
edb
yc
a
l
cu
la
ti
ngt
he
Ev
a
nsf
u
nc
ti
on.Su
r
f
a
c
er
e
si
s
t
a
nc
ec
or
re
s
p
ondst
oas
i
ngu
larp
er
t
u
r
ba
ti
ont
erm
i
nt
h
eg
o
v
e
r
n
i
nge
qua
ti
on，whic
hs
pe
ci
f
ic
a
lyc
om
p
l
ic
a
t
e
st
hec
omput
a
ti
o
no
f
t
hec
or
re
spon
d
i
ngEvansf
u
nc
ti
on
.Bo
tht
hef
lo
wofqua
si
par
t
i
c
l
e
sa
c
r
o
s
san
d
，s
e
ePh
y
si
c
aD，v
o1
.
l8
0
a
l
ongt
hej
un
c
ti
ons
t
a
bi
l
i
s
et
hewa
v
e
s. Forda
t
ei
ls
(
20
0
3
)
40
7
0
.
l
3
4