Capítulo 8: 9. Consecuencias del capítulo

LaTeX en HTML5

Sección 8.9

Teorema 8.9.1 (Ley de no-negatividad energética)

Sea \( \Phi : \mathcal{P} \to \mathcal{C} \) una configuración global admisible del complejo discreto, y sea \( \Phi_0 \) la configuración homogénea de referencia, definida como aquella que minimiza globalmente el funcional de incompatibilidad \( \mathcal{I} \).

Definida la energía potencial estructural asociada a \( \Phi \) como

\[ U(\Phi) := \mathcal{I}(\Phi) - \mathcal{I}(\Phi_0), \]

se cumple que:

  • \( U(\Phi) \ge 0 \) para toda configuración admisible \( \Phi \).
  • \( U(\Phi) = 0 \) si y solo si \( \Phi = \Phi_0 \).

Demostración

Por definición, la configuración homogénea \( \Phi_0 \) es un mínimo global del funcional de incompatibilidad \( \mathcal{I} \). Esto implica que para toda configuración admisible \( \Phi \) se satisface:

\[ \mathcal{I}(\Phi) \ge \mathcal{I}(\Phi_0). \]

Restando \( \mathcal{I}(\Phi_0) \) en ambos lados de la desigualdad, se obtiene:

\[ \mathcal{I}(\Phi) - \mathcal{I}(\Phi_0) \ge 0. \]

Por la definición de energía potencial estructural, esto equivale a:

\[ U(\Phi) \ge 0, \]

lo que demuestra la primera afirmación.

Para la segunda, obsérvese que si \( \Phi = \Phi_0 \), entonces:

\[ U(\Phi) = \mathcal{I}(\Phi_0) - \mathcal{I}(\Phi_0) = 0. \]

Recíprocamente, si \( U(\Phi) = 0 \), entonces:

\[ \mathcal{I}(\Phi) = \mathcal{I}(\Phi_0). \]

Dado que \( \Phi_0 \) es el mínimo global del funcional de incompatibilidad, esta igualdad solo es posible si \( \Phi \) coincide con \( \Phi_0 \). En caso contrario, existiría una configuración distinta con el mismo valor mínimo, lo cual contradice la unicidad estructural del estado homogéneo.

Por lo tanto,

\[ U(\Phi) = 0 \iff \Phi = \Phi_0. \]

Esto completa la demostración. \( \square \)

Teorema 8.9.2 (Ley de estabilidad de la masa efectiva)

Sea \( p \in \mathcal{P} \) un portador de carga estructural, con masa efectiva definida como

\[ m_{\mathrm{eff}}(p) := U(p), \]

donde \( U(p) \) es la energía potencial local asociada al portador \( p \) (Definición 8.7.2). Entonces:

  • \( m_{\mathrm{eff}}(p) > 0 \) para todo portador de carga estable \( p \).
  • La masa efectiva solo desaparece si el portador deja de ser estructuralmente estable.

Demostración

1. Por definición, un portador de carga estable \( p \) es aquel cuya sustitución por el estado homogéneo \( \Phi_0(p) \) aumenta la incompatibilidad total:

\[ U(p) = \mathcal{I}(\Phi) - \mathcal{I}(\Phi \setminus \{p\}) > 0. \]

2. Entonces, por definición de masa efectiva:

\[ m_{\mathrm{eff}}(p) = U(p) > 0. \]

3. Recíprocamente, si \( m_{\mathrm{eff}}(p) = 0 \), significa que reemplazar \( p \) por su estado homogéneo no incrementa la incompatibilidad. Esto implica que \( p \) no es un defecto estructural estable y deja de ser un portador de carga.

\(\square\)

Comentario técnico:

  • Este teorema garantiza que toda entidad “observable” posee inercia positiva, sin necesidad de postularla.
  • La estabilidad de la masa efectiva se deduce directamente de la definición de defectos y energía local.
  • Constituye un pilar para emergir dinámicas efectivas y leyes de movimiento más adelante.

Teorema 8.9.3 (Ley de conservación estructural de la carga)

Sea \( \Phi : \mathcal{P} \to \mathcal{C} \) una configuración global admisible, y sea \( p \in \mathcal{P} \) un portador de carga estructural, entendida como un defecto estable no eliminable por transformaciones locales admisibles.

Entonces, la carga estructural asociada a \( p \) satisface la siguiente ley:

  • La carga no puede ser creada ni destruida mediante transformaciones locales admisibles.

Equivalentemente, toda transformación local admisible preserva el número total de portadores de carga estructural.

Demostración

Por definición, un portador de carga estructural es un defecto local \( p \) tal que su sustitución por el estado homogéneo local incrementa estrictamente la incompatibilidad total del sistema:

\[ \mathcal{I}(\Phi \setminus \{p\}) > \mathcal{I}(\Phi). \]

Considérese ahora una transformación local admisible \( T \) actuando sobre una región finita \( R \subset \mathcal{P} \). Por definición de admisibilidad, dicha transformación no incrementa la incompatibilidad total:

