Continuing Circular

$ \def \hieruit {\quad \Longrightarrow \quad} \def \slechts {\quad \Longleftrightarrow \quad} \def \half {\frac{1}{2}} \def \MET {\qquad \mbox{with} \quad} \def \VOOR {\qquad \mbox{for} \quad} \def \EN {\quad \mbox{and} \quad} $ In this section, attention will be restricted to polygons with many edges. In the limit for $N \to \infty$ the sum even may become an integral: $$ C(x,y,\sigma) = \int_0^{2\pi} e^{-\half Q(x,y,t)/\sigma^2} dt \\ Q(x,y,t) = \left[x-\cos(t)\right]^2 + \left[y-\sin(t)\right]^2 $$ But let us not yet make that big leap and proceed step by step. $$ Q(x,y,t) = x^2+y^2-2\left[x\cos(t)+y\sin(t)\right]+1 $$ Introducing polar coordinates $(r,\phi)$: $$ x = r\cos(\phi) \EN y = r\sin(\phi) \hieruit \\ Q(x,y,t) = r^2-2r\cos(t-\phi)+1 = (r-1)^2-2r\left[\cos(t-\phi)-1\right] $$ We then have for the sum - not yet an integral: $$ C(x,y,\sigma) = e^{-\half(r-1)^2/\sigma^2} \times \frac{2\pi}{N} \sum_{k=0}^{N-1}e^{r\left[\cos(t_k-\phi)-1\right]/\sigma^2} $$ As has become apparent in the section about Fuzzyfied Polygons, with sufficient large spread $\sigma$ and sufficient many edges, the fuzzyfied polygon cannot be distinguished from a fuzzyfied circle. Thus we may assume circle symmetry, meaning that the outcome is independent of the angle $\phi$. Another way of achieving this is restricting attention to the case $C(|x|,0,\sigma)$ and then say it's the same for $C(x,y,\sigma)$: $$ C(|x|,0,\sigma) = e^{-\half(|x|-1)^2/\sigma^2} \times \frac{2\pi}{N} \sum_{k=0}^{N-1} e^{|x|\left[\cos(t_k)-1\right]/\sigma^2} \hieruit \\ C(x,y,\sigma) = C(r,\sigma) = e^{-\half(r-1)^2/\sigma^2} \times \frac{2\pi}{N} \sum_{k=0}^{N-1}e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2} \MET r=\sqrt{x^2+y^2} $$ A suitable norm can be defined by assuming that $C(r,\sigma)=1$ at the unit circle, that is for $r=1$: $$ C(1,\sigma) = \frac{2\pi}{N} \sum_{k=0}^{N-1} e^{\left[\cos(k.2\pi/N)-1\right]/\sigma^2} = 1 \hieruit C(r,\sigma) = e^{-\half(r-1)^2/\sigma^2} \frac{\sum_{k=0}^{N-1} e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2}} {\sum_{k=0}^{N-1}e^{\left[\cos(k.2\pi/N)-1\right]/\sigma^2}} $$ If this function is pictured as a function of $r=\sqrt{x^2+y^2}$ with $\sigma$ as a parameter, then we see the following, for $0 < r < 2$ and $\sigma = 0.02,0.04,0.06\cdots,1.48,1.50$:

Calculation reveals that the absolute maximum $(\sigma,C(0,\sigma)$ on the left is obtained for:

Spread = 0.928748860045918
Center = 1.30771428741129
Other data obtained are the values $(\sigma,C(0,\sigma))$ at the center and the values $(r_m,C(r_m,\sigma))$ of the relative maxima, as indicated with the vertical yellow lines. The meaning of the red and green lines shall be explained below. All relative maxima are inside the (unit) circle, moving towards the center, and they are increasing until $\sigma = 0.928748860045918$ and then decreasing, at the center, with increasing $\sigma$, finally converging slowly to one $=1$ overall: $$ \lim_{\sigma\to\infty} C(r,\sigma) = \lim_{\sigma\to\infty} e^{-\half(r-1)^2/\sigma^2} \frac{\sum_{k=0}^{N-1} \lim_{\sigma\to\infty} e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2}} {\sum_{k=0}^{N-1} \lim_{\sigma\to\infty} e^{\left[\cos(k.2\pi/N)-1\right]/\sigma^2}} = e^0\frac{Ne^0}{Ne^0}=1 $$ There is always a local minimum or maximum at the center with horizontal tangent, because apart from the norming factor we have: $$ \left.\frac{\partial C}{\partial r}\right|_{r=0} = -\frac{r-1}{\sigma^2}e^{-\half(r-1)^2/\sigma^2} \sum_{k=0}^{N-1}e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2} + e^{-\half(r-1)^2/\sigma^2} \sum_{k=0}^{N-1}\frac{\cos(k.2\pi/N)-1}{\sigma^2} e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2} \\ = \frac{1}{\sigma^2}e^{-1/(2\sigma^2)}.N + \frac{1}{\sigma^2} e^{-1/(2\sigma^2)} \left[\sum_{k=0}^{N-1} \cos(k.2\pi/N) - N\right] = 0 $$ It is somewhat unsatisfactory that a large sum has to be calculated for the purpose of defining a norming factor. After all, that sum is by far not so large as it seems. We have seen in Fuzzyfied Polygons, (with another definition for $r$) that: $$ r < \alpha.\sigma \approx \alpha\frac{\alpha}{N} \hieruit \frac{r}{2\pi/N} < \frac{\alpha^2}{2\pi} \approx 2 $$ This means that in the sum $\sum_{k=0}^{N-1}$ only a few, say four, angle increments are important. Let us now approximate the sum of the norming factor by an integral: $$ C(1,\sigma) = \frac{2\pi}{N} \sum_{k=0}^{N-1}e^{\left[\cos(k.2\pi/N)-1\right]/\sigma^2} \approx \int_0^{2\pi} e^{\left[\cos(t)-1\right]/\sigma^2} dt = \int_{-\pi}^{+\pi} e^{\left[\cos(t)-1\right]/\sigma^2} dt $$ The finding that only a few increments around $t=0$ play a role may be translated in two things. At first we have that only a few terms of the series development for $\cos(t)$ are significant. Second we have that around $t=0$ positive angles quickly appear to be large, that is infinity, and negative angles (or angles somewhat below $2\pi$) quickly appear to be minus infinity, ipse est $\pi \approx \infty$ in the rightmost integral. Both arguments indeed give rise to a much simplified expression for the norming factor, if we want to replace it eventually: $$ \cos(t) \approx 1-\half t^2 \hieruit C(1,\sigma) \approx \int_{-\infty}^{+\infty} e^{-\half t^2/\sigma^2} dt = \sigma\sqrt{2\pi} $$ In very much the same way an analytical expression for the other integral candidate can be found as well: $$ \frac{2\pi}{N} \sum_{k=0}^{N-1} e^{r\left[\cos(k.2\pi/N)-1\right]/\sigma^2} \approx \int_0^{2\pi} e^{r\left[\cos(t)-1\right]/\sigma^2} dt \approx \int_{-\infty}^{+\infty} e^{-\half t^2/(\sigma/\sqrt{r})^2} dt = \frac{\sigma\sqrt{2\pi}}{\sqrt{r}} $$ Resulting in the following simple estimate for the normed solution (mind the color in the animation): $$ \color{green}{C(r,\sigma) \approx e^{-\half(r-1)^2/\sigma^2}/\sqrt{r}} $$ It should be expected that this estimate is bad for $r=0$, the midpoint of the circle, but there we have an exact outcome for the sum - depicted as a little green spot: $$ \frac{2\pi}{N} \sum_{k=0}^{N-1} e^{0\left[\cos(k.2\pi/N)-1\right]/\sigma^2} = 2\pi \hieruit C(0,\sigma) \approx \frac{\sqrt{2\pi}}{\sigma} e^{-1/(2\sigma^2)} $$ We repeat. Calculation has revealed that the absolute maximum $(\sigma,C(0,\sigma)$ is obtained for:
Spread = 0.928748860045918
Center = 1.30771428741129
With our analytical approximation we have: $$ \frac{d C(0,\sigma)}{d\sigma} \approx \frac{d}{d\sigma}\left[\frac{\sqrt{2\pi}}{\sigma} e^{-1/(2\sigma^2)}\right] = -\frac{\sqrt{2\pi}}{\sigma^2} e^{-1/(2\sigma^2)} + \frac{\sqrt{2\pi}}{\sigma}\left[+\half.2.\sigma^{-3}\right] e^{-1/(2\sigma^2)} = 0 \\ \times e^{+1/(2\sigma^2)}/\sqrt{2\pi}.\sigma^4 \hieruit -\sigma^2+1 = 0 \hieruit \sigma = 1 $$ Which is indeed reasonably close to the "exact" value: $0.928748860045918$. Now calculate for the maximum and judge for yourself how good it is: $$ C(0,1) \approx e^{-1/2}\sqrt{2\pi} = \sqrt{2\pi/e} \approx 1.520346901 $$ Employing the other approximation we might try to calculate analogously the values $(r_m,C(r_m,\sigma))$ of the relative maxima, as indicated with the vertical yellow lines in the above animation. But there is more. $$ \frac{d C(r,\sigma)}{dr} \approx \frac{d}{dr} \left[e^{-\half(r-1)^2/\sigma^2}/\sqrt{r}\right] = -\frac{r-1}{\sigma^2\sqrt{r}} e^{-\half(r-1)^2/\sigma^2} - e^{-\half(r-1)^2/\sigma^2} \frac{1}{r\sqrt{r}} \\ \times \left[-e^{+\half(r-1)^2/\sigma^2} \sigma^2 r\sqrt{r}\right] \hieruit (r-1)r+\half\sigma^2 = 0 \hieruit r = \half\pm\half\sqrt{1-2\sigma^2} $$ With the root $r=1/2+1/2\sqrt{1-2\sigma^2}$, for $\sigma\to 0$ we have the unit circle. It is seen that, for the relative maxima, there is indeed a shift to the left for increasing values of $\sigma$, as shown in the animation. With the analytical approximation, though, there is a maximum value for $\sigma$, namely $\sigma = 1/\sqrt{2}$, corresponding with a minimal value $1/2$ for $r$ as well. Not so in the more precise numerical solution.
With the root $r=1/2-1/2\sqrt{1-2\sigma^2}$, for $\sigma\to 0$ we have the midpoint of the circle. It is seen, though, that there is a shift to the right of the corresponding minima in our analytical solution, for increasing values of $\sigma < 1/\sqrt{2}$, with $r=1/2$ as an upper bound. This is not so in in the more precise solution. Even worse: in our analytical approximation there is a steep singularity at $r=0$, due to the factor $1/\sqrt{r}$, instead of a minimum. Thus the minima at the midpoint are poorly mimicked with the analysis, hence it shall not be considered any further for that purpose.
A numerical check reveals that the analytical approximation is indeed reasonably good for $\sigma$ values significantly smaller than $1/\sqrt{2}$, and bad for greater values, especially for $r<1/2$, as could be expected. As said, all this is shown by the green lines in the animation.
Among other things, it remains to be demonstrated that the maxima of the curves are increasing with increasing $\sigma$. This is not an easy exercise, so we have used MAPLE for the purpose, while employing again the analytical approximation:
> r := 1/2+1/2*sqrt(1-2*sigma^2);
> C(sigma) := exp(-(r-1)^1/sigma^2/2)/sqrt(r);
> D(sigma) := simplify(diff(C(sigma),sigma));
Resulting in the following expression: $$ \frac{dC(r_m,\sigma)}{d\sigma} = \frac{e^{-1/4\,(-1+\sqrt{1-2\,\sigma^2})/\sigma^2}\left(1-\sqrt{1-2\,\sigma^2}+2\,\sigma^2\right)} {\sigma\,\sqrt{1-2\,\sigma^2}\left(1+\sqrt{1-2\,\sigma^2}\right)\sqrt{2+2\,\sqrt{1-2\,\sigma^2}}} $$ Continuing by hand, it becomes clear that the whole thing is indeed positive: $$ = \frac{e^{-1/4\,(-1+\sqrt{1-2\,\sigma^2})/\sigma^2}\left(1-\sqrt{1-2\,\sigma^2}\right)\left(2+\sqrt{1-2\,\sigma^2}\right)} {\sigma\,\sqrt{1-2\,\sigma^2}\left(1+\sqrt{1-2\,\sigma^2}\right)\sqrt{2+2\,\sqrt{1-2\,\sigma^2}}} > 0 $$ Therefore the relative maxima are increasing with increasing spread $0 < \sigma < 1/\sqrt{2}$.
In the neighbourhood of the unit circle ($r\approx 1$) we have the following approximation, a simple Gaussian: $$ \color{red}{C(r,\sigma) \approx e^{-\half(r-1)^2/\sigma^2}} $$ We can generalize this for an arbitrary circle with radius $R$, without gain or loss of generality though )-: $$ C(r,\sigma) = e^{-\half(r/R-1)^2/(\sigma/R)^2} = e^{-\half\left[\sqrt{x^2+y^2}-R\right]^2/\sigma^2} $$ If we want to know what the difference is between that simple Gaussian approximation and the real thing, then the animation might be helpful again. The Gaussian, indeed, is in red, the real thing still is in black. It is seen that the Gaussian approximation is pretty good for, say, $\sigma < 0.3$ and becomes worse for larger values.