20.07.2013 Views

On the Characters and the Plancherel Formula of Nilpotent Groups ...

On the Characters and the Plancherel Formula of Nilpotent Groups ...

On the Characters and the Plancherel Formula of Nilpotent Groups ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

344 KATO<br />

ra<strong>the</strong>r than by E <strong>and</strong> H ? These two modes <strong>of</strong> identification are clearly<br />

different, for E1 f &(x) implies that <strong>the</strong> dielectric constant <strong>and</strong><br />

magnetic permeability are different for <strong>the</strong> two fields. Of course <strong>the</strong>re<br />

are many o<strong>the</strong>r different ways <strong>of</strong> identification which could claim<br />

equal right to <strong>the</strong> above ones.<br />

It would be futile to try to decide which identification is <strong>the</strong> “cor-<br />

rect” one; it is not a ma<strong>the</strong>matical problem, perhaps not even a<br />

physical one. Thus one must admit that in general <strong>the</strong>re can be many<br />

scattering <strong>the</strong>ories for a given pair U, , U, <strong>of</strong> groups, according to<br />

different choices <strong>of</strong> <strong>the</strong> identification operator J.<br />

Fortunately, however, <strong>the</strong>re are practically not too many different<br />

scattering <strong>the</strong>ories for <strong>the</strong> given pair U, , U, , for <strong>the</strong> difference in J<br />

is <strong>of</strong>ten irrelevant asymptotically, <strong>and</strong> it is exactly <strong>the</strong> asymptotic<br />

behavior <strong>of</strong> <strong>the</strong> systems that scattering <strong>the</strong>ory is concerned with.<br />

Ma<strong>the</strong>matically, two identification operators J <strong>and</strong> 9 are (asymptotic-<br />

ally) equivalent if s-lim (J - /) Ul(t) PI = 0. In such a case <strong>the</strong> wave<br />

operators obtained by using J <strong>and</strong> J are <strong>the</strong> same, as is easily seen<br />

from (1.2). It can be shown in many cases that all reasonable identi-<br />

fications are equivalent so that we have essentially a unique scattering<br />

<strong>the</strong>ory. In particular this is <strong>the</strong> case with <strong>the</strong> Maxwell equations<br />

mentioned above. Intuitively this is due to <strong>the</strong> fact that <strong>the</strong> waves<br />

eventually go to infinity, where E, <strong>and</strong> E,(x) are assumed to be equal<br />

asymptotically, <strong>and</strong> thus <strong>the</strong> identifications by E <strong>and</strong> H <strong>and</strong> by D <strong>and</strong><br />

B are equivalent.<br />

It might appear, after all, that we have arrived at a ra<strong>the</strong>r trivial<br />

conclusion. But <strong>the</strong>re is at least one positive result <strong>of</strong> <strong>the</strong>se considera-<br />

tions. Namely, among all equivalent identifications one can choose a<br />

particular J which is ma<strong>the</strong>matically most convenient. For example,<br />

it happens frequently that <strong>the</strong>re is a unitary J on 6, to & among<br />

equivalent identifications. In this case (1.2) gives<br />

J-‘W* = y&&y cl&(- t) l&(t) Pl , (1.3)<br />

where us(t) = J-‘U,( t) J is a unitary group that acts in <strong>the</strong> same<br />

space 5, as Ul(t) does. Thus we have reduced <strong>the</strong> problem to that<br />

<strong>of</strong> wave operators <strong>of</strong> Schradinger type, to which existing results may<br />

be applicable. This also explains why <strong>the</strong> wave operators are partially<br />

isometric in many cases.<br />

Even if <strong>the</strong> reduction (1.3) to <strong>the</strong> case <strong>of</strong> SchrSdinger type is<br />

available, it does not necessarily follow that <strong>the</strong> scattering for <strong>the</strong> wave<br />

equations can be h<strong>and</strong>led by <strong>the</strong> known results. The difficulty is that<br />

<strong>the</strong> deviation <strong>of</strong> 0, from U, is <strong>of</strong>ten larger than such a deviation

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!