id	sid	tid	token	lemma	pos
ejde-187	1	1	special	special	ADJ
ejde-187	1	2	issue	issue	NOUN
ejde-187	1	3	in	in	ADP
ejde-187	1	4	honor	honor	NOUN
ejde-187	1	5	of	of	ADP
ejde-187	1	6	john	john	PROPN
ejde-187	1	7	w.	w.	PROPN
ejde-187	1	8	neuberger	neuberger	PROPN
ejde-187	1	9	electronic	electronic	PROPN
ejde-187	1	10	journal	journal	PROPN
ejde-187	1	11	of	of	ADP
ejde-187	1	12	differential	differential	ADJ
ejde-187	1	13	equations	equation	NOUN
ejde-187	1	14	,	,	PUNCT
ejde-187	1	15	special	special	ADJ
ejde-187	1	16	issue	issue	NOUN
ejde-187	1	17	02	02	NUM
ejde-187	1	18	(	(	PUNCT
ejde-187	1	19	2023	2023	NUM
ejde-187	1	20	)	)	PUNCT
ejde-187	1	21	,	,	PUNCT
ejde-187	1	22	pp	pp	PROPN
ejde-187	1	23	.	.	PUNCT
ejde-187	2	1	81–86	81–86	NUM
ejde-187	2	2	.	.	PUNCT
ejde-187	3	1	issn	issn	PROPN
ejde-187	3	2	:	:	PUNCT
ejde-187	3	3	1072	1072	NUM
ejde-187	3	4	-	-	SYM
ejde-187	3	5	6691	6691	NUM
ejde-187	3	6	.	.	PUNCT
ejde-187	4	1	url	url	PROPN
ejde-187	4	2	:	:	PUNCT
ejde-187	4	3	https://ejde.math.txstate.edu	https://ejde.math.txstate.edu	PROPN
ejde-187	4	4	or	or	CCONJ
ejde-187	4	5	https://ejde.math.unt.edu	https://ejde.math.unt.edu	PROPN
ejde-187	4	6	a	a	DET
ejde-187	4	7	semilinear	semilinear	ADJ
ejde-187	4	8	wave	wave	NOUN
ejde-187	4	9	equation	equation	NOUN
ejde-187	4	10	with	with	ADP
ejde-187	4	11	non	non	ADJ
ejde-187	4	12	-	-	ADJ
ejde-187	4	13	monotone	monotone	ADJ
ejde-187	4	14	nonlinearity	nonlinearity	NOUN
ejde-187	4	15	josé	josé	PROPN
ejde-187	4	16	f.	f.	PROPN
ejde-187	4	17	caicedo	caicedo	PROPN
ejde-187	4	18	,	,	PUNCT
ejde-187	4	19	alfonso	alfonso	PROPN
ejde-187	4	20	castro	castro	PROPN
ejde-187	4	21	,	,	PUNCT
ejde-187	4	22	rodrigo	rodrigo	PROPN
ejde-187	4	23	duque	duque	PROPN
ejde-187	4	24	,	,	PUNCT
ejde-187	4	25	arturo	arturo	PROPN
ejde-187	4	26	sanjuan	sanjuan	PROPN
ejde-187	4	27	abstract	abstract	PROPN
ejde-187	4	28	.	.	PUNCT
ejde-187	5	1	we	we	PRON
ejde-187	5	2	prove	prove	VERB
ejde-187	5	3	the	the	DET
ejde-187	5	4	existence	existence	NOUN
ejde-187	5	5	of	of	ADP
ejde-187	5	6	weak	weak	ADJ
ejde-187	5	7	solutions	solution	NOUN
ejde-187	5	8	to	to	ADP
ejde-187	5	9	a	a	DET
ejde-187	5	10	semilinear	semilinear	ADJ
ejde-187	5	11	wave	wave	NOUN
ejde-187	5	12	with	with	ADP
ejde-187	5	13	non	non	ADJ
ejde-187	5	14	-	-	ADJ
ejde-187	5	15	monotone	monotone	ADJ
ejde-187	5	16	asymptotically	asymptotically	ADV
ejde-187	5	17	linear	linear	ADJ
ejde-187	5	18	nonlinearity	nonlinearity	NOUN
ejde-187	5	19	when	when	SCONJ
ejde-187	5	20	the	the	DET
ejde-187	5	21	forcing	forcing	NOUN
ejde-187	5	22	is	be	AUX
ejde-187	5	23	dominated	dominate	VERB
ejde-187	5	24	by	by	ADP
ejde-187	5	25	a	a	DET
ejde-187	5	26	trigonometric	trigonometric	ADJ
ejde-187	5	27	polynomial	polynomial	NOUN
ejde-187	5	28	.	.	PUNCT
ejde-187	6	1	1	1	X
ejde-187	6	2	.	.	X
ejde-187	6	3	introduction	introduction	NOUN
ejde-187	6	4	let	let	VERB
ejde-187	6	5	ω	ω	PROPN
ejde-187	6	6	=	=	SYM
ejde-187	6	7	(	(	PUNCT
ejde-187	6	8	0	0	NUM
ejde-187	6	9	,	,	PUNCT
ejde-187	6	10	π)×	π)×	X
ejde-187	6	11	[	[	X
ejde-187	6	12	0	0	NUM
ejde-187	6	13	,	,	PUNCT
ejde-187	6	14	2π	2π	NOUN
ejde-187	6	15	]	]	PUNCT
ejde-187	6	16	and	and	CCONJ
ejde-187	6	17	ψ	ψ	X
ejde-187	6	18	a	a	DET
ejde-187	6	19	trigonometric	trigonometric	ADJ
ejde-187	6	20	polynomial	polynomial	NOUN
ejde-187	6	21	of	of	ADP
ejde-187	6	22	the	the	DET
ejde-187	6	23	form	form	NOUN
ejde-187	6	24	ψ(x	ψ(x	PROPN
ejde-187	6	25	,	,	PUNCT
ejde-187	6	26	t	t	PROPN
ejde-187	6	27	)	)	PUNCT
ejde-187	6	28	=	=	PUNCT
ejde-187	7	1	∑	∑	PUNCT
ejde-187	7	2	i	i	PROPN
ejde-187	7	3	,	,	PUNCT
ejde-187	7	4	j=1,n	j=1,n	PROPN
ejde-187	7	5	,	,	PUNCT
ejde-187	7	6	i6	i6	NOUN
ejde-187	7	7	=	=	SYM
ejde-187	7	8	j	j	PROPN
ejde-187	7	9	akj	akj	ADJ
ejde-187	7	10	sin(kx	sin(kx	PROPN
ejde-187	7	11	)	)	PUNCT
ejde-187	7	12	cos(jt	cos(jt	PROPN
ejde-187	7	13	)	)	PUNCT
ejde-187	7	14	+	+	CCONJ
ejde-187	7	15	bkj	bkj	NOUN
ejde-187	7	16	sin(kx	sin(kx	NOUN
ejde-187	7	17	)	)	PUNCT
ejde-187	7	18	cos(jt	cos(jt	PROPN
ejde-187	7	19	)	)	PUNCT
ejde-187	7	20	,	,	PUNCT
ejde-187	7	21	(	(	PUNCT
ejde-187	7	22	1.1	1.1	NUM
ejde-187	7	23	)	)	PUNCT
ejde-187	7	24	where	where	SCONJ
ejde-187	7	25	n	n	PRON
ejde-187	7	26	is	be	AUX
ejde-187	7	27	a	a	DET
ejde-187	7	28	positive	positive	ADJ
ejde-187	7	29	integer	integer	NOUN
ejde-187	7	30	.	.	PUNCT
ejde-187	8	1	we	we	PRON
ejde-187	8	2	study	study	VERB
ejde-187	8	3	the	the	DET
ejde-187	8	4	existence	existence	NOUN
ejde-187	8	5	of	of	ADP
ejde-187	8	6	weak	weak	ADJ
ejde-187	8	7	solutions	solution	NOUN
ejde-187	8	8	to	to	ADP
ejde-187	8	9	the	the	DET
ejde-187	8	10	dirichlet	dirichlet	NOUN
ejde-187	8	11	-	-	PUNCT
ejde-187	8	12	periodic	periodic	ADJ
ejde-187	8	13	problem	problem	NOUN
ejde-187	8	14	�	�	NOUN
ejde-187	8	15	u+	u+	NOUN
ejde-187	8	16	τu+	τu+	NOUN
ejde-187	8	17	h(u	h(u	PROPN
ejde-187	8	18	)	)	PUNCT
ejde-187	9	1	=	=	SYM
ejde-187	9	2	f(x	f(x	PROPN
ejde-187	9	3	,	,	PUNCT
ejde-187	9	4	t	t	PROPN
ejde-187	9	5	)	)	PUNCT
ejde-187	9	6	:	:	PUNCT
ejde-187	9	7	=	=	SYM
ejde-187	9	8	cψ(x	cψ(x	X
ejde-187	9	9	,	,	PUNCT
ejde-187	9	10	t	t	PROPN
ejde-187	9	11	)	)	PUNCT
ejde-187	9	12	+	+	CCONJ
ejde-187	10	1	g(x	g(x	PROPN
ejde-187	10	2	,	,	PUNCT
ejde-187	10	3	t	t	PROPN
ejde-187	10	4	)	)	PUNCT
ejde-187	10	5	,	,	PUNCT
ejde-187	10	6	u(0	u(0	PROPN
ejde-187	10	7	,	,	PUNCT
ejde-187	10	8	t	t	PROPN
ejde-187	10	9	)	)	PUNCT
ejde-187	10	10	=	=	SYM
ejde-187	11	1	u(π	u(π	PROPN
ejde-187	11	2	,	,	PUNCT
ejde-187	11	3	t	t	PROPN
ejde-187	11	4	)	)	PUNCT
ejde-187	11	5	=	=	SYM
ejde-187	11	6	0	0	NUM
ejde-187	11	7	,	,	PUNCT
ejde-187	11	8	u(x	u(x	PROPN
ejde-187	11	9	,	,	PUNCT
ejde-187	11	10	t	t	NOUN
ejde-187	11	11	)	)	PUNCT
ejde-187	11	12	=	=	SYM
ejde-187	11	13	u(x	u(x	NOUN
ejde-187	11	14	,	,	PUNCT
ejde-187	11	15	t+	t+	X
ejde-187	11	16	2π	2π	NOUN
ejde-187	11	17	)	)	PUNCT
ejde-187	11	18	,	,	PUNCT
ejde-187	11	19	(	(	PUNCT
ejde-187	11	20	x	x	X
ejde-187	11	21	,	,	PUNCT
ejde-187	11	22	t	t	PROPN
ejde-187	11	23	)	)	PUNCT
ejde-187	11	24	∈	∈	PROPN
ejde-187	12	1	[	[	X
ejde-187	12	2	0	0	NUM
ejde-187	12	3	,	,	PUNCT
ejde-187	12	4	π]×	π]×	NOUN
ejde-187	12	5	r	r	NOUN
ejde-187	12	6	,	,	PUNCT
ejde-187	12	7	(	(	PUNCT
ejde-187	12	8	1.2	1.2	NUM
ejde-187	12	9	)	)	PUNCT
ejde-187	12	10	where	where	SCONJ
ejde-187	12	11	�	�	PROPN
ejde-187	12	12	denotes	denote	VERB
ejde-187	12	13	the	the	DET
ejde-187	12	14	d’alembert	d’alembert	NOUN
ejde-187	12	15	operator	operator	NOUN
ejde-187	12	16	∂tt−∂xx	∂tt−∂xx	PROPN
ejde-187	12	17	,	,	PUNCT
ejde-187	12	18	τ	τ	PROPN
ejde-187	12	19	>	>	X
ejde-187	12	20	0	0	PUNCT
ejde-187	13	1	and	and	CCONJ
ejde-187	13	2	τ	τ	PROPN
ejde-187	13	3	6∈	6∈	PROPN
ejde-187	13	4	σ	σ	PROPN
ejde-187	13	5	(	(	PUNCT
ejde-187	13	6	�	�	PROPN
ejde-187	13	7	)	)	PUNCT
ejde-187	13	8	=	=	PRON
ejde-187	13	9	{	{	PUNCT
ejde-187	13	10	k2−j2	k2−j2	NUM
ejde-187	13	11	:	:	PUNCT
ejde-187	14	1	k	k	X
ejde-187	14	2	=	=	SYM
ejde-187	14	3	1	1	NUM
ejde-187	14	4	,	,	PUNCT
ejde-187	14	5	2	2	NUM
ejde-187	14	6	,	,	PUNCT
ejde-187	14	7	.	.	PUNCT
ejde-187	14	8	.	.	PUNCT
ejde-187	14	9	.	.	PUNCT
ejde-187	15	1	,	,	PUNCT
ejde-187	15	2	,	,	PUNCT
ejde-187	15	3	j	j	PROPN
ejde-187	15	4	=	=	SYM
ejde-187	15	5	0	0	NUM
ejde-187	15	6	,	,	PUNCT
ejde-187	15	7	1	1	NUM
ejde-187	15	8	,	,	PUNCT
ejde-187	15	9	2	2	NUM
ejde-187	15	10	,	,	PUNCT
ejde-187	15	11	.	.	PUNCT
ejde-187	15	12	.	.	PUNCT
ejde-187	16	1	.	.	PUNCT
ejde-187	17	1	}	}	PUNCT
ejde-187	18	1	,	,	PUNCT
ejde-187	18	2	c	c	PROPN
ejde-187	18	3	∈	∈	PROPN
ejde-187	18	4	r	r	NOUN
ejde-187	18	5	,	,	PUNCT
ejde-187	18	6	g	g	PROPN
ejde-187	18	7	∈	∈	PROPN
ejde-187	18	8	l2(ω	l2(ω	PROPN
ejde-187	18	9	)	)	PUNCT
ejde-187	18	10	,	,	PUNCT
ejde-187	18	11	and∫∫	and∫∫	PROPN
ejde-187	18	12	ω	ω	PROPN
ejde-187	18	13	ψ(x	ψ(x	PROPN
ejde-187	18	14	,	,	PUNCT
ejde-187	18	15	t)g(x	t)g(x	NOUN
ejde-187	18	16	,	,	PUNCT
ejde-187	18	17	t	t	PROPN
ejde-187	18	18	)	)	PUNCT
ejde-187	18	19	dx	dx	PROPN
ejde-187	18	20	dt	dt	NOUN
ejde-187	19	1	=	=	SYM
ejde-187	19	2	0	0	PROPN
ejde-187	19	3	,	,	PUNCT
ejde-187	19	4	(	(	PUNCT
ejde-187	19	5	1.3	1.3	NUM
ejde-187	19	6	)	)	PUNCT
ejde-187	19	7	we	we	PRON
ejde-187	19	8	assume	assume	VERB
ejde-187	19	9	that	that	SCONJ
ejde-187	19	10	h	h	NOUN
ejde-187	19	11	is	be	AUX
ejde-187	19	12	bounded	bound	VERB
ejde-187	19	13	and	and	CCONJ
ejde-187	19	14	differentiable	differentiable	ADJ
ejde-187	19	15	,	,	PUNCT
ejde-187	20	1	that	that	SCONJ
ejde-187	20	2	h′(u	h′(u	NOUN
ejde-187	20	3	)	)	PUNCT
ejde-187	20	4	<	<	X
ejde-187	20	5	−τ	−τ	PROPN
ejde-187	20	6	for	for	ADP
ejde-187	20	7	some	some	DET
ejde-187	20	8	u	u	NOUN
ejde-187	20	9	∈	∈	PROPN
ejde-187	20	10	r	r	NOUN
ejde-187	20	11	,	,	PUNCT
ejde-187	20	12	and	and	CCONJ
ejde-187	20	13	that	that	SCONJ
ejde-187	20	14	lim	lim	PROPN
ejde-187	20	15	|u|→∞	|u|→∞	PROPN
ejde-187	20	16	h′(u	h′(u	PROPN
ejde-187	20	17	)	)	PUNCT
ejde-187	20	18	=	=	SYM
ejde-187	20	19	0	0	X
ejde-187	20	20	.	.	PUNCT
ejde-187	20	21	(	(	PUNCT
ejde-187	20	22	1.4	1.4	NUM
ejde-187	20	23	)	)	PUNCT
ejde-187	20	24	that	that	PRON
ejde-187	20	25	is	be	AUX
ejde-187	20	26	,	,	PUNCT
ejde-187	20	27	h(u	h(u	PROPN
ejde-187	20	28	)	)	PUNCT
ejde-187	20	29	:	:	PUNCT
ejde-187	21	1	=	=	NOUN
ejde-187	21	2	τu+	τu+	PROPN
ejde-187	21	3	h(u	h(u	PROPN
ejde-187	21	4	)	)	PUNCT
ejde-187	21	5	is	be	AUX
ejde-187	21	6	non	non	ADJ
ejde-187	21	7	-	-	ADJ
ejde-187	21	8	monotone	monotone	ADJ
ejde-187	21	9	and	and	CCONJ
ejde-187	21	10	asymptotically	asymptotically	ADV
ejde-187	21	11	linear	linear	ADJ
ejde-187	21	12	.	.	PUNCT
ejde-187	22	1	we	we	PRON
ejde-187	22	2	denote	denote	VERB
ejde-187	22	3	by	by	ADP
ejde-187	22	4	‖	‖	PROPN
ejde-187	22	5	·	·	PUNCT
ejde-187	22	6	‖2	‖2	NOUN
ejde-187	22	7	the	the	DET
ejde-187	22	8	norm	norm	NOUN
ejde-187	22	9	in	in	ADP
ejde-187	22	10	l2(ω	l2(ω	PROPN
ejde-187	22	11	)	)	PUNCT
ejde-187	22	12	.	.	PUNCT
ejde-187	23	1	our	our	PRON
ejde-187	23	2	main	main	ADJ
ejde-187	23	3	result	result	NOUN
ejde-187	23	4	is	be	AUX
ejde-187	23	5	the	the	DET
ejde-187	23	6	following	follow	VERB
ejde-187	23	7	theorem	theorem	ADJ
ejde-187	23	8	.	.	PUNCT
ejde-187	23	9	theorem	theorem	VERB
ejde-187	23	10	1.1	1.1	NUM
ejde-187	23	11	.	.	PUNCT
ejde-187	24	1	for	for	ADP
ejde-187	24	2	each	each	DET
ejde-187	24	3	g	g	PROPN
ejde-187	24	4	∈	∈	PROPN
ejde-187	24	5	l2(ω	l2(ω	NOUN
ejde-187	24	6	)	)	PUNCT
ejde-187	24	7	satisfying	satisfying	NOUN
ejde-187	24	8	(	(	PUNCT
ejde-187	24	9	1.3	1.3	NUM
ejde-187	24	10	)	)	PUNCT
ejde-187	24	11	,	,	PUNCT
ejde-187	24	12	there	there	PRON
ejde-187	24	13	exists	exist	VERB
ejde-187	24	14	c0(‖g‖2	c0(‖g‖2	PROPN
ejde-187	24	15	)	)	PUNCT
ejde-187	24	16	such	such	ADJ
ejde-187	24	17	that	that	SCONJ
ejde-187	24	18	if	if	SCONJ
ejde-187	24	19	|c|	|c|	PROPN
ejde-187	24	20	>	>	X
ejde-187	24	21	c0(‖g‖2	c0(‖g‖2	PROPN
ejde-187	24	22	)	)	PUNCT
ejde-187	24	23	then	then	ADV
ejde-187	24	24	(	(	PUNCT
ejde-187	24	25	1.2	1.2	NUM
ejde-187	24	26	)	)	PUNCT
ejde-187	24	27	has	have	VERB
ejde-187	24	28	a	a	DET
ejde-187	24	29	solution	solution	NOUN
ejde-187	24	30	.	.	PUNCT
ejde-187	25	1	2020	2020	NUM
ejde-187	25	2	mathematics	mathematic	NOUN
ejde-187	25	3	subject	subject	ADJ
ejde-187	25	4	classification	classification	NOUN
ejde-187	25	5	.	.	PUNCT
ejde-187	26	1	35j25	35j25	NUM
ejde-187	26	2	,	,	PUNCT
ejde-187	26	3	58j05	58j05	NOUN
ejde-187	26	4	.	.	PUNCT
ejde-187	27	1	key	key	ADJ
ejde-187	27	2	words	word	NOUN
ejde-187	27	3	and	and	CCONJ
ejde-187	27	4	phrases	phrase	NOUN
ejde-187	27	5	.	.	PUNCT
ejde-187	28	1	semilinear	semilinear	ADJ
ejde-187	28	2	wave	wave	PROPN
ejde-187	28	3	equation	equation	NOUN
ejde-187	28	4	;	;	PUNCT
ejde-187	28	5	weak	weak	ADJ
ejde-187	28	6	solution	solution	NOUN
ejde-187	28	7	;	;	PUNCT
ejde-187	28	8	nazarov	nazarov	NOUN
ejde-187	28	9	-	-	PUNCT
ejde-187	28	10	turan	turan	NOUN
ejde-187	28	11	lemma	lemma	PROPN
ejde-187	28	12	;	;	PUNCT
ejde-187	28	13	non	non	ADJ
ejde-187	28	14	-	-	ADJ
ejde-187	28	15	monotone	monotone	ADJ
ejde-187	28	16	nonlinearity	nonlinearity	NOUN
ejde-187	28	17	;	;	PUNCT
ejde-187	28	18	characteristic	characteristic	ADJ
ejde-187	28	19	lines	line	NOUN
ejde-187	28	20	.	.	PUNCT
ejde-187	29	1	©	©	ADP
ejde-187	29	2	2023	2023	NUM
ejde-187	29	3	this	this	DET
ejde-187	29	4	work	work	NOUN
ejde-187	29	5	is	be	AUX
ejde-187	29	6	licensed	license	VERB
ejde-187	29	7	under	under	ADP
ejde-187	29	8	a	a	DET
ejde-187	29	9	cc	cc	NOUN
ejde-187	29	10	by	by	ADP
ejde-187	29	11	4.0	4.0	NUM
ejde-187	29	12	license	license	NOUN
ejde-187	29	13	.	.	PUNCT
ejde-187	30	1	published	publish	VERB
ejde-187	30	2	march	march	PROPN
ejde-187	30	3	27	27	NUM
ejde-187	30	4	,	,	PUNCT
ejde-187	30	5	2023	2023	NUM
ejde-187	30	6	.	.	PUNCT
ejde-187	31	1	81	81	NUM
ejde-187	31	2	82	82	NUM
ejde-187	31	3	j.	j.	PROPN
ejde-187	31	4	f.	f.	PROPN
ejde-187	31	5	caicedo	caicedo	PROPN
ejde-187	31	6	,	,	PUNCT
ejde-187	31	7	a.	a.	NOUN
ejde-187	31	8	castro	castro	PROPN
ejde-187	31	9	,	,	PUNCT
ejde-187	31	10	r.	r.	PROPN
ejde-187	31	11	duque	duque	PROPN
ejde-187	31	12	,	,	PUNCT
ejde-187	31	13	a.	a.	PROPN
ejde-187	31	14	sanjuan	sanjuan	PROPN
ejde-187	31	15	ejde	ejde	PROPN
ejde-187	31	16	/	/	SYM
ejde-187	31	17	si/02	si/02	PROPN
ejde-187	31	18	this	this	DET
ejde-187	31	19	result	result	NOUN
ejde-187	31	20	is	be	AUX
ejde-187	31	21	in	in	ADP
ejde-187	31	22	the	the	DET
ejde-187	31	23	spirit	spirit	NOUN
ejde-187	31	24	of	of	ADP
ejde-187	31	25	determining	determine	VERB
ejde-187	31	26	the	the	DET
ejde-187	31	27	range	range	NOUN
ejde-187	31	28	of	of	ADP
ejde-187	31	29	semilinear	semilinear	ADJ
ejde-187	31	30	wave	wave	NOUN
ejde-187	31	31	operators	operator	NOUN
ejde-187	31	32	with	with	ADP
ejde-187	31	33	non	non	ADJ
ejde-187	31	34	-	-	ADJ
ejde-187	31	35	monotone	monotone	ADJ
ejde-187	31	36	nonlinearities	nonlinearitie	NOUN
ejde-187	31	37	which	which	PRON
ejde-187	31	38	goes	go	VERB
ejde-187	31	39	back	back	ADV
ejde-187	31	40	to	to	ADP
ejde-187	31	41	the	the	DET
ejde-187	31	42	results	result	NOUN
ejde-187	31	43	in	in	ADP
ejde-187	31	44	[	[	X
ejde-187	31	45	9	9	NUM
ejde-187	31	46	,	,	PUNCT
ejde-187	31	47	12	12	NUM
ejde-187	31	48	]	]	PUNCT
ejde-187	31	49	where	where	SCONJ
ejde-187	31	50	the	the	DET
ejde-187	31	51	range	range	NOUN
ejde-187	31	52	of	of	ADP
ejde-187	31	53	such	such	ADJ
ejde-187	31	54	operators	operator	NOUN
ejde-187	31	55	was	be	AUX
ejde-187	31	56	proven	prove	VERB
ejde-187	31	57	to	to	PART
ejde-187	31	58	be	be	AUX
ejde-187	31	59	dense	dense	ADJ
ejde-187	31	60	in	in	ADP
ejde-187	31	61	l2(ω	l2(ω	PROPN
ejde-187	31	62	)	)	PUNCT
ejde-187	31	63	.	.	PUNCT
ejde-187	32	1	the	the	DET
ejde-187	32	2	reader	reader	NOUN
ejde-187	32	3	is	be	AUX
ejde-187	32	4	referred	refer	VERB
ejde-187	32	5	to	to	ADP
ejde-187	32	6	[	[	X
ejde-187	32	7	6	6	NUM
ejde-187	32	8	]	]	PUNCT
ejde-187	32	9	for	for	ADP
ejde-187	32	10	a	a	DET
ejde-187	32	11	review	review	NOUN
ejde-187	32	12	in	in	ADP
ejde-187	32	13	the	the	DET
ejde-187	32	14	subject	subject	NOUN
ejde-187	32	15	and	and	CCONJ
ejde-187	32	16	to	to	ADP
ejde-187	32	17	[	[	X
ejde-187	32	18	4	4	X
ejde-187	32	19	]	]	PUNCT
ejde-187	32	20	for	for	ADP
ejde-187	32	21	a	a	DET
ejde-187	32	22	recent	recent	ADJ
ejde-187	32	23	result	result	NOUN
ejde-187	32	24	on	on	ADP
ejde-187	32	25	(	(	PUNCT
ejde-187	32	26	1.2	1.2	NUM
ejde-187	32	27	)	)	PUNCT
ejde-187	32	28	with	with	ADP
ejde-187	32	29	ψ	ψ	PRON
ejde-187	32	30	replaced	replace	VERB
ejde-187	32	31	by	by	ADP
ejde-187	32	32	functions	function	NOUN
ejde-187	32	33	that	that	PRON
ejde-187	32	34	may	may	AUX
ejde-187	32	35	be	be	AUX
ejde-187	32	36	flat	flat	ADJ
ejde-187	32	37	on	on	ADP
ejde-187	32	38	characteristics	characteristic	NOUN
ejde-187	32	39	.	.	PUNCT
ejde-187	33	1	for	for	ADP
ejde-187	33	2	earlier	early	ADJ
ejde-187	33	3	results	result	NOUN
ejde-187	33	4	on	on	ADP
ejde-187	33	5	semilinear	semilinear	ADJ
ejde-187	33	6	wave	wave	NOUN
ejde-187	33	7	equations	equation	NOUN
ejde-187	33	8	with	with	ADP
ejde-187	33	9	monotone	monotone	ADJ
ejde-187	33	10	nonlinearities	nonlinearitie	NOUN
ejde-187	33	11	see	see	VERB
ejde-187	33	12	[	[	X
ejde-187	33	13	1	1	NUM
ejde-187	33	14	,	,	PUNCT
ejde-187	33	15	10	10	NUM
ejde-187	33	16	,	,	PUNCT
ejde-187	33	17	11	11	NUM
ejde-187	33	18	]	]	PUNCT
ejde-187	33	19	.	.	PUNCT
ejde-187	34	1	a	a	DET
ejde-187	34	2	key	key	ADJ
ejde-187	34	3	piece	piece	NOUN
ejde-187	34	4	in	in	ADP
ejde-187	34	5	our	our	PRON
ejde-187	34	6	arguments	argument	NOUN
ejde-187	34	7	is	be	AUX
ejde-187	34	8	the	the	DET
ejde-187	34	9	nazarov	nazarov	NOUN
ejde-187	34	10	-	-	PUNCT
ejde-187	34	11	turan	turan	NOUN
ejde-187	34	12	lemma	lemma	PROPN
ejde-187	34	13	which	which	PRON
ejde-187	34	14	we	we	PRON
ejde-187	34	15	state	state	VERB
ejde-187	34	16	next	next	ADV
ejde-187	34	17	for	for	ADP
ejde-187	34	18	the	the	DET
ejde-187	34	19	sake	sake	NOUN
ejde-187	34	20	of	of	ADP
ejde-187	34	21	completeness	completeness	NOUN
ejde-187	34	22	in	in	ADP
ejde-187	34	23	the	the	DET
ejde-187	34	24	presentation	presentation	NOUN
ejde-187	34	25	.	.	PUNCT
ejde-187	35	1	for	for	ADP
ejde-187	35	2	a	a	DET
ejde-187	35	3	role	role	NOUN
ejde-187	35	4	of	of	ADP
ejde-187	35	5	the	the	DET
ejde-187	35	6	nazarov	nazarov	NOUN
ejde-187	35	7	-	-	PUNCT
ejde-187	35	8	turan	turan	NOUN
ejde-187	35	9	lemma	lemma	PROPN
ejde-187	35	10	in	in	ADP
ejde-187	35	11	bifurcation	bifurcation	NOUN
ejde-187	35	12	at	at	ADP
ejde-187	35	13	infinity	infinity	NOUN
ejde-187	35	14	,	,	PUNCT
ejde-187	35	15	the	the	DET
ejde-187	35	16	reader	reader	NOUN
ejde-187	35	17	is	be	AUX
ejde-187	35	18	referred	refer	VERB
ejde-187	35	19	to	to	ADP
ejde-187	35	20	[	[	X
ejde-187	35	21	8	8	NUM
ejde-187	35	22	]	]	PUNCT
ejde-187	35	23	.	.	PUNCT
ejde-187	36	1	lemma	lemma	PROPN
ejde-187	36	2	1.2	1.2	NUM
ejde-187	36	3	(	(	PUNCT
ejde-187	36	4	nazarov	nazarov	NOUN
ejde-187	36	5	-	-	PUNCT
ejde-187	36	6	turan	turan	NOUN
ejde-187	36	7	lemma	lemma	PROPN
ejde-187	36	8	)	)	PUNCT
ejde-187	36	9	.	.	PUNCT
ejde-187	37	1	if	if	SCONJ
ejde-187	37	2	φ	φ	PROPN
ejde-187	37	3	is	be	AUX
ejde-187	37	4	a	a	DET
ejde-187	37	5	trigonometric	trigonometric	ADJ
ejde-187	37	6	polynomial	polynomial	ADJ
ejde-187	37	7	with∫	with∫	NOUN
ejde-187	37	8	ω	ω	PROPN
ejde-187	37	9	φ(x	φ(x	PROPN
ejde-187	37	10	,	,	PUNCT
ejde-187	37	11	t	t	PROPN
ejde-187	37	12	)	)	PUNCT
ejde-187	37	13	sin(kx	sin(kx	NOUN
ejde-187	37	14	)	)	PUNCT
ejde-187	37	15	sin(kt	sin(kt	NOUN
ejde-187	37	16	)	)	PUNCT
ejde-187	37	17	dx	dx	PROPN
ejde-187	38	1	dt	dt	NOUN
ejde-187	39	1	=	=	SYM
ejde-187	39	2	∫	∫	PROPN
ejde-187	39	3	ω	ω	PROPN
ejde-187	39	4	φ(x	φ(x	PROPN
ejde-187	39	5	,	,	PUNCT
ejde-187	39	6	t	t	PROPN
ejde-187	39	7	)	)	PUNCT
ejde-187	39	8	sin(kx	sin(kx	NOUN
ejde-187	39	9	)	)	PUNCT
ejde-187	39	10	sin(kt	sin(kt	NOUN
ejde-187	39	11	)	)	PUNCT
ejde-187	39	12	dx	dx	PROPN
ejde-187	39	13	dt	dt	NOUN
ejde-187	40	1	=	=	SYM
ejde-187	40	2	0	0	PROPN
ejde-187	40	3	,	,	PUNCT
ejde-187	40	4	(	(	PUNCT
ejde-187	40	5	1.5	1.5	NUM
ejde-187	40	6	)	)	PUNCT
ejde-187	40	7	for	for	ADP
ejde-187	40	8	any	any	DET
ejde-187	40	9	positive	positive	ADJ
ejde-187	40	10	integer	integer	NOUN
ejde-187	41	1	k	k	PROPN
ejde-187	41	2	then	then	ADV
ejde-187	41	3	there	there	PRON
ejde-187	41	4	exists	exist	VERB
ejde-187	41	5	α	α	PROPN
ejde-187	41	6	>	>	X
ejde-187	41	7	0	0	NUM
ejde-187	42	1	such	such	ADJ
ejde-187	42	2	that	that	PRON
ejde-187	42	3	for	for	ADP
ejde-187	42	4	any	any	DET
ejde-187	42	5	δ	δ	PROPN
ejde-187	42	6	∈	∈	PROPN
ejde-187	42	7	(	(	PUNCT
ejde-187	42	8	0	0	NUM
ejde-187	42	9	,	,	PUNCT
ejde-187	42	10	1	1	NUM
ejde-187	42	11	)	)	PUNCT
ejde-187	42	12	,	,	PUNCT
ejde-187	42	13	m({(x	m({(x	PROPN
ejde-187	42	14	,	,	PUNCT
ejde-187	42	15	t	t	PROPN
ejde-187	42	16	)	)	PUNCT
ejde-187	42	17	∈	∈	PROPN
ejde-187	42	18	ω	ω	PROPN
ejde-187	42	19	;	;	PUNCT
ejde-187	42	20	|φ(x	|φ(x	PROPN
ejde-187	42	21	,	,	PUNCT
ejde-187	42	22	t)|	t)|	ADV
ejde-187	42	23	<	<	X
ejde-187	42	24	δ	δ	NOUN
ejde-187	42	25	}	}	PUNCT
ejde-187	42	26	)	)	PUNCT
ejde-187	42	27	<	<	X
ejde-187	42	28	δα	δα	X
ejde-187	42	29	.	.	PROPN
ejde-187	42	30	(	(	PUNCT
ejde-187	42	31	1.6	1.6	NUM
ejde-187	42	32	)	)	PUNCT
ejde-187	42	33	moreover	moreover	ADV
ejde-187	42	34	,	,	PUNCT
ejde-187	42	35	m(ar	m(ar	PROPN
ejde-187	42	36	,	,	PUNCT
ejde-187	42	37	δ	δ	NOUN
ejde-187	42	38	)	)	PUNCT
ejde-187	42	39	:	:	PUNCT
ejde-187	43	1	=	=	PUNCT
ejde-187	43	2	m({x	m({x	NOUN
ejde-187	43	3	∈	∈	PROPN
ejde-187	44	1	[	[	X
ejde-187	44	2	0	0	NUM
ejde-187	44	3	,	,	PUNCT
ejde-187	44	4	π	π	NOUN
ejde-187	44	5	]	]	X
ejde-187	44	6	:	:	PUNCT
ejde-187	44	7	|φ(x	|φ(x	PROPN
ejde-187	44	8	,	,	PUNCT
ejde-187	44	9	r	r	NOUN
ejde-187	44	10	+	+	X
ejde-187	44	11	x)|	x)|	PROPN
ejde-187	44	12	<	<	X
ejde-187	44	13	δ	δ	PROPN
ejde-187	44	14	}	}	PUNCT
ejde-187	44	15	)	)	PUNCT
ejde-187	44	16	<	<	X
ejde-187	44	17	δα	δα	X
ejde-187	44	18	,	,	PUNCT
ejde-187	44	19	(	(	PUNCT
ejde-187	44	20	1.7	1.7	NUM
ejde-187	44	21	)	)	PUNCT
ejde-187	44	22	uniformly	uniformly	ADV
ejde-187	44	23	for	for	ADP
ejde-187	44	24	r	r	NOUN
ejde-187	44	25	∈	∈	PROPN
ejde-187	44	26	[	[	X
ejde-187	44	27	0	0	NUM
ejde-187	44	28	,	,	PUNCT
ejde-187	44	29	2π	2π	NOUN
ejde-187	44	30	]	]	PUNCT
ejde-187	44	31	.	.	PUNCT
ejde-187	45	1	in	in	ADP
ejde-187	45	2	the	the	DET
ejde-187	45	3	above	above	ADJ
ejde-187	45	4	lemma	lemma	PROPN
ejde-187	45	5	and	and	CCONJ
ejde-187	45	6	in	in	ADP
ejde-187	45	7	what	what	PRON
ejde-187	45	8	follows	follow	VERB
ejde-187	45	9	m	m	PROPN
ejde-187	45	10	denotes	denote	NOUN
ejde-187	45	11	the	the	DET
ejde-187	45	12	lebesgue	lebesgue	ADJ
ejde-187	45	13	measure	measure	NOUN
ejde-187	45	14	in	in	ADP
ejde-187	45	15	one	one	NUM
ejde-187	45	16	or	or	CCONJ
ejde-187	45	17	two	two	NUM
ejde-187	45	18	dimensions	dimension	NOUN
ejde-187	45	19	as	as	SCONJ
ejde-187	45	20	given	give	VERB
ejde-187	45	21	by	by	ADP
ejde-187	45	22	the	the	DET
ejde-187	45	23	context	context	NOUN
ejde-187	45	24	.	.	PUNCT
ejde-187	46	1	2	2	X
ejde-187	46	2	.	.	X
ejde-187	46	3	preliminaries	preliminary	NOUN
ejde-187	46	4	let	let	VERB
ejde-187	46	5	n	n	PRON
ejde-187	46	6	denote	denote	VERB
ejde-187	46	7	the	the	DET
ejde-187	46	8	closure	closure	NOUN
ejde-187	46	9	of	of	ADP
ejde-187	46	10	the	the	DET
ejde-187	46	11	linear	linear	ADJ
ejde-187	46	12	subspace	subspace	NOUN
ejde-187	46	13	of	of	ADP
ejde-187	46	14	l2(ω	l2(ω	PROPN
ejde-187	46	15	)	)	PUNCT
ejde-187	46	16	spanned	span	VERB
ejde-187	46	17	by	by	ADP
ejde-187	46	18	{	{	PUNCT
ejde-187	46	19	sin(kx	sin(kx	PROPN
ejde-187	46	20	)	)	PUNCT
ejde-187	46	21	cos(kt	cos(kt	NOUN
ejde-187	46	22	)	)	PUNCT
ejde-187	46	23	,	,	PUNCT
ejde-187	46	24	sin(kx	sin(kx	NOUN
ejde-187	46	25	)	)	PUNCT
ejde-187	46	26	sin(kt	sin(kt	NOUN
ejde-187	46	27	)	)	PUNCT
ejde-187	46	28	,	,	PUNCT
ejde-187	46	29	k	k	PROPN
ejde-187	46	30	=	=	SYM
ejde-187	46	31	1	1	NUM
ejde-187	46	32	,	,	PUNCT
ejde-187	46	33	2	2	NUM
ejde-187	46	34	,	,	PUNCT
ejde-187	46	35	.	.	PUNCT
ejde-187	46	36	.	.	PUNCT
ejde-187	47	1	.	.	PUNCT
ejde-187	47	2	}	}	PUNCT
ejde-187	47	3	.	.	PUNCT
ejde-187	48	1	(	(	PUNCT
ejde-187	48	2	2.1	2.1	NUM
ejde-187	48	3	)	)	PUNCT
ejde-187	48	4	that	that	PRON
ejde-187	48	5	is	be	AUX
ejde-187	48	6	,	,	PUNCT
ejde-187	48	7	n	n	PRON
ejde-187	48	8	is	be	AUX
ejde-187	48	9	the	the	DET
ejde-187	48	10	kernel	kernel	NOUN
ejde-187	48	11	of	of	ADP
ejde-187	48	12	the	the	DET
ejde-187	48	13	wave	wave	NOUN
ejde-187	48	14	operator	operator	NOUN
ejde-187	48	15	�	�	PROPN
ejde-187	48	16	in	in	ADP
ejde-187	48	17	(	(	PUNCT
ejde-187	48	18	1.2	1.2	NUM
ejde-187	48	19	)	)	PUNCT
ejde-187	48	20	.	.	PUNCT
ejde-187	49	1	if	if	SCONJ
ejde-187	49	2	v	v	NUM
ejde-187	49	3	∈	∈	NOUN
ejde-187	49	4	n	n	NOUN
ejde-187	49	5	,	,	PUNCT
ejde-187	49	6	then	then	ADV
ejde-187	49	7	there	there	PRON
ejde-187	49	8	exists	exist	VERB
ejde-187	49	9	a	a	DET
ejde-187	49	10	unique	unique	ADJ
ejde-187	49	11	2π	2π	NOUN
ejde-187	49	12	-	-	ADJ
ejde-187	49	13	periodic	periodic	ADJ
ejde-187	49	14	function	function	NOUN
ejde-187	49	15	p	p	NOUN
ejde-187	49	16	:	:	PUNCT
ejde-187	50	1	r	r	NOUN
ejde-187	50	2	→	→	SYM
ejde-187	50	3	r	r	NOUN
ejde-187	50	4	such	such	ADJ
ejde-187	50	5	that	that	SCONJ
ejde-187	50	6	p	p	PROPN
ejde-187	50	7	∈	∈	PROPN
ejde-187	50	8	l2([0	l2([0	PROPN
ejde-187	50	9	,	,	PUNCT
ejde-187	50	10	2π	2π	NOUN
ejde-187	50	11	]	]	PUNCT
ejde-187	50	12	)	)	PUNCT
ejde-187	50	13	,	,	PUNCT
ejde-187	50	14	∫	∫	PROPN
ejde-187	50	15	2π	2π	NOUN
ejde-187	50	16	0	0	PUNCT
ejde-187	50	17	p(t)dt	p(t)dt	VERB
ejde-187	50	18	=	=	SYM
ejde-187	50	19	0	0	NUM
ejde-187	50	20	,	,	PUNCT
ejde-187	50	21	and	and	CCONJ
ejde-187	50	22	v(x	v(x	PROPN
ejde-187	50	23	,	,	PUNCT
ejde-187	50	24	t	t	PROPN
ejde-187	50	25	)	)	PUNCT
ejde-187	50	26	=	=	X
ejde-187	51	1	p(t+	p(t+	PROPN
ejde-187	51	2	x)−	x)−	PROPN
ejde-187	51	3	p(t−	p(t−	PROPN
ejde-187	51	4	x	x	X
ejde-187	51	5	)	)	PUNCT
ejde-187	51	6	.	.	PUNCT
ejde-187	52	1	(	(	PUNCT
ejde-187	52	2	2.2	2.2	NUM
ejde-187	52	3	)	)	PUNCT
ejde-187	52	4	we	we	PRON
ejde-187	52	5	let	let	VERB
ejde-187	52	6	h1	h1	PRON
ejde-187	52	7	denote	denote	VERB
ejde-187	52	8	the	the	DET
ejde-187	52	9	sobolev	sobolev	ADJ
ejde-187	52	10	space	space	NOUN
ejde-187	52	11	of	of	ADP
ejde-187	52	12	functions	function	NOUN
ejde-187	52	13	u	u	NOUN
ejde-187	52	14	:	:	PUNCT
ejde-187	53	1	[	[	X
ejde-187	53	2	0	0	NUM
ejde-187	53	3	,	,	PUNCT
ejde-187	53	4	π	π	X
ejde-187	53	5	]	]	X
ejde-187	53	6	×	×	NOUN
ejde-187	53	7	r	r	NOUN
ejde-187	53	8	→	→	SYM
ejde-187	53	9	r	r	NOUN
ejde-187	53	10	that	that	PRON
ejde-187	53	11	are	be	AUX
ejde-187	53	12	2π	2π	NOUN
ejde-187	53	13	-	-	NOUN
ejde-187	53	14	periodic	periodic	ADJ
ejde-187	53	15	in	in	ADP
ejde-187	53	16	their	their	PRON
ejde-187	53	17	second	second	ADJ
ejde-187	53	18	variable	variable	NOUN
ejde-187	53	19	,	,	PUNCT
ejde-187	53	20	with	with	ADP
ejde-187	53	21	u	u	NOUN
ejde-187	53	22	and	and	CCONJ
ejde-187	53	23	its	its	PRON
ejde-187	53	24	first	first	ADJ
ejde-187	53	25	order	order	NOUN
ejde-187	53	26	partial	partial	ADJ
ejde-187	53	27	derivatives	derivative	NOUN
ejde-187	53	28	in	in	ADP
ejde-187	53	29	l2(ω	l2(ω	NOUN
ejde-187	53	30	)	)	PUNCT
ejde-187	53	31	,	,	PUNCT
ejde-187	53	32	and	and	CCONJ
ejde-187	53	33	vanishing	vanish	VERB
ejde-187	53	34	on	on	ADP
ejde-187	53	35	{	{	PUNCT
ejde-187	53	36	0	0	NUM
ejde-187	53	37	,	,	PUNCT
ejde-187	53	38	π	π	NOUN
ejde-187	53	39	}	}	PUNCT
ejde-187	53	40	×	×	PROPN
ejde-187	53	41	r.	r.	NOUN
ejde-187	53	42	the	the	DET
ejde-187	53	43	norm	norm	NOUN
ejde-187	53	44	in	in	ADV
ejde-187	53	45	in	in	ADP
ejde-187	53	46	h1	h1	NOUN
ejde-187	53	47	by	by	ADP
ejde-187	53	48	‖	‖	PROPN
ejde-187	53	49	·	·	PUNCT
ejde-187	53	50	‖1,2	‖1,2	PROPN
ejde-187	53	51	.	.	PUNCT
ejde-187	54	1	we	we	PRON
ejde-187	54	2	also	also	ADV
ejde-187	54	3	let	let	VERB
ejde-187	54	4	y	y	PROPN
ejde-187	54	5	=	=	PUNCT
ejde-187	54	6	n⊥	n⊥	PROPN
ejde-187	54	7	∩h1	∩h1	PROPN
ejde-187	54	8	.	.	PUNCT
ejde-187	55	1	we	we	PRON
ejde-187	55	2	say	say	VERB
ejde-187	55	3	that	that	SCONJ
ejde-187	55	4	u	u	NOUN
ejde-187	55	5	=	=	PUNCT
ejde-187	55	6	y	y	PROPN
ejde-187	55	7	+	+	CCONJ
ejde-187	55	8	v	v	PROPN
ejde-187	55	9	∈	∈	NOUN
ejde-187	55	10	y	y	NOUN
ejde-187	55	11	⊕n	⊕n	NOUN
ejde-187	55	12	is	be	AUX
ejde-187	55	13	a	a	DET
ejde-187	55	14	weak	weak	ADJ
ejde-187	55	15	solution	solution	NOUN
ejde-187	55	16	to	to	ADP
ejde-187	55	17	(	(	PUNCT
ejde-187	55	18	1.2	1.2	NUM
ejde-187	55	19	)	)	PUNCT
ejde-187	55	20	if∫∫	if∫∫	NOUN
ejde-187	56	1	ω	ω	PROPN
ejde-187	56	2	{	{	PUNCT
ejde-187	56	3	(	(	PUNCT
ejde-187	56	4	ytŷt	ytŷt	PROPN
ejde-187	56	5	−	−	PROPN
ejde-187	56	6	yxŷx)−	yxŷx)−	PROPN
ejde-187	56	7	(	(	PUNCT
ejde-187	56	8	h(u)−	h(u)−	PROPN
ejde-187	56	9	f)(ŷ	f)(ŷ	PROPN
ejde-187	56	10	+	+	CCONJ
ejde-187	56	11	v̂	v̂	NOUN
ejde-187	56	12	)	)	PUNCT
ejde-187	56	13	}	}	PUNCT
ejde-187	56	14	dx	dx	PROPN
ejde-187	56	15	dt	dt	NOUN
ejde-187	57	1	=	=	SYM
ejde-187	57	2	0	0	PROPN
ejde-187	57	3	,	,	PUNCT
ejde-187	57	4	(	(	PUNCT
ejde-187	57	5	2.3	2.3	NUM
ejde-187	57	6	)	)	PUNCT
ejde-187	57	7	for	for	ADP
ejde-187	57	8	all	all	DET
ejde-187	57	9	ŷ	ŷ	NUM
ejde-187	57	10	+	+	PUNCT
ejde-187	57	11	v̂	v̂	NUM
ejde-187	57	12	∈	∈	NOUN
ejde-187	57	13	y⊕n	y⊕n	NOUN
ejde-187	57	14	.	.	PUNCT
ejde-187	58	1	we	we	PRON
ejde-187	58	2	let	let	VERB
ejde-187	58	3	πn	πn	INTJ
ejde-187	58	4	:	:	PUNCT
ejde-187	58	5	l2(ω)→	l2(ω)→	PROPN
ejde-187	58	6	n	n	PROPN
ejde-187	58	7	and	and	CCONJ
ejde-187	58	8	πy	πy	INTJ
ejde-187	58	9	:	:	PUNCT
ejde-187	58	10	l2(ω)→	l2(ω)→	PROPN
ejde-187	58	11	n⊥	n⊥	PROPN
ejde-187	58	12	denote	denote	VERB
ejde-187	58	13	the	the	DET
ejde-187	58	14	corresponding	corresponding	ADJ
ejde-187	58	15	orthogonal	orthogonal	ADJ
ejde-187	58	16	projections	projection	NOUN
ejde-187	58	17	.	.	PUNCT
ejde-187	59	1	for	for	ADP
ejde-187	59	2	each	each	DET
ejde-187	59	3	f	f	PROPN
ejde-187	59	4	∈	∈	PROPN
ejde-187	59	5	l2(ω	l2(ω	PROPN
ejde-187	59	6	)	)	PUNCT
ejde-187	59	7	,	,	PUNCT
ejde-187	59	8	the	the	DET
ejde-187	59	9	equation	equation	NOUN
ejde-187	59	10	�	�	NOUN
ejde-187	59	11	u+	u+	NOUN
ejde-187	59	12	τu	τu	ADP
ejde-187	59	13	=	=	SYM
ejde-187	59	14	f	f	PROPN
ejde-187	59	15	has	have	VERB
ejde-187	59	16	a	a	DET
ejde-187	59	17	unique	unique	ADJ
ejde-187	59	18	weak	weak	ADJ
ejde-187	59	19	solution	solution	NOUN
ejde-187	59	20	v+	v+	ADP
ejde-187	59	21	y	y	PROPN
ejde-187	59	22	which	which	PRON
ejde-187	59	23	we	we	PRON
ejde-187	59	24	denote	denote	VERB
ejde-187	59	25	as	as	ADP
ejde-187	59	26	(	(	PUNCT
ejde-187	59	27	�	�	PROPN
ejde-187	59	28	+	+	CCONJ
ejde-187	59	29	τi)−1(f	τi)−1(f	PROPN
ejde-187	59	30	)	)	PUNCT
ejde-187	59	31	.	.	PUNCT
ejde-187	60	1	moreover	moreover	ADV
ejde-187	60	2	,	,	PUNCT
ejde-187	60	3	there	there	PRON
ejde-187	60	4	exists	exist	VERB
ejde-187	60	5	a	a	DET
ejde-187	60	6	real	real	ADJ
ejde-187	60	7	number	number	NOUN
ejde-187	60	8	κ	κ	ADP
ejde-187	60	9	such	such	ADJ
ejde-187	60	10	that	that	SCONJ
ejde-187	60	11	‖	‖	PROPN
ejde-187	60	12	(	(	PUNCT
ejde-187	60	13	�	�	PROPN
ejde-187	60	14	+	+	NUM
ejde-187	60	15	τi)−1(πy	τi)−1(πy	PROPN
ejde-187	60	16	(	(	PUNCT
ejde-187	60	17	f))‖1,2	f))‖1,2	PROPN
ejde-187	60	18	+	+	CCONJ
ejde-187	60	19	‖	‖	PROPN
ejde-187	60	20	(	(	PUNCT
ejde-187	60	21	�	�	PROPN
ejde-187	60	22	+	+	NUM
ejde-187	60	23	τi)−1(πy	τi)−1(πy	PROPN
ejde-187	60	24	(	(	PUNCT
ejde-187	60	25	f))‖c1/2	f))‖c1/2	PROPN
ejde-187	60	26	≤	≤	PROPN
ejde-187	60	27	κ‖f‖2	κ‖f‖2	NOUN
ejde-187	60	28	,	,	PUNCT
ejde-187	60	29	‖	‖	PROPN
ejde-187	60	30	(	(	PUNCT
ejde-187	60	31	�	�	PROPN
ejde-187	60	32	+	+	CCONJ
ejde-187	60	33	τi)−1(πn	τi)−1(πn	NUM
ejde-187	60	34	(	(	PUNCT
ejde-187	60	35	f))‖2	f))‖2	PROPN
ejde-187	60	36	≤	≤	PROPN
ejde-187	60	37	κ‖f‖2	κ‖f‖2	NOUN
ejde-187	60	38	(	(	PUNCT
ejde-187	60	39	2.4	2.4	NUM
ejde-187	60	40	)	)	PUNCT
ejde-187	60	41	where	where	SCONJ
ejde-187	60	42	c1/2	c1/2	NOUN
ejde-187	60	43	denotes	denote	VERB
ejde-187	60	44	the	the	DET
ejde-187	60	45	hölder	hölder	NOUN
ejde-187	60	46	space	space	NOUN
ejde-187	60	47	of	of	ADP
ejde-187	60	48	continuous	continuous	ADJ
ejde-187	60	49	functions	function	NOUN
ejde-187	60	50	with	with	ADP
ejde-187	60	51	exponent	exponent	PROPN
ejde-187	60	52	1/2	1/2	NUM
ejde-187	60	53	.	.	PUNCT
ejde-187	61	1	ejde-2023	ejde-2023	ADJ
ejde-187	61	2	/	/	SYM
ejde-187	61	3	si/02	si/02	PROPN
ejde-187	61	4	a	a	DET
ejde-187	61	5	semilinear	semilinear	ADJ
ejde-187	61	6	wave	wave	NOUN
ejde-187	61	7	equation	equation	NOUN
ejde-187	61	8	83	83	NUM
ejde-187	61	9	3	3	NUM
ejde-187	61	10	.	.	PUNCT
ejde-187	62	1	proof	proof	NOUN
ejde-187	62	2	of	of	ADP
ejde-187	62	3	theorem	theorem	ADJ
ejde-187	62	4	1.1	1.1	NUM
ejde-187	62	5	by	by	ADP
ejde-187	62	6	(	(	PUNCT
ejde-187	62	7	1.4	1.4	NUM
ejde-187	62	8	)	)	PUNCT
ejde-187	63	1	,	,	PUNCT
ejde-187	63	2	there	there	PRON
ejde-187	63	3	exists	exist	VERB
ejde-187	63	4	k1	k1	PROPN
ejde-187	63	5	≥	≥	X
ejde-187	63	6	128|h′|∞	128|h′|∞	NUM
ejde-187	63	7	τπ	τπ	ADP
ejde-187	63	8	such	such	ADJ
ejde-187	63	9	that	that	SCONJ
ejde-187	63	10	if	if	SCONJ
ejde-187	63	11	|s|	|s|	NOUN
ejde-187	63	12	≥	≥	NUM
ejde-187	63	13	k1	k1	NOUN
ejde-187	63	14	then	then	ADV
ejde-187	63	15	|h′(s)|	|h′(s)|	NUM
ejde-187	63	16	<	<	X
ejde-187	63	17	τ/128	τ/128	PROPN
ejde-187	63	18	.	.	PROPN
ejde-187	64	1	let	let	VERB
ejde-187	64	2	φ	φ	PROPN
ejde-187	64	3	=	=	SYM
ejde-187	64	4	(	(	PUNCT
ejde-187	64	5	�	�	PROPN
ejde-187	64	6	+	+	CCONJ
ejde-187	64	7	τi)−1(ψ	τi)−1(ψ	NOUN
ejde-187	64	8	)	)	PUNCT
ejde-187	64	9	,	,	PUNCT
ejde-187	64	10	α	α	PROPN
ejde-187	64	11	>	>	X
ejde-187	64	12	0	0	PUNCT
ejde-187	64	13	be	be	VERB
ejde-187	64	14	as	as	SCONJ
ejde-187	64	15	in	in	ADP
ejde-187	64	16	lemma	lemma	PROPN
ejde-187	64	17	1.2	1.2	NUM
ejde-187	64	18	applied	apply	VERB
ejde-187	64	19	to	to	ADP
ejde-187	64	20	φ	φ	PROPN
ejde-187	64	21	=	=	SYM
ejde-187	64	22	φ	φ	PROPN
ejde-187	64	23	,	,	PUNCT
ejde-187	64	24	and	and	CCONJ
ejde-187	64	25	δ	δ	PROPN
ejde-187	64	26	=	=	PRON
ejde-187	64	27	(	(	PUNCT
ejde-187	64	28	τ2π2	τ2π2	X
ejde-187	64	29	(	(	PUNCT
ejde-187	64	30	128(1	128(1	NUM
ejde-187	64	31	+	+	CCONJ
ejde-187	64	32	τ	τ	PROPN
ejde-187	64	33	+	+	CCONJ
ejde-187	64	34	|h′|∞))2	|h′|∞))2	PROPN
ejde-187	64	35	)	)	PUNCT
ejde-187	64	36	1	1	X
ejde-187	64	37	/	/	SYM
ejde-187	64	38	α	α	NOUN
ejde-187	64	39	,	,	PUNCT
ejde-187	64	40	(	(	PUNCT
ejde-187	64	41	3.1	3.1	NUM
ejde-187	64	42	)	)	PUNCT
ejde-187	64	43	c0	c0	NOUN
ejde-187	64	44	=	=	SYM
ejde-187	64	45	(	(	PUNCT
ejde-187	64	46	k1	k1	X
ejde-187	64	47	+	+	CCONJ
ejde-187	64	48	2k2	2k2	NUM
ejde-187	64	49	1	1	NUM
ejde-187	64	50	+	+	CCONJ
ejde-187	64	51	κ	κ	PROPN
ejde-187	64	52	(	(	PUNCT
ejde-187	64	53	√	√	PROPN
ejde-187	64	54	2π[|h|∞	2π[|h|∞	NUM
ejde-187	64	55	+	+	PUNCT
ejde-187	64	56	|h′|∞	|h′|∞	NOUN
ejde-187	64	57	]	]	PUNCT
ejde-187	64	58	+	+	NUM
ejde-187	64	59	‖g‖2	‖g‖2	NOUN
ejde-187	65	1	+	+	X
ejde-187	65	2	1))(τ	1))(τ	NUM
ejde-187	65	3	+	+	CCONJ
ejde-187	65	4	1	1	X
ejde-187	65	5	)	)	PUNCT
ejde-187	65	6	sin(δ	sin(δ	PROPN
ejde-187	65	7	)	)	PUNCT
ejde-187	65	8	.	.	PUNCT
ejde-187	66	1	(	(	PUNCT
ejde-187	66	2	3.2	3.2	NUM
ejde-187	66	3	)	)	PUNCT
ejde-187	66	4	since	since	SCONJ
ejde-187	66	5	δα	δα	X
ejde-187	66	6	<	<	X
ejde-187	66	7	1	1	NUM
ejde-187	66	8	,	,	PUNCT
ejde-187	66	9	we	we	PRON
ejde-187	66	10	have	have	VERB
ejde-187	66	11	δα	δα	VERB
ejde-187	66	12	<	<	X
ejde-187	66	13	τπ	τπ	ADP
ejde-187	66	14	128(1	128(1	NUM
ejde-187	66	15	+	+	CCONJ
ejde-187	66	16	τ	τ	PROPN
ejde-187	66	17	+	+	NUM
ejde-187	66	18	|h′|∞	|h′|∞	NOUN
ejde-187	66	19	)	)	PUNCT
ejde-187	66	20	.	.	PUNCT
ejde-187	67	1	from	from	ADP
ejde-187	67	2	[	[	X
ejde-187	67	3	9	9	NUM
ejde-187	67	4	]	]	PUNCT
ejde-187	67	5	and	and	CCONJ
ejde-187	67	6	[	[	X
ejde-187	67	7	12	12	NUM
ejde-187	67	8	]	]	X
ejde-187	67	9	,	,	PUNCT
ejde-187	67	10	there	there	PRON
ejde-187	67	11	exist	exist	VERB
ejde-187	67	12	sequences	sequence	NOUN
ejde-187	67	13	{	{	PUNCT
ejde-187	67	14	φn	φn	NOUN
ejde-187	67	15	}	}	PUNCT
ejde-187	67	16	,	,	PUNCT
ejde-187	67	17	{	{	PUNCT
ejde-187	67	18	un	un	PROPN
ejde-187	67	19	}	}	PUNCT
ejde-187	67	20	⊂	⊂	PART
ejde-187	67	21	l2	l2	NOUN
ejde-187	67	22	with	with	ADP
ejde-187	67	23	un	un	PROPN
ejde-187	67	24	=	=	PUNCT
ejde-187	67	25	zn+wn	zn+wn	PROPN
ejde-187	67	26	∈	∈	PROPN
ejde-187	67	27	n⊕y	n⊕y	NOUN
ejde-187	67	28	such	such	ADJ
ejde-187	67	29	that	that	DET
ejde-187	67	30	�	�	PROPN
ejde-187	67	31	wn+τ(zn+wn)+h(zn+wn	wn+τ(zn+wn)+h(zn+wn	NOUN
ejde-187	67	32	)	)	PUNCT
ejde-187	67	33	=	=	SYM
ejde-187	68	1	cψ(x	cψ(x	NOUN
ejde-187	68	2	,	,	PUNCT
ejde-187	68	3	t)+g(x	t)+g(x	NOUN
ejde-187	68	4	,	,	PUNCT
ejde-187	68	5	t)+φn(x	t)+φn(x	X
ejde-187	68	6	,	,	PUNCT
ejde-187	68	7	t	t	PROPN
ejde-187	68	8	)	)	PUNCT
ejde-187	68	9	,	,	PUNCT
ejde-187	68	10	‖φn‖2	‖φn‖2	PROPN
ejde-187	68	11	→	→	X
ejde-187	68	12	0	0	NUM
ejde-187	68	13	.	.	PUNCT
ejde-187	68	14	(	(	PUNCT
ejde-187	68	15	3.3	3.3	NUM
ejde-187	68	16	)	)	PUNCT
ejde-187	68	17	without	without	ADP
ejde-187	68	18	loss	loss	NOUN
ejde-187	68	19	of	of	ADP
ejde-187	68	20	generality	generality	NOUN
ejde-187	68	21	we	we	PRON
ejde-187	68	22	may	may	AUX
ejde-187	68	23	assume	assume	VERB
ejde-187	68	24	that	that	SCONJ
ejde-187	68	25	‖φn‖2	‖φn‖2	PROPN
ejde-187	68	26	≤	≤	NOUN
ejde-187	68	27	1	1	NUM
ejde-187	68	28	for	for	ADP
ejde-187	68	29	n	n	NOUN
ejde-187	68	30	=	=	SYM
ejde-187	68	31	1	1	NUM
ejde-187	68	32	,	,	PUNCT
ejde-187	68	33	2	2	NUM
ejde-187	68	34	,	,	PUNCT
ejde-187	68	35	.	.	PUNCT
ejde-187	68	36	.	.	PUNCT
ejde-187	69	1	..	..	PUNCT
ejde-187	69	2	let	let	VERB
ejde-187	69	3	vn	vn	PROPN
ejde-187	69	4	∈	∈	PROPN
ejde-187	69	5	n	n	PROPN
ejde-187	70	1	and	and	CCONJ
ejde-187	70	2	yn	yn	PROPN
ejde-187	70	3	∈	∈	PROPN
ejde-187	70	4	y	y	PROPN
ejde-187	70	5	be	be	AUX
ejde-187	70	6	such	such	ADJ
ejde-187	70	7	that	that	SCONJ
ejde-187	70	8	�	�	PROPN
ejde-187	70	9	yn	yn	PROPN
ejde-187	70	10	+	+	PROPN
ejde-187	70	11	τ(vn	τ(vn	PROPN
ejde-187	70	12	+	+	CCONJ
ejde-187	70	13	yn	yn	NOUN
ejde-187	70	14	)	)	PUNCT
ejde-187	70	15	=	=	SYM
ejde-187	71	1	g(x	g(x	PROPN
ejde-187	71	2	,	,	PUNCT
ejde-187	71	3	t	t	PROPN
ejde-187	71	4	)	)	PUNCT
ejde-187	71	5	+	+	NUM
ejde-187	71	6	φn(x	φn(x	NUM
ejde-187	71	7	,	,	PUNCT
ejde-187	71	8	t	t	PROPN
ejde-187	71	9	)	)	PUNCT
ejde-187	71	10	,	,	PUNCT
ejde-187	71	11	‖φn‖2	‖φn‖2	PROPN
ejde-187	71	12	→	→	X
ejde-187	71	13	0	0	NUM
ejde-187	71	14	.	.	PUNCT
ejde-187	72	1	(	(	PUNCT
ejde-187	72	2	3.4	3.4	NUM
ejde-187	72	3	)	)	PUNCT
ejde-187	72	4	subtracting	subtract	VERB
ejde-187	72	5	(	(	PUNCT
ejde-187	72	6	3.3	3.3	NUM
ejde-187	72	7	)	)	PUNCT
ejde-187	72	8	from	from	ADP
ejde-187	72	9	(	(	PUNCT
ejde-187	72	10	3.4	3.4	NUM
ejde-187	72	11	)	)	PUNCT
ejde-187	72	12	,	,	PUNCT
ejde-187	72	13	we	we	PRON
ejde-187	72	14	obtain	obtain	VERB
ejde-187	72	15	�	�	PROPN
ejde-187	72	16	(	(	PUNCT
ejde-187	72	17	wn−yn)+τ(wn−yn+zn−vn)+h(zn+wn	wn−yn)+τ(wn−yn+zn−vn)+h(zn+wn	NOUN
ejde-187	72	18	)	)	PUNCT
ejde-187	72	19	=	=	SYM
ejde-187	73	1	cψ(x	cψ(x	X
ejde-187	73	2	,	,	PUNCT
ejde-187	73	3	t	t	PROPN
ejde-187	73	4	)	)	PUNCT
ejde-187	73	5	=	=	SYM
ejde-187	73	6	c(	c(	PROPN
ejde-187	73	7	�	�	PROPN
ejde-187	73	8	+τi)(ψ	+τi)(ψ	PROPN
ejde-187	73	9	)	)	PUNCT
ejde-187	73	10	.	.	PUNCT
ejde-187	74	1	(	(	PUNCT
ejde-187	74	2	3.5	3.5	X
ejde-187	74	3	)	)	PUNCT
ejde-187	74	4	letting	let	VERB
ejde-187	74	5	wn	wn	X
ejde-187	74	6	=	=	PUNCT
ejde-187	74	7	wn	wn	PROPN
ejde-187	74	8	−	−	PROPN
ejde-187	74	9	yn	yn	INTJ
ejde-187	74	10	−	−	PROPN
ejde-187	75	1	cψ	cψ	NOUN
ejde-187	76	1	and	and	CCONJ
ejde-187	76	2	vn	vn	PROPN
ejde-187	76	3	=	=	PROPN
ejde-187	76	4	zn	zn	PROPN
ejde-187	76	5	−	−	PROPN
ejde-187	76	6	vn	vn	PROPN
ejde-187	76	7	,	,	PUNCT
ejde-187	76	8	�	�	PROPN
ejde-187	76	9	wn	wn	PROPN
ejde-187	76	10	+	+	X
ejde-187	76	11	τ(wn	τ(wn	PROPN
ejde-187	76	12	+	+	CCONJ
ejde-187	76	13	vn	vn	X
ejde-187	76	14	)	)	PUNCT
ejde-187	77	1	+	+	NUM
ejde-187	77	2	h	h	NOUN
ejde-187	77	3	(	(	PUNCT
ejde-187	77	4	vn	vn	PROPN
ejde-187	77	5	+	+	CCONJ
ejde-187	77	6	vn	vn	PROPN
ejde-187	78	1	+	+	PROPN
ejde-187	78	2	wn	wn	PROPN
ejde-187	78	3	+	+	CCONJ
ejde-187	78	4	yn	yn	X
ejde-187	78	5	+	+	CCONJ
ejde-187	78	6	cψ(x	cψ(x	PROPN
ejde-187	78	7	,	,	PUNCT
ejde-187	78	8	t	t	PROPN
ejde-187	78	9	)	)	PUNCT
ejde-187	78	10	)	)	PUNCT
ejde-187	79	1	=	=	PUNCT
ejde-187	79	2	0	0	X
ejde-187	79	3	.	.	PUNCT
ejde-187	79	4	(	(	PUNCT
ejde-187	79	5	3.6	3.6	NUM
ejde-187	79	6	)	)	PUNCT
ejde-187	79	7	equation	equation	NOUN
ejde-187	79	8	(	(	PUNCT
ejde-187	79	9	3.6	3.6	NUM
ejde-187	79	10	)	)	PUNCT
ejde-187	79	11	,	,	PUNCT
ejde-187	79	12	in	in	ADP
ejde-187	79	13	turn	turn	NOUN
ejde-187	79	14	,	,	PUNCT
ejde-187	79	15	is	be	AUX
ejde-187	79	16	equivalent	equivalent	ADJ
ejde-187	79	17	to	to	ADP
ejde-187	79	18	the	the	DET
ejde-187	79	19	equations	equation	NOUN
ejde-187	79	20	wn	wn	PROPN
ejde-187	79	21	=	=	PUNCT
ejde-187	79	22	−(	−(	PROPN
ejde-187	79	23	�	�	VERB
ejde-187	79	24	+τi)−1πy	+τi)−1πy	PRON
ejde-187	79	25	(	(	PUNCT
ejde-187	79	26	h	h	NOUN
ejde-187	79	27	(	(	PUNCT
ejde-187	79	28	vn	vn	PROPN
ejde-187	79	29	+	+	CCONJ
ejde-187	79	30	vn	vn	PROPN
ejde-187	80	1	+	+	PROPN
ejde-187	80	2	wn	wn	PROPN
ejde-187	80	3	+	+	X
ejde-187	80	4	yn	yn	PROPN
ejde-187	80	5	+	+	CCONJ
ejde-187	80	6	cψ	cψ	NOUN
ejde-187	80	7	)	)	PUNCT
ejde-187	80	8	)	)	PUNCT
ejde-187	80	9	,	,	PUNCT
ejde-187	80	10	(	(	PUNCT
ejde-187	80	11	3.7	3.7	NUM
ejde-187	80	12	)	)	PUNCT
ejde-187	80	13	τvn	τvn	X
ejde-187	81	1	=	=	PUNCT
ejde-187	81	2	−πn	−πn	INTJ
ejde-187	81	3	(	(	PUNCT
ejde-187	81	4	h	h	NOUN
ejde-187	81	5	(	(	PUNCT
ejde-187	81	6	vn	vn	PROPN
ejde-187	81	7	+	+	CCONJ
ejde-187	81	8	vn	vn	PROPN
ejde-187	82	1	+	+	PROPN
ejde-187	82	2	wn	wn	PROPN
ejde-187	82	3	+	+	X
ejde-187	82	4	yn	yn	PRON
ejde-187	82	5	+	+	CCONJ
ejde-187	82	6	c	c	NOUN
ejde-187	82	7	τ	τ	X
ejde-187	83	1	+	+	CCONJ
ejde-187	83	2	1	1	NUM
ejde-187	83	3	ψ(x	ψ(x	PROPN
ejde-187	83	4	,	,	PUNCT
ejde-187	83	5	t	t	PROPN
ejde-187	83	6	)	)	PUNCT
ejde-187	83	7	)	)	PUNCT
ejde-187	83	8	)	)	PUNCT
ejde-187	83	9	.	.	PUNCT
ejde-187	84	1	(	(	PUNCT
ejde-187	84	2	3.8	3.8	NUM
ejde-187	84	3	)	)	PUNCT
ejde-187	84	4	since	since	SCONJ
ejde-187	84	5	h	h	NOUN
ejde-187	84	6	is	be	AUX
ejde-187	84	7	assumed	assume	VERB
ejde-187	84	8	to	to	PART
ejde-187	84	9	be	be	AUX
ejde-187	84	10	bounded	bound	VERB
ejde-187	84	11	,	,	PUNCT
ejde-187	84	12	by	by	ADP
ejde-187	84	13	the	the	DET
ejde-187	84	14	continuity	continuity	NOUN
ejde-187	84	15	of	of	ADP
ejde-187	84	16	(	(	PUNCT
ejde-187	84	17	�	�	PROPN
ejde-187	84	18	+	+	CCONJ
ejde-187	84	19	τi)−1	τi)−1	NOUN
ejde-187	84	20	:	:	PUNCT
ejde-187	84	21	l2	l2	NOUN
ejde-187	84	22	→	→	SYM
ejde-187	84	23	y	y	PROPN
ejde-187	84	24	and	and	CCONJ
ejde-187	84	25	arzela	arzela	PROPN
ejde-187	84	26	-	-	PUNCT
ejde-187	84	27	ascoli	ascoli	PROPN
ejde-187	84	28	’s	’s	PART
ejde-187	84	29	theorem	theorem	NOUN
ejde-187	84	30	we	we	PRON
ejde-187	84	31	may	may	AUX
ejde-187	84	32	assume	assume	VERB
ejde-187	84	33	that	that	SCONJ
ejde-187	84	34	{	{	PUNCT
ejde-187	84	35	wn	wn	NOUN
ejde-187	84	36	}	}	PUNCT
ejde-187	84	37	converges	converge	VERB
ejde-187	84	38	uniformly	uniformly	ADV
ejde-187	84	39	in	in	ADP
ejde-187	84	40	ω	ω	NUM
ejde-187	84	41	.	.	PUNCT
ejde-187	85	1	by	by	ADP
ejde-187	85	2	(	(	PUNCT
ejde-187	85	3	2.2	2.2	NUM
ejde-187	85	4	)	)	PUNCT
ejde-187	85	5	,	,	PUNCT
ejde-187	85	6	there	there	PRON
ejde-187	85	7	exists	exist	VERB
ejde-187	85	8	g1	g1	PROPN
ejde-187	85	9	,	,	PUNCT
ejde-187	85	10	pn	pn	NOUN
ejde-187	85	11	,	,	PUNCT
ejde-187	85	12	pn	pn	PROPN
ejde-187	85	13	∈	∈	PROPN
ejde-187	85	14	l2(0	l2(0	NOUN
ejde-187	85	15	,	,	PUNCT
ejde-187	85	16	2π	2π	NOUN
ejde-187	85	17	)	)	PUNCT
ejde-187	86	1	such	such	ADJ
ejde-187	86	2	that	that	SCONJ
ejde-187	86	3	πn	πn	INTJ
ejde-187	86	4	(	(	PUNCT
ejde-187	86	5	g)(x	g)(x	PROPN
ejde-187	86	6	,	,	PUNCT
ejde-187	86	7	t	t	PROPN
ejde-187	86	8	)	)	PUNCT
ejde-187	86	9	=	=	SYM
ejde-187	86	10	g1(t+	g1(t+	PROPN
ejde-187	86	11	x)−	x)−	PROPN
ejde-187	86	12	g1(t−	g1(t−	PROPN
ejde-187	86	13	x	x	X
ejde-187	86	14	)	)	PUNCT
ejde-187	86	15	,	,	PUNCT
ejde-187	86	16	vn(x	vn(x	X
ejde-187	86	17	,	,	PUNCT
ejde-187	86	18	t	t	PROPN
ejde-187	86	19	)	)	PUNCT
ejde-187	86	20	=	=	SYM
ejde-187	86	21	pn(x	pn(x	X
ejde-187	86	22	,	,	PUNCT
ejde-187	86	23	t)−	t)−	PROPN
ejde-187	86	24	pn(t−	pn(t−	NOUN
ejde-187	86	25	x	x	NOUN
ejde-187	86	26	)	)	PUNCT
ejde-187	86	27	,	,	PUNCT
ejde-187	86	28	vn(x	vn(x	X
ejde-187	86	29	,	,	PUNCT
ejde-187	86	30	t	t	PROPN
ejde-187	86	31	)	)	PUNCT
ejde-187	87	1	=	=	SYM
ejde-187	87	2	pn	pn	X
ejde-187	87	3	(	(	PUNCT
ejde-187	87	4	x	x	PROPN
ejde-187	87	5	,	,	PUNCT
ejde-187	87	6	t	t	PROPN
ejde-187	87	7	)	)	PUNCT
ejde-187	87	8	.	.	PUNCT
ejde-187	88	1	(	(	PUNCT
ejde-187	88	2	3.9	3.9	NUM
ejde-187	88	3	)	)	PUNCT
ejde-187	88	4	by	by	ADP
ejde-187	88	5	(	(	PUNCT
ejde-187	88	6	3.4	3.4	NUM
ejde-187	88	7	)	)	PUNCT
ejde-187	88	8	,	,	PUNCT
ejde-187	88	9	the	the	DET
ejde-187	88	10	sequence	sequence	NOUN
ejde-187	88	11	{	{	PUNCT
ejde-187	88	12	τpn	τpn	NOUN
ejde-187	88	13	}	}	PUNCT
ejde-187	88	14	converges	converge	NOUN
ejde-187	88	15	to	to	ADP
ejde-187	88	16	g1	g1	PROPN
ejde-187	88	17	in	in	ADP
ejde-187	88	18	l2([0	l2([0	PROPN
ejde-187	88	19	,	,	PUNCT
ejde-187	88	20	2π	2π	NOUN
ejde-187	88	21	]	]	PUNCT
ejde-187	88	22	)	)	PUNCT
ejde-187	88	23	.	.	PUNCT
ejde-187	89	1	from	from	ADP
ejde-187	89	2	(	(	PUNCT
ejde-187	89	3	3.8	3.8	NUM
ejde-187	89	4	)	)	PUNCT
ejde-187	89	5	and	and	CCONJ
ejde-187	89	6	[	[	X
ejde-187	89	7	2	2	NUM
ejde-187	89	8	]	]	PUNCT
ejde-187	89	9	,	,	PUNCT
ejde-187	89	10	2πτpn(r	2πτpn(r	NUM
ejde-187	89	11	)	)	PUNCT
ejde-187	89	12	=	=	PUNCT
ejde-187	89	13	−i1n(r	−i1n(r	NOUN
ejde-187	89	14	)	)	PUNCT
ejde-187	89	15	+	+	CCONJ
ejde-187	89	16	i2n(r	i2n(r	PROPN
ejde-187	89	17	)	)	PUNCT
ejde-187	89	18	,	,	PUNCT
ejde-187	89	19	a.e	a.e	PROPN
ejde-187	89	20	.	.	PROPN
ejde-187	89	21	in	in	ADP
ejde-187	89	22	[	[	X
ejde-187	89	23	0	0	NUM
ejde-187	89	24	,	,	PUNCT
ejde-187	89	25	2π	2π	NOUN
ejde-187	89	26	]	]	X
ejde-187	89	27	,	,	PUNCT
ejde-187	89	28	(	(	PUNCT
ejde-187	89	29	3.10	3.10	NUM
ejde-187	89	30	)	)	PUNCT
ejde-187	89	31	where	where	SCONJ
ejde-187	89	32	i1n(r	i1n(r	NOUN
ejde-187	89	33	)	)	PUNCT
ejde-187	89	34	=	=	SYM
ejde-187	90	1	∫	∫	PROPN
ejde-187	90	2	π	π	NOUN
ejde-187	90	3	0	0	NUM
ejde-187	90	4	h	h	NOUN
ejde-187	90	5	(	(	PUNCT
ejde-187	90	6	(	(	PUNCT
ejde-187	90	7	wn	wn	PROPN
ejde-187	90	8	+	+	PROPN
ejde-187	90	9	yn)(x	yn)(x	PROPN
ejde-187	90	10	,	,	PUNCT
ejde-187	90	11	r	r	NOUN
ejde-187	90	12	−	−	NOUN
ejde-187	90	13	x	x	NOUN
ejde-187	90	14	)	)	PUNCT
ejde-187	91	1	+	+	CCONJ
ejde-187	91	2	qn(r)−	qn(r)−	NOUN
ejde-187	91	3	qn(r	qn(r	PUNCT
ejde-187	91	4	−	−	NOUN
ejde-187	91	5	2x	2x	NUM
ejde-187	91	6	)	)	PUNCT
ejde-187	91	7	+	+	CCONJ
ejde-187	91	8	cψ(x	cψ(x	X
ejde-187	91	9	,	,	PUNCT
ejde-187	91	10	t	t	PROPN
ejde-187	91	11	)	)	PUNCT
ejde-187	91	12	)	)	PUNCT
ejde-187	91	13	dx	dx	PROPN
ejde-187	91	14	i2n(r	i2n(r	PROPN
ejde-187	91	15	)	)	PUNCT
ejde-187	92	1	=	=	SYM
ejde-187	93	1	∫	∫	PROPN
ejde-187	93	2	π	π	NOUN
ejde-187	93	3	0	0	NUM
ejde-187	93	4	h	h	NOUN
ejde-187	93	5	(	(	PUNCT
ejde-187	93	6	(	(	PUNCT
ejde-187	93	7	wn	wn	PROPN
ejde-187	93	8	+	+	PROPN
ejde-187	93	9	yn)(x	yn)(x	PROPN
ejde-187	93	10	,	,	PUNCT
ejde-187	93	11	r	r	NOUN
ejde-187	93	12	+	+	NOUN
ejde-187	93	13	x	x	X
ejde-187	93	14	)	)	PUNCT
ejde-187	93	15	+	+	NUM
ejde-187	93	16	qn(r	qn(r	X
ejde-187	93	17	+	+	CCONJ
ejde-187	93	18	2x)−	2x)−	NUM
ejde-187	93	19	qn(r	qn(r	PUNCT
ejde-187	93	20	)	)	PUNCT
ejde-187	93	21	+	+	CCONJ
ejde-187	93	22	cψ(x	cψ(x	X
ejde-187	93	23	,	,	PUNCT
ejde-187	93	24	t	t	PROPN
ejde-187	93	25	)	)	PUNCT
ejde-187	93	26	)	)	PUNCT
ejde-187	94	1	dx	dx	PROPN
ejde-187	94	2	,	,	PUNCT
ejde-187	94	3	(	(	PUNCT
ejde-187	94	4	3.11	3.11	NUM
ejde-187	94	5	)	)	PUNCT
ejde-187	94	6	and	and	CCONJ
ejde-187	94	7	qn(s	qn(s	NUM
ejde-187	94	8	)	)	PUNCT
ejde-187	94	9	=	=	SYM
ejde-187	94	10	pn(s	pn(s	X
ejde-187	94	11	)	)	PUNCT
ejde-187	94	12	+	+	NUM
ejde-187	94	13	pn(s	pn(	NOUN
ejde-187	94	14	)	)	PUNCT
ejde-187	94	15	for	for	ADP
ejde-187	94	16	all	all	DET
ejde-187	94	17	s	s	PROPN
ejde-187	94	18	∈	∈	PROPN
ejde-187	94	19	r.	r.	NOUN
ejde-187	94	20	(	(	PUNCT
ejde-187	94	21	3.12	3.12	NUM
ejde-187	94	22	)	)	PUNCT
ejde-187	94	23	since	since	SCONJ
ejde-187	94	24	h	h	NOUN
ejde-187	94	25	is	be	AUX
ejde-187	94	26	bounded	bound	VERB
ejde-187	94	27	,	,	PUNCT
ejde-187	94	28	from	from	ADP
ejde-187	94	29	(	(	PUNCT
ejde-187	94	30	3.10	3.10	NUM
ejde-187	94	31	)	)	PUNCT
ejde-187	94	32	and	and	CCONJ
ejde-187	94	33	(	(	PUNCT
ejde-187	94	34	3.11	3.11	NUM
ejde-187	94	35	)	)	PUNCT
ejde-187	94	36	we	we	PRON
ejde-187	94	37	see	see	VERB
ejde-187	94	38	that	that	SCONJ
ejde-187	94	39	the	the	DET
ejde-187	94	40	sequence	sequence	NOUN
ejde-187	94	41	{	{	PUNCT
ejde-187	94	42	pn	pn	NOUN
ejde-187	94	43	}	}	PUNCT
ejde-187	94	44	is	be	AUX
ejde-187	94	45	bounded	bound	VERB
ejde-187	94	46	in	in	ADP
ejde-187	94	47	l∞.	l∞.	PROPN
ejde-187	94	48	84	84	NUM
ejde-187	94	49	j.	j.	PROPN
ejde-187	94	50	f.	f.	PROPN
ejde-187	94	51	caicedo	caicedo	PROPN
ejde-187	94	52	,	,	PUNCT
ejde-187	94	53	a.	a.	NOUN
ejde-187	94	54	castro	castro	PROPN
ejde-187	94	55	,	,	PUNCT
ejde-187	94	56	r.	r.	PROPN
ejde-187	94	57	duque	duque	PROPN
ejde-187	94	58	,	,	PUNCT
ejde-187	94	59	a.	a.	PROPN
ejde-187	94	60	sanjuan	sanjuan	PROPN
ejde-187	94	61	ejde	ejde	PROPN
ejde-187	94	62	/	/	SYM
ejde-187	94	63	si/02	si/02	PROPN
ejde-187	94	64	let	let	VERB
ejde-187	94	65	us	we	PRON
ejde-187	94	66	show	show	VERB
ejde-187	94	67	that	that	SCONJ
ejde-187	94	68	the	the	DET
ejde-187	94	69	sequence	sequence	NOUN
ejde-187	94	70	{	{	PUNCT
ejde-187	94	71	pn	pn	NOUN
ejde-187	94	72	}	}	PUNCT
ejde-187	94	73	converges	converge	VERB
ejde-187	94	74	en	en	ADP
ejde-187	94	75	l2([0	l2([0	ADJ
ejde-187	94	76	,	,	PUNCT
ejde-187	94	77	2π	2π	NOUN
ejde-187	94	78	]	]	PUNCT
ejde-187	94	79	)	)	PUNCT
ejde-187	94	80	.	.	PUNCT
ejde-187	95	1	indeed	indeed	ADV
ejde-187	95	2	,	,	PUNCT
ejde-187	95	3	let	let	VERB
ejde-187	95	4	us	we	PRON
ejde-187	95	5	show	show	VERB
ejde-187	95	6	that	that	SCONJ
ejde-187	95	7	{	{	PUNCT
ejde-187	95	8	pn	pn	NOUN
ejde-187	95	9	}	}	PUNCT
ejde-187	95	10	is	be	AUX
ejde-187	95	11	a	a	DET
ejde-187	95	12	cauchy	cauchy	ADJ
ejde-187	95	13	sequence	sequence	NOUN
ejde-187	95	14	in	in	ADP
ejde-187	95	15	l2([0	l2([0	PROPN
ejde-187	95	16	,	,	PUNCT
ejde-187	95	17	2π	2π	NOUN
ejde-187	95	18	]	]	PUNCT
ejde-187	95	19	)	)	PUNCT
ejde-187	95	20	.	.	PUNCT
ejde-187	96	1	let	let	VERB
ejde-187	96	2	yj(r	yj(r	NOUN
ejde-187	96	3	,	,	PUNCT
ejde-187	96	4	x	x	X
ejde-187	96	5	)	)	PUNCT
ejde-187	96	6	=	=	SYM
ejde-187	96	7	(	(	PUNCT
ejde-187	96	8	wj	wj	PROPN
ejde-187	96	9	+	+	PROPN
ejde-187	96	10	yj)(x	yj)(x	PROPN
ejde-187	96	11	,	,	PUNCT
ejde-187	96	12	r	r	NOUN
ejde-187	96	13	−	−	NOUN
ejde-187	96	14	x	x	NOUN
ejde-187	96	15	)	)	PUNCT
ejde-187	96	16	,	,	PUNCT
ejde-187	96	17	qj(r	qj(r	NOUN
ejde-187	96	18	,	,	PUNCT
ejde-187	96	19	x	x	X
ejde-187	96	20	)	)	PUNCT
ejde-187	96	21	=	=	PUNCT
ejde-187	96	22	qj(r)−	qj(r)−	NOUN
ejde-187	96	23	qj(r−2x	qj(r−2x	NOUN
ejde-187	96	24	)	)	PUNCT
ejde-187	96	25	,	,	PUNCT
ejde-187	96	26	fmn(s	fmn(s	PROPN
ejde-187	96	27	,	,	PUNCT
ejde-187	96	28	r	r	NOUN
ejde-187	96	29	,	,	PUNCT
ejde-187	96	30	x	x	NOUN
ejde-187	96	31	)	)	PUNCT
ejde-187	96	32	=	=	SYM
ejde-187	96	33	cψ(x	cψ(x	NOUN
ejde-187	96	34	,	,	PUNCT
ejde-187	96	35	r−x	r−x	NOUN
ejde-187	96	36	)	)	PUNCT
ejde-187	97	1	+	+	CCONJ
ejde-187	97	2	(	(	PUNCT
ejde-187	97	3	qn+s(yn−ym))(r	qn+s(yn−ym))(r	PROPN
ejde-187	97	4	,	,	PUNCT
ejde-187	97	5	x	x	NOUN
ejde-187	97	6	)	)	PUNCT
ejde-187	97	7	,	,	PUNCT
ejde-187	97	8	and	and	CCONJ
ejde-187	97	9	gmn(s	gmn(s	NOUN
ejde-187	97	10	,	,	PUNCT
ejde-187	97	11	r	r	NOUN
ejde-187	97	12	,	,	PUNCT
ejde-187	97	13	x	x	NOUN
ejde-187	97	14	)	)	PUNCT
ejde-187	97	15	=	=	SYM
ejde-187	98	1	cψ(x	cψ(x	X
ejde-187	98	2	,	,	PUNCT
ejde-187	98	3	r	r	NOUN
ejde-187	98	4	−	−	NOUN
ejde-187	98	5	x	x	NOUN
ejde-187	98	6	)	)	PUNCT
ejde-187	99	1	+	+	CCONJ
ejde-187	99	2	(	(	PUNCT
ejde-187	99	3	ym	ym	NOUN
ejde-187	99	4	+	+	PROPN
ejde-187	99	5	s(qn	s(qn	PROPN
ejde-187	99	6	−qm))(r	−qm))(r	PROPN
ejde-187	99	7	,	,	PUNCT
ejde-187	99	8	x	x	NOUN
ejde-187	99	9	)	)	PUNCT
ejde-187	99	10	.	.	PUNCT
ejde-187	100	1	hence	hence	ADV
ejde-187	100	2	∣∣i1n(r)−	∣∣i1n(r)−	ADJ
ejde-187	100	3	i1m(r	i1m(r	NOUN
ejde-187	100	4	)	)	PUNCT
ejde-187	101	1	∣∣	∣∣	NUM
ejde-187	102	1	≤	≤	NUM
ejde-187	102	2	∫	∫	PROPN
ejde-187	103	1	π	π	X
ejde-187	103	2	0	0	PUNCT
ejde-187	103	3	∫	∫	PROPN
ejde-187	103	4	1	1	NUM
ejde-187	103	5	0	0	NUM
ejde-187	103	6	|h′	|h′	PROPN
ejde-187	103	7	(	(	PUNCT
ejde-187	103	8	fmn(s	fmn(s	PROPN
ejde-187	103	9	,	,	PUNCT
ejde-187	103	10	r	r	NOUN
ejde-187	103	11	,	,	PUNCT
ejde-187	103	12	x	x	NOUN
ejde-187	103	13	)	)	PUNCT
ejde-187	103	14	)	)	PUNCT
ejde-187	103	15	|	|	ADV
ejde-187	103	16	ds	ds	ADJ
ejde-187	103	17	·	·	PUNCT
ejde-187	103	18	|(yn	|(yn	X
ejde-187	103	19	−	−	PROPN
ejde-187	103	20	ym)(r	ym)(r	PROPN
ejde-187	103	21	,	,	PUNCT
ejde-187	103	22	x)|	x)|	PROPN
ejde-187	103	23	dx	dx	PROPN
ejde-187	104	1	+	+	CCONJ
ejde-187	105	1	∫	∫	PROPN
ejde-187	105	2	π	π	NOUN
ejde-187	105	3	0	0	PUNCT
ejde-187	105	4	∫	∫	PROPN
ejde-187	105	5	1	1	NUM
ejde-187	105	6	0	0	NUM
ejde-187	105	7	|h′	|h′	PROPN
ejde-187	105	8	(	(	PUNCT
ejde-187	105	9	gmn(s	gmn(s	PROPN
ejde-187	105	10	,	,	PUNCT
ejde-187	105	11	r	r	NOUN
ejde-187	105	12	,	,	PUNCT
ejde-187	105	13	x	x	NOUN
ejde-187	105	14	)	)	PUNCT
ejde-187	105	15	)	)	PUNCT
ejde-187	105	16	|	|	ADV
ejde-187	105	17	ds	ds	ADJ
ejde-187	105	18	·	·	PUNCT
ejde-187	105	19	|(qn	|(qn	PRON
ejde-187	105	20	−qm)(r	−qm)(r	NOUN
ejde-187	105	21	,	,	PUNCT
ejde-187	105	22	x)|dx	x)|dx	PROPN
ejde-187	105	23	.	.	PUNCT
ejde-187	106	1	(	(	PUNCT
ejde-187	106	2	3.13	3.13	NUM
ejde-187	106	3	)	)	PUNCT
ejde-187	106	4	let	let	VERB
ejde-187	106	5	|c|	|c|	PROPN
ejde-187	106	6	≥	≥	NOUN
ejde-187	106	7	c0	c0	NOUN
ejde-187	106	8	with	with	ADP
ejde-187	106	9	c0	c0	PROPN
ejde-187	106	10	given	give	VERB
ejde-187	106	11	by	by	ADP
ejde-187	106	12	(	(	PUNCT
ejde-187	106	13	3.2	3.2	NUM
ejde-187	106	14	)	)	PUNCT
ejde-187	106	15	.	.	PUNCT
ejde-187	107	1	if	if	SCONJ
ejde-187	107	2	x	x	PROPN
ejde-187	107	3	6∈	6∈	PROPN
ejde-187	107	4	ar	ar	PROPN
ejde-187	107	5	,	,	PUNCT
ejde-187	107	6	δ	δ	PROPN
ejde-187	107	7	and	and	CCONJ
ejde-187	107	8	|(qn	|(qn	PROPN
ejde-187	107	9	−	−	PROPN
ejde-187	107	10	qm)(r	qm)(r	PROPN
ejde-187	107	11	,	,	PUNCT
ejde-187	107	12	x)|	x)|	PROPN
ejde-187	107	13	≥	≥	NUM
ejde-187	107	14	2k2	2k2	NUM
ejde-187	107	15	1	1	NUM
ejde-187	107	16	,	,	PUNCT
ejde-187	107	17	then	then	ADV
ejde-187	107	18	m[{s	m[{	NOUN
ejde-187	107	19	∈	∈	PROPN
ejde-187	108	1	[	[	X
ejde-187	108	2	0	0	NUM
ejde-187	108	3	,	,	PUNCT
ejde-187	108	4	1	1	NUM
ejde-187	108	5	]	]	PUNCT
ejde-187	108	6	;	;	PUNCT
ejde-187	108	7	|ym(r	|ym(r	NUM
ejde-187	108	8	,	,	PUNCT
ejde-187	108	9	x	x	PRON
ejde-187	108	10	)	)	PUNCT
ejde-187	108	11	+	+	CCONJ
ejde-187	108	12	cφ(x	cφ(x	NUM
ejde-187	108	13	,	,	PUNCT
ejde-187	108	14	r	r	NOUN
ejde-187	108	15	−	−	NOUN
ejde-187	108	16	x	x	NOUN
ejde-187	108	17	)	)	PUNCT
ejde-187	108	18	+	+	CCONJ
ejde-187	108	19	s(qn	s(qn	PROPN
ejde-187	108	20	−	−	PROPN
ejde-187	108	21	qm)(r	qm)(r	PROPN
ejde-187	108	22	,	,	PUNCT
ejde-187	108	23	x)|	x)|	PROPN
ejde-187	108	24	≤	≤	NUM
ejde-187	108	25	k1	k1	NOUN
ejde-187	108	26	)	)	PUNCT
ejde-187	108	27	}	}	PUNCT
ejde-187	108	28	]	]	PUNCT
ejde-187	108	29	≤	≤	NUM
ejde-187	108	30	1	1	NUM
ejde-187	108	31	/	/	SYM
ejde-187	108	32	k1	k1	NOUN
ejde-187	108	33	.	.	PUNCT
ejde-187	109	1	hence	hence	ADV
ejde-187	109	2	∣∣	∣∣	X
ejde-187	109	3	∫	∫	PROPN
ejde-187	109	4	1	1	NUM
ejde-187	109	5	0	0	NUM
ejde-187	109	6	h′	h′	X
ejde-187	109	7	(	(	PUNCT
ejde-187	109	8	ym(r	ym(r	NOUN
ejde-187	109	9	,	,	PUNCT
ejde-187	109	10	x	x	X
ejde-187	109	11	)	)	PUNCT
ejde-187	109	12	+	+	CCONJ
ejde-187	109	13	cφ(x	cφ(x	NUM
ejde-187	109	14	,	,	PUNCT
ejde-187	109	15	r	r	NOUN
ejde-187	109	16	−	−	NOUN
ejde-187	109	17	x	x	NOUN
ejde-187	109	18	)	)	PUNCT
ejde-187	109	19	+	+	CCONJ
ejde-187	109	20	s(qn	s(qn	PROPN
ejde-187	109	21	−qm)(r	−qm)(r	NOUN
ejde-187	109	22	,	,	PUNCT
ejde-187	109	23	x	x	NOUN
ejde-187	109	24	)	)	PUNCT
ejde-187	109	25	)	)	PUNCT
ejde-187	109	26	ds	ds	ADP
ejde-187	109	27	∣∣	∣∣	NUM
ejde-187	109	28	≤	≤	NUM
ejde-187	109	29	|h′|∞	|h′|∞	NOUN
ejde-187	109	30	k1	k1	NOUN
ejde-187	109	31	+	+	CCONJ
ejde-187	109	32	πτ	πτ	VERB
ejde-187	109	33	128	128	NUM
ejde-187	109	34	≤	≤	NUM
ejde-187	109	35	πτ	πτ	ADP
ejde-187	109	36	64	64	NUM
ejde-187	109	37	.	.	PUNCT
ejde-187	110	1	(	(	PUNCT
ejde-187	110	2	3.14	3.14	NUM
ejde-187	110	3	)	)	PUNCT
ejde-187	110	4	on	on	ADP
ejde-187	110	5	the	the	DET
ejde-187	110	6	other	other	ADJ
ejde-187	110	7	hand	hand	NOUN
ejde-187	110	8	,	,	PUNCT
ejde-187	110	9	if	if	SCONJ
ejde-187	110	10	|(qn	|(qn	PROPN
ejde-187	110	11	−	−	PROPN
ejde-187	110	12	qm)(r	qm)(r	PROPN
ejde-187	110	13	,	,	PUNCT
ejde-187	110	14	x)|	x)|	PROPN
ejde-187	110	15	≤	≤	PROPN
ejde-187	110	16	2k2	2k2	NUM
ejde-187	110	17	1	1	NUM
ejde-187	110	18	,	,	PUNCT
ejde-187	110	19	then	then	ADV
ejde-187	110	20	|ym(r	|ym(r	NUM
ejde-187	110	21	,	,	PUNCT
ejde-187	110	22	x	x	PRON
ejde-187	110	23	)	)	PUNCT
ejde-187	111	1	+	+	CCONJ
ejde-187	112	1	cψ(x	cψ(x	X
ejde-187	112	2	,	,	PUNCT
ejde-187	112	3	r	r	NOUN
ejde-187	112	4	−	−	NOUN
ejde-187	112	5	x	x	X
ejde-187	112	6	)	)	PUNCT
ejde-187	112	7	+	+	CCONJ
ejde-187	112	8	s(qn−qm)(r	s(qn−qm)(r	NOUN
ejde-187	112	9	,	,	PUNCT
ejde-187	112	10	x))|	x))|	PROPN
ejde-187	112	11	>	>	X
ejde-187	112	12	k1	k1	PROPN
ejde-187	112	13	.	.	PUNCT
ejde-187	113	1	thus	thus	ADV
ejde-187	113	2	|h′(ym(r	|h′(ym(r	PROPN
ejde-187	113	3	,	,	PUNCT
ejde-187	113	4	x	x	X
ejde-187	113	5	)	)	PUNCT
ejde-187	114	1	+	+	ADV
ejde-187	114	2	cψ(x	cψ(x	NUM
ejde-187	114	3	,	,	PUNCT
ejde-187	114	4	t	t	PROPN
ejde-187	114	5	)	)	PUNCT
ejde-187	114	6	+	+	CCONJ
ejde-187	114	7	s(qn−qm)(r	s(qn−qm)(r	NOUN
ejde-187	114	8	,	,	PUNCT
ejde-187	114	9	x))|	x))|	PROPN
ejde-187	114	10	<	<	X
ejde-187	114	11	τ	τ	PROPN
ejde-187	114	12	128	128	NUM
ejde-187	114	13	.	.	PUNCT
ejde-187	115	1	hence	hence	ADV
ejde-187	115	2	∣∣	∣∣	X
ejde-187	115	3	∫	∫	PROPN
ejde-187	115	4	1	1	NUM
ejde-187	115	5	0	0	NUM
ejde-187	115	6	h′	h′	X
ejde-187	115	7	(	(	PUNCT
ejde-187	115	8	ym(r	ym(r	NOUN
ejde-187	115	9	,	,	PUNCT
ejde-187	115	10	x	x	X
ejde-187	115	11	)	)	PUNCT
ejde-187	115	12	+	+	CCONJ
ejde-187	115	13	cψ(x	cψ(x	X
ejde-187	115	14	,	,	PUNCT
ejde-187	115	15	r	r	NOUN
ejde-187	115	16	−	−	NOUN
ejde-187	115	17	x	x	NOUN
ejde-187	115	18	)	)	PUNCT
ejde-187	115	19	+	+	CCONJ
ejde-187	115	20	s(qn	s(qn	PROPN
ejde-187	115	21	−qm)(r	−qm)(r	NOUN
ejde-187	115	22	,	,	PUNCT
ejde-187	115	23	x	x	NOUN
ejde-187	115	24	)	)	PUNCT
ejde-187	115	25	)	)	PUNCT
ejde-187	115	26	ds	ds	ADP
ejde-187	115	27	∣∣	∣∣	NUM
ejde-187	115	28	≤	≤	X
ejde-187	115	29	τ	τ	X
ejde-187	115	30	128	128	NUM
ejde-187	115	31	<	<	X
ejde-187	115	32	πτ	πτ	ADP
ejde-187	115	33	64	64	NUM
ejde-187	115	34	.	.	PUNCT
ejde-187	116	1	(	(	PUNCT
ejde-187	116	2	3.15	3.15	NUM
ejde-187	116	3	)	)	PUNCT
ejde-187	116	4	from	from	ADP
ejde-187	116	5	(	(	PUNCT
ejde-187	116	6	3.13	3.13	NUM
ejde-187	116	7	)	)	PUNCT
ejde-187	116	8	,	,	PUNCT
ejde-187	116	9	(	(	PUNCT
ejde-187	116	10	3.14	3.14	NUM
ejde-187	116	11	)	)	PUNCT
ejde-187	116	12	,	,	PUNCT
ejde-187	116	13	and	and	CCONJ
ejde-187	116	14	(	(	PUNCT
ejde-187	116	15	3.15	3.15	NUM
ejde-187	116	16	)	)	PUNCT
ejde-187	116	17	,	,	PUNCT
ejde-187	116	18	|i1n(r)−	|i1n(r)−	PROPN
ejde-187	116	19	i1m(r)|	i1m(r)|	VERB
ejde-187	116	20	≤	≤	NUM
ejde-187	117	1	∫	∫	PROPN
ejde-187	117	2	π	π	PROPN
ejde-187	117	3	0	0	X
ejde-187	117	4	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	117	5	−	−	PROPN
ejde-187	117	6	ym)(r	ym)(r	PROPN
ejde-187	117	7	,	,	PUNCT
ejde-187	117	8	x)|dx	x)|dx	PROPN
ejde-187	117	9	+	+	CCONJ
ejde-187	117	10	τπ	τπ	ADP
ejde-187	117	11	64	64	NUM
ejde-187	117	12	∫	∫	NOUN
ejde-187	117	13	[	[	X
ejde-187	117	14	0,π]\ar	0,π]\ar	X
ejde-187	117	15	,	,	PUNCT
ejde-187	117	16	δ	δ	PROPN
ejde-187	117	17	|(qn	|(qn	PROPN
ejde-187	117	18	−qm)(r	−qm)(r	NOUN
ejde-187	117	19	,	,	PUNCT
ejde-187	117	20	x)|	x)|	PROPN
ejde-187	117	21	dx	dx	PROPN
ejde-187	117	22	+	+	CCONJ
ejde-187	117	23	∫	∫	PROPN
ejde-187	117	24	ar	ar	PROPN
ejde-187	117	25	,	,	PUNCT
ejde-187	117	26	δ	δ	PROPN
ejde-187	117	27	|h′|∞|qn(r	|h′|∞|qn(r	NOUN
ejde-187	117	28	,	,	PUNCT
ejde-187	117	29	x)−qm(r	x)−qm(r	PROPN
ejde-187	117	30	,	,	PUNCT
ejde-187	117	31	x)|dx	x)|dx	PROPN
ejde-187	117	32	≤	≤	PROPN
ejde-187	117	33	∫	∫	PROPN
ejde-187	118	1	π	π	PROPN
ejde-187	118	2	0	0	X
ejde-187	118	3	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	118	4	−	−	PROPN
ejde-187	118	5	ym)(r	ym)(r	PROPN
ejde-187	118	6	,	,	PUNCT
ejde-187	118	7	x)|	x)|	PROPN
ejde-187	118	8	dx+	dx+	NOUN
ejde-187	118	9	τπ	τπ	ADP
ejde-187	118	10	64	64	NUM
ejde-187	118	11	(	(	PUNCT
ejde-187	118	12	π(|(pn	π(|(pn	NUM
ejde-187	118	13	−	−	PROPN
ejde-187	118	14	pm	pm	NOUN
ejde-187	119	1	+	+	CCONJ
ejde-187	119	2	pn	pn	PROPN
ejde-187	119	3	−	−	PROPN
ejde-187	120	1	pm)(r)|	pm)(r)|	PROPN
ejde-187	121	1	+	+	NUM
ejde-187	121	2	∫	∫	PROPN
ejde-187	122	1	[	[	X
ejde-187	122	2	0,π]\ar	0,π]\ar	X
ejde-187	122	3	,	,	PUNCT
ejde-187	122	4	δ	δ	PROPN
ejde-187	122	5	|(pn	|(pn	PROPN
ejde-187	122	6	+	+	CCONJ
ejde-187	122	7	pn	pn	PROPN
ejde-187	122	8	−	−	PROPN
ejde-187	122	9	pm	pm	NOUN
ejde-187	122	10	−	−	PROPN
ejde-187	122	11	pm)(r	pm)(r	PROPN
ejde-187	122	12	−	−	PROPN
ejde-187	122	13	2x)|	2x)|	NUM
ejde-187	122	14	dx	dx	PROPN
ejde-187	122	15	)	)	PUNCT
ejde-187	123	1	+	+	PUNCT
ejde-187	123	2	m(ar	m(ar	NOUN
ejde-187	123	3	,	,	PUNCT
ejde-187	123	4	δ)|h′|∞|(pn	δ)|h′|∞|(pn	NOUN
ejde-187	123	5	−	−	PROPN
ejde-187	123	6	pm	pm	NOUN
ejde-187	123	7	+	+	CCONJ
ejde-187	123	8	pn	pn	PROPN
ejde-187	123	9	−	−	PROPN
ejde-187	123	10	pm)(r)|	pm)(r)|	PROPN
ejde-187	124	1	+	+	CCONJ
ejde-187	124	2	∫	∫	PROPN
ejde-187	124	3	ar	ar	PROPN
ejde-187	124	4	,	,	PUNCT
ejde-187	124	5	δ	δ	PROPN
ejde-187	124	6	|h′|∞|(pn	|h′|∞|(pn	PUNCT
ejde-187	124	7	−	−	PROPN
ejde-187	124	8	pm	pm	NOUN
ejde-187	124	9	+	+	CCONJ
ejde-187	124	10	pn	pn	PROPN
ejde-187	124	11	−	−	PROPN
ejde-187	124	12	pm)(r	pm)(r	PROPN
ejde-187	124	13	−	−	PROPN
ejde-187	125	1	2x)|dx	2x)|dx	NUM
ejde-187	125	2	.	.	PUNCT
ejde-187	126	1	(	(	PUNCT
ejde-187	126	2	3.16	3.16	NUM
ejde-187	126	3	)	)	PUNCT
ejde-187	126	4	ejde-2023	ejde-2023	NOUN
ejde-187	126	5	/	/	SYM
ejde-187	126	6	si/02	si/02	PROPN
ejde-187	126	7	a	a	DET
ejde-187	126	8	semilinear	semilinear	ADJ
ejde-187	126	9	wave	wave	NOUN
ejde-187	126	10	equation	equation	NOUN
ejde-187	126	11	85	85	NUM
ejde-187	126	12	similarly	similarly	ADV
ejde-187	126	13	,	,	PUNCT
ejde-187	126	14	|i2n(r)−	|i2n(r)−	NOUN
ejde-187	126	15	i2m(r)|	i2m(r)|	NOUN
ejde-187	126	16	≤	≤	NUM
ejde-187	126	17	∫	∫	PROPN
ejde-187	127	1	π	π	X
ejde-187	127	2	0	0	X
ejde-187	127	3	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	127	4	−	−	PROPN
ejde-187	127	5	ym)(r	ym)(r	PROPN
ejde-187	127	6	,	,	PUNCT
ejde-187	127	7	x)|	x)|	PROPN
ejde-187	127	8	dx	dx	PROPN
ejde-187	128	1	+	+	CCONJ
ejde-187	128	2	τπ	τπ	PROPN
ejde-187	128	3	64	64	NUM
ejde-187	128	4	(	(	PUNCT
ejde-187	128	5	π(|(pn	π(|(pn	NUM
ejde-187	128	6	−	−	PROPN
ejde-187	128	7	pm	pm	NOUN
ejde-187	128	8	+	+	CCONJ
ejde-187	128	9	pn	pn	PROPN
ejde-187	128	10	−	−	PROPN
ejde-187	128	11	pm)(r)|	pm)(r)|	PROPN
ejde-187	129	1	+	+	NUM
ejde-187	129	2	∫	∫	PROPN
ejde-187	130	1	[	[	X
ejde-187	130	2	0,π]\ar	0,π]\ar	X
ejde-187	130	3	,	,	PUNCT
ejde-187	130	4	δ	δ	PROPN
ejde-187	130	5	|(pn	|(pn	PROPN
ejde-187	130	6	+	+	CCONJ
ejde-187	130	7	pn	pn	PROPN
ejde-187	130	8	−	−	PROPN
ejde-187	130	9	pm	pm	NOUN
ejde-187	130	10	−	−	PROPN
ejde-187	130	11	pm)(r	pm)(r	PROPN
ejde-187	130	12	+	+	CCONJ
ejde-187	130	13	2x)|	2x)|	NUM
ejde-187	130	14	dx	dx	PROPN
ejde-187	130	15	)	)	PUNCT
ejde-187	131	1	+	+	PUNCT
ejde-187	131	2	m(ar	m(ar	NOUN
ejde-187	131	3	,	,	PUNCT
ejde-187	131	4	δ)|h′|∞	δ)|h′|∞	VERB
ejde-187	131	5	|(pn	|(pn	NUM
ejde-187	131	6	−	−	NOUN
ejde-187	131	7	pm	pm	NOUN
ejde-187	131	8	+	+	CCONJ
ejde-187	131	9	pn	pn	PROPN
ejde-187	131	10	−	−	PROPN
ejde-187	131	11	pm)(r)|	pm)(r)|	PROPN
ejde-187	132	1	+	+	CCONJ
ejde-187	132	2	∫	∫	PROPN
ejde-187	132	3	ar	ar	PROPN
ejde-187	132	4	,	,	PUNCT
ejde-187	132	5	δ	δ	PROPN
ejde-187	132	6	|h′|∞|(pn	|h′|∞|(pn	PUNCT
ejde-187	132	7	−	−	PROPN
ejde-187	132	8	pm	pm	NOUN
ejde-187	132	9	+	+	CCONJ
ejde-187	132	10	pn	pn	X
ejde-187	132	11	−	−	PROPN
ejde-187	132	12	pm)(r	pm)(r	PROPN
ejde-187	132	13	+	+	CCONJ
ejde-187	132	14	2x)|	2x)|	NUM
ejde-187	132	15	dx	dx	PROPN
ejde-187	132	16	.	.	PUNCT
ejde-187	133	1	(	(	PUNCT
ejde-187	133	2	3.17	3.17	NUM
ejde-187	133	3	)	)	PUNCT
ejde-187	133	4	since	since	SCONJ
ejde-187	133	5	∫	∫	PROPN
ejde-187	133	6	ar	ar	PROPN
ejde-187	133	7	,	,	PUNCT
ejde-187	133	8	δ	δ	PROPN
ejde-187	133	9	|pn(r	|pn(r	PROPN
ejde-187	133	10	−	−	NUM
ejde-187	133	11	2x)−	2x)−	NUM
ejde-187	133	12	pm(r	pm(r	NOUN
ejde-187	134	1	−	−	PROPN
ejde-187	134	2	2x)|dx	2x)|dx	NUM
ejde-187	134	3	≤	≤	NUM
ejde-187	134	4	δα/2‖pn	δα/2‖pn	VERB
ejde-187	134	5	−	−	PROPN
ejde-187	134	6	pm‖2	pm‖2	NOUN
ejde-187	134	7	,	,	PUNCT
ejde-187	134	8	by	by	ADP
ejde-187	134	9	(	(	PUNCT
ejde-187	134	10	3.10	3.10	NUM
ejde-187	134	11	)	)	PUNCT
ejde-187	134	12	,	,	PUNCT
ejde-187	134	13	(	(	PUNCT
ejde-187	134	14	3.16	3.16	NUM
ejde-187	134	15	)	)	PUNCT
ejde-187	134	16	y	y	PROPN
ejde-187	134	17	(	(	PUNCT
ejde-187	134	18	3.17	3.17	NUM
ejde-187	134	19	)	)	PUNCT
ejde-187	134	20	we	we	PRON
ejde-187	134	21	have	have	VERB
ejde-187	134	22	2πτ	2πτ	ADJ
ejde-187	134	23	|pn(r)−	|pn(r)−	NOUN
ejde-187	134	24	pm(r)|	pm(r)|	NOUN
ejde-187	134	25	≤	≤	ADV
ejde-187	134	26	2	2	NUM
ejde-187	134	27	∫	∫	NOUN
ejde-187	134	28	π	π	X
ejde-187	134	29	0	0	X
ejde-187	134	30	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	134	31	−	−	PROPN
ejde-187	134	32	ym)(r	ym)(r	PROPN
ejde-187	134	33	,	,	PUNCT
ejde-187	134	34	x)|	x)|	PROPN
ejde-187	134	35	dx	dx	PROPN
ejde-187	135	1	+	+	CCONJ
ejde-187	135	2	τπ	τπ	NUM
ejde-187	135	3	32	32	NUM
ejde-187	135	4	(	(	PUNCT
ejde-187	135	5	∫	∫	PROPN
ejde-187	135	6	[	[	X
ejde-187	135	7	0,π]\ar	0,π]\ar	X
ejde-187	135	8	,	,	PUNCT
ejde-187	135	9	δ	δ	PROPN
ejde-187	135	10	|(pn	|(pn	PROPN
ejde-187	135	11	+	+	CCONJ
ejde-187	135	12	pn	pn	PROPN
ejde-187	135	13	−	−	PROPN
ejde-187	135	14	pm	pm	NOUN
ejde-187	135	15	−	−	PROPN
ejde-187	135	16	pm)(r	pm)(r	PROPN
ejde-187	135	17	−	−	PROPN
ejde-187	135	18	2x)|	2x)|	NUM
ejde-187	135	19	dx	dx	PROPN
ejde-187	136	1	+	+	CCONJ
ejde-187	136	2	π(|pn(r)−	π(|pn(r)−	NUM
ejde-187	136	3	pm(r)|+	pm(r)|+	PROPN
ejde-187	136	4	|(pn	|(pn	NUM
ejde-187	136	5	−	−	NOUN
ejde-187	136	6	pm)(r)|	pm)(r)|	NUM
ejde-187	136	7	)	)	PUNCT
ejde-187	136	8	)	)	PUNCT
ejde-187	137	1	+	+	CCONJ
ejde-187	137	2	2δα|h′|∞(|pn	2δα|h′|∞(|pn	NUM
ejde-187	137	3	−	−	NOUN
ejde-187	137	4	pm	pm	NOUN
ejde-187	137	5	+	+	CCONJ
ejde-187	137	6	pn	pn	PROPN
ejde-187	137	7	−	−	PROPN
ejde-187	137	8	pm)(r)|	pm)(r)|	NUM
ejde-187	137	9	)	)	PUNCT
ejde-187	137	10	+	+	CCONJ
ejde-187	137	11	2|h′|∞δα/2	2|h′|∞δα/2	NUM
ejde-187	137	12	(	(	PUNCT
ejde-187	137	13	‖pn	‖pn	NUM
ejde-187	137	14	−	−	NOUN
ejde-187	137	15	pm‖2	pm‖2	NOUN
ejde-187	137	16	+	+	CCONJ
ejde-187	137	17	‖pn	‖pn	NUM
ejde-187	137	18	−	−	NOUN
ejde-187	138	1	pm‖2	pm‖2	NOUN
ejde-187	138	2	)	)	PUNCT
ejde-187	138	3	.	.	PUNCT
ejde-187	139	1	(	(	PUNCT
ejde-187	139	2	3.18	3.18	NUM
ejde-187	139	3	)	)	PUNCT
ejde-187	139	4	by	by	ADP
ejde-187	139	5	the	the	DET
ejde-187	139	6	definition	definition	NOUN
ejde-187	139	7	of	of	ADP
ejde-187	139	8	δ	δ	PROPN
ejde-187	139	9	,	,	PUNCT
ejde-187	139	10	64τπ	64τπ	ADJ
ejde-187	139	11	−	−	NOUN
ejde-187	140	1	τπ2	τπ2	INTJ
ejde-187	140	2	−	−	PROPN
ejde-187	140	3	128δα|h′|∞	128δα|h′|∞	PROPN
ejde-187	140	4	>	>	X
ejde-187	140	5	64τπ	64τπ	ADJ
ejde-187	141	1	−	−	X
ejde-187	141	2	τπ2	τπ2	INTJ
ejde-187	142	1	−	−	X
ejde-187	142	2	τπ	τπ	ADP
ejde-187	142	3	>	>	X
ejde-187	142	4	59τπ	59τπ	NOUN
ejde-187	142	5	.	.	PUNCT
ejde-187	143	1	therefore	therefore	ADV
ejde-187	143	2	,	,	PUNCT
ejde-187	143	3	59τπ	59τπ	NOUN
ejde-187	143	4	32	32	NUM
ejde-187	143	5	|pn(r)−	|pn(r)−	PROPN
ejde-187	143	6	pm(r)|	pm(r)|	NOUN
ejde-187	143	7	≤	≤	ADV
ejde-187	143	8	2	2	NUM
ejde-187	143	9	∫	∫	NOUN
ejde-187	143	10	π	π	X
ejde-187	143	11	0	0	X
ejde-187	143	12	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	143	13	−	−	PROPN
ejde-187	143	14	ym)(r	ym)(r	PROPN
ejde-187	143	15	,	,	PUNCT
ejde-187	143	16	x)|	x)|	PROPN
ejde-187	143	17	dx+	dx+	NOUN
ejde-187	143	18	5τπ	5τπ	NOUN
ejde-187	143	19	32	32	NUM
ejde-187	143	20	|(pn	|(pn	NUM
ejde-187	143	21	−	−	ADP
ejde-187	143	22	pm)(r)|	pm)(r)|	PROPN
ejde-187	143	23	+	+	CCONJ
ejde-187	143	24	(	(	PUNCT
ejde-187	143	25	πτ√2π	πτ√2π	X
ejde-187	143	26	64	64	NUM
ejde-187	143	27	+	+	NUM
ejde-187	143	28	2δα/2|h′|∞	2δα/2|h′|∞	NOUN
ejde-187	143	29	)	)	PUNCT
ejde-187	143	30	(	(	PUNCT
ejde-187	143	31	‖pn	‖pn	NUM
ejde-187	143	32	−	−	NOUN
ejde-187	143	33	pm‖2	pm‖2	NOUN
ejde-187	143	34	+	+	CCONJ
ejde-187	143	35	‖pn	‖pn	NUM
ejde-187	143	36	−	−	NOUN
ejde-187	144	1	pm‖2	pm‖2	NOUN
ejde-187	144	2	)	)	PUNCT
ejde-187	145	1	+	+	NUM
ejde-187	145	2	5τπ	5τπ	NOUN
ejde-187	145	3	64	64	NUM
ejde-187	145	4	‖(pn	‖(pn	PUNCT
ejde-187	145	5	−	−	NOUN
ejde-187	145	6	pm‖2	pm‖2	NOUN
ejde-187	145	7	.	.	PUNCT
ejde-187	146	1	(	(	PUNCT
ejde-187	146	2	3.19	3.19	NUM
ejde-187	146	3	)	)	PUNCT
ejde-187	146	4	hence	hence	ADV
ejde-187	146	5	,	,	PUNCT
ejde-187	146	6	59τπ	59τπ	NOUN
ejde-187	146	7	32	32	NUM
ejde-187	146	8	‖pn(r)−	‖pn(r)−	NOUN
ejde-187	146	9	pm(r)‖2	pm(r)‖2	NOUN
ejde-187	146	10	≤	≤	ADV
ejde-187	146	11	2	2	NUM
ejde-187	146	12	(	(	PUNCT
ejde-187	146	13	∫	∫	PROPN
ejde-187	146	14	2π	2π	PROPN
ejde-187	146	15	0	0	NUM
ejde-187	147	1	∫	∫	PROPN
ejde-187	147	2	π	π	X
ejde-187	147	3	0	0	X
ejde-187	147	4	|h′|∞|(yn	|h′|∞|(yn	PROPN
ejde-187	147	5	−	−	PROPN
ejde-187	147	6	ym)(r	ym)(r	PROPN
ejde-187	147	7	,	,	PUNCT
ejde-187	147	8	x)|	x)|	PROPN
ejde-187	147	9	dx	dx	PROPN
ejde-187	147	10	dr	dr	PROPN
ejde-187	147	11	)	)	PUNCT
ejde-187	147	12	1/2	1/2	NUM
ejde-187	148	1	+	+	CCONJ
ejde-187	148	2	(	(	PUNCT
ejde-187	148	3	πτ√2π	πτ√2π	X
ejde-187	148	4	64	64	NUM
ejde-187	148	5	+	+	CCONJ
ejde-187	148	6	|h′|∞2δα/2	|h′|∞2δα/2	NOUN
ejde-187	148	7	)	)	PUNCT
ejde-187	148	8	√	√	ADP
ejde-187	148	9	2π(‖pn	2π(‖pn	NUM
ejde-187	148	10	−	−	NOUN
ejde-187	149	1	pm‖2	pm‖2	NOUN
ejde-187	149	2	+	+	CCONJ
ejde-187	149	3	‖pn	‖pn	NUM
ejde-187	149	4	−	−	NOUN
ejde-187	150	1	pm‖2	pm‖2	NOUN
ejde-187	150	2	)	)	PUNCT
ejde-187	151	1	+	+	NUM
ejde-187	151	2	5τπ	5τπ	NOUN
ejde-187	151	3	64	64	NUM
ejde-187	151	4	‖(pn	‖(pn	PUNCT
ejde-187	151	5	−	−	NOUN
ejde-187	151	6	pm‖2	pm‖2	NOUN
ejde-187	151	7	.	.	PUNCT
ejde-187	152	1	(	(	PUNCT
ejde-187	152	2	3.20	3.20	NUM
ejde-187	152	3	)	)	PUNCT
ejde-187	152	4	86	86	NUM
ejde-187	152	5	j.	j.	PROPN
ejde-187	152	6	f.	f.	PROPN
ejde-187	152	7	caicedo	caicedo	PROPN
ejde-187	152	8	,	,	PUNCT
ejde-187	152	9	a.	a.	NOUN
ejde-187	152	10	castro	castro	PROPN
ejde-187	152	11	,	,	PUNCT
ejde-187	152	12	r.	r.	PROPN
ejde-187	152	13	duque	duque	PROPN
ejde-187	152	14	,	,	PUNCT
ejde-187	152	15	a.	a.	PROPN
ejde-187	152	16	sanjuan	sanjuan	PROPN
ejde-187	152	17	ejde	ejde	PROPN
ejde-187	152	18	/	/	SYM
ejde-187	152	19	si/02	si/02	PROPN
ejde-187	152	20	since	since	SCONJ
ejde-187	152	21	{	{	PUNCT
ejde-187	152	22	pn	pn	NOUN
ejde-187	152	23	}	}	PUNCT
ejde-187	152	24	converges	converge	NOUN
ejde-187	152	25	in	in	ADP
ejde-187	152	26	l2([0	l2([0	PROPN
ejde-187	152	27	,	,	PUNCT
ejde-187	152	28	2π	2π	NOUN
ejde-187	152	29	]	]	PUNCT
ejde-187	152	30	)	)	PUNCT
ejde-187	152	31	,	,	PUNCT
ejde-187	152	32	{	{	PUNCT
ejde-187	152	33	yn	yn	NOUN
ejde-187	152	34	}	}	PUNCT
ejde-187	152	35	converges	converge	VERB
ejde-187	152	36	uniformly	uniformly	ADV
ejde-187	152	37	and(τπ√2π	and(τπ√2π	PROPN
ejde-187	152	38	64	64	NUM
ejde-187	152	39	+	+	NOUN
ejde-187	152	40	|h′|∞2δα/2	|h′|∞2δα/2	NOUN
ejde-187	152	41	)	)	PUNCT
ejde-187	152	42	√	√	PART
ejde-187	152	43	2π	2π	PROPN
ejde-187	152	44	<	<	X
ejde-187	152	45	τπ	τπ	ADP
ejde-187	152	46	4	4	NUM
ejde-187	152	47	<	<	X
ejde-187	152	48	59τπ	59τπ	NOUN
ejde-187	152	49	32	32	NUM
ejde-187	152	50	.	.	PUNCT
ejde-187	153	1	(	(	PUNCT
ejde-187	153	2	3.21	3.21	NUM
ejde-187	153	3	)	)	PUNCT
ejde-187	153	4	thus	thus	ADV
ejde-187	153	5	{	{	PUNCT
ejde-187	153	6	pn	pn	NOUN
ejde-187	153	7	}	}	PUNCT
ejde-187	153	8	is	be	AUX
ejde-187	153	9	a	a	DET
ejde-187	153	10	cauchy	cauchy	ADJ
ejde-187	153	11	sequence	sequence	NOUN
ejde-187	153	12	in	in	ADP
ejde-187	153	13	l2([0	l2([0	PROPN
ejde-187	153	14	,	,	PUNCT
ejde-187	153	15	2π	2π	NOUN
ejde-187	153	16	]	]	PUNCT
ejde-187	153	17	)	)	PUNCT
ejde-187	153	18	,	,	PUNCT
ejde-187	153	19	which	which	PRON
ejde-187	153	20	proves	prove	VERB
ejde-187	153	21	the	the	DET
ejde-187	153	22	theorem	theorem	PROPN
ejde-187	153	23	.	.	PROPN
ejde-187	153	24	obituary	obituary	PROPN
ejde-187	153	25	.	.	PUNCT
ejde-187	154	1	with	with	ADP
ejde-187	154	2	great	great	ADJ
ejde-187	154	3	sadness	sadness	NOUN
ejde-187	154	4	,	,	PUNCT
ejde-187	154	5	the	the	DET
ejde-187	154	6	last	last	ADJ
ejde-187	154	7	three	three	NUM
ejde-187	154	8	authors	author	NOUN
ejde-187	154	9	report	report	VERB
ejde-187	154	10	the	the	DET
ejde-187	154	11	passing	passing	NOUN
ejde-187	154	12	of	of	ADP
ejde-187	154	13	professor	professor	NOUN
ejde-187	154	14	josé	josé	PROPN
ejde-187	154	15	francisco	francisco	PROPN
ejde-187	154	16	caicedo	caicedo	NOUN
ejde-187	154	17	on	on	ADP
ejde-187	154	18	february	february	PROPN
ejde-187	154	19	23	23	NUM
ejde-187	154	20	,	,	PUNCT
ejde-187	154	21	2022	2022	NUM
ejde-187	154	22	.	.	PUNCT
ejde-187	155	1	he	he	PRON
ejde-187	155	2	was	be	AUX
ejde-187	155	3	our	our	PRON
ejde-187	155	4	friend	friend	NOUN
ejde-187	155	5	,	,	PUNCT
ejde-187	155	6	teacher	teacher	NOUN
ejde-187	155	7	,	,	PUNCT
ejde-187	155	8	and	and	CCONJ
ejde-187	155	9	mentor	mentor	NOUN
ejde-187	155	10	.	.	PUNCT
ejde-187	156	1	the	the	DET
ejde-187	156	2	results	result	NOUN
ejde-187	156	3	in	in	ADP
ejde-187	156	4	this	this	DET
ejde-187	156	5	paper	paper	NOUN
ejde-187	156	6	were	be	AUX
ejde-187	156	7	proven	prove	VERB
ejde-187	156	8	prior	prior	ADV
ejde-187	156	9	to	to	ADP
ejde-187	156	10	his	his	PRON
ejde-187	156	11	death	death	NOUN
ejde-187	156	12	.	.	PUNCT
ejde-187	157	1	he	he	PRON
ejde-187	157	2	was	be	AUX
ejde-187	157	3	a	a	DET
ejde-187	157	4	leading	lead	VERB
ejde-187	157	5	force	force	NOUN
ejde-187	157	6	in	in	ADP
ejde-187	157	7	the	the	DET
ejde-187	157	8	understanding	understanding	NOUN
ejde-187	157	9	the	the	DET
ejde-187	157	10	solvability	solvability	NOUN
ejde-187	157	11	of	of	ADP
ejde-187	157	12	semilinear	semilinear	ADJ
ejde-187	157	13	wave	wave	NOUN
ejde-187	157	14	equations	equation	NOUN
ejde-187	157	15	.	.	PUNCT
ejde-187	158	1	references	reference	NOUN
ejde-187	158	2	[	[	X
ejde-187	158	3	1	1	NUM
ejde-187	158	4	]	]	PUNCT
ejde-187	158	5	h.	h.	PROPN
ejde-187	158	6	brézis	brézis	PROPN
ejde-187	158	7	,	,	PUNCT
ejde-187	158	8	l.	l.	PROPN
ejde-187	158	9	nirenberg	nirenberg	PROPN
ejde-187	158	10	;	;	PUNCT
ejde-187	158	11	forced	force	VERB
ejde-187	158	12	vibrations	vibration	NOUN
ejde-187	158	13	for	for	ADP
ejde-187	158	14	a	a	DET
ejde-187	158	15	nonlinear	nonlinear	ADJ
ejde-187	158	16	wave	wave	NOUN
ejde-187	158	17	equation	equation	NOUN
ejde-187	158	18	,	,	PUNCT
ejde-187	158	19	comm	comm	NOUN
ejde-187	158	20	.	.	PUNCT
ejde-187	159	1	on	on	ADP
ejde-187	159	2	pure	pure	ADJ
ejde-187	159	3	and	and	CCONJ
ejde-187	159	4	appl	appl	NOUN
ejde-187	159	5	.	.	PROPN
ejde-187	159	6	math	math	PROPN
ejde-187	159	7	.	.	PUNCT
ejde-187	159	8	,	,	PUNCT
ejde-187	159	9	vol	vol	NOUN
ejde-187	159	10	.	.	PUNCT
ejde-187	159	11	xxxi	xxxi	PROPN
ejde-187	160	1	no	no	INTJ
ejde-187	160	2	.	.	NOUN
ejde-187	160	3	1	1	NUM
ejde-187	160	4	(	(	PUNCT
ejde-187	160	5	1978	1978	NUM
ejde-187	160	6	)	)	PUNCT
ejde-187	160	7	,	,	PUNCT
ejde-187	160	8	pp	pp	PROPN
ejde-187	160	9	.	.	PUNCT
ejde-187	161	1	1	1	NUM
ejde-187	161	2	-	-	SYM
ejde-187	161	3	30	30	NUM
ejde-187	161	4	.	.	PUNCT
ejde-187	162	1	[	[	X
ejde-187	162	2	2	2	NUM
ejde-187	162	3	]	]	PUNCT
ejde-187	162	4	a.	a.	NOUN
ejde-187	162	5	castro	castro	PROPN
ejde-187	162	6	,	,	PUNCT
ejde-187	162	7	b.	b.	PROPN
ejde-187	162	8	preskill	preskill	NOUN
ejde-187	162	9	;	;	PUNCT
ejde-187	162	10	existence	existence	NOUN
ejde-187	162	11	of	of	ADP
ejde-187	162	12	solutions	solution	NOUN
ejde-187	162	13	for	for	ADP
ejde-187	162	14	a	a	DET
ejde-187	162	15	semilinear	semilinear	ADJ
ejde-187	162	16	wave	wave	NOUN
ejde-187	162	17	equation	equation	NOUN
ejde-187	162	18	with	with	ADP
ejde-187	162	19	nonmonotone	nonmonotone	NOUN
ejde-187	162	20	nonlinearity	nonlinearity	NOUN
ejde-187	162	21	,	,	PUNCT
ejde-187	162	22	continuous	continuous	ADJ
ejde-187	162	23	and	and	CCONJ
ejde-187	162	24	discrete	discrete	ADJ
ejde-187	162	25	dynamical	dynamical	ADJ
ejde-187	162	26	systems	system	NOUN
ejde-187	162	27	,	,	PUNCT
ejde-187	162	28	series	series	NOUN
ejde-187	162	29	a	a	NOUN
ejde-187	162	30	,	,	PUNCT
ejde-187	162	31	vol	vol	NOUN
ejde-187	162	32	.	.	PROPN
ejde-187	162	33	28	28	NUM
ejde-187	162	34	,	,	PUNCT
ejde-187	162	35	no	no	INTJ
ejde-187	162	36	.	.	NOUN
ejde-187	162	37	2	2	NUM
ejde-187	162	38	,	,	PUNCT
ejde-187	162	39	(	(	PUNCT
ejde-187	162	40	2010	2010	NUM
ejde-187	162	41	)	)	PUNCT
ejde-187	162	42	,	,	PUNCT
ejde-187	162	43	pp	pp	ADP
ejde-187	162	44	.	.	PUNCT
ejde-187	163	1	649	649	NUM
ejde-187	163	2	-	-	SYM
ejde-187	163	3	658	658	NUM
ejde-187	163	4	.	.	PUNCT
ejde-187	164	1	[	[	X
ejde-187	164	2	3	3	X
ejde-187	164	3	]	]	X
ejde-187	164	4	j.	j.	PROPN
ejde-187	164	5	caicedo	caicedo	PROPN
ejde-187	164	6	,	,	PUNCT
ejde-187	164	7	a.	a.	NOUN
ejde-187	164	8	castro	castro	PROPN
ejde-187	164	9	;	;	PUNCT
ejde-187	164	10	a	a	DET
ejde-187	164	11	semilinear	semilinear	ADJ
ejde-187	164	12	wave	wave	NOUN
ejde-187	164	13	equation	equation	NOUN
ejde-187	164	14	with	with	ADP
ejde-187	164	15	smooth	smooth	ADJ
ejde-187	164	16	data	datum	NOUN
ejde-187	164	17	and	and	CCONJ
ejde-187	164	18	no	no	DET
ejde-187	164	19	resonance	resonance	NOUN
ejde-187	164	20	having	have	VERB
ejde-187	164	21	no	no	DET
ejde-187	164	22	continuous	continuous	ADJ
ejde-187	164	23	solution	solution	NOUN
ejde-187	164	24	,	,	PUNCT
ejde-187	164	25	discrete	discrete	ADJ
ejde-187	164	26	and	and	CCONJ
ejde-187	164	27	continuous	continuous	ADJ
ejde-187	164	28	dynamical	dynamical	ADJ
ejde-187	164	29	systems	system	NOUN
ejde-187	164	30	,	,	PUNCT
ejde-187	164	31	vol	vol	NOUN
ejde-187	164	32	.	.	PROPN
ejde-187	164	33	24	24	NUM
ejde-187	164	34	,	,	PUNCT
ejde-187	164	35	no	no	INTJ
ejde-187	164	36	.	.	NOUN
ejde-187	164	37	3	3	NUM
ejde-187	164	38	(	(	PUNCT
ejde-187	164	39	2009	2009	NUM
ejde-187	164	40	)	)	PUNCT
ejde-187	164	41	,	,	PUNCT
ejde-187	164	42	pp	pp	ADP
ejde-187	164	43	.	.	PUNCT
ejde-187	165	1	653	653	NUM
ejde-187	165	2	-	-	SYM
ejde-187	165	3	658	658	NUM
ejde-187	165	4	.	.	PUNCT
ejde-187	166	1	[	[	X
ejde-187	166	2	4	4	X
ejde-187	166	3	]	]	X
ejde-187	166	4	j.	j.	PROPN
ejde-187	166	5	caicedo	caicedo	PROPN
ejde-187	166	6	,	,	PUNCT
ejde-187	166	7	a.	a.	NOUN
ejde-187	166	8	castro	castro	PROPN
ejde-187	166	9	,	,	PUNCT
ejde-187	166	10	r.	r.	PROPN
ejde-187	166	11	duque	duque	PROPN
ejde-187	166	12	;	;	PUNCT
ejde-187	166	13	a	a	DET
ejde-187	166	14	semilinear	semilinear	ADJ
ejde-187	166	15	wave	wave	NOUN
ejde-187	166	16	equation	equation	NOUN
ejde-187	166	17	with	with	ADP
ejde-187	166	18	non	non	ADJ
ejde-187	166	19	-	-	ADJ
ejde-187	166	20	monotone	monotone	ADJ
ejde-187	166	21	nonlinearity	nonlinearity	NOUN
ejde-187	166	22	and	and	CCONJ
ejde-187	166	23	forcing	force	VERB
ejde-187	166	24	flat	flat	ADJ
ejde-187	166	25	on	on	ADP
ejde-187	166	26	characteristics	characteristic	NOUN
ejde-187	166	27	,	,	PUNCT
ejde-187	166	28	electronic	electronic	ADJ
ejde-187	166	29	journal	journal	NOUN
ejde-187	166	30	of	of	ADP
ejde-187	166	31	differential	differential	ADJ
ejde-187	166	32	equations	equation	NOUN
ejde-187	166	33	,	,	PUNCT
ejde-187	166	34	special	special	ADJ
ejde-187	166	35	issue	issue	NOUN
ejde-187	166	36	01	01	NUM
ejde-187	166	37	(	(	PUNCT
ejde-187	166	38	2021	2021	NUM
ejde-187	166	39	)	)	PUNCT
ejde-187	166	40	,	,	PUNCT
ejde-187	166	41	pp	pp	ADP
ejde-187	166	42	.	.	PUNCT
ejde-187	167	1	91	91	NUM
ejde-187	167	2	-	-	SYM
ejde-187	167	3	99	99	NUM
ejde-187	167	4	.	.	PUNCT
ejde-187	168	1	[	[	X
ejde-187	168	2	5	5	X
ejde-187	168	3	]	]	PUNCT
ejde-187	168	4	j.	j.	PROPN
ejde-187	168	5	caicedo	caicedo	PROPN
ejde-187	168	6	,	,	PUNCT
ejde-187	168	7	a.	a.	NOUN
ejde-187	168	8	castro	castro	PROPN
ejde-187	168	9	,	,	PUNCT
ejde-187	168	10	r.	r.	PROPN
ejde-187	168	11	duque	duque	PROPN
ejde-187	168	12	;	;	PUNCT
ejde-187	168	13	existence	existence	NOUN
ejde-187	168	14	of	of	ADP
ejde-187	168	15	solutions	solution	NOUN
ejde-187	168	16	for	for	ADP
ejde-187	168	17	a	a	DET
ejde-187	168	18	wave	wave	NOUN
ejde-187	168	19	equation	equation	NOUN
ejde-187	168	20	with	with	ADP
ejde-187	168	21	nonmonotone	nonmonotone	NOUN
ejde-187	168	22	nonlinearity	nonlinearity	NOUN
ejde-187	168	23	and	and	CCONJ
ejde-187	168	24	a	a	DET
ejde-187	168	25	small	small	ADJ
ejde-187	168	26	parameter	parameter	NOUN
ejde-187	168	27	,	,	PUNCT
ejde-187	168	28	milan	milan	PROPN
ejde-187	168	29	j.	j.	PROPN
ejde-187	168	30	math	math	PROPN
ejde-187	168	31	.	.	PUNCT
ejde-187	168	32	,	,	PUNCT
ejde-187	168	33	vol	vol	NOUN
ejde-187	168	34	.	.	PROPN
ejde-187	168	35	79	79	NUM
ejde-187	168	36	,	,	PUNCT
ejde-187	168	37	(	(	PUNCT
ejde-187	168	38	2011	2011	NUM
ejde-187	168	39	)	)	PUNCT
ejde-187	168	40	,	,	PUNCT
ejde-187	168	41	207	207	NUM
ejde-187	168	42	-	-	SYM
ejde-187	168	43	220	220	NUM
ejde-187	168	44	.	.	PUNCT
ejde-187	169	1	[	[	X
ejde-187	169	2	6	6	NUM
ejde-187	169	3	]	]	PUNCT
ejde-187	169	4	j.	j.	PROPN
ejde-187	169	5	caicedo	caicedo	PROPN
ejde-187	169	6	,	,	PUNCT
ejde-187	169	7	a.	a.	NOUN
ejde-187	169	8	castro	castro	PROPN
ejde-187	169	9	,	,	PUNCT
ejde-187	169	10	r.	r.	PROPN
ejde-187	169	11	duque	duque	PROPN
ejde-187	169	12	,	,	PUNCT
ejde-187	169	13	a.	a.	PROPN
ejde-187	169	14	sanjuan	sanjuan	PROPN
ejde-187	169	15	;	;	PUNCT
ejde-187	169	16	existence	existence	NOUN
ejde-187	169	17	of	of	ADP
ejde-187	169	18	lp	lp	NOUN
ejde-187	169	19	-	-	PUNCT
ejde-187	169	20	solutions	solution	NOUN
ejde-187	169	21	for	for	ADP
ejde-187	169	22	a	a	DET
ejde-187	169	23	semilinear	semilinear	ADJ
ejde-187	169	24	wave	wave	NOUN
ejde-187	169	25	equation	equation	NOUN
ejde-187	169	26	with	with	ADP
ejde-187	169	27	non	non	ADJ
ejde-187	169	28	-	-	ADJ
ejde-187	169	29	monotone	monotone	ADJ
ejde-187	169	30	nonlinearity	nonlinearity	NOUN
ejde-187	169	31	,	,	PUNCT
ejde-187	169	32	discrete	discrete	ADJ
ejde-187	169	33	and	and	CCONJ
ejde-187	169	34	continuous	continuous	ADJ
ejde-187	169	35	dynamical	dynamical	ADJ
ejde-187	169	36	systems	system	NOUN
ejde-187	169	37	,	,	PUNCT
ejde-187	169	38	series	series	NOUN
ejde-187	169	39	s	s	PROPN
ejde-187	169	40	,	,	PUNCT
ejde-187	169	41	vol	vol	NOUN
ejde-187	169	42	.	.	PROPN
ejde-187	169	43	7	7	NUM
ejde-187	169	44	,	,	PUNCT
ejde-187	169	45	no	no	INTJ
ejde-187	169	46	.	.	NOUN
ejde-187	169	47	6	6	NUM
ejde-187	169	48	,	,	PUNCT
ejde-187	169	49	(	(	PUNCT
ejde-187	169	50	2014	2014	NUM
ejde-187	169	51	)	)	PUNCT
ejde-187	169	52	,	,	PUNCT
ejde-187	169	53	1193	1193	NUM
ejde-187	169	54	-	-	SYM
ejde-187	169	55	1202	1202	NUM
ejde-187	169	56	.	.	PUNCT
ejde-187	170	1	[	[	X
ejde-187	170	2	7	7	X
ejde-187	170	3	]	]	X
ejde-187	170	4	j.	j.	PROPN
ejde-187	170	5	caicedo	caicedo	PROPN
ejde-187	170	6	,	,	PUNCT
ejde-187	170	7	a.	a.	NOUN
ejde-187	170	8	castro	castro	PROPN
ejde-187	170	9	,	,	PUNCT
ejde-187	170	10	r.	r.	PROPN
ejde-187	170	11	duque	duque	PROPN
ejde-187	170	12	,	,	PUNCT
ejde-187	170	13	a.	a.	PROPN
ejde-187	170	14	sanjuan	sanjuan	PROPN
ejde-187	170	15	;	;	PUNCT
ejde-187	170	16	the	the	DET
ejde-187	170	17	semilinear	semilinear	ADJ
ejde-187	170	18	wave	wave	NOUN
ejde-187	170	19	equation	equation	NOUN
ejde-187	170	20	with	with	ADP
ejde-187	170	21	nonmonotone	nonmonotone	NOUN
ejde-187	170	22	nonlinearity	nonlinearity	NOUN
ejde-187	170	23	:	:	PUNCT
ejde-187	170	24	a	a	DET
ejde-187	170	25	review	review	NOUN
ejde-187	170	26	,	,	PUNCT
ejde-187	170	27	rend	rend	VERB
ejde-187	170	28	.	.	PUNCT
ejde-187	171	1	istit	istit	PROPN
ejde-187	171	2	.	.	PUNCT
ejde-187	172	1	mat	mat	NOUN
ejde-187	172	2	.	.	PROPN
ejde-187	172	3	univ	univ	PROPN
ejde-187	172	4	.	.	PUNCT
ejde-187	173	1	trieste	trieste	PROPN
ejde-187	173	2	volume	volume	NOUN
ejde-187	173	3	49	49	NUM
ejde-187	173	4	(	(	PUNCT
ejde-187	173	5	2017	2017	NUM
ejde-187	173	6	)	)	PUNCT
ejde-187	173	7	,	,	PUNCT
ejde-187	173	8	207	207	NUM
ejde-187	173	9	-	-	SYM
ejde-187	173	10	214	214	NUM
ejde-187	173	11	[	[	NOUN
ejde-187	173	12	8	8	NUM
ejde-187	173	13	]	]	X
ejde-187	173	14	j.	j.	PROPN
ejde-187	173	15	caicedo	caicedo	PROPN
ejde-187	173	16	,	,	PUNCT
ejde-187	173	17	a.	a.	NOUN
ejde-187	173	18	castro	castro	PROPN
ejde-187	173	19	,	,	PUNCT
ejde-187	173	20	a.	a.	PROPN
ejde-187	173	21	sanjuan	sanjuan	PROPN
ejde-187	173	22	;	;	PUNCT
ejde-187	173	23	bifurcation	bifurcation	NOUN
ejde-187	173	24	at	at	ADP
ejde-187	173	25	infinity	infinity	NOUN
ejde-187	173	26	for	for	ADP
ejde-187	173	27	a	a	DET
ejde-187	173	28	semilinear	semilinear	ADJ
ejde-187	173	29	wave	wave	NOUN
ejde-187	173	30	equation	equation	NOUN
ejde-187	173	31	with	with	ADP
ejde-187	173	32	non	non	ADJ
ejde-187	173	33	-	-	ADJ
ejde-187	173	34	monotone	monotone	ADJ
ejde-187	173	35	nonlinearity	nonlinearity	NOUN
ejde-187	173	36	,	,	PUNCT
ejde-187	173	37	discrete	discrete	ADJ
ejde-187	173	38	contin	contin	NOUN
ejde-187	173	39	.	.	PUNCT
ejde-187	174	1	dyn	dyn	NOUN
ejde-187	174	2	.	.	PUNCT
ejde-187	175	1	syst	syst	PROPN
ejde-187	175	2	.	.	PUNCT
ejde-187	176	1	37	37	NUM
ejde-187	176	2	(	(	PUNCT
ejde-187	176	3	2017	2017	NUM
ejde-187	176	4	)	)	PUNCT
ejde-187	176	5	,	,	PUNCT
ejde-187	176	6	no	no	INTJ
ejde-187	176	7	.	.	NOUN
ejde-187	176	8	4	4	NUM
ejde-187	176	9	,	,	PUNCT
ejde-187	176	10	1857	1857	NUM
ejde-187	176	11	-	-	SYM
ejde-187	176	12	1865	1865	NUM
ejde-187	176	13	.	.	PUNCT
ejde-187	177	1	[	[	X
ejde-187	177	2	9	9	NUM
ejde-187	177	3	]	]	PUNCT
ejde-187	177	4	h.	h.	PROPN
ejde-187	177	5	hofer	hofer	PROPN
ejde-187	177	6	;	;	PUNCT
ejde-187	177	7	on	on	ADP
ejde-187	177	8	the	the	DET
ejde-187	177	9	range	range	NOUN
ejde-187	177	10	of	of	ADP
ejde-187	177	11	a	a	DET
ejde-187	177	12	wave	wave	NOUN
ejde-187	177	13	operator	operator	NOUN
ejde-187	177	14	with	with	ADP
ejde-187	177	15	nonmonotone	nonmonotone	NOUN
ejde-187	177	16	nonlinearity	nonlinearity	NOUN
ejde-187	177	17	,	,	PUNCT
ejde-187	177	18	math	math	NOUN
ejde-187	177	19	.	.	PUNCT
ejde-187	178	1	nachr	nachr	PROPN
ejde-187	178	2	.	.	PUNCT
ejde-187	179	1	106	106	NUM
ejde-187	179	2	(	(	PUNCT
ejde-187	179	3	1982	1982	NUM
ejde-187	179	4	)	)	PUNCT
ejde-187	179	5	,	,	PUNCT
ejde-187	179	6	pp	pp	PROPN
ejde-187	179	7	.	.	PUNCT
ejde-187	180	1	327	327	NUM
ejde-187	180	2	-	-	SYM
ejde-187	180	3	340	340	NUM
ejde-187	180	4	.	.	PUNCT
ejde-187	181	1	[	[	X
ejde-187	181	2	10	10	NUM
ejde-187	181	3	]	]	X
ejde-187	181	4	p.	p.	NOUN
ejde-187	181	5	rabinowitz	rabinowitz	PROPN
ejde-187	181	6	;	;	PUNCT
ejde-187	181	7	periodic	periodic	ADJ
ejde-187	181	8	solutions	solution	NOUN
ejde-187	181	9	of	of	ADP
ejde-187	181	10	nonlinear	nonlinear	ADJ
ejde-187	181	11	hyperbolic	hyperbolic	ADJ
ejde-187	181	12	partial	partial	ADJ
ejde-187	181	13	differential	differential	NOUN
ejde-187	181	14	equations	equation	NOUN
ejde-187	181	15	,	,	PUNCT
ejde-187	181	16	comm	comm	NOUN
ejde-187	181	17	.	.	PUNCT
ejde-187	182	1	pure	pure	ADJ
ejde-187	182	2	appl	appl	PROPN
ejde-187	182	3	.	.	PUNCT
ejde-187	183	1	math	math	PROPN
ejde-187	183	2	.	.	PUNCT
ejde-187	184	1	vol	vol	NOUN
ejde-187	184	2	.	.	PROPN
ejde-187	184	3	20	20	NUM
ejde-187	184	4	,	,	PUNCT
ejde-187	184	5	(	(	PUNCT
ejde-187	184	6	1967	1967	NUM
ejde-187	184	7	)	)	PUNCT
ejde-187	184	8	,	,	PUNCT
ejde-187	184	9	pp	pp	PROPN
ejde-187	184	10	.	.	PUNCT
ejde-187	185	1	145	145	NUM
ejde-187	185	2	-	-	SYM
ejde-187	185	3	205	205	NUM
ejde-187	185	4	.	.	PUNCT
ejde-187	186	1	[	[	X
ejde-187	186	2	11	11	NUM
ejde-187	186	3	]	]	PUNCT
ejde-187	186	4	p.	p.	NOUN
ejde-187	186	5	h.	h.	PROPN
ejde-187	186	6	rabinowitz	rabinowitz	PROPN
ejde-187	186	7	;	;	PUNCT
ejde-187	186	8	large	large	ADJ
ejde-187	186	9	amplitude	amplitude	NOUN
ejde-187	186	10	time	time	NOUN
ejde-187	186	11	periodic	periodic	ADJ
ejde-187	186	12	solutions	solution	NOUN
ejde-187	186	13	of	of	ADP
ejde-187	186	14	a	a	DET
ejde-187	186	15	semilinear	semilinear	ADJ
ejde-187	186	16	wave	wave	NOUN
ejde-187	186	17	equation	equation	NOUN
ejde-187	186	18	,	,	PUNCT
ejde-187	186	19	comm	comm	NOUN
ejde-187	186	20	.	.	PUNCT
ejde-187	187	1	pure	pure	ADJ
ejde-187	187	2	appl	appl	PROPN
ejde-187	187	3	.	.	PUNCT
ejde-187	187	4	math	math	NOUN
ejde-187	187	5	.	.	PUNCT
ejde-187	188	1	37	37	NUM
ejde-187	188	2	(	(	PUNCT
ejde-187	188	3	1984	1984	NUM
ejde-187	188	4	)	)	PUNCT
ejde-187	188	5	,	,	PUNCT
ejde-187	188	6	no	no	INTJ
ejde-187	188	7	.	.	NOUN
ejde-187	188	8	2	2	NUM
ejde-187	188	9	,	,	PUNCT
ejde-187	188	10	pp	pp	ADJ
ejde-187	188	11	.	.	PUNCT
ejde-187	189	1	189	189	NUM
ejde-187	189	2	-	-	SYM
ejde-187	189	3	206	206	NUM
ejde-187	189	4	.	.	PUNCT
ejde-187	190	1	[	[	X
ejde-187	190	2	12	12	NUM
ejde-187	190	3	]	]	PUNCT
ejde-187	190	4	m.	m.	NOUN
ejde-187	190	5	willem	willem	PROPN
ejde-187	190	6	;	;	PUNCT
ejde-187	190	7	density	density	NOUN
ejde-187	190	8	of	of	ADP
ejde-187	190	9	the	the	DET
ejde-187	190	10	range	range	NOUN
ejde-187	190	11	of	of	ADP
ejde-187	190	12	potential	potential	ADJ
ejde-187	190	13	operator	operator	NOUN
ejde-187	190	14	,	,	PUNCT
ejde-187	190	15	proc	proc	NOUN
ejde-187	190	16	.	.	PUNCT
ejde-187	191	1	amer	amer	PROPN
ejde-187	191	2	.	.	PUNCT
ejde-187	191	3	math	math	PROPN
ejde-187	191	4	.	.	PUNCT
ejde-187	192	1	soc	soc	PROPN
ejde-187	192	2	.	.	PUNCT
ejde-187	193	1	83	83	NUM
ejde-187	193	2	(	(	PUNCT
ejde-187	193	3	1981	1981	NUM
ejde-187	193	4	)	)	PUNCT
ejde-187	193	5	,	,	PUNCT
ejde-187	193	6	no	no	INTJ
ejde-187	193	7	.	.	NOUN
ejde-187	193	8	2	2	NUM
ejde-187	193	9	,	,	PUNCT
ejde-187	193	10	pp	pp	ADJ
ejde-187	193	11	.	.	PUNCT
ejde-187	194	1	341	341	NUM
ejde-187	194	2	-	-	SYM
ejde-187	194	3	344	344	NUM
ejde-187	194	4	.	.	PUNCT
ejde-187	195	1	josé	josé	PROPN
ejde-187	195	2	f.	f.	PROPN
ejde-187	195	3	caicedo	caicedo	PROPN
ejde-187	195	4	departamento	departamento	PROPN
ejde-187	195	5	de	de	PROPN
ejde-187	195	6	matemáticas	matemáticas	PROPN
ejde-187	195	7	,	,	PUNCT
ejde-187	195	8	universidad	universidad	PROPN
ejde-187	195	9	nacional	nacional	PROPN
ejde-187	195	10	de	de	X
ejde-187	195	11	colombia	colombia	PROPN
ejde-187	195	12	,	,	PUNCT
ejde-187	195	13	bogotá	bogotá	NOUN
ejde-187	195	14	,	,	PUNCT
ejde-187	195	15	colombia	colombia	PROPN
ejde-187	195	16	alfonso	alfonso	PROPN
ejde-187	195	17	castro	castro	PROPN
ejde-187	195	18	department	department	PROPN
ejde-187	195	19	of	of	ADP
ejde-187	195	20	mathematics	mathematics	PROPN
ejde-187	195	21	,	,	PUNCT
ejde-187	195	22	harvey	harvey	PROPN
ejde-187	195	23	mudd	mudd	PROPN
ejde-187	195	24	college	college	PROPN
ejde-187	195	25	,	,	PUNCT
ejde-187	195	26	claremont	claremont	PROPN
ejde-187	195	27	,	,	PUNCT
ejde-187	195	28	ca	ca	NOUN
ejde-187	195	29	91711	91711	NUM
ejde-187	195	30	,	,	PUNCT
ejde-187	195	31	usa	usa	PROPN
ejde-187	195	32	email	email	NOUN
ejde-187	195	33	address	address	NOUN
ejde-187	195	34	:	:	PUNCT
ejde-187	196	1	castro@hmc.edu	castro@hmc.edu	PROPN
ejde-187	196	2	rodrigo	rodrigo	PROPN
ejde-187	196	3	duque	duque	PROPN
ejde-187	196	4	departamento	departamento	PROPN
ejde-187	196	5	de	de	PROPN
ejde-187	196	6	matemáticas	matemáticas	PROPN
ejde-187	196	7	,	,	PUNCT
ejde-187	196	8	universidad	universidad	PROPN
ejde-187	196	9	nacional	nacional	PROPN
ejde-187	196	10	de	de	X
ejde-187	196	11	colombia	colombia	PROPN
ejde-187	196	12	,	,	PUNCT
ejde-187	196	13	palmira	palmira	PROPN
ejde-187	196	14	,	,	PUNCT
ejde-187	196	15	colombia	colombia	PROPN
ejde-187	196	16	email	email	NOUN
ejde-187	196	17	address	address	NOUN
ejde-187	196	18	:	:	PUNCT
ejde-187	196	19	rduqueba@unal.edu.co	rduqueba@unal.edu.co	PROPN
ejde-187	196	20	arturo	arturo	PROPN
ejde-187	196	21	sanjuan	sanjuan	PROPN
ejde-187	196	22	departamento	departamento	PROPN
ejde-187	196	23	de	de	PROPN
ejde-187	196	24	matemáticas	matemáticas	PROPN
ejde-187	196	25	,	,	PUNCT
ejde-187	196	26	universidad	universidad	PROPN
ejde-187	196	27	distrital	distrital	PROPN
ejde-187	196	28	francisco	francisco	PROPN
ejde-187	196	29	josé	josé	PROPN
ejde-187	196	30	de	de	X
ejde-187	196	31	caldas	caldas	PROPN
ejde-187	196	32	,	,	PUNCT
ejde-187	196	33	bogotá	bogotá	NOUN
ejde-187	196	34	,	,	PUNCT
ejde-187	196	35	colombia	colombia	PROPN
ejde-187	196	36	email	email	NOUN
ejde-187	196	37	address	address	NOUN
ejde-187	196	38	:	:	PUNCT
ejde-187	196	39	aasanjuanc@udistrital.edu.co	aasanjuanc@udistrital.edu.co	PROPN
ejde-187	196	40	1	1	NUM
ejde-187	196	41	.	.	PUNCT
ejde-187	196	42	introduction	introduction	NOUN
ejde-187	196	43	2	2	NUM
ejde-187	196	44	.	.	PUNCT
ejde-187	196	45	preliminaries	preliminary	NOUN
ejde-187	196	46	3	3	NUM
ejde-187	196	47	.	.	PUNCT
ejde-187	196	48	proof	proof	NOUN
ejde-187	196	49	of	of	ADP
ejde-187	196	50	theorem	theorem	NOUN
ejde-187	196	51	?	?	PUNCT
ejde-187	196	52	?	?	PUNCT
ejde-187	197	1	obituary	obituary	PROPN
ejde-187	197	2	references	reference	NOUN