6380121ee5892ea1.tex
1: \begin{definition}[Partition of $J_T$]\label{Def:partition_[0,T]}
2: 	Let $\overline{z}$ be as in Theorem~\ref{Thm:conv_minimizers_reg_to_min_original}.
3: 	We split $\overline{J_T}$ into
4: 	$
5: 	I_0:=\{t\in \overline{J_T}: \overline{z}(t)\in (a,b)\}
6: 	$
7: 	and
8: 	$
9: 	I_\partial := \overline{J_T}\backslash I_0 = \{t \in \overline{J_T}: \overline{z}(t) \in\{a,b\}\}.
10: 	$ 
11: 	We further introduce
12: 	$
13: 	I_\partial^a := \{t \in \overline{J_T}: \overline{z}(t)=a \}
14: 	$
15: 	and
16: 	$
17: 	I_\partial^b := \{t \in \overline{J_T}: \overline{z}(t)=b\}.
18: 	$
19: \end{definition}
20: