15 votos

La óptica no lineal como la teoría de gauge

el método ampliamente utilizado para la óptica no lineal es una expansión de Taylor de la dieléctrico campo de desplazamientos $\mathbf{D} = \epsilon_0\cdot\mathbf{E} + \mathbf{P}$ en una representación de Fourier de la polarización $\mathbf{P}$ en términos de la susceptibilidad dieléctrica $\mathcal{X}$:

$\mathbf{P} = \epsilon_0\cdot(\mathcal{X}^{(1)}(\mathbf{E}) + \mathcal{X}^{(2)}(\mathbf{E},\mathbf{E}) + \dots)$ .

Esta expansión no funciona ya que si el campo de excitación tiene componentes de cierre para la resonancia de los medios. Entonces, uno tiene que tomar la totalidad de la mecánica cuántica en cuenta la situación, por ejemplo, describiendo la luz/de la materia interacción de los dos niveles de Hamilton.

Pero este enfoque es, sin duda , no es la más general.

Intrínsecamente no lineal de las formulaciones de la electrodinámica

Así que, ¿qué tipo no lineal de las formulaciones de la electrodinámica dado en una formulación de Lagrange hay?

Un conocido ansatz es el Born-Infeld modelo como se ha señalado por Raskolnikov. Allí, el Lagrangiano de densidad está dada por

$\mathcal{L} = b^2\cdot \left[ \sqrt{-\det (g_{\mu \nu})} - \sqrt{-\det(g_{\mu \nu} + F_{\mu \nu}/b)} \right]$

y la teoría tiene algunas características interesantes, como por ejemplo un máximo de densidad de la energía y su relación con el medidor de campos en la teoría de cuerdas. Pero como yo lo veo, este modelo es intrínsecamente no lineales del modelo para el libre espacio propio campo y no útil para la descripción lineal de la materia interacción.

Lo mismo vale para un ansatz de la forma

$\mathcal{L} = -\frac{1}{4}F^{\mu\nu}F_{\mu\nu} + \lambda\cdot\left( F^{\mu\nu}F_{\mu\nu} \right)^2$

propuesto por Mahzoon y Riazi. Por supuesto, al describir el sistema en la Electrodinámica Cuántica es intrínsecamente no lineal y ... a mi mente de forma complicada para un macroscópico descripción de la óptica no lineal. La pregunta es: ¿se Puede obtener una buena formulación de la teoría, decir, como una teoría de campo medio a través de un efectivo de Lagrange?

Creo que un adecuado ansatz podría ser

$\mathcal{L} = -\frac{1}{4}M^{\mu\nu}F_{\mu\nu}$

donde $M$ representa ahora el asunto de la reacción y depende en forma no lineal en $\mathbf{E}$$\mathbf{B}$, dicen

$M^{\mu\nu} = T^{\mu\nu\alpha\beta}F_{\alpha\beta}$

donde ahora se $T$ es una función no lineal de la intensidad de campo y podría obedecer a ciertas simetrías. La ecuación de $T = T\left( F \right)$ sigue siendo desconocida y depende del material.

Métrica vs $T$ enfoque

Como se ha señalado por space_cadet, uno puede hacerse la pregunta de por qué la no linealidad no se adapta mejor en la métrica en sí. Creo que esta es una cuestión de gusto. Mi punto es que explícitamente cambiar la métrica puede implicar una no estacionario en el espacio-tiempo en el que una transformación de Fourier podría no estar bien definido. Podría ser totalmente suficiente para tratar el espacio-tiempo como de Lorenz colector.
También, podemos necesitar un simple espacio-tiempo de la estructura más tarde para explicar la interacción del material desde la polarización $\mathbf{P}$ depende de la cuestión de la respuesta, en general, en términos de una integración sobre el pasado, dicen

$\mathbf{P}(t) = \int_{-\infty}^{t}R\left[\mathbf{E}\right](\tau )d\tau$

