Trayectoria de los rayos de luz a través del índice de refracción periódico

Considere un rayo de luz que viaja entre dos puntos A y B en el X y avión. Usando el cálculo de variaciones y el Principio de Fermat podemos derivar ecuaciones que dan la trayectoria de un rayo de luz a través de un medio de índice de refracción dado norte ( y ) al minimizar,

T = norte ( y ) 1 + ( d y d X ) 2 d X
y usando las ecuaciones de Euler-Lagrange llegamos rápidamente a una expresión integral para la trayectoria como
X = α d y norte ( y ) 2 α 2
con α como una constante arbitraria basada en las condiciones iniciales. Ahora considere que el índice de refracción del medio es norte ( y ) = norte 0 porque ( k y ) .

En este punto, parece que no puedo progresar; ¿Se puede resolver esta integral con este índice que varía continuamente? ¿Es este el enfoque correcto o hay una forma más conveniente de encontrar la trayectoria?

Respuestas (1)

La integral que estás tratando de resolver es

X = β porque 2 ( k y ) β 2 d y = β ( 1 β 2 ) pecado 2 ( k y ) d y = β 1 β 2 d y 1 pecado 2 ( k y ) / ( 1 β 2 ) d y ,
dónde β α / norte 0 . Esto se puede reconocer como una integral elíptica incompleta del primer tipo:
X X 0 = F ( k y | 1 1 β 2 )
dónde X 0 es el X -coordinar cuando y = 0 . Si lo desea, esto se puede invertir para encontrar y ( X ) en términos de las funciones elípticas de Jacobi:
y = 1 k pecado 1 ( s norte ( X X 0 ) ) .
En esta notación, el uso del parámetro 1 / ( 1 β 2 ) en la definición de la función inversa se entiende.

En cierto sentido, realmente no te he dicho cómo evaluar esta integral; Te acabo de decir que esta integral tiene un nombre y ha sido estudiada (junto con su función inversa). El problema de graficar y ( X ) (o X ( y ) ) y la comprensión de hacia dónde van las trayectorias todavía está allí; ya menos que tenga una comprensión completamente intuitiva de las funciones elípticas (yo no), entonces esto probablemente no sea esclarecedor. Aún así, podría darte un lugar a donde ir desde aquí; la mayoría de los manuales matemáticos pueden brindarle información sobre las propiedades analíticas de las integrales elípticas y las funciones elípticas de Jacobi, y un lenguaje de computadora que puede hacer matemáticas de alto nivel (por ejemplo, Mathematica, Maple, MATLAB, etc.) podría trazar las trayectorias por usted. .

En efecto. La respuesta correcta para obtener una integral elíptica es (un sabor muy específico de) darse por vencido. Al igual que obtener, digamos, una integral de Bessel, simplemente la remodela a la forma canónica y luego ese es el final de la línea.