With the rapid development of optical design and manufacturing technology, aspherical profiles have seen extensive use because of their lower rate of aberrations relative to spherical profiles.12.3.–4 Improving the precision of fitting projects would facilitate the evaluation of image quality in optical design and optimization significantly. This is commonly done by increasing the number of samples or using high-order polynomials. Currently, there are a number of articles that discuss improving the precision of polynomial fitting. Because increasing the number of samples beyond a certain point will not markedly improve fitting precision,5 high-order polynomials have seen widespread use. The least square method will usually produce ill-conditioned Gram matrixes and so introduce large errors in solution. To solve the problem, the Gram–Schmidt process was used to generate mutually orthogonal polynomials in the unit circle.6,7 The Gauss–Newton algorithm was used to solve nonlinear least squares problems through iterations to reduce fitting errors. This method was reported to be able to further improve fitting precision.8,9
However, when fitting rotational symmetric surfaces using the nonorthogonal polynomials and least square method, the peak polynomial coefficient increases with increasing polynomial order such that massive coefficients may be derived in some cases.10 These coefficients are usually randomly oriented and several orders of magnitude higher than rise of arch, which might result in a much smaller number from the subtraction of two large numbers when calculating the rise of arch. In this way, the limited accuracy of numerical storage in computers leads to losses of effective numbers during computation. Specifically, it compromises the accuracy of the calculation of the surface slope, thereby rendering ray tracing inaccurate. In optical optimization processes, the loss of effective numbers causes numeric instability of the optimization algorithm, which is unacceptable in practical applications.11 Although the methods listed above could improve fitting precision, it is not possible to prevent the loss of effective numbers because of large coefficients. In this way, a projection from polynomial equations to vector space was proposed in this study, thereby introducing a new fitting method, achieving the optimal quadric fitting surface with better fitting errors as well as minimizing the magnitude of the aspheric coefficient.
In order to improve fitting precision effectively and solve the problem of excessive coefficients, it is necessary to analyze the sources of fitting errors and their relationship with the coefficients of polynomials. The coefficient of each order of polynomials is not directly correlated to fitting errors, so direct analysis is not efficient. Based on the characteristics of homogeneity and additivity of polynomials and vectors and on the similar definition of inner products and the simple linear relationship between components and modulus length of each vector and error in least square calculation, the problem can be solved by projecting polynomials into vectors. It is inevitable to calculate the inner products of polynomials while conducting profile fitting with either the linear or the nonlinear least square method. Because the definition of fitting error is directly related to inner products, the projection from polynomials to vector space can be built based on its relationship with inner products such that the polynomials are analyzed using vector analysis methods, thereby transforming the polynomial problem into a vector problem.
Projection of Polynomials into Vector Space
The polynomial equations consisting of polynomials were here projected into -dimension vector space, with each polynomial projected into the -dimension vector. The polynomials are written as , and the corresponding vectors as . In order to facilitate future calculations, the following projection principles were here adopted:
One algorithm is to obtain matrix that satisfies the projection principles through “Cholesky” decomposition of the “Gram” matrix in Eq. (3). From the Cholesky decomposition, a lower triangular matrix and an upper triangular matrix, which are mutual symmetric, could be obtained, where is the upper triangular matrix. The polynomials coefficient matrix derived from fitting is recorded as , and the projected vector is . The coefficient matrix and the corresponding vector have the relationships as
Principles of Aspheric Polynomial Surface Fitting
In aspheric polynomial surface fitting, the profile expression conforming to ISO 10110 standard is adopted12
Using optimal spherical surface methods, traditional fitting methods, based on surface features, first employed apex curvature and edge rise of arch to calculate quadric surface parameters and .13,14 : is the difference between fitting surface and optimal fitting quadric surface.
The least square method is also generally used to fit residuals. The polynomials are represented as , in rectangular coordinate systems; the fitted residual function is , and is a weight function. The least square calculation is used to derive , which makes minimal. The solution equations are as follows:9,10
Optimal Quadric Fitting Surface
As stated in Sec. 2.2, during the fitting process, the optimal quadric fitting surface is determined first, and then the least square method is used to fit the residuals. Using polynomials with more terms involves more dimensions of the corresponding vector space. The data to be fitted can be said to correspond to an infinite dimensional vector. The optimal quadric fitting surface is also represented by an infinite dimensional vector, as shown in Eq. (8), where is the corresponding vector of the surface to be fitted, and is the vector of the optimal quadric fitting surface.
During the fitting process, the use of one additional polynomial produces an additional vector component, and the fitting error is proportional to the component modulus value in the undescribed dimension
When the components of vector that exceeds dimensions have minimal modulus value, the modulus length of is minimal, and the fitting precision is maximal. In this way, it can be deduced that there is an optimal quadric fitting surface that can yield the minimal modulus value of undescribed components
The determination of optimal quadric fitting surface is a nonlinear least square problem, which is commonly solved using the Gauss–Newton algorithm. The principle is to perform the first-order Taylor expansion on the base function to linearize it. Then the linear least square method is used in fitting, and the final results can be obtained upon iteration convergence. However, this method has several drawbacks. For example, it uses local quadratic convergence for the zero residual fitting problem, the convergence speed is low for small residual fitting problems, and there is no convergence for large residual fitting problems. Here, the residual refers to the discarded high-order terms in Taylor expansion. For this reason, the Newton–Raphson method was used in this study to perform the second-order Taylor expansion based on the definition formula of fitting residual. Because one more order of Taylor expansion was performed than in the Gauss–Newton method, more information from the function was preserved, so the method showed good convergence. The procedure is as follows:
The square sum of fitting residual is defined as follows: , . The target of the algorithm is to find and that conform to . First, the initial values of and are obtained based on conventional methods. Then, Eq. (11) was used in iteration so as to obtain new values of and .
Because in the fitting process, is determined once and are determined, is correlated to and .
The partial derivative of is obtained with similar method. The second-order partial derivative matrix was obtained based on the calculation of the first-order partial derivative. New values of and are continuously obtained according to the iteration formula until the iteration termination standard is achieved.
Methods to Decrease Polynomial Coefficients
Once the optimal quadric fitting surface is determined, the least square method is used to find the polynomial coefficients. If the polynomials have a large number of terms or the surface space frequency is high, there might be too many coefficients in the fitting results, and these can be several orders of magnitude higher than rise of arch. This is unfavorable in practical applications, so it is necessary to decrease the polynomials coefficients without affecting the fitting precision. The solving principle of the least square method involves determining the minimal root-mean-square (RMS) error, so the obtained small fitting coefficients can cause increased RMS (the least square method assures minimal RMS, but the coefficients can be large, and none of the operations on the coefficients assure minimal RMS). As shown, the high fitting precision and small coefficients cannot be obtained simultaneously. In this way, small coefficients could be obtained when a low fitting precision is acceptable. Proper coefficients could be obtained by limiting RMS and the range of polynomial coefficients. However, solving the multivariable quadratic inequality is difficult and time consuming. The size of the coefficients could be reduced by controlling the variation in polynomial coefficients and error-associated variables.
As stated above, additive error can be introduced while reducing polynomial coefficients. The change in the polynomial coefficients matrix introduces error :
For this reason, the unit error vector is written as , and the variation of polynomial coefficients is when times the unit error is introduced. Thus, the coefficient of new polynomials is . The introduced error can be determined by taking minimal square sum of polynomials coefficients as the standard for coefficient reduction
Finally, the coefficient matrix of new polynomials can be generated
The fitting error of new polynomials can be calculated based on additive error and fitting error of original polynomials other than sample points’ coordinates. From the perspective of vector dimensions, the fitting error of original polynomials is due to finite terms. For this reason, the dimension of corresponding vector is finite, resulting in undescribed high-dimension features. It is known that different dimensions of the corresponding vector of the additive error and original fitting error are orthogonal, which allows the errors to be integrated based on mean square synthesis method.
In this section, the examples are illustrated. The aplanatic Descartes oval profile was used to validate the feasibility, discussing the departure part, and the optimal quadric fitting surface part. Another two examples, an extreme and a mild aspheric profile, will perform comprehensive validation of the method. In the calculation procedure, the Eq. (15) was applied after the optimal quadric fitting surface was determined by using the proposed method and the polynomial coefficients were solved with the least square method.
Aplanatic Descartes Oval Profile
The aplanatic Descartes oval profile which used by Forbes was used here to validate the feasibility of the method.10 Using the conventional method, standard aspheric polynomial fitting was performed. Results are shown in Table 1. The curves of Descartes oval and their fitting errors are shown in Fig. 1. As stated in Forbes’s article, standard aspheric polynomials are nonorthogonal, and the use of high-order terms in the fitting process can affect the coefficients of low-order terms, resulting in higher coefficients from more terms. In this way, the number of significant figures can decrease during fitting with more high-order polynomials, leading to nonsignificant increases in precision. In this paper, further analysis and deduction were conducted, and we demonstrate that the results were not optimal either in terms of precision or in terms of coefficient magnitude. The effectiveness of our proposed method was proved using two conditions: (1) excessive coefficients and (2) suboptimal fitting precision from optimal quadric fitting surface.
Fitting result using aspheric polynomials for Descartes oval.
|No. of terms||Traditional method||Improvement for departure||Improvement for optimal spherical fitting surface|
The data in the table show that, when there are eight polynomial terms, the coefficients are large, two orders of magnitude greater than the maximal value of the point of departure. These very large coefficients affect the system optimization process and so need to be decreased. According to the proposed method, taking the eight-term aspheric polynomials, e.g., the polynomials were projected into eight-dimensional vector space, and the eight vectors are here represented as matrix
The associated variables between polynomial coefficients variation and introduced error can be defined and controlled for optimization, facilitating reduction of coefficient size. The results showed that the coefficients decreased into the same level as in fitting of five-term polynomials, while the fitting precision was kept at a level similar to that of the fitting of seven-term polynomials.
Similarly, based on the deduction shown in Sec. 3, the Newton–Raphson iteration method was used to search for optimal fitting spherical surface. Results are shown in Table 1. The optimal fitting spherical surface is distinct from that produced using conventional methods. After determining the optimal quadric fitting surface using the Raphson method, the polynomial coefficients were solved, and the fitting error was dramatically decreased.
Comprehensive Validation Using an Aspheric Surface
The examples given above are experimental validation of the new method in terms of the departure part and the optimal quadric fitting surface part. The following example will perform comprehensive validation for the above two parts. The surface as shown in Fig. 2 is the measured contour from a fabricated lens used in a cell phone. It was fitted with the proposed method, and the results are as shown in Table 2. The results demonstrated that, due to the variation in the optimal quadric fitting surface, the vector corresponding to the point of departure shows high-dimensional components with lower values, resulting in more described surface information in the polynomials, so retaining high fitting precision. Associated variables between polynomials coefficients variation and introduced error were obtained, and this could significantly change coefficient range while keeping the error similar. The results also show that the proposed method is effective for a measured profile as well as the nominal starting values of a surface.
Fitting result using aspheric polynomials for an aspheric surface.
|Number of terms||Traditional method||Improved method|
Validation Using a Mild Aspheric Surface
The examples in Secs. 3.1 and 3.2 are extreme aspheric surfaces. In this section, the proposed method is also applied to the aspheric surface fitting of a mild profile, the contour from a imaging lens. The fitting results were shown in Fig. 3 and Table 3, which approved the efficiency of the method.
Fitting result using aspheric polynomials for an aspheric surface of mild profile.
|Number of terms||Traditional method||Improved method|
While performing surface fitting with the least square method, polynomial coefficients often become far larger than maximal rise of arch of the fitted data. This causes difficulties in optical system design and optimization. In this paper, a projection from polynomials to vector was proposed such that the polynomial problem was transformed into a vector problem. According to the proposed projection principle, the mutual projection between polynomials and vector could determine the relationship between the vector and the polynomial coefficients, and further determine the relationship between introduced errors and polynomial coefficient variation. The polynomial coefficients were reduced based on the standard of minimal square sum. For the first time, the Newton–Raphson method was used to search for optimal fitting surface, which not only improved the fitting precision but also had better convergence than the Gauss–Newton method. Through fitting tests of various surface profiles, the proposed method was proven to be effective in terms of fitting error and the range of the coefficients. Thus, it is of significance in practical application. The proposed algorithm has been programmed with MATLAB and available for a Dynamic Data Exchange connection to optical design software.
This work was supported in part by the grant from the National Natural Science Foundation of China (Nos. 61275003, 51327005, and 91420203).
A. Yoshikazu et al., “On-machine measurement of aspherical surface profile,” Nanotechnol. Precis. Eng. 2(3), 210–216 (2004).Google Scholar
D. Huang et al., “Shape measurement of aspheric plastic lens with large angle,” Chin. Opt. Lett. 3(9), 516–519 (2005).CJOEE31671-7694Google Scholar
R. Q. Wu et al., “Analysis of athermalizing performance of thermal infrared with Cassegrain antenna,” Optik 121, 1904–1907 (2010).OTIKAJ0030-4026http://dx.doi.org/10.1016/j.ijleo.2009.05.012Google Scholar
S. L. Xie and Y. Zhong, “Research of sampling point number in wave front fitting with Zernike polynomials,” Laser Technol. 35(2), 272–277 (2011).Google Scholar
W. Sun, J.W. McBride and M. Hill, “A new approach to characterising aspheric surfaces,” Prec. Eng. 34, 171–179 (2010).http://dx.doi.org/10.1016/j.precisioneng.2009.05.005Google Scholar
M. L. N. Gonçalvesa and P. R. Oliveirab, “Convergence of the Gauss–Newton method for a special class of systems of equations under a majorant condition,” Optimization 64(3), 577–594 (2015).OPTZDQhttp://dx.doi.org/10.1080/02331934.2013.778854Google Scholar
Xuemin Cheng is an associate professor at the Graduate School at Shenzhen, Tsinghua University. She received her PhD in optical engineering from Beijing Institute of Technology, China, in 2004. She is author of 56 peer reviewed publications related to optical design, vision, and image quality assessment. Her current research interests include optical design and engineering, including Imaging system design, illumination system design, optical modeling and simulation, etc. She is a member of SPIE.
Yikang Yang received his bachelor’s degree in precise instrumentation from Tianjin University, Tianjin, China, in 2013. He is currently a master's degree candidate at the Tsinghua University.