con $R$ beeing algunos no lineal de la función de respuesta(al) relativa a la $T^{\mu\nu\alpha\beta}$.

Ejemplos de $T$

Para ilustrar la idea de $T$, aquí están algunos ejemplos.
Por espacio libre, $T$ es dado por $T^{\mu\nu\alpha\beta} = g^{\mu\alpha}g^{\nu\beta}$, resultando en el espacio libre de Lagrange $\mathcal{L} = -\frac{1}{4}T^{\mu\nu\alpha\beta}F_{\alpha\beta}F_{\mu\nu} = -\frac{1}{4}F^{\mu\nu}F_{\mu\nu}$ El Lagrangiano de Mahzoon y Riazi puede ser reconstruida por
$T^{\mu\nu\alpha\beta} = \left( 1 + \lambda F^{\gamma\delta}F_{\gamma\delta} \right)\cdot g^{\mu\alpha}g^{\nu\beta}$.
Uno podría ser capaz de obtener una Kerr no linealidad utilizando este Lagrangiano.

Así, es alguien familiar en una descripción de la óptica no lineal/la electrodinámica en términos de un medidor de campo de la teoría o de algo similar a los pensamientos descritos aquí?

Gracias de antemano.

Sinceramente,

Robert

Comentarios sobre la primera Recompensa

Quiero agradecer a todos los que participaron activamente en el debate, especialmente Greg Gravitón, Marek, Raskolnikov, space_cadet y Willie Wong. Estoy disfrutando de la discusión sobre esta cuestión y agradecido por todos los lindos lleva dio. Me decidí a dar la recompensa a Willie desde que dio el subproceso de una nueva dirección de introducir el material del colector para nosotros.
Por ahora, tengo que reconsiderar todas las ideas y espero que pueda venir para arriba con una nueva revisión de la pregunta que se debe formular de una manera más clara como lo es en el momento.
Así que, gracias de nuevo por tus aportaciones y se sientan libres de compartir nuevos conocimientos.

9voto

Glen Solsberry Puntos 572

Sólo algunos pensamientos al azar.

Hay algo importante en su observación de que el Born-Infeld modelo es esencialmente un espacio libre de modelo. Se sabe que Boillat y Plebanski (por separado en 1970) que el Born-Infeld modelo es el único modelo de electromagnetismo (como una conexión en un $U(1)$ vector paquete) que satisface las siguientes condiciones

  1. La covarianza bajo transformaciones de Lorentz
  2. Reduce a la ecuación de Maxwell en el pequeño campo de fuerza límite
  3. $U(1)$ medidor de simetría
  4. Integrable densidad de energía de un punto de carga
  5. No birrefringencia (velocidad de la luz, independiente de la polarización).

(el lineal de Maxwell sistema falla la condición 4.) (Ver Michael Kiessling, "del campo Electromagnético de la teoría, sin problemas de divergencia", J. Stat. Phys. (2004) doi:10.1023/B:JOSS.0000037250.72634.2 para una exposición sobre este y otros temas relacionados.)

Ahora, ya que usted está interesado en la óptica no lineal en el interior de un material, en lugar de en el vacío, creo que las condiciones 1 y 5 de forma segura se puede caer. (Aunque puede que desee mantener 5 como una cuestión de curso.) Condición 4 es intuitivamente agradable, pero tal vez no demasiado importante, al menos no hasta que haya algún candidato teorías en la mente que desea distinguir. Condición 3 usted tiene que mantener. Condición 2, por otro lado, realmente depende de qué tipo de material que tiene en mente.

En cualquier caso, una pequeña sugerencia: personalmente creo que es mejor, desde el principio, escribir su propuesta de Lagrange como

$$ L = T^{abcd} F_{ab}F_{cd} $$

en lugar de $M^{ab}F_{cd}$. Creo que, generalmente, es preferible considerar la posibilidad de Lagrange campo de las teorías de al menos dependencia cuadrática en las variables de campo. Un puro término lineal me sugiere un potencial externo que no creo que debería ser incorporada en la teoría.

