ScalingStacks

Proposition 3.1 . [0420]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proposition 3.1.

We define the functions α~i​(μ1,μ2,η)\tilde{\alpha}_{i}(\mu_{1},\mu_{2},\eta) by

(3.4) {α~1=α1​(μ1,μ2,η)+∑n∈ℤ∖{0}{α1​(μ1,μ2,η+n)−14​|n|​a22}α~2=α2​(μ1,μ2,η)+∑n∈ℤ∖{0}{α2​(μ1,μ2,η+n)−14​|n|​a11}α~3=α3​(μ1,μ2,η)+∑n∈ℤ∖{0}{α3​(μ1,μ2,η+n)−14​|n|​a11+2​a12+a22}\begin{cases}\tilde{\alpha}_{1}=\alpha_{1}(\mu_{1},\mu_{2},\eta)+\sum_{n\in\mathbb{Z}\setminus\{0\}}\{\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{22}}}\}\\ \tilde{\alpha}_{2}=\alpha_{2}(\mu_{1},\mu_{2},\eta)+\sum_{n\in\mathbb{Z}\setminus\{0\}}\{\alpha_{2}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{11}}}\}\\ \tilde{\alpha}_{3}=\alpha_{3}(\mu_{1},\mu_{2},\eta)+\sum_{n\in\mathbb{Z}\setminus\{0\}}\{\alpha_{3}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{11}+2a_{12}+a_{22}}}\}\end{cases}

Then α~1,α~2,α~3\tilde{\alpha}_{1},\tilde{\alpha}_{2},\tilde{\alpha}_{3} are convergent away from 𝔇\mathfrak{D}, 1-periodic in η\eta, and Δa\Delta_{a}-harmonic away from 𝔇\mathfrak{D}. Morever the functions

v~11=α~1+α~3,v~22=α~2+α~3,v~12=v~21=−α~3,w~=A​ai​j​v~i​j\tilde{v}^{11}=\tilde{\alpha}_{1}+\tilde{\alpha}_{3},\quad\tilde{v}^{22}=\tilde{\alpha}_{2}+\tilde{\alpha}_{3},\quad\tilde{v}^{12}=\tilde{v}^{21}=-\tilde{\alpha}_{3},\quad\tilde{w}=Aa^{ij}\tilde{v}^{ij}

provide a solution in the periodic setting to (2.2)(2.3) away from 𝔇\mathfrak{D}, which also solves the distributional equation (2.4) globally.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.