We perform Fourier decomposition in the periodic variables ,
|
|
|
The zeroth Fourier mode vanishes by construction. Parseval identity combined with Lemma 4.12 shows
|
|
|
Over the region (4.14),
according to Proposition 4.4 and (4.16)
|
|
|
which translates into the Helmholtz type equations
|
|
|
After the variable substitution
|
|
|
these equations become the Helmholtz equations on ,
|
|
|
where we denote .
The rest of the argument is substantially similar to Proposition 3.5. Observe that . An upper barrier supersolution to the Helmholtz equation is directly constructed as
|
|
|
where on respectively. Comparing the real and imaginary parts of with yields the result.
∎