## Abstract

The main purpose of the present paper is to establish a link between quadrature surfaces (potential theoretic concept) and sandpile dynamics (Laplacian growth models). For this aim, we introduce a new model of Laplacian growth on the lattice \(\mathbb {Z}^{d}\) (*d* ≥ 2) which continuously deforms occupied regions of the *divisible sandpile* model of Levine and Peres (J. Anal. Math. **111**(1), 151–219 2010), by redistributing the total mass of the system onto \(\frac 1m\)-sub-level sets of the odometer which is a function counting total emissions of mass from lattice vertices. In free boundary terminology this goes in parallel with singular perturbation, which is known to converge to a Bernoulli type free boundary. We prove that models, generated from a single source, have a scaling limit, if the threshold *m* is fixed. Moreover, this limit is a ball, and the entire mass of the system is being redistributed onto an annular ring of thickness \(\frac 1m\). By compactness argument we show that when *m* tends to infinity sufficiently slowly with respect to the scale of the model, then in this case also there is scaling limit which is a ball, with the mass of the system being uniformly distributed onto the boundary of that ball, and hence we recover a quadrature surface in this case. Depending on the speed of decay of 1/*m*, the visited set of the sandpile interpolates between spherical and polygonal shapes. Finding a precise characterisation of this shape-transition phenomenon seems to be a considerable challenge, which we cannot address at this moment.

## Article PDF

### Similar content being viewed by others

Avoid common mistakes on your manuscript.

## Notes

This assumption is not any restriction to our theory, as the support of odometer functions are compact. It should be remarked that one can show existence of unbounded solutions to this particular free boundary problem.

It is well-known that

*ω*_{d}= (*d*(*d*− 2)|*B*_{1}|)^{− 1}where |*B*_{1}| is the volume of the unit ball in \(\mathbb {R}^{d}\), but the actual value of this constant will be of no relevance to our proof.

## References

Aleksanyan, H., Shahgholian, H.: Discrete balayage and boundary sandpile. Journal d’Analyse Mathématique (to appear) preprint arXiv:1607.01525

Bak, P., Tang, C., Wiesenfeld, K.: Self-organized criticality: An explanation of the 1/

*f*noise. Phys. Rev. Lett.**59.4**, 381 (1987)Berestycki, H., Caffarelli, L.A., Nirenberg, L.: Uniform Estimates for Regularization of Free Boundary Problems. Analysis and Partial Differential Equations, 567–619, Lecture Notes in Pure and Appl Math., p 122. Dekker, New York (1990)

Fukai, Y., Uchiyama, K.: Potential kernel for two-dimensional random walk. Ann. Probab.

**24**(4), 1979–1992 (1996)Gustafsson, B., Shapiro, H.S.: What is a Quadrature Domain? Quadrature Domains and their Applications, 1-25, Oper. Theory Adv Appl., p 156. Basel, Birkhäuser (2005)

Heinonen, J.: Lectures on Lipschitz Analysis. University of Jyväskylä (2005)

Henrot, A.: Subsolutions and supersolutions in a free boundary problem. Ark. Mat.

**32**(1), 79–98 (1994)Lawler, G.: Intersections of Random Walks, (Probability and Its Applications). Birkhäuser. Reprint of the 1996 Edition (2013)

Levine, L., Peres, Y.: Strong spherical asymptotics for rotor-router aggregation and the divisible sandpile. Potential Anal.

**30**(1), 1–27 (2009)Levine, L., Peres, Y.: Scaling limits for internal aggregation models with multiple sources. J. Anal. Math.

**111**(1), 151–219 (2010)Lionel, L., Peres, Y.: Laplacian growth, sandpiles, and scaling limits. Bull. AMS (to appear), preprint at arXiv:1611.00411 (2016)

Levine, L.: Limit Theorems for Internal Aggregation Models, PhD thesis University of California Berkley (2007)

Pegden, W., Smart, C.K.: Convergence of the Abelian sandpile. Duke Math. J.

**162**(4), 627–642 (2013)Petrosyan, A., Shahgholian, H., Uraltseva, N.: Regularity of free boundaries in obstacle-type problems AMS (2012)

Shahgholian, H.: Existence of quadrature surfaces for positive measures with finite support. Potential Anal.

**3**(2), 245–255 (1994)Shahgholian, H.: Quadrature surfaces as free boundaries. Ark. Mat.

**32**(2), 475–492 (1994)Uchiyama, K.: Green’s functions for random walks on \(\mathbb {Z}^{N}\). Proc. Lond. Math. Soc.

**77**(1), 215–240 (1998)

## Acknowledgments

H. A. was supported by postdoctoral fellowship from Knut and Alice Wallenberg Foundation. H. Sh. was partially supported by Swedish Research Council.

## Author information

### Authors and Affiliations

### Corresponding author

## Appendix: Uniqueness of the Scaling Limit

### Appendix: Uniqueness of the Scaling Limit

For any *m*,*k* > 0 fixed, let *u* (being compactly supported)^{Footnote 1} solve

We want to prove that such a *u* is unique and spherically symmetric. To see this, we show that if *u* is not spherically symmetric, then we may generate two distinct spherically symmetric solutions by starting from infimum/supremum over all rotations of *u*. Then, we prove that given the solution is spherically symmetric, then it is uniquely determined by coefficients *m* and *k*. These two components put together settle the uniqueness of solutions to Eq. A.1.

We shall now take the smallest super-solution *u*_{∗} and we only need to check that the infimum in the class of super-solutions does not degenerate to zero (i.e. *u*_{∗}≢0) and that it solves the problem. Obviously we may only consider spherically symmetric super-solutions with shrinking radius of support. Hence integration by parts (using that *u*_{∗} vanishes outside a large ball) implies *V**o**l**u**m**e*({0 < *u*_{∗} < *k*}) ≥ 1/*m*. This bound, coupled with the spherical symmetry of *u*_{∗} implies that the support of *u*_{∗} must contain a ball of a fixed radius, in particular the support cannot shrink too much. So it remains to show that the smallest super-solution is actually a solution. Now in the set {*u*_{∗} > *k*}, we may always replace *u*_{∗} by *h* which is the solution of Δ*h* = −*δ*_{0}, with boundary values *k* on *∂*{*u*_{∗} > *k*}. Also in the set {*u*_{∗} < *k*} we make a replacement with solution to \({\Delta } h = k\mathbb {I}_{\{h>0 \}}\) and the corresponding boundary values. Hence we may assume \({\Delta } u_{*} = m \mathbb {I}_{\{0<u< k\}} - \delta _{0} - \mu _{*} \) , where *s**u**p**p**o**r**t*(*μ*_{∗}) is on the sphere *∂*{*u*_{∗} > *k*}. Next let *v*_{∗} solve \({\Delta } v_{*} = -\delta _{0} + m\mathbb {I}_{\{0< u_{*} < k\}}\) and *v*_{∗} = 0 on the boundary of the support of *u*_{∗}. Then by comparison principle *v*_{∗}≤ *u*_{∗}, and hence \({\Delta } v_{*} \leq - \delta _{0} + m\mathbb {I}_{\{0< v_{*} < k\}} \), implying that *v*_{∗} is also a super-solution to our problem. Now *u*_{∗} being infimum in the class implies *v*_{∗} = *u*_{∗}, and hence *u*_{∗} solves (A.1).

A similar argument works by taking the largest sub-solution, among all solutions with bounded support. Here again we may consider spherically symmetric sub-solutions. We need to show that the largest sub-solution in the class stays bounded. As in previous case we may replace the maximizing sequence of sub-solutions \(u_{j}^{*}\) with exact solutions in the sets \(\{ u_{j}^{*} > k \}\) and \(\{u_{j}^{*} < k \}\). To see that the support of such sub-solutions should stay uniformly bounded we argue as follows. Let \(R_{j}^{*}\) be the radius of the support of \(u^{*}_{j}\), and *R*_{j} be such that \(u_{j}^{*} = k\) on |*x*| = *R*_{j}. Using sub-solutions’ properties, we can conclude that \(Volume(\{ 0< u^{*}_{j} < k\}) \leq 1\) (this is the reverse of the previous inequality). Hence \(R_{j}^{*} \approx R_{j} + c_{d}R_{j}^{1-d}\), for some dimensional constant *c*_{d} > 0.

Let now *F* denote the fundamental solution, and set \(F_{j} =\max (F - a_{d}(R_{j}^{*})^{2-d}, 0 ) \), for *d* ≥ 3 and \(F_{j} = a_{2} \max (\log (R_{j}^{*}/|x|), 0 )\), where *a*_{d} is a normalization constant for *d* ≥ 2. Since

and

we can apply comparison principle to deduce \(F_{j} \geq u^{*}_{j}\) on \(B_{R_{j}^{*}}\). But on the other hand for \(|x| = R_{j} \approx R_{j}^{*} - c_{d}R_{j}^{1-d} \) we have

once \( R_{j}^{*} \approx R_{j} + c_{d}R_{j}^{1-d}\) is large enough. Hence a contradiction. This implies that the support of sub-solutions should stay bounded. Now taking the largest sub-solution, and using the fact that their supports are uniformly bounded, we get yet another solution to Eq. A.1.

The conclusion is that if Eq. A.1 has a solution with bounded support, which is not spherically symmetric, then we can produce two distinct spherically symmetric solutions. Hence to show uniqueness of solutions to Eq. A.1 with bounded support, it suffices to show that there is only one spherically symmetric solution to Eq. A.1 having bounded support. This we establish in the next lemma.

###
**Lemma A.1**

*For any**m*, *k* > 0 *there is a unique spherically symmetric solution to Eq.*A.1*having bounded support.*

### Proof

We shall give a computational proof, which is elementary, but tedious. First we consider the case when *d* > 2. Let *ω*_{d} > 0 be the normalising constant of the Green’s kernel.^{Footnote 2} The spherical symmetry of *u* implies that it should be of the form

where *a*_{i} and *r*_{j} are constants. The aim is to show that these constant are uniquely determined from Eq. A.1, which we do next.

By a straightforward computation we have

where Eq. A.2 is due to the condition *u* = 0 on |*x*| = *r*_{2}, (A.3) comes from |∇*u*| = 0 on |*x*| = *r*_{2}, (A.4) is in view of *u* = *k* on |*x*| = *r*_{1} and (A.5) is the continuity of *u* on |*x*| = *r*_{1}, finally (A.6) is the continuity of the gradient on |*x*| = *r*_{1}.

and hence

Subtracting (A.3) from Eq. A.5, to eliminate *a*_{2}, we obtain

Plugging the value of *r*_{2} from Eq. A.8, we get

To complete the proof we need to see that (A.10) has a unique solution when 0 < *r*_{1} < *∞*. Rearranging (A.10), consider the function

where 0 < *x* < *∞*. We need to show that *f* has a unique zero in (0,*∞*).

Observe, that *f*(0+) = −*∞*, and *f*( + *∞*) = *k* > 0, and hence the continuity of *f* gives the existence of a zero for *f*. We are left with establishing the uniqueness of this zero. To this end, computing the derivative of *f* we get

We want to show that *f*^{′}(*x*) > 0 everywhere, which will complete the proof. Ignoring the *x* in front of *f*^{′} in the last expression and denoting *y* := (*d* − 1)*ω*_{d}*x*^{−d}, we obtain that *f*^{′}(*x*) = *x**F*(*y*), where

and hence it is enough to show that *F* > 0 everywhere. The latter follows easily from the fact that *F*(0) = 0 and *F*^{′} > 0 in (0,*∞*). We conclude the proof of uniqueness in the case when *d* ≥ 3.

We now treat the case of *d* = 2. Set *ω*_{2} = − 1/(2*π*) which is the normalising constant for the Green’s kernel. Again, the exact value of *ω*_{2} is not important for the proof, and we will only use that *ω*_{2} < 0. Relying on the spherical symmetry of *u*, as above, we see that *u* has to be of the form

where *a*_{i} and *r*_{j} are unknown constants. The goal is to show that these constants are being determined uniquely given the properties of *u*. As above, a direct computation leads to

where (A.12) is due to the condition *u* = 0 on |*x*| = *r*_{2}, Eq. A.13 comes from |∇*u*| = 0 on |*x*| = *r*_{2}, Eq. A.14 is in view of *u* = *k* on |*x*| = *r*_{1} and (A.15) is the continuity of *u* on |*x*| = *r*_{1}, finally (A.16) is the continuity of the gradient on |*x*| = *r*_{1}.

Using (A.13) we get \(a_{3}= -\frac m2 {r_{2}^{2}} \), which together with Eq. A.16 implies

Subtracting (A.15) from (A.12) we obtain

From the above relation between *r*_{1} and *r*_{2} we have

Plugging the values of *a*_{3} and *r*_{2} we get

and thus need to show that the last equation has a unique solution in (0,*∞*). To this end, set \(y := -\frac {2}{m} \frac {\omega _{2}}{{r_{1}^{2}}}\). With this notation, we need to prove that the function

has a unique zero in the interval (0,*∞*). Observe, that \(F(0+) = - k + \frac {\omega _{2}}{2}<0\) as *ω*_{2} < 0, and *F*( + *∞*) = + *∞*, hence the existence. For uniqueness, computing the derivative of *F*, we see

which is always positive in the range *y* ∈ (0,*∞*), and the uniqueness follows.

The proof of the lemma is now complete. □

As we saw in Section 4, the scaling limit of the sandpile generated by a single source at the origin, is determined by the following PDE

where the support of *u* is bounded and contains a ball of some fixed radius, in both cases uniformly with respect to *m*. From Lemma A.1 we have that *u* is spherically symmetric, moreover, if we let *x*_{m} be the radius of the ball \(\{ u\leq \frac 1m \}\), then following (A.11) and (A.17) we have that *x*_{m} is the unique zero in the range (0,*∞*) of the function

for dimension *d* > 2, and for dimension 2, rearranging (A.17), and plugging the value of \(\omega _{2} = -\frac {1}{2\pi } \), we see that *x*_{m} is the unique solution in the range (0,*∞*) of the equation

Our final result shows that the limiting shapes of the sandpiles, corresponding to each *m* converge, as *m* →*∞*. For this it will be enough to prove that the radii *x*_{m} converge. This we do next; the proof is elementary and straightforward.

###
**Lemma A.2**

*The radii**x*_{m}*converge as**m* →*∞**.*

### Proof

Due to their relation with the sandpile, the set {*x*_{m}}_{m≥ 1} is bounded away from zero and infinity, as we outlined above. We first consider the case when *d* > 2. Rearranging the last two terms in Eq. A.19 we get, for *x* = *x*_{m}, that

where we have used the fact that {*x*_{m}} is bounded away from 0 and infinity. Since *f*(*x*_{m}) = 0, from the last expression, taking *m* →*∞*, we see that

We now settle the case of *d* = 2. Defining *y* = *π**m**x*^{2} in Eq. A.20, we get

Now, using that *x*_{m}, the solution to Eq. A.20 is bounded from 0 and infinity, we do asymptotic expansion in the last expression, when *m* →*∞* (and hence *y* →*∞*), which gives

and hence, as \(y=\pi m {x_{m}^{2}}\), we obtain that

The proof of the lemma is now complete. □

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Aleksanyan, H., Shahgholian, H. Perturbed Divisible Sandpiles and Quadrature Surfaces.
*Potential Anal* **51**, 511–540 (2019). https://doi.org/10.1007/s11118-018-9722-6

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s11118-018-9722-6

### Keywords

- Singular perturbation
- Lattice growth model
- Quadrature surface
- Bernoulli free boundary
- Boundary sandpile
- Balayage
- Divisible sandpile
- Scaling limit