\[ \mathcal{I}(T(\Phi)) \le \mathcal{I}(\Phi). \]

Supóngase, por contradicción, que \( T \) elimina un portador de carga estructural \( p \) contenido en \( R \). Entonces, la configuración resultante \( T(\Phi) \) coincidiría localmente con el estado homogéneo en \( p \), lo que implicaría:

\[ \mathcal{I}(T(\Phi)) = \mathcal{I}(\Phi \setminus \{p\}) > \mathcal{I}(\Phi), \]

lo cual contradice la admisibilidad de \( T \).

Por lo tanto, ninguna transformación local admisible puede eliminar un portador de carga estructural. Un razonamiento análogo muestra que tampoco puede crearse uno nuevo, pues ello implicaría un aumento de la incompatibilidad total.

Se concluye que la carga estructural se conserva bajo toda evolución admisible.

\(\square\)

Comentario técnico

  • Esta ley no depende de simetrías continuas ni de invariancia gauge.
  • La conservación surge como consecuencia directa de la estabilidad estructural.
  • Constituye el antecedente lógico de las leyes de conservación físicas emergentes.

Teorema 8.9.4 (Ley de atracción/repulsión monotónica)

Sean \( p,q \in \mathcal{P} \) dos portadores de carga estructural, y sea \( d(p,q) \) la distancia mínima inducida entre ellos (Definición 6.3), definida sobre el grafo estructural subyacente.

Sea \( U(p,q) \) la energía potencial estructural asociada a la coexistencia de \( p \) y \( q \), definida como la contribución conjunta al funcional de incompatibilidad \( \mathcal{I} \).

Entonces se cumple:

  • Si las cargas estructurales de \( p \) y \( q \) son del mismo tipo, la función \( U(p,q) \) es estrictamente decreciente con la distancia: \[ d_1 < d_2 \;\Rightarrow\; U(p,q;d_1) > U(p,q;d_2). \]
  • Si las cargas estructurales de \( p \) y \( q \) son de tipo complementario, la función \( U(p,q) \) es estrictamente creciente con la distancia: \[ d_1 < d_2 \;\Rightarrow\; U(p,q;d_1) < U(p,q;d_2). \]

En consecuencia, las cargas del mismo tipo se repelen y las cargas complementarias se atraen, en el sentido estructural de minimización de la incompatibilidad.

Demostración

Por definición, la energía potencial estructural \( U(p,q) \) mide el exceso de incompatibilidad generado por la coexistencia simultánea de los defectos \( p \) y \( q \) respecto al estado homogéneo.

Considérese primero el caso de cargas del mismo tipo. La superposición de defectos estructuralmente equivalentes en una región de pequeña distancia produce una interferencia negativa de compatibilidad, incrementando la incompatibilidad total.

Por lo tanto, al aumentar la distancia \( d(p,q) \), las regiones de influencia estructural de \( p \) y \( q \) se solapan menos, lo que reduce estrictamente la incompatibilidad conjunta. Esto implica que \( U(p,q) \) disminuye monótonamente con la distancia.

Considérese ahora el caso de cargas complementarias. En este caso, la proximidad entre \( p \) y \( q \) permite una cancelación parcial de incompatibilidades locales, reduciendo la incompatibilidad total del sistema.

Al aumentar la distancia, dicha compensación se debilita, incrementando la incompatibilidad conjunta. Por tanto, \( U(p,q) \) crece monótonamente con la distancia.

En ambos casos, la monotonía de \( U(p,q) \) con respecto a \( d(p,q) \) se sigue directamente del carácter local, aditivo y estable del funcional de incompatibilidad \( \mathcal{I} \), y no requiere introducir nociones dinámicas ni fuerzas fundamentales.

\(\square\)

Comentario técnico

  • Esta ley sustituye el concepto de fuerza por una propiedad puramente variacional del funcional de incompatibilidad.
  • La atracción y la repulsión emergen como tendencias estructurales, no como interacciones mediadas.
  • Constituye el antecedente directo de las leyes de interacción en el límite continuo.

Teorema 8.9.5 (Principio de mínima energía efectiva)

Sea \( \Phi : \mathcal{P} \to \mathcal{C} \) una configuración global admisible, y sea \( \mathcal{I}(\Phi) \) el funcional global de incompatibilidad.

Defínase la energía efectiva total como:

\[ E_{\mathrm{eff}}(\Phi) := \mathcal{I}(\Phi). \]