Si usted desea algo como la condición 2, pero con una constante dieléctrica o tal, entonces usted debe tener ese $T^{abcd}$ admite una expansión de Taylor buscando algo como

$$ T^{abcd} = \tilde{g}^{ac}\tilde{g}^{bd} + O(|F|) $$

donde $\tilde{g}$ es efectivo métrica para el material. Birrefringencia, sin embargo, usted no tiene que insertar en forma explícita: lo más probable es genérico (lineal o no lineal) $T^{abcd}$ escribes tendrá birrefringencia; es sólo cuando se trate de descartar que va a traer algunas limitaciones.

Una cosa interesante es considerar lo que significa tener una noción análoga a la condición 1. En el espacio libre de caso, la condición 1 implica que el Lagrangiano debe ser una función de la invariante de Lorentz $B^2 - E^2$ (en unidades naturales) y de la pseudo-escalar invariante $B\cdot E$. En términos del tensor de Faraday estos dos invariantes se $F^{ab}F_{ab}$ $F^{ab}{}^*F_{ab}$ respectivamente, donde ${}^*$ denotar el dual de Hodge. La determinación de los lineales parte de su teoría de las ondas electromagnéticas en un material) es, esencialmente, por lo que se utiliza para reemplazar la condición 1. Si usted asume que su material es isotrópico y homogéneo, a continuación, algunas parecidas escalar + pseudo-escalar invariantes es probablemente una buena apuesta.

7voto

Blorgbeard Puntos 38991

No lineal es una palabra de moda utiliza para cubrir cualquier cosa que no es lineal. Dependiendo de qué tipo de no linealidad está involucrado, y por lo tanto qué tipo de material, podría haber una simetría o de otra, o no habría simetría. Por ejemplo, en los superconductores, medidor de simetría se rompe y los fotones se comportan como si ellos han adquirido una masa. El resultado es que los campos magnéticos tienen la limitada penetración en el superconductor. Y creo que esto es todavía descritos por ecuaciones lineales.

Yo sé de uno gauge invariante en la teoría de que no es lineal, este modelo se llama Born-Infeld modelo.

4voto

Matthew Schinckel Puntos 15596

En una de la materia condensada, la teoría de campo de curso, he aprendido lo siguiente: microscópicamente, el Lagrangiano para el campo electromagnético se ve como se supone que, de acoplamiento mínimamente a las coordenadas de partículas.

$$ L = \sum_i\left( \frac m2 (p_i-\frac ec \mathbf A(r_i))^2 - e\Phi(r_i) + \dots \right) .$$

En un macroscópica nivel, sin embargo, después de deshacerse de todas las partículas individuales grados de libertad a través de la grand ensemble canónico, nuevo comportamiento puede surgir. Es decir, el efectivo de Lagrange para el campo electromagnético en el cuerpo pueden parecer muy diferentes de uno lineal. Por ejemplo, la acción efectiva para el correo.m. campo en un superconductor es

$$ S_{\text{eff}}[\mathbf A] = \frac\beta2 \int d^3r \mathbf A^\perp(r) \left(-\frac 1{\mu_0}\nabla^2 + \frac {n_s}m \right)\mathbf A^\perp(r)$$

donde $\mu_0$ es la permeabilidad del vacío, $n_s$ el superfluido densidad, $m$ de la masa del electrón y $\mathbf A^\perp$ es la componente perpendicular del medidor de campo, definida en el espacio de Fourier como $\mathbf A^\perp(q) = \mathbf A(q) - q(q\cdot \mathbf A(q))/q^2$. La diferencia con la acción de vacío es el adicional "masa término" $n_s/m$, lo que provoca el efecto Meissner.


Supongo que usted está pidiendo el formato más general que tales acciones pueden tener? No tengo una respuesta, pero no veo por qué un formato más general debería existir en primer lugar.

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