17 votos

Forma con el área de $a$ y el menor promedio de distancia entre dos puntos

Considere la posibilidad de la colección de $\mathcal{X}$ de

  • compacto y conectado subconjuntos de a $\mathbb{R}^2$,
  • que son el cierre de algunos subconjunto de $\mathbb{R}^2$, y
  • tiene área de $a$.

Para cualquier $\Omega \in \mathcal{X}$ y cualquier $x,y \in \Omega$, vamos a $d(x,y,\Omega)$ ser la longitud de la ruta más corta situada totalmente dentro de $\Omega$ y conectando a $x$$y$.

También, vamos a $\mathbb{1}(x,y,\Omega)$ ser el indicador de la función que es igual a $1$ si $x$ $y$ están en $\Omega$, y cero en caso contrario.

Estoy interesado en el siguiente problema:

$$\min_{\Omega \in \mathcal{X}} \int_{x\in \mathbb{R}^2}\int_{y\in \mathbb{R}^2} d(x,y,\Omega) \mathbb{1}(x,y,\Omega) dx dy$$

  1. Hay una conocida solución a este problema?
  2. Es posible demostrar que una solución a este problema debe ser convexo?
  3. El problema es aún bien definida (por ejemplo, qué $d(x,y,\Omega)$ siempre existen? Traté de ayudar a garantizar que al incluir sólo cerrado y conjuntos conectados en $\mathcal{X}$, pero no estoy 100% seguro de que es suficiente)?
  4. El problema es la garantía de tener una solución sin más regularidad condiciones?

Algunos de los problemas relacionados con se describen a continuación: https://link-springer-com.dist.lib.usu.edu/content/pdf/10.1007%2Fs10958-012-0717-3.pdf. Por desgracia, estos problemas relacionados con (1) centrarse en las "redes" en lugar de "grueso" de los conjuntos, (2) el enfoque de inmediato en conjuntos convexos, o (3) no se soluciona el área y en lugar de imponer un "costo" para el problema de minimización para aumentar la zona.

5voto

tyson blader Puntos 18

Sólo acerca de la regularidad etc (pregunta 2,3,4).

Es posible tener una compacta conectada conjunto cerrado que es regular (igual a la de cierre de su interior) y en su interior no es trayectoria-conectado. Sólo espesar la condición sine parte de la topologist de la curva sinusoidal, y meter dos de ellas (por ejemplo, el cierre de la serie de $(x,y)$$0<|x|<1$$|y-\sin 1/x|<\tfrac 1 4$), la escala de obtener el área correcta. De modo que la integral puede ser infinito. Pero siempre está bien definido.

Podemos reducir a la convexo caso de la siguiente manera. Desde el minimizer va a terminar siendo convexo, podemos considerar que en línea recta distancias en lugar de distancias dentro del conjunto. El conjunto de medidas de probabilidad $\mu$ en un número finito de disco, sujeto a la restricción adicional $\mu(S)\leq\lambda(S)$ (delimitada por la medida de Lebesgue), es compacto en la topología débil. Cualquier indicador de función de un conjunto compacto con área de $1$ se puede poner en este espacio, entonces, podemos invocar la compacidad elegir un minimizer. El potencial de $\Phi_\mu(x)=\int |x-y|d\mu(y)$ es convexa, y en particular continuo. Si no se establece$S_1,S_2$$\max \Phi_\mu(S_1)<\min \Phi_\mu(S_2)$$\mu(S_1)<\lambda(S_1)$, entonces podríamos mover una parte de la masa de $S_2$ $S_1$y conseguir un menor potencial total, una contradicción. Esto significa $\mu$ es en realidad una distribución uniforme en un conjunto de la forma $\{\Phi_\mu<c\}.$

3voto

orlp Puntos 373

No una respuesta positiva, pero a partir de aquí nos encontramos con que el promedio de la distancia de dos puntos al azar en un $w \times h$ rectángulo es:

$$ \frac1{15} \left( \frac{w^3}{h^2}+\frac{h^3}{w^2}+d \left( 3-\frac{w^2}{h^2}-\frac{h^2}{w^2} \right) +\frac52 \left( \frac{h^2}{w}\log\frac{w+d}{h}+\frac{w^2}{h}\log\frac{h+d}{w} \right) \right)\;, $$

donde $d=\sqrt{w^2+h^2}$.

Ahora vamos a WLOG $a = 1$, $w = x$ y $h = 1/x$. Obtenemos la fórmula:

$$ \frac1{15} \left( x^5+x^{-5}+d \left( 3-x^4-x^{-4} \right) +\frac52 \left( x^{-3}\log(x^2+xd)+x^3\log(x^{-2}+d/x) \right) \right)\;, $$

donde $d=\sqrt{x^2+x^{-2}}$.

