Skip to main content
2 of 2
make the example answer the actual question
Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154

Your inequality is not true in general. You can have $\int_{\partial\Omega} p^2 dS >\int_{\partial\Omega^*} (p^*)^2 dS^* + C(A^*-A)$ for any $C$ while keeping $L$ and $A$ a priori bounded.

Indeed, $$ \int_{\partial\Omega} p^2 dS = \int_0^{2\pi} \frac{r^4}{\sqrt{r^2+{r'}^2}} d\theta $$ where $r=r(\theta)$ is the radial function and $\theta$ is the angular coordinate. Begin with $\Omega^*$ being a polygon approximating a long and narrow ellipse. Its radial function $r^*(\theta)$ is piecewise smooth. Approximate $r^*$from below by a piecewise constant function so that the difference is bounded by a small $\varepsilon$. Near points of discuntinuity, connect the constant pieces by linear functions with almost infinite derivative. The resulting function is $r(\theta)$. If the approximation is chosen so that $r=r^*$ at points corresponding to vertices of the original polygon $\Omega^*$, then $\Omega^*$ is indeed the convex hull of the set $\Omega$ defined by $r(\theta)$. However, $$ \int_{\partial\Omega} p^2 dS \approx \int_0^{2\pi} r^3 d\theta\ge \int_0^{2\pi} (r^*-\varepsilon)^3 d\theta > \int_0^{2\pi} \frac{(r^*)^4}{\sqrt{(r^*)^2+{(r^*)'}^2}} = \int_{\partial\Omega^*} (p^*)^2 dS^* $$ for $\varepsilon$ sufficiently small, since the term ${(r*)'}^2$ in the denominator is not negligible.

Moreover, $\int p^2 dS - \int(p^*)^2$ is bounded away from zero, but $A^*-A\to 0$ as $\varepsilon\to 0$ and $L$ stays bounded, so the difference $\int p^2 dS - \int(p^*)^2$ is not majored by $C(L,A)(A^*-A)$.

Sergei Ivanov
  • 32.4k
  • 2
  • 99
  • 154