Skip to main content
added 65 characters in body; added 54 characters in body; edited tags
Source Link
Dorian
  • 2.6k
  • 23
  • 32

I asked a question recently about generalizing an inequality due to Gage. This inequality asserts that given a convex domain $\Omega$ in $\mathbb{R}^2$ with support function $p(X) = \langle X, \nu \rangle$ where $X$ is the position vector with respect to the origin and $\nu$ is the normal on $\partial \Omega$ that

$\int_{\partial \Omega} p^2 dS \leq \frac{LA}{\pi}$, holds for some choice of origin where $L$ is the length of the curve and $A$ the area.

I have been trying to prove the following generalization for star shaped sets:

$\int_{\partial \Omega} p^2 dS \leq \int_{\partial \Omega^*} (p^*)^2 dS^* + C(L,A)(A^*-A)$,

where here $\Omega^*$ is the convex hull of $\Omega$, $p^*$ is the support function of the convex hull, $A$ is the area of the set and $A^*$ the area of the convex hull. Using Green's theorem I have been able to deduce the following: $\int_0^{2\pi} p(\theta)^2 \frac{dS}{d\theta}{d\theta} = \int_0^{2\pi} p^*(\theta)^2 \frac{dS^*}{d\theta} dS^* + \int_0^{2\pi} p^*(\theta)p(\theta)( \frac{dS^*}{d\theta} -\frac{dS}{d\theta}) d\theta + \frac{1}{2} \int_{0}^{2\pi} [p(\theta)^*-p^(\theta)][r^*(\theta)^2 - r(\theta)^2] d\theta$,

where $r^*$ and $r$ are the lengths to $\partial \Omega^*$ and $\partial \Omega$ respectively and we can paramateterize by $\theta$ since the set is star shaped. I thus need only control the term $\int_0^{2\pi} p^*(\theta)p(\theta)\(\frac{dS^*}{d\theta} - \frac{dS}{d\theta}) d\theta$

$\int_0^{2\pi} p^*(\theta) p(\theta)(\frac{dS^*}{d\theta} - \frac{dS}{d\theta}) d\theta$

but this is not clear at all to me. My intuition suggests it should be negative.

I would appreciate any ideas or suggestions for alternative approaches to this.

I asked a question recently about generalizing an inequality due to Gage. This inequality asserts that given a convex domain $\Omega$ in $\mathbb{R}^2$ with support function $p(X) = \langle X, \nu \rangle$ where $X$ is the position vector with respect to the origin and $\nu$ is the normal on $\partial \Omega$ that

$\int_{\partial \Omega} p^2 dS \leq \frac{LA}{\pi}$, holds for some choice of origin.

I have been trying to prove the following generalization for star shaped sets:

$\int_{\partial \Omega} p^2 dS \leq \int_{\partial \Omega^*} (p^*)^2 dS^* + C(L,A)(A^*-A)$,

where here $\Omega^*$ is the convex hull of $\Omega$, $p^*$ is the support function of the convex hull, $A$ is the area of the set and $A^*$ the area of the convex hull. Using Green's theorem I have been able to deduce the following: $\int_0^{2\pi} p(\theta)^2 \frac{dS}{d\theta}{d\theta} = \int_0^{2\pi} p^*(\theta)^2 \frac{dS^*}{d\theta} dS^* + \int_0^{2\pi} p^*(\theta)p(\theta)( \frac{dS^*}{d\theta} -\frac{dS}{d\theta}) d\theta + \frac{1}{2} \int_{0}^{2\pi} [p(\theta)^*-p^(\theta)][r^*(\theta)^2 - r(\theta)^2] d\theta$,

where $r^*$ and $r$ are the lengths to $\partial \Omega^*$ and $\partial \Omega$ respectively and we can paramateterize by $\theta$ since the set is star shaped. I thus need only control the term $\int_0^{2\pi} p^*(\theta)p(\theta)\(\frac{dS^*}{d\theta} - \frac{dS}{d\theta}) d\theta$ but this is not clear at all to me.

I would appreciate any ideas or suggestions for alternative approaches to this.

I asked a question recently about generalizing an inequality due to Gage. This inequality asserts that given a convex domain $\Omega$ in $\mathbb{R}^2$ with support function $p(X) = \langle X, \nu \rangle$ where $X$ is the position vector with respect to the origin and $\nu$ is the normal on $\partial \Omega$ that

$\int_{\partial \Omega} p^2 dS \leq \frac{LA}{\pi}$, holds for some choice of origin where $L$ is the length of the curve and $A$ the area.

I have been trying to prove the following generalization for star shaped sets:

$\int_{\partial \Omega} p^2 dS \leq \int_{\partial \Omega^*} (p^*)^2 dS^* + C(L,A)(A^*-A)$,

where here $\Omega^*$ is the convex hull of $\Omega$, $p^*$ is the support function of the convex hull, $A$ is the area of the set and $A^*$ the area of the convex hull. Using Green's theorem I have been able to deduce the following: $\int_0^{2\pi} p(\theta)^2 \frac{dS}{d\theta}{d\theta} = \int_0^{2\pi} p^*(\theta)^2 \frac{dS^*}{d\theta} dS^* + \int_0^{2\pi} p^*(\theta)p(\theta)( \frac{dS^*}{d\theta} -\frac{dS}{d\theta}) d\theta + \frac{1}{2} \int_{0}^{2\pi} [p(\theta)^*-p^(\theta)][r^*(\theta)^2 - r(\theta)^2] d\theta$,

where $r^*$ and $r$ are the lengths to $\partial \Omega^*$ and $\partial \Omega$ respectively and we can paramateterize by $\theta$ since the set is star shaped. I thus need only control the term

$\int_0^{2\pi} p^*(\theta) p(\theta)(\frac{dS^*}{d\theta} - \frac{dS}{d\theta}) d\theta$

but this is not clear at all to me. My intuition suggests it should be negative.

I would appreciate any ideas or suggestions for alternative approaches to this.

Source Link
Dorian
  • 2.6k
  • 23
  • 32

Generalization of an inequality due to Gage for curve shortening Part II

I asked a question recently about generalizing an inequality due to Gage. This inequality asserts that given a convex domain $\Omega$ in $\mathbb{R}^2$ with support function $p(X) = \langle X, \nu \rangle$ where $X$ is the position vector with respect to the origin and $\nu$ is the normal on $\partial \Omega$ that

$\int_{\partial \Omega} p^2 dS \leq \frac{LA}{\pi}$, holds for some choice of origin.

I have been trying to prove the following generalization for star shaped sets:

$\int_{\partial \Omega} p^2 dS \leq \int_{\partial \Omega^*} (p^*)^2 dS^* + C(L,A)(A^*-A)$,

where here $\Omega^*$ is the convex hull of $\Omega$, $p^*$ is the support function of the convex hull, $A$ is the area of the set and $A^*$ the area of the convex hull. Using Green's theorem I have been able to deduce the following: $\int_0^{2\pi} p(\theta)^2 \frac{dS}{d\theta}{d\theta} = \int_0^{2\pi} p^*(\theta)^2 \frac{dS^*}{d\theta} dS^* + \int_0^{2\pi} p^*(\theta)p(\theta)( \frac{dS^*}{d\theta} -\frac{dS}{d\theta}) d\theta + \frac{1}{2} \int_{0}^{2\pi} [p(\theta)^*-p^(\theta)][r^*(\theta)^2 - r(\theta)^2] d\theta$,

where $r^*$ and $r$ are the lengths to $\partial \Omega^*$ and $\partial \Omega$ respectively and we can paramateterize by $\theta$ since the set is star shaped. I thus need only control the term $\int_0^{2\pi} p^*(\theta)p(\theta)\(\frac{dS^*}{d\theta} - \frac{dS}{d\theta}) d\theta$ but this is not clear at all to me.

I would appreciate any ideas or suggestions for alternative approaches to this.