16

In the excellent book "Numerical Computing with MATLAB" by Cleve B. Moler (SIAM 2004), [Moler is the "father" of Matlab], one finds, on pages 298-299, the following graphical representation (fig. 10.12 ; I have reconstructed it with minor changes ; Matlab program below) with the following explanations (personal adaptation of the text):

Let $n$ be a fixed integer $>1$. Let $t\in (0,1)$ ; let $A_t$ be the $n \times n$ matrix with entries

$$A_{t,i,j}=\dfrac{1}{i-j+t}$$

Consider Fig. 1, gathering the spectra of matrices $A_t$, for $n=11$ and $0.1 \leq t \leq 0.9$ with steps $\Delta t=0.005$.

enter image description here

Figure 1. Interpretation : the 11 rightmost points correspond to the spectrum of matrix $A_t$ for $t=0.1$.

There is a striking similarity with particles' scattering by a nucleus situated at the origin, with hyperbolic trajectories ; see for example this reference.

My question is :

How matrices $A_t$ can be connected to a model of particle scattering ?

My attempts (mostly unsuccessful) :

  • Consider $A_t$ as a Cauchy matrix ($x_i=i$, $y_j=j-t$) (notations of https://en.wikipedia.org/wiki/Cauchy_matrix) with its different properties, in particular displacement equation. See as well the answers to this question.

  • Connect $A_t$ with a quadratic form defined by its moment's matrix $\int_C z^{i}\bar{z}^{j}z^{t-1}dz$, $z^{t-1}$ playing the rôle of a weight function. But for which curve $C$ ?

  • Prove that the eigenvalues are situated on hyperbolas.

  • Make many simulations (see figures below).

Matlab program for Fig. 1 :

 n=11;
 [I,J]=meshgrid(1:n,1:n);
 E=[];
 for t=0.1:0.005:0.9
   A=1./(I-J+t);
   E=[E,eig(A)];
 end;
 plot(E,'.k');axis equal

Addendum (November 22, 2018) : Here is a second figure that provides a "bigger" view, with $n=20$ and $0.005 \leq t \leq 0.995$. The eigenvalues corresponding

  • to $t=0.005$ are grouped into the rightmost big red blob on the right,

  • to $t=0.995$ are blue filled dots (quasi-circle with radius $\approx 110$).

enter image description here

Figure 2 : [enlarged version of Fig. 1 ; case $n=15$] Everything happens as if a planar wave enters at $t=0$ from the right, is slowed down by nucleus' repulsion, then scattered as a circular wave...

enter image description here

Fig. 3 : Two cases are gathered here, both for $t=0.995$ : $n=51$ (empty circles) and $n=100$ (stars). One can note that the eigenvalues are very close to the $(n+1)$-th roots of unity. For this value of $t$, the radii are given by experimental formula : $R_n=200(1-12.4/n+212/n^2-3110/n^3)$.

I am grateful to @AmbretteOrrisey who did very interesting remarks, in particular by giving the following polar representation for the trajectory of particles : [citation follows ; more details can be found in his/her answer] "The polar equation of the trajectory of a particle being deflected by a point charge is

$$r=\frac{2a^2}{\sqrt{b^2+4a^2}\sin\theta -b}\tag{1}$$

where $a$ is the impact parameter which is the closest approach to the nucleus were the path undeviated; $b$ is the closest approach of a head-on ( $a=0$) particle with repulsion operating."

Figure 4 displays a reconstruction result that takes into account the fact that (n+1)th roots of unity give asymptotic directions.

enter image description here

Figure 4 : Case $n=201$. An approximate reconstruction of $21$ among the $n$ trajectories (Matlab program below ; polar equation - adapted from (1) can be seen on line 5). Please note the "ad hoc" coefficient $3.0592$...

 n=201;
 for k=1:20:n
    d=pi*k/(2*(n+1));c=cos(d);
    t=-d+0.01:0.01:d-0.01;
    r=3.0592*(1-c)*exp(i*(t-d))./(cos(t)-c); 
    plot(r);plot(conj(r));
 end;

Slightly related : http://bdpi.usp.br/bitstream/handle/BDPI/35181/wos2012-3198.pdf

I mention here a book gathering publications of Steve Moler [Milestones in Matrix Computation] (https://global.oup.com/academic/product/milestones-in-matrix-computation-9780199206810?cc=fr&lang=en&) and an article mentionning the analycity of the obtain curves : (https://www.math.upenn.edu/~kazdan/504/eigenv.pdf)

Jean Marie
  • 88,997

1 Answers1

3

I'm don't think the curves would be hyoerbolæ anyway if it were a model for classical scattering.

The polar equation of the particle being deflected by a point charge is

$$r=\frac{2a^2}{\sqrt{b^2+4a^2}\sin\theta -b}$$

where $a$ is the impact parameter which is the closest approach to the nucleus were the path undeviated; $b$ is the closest approach of a head-on ( $a=0$) particle with repulsion operating, and $\theta$ is the angle between the radius vector of the particle (nucleus at origin) and the line joining the nucleus to point of closest approach with charge in place (not the axis of approach - ie the line through the nucleus that particle is moving parallel to & distance $a$ from when it is yet infinite distance away).

Is that a polar coördinate representation of a hyperbola? I suppose it ought to be, as it is an inverse-square force!

Anyway - it's likely I'll look into it will-I-nill-I, now.

Oh ... the diæræsis in "coördinate" & the ligature in "diæræsis" ... I'm hoping you don't mind that archaïck stuff too much - I love it ... but many would probably go ballistic if I used that kind of idiom more generally on here. They even complain about my italics & emphasis! The diæræsis over the second vowel in a conjunction of vowels was a device used to denote that the conjunction does not form a diphthong. It never was actually a very widely-used convention!

Jean Marie
  • 88,997
AmbretteOrrisey
  • 1,001
  • 6
  • 12
  • Thanks a lot for these very interesting facts about scattering. I am going to have a closer look at it. – Jean Marie Nov 22 '18 at 12:01
  • And possibly there's a storm of protest brewing at my linguistic devices already ... I keep forgetting that on this forum a post is y-bumpen when it is answered! – AmbretteOrrisey Nov 22 '18 at 12:04
  • As I'm not native english speaker and writer (I'm french), some words or expressions you use are unknown to me, like y-bumpen. Nevertheless, I appreciate precise/clear/high level/(and sometimes sophisticated) language ... – Jean Marie Nov 22 '18 at 12:16
  • Made a slight error - fixed it ... I'm trying to recall it on-the-fly. I'll leave it now, so that I'm not repeatedly bumping this post. – AmbretteOrrisey Nov 22 '18 at 12:16
  • This was originally meant to be a private conversation between me & someone who specifically asked me to look at a post that was unanswered for 2½ years!! I just forgot that a post is bumped (or y-bumpen) when it is answered. I'm not atall bothered that it isn't private afterall ... I'm just explaining why I relaxed a bit in my use of my preferred vernacular. – AmbretteOrrisey Nov 22 '18 at 12:20
  • 1
    No! that's it! θ is the angle the radiusvector of the particle makes with a line at a right angle to the line joining the nucleus (origin) to the point of closest approach, ie the direction of motion of the particle at it's point of closest aporoach. Coz the distance of closest aporoach is (b+√(b^2+4a^2))/2. That's why it's better really changing it to formulation in terms of cosine; but the integral in Gradsteyn & Ryzhik is in terms of sine. It's coming back now. Comments don't bump posts ... do they!? – AmbretteOrrisey Nov 22 '18 at 12:55
  • 1
    No they don't, fortunately. Yes of course it's a hyperbola - I rembember now from celestial mechanics - a planet's orbit is 1/(1+ε.cosθ) with ε the eccentricity of the orbit (& scaled appropriately of course). So where were we - you wanted to prove that the curves in your graph are hyperbolæ, but couldn't. Please don't rely on my being able to do so - you've seen just now what kind of gaps & lapses I can be afflicted with. But I'll have a look ... and I shall, too, as this has indeed caught my interest ... you never know - I might get an inspiration! – AmbretteOrrisey Nov 22 '18 at 13:25
  • 1
    Couple of questions: do the curves go off to ∞ in their respective directions as t tends to the limits of its range; and as t tends to 0 is it -π to +π that the imaginary parts extend over? ... kind of looks like it. – AmbretteOrrisey Nov 22 '18 at 14:11
  • 1
    I think it's quite likely they are an abalogue of scattering, TBPH. Even this wave interpretation that's used for calculating the scattering by a point with a Yukawa potential: what you've shown here is reminiscent of that. You have y – AmbretteOrrisey Nov 22 '18 at 15:52
  • 1
    to use the wave method with a Yukawa potential: if you try to do it classically you get an integral that's intractable - I've 'farmed it out' on here and the consensus seems to be that it is intractable. So all it needs, then is for the 'trajectories of the solutions in rhe complex plane to be hyperbolæ with focus all at the same point. That's not really a great deal to ask ... & I have a hunch they are that. So maybe scattdring could be gorm – AmbretteOrrisey Nov 22 '18 at 15:58
  • 1
    formulated in terms of these matrices. That's a fascinating area in it's own right: formulation of problems according to different paradigms. You have the eigenfunction formulation of quantum mechanics, & the matrix formulation. And I've seen - and mentioned in one of my previous posts on Physics - a formulation of planetary motion in terms of quaternions instead of vectors! That was thoroughly ingenious, to my mind. – AmbretteOrrisey Nov 22 '18 at 16:03
  • I've just realised: the guy who protested at my lunguistic peculiarities was you! I didn't look at the name - I thought it was someone else! Anyway ... you know ... I do have a passionate love of old English! I find it so so temting to give it a run out! – AmbretteOrrisey Nov 22 '18 at 17:14
  • And if anyone objects, I say to them "honi soix qui mal y pense"! (The motto of the Knights of the Garter.) I'll try to restrain this tendency, though. I hope I haven't given you too much difficulty so far. – AmbretteOrrisey Nov 22 '18 at 17:17
  • "the guy who protested at my lunguistic peculiarities was you!" : when was that ? I don't remember ... – Jean Marie Nov 22 '18 at 17:22
  • It wasn't so much protested: it's up there in the comments - 5hr ago now. You just mentioned that my use of certain archaic phrasings can be difficult. And I know perfectly well it can. It's perfectly fair to mention it. – AmbretteOrrisey Nov 22 '18 at 17:29
  • In fact you didn't even protest atall, really. But people sometimes do ... so when I see even a mere mention of it I have a sort of reflex that it's a protest! – AmbretteOrrisey Nov 22 '18 at 17:31
  • I see how you found it impossible to prove that the curves are hyperbolæ though ... quite frankly I've never gone anywhere near deeply enough into the theory of solutions of polynomial equations of high degree (and the limit as degree increases without limit) to really know how to start with it. Maybe you could do it from the theory of matrices & eigenvalues of matrices __immediatelty___ - 'short-circuiting' the theory of polynomials & their solutions. ... & I feel thats how it _ought to be possible to do it. – AmbretteOrrisey Nov 23 '18 at 02:18
  • Here's a question though: as n increases, do the trajectories of the outermost eigenvalues of the spectrum tend to straight -lines. I do feel that ought to happen if these trajectories are indeed analogues of particles scattered at a point-charge. I feel that some of the width __supplied___ by increase of _n would 'go into' increasing the density of trajectories, and the other some of it into range of impact parameter - perhaps √n into each. – AmbretteOrrisey Nov 23 '18 at 02:25
  • Something has bumped (y-bumpen!) this ... but I can't find any new answer or modifcation of the question. – AmbretteOrrisey Nov 23 '18 at 06:58
  • See "Addendum 2" I have done to my text. – Jean Marie Nov 23 '18 at 07:01
  • Ah yes ... it didn't show-up the first time I saw it - this app has weird behaviour in that way! – AmbretteOrrisey Nov 23 '18 at 07:09
  • I probably caught it just momentarily after you'd finished appending it ... so that the 'app' had updated its position in the list, but not the content. 20 min sounds about right for that to be so. – AmbretteOrrisey Nov 23 '18 at 07:23
  • I have appreciated very much all your comments. A big big thank. – Jean Marie Nov 23 '18 at 19:01
  • I can't make headway with proving that the cyr – AmbretteOrrisey Nov 23 '18 at 21:47
  • curves are hyperbolæ; but I think they probably are: & I love this idea of a single algebraic structure that encodes all possible trajectories in the limit as its n → ∞ rather than just a single trajectory. – AmbretteOrrisey Nov 23 '18 at 21:50