Entonces, toda evolución estructural admisible del sistema selecciona configuraciones \( \Phi' \) tales que:

\[ E_{\mathrm{eff}}(\Phi') \le E_{\mathrm{eff}}(\Phi). \]

Equivalentemente, las configuraciones físicamente realizables son mínimos locales (o globales) de la energía efectiva.

Demostración

Por definición, una evolución estructural admisible es una transformación \( T \) sobre configuraciones que satisface:

\[ \mathcal{I}(T(\Phi)) \le \mathcal{I}(\Phi). \]

Identificando la energía efectiva con la incompatibilidad total, se obtiene directamente:

\[ E_{\mathrm{eff}}(T(\Phi)) \le E_{\mathrm{eff}}(\Phi). \]

Supóngase que una configuración \( \Phi \) no es un mínimo local de \( E_{\mathrm{eff}} \). Entonces existe una variación admisible \( \delta\Phi \) tal que:

\[ E_{\mathrm{eff}}(\Phi + \delta\Phi) < E_{\mathrm{eff}}(\Phi). \]

Por lo tanto, \( \Phi \) no es estructuralmente estable y no puede persistir como estado realizable.

Se concluye que toda configuración estable corresponde necesariamente a un mínimo (local o global) de la energía efectiva.

\(\square\)

Comentario técnico

  • Este principio no introduce tiempo, velocidad ni dinámica externa.
  • El “movimiento” emerge posteriormente como una sucesión de mínimos bajo variaciones admisibles.
  • Constituye el antecedente estructural del principio variacional en física clásica y cuántica.

Comentarios

Publicar un comentario

Entradas populares de este blog

Capítulo 2 — 1. Definición del conjunto de poliedros P\mathcal{P}

LaTeX en HTML5 Sección 2.1 2.1.1 Definición: Acción de un grupo sobre un conjunto. Sea \((G,*)\) un grupo con elemento neutro \(e\), y sea \(X\) un conjunto no vacío. Una acción de \(G\) sobre \(X\) es una aplicación \[\Phi : G \times X \longrightarrow X, \qquad (g,x)\longmapsto g\cdot x,\] tal que se satisfacen las siguientes propiedades fundamentales: (i) Compatibilidad con la operación del grupo. Para todos \(g,h\in G\) y todo \(x\in X\), \[\Phi(g*h,x) = \Phi(g,\Phi(h,x))\] (ii) Identidad. Para todo \(x\in X\), \[\Phi(e,x) = x\] Ejemplo: Acción del grupo de simetrías del cuadrado sobre sus vértices. Sea \(G = D_4\) el grupo diedral de orden \(8\), es decir, el grupo de todas las isometrías del plano que dejan invariante un cuadrado centrado en el origen. La operación en \(G\) es la composición de funciones. Consideremos el cuadrado centrado en el origen de \(\mathbb{R}^2\) cuyos vértices son \[\b...
Leer más

Capítulo 1 — 3. Grupo de simetrías Aut(RD)

LaTeX en HTML5 Sección 1.3: Simetría inherente Definición 1.3.1: Grupo de simetrías de RD Sea \(\mathrm{RD}\) definido por \[ \mathrm{RD} := \left\{ (x,y,z) \in \mathbb{R}^3 \;\bigg|\; |x| + |y| \le 1, \ |x| + |z| \le 1, \ |y| + |z| \le 1 \right\}. \] El grupo de simetrías \(\mathrm{Aut}(\mathrm{RD})\) está formado por todas las transformaciones lineales \(T:\mathbb{R}^3 \to \mathbb{R}^3\) tales que: \[ T(\mathrm{RD}) = \mathrm{RD}, \quad T \text{ es una isometría rígida (rotación o reflexión)}. \] Esta definición establece formalmente qué significa “simetría” en el contexto del dodecaedro rómbico: cualquier transformación que mueva puntos dentro de \(\mathbb{R}^3\) sin deformar el sólido ni alterar su forma (solo rotaciones o reflejos) y que deje al dodecaedro exactamente en su lugar, pertenece al grupo de simetrías. En otras palabras, \(\mathrm{Aut}(\mathrm{RD})\) captura todas las maneras de “mover” el sólido sin que se note n...
Leer más

Capítulo 1 — 4. Teorema de teselación del espacio euclidiano

Imagen
LaTeX en HTML5 Sección 1.4 Definición 1.4.1: Traslación de un subconjunto del espacio euclidiano. Sea \(A\subset\mathbb{R}^n\) un subconjunto no vacío, y sea \(\lambda\in\mathbb{R}^n\). Se define el conjunto trasladado de \(A\) por el vector \(\lambda\) como \[ A+\lambda := \left\{ x\in\mathbb{R}^n \;\middle|\; \exists\,a\in A \text{ tal que } x=a+\lambda \right\}. \] Definición 1.4.2: Región o dominio de Voronoi. Sea \(\Lambda \subset \mathbb{R}^n\) un conjunto discreto no vacío, provisto de la norma euclidiana \(\|\cdot\|\). Para un punto \(\lambda \in \Lambda\), se define la región o dominio de Voronoi asociada a \(\lambda\) como el conjunto \[ V(\lambda) := \left\{ x \in \mathbb{R}^n \;\middle|\; \|x-\lambda\| \le \|x-\mu\| \;\;\text{para todo }\mu \in \Lambda \right\}. \] Es decir, \(V(\lambda)\) está formado por todos los puntos del espacio que están al menos tan cerca de \(\lambda\) como de cualquier otr...
Leer más