Para $x > 0$ esto tiene un mínimo en $x = 1$, descartar el "largo y delgado rectángulos".

2voto

James Pearce Puntos 1934

Esta no es una respuesta completa, pero señala algunos de la estructura. Supongo que $\Omega$ es convexo regular y suficiente.

Deje que nos indican $$ F(\Omega) = \int_{x\in\Omega}\int_{y\in\Omega}|x-y|\,dy\,dx. $$ En el lado convexo, se minimiza $F$.

Deje $\ell(x,v)$ el valor de la distancia de $x\in\Omega$ $\partial\Omega$en la dirección $v\in S^1$. Utilizamos la convención que si $x\in\partial\Omega$ $v$ puntos hacia el interior, a continuación,$\ell(x,v)>0$. Más analíticamente, podemos definir a la $\ell(x,v)=\sup\{t\geq0;x+tv\in\Omega\}$.

El interior de la integral de la definición de $F(\Omega)$ se puede escribir en coordenadas polares. La radial integral es fácil de calcular, y nos encontramos con $$ F(\Omega) = \frac13\int_{x\in\Omega}\int_{v\S^1}\ell(x,v)^3\dv\,dx. $$ Esta es una integral sobre el anillo bundle $S\Omega=\Omega\times S^1$ (también llamado esfera de paquete — $S^1$ es sólo la 1D de la esfera). Uno puede cambiar la integración de la esfera paquete de una integral sobre todas las líneas y el espacio de las líneas con el llamado Santaló de la fórmula (véase, por ejemplo, la proposición 8.2 en estos apuntes para una prueba en $\mathbb R^2$). Esto lleva a $$ F(\Omega) = \frac1{3} \int_{x\in\partial\Omega} \int_{v\S^1} |\langle v,\nu_x\rangle| \int_0^{\ell(x,v)}\ell(x+tv,v)^3 \,dt\dv\,dx. $$ Aquí $\nu_x$ es la unidad normal a $x$. La más interna integral es de nuevo una explícita 1D integral, y obtenemos $$ F(\Omega) = \frac1{12} \int_{x\in\partial\Omega} \int_{v\S^1_{x,a}} |\langle v,\nu_x\rangle| \ell(x,v)^4 \dv\,dx. $$ Por otro lado, el área de $\Omega$ es $$ |\Omega| = \frac1{2\pi} \int_{x\in\partial\Omega} \int_{v\S^1_{x,a}} |\langle v,\nu_x\rangle| \ell(x,v) \dv\,dx. $$ Véase el ejercicio 96 en las notas vinculadas. Aquí $S^1_{x,in}$ es el conjunto de $v\in S^1$ que apuntan hacia el interior de $\Omega$$x\in\partial\Omega$. Si $\partial_{in}S\Omega$ denota el interior señalando el límite de la esfera de paquete (todo límite es $\partial S\Omega=\partial\Omega\times S^1$) y se denota por a $\sigma$ la medida correspondiente a la $|\langle v,\nu_x\rangle|\,dv\,dx$, tenemos $$ F(\Omega) = \frac1{12} \int_{\partial_{S}\Omega}\ell(x,v)^4\,d\sigma(x,v) $$ y $$ |\Omega| = \frac1{2\pi} \int_{\partial_{S}\Omega}\ell(x,v)\,d\sigma(x,v). $$ Esto pone a $F(\Omega)$ $|\Omega|$ en una muy similar forma ordenada.

La sospecha de extremal caso es un disco de algún radio de $R>0$. En este caso, $\ell(x,v)=2R|\langle v,\nu_x\rangle|$ al $v$ puntos hacia adentro. Por lo tanto, podría ser conveniente el uso de la medida $\tilde\sigma$ correspondiente a $dv\,dx$ lugar. Nos deja denotar $u(x,v)=|\langle v,\nu_x\rangle|$ por razones de brevedad.

Permítanme indicar la longitud del perímetro $P=|\partial\Omega|$ y el diámetro de $\Omega$$D$. Denotando $L^p=L^p(\partial_{in}S\Omega,\tilde\sigma)$, tenemos (para cualquier $\alpha\geq0$$p\geq1$) $$ \begin{split} F(\Omega)&=\frac1{12}\|\ell^4u\|_{L^1},\\ |\Omega|&=\frac1{2\pi}\|\ell u\|_{L^1},\\ P&=\frac1\pi\|1\|_{L^p},\\ D&=\|\ell u^\alpha\|_{L^\infty}. \end{split} $$ Estas con la desigualdad isoperimétrico $4\pi A\leq P^2$ y el isodiamétricos desigualdad $4A\leq\pi D^2$ Hölder y la desigualdad dar algo para jugar. Para dar algo afilado, uno tiene que aplicar Hölder la desigualdad en los que se da la igualdad cuando la $\ell$ es una constante en varios de $u$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X