In this paper, we proved a theorem on the orthogonal decomposition of a flatsymmetric bilinear form. If the nullity space of a flat symmetric bilinear formis not too large, it can be decomposed into two bilinear forms...In this paper, we proved a theorem on the orthogonal decomposition of a flatsymmetric bilinear form. If the nullity space of a flat symmetric bilinear formis not too large, it can be decomposed into two bilinear forms, one of which isnull, the other is flat and has a large nullity.展开更多
In this Letter, a test method based on oblique incidence is practically implemented in the interferometric measurement process. Three sets of wavefront data are achieved through cavity interference measurement with a ...In this Letter, a test method based on oblique incidence is practically implemented in the interferometric measurement process. Three sets of wavefront data are achieved through cavity interference measurement with a Fizeau interferometer and one oblique incidence measurement. An iterative algorithm is applied to retrieve the absolute surface shape of the test flat. By adding two sets of measurements, the absolute surface error of the interferometer＇s reference flat can be obtained. The new method can not only calibrate the reference flat error of interferometer, but also provide the absolute measurement method for high precision optical components applied in high power laser systems.展开更多
A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformat...A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of R_1~4. Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.展开更多
文摘In this paper, we proved a theorem on the orthogonal decomposition of a flatsymmetric bilinear form. If the nullity space of a flat symmetric bilinear formis not too large, it can be decomposed into two bilinear forms, one of which isnull, the other is flat and has a large nullity.
基金supported by the National Natural Science Foundation of China(Nos.11602280 and 61705246)
文摘In this Letter, a test method based on oblique incidence is practically implemented in the interferometric measurement process. Three sets of wavefront data are achieved through cavity interference measurement with a Fizeau interferometer and one oblique incidence measurement. An iterative algorithm is applied to retrieve the absolute surface shape of the test flat. By adding two sets of measurements, the absolute surface error of the interferometer＇s reference flat can be obtained. The new method can not only calibrate the reference flat error of interferometer, but also provide the absolute measurement method for high precision optical components applied in high power laser systems.
基金supported by National Natural Science Foundation of China (Grant Nos. 11331002, 11471021 and 11601513)the Fundamental Research Funds for Central Universitiesthe Project of Fujian Provincial Department of Education (Grant No. JA15123)
文摘A three dimensional Lorentzian hypersurface x : M_1~3→ R_1~4 is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of R_1~4. Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.
