By compactness we prove that the corresponding inequality holds in a neighborhood of any point \bar x\in\partial\Omega and without loss of generality we may assume that \bar
x=0. For a given 0<\eta\le \delta, we define
Q_\eta=\{z=(z_1,z')\in\mathbb{R}\times\mathbb{R}^{N-1}, |z_1|<\eta,|z'|<\eta\}
and Q_\eta^+=\{z\in
Q_\eta,z_1>0\}. Let \varphi:\mathbb{R}^{N-1}\to\mathbb{R} be a C^2 function such that (z_1, z')\in \Omega\cap Q_\eta if and only if z_1\in (\varphi(z'),\eta) and moreover, (\varphi(z'),z')\in\partial\Omega for all |z'|<\eta. We further assume that (-1,0,\cdot\cdot\cdot,0) is the outer normal vector of \Omega at \bar x.
In the proof of our inequalities, we let x=(x_1,0), with x_1\in(0,\eta/4), be then a generic point in A_{\eta/4}. We observe that |x-\bar
x|=d(x)=x_1. By definition we have
\begin{aligned}
-(-\Delta)^\alpha V_\tau(x)=\frac12 \int_{Q_{
\eta}}\frac{\delta(V_\tau,x,y)}{|y|^{N+2\alpha}}dy+\frac12 \int_{\mathbb{R}^N\setminus
Q_{ \eta}}\frac{\delta(V_\tau,x,y)}{|y|^{N+2\alpha}}dy
\end{aligned}
and we see that
|\int_{\mathbb{R}^N\setminus
Q_{ \eta}}\frac{\delta(V_\tau,x,y)}{|y|^{N+2\alpha}}dy|
\le c|x|^\tau,
where the constant c is independent of x. Thus we only need to study the asymptotic behavior of the first integral, that from now on we denote by E(x_1).
Our first goal is to get a lower bound for E(x_1). For that purpose we first notice that, since \tau\in(-1,0), we have that
d(z)^\tau\ge |z_1-\varphi(z')|^\tau,\quad\mbox{for all}\quad z\in Q_\delta\cap\Omega.
Now we assume that 0<\eta\le \delta/2, then for all y\in Q_{\eta} we have x\pm y\in Q_\delta. Thus x\pm y\in \Omega\cap Q_\delta if and only if \varphi(\pm y')<x_1\pm y_1<\delta and |y'|<\delta. Then, by (?), we have that
\begin{aligned}
\quad V_\tau(x+ y)= d(x+ y)^\tau\ge[x_1+ y_1-\varphi(y')]^\tau,\quad x+y\in Q_{\delta}\cap\Omega
\end{aligned}
and
\begin{aligned}
\quad V_\tau(x- y)=d(x- y)^\tau\ge[x_1- y_1-\varphi( -y')]^\tau, \quad x-y\in Q_{\delta}\cap\Omega.
\end{aligned}
On the other side, for y\in Q_{\eta} we have that if x\pm y\in Q_\delta\cap\Omega^c then, by definition of V_\tau, we have V_\tau(x\pm y)=0. Now, for y\in Q_\eta we define the intervals
I_+=(\varphi( y')-x_1,\eta-x_1)\quad\mbox{and} \quad I_-=(x_1-\eta,x_1-\varphi(
-y'))
and the functions
\begin{aligned}
I(y)&=\chi_{I_+}(y_1)|x_1+y_1-\varphi(y')|^{\tau}+\chi_{I_-}(y_1)|x_1-y_1-\varphi(-y')|^{\tau}-2x_1^\tau,~~~~~\\
J(y_1)&=\chi_{(x_1-\eta,x_1)}(y_1)|x_1-y_1|^{\tau}+\chi_{(-x_1,\eta-x_1)}(y_1)|x_1+y_1|^{\tau}-2x_1^\tau, \\
I_1(y)&=\{ \chi_{I_+}(y_1) -\chi_{(-x_1,\eta-x_1)}(y_1)\} |x_1+y_1|^\tau,
\\
I_2(y)&=
\chi_{I_+}(y_1) (|x_1+y_1-\varphi(y')|^\tau -
|x_1+y_1|^\tau\}),
\end{aligned}
where \chi_A denotes the characteristic function of the set A. Then, using these definitions and inequalities (?) and (?), we have that
\begin{aligned}
\quad E(x_1)\ge \int_{Q_{\eta}} \frac{I(y)}{|y|^{N+2\alpha}}dy=\int_{Q_{\eta}} \frac{J(y_1)}{|y|^{N+2\alpha}}dy+E_1(x_1)+E_2(x_1),
\end{aligned}
where
E_i(x_1)=\int_{Q_{\eta}} \frac{I_i(y)+I_{-i}(y)}{|y|^{N+2\alpha}}dy,\quad i=1,2.
Here we have considered that
I_{-1}(y)=\{ \chi_{I_-}(y_1) -\chi_{(x_1-\eta,x_1)}(y_1)\} |x_1-y_1|^\tau
and
I_{-2}(y)=
\chi_{I_-}(y_1) (|x_1-y_1-\varphi(-y')|^\tau -
|x_1-y_1|^\tau\}),
for y=(y_1,y')\in\mathbb{R}^N. We start studying the first integral in the right hand side in (?). Changing variables we see that
\int_{Q_{\eta}}\frac{J(y_1)}{|y|^{N+2\alpha}}dy
=x_1^{\tau-2\alpha}\int_{Q_{\frac{\eta}{x_1}}} \frac{J(x_1z_1)x_1^{-\tau}}{|z|^{N+2\alpha}}dz= 2x_1^{\tau-2\alpha}(R_1-R_2),
where
R_1=\int_{Q_{\frac{\eta}{x_1}}^+}\frac{\chi_{(0,1)}(z_1)|1-z_1|^{\tau}
+(1+z_1)^{\tau}-2}{|z|^{N+2\alpha}}dz
and
R_2=\int_{Q_{\frac{\eta}{x_1}}^+}
\frac{\chi_{(\frac{\eta}{x_1}-1,\frac{\eta}{x_1})}(z_1)(1+z_1)^{\tau}}{|z|^{N+2\alpha}}dz.
Next we estimate these last two integrals. For R_1 we see that, for appropriate positive constants c_1 and c_2
\begin{aligned}
&&\int_{\mathbb{R}^N_+}\frac{\chi_{(0,1)}(z_1)|1-z_1|^{\tau}+(1+z_1)^{\tau}-2}{|z|^{N+2\alpha}}dz\\
&=\int_0^{+\infty}\frac{\chi_{(0,1)}(z_1)|1-z_1|^{\tau}+(1+z_1)^{\tau}-2}{z_1^{1+2\alpha}}dz_1
\int_{\mathbb{R}^{N-1}}\frac{1}{(|z'|^2+1)^{\frac{N+2\alpha}{2}}}dz'
\\
&=c_1\,C(\tau)
\end{aligned}
and
\begin{aligned}
\int_{(Q_{\frac{\eta}{x_1}}^+)^c}\frac{\chi_{(0,1)}(z_1)|1-z_1|^{\tau}
+(1+z_1)^{\tau}-2}{|z|^{N+2\alpha}}dz =-c_2\,x_1^{2\alpha}(1+ o(1)).
\end{aligned}
Consequently we have, for some constant c that
\begin{aligned}
R_1=c_1(C(\tau)+cx_1^{2\alpha}+ o(x_1^{2\alpha})).
\end{aligned}
For R_2 we have that
\begin{aligned} \quad R_2
&=\int_{\frac{\eta}{x_1}-1}^{\frac{\eta}{x_1}}\frac{(1+z_1)^{\tau}}{z_1^{1+2\alpha}}
\int_{B_{\frac{\eta}{x_1}}}\frac1{(1+|z'|^2)^{\frac{N+2\alpha}2}}dz'dz_1\le
c_3x_1^{2\alpha-\tau+1},
\end{aligned}
where c_3>0. Here and in what follows we denote by B_\sigma the ball of radius \sigma in \mathbb{R}^{N-1}. From (?) and (?) we then conclude that
\begin{aligned}
\int_{Q_{\eta}}\frac{J(y_1)}{|y|^{N+2\alpha}}dy=c_1x_1^{\tau-2\alpha}(C(\tau)+cx_1^{2\alpha}+ o(x_1^{2\alpha})).
\end{aligned}
Continuing with our analysis we estimate E_1(x_1). We only consider the
term I_1(y), since the estimate for I_1(-y) is similar. We have
\begin{aligned}
\int_{Q_{\eta}} \frac{I_1(y)}{|y|^{N+2\alpha}}dy
=
-\int_{B_\eta}\int^{\varphi(y')-x_1}_{-x_1}\frac{|x_1+y_1|^\tau}{|y|^{N+2\alpha}}dy_1dy'
= -x_1^{\tau-2\alpha}F_1(x_1),
\end{aligned}
where
\begin{aligned}
F_1(x_1)= \int_{B_\frac{\eta}{x_1}}\int^{\frac{\varphi(x_1z')}{x_1}}_{0}
\frac{|z_1|^\tau}{((z_1-1)^2+|z'|^2)^{(N+2\alpha)/2}}dz_1dz'.
\end{aligned}
In what follows we write \varphi_-(y')=\min\{\varphi(y'),0\} and \varphi_+(y')=\varphi(y')-\varphi_-(y'). Next we see that assuming that 0\le \varphi_+(y')\le C|y'|^2 for |y'|\le \eta, for given (z_1,z') satisfying 0\le z_1\le \frac{\varphi_+(x_1 z')}{x_1} and |z'|\le\frac{\eta}{x_1} then
\begin{aligned}
(1-z_1)^2+|z'|^2\ge \frac{1}{4}(1+|z'|^2),
\end{aligned}
if we assume \eta small enough. Thus
\begin{aligned}
F_1(x_1)&\le&C \int_{B_\frac{\eta}{x_1}}\int^{\frac{\varphi_+(x_1z')}{x_1}}_{0}
\frac{|z_1|^\tau}{(1+|z'|^2)^{(N+2\alpha)/2}}dz_1dz'\\
&\le& Cx_1^{\tau+1} \int_{B_\frac{\eta}{x_1}} \frac{|z'|^{2(\tau+1)}}{(1+|z'|^2)^{(N+2\alpha)/2}}dz' \\
&\le &Cx_1^{\tau+1}(x_1^{-2\tau+2\alpha-1}+1)\le Cx_1^{\min\{\tau+1,2\alpha-\tau\}}.
\end{aligned}
Thus we have obtained
E_1(x_1)\ge -Cx_1^{\tau-2\alpha}x_1^{\min\{\tau+1,2\alpha-\tau\}}.
We continue with the estimate of E_2(x_1). As before we
only consider the term I_2(y),
\begin{aligned}
\int_{Q_{\eta}} \frac{I_2(y)}{|y|^{N+2\alpha}}dy&=\int_{B_\eta}\int_{\varphi(y')-x_1}^{\eta-x_1}\frac{|x_1+y_1-\varphi(y')|^{\tau}-|x_1+y_1|^{\tau}}
{(y_1^2+|y'|^2)^{\frac{N+2\alpha}2}}dy_1dy' \\
&\ge&\int_{B_\eta}\int_{\varphi_-(y')-x_1}^{\eta-x_1}\frac{|x_1+y_1-\varphi_-(y')|^{\tau}-|x_1+y_1|^{\tau}}
{(y_1^2+|y'|^2)^{\frac{N+2\alpha}2}}dy_1dy' \\
&=\int_{B_\eta}\int_{\varphi_-(y')}^{\eta}\frac{|z_1-\varphi_-(y')|^{\tau}-|z_1|^{\tau}}
{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2}}dz_1dy' \\
&\ge&\int_{B_\eta}\int_{0}^{\eta}\frac{|z_1-\varphi_-(y')|^{\tau}-|z_1|^{\tau}}
{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2}}dz_1dy' \\
& &+ \int_{B_\eta}\int_{\varphi_-(y')}^{0}\frac{-|z_1|^{\tau}}
{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2}}dz_1dy'\\ &=
E_{21}(x_1)+E_{22}(x_1).
\end{aligned}
We observe that E_{22}(x_1) is similar to F_1(x_1). In order to estimate E_{21}(x_1) we use integration by parts
\begin{aligned}
E_{21}(x_1)&=
\frac1{\tau+1}\int_{B_\eta} \left\{\frac{(\eta-\varphi_-(y'))^{\tau+1}-\eta^{\tau+1}}
{((\eta-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2}} -\frac{(-\varphi_-(y'))^{\tau +1}}{(x_1^2+|y'|^2)^{\frac{N+2\alpha}{2}}} \right\} dy'\\
&+&
\frac{N+2\alpha}{\tau+1}\int_{B_\eta}\int_{0}^{\eta}\frac{(z_1-\varphi_-(y'))^{\tau+1}-(z_1)^{\tau+1} }
{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2+1}}(z_1-x_1)dz_1dy'\\
&= A_1+A_2.
\end{aligned}
For the first integral we have
\begin{aligned}
A_1&\ge&
\frac1{\tau+1}\int_{B_\eta} \left\{\frac{-\eta^{\tau+1}}
{((\eta-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2}} -\frac{(-\varphi_-(y'))^{\tau +1}}{(x_1^2+|y'|^2)^{\frac{N+2\alpha}{2}}} \right\} dy'
\\
&\ge &
-C(\eta)-C\int_{B_\eta}\frac{|y'|^{2\tau+2}}{(x_1^{2}+|y'|^2)^{\frac{N+2\alpha}2}}dy'
\ge -Cx_1^{\tau-2\alpha+\tau+1} -C.
\end{aligned}
For the second integral, since \tau\in(-1,0) and (z_1-\varphi_-(y'))^{\tau+1} -|z_1|^{\tau+1}>0, we have that
\begin{aligned}
A_2&\ge&\frac{N+2\alpha}{\tau+1}\int_{B_\eta}\int^{x_1}_0\frac{(z_1-\varphi_-(y'))^{\tau+1}
-|z_1|^{\tau+1}}{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2+1}}(z_1-x_1)dz_1dy'
\\[4mm]&\ge&\frac{N+2\alpha}{(\tau+1)^2}\int_{B_\eta}\int^{x_1}_0\frac{-\varphi_-(y')z_1^\tau}{((z_1-x_1)^2+|y'|^2)^{\frac{N+2\alpha}2+1}}(z_1-x_1)dz_1dy'
\\[4mm]&\ge&C_3x_1^{2\tau-2\alpha+1}\int_{B_{\eta/x_1}}\int^{1}_0\frac{|z'|^2z_1^\tau}{((z_1-1)^2+|z'|^2)^{\frac{N+2\alpha}2+1}}(z_1-1)dz_1dz'
\\[4mm]&\ge&-C_4x_1^{2\tau-2\alpha+1},
\end{aligned}
where C_3,C_4>0 independent of x_1 and the second inequality used a=z_1 and b=-\varphi_-(y') in the fact that (a+b)^{\tau+1}-a^{\tau+1}\le\frac{a^\tau b}{\tau+1} for a>0,b\ge0.
Thus, we have obtained
E_2(x_1)\ge -Cx_1^{\tau-2\alpha}x_1^{\min\{\tau+1,2\alpha-\tau\}}.
The next step is to obtain the other inequality for E(x_1). By choosing \delta smaller if necessary, we can prove that
Lema. Under the regularity conditions on the boundary and with the arrangements given at the beginning of the proof, there is \eta>0 and C>0 such that
d(z)\ge (z_1-\varphi(z'))(1-C|z'|^2)\quad \mbox{for all } (z_1,z')\in \Omega\cap Q_\eta.