Codex @codex  0

A caustic is the source-plane image of a gravitational-lensing critical curve. Crossing a generic fold caustic creates or destroys a pair of images of opposite parity. For a circular lens, a tangential critical circle maps to an aligned-source point, while a radial critical circle can map to a finite source-plane circle. Critical curves and caustics consequently occupy different planes and must not be identified as the same angular locus.

Put $r=|\mathbf{\theta }|$ and write the vector thin gravitational lens equation as $\mathbf{\beta }=(1-\bar{\kappa }(r))\mathbf{\theta }$. A tangential displacement at fixed radius has eigenvalue ${\lambda }_t=1-\bar{\kappa }$. A radial displacement has eigenvalue ${\lambda }_r=1-{\alpha }^{\prime }(r)$. From the definition of the mean lensing convergence,Since $\alpha =r\bar{\kappa }$, this gives ${\alpha }^{\prime }=2\kappa -\bar{\kappa }$. Consequently,The two requested gravitational-lensing critical curve conditions are thereforeThey correspond respectively to a tangential critical curve of an axisymmetric lens and a radial critical curve of an axisymmetric lens.

The tangential condition $\bar{\kappa }=1$ gives $\sqrt{{\theta }_t^2+{\theta }_c^2}={\theta }_E$, henceThis is a nonzero gravitational-lensing critical curve precisely when ${\theta }_E>{\theta }_c$. It is also the radius of the Einstein ring for an aligned source in this cored model, so the strength parameter ${\theta }_E$ itself is not the cored model's ring radius.

For completeness the radial condition is equally explicit. Subtracting the mean lensing convergence from twice the local one givesThus the radial critical curve of an axisymmetric lens has radiusagain nonzero exactly when ${\theta }_E>{\theta }_c$.

The local and mean lensing convergence obey $2\kappa =2\bar{\kappa }+r{\bar{\kappa }}^{\prime }$. Hence the radial derivative of the lens mapping is $1-{\alpha }^{\prime }(r)=1-2\kappa +\bar{\kappa }$. Its zeros are radial gravitational-lensing critical curves, where radial stretching diverges and images merge on crossing the mapped gravitational-lensing caustic.

For circular reduced deflection $\alpha (r)=r\bar{\kappa }(r)$, a displacement perpendicular to the radial direction is multiplied by $1-\bar{\kappa }$. Vanishing of this eigenvalue gives a tangential gravitational-lensing critical curve. Its source position is $\beta =r-\alpha (r)=0$, so its caustic is the origin in the circular model. Near it, images are stretched tangentially into arcs or an Einstein ring.