Editing Optical aberration (section)

==Analytic treatment of aberrations==
The preceding review of the several errors of reproduction belongs to the ''Abbe theory of aberrations,'' in which definite aberrations are discussed separately; it is well suited to practical needs, for in the construction of an optical instrument certain errors are sought to be eliminated, the selection of which is justified by experience.  In the mathematical sense, however, this selection is arbitrary; the reproduction of a finite object with a finite aperture entails, in all probability, an infinite number of aberrations.  This number is only finite if the object and aperture are assumed to be ''infinitely small of a certain order''; and with each order of infinite smallness, i.e. with each degree of approximation to reality (to finite objects and apertures), a certain number of aberrations is associated.  This connection is only supplied by theories which treat aberrations generally and analytically by means of indefinite series.<ref name=EB1911/>

[[File:ABERR5rev.svg|right|frame|'''Figure 5''']]

A ray proceeding from an object point {{math|O}} ('''Figure 5''') can be defined by the coordinates {{math|(''ξ'', ''η'')}}.  Of this point {{math|O}} in an object plane {{math|I}}, at right angles to the axis, and two other coordinates {{math|(''x'', ''y'')}}, the point in which the ray intersects the entrance pupil, i.e. the plane {{math|II}}. Similarly the corresponding image ray may be defined by the points {{math|(''{{prime|ξ}}'', ''{{prime|η}}'')}}, and {{math|(''{{prime|x}}'', ''{{prime|y}}'')}}, in the planes {{math|{{prime|I}}}} and {{math|{{prime|II}}}}. The origins of these four plane coordinate systems may be collinear with the axis of the optical system; and the corresponding axes may be parallel.  Each of the four coordinates {{mvar|{{prime|ξ}}}}, {{mvar|{{prime|η}}}}, {{mvar|{{prime|x}}}}, {{mvar|{{prime|y}}}} are functions of {{mvar|ξ}}, {{mvar|η}}, {{mvar|x}}, {{mvar|y}}; and if it be assumed that the field of view and the aperture be infinitely small, then {{mvar|ξ}}, {{mvar|η}}, {{mvar|x}}, {{mvar|y}} are of the same order of infinitesimals; consequently by expanding {{mvar|{{prime|ξ}}}}, {{mvar|{{prime|η}}}}, {{mvar|{{prime|x}}}}, {{mvar|{{prime|y}}}} in ascending powers of {{mvar|ξ}}, {{mvar|η}}, {{mvar|x}}, {{mvar|y}}, series are obtained in which it is only necessary to consider the lowest powers.  It is readily seen that if the optical system be symmetrical, the origins of the coordinate systems collinear with the optical axis and the corresponding axes parallel, then by changing the signs of {{mvar|ξ}}, {{mvar|η}}, {{mvar|x}}, {{mvar|y}}, the values {{mvar|{{prime|ξ}}}}, {{mvar|{{prime|η}}}}, {{mvar|{{prime|x}}}}, {{mvar|{{prime|y}}}} must likewise change their sign, but retain their arithmetical values; this means that the series are restricted to odd powers of the unmarked variables.<ref name=EB1911/>

