We split u into singular and regular parts as stated in th:SingDecom. We mainly focus on the first edge singular function. More precisely, we decompose
\begin{aligned}
u=u_{\bf v}+v_1+\widetilde{v_1}+u_{E,2}+u_{\rm reg},
\end{aligned}
where
u_{\bf v} is the vertex singular function associated with \bf v,
\displaystyle v_1(\widetilde{r},\theta,z):=\gamma_{E,\mu_1}(z)\widetilde{r}^{\mu_1}\varphi_{E,\mu_1}(\theta),
\displaystyle \widetilde{v_1}=(\mathcal{K}[\gamma_{E,\mu_1}](\widetilde{r},z)-\gamma_{E,\mu_1}(z))\widetilde{r}^{\mu_1}\varphi_{E,\mu_1}(\theta),
u_{E,2} is the remaining edge singular functions with the leading singular exponent \mu_2,
u_{\rm reg} is the regular part.
We also extend the rays \Gamma_\pm to infinity and denote the corresponding faces by F_\pm^\infty. Straightforward computations give
\begin{aligned}
\int_{F_\pm} u_0\partial_\nu u d\sigma = I_{F,1} + I_{F,2,\infty}-I_{F,2,c} + I_{F,3} + I_{F,4} + I_{F,5}.
\end{aligned}
where
\begin{aligned}
&I_{F,1} := \int_{F_{\pm}}u_0\partial_\nu u_{\bf v} d\sigma, & & I_{F,2,\infty} := \int_{F_{\pm}^\infty}u_0\partial_\nu v_1 d\sigma,\\
&I_{F,2,c} := \int_{F_{\pm}^\infty\setminus F_{\pm}}u_0\partial_\nu v_1 d\sigma,& & I_{F,3} := \int_{F_{\pm}}u_0\partial_\nu \widetilde{v_1} d\sigma,\\
&I_{F,4} := \int_{F_{\pm}}u_0\partial_\nu u_{E,2} d\sigma, & & I_{F,5} := \int_{F_{\pm}}u_0\partial_\nu u_{\rm reg} d\sigma.
\end{aligned}
We first focus on the integral I_{F,2,\infty}. Since the variables are separated, we have
\begin{aligned}
&\int_{F^\infty_\pm}u_0\partial_\nu v_1 d\sigma = \int_0^{h_z} \int_0^{+\infty} u_0(r,\pm \frac{a}{2},z)\partial_\nu v_1(r,\pm \frac{a}{2},z) dr dz,\\
&= \int_0^{h_z} \gamma_{E,\mu_1}(z) \delta(z)^{-\mu_1}dz \left( \varphi'_{E,\mu_1}(\frac{a}{2}) \int_0^{+\infty} r^{\mu_1-1} e^{z^+_a r} dr- \varphi'_{E,\mu_1}(-\frac{a}{2}) \int_0^{+\infty} r^{\mu_1-1} e^{z^-_a r} dr \right).
\end{aligned}
By construction of the CGO solution, u_0(r,\pm \frac{a}{2},z) = e^{z^\pm_a r} with z^\pm_a=-\tau e^{\mp i\frac{a}{2}}. To evaluate the integral in r, we use a complex-analysis argument from Proposition 4.4 in [moi5]. Thus,
\begin{aligned}
\int_0^{+\infty} r^{\mu_1-1} e^{z^{\pm}_a r} dr =\Gamma(\mu_1)(\frac{-1}{z^\pm_a})^{\mu_1};
\end{aligned}
Here \Gamma denotes Euler’s Gamma function. Hence,
\begin{aligned}
\left| \varphi'_{E,\mu_1}(\frac{a}{2}) \int_0^{+\infty} r^{\mu_1-1} e^{z^+_a r} dr- \varphi'_{E,\mu_1}(-\frac{a}{2}) \int_0^{+\infty} r^{\mu_1-1} e^{z^-_a r} dr \right| \geq \sin(a\mu_1)\Gamma(\mu_1)\tau^{-\mu_1}.
\end{aligned}
We now estimate the integral with respect to z, \displaystyle \int_0^{h_z} \gamma_{E,\mu_1}(z) \delta(z)^{-\mu_1}dz. We use the assumptions 3.) and 4.) in assumption:singularity and the asymptotic behavior (?) to derive that \displaystyle \gamma_{E,\mu_1}(\rho) \sim a_{E,\mu_1}^{{\bf v},\lambda_k} \rho^{\lambda_k} as \rho \to 0. This asymptotic behavior implies that \gamma_{E,\mu_1}(\rho) keeps the same sign as \rho \rightarrow 0, and we will assume that it is positive without loss of generality. By choosing \varepsilon_*>0, we have,
\begin{aligned}
\frac{\gamma_{E,\mu_1}(\rho)}{\rho^{\lambda_1+\varepsilon_*}} \underset{{\rho}\rightarrow {0}}{\longrightarrow} +\infty.
\end{aligned}
Consequently, there exists a constant C_{\varepsilon_*}>0 such that
\begin{aligned}
\forall 0<\rho<C_{\varepsilon_*},\quad \gamma_{E,\mu_1}(\rho) \geq \rho^{\lambda_1+\varepsilon_*}.
\end{aligned}
We remark that C_{\varepsilon_*} is a local constant, depending on the inclusion D, the edge E, the vertex \bf v, and the parameter \varepsilon_*.
We also remark that the function \delta is equivalent to the distance between the point under consideration and the vertex \bf{v}. Then there exist constants C_\pm>0, which depends only on the geometry and thus considered as an a priori parameter, such that for all z\in (0,h_z),
\begin{aligned}
C_- (\rho+z) \leq &\delta(z)\leq C_+ (\rho+z).
\end{aligned}
We assume hereafter that
\begin{aligned}
\rho+h_z<C_{\varepsilon_*},
\end{aligned}
Hence,
\begin{aligned}
\left|\int_0^{h_z} \gamma_{E,\mu_1}(z) \delta(z)^{-\mu_1} dz \right| \geq \frac{C_+^{-\mu_1}}{\lambda_1+\varepsilon_*-\mu_1+1} \left((\rho+h_z)^{\lambda_1+\varepsilon_*-\mu_1+1}-\rho^{\lambda_1+\varepsilon_*-\mu_1+1}\right).
\end{aligned}
We may choose \varepsilon_* smaller than a certain a priori constant, so that
\begin{aligned}
|I_{F,2,\infty}|=\left| \int_{F_\pm^\infty} u_0 \partial_\nu v_1 d\sigma \right| \gtrsim h_z \rho^{\lambda_1+\varepsilon_*-\mu_1} \tau^{-\mu_1}.
\end{aligned}
Next, we consider the integral I_{F,2,c} on the complementary faces. For s,x >0, we introduce the incomplete Gamma function
\begin{aligned}
\Gamma(s,x)=\int_x^{+\infty} t^{s-1} e^{-t} dt.
\end{aligned}
Using the inequality \displaystyle e^{-t}\leq e^{-t/2}e^{-x/2} for t\geq x, we deduce that
\begin{aligned}
\Gamma(s,x)\leq 2^s \Gamma(x) e^{-x/2}.
\end{aligned}
Then, by a simple change of variables, we obtain
\begin{aligned}
\left|\int_h^{+\infty} r^{\mu_1-1} e^{z_a^\pm r} dr \right|& \leq \int_h^{+\infty} r^{\mu_1-1} e^{-\tau \widetilde{a} r} dr\leq (\tau \widetilde{a})^{-\mu_1} \Gamma(\mu_1, \tau \widetilde{a} h)\\
&\leq (\tau \widetilde{a})^{-\mu_1} 2^{\mu_1} \Gamma(\mu_1) e^{-\frac{\tau \widetilde{a} h}{2}}.
\end{aligned}
Applying the estimates of singular coefficients (?), we deduce that
\begin{aligned}
\left|\int_0^{h_z} \gamma_{E,\mu_1}\delta(z)^{-\mu_1}dz \right|&\leq C_+^{-\mu_1}\|\gamma_{E,\mu_1}\|_{L^2(E)} \frac{(\rho+h_z)^{1-\mu_1}-\rho^{1-\mu_1}}{1-\mu_1}\\
&\leq C_+^{-\mu_1}C\|u\|_{H^1(\Omega)}\frac{(\rho+h_z)^{1-\mu_1}}{1-\mu_1}.
\end{aligned}
Consequently,
\begin{aligned}
|I_{F,2,c}|&\leq 2\mu_1 (\tau \widetilde{a})^{-\mu_1} 2^{\mu_1} \Gamma(\mu_1) e^{-\frac{\tau \widetilde{a} h}{2}} C_+^{-\mu_1}C\|u\|_{H^1(\Omega)}\frac{(\rho+h_z)^{1-\mu_1}}{1-\mu_1}\\
&\lesssim \tau^{-\mu_1}(\rho+h_z)^{1-\mu_1}e^{-\frac{\tau \widetilde{a} h}{2}}.
\end{aligned}
Applying lemma:K-gamma and the estimates of singular coefficients (?), we obtain
\begin{aligned}
|I_{F,3}|&\leq \int_0^{h_z}\int_0^h |\mathcal{K}[\gamma_{E,\mu_1}](r,z)-\gamma_{E,\mu_1}(z)| r^{\mu_1-1} e^{-\tau \widetilde{a} r} dr dz \\
& \leq C'_{\phi,\mu_1} \|\gamma_{E,\mu_1}\|_{V_{-s}^{s-\mu_1}(E)}\rho^{-(s-\mu_1-1/2)} \int_0^{h_z}\int_0^h r^{s-\mu_1-1/2+\mu_1-1} e^{-\tau \widetilde{a} r} dr dz \\
&\lesssim h_z \rho^{-(s-\mu_1-1/2)} \int_0^{+\infty} r^{s-3/2} e^{-\tau\widetilde{a} r} dr \\
& \lesssim h_z \rho^{-(s-\mu_1-1/2)} (\tau\widetilde{a})^{-(s-1/2)}\Gamma(s-1/2)\lesssim h_z \rho^{-(s-\mu_1-1/2)} \tau^{-(s-1/2)}.
\end{aligned}
The estimates of I_{F,1}, I_{F,4}, and I_{F,5} are relatively straightforward. Consider a point x=(r,\pm a/2, z)\in F_\pm.
It readily follows from the vertex singular functions and the estimates of singular coefficients that
\begin{aligned}
|\nabla u_{\bf v}(x)| & \lesssim \rho^{\lambda_1-1}.
\end{aligned}
We remark that \lambda_1>1.
For the remaining edge singular functions, we apply lemma:esti-grad-edge and (?) to obtain
\begin{aligned}
|\nabla u_{E,2}(x)| & \lesssim \frac{r^{\widetilde{\mu_2}-1}}{\rho^{\widetilde{\mu_2}}},
\end{aligned}
where \widetilde{\mu_2}=\mu_2 if s-\mu_2\geq 1/2 and \widetilde{\mu_2}=s-1/2 if s-\mu_2< 1/2.
Combining the Sobolev embedding H^{3/2}\hookrightarrow L^\infty in 2.4^3 with (?), we deduce that
\begin{aligned}
\|\nabla u_{\rm reg}\|_{L^\infty(\Omega)} \leq C \|u_{\rm reg}\|_{H^{5/2}(\Omega)} \lesssim 1.
\end{aligned}
Substituting these estimates into the integrals, we obtain
\begin{aligned}
|I_{F,1}| &\lesssim \rho^{\lambda_1-1} \int_0^{h_z}\int_0^h e^{-\tau\widetilde{a} r} dr dz \lesssim \rho^{\lambda_1-1}h_z \frac{1-e^{-\tau\widetilde{a} h}}{\tau \widetilde{a}} \lesssim \rho^{\lambda_1-1}h_z \tau^{-1} ,\\
|I_{F,4}| &\lesssim \rho^{-\widetilde{\mu_2}} \int_0^{h_z}\int_0^h r^{\widetilde{\mu_2}-1} e^{-\tau\widetilde{a} r} dr dz\lesssim \rho^{-\widetilde{\mu_2}} h_z \int_0^{+\infty} r^{\widetilde{\mu_2}-1} e^{-\tau\widetilde{a} r} dr \\
&\lesssim \rho^{-\widetilde{\mu_2}}h_z (\tau\widetilde{a})^{-\widetilde{\mu_2}}\Gamma(\widetilde{\mu_2})\lesssim \rho^{-\widetilde{\mu_2}}h_z \tau^{-\widetilde{\mu_2}},\\
|I_{F,5}| &\lesssim h_z \frac{1-e^{-\tau\widetilde{a} h}}{\tau \widetilde{a}} \lesssim h_z \tau^{-1}.
\end{aligned}
The claim follows by collecting the estimates (?), (?), (?), (?), (?) and (?).