Wednesday, 28 October 2009

ag.algebraic geometry - Differential equation of line tangent to caustics

This problem (or rather, statement that I cannot understand) has arisen in a paper I have been reading "Geometry of Integrable Billiards and Pencils of Quadrics" by Dragovic and Radnovic. I'd be most grateful for any explanations of it (it may be a simple fact, but I'm not sure).



Let OmegasubsetmathbbRd be a bounded domain such that its boundary partialOmega lies in the union of several quadrics from the (confocal) family mathcalQlambda:Qlambda(x)=1 where Qlambda(x)=sumdi=1fracx2iailambda.

Then in elliptic coordinates, Omega is given by: beta1leqlambda1leqbeta1,ldots,betadleqlambdadleqbetad
where as+1leqbetasleqbetasleqas for 1leqsleqd1 and infty<betad<betadleqad.



Define P(x):=(a1x)ldots(adx)(alpha1x)ldots(alphadx).



Now, we consider a billiard system inside Omega with caustics mathcalQalpha1,ldots,mathcalQalphad1.



Why does the system of equations:
sumds=1fracdlambdassqrtP(lambdas)=0,sumds=1fraclambdasdlambdassqrtP(lambdas)=0,ldots,sumds=1fraclambdad2sdlambdassqrtP(lambdas)=0,



(which are apparently due to Jacobi and Darboux - I'd appreciate a modern reference because the only version I can find is scanned page-by-page in German), where sqrtP(lambdas) is taken with the same sign in all expressions, represent a system of differential equations of a line tangent to all the caustics mathcalQalpha1,ldots,mathcalQalphad1? Moreover, why does: sumds=1fraclambdad1sdlambdassqrtP(lambdas)=2dl

where dl is an element of ``the" line length?



I found similar looking equations on page 4 of another paper (by Buser and Silhol), but cannot understand them either.

No comments:

Post a Comment