diff --git a/lepaper/T-matrix paper.bib b/lepaper/T-matrix paper.bib new file mode 100644 index 0000000..2fc6909 --- /dev/null +++ b/lepaper/T-matrix paper.bib @@ -0,0 +1,60 @@ + +@article{xu_efficient_1998, + title = {Efficient {{Evaluation}} of {{Vector Translation Coefficients}} in {{Multiparticle Light}}-{{Scattering Theories}}}, + volume = {139}, + issn = {0021-9991}, + abstract = {Vector addition theorems are a necessary ingredient in the analytical solution of electromagnetic multiparticle-scattering problems. These theorems include a large number of vector addition coefficients. There exist three basic types of analytical expressions for vector translation coefficients: Stein's (Quart. Appl. Math.19, 15 (1961)), Cruzan's (Quart. Appl. Math.20, 33 (1962)), and Xu's (J. Comput. Phys.127, 285 (1996)). Stein's formulation relates vector translation coefficients with scalar translation coefficients. Cruzan's formulas use the Wigner 3jm symbol. Xu's expressions are based on the Gaunt coefficient. Since the scalar translation coefficient can also be expressed in terms of the Gaunt coefficient, the key to the expeditious and reliable calculation of vector translation coefficients is the fast and accurate evaluation of the Wigner 3jm symbol or the Gaunt coefficient. We present highly efficient recursive approaches to accurately evaluating Wigner 3jm symbols and Gaunt coefficients. Armed with these recursive approaches, we discuss several schemes for the calculation of the vector translation coefficients, using the three general types of formulation, respectively. Our systematic test calculations show that the three types of formulas produce generally the same numerical results except that the algorithm of Stein's type is less accurate in some particular cases. These extensive test calculations also show that the scheme using the formulation based on the Gaunt coefficient is the most efficient in practical computations.}, + number = {1}, + journal = {Journal of Computational Physics}, + doi = {10.1006/jcph.1997.5867}, + author = {Xu, Yu-lin}, + month = jan, + year = {1998}, + pages = {137-165}, + file = {/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/STV5263F/Xu - 1998 - Efficient Evaluation of Vector Translation Coeffic.pdf;/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/VMGZRSAA/S0021999197958678.html} +} + +@book{jackson_classical_1998, + address = {{New York}}, + edition = {3 edition}, + title = {Classical {{Electrodynamics Third Edition}}}, + isbn = {978-0-471-30932-1}, + abstract = {A revision of the defining book covering the physics and classical mathematics necessary to understand electromagnetic fields in materials and at surfaces and interfaces. The third edition has been revised to address the changes in emphasis and applications that have occurred in the past twenty years.}, + language = {English}, + publisher = {{Wiley}}, + author = {Jackson, John David}, + month = aug, + year = {1998}, + file = {/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/3BWPD4BK/John David Jackson-Classical Electrodynamics-Wiley (1999).djvu} +} + +@article{mie_beitrage_1908, + title = {Beitr{\"a}ge Zur {{Optik}} Tr{\"u}ber {{Medien}}, Speziell Kolloidaler {{Metall{\"o}sungen}}}, + volume = {330}, + copyright = {Copyright \textcopyright{} 1908 WILEY-VCH Verlag GmbH \& Co. KGaA, Weinheim}, + issn = {1521-3889}, + language = {en}, + number = {3}, + journal = {Ann. Phys.}, + doi = {10.1002/andp.19083300302}, + author = {Mie, Gustav}, + month = jan, + year = {1908}, + pages = {377-445}, + file = {/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/RM9J9RYH/Mie - 1908 - Beiträge zur Optik trüber Medien, speziell kolloid.pdf;/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/F5A7EX6R/abstract.html} +} + +@book{kristensson_scattering_2016, + address = {{Edison, NJ}}, + title = {Scattering of {{Electromagnetic Waves}} by {{Obstacles}}}, + isbn = {978-1-61353-221-8}, + abstract = {This book is an introduction to some of the most important properties of electromagnetic waves and their interaction with passive materials and scatterers. The main purpose of the book is to give a theoretical treatment of these scattering phenomena, and to illustrate numerical computations of some canonical scattering problems for different geometries and materials. The scattering theory is also important in the theory of passive antennas, and this book gives several examples on this topic. Topics covered include an introduction to the basic equations used in scattering; the Green functions and dyadics; integral representation of fields; introductory scattering theory; scattering in the time domain; approximations and applications; spherical vector waves; scattering by spherical objects; the null-field approach; and propagation in stratified media. The book is organised along two tracks, which can be studied separately or together. Track 1 material is appropriate for a first reading of the textbook, while Track 2 contains more advanced material suited for the second reading and for reference. Exercises are included for each chapter.}, + language = {English}, + publisher = {{Scitech Publishing}}, + author = {Kristensson, Gerhard}, + month = jul, + year = {2016}, + file = {/u/46/necadam1/unix/.mozilla/firefox/6m8fw48s.default/zotero/storage/3R7VYZUK/Kristensson - 2016 - Scattering of Electromagnetic Waves by Obstacles.pdf} +} + + diff --git a/lepaper/arrayscat.lyx b/lepaper/arrayscat.lyx index 9306bd1..ab54aa2 100644 --- a/lepaper/arrayscat.lyx +++ b/lepaper/arrayscat.lyx @@ -207,6 +207,31 @@ \end_inset +\begin_inset FormulaMacro +\newcommand{\thespace}{\reals^{3}} +\end_inset + + +\begin_inset FormulaMacro +\newcommand{\particle}{\mathrm{\Omega}} +\end_inset + + +\begin_inset FormulaMacro +\newcommand{\medium}{\thespace\backslash\particle} +\end_inset + + +\begin_inset FormulaMacro +\newcommand{\epsbg}{\mathrm{\epsilon_{b}}} +\end_inset + + +\begin_inset FormulaMacro +\newcommand{\mubg}{\mathrm{\mu_{b}}} +\end_inset + + \end_layout \begin_layout Title @@ -445,6 +470,17 @@ filename "examples.lyx" \end_inset +\end_layout + +\begin_layout Standard +\begin_inset CommandInset bibtex +LatexCommand bibtex +bibfiles "T-matrix paper" +options "plain" + +\end_inset + + \end_layout \end_body diff --git a/lepaper/finite.lyx b/lepaper/finite.lyx index 364bd85..4084ce9 100644 --- a/lepaper/finite.lyx +++ b/lepaper/finite.lyx @@ -83,5 +83,189 @@ Finite systems \end_layout +\begin_layout Itemize + +\lang english +motivation (classes of problems that this can solve: response to external + radiation, resonances, ...) +\end_layout + +\begin_deeper +\begin_layout Itemize + +\lang english +theory +\end_layout + +\begin_deeper +\begin_layout Itemize + +\lang english +T-matrix definition, basics +\end_layout + +\begin_deeper +\begin_layout Itemize + +\lang english +How to get it? +\end_layout + +\end_deeper +\begin_layout Itemize + +\lang english +translation operators (TODO think about how explicit this should be, but + I guess it might be useful to write them to write them explicitly (but + in the shortest possible form) in the normalisation used in my program) +\end_layout + +\begin_layout Itemize + +\lang english +employing point group symmetries and decomposing the problem to decrease + the computational complexity (maybe separately) +\end_layout + +\end_deeper +\end_deeper +\begin_layout Subsection + +\lang english +Motivation +\end_layout + +\begin_layout Subsection + +\lang english +Single-particle scattering +\end_layout + +\begin_layout Standard +In order to define the basic concepts, let us first consider the case of + EM radiation scattered by a single particle. + We assume that the scatterer lies inside a closed sphere +\begin_inset Formula $\particle$ +\end_inset + +, the space outside this volume +\begin_inset Formula $\medium$ +\end_inset + + is filled with an homogeneous isotropic medium with relative electric permittiv +ity +\begin_inset Formula $\epsilon(\vect r,\omega)=\epsbg(\omega)$ +\end_inset + + and magnetic permeability +\begin_inset Formula $\mu(\vect r,\omega)=\mubg(\omega)$ +\end_inset + +, and that the whole system is linear, i.e. + the material properties of neither the medium nor the scatterer depend + on field intensities. + Under these assumptions, the EM fields in +\begin_inset Formula $\medium$ +\end_inset + + must satisfy the homogeneous vector Helmholtz equation +\begin_inset Formula $\left(\nabla^{2}+k^{2}\right)\Psi\left(\vect r,\vect{\omega}\right)=0$ +\end_inset + + +\begin_inset Note Note +status open + +\begin_layout Plain Layout +todo define +\begin_inset Formula $\Psi$ +\end_inset + +, mention transversality +\end_layout + +\end_inset + + with +\begin_inset Formula $k=TODO$ +\end_inset + + [TODO REF Jackson?]. + Its solutions (TODO under which conditions? What vector space do the SVWFs + actually span? Check Comment 9.2 and Appendix f.9.1 in Kristensson) +\end_layout + +\begin_layout Standard + +\lang english +Throughout this text, we will use the same normalisation conventions as + in +\begin_inset CommandInset citation +LatexCommand cite +key "kristensson_scattering_2016" + +\end_inset + +. +\end_layout + +\begin_layout Subsubsection + +\lang english +Spherical waves +\end_layout + +\begin_layout Standard + +\lang english +\begin_inset Note Note +status open + +\begin_layout Plain Layout + +\lang english +TODO small note about cartesian multipoles, anapoles etc. + (There should be some comparing paper that the Russians at META 2018 mentioned.) +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Subsubsection + +\lang english +T-matrix definition +\end_layout + +\begin_layout Subsubsection +Absorbed power +\end_layout + +\begin_layout Subsubsection + +\lang english +T-matrix compactness, cutoff validity +\end_layout + +\begin_layout Subsection + +\lang english +Multiple scattering +\end_layout + +\begin_layout Subsubsection + +\lang english +Translation operator +\end_layout + +\begin_layout Subsubsection + +\lang english +Numerical complexity, comparison to other methods +\end_layout + \end_body \end_document diff --git a/lepaper/infinite.lyx b/lepaper/infinite.lyx index 1d4adf5..26dfe37 100644 --- a/lepaper/infinite.lyx +++ b/lepaper/infinite.lyx @@ -83,5 +83,409 @@ Infinite periodic systems \end_layout +\begin_layout Subsection + +\lang english +Formulation of the problem +\end_layout + +\begin_layout Standard + +\lang english +Assume a system of compact EM scatterers in otherwise homogeneous and isotropic + medium, and assume that the system, i.e. + both the medium and the scatterers, have linear response. + A scattering problem in such system can be written as +\begin_inset Formula +\[ +A_{α}=T_{α}P_{α}=T_{α}(\sum_{β}S_{α\leftarrowβ}A_{β}+P_{0α}) +\] + +\end_inset + +where +\begin_inset Formula $T_{α}$ +\end_inset + + is the +\begin_inset Formula $T$ +\end_inset + +-matrix for scatterer α, +\begin_inset Formula $A_{α}$ +\end_inset + + is its vector of the scattered wave expansion coefficient (the multipole + indices are not explicitely indicated here) and +\begin_inset Formula $P_{α}$ +\end_inset + + is the local expansion of the incoming sources. + +\begin_inset Formula $S_{α\leftarrowβ}$ +\end_inset + + is ... + and ... + is ... +\end_layout + +\begin_layout Standard + +\lang english +... +\end_layout + +\begin_layout Standard + +\lang english +\begin_inset Formula +\[ +\sum_{β}(\delta_{αβ}-T_{α}S_{α\leftarrowβ})A_{β}=T_{α}P_{0α}. +\] + +\end_inset + + +\end_layout + +\begin_layout Standard + +\lang english +Now suppose that the scatterers constitute an infinite lattice +\end_layout + +\begin_layout Standard + +\lang english +\begin_inset Formula +\[ +\sum_{\vect bβ}(\delta_{\vect{ab}}\delta_{αβ}-T_{\vect aα}S_{\vect aα\leftarrow\vect bβ})A_{\vect bβ}=T_{\vect aα}P_{0\vect aα}. +\] + +\end_inset + +Due to the periodicity, we can write +\begin_inset Formula $S_{\vect aα\leftarrow\vect bβ}=S_{α\leftarrowβ}(\vect b-\vect a)$ +\end_inset + + and +\begin_inset Formula $T_{\vect aα}=T_{\alpha}$ +\end_inset + +. + In order to find lattice modes, we search for solutions with zero RHS +\begin_inset Formula +\[ +\sum_{\vect bβ}(\delta_{\vect{ab}}\delta_{αβ}-T_{α}S_{\vect aα\leftarrow\vect bβ})A_{\vect bβ}=0 +\] + +\end_inset + +and we assume periodic solution +\begin_inset Formula $A_{\vect b\beta}(\vect k)=A_{\vect a\beta}e^{i\vect k\cdot\vect r_{\vect b-\vect a}}$ +\end_inset + +, yielding +\begin_inset Formula +\begin{eqnarray*} +\sum_{\vect bβ}(\delta_{\vect{ab}}\delta_{αβ}-T_{α}S_{\vect aα\leftarrow\vect bβ})A_{\vect a\beta}\left(\vect k\right)e^{i\vect k\cdot\vect r_{\vect b-\vect a}} & = & 0,\\ +\sum_{\vect bβ}(\delta_{\vect{0b}}\delta_{αβ}-T_{α}S_{\vect 0α\leftarrow\vect bβ})A_{\vect 0\beta}\left(\vect k\right)e^{i\vect k\cdot\vect r_{\vect b}} & = & 0,\\ +\sum_{β}(\delta_{αβ}-T_{α}\underbrace{\sum_{\vect b}S_{\vect 0α\leftarrow\vect bβ}e^{i\vect k\cdot\vect r_{\vect b}}}_{W_{\alpha\beta}(\vect k)})A_{\vect 0\beta}\left(\vect k\right) & = & 0,\\ +A_{\vect 0\alpha}\left(\vect k\right)-T_{α}\sum_{\beta}W_{\alpha\beta}\left(\vect k\right)A_{\vect 0\beta}\left(\vect k\right) & = & 0. +\end{eqnarray*} + +\end_inset + +Therefore, in order to solve the modes, we need to compute the +\begin_inset Quotes eld +\end_inset + +lattice Fourier transform +\begin_inset Quotes erd +\end_inset + + of the translation operator, +\begin_inset Formula +\begin{equation} +W_{\alpha\beta}(\vect k)\equiv\sum_{\vect b}S_{\vect 0α\leftarrow\vect bβ}e^{i\vect k\cdot\vect r_{\vect b}}.\label{eq:W definition} +\end{equation} + +\end_inset + + +\end_layout + +\begin_layout Subsection + +\lang english +Computing the Fourier sum of the translation operator +\end_layout + +\begin_layout Standard + +\lang english +The problem evaluating +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:W definition" + +\end_inset + + is the asymptotic behaviour of the translation operator, +\begin_inset Formula $S_{\vect 0α\leftarrow\vect bβ}\sim\left|\vect r_{\vect b}\right|^{-1}e^{ik_{0}\left|\vect r_{\vect b}\right|}$ +\end_inset + + that makes the convergence of the sum quite problematic for any +\begin_inset Formula $d>1$ +\end_inset + +-dimensional lattice. +\begin_inset Foot +status open + +\begin_layout Plain Layout + +\lang english +Note that +\begin_inset Formula $d$ +\end_inset + + here is dimensionality of the lattice, not the space it lies in, which + I for certain reasons assume to be three. + (TODO few notes on integration and reciprocal lattices in some appendix) +\end_layout + +\end_inset + + In electrostatics, one can solve this problem with Ewald summation. + Its basic idea is that if what asymptoticaly decays poorly in the direct + space, will perhaps decay fast in the Fourier space. + I use the same idea here, but everything will be somehow harder than in + electrostatics. +\end_layout + +\begin_layout Standard + +\lang english +Let us re-express the sum in +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:W definition" + +\end_inset + + in terms of integral with a delta comb +\end_layout + +\begin_layout Standard + +\lang english +\begin_inset Formula +\begin{equation} +W_{\alpha\beta}(\vect k)=\int\ud^{d}\vect r\dc{\basis u}(\vect r)S(\vect r_{\alpha}\leftarrow\vect r+\vect r_{\beta})e^{i\vect k\cdot\vect r}.\label{eq:W integral} +\end{equation} + +\end_inset + +The translation operator +\begin_inset Formula $S$ +\end_inset + + is now a function defined in the whole 3d space; +\begin_inset Formula $\vect r_{\alpha},\vect r_{\beta}$ +\end_inset + + are the displacements of scatterers +\begin_inset Formula $\alpha$ +\end_inset + + and +\begin_inset Formula $\beta$ +\end_inset + + in a unit cell. + The arrow notation +\begin_inset Formula $S(\vect r_{\alpha}\leftarrow\vect r+\vect r_{\beta})$ +\end_inset + + means +\begin_inset Quotes eld +\end_inset + +translation operator for spherical waves originating in +\begin_inset Formula $\vect r+\vect r_{\beta}$ +\end_inset + + evaluated in +\begin_inset Formula $\vect r_{\alpha}$ +\end_inset + + +\begin_inset Quotes erd +\end_inset + + and obviously +\begin_inset Formula $S$ +\end_inset + + is in fact a function of a single 3d argument, +\begin_inset Formula $S(\vect r_{\alpha}\leftarrow\vect r+\vect r_{\beta})=S(\vect 0\leftarrow\vect r+\vect r_{\beta}-\vect r_{\alpha})=S(-\vect r-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0)=S(-\vect r-\vect r_{\beta}+\vect r_{\alpha})$ +\end_inset + +. + Expression +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:W integral" + +\end_inset + + can be rewritten as +\begin_inset Formula +\[ +W_{\alpha\beta}(\vect k)=\left(2\pi\right)^{\frac{d}{2}}\uaft{(\dc{\basis u}S(\vect{\bullet}-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0))\left(\vect k\right)} +\] + +\end_inset + +where changed the sign of +\begin_inset Formula $\vect r/\vect{\bullet}$ +\end_inset + + has been swapped under integration, utilising evenness of +\begin_inset Formula $\dc{\basis u}$ +\end_inset + +. + Fourier transform of product is convolution of Fourier transforms, so (using + formula +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:Dirac comb uaFt" + +\end_inset + + for the Fourier transform of Dirac comb) +\begin_inset Formula +\begin{eqnarray} +W_{\alpha\beta}(\vect k) & = & \left(\left(\uaft{\dc{\basis u}}\right)\ast\left(\uaft{S(\vect{\bullet}-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0)}\right)\right)(\vect k)\nonumber \\ + & = & \frac{\left|\det\recb{\basis u}\right|}{\left(2\pi\right)^{\frac{d}{2}}}\left(\dc{\recb{\basis u}}^{(d)}\ast\left(\uaft{S(\vect{\bullet}-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0)}\right)\right)\left(\vect k\right)\nonumber \\ + & = & \frac{\left|\det\rec{\basis u}\right|}{\left(2\pi\right)^{\frac{d}{2}}}\sum_{\vect K\in\recb{\basis u}\ints^{d}}\left(\uaft{S(\vect{\bullet}-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0)}\right)\left(\vect k-\vect K\right)\label{eq:W sum in reciprocal space}\\ + & = & \frac{\left|\det\rec{\basis u}\right|}{\left(2\pi\right)^{\frac{d}{2}}}\sum_{\vect K\in\recb{\basis u}\ints^{d}}e^{i\left(\vect k-\vect K\right)\cdot\left(-\vect r_{\beta}+\vect r_{\alpha}\right)}\left(\uaft{S(\vect{\bullet}\leftarrow\vect 0)}\right)\left(\vect k-\vect K\right)\nonumber +\end{eqnarray} + +\end_inset + + +\begin_inset Note Note +status open + +\begin_layout Plain Layout + +\lang english +Factor +\begin_inset Formula $\left(2\pi\right)^{\frac{d}{2}}$ +\end_inset + + cancels out with the +\begin_inset Formula $\left(2\pi\right)^{-\frac{d}{2}}$ +\end_inset + + factor appearing in the convolution/product formula in the unitary angular + momentum convention. + +\end_layout + +\end_inset + +As such, this is not extremely helpful because the the +\emph on +whole +\emph default + translation operator +\begin_inset Formula $S$ +\end_inset + + has singularities in origin, hence its Fourier transform +\begin_inset Formula $\uaft S$ +\end_inset + + will decay poorly. + +\end_layout + +\begin_layout Standard + +\lang english +However, Fourier transform is linear, so we can in principle separate +\begin_inset Formula $S$ +\end_inset + + in two parts, +\begin_inset Formula $S=S^{\textup{L}}+S^{\textup{S}}$ +\end_inset + +. + +\begin_inset Formula $S^{\textup{S}}$ +\end_inset + + is a short-range part that decays sufficiently fast with distance so that + its direct-space lattice sum converges well; +\begin_inset Formula $S^{\textup{S}}$ +\end_inset + + must as well contain all the singularities of +\begin_inset Formula $S$ +\end_inset + + in the origin. + The other part, +\begin_inset Formula $S^{\textup{L}}$ +\end_inset + +, will retain all the slowly decaying terms of +\begin_inset Formula $S$ +\end_inset + + but it also has to be smooth enough in the origin, so that its Fourier + transform +\begin_inset Formula $\uaft{S^{\textup{L}}}$ +\end_inset + + decays fast enough. + (The same idea lies behind the Ewald summation in electrostatics.) Using + the linearity of Fourier transform and formulae +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:W definition" + +\end_inset + + and legendre +\begin_inset CommandInset ref +LatexCommand eqref +reference "eq:W sum in reciprocal space" + +\end_inset + +, the operator +\begin_inset Formula $W_{\alpha\beta}$ +\end_inset + + can then be re-expressed as +\begin_inset Formula +\begin{eqnarray} +W_{\alpha\beta}\left(\vect k\right) & = & W_{\alpha\beta}^{\textup{S}}\left(\vect k\right)+W_{\alpha\beta}^{\textup{L}}\left(\vect k\right)\nonumber \\ +W_{\alpha\beta}^{\textup{S}}\left(\vect k\right) & = & \sum_{\vect R\in\basis u\ints^{d}}S^{\textup{S}}(\vect 0\leftarrow\vect R+\vect r_{\beta}-\vect r_{\alpha})e^{i\vect k\cdot\vect R}\label{eq:W Short definition}\\ +W_{\alpha\beta}^{\textup{L}}\left(\vect k\right) & = & \frac{\left|\det\rec{\basis u}\right|}{\left(2\pi\right)^{\frac{d}{2}}}\sum_{\vect K\in\recb{\basis u}\ints^{d}}\left(\uaft{S^{\textup{L}}(\vect{\bullet}-\vect r_{\beta}+\vect r_{\alpha}\leftarrow\vect 0)}\right)\left(\vect k-\vect K\right)\label{eq:W Long definition} +\end{eqnarray} + +\end_inset + +where both sums should converge nicely. +\end_layout + \end_body \end_document