The nature of the reproduction consists in the rays proceeding from a point {{math|O}} being united in another point {{math|{{prime|O}}}}; in general, this will not be the case, for {{mvar|{{prime|ξ}}}}, {{mvar|{{prime|η}}}} vary if {{mvar|ξ}}, {{mvar|η}} be constant, but {{mvar|x}}, {{mvar|y}} variable.  It may be assumed that the planes {{math|{{prime|I}}}} and {{math|{{prime|II}}}} are drawn where the images of the planes {{math|I}} and {{math|II}} are formed by rays near the axis by the ordinary Gaussian rules; and by an extension of these rules, not, however, corresponding to reality, the Gauss image point {{math|{{prime|O}}{{sub|0}}}}, with coordinates {{math|{{prime|''ξ''}}{{sub|0}}}}, {{math|{{prime|''η''}}{{sub|0}}}}, of the point {{math|O}} at some distance from the axis could be constructed.  Writing {{math|1= Δ{{prime|''ξ''}} = {{prime|''ξ''}} − {{prime|''ξ''}}{{sub|0}}}} and {{math|1= Δ{{prime|''η''}} = {{prime|''η''}} − {{prime|''η''}}{{sub|0}}}}, then {{math|Δ{{prime|''ξ''}}}} and {{math|Δ{{prime|''η''}}}} are the aberrations belonging to {{mvar|ξ}}, {{mvar|η}} and {{mvar|x}}, {{mvar|y}}, and are functions of these magnitudes which, when expanded in series, contain only odd powers, for the same reasons as given above.  On account of the aberrations of all rays which pass through {{math|O}}, a patch of light, depending in size on the lowest powers of {{mvar|ξ}}, {{mvar|η}}, {{mvar|x}}, {{mvar|y}} which the aberrations contain, will be formed in the plane {{math|{{prime|I}}}}. These degrees, named by [[Jozef Maximilián Petzval|J. Petzval]]<ref>J. Petzval, ''Bericht uber die Ergebnisse einiger dioptrischer Untersuchungen'', Buda Pesth, 1843; ''Akad. Sitzber., Wien,'' 1857, vols. xxiv. xxvi.</ref> ''the numerical orders of the image'', are consequently only odd powers; the condition for the formation of an image of the {{mvar|m}}th order is that in the series for {{math|Δ{{prime|''ξ''}}}} and {{math|Δ{{prime|''η''}}}} the coefficients of the powers of the 3rd, 5th,&nbsp;... ({{math|''m''−}}2)th degrees must vanish.  The images of the Gauss theory being of the third order, the next problem is to obtain an image of 5th order, or to make the coefficients of the powers of 3rd degree zero. This necessitates the satisfying of five equations; in other words, there are five alterations of the 3rd order, the vanishing of which produces an image of the 5th order.<ref name=EB1911/>

The expression for these coefficients in terms of the constants of the optical system, i.e. the radii, thicknesses, refractive indices and distances between the lenses, was solved by [[Philipp Ludwig von Seidel|L. von Seidel]];<ref>{{cite journal |last= von Seidel |first= Philipp Ludwig |date= 2007-11-19 |orig-date= 1856 |title= On the dioptric: About the third order expansion that describes the path of a light beam outside the plane of the axis through an optical system of refracting elements |trans-title= Zur Dioptrik. Über die Entwicklung der Glieder 3ter Ordnung welche den Weg eines ausserhalb der Ebene der Axe gelegene Lichtstrahles durch ein System brechender Medien bestimmen |journal= Astronomische Nachrichten |number= 1027–1029 |author-link= Philipp Ludwig von Seidel |language=en |translator-last= Zehnder |translator-first= Rene |url= https://wp.optics.arizona.edu/jsasian/wp-content/uploads/sites/33/2016/03/Seidel_Rev07.pdf |access-date= 2025-03-26 |archive-url= https://web.archive.org/web/20250326182653/https://wp.optics.arizona.edu/jsasian/wp-content/uploads/sites/33/2016/03/Seidel_Rev07.pdf |archive-date= 2025-03-26 }}<!-- cite was: L. Seidel, ''Astr. Nach.'', 1856, p.&nbsp;289--></ref> in 1840, J. Petzval constructed his portrait objective, from similar calculations which have never been published.<ref name="Rohr1">M. von Rohr, ''Theorie und Geschichte des photographischen Objectivs'', Berlin, 1899, p.&nbsp;248</ref> The theory was elaborated by S. Finterswalder,<ref>S. Finterswalder, ''Munchen. Acad.  Abhandl.'', 1891, 17, p.&nbsp;519</ref> who also published a posthumous paper of Seidel containing a short view of his work;<ref>''München. Akad. Sitzber.,'' 1898, 28, p.&nbsp;395</ref> a simpler form was given by A. Kerber.<ref>''Beiträge zur Dioptrik'', Leipzig, 1895-6-7-8-9</ref> A. Konig and M. von Rohr<ref name="Rohr2">M. von Rohr, ''Die Bilderzeugung in optischen Instrumenten''</ref>{{rp|pp=317–323}} have represented Kerber's method, and have deduced the Seidel formulae from geometrical considerations based on the Abbe method, and have interpreted the analytical results geometrically.<ref name="Rohr2"/>{{rp|pp=212–316}}<ref name=EB1911/>

The aberrations can also be expressed by means of the ''characteristic function'' of the system and its differential coefficients, instead of by the radii, etc., of the lenses; these formulae are not immediately applicable, but give, however, the relation between the number of aberrations and the order. Sir William Rowan Hamilton thus derived the aberrations of the third order;<ref>{{cite conference |last= Hamilton |first= William Rowan |date= 1834 |title= On some Results of the View of a Characteristic Function in Optics |book-title= Report of the Third Meeting of the British Association for the Advancement of Science: held at Cambridge in July 1833 |pp= 360–370 |publisher= John Murray |location= London |author-link= William Rowan Hamilton |url= https://archive.org/details/reportofthirdmee34lond/page/360/ |access-date= 2025-03-26}}</ref> and in later times the method was pursued by Clerk Maxwell (''Proc. London Math. Soc.,'' 1874–1875; (see also the treatises of R. S. Heath and L. A. Herman), M. Thiesen (''Berlin. Akad.  Sitzber.,'' 1890, 35, p.&nbsp;804), H. Bruns (''Leipzig. Math. Phys. Ber.,'' 1895, 21, p.&nbsp;410), and particularly successfully by K. Schwarzschild (''Göttingen.  Akad.  Abhandl.,'' 1905, 4, No. 1), who thus discovered the aberrations of the 5th order (of which there are nine), and possibly the shortest proof of the practical (Seidel) formulae.  A. Gullstrand (vide supra, and ''Ann. d.  Phys.,'' 1905, 18, p.&nbsp;941) founded his theory of aberrations on the differential geometry of surfaces.<ref name=EB1911/>

The aberrations of the third order are: (1) aberration of the axis point; (2) aberration of points whose distance from the axis is very small, less than of the third order — the deviation from the sine condition and coma here fall together in one class; (3) astigmatism; (4) curvature of the field; (5) distortion.<ref name=EB1911/>

# Aberration of the third order of axis points is dealt with in all text-books on optics.  It is very important in telescope design. In telescopes aperture is usually taken as the linear diameter of the objective. It is not the same as microscope aperture which is based on the entrance pupil or field of view as seen from the object and is expressed as an angular measurement. Higher order aberrations in telescope design can be mostly neglected. For microscopes it cannot be neglected. For a single lens of very small thickness and given power, the aberration depends upon the ratio of the radii {{math|''r'':''{{prime|r}}''}}, and is a minimum (but never zero) for a certain value of this ratio; it varies inversely with the refractive index (the power of the lens remaining constant).  The total aberration of two or more very thin lenses in contact, being the sum of the individual aberrations, can be zero. This is also possible if the lenses have the same algebraic sign. Of thin positive lenses with {{math|1= ''n'' = 1.5}}, four are necessary to correct spherical aberration of the third order. These systems, however, are not of great practical importance.  In most cases, two thin lenses are combined, one of which has just so strong a positive aberration (''under-correction,'' vide supra) as the other a negative; the first must be a positive lens and the second a negative lens; the powers, however: may differ, so that the desired effect of the lens is maintained. It is generally an advantage to secure a great refractive effect by several weaker than by one high-power lens.  By one, and likewise by several, and even by an infinite number of thin lenses in contact, no more than two axis points can be reproduced without aberration of the third order. Freedom from aberration for two axis points, one of which is infinitely distant, is known as ''Herschel's condition.'' All these rules are valid, inasmuch as the thicknesses and distances of the lenses are not to be taken into account.<ref name=EB1911/>
# The condition for freedom from coma in the third order is also of importance for telescope objectives; it is known as ''[[Joseph von Fraunhofer|Fraunhofer's]] condition.'' (4) After eliminating the aberration on the axis, coma and astigmatism, the relation for the flatness of the field in the third order is expressed by the ''Petzval equation'', {{nowrap|<math display="inline">\sum_{\mathrm{I}}/r(n'-n) = 0</math>,}} where {{mvar|r}} is the radius of a refracting surface, {{mvar|n}} and {{mvar|{{prime|n}}}} the refractive indices of the neighboring media, and {{math|Σ}} the sign of summation for all refracting surfaces.<ref name=EB1911/>