id	sid	tid	token	lemma	pos
ejde-400	1	1	electronic	electronic	ADJ
ejde-400	1	2	journal	journal	NOUN
ejde-400	1	3	of	of	ADP
ejde-400	1	4	differential	differential	ADJ
ejde-400	1	5	equations	equation	NOUN
ejde-400	1	6	,	,	PUNCT
ejde-400	1	7	vol	vol	NOUN
ejde-400	1	8	.	.	PUNCT
ejde-400	1	9	2020	2020	NUM
ejde-400	1	10	(	(	PUNCT
ejde-400	1	11	2020	2020	NUM
ejde-400	1	12	)	)	PUNCT
ejde-400	1	13	,	,	PUNCT
ejde-400	1	14	no	no	INTJ
ejde-400	1	15	.	.	NOUN
ejde-400	1	16	17	17	NUM
ejde-400	1	17	,	,	PUNCT
ejde-400	1	18	pp	pp	ADJ
ejde-400	1	19	.	.	PUNCT
ejde-400	2	1	1–6	1–6	NUM
ejde-400	2	2	.	.	PUNCT
ejde-400	3	1	issn	issn	PROPN
ejde-400	3	2	:	:	PUNCT
ejde-400	3	3	1072	1072	NUM
ejde-400	3	4	-	-	SYM
ejde-400	3	5	6691	6691	NUM
ejde-400	3	6	.	.	PUNCT
ejde-400	4	1	url	url	PROPN
ejde-400	4	2	:	:	PUNCT
ejde-400	4	3	http://ejde.math.txstate.edu	http://ejde.math.txstate.edu	PROPN
ejde-400	4	4	or	or	CCONJ
ejde-400	4	5	http://ejde.math.unt.edu	http://ejde.math.unt.edu	PROPN
ejde-400	4	6	existence	existence	NOUN
ejde-400	4	7	and	and	CCONJ
ejde-400	4	8	uniqueness	uniqueness	NOUN
ejde-400	4	9	for	for	ADP
ejde-400	4	10	a	a	DET
ejde-400	4	11	ginzburg	ginzburg	NOUN
ejde-400	4	12	-	-	PUNCT
ejde-400	4	13	landau	landau	NOUN
ejde-400	4	14	system	system	NOUN
ejde-400	4	15	for	for	ADP
ejde-400	4	16	superconductivity	superconductivity	NOUN
ejde-400	4	17	jishan	jishan	PROPN
ejde-400	4	18	fan	fan	PROPN
ejde-400	4	19	,	,	PUNCT
ejde-400	4	20	yong	yong	PROPN
ejde-400	4	21	zhou	zhou	PROPN
ejde-400	4	22	abstract	abstract	PROPN
ejde-400	4	23	.	.	PUNCT
ejde-400	5	1	we	we	PRON
ejde-400	5	2	prove	prove	VERB
ejde-400	5	3	the	the	DET
ejde-400	5	4	existence	existence	NOUN
ejde-400	5	5	of	of	ADP
ejde-400	5	6	a	a	DET
ejde-400	5	7	unique	unique	ADJ
ejde-400	5	8	solution	solution	NOUN
ejde-400	5	9	for	for	ADP
ejde-400	5	10	a	a	DET
ejde-400	5	11	time	time	NOUN
ejde-400	5	12	-	-	PUNCT
ejde-400	5	13	dependent	dependent	ADJ
ejde-400	5	14	ginzburg	ginzburg	NOUN
ejde-400	5	15	-	-	PUNCT
ejde-400	5	16	landau	landau	NOUN
ejde-400	5	17	model	model	NOUN
ejde-400	5	18	in	in	ADP
ejde-400	5	19	superconductivity	superconductivity	NOUN
ejde-400	5	20	under	under	ADP
ejde-400	5	21	the	the	DET
ejde-400	5	22	coulomb	coulomb	NOUN
ejde-400	5	23	gauge	gauge	NOUN
ejde-400	5	24	.	.	PUNCT
ejde-400	6	1	also	also	ADV
ejde-400	6	2	we	we	PRON
ejde-400	6	3	prove	prove	VERB
ejde-400	6	4	the	the	DET
ejde-400	6	5	uniform	uniform	NOUN
ejde-400	6	6	-	-	PUNCT
ejde-400	6	7	in	in	ADP
ejde-400	6	8	-	-	PUNCT
ejde-400	6	9	ε	ε	NOUN
ejde-400	6	10	well	well	NOUN
ejde-400	6	11	-	-	PUNCT
ejde-400	6	12	posedness	posedness	NOUN
ejde-400	6	13	of	of	ADP
ejde-400	6	14	the	the	DET
ejde-400	6	15	solution	solution	NOUN
ejde-400	6	16	,	,	PUNCT
ejde-400	6	17	where	where	SCONJ
ejde-400	6	18	ε	ε	PROPN
ejde-400	6	19	is	be	AUX
ejde-400	6	20	the	the	DET
ejde-400	6	21	coefficient	coefficient	NOUN
ejde-400	6	22	of	of	ADP
ejde-400	6	23	the	the	DET
ejde-400	6	24	double	double	ADJ
ejde-400	6	25	-	-	PUNCT
ejde-400	6	26	well	well	NOUN
ejde-400	6	27	potential	potential	ADJ
ejde-400	6	28	energy	energy	NOUN
ejde-400	6	29	.	.	PUNCT
ejde-400	7	1	1	1	X
ejde-400	7	2	.	.	X
ejde-400	7	3	introduction	introduction	NOUN
ejde-400	7	4	this	this	DET
ejde-400	7	5	article	article	NOUN
ejde-400	7	6	concerns	concern	VERB
ejde-400	7	7	the	the	DET
ejde-400	7	8	ginzburg	ginzburg	NOUN
ejde-400	7	9	-	-	PUNCT
ejde-400	7	10	landau	landau	NOUN
ejde-400	7	11	model	model	NOUN
ejde-400	7	12	in	in	ADP
ejde-400	7	13	superconductivity	superconductivity	NOUN
ejde-400	7	14	,	,	PUNCT
ejde-400	7	15	η∂tψ	η∂tψ	PROPN
ejde-400	8	1	+	+	NUM
ejde-400	8	2	iηkφψ	iηkφψ	NOUN
ejde-400	8	3	+	+	CCONJ
ejde-400	8	4	(	(	PUNCT
ejde-400	8	5	i	i	PRON
ejde-400	8	6	k	k	PROPN
ejde-400	8	7	∇+a	∇+a	PROPN
ejde-400	8	8	)	)	PUNCT
ejde-400	8	9	2	2	NUM
ejde-400	8	10	ψ	ψ	NOUN
ejde-400	8	11	+	+	X
ejde-400	8	12	εa(|ψ|2	εa(|ψ|2	X
ejde-400	8	13	−	−	PROPN
ejde-400	8	14	1)ψ	1)ψ	NUM
ejde-400	8	15	=	=	SYM
ejde-400	8	16	0	0	NUM
ejde-400	8	17	,	,	PUNCT
ejde-400	8	18	(	(	PUNCT
ejde-400	8	19	1.1	1.1	NUM
ejde-400	8	20	)	)	PUNCT
ejde-400	8	21	∂ta+∇φ+	∂ta+∇φ+	NOUN
ejde-400	8	22	curl2a+	curl2a+	NOUN
ejde-400	8	23	re	re	VERB
ejde-400	8	24	{	{	PUNCT
ejde-400	8	25	(	(	PUNCT
ejde-400	8	26	i	i	NOUN
ejde-400	8	27	k	k	PROPN
ejde-400	9	1	∇ψ	∇ψ	PROPN
ejde-400	9	2	+	+	NUM
ejde-400	9	3	ψa	ψa	X
ejde-400	9	4	)	)	PUNCT
ejde-400	9	5	ψ	ψ	NOUN
ejde-400	9	6	}	}	PUNCT
ejde-400	9	7	=	=	SYM
ejde-400	9	8	0	0	NUM
ejde-400	9	9	(	(	PUNCT
ejde-400	9	10	1.2	1.2	NUM
ejde-400	9	11	)	)	PUNCT
ejde-400	9	12	in	in	ADP
ejde-400	9	13	qt	qt	NOUN
ejde-400	9	14	:	:	PUNCT
ejde-400	9	15	=	=	SYM
ejde-400	9	16	(	(	PUNCT
ejde-400	9	17	0	0	NUM
ejde-400	9	18	,	,	PUNCT
ejde-400	9	19	t	t	NOUN
ejde-400	9	20	)	)	PUNCT
ejde-400	9	21	×	×	PROPN
ejde-400	9	22	ω	ω	PROPN
ejde-400	9	23	,	,	PUNCT
ejde-400	9	24	with	with	ADP
ejde-400	9	25	boundary	boundary	ADJ
ejde-400	9	26	and	and	CCONJ
ejde-400	9	27	initial	initial	ADJ
ejde-400	9	28	conditions	condition	NOUN
ejde-400	9	29	∇ψ	∇ψ	NOUN
ejde-400	9	30	·	·	PUNCT
ejde-400	9	31	ν	ν	X
ejde-400	9	32	=	=	SYM
ejde-400	9	33	0	0	PROPN
ejde-400	9	34	,	,	PUNCT
ejde-400	9	35	a	a	DET
ejde-400	9	36	·	·	PUNCT
ejde-400	9	37	ν	ν	NOUN
ejde-400	9	38	=	=	SYM
ejde-400	9	39	0	0	NUM
ejde-400	9	40	,	,	PUNCT
ejde-400	9	41	curla×	curla×	ADJ
ejde-400	9	42	ν	ν	NOUN
ejde-400	9	43	=	=	SYM
ejde-400	9	44	0	0	NUM
ejde-400	9	45	on	on	ADP
ejde-400	9	46	(	(	PUNCT
ejde-400	9	47	0	0	NUM
ejde-400	9	48	,	,	PUNCT
ejde-400	9	49	t	t	NOUN
ejde-400	9	50	)	)	PUNCT
ejde-400	9	51	×	×	PROPN
ejde-400	9	52	∂ω	∂ω	PROPN
ejde-400	9	53	,	,	PUNCT
ejde-400	9	54	(	(	PUNCT
ejde-400	9	55	1.3	1.3	NUM
ejde-400	9	56	)	)	PUNCT
ejde-400	9	57	(	(	PUNCT
ejde-400	9	58	ψ	ψ	NOUN
ejde-400	9	59	,	,	PUNCT
ejde-400	9	60	a)(x	a)(x	NOUN
ejde-400	9	61	,	,	PUNCT
ejde-400	9	62	0	0	NUM
ejde-400	9	63	)	)	PUNCT
ejde-400	9	64	=	=	SYM
ejde-400	9	65	(	(	PUNCT
ejde-400	9	66	ψ0	ψ0	PROPN
ejde-400	9	67	,	,	PUNCT
ejde-400	9	68	a0)(x	a0)(x	PROPN
ejde-400	9	69	)	)	PUNCT
ejde-400	9	70	in	in	ADP
ejde-400	9	71	ω	ω	PROPN
ejde-400	9	72	.	.	PUNCT
ejde-400	10	1	(	(	PUNCT
ejde-400	10	2	1.4	1.4	NUM
ejde-400	10	3	)	)	PUNCT
ejde-400	10	4	here	here	ADV
ejde-400	10	5	ω	ω	PROPN
ejde-400	10	6	⊂	⊂	PROPN
ejde-400	10	7	rd	rd	PROPN
ejde-400	10	8	is	be	AUX
ejde-400	10	9	a	a	DET
ejde-400	10	10	bounded	bounded	ADJ
ejde-400	10	11	domain	domain	NOUN
ejde-400	10	12	with	with	ADP
ejde-400	10	13	smooth	smooth	ADJ
ejde-400	10	14	boundary	boundary	ADJ
ejde-400	10	15	∂ω	∂ω	PROPN
ejde-400	10	16	,	,	PUNCT
ejde-400	10	17	ν	ν	PROPN
ejde-400	10	18	is	be	AUX
ejde-400	10	19	the	the	DET
ejde-400	10	20	outward	outward	ADJ
ejde-400	10	21	normal	normal	ADJ
ejde-400	10	22	to	to	ADP
ejde-400	10	23	∂ω	∂ω	PROPN
ejde-400	10	24	,	,	PUNCT
ejde-400	10	25	and	and	CCONJ
ejde-400	10	26	t	t	PROPN
ejde-400	10	27	is	be	AUX
ejde-400	10	28	any	any	DET
ejde-400	10	29	given	give	VERB
ejde-400	10	30	positive	positive	ADJ
ejde-400	10	31	constant	constant	NOUN
ejde-400	10	32	.	.	PUNCT
ejde-400	11	1	the	the	DET
ejde-400	11	2	unknowns	unknown	NOUN
ejde-400	11	3	ψ	ψ	PROPN
ejde-400	11	4	,	,	PUNCT
ejde-400	11	5	a	a	PRON
ejde-400	11	6	,	,	PUNCT
ejde-400	11	7	and	and	CCONJ
ejde-400	11	8	φ	φ	PROPN
ejde-400	11	9	are	be	AUX
ejde-400	11	10	c	c	NOUN
ejde-400	11	11	-	-	PUNCT
ejde-400	11	12	valued	value	VERB
ejde-400	11	13	,	,	PUNCT
ejde-400	11	14	rd	rd	NOUN
ejde-400	11	15	-	-	PUNCT
ejde-400	11	16	valued	value	VERB
ejde-400	11	17	,	,	PUNCT
ejde-400	11	18	and	and	CCONJ
ejde-400	11	19	r	r	X
ejde-400	11	20	-	-	PUNCT
ejde-400	11	21	valued	value	VERB
ejde-400	11	22	functions	function	NOUN
ejde-400	11	23	,	,	PUNCT
ejde-400	11	24	respectively	respectively	ADV
ejde-400	11	25	,	,	PUNCT
ejde-400	11	26	and	and	CCONJ
ejde-400	11	27	they	they	PRON
ejde-400	11	28	stand	stand	VERB
ejde-400	11	29	for	for	ADP
ejde-400	11	30	the	the	DET
ejde-400	11	31	order	order	NOUN
ejde-400	11	32	parameter	parameter	NOUN
ejde-400	11	33	,	,	PUNCT
ejde-400	11	34	the	the	DET
ejde-400	11	35	magnetic	magnetic	ADJ
ejde-400	11	36	potential	potential	NOUN
ejde-400	11	37	,	,	PUNCT
ejde-400	11	38	and	and	CCONJ
ejde-400	11	39	the	the	DET
ejde-400	11	40	electric	electric	ADJ
ejde-400	11	41	potential	potential	NOUN
ejde-400	11	42	,	,	PUNCT
ejde-400	11	43	respectively	respectively	ADV
ejde-400	11	44	.	.	PUNCT
ejde-400	12	1	η	η	PROPN
ejde-400	12	2	and	and	CCONJ
ejde-400	12	3	k	k	PROPN
ejde-400	12	4	are	be	AUX
ejde-400	12	5	ginzburg	ginzburg	NOUN
ejde-400	12	6	-	-	PUNCT
ejde-400	12	7	landau	landau	NOUN
ejde-400	12	8	positive	positive	ADJ
ejde-400	12	9	constants	constant	NOUN
ejde-400	12	10	.	.	PUNCT
ejde-400	13	1	ψ	ψ	NOUN
ejde-400	13	2	denotes	denote	VERB
ejde-400	13	3	the	the	DET
ejde-400	13	4	complex	complex	ADJ
ejde-400	13	5	conjugate	conjugate	NOUN
ejde-400	13	6	of	of	ADP
ejde-400	13	7	ψ	ψ	NOUN
ejde-400	13	8	,	,	PUNCT
ejde-400	13	9	reψ	reψ	NOUN
ejde-400	13	10	:	:	PUNCT
ejde-400	13	11	=	=	SYM
ejde-400	13	12	(	(	PUNCT
ejde-400	13	13	ψ+ψ)/2	ψ+ψ)/2	PROPN
ejde-400	13	14	,	,	PUNCT
ejde-400	13	15	|ψ|2	|ψ|2	PROPN
ejde-400	13	16	:	:	PUNCT
ejde-400	13	17	=	=	SYM
ejde-400	13	18	ψψ	ψψ	PROPN
ejde-400	13	19	is	be	AUX
ejde-400	13	20	the	the	DET
ejde-400	13	21	density	density	NOUN
ejde-400	13	22	of	of	ADP
ejde-400	13	23	superconducting	superconducte	VERB
ejde-400	13	24	carriers	carrier	NOUN
ejde-400	13	25	,	,	PUNCT
ejde-400	13	26	and	and	CCONJ
ejde-400	13	27	i	i	PRON
ejde-400	13	28	:	:	PUNCT
ejde-400	13	29	=	=	NOUN
ejde-400	13	30	√	√	NUM
ejde-400	13	31	−1	−1	NOUN
ejde-400	13	32	.	.	PUNCT
ejde-400	14	1	ε	ε	PROPN
ejde-400	14	2	is	be	AUX
ejde-400	14	3	a	a	DET
ejde-400	14	4	positive	positive	ADJ
ejde-400	14	5	constant	constant	NOUN
ejde-400	14	6	.	.	PUNCT
ejde-400	15	1	we	we	PRON
ejde-400	15	2	will	will	AUX
ejde-400	15	3	assume	assume	VERB
ejde-400	15	4	a	a	DET
ejde-400	15	5	=	=	NOUN
ejde-400	15	6	1	1	X
ejde-400	15	7	.	.	PUNCT
ejde-400	16	1	it	it	PRON
ejde-400	16	2	is	be	AUX
ejde-400	16	3	well	well	ADV
ejde-400	16	4	known	know	VERB
ejde-400	16	5	that	that	SCONJ
ejde-400	16	6	the	the	DET
ejde-400	16	7	ginzburg	ginzburg	NOUN
ejde-400	16	8	-	-	PUNCT
ejde-400	16	9	landau	landau	NOUN
ejde-400	16	10	equations	equation	NOUN
ejde-400	16	11	are	be	AUX
ejde-400	16	12	gauge	gauge	ADJ
ejde-400	16	13	invariant	invariant	ADJ
ejde-400	16	14	,	,	PUNCT
ejde-400	16	15	namely	namely	ADV
ejde-400	16	16	if	if	SCONJ
ejde-400	16	17	(	(	PUNCT
ejde-400	16	18	ψ	ψ	NOUN
ejde-400	16	19	,	,	PUNCT
ejde-400	16	20	a	a	DET
ejde-400	16	21	,	,	PUNCT
ejde-400	16	22	φ	φ	NUM
ejde-400	16	23	)	)	PUNCT
ejde-400	16	24	is	be	AUX
ejde-400	16	25	a	a	DET
ejde-400	16	26	solution	solution	NOUN
ejde-400	16	27	of	of	ADP
ejde-400	16	28	(	(	PUNCT
ejde-400	16	29	1.1)-(1.4	1.1)-(1.4	NUM
ejde-400	16	30	)	)	PUNCT
ejde-400	16	31	,	,	PUNCT
ejde-400	16	32	then	then	ADV
ejde-400	16	33	for	for	ADP
ejde-400	16	34	any	any	DET
ejde-400	16	35	real	real	ADV
ejde-400	16	36	-	-	PUNCT
ejde-400	16	37	valued	value	VERB
ejde-400	16	38	smooth	smooth	ADJ
ejde-400	16	39	function	function	NOUN
ejde-400	16	40	χ	χ	ADP
ejde-400	16	41	,	,	PUNCT
ejde-400	16	42	(	(	PUNCT
ejde-400	16	43	ψeikχ	ψeikχ	NOUN
ejde-400	16	44	,	,	PUNCT
ejde-400	16	45	a	a	DET
ejde-400	16	46	+	+	NOUN
ejde-400	16	47	∇χ	∇χ	ADJ
ejde-400	16	48	,	,	PUNCT
ejde-400	16	49	φ	φ	NOUN
ejde-400	16	50	−	−	PROPN
ejde-400	17	1	∂tχ	∂tχ	PROPN
ejde-400	17	2	)	)	PUNCT
ejde-400	17	3	is	be	AUX
ejde-400	17	4	also	also	ADV
ejde-400	17	5	a	a	DET
ejde-400	17	6	solution	solution	NOUN
ejde-400	17	7	of	of	ADP
ejde-400	17	8	(	(	PUNCT
ejde-400	17	9	1.1)-(1.4	1.1)-(1.4	NUM
ejde-400	17	10	)	)	PUNCT
ejde-400	17	11	.	.	PUNCT
ejde-400	18	1	so	so	ADV
ejde-400	18	2	,	,	PUNCT
ejde-400	18	3	in	in	ADP
ejde-400	18	4	order	order	NOUN
ejde-400	18	5	to	to	PART
ejde-400	18	6	obtain	obtain	VERB
ejde-400	18	7	the	the	DET
ejde-400	18	8	well	well	NOUN
ejde-400	18	9	-	-	PUNCT
ejde-400	18	10	posedness	posedness	NOUN
ejde-400	18	11	of	of	ADP
ejde-400	18	12	the	the	DET
ejde-400	18	13	problem	problem	NOUN
ejde-400	18	14	,	,	PUNCT
ejde-400	18	15	we	we	PRON
ejde-400	18	16	need	need	VERB
ejde-400	18	17	to	to	PART
ejde-400	18	18	impose	impose	VERB
ejde-400	18	19	suitable	suitable	ADJ
ejde-400	18	20	gauge	gauge	NOUN
ejde-400	18	21	condition	condition	NOUN
ejde-400	18	22	.	.	PUNCT
ejde-400	19	1	from	from	ADP
ejde-400	19	2	the	the	DET
ejde-400	19	3	physical	physical	ADJ
ejde-400	19	4	point	point	NOUN
ejde-400	19	5	of	of	ADP
ejde-400	19	6	view	view	NOUN
ejde-400	19	7	,	,	PUNCT
ejde-400	19	8	one	one	PRON
ejde-400	19	9	usually	usually	ADV
ejde-400	19	10	has	have	VERB
ejde-400	19	11	four	four	NUM
ejde-400	19	12	types	type	NOUN
ejde-400	19	13	of	of	ADP
ejde-400	19	14	the	the	DET
ejde-400	19	15	gauge	gauge	ADJ
ejde-400	19	16	conditions	condition	NOUN
ejde-400	19	17	:	:	PUNCT
ejde-400	19	18	•	•	NUM
ejde-400	19	19	coulomb	coulomb	NOUN
ejde-400	19	20	gauge	gauge	NOUN
ejde-400	19	21	:	:	PUNCT
ejde-400	19	22	diva	diva	NOUN
ejde-400	19	23	=	=	PUNCT
ejde-400	19	24	0	0	NUM
ejde-400	20	1	in	in	ADP
ejde-400	20	2	ω	ω	PROPN
ejde-400	20	3	and	and	CCONJ
ejde-400	20	4	∫	∫	PROPN
ejde-400	20	5	ω	ω	NUM
ejde-400	20	6	φdx	φdx	NOUN
ejde-400	20	7	=	=	SYM
ejde-400	20	8	0	0	PROPN
ejde-400	20	9	.	.	NOUN
ejde-400	20	10	•	•	NUM
ejde-400	20	11	lorentz	lorentz	PROPN
ejde-400	20	12	gauge	gauge	NOUN
ejde-400	20	13	:	:	PUNCT
ejde-400	20	14	φ	φ	PROPN
ejde-400	20	15	=	=	PUNCT
ejde-400	20	16	−diva	−diva	PROPN
ejde-400	20	17	in	in	ADP
ejde-400	20	18	ω	ω	PROPN
ejde-400	20	19	.	.	PROPN
ejde-400	20	20	•	•	NUM
ejde-400	20	21	lorenz	lorenz	PROPN
ejde-400	20	22	gauge	gauge	NOUN
ejde-400	20	23	:	:	PUNCT
ejde-400	21	1	∂tφ	∂tφ	NOUN
ejde-400	21	2	=	=	PUNCT
ejde-400	21	3	−diva	−diva	PROPN
ejde-400	21	4	in	in	ADP
ejde-400	21	5	ω	ω	PROPN
ejde-400	21	6	.	.	PROPN
ejde-400	21	7	•	•	ADP
ejde-400	21	8	temporal	temporal	ADJ
ejde-400	21	9	gauge(weyl	gauge(weyl	PROPN
ejde-400	21	10	gauge	gauge	NOUN
ejde-400	21	11	):	):	PUNCT
ejde-400	21	12	φ	φ	PROPN
ejde-400	21	13	=	=	SYM
ejde-400	21	14	0	0	NUM
ejde-400	21	15	in	in	ADP
ejde-400	21	16	ω	ω	PROPN
ejde-400	21	17	.	.	PROPN
ejde-400	21	18	2010	2010	NUM
ejde-400	21	19	mathematics	mathematic	NOUN
ejde-400	21	20	subject	subject	NOUN
ejde-400	21	21	classification	classification	NOUN
ejde-400	21	22	.	.	PUNCT
ejde-400	22	1	35q35	35q35	NUM
ejde-400	22	2	,	,	PUNCT
ejde-400	22	3	35k55	35k55	NUM
ejde-400	22	4	.	.	PUNCT
ejde-400	23	1	key	key	ADJ
ejde-400	23	2	words	word	NOUN
ejde-400	23	3	and	and	CCONJ
ejde-400	23	4	phrases	phrase	NOUN
ejde-400	23	5	.	.	PUNCT
ejde-400	24	1	ginzburg	ginzburg	NOUN
ejde-400	24	2	-	-	PUNCT
ejde-400	24	3	landau	landau	NOUN
ejde-400	24	4	model	model	NOUN
ejde-400	24	5	;	;	PUNCT
ejde-400	24	6	superconductivity	superconductivity	NOUN
ejde-400	24	7	;	;	PUNCT
ejde-400	24	8	coulomb	coulomb	NOUN
ejde-400	24	9	gauge	gauge	NOUN
ejde-400	24	10	.	.	PUNCT
ejde-400	25	1	c	c	X
ejde-400	25	2	©	©	PROPN
ejde-400	25	3	2020	2020	NUM
ejde-400	25	4	texas	texas	PROPN
ejde-400	25	5	state	state	PROPN
ejde-400	25	6	university	university	PROPN
ejde-400	25	7	.	.	PUNCT
ejde-400	26	1	submitted	submit	VERB
ejde-400	26	2	december	december	PROPN
ejde-400	26	3	6	6	NUM
ejde-400	26	4	,	,	PUNCT
ejde-400	26	5	2019	2019	NUM
ejde-400	26	6	.	.	PUNCT
ejde-400	27	1	published	publish	VERB
ejde-400	27	2	february	february	PROPN
ejde-400	27	3	11	11	NUM
ejde-400	27	4	,	,	PUNCT
ejde-400	27	5	2020	2020	NUM
ejde-400	27	6	.	.	PUNCT
ejde-400	28	1	1	1	NUM
ejde-400	28	2	2	2	NUM
ejde-400	28	3	j.	j.	PROPN
ejde-400	28	4	fan	fan	PROPN
ejde-400	28	5	,	,	PUNCT
ejde-400	28	6	y.	y.	PROPN
ejde-400	28	7	zhou	zhou	PROPN
ejde-400	28	8	ejde-2020/17	ejde-2020/17	NOUN
ejde-400	28	9	for	for	ADP
ejde-400	28	10	the	the	DET
ejde-400	28	11	initial	initial	ADJ
ejde-400	28	12	data	datum	NOUN
ejde-400	28	13	ψ0	ψ0	PROPN
ejde-400	28	14	∈	∈	PROPN
ejde-400	28	15	h1(ω	h1(ω	PROPN
ejde-400	28	16	)	)	PUNCT
ejde-400	28	17	,	,	PUNCT
ejde-400	28	18	|ψ0|	|ψ0|	VERB
ejde-400	28	19	≤	≤	NOUN
ejde-400	28	20	1	1	NUM
ejde-400	28	21	,	,	PUNCT
ejde-400	28	22	a0	a0	PROPN
ejde-400	28	23	∈	∈	PROPN
ejde-400	28	24	h1(ω	h1(ω	PROPN
ejde-400	28	25	)	)	PUNCT
ejde-400	28	26	,	,	PUNCT
ejde-400	28	27	chen	chen	PROPN
ejde-400	28	28	,	,	PUNCT
ejde-400	28	29	elliott	elliott	PROPN
ejde-400	28	30	and	and	CCONJ
ejde-400	28	31	tang	tang	PROPN
ejde-400	29	1	[	[	X
ejde-400	29	2	3	3	NUM
ejde-400	29	3	]	]	PUNCT
ejde-400	29	4	,	,	PUNCT
ejde-400	29	5	chen	chen	PROPN
ejde-400	29	6	,	,	PUNCT
ejde-400	29	7	hoffmann	hoffmann	PROPN
ejde-400	29	8	and	and	CCONJ
ejde-400	29	9	liang	liang	PROPN
ejde-400	30	1	[	[	X
ejde-400	30	2	4	4	NUM
ejde-400	30	3	]	]	PUNCT
ejde-400	30	4	,	,	PUNCT
ejde-400	30	5	du	du	PROPN
ejde-400	31	1	[	[	X
ejde-400	31	2	5	5	NUM
ejde-400	31	3	]	]	PUNCT
ejde-400	31	4	and	and	CCONJ
ejde-400	31	5	tang	tang	NOUN
ejde-400	31	6	[	[	X
ejde-400	31	7	11	11	NUM
ejde-400	31	8	]	]	PUNCT
ejde-400	31	9	proved	prove	VERB
ejde-400	31	10	the	the	DET
ejde-400	31	11	existence	existence	NOUN
ejde-400	31	12	and	and	CCONJ
ejde-400	31	13	uniqueness	uniqueness	NOUN
ejde-400	31	14	of	of	ADP
ejde-400	31	15	a	a	DET
ejde-400	31	16	global	global	ADJ
ejde-400	31	17	strong	strong	ADJ
ejde-400	31	18	solution	solution	NOUN
ejde-400	31	19	to	to	ADP
ejde-400	31	20	(	(	PUNCT
ejde-400	31	21	1.1)-(1.4	1.1)-(1.4	NUM
ejde-400	31	22	)	)	PUNCT
ejde-400	31	23	,	,	PUNCT
ejde-400	31	24	in	in	ADP
ejde-400	31	25	the	the	DET
ejde-400	31	26	case	case	NOUN
ejde-400	31	27	of	of	ADP
ejde-400	31	28	the	the	DET
ejde-400	31	29	coulomb	coulomb	NOUN
ejde-400	31	30	,	,	PUNCT
ejde-400	31	31	lorentz	lorentz	PROPN
ejde-400	31	32	,	,	PUNCT
ejde-400	31	33	and	and	CCONJ
ejde-400	31	34	temporal	temporal	ADJ
ejde-400	31	35	gauges	gauge	NOUN
ejde-400	31	36	.	.	PUNCT
ejde-400	32	1	for	for	ADP
ejde-400	32	2	the	the	DET
ejde-400	32	3	initial	initial	ADJ
ejde-400	32	4	data	datum	NOUN
ejde-400	32	5	ψ0	ψ0	PROPN
ejde-400	32	6	∈	∈	PROPN
ejde-400	32	7	h1(ω	h1(ω	PROPN
ejde-400	32	8	)	)	PUNCT
ejde-400	32	9	,	,	PUNCT
ejde-400	32	10	a0	a0	PROPN
ejde-400	32	11	∈	∈	PROPN
ejde-400	32	12	h1(ω	h1(ω	PROPN
ejde-400	32	13	)	)	PUNCT
ejde-400	32	14	,	,	PUNCT
ejde-400	32	15	tang	tang	NOUN
ejde-400	32	16	and	and	CCONJ
ejde-400	32	17	wang	wang	PROPN
ejde-400	33	1	[	[	X
ejde-400	33	2	12	12	NUM
ejde-400	33	3	]	]	PUNCT
ejde-400	33	4	obtained	obtain	VERB
ejde-400	33	5	the	the	DET
ejde-400	33	6	existence	existence	NOUN
ejde-400	33	7	and	and	CCONJ
ejde-400	33	8	uniqueness	uniqueness	NOUN
ejde-400	33	9	of	of	ADP
ejde-400	33	10	global	global	ADJ
ejde-400	33	11	strong	strong	ADJ
ejde-400	33	12	solutions	solution	NOUN
ejde-400	33	13	,	,	PUNCT
ejde-400	33	14	while	while	SCONJ
ejde-400	33	15	fan	fan	PROPN
ejde-400	33	16	and	and	CCONJ
ejde-400	33	17	jiang	jiang	PROPN
ejde-400	34	1	[	[	X
ejde-400	34	2	8	8	NUM
ejde-400	34	3	]	]	PUNCT
ejde-400	34	4	showed	show	VERB
ejde-400	34	5	the	the	DET
ejde-400	34	6	existence	existence	NOUN
ejde-400	34	7	of	of	ADP
ejde-400	34	8	global	global	ADJ
ejde-400	34	9	weak	weak	ADJ
ejde-400	34	10	solutions	solution	NOUN
ejde-400	34	11	when	when	SCONJ
ejde-400	34	12	ψ0	ψ0	PROPN
ejde-400	34	13	,	,	PUNCT
ejde-400	34	14	a0	a0	PROPN
ejde-400	34	15	∈	∈	PROPN
ejde-400	34	16	l2	l2	NOUN
ejde-400	34	17	.	.	PUNCT
ejde-400	35	1	fan	fan	NOUN
ejde-400	35	2	and	and	CCONJ
ejde-400	35	3	ozawa	ozawa	PROPN
ejde-400	36	1	[	[	X
ejde-400	36	2	9	9	NUM
ejde-400	36	3	]	]	SYM
ejde-400	36	4	(	(	PUNCT
ejde-400	36	5	2	2	NUM
ejde-400	36	6	-	-	SYM
ejde-400	36	7	d	d	NOUN
ejde-400	36	8	)	)	PUNCT
ejde-400	36	9	and	and	CCONJ
ejde-400	36	10	fan	fan	PROPN
ejde-400	36	11	,	,	PUNCT
ejde-400	36	12	gao	gao	PROPN
ejde-400	36	13	and	and	CCONJ
ejde-400	36	14	guo	guo	PROPN
ejde-400	37	1	[	[	X
ejde-400	37	2	7	7	NUM
ejde-400	37	3	,	,	PUNCT
ejde-400	37	4	6	6	NUM
ejde-400	37	5	]	]	PUNCT
ejde-400	37	6	(	(	PUNCT
ejde-400	37	7	3	3	NUM
ejde-400	37	8	-	-	SYM
ejde-400	37	9	d	d	NOUN
ejde-400	37	10	)	)	PUNCT
ejde-400	37	11	prove	prove	VERB
ejde-400	37	12	the	the	DET
ejde-400	37	13	uniqueness	uniqueness	NOUN
ejde-400	37	14	of	of	ADP
ejde-400	37	15	a	a	DET
ejde-400	37	16	weak	weak	ADJ
ejde-400	37	17	solution	solution	NOUN
ejde-400	37	18	for	for	ADP
ejde-400	37	19	ψ0	ψ0	PROPN
ejde-400	37	20	,	,	PUNCT
ejde-400	37	21	a0	a0	PROPN
ejde-400	37	22	∈	∈	PROPN
ejde-400	37	23	ld	ld	PROPN
ejde-400	37	24	with	with	ADP
ejde-400	37	25	d	d	PROPN
ejde-400	37	26	=	=	SYM
ejde-400	37	27	2	2	NUM
ejde-400	37	28	,	,	PUNCT
ejde-400	37	29	3	3	NUM
ejde-400	37	30	,	,	PUNCT
ejde-400	37	31	which	which	PRON
ejde-400	37	32	is	be	AUX
ejde-400	37	33	critical	critical	ADJ
ejde-400	37	34	.	.	PUNCT
ejde-400	38	1	this	this	PRON
ejde-400	38	2	comes	come	VERB
ejde-400	38	3	from	from	ADP
ejde-400	38	4	a	a	DET
ejde-400	38	5	scaling	scaling	ADJ
ejde-400	38	6	argument	argument	NOUN
ejde-400	38	7	for	for	ADP
ejde-400	38	8	(	(	PUNCT
ejde-400	38	9	1.1	1.1	NUM
ejde-400	38	10	)	)	PUNCT
ejde-400	38	11	and	and	CCONJ
ejde-400	38	12	(	(	PUNCT
ejde-400	38	13	1.2	1.2	NUM
ejde-400	38	14	)	)	PUNCT
ejde-400	38	15	.	.	PUNCT
ejde-400	39	1	move	move	VERB
ejde-400	39	2	precisely	precisely	ADV
ejde-400	39	3	,	,	PUNCT
ejde-400	39	4	if	if	SCONJ
ejde-400	39	5	(	(	PUNCT
ejde-400	39	6	ψ(t	ψ(t	PROPN
ejde-400	39	7	,	,	PUNCT
ejde-400	39	8	x	x	NOUN
ejde-400	39	9	)	)	PUNCT
ejde-400	39	10	,	,	PUNCT
ejde-400	39	11	a(t	a(t	NOUN
ejde-400	39	12	,	,	PUNCT
ejde-400	39	13	x	x	NOUN
ejde-400	39	14	)	)	PUNCT
ejde-400	39	15	,	,	PUNCT
ejde-400	39	16	φ(t	φ(t	PROPN
ejde-400	39	17	,	,	PUNCT
ejde-400	39	18	x	x	NOUN
ejde-400	39	19	)	)	PUNCT
ejde-400	39	20	)	)	PUNCT
ejde-400	39	21	is	be	AUX
ejde-400	39	22	a	a	DET
ejde-400	39	23	solution	solution	NOUN
ejde-400	39	24	of	of	ADP
ejde-400	39	25	(	(	PUNCT
ejde-400	39	26	1.1	1.1	NUM
ejde-400	39	27	)	)	PUNCT
ejde-400	39	28	and	and	CCONJ
ejde-400	39	29	(	(	PUNCT
ejde-400	39	30	1.2	1.2	NUM
ejde-400	39	31	)	)	PUNCT
ejde-400	39	32	associated	associate	VERB
ejde-400	39	33	with	with	ADP
ejde-400	39	34	the	the	DET
ejde-400	39	35	initial	initial	ADJ
ejde-400	39	36	data	datum	NOUN
ejde-400	39	37	(	(	PUNCT
ejde-400	39	38	ψ0(x	ψ0(x	NOUN
ejde-400	39	39	)	)	PUNCT
ejde-400	39	40	,	,	PUNCT
ejde-400	39	41	a0(x	a0(x	NOUN
ejde-400	39	42	)	)	PUNCT
ejde-400	39	43	)	)	PUNCT
ejde-400	39	44	without	without	ADP
ejde-400	39	45	linear	linear	PROPN
ejde-400	39	46	lower	low	ADJ
ejde-400	39	47	order	order	NOUN
ejde-400	39	48	term	term	NOUN
ejde-400	39	49	ψ	ψ	NOUN
ejde-400	39	50	,	,	PUNCT
ejde-400	39	51	then	then	ADV
ejde-400	39	52	(	(	PUNCT
ejde-400	39	53	λψ(λ2	λψ(λ2	PROPN
ejde-400	39	54	t	t	PROPN
ejde-400	39	55	,	,	PUNCT
ejde-400	39	56	λx	λx	PROPN
ejde-400	39	57	)	)	PUNCT
ejde-400	39	58	,	,	PUNCT
ejde-400	40	1	λa(λ2	λa(λ2	VERB
ejde-400	40	2	t	t	PROPN
ejde-400	40	3	,	,	PUNCT
ejde-400	40	4	λx	λx	PROPN
ejde-400	40	5	)	)	PUNCT
ejde-400	40	6	,	,	PUNCT
ejde-400	40	7	λ2φ(λ2	λ2φ(λ2	PROPN
ejde-400	40	8	t	t	PROPN
ejde-400	40	9	,	,	PUNCT
ejde-400	40	10	λx	λx	NOUN
ejde-400	40	11	)	)	PUNCT
ejde-400	40	12	)	)	PUNCT
ejde-400	41	1	=	=	NOUN
ejde-400	41	2	:	:	PUNCT
ejde-400	41	3	(	(	PUNCT
ejde-400	41	4	ψλ	ψλ	ADP
ejde-400	41	5	,	,	PUNCT
ejde-400	41	6	aλ	aλ	PROPN
ejde-400	41	7	,	,	PUNCT
ejde-400	41	8	φλ	φλ	ADP
ejde-400	41	9	)	)	PUNCT
ejde-400	41	10	(	(	PUNCT
ejde-400	41	11	1.5	1.5	NUM
ejde-400	41	12	)	)	PUNCT
ejde-400	41	13	is	be	AUX
ejde-400	41	14	also	also	ADV
ejde-400	41	15	a	a	DET
ejde-400	41	16	solution	solution	NOUN
ejde-400	41	17	for	for	ADP
ejde-400	41	18	any	any	DET
ejde-400	41	19	λ	λ	PROPN
ejde-400	41	20	>	>	X
ejde-400	41	21	0	0	NUM
ejde-400	41	22	.	.	PUNCT
ejde-400	42	1	a	a	DET
ejde-400	42	2	banach	banach	NOUN
ejde-400	42	3	space	space	NOUN
ejde-400	42	4	b	b	PROPN
ejde-400	42	5	of	of	ADP
ejde-400	42	6	distributions	distribution	NOUN
ejde-400	42	7	on	on	ADP
ejde-400	42	8	r×rd	r×rd	X
ejde-400	42	9	is	be	AUX
ejde-400	42	10	a	a	DET
ejde-400	42	11	critical	critical	ADJ
ejde-400	42	12	space	space	NOUN
ejde-400	42	13	if	if	SCONJ
ejde-400	42	14	its	its	PRON
ejde-400	42	15	norm	norm	NOUN
ejde-400	42	16	verifies	verifie	NOUN
ejde-400	42	17	for	for	ADP
ejde-400	42	18	any	any	DET
ejde-400	42	19	λ	λ	PROPN
ejde-400	42	20	and	and	CCONJ
ejde-400	42	21	any	any	DET
ejde-400	42	22	u	u	PROPN
ejde-400	42	23	∈	∈	PROPN
ejde-400	42	24	b	b	PROPN
ejde-400	42	25	,	,	PUNCT
ejde-400	42	26	‖u‖b	‖u‖b	ADJ
ejde-400	42	27	=	=	SYM
ejde-400	42	28	‖λu(λ2	‖λu(λ2	NOUN
ejde-400	42	29	·	·	PUNCT
ejde-400	42	30	,	,	PUNCT
ejde-400	42	31	λ·)‖b	λ·)‖b	PROPN
ejde-400	42	32	.	.	PUNCT
ejde-400	43	1	if	if	SCONJ
ejde-400	43	2	we	we	PRON
ejde-400	43	3	choose	choose	VERB
ejde-400	43	4	b	b	NOUN
ejde-400	43	5	as	as	ADP
ejde-400	43	6	lr(0,∞;lp(rd	lr(0,∞;lp(rd	PROPN
ejde-400	43	7	)	)	PUNCT
ejde-400	43	8	)	)	PUNCT
ejde-400	43	9	,	,	PUNCT
ejde-400	43	10	then	then	ADV
ejde-400	43	11	(	(	PUNCT
ejde-400	43	12	r	r	X
ejde-400	43	13	,	,	PUNCT
ejde-400	43	14	p	p	NOUN
ejde-400	43	15	)	)	PUNCT
ejde-400	43	16	should	should	AUX
ejde-400	43	17	satisfy	satisfy	VERB
ejde-400	43	18	2	2	NUM
ejde-400	43	19	r	r	NOUN
ejde-400	43	20	+	+	NOUN
ejde-400	44	1	d	d	NOUN
ejde-400	44	2	p	p	NOUN
ejde-400	44	3	=	=	NOUN
ejde-400	44	4	1	1	X
ejde-400	44	5	.	.	PUNCT
ejde-400	45	1	in	in	ADP
ejde-400	45	2	this	this	DET
ejde-400	45	3	article	article	NOUN
ejde-400	45	4	,	,	PUNCT
ejde-400	45	5	we	we	PRON
ejde-400	45	6	will	will	AUX
ejde-400	45	7	choose	choose	VERB
ejde-400	45	8	the	the	DET
ejde-400	45	9	coulomb	coulomb	NOUN
ejde-400	45	10	gauge	gauge	NOUN
ejde-400	45	11	.	.	PUNCT
ejde-400	46	1	first	first	ADV
ejde-400	46	2	,	,	PUNCT
ejde-400	46	3	we	we	PRON
ejde-400	46	4	will	will	AUX
ejde-400	46	5	prove	prove	VERB
ejde-400	46	6	the	the	DET
ejde-400	46	7	following	follow	VERB
ejde-400	46	8	theorem	theorem	VERB
ejde-400	46	9	.	.	PUNCT
ejde-400	46	10	theorem	theorem	VERB
ejde-400	46	11	1.1	1.1	NUM
ejde-400	46	12	.	.	PUNCT
ejde-400	47	1	let	let	VERB
ejde-400	47	2	d	d	NOUN
ejde-400	47	3	=	=	SYM
ejde-400	47	4	3	3	NUM
ejde-400	47	5	and	and	CCONJ
ejde-400	47	6	0	0	NUM
ejde-400	47	7	<	<	X
ejde-400	47	8	ε	ε	X
ejde-400	47	9	<	<	X
ejde-400	47	10	1	1	NUM
ejde-400	47	11	.	.	PUNCT
ejde-400	48	1	let	let	VERB
ejde-400	48	2	ψ0	ψ0	PROPN
ejde-400	48	3	∈	∈	PROPN
ejde-400	48	4	h1	h1	PROPN
ejde-400	48	5	,	,	PUNCT
ejde-400	48	6	|ψ0|	|ψ0|	NOUN
ejde-400	48	7	≤	≤	NOUN
ejde-400	48	8	1	1	NUM
ejde-400	48	9	and	and	CCONJ
ejde-400	48	10	a0	a0	PROPN
ejde-400	48	11	∈	∈	PROPN
ejde-400	48	12	h1	h1	PROPN
ejde-400	48	13	.	.	PUNCT
ejde-400	49	1	then	then	ADV
ejde-400	49	2	the	the	DET
ejde-400	49	3	solution	solution	NOUN
ejde-400	49	4	(	(	PUNCT
ejde-400	49	5	ψ	ψ	NOUN
ejde-400	49	6	,	,	PUNCT
ejde-400	49	7	a	a	DET
ejde-400	49	8	,	,	PUNCT
ejde-400	49	9	φ	φ	NOUN
ejde-400	49	10	)	)	PUNCT
ejde-400	49	11	satisfies	satisfy	VERB
ejde-400	49	12	|ψ|	|ψ|	NOUN
ejde-400	49	13	≤	≤	NOUN
ejde-400	49	14	1	1	NUM
ejde-400	49	15	,	,	PUNCT
ejde-400	49	16	‖ψ‖l∞(0,t	‖ψ‖l∞(0,t	NOUN
ejde-400	49	17	;	;	PUNCT
ejde-400	49	18	h1	h1	PROPN
ejde-400	49	19	)	)	PUNCT
ejde-400	50	1	+	+	NUM
ejde-400	50	2	‖ψ‖l2(0,t	‖ψ‖l2(0,t	NOUN
ejde-400	50	3	;	;	PUNCT
ejde-400	50	4	h2	h2	PROPN
ejde-400	50	5	)	)	PUNCT
ejde-400	51	1	+	+	NUM
ejde-400	51	2	‖∂tψ‖l2(0,t	‖∂tψ‖l2(0,t	NOUN
ejde-400	51	3	;	;	PUNCT
ejde-400	51	4	l2	l2	NOUN
ejde-400	51	5	)	)	PUNCT
ejde-400	51	6	≤	≤	NOUN
ejde-400	52	1	c	c	X
ejde-400	52	2	,	,	PUNCT
ejde-400	52	3	‖a‖l∞(0,t	‖a‖l∞(0,t	ADJ
ejde-400	52	4	;	;	PUNCT
ejde-400	52	5	h1	h1	PROPN
ejde-400	52	6	)	)	PUNCT
ejde-400	53	1	+	+	CCONJ
ejde-400	53	2	‖a‖l2(0,t	‖a‖l2(0,t	NOUN
ejde-400	53	3	;	;	PUNCT
ejde-400	53	4	h2	h2	NOUN
ejde-400	53	5	)	)	PUNCT
ejde-400	54	1	+	+	NUM
ejde-400	54	2	‖∂ta‖l2(0,t	‖∂ta‖l2(0,t	NOUN
ejde-400	54	3	;	;	PUNCT
ejde-400	54	4	l2	l2	NOUN
ejde-400	54	5	)	)	PUNCT
ejde-400	54	6	≤	≤	NOUN
ejde-400	55	1	c	c	X
ejde-400	55	2	,	,	PUNCT
ejde-400	55	3	‖φ‖l2(0,t	‖φ‖l2(0,t	PROPN
ejde-400	55	4	;	;	PUNCT
ejde-400	55	5	h1	h1	PROPN
ejde-400	55	6	)	)	PUNCT
ejde-400	55	7	≤	≤	PROPN
ejde-400	55	8	c	c	X
ejde-400	55	9	(	(	PUNCT
ejde-400	55	10	1.6	1.6	NUM
ejde-400	55	11	)	)	PUNCT
ejde-400	55	12	for	for	ADP
ejde-400	55	13	any	any	DET
ejde-400	55	14	0	0	PUNCT
ejde-400	55	15	<	<	X
ejde-400	55	16	t	t	X
ejde-400	55	17	<	<	X
ejde-400	55	18	∞.	∞.	PROPN
ejde-400	55	19	here	here	ADV
ejde-400	55	20	and	and	CCONJ
ejde-400	55	21	later	later	ADV
ejde-400	55	22	c	c	PROPN
ejde-400	55	23	will	will	AUX
ejde-400	55	24	denote	denote	VERB
ejde-400	55	25	a	a	DET
ejde-400	55	26	positive	positive	ADJ
ejde-400	55	27	constant	constant	ADJ
ejde-400	55	28	independent	independent	NOUN
ejde-400	55	29	of	of	ADP
ejde-400	55	30	ε	ε	PROPN
ejde-400	55	31	.	.	PUNCT
ejde-400	55	32	theorem	theorem	VERB
ejde-400	55	33	1.2	1.2	NUM
ejde-400	55	34	.	.	PUNCT
ejde-400	56	1	let	let	VERB
ejde-400	56	2	d	d	NOUN
ejde-400	56	3	=	=	SYM
ejde-400	56	4	3	3	NUM
ejde-400	56	5	and	and	CCONJ
ejde-400	56	6	0	0	NUM
ejde-400	57	1	≤	≤	NUM
ejde-400	57	2	ε	ε	PROPN
ejde-400	57	3	≤	≤	ADJ
ejde-400	57	4	1	1	NUM
ejde-400	57	5	and	and	CCONJ
ejde-400	57	6	ψ0	ψ0	ADV
ejde-400	57	7	,	,	PUNCT
ejde-400	57	8	a0	a0	PROPN
ejde-400	57	9	∈	∈	PROPN
ejde-400	57	10	l3(ω	l3(ω	PROPN
ejde-400	57	11	)	)	PUNCT
ejde-400	57	12	.	.	PUNCT
ejde-400	58	1	then	then	ADV
ejde-400	58	2	the	the	DET
ejde-400	58	3	problem	problem	NOUN
ejde-400	58	4	(	(	PUNCT
ejde-400	58	5	1.1)-(1.4	1.1)-(1.4	NUM
ejde-400	58	6	)	)	PUNCT
ejde-400	58	7	has	have	VERB
ejde-400	58	8	a	a	DET
ejde-400	58	9	unique	unique	ADJ
ejde-400	58	10	solution	solution	NOUN
ejde-400	58	11	(	(	PUNCT
ejde-400	58	12	ψ	ψ	NOUN
ejde-400	58	13	,	,	PUNCT
ejde-400	58	14	a	a	PRON
ejde-400	58	15	,	,	PUNCT
ejde-400	58	16	φ	φ	NOUN
ejde-400	58	17	)	)	PUNCT
ejde-400	58	18	satisfying	satisfy	VERB
ejde-400	58	19	‖ψ‖l∞(0,t	‖ψ‖l∞(0,t	NOUN
ejde-400	58	20	;	;	PUNCT
ejde-400	58	21	l3	l3	PROPN
ejde-400	58	22	)	)	PUNCT
ejde-400	59	1	+	+	CCONJ
ejde-400	59	2	‖ψ‖l5(0,t	‖ψ‖l5(0,t	ADJ
ejde-400	59	3	;	;	PUNCT
ejde-400	59	4	l5	l5	PROPN
ejde-400	59	5	)	)	PUNCT
ejde-400	60	1	+	+	NUM
ejde-400	60	2	‖ψ‖l2(0,t	‖ψ‖l2(0,t	NOUN
ejde-400	60	3	;	;	PUNCT
ejde-400	60	4	h1	h1	PROPN
ejde-400	60	5	)	)	PUNCT
ejde-400	61	1	+	+	CCONJ
ejde-400	61	2	‖|ψ|3/2‖l2(0,t	‖|ψ|3/2‖l2(0,t	NUM
ejde-400	61	3	;	;	PUNCT
ejde-400	61	4	h1	h1	PROPN
ejde-400	61	5	)	)	PUNCT
ejde-400	61	6	≤	≤	NOUN
ejde-400	62	1	c	c	NOUN
ejde-400	62	2	,	,	PUNCT
ejde-400	62	3	‖∂tψ‖l2(0,t	‖∂tψ‖l2(0,t	NOUN
ejde-400	62	4	;	;	PUNCT
ejde-400	63	1	h−1	h−1	X
ejde-400	63	2	)	)	PUNCT
ejde-400	63	3	≤	≤	NOUN
ejde-400	64	1	c	c	X
ejde-400	64	2	,	,	PUNCT
ejde-400	64	3	‖a‖l∞(0,t	‖a‖l∞(0,t	PROPN
ejde-400	64	4	;	;	PUNCT
ejde-400	64	5	l3	l3	PROPN
ejde-400	64	6	)	)	PUNCT
ejde-400	64	7	+	+	CCONJ
ejde-400	64	8	‖a‖l5(0,t	‖a‖l5(0,t	ADJ
ejde-400	64	9	;	;	PUNCT
ejde-400	64	10	l5	l5	X
ejde-400	64	11	)	)	PUNCT
ejde-400	64	12	+	+	CCONJ
ejde-400	64	13	‖a‖l2(0,t	‖a‖l2(0,t	NOUN
ejde-400	64	14	;	;	PUNCT
ejde-400	64	15	h1	h1	PROPN
ejde-400	64	16	)	)	PUNCT
ejde-400	65	1	+	+	CCONJ
ejde-400	65	2	‖|a|3/2‖l2(0,t	‖|a|3/2‖l2(0,t	NOUN
ejde-400	65	3	;	;	PUNCT
ejde-400	65	4	h1	h1	PROPN
ejde-400	65	5	)	)	PUNCT
ejde-400	65	6	≤	≤	NOUN
ejde-400	66	1	c	c	NOUN
ejde-400	66	2	,	,	PUNCT
ejde-400	66	3	‖∂ta‖l2(0,t	‖∂ta‖l2(0,t	NOUN
ejde-400	66	4	;	;	PUNCT
ejde-400	66	5	h−1	h−1	X
ejde-400	66	6	)	)	PUNCT
ejde-400	66	7	≤	≤	PUNCT
ejde-400	67	1	c	c	X
ejde-400	67	2	,	,	PUNCT
ejde-400	67	3	‖∇φ‖l5/3(0,t	‖∇φ‖l5/3(0,t	NOUN
ejde-400	67	4	;	;	PUNCT
ejde-400	67	5	l5/3	l5/3	ADJ
ejde-400	67	6	)	)	PUNCT
ejde-400	67	7	≤	≤	PROPN
ejde-400	67	8	c	c	NOUN
ejde-400	67	9	(	(	PUNCT
ejde-400	67	10	1.7	1.7	NUM
ejde-400	67	11	)	)	PUNCT
ejde-400	67	12	for	for	ADP
ejde-400	67	13	any	any	DET
ejde-400	67	14	t	t	PROPN
ejde-400	67	15	>	>	X
ejde-400	67	16	0	0	X
ejde-400	67	17	.	.	PUNCT
ejde-400	67	18	remark	remark	PROPN
ejde-400	67	19	1.3	1.3	NUM
ejde-400	67	20	.	.	PUNCT
ejde-400	68	1	when	when	SCONJ
ejde-400	68	2	a	a	DET
ejde-400	68	3	=	=	NOUN
ejde-400	68	4	−1	−1	NOUN
ejde-400	68	5	,	,	PUNCT
ejde-400	68	6	we	we	PRON
ejde-400	68	7	are	be	AUX
ejde-400	68	8	unable	unable	ADJ
ejde-400	68	9	to	to	PART
ejde-400	68	10	prove	prove	VERB
ejde-400	68	11	a	a	DET
ejde-400	68	12	similar	similar	ADJ
ejde-400	68	13	result	result	NOUN
ejde-400	68	14	at	at	ADP
ejde-400	68	15	present	present	NOUN
ejde-400	68	16	.	.	PUNCT
ejde-400	69	1	our	our	PRON
ejde-400	69	2	results	result	NOUN
ejde-400	69	3	also	also	ADV
ejde-400	69	4	hold	hold	VERB
ejde-400	69	5	true	true	ADJ
ejde-400	69	6	with	with	ADP
ejde-400	69	7	the	the	DET
ejde-400	69	8	choice	choice	NOUN
ejde-400	69	9	of	of	ADP
ejde-400	69	10	lorentz	lorentz	PROPN
ejde-400	69	11	gauge	gauge	NOUN
ejde-400	69	12	.	.	PUNCT
ejde-400	70	1	in	in	ADP
ejde-400	70	2	our	our	PRON
ejde-400	70	3	proofs	proof	NOUN
ejde-400	70	4	,	,	PUNCT
ejde-400	70	5	we	we	PRON
ejde-400	70	6	will	will	AUX
ejde-400	70	7	use	use	VERB
ejde-400	70	8	the	the	DET
ejde-400	70	9	following	follow	VERB
ejde-400	70	10	lemmas	lemmas	NOUN
ejde-400	70	11	.	.	PUNCT
ejde-400	71	1	lemma	lemma	PROPN
ejde-400	71	2	1.4	1.4	NUM
ejde-400	71	3	(	(	PUNCT
ejde-400	71	4	[	[	X
ejde-400	71	5	1	1	NUM
ejde-400	71	6	,	,	PUNCT
ejde-400	71	7	10	10	NUM
ejde-400	71	8	]	]	PUNCT
ejde-400	71	9	)	)	PUNCT
ejde-400	71	10	.	.	PUNCT
ejde-400	72	1	let	let	VERB
ejde-400	72	2	ω	ω	PRON
ejde-400	72	3	be	be	AUX
ejde-400	72	4	a	a	DET
ejde-400	72	5	smooth	smooth	ADJ
ejde-400	72	6	and	and	CCONJ
ejde-400	72	7	bounded	bound	VERB
ejde-400	72	8	open	open	ADJ
ejde-400	72	9	set	set	NOUN
ejde-400	72	10	in	in	ADP
ejde-400	72	11	r3	r3	PROPN
ejde-400	72	12	.	.	PUNCT
ejde-400	73	1	then	then	ADV
ejde-400	73	2	there	there	PRON
ejde-400	73	3	exists	exist	VERB
ejde-400	73	4	c	c	NOUN
ejde-400	73	5	>	>	X
ejde-400	73	6	0	0	NUM
ejde-400	73	7	such	such	ADJ
ejde-400	73	8	that	that	PRON
ejde-400	73	9	‖f‖lp(∂ω	‖f‖lp(∂ω	PROPN
ejde-400	73	10	)	)	PUNCT
ejde-400	73	11	≤	≤	PUNCT
ejde-400	74	1	c‖f‖	c‖f‖	PROPN
ejde-400	74	2	1−	1−	NUM
ejde-400	74	3	1	1	NUM
ejde-400	74	4	p	p	NOUN
ejde-400	74	5	lp(ω)‖f‖	lp(ω)‖f‖	ADV
ejde-400	74	6	1	1	NUM
ejde-400	74	7	/	/	SYM
ejde-400	74	8	p	p	X
ejde-400	74	9	w	w	NOUN
ejde-400	74	10	1,p(ω	1,p(ω	NUM
ejde-400	74	11	)	)	PUNCT
ejde-400	74	12	(	(	PUNCT
ejde-400	74	13	1.8	1.8	NUM
ejde-400	74	14	)	)	PUNCT
ejde-400	74	15	ejde-2020/17	ejde-2020/17	VERB
ejde-400	74	16	ginzburg	ginzburg	NOUN
ejde-400	74	17	-	-	PUNCT
ejde-400	74	18	landau	landau	NOUN
ejde-400	74	19	system	system	NOUN
ejde-400	74	20	for	for	ADP
ejde-400	74	21	superconductivity	superconductivity	NOUN
ejde-400	74	22	3	3	NUM
ejde-400	74	23	for	for	ADP
ejde-400	74	24	any	any	DET
ejde-400	74	25	1	1	NUM
ejde-400	74	26	<	<	X
ejde-400	74	27	p	p	X
ejde-400	74	28	<	<	X
ejde-400	74	29	∞	∞	PROPN
ejde-400	74	30	and	and	CCONJ
ejde-400	74	31	f	f	NOUN
ejde-400	74	32	:	:	PUNCT
ejde-400	74	33	ω→	ω→	PUNCT
ejde-400	74	34	r3	r3	PROPN
ejde-400	74	35	be	be	VERB
ejde-400	74	36	in	in	ADP
ejde-400	74	37	w	w	PROPN
ejde-400	74	38	1,p(ω	1,p(ω	NUM
ejde-400	74	39	)	)	PUNCT
ejde-400	74	40	.	.	PUNCT
ejde-400	75	1	lemma	lemma	PROPN
ejde-400	75	2	1.5	1.5	NUM
ejde-400	75	3	(	(	PUNCT
ejde-400	75	4	[	[	X
ejde-400	75	5	2	2	NUM
ejde-400	75	6	]	]	PUNCT
ejde-400	75	7	)	)	PUNCT
ejde-400	75	8	.	.	PUNCT
ejde-400	76	1	let	let	VERB
ejde-400	76	2	ω	ω	NOUN
ejde-400	76	3	be	be	AUX
ejde-400	76	4	a	a	DET
ejde-400	76	5	regular	regular	ADJ
ejde-400	76	6	bounded	bounded	ADJ
ejde-400	76	7	domain	domain	NOUN
ejde-400	76	8	in	in	ADP
ejde-400	76	9	r3	r3	PROPN
ejde-400	76	10	,	,	PUNCT
ejde-400	76	11	let	let	VERB
ejde-400	76	12	f	f	PRON
ejde-400	76	13	:	:	PUNCT
ejde-400	76	14	ω	ω	PROPN
ejde-400	76	15	→	→	SYM
ejde-400	76	16	r3	r3	PROPN
ejde-400	76	17	be	be	AUX
ejde-400	76	18	a	a	DET
ejde-400	76	19	smooth	smooth	ADJ
ejde-400	76	20	enough	enough	ADJ
ejde-400	76	21	vector	vector	NOUN
ejde-400	76	22	field	field	NOUN
ejde-400	76	23	,	,	PUNCT
ejde-400	76	24	and	and	CCONJ
ejde-400	76	25	let	let	VERB
ejde-400	76	26	1	1	NUM
ejde-400	76	27	<	<	X
ejde-400	76	28	p	p	X
ejde-400	76	29	<	<	X
ejde-400	76	30	∞.	∞.	PROPN
ejde-400	76	31	then	then	ADV
ejde-400	76	32	−	−	PROPN
ejde-400	76	33	∫	∫	PROPN
ejde-400	77	1	ω	ω	PROPN
ejde-400	77	2	∆f	∆f	PROPN
ejde-400	77	3	·	·	PUNCT
ejde-400	77	4	f	f	PROPN
ejde-400	77	5	|f	|f	PROPN
ejde-400	78	1	|p−2	|p−2	PROPN
ejde-400	78	2	dx	dx	PROPN
ejde-400	79	1	=	=	SYM
ejde-400	79	2	∫	∫	PROPN
ejde-400	79	3	ω	ω	PROPN
ejde-400	79	4	|f	|f	PROPN
ejde-400	79	5	|p−2|∇f	|p−2|∇f	PROPN
ejde-400	79	6	|2	|2	NUM
ejde-400	79	7	dx+	dx+	NOUN
ejde-400	79	8	4(p−	4(p−	NUM
ejde-400	79	9	2	2	NUM
ejde-400	79	10	)	)	PUNCT
ejde-400	79	11	p2	p2	PROPN
ejde-400	79	12	∫	∫	PROPN
ejde-400	79	13	ω	ω	PROPN
ejde-400	79	14	|∇|f	|∇|f	PROPN
ejde-400	80	1	|	|	ADV
ejde-400	80	2	p	p	X
ejde-400	80	3	2	2	NUM
ejde-400	80	4	|2	|2	NUM
ejde-400	80	5	dx−	dx−	NUM
ejde-400	80	6	∫	∫	PROPN
ejde-400	81	1	∂ω	∂ω	PROPN
ejde-400	81	2	|f	|f	PROPN
ejde-400	81	3	|p−2(ν	|p−2(ν	PROPN
ejde-400	81	4	·	·	PUNCT
ejde-400	81	5	∇)f	∇)f	PROPN
ejde-400	81	6	·	·	PUNCT
ejde-400	81	7	f	f	X
ejde-400	81	8	ds	ds	PROPN
ejde-400	81	9	.	.	PUNCT
ejde-400	82	1	(	(	PUNCT
ejde-400	82	2	1.9	1.9	NUM
ejde-400	82	3	)	)	PUNCT
ejde-400	82	4	lemma	lemma	PROPN
ejde-400	82	5	1.6	1.6	NUM
ejde-400	82	6	(	(	PUNCT
ejde-400	82	7	[	[	X
ejde-400	82	8	8	8	NUM
ejde-400	82	9	]	]	NUM
ejde-400	82	10	)	)	PUNCT
ejde-400	82	11	.	.	PUNCT
ejde-400	83	1	∇φ	∇φ	PROPN
ejde-400	83	2	∈	∈	PROPN
ejde-400	83	3	l5/3(0	l5/3(0	PROPN
ejde-400	83	4	,	,	PUNCT
ejde-400	83	5	t	t	PROPN
ejde-400	83	6	;	;	PUNCT
ejde-400	83	7	l5/3	l5/3	ADJ
ejde-400	83	8	)	)	PUNCT
ejde-400	83	9	satisfies	satisfie	NOUN
ejde-400	83	10	−∆φ	−∆φ	X
ejde-400	84	1	=	=	X
ejde-400	84	2	div	div	X
ejde-400	84	3	re	re	X
ejde-400	84	4	{	{	PUNCT
ejde-400	84	5	(	(	PUNCT
ejde-400	84	6	i	i	NOUN
ejde-400	84	7	k	k	PROPN
ejde-400	85	1	∇ψ	∇ψ	PROPN
ejde-400	85	2	+	+	NUM
ejde-400	85	3	ψa	ψa	X
ejde-400	85	4	)	)	PUNCT
ejde-400	85	5	ψ	ψ	NOUN
ejde-400	85	6	}	}	PUNCT
ejde-400	85	7	in	in	ADP
ejde-400	85	8	ω×	ω×	PROPN
ejde-400	85	9	(	(	PUNCT
ejde-400	85	10	0	0	NUM
ejde-400	85	11	,	,	PUNCT
ejde-400	85	12	t	t	NOUN
ejde-400	85	13	)	)	PUNCT
ejde-400	85	14	,	,	PUNCT
ejde-400	85	15	(	(	PUNCT
ejde-400	85	16	1.10	1.10	NUM
ejde-400	85	17	)	)	PUNCT
ejde-400	85	18	∇φ	∇φ	ADJ
ejde-400	85	19	·	·	PUNCT
ejde-400	85	20	ν	ν	X
ejde-400	85	21	=	=	SYM
ejde-400	85	22	0	0	NUM
ejde-400	85	23	on	on	ADP
ejde-400	85	24	(	(	PUNCT
ejde-400	85	25	0	0	NUM
ejde-400	85	26	,	,	PUNCT
ejde-400	85	27	t	t	NOUN
ejde-400	85	28	)	)	PUNCT
ejde-400	85	29	×	×	PROPN
ejde-400	85	30	∂ω	∂ω	PROPN
ejde-400	85	31	.	.	PUNCT
ejde-400	86	1	(	(	PUNCT
ejde-400	86	2	1.11	1.11	NUM
ejde-400	86	3	)	)	PUNCT
ejde-400	86	4	2	2	NUM
ejde-400	86	5	.	.	X
ejde-400	86	6	proof	proof	NOUN
ejde-400	86	7	of	of	ADP
ejde-400	86	8	theorem	theorem	ADJ
ejde-400	86	9	1.1	1.1	NUM
ejde-400	86	10	we	we	PRON
ejde-400	86	11	only	only	ADV
ejde-400	86	12	need	need	VERB
ejde-400	86	13	to	to	PART
ejde-400	86	14	show	show	VERB
ejde-400	86	15	the	the	DET
ejde-400	86	16	a	a	DET
ejde-400	86	17	priori	priori	ADJ
ejde-400	86	18	estimates	estimate	NOUN
ejde-400	86	19	(	(	PUNCT
ejde-400	86	20	1.6	1.6	NUM
ejde-400	86	21	)	)	PUNCT
ejde-400	86	22	.	.	PUNCT
ejde-400	87	1	it	it	PRON
ejde-400	87	2	is	be	AUX
ejde-400	87	3	easy	easy	ADJ
ejde-400	87	4	to	to	PART
ejde-400	87	5	show	show	VERB
ejde-400	87	6	that	that	SCONJ
ejde-400	87	7	(	(	PUNCT
ejde-400	87	8	see	see	VERB
ejde-400	87	9	[	[	X
ejde-400	87	10	3	3	NUM
ejde-400	87	11	,	,	PUNCT
ejde-400	87	12	4	4	NUM
ejde-400	87	13	,	,	PUNCT
ejde-400	87	14	5	5	NUM
ejde-400	87	15	,	,	PUNCT
ejde-400	87	16	11	11	NUM
ejde-400	87	17	]	]	PUNCT
ejde-400	87	18	)	)	PUNCT
ejde-400	87	19	|ψ|	|ψ|	NOUN
ejde-400	87	20	≤	≤	ADJ
ejde-400	87	21	1	1	NUM
ejde-400	87	22	in	in	ADP
ejde-400	87	23	ω×	ω×	PROPN
ejde-400	87	24	(	(	PUNCT
ejde-400	87	25	0	0	NUM
ejde-400	87	26	,	,	PUNCT
ejde-400	87	27	t	t	NOUN
ejde-400	87	28	)	)	PUNCT
ejde-400	87	29	.	.	PUNCT
ejde-400	88	1	(	(	PUNCT
ejde-400	88	2	2.1	2.1	NUM
ejde-400	88	3	)	)	PUNCT
ejde-400	88	4	testing	testing	NOUN
ejde-400	88	5	(	(	PUNCT
ejde-400	88	6	1.1	1.1	NUM
ejde-400	88	7	)	)	PUNCT
ejde-400	88	8	by	by	ADP
ejde-400	88	9	ψ	ψ	NOUN
ejde-400	88	10	and	and	CCONJ
ejde-400	88	11	taking	take	VERB
ejde-400	88	12	the	the	DET
ejde-400	88	13	real	real	ADJ
ejde-400	88	14	parts	part	NOUN
ejde-400	88	15	,	,	PUNCT
ejde-400	88	16	we	we	PRON
ejde-400	88	17	see	see	VERB
ejde-400	88	18	that	that	SCONJ
ejde-400	88	19	η	η	PROPN
ejde-400	88	20	2	2	PROPN
ejde-400	88	21	d	d	PROPN
ejde-400	88	22	dt	dt	X
ejde-400	88	23	∫	∫	PROPN
ejde-400	88	24	|ψ|2	|ψ|2	PROPN
ejde-400	88	25	dx+	dx+	PROPN
ejde-400	88	26	∫	∫	PROPN
ejde-400	89	1	∣∣	∣∣	NUM
ejde-400	89	2	i	i	NOUN
ejde-400	89	3	k	k	X
ejde-400	90	1	∇ψ	∇ψ	PROPN
ejde-400	90	2	+	+	NUM
ejde-400	90	3	ψa	ψa	DET
ejde-400	90	4	∣∣2	∣∣2	PROPN
ejde-400	90	5	dx+	dx+	NOUN
ejde-400	90	6	ε	ε	PROPN
ejde-400	90	7	∫	∫	PROPN
ejde-400	90	8	|ψ|4	|ψ|4	PROPN
ejde-400	90	9	dx	dx	PROPN
ejde-400	90	10	=	=	SYM
ejde-400	90	11	ε	ε	PROPN
ejde-400	90	12	∫	∫	PROPN
ejde-400	90	13	|ψ|2	|ψ|2	PROPN
ejde-400	90	14	dx	dx	PROPN
ejde-400	90	15	,	,	PUNCT
ejde-400	90	16	which	which	PRON
ejde-400	90	17	gives	give	VERB
ejde-400	90	18	∫	∫	PROPN
ejde-400	90	19	t	t	PROPN
ejde-400	90	20	0	0	NUM
ejde-400	90	21	∫	∫	PROPN
ejde-400	90	22	∣∣	∣∣	NUM
ejde-400	91	1	i	i	NOUN
ejde-400	91	2	k	k	X
ejde-400	92	1	∇ψ	∇ψ	PROPN
ejde-400	92	2	+	+	NUM
ejde-400	92	3	ψa	ψa	PRON
ejde-400	92	4	∣∣2	∣∣2	PROPN
ejde-400	92	5	dxdt	dxdt	NOUN
ejde-400	92	6	≤	≤	PROPN
ejde-400	92	7	c.	c.	NOUN
ejde-400	92	8	(	(	PUNCT
ejde-400	92	9	2.2	2.2	NUM
ejde-400	92	10	)	)	PUNCT
ejde-400	92	11	testing	testing	NOUN
ejde-400	92	12	(	(	PUNCT
ejde-400	92	13	1.2	1.2	NUM
ejde-400	92	14	)	)	PUNCT
ejde-400	92	15	by	by	ADP
ejde-400	92	16	∂ta+	∂ta+	ADJ
ejde-400	92	17	curl2a	curl2a	NOUN
ejde-400	92	18	,	,	PUNCT
ejde-400	92	19	using	use	VERB
ejde-400	92	20	(	(	PUNCT
ejde-400	92	21	2.1	2.1	NUM
ejde-400	92	22	)	)	PUNCT
ejde-400	92	23	,	,	PUNCT
ejde-400	92	24	(	(	PUNCT
ejde-400	92	25	2.2	2.2	NUM
ejde-400	92	26	)	)	PUNCT
ejde-400	92	27	and	and	CCONJ
ejde-400	92	28	(	(	PUNCT
ejde-400	92	29	1.11	1.11	NUM
ejde-400	92	30	)	)	PUNCT
ejde-400	92	31	,	,	PUNCT
ejde-400	92	32	we	we	PRON
ejde-400	92	33	find	find	VERB
ejde-400	92	34	that	that	SCONJ
ejde-400	92	35	d	d	NOUN
ejde-400	92	36	dt	dt	X
ejde-400	92	37	∫	∫	PROPN
ejde-400	92	38	|	|	ADV
ejde-400	92	39	curla|2	curla|2	PROPN
ejde-400	92	40	dx+	dx+	PROPN
ejde-400	92	41	∫	∫	PROPN
ejde-400	92	42	(	(	PUNCT
ejde-400	92	43	|∂ta|2	|∂ta|2	PROPN
ejde-400	92	44	+	+	PROPN
ejde-400	92	45	|	|	ADV
ejde-400	92	46	curl2a|2	curl2a|2	NOUN
ejde-400	92	47	)	)	PUNCT
ejde-400	92	48	dx	dx	PROPN
ejde-400	92	49	≤	≤	NUM
ejde-400	92	50	∫	∫	PROPN
ejde-400	93	1	∣∣	∣∣	NUM
ejde-400	94	1	i	i	NOUN
ejde-400	94	2	k	k	X
ejde-400	95	1	∇ψ	∇ψ	PROPN
ejde-400	95	2	+	+	CCONJ
ejde-400	95	3	ψa	ψa	ADP
ejde-400	95	4	∣∣	∣∣	NOUN
ejde-400	95	5	|∂ta+	|∂ta+	X
ejde-400	95	6	curl2a|dx	curl2a|dx	VERB
ejde-400	95	7	≤	≤	NUM
ejde-400	95	8	1	1	NUM
ejde-400	95	9	2	2	NUM
ejde-400	95	10	∫	∫	NOUN
ejde-400	95	11	(	(	PUNCT
ejde-400	95	12	|∂ta|2	|∂ta|2	PROPN
ejde-400	95	13	+	+	CCONJ
ejde-400	95	14	|	|	ADV
ejde-400	95	15	curl2a|2	curl2a|2	ADJ
ejde-400	95	16	)	)	PUNCT
ejde-400	95	17	dx+	dx+	NOUN
ejde-400	95	18	c	c	PROPN
ejde-400	95	19	∫	∫	PROPN
ejde-400	96	1	∣∣	∣∣	NUM
ejde-400	97	1	i	i	NOUN
ejde-400	97	2	k	k	X
ejde-400	98	1	∇ψ	∇ψ	PROPN
ejde-400	98	2	+	+	CCONJ
ejde-400	98	3	ψa	ψa	ADJ
ejde-400	98	4	∣∣2	∣∣2	PROPN
ejde-400	98	5	dx	dx	PROPN
ejde-400	98	6	,	,	PUNCT
ejde-400	98	7	which	which	PRON
ejde-400	98	8	leads	lead	VERB
ejde-400	98	9	to	to	ADP
ejde-400	98	10	‖a‖l∞(0,t	‖a‖l∞(0,t	PROPN
ejde-400	98	11	;	;	PUNCT
ejde-400	98	12	h1	h1	PROPN
ejde-400	98	13	)	)	PUNCT
ejde-400	99	1	+	+	CCONJ
ejde-400	99	2	‖a‖l2(0,t	‖a‖l2(0,t	NOUN
ejde-400	99	3	;	;	PUNCT
ejde-400	99	4	h2	h2	NOUN
ejde-400	99	5	)	)	PUNCT
ejde-400	100	1	+	+	NUM
ejde-400	100	2	‖∂ta‖l2(0,t	‖∂ta‖l2(0,t	NOUN
ejde-400	100	3	;	;	PUNCT
ejde-400	100	4	l2	l2	NOUN
ejde-400	100	5	)	)	PUNCT
ejde-400	100	6	≤	≤	NOUN
ejde-400	101	1	c	c	X
ejde-400	101	2	,	,	PUNCT
ejde-400	101	3	(	(	PUNCT
ejde-400	101	4	2.3	2.3	NUM
ejde-400	101	5	)	)	PUNCT
ejde-400	101	6	whence	whence	NOUN
ejde-400	101	7	‖φ‖l2(0,t	‖φ‖l2(0,t	PROPN
ejde-400	101	8	;	;	PUNCT
ejde-400	101	9	h1	h1	PROPN
ejde-400	101	10	)	)	PUNCT
ejde-400	101	11	≤	≤	NOUN
ejde-400	101	12	c.	c.	NOUN
ejde-400	101	13	(	(	PUNCT
ejde-400	101	14	2.4	2.4	NUM
ejde-400	101	15	)	)	PUNCT
ejde-400	101	16	multiplying	multiplying	NOUN
ejde-400	101	17	(	(	PUNCT
ejde-400	101	18	1.1	1.1	NUM
ejde-400	101	19	)	)	PUNCT
ejde-400	101	20	by	by	ADP
ejde-400	101	21	−∆ψ	−∆ψ	NOUN
ejde-400	101	22	,	,	PUNCT
ejde-400	101	23	integrating	integrate	VERB
ejde-400	101	24	by	by	ADP
ejde-400	101	25	parts	part	NOUN
ejde-400	101	26	and	and	CCONJ
ejde-400	101	27	taking	take	VERB
ejde-400	101	28	the	the	DET
ejde-400	101	29	real	real	ADJ
ejde-400	101	30	part	part	NOUN
ejde-400	101	31	,	,	PUNCT
ejde-400	101	32	using	use	VERB
ejde-400	101	33	(	(	PUNCT
ejde-400	101	34	2.1	2.1	NUM
ejde-400	101	35	)	)	PUNCT
ejde-400	101	36	,	,	PUNCT
ejde-400	101	37	(	(	PUNCT
ejde-400	101	38	2.3	2.3	NUM
ejde-400	101	39	)	)	PUNCT
ejde-400	101	40	and	and	CCONJ
ejde-400	101	41	(	(	PUNCT
ejde-400	101	42	2.4	2.4	NUM
ejde-400	101	43	)	)	PUNCT
ejde-400	101	44	,	,	PUNCT
ejde-400	101	45	we	we	PRON
ejde-400	101	46	obtain	obtain	VERB
ejde-400	101	47	η	η	SYM
ejde-400	101	48	2	2	NUM
ejde-400	101	49	d	d	PROPN
ejde-400	101	50	dt	dt	X
ejde-400	102	1	∫	∫	PROPN
ejde-400	102	2	|∇ψ|2	|∇ψ|2	X
ejde-400	102	3	dx+	dx+	NOUN
ejde-400	102	4	1	1	NUM
ejde-400	102	5	k2	k2	PROPN
ejde-400	102	6	∫	∫	PROPN
ejde-400	102	7	|∆ψ|2	|∆ψ|2	PROPN
ejde-400	102	8	dx	dx	PROPN
ejde-400	102	9	≤	≤	PROPN
ejde-400	102	10	∣∣re	∣∣re	PROPN
ejde-400	102	11	∫	∫	PROPN
ejde-400	102	12	iηkφψ	iηkφψ	PROPN
ejde-400	102	13	·	·	PUNCT
ejde-400	102	14	∆ψ	∆ψ	PROPN
ejde-400	102	15	dx	dx	PROPN
ejde-400	102	16	∣∣+	∣∣+	PROPN
ejde-400	102	17	2	2	NUM
ejde-400	102	18	∣∣re	∣∣re	NOUN
ejde-400	102	19	1	1	NUM
ejde-400	102	20	k	k	NOUN
ejde-400	102	21	∫	∫	PROPN
ejde-400	102	22	ia∇ψ	ia∇ψ	PROPN
ejde-400	102	23	·	·	PUNCT
ejde-400	102	24	∆ψ	∆ψ	PROPN
ejde-400	102	25	dx	dx	X
ejde-400	102	26	∣∣	∣∣	X
ejde-400	102	27	+	+	CCONJ
ejde-400	102	28	re	re	VERB
ejde-400	102	29	∫	∫	PROPN
ejde-400	102	30	a2ψ∆ψ	a2ψ∆ψ	VERB
ejde-400	102	31	dx+	dx+	ADJ
ejde-400	102	32	εre	εre	PROPN
ejde-400	102	33	∫	∫	PROPN
ejde-400	102	34	(	(	PUNCT
ejde-400	102	35	|ψ|2	|ψ|2	PROPN
ejde-400	102	36	−	−	PROPN
ejde-400	102	37	1)ψ	1)ψ	NUM
ejde-400	102	38	·	·	PUNCT
ejde-400	103	1	∆ψ	∆ψ	PROPN
ejde-400	103	2	dx	dx	PROPN
ejde-400	103	3	≤	≤	NUM
ejde-400	103	4	1	1	NUM
ejde-400	103	5	2	2	NUM
ejde-400	103	6	1	1	NUM
ejde-400	103	7	k2	k2	PROPN
ejde-400	103	8	∫	∫	PROPN
ejde-400	103	9	|∆ψ|2	|∆ψ|2	PROPN
ejde-400	103	10	dx+	dx+	NOUN
ejde-400	103	11	c	c	PROPN
ejde-400	103	12	∫	∫	PROPN
ejde-400	103	13	|∇φ||∇ψ|dx	|∇φ||∇ψ|dx	PROPN
ejde-400	103	14	4	4	NUM
ejde-400	103	15	j.	j.	PROPN
ejde-400	103	16	fan	fan	PROPN
ejde-400	103	17	,	,	PUNCT
ejde-400	103	18	y.	y.	PROPN
ejde-400	103	19	zhou	zhou	PROPN
ejde-400	103	20	ejde-2020/17	ejde-2020/17	PROPN
ejde-400	103	21	+	+	CCONJ
ejde-400	103	22	c‖a‖2l∞‖∇ψ‖2l2	c‖a‖2l∞‖∇ψ‖2l2	PROPN
ejde-400	104	1	+	+	CCONJ
ejde-400	104	2	c‖a‖l∞‖∇a‖l2‖∇ψ‖l2	c‖a‖l∞‖∇a‖l2‖∇ψ‖l2	PROPN
ejde-400	104	3	+	+	CCONJ
ejde-400	104	4	c‖∇ψ‖2l2	c‖∇ψ‖2l2	INTJ
ejde-400	104	5	,	,	PUNCT
ejde-400	104	6	which	which	PRON
ejde-400	104	7	yields	yield	VERB
ejde-400	104	8	‖ψ‖l∞(0,t	‖ψ‖l∞(0,t	PROPN
ejde-400	104	9	;	;	PUNCT
ejde-400	104	10	h1	h1	PROPN
ejde-400	104	11	)	)	PUNCT
ejde-400	105	1	+	+	NUM
ejde-400	105	2	‖ψ‖l2(0,t	‖ψ‖l2(0,t	NOUN
ejde-400	105	3	;	;	PUNCT
ejde-400	105	4	h2	h2	PROPN
ejde-400	105	5	)	)	PUNCT
ejde-400	105	6	≤	≤	NOUN
ejde-400	105	7	c.	c.	NOUN
ejde-400	105	8	(	(	PUNCT
ejde-400	105	9	2.5	2.5	NUM
ejde-400	105	10	)	)	PUNCT
ejde-400	105	11	whence	whence	NOUN
ejde-400	105	12	‖∂tψ‖l2(0,t	‖∂tψ‖l2(0,t	NOUN
ejde-400	105	13	;	;	PUNCT
ejde-400	105	14	l2	l2	NOUN
ejde-400	105	15	)	)	PUNCT
ejde-400	105	16	≤	≤	NOUN
ejde-400	105	17	c.	c.	NOUN
ejde-400	105	18	(	(	PUNCT
ejde-400	105	19	2.6	2.6	NUM
ejde-400	105	20	)	)	PUNCT
ejde-400	105	21	this	this	PRON
ejde-400	105	22	completes	complete	VERB
ejde-400	105	23	the	the	DET
ejde-400	105	24	proof	proof	NOUN
ejde-400	105	25	.	.	PUNCT
ejde-400	106	1	3	3	X
ejde-400	106	2	.	.	X
ejde-400	106	3	proof	proof	NOUN
ejde-400	106	4	of	of	ADP
ejde-400	106	5	theorem	theorem	ADJ
ejde-400	106	6	1.2	1.2	NUM
ejde-400	106	7	to	to	PART
ejde-400	106	8	prove	prove	VERB
ejde-400	106	9	the	the	DET
ejde-400	106	10	existence	existence	NOUN
ejde-400	106	11	,	,	PUNCT
ejde-400	106	12	we	we	PRON
ejde-400	106	13	only	only	ADV
ejde-400	106	14	need	need	VERB
ejde-400	106	15	to	to	PART
ejde-400	106	16	prove	prove	VERB
ejde-400	106	17	(	(	PUNCT
ejde-400	106	18	1.7	1.7	NUM
ejde-400	106	19	)	)	PUNCT
ejde-400	106	20	.	.	PUNCT
ejde-400	107	1	first	first	ADV
ejde-400	107	2	,	,	PUNCT
ejde-400	107	3	we	we	PRON
ejde-400	107	4	still	still	ADV
ejde-400	107	5	have	have	VERB
ejde-400	107	6	(	(	PUNCT
ejde-400	107	7	2.2	2.2	NUM
ejde-400	107	8	)	)	PUNCT
ejde-400	107	9	.	.	PUNCT
ejde-400	108	1	multiplying	multiply	VERB
ejde-400	108	2	(	(	PUNCT
ejde-400	108	3	1.1	1.1	NUM
ejde-400	108	4	)	)	PUNCT
ejde-400	108	5	by	by	ADP
ejde-400	108	6	|ψ|ψ	|ψ|ψ	NOUN
ejde-400	108	7	,	,	PUNCT
ejde-400	108	8	integrating	integrate	VERB
ejde-400	108	9	by	by	ADP
ejde-400	108	10	parts	part	NOUN
ejde-400	108	11	,	,	PUNCT
ejde-400	108	12	and	and	CCONJ
ejde-400	108	13	then	then	ADV
ejde-400	108	14	taking	take	VERB
ejde-400	108	15	the	the	DET
ejde-400	108	16	real	real	ADJ
ejde-400	108	17	part	part	NOUN
ejde-400	108	18	,	,	PUNCT
ejde-400	108	19	we	we	PRON
ejde-400	108	20	obtain	obtain	VERB
ejde-400	108	21	η	η	X
ejde-400	108	22	3	3	NUM
ejde-400	108	23	d	d	PROPN
ejde-400	108	24	dt	dt	X
ejde-400	108	25	∫	∫	PROPN
ejde-400	108	26	|ψ|3	|ψ|3	PROPN
ejde-400	108	27	dx+	dx+	NOUN
ejde-400	108	28	∫	∫	PROPN
ejde-400	108	29	∣∣	∣∣	NUM
ejde-400	109	1	i	i	NOUN
ejde-400	109	2	k	k	X
ejde-400	110	1	∇ψ	∇ψ	PROPN
ejde-400	110	2	+	+	CCONJ
ejde-400	110	3	ψa	ψa	ADP
ejde-400	110	4	∣∣2|ψ|dx+	∣∣2|ψ|dx+	ADJ
ejde-400	110	5	ε	ε	PROPN
ejde-400	110	6	∫	∫	PROPN
ejde-400	110	7	|ψ|5	|ψ|5	PROPN
ejde-400	110	8	dx	dx	PROPN
ejde-400	110	9	=	=	SYM
ejde-400	110	10	ε	ε	PROPN
ejde-400	110	11	∫	∫	PROPN
ejde-400	110	12	|ψ|3	|ψ|3	PROPN
ejde-400	110	13	dx	dx	PROPN
ejde-400	110	14	,	,	PUNCT
ejde-400	110	15	which	which	PRON
ejde-400	110	16	gives	give	VERB
ejde-400	110	17	sup	sup	NUM
ejde-400	110	18	0≤t≤t	0≤t≤t	NUM
ejde-400	110	19	∫	∫	NOUN
ejde-400	110	20	|ψ|3	|ψ|3	PROPN
ejde-400	110	21	dx+	dx+	NOUN
ejde-400	110	22	∫	∫	PROPN
ejde-400	110	23	t	t	PROPN
ejde-400	110	24	0	0	NUM
ejde-400	110	25	∫	∫	PROPN
ejde-400	111	1	∣∣	∣∣	NUM
ejde-400	112	1	i	i	NOUN
ejde-400	112	2	k	k	X
ejde-400	113	1	∇ψ	∇ψ	PROPN
ejde-400	113	2	+	+	PROPN
ejde-400	113	3	ψa	ψa	ADJ
ejde-400	113	4	∣∣2|ψ|dxdt	∣∣2|ψ|dxdt	NOUN
ejde-400	113	5	≤	≤	PROPN
ejde-400	113	6	c.	c.	NOUN
ejde-400	113	7	(	(	PUNCT
ejde-400	113	8	3.1	3.1	NUM
ejde-400	113	9	)	)	PUNCT
ejde-400	113	10	using	use	VERB
ejde-400	113	11	the	the	DET
ejde-400	113	12	diamagnetic	diamagnetic	ADJ
ejde-400	113	13	inequality∣∣1	inequality∣∣1	NOUN
ejde-400	113	14	k	k	PROPN
ejde-400	113	15	∇|ψ|	∇|ψ|	PROPN
ejde-400	113	16	∣∣	∣∣	X
ejde-400	113	17	≤	≤	NOUN
ejde-400	113	18	∣∣	∣∣	NUM
ejde-400	114	1	i	i	NOUN
ejde-400	114	2	k	k	X
ejde-400	115	1	∇ψ	∇ψ	PROPN
ejde-400	115	2	+	+	NUM
ejde-400	115	3	ψa	ψa	ADJ
ejde-400	115	4	∣∣	∣∣	NOUN
ejde-400	115	5	,	,	PUNCT
ejde-400	115	6	(	(	PUNCT
ejde-400	115	7	3.2	3.2	NUM
ejde-400	115	8	)	)	PUNCT
ejde-400	115	9	and	and	CCONJ
ejde-400	115	10	the	the	DET
ejde-400	115	11	gagliardo	gagliardo	NOUN
ejde-400	115	12	-	-	PUNCT
ejde-400	115	13	nirenberg	nirenberg	PROPN
ejde-400	115	14	inequality	inequality	NOUN
ejde-400	115	15	‖w‖lp	‖w‖lp	PROPN
ejde-400	115	16	≤	≤	PROPN
ejde-400	115	17	c‖w‖	c‖w‖	NOUN
ejde-400	115	18	3	3	NUM
ejde-400	115	19	p−	p−	NOUN
ejde-400	115	20	1	1	NUM
ejde-400	115	21	2	2	NUM
ejde-400	115	22	l2	l2	NOUN
ejde-400	115	23	‖∇w‖	‖∇w‖	X
ejde-400	115	24	3	3	NUM
ejde-400	115	25	2−	2−	NUM
ejde-400	115	26	3	3	NUM
ejde-400	115	27	p	p	NOUN
ejde-400	115	28	l2	l2	NOUN
ejde-400	115	29	+	+	CCONJ
ejde-400	115	30	c‖w‖l2	c‖w‖l2	X
ejde-400	115	31	(	(	PUNCT
ejde-400	115	32	3.3	3.3	NUM
ejde-400	115	33	)	)	PUNCT
ejde-400	115	34	for	for	ADP
ejde-400	115	35	w	w	PROPN
ejde-400	115	36	:	:	PUNCT
ejde-400	115	37	=	=	NUM
ejde-400	115	38	|ψ|3/2	|ψ|3/2	PROPN
ejde-400	115	39	and	and	CCONJ
ejde-400	115	40	p	p	X
ejde-400	115	41	:	:	PUNCT
ejde-400	115	42	=	=	SYM
ejde-400	115	43	10	10	NUM
ejde-400	115	44	3	3	NUM
ejde-400	115	45	,	,	PUNCT
ejde-400	115	46	we	we	PRON
ejde-400	115	47	find	find	VERB
ejde-400	115	48	that	that	SCONJ
ejde-400	115	49	‖ψ‖l5(0,t	‖ψ‖l5(0,t	NOUN
ejde-400	115	50	;	;	PUNCT
ejde-400	115	51	l5	l5	PROPN
ejde-400	115	52	)	)	PUNCT
ejde-400	115	53	≤	≤	NOUN
ejde-400	115	54	c.	c.	NOUN
ejde-400	115	55	(	(	PUNCT
ejde-400	115	56	3.4	3.4	NUM
ejde-400	115	57	)	)	PUNCT
ejde-400	115	58	testing	testing	NOUN
ejde-400	115	59	(	(	PUNCT
ejde-400	115	60	1.2	1.2	NUM
ejde-400	115	61	)	)	PUNCT
ejde-400	115	62	by	by	ADP
ejde-400	115	63	a	a	DET
ejde-400	115	64	and	and	CCONJ
ejde-400	115	65	using	use	VERB
ejde-400	115	66	(	(	PUNCT
ejde-400	115	67	3.1	3.1	NUM
ejde-400	115	68	)	)	PUNCT
ejde-400	115	69	,	,	PUNCT
ejde-400	115	70	we	we	PRON
ejde-400	115	71	observe	observe	VERB
ejde-400	115	72	that	that	SCONJ
ejde-400	115	73	1	1	NUM
ejde-400	115	74	2	2	NUM
ejde-400	115	75	d	d	NOUN
ejde-400	115	76	dt	dt	X
ejde-400	115	77	∫	∫	PROPN
ejde-400	115	78	|a|2	|a|2	PROPN
ejde-400	115	79	dx+	dx+	PROPN
ejde-400	115	80	∫	∫	PROPN
ejde-400	116	1	|	|	ADV
ejde-400	116	2	curla|2	curla|2	PROPN
ejde-400	116	3	dx	dx	PROPN
ejde-400	116	4	≤	≤	NUM
ejde-400	116	5	∫	∫	PROPN
ejde-400	117	1	∣∣	∣∣	NUM
ejde-400	118	1	i	i	NOUN
ejde-400	118	2	k	k	X
ejde-400	119	1	∇ψ	∇ψ	PROPN
ejde-400	119	2	+	+	CCONJ
ejde-400	119	3	ψa	ψa	ADP
ejde-400	119	4	∣∣	∣∣	X
ejde-400	119	5	|ψ|	|ψ|	PROPN
ejde-400	119	6	|a|dx	|a|dx	PROPN
ejde-400	119	7	≤	≤	NUM
ejde-400	119	8	∫	∫	PROPN
ejde-400	120	1	∣∣	∣∣	NUM
ejde-400	121	1	i	i	NOUN
ejde-400	121	2	k	k	X
ejde-400	122	1	∇ψ	∇ψ	PROPN
ejde-400	122	2	+	+	CCONJ
ejde-400	122	3	ψa	ψa	ADP
ejde-400	122	4	∣∣	∣∣	NUM
ejde-400	122	5	|ψ|1/2	|ψ|1/2	PROPN
ejde-400	122	6	|ψ|1/2	|ψ|1/2	PROPN
ejde-400	122	7	|a|dx	|a|dx	PROPN
ejde-400	122	8	≤	≤	NOUN
ejde-400	122	9	∥∥	∥∥	PUNCT
ejde-400	122	10	∣∣	∣∣	NUM
ejde-400	123	1	i	i	NOUN
ejde-400	123	2	k	k	X
ejde-400	124	1	∇ψ	∇ψ	PROPN
ejde-400	124	2	+	+	CCONJ
ejde-400	124	3	ψa	ψa	ADP
ejde-400	124	4	∣∣	∣∣	NUM
ejde-400	124	5	|ψ|1/2∥∥	|ψ|1/2∥∥	CCONJ
ejde-400	124	6	l2‖	l2‖	ADJ
ejde-400	124	7	|ψ|1/2‖l6‖a‖l3	|ψ|1/2‖l6‖a‖l3	PUNCT
ejde-400	124	8	≤	≤	NUM
ejde-400	124	9	1	1	NUM
ejde-400	124	10	2	2	NUM
ejde-400	124	11	‖	‖	PROPN
ejde-400	124	12	curla‖2l2	curla‖2l2	PROPN
ejde-400	125	1	+	+	CCONJ
ejde-400	125	2	c	c	X
ejde-400	125	3	∥∥	∥∥	X
ejde-400	125	4	∣∣	∣∣	PUNCT
ejde-400	126	1	i	i	NOUN
ejde-400	126	2	k	k	X
ejde-400	127	1	∇ψ	∇ψ	PROPN
ejde-400	127	2	+	+	CCONJ
ejde-400	127	3	ψa	ψa	ADJ
ejde-400	127	4	∣∣	∣∣	NUM
ejde-400	127	5	|ψ|1/2∥∥2	|ψ|1/2∥∥2	NOUN
ejde-400	127	6	l2	l2	NOUN
ejde-400	127	7	,	,	PUNCT
ejde-400	127	8	which	which	PRON
ejde-400	127	9	leads	lead	VERB
ejde-400	127	10	to	to	ADP
ejde-400	127	11	‖a‖l∞(0,t	‖a‖l∞(0,t	ADJ
ejde-400	127	12	;	;	PUNCT
ejde-400	127	13	l2	l2	NOUN
ejde-400	127	14	)	)	PUNCT
ejde-400	128	1	+	+	CCONJ
ejde-400	128	2	‖a‖l2(0,t	‖a‖l2(0,t	NOUN
ejde-400	128	3	;	;	PUNCT
ejde-400	128	4	h1	h1	PROPN
ejde-400	128	5	)	)	PUNCT
ejde-400	128	6	≤	≤	NOUN
ejde-400	128	7	c.	c.	NOUN
ejde-400	128	8	(	(	PUNCT
ejde-400	128	9	3.5	3.5	NUM
ejde-400	128	10	)	)	PUNCT
ejde-400	128	11	here	here	ADV
ejde-400	128	12	we	we	PRON
ejde-400	128	13	have	have	AUX
ejde-400	128	14	used	use	VERB
ejde-400	128	15	the	the	DET
ejde-400	128	16	estimate	estimate	NOUN
ejde-400	128	17	‖a‖l3	‖a‖l3	NOUN
ejde-400	128	18	≤	≤	ADV
ejde-400	128	19	c‖	c‖	NOUN
ejde-400	128	20	curla‖l2	curla‖l2	X
ejde-400	128	21	.	.	PUNCT
ejde-400	128	22	since∫	since∫	VERB
ejde-400	128	23	t	t	PROPN
ejde-400	128	24	0	0	NUM
ejde-400	128	25	∫	∫	PROPN
ejde-400	128	26	|ψa|2	|ψa|2	PUNCT
ejde-400	128	27	dxdt	dxdt	NOUN
ejde-400	128	28	≤	≤	NUM
ejde-400	129	1	‖ψ‖2l3	‖ψ‖2l3	NOUN
ejde-400	129	2	∫	∫	PROPN
ejde-400	129	3	t	t	PROPN
ejde-400	129	4	0	0	NUM
ejde-400	129	5	‖a‖2l6	‖a‖2l6	PROPN
ejde-400	129	6	dt	dt	X
ejde-400	129	7	≤	≤	PROPN
ejde-400	129	8	c	c	X
ejde-400	129	9	,	,	PUNCT
ejde-400	129	10	it	it	PRON
ejde-400	129	11	follows	follow	VERB
ejde-400	129	12	from	from	ADP
ejde-400	129	13	(	(	PUNCT
ejde-400	129	14	2.2	2.2	NUM
ejde-400	129	15	)	)	PUNCT
ejde-400	129	16	that	that	SCONJ
ejde-400	129	17	‖ψ‖l2(0,t	‖ψ‖l2(0,t	PROPN
ejde-400	129	18	;	;	PUNCT
ejde-400	129	19	h1	h1	PROPN
ejde-400	129	20	)	)	PUNCT
ejde-400	129	21	≤	≤	NOUN
ejde-400	129	22	c.	c.	NOUN
ejde-400	129	23	(	(	PUNCT
ejde-400	129	24	3.6	3.6	NUM
ejde-400	129	25	)	)	PUNCT
ejde-400	129	26	ejde-2020/17	ejde-2020/17	VERB
ejde-400	129	27	ginzburg	ginzburg	NOUN
ejde-400	129	28	-	-	PUNCT
ejde-400	129	29	landau	landau	NOUN
ejde-400	129	30	system	system	NOUN
ejde-400	129	31	for	for	ADP
ejde-400	129	32	superconductivity	superconductivity	NOUN
ejde-400	129	33	5	5	NUM
ejde-400	129	34	testing	testing	NOUN
ejde-400	129	35	(	(	PUNCT
ejde-400	129	36	1.2	1.2	NUM
ejde-400	129	37	)	)	PUNCT
ejde-400	129	38	by	by	ADP
ejde-400	129	39	|a|a	|a|a	NOUN
ejde-400	129	40	and	and	CCONJ
ejde-400	129	41	letting	let	VERB
ejde-400	129	42	u	u	PRON
ejde-400	129	43	:	:	PUNCT
ejde-400	129	44	=	=	SYM
ejde-400	129	45	|a|3/2	|a|3/2	ADJ
ejde-400	129	46	,	,	PUNCT
ejde-400	129	47	using	use	VERB
ejde-400	129	48	(	(	PUNCT
ejde-400	129	49	1.3	1.3	NUM
ejde-400	129	50	)	)	PUNCT
ejde-400	129	51	,	,	PUNCT
ejde-400	129	52	(	(	PUNCT
ejde-400	129	53	1.8	1.8	NUM
ejde-400	129	54	)	)	PUNCT
ejde-400	129	55	,	,	PUNCT
ejde-400	129	56	(	(	PUNCT
ejde-400	129	57	1.9	1.9	NUM
ejde-400	129	58	)	)	PUNCT
ejde-400	129	59	,	,	PUNCT
ejde-400	129	60	(	(	PUNCT
ejde-400	129	61	1.10	1.10	NUM
ejde-400	129	62	)	)	PUNCT
ejde-400	129	63	,	,	PUNCT
ejde-400	129	64	(	(	PUNCT
ejde-400	129	65	1.11	1.11	NUM
ejde-400	129	66	)	)	PUNCT
ejde-400	129	67	,	,	PUNCT
ejde-400	129	68	(	(	PUNCT
ejde-400	129	69	3.1	3.1	NUM
ejde-400	129	70	)	)	PUNCT
ejde-400	129	71	and	and	CCONJ
ejde-400	130	1	the	the	DET
ejde-400	130	2	vector	vector	NOUN
ejde-400	130	3	identities	identity	NOUN
ejde-400	130	4	(	(	PUNCT
ejde-400	130	5	ν	ν	X
ejde-400	130	6	·	·	PUNCT
ejde-400	130	7	∇)a	∇)a	NUM
ejde-400	130	8	·	·	PUNCT
ejde-400	130	9	a	a	X
ejde-400	130	10	=	=	X
ejde-400	130	11	(	(	PUNCT
ejde-400	130	12	a	a	DET
ejde-400	130	13	·	·	PUNCT
ejde-400	130	14	∇)a	∇)a	PROPN
ejde-400	130	15	·	·	PUNCT
ejde-400	130	16	ν	ν	X
ejde-400	130	17	+	+	CCONJ
ejde-400	130	18	(	(	PUNCT
ejde-400	130	19	curla×	curla×	PROPN
ejde-400	130	20	ν	ν	NOUN
ejde-400	130	21	)	)	PUNCT
ejde-400	130	22	·	·	PUNCT
ejde-400	130	23	a	a	X
ejde-400	130	24	,	,	PUNCT
ejde-400	130	25	(	(	PUNCT
ejde-400	130	26	3.7	3.7	NUM
ejde-400	130	27	)	)	PUNCT
ejde-400	130	28	(	(	PUNCT
ejde-400	130	29	a	a	PRON
ejde-400	130	30	·	·	PUNCT
ejde-400	130	31	∇)a	∇)a	NUM
ejde-400	130	32	·	·	PUNCT
ejde-400	130	33	ν	ν	X
ejde-400	130	34	=	=	PUNCT
ejde-400	130	35	−(a	−(a	ADJ
ejde-400	130	36	·	·	PUNCT
ejde-400	130	37	∇)ν	∇)ν	X
ejde-400	130	38	·	·	SYM
ejde-400	130	39	a	a	X
ejde-400	130	40	,	,	PUNCT
ejde-400	130	41	(	(	PUNCT
ejde-400	130	42	3.8	3.8	NUM
ejde-400	130	43	)	)	PUNCT
ejde-400	130	44	we	we	PRON
ejde-400	130	45	arrive	arrive	VERB
ejde-400	130	46	at	at	ADP
ejde-400	130	47	d	d	PROPN
ejde-400	130	48	dt	dt	X
ejde-400	130	49	∫	∫	PROPN
ejde-400	130	50	u2	u2	PROPN
ejde-400	130	51	dx+	dx+	PROPN
ejde-400	130	52	c0	c0	PROPN
ejde-400	130	53	∫	∫	PROPN
ejde-400	130	54	|∇u|2	|∇u|2	PROPN
ejde-400	130	55	dx+	dx+	PROPN
ejde-400	130	56	c0	c0	PROPN
ejde-400	130	57	∫	∫	PROPN
ejde-400	130	58	|a||∇a|2	|a||∇a|2	PROPN
ejde-400	130	59	dx	dx	PROPN
ejde-400	130	60	≤	≤	PROPN
ejde-400	130	61	c	c	NOUN
ejde-400	130	62	∫	∫	PROPN
ejde-400	131	1	∣∣	∣∣	NUM
ejde-400	132	1	i	i	NOUN
ejde-400	132	2	k	k	X
ejde-400	133	1	∇ψ	∇ψ	PROPN
ejde-400	133	2	+	+	CCONJ
ejde-400	133	3	ψa	ψa	ADJ
ejde-400	133	4	∣∣	∣∣	NUM
ejde-400	133	5	|ψ|u4/3	|ψ|u4/3	PROPN
ejde-400	133	6	dx+	dx+	NOUN
ejde-400	133	7	c	c	PROPN
ejde-400	133	8	∫	∫	PROPN
ejde-400	133	9	|∇φ|u4/3	|∇φ|u4/3	PROPN
ejde-400	133	10	dx+	dx+	PROPN
ejde-400	133	11	c	c	PROPN
ejde-400	133	12	∫	∫	PROPN
ejde-400	134	1	∂ω	∂ω	ADJ
ejde-400	134	2	u2	u2	NOUN
ejde-400	134	3	ds	ds	ADJ
ejde-400	134	4	≤	≤	PROPN
ejde-400	134	5	c	c	X
ejde-400	134	6	∥∥	∥∥	X
ejde-400	134	7	∣∣	∣∣	PUNCT
ejde-400	135	1	i	i	NOUN
ejde-400	135	2	k	k	X
ejde-400	136	1	∇ψ	∇ψ	PROPN
ejde-400	136	2	+	+	CCONJ
ejde-400	136	3	ψa	ψa	ADP
ejde-400	136	4	∣∣	∣∣	NUM
ejde-400	136	5	|ψ|1/2∥∥	|ψ|1/2∥∥	NUM
ejde-400	136	6	l2‖	l2‖	PROPN
ejde-400	136	7	|ψ|1/2‖l6‖u4/3‖l3	|ψ|1/2‖l6‖u4/3‖l3	NOUN
ejde-400	136	8	+	+	CCONJ
ejde-400	136	9	c‖∇φ‖l3/2‖u4/3‖l3	c‖∇φ‖l3/2‖u4/3‖l3	PROPN
ejde-400	136	10	+	+	CCONJ
ejde-400	136	11	c‖u‖l2(ω)‖u‖h1(ω	c‖u‖l2(ω)‖u‖h1(ω	PROPN
ejde-400	136	12	)	)	PUNCT
ejde-400	136	13	≤	≤	PUNCT
ejde-400	136	14	c	c	X
ejde-400	136	15	∥∥	∥∥	X
ejde-400	136	16	∣∣	∣∣	PUNCT
ejde-400	137	1	i	i	NOUN
ejde-400	137	2	k	k	X
ejde-400	138	1	∇ψ	∇ψ	PROPN
ejde-400	138	2	+	+	CCONJ
ejde-400	138	3	ψa	ψa	ADP
ejde-400	138	4	∣∣	∣∣	NUM
ejde-400	138	5	|ψ|1/2∥∥	|ψ|1/2∥∥	NUM
ejde-400	138	6	l2‖	l2‖	PROPN
ejde-400	138	7	|ψ|1/2‖l6‖u4/3‖l3	|ψ|1/2‖l6‖u4/3‖l3	PROPN
ejde-400	138	8	+	+	CCONJ
ejde-400	138	9	c‖u‖l2(ω)‖u‖h1(ω	c‖u‖l2(ω)‖u‖h1(ω	PROPN
ejde-400	138	10	)	)	PUNCT
ejde-400	138	11	≤	≤	PUNCT
ejde-400	138	12	c	c	X
ejde-400	138	13	∥∥	∥∥	X
ejde-400	138	14	∣∣	∣∣	PUNCT
ejde-400	139	1	i	i	NOUN
ejde-400	139	2	k	k	X
ejde-400	140	1	∇ψ	∇ψ	PROPN
ejde-400	140	2	+	+	CCONJ
ejde-400	140	3	ψa	ψa	ADP
ejde-400	140	4	∣∣	∣∣	NUM
ejde-400	140	5	|ψ|1/2∥∥	|ψ|1/2∥∥	NUM
ejde-400	140	6	l2‖u‖	l2‖u‖	PROPN
ejde-400	140	7	1/3	1/3	NUM
ejde-400	140	8	l2	l2	NOUN
ejde-400	140	9	‖u‖h1	‖u‖h1	PRON
ejde-400	140	10	+	+	NUM
ejde-400	140	11	c‖u‖l2‖u‖h1	c‖u‖l2‖u‖h1	VERB
ejde-400	140	12	≤	≤	ADJ
ejde-400	140	13	c0	c0	NOUN
ejde-400	140	14	2	2	NUM
ejde-400	140	15	‖∇u‖2l2	‖∇u‖2l2	PROPN
ejde-400	140	16	+	+	CCONJ
ejde-400	140	17	c	c	X
ejde-400	140	18	∥∥	∥∥	X
ejde-400	140	19	∣∣	∣∣	PUNCT
ejde-400	141	1	i	i	NOUN
ejde-400	141	2	k	k	X
ejde-400	142	1	∇ψ	∇ψ	PROPN
ejde-400	142	2	+	+	CCONJ
ejde-400	142	3	ψa	ψa	ADP
ejde-400	142	4	∣∣	∣∣	NUM
ejde-400	142	5	|ψ|1/2∥∥2	|ψ|1/2∥∥2	PROPN
ejde-400	142	6	l2‖u‖	l2‖u‖	NOUN
ejde-400	142	7	2	2	NUM
ejde-400	142	8	3	3	NUM
ejde-400	142	9	l2	l2	NOUN
ejde-400	142	10	+	+	CCONJ
ejde-400	142	11	c‖u‖2l2	c‖u‖2l2	NOUN
ejde-400	142	12	,	,	PUNCT
ejde-400	142	13	which	which	PRON
ejde-400	142	14	implies	imply	VERB
ejde-400	142	15	‖a‖l∞(0,t	‖a‖l∞(0,t	PROPN
ejde-400	142	16	;	;	PUNCT
ejde-400	142	17	l3	l3	X
ejde-400	142	18	)	)	PUNCT
ejde-400	143	1	+	+	CCONJ
ejde-400	143	2	‖|a|3/2‖l2(0,t	‖|a|3/2‖l2(0,t	NOUN
ejde-400	143	3	;	;	PUNCT
ejde-400	143	4	h1	h1	PROPN
ejde-400	143	5	)	)	PUNCT
ejde-400	143	6	≤	≤	NOUN
ejde-400	143	7	c.	c.	NOUN
ejde-400	143	8	(	(	PUNCT
ejde-400	143	9	3.9	3.9	NUM
ejde-400	143	10	)	)	PUNCT
ejde-400	143	11	here	here	ADV
ejde-400	143	12	we	we	PRON
ejde-400	143	13	have	have	AUX
ejde-400	143	14	used	use	VERB
ejde-400	143	15	the	the	DET
ejde-400	143	16	estimate	estimate	NOUN
ejde-400	143	17	‖∇φ‖l3/2	‖∇φ‖l3/2	PROPN
ejde-400	143	18	≤	≤	PROPN
ejde-400	143	19	c	c	PROPN
ejde-400	143	20	∥∥	∥∥	PROPN
ejde-400	143	21	(	(	PUNCT
ejde-400	143	22	i	i	NOUN
ejde-400	143	23	k	k	PROPN
ejde-400	144	1	∇ψ	∇ψ	PROPN
ejde-400	144	2	+	+	NUM
ejde-400	144	3	ψa	ψa	X
ejde-400	144	4	)	)	PUNCT
ejde-400	144	5	ψ	ψ	VERB
ejde-400	144	6	∥∥	∥∥	PROPN
ejde-400	144	7	l3/2	l3/2	ADJ
ejde-400	144	8	≤	≤	PROPN
ejde-400	144	9	c	c	X
ejde-400	144	10	∥∥	∥∥	X
ejde-400	144	11	∣∣	∣∣	PUNCT
ejde-400	144	12	i	i	NOUN
ejde-400	144	13	k	k	X
ejde-400	145	1	∇ψ	∇ψ	PROPN
ejde-400	145	2	+	+	CCONJ
ejde-400	145	3	ψa	ψa	ADP
ejde-400	145	4	∣∣	∣∣	NUM
ejde-400	145	5	|ψ|1/2∥∥	|ψ|1/2∥∥	NUM
ejde-400	145	6	l2‖	l2‖	NOUN
ejde-400	145	7	|ψ|1/2‖l6	|ψ|1/2‖l6	ADJ
ejde-400	145	8	≤	≤	PUNCT
ejde-400	145	9	c	c	X
ejde-400	145	10	∥∥	∥∥	X
ejde-400	145	11	∣∣	∣∣	PUNCT
ejde-400	146	1	i	i	NOUN
ejde-400	146	2	k	k	X
ejde-400	147	1	∇ψ	∇ψ	PROPN
ejde-400	147	2	+	+	CCONJ
ejde-400	147	3	ψa	ψa	ADP
ejde-400	147	4	∣∣	∣∣	NUM
ejde-400	147	5	|ψ|1/2∥∥	|ψ|1/2∥∥	NUM
ejde-400	147	6	l2	l2	NOUN
ejde-400	147	7	.	.	PUNCT
ejde-400	148	1	(	(	PUNCT
ejde-400	148	2	3.10	3.10	NUM
ejde-400	148	3	)	)	PUNCT
ejde-400	148	4	using	use	VERB
ejde-400	148	5	(	(	PUNCT
ejde-400	148	6	3.3	3.3	NUM
ejde-400	148	7	)	)	PUNCT
ejde-400	148	8	for	for	ADP
ejde-400	148	9	w	w	NOUN
ejde-400	148	10	=	=	SYM
ejde-400	148	11	|a|3/2	|a|3/2	PROPN
ejde-400	148	12	and	and	CCONJ
ejde-400	148	13	p	p	X
ejde-400	148	14	=	=	PROPN
ejde-400	148	15	10/3	10/3	NUM
ejde-400	148	16	and	and	CCONJ
ejde-400	148	17	(	(	PUNCT
ejde-400	148	18	3.9	3.9	NUM
ejde-400	148	19	)	)	PUNCT
ejde-400	148	20	,	,	PUNCT
ejde-400	148	21	we	we	PRON
ejde-400	148	22	have	have	VERB
ejde-400	148	23	‖a‖l5(0,t	‖a‖l5(0,t	NOUN
ejde-400	148	24	;	;	PUNCT
ejde-400	148	25	l5	l5	PROPN
ejde-400	148	26	)	)	PUNCT
ejde-400	148	27	≤	≤	NOUN
ejde-400	148	28	c.	c.	NOUN
ejde-400	148	29	(	(	PUNCT
ejde-400	148	30	3.11	3.11	NUM
ejde-400	148	31	)	)	PUNCT
ejde-400	148	32	on	on	ADP
ejde-400	148	33	the	the	DET
ejde-400	148	34	other	other	ADJ
ejde-400	148	35	hand	hand	NOUN
ejde-400	148	36	,	,	PUNCT
ejde-400	148	37	using	use	VERB
ejde-400	148	38	(	(	PUNCT
ejde-400	148	39	1.1	1.1	NUM
ejde-400	148	40	)	)	PUNCT
ejde-400	148	41	,	,	PUNCT
ejde-400	148	42	(	(	PUNCT
ejde-400	148	43	1.2	1.2	NUM
ejde-400	148	44	)	)	PUNCT
ejde-400	148	45	,	,	PUNCT
ejde-400	148	46	(	(	PUNCT
ejde-400	148	47	2.2	2.2	NUM
ejde-400	148	48	)	)	PUNCT
ejde-400	148	49	,	,	PUNCT
ejde-400	148	50	(	(	PUNCT
ejde-400	148	51	3.1	3.1	NUM
ejde-400	148	52	)	)	PUNCT
ejde-400	148	53	and	and	CCONJ
ejde-400	148	54	(	(	PUNCT
ejde-400	148	55	3.9	3.9	NUM
ejde-400	148	56	)	)	PUNCT
ejde-400	148	57	,	,	PUNCT
ejde-400	148	58	we	we	PRON
ejde-400	148	59	easily	easily	ADV
ejde-400	148	60	deduce	deduce	VERB
ejde-400	148	61	that	that	DET
ejde-400	148	62	‖∂tψ‖l2(0,t	‖∂tψ‖l2(0,t	NOUN
ejde-400	148	63	;	;	PUNCT
ejde-400	149	1	h−1	h−1	X
ejde-400	149	2	)	)	PUNCT
ejde-400	149	3	+	+	NUM
ejde-400	149	4	‖∂ta‖l2(0,t	‖∂ta‖l2(0,t	NOUN
ejde-400	149	5	;	;	PUNCT
ejde-400	149	6	h−1	h−1	X
ejde-400	149	7	)	)	PUNCT
ejde-400	149	8	≤	≤	PROPN
ejde-400	149	9	c.	c.	NOUN
ejde-400	149	10	(	(	PUNCT
ejde-400	149	11	3.12	3.12	NUM
ejde-400	149	12	)	)	PUNCT
ejde-400	149	13	this	this	PRON
ejde-400	149	14	completes	complete	VERB
ejde-400	149	15	the	the	DET
ejde-400	149	16	proof	proof	NOUN
ejde-400	149	17	of	of	ADP
ejde-400	149	18	(	(	PUNCT
ejde-400	149	19	1.7	1.7	NUM
ejde-400	149	20	)	)	PUNCT
ejde-400	149	21	.	.	PUNCT
ejde-400	150	1	to	to	PART
ejde-400	150	2	prove	prove	VERB
ejde-400	150	3	the	the	DET
ejde-400	150	4	uniqueness	uniqueness	NOUN
ejde-400	150	5	,	,	PUNCT
ejde-400	150	6	we	we	PRON
ejde-400	150	7	use	use	VERB
ejde-400	150	8	the	the	DET
ejde-400	150	9	method	method	NOUN
ejde-400	150	10	considered	consider	VERB
ejde-400	150	11	in	in	ADP
ejde-400	150	12	[	[	X
ejde-400	150	13	7	7	NUM
ejde-400	150	14	,	,	PUNCT
ejde-400	150	15	6	6	NUM
ejde-400	150	16	]	]	PUNCT
ejde-400	150	17	.	.	PUNCT
ejde-400	151	1	here	here	ADV
ejde-400	151	2	we	we	PRON
ejde-400	151	3	remark	remark	VERB
ejde-400	151	4	the	the	DET
ejde-400	151	5	only	only	ADJ
ejde-400	151	6	new	new	ADJ
ejde-400	151	7	estimate	estimate	NOUN
ejde-400	151	8	:	:	PUNCT
ejde-400	151	9	if	if	SCONJ
ejde-400	151	10	(	(	PUNCT
ejde-400	151	11	ψi	ψi	ADJ
ejde-400	151	12	,	,	PUNCT
ejde-400	151	13	ai	ai	VERB
ejde-400	151	14	,	,	PUNCT
ejde-400	151	15	φi	φi	ADV
ejde-400	151	16	)	)	PUNCT
ejde-400	151	17	(	(	PUNCT
ejde-400	151	18	i	i	NOUN
ejde-400	151	19	=	=	NOUN
ejde-400	151	20	1	1	NUM
ejde-400	151	21	,	,	PUNCT
ejde-400	151	22	2	2	NUM
ejde-400	151	23	)	)	PUNCT
ejde-400	151	24	are	be	AUX
ejde-400	151	25	two	two	NUM
ejde-400	151	26	weak	weak	ADJ
ejde-400	151	27	solutions	solution	NOUN
ejde-400	151	28	to	to	ADP
ejde-400	151	29	the	the	DET
ejde-400	151	30	problem	problem	NOUN
ejde-400	151	31	(	(	PUNCT
ejde-400	151	32	1.1)-(1.4	1.1)-(1.4	NUM
ejde-400	151	33	)	)	PUNCT
ejde-400	151	34	,	,	PUNCT
ejde-400	151	35	then	then	ADV
ejde-400	151	36	the	the	DET
ejde-400	151	37	following	follow	VERB
ejde-400	151	38	monotone	monotone	ADJ
ejde-400	151	39	property	property	NOUN
ejde-400	151	40	holds	hold	NOUN
ejde-400	151	41	:	:	PUNCT
ejde-400	151	42	re	re	PROPN
ejde-400	151	43	∫	∫	PROPN
ejde-400	151	44	(	(	PUNCT
ejde-400	151	45	|ψ1|2ψ1	|ψ1|2ψ1	PROPN
ejde-400	151	46	−	−	PROPN
ejde-400	151	47	|ψ2|2ψ2)(ψ1	|ψ2|2ψ2)(ψ1	NOUN
ejde-400	151	48	−	−	PROPN
ejde-400	151	49	ψ2	ψ2	NOUN
ejde-400	151	50	)	)	PUNCT
ejde-400	151	51	dx	dx	PROPN
ejde-400	151	52	≥	≥	PROPN
ejde-400	151	53	0	0	NUM
ejde-400	151	54	.	.	PUNCT
ejde-400	152	1	the	the	DET
ejde-400	152	2	rest	rest	NOUN
ejde-400	152	3	of	of	ADP
ejde-400	152	4	the	the	DET
ejde-400	152	5	proof	proof	NOUN
ejde-400	152	6	follows	follow	VERB
ejde-400	152	7	as	as	ADP
ejde-400	152	8	in	in	ADP
ejde-400	152	9	[	[	X
ejde-400	152	10	7	7	NUM
ejde-400	152	11	,	,	PUNCT
ejde-400	152	12	6	6	NUM
ejde-400	152	13	]	]	PUNCT
ejde-400	152	14	.	.	PUNCT
ejde-400	153	1	this	this	PRON
ejde-400	153	2	completes	complete	VERB
ejde-400	153	3	the	the	DET
ejde-400	153	4	proof	proof	NOUN
ejde-400	153	5	.	.	PUNCT
ejde-400	154	1	acknowledgements	acknowledgement	NOUN
ejde-400	154	2	.	.	PUNCT
ejde-400	155	1	this	this	DET
ejde-400	155	2	work	work	NOUN
ejde-400	155	3	was	be	AUX
ejde-400	155	4	partially	partially	ADV
ejde-400	155	5	supported	support	VERB
ejde-400	155	6	by	by	ADP
ejde-400	155	7	nsfc	nsfc	NOUN
ejde-400	155	8	(	(	PUNCT
ejde-400	155	9	no	no	INTJ
ejde-400	155	10	.	.	NOUN
ejde-400	155	11	11971234	11971234	NUM
ejde-400	155	12	)	)	PUNCT
ejde-400	155	13	.	.	PUNCT
ejde-400	156	1	the	the	DET
ejde-400	156	2	authors	author	NOUN
ejde-400	156	3	are	be	AUX
ejde-400	156	4	indebted	indebte	VERB
ejde-400	156	5	to	to	ADP
ejde-400	156	6	the	the	DET
ejde-400	156	7	referee	referee	NOUN
ejde-400	156	8	for	for	ADP
ejde-400	156	9	the	the	DET
ejde-400	156	10	careful	careful	ADJ
ejde-400	156	11	reading	reading	NOUN
ejde-400	156	12	of	of	ADP
ejde-400	156	13	the	the	DET
ejde-400	156	14	manuscript	manuscript	NOUN
ejde-400	156	15	and	and	CCONJ
ejde-400	156	16	for	for	ADP
ejde-400	156	17	the	the	DET
ejde-400	156	18	suggestions	suggestion	NOUN
ejde-400	156	19	that	that	PRON
ejde-400	156	20	improved	improve	VERB
ejde-400	156	21	this	this	DET
ejde-400	156	22	article	article	NOUN
ejde-400	156	23	.	.	PUNCT
ejde-400	157	1	6	6	NUM
ejde-400	157	2	j.	j.	PROPN
ejde-400	157	3	fan	fan	PROPN
ejde-400	157	4	,	,	PUNCT
ejde-400	157	5	y.	y.	PROPN
ejde-400	157	6	zhou	zhou	PROPN
ejde-400	157	7	ejde-2020/17	ejde-2020/17	PROPN
ejde-400	157	8	references	reference	NOUN
ejde-400	157	9	[	[	X
ejde-400	157	10	1	1	NUM
ejde-400	157	11	]	]	PUNCT
ejde-400	157	12	r.	r.	PROPN
ejde-400	157	13	a.	a.	PROPN
ejde-400	157	14	adams	adams	PROPN
ejde-400	157	15	,	,	PUNCT
ejde-400	157	16	j.	j.	PROPN
ejde-400	157	17	j.	j.	PROPN
ejde-400	157	18	f.	f.	PROPN
ejde-400	157	19	fournier	fournier	PROPN
ejde-400	157	20	;	;	PUNCT
ejde-400	157	21	sobolev	sobolev	NOUN
ejde-400	157	22	spaces	space	VERB
ejde-400	157	23	,	,	PUNCT
ejde-400	157	24	2nd	2nd	ADJ
ejde-400	157	25	ed	ed	NOUN
ejde-400	157	26	.	.	PUNCT
ejde-400	158	1	pure	pure	ADJ
ejde-400	158	2	and	and	CCONJ
ejde-400	158	3	applied	applied	ADJ
ejde-400	158	4	mathematics	mathematic	NOUN
ejde-400	158	5	(	(	PUNCT
ejde-400	158	6	amsterdam	amsterdam	PROPN
ejde-400	158	7	)	)	PUNCT
ejde-400	158	8	140	140	NUM
ejde-400	158	9	.	.	PUNCT
ejde-400	159	1	amsterdam	amsterdam	PROPN
ejde-400	159	2	:	:	PUNCT
ejde-400	159	3	elsevier	elsevier	NOUN
ejde-400	159	4	/	/	SYM
ejde-400	159	5	academic	academic	ADJ
ejde-400	159	6	press	press	NOUN
ejde-400	159	7	,	,	PUNCT
ejde-400	159	8	2003	2003	NUM
ejde-400	159	9	.	.	PUNCT
ejde-400	160	1	[	[	X
ejde-400	160	2	2	2	X
ejde-400	160	3	]	]	X
ejde-400	160	4	h.	h.	PROPN
ejde-400	160	5	beirão	beirão	PROPN
ejde-400	160	6	da	da	PROPN
ejde-400	160	7	veiga	veiga	PROPN
ejde-400	160	8	,	,	PUNCT
ejde-400	160	9	f.	f.	PROPN
ejde-400	160	10	crispo	crispo	PROPN
ejde-400	160	11	;	;	PUNCT
ejde-400	160	12	sharp	sharp	ADJ
ejde-400	160	13	inviscid	inviscid	ADJ
ejde-400	160	14	limit	limit	NOUN
ejde-400	160	15	results	result	NOUN
ejde-400	160	16	under	under	ADP
ejde-400	160	17	navier	navi	ADJ
ejde-400	160	18	type	type	NOUN
ejde-400	160	19	boundary	boundary	ADJ
ejde-400	160	20	conditions	condition	NOUN
ejde-400	160	21	:	:	PUNCT
ejde-400	160	22	an	an	DET
ejde-400	160	23	lp	lp	PROPN
ejde-400	160	24	theory	theory	NOUN
ejde-400	160	25	,	,	PUNCT
ejde-400	160	26	journal	journal	NOUN
ejde-400	160	27	of	of	ADP
ejde-400	160	28	mathematical	mathematical	ADJ
ejde-400	160	29	fluid	fluid	ADJ
ejde-400	160	30	mechanics	mechanic	NOUN
ejde-400	160	31	,	,	PUNCT
ejde-400	160	32	12	12	NUM
ejde-400	160	33	,	,	PUNCT
ejde-400	160	34	no	no	INTJ
ejde-400	160	35	.	.	NOUN
ejde-400	160	36	3	3	NUM
ejde-400	160	37	(	(	PUNCT
ejde-400	160	38	2010	2010	NUM
ejde-400	160	39	)	)	PUNCT
ejde-400	160	40	,	,	PUNCT
ejde-400	160	41	307411	307411	NUM
ejde-400	160	42	.	.	PUNCT
ejde-400	161	1	[	[	X
ejde-400	161	2	3	3	X
ejde-400	161	3	]	]	PUNCT
ejde-400	161	4	z.	z.	PROPN
ejde-400	161	5	m.	m.	PROPN
ejde-400	161	6	chen	chen	PROPN
ejde-400	161	7	,	,	PUNCT
ejde-400	161	8	c.	c.	PROPN
ejde-400	161	9	elliott	elliott	PROPN
ejde-400	161	10	,	,	PUNCT
ejde-400	161	11	q.	q.	PROPN
ejde-400	161	12	tang	tang	PROPN
ejde-400	161	13	;	;	PUNCT
ejde-400	161	14	justification	justification	NOUN
ejde-400	161	15	of	of	ADP
ejde-400	161	16	a	a	DET
ejde-400	161	17	two	two	NUM
ejde-400	161	18	-	-	PUNCT
ejde-400	161	19	dimensional	dimensional	ADJ
ejde-400	161	20	evolutionary	evolutionary	ADJ
ejde-400	161	21	ginzburglandau	ginzburglandau	NOUN
ejde-400	161	22	superconductivity	superconductivity	NOUN
ejde-400	161	23	model	model	NOUN
ejde-400	161	24	,	,	PUNCT
ejde-400	161	25	rairo	rairo	PROPN
ejde-400	161	26	model	model	PROPN
ejde-400	161	27	math	math	PROPN
ejde-400	161	28	.	.	PUNCT
ejde-400	162	1	anal	anal	PROPN
ejde-400	162	2	.	.	PUNCT
ejde-400	163	1	numer	numer	PROPN
ejde-400	163	2	.	.	PROPN
ejde-400	164	1	,	,	PUNCT
ejde-400	164	2	32	32	NUM
ejde-400	164	3	(	(	PUNCT
ejde-400	164	4	1998	1998	NUM
ejde-400	164	5	)	)	PUNCT
ejde-400	164	6	,	,	PUNCT
ejde-400	164	7	25	25	NUM
ejde-400	164	8	-	-	SYM
ejde-400	164	9	50	50	NUM
ejde-400	164	10	.	.	PUNCT
ejde-400	165	1	[	[	X
ejde-400	165	2	4	4	X
ejde-400	165	3	]	]	PUNCT
ejde-400	165	4	z.	z.	PROPN
ejde-400	165	5	m.	m.	PROPN
ejde-400	165	6	chen	chen	PROPN
ejde-400	165	7	,	,	PUNCT
ejde-400	165	8	k.	k.	PROPN
ejde-400	165	9	h.	h.	PROPN
ejde-400	165	10	hoffmann	hoffmann	PROPN
ejde-400	165	11	,	,	PUNCT
ejde-400	165	12	j.	j.	PROPN
ejde-400	165	13	liang	liang	PROPN
ejde-400	165	14	;	;	PUNCT
ejde-400	165	15	on	on	ADP
ejde-400	165	16	a	a	DET
ejde-400	165	17	nonstationary	nonstationary	ADJ
ejde-400	165	18	ginzburg	ginzburg	NOUN
ejde-400	165	19	-	-	PUNCT
ejde-400	165	20	landau	landau	NOUN
ejde-400	165	21	superconductivity	superconductivity	NOUN
ejde-400	165	22	model	model	NOUN
ejde-400	165	23	,	,	PUNCT
ejde-400	165	24	math	math	NOUN
ejde-400	165	25	.	.	PUNCT
ejde-400	166	1	meth	meth	NOUN
ejde-400	166	2	.	.	PUNCT
ejde-400	167	1	appl	appl	PROPN
ejde-400	167	2	.	.	PUNCT
ejde-400	168	1	sci	sci	PROPN
ejde-400	168	2	.	.	PROPN
ejde-400	168	3	,	,	PUNCT
ejde-400	168	4	16	16	NUM
ejde-400	168	5	(	(	PUNCT
ejde-400	168	6	1993	1993	NUM
ejde-400	168	7	)	)	PUNCT
ejde-400	168	8	,	,	PUNCT
ejde-400	168	9	855	855	NUM
ejde-400	168	10	-	-	SYM
ejde-400	168	11	875	875	NUM
ejde-400	168	12	.	.	PUNCT
ejde-400	169	1	[	[	X
ejde-400	169	2	5	5	NUM
ejde-400	169	3	]	]	X
ejde-400	169	4	q.	q.	PROPN
ejde-400	169	5	du	du	PROPN
ejde-400	169	6	;	;	PUNCT
ejde-400	169	7	global	global	ADJ
ejde-400	169	8	existence	existence	NOUN
ejde-400	169	9	and	and	CCONJ
ejde-400	169	10	uniqueness	uniqueness	NOUN
ejde-400	169	11	of	of	ADP
ejde-400	169	12	solutions	solution	NOUN
ejde-400	169	13	of	of	ADP
ejde-400	169	14	the	the	DET
ejde-400	169	15	time	time	NOUN
ejde-400	169	16	dependent	dependent	ADJ
ejde-400	169	17	ginzburg	ginzburg	NOUN
ejde-400	169	18	-	-	PUNCT
ejde-400	169	19	landau	landau	NOUN
ejde-400	169	20	model	model	NOUN
ejde-400	169	21	for	for	ADP
ejde-400	169	22	superconductivity	superconductivity	NOUN
ejde-400	169	23	,	,	PUNCT
ejde-400	169	24	appl	appl	PROPN
ejde-400	169	25	.	.	PROPN
ejde-400	170	1	anal	anal	PROPN
ejde-400	170	2	.	.	PROPN
ejde-400	170	3	,	,	PUNCT
ejde-400	170	4	52	52	NUM
ejde-400	170	5	(	(	PUNCT
ejde-400	170	6	1994	1994	NUM
ejde-400	170	7	)	)	PUNCT
ejde-400	170	8	,	,	PUNCT
ejde-400	170	9	1	1	NUM
ejde-400	170	10	-	-	SYM
ejde-400	170	11	17	17	NUM
ejde-400	170	12	.	.	PUNCT
ejde-400	171	1	[	[	X
ejde-400	171	2	6	6	NUM
ejde-400	171	3	]	]	PUNCT
ejde-400	171	4	j.	j.	PROPN
ejde-400	171	5	fan	fan	PROPN
ejde-400	171	6	,	,	PUNCT
ejde-400	171	7	h.	h.	PROPN
ejde-400	171	8	gao	gao	PROPN
ejde-400	171	9	;	;	PUNCT
ejde-400	171	10	uniqueness	uniqueness	NOUN
ejde-400	171	11	of	of	ADP
ejde-400	171	12	weak	weak	ADJ
ejde-400	171	13	solutions	solution	NOUN
ejde-400	171	14	in	in	ADP
ejde-400	171	15	critical	critical	ADJ
ejde-400	171	16	spaces	space	NOUN
ejde-400	171	17	of	of	ADP
ejde-400	171	18	the	the	DET
ejde-400	171	19	3	3	NUM
ejde-400	171	20	-	-	PUNCT
ejde-400	171	21	d	d	NOUN
ejde-400	171	22	time	time	NOUN
ejde-400	171	23	-	-	PUNCT
ejde-400	171	24	dependent	dependent	ADJ
ejde-400	171	25	ginzburg	ginzburg	NOUN
ejde-400	171	26	-	-	PUNCT
ejde-400	171	27	landau	landau	NOUN
ejde-400	171	28	equations	equation	NOUN
ejde-400	171	29	for	for	ADP
ejde-400	171	30	superconductivity	superconductivity	NOUN
ejde-400	171	31	,	,	PUNCT
ejde-400	171	32	math	math	NOUN
ejde-400	171	33	.	.	PUNCT
ejde-400	172	1	nachr	nachr	PROPN
ejde-400	172	2	.	.	PROPN
ejde-400	172	3	,	,	PUNCT
ejde-400	172	4	283	283	NUM
ejde-400	172	5	(	(	PUNCT
ejde-400	172	6	2010	2010	NUM
ejde-400	172	7	)	)	PUNCT
ejde-400	172	8	,	,	PUNCT
ejde-400	172	9	1134	1134	NUM
ejde-400	172	10	-	-	SYM
ejde-400	172	11	1143	1143	NUM
ejde-400	172	12	.	.	PUNCT
ejde-400	173	1	[	[	X
ejde-400	173	2	7	7	X
ejde-400	173	3	]	]	X
ejde-400	173	4	j.	j.	PROPN
ejde-400	173	5	fan	fan	PROPN
ejde-400	173	6	,	,	PUNCT
ejde-400	173	7	h.	h.	PROPN
ejde-400	173	8	gao	gao	PROPN
ejde-400	173	9	,	,	PUNCT
ejde-400	173	10	b.	b.	PROPN
ejde-400	173	11	guo	guo	PROPN
ejde-400	173	12	;	;	PUNCT
ejde-400	173	13	uniqueness	uniqueness	NOUN
ejde-400	173	14	of	of	ADP
ejde-400	173	15	weak	weak	ADJ
ejde-400	173	16	solutions	solution	NOUN
ejde-400	173	17	to	to	ADP
ejde-400	173	18	the	the	DET
ejde-400	173	19	3d	3d	PROPN
ejde-400	173	20	ginzburg	ginzburg	NOUN
ejde-400	173	21	-	-	PUNCT
ejde-400	173	22	landau	landau	NOUN
ejde-400	173	23	superconductivity	superconductivity	NOUN
ejde-400	173	24	model	model	NOUN
ejde-400	173	25	,	,	PUNCT
ejde-400	173	26	int	int	PROPN
ejde-400	173	27	.	.	PUNCT
ejde-400	173	28	math	math	NOUN
ejde-400	173	29	.	.	PUNCT
ejde-400	174	1	res	re	NOUN
ejde-400	174	2	.	.	PUNCT
ejde-400	174	3	notices	notice	NOUN
ejde-400	174	4	,	,	PUNCT
ejde-400	174	5	2015(5	2015(5	NUM
ejde-400	174	6	)	)	PUNCT
ejde-400	174	7	(	(	PUNCT
ejde-400	174	8	2015	2015	NUM
ejde-400	174	9	)	)	PUNCT
ejde-400	174	10	,	,	PUNCT
ejde-400	174	11	1239	1239	NUM
ejde-400	174	12	-	-	SYM
ejde-400	174	13	1246	1246	NUM
ejde-400	174	14	.	.	PUNCT
ejde-400	175	1	[	[	X
ejde-400	175	2	8	8	X
ejde-400	175	3	]	]	X
ejde-400	175	4	j.	j.	PROPN
ejde-400	175	5	fan	fan	PROPN
ejde-400	175	6	,	,	PUNCT
ejde-400	175	7	s.	s.	PROPN
ejde-400	175	8	jiang	jiang	PROPN
ejde-400	175	9	;	;	PUNCT
ejde-400	175	10	global	global	ADJ
ejde-400	175	11	existence	existence	NOUN
ejde-400	175	12	of	of	ADP
ejde-400	175	13	weak	weak	ADJ
ejde-400	175	14	solutions	solution	NOUN
ejde-400	175	15	of	of	ADP
ejde-400	175	16	a	a	DET
ejde-400	175	17	time	time	NOUN
ejde-400	175	18	-	-	PUNCT
ejde-400	175	19	dependent	dependent	ADJ
ejde-400	175	20	3	3	NUM
ejde-400	175	21	-	-	PUNCT
ejde-400	175	22	d	d	NOUN
ejde-400	175	23	ginzburg	ginzburg	NOUN
ejde-400	175	24	-	-	PUNCT
ejde-400	175	25	landau	landau	NOUN
ejde-400	175	26	model	model	NOUN
ejde-400	175	27	for	for	ADP
ejde-400	175	28	superconductivity	superconductivity	NOUN
ejde-400	175	29	,	,	PUNCT
ejde-400	175	30	appl	appl	PROPN
ejde-400	175	31	.	.	PROPN
ejde-400	175	32	math	math	PROPN
ejde-400	175	33	.	.	PUNCT
ejde-400	176	1	lett	lett	PROPN
ejde-400	176	2	.	.	PROPN
ejde-400	177	1	,	,	PUNCT
ejde-400	177	2	16	16	NUM
ejde-400	177	3	(	(	PUNCT
ejde-400	177	4	2003	2003	NUM
ejde-400	177	5	)	)	PUNCT
ejde-400	177	6	,	,	PUNCT
ejde-400	177	7	435	435	NUM
ejde-400	177	8	-	-	SYM
ejde-400	177	9	440	440	NUM
ejde-400	177	10	.	.	PUNCT
ejde-400	178	1	[	[	X
ejde-400	178	2	9	9	NUM
ejde-400	178	3	]	]	X
ejde-400	178	4	j.	j.	PROPN
ejde-400	178	5	fan	fan	PROPN
ejde-400	178	6	,	,	PUNCT
ejde-400	178	7	t.	t.	PROPN
ejde-400	178	8	ozawa	ozawa	PROPN
ejde-400	178	9	;	;	PUNCT
ejde-400	178	10	uniqueness	uniqueness	NOUN
ejde-400	178	11	of	of	ADP
ejde-400	178	12	weak	weak	ADJ
ejde-400	178	13	solutions	solution	NOUN
ejde-400	178	14	to	to	ADP
ejde-400	178	15	the	the	DET
ejde-400	178	16	ginzburg	ginzburg	NOUN
ejde-400	178	17	-	-	PUNCT
ejde-400	178	18	landau	landau	NOUN
ejde-400	178	19	model	model	NOUN
ejde-400	178	20	for	for	ADP
ejde-400	178	21	superconductivity	superconductivity	NOUN
ejde-400	178	22	,	,	PUNCT
ejde-400	178	23	z.	z.	PROPN
ejde-400	178	24	angew	angew	PROPN
ejde-400	178	25	.	.	PUNCT
ejde-400	178	26	math	math	NOUN
ejde-400	178	27	.	.	PUNCT
ejde-400	179	1	phys	phy	NOUN
ejde-400	179	2	.	.	PUNCT
ejde-400	179	3	,	,	PUNCT
ejde-400	179	4	63	63	NUM
ejde-400	179	5	(	(	PUNCT
ejde-400	179	6	2012	2012	NUM
ejde-400	179	7	)	)	PUNCT
ejde-400	179	8	,	,	PUNCT
ejde-400	179	9	453	453	NUM
ejde-400	179	10	-	-	SYM
ejde-400	179	11	459	459	NUM
ejde-400	179	12	.	.	PUNCT
ejde-400	180	1	[	[	X
ejde-400	180	2	10	10	NUM
ejde-400	180	3	]	]	PUNCT
ejde-400	180	4	a.	a.	NOUN
ejde-400	180	5	lunardi	lunardi	PROPN
ejde-400	180	6	;	;	PUNCT
ejde-400	180	7	interpolation	interpolation	NOUN
ejde-400	180	8	theory	theory	NOUN
ejde-400	180	9	,	,	PUNCT
ejde-400	180	10	2nd	2nd	ADJ
ejde-400	180	11	ed	ed	NOUN
ejde-400	180	12	.	.	PUNCT
ejde-400	181	1	lecture	lecture	NOUN
ejde-400	181	2	notes	note	NOUN
ejde-400	181	3	,	,	PUNCT
ejde-400	181	4	scuola	scuola	PROPN
ejde-400	181	5	normale	normale	PROPN
ejde-400	181	6	superiore	superiore	PROPN
ejde-400	181	7	di	di	PROPN
ejde-400	181	8	pisa	pisa	PROPN
ejde-400	181	9	(	(	PUNCT
ejde-400	181	10	new	new	ADJ
ejde-400	181	11	series	series	NOUN
ejde-400	181	12	)	)	PUNCT
ejde-400	181	13	.	.	PUNCT
ejde-400	182	1	pisa	pisa	PROPN
ejde-400	182	2	:	:	PUNCT
ejde-400	182	3	edizioni	edizioni	PROPN
ejde-400	182	4	della	della	PROPN
ejde-400	182	5	normale	normale	PROPN
ejde-400	182	6	,	,	PUNCT
ejde-400	182	7	2009	2009	NUM
ejde-400	182	8	.	.	PUNCT
ejde-400	183	1	[	[	X
ejde-400	183	2	11	11	NUM
ejde-400	183	3	]	]	PUNCT
ejde-400	183	4	q.	q.	PROPN
ejde-400	183	5	tang	tang	PROPN
ejde-400	183	6	;	;	PUNCT
ejde-400	183	7	on	on	ADP
ejde-400	183	8	an	an	DET
ejde-400	183	9	evolutioniary	evolutioniary	ADJ
ejde-400	183	10	system	system	NOUN
ejde-400	183	11	of	of	ADP
ejde-400	183	12	ginzburg	ginzburg	NOUN
ejde-400	183	13	-	-	PUNCT
ejde-400	183	14	landau	landau	NOUN
ejde-400	183	15	equations	equation	NOUN
ejde-400	183	16	with	with	ADP
ejde-400	183	17	fixed	fix	VERB
ejde-400	183	18	total	total	ADJ
ejde-400	183	19	magnetic	magnetic	ADJ
ejde-400	183	20	flux	flux	NOUN
ejde-400	183	21	,	,	PUNCT
ejde-400	183	22	comm	comm	NOUN
ejde-400	183	23	.	.	PUNCT
ejde-400	184	1	pde	pde	NOUN
ejde-400	184	2	,	,	PUNCT
ejde-400	184	3	20	20	NUM
ejde-400	184	4	(	(	PUNCT
ejde-400	184	5	1995	1995	NUM
ejde-400	184	6	)	)	PUNCT
ejde-400	184	7	,	,	PUNCT
ejde-400	184	8	1	1	NUM
ejde-400	184	9	-	-	SYM
ejde-400	184	10	36	36	NUM
ejde-400	184	11	.	.	PUNCT
ejde-400	185	1	[	[	X
ejde-400	185	2	12	12	NUM
ejde-400	185	3	]	]	PUNCT
ejde-400	185	4	q.	q.	PROPN
ejde-400	185	5	tang	tang	PROPN
ejde-400	185	6	,	,	PUNCT
ejde-400	185	7	s.	s.	PROPN
ejde-400	185	8	wang	wang	PROPN
ejde-400	185	9	;	;	PUNCT
ejde-400	185	10	time	time	NOUN
ejde-400	185	11	dependent	dependent	ADJ
ejde-400	185	12	ginzburg	ginzburg	NOUN
ejde-400	185	13	-	-	PUNCT
ejde-400	185	14	landau	landau	NOUN
ejde-400	185	15	equation	equation	NOUN
ejde-400	185	16	of	of	ADP
ejde-400	185	17	superconductivity	superconductivity	NOUN
ejde-400	185	18	,	,	PUNCT
ejde-400	185	19	physica	physica	NOUN
ejde-400	185	20	d	d	PROPN
ejde-400	185	21	,	,	PUNCT
ejde-400	185	22	88	88	NUM
ejde-400	185	23	(	(	PUNCT
ejde-400	185	24	1995	1995	NUM
ejde-400	185	25	)	)	PUNCT
ejde-400	185	26	,	,	PUNCT
ejde-400	185	27	139	139	NUM
ejde-400	185	28	-	-	SYM
ejde-400	185	29	166	166	NUM
ejde-400	185	30	.	.	PUNCT
ejde-400	186	1	jishan	jishan	PROPN
ejde-400	186	2	fan	fan	PROPN
ejde-400	186	3	department	department	PROPN
ejde-400	186	4	of	of	ADP
ejde-400	186	5	applied	apply	VERB
ejde-400	186	6	mathematics	mathematic	NOUN
ejde-400	186	7	,	,	PUNCT
ejde-400	186	8	nanjing	nanjing	PROPN
ejde-400	186	9	forestry	forestry	PROPN
ejde-400	186	10	university	university	PROPN
ejde-400	186	11	,	,	PUNCT
ejde-400	186	12	nanjing	nanjing	PROPN
ejde-400	186	13	210037	210037	NUM
ejde-400	186	14	,	,	PUNCT
ejde-400	186	15	china	china	PROPN
ejde-400	186	16	email	email	NOUN
ejde-400	186	17	address	address	NOUN
ejde-400	186	18	:	:	PUNCT
ejde-400	186	19	fanjishan@njfu.edu.cn	fanjishan@njfu.edu.cn	PROPN
ejde-400	186	20	yong	yong	PROPN
ejde-400	186	21	zhou	zhou	PROPN
ejde-400	186	22	(	(	PUNCT
ejde-400	186	23	corresponding	corresponding	ADJ
ejde-400	186	24	author	author	NOUN
ejde-400	186	25	)	)	PUNCT
ejde-400	186	26	school	school	NOUN
ejde-400	186	27	of	of	ADP
ejde-400	186	28	mathematics	mathematics	PROPN
ejde-400	186	29	(	(	PUNCT
ejde-400	186	30	zhuhai	zhuhai	PROPN
ejde-400	186	31	)	)	PUNCT
ejde-400	186	32	,	,	PUNCT
ejde-400	186	33	sun	sun	PROPN
ejde-400	186	34	yat	yat	PROPN
ejde-400	186	35	-	-	PUNCT
ejde-400	186	36	sen	sen	PROPN
ejde-400	186	37	university	university	PROPN
ejde-400	186	38	,	,	PUNCT
ejde-400	186	39	zhuhai	zhuhai	PROPN
ejde-400	186	40	,	,	PUNCT
ejde-400	186	41	guangdong	guangdong	PROPN
ejde-400	186	42	519082	519082	NUM
ejde-400	186	43	,	,	PUNCT
ejde-400	186	44	china	china	PROPN
ejde-400	186	45	email	email	NOUN
ejde-400	186	46	address	address	NOUN
ejde-400	186	47	:	:	PUNCT
ejde-400	186	48	zhouyong3@mail.sysu.edu.cn	zhouyong3@mail.sysu.edu.cn	PROPN
ejde-400	186	49	1	1	NUM
ejde-400	186	50	.	.	PUNCT
ejde-400	186	51	introduction	introduction	NOUN
ejde-400	186	52	2	2	NUM
ejde-400	186	53	.	.	PUNCT
ejde-400	186	54	proof	proof	NOUN
ejde-400	186	55	of	of	ADP
ejde-400	186	56	theorem	theorem	NOUN
ejde-400	186	57	?	?	PUNCT
ejde-400	186	58	?	?	PUNCT
ejde-400	187	1	3	3	X
ejde-400	187	2	.	.	X
ejde-400	187	3	proof	proof	NOUN
ejde-400	187	4	of	of	ADP
ejde-400	187	5	theorem	theorem	NOUN
ejde-400	187	6	?	?	PUNCT
ejde-400	187	7	?	?	PUNCT
ejde-400	188	1	acknowledgements	acknowledgement	NOUN
ejde-400	188	2	references	reference	NOUN