\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2013 (2013), No. 199, pp. 1--7.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu}
\thanks{\copyright 2013 Texas State University - San Marcos.}
\vspace{9mm}}

\begin{document}
\title[\hfilneg EJDE-2013/199\hfil Solvability of second-order BVPs]
{Solvability of second-order boundary-value problems
on non-smooth cylindrical domains}

\author[B. Chaouchi \hfil EJDE-2013/199\hfilneg]
{Belkacem Chaouchi}  % in alphabetical order

\address{Belkacem Chaouchi \newline
Lab. de l'Energie et des Syst\`{e}mes,
Intelligents Khemis Miliana University, Algeria}
\email{chaouchicukm@gmail.com}

\thanks{Submitted May 2, 2013. Published September 11, 2013.}
\subjclass[2000]{35L05, 46E35, 47A62}
\keywords{Little H\"older space; sum of linear operators; cusp domain}

\begin{abstract}
 In this note, we present an abstract approach for the study of a
 second-order boundary-value problem on cusp domain.
 This study is performed in the framework of anisotropic
 little H\"{o}lder spaces. Our strategy is to use of the
 commutative version of the well known sums of operators theory.
 This technique allows us to obtain the space regularity of
 the unique strict solution for our problem.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\allowdisplaybreaks

\section{Introduction}

Let $\Omega \subset \mathbb{R}^3$ a cusp domain defined by
\[
\Omega =\big\{ ( x_1,x_2,x_3) \in \mathbb{R}^3:
0<x_3<d_{0},\,( \frac{x_1}{( x_3) ^{\alpha }},
\frac{x_2}{( x_3) ^{\alpha }}) \in \Omega
_{0}\big\} ,
\]
where $\Omega _{0}\subset \mathbb{R}^{2}$ is a smooth domain
of class $C^{\infty }$, $\alpha >1$ and $d_{0}>0$.
This article concerns the solvability of the
boundary-value problem of the second-order differential equation
\begin{equation}
\partial _{t}^{2}u( t,x) +\Delta u( t,x) -\lambda
u( t,x) =h( t,x) , \quad ( t,x) \in \Pi
=] 0,1[ \times \Omega ,
\label{PROBLEMEDEDEPART}
\end{equation}
subject to the following boundary value conditions
\begin{equation}
\begin{gathered}
a( x) u( 0,x) -b( x) \partial_{t}u(0,x) =0 \quad x\in \Omega , \\
u( 1,x) =0 \quad x\in \Omega , \\
u( t,x) =0 \quad ( t,x) \in ] 0,1[ \times \partial \Omega .
\end{gathered}
\label{conditions}
\end{equation}
Here, $x=( x_1,x_2,x_3) $ represents a generic
point of $ \mathbb{R} ^3$ and $\lambda $ is a fixed positive
spectral parameter.

The main assumptions on the functions $a$ and $b$ are
\[
a,b>0, \quad  a,b\in C^1( \overline{\Omega }) .
\]
We are especially interested with the case when the right hand side
of  \eqref{PROBLEMEDEDEPART} is taken in the anisotropic little
H\"{o}lder space
\[
h^{2\nu ,2\sigma }( \overline{\Pi }) =h^{2\nu }([0,1]
;h^{2\sigma }(\overline{\Omega })),\quad \nu ,\sigma \in ] 0,1/2[ ,
\]
more details about these spaces are given in Section 2.
We assume also that the right hand side $h$ satisfies the
condition
\begin{equation}
h=0 \quad \text{on }\partial \Pi . \label{conditionseconmembre}
\end{equation}
Note that in our situation, the classical arguments such as the
variational method does not apply. Consequently, we opt for the use
of the technique of the sum of linear operators. Fore more details
about this technique, we refer the reader to
\cite{DAP,dore,LT0,LT1,LT2}.
In the literature, we find several regularity results
concerning elliptic and parabolic problems which have been obtained
via this technique, see \cite{bel,LTB,LTG,LTM}.
In this paper, we will use the commutative version
developed in \cite{DAP}. Our main result on the
existence, uniqueness and regularity of the strict solution of
\eqref{PROBLEMEDEDEPART}-\eqref{conditions} is stated in the following
theorem.

\begin{theorem}\label{resultaprincipal}
Let $h\in h^{2\nu ,2\sigma }( \overline{\Pi }) $ with
$\nu ,\sigma \in ] 0,1/2[ $, satisfying
Assumption \eqref{conditionseconmembre}. Then, under conditions
\eqref{conditions}, Problem \eqref{PROBLEMEDEDEPART} has a unique
strict solution $u$ such that
\[
( x_3) ^{4\sigma \alpha +2\alpha }\partial _{t}^{2}u\text{ and }
( x_3) ^{4\sigma \alpha }( \Delta -\lambda )
u\in h^{2\nu ,2\sigma }( \overline{\Pi }) .
\]
\end{theorem}

This article is organized as follows:
In section 2, we introduce the necessary notation and some definitions
related to the functional framework of anisotropic little H\"{o}lder spaces.
In section 3, we recall the main results of the sum's operators theory.
In section 4, using a suitable change of variables our concrete
problem is transformed into a new one posed in a cylindrical domain.
Next, thanks to the sums technique, we will give a complete study
of our transformed problem  which allows us to justify our main
result.

\section{Little H\"{o}lder spaces}

We briefly recall the definition of the anisotropic little
H\"{o}lder spaces. We will denote by
$C^{2\sigma}_{b}(\overline{\Omega })$ the space of the bounded and
$2\sigma$-H\"{o}lder continuous functions defined on
$\overline{\Omega }$. The little H\"{o}lder space
$h^{2\sigma}( \overline{\Omega }) $ is defined by
\[
h^{2\sigma }( \overline{\Omega }) =\Big\{ f\in
C^{2\sigma}_{b}(\overline{ \Omega }):\lim _{\varepsilon
\to 0^{+}}\sup _{x'\neq x}\frac{|
f(x')-f(x)| }{\| x'-x\| ^{2\sigma }}=0\Big\} ,
\]
endowed with the norm
\[
\| u\| _{h^{2\sigma }( \overline{\Omega
}) }=\max _{x\in \overline{\Omega }}| f(
x) | +\sup _{x'\neq x}\frac{| f(x')-f(x)| }{\| x'-x\| ^{2\sigma }}.
\]
The anisotropic little H\"{o}lder space
$h^{2\nu ,2\sigma }(\overline{ \Pi }) $ is defined by
\[
h^{2\nu ,2\sigma }( \overline{\Pi })
=\big\{ f\in C^{2\sigma}([ 0,1 ] ;h^{2\sigma }(\overline{\Omega })):
\lim _{\varepsilon \to 0^{+}}\sup_{0<| t-t'| \leq \varepsilon
}\frac{\| f(t)-f(t')\| _{h^{2\sigma}( \overline{\Omega }) }}{| t-t'| ^{2\nu }}
=0\big\} .
\]
We endow $h^{2\nu ,2\sigma }( \overline{\Pi }) $ with the
norm
\[
\| u\| _{h^{2\nu ,2\sigma }( \overline{\Pi}) }
=\max _{t\in [ 0,1] }\| u(t) \| _{h^{2\sigma }(\overline{\Omega })}
+\sup _{t'\neq t} \frac{\| u( t') -u( t)\| _{h^{2\sigma }
(\overline{\Omega })}}{|t'-t| ^{2\nu }},
\]
more details about little H\"{o}lder spaces are given in
\cite{lun,sin}.

\begin{remark} \label{rmk2.1} \rm
It is necessary to note that any function of
$h^{2\nu,2\sigma }( \Pi ) $, can be extended to a function of
$h^{2\nu ,2\sigma }( \overline{\Pi }) $.
This is why we shall write in the sequel
$h^{2\nu ,2\sigma }( \Pi) $ or
$h^{2\nu ,2\sigma }( \overline{\Pi})$.
\end{remark}

\section{On the sum of linear operators}

Let $E$ a complex Banach space and $A$, $B$ two closed linear
operators with domains $D(A)$, $D(B)$. Let $L$ be the operator
defined by
\begin{equation}
\begin{gathered}
Lu=Bu+Au, \\
u\in D(L)=D(A)\cap D(B).
\end{gathered}\label{sumsoperator}
\end{equation}
where $A$ and $B$ satisfy the assumptions
\begin{itemize}
\item[(H1)]
\begin{itemize}
\item[(i)] $\rho (A)\supset \Sigma_A=\{ \mu :| \mu
| \geq r, | \operatorname{Arg}(\mu )| <\pi-\epsilon
_{A}\}$,
\[
\| (A-\mu I) ^{-1}\| _{L(E)}\leq C_{A}/| \mu |,\quad
\forall \mu \in \Sigma_A;
\]

\item[(ii)] $\rho (B)\supset \Sigma_B=\{ \mu :| \mu
| \geq r, | \operatorname{Arg}(\mu )| <\pi-\epsilon_{B}\}$, 
\[
\| (B-\mu I) ^{-1}\| _{L(E)}\leq C_{B}/| \mu|, \quad
\forall \mu \in \Sigma_B;
\] 

\item[(iii)] $\epsilon _{A}+\epsilon _{B}<\pi$;

\item[(iv)] $\overline{D(A)+D(B)}=E$.
\end{itemize}

\item[(H2)]  for all $\mu _1\in \rho (A)$ and all $\mu _2\in \rho (B)$, 
\[
( A-\mu _1I) ^{-1}( B-\mu _2I)^{-1}-( B-\mu_2I) ^{-1}( A-\mu _1I) ^{-1} 
=[ ( A-\mu _1I) ^{-1}\text{; }( B-\mu_2I)^{-1}] =0,
\]
where $\rho (A)$ and $\rho (B)$ are the resolvent sets of $A$ and $B$.
\end{itemize}

The main result proved in \cite{DAP} reads as follows:

\begin{theorem}\label{RegulariteMaximale1}
Let $\varrho \in ] 0,1[$. Assume {\rm (H1), (H2)} hold
 and $f\in D_{A}( \varrho ) $. Then, the
problem
\[
Au+Bu=f,
\]
has a unique strict solution
$u\in D(A)\cap D(B)$,
given by
\[
u=-\frac{1}{2i\pi }\int_{\Gamma }( B+\mu ) ^{-1}(A-\mu ) ^{-1}f\,d\mu ,
\]
where $\Gamma $ is a sectorial curve lying in 
$(\Sigma_A) \cap ( \Sigma_{-B}) $ oriented from $\infty e^{+i\theta _{0}}$ to 
$\infty e^{-i\theta _{0}}$ with 
$\epsilon _{B}<\theta _{0}<\pi-\epsilon _{A}$. Moreover, 
$Au,Bu\in D_{A}( \varrho )$.
\end{theorem}

\begin{remark} \label{rmk3.2} \rm
The interpolation spaces $D_{A}(\rho )$, with $\varrho \in ]0,1[ $, 
are defined as follows
\[
D_{A}(\rho )=\{ \xi \in E:\lim _{r\to 0^{+}}
\| r^{\rho }A(A-rI)^{-1}\xi \| _{E}=0\};
\]
for more details, see \cite{lun,sin}.
\end{remark}

\section{Applications of the sums theory}

\subsection{Change of variables}

As in \cite{bel}, consider the  change of variables
$T:  \Pi \to Q$,
\[
( t,x_1,x_2,x_3) \mapsto ( t,\xi _1,\xi _2,\xi _3) 
=( t,\frac{x_1}{( x_3) ^{\alpha }},\frac{
x_2}{( x_3) ^{\alpha }},\frac{1}{\alpha -1}(
x_3) ^{1-\alpha }) ,
\]
where
\[
Q=] 0,1[ \times D,\quad 
D=\Omega _{0}\times ] d_1,+\infty [,\quad
d_1=\frac{1}{\alpha -1}(d_{0}) ^{1-\alpha }>0,
\]
Let us introduce the following change of functions
\begin{gather*}
v( t,\xi ) =u( t,x),  \quad
g( t,\xi ) =h( t,x),  \\
\widetilde{a}( \xi ) =a( x) ,\quad 
\widetilde{b}( \xi ) =b( x) .
\end{gather*}
Consequently, our  problem \eqref{PROBLEMEDEDEPART} becomes
\begin{equation}
\begin{gathered}
\phi ( \xi _3) \partial _{t}^{2}v( t,\xi )
+[ P-\lambda \phi ( \xi _3) ] v( t,\xi) 
=f(t,\xi ) , \quad ( t,\xi ) \in Q, \\
\widetilde{a}( \xi ) v( 0,\xi )
-\widetilde{b}(\xi ) \partial _{t}v( 0,\xi ) =0, \quad \xi \in D, \\
v( 1,\xi ) =0, \quad \xi \in D, \\
v( .,\xi ) =0, \quad \xi \in \partial D,
\end{gathered}
\label{problemetransforme}
\end{equation}
with
\[
\xi =( \xi _1,\xi _2,\xi _3) , \quad
f( t,\xi ) =\phi ( \xi _3) g( t,\xi) ,\quad
\phi ( \xi _3) =( \xi _3) ^{\frac{2\alpha }{1-\alpha }}.
\]
Here $P$ is the second order differential operator with 
$C^{\infty }$-bounded coefficients on $\overline{Q}$ given by
\begin{equation} \label{operateurP}
\begin{aligned}
Pv( t,\xi )
&=( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}(
\partial _{\xi _1}^{2}v+\partial _{\xi _2}^{2}v+\partial _{\xi
_3}^{2}v)
 \\
&\quad+( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}
\big\{ ( \frac{
\alpha }{\alpha -1}) ^{2}\big\{ ( \frac{\xi _1}{\xi _3}
) ^{2}\partial _{\xi _1}^{2}v+( \frac{\xi _2}{\xi _3}
) ^{2}\partial _{\xi _2}^{2}v\big\} \big\}
 \\
&\quad +( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}\big\{
2( \frac{\alpha }{\alpha -1}) ^{2}\frac{\xi _1\xi
_2}{( \xi _3) ^{2}}\partial _{\xi _1\xi
_2}^{2}v\big\}
 \\
&\quad +( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}\big\{ \frac{
2\alpha }{\alpha -1}\big\{ \frac{\xi _1}{\xi _3}\partial _{\xi_1\xi_3}^{2}v
+\frac{\xi _1}{\xi _3}\partial _{\xi _1\xi _3}^{2}v+\frac{
\xi _2}{\xi _3}\partial _{\xi _2\xi _3}^{2}v\big\} \big\}
 \\
&\quad +( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}\big\{\frac{\alpha
( \alpha +1) }{( \alpha -1) ^{2}}\big\{ \frac{\xi _1}{( \xi _3) ^{2}}
\partial _{\xi _1}v+\frac{\xi_2}{(
\xi _3) ^{2}}\partial _{\xi _2}v\big\} \big\}
\\
&\quad+( \alpha -1) ^{\frac{2\alpha }{\alpha -1}}\big\{
\frac{\alpha }{\alpha -1}\frac{1}{\xi _3}\partial _{\xi
_3}v\big\} .
\end{aligned}
\end{equation}

\begin{remark} \label{rmk4.1} \rm
Observe that the functions $\widetilde{a}$ and $\widetilde{b}$ are
necessarily bounded on $\overline{Q}$. In fact, one has
\begin{align*}
| \widetilde{a}( \xi _1,\xi _2,\xi _3)| 
&=| a( ( ( \alpha -1) \xi _3) ^{\frac{\alpha }{1-\alpha }}\xi _1,( (
\alpha -1) \xi _3) ^{\frac{\alpha }{1-\alpha }}\xi
_2,( ( \alpha-1) \xi _3) ^{\frac{1}{1-\alpha }}) |
 \\
&\leq C\underset{( x_1,x_2,x_3) \in \overline{\Omega }
}{\max }| a( x_1,x_2,x_3) | \,.
\end{align*}
\end{remark}

The following lemma specifies the impact of the change of variables
on the functional framework

\begin{lemma} \label{lem4.2}
Let $\nu ,\sigma \in ] 0,1/2[ $. Then
\begin{enumerate}
\item $h\in h^{2\nu ,2\sigma }( \overline{\Pi }) \Rightarrow g\in
h^{2\nu ,2\sigma }( \overline{Q}) $;

\item $h\in h^{2\nu ,2\sigma }( \overline{\Pi }) \Rightarrow f\in
h^{2\nu ,2\sigma }( \overline{Q}) $;

\item $f\in h^{2\nu ,2\sigma }( \overline{Q}) \Rightarrow (
x_3) ^{4\sigma \alpha }h\in h^{2\nu ,2\sigma }( \overline{\Pi }
) $;

\item $a\in C^{1}( \overline{\Omega }) \Rightarrow \widetilde{a}
\in C^{1}( \overline{D}) $;

\item $b\in C^{1}( \overline{\Omega }) \Rightarrow \widetilde{b}
\in C^{1}( \overline{D}) $;
\end{enumerate}
\end{lemma}

For the prof of the above lemma,
it suffices to use the same arguments as in \cite[Proposition 3.1]{cha}.


\subsection{Abstract formulation of the transformed problem}

Let $E=h^{2\sigma }(\overline{\Omega })$, we choose $X=C([
0,1] ;E)$ equipped with its natural norm
\[
\| f\| _{X}=\sup _{0\leq t\leq 1}\| f\| _{E}.
\]
Let us define the  vector-valued functions
\begin{gather*}
v :[ 0,1] \to E;\; t \to v(t);\quad v(t)( \xi ) =v(t,\xi ), \\
f :[ 0,1] \to E;\; t\to f(t);\quad f(t)(\xi )=f(t,\xi ).
\end{gather*}
Let $(P,D(P))$ be the linear operator given by \eqref{operateurP} where
\[
D(P)=\{ \psi \in C( \overline{D}) \cap
W^{2,q}(D) ,q\geq 3:P\psi \in C( \overline{D}) ,\,\psi =0
\text{ on }\partial D\} .
\]
Now, for $\xi \in D$ and $0\leq t\leq 1$,
define the  two operators $A$ and $B$ by
\begin{gather*}
D(A)=\{ v\in X:\phi ( \xi _3) \partial
_{t}^{2}v\in X,\, \widetilde{a}( \xi ) v( 0) -
\widetilde{b}( \xi ) \partial _{t}v( 0)=0, v(1) =0\} , \\
(Av)(t)=\phi ( \xi _3) \partial _{t}^{2}v(t),\quad \xi_3\geq d_1,
\end{gather*}
and
\begin{equation}
\begin{gathered}
D(B)=\{v\in X:v(t)\in D(P)\} \\
( Bv) (t)=[ P-\lambda \phi ( \xi _3)](v(t)).
\end{gathered}   \label{operateurB}
\end{equation}
Consequently, the abstract version of Problem
\eqref{PROBLEMEDEDEPART} is
\begin{equation}
Av+Bv=f.  \label{VersionAbstraite}
\end{equation}

\begin{proposition} \label{prop4.3}
The operator $B$ satisfy Assumption {\rm (H1)}.
\end{proposition}

\begin{proof}
The operator $B$ has the same properties as the operator 
$P-\lambda \phi ( \xi _3) I$. We are then concerned with the study
of the spectral problem
\[
\begin{gathered}
( P-\lambda \phi ( \xi _3) ) v-\mu v=\varphi
\in h^{\sigma }(\overline{D}) \\
v=0\quad \text{on }\partial D
\end{gathered}
\]
with the necessary condition
\begin{equation}
\varphi =0\quad \text{on }\partial D.  \label{tracenulle}
\end{equation}
Due to \cite{cam}, there exist $K>0$ and $C>0$ such that for
$\operatorname{Re}\mu>0$ one has
\[
\| v\| _{h^{\sigma }(D)}
\leq \frac{K}{| C\lambda +\mu | +1}\| \varphi \|
_{h^{\sigma }(D)}
\leq \frac{K}{| \mu | +1}\| \varphi\| _{h^{\sigma }(D)}
\]
which implies that the operator \eqref{operateurB} is the generator
of an analytic semigroup $( T(s)) _{s\geq 0}$ strongly
continuous, therefore there exists
$\epsilon _{B}\in ] 0,\frac{\pi }{2}[ $ such that $B$ satisfies
(H1).
\end{proof}

\begin{proposition} \label{prop4.4}
The operator $A$ satisfies Assumption {\rm(H1)}.
\end{proposition}

\begin{proof}
For simplicity, we use the same argument as in \cite{bout}. The
study of operator $A$ given by \eqref{operateurB} is based
essentially on the study of the  spectral problem
\begin{equation}
\begin{gathered} 
v''( t) -zv(t) =\phi ( t) \\
\widetilde{a}( \xi ) v( 0) -\widetilde{b}( \xi) \partial _{t}v( 0) =0, \\
v( 1) =0
\end{gathered}  \label{equationspectrale}
\end{equation}
For $z\in \mathbb{C}\setminus\mathbb{R}+{-}$
 the unique solution $v$ is 
\begin{equation}
v( t) =( A-z) ^{-1}\phi =\int_{0}^{1}K_{\sqrt{z}
}(t,\xi ,s)\varphi (s)ds,
\end{equation}
where
\[
K_{\sqrt{z}}(t,\xi ,s)=\begin{cases}
\frac{\sinh \sqrt{z}( 1-t) \  [ \widetilde{a}(
\xi
) \sinh \sqrt{z}s+\widetilde{b}( \xi ) \sqrt{z}\cosh \sqrt{z
}s] }{\sqrt{z}[ \widetilde{a}( \xi ) \sinh \sqrt{z}+
\widetilde{b}( \xi ) \sqrt{z}\cosh \sqrt{z}]}
& \text{if }0\leq s\leq t  \\[6pt]
\frac{\sinh \sqrt{z}( 1-s) \  [ \widetilde{a}(\xi) 
\sinh \sqrt{z}t+\widetilde{b}( \xi ) \sqrt{z}\cosh \sqrt{z
}t] }{\sqrt{z}[ \widetilde{a}( \xi ) \sinh \sqrt{z}+
\widetilde{b}( \xi ) \sqrt{z}\cosh \sqrt{z}]}
&\text{if } t\leq s\leq 1,
\end{cases}
\]
with $\Re \sqrt{z}>0$. 
One has
\begin{align*}
&\big| \frac{1}{2}\frac{\widetilde{a}( \xi )
}{\widetilde{b }( \xi ) }\sinh \sqrt{z}( \exp (
\sqrt{z}) -\exp ( -\sqrt{z}) )
+\frac{\sqrt{z}}{2}( \exp ( \sqrt{z}) +\exp ( -\sqrt{z}) ) \big| \\
&\geq | \frac{\widetilde{a}( \xi )
}{\widetilde{b} ( \xi ) }+\operatorname{Re}\sqrt{z}|
\sinh \operatorname{Re} \sqrt{z}.
\end{align*}
Then
\begin{align*}
&\big| \int_{0}^{1}K_{\sqrt{z}}(t,\xi ,s)\varphi (s)ds\big| \\
&\leq \frac{\cosh \operatorname{Re}\sqrt{z}( 1-t)
\int_{0}^{t}[ \widetilde{a}( \xi ) \cosh
\operatorname{Re}\sqrt{z}s+\widetilde{b}( \xi ) |
\sqrt{z}| \cosh \operatorname{Re} \sqrt{z}s]
ds}{\widetilde{b}( \xi ) | \sqrt{z}|
| ( \frac{\widetilde{a}( \xi )
}{\widetilde{b}( \xi ) }+\operatorname{Re} \sqrt{z}) |
\sinh \operatorname{Re} \sqrt{z}}
\\
&\quad+\frac{[ \widetilde{a}( \xi ) \cosh
\operatorname{Re}\sqrt{z}t+ \widetilde{b}( \xi ) |
\sqrt{z}| \cosh \operatorname{Re}\sqrt{z}t]
\int_{t}^{1}\cosh \operatorname{Re}\sqrt{z}( 1-s) ds}{
\widetilde{b}( \xi ) | \sqrt{z}|
| ( \frac{\widetilde{a}( \xi )
}{\widetilde{b}( \xi ) }
+\operatorname{Re} \sqrt{z}) | \sinh \operatorname{Re} \sqrt{z}}
\end{align*}
and
\begin{align*}
| \int_{0}^{1}K_{\sqrt{z}}(t,\xi ,s)\varphi (s)ds|
&\leq \frac{\widetilde{b}( \xi ) ( \frac{\widetilde{a}
( \xi ) }{\widetilde{b}( \xi ) }+\operatorname{Re}\sqrt{z}
) }{\widetilde{b}( \xi ) | \sqrt{z}| | ( \frac{\widetilde{a}( \xi )
}{\widetilde{b} ( \xi ) }+\operatorname{Re}\sqrt{z}) | 
\operatorname{Re}\sqrt{z} | \sqrt{z}| } \\
&\leq \frac{1}{\cos ( \theta /2) | z| },
\end{align*}
which means that Hypothesis (H1) is satisfied with 
$\epsilon _{A}\in ] 0,\pi /2[ $.
\end{proof}

\begin{remark} \label{rmk4.5} \rm
It is important to note that:
1. Thanks to \cite{lun}, we have 
$$ 
D_{A}(\nu )=\left \{ \varphi \in h^{2\nu }( [
0,1] ;E) :\varphi ( 0) =\varphi (1) =0\right \} .
$$
2. Hypothesis (H2) is checked in a similar way as in \cite{DAP}
and \cite{LT2}.
\end{remark}

Applying the sums technique, we obtain the following maximal
regularity results

\begin{proposition} \label{prop4.6}
Let $f\in h^{2\nu }( [ 0,1] ;h^{2\sigma }( \overline{D}
) ) $, $\nu ,\sigma \in ] 0;1/2[$. 
Then, for $\lambda >0$ Problem \eqref{VersionAbstraite} has a
 unique strict solution $v$ satisfying
\begin{gather*}
Av\in D_{A}(\nu ) \\
Bv\in D_{A}(\nu )).
\end{gather*}
\end{proposition}

As in \cite{LTG}, to prove our main result, that is theorem 
\ref{resultaprincipal}, it suffices to use the  inverse change
of variables $ T^{-1}:  Q\to \Pi$,
\[
( t,\xi _1,\xi _2,\xi _3) \mapsto (t,x_1,x_2,x_3) 
=( t,( ( \alpha -1) \xi _3)^{\frac{\alpha }{ 1-\alpha }}\xi _1,( ( \alpha -1)
\xi _3) ^{\frac{ \alpha }{1-\alpha }}\xi _2,( (
\alpha -1) \xi _3)
^{\frac{1}{1-\alpha }}) .
\]


\subsection*{Acknowledgments}
 The author is thankful to the anonymous
referees for their careful reading of a previous version of the
manuscript, which led to a substantial improvements.

\begin{thebibliography}{99}

\bibitem{bel} K. Belahdji;
\emph{La r\'{e}gularit\'{e} $L^{p}$\ de la solution du
probl\`{e}me de Dirichlet dans un domaine \`{a} points de
rebroussement}, C. R. Acad. Sci. Paris, S\'{e}r. I 322, 1996, 5--8.

\bibitem{LTB} T. Berroug, D. Hua, R. Labbas, B-K Sadallah;
\emph{On a Degenerate Parabolic Problem in H\"{o}lder Spaces},
Applied Mathematics and
Computation, vol. 162, Issue 2, 2005, 811-833.

\bibitem{bout} F. Boutaous;
\emph{Etude d'une Equation Differentielle Abstraite
Compl\`{e}te du Second ordre de Type Elliptiqye et \`{a} Coefficients Op\'{e}
rateurs Variables}, Th\`{e}se de doctorat, ENS Alger (2012).

\bibitem{cam} S. Campanato;
\emph{Generation of analytic semi group by elliptic
operators of second order in H\"{o}lder spaces}, Ann Scuola Nor Sup
Pisa, 1981.

\bibitem{cha} B. Chaouchi, R.  Labbas, B. K. Sadallah;
\emph{Laplace Equation on a Domain With a Cuspidal Point in 
Little H\"{o}lder Spaces}, Volume 10, Issue 1, 2012, 157-175.

\bibitem{DAP} G. Da Prato, P. Grisvard;
\emph{Sommes d'op\'{e}rateurs lin\'{e} aires et \'{e}quations diff\'{e}rentielles 
op\'{e}rationnelles}, J. Math. Pures Appl. IX Ser. 54, 1975, 305-387.

\bibitem{dore} G. Dore, A. Venni;
\emph{On the closedness on the sum of two
closed operators}, Math. Zeitschrift 196, 189-201, 1987.

\bibitem{LTG} P. Grisvard;
\emph{Probl\`{e}mes aux Limites dans des Domaines avec
Points de Rebroussement}, Partial Differential Equations and
Functional Analysis, Progress in Nonlinear Differential Equations 
Appl, 22, Birkh\"{a} user Boston, 1996..

\bibitem{LTM} R. Labbas, A. Medeghri, B. K. Sadallah;
\emph{On a Parabolic Equation in a Triangular Domain},
 Applied Mathematics and Computation, 130, 2002, 511-523.

\bibitem{LT0} Labbas R;
\emph{Some results on the Sum of Linear Operators with
Nondense domaines}, Annali di Matematica pura ed Applicata (IV), Vol.
CLIV, 1989, 91-97.

\bibitem{LT1} R. Labbas, B. Terreni;
\emph{Sommes d'op\'{e}rateurs lin\'{e}aires de type parabolique}, 
1$^{\acute{e}re}$ Partie. Boll. Un. Math. Ital.
1-B (7), 1987, 545-569.

\bibitem{LT2} R. Labbas, B. Terreni;
\emph{Sommes d'op\'{e}rateurs lin\'{e}aires de type parabolique}, 
2$^{\grave{e}me}$ Partie. Boll. Un. Math. Ital.
2-B (7), 1988, 141-162.

\bibitem{lun} A. Lunardi;
\emph{Analytic Semigroups and Optimal Regularity in
Parabolic Problems}, Birkh\"{a}user, 1995.

\bibitem{sin} E. Sinestrari;
\emph{On the Abstract Cauchy Problem of Parabolic
Type in Spaces of Continuous Functions}, J. Math. Anal. Appli, 66,
1985, 16-66.

\end{thebibliography}











\end{document}