Exponential rate of convergence for elliptic problems in star-shaped cylindrical domains

The aim of this paper is to use a technique introduced by Bruyère in order to prove an exponential rate of convergence for solutions to linear elliptic problems in generalized cylinders of the type <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mrow> <mml:mi>ℓ</mml:mi> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:mo>×</mml:mo> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>2</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> , as ℓ goes to infinity and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>2</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> being two fixed bounded domains. This method allows to avoid the use of the iteration technique introduced by Chipot and Yeressian. However, the method of Bruyère only works in the case where <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> is a ball centered at the origin. We will prove here that this method can be adapted to the case where <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"> <mml:mrow> <mml:msub> <mml:mrow> <mml:mi>ω</mml:mi> </mml:mrow> <mml:mrow> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> </mml:mrow> </mml:math> is a bounded domain, star-shaped with respect to an open ball centered at the origin. This approach is possible thanks to a remarkable property of such domains, that will be proved in the second section